Scala-AM: A Modular Static Analysis Framework.

Quentin Stiévenart Maarten Vandercammen Wolfgang De Meuter Coen De Roover

Published in: SCAM (2016)

Keyphrases

static analysis
abstract interpretation
artificial intelligence
source code
case study
main contribution
databases
learning algorithm
knowledge base
training data
domain knowledge
cd rom
dynamic analysis