17 search results - page 1 / 4 » SUDS: An Infrastructure for Creating Bug Detection Tools |
SCAM
2007
IEEE
13 years 11 months ago
2007
IEEE
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 ...
SIGCSE
2006
ACM
13 years 10 months ago
2006
ACM
The importance of software bug detection tools is high with the constant threat of malicious activity. Companies are increasingly relying on software bug detection tools to catch ...
SIGSOFT
2003
ACM
14 years 5 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
COMPSAC
2008
IEEE
13 years 11 months ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
ISSTA
2012
ACM
11 years 7 months ago
2012
ACM
Use-after-free vulnerabilities are rapidly growing in popularity, especially for exploiting web browsers. Use-afterfree (and double-free) vulnerabilities are caused by a program o...