SUDS: An infrastructure for creating bug detection tools

被引：0
|
作者：
Larson, Eric [1 ]
机构：
[1] Seattle Univ, Dept Comp Sci & Software Engn, Seattle, WA 98122 USA
来源：
SEVENTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS | 2007年
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
SUDS is a powerful infrastructure for creating dynamic bug detection tools. It contains Phases for both static analysis and dynamic instrumentation allowing users to create tools that take advantage of both paradigms. The results of static analysis phases can be used to improve the quality of dynamic bug detection tools created with SUDS and could be expanded to find defects statically. The instrumentation engine is designed in a manner that allows users to create their own correctness models quickly but is flexible to support construction of a wide range of different tools. The effectiveness of SUDS is demonstrated by showing that it is capable of finding bugs and that performance is improved when static analysis is used to eliminated unnecessary instrumentation.
引用
收藏
页码：123 / 132
页数：10
相关论文
共 50 条
  • [1] SUDS: an infrastructure for creating dynamic software defect detection tools
    Larson, Eric
    AUTOMATED SOFTWARE ENGINEERING, 2010, 17 (03) : 301 - 346
  • [2] SUDS: an infrastructure for creating dynamic software defect detection tools
    Eric Larson
    Automated Software Engineering, 2010, 17 : 301 - 346
  • [3] Detection of Duplicate Bug Reports in Jira and Bugzilla Tools
    Aldan, Cigdem
    Demir, Engin
    2020 TURKISH NATIONAL SOFTWARE ENGINEERING SYMPOSIUM (UYMS), 2020, : 126 - 129
  • [4] Retrofit SuDS - cost estimates and decision-support tools
    Stovin, V. R.
    Swan, A. D.
    PROCEEDINGS OF THE INSTITUTION OF CIVIL ENGINEERS-WATER MANAGEMENT, 2007, 160 (04) : 207 - 214
  • [5] Creating GIS-Based Planning Tools to Promote Equity Through Green Infrastructure
    Heckert, Megan
    Rosan, Christina D.
    FRONTIERS IN BUILT ENVIRONMENT, 2018, 4
  • [6] SuDS/BMPs/WSUD/SCMs: convergence to a blue-green infrastructure
    Stovin, Virginia
    Ashley, Richard
    URBAN WATER JOURNAL, 2019, 16 (06) : 403 - 403
  • [7] Creating the message infrastructure
    Cohen, Jeremy
    North, Robin
    Wilkins, Steven
    Darlington, John
    Guo, Yike
    Hoose, Neil
    Ma, Yajie
    Polak, John
    Suresh, Visalakshmi
    Watson, Paul
    Bell, Margaret
    Blythe, Phil
    Neasham, Jeff
    Calleja, Mark
    Hayes, Mark
    Beresford, Alastair
    Jones, Rod
    Mead, Iq
    Traffic Engineering and Control, 2009, 50 (11): : 480 - 483
  • [8] Creating an Infrastructure for Innovation
    Sheridan, David C.
    Hansen, Matthew
    Ma, O. John
    PEDIATRICS, 2018, 142
  • [9] MCET - CREATING THE INFRASTRUCTURE
    MILLER, I
    ANNALS OF THE AMERICAN ACADEMY OF POLITICAL AND SOCIAL SCIENCE, 1991, 514 : 92 - 106
  • [10] CREATING A GLOBAL IT INFRASTRUCTURE
    不详
    I-S ANALYZER, 1991, 29 (06): : 13 - 14
12345