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 条
  • [21] Creating an infrastructure for the circulation of ideas and passions
    Weinberger, David
    LIBRARY JOURNAL, 2012, 137 (18) : 34 - 36
  • [22] Creating an Enabling Information Technology Infrastructure
    Barton, Amy J.
    CLINICAL NURSE SPECIALIST, 2014, 28 (01) : 7 - 8
  • [23] Creating an Infrastructure Education Community of Practice
    Parker, Philip J.
    Haden, Carol
    Hart, Steven D.
    Thompson, Michael Keith
    Roberts, Matthew W.
    2014 ASEE ANNUAL CONFERENCE, 2014,
  • [24] Creating an innovation infrastructure in academic nursing
    Leary, Marion
    Villarruel, Antonia M.
    Richmond, Therese S.
    JOURNAL OF PROFESSIONAL NURSING, 2022, 38 : 83 - 88
  • [25] Creating a Global Public Inclusive Infrastructure
    Vanderheiden, Gregg
    Treviranus, Jutta
    UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION: DESIGN FOR ALL AND EINCLUSION, PT 1, 2011, 6765 : 517 - 526
  • [26] Creating an Infrastructure for Comparative Policy Analysis
    Baumgartner, Frank R.
    GOVERNANCE-AN INTERNATIONAL JOURNAL OF POLICY ADMINISTRATION AND INSTITUTIONS, 2017, 30 (01): : 59 - 65
  • [27] Creating an effective infrastructure to develop GIS
    Colonese, Emilia de Menezes
    da Cunha, Adilson Marques
    INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY, PROCEEDINGS, 2007, : 906 - +
  • [28] Tools for creating video tutorials
    Murley, Diane
    LAW LIBRARY JOURNAL, 2007, 99 (04): : 857 - 861
  • [29] Tools for creating customer satisfaction
    Olstein, Myron
    Day, Charles E.
    Stanford, Melissa
    2000, American Water Works Assoc, Denver (92):
  • [30] Tools for creating exercises on the web
    Somoza Fernandez, Marta
    BID-TEXTOS UNIVERSITARIS DE BIBLIOTECONOMIA I DOCUMENTACIO, 2005, (14):
12345