Sign in

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

Quentin StiévenartJens NicolayWolfgang De MeuterCoen 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