BinSEAL: Linux Binary Obfuscation Against Symbolic Execution.

Ruizhe Qin Hao Han

Published in: SpaCCS Workshops (2020)

Keyphrases

symbolic execution
static analysis
source code
open source
test generation
operating system
specification language
reverse engineering
test data generation
file system
regular expressions
data sets
computer systems
software projects
programming language
object oriented
neural network
databases