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 条
  • [31] Static Integration of SQL Queries in C plus plus Programs
    Sysak, Maciej
    Zielinski, Bartosz
    Kruszynski, Piotr
    Sobieski, Scibor
    Maslanka, Pawel
    ADVANCES IN DATABASES AND INFORMATION SYSTEMS (ADBIS 2014), 2014, 8716 : 126 - 138
  • [32] Reconstruction of Class Hierarchies for Decompilation of C plus plus Programs
    Fokin, A.
    Troshina, K.
    Chernov, A.
    14TH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING (CSMR 2010), 2010, : 240 - 243
  • [33] MARX: Uncovering Class Hierarchies in C plus plus Programs
    Pawlowski, Andre
    Contag, Moritz
    van der Veen, Victor
    Ouwehand, Chris
    Holz, Thorsten
    Bos, Herbert
    Athanasopoulos, Elias
    Giuffrida, Cristiano
    24TH ANNUAL NETWORK AND DISTRIBUTED SYSTEM SECURITY SYMPOSIUM (NDSS 2017), 2017,
  • [34] Correlations between internal software metrics and software dependability in a large population of small C/C plus plus programs
    van der Meulen, Meine J. P.
    Revilla, Miguel A.
    ISSRE 2007: 18TH IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2007, : 203 - +
  • [35] ABOR: An Automatic Framework for Buffer Overflow Removal in C/C plus plus Programs
    Ding, Sun
    Tan, Hee Beng Kuan
    Zhang, Hongyu
    ENTERPRISE INFORMATION SYSTEMS, ICEIS 2014, 2015, 227 : 204 - 221
  • [36] MagicDetector: A Precise and Scalable Static Deadlock Detector for C/C plus plus Programs
    Cao, Huaxiong
    Gu, Naijie
    Du, Yunkai
    ARABIAN JOURNAL FOR SCIENCE AND ENGINEERING, 2016, 41 (12) : 5149 - 5167
  • [37] HATI: Hardware Assisted Thread Isolation for Concurrent C/C plus plus Programs
    Santos, Juan Carlos Martinez
    Fei, Yunsi
    PROCEEDINGS OF 2014 IEEE INTERNATIONAL PARALLEL & DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW), 2014, : 322 - 331
  • [38] A Context-Sensitive Memory Model for Verification of C/C plus plus Programs
    Gurfinkel, Arie
    Navas, Jorge A.
    STATIC ANALYSIS (SAS 2017), 2017, 10422 : 148 - 168
  • [39] Automatic Test Generation for C and C plus plus Programs, Using Symbolic Execution
    Yoshida, Hiroaki
    Li, Guodong
    Kamiya, Takuki
    Ghosh, Indradeep
    Rajan, Sreeranga
    Tokumoto, Susumu
    Munakata, Kazuki
    Uehara, Tadahiro
    IEEE SOFTWARE, 2017, 34 (05) : 30 - 37
  • [40] C and C plus plus Language Application Similarity Analysis
    Zhou Jianru
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON EDUCATION, MANAGEMENT AND COMPUTING TECHNOLOGY, 2015, 30 : 1167 - 1170
12345