181 search results - page 1 / 37 » Using Static Analysis to Find Bugs |
SOFTWARE
2008
13 years 4 months ago
2008
SIGSOFT
2006
ACM
13 years 10 months ago
2006
ACM
The change history of a software project contains a rich collection of code changes that record previous development experience. Changes that fix bugs are especially interesting, ...
ICST
2011
IEEE
12 years 8 months ago
2011
IEEE
—Static analysis tools have been widely used to detect potential defects without executing programs. It helps programmers raise the awareness about subtle correctness issues in t...
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 ...
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 ...