Sign in

The secret sauce in efficient and precise static analysis: the beauty of distributive, summary-based static analyses (and how to master them).

Eric Bodden
Published in: ISSTA/ECOOP Workshops (2018)
Keyphrases
  • static analysis
  • dynamic analysis
  • source code
  • reverse engineering
  • relational databases
  • abstract interpretation
  • database
  • databases
  • case study
  • domain knowledge
  • java card
  • malicious code