Archer
Archer is a data race detector for OpenMP programs.
Archer combines static and dynamic techniques to identify data races in
large OpenMP applications, leading to low runtime and memory overheads,
while still offering high accuracy and precision. It builds on open-source
tools infrastructure such as LLVM and ThreadSanitizer to provide portability.
Programming models
OpenMP
License
Open source: BSD
Organizations
Lawrence Livermore National Laboratory
University of Utah
RWTH Aachen University