分布式符号执行平台

• 作者: 孙盼盼 董威
• 来源期刊: 计算机系统应用
• 关键词: 并行符号执行 分布式系统 WEB平台 缺陷检测 KLEE
• 年，卷（期）: 2016,（4）
• 所属期刊栏目: 系统建设
• 页码范围: 43-48
• 页数: 6页
• 字数: 3961字
• 语种: 中文

摘要

在软件工程学中,符号执行技术是一门高效的程序缺陷检测技术.符号执行使用符号值作为程序的输入,将程序的执行转变为相应符号表达式的操作,通过系统地遍历程序的路径空间,实现对程序行为的精确分析.然而,因受路径爆炸问题与约束求解问题的制约,符号执行技术也面临着可扩展性差的问题.为了在一定程度上缓解该问题,本文实现了一个分布式符号执行平台,该平台在调度算法的调度下将任务从主节点分发给多个工作节点,进而实现了任务的并行执行,降低了符号执行的时间开销.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董威	国防科技大学计算机学院	25	165	6.0	12.0
2	孙盼盼	国防科技大学计算机学院	1	1	1.0	1.0