针对特定文件结构和关键指令的符号执行优化方法

陈虎, 周瑶, 赵军锁

Symbolic Execution Optimization Methods for Specific File Structures and Key Instructions

Hu CHEN, Yao ZHOU, Junsuo ZHAO

信息网络安全 . 2018, (9): 86 -94 . DOI: 10.3969/j.issn.1671-1122.2018.09.014