Static Analysis Approach for Defect Detection in Multithreaded C/C plus plus Programs

被引：0
|
作者：
Moiseev, Mikhail [1 ]
机构：
[1] St Petersburg State Polytech Univ, St Petersburg, Russia
来源：
SOFTWARE ENGINEERING FOR RESILIENT SYSTEMS, SERENE 2013 | 2013年 / 8166卷
关键词：
Static analysis; defect detection; multithreaded program; CONCURRENT PROGRAMS;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Automatic defect detection in multithreaded programs with pointers and recursion is a real challenge. In this paper we present a static analysis approach targeted to detection of wide range of defect types in multithreaded programs, including some types of synchronization errors. This approach is based on well-known algorithms for interval and points-to analysis, which are extended with the developed algorithms for analysis of parallel execution. We show efficiency of our approach by evaluating it on a set of artificial and real-world multithreaded C/C++ programs based on Pthreads.
引用
收藏
页码：169 / 183
页数：15
相关论文
共 50 条
  • [21] 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
    [J]. ISSTA'18: PROCEEDINGS OF THE 27TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, 2018, : 356 - 359
  • [22] CppTest: A prototype tool for testing C/C plus plus programs
    Mao, Chengying
    Lu, Yansheng
    [J]. ARES 2007: SECOND INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS, 2007, : 1066 - +
  • [23] A dynamic predictive race detector for C/C plus plus programs
    Luo, Peng
    Zou, Deqing
    Jin, Hai
    Du, Yajuan
    Shen, Jinan
    [J]. JOURNAL OF SUPERCOMPUTING, 2017, 73 (09): : 3999 - 4019
  • [24] BUGSC plus plus : A Highly Usable Real World Defect Benchmark for C/C plus
    An, Gabin
    Kwon, Minhyuk
    Choi, Kyunghwa
    Yi, Jooyong
    Yoo, Shin
    [J]. 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, 2023, : 2034 - 2037
  • [25] Static Analysis of Functors' Mathematical Properties in C plus plus Source Code
    Babati, Bence
    Pataki, Norbert
    [J]. INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS (ICNAAM-2018), 2019, 2116
  • [26] Finding parallel patterns through static analysis in C plus plus applications
    del Rio Astorga, David
    Dolz, Manuel F.
    Miguel Sanchez, Luis
    Daniel Garcia, J.
    Danelutto, Marco
    Torquati, Massimo
    [J]. INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS, 2018, 32 (06): : 779 - 788
  • [27] Rejuvenating C plus plus Programs through Demacrofication
    Kumar, Aditya
    Sutton, Andrew
    Stroustrup, Bjarne
    [J]. 2012 28TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE (ICSM), 2012, : 98 - 107
  • [28] On the Use of Open-Source C/C plus plus Static Analysis Tools in Large Projects
    Pereira, Jose D'Abruzzo
    Vieira, Marco
    [J]. 2020 16TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2020), 2020, : 97 - 102
  • [29] Summary of Model Checking C plus plus Programs
    Monteiro, Felipe R.
    Gadelha, Mikhail R.
    Cordeiro, Lucas C.
    [J]. 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022), 2022, : 461 - 461
  • [30] Parallelism in C plus plus Programs Targeting Objects
    Barve, Amit
    Khomane, Sneha
    Kulkarni, Bhagyashree
    Katare, Shubhangi
    Ghadage, Sonali
    [J]. 2017 IEEE INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, COMMUNICATION AND CONTROL (ICAC3), 2017,
12345