PVS-Studio 5.01

OOO Program Verification Systems in Development \ Misc. Dev. Tools

PVS-Studio Download

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:

General-purpose diagnosis
Detection of possible optimizations
Diagnosis of 64-bit errors (Viva64)
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 2005/2008/2010 environment 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.

PVS-Studio Features

Integration with Visual Studio 2005/2008/2010;
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;
support of Windows (LLP64) and Linux (LP64) data models;
interactive filters;
convenient integration into the team development process;
marking of program text with the purpose of checking new code only.



   
 

Popular Downloads of Development \ Misc. Dev. Tools

Virtual Serial Port Driver XP 4 ELTIMA Software GmbH  Misc. Dev. Tools

Virtual Serial Port Driver XP4 creates two pure virtual serial ports in your system which are virtually connected to each other. For other Windows applications, virtual ports will be seen exactly as two real serial ports connected via null-modem cable. You can select any port numbers for virtual...

ActivLicense Online v1.01 Ionworx Technology  Misc. Dev. Tools

ActivLicense Online is a professional and robust anti-piracy solution based on product activation technology designed to verify if your software products have been legitimately licensed, it's quick, easy and reliable, the activation can be done in few minutes via the Internet or by Telephone....

WinDriver 7 Jungo Ltd.  Misc. Dev. Tools

WinDriverâ„¢ for Windows automates and simplifies the development of user mode Windows device drivers for PCI / PCI Express/USB/ CardBus / ISA / PCMCIA/ PMC / PCI-X / PCI-104 and CompactPCI. No DDK knowledge or kernel level programming required. Including powerful tools for hardware...

Mobile DBViewer Plus for Nokia S60 3rd E 1.2 Cellica Software Services  Misc. Dev. Tools

View & Sync MS Access, Excel, Oracle, Foxpro, dBase, or any ODBC enabled database on Series 60 3rd Edition Smart phones like N72, N73, N70 , E50, E70 etc. Create new database on Smartphone. Add / Edit / Delete data is supported. View one record at a time or all at once.Use desktop side...

VISOCO dbExpress driver for Sybase ASE 2.3 VISOCO Software  Misc. Dev. Tools

VISOCO dbExpress driver for Sybase ASE is a dbExpress driver for Borland Delphi, Kylix, C++ Builder.VISOCO dbExpress driver for Sybase ASE provides direct access to Sybase ASE and allows you to avoid Borland Database Engine (BDE), ODBC, ADO.Key features:- High-performance - Native access to...

Virtual Serial Port Driver Mobile 4.0 Virtual Serial Port Software  Misc. Dev. Tools

Virtual Serial Ports Driver Mobile is a brand-new generation of an already popular driver for mobile devices released by Eltima more than a year ago.Now we bring a totally new level of serial emulation for SmartPhones based on the Windows Mobile platform!VSPD Mobile is capable of creating up to...

Advanced USB Port Monitor 2.0.1.5 AGG Software  Misc. Dev. Tools

Advanced USB Port Monitor is a USB Bus, USB Device and Protocol Analyzer. Advanced USB Port Monitor packs the robust functionality to capture, view and process USB traffic. It offers sophisticated viewing and intelligent searching to accurately and efficiently debug and test High (480Mbps), Full...

MixerPRO 1.2 xFX JumpStart  Misc. Dev. Tools

MixerPRO is a powerful library that provides access to the lines and controls of installed sound card.Control volume, mute states, recording sources, obtain information about the sound card's driver name, version, etcetera.

ER English to Bengali Dictionary 1.0 erdictionary.sourceforge.net  Misc. Dev. Tools

ER Dictionary ( English to Bengali Dictionary ) provides you digital dictionary based on English and Bengali word. This is based on Unicode. Before Using this you must install .NET 2.0. A download link is given with the package.

DownloadX ActiveX Download Control Free 1.0.1 DownloadXCtrl.com  Misc. Dev. Tools

DownloadX ActiveX Download Control is an ActiveX control used to download files from the Internet/Intranet. It can be used with any modern programming language (VB.NET, C#, C++, VB, Delphi, ASP, ASP.NET, PHP, Java...) and containers that support ActiveX controls. The DownloadX control is a unique...