Andrey Karpov

Bio

OOO "Program Verification Systems" Company develops software in the sphere of analysis of source code. Our key activities are: program verification, static code analysis, development of open source library of C/C++ code parsing and analysis, creation of tools for testing programs.

Our main product - PVS-Studio

PVS-Studio is a toolset of static source code analyzers designed for detecting 64-bit errors and parallel errors in software. The tool is designed for developers of state-of-the-art resource-intensive applications. PVS-Studio is integrated in Visual Studio 2005/2008/2010 environment and supports functioning in C/C++ languages. PVS-Studio comprises Viva64 analyzer for detecting errors in 64-bit programs and VivaMP analyzer for detecting errors in parallel programs built with the help of OpenMP technology. Estimation of time and complexity of code migration process to 64-bit systems is an important feature of the tool.

PVS-Studio download page: http://www.viva64.com/pvs-studio/download/

Our best Articles:

1. Lessons on development of 64-bit C/C++ applications
2. A Collection of Examples of 64-bit Errors in Real Programs
3. 64 bits
4. 32 OpenMP traps for C++ developers

E-Mail: karpov(@)viva64(.)com