|
|
|||
![]() PVS-Studio Static Code Analyzer for 64-bit and parallel C/C++ code
|
|||
![]() ![]() ![]() ![]() ![]()
28.06.2010
Why is the number of the line where an issue was found sometimes absent in the Error List in PVS-Studio? Sometimes the PVS-Studio code analyzer seems to find an issue in the code on which it generates a message, specifies the file name but does not show the number of the line with the issue as shown in the figure.»
07.06.2010
Communication between developers and users Abstract When developing software products, developers need very much to get feedback from users of their programs.» ![]()
22.07.2010
Using PVS-Studio with continuous integration systems This article illustrates techniques required to employ the use of PVS-Studio static code analyzer together with continuous integration systems.»
06.07.2010
Comparing capabilities of PVS-Studio and Visual Studio 2010 in detecting defects in 64-bit programs In the article, we will compare three mechanisms of code analysis from the viewpoint of detecting 64-bit errors: the Visual C++ 2010 compiler, the Code Analysis for C/C++ component included into Visual Studio 2010 and Viva64 analyzer included into PVS-Studio 3.60.»
29.06.2010
A Collection of Examples of 64-bit Errors in Real Programs
This article is the most complete collection of examples of 64-bit errors in the C and C++ languages.» ![]()
22.07.2010
We released a new version of PVS-Studio code analyzer - PVS-Studio 3.61»
10.06.2010
We released a new version of PVS-Studio code analyzer - PVS-Studio 3.60. »
19.05.2010
Our workers visited the GDC2010 conference that was held on May, 14-16, 2010, in Moscow and talked to many developers who participated there.»
|
News![]()
11/02/2010
Reviews of articles on static analysis, 64-bit and parallel programming Do you want to be abreast of the articles written by the authors all over the world on the most contemporary topics (static analysis, 64-bit and parallel programming)? Do you want to know what articles you should read first? We have a new section "Article reviews" on our site viva64.com. While carrying out investigations in the sphere of developing tools for 64-bit and parallel software developers, we, naturally, study publications by various authors on these topics. But people interested in them find it difficult to get familiar with all the articles because one has to look for them somewhere and it is not very easy. That is why we decided to make brief reviews (up to 2 paragraphs) for these articles. These are neither abstracts, nor author-generated summaries and nor user-generated content. The reviews of the articles are written by our colleagues who are always involved in this sphere. All the article reviews are arranged in three groups: Here are some examples of the reviews. 64-Bit Programming Models: Why LP64.In the world of rapidly developing programming technologies it is important for all software developers to decide what standard and programming model to choose as universal to save time and money. The Open Group argues that LP64 programming model be the best solution for 64-bit programming. This conclusion is drawn from the results of analysis and comparison of ILP64 and LP64 models against several evaluation criteria, each being thoroughly commented and explained. Among these the authors list portability, interoperability with 32-bit environments, standards conformance, performance effects and transition costs. Herb Sutter. The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software.In his article, Herb Sutter discusses the problem of concurrency becoming the next approaching revolution for software development, its causes, consequences and costs. A major part of the paper is devoted to analyzing the current state in the computer industry and explaining why sequential applications cannot benefit from the throughput gains any more and must yield to concurrent (mainly multithreaded) software; and how to deal with this problem as well. The paper is written in a lively and ironical manner but provides a truly serious and thorough review of the coming changes. Sure, it will be interesting and helpful for every developer. Raoul Jetley, Ben Chelf. Diagnosing Medical Device Software Defects Using Static AnalysisNowadays, when medicine employs complex devices for treating patients, software used in them must be secured from any defects and bugs. The paper concerns static analysis of such software systems. There are several sections that describe the essence of static analysis method, defect classes both common for software development on the whole and specific for medical devices, the task of choosing the best static code analysis tool and factors to consider while making this choice. All the article reviews contain links to the source articles. We hope that our reviews will help you become more aware of the state of this sphere today. |
||
|
© 2008 - 2010, OOO "Program Verification Systems"
300027, Russia, Tula, P.O. Box 1800. Office: Russia, Tula, Kutuzova 100-73 |
|||