OOO "Program Verification Systems" Company announces release of the static code C/C++ code analyzer VivaMP 1.00. VivaMP analyzer is intended for diagnosing parallel errors in the software...
On forums I'm constantly asked questions concerning search of incorrect explicit type conversion when porting code on a 64-bit platform. I decided to write this small note so that I could...
I like various code analyzers which can be tried in online mode to see if they are worth more detailed investigation. A good example is an online version of PC-lint analyzer by Gimpel...
OOO "Program Verification Systems" company invites the article writers to visit www.viva64.com site, where they can place their articles related to testing, parallel programming, 64-bit...
We are asked different questions relating to using PC-Lint, VivaMP and other static analyzers for testing parallel programs, we are asked if these tools are competitors, and there are many...
Finally I've come to implementation of diagnosis in Viva64 analyzer detecting structures with non-optimal arrangement of fields. Absence in VivaCore of support of type calculations for small...
While studying at the institute and learning different data processing algorithms, I already knew that the necessity of using such a function as last() for one-way list can indicate an...
A new section "Terminology" has appeared at www.viva64.com. Meanings of basic terms related to the fields of 64-bit development, parallel programming and code analysis are represented...
The task of familiarizing programmers with the sphere of developing parallel applications is getting more and more urgent. This article is a brief introduction into creation of...
During the period from 2006 to 2008 inclusive 37 articles in Russian and nearly the same number in English have been published on the site www.viva64.com for program developers. These articles...