This document summarizes the features and capabilities of PVS-Studio, a static code analyzer for C/C++/C++11 code. It detects over 200 common and rare errors using general analysis diagnostics, finds code that can be optimized, and helps with porting code from 32-bit to 64-bit systems. PVS-Studio can be integrated into Visual Studio and run from the command line or by monitoring compiler launches. It analyzes code incrementally, provides help documentation, and has been used to find errors in many open source projects.

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/
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