Title :
Static Analysis Usage for Customizable Semantic Checks of C and C++ Programming Languages Constraints
Author :
Ignatyev, Valery
Author_Institution :
Inst. for Syst. Program., Moscow, Russia
fDate :
March 31 2014-April 4 2014
Abstract :
We propose the formal model of programming language constraints, which allows specifying stylistic, syntax and contextual rules. We also give the classification of those constraints. We describe the developed program model and the set of static analysis algorithms for the analyzer subsystem that implements automatic constraints checking and describe the implementation of the proposed formalizations in the Clang open source compiler.
Keywords :
C++ language; computational linguistics; program compilers; program diagnostics; program verification; public domain software; C programming languages constraint classification; C++ programming language constraint classification; Clang open source compiler; analyzer subsystem; automatic constraint checking; contextual rules; formal model; program model; static analysis algorithms; stylistic rules; syntax rules; Algorithm design and analysis; Analytical models; Computer languages; Encoding; Semantics; Standards; Syntactics; Clang; LLVM; coding standards; static analysis;
Conference_Titel :
Software Testing, Verification and Validation Workshops (ICSTW), 2014 IEEE Seventh International Conference on
Conference_Location :
Cleveland, OH
DOI :
10.1109/ICSTW.2014.59
