A survey of systems for detecting serial run-time errors

被引:7
|
作者
Luecke, Glenn R. [1 ]
Coyle, James [1 ]
Hoekstra, Jim [1 ]
Kraeva, Marina [1 ]
Li, Ying [1 ]
Taborskaia, Olga [1 ]
Wang, Yanmei [1 ]
机构
[1] Iowa State Univ, High Performance Comp Grp, Ames, IA 50011 USA
来源
关键词
software for detecting run-time errors; C; C plus;
D O I
10.1002/cpe.1036
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
This paper evaluates the ability of a variety of commercial and non-commercial software products to detect serial run-time errors in C and C++ programs, to issue meaningful messages, and to give the line in the source code where the error occurred. The commercial products Insure++ and Purify performed the best of all the software products we evaluated. Error messages were usually better and clearer when using Insure++ than when using Purify. Our evaluation shows that the overall capability of detecting run-time errors of non-commercial products is significantly lower than the quality of both Purify and Insure++. Of all non-commercial products evaluated, Mpatrol provided the best overall capability to detect run-time errors in C and C++ programs. Copyright (c) 2006 John Wiley & Sons, Ltd.
引用
收藏
页码:1885 / 1907
页数:23
相关论文
共 50 条
  • [1] FINDING RUN-TIME MEMORY ERRORS
    NELSON, T
    [J]. DR DOBBS JOURNAL, 1993, 18 (12): : 34 - &
  • [2] A survey on run-time supporting platforms for cyber physical systems
    Sun, Yuan
    Yang, Gang
    Zhou, Xing-she
    [J]. FRONTIERS OF INFORMATION TECHNOLOGY & ELECTRONIC ENGINEERING, 2017, 18 (10) : 1458 - 1478
  • [3] A survey on run-time supporting platforms for cyber physical systems
    Yuan SUN
    Gang YANG
    Xing-she ZHOU
    [J]. Frontiers of Information Technology & Electronic Engineering, 2017, 18 (10) : 1458 - 1478
  • [4] A survey on run-time supporting platforms for cyber physical systems
    Yuan Sun
    Gang Yang
    Xing-she Zhou
    [J]. Frontiers of Information Technology & Electronic Engineering, 2017, 18 : 1458 - 1478
  • [5] ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems
    Timperley, Christopher S.
    Durschmid, Tobias
    Schmerl, Bradley
    Garlan, David
    Le Goues, Claire
    [J]. IEEE 19TH INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE (ICSA 2022), 2022, : 112 - 123
  • [6] Automatic proof of the absence of run-time errors
    Garnsworthy, Jon
    O'Neill, Ian
    Carre, Bernard
    [J]. Studies in Computer and Communications Systems, 1993, 6
  • [7] Static checker of semantic run-time errors
    Kuksenko, SV
    Shelekhov, VI
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1998, 24 (06) : 288 - 300
  • [8] A Method of Run-Time Detecting DDoS Attacks
    Li, Muhai
    Li, Ming
    [J]. PROCEEDINGS OF THE 12TH WSEAS INTERNATIONAL CONFERENCE ON COMPUTERS , PTS 1-3: NEW ASPECTS OF COMPUTERS, 2008, : 393 - +
  • [9] UPC-CHECK: a scalable tool for detecting run-time errors in Unified Parallel C
    Coyle, James
    Roy, Indranil
    Kraeva, Marina
    Luecke, Glenn R.
    [J]. COMPUTER SCIENCE-RESEARCH AND DEVELOPMENT, 2013, 28 (2-3): : 203 - 209
  • [10] Run-time reconfigurable systems for digital signal processing applications: A survey
    Shoa, A
    Shirani, S
    [J]. JOURNAL OF VLSI SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 2005, 39 (03): : 213 - 235