当前位置：首页 > 科技成果 > 详细页

[00275555]基于预测性分析的安卓应用程序数据竞争检测

交易价格： 面议

所属行业： 分析仪器

类型： 发明专利

技术成熟度： 正在研发

专利所属地：中国

专利号：CN201510626507.2

交易方式： 技术转让技术转让技术入股

联系人：南京大学

进入空间

所在地：江苏南京市

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

登录后向技术服务商咨询

发布技术需求服务免费，交易还可领红包哦

技术详细介绍

本发明方法是基于安卓开发框架和其多线程模型，插桩安卓应用程序并动态运行提取单个执行轨迹，再使用预测性分析方法对执行轨迹进行分析，构造其活动间的发生序关系(Happens-Before)并预测生成多个执行轨迹，在此基础上结合变量松弛和路径松弛对执行轨迹中的所有活动进行约束编码，最终放入约束求解器中进行求解来完成数据竞争的检测。本发明能有效降低数据竞争的误报率，扩展性好，效率高，只需收集单个运行轨迹，大大降低了人工成本。

[00275555]基于预测性分析的安卓应用程序数据竞争检测

技术详细介绍

推荐服务：