The article describes the main preconditions and stages of development of open VivaCore library intended for code analysis and creation of metaprogramming systems. VivaCore project is a...
OOO "Program Verification Systems" announces the end of development and testing of a new version of www.viva64.com site. The main change is support of several languages. Now the whole content of...
The article by OOO "Program Verification Systems" workers devoted to the peculiarities of developing 64-bit applications was published in magazine "Informatsionnie tehnologii...
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...
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...
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...
