DocumentCode :
1890521
Title :
SUDS: An Infrastructure for Creating Bug Detection Tools
Author :
Larson, Eric
Author_Institution :
Seattle Univ., Seattle
fYear :
2007
fDate :
Sept. 30 2007-Oct. 1 2007
Firstpage :
123
Lastpage :
132
Abstract :
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.
Keywords :
software tools; SUDS; correctness models; dynamic bug detection tools; dynamic instrumentation; static analysis; Computer bugs; Computer science; Engines; Instruments; Manipulator dynamics; Performance analysis; Phase detection; Software engineering; Software quality; Software tools;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Source Code Analysis and Manipulation, 2007. SCAM 2007. Seventh IEEE International Working Conference on
Conference_Location :
Paris
Print_ISBN :
978-0-7695-2880-9
Type :
conf
DOI :
10.1109/SCAM.2007.22
Filename :
4362904
Link To Document :
بازگشت