基于变量符号关联分析的程序状态优化方法
郭曦,王盼
Program state optimal method based on variable symbolic relation analysis
Xi GUO,Pan WANG
通信学报 . 2018, (6): 81 -88 .  DOI: 10.11959/j.issn.1000-436x.2018094