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
来源
关键词
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
相关论文
共 50 条
  • [1] Analysis of Entities in C and C plus plus Programs and Relations between Them for Program Understanding
    Belevantsev, A. A.
    Veselevich, E. A.
    Ivannikov, V. P.
    PROGRAMMING AND COMPUTER SOFTWARE, 2016, 42 (01) : 49 - 53
  • [2] Compositional analysis of C/C++ programs with VeriSoft
    Dingel, Juergen
    ACTA INFORMATICA, 2006, 43 (01) : 45 - 71
  • [3] Compositional Analysis of C/C++ Programs with VeriSoft
    Juergen Dingel
    Acta Informatica, 2006, 43 : 45 - 71
  • [4] Restructuring C Programs into C++ Programs
    Zhang Ying 1
    2.State Key Laboratory of Software Engineering
    Wuhan University Journal of Natural Sciences, 2001, (Z1) : 256 - 262
  • [5] Restructuring C programs into C++ programs
    Ying, Z.
    Yu-Ming, Z.
    Bao-Wen, X.
    Yuan, L.
    2001, Wuhan University (06): : 1 - 2
  • [6] Static analysis of C/C++ program for safety
    Software Engineering Inst., Xidian Univ., Xi'an 710071, China
    Xi Tong Cheng Yu Dian Zi Ji Shu/Syst Eng Electron, 2008, 6 (1155-1158):
  • [7] QUANTIFYING BEHAVIORAL-DIFFERENCES BETWEEN C AND C++ PROGRAMS
    CALDER, B
    GRUNWALD, D
    ZORN, B
    JOURNAL OF PROGRAMMING LANGUAGES, 1994, 2 (04): : 313 - 351
  • [8] Stepping up to C++: Understanding C++ declarations
    Saks, Dan
    C/C++ Users Journal, 1995, 13 (12):
  • [9] A COMPARISON OF PROGRAM READABILITY OF C++ AND C
    DAWSON, RJ
    BEDI, S
    UNIVERSITY COMPUTING, 1990, 12 (03): : 104 - 109
  • [10] Symbolic and Abstract Interpretation for C/C++ Programs
    Loeding, Helge
    Peleska, Jan
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 217 : 113 - 131