Strict Virtual Call Integrity Checking for C++ Binaries.

Mohamed Elsabagh Dan Fleck Angelos Stavrou

Published in: AsiaCCS (2017)

Keyphrases

general purpose
integrity checking
integrity constraints
deductive databases
semantic query optimization
constraint logic programming
hard and soft constraints
virtual world
virtual environment
source code
machine learning
artificial intelligence
high level
query processing
constraint satisfaction