Alternative Text

CODERRECT SCANNER

the most advanced static analyzer for multi-threaded software


Download Page

Learn More on Why
Coderrect Scanner Achieved #1 on DataRaceBench


Coderrect Scanner is the only static scanner in the group of tools evaluated by DataRaceBench, does not need to run your program and does not rely on test cases

    Source: DataRaceBench by LLNL
    Alternative Text

    Security, Performance and Peace of Mind

    find out why Coderrect Scanner should be your goto solution for quality assurance on multithreaded software

    Download White Paper

    Alternative Text

    CODERRECT SCANNER

    Static Analysis – specifically designed for C/C++/Fortran multithreaded software

    Download Data Sheet

    FEATURES


    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.

    Fully Automatic

    Leveraging leading research findings, Coderrect Scanner analyzes software fully automatically without the need to run the software.

    Super Fast

    Coderrect Scanner detects race conditions in complex software in a matter of minutes in most cases, if not seconds.

    Static Analysis

    Full code coverage without having to rely on specific inputs and run time behavior.

    Support Popular Concurrency Models

    OpenMP, Pthreads, std::thread, GPU/CUDA, and more...

    Scalable

    Designed for large and complex software, and scalable even for very large code base.

    Easy Customization

    Easily customized for your project needs.

    Easy Integration

    Can be easily integrated into CI/CD processes such as Github and Jenkins ...

    Fast and Exhaust Mode

    A fast mode gives results very quickly and exhaust mode leaves no stones unturned.

    Time-Of-Check Time-Of-Use

    A highlighted focus on detecting TOCTOU vulnerabilities.

    Expanded Support

    Support additional types of concurrency bugs such as order violations, mismatched APIs, and more.

    Detailed Report

    Provide both a terminal report and a detailed html report to help verify the issues identifed and make corrections.

    Accurate

    Sophisticated and cutting edge algorithms, finding most critical concurrency bugs.

    Shift Left

    Capture concurrency bugs early in development. Almost instant feedback and quick iterations make multi-thread programming much more productive.

    How Coderrect Scanner Works?


    IR GENERATION

    Generate an intermediate representation (IR) of your source code in the form of LLVM bitcode (BC) files;

    ANALYSIS

    Perform sophisticated static analyses on BC files to find potential race conditions;

    REPORT

    Produce a detailed race report both in terminal and in html format;

    INCREMENTAL ANALYSIS AND ADD-ON ANALYSIS

    Coming soon

    Alternative Text

    QUICK START


    Download and install Coderrect, try our tutorials, dive into the documentation.

    Read More >

    TUTORIAL VIDEOS


    Download, Installation and Quick Start
    Detect Races in a Makefile based Project
    Common Issues a User May Encounter

    Scan Redis Project
    Detect Races in Pthread