Differential static analysis: opportunities, applications, and challenges.

Shuvendu K. Lahiri Kapil Vaswani C. A. R. Hoare

Published in: FoSER (2010)

Keyphrases

static analysis
dynamic analysis
source code
abstract interpretation
symbolic execution
malicious code
lessons learned
regular expressions
java card
test generation
learning algorithm
programming language
open source
reverse engineering
test suite
test case generation