通信学报2018，Vol.39Issue(6)：81-88,8.DOI:10.11959/j.issn.1000-436x.2018094
基于变量符号关联分析的程序状态优化方法
Program state optimal method based on variable symbolic relation analysis
摘要
关键词
程序分析/符号执行/约束求解器/符号分析分类
信息技术与安全科学引用本文复制引用
郭曦,王盼..基于变量符号关联分析的程序状态优化方法[J].通信学报,2018,39(6):81-88,8.基金项目
国家自然科学基金资助项目(No.61502194) （No.61502194）
中央高校基本科研业务费专项基金资助项目(No.2662018JC028) （No.2662018JC028）
