Our Customers
|
PVS-Studio code analyzer is based on VivaCore Library
|
|
So I've gotten to try the C++ compiler included into Intel Parallel Studio XE 2011 beta at last.»
In this blog, you may often read posts about how this or that software tool or software development technology helps make fewer errors, find them faster and correct them easier.»
Friends, it is high time we stopped considering links only in the context of their number and buying/ selling and counting PR of the site they are laid out on.»
This article illustrates techniques required to employ the use of PVS-Studio static code analyzer together with continuous integration systems.»
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.»
This article is the most complete collection of examples of 64-bit errors in the C and C++ languages.»
News
07/04/2009
OOO "Program Verification Systems" Blog Launch
We pay much attention to writing and publishing articles here in OOO “Program Verification Systems”. On the “Articles” page of out site more than 40 various articles concerning static code analysis, 64-bit and parallel applications development are laid out. Many of them are written by the company employees, but there are also articles written by other people.
However, writing articles, we began to notice more often that not all topics which we want to speak on can fit the format of our ordinary article. Sometimes, just an item would be enough. For this reason, we have decided to launch a blog in which our employees could express their thoughts interesting to other people.
300027, Russia, Tula, P.O. Box 1800. Office: Russia, Tula, Kutuzova 100-73
