Implementation of an effective dynamic concolic execution framework for analyzing binary programs. - Erzhou Zhu; Peng Wen; Kanqi Ni; Ruhui Ma (Comput. Secur., 2019)