1. PVS-Studio, a static analyzer detecting errors in the source code of C/C++/C++11 applications. www.viva64.com

2. Code Analysis Features The analyzer includes the following diagnostic rule sets: 1.General analysis diagnostics – over 200 diagnostic rules covering both common and rare errors; 2.Diagnostics for potential optimizations – detection of code fragments in programs that can be optimized; 3.Diagnostics for 64-bit errors – an indispensable tool when porting programs from 32-bit systems to 64-bit ones.

3. PVS-Studio’s Capabilities 1.Incremental analysis – automatic analysis launch immediately after compilation on the developer’s computer; 2.Online/Offline Help system in Russian and English; 3.Saving and loading of analysis results; 4.Making use of all available cores and physical processors; 5.Estimation of 64-bit code migration complexity; 6.Interactive filters; 7.Comfortable integration into the team development process; 8.Marking out of program code to enable analysis of new code only.

4. Integration Capabilities An MS Visual Studio plugin Launch from the command line Compiler launch monitoring

5. Integration with MS Visual Studio The PVS-Studio tool integrates into the Visual Studio 2013, 2012, 2010, 2008, 2005 environment, providing the user with a friendly interface to perform file analysis, code navigation, and get Help information. The analyzer is ready for work right after the installation.

6. PVS-Studio Standalone PVS-Studio Standalone is a utility that allows you to: 1.View analysis results using code navigation and the Help system without launching MS Visual Studio; 2.Analyze projects with the help of the compiler launch monitoring system during the building process and independently from the build system used; 3.Analyze earlier generated preprocessed files simply specifying the path to these and source files.

7. Launch from the command line Add an analyzer call into your build script and view the analysis log with the help of the PVS-Studio Standalone utility....cpp.o: $(CXX) $(CFLAGS) $(DFLAGS) $(INCLUDES) $< -o $@ PVS-Studio --cfg PVS-Studio.cfg --source-file $< --cl-params $(CFLAGS) $(DFLAGS) $(INCLUDES)...

8. Analysis of open-source projects Visit the official PVS-Studio web site for numerous examples of real errors found by our analyzer in hundreds of open-source projects, including even such famous ones as Google Chromium, Qt, Unreal Engine, Oracle Virtual Box, and so on. A regularly updated list: http://www.viva64.com/ru/a/0084/http://www.viva64.com/ru/a/0084/ www.viva64.com

9. OOO "Program Verification Systems" What do we do? We develop the PVS-Studio static code analyzer detecting errors in C, C++, C++11 programs. Custom development. Possessing extensive knowledge about how to create safe and reliable C++ and C# code, we offer services of remote software development and improvement. www.viva64.com support@viva64.com