Assisting Malware Analysis with Symbolic Execution: A Case Study.

Roberto Baldoni Emilio Coppa Daniele Cono D'Elia Camil Demetrescu

Published in: CSCML (2017)

Keyphrases

static analysis
symbolic execution
databases
state space
dynamic analysis
case study
database systems
training data