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 条
  • [41] Creating a Framework for Mass Casualty Response Infrastructure
    Mishra, D.
    Hsu, E.
    Cole, G.
    Towers, C.
    Usoro, A.
    Razzak, J.
    ANNALS OF EMERGENCY MEDICINE, 2022, 80 (04) : S128 - S129
  • [42] Building infrastructure for fixing the year 2000 bug: A case study
    Marcoccia, LJ
    JOURNAL OF SOFTWARE MAINTENANCE-RESEARCH AND PRACTICE, 1998, 10 (05): : 333 - 352
  • [43] Creating a Data Infrastructure for Tracking Knowledge Flow
    Haak, Laurel L.
    Baker, David
    Probus, Matt A.
    E-INFRASTRUCTURES FOR RESEARCH AND INNOVATION: LINKING INFORMATION SYSTEMS TO IMPROVE SCIENTIFIC KNOWLEDGE PRODUCTION, 2012, : 113 - 118
  • [44] Wireless sensor networks: creating 'smart infrastructure'
    Hoult, Neil
    Bennett, Peter J.
    Stoianov, Ivan
    Fidler, Paul
    Maksimovic, Cedo
    Middleton, Campbell
    Graham, Nigel
    Soga, Kenichi
    PROCEEDINGS OF THE INSTITUTION OF CIVIL ENGINEERS-CIVIL ENGINEERING, 2009, 162 (03) : 136 - 143
  • [45] CREATING THE INFRASTRUCTURE TO MAKE HERNIA RESEARCH A REALITY
    Scarola, G.
    Wilson, H.
    Ku, D.
    Brown, K.
    Tawkaliyar, R.
    Colavita, P.
    Augenstein, V.
    Heniford, T.
    BRITISH JOURNAL OF SURGERY, 2023, 110
  • [46] Creating a Volunteer Infrastructure through Public Funding
    Basl, William
    Spera, Christopher
    PUBLIC ADMINISTRATION REVIEW, 2013, 73 (02) : 352 - 353
  • [47] CREATING THE INFRASTRUCTURE OF SCIENTIFIC AND TECHNOLOGICAL MARKETING ACHIEVEMENTS
    KOTOV, GP
    KUZNETSOV, MV
    MOZDOR, SV
    NAUCHNO-TEKHNICHESKAYA INFORMATSIYA SERIYA 1-ORGANIZATSIYA I METODIKA INFORMATSIONNOI RABOTY, 1992, (05): : 22 - 23
  • [48] Creating a Strong Infrastructure for Healthy Growth Foreword
    Stanton, Bonita F.
    PEDIATRIC CLINICS OF NORTH AMERICA, 2020, 67 (01) : XV - XVI
  • [49] Creating a Flexible Preservation Infrastructure for Electronic Records
    Estlund, Karen
    Briston, Heather
    RESEARCH AND ADVANCED TECHNOLOGY FOR DIGITAL LIBRARIES, 2010, 6273 : 437 - 440
  • [50] Creating the Culture and technology for a Global Data Infrastructure
    Parsons, Mark A.
    ERCIM NEWS, 2015, (100): : 14 - 15
12345