Login / Signup
IntScope: Automatically Detecting Integer Overflow Vulnerability in X86 Binary Using Symbolic Execution.
Tielei Wang
Tao Wei
Zhiqiang Lin
Wei Zou
Published in:
NDSS (2009)
Keyphrases
</>
automatically detecting
symbolic execution
buffer overflow
automatic detection
test generation
test data generation
static analysis
source code
specification language
general purpose
development process
simulated annealing algorithm