OOO "Program Verification Systems" develops and maintains the PVS-Studio tool intended for detecting 64-bit and parallel errors in the code of C/C++ applications. The PVS-Studio package is a set of specialized static code analyzers that allow to perform verification of source code at the stage of program designing already and therefore significantly reduce costs on program debugging, testing and maintenance.
PVS-Studio static analyzer now provides much more opportunities than just finding errors in parallel and 64-bit programs. Please, visit the product page.
Our company is ready to develop and maintain specialized testing tools. We can implement the tasks of the following types:
This is only a brief list of possible developments and other ways of cooperation are also possible. We are ready to provide you with additional information and answer all your questions.
Feedback Form: http://www.viva64.com/about/feedback/
Unfortunately, we must make the PVS-Studio 4.00 static analyzer completely paid. We intended to make only the set of 64-bit rules paid while keeping the general analysis and OpenMP-software analysis free. But the world is stern and we've found no support.