Home

Posts

Andrey Karpov

Posts: Andrey Karpov

Jul 16 2008

"Approaches to verification and testing of 64-applications" was printed in magazine "Informatsionnie tehnologii" 7/2008

Andrey Karpov

The article by OOO "Program Verification Systems" workers devoted to the peculiarities of developing 64-bit applications was published in magazine "Informatsionnie tehnologii...

...

#Release

Jul 10 2008

Viva64 2.0 Release

Andrey Karpov

OOO "Program Verification Systems" company is glad to announce a new major release of source code analyzer Viva64 2.0. Viva64 is a static analyzer of C/C++ code. Viva64 allows to detect...

...

Subscribe to the newsletter

Want to receive a monthly digest of the most interesting articles and news? Subscribe!

By clicking this button you agree to our Privacy Policy statement

Jul 05 2008

It is difficult

Andrey Karpov

The article concerns the problem of excess of program creation terms as a result of a prejudice that programming is simple and even...

...

Jul 02 2008

Description of VivaVisualCode

Andrey Karpov, Evgenii Ryzhkov

This article concerns the program VivaVisualCode, showing how to use VivaCore library. VivaVisualCode represents in a graphic form the parse tree of the input source code in...

...

Jul 01 2008

OOO "Program Verification Systems" is now situated in a new office

Andrey Karpov

OOO "Program Verification Systems" is now situated in a new...

...

Jun 07 2008

In ISP RAS a seminar took place in which our specialists participated

Andrey Karpov

In Institute for System Programming of Russian Academy of Science situated 25 B. Kommunisticheskaya str., Moscow, a seminar devoted to the questions of developing 64-bit applications and...

...

#Cpp #64bit

May 30 2008

Comparison of analyzers' diagnostic possibilities at checking 64-bit code

Andrey Karpov

The article compares a specialized static analyzer Viva64 with universal static analyzers Parasoft C++Test and Gimpel Software PC-Lint. The comparison is carried within the framework of the task...

...

#Cpp

May 20 2008

32 OpenMP Traps For C++ Developers

Alexey Kolosov, Andrey Karpov, Evgenii Ryzhkov

Since multi-core systems are spreading fast, the problem of parallel programming becomes more and more urgent. However, even the majority of experienced developers are new to this sphere...

...

May 15 2008

In CC RAS a seminar took place in which our specialists participated

Andrey Karpov

In Computing Centre named after A.A.Dorodnitsin of Russian Academy of Sciences, situated 40 Vavilova str., Moscow, a seminar devoted to the questions of static code analysis took...

...

May 13 2008

Building of systems of automatic C/C++ code logging

Andrey Karpov

Sometimes logging of an application's events is the only debugging method. The logging method's disadvantage is the large size of the code which you have to write manually to save the whole...

...