PVS-Studio is a static code analyzer designed for
developers of modern resource-intensive applications. PVS-Studio combines 64-bit
code analysis and parallel code analysis, and allows
to develop and test the source code, as
well as to perform its migration and verification,
and as result, to create high reliability applications
in C and C++ languages.