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

摘要

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