SLING: using dynamic analysis to infer program invariants in separation logic.

Ton Chanh Le Guolong Zheng ThanhVu Nguyen

Published in: PLDI (2019)

Keyphrases

dynamic analysis
static analysis
reverse engineering
modal logic
source code
model checking
logic programming
abstract interpretation
software engineering
classical logic
asynchronous circuits
databases
real world
relational databases
pattern matching
imperative programs