181 search results - page 7 / 37 » Using Static Analysis to Find Bugs |
83
Voted
OOPSLA
2004
Springer
15 years 4 months ago
2004
Springer
This paper introduces dynamic object colocation, an optimization to reduce copying costs in generational and other incremental garbage collectors by allocating connected objects t...
104
Voted
EUROSYS
2011
ACM
14 years 2 months ago
2011
ACM
Although they are helpful in many cases, state-of-the-art bug reporting systems may impose excessive overhead on users, leak private information, or provide little help to the dev...
81
Voted
SCAM
2008
IEEE
15 years 5 months ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
83
Voted
NDSS
2000
IEEE
15 years 3 months ago
2000
IEEE
We describe a new technique for finding potential buffer overrun vulnerabilities in security-critical C code. The key to success is to use static analysis: we formulate detection...
114
Voted
ISSTA
2012
ACM
13 years 1 months ago
2012
ACM
We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse va...