You must log in to access this feature. Sign in with Twellow or Facebook to get started.
By signing in to Twellow, you indicate your agreement to our terms of service.
Simply connect with Facebook and kiss those password blues away,
or go here to reset your password.
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: