Click here to Skip to main content

Catalog.CodeProject.com


Rate this:   Poor Excellent
Please Sign up or sign in to vote.
Item Details
License: Commercial
Technologies: C++, C, Windows, Win32, Win64, Visual-Studio (VS2005, VS2008, Visual-Studio, VS2010, VS2012)
Last Updated: 9 Apr 2013

Contact Information
Contact Name:
Karpov Andrey
Company /
Organisation:
OOO "Program Verification Systems" (Co Ltd)
Email:
karpov@viva64.com
Email Format:
Text
Address 1:
39 Revolyutsii str.
City:
Tula
Zip / Post Code:
300027
Country:
Russian Federation
URL:
http://www.viva64.com/about/feedback/

PVS-Studio

Karpov Andrey

PVS-Studio is a static analyzer that detects errors in source code of C/C++/C++11 applications. There are sets of rules included into PVS-Studio:

  1. General-purpose diagnosis
  2. Detection of possible optimizations
  3. Diagnosis of 64-bit errors (Viva64)
  4. Diagnosis of parallel errors (VivaMP)

To learn more about each type of diagnosis, visit the corresponding pages. The PVS-Studio tool is intended for developers of contemporary applications and it integrates into the Visual Studio 2012, 2010, 2008, 2005 and Embarcadero RAD Studio XE3 Update 1, XE3, XE2, XE, 2010, 2009 environments providing the programmer with a convenient user interface to analyze files, navigate through code and get reference information. You do not need to study documentation and settings preliminarily to work with the analyzer. The analyzer is ready to work right after it is installed.

The methodology of static code analysis we employ has significant advantages over other types of analysis since it allows you to cover the whole program code. The procedure of code check cannot damage the code itself in any way. The analysis process is completely controlled by person and it is the programmer who decides if it needs modification.

The PVS-Studio tool is an own development of the Russian company OOO "Program Verification Systems".

PVS-Studio Features

  • Integration with Visual Studio 2012, 2010, 2008, 2005;
  • Integration with Embarcadero RAD Studio XE3 Update 1, XE3, XE2, XE, 2010, 2009;
  • incremental analysis is the automatic triggering of the analyzer at the moment immediately after compilation commences at developer's local system;
  • online-help;
  • pdf-documentation;
  • saving and loading of analysis results;
  • capability of command line launch;
  • support of all cores and processors;
  • estimate of complexity of 64-bit code migration;
  • interactive filters;
  • convenient integration into the team development process;
  • marking of program text with the purpose of checking new code only.

Additional Information on PVS-Studio


 
 
 

Advertise | Privacy | Mobile
Web01 | 2.8.140415.2 | Last Updated 10 Aug 2007
Copyright © CodeProject, 1999-2014
All Rights Reserved. Terms of Use
Layout: fixed | fluid