OpenRace:Coderrect Scanner核心竞争检测功能的开源实现 源码

OpenRace OpenRace是一个正在开发的C / C ++数据竞争检测工具。 该项目旨在拥有一个干净且可扩展的设计,以促进社区的贡献。 OpenRace是开源实现,它是C / C ++ / Fortran数据竞争检测工具。 就功能支持而言,开源工具目前落后于原始扫描仪,但是我们正在积极开发并期望OpenRace最终取代的封闭源实现。 跑步 请注意,该工具仍处于开发初期,尚不支持许多功能。 首先,从GitHub版本页面下载该工具,或者从源代码构建最新版本并运行: > openrace tests/data/integration/pthreadrace/pthreadsimple.ll ==== Races ==== pthreadsimple.c:8:9 pthreadsimple.c:8:9 Total Races Detected: 1 该工具将LLVM IR文件作为