Static analysis with demand-driven value refinement.

Benno Stein Benjamin Barslev Nielsen Bor-Yuh Evan Chang Anders Møller

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

static analysis
demand driven
dynamic analysis
source code
symbolic execution
java card
malicious code
regular expressions
data sets
decision trees
case study
high level
data sources
abstract interpretation