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.»
The article discusses different levels of using static code analysis technologies in team development and shows how to "move" the process from one level to another.»
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.»
Terminology
Grammatical analysis (grammatical parse)
Grammatical analysis (grammatical parse). The process of correlating the line sequence of lexemes (words) of the language with its formal grammar. The result of this is usually a parse tree or an abstract syntactical tree. For grammatical parsing of computer languages context-free grammars are used. It is explained by that the grammars of more general types in Homsky's hierarchy (context-dependent and, moreover, unlimited) are much more difficult to be analyzed, and simpler grammars (regular grammars) do not allow you to describe the embedded language constructions and thus are not enough expressive. Grammatical parse methods can be divided into two large classes - ascending and descending - according to the order of building the parse tree. Descending methods (top-down methods) begin with the grammar rule defining the purpose of analysis from the parse tree's root and try to develop it so that the following tree's nodes correspond the syntax of the sentence being analyzed. Ascending methods (bottom-up methods) begin from the final parse tree's nodes and try to unite them by building nodes of higher and higher levels till the tree's root is reached.
References
- Wikipedia. "Parsing"