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

Erzhou Zhu, Peng Wen, Kanqi Ni, Ruhui Ma. Implementation of an effective dynamic concolic execution framework for analyzing binary programs. Computers & Security, 86:1-27, 2019. [doi]

Abstract

Abstract is missing.