Login / Signup
AbsIntIO: Towards Showing the Absence of Integer Overflows in Binaries using Abstract Interpretation.
Alexander Küchler
Leon Wenning
Florian Wendland
Published in:
AsiaCCS (2023)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
source code
active rules
model checking
dynamic analysis
reverse engineering
active databases
control flow
reasoning engine
knowledge representation
databases
spatial information
open source
object oriented
relational databases