一种针对格式文件的符号执行优化方法

学会官网 | 加入学会 | 登录学会 | English

一种针对格式文件的符号执行优化方法

汪孙律, 杨秋松, 李明树

A Symbolic Execution Optimization Method Based on File Format Constraint

WANG Sun-lü, YANG Qiu-song, LI Ming-shu

电子学报 . 2020, (12): 2417 -2424 . DOI: 10.3969/j.issn.0372-2112.2020.12.018