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 条
  • [1] Analysis of entities in C and C++ programs and relations between them for program understanding
    A. A. Belevantsev
    E. A. Veselevich
    V. P. Ivannikov
    Programming and Computer Software, 2016, 42 : 49 - 53
  • [2] Static Analysis Approach for Defect Detection in Multithreaded C/C plus plus Programs
    Moiseev, Mikhail
    SOFTWARE ENGINEERING FOR RESILIENT SYSTEMS, SERENE 2013, 2013, 8166 : 169 - 183
  • [3] On Monitoring C/C plus plus Transactional Memory Programs
    Fiedor, Jan
    Letko, Zdenek
    Lourenco, Joao
    Vojnar, Tomas
    MATHEMATICAL AND ENGINEERING METHODS IN COMPUTER SCIENCE, MEMICS 2014, 2014, 8934 : 73 - 87
  • [4] Validating Optimizations of Concurrent C/C plus plus Programs
    Chakraborty, Soham
    Vafeiadis, Viktor
    PROCEEDINGS OF CGO 2016: THE 14TH INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, 2016, : 216 - 226
  • [5] Model checking C plus plus programs
    Monteiro, Felipe R.
    Gadelha, Mikhail R.
    Cordeiro, Lucas C.
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2022, 32 (01):
  • [6] Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C plus plus Programs
    Fiedor, Jan
    Muzikovska, Monika
    Smrcka, Ales
    Vasicek, Ondrej
    Vojnar, Tomas
    ISSTA'18: PROCEEDINGS OF THE 27TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, 2018, : 356 - 359
  • [7] Empirical Study of Software Composition Analysis Tools for C/C plus plus Binary Programs
    Ning, Yuqiao
    Zhang, Yanan
    Ma, Chao
    Guo, Zhen
    Yu, Longhai
    IEEE ACCESS, 2024, 12 (50418-50430) : 50418 - 50430
  • [8] CppTest: A prototype tool for testing C/C plus plus programs
    Mao, Chengying
    Lu, Yansheng
    ARES 2007: SECOND INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS, 2007, : 1066 - +
  • [9] Enhanced Memory Corruption Detection in C/C plus plus Programs
    Lin, Ching-Yi
    Yang, Wuu
    PROCEEDINGS OF THE 52ND INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING WORKSHOPS PROCEEDINGS, ICPP-W 2023, 2023, : 71 - 78
  • [10] A dynamic predictive race detector for C/C plus plus programs
    Luo, Peng
    Zou, Deqing
    Jin, Hai
    Du, Yajuan
    Shen, Jinan
    JOURNAL OF SUPERCOMPUTING, 2017, 73 (09): : 3999 - 4019
12345