Debugging Static Analysis.

Lisa Nguyen Quang Do Stefan Krüger Patrick Hill Karim Ali Eric Bodden

Published in: CoRR (2018)

Keyphrases

static analysis
dynamic analysis
source code
abstract interpretation
symbolic execution
malicious code
regular expressions
test generation
model based diagnosis
test suite
java card
data sets
high level
test set
data flow
java programs