Implementation of an effective dynamic concolic execution framework for analyzing binary programs.

Erzhou Zhu Peng Wen Kanqi Ni Ruhui Ma

Published in: Comput. Secur. (2019)

Keyphrases

main contribution
execution engine
databases
efficient implementation
conceptual framework
execution model
change management