181 search results - page 16 / 37 » Using Static Analysis to Find Bugs |
163
Voted
POPL
2003
ACM
15 years 11 months ago
2003
ACM
We present an interprocedural and compositional algorithm for finding pairs of compatible allocation sites, which have the property that no object allocated at one site is live at...
EDCC
2006
Springer
15 years 2 months ago
2006
Springer
Bad error handling is the cause of many service outages. We address this problem by a novel approach to detect and patch bad error handling automatically. Our approach uses error ...
105
Voted
CVPR
2010
IEEE
15 years 1 days ago
2010
IEEE
We present a novel approach for robust localization of multiple people observed using multiple cameras. We use this location information to generate sports visualizations, which i...
93
Voted
ICCAD
2000
IEEE
15 years 2 months ago
2000
IEEE
ct Static timing analysis has traditionally used the PERT method for identifying the critical path of a digital circuit. Due to the influence of the slope of a signal at a particul...
ACMSE
2006
ACM
15 years 4 months ago
2006
ACM
Software researchers have already developed static code security checkers to parse through and scan source code files, looking for security vulnerabilities [8, 9]. What about exec...