Analysis of entities in C and C++ programs and relations between them for program understanding

被引：0
作者：
A. A. Belevantsev
E. A. Veselevich
V. P. Ivannikov
机构：
[1] Russian Academy of Sciences,Institute for System Programming
[2] Moscow State University,undefined
[3] Moscow Institute of Physics and Technology State University,undefined
来源：
Programming and Computer Software | 2016年 / 42卷
关键词：
Source Code; Trace Linkage; Program Entity; Dynamic Library; Compiler Infrastructure;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
A tool for the static analysis of programs that can detect entities in C and C++ programs, their metrics, and relations between them is considered. The program entities are files, functions, classes, methods, etc., and relations are calls, inheritance, read/write operations of global variables, file inclusion, and aggregation. Methods for the development of such a tool based on the open compiler infrastructure LLVM [1], including the necessary modifications in the Clang compiler [2], and the developed analyzer are described. Results of the tool testing on the Android code are presented.
引用
收藏
页码：49 / 53
页数：4
相关论文
共 11 条
  • [1] Avetisyan A.I.(2011)The use of static analysis for detecting vulnerabilities and critical bugs in source code Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk 21 23-38
  • [2] Belevantsev A.A.(2014)The static analyzer Svace for detecting defects in source codes Tr. Inst. Sist. Program. Ross. Akad. Nauk 26 231-250
  • [3] Borodin A.E.(undefined)undefined undefined undefined undefined-undefined
  • [4] Nesov V.S.(undefined)undefined undefined undefined undefined-undefined
  • [5] Ivannikov V.P.(undefined)undefined undefined undefined undefined-undefined
  • [6] Belevantsev A.A.(undefined)undefined undefined undefined undefined-undefined
  • [7] Borodin A.E.(undefined)undefined undefined undefined undefined-undefined
  • [8] Ignat’ev V.N.(undefined)undefined undefined undefined undefined-undefined
  • [9] Zhurikhin D.M.(undefined)undefined undefined undefined undefined-undefined
  • [10] Avetisyan A.I.(undefined)undefined undefined undefined undefined-undefined
12