Free Version Of PVS-Studio Released
Free Version Of PVS-Studio Released
Written by Kay Ewbank   
Friday, 02 December 2016

The team behind PVS-Studio has released a free-to-use version of the static code analyser. The news follows the recent release of a Linux version of the tool.


pvdlogo

PVS-Studio is a tool for bug detection in the source code of programs, written in C, C++ and C#. There are versions for Windows and Linux, and now the free-for-use version.

PVS-Studio performs static code analysis and generates a report that you can use to help you find and fix bugs. It performs a wide range of code checks, and the developers say it is also useful to search for misprints and Copy-Paste errors.

The program works by using pattern-based analysis. An abstract syntax tree is used to look for fragments in the source code that are similar to the known code patterns with an error. It uses type inference based on the semantic model of the program to infer information about all variables and statements in the code, and symbolic execution allows range checking to find potential errors in the values of variables. It also uses data-flow analysis to evaluate what limits are imposed on the values of variables when processing various language constructs.

Finally, method annotations are used to gather more information about the methods used than would be obtained by analyzing only their signatures.

PVS-Studio offers integration with Visual Studio 2010-2015. You can carry out overnight analysis of files, running the scanner overnight then working on the results log in the morning. There's a command line option for project analysis, and you can interactively filter the analysis results in the PVS-Studio window by the diagnostic number, file name, or the keyword in the text of the diagnostic.

Andrey Karpov, co-founder and CTO of Program Verification Systems, has compiled a large collection of tips for programmers as a result of checking open source projects and presented a small selection on I Programmer, see Four Tips For C++ Programmers 

 pvdlogo

More Information

PVS-Studio Site

Related Articles

10,000 Bugs Found - A Milestone for Static Analysis

Reversible PHP Debugger Released

Four Tips For C++ Programmers

 

To be informed about new articles on I Programmer, sign up for our weekly newsletter, subscribe to the RSS feed and follow us on, Twitter, FacebookGoogle+ or Linkedin.

 

Banner


The AI In The IDE - IntelliCode In Visual Studio
08/05/2018

Visual Studio is the old man of IDEs, on Windows at least, but this doesn't seem to mean that it isn't still developing. New at Build 2018 is IntelliCode -  IntelliCode not IntelliSense. It is no [ ... ]



Decoding What The Eye Sees
17/05/2018

The latest breakthrough in brain function is the reconstruction of what the eye sees from the activity of neurons that form the optic nerve. Man machine neural interfaces get closer.


More News

 

justjsquare

 



 

Comments




or email your comment to: comments@i-programmer.info

Last Updated ( Friday, 02 December 2016 )
 
 

   
Banner
Banner
RSS feed of news items only
I Programmer News
Copyright © 2018 i-programmer.info. All Rights Reserved.
Joomla! is Free Software released under the GNU/GPL License.