PVS-Studio static analyzer: advanced

featuresOOO “Program Verification Systems” (Co Ltd)

www.viva64.com

Overview of PVS-studio analyzer advanced features:

These advanced features can make your life easier when working on a large-scale project or a project with a non-standard build system:

• Standalone tool• Pre-generated preprocessed files• Compiler Monitoring• Message Suppression• MSBuild integration

PVS-Studio Standalone: next step in the evolution of static analyzer tools

PVS-Studio Standalone is an IDE/compiler independent tool which allows you to analyze your code and review analysis results.

• Open and navigate PVS-Studio XML log files (plog)

• Analyze pre-generated preprocessed files

• Trace compiler invocations during build process and analyze the code that is being built

• Completely IDE-independent

Analysis of pre-generated preprocessed files

With PVS-Studio Standalone you can analyze C++ preprocessed (intermediate) files regardless of how or where they were generated.

• Completely build-system independent

• Preprocessed files can be generated either on Windows or on any other OS

• Supported preprocessors: Visual C++, GCC, Clang, Borland C++.

• Specify a common system includes path to exclude system libraries from analysis

Unicorn meets the Tux

With PVS-Studio Standalone you can analyze preprocessed files that were generated even on Linux systems!

Compiler Monitoring: tracing of compiler invocations

Trace your build process by PVS-Studio Compiler Monitor. You can analyze source files that were built after the compilation process is finished.

• Seamless Build System integration: monitoring will “catch” compiler processed regardless of how and where they were started

• No configuration required: monitoring will automatically determine your compiler and target platform.

• Supported compilers are: Visual C++, GCC, Clang, Borland C++

• Can either be used from Standalone GUI or directly integrated into your build system through a command line tool.

• Analyzer reports can be reviewed from either Standalone tool or Visual Studio IDE (to take advantage of IntelliSence system)

Compiler Monitoring: analyze anything!

As long as it uses one of the supported compilers (Visual C++, GCC, Clang, Borland C++), you can literally analyze anything with PVS-Studio.

Suppression of messages on the existing code base

When you have a large code base and want to concentrate on verifying only newly written\modified code, you can “throw out” all of the thousands of messages generated for your existing code base. You will see analyzer warnings only on those chunks of code that you will insert after that moment.

And if someday you wish to return to the “suppressed” parts, you can easily review those messages or delete suppression bases altogether.

• No source file modification required

• Independent on the source file location – can be used across different systems

• Simple XML format of suppression message base files

• Can be easily integrated into revision control system

Feel the difference: mass message suppression – before and after

Notice the total number of messages. Work only with your newly written or modified code

Build and Analyze - direct integration of PVS-Studio analyzer

into MSBuildIntegrate PVS-Studio analysis directly into your Visual Studio project (vcxproj) files in just one click!

• Analysis will be started after build process is complete

• Out-of-the-box incremental analysis – only the files that are build are analyzed

• Completely native to MSBuild – no COM based IDE APIs are utilized to get the compilation parameters to the analyzer.

• Build and Analyze your projects from either a Visual Studio IDE or by directly invoking MSBuild engine through the command line

• Use PVS-Studio Standalone or IDE plug-ins to view the analysis report

No Visual Studio is needed!

Utilizing PVS-Studio Standalone with Compiler Monitoring and MSBuild Integration you use PVS-Studio analysis even without Visual Studio or with Visual Studio Express edition (unsupported by PVS-Studio IDE plug-ins).

PVS-Studio Advantages

• Easy-to-download! You can download PVS-Studio distribution package without registering and filling in any forms: http://www.viva64.com/en/pvs-studio-download/• Easy-to-try! The PVS-Studio program is implemented as a plug-in for

Visual Studio. • Easy-to-buy! Unlike other code analyzers, we have simple pricing and

licensing policy: http://www.viva64.com/en/order/• Easy-to-support! It is the analyzer's developers who directly

communicate with users, which enables you to quickly get answers to even complicated questions related to programming.