SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic.

Ton Chanh Le Guolong Zheng ThanhVu Nguyen

Published in: CoRR (2019)

Keyphrases

dynamic analysis
static analysis
reverse engineering
source code
malicious behavior
model checking
abstract interpretation
modal logic
proof theory
test suite
affine invariant
regular expressions
invariant features
logic programming
asynchronous circuits
real world
database