Login / Signup
Static Analysis of Mega-Programs.
Daniel Weise
Published in:
SAS (1999)
Keyphrases
</>
static analysis
symbolic execution
dynamic analysis
abstract interpretation
source code
test generation
malicious code
regular expressions
test suite
api calls
case study
reverse engineering
control flow
java card