Implementation of inter-unit analysis for C and C++ languages in a source-based static code analyzer

Implementation of inter-unit analysis for C and C++ languages in a source-based static code analyzer

The proliferation of automated testing capabilities arises a need for thorough testing of large software systems, including system inter-component interfaces. The objective of this research is to build a method for inter-procedural inter-unit analysis, which allows us to analyse large and complex so...

Full description

Bibliographic Details
Main Author: A. V. Sidorin
Format: Article
Language:Russian
Published: MGTU im. N.È. Baumana 2015-01-01
Series:Nauka i Obrazovanie
Subjects:
C++
static code analysis
symbolic execution
interprocedural analysis
Clang Static Analyzer
inter-unit analysis
Online Access:http://technomag.edu.ru/jour/article/view/185

Internet

http://technomag.edu.ru/jour/article/view/185

Similar Items