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

fYear

2014

fDate

March 31 2014-April 4 2014

Firstpage

241

Lastpage

242

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Testing, Verification and Validation Workshops (ICSTW), 2014 IEEE Seventh International Conference on

Conference_Location

Cleveland, OH

Type

conf

DOI

10.1109/ICSTW.2014.59

Filename

6825668