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文件作为
文件列表
OpenRace:Coderrect Scanner核心竞争检测功能的开源实现
(预估有个223文件)
.clang-format
73B
index.js.backup
3KB
LoweringMemCpyPass.cpp
6KB
CanonicalizeGEPPass.cpp
6KB
HappensBeforeGraph.cpp
10KB
SharedMemory.cpp
4KB
RaceModel.cpp
5KB
Builder.cpp
6KB
ThreadTrace.cpp
5KB
TypeMetaData.cpp
17KB
暂无评论