ParSym: Parallel Symbolic Execution(20IO 2nd International Coriference on Software Technology and Engineering(ICSTE))
摘要：
本文提出了一种符号并行执行的算法：ParSym，它支持符号执行和具体值执行的结合。算法由三部分组成：首先，Symbolic Execution Engine它具体执行程序，构建路径约束并求解约束，基于符号执行和具体值执行相结合。Parallel Symbolic Execution：function PARS YM( workItem )(depth, pos, inputs) <- workItem(constraints) <- EXECANDOBSERvE(testProgram)while depth>O 1\ POS<SIzE(constraints) doN 阅读全文
posted @ 2011-11-28 22:20 zhanghs 阅读(431) 评论(0) 推荐(0) 编辑
