首页|期刊导航|通信学报|基于输入约束的符号执行优化

基于输入约束的符号执行优化

汪孙律林渝淇杨秋松李明树

通信学报2019，Vol.40Issue(3)：19-27,9.

通信学报2019，Vol.40Issue(3)：19-27,9.DOI:10.11959/j.issn.1000-436x.2019062

Symbolic execution optimization method based on input constraint

汪孙律 ¹林渝淇 ¹杨秋松 ¹李明树¹

作者信息

符号执行/输入约束/路径爆炸/缺陷查找

信息技术与安全科学

汪孙律,林渝淇,杨秋松,李明树..基于输入约束的符号执行优化[J].通信学报,2019,40(3):19-27,9.

中国科学院战略性先导科技专项基金资助项目(No.XDA-Y01-01) （No.XDA-Y01-01）

OA北大核心CSCDCSTPCD

ISSN：1000-436X

访问量0

下载量0

段落导航