Evaluating the imprecision of static analysis.

Atanas Rountev Scott Kagan Michael Gibas

Published in: PASTE (2004)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
symbolic execution
fuzzy logic
java card
fuzzy sets
regular expressions
test generation
abstract interpretation
database
databases
domain knowledge
open source