[00251710]一种基于符号计算的动态并行程序污点分析方法

交易价格： 面议

类型： 发明专利

技术成熟度： 正在研发

专利所属地：中国

专利号：CN201610243975.6

交易方式： 完全转让许可转让技术入股

联系人：西安交通大学

所在地：陕西西安市

服务承诺: 产权明晰; 资料保密
对所交付的所有资料进行保密; 如实描述

登录后向技术服务商咨询

咨询平台客服试试在线客服吧发布技术需求服务免费

技术详细介绍

一种基于符号计算的动态并行程序污点分析方法，根据并行程序的污染传播语义构建约束表达式，采用约束求解器验证该变量是否会在某种交织下被污染，并且生成被污染时的证据序列；首先，在给定的污染输入下执行程序，收集特定交织下的污染变量实例集合；其次，符号分析根据并行程序污染传播语义，将执行路径转化为约束表达式以验证此路径是否新的被污染变量；然后，路径探索利用此约束模型来验证是否存在分支可被取反，以寻找新路径；最后，继续验证新路径，符号分析与路径探索迭代进行，直至不再产生新路径；此方法的目标是给定输入下，验证特定调度下是否存在一些变量会在其他交织中被污染；且寻找新语句，以发现新的污染变量。

成果推荐需求推荐评估专家推荐评估机构推荐

更多>

上海平正评估有限公司

服务分类：资产评估、无形资产评...

进入主页
连城资产评估有限公司

服务分类：资产评估、无形资产评...

进入主页

更多>