Static Analysis Tools for Soft-Core Reviews and Audits.

Serafín Olcoz Ana Castellvi Maria Garcia Jose Angel Gomez

Published in: DATE (1998)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
symbolic execution
reverse engineering
abstract interpretation
data mining
query language
databases
data warehouse
information extraction
end users
high level
object oriented systems
decision trees
learning algorithm