Login / Signup
A few billion lines of code later: using static analysis to find bugs in the real world.
Al Bessey
Ken Block
Benjamin Chelf
Andy Chou
Bryan Fulton
Seth Hallem
Charles-Henri Gros
Asya Kamsky
Scott McPeak
Dawson R. Engler
Published in:
Commun. ACM (2010)
Keyphrases
</>
static analysis
source code
real world
malicious code
dynamic analysis
symbolic execution
open source
java card
software systems
data sets
data mining
hough transform
test generation
regular expressions
abstract interpretation
software projects
high level
case study
test suite
line drawings
domain knowledge