[发明专利]一种基于Actor模型的并行动态符号执行方法和系统有效
| 申请号： | 201611237624.0 | 申请日： | 2016-12-28 |
| 公开（公告）号： | CN106649124B | 公开（公告）日： | 2019-04-02 |
| 发明（设计）人： | 常亮;张晓文;古天龙;贾向阳;徐周波;张舜尧 | 申请（专利权）人： | 桂林电子科技大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 北京轻创知识产权代理有限公司 11212 | 代理人： | 杨立;付倩 |
| 地址： | 541004 广西*** | 国省代码： | 广西;45 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及一种基于Actor模型的并行动态符号执行方法和系统，方法包括将配置后的Actor模型的并行框架合并到修改后的动态符号执行工具中；Actor模型的多个工作节点通过通讯节点从预先构造的待求解路径栈中取出任务，并根据任务探索器获取所述任务的任务路径约束值；利用约束求解器对所述任务路径约束值进行求解，得到求解值Valuation；将求解值Valuation采用递归方式来代入所述待求解路径栈中的路径，生成待探索路径，将待探索路径存入预先构造的待探索路径栈中。本发明的提出一种并行动态符号执行方法，实现了两个层面上的并行，可以在多个节点上并行分析程序路径，可同次进行约束求解和路径探索，降低程序耗时，还可以加强测试大规模程序的能力。 | ||
| 搜索关键词： | 一种 基于 actor 模型 并行 动态 符号 执行 方法 系统 | ||
【主权项】：
1.一种基于Actor模型的并行动态符号执行方法，其特征在于，包括如下步骤：步骤A：将动态符号执行工具的执行方式设置为满足并行框架执行的需求：所述动态符号执行工具为Jdar工具，将动态符号执行工具Jdar的模式设置为每次处理完一条路径即结束的模式来满足并行框架执行的需求；步骤B：在Actor模型的并行框架中配置用于管理并行框架中各工作节点通讯的通讯节点，并将配置后的并行框架合并到修改后的动态符号执行工具中；步骤C：Actor模型的多个工作节点通过通讯节点从预先构造的待求解路径栈中取出任务，并根据任务探索器获取所述任务的任务路径约束值；步骤D：利用约束求解器对所述任务路径约束值进行求解，得到求解值Valuation；步骤E：将求解值Valuation采用递归方式代入所述待求解路径栈中的路径，生成待探索路径，将待探索路径存入预先构造的待探索路径栈中。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于桂林电子科技大学，未经桂林电子科技大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201611237624.0/，转载请声明来源钻瓜专利网。
