Analysis of Entities in C and C plus plus Programs and Relations between Them for Program Understanding

被引:1
|
作者
Belevantsev, A. A. [1 ,2 ]
Veselevich, E. A. [1 ]
Ivannikov, V. P. [1 ,2 ,3 ]
机构
[1] Russian Acad Sci, Inst Syst Programming, Moscow 109004, Russia
[2] Moscow MV Lomonosov State Univ, Moscow 119991, Russia
[3] State Univ, Moscow Inst Phys & Technol, Dolgoprudnyi 141700, Moscow Oblast, Russia
基金
俄罗斯基础研究基金会;
关键词
Source Code; Trace Linkage; Program Entity; Dynamic Library; Compiler Infrastructure;
D O I
10.1134/S0361768816010023
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
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
页数:5
相关论文
共 50 条
  • [41] The Course Choice between C Language and C plus plus Language
    He, Yu
    ICCSSE 2009: PROCEEDINGS OF 2009 4TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION, 2009, : 1588 - 1590
  • [42] Detection of Incorrect Pointer Dereferences for C/C plus plus Programs using Static Code Analysis and Logical Inference
    Vert, Tatiana
    Krikun, Tatiana
    Glukhikh, Mikhail
    2013 TOOLS & METHODS OF PROGRAM ANALYSIS (TMPA 2013), 2013, : 78 - 82
  • [43] Object Model Construction for Inheritance in C plus plus and Its Applications to Program Analysis
    Yang, Jing
    Balakrishnan, Gogul
    Maeda, Naoto
    Ivancic, Franjo
    Gupta, Aarti
    Sinha, Nishant
    Sankaranarayanan, Sriram
    Sharma, Naveen
    COMPILER CONSTRUCTION, CC 2012, 2012, 7210 : 144 - 164
  • [44] Identifying and understanding header file hotspots in C/C plus plus build processes
    McIntosh, Shane
    Adams, Bram
    Nagappan, Meiyappan
    Hassan, Ahmed E.
    AUTOMATED SOFTWARE ENGINEERING, 2016, 23 (04) : 619 - 647
  • [45] Efficient Data Race Detection for C/C plus plus Programs Using Dynamic Granularity
    Song, Young Wn
    Lee, Yann-Hang
    2014 IEEE 28TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM, 2014,
  • [46] Detecting and Eliminating Potential Violation of Sequential Consistency for Concurrent C/C plus plus Programs
    Duan, Yuelu
    Feng, Xiaobing
    Wang, Lei
    Zhang, Chao
    Yew, Pen-Chung
    CGO 2009: INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, PROCEEDINGS, 2009, : 25 - +
  • [47] perflint: A Context Sensitive Performance Advisor for C plus plus Programs
    Liu, Lixia
    Rus, Silvius
    CGO 2009: INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, PROCEEDINGS, 2009, : 265 - +
  • [48] Designing clamps using CAD programs and C plus plus language
    Urdea, Mihaela
    Parv, Luminita
    Lupulescu, Nouras Barbu
    PROCEEDINGS OF THE 5TH WSEAS INTERNATIONAL CONFERENCE ON APPLIED AND THEORETICAL MECHANICS (MECHANICS '09), 2009, : 144 - 147
  • [49] Examining Structural Correctness of Documentation Comments in C plus plus Programs
    Cseri, Tamas
    2015 IEEE 13TH INTERNATIONAL SCIENTIFIC CONFERENCE ON INFORMATICS, 2015, : 73 - 78
  • [50] Designing clamps using CAD programs and C plus plus language
    Urdea, Mihaela
    Parv, Luminita
    Lupulescu, Nouras Barbu
    ADVANCES IN MANUFACTURING ENGINEERING, QUALITY AND PRODUCTION SYSTEMS, VOL II, 2009, : 453 - 456