Login / Signup
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