the most advanced static analyzer for rACE conditions
#1 on DataRaceBench
Easy to Use
Coderrect Scanner is a command line tool that runs in Linux-based OS and supports C/C++/Fortran source codes, much like a "build" command.
Leveraging leading research findings, Coderrect Scanner analyzes software fully automatically without the need to run the software.
Coderrect Scanner detects race conditions in complex software in a matter of minutes in most cases, if not seconds.
Full code coverage without having to rely on specific inputs and run time behavior.
Designed for large and complex software, and scalable even for very large code base.
Easily customized for your project needs.
Fast and Exhaust Mode
A fast mode gives results very quickly and exhaust mode leaves no stones unturned.
Support additional types of concurrency bugs such as order violations, mismatched APIs, and more.
Provide both a terminal report and a detailed html report to help verify the issues identifed and make corrections.
Sophisticated and cutting edge algorithms, finding most critical concurrency bugs.
Capture concurrency bugs early in development. Almost instant feedback and quick iterations make multi-thread programming much more productive.
How Coderrect Scanner Works?
Generate an intermediate representation (IR) of your source code in the form of LLVM bitcode (BC) files;
Perform sophisticated static analyses on BC files to find potential race conditions;
Produce a detailed race report both in terminal and in html format;
INCREMENTAL ANALYSIS AND ADD-ON ANALYSIS