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
来源：
PROGRAMMING AND COMPUTER SOFTWARE | 2016年 / 42卷 / 01期
基金：
俄罗斯基础研究基金会;
关键词：
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 条
  • [21] SANRAZOR: Reducing Redundant Sanitizer Checks in C/C plus plus Programs
    Zhang, Jiang
    Wang, Shuai
    Rigger, Manuel
    He, Pingjia
    Su, Zhendong
    PROCEEDINGS OF THE 15TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION (OSDI '21), 2021, : 479 - 494
  • [22] Dynamically Checking Ownership Policies in Concurrent C/C plus plus Programs
    Martin, Jean-Phillipe
    Hicks, Michael
    Costa, Manuel
    Akritidis, Periklis
    Castro, Miguel
    POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2010, : 457 - 470
  • [23] A Comprehensive Detection of Memory Corruption Vulnerabilities for C/C plus plus Programs
    Gao, Yuhan
    Chen, Liwei
    Shi, Gang
    Zhang, Fei
    2018 IEEE INT CONF ON PARALLEL & DISTRIBUTED PROCESSING WITH APPLICATIONS, UBIQUITOUS COMPUTING & COMMUNICATIONS, BIG DATA & CLOUD COMPUTING, SOCIAL COMPUTING & NETWORKING, SUSTAINABLE COMPUTING & COMMUNICATIONS, 2018, : 354 - 360
  • [24] C/C plus plus Thread Safety Analysis
    Hutchins, DeLesley
    Ballman, Aaron
    Sutherland, Dean
    2014 14TH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION (SCAM 2014), 2014, : 41 - 46
  • [25] Understanding Integer Overflow in C/C plus
    Dietz, Will
    Li, Peng
    Regehr, John
    Adve, Vikram
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2015, 25 (01)
  • [26] Understanding Integer Overflow in C/C plus
    Dietz, Will
    Li, Peng
    Regehr, John
    Adve, Vikram
    2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2012, : 760 - 770
  • [27] Slicing Complex C plus plus Program Dynamically
    Mohapatra, Jagadiswar
    Giri, Soumyajit
    Debasis, Kumar
    Das, Sujit Kumar
    2014 INTERNATIONAL CONFERENCE ON ADVANCED COMMUNICATION CONTROL AND COMPUTING TECHNOLOGIES (ICACCCT), 2014, : 1765 - 1770
  • [28] Local Nontermination Detection for Parallel C plus plus Programs
    Still, Vladimir
    Barnat, Jiri
    SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2019), 2019, 11724 : 373 - 390
  • [29] Auto-parallelisation of Sieve C plus plus programs
    Donaldson, Alastair
    Riley, Colin
    Lokhmotov, Anton
    Cook, Andrew
    EURO-PAR 2007 WORKSHOPS: PARALLEL PROCESSING, 2008, 4854 : 18 - +
  • [30] Detecting Exception Handling Bugs in C plus plus Programs
    Zhang, Hao
    Luo, Ji
    Hu, Mengze
    Yan, Jun
    Zhang, Jian
    Qiu, Zongyan
    2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE, 2023, : 1084 - 1095
12345