Relational abstract interpretation of arrays in assembly code.

Clément Ballabriga Julien Forget Jordy Ruiz

Published in: Formal Methods Syst. Des. (2021)

Keyphrases

abstract interpretation
static analysis
termination analysis
source code
dynamic analysis
active rules
relational databases
model checking
regular expressions
active databases
database
high level
spatial databases
software systems
open source
data model
case study