Abstract Compilation: A New Implementation Paradigm for Static Analysis.

Dominique Boucher Marc Feeley

Published in: CC (1996)

Keyphrases

static analysis
dynamic analysis
abstract interpretation
source code
symbolic execution
malicious code
high level
software engineering
test generation
software development
data exchange
regular expressions
execution engine