Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation.

Roberto Giacobazzi Isabella Mastroeni

Published in: SAS (2022)

Keyphrases

abstract interpretation
static analysis
termination analysis
dynamic analysis
source code
active rules
active databases
open source
model checking
fine grained