Leveraging semantic signatures for bug search in binary programs.

Jannik Pewny Felix Schuster Lukas Bernhard Thorsten Holz Christian Rossow

Published in: ACSAC (2014)

Keyphrases

semantic search
search algorithm
search efficiency
search space
search strategy
high level
search strategies
semantic web
domain specific
semantic information
source code
semantic similarity
software projects
information seeking
multimedia
semantic knowledge
signature verification