Building a modular static analysis framework in Scala (tool paper).

Quentin Stiévenart Jens Nicolay Wolfgang De Meuter Coen De Roover

Published in: SCALA@SPLASH (2016)

Keyphrases

static analysis
source code
artificial intelligence
dynamic analysis
abstract interpretation
metadata
case study
relational databases
building blocks