Patch-Related Vulnerability Detection Based on Symbolic Execution

Weizhong Qiang, Yuehua Liao, Guozhong Sun, Laurence T. Yang, Deqing Zou, Hai Jin. Patch-Related Vulnerability Detection Based on Symbolic Execution. IEEE Access, 5:20777-20784, 2017. [doi]

Abstract

Abstract is missing.