Static Analysis for Logic-Based Dynamic Programs.

Thomas Schwentick Nils Vortmeier Thomas Zeume

Published in: CoRR (2015)

Keyphrases

static analysis
dynamic analysis
symbolic execution
source code
abstract interpretation
java card
dynamic environments
malicious code
model checking
training data
open source
anomaly detection
regular expressions