181 search results - page 19 / 37 » Using Static Analysis to Find Bugs |
81
Voted
AOSD
2007
ACM
15 years 2 months ago
2007
ACM
Most current software systems contain undocumented high-level ideas implemented across multiple files and modules. When developers perform program maintenance tasks, they often wa...
99
Voted
CAV
2008
Springer
15 years 27 days ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...
92
Voted
ICSE
2008
IEEE-ACM
15 years 11 months ago
2008
IEEE-ACM
A memory leak in a Java program occurs when object references that are no longer needed are unnecessarily maintained. Such leaks are difficult to understand because static analyse...
112
click to vote
CCS
2006
ACM
15 years 2 months ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...
87
Voted
ICCAD
2001
IEEE
15 years 7 months ago
2001
IEEE
tems. STARS manipulates abstract representations of system components to obtain upper bounds on the number of various events in the system, as well as a bound on the response time....