Undecidability of Static Analysis.

Published in: LOPLAS (1992)

Keyphrases

static analysis
dynamic analysis
source code
description logics
malicious code
test generation
probabilistic planning
symbolic execution
answering queries
abstract interpretation
regular expressions
java card
data sets
database
query containment
pattern matching
metadata