Empirical Study of Software Composition Analysis Tools for C/C plus plus Binary Programs

被引:0
|
作者
Ning, Yuqiao [1 ]
Zhang, Yanan [2 ]
Ma, Chao [1 ]
Guo, Zhen [1 ]
Yu, Longhai [1 ]
机构
[1] CATARC Intelligent & Connected Technol Co Ltd, Guangzhou, Peoples R China
[2] Automot Data China Tianjin Co Ltd, Tianjin 300162, Peoples R China
关键词
Binary program analysis; software composition analysis; OBFUSCATION; CODE;
D O I
10.1109/ACCESS.2023.3341224
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Software composition analysis (SCA) is essential for understanding and optimizing complex C programs, ensuring system reliability and efficiency. Analyzing programs at the binary level provides insights into behavior, performance, and security. However, comprehensive evaluations of both academic and commercialized SCA tools are lacking. To this end, this paper presents a comprehensive evaluation of software composition analysis techniques for accurately identifying components in C/C++ binary programs. The study examines different analysis techniques in terms of accuracy, performance, domain-specific capabilities, and additional abilities such as detecting security vulnerabilities and code reuse potential. The results show that SCA tools reach over 70% accuracy in detecting general libraries and the accuracy drops to less than 45% for libraries in domain-specific software. Commercialized tools exhibit better efficiency and practicalness than academic tools. The evaluation provides insights into the strengths and limitations of various approaches, offering suggestions for SCA development and the selection of the most suitable tools.
引用
收藏
页码:50418 / 50430
页数:13
相关论文
共 50 条
  • [1] A replicated and refined empirical study of the use of friends in C plus plus software
    English, Michael
    Buckley, Jim
    Cahill, Tony
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2010, 83 (11) : 2275 - 2286
  • [2] An empirical study on C plus plus concurrency constructs
    Wu, Di
    Chen, Lin
    Zhou, Yuming
    Xu, Baowen
    [J]. 2015 ACM/IEEE INTERNATIONAL SYMPOSIUM ON EMPIRICAL SOFTWARE ENGINEERING AND MEASUREMENT (ESEM), 2015, : 257 - 266
  • [3] The Function Concept in C plus plus An Empirical Study
    Lincke, Daniel
    Schupp, Sibylle
    [J]. WGP'09: PROCEEDINGS OF THE 2009 ACM SIGPLAN WORKSHOP ON GENERIC PROGRAMMING, 2009, : 25 - 36
  • [4] Comparative Study on Static Code Analysis Tools for C/C plus
    Fatima, Anum
    Bibi, Shazia
    Hanif, Rida
    [J]. PROCEEDINGS OF 2018 15TH INTERNATIONAL BHURBAN CONFERENCE ON APPLIED SCIENCES AND TECHNOLOGY (IBCAST), 2018, : 465 - 469
  • [5] 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.
    [J]. ISSRE 2007: 18TH IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2007, : 203 - +
  • [6] On the Evolution of Mobile Computing Software Systems and C/C plus plus Vulnerable Code Empirical Investigation
    Alnaeli, Saleh M.
    Sarnowski, Melissa
    Aman, Md Sayedul
    Yelamarthi, Kumar
    Abdelgawad, Ahmed
    Jiang, Haowen
    [J]. 2016 IEEE 7TH ANNUAL UBIQUITOUS COMPUTING, ELECTRONICS MOBILE COMMUNICATION CONFERENCE (UEMCON), 2016,
  • [7] An extensive empirical study on C plus plus concurrency constructs
    Wu, Di
    Chen, Lin
    Zhou, Yuming
    Xu, Baowen
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2016, 76 : 1 - 18
  • [8] Static Analysis Approach for Defect Detection in Multithreaded C/C plus plus Programs
    Moiseev, Mikhail
    [J]. SOFTWARE ENGINEERING FOR RESILIENT SYSTEMS, SERENE 2013, 2013, 8166 : 169 - 183
  • [9] On Monitoring C/C plus plus Transactional Memory Programs
    Fiedor, Jan
    Letko, Zdenek
    Lourenco, Joao
    Vojnar, Tomas
    [J]. MATHEMATICAL AND ENGINEERING METHODS IN COMPUTER SCIENCE, MEMICS 2014, 2014, 8934 : 73 - 87
  • [10] Validating Optimizations of Concurrent C/C plus plus Programs
    Chakraborty, Soham
    Vafeiadis, Viktor
    [J]. PROCEEDINGS OF CGO 2016: THE 14TH INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, 2016, : 216 - 226