计算机与现代化Issue(6)：60-67,8.DOI:10.3969/j.issn.1006-2475.2020.06.010
一种支持多线程程序的符号执行技术
A Symbolic Execution Technology Supporting Multi-thread Program
李曈 1丁国富2
作者信息
- 1. 清华大学计算机科学与技术系,北京 100084
- 2. 华为技术有限公司2012实验室,浙江 杭州 310052
- 折叠
摘要
关键词
符号执行/多线程程序/程序分析分类
信息技术与安全科学引用本文复制引用
李曈,丁国富..一种支持多线程程序的符号执行技术[J].计算机与现代化,2020,(6):60-67,8.
