Our website uses cookies to enhance your browsing experience.
Accept
to the top
Home
>
Posts

Posts: articles

All Articles Video Books Entertainment
Errors
C++ C# Java

All tags:

Aug 26 2008
A print version of the article "32 OpenMP traps for C++ developers" was published in "RSDN Magazine #2' 2008"
Andrey Karpov
The article by OOO "Program Verification Systems" experts devoted to the peculiarities of developing parallel applications using OpenMP technology was published in RSDN Magazine #2...
...
Aug 10 2008
Detection of vulnerabilities in programs with the help of code analyzers
Elena Haritonova
At present there are a lot of tools intended for automating search of program vulnerabilities. This article describes some of...
...
Subscribe to the newsletter
Want to receive a monthly digest of the most interesting articles and news? Subscribe!
Aug 10 2008
How VivaCore library appeared
Andrey Karpov
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...
...
Jul 28 2008
A new version of www.viva64.com site is launched
Andrey Karpov
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...
...
Jul 17 2008
A print version of the article "VivaCore code analysis library" was published in "RSDN Magazine" #1' 2008
Andrey Karpov
The article by OOO "Program Verification Systems" experts devoted to our code analysis library VivaCore was published in RSDN Magazine #1...
...
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...
...
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...
...
View more Pagination arrow previous
1
...
149 150 151 152 153 154
Showing: - of 1540