SymWalker: Symbolic Execution in Routines of Binary Code.

Jinxin Ma Guowei Dong Puhan Zhang Tao Guo

Published in: CIS (2014)

Keyphrases

symbolic execution
binary codes
static analysis
test data generation
hamming distance
test generation
source code
specification language
similarity search
data flow
hash functions
image collections
test cases
high dimensional data
low dimensional
feature space
software engineering
knn