Static analysis usage for customizable checks of programming languages semantic constraints

Static analysis usage for customizable checks of programming languages semantic constraints

We describe the usage of programming language constraints to achieve program security and portability, which are especially important for large projects. The existing collections of such constraints (like MISRA C++, JSF, or HICPP) contain only descriptive natural language rule definitions, which cou...

Full description

Bibliographic Details
Main Author: Valery Ignatyev
Format: Article
Language:English
Published: Ivannikov Institute for System Programming of the Russian Academy of Sciences 2018-10-01
Series:Труды Института системного программирования РАН
Subjects:
стандарты написания исходного текста программ
статический анализ
llvm
clang
Online Access:https://ispranproceedings.elpub.ru/jour/article/view/1009

Similar Items

Similar Items