基于依赖条件重构的程序符号值分析方法
郭曦, 王盼
Program Symbol Value Analysis Based on Dependent Condition Reconstruction
GUO Xi, WANG Pan
电子学报 . 2019, (3): 630 -635 .  DOI: 10.3969/j.issn.0372-2112.2019.03.016