Abstract Interpretation of Binary Code with Memory Accesses using Polyhedra.
Clément BallabrigaJulien ForgetGiuseppe LipariPublished in: CoRR (2017)
Keyphrases
- abstract interpretation
- binary codes
- termination analysis
- static analysis
- hamming distance
- active rules
- dynamic analysis
- reasoning engine
- relational databases
- similarity search
- model checking
- deductive databases
- hash functions
- feature selection
- main memory
- query language
- data analysis
- data streams
- feature extraction
- knowledge base