Our software library provides a free download of PVS-Studio 4.74. The file size of the latest downloadable installer is 154.6 MB. Our antivirus check shows that this download is malware free. The most popular versions among the program users are 4.7, 4.5 and 4.1. This software is an intellectual property of OOO Program Verification Systems. The software relates to Development Tools.
From the developer:
PVS-Studio is a static analyzer that detects errors in source code of C/C++/C++11 applications.
The PVS-Studio tool is intended for developers of contemporary applications and it integrates into the Visual Studio 2012, 2010, 2008, 2005 environment providing the programmer with a convenient user interface to analyze files, navigate through code and get reference information.
You may want to check out more software, such as Sun Java Toolkit for CDC, Torsion or SICStus Prolog, which might be related to PVS-Studio.