Print

PVS-Studio 5.0 brings static code analysis to new platforms



Email
January 31, 2013 —  "Program Verification Systems" (Co.Ltd) has announced the release of the new major version of PVS-Studio 5.0. The utility performs static analysis of a source code to reveal coding errors, programmer´s mistakes, fragments of code that can potentially produce a bug or disrupt the logic of the program. The new version is announced to support C++Builder, Windows Phone 8 and Windows Store projects.

Tracking and eliminating "bugs" are inevitable parts of software development. Multiple ways to perform this task are known: code review, debugging, dynamic code analysis, unit tests and others. PVS-Studio implements one of the most efficient ways to track both simple and in-depth code errors - static code analysis.

PVS-Studio scrupulously reads the entire source texts of a program, without actual execution of them, and detects errors and weak points in the code. The static code analysis approach allows a developer to test even those parts of the source texts that are rarely executed and thus are hard to debug with other methods. PVS-Studio also doesn´t rely on a compiler and easily detects hidden or potential errors in the code caused by copy-pasting or typos providing detailed diagnosis messages on every issue.

The application easily performs static analysis of 32-bit and 64-bit code and diagnoses parallel processing errors, while the ability to exclude unmodified parts of the source from analysis greatly speeds up the debugging. PVS-Studio flawlessly integrates to Microsoft Visual Studio 2005-2012 and MinGW, and the new version 5.0 also provides support for Embarcadero C++Builder, Windows Phone 8 and Windows Store projects.

Pricing and availability
PVS-Studio is available for Windows platform. The program supports the following IDEs: Microsoft Visual Studio 2012, 2010, 2008, 2005 (except Express editions), and Embarcadero C++Builder XE2, XE3, XE3 Update1.

The price list for PVS-Studio starts from €5,250 for a one-year license for 1-5 developers company to €28,000 for companies of 51-70 developers. The renewal of the license after the first year costs 80% of the regular price.




Share this link: http://sdt.bz/37360
 

close
NEXT ARTICLE
Code Watch: The static typing example
An observatory finds out the advantages and disadvantages of this type system Read More...
 
 
 




News on Monday  more>>
Android Developer News  more>>
SharePoint Tech Report  more>>
Big Data TechReport  more>>

   
 
 

 


Download Current Issue
JUNE 2013 PDF ISSUE

Need Back Issues?
DOWNLOAD HERE

Want to subscribe?


 
 
 
 

Events calendar tab
Mobile Commerce World
6/24/2013 to 6/26/2013
San Francisco
UBM TechWeb
USENIX Federated Conference
6/24/2013 to 6/28/2013
San Jose, Calif.
USENIX
Microsoft Build
6/26/2013 to 6/28/2013
San Francisco
Microsoft
Conf. on Big Data Security
7/17/2013 to 7/18/2013
Boston
MIS Training Institute
ACM SIGGRAPH
7/21/2013 to 7/25/2013
Anaheim, Calif.
ACM SIGGRAPH