基于在时间旅行调试期间更改函数内部加载的数据竞争分析

摘要

确定函数内部加载修改是否影响被追踪的函数的所述输出。函数在实体的先前执行的被追踪部分内被标识。该函数包括可执行指令序列，并且产生一个或多个输出。由该函数的被追踪的实例产生的(多个)追踪的输出数据值被确定，并且该可执行指令序列内的执行从存储器的加载的可执行指令被标识。该函数的执行被仿真，同时用不同的存储器值替换在所述函数的被追踪的实例期间由所述可执行指令加载的追踪存储器值，并且同时产生(多个)仿真的输出数据值。基于在(多个)被追踪的输出数据值与(多个)仿真的输出数据值之间存在差异，通知在用户接口处或者向软件组件被生成。