Alternative Text

u003cstrongu003eu003cspan class=u0022has-inline-color has-white-coloru0022u003eCODERRECT SCANNERu003c/spanu003eu003c/strongu003e

the most advanced static analyzer for multi-threaded softwareu003cbru003e#1 on DataRaceBench


Download Page

Source: DataRaceBench by LLNL
Alternative Text

u003cstrongu003eSecurity, Performance and Peace of Mindu003c/strongu003e

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

Download White Paper

Alternative Text

u003cstrongu003eCODERRECT SCANNERu003c/strongu003e

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

Download Data Sheet

u003cstrongu003eu003cspan class=u0022has-inline-color has-dark-coloru0022u003eFEATURESu003c/spanu003eu003c/strongu003e


u003cstrongu003eu003cspan class=u0022has-inline-color has-dark-coloru0022u003eEasy to Useu003c/spanu003eu003c/strongu003e

u003cspan class=u0022has-inline-color has-dark-coloru0022u003eCoderrect Scanner is a u003cstrongu003ecommand line toolu003c/strongu003e that runs in u003cstrongu003eLinux-based OSu003c/strongu003e and supports u003cstrongu003eC/C++/Fortranu003c/strongu003e source codes, much like a u0022buildu0022 command.u003c/spanu003eu003cbru003e

u003cstrongu003eu003cspan class=u0022has-inline-color has-dark-coloru0022u003eFully Automaticu003c/spanu003eu003c/strongu003e

u003cspan class=u0022has-inline-color has-dark-coloru0022u003eLeveraging leading research findings, Coderrect Scanner analyzes software fully automatically without the need to run the software.u003c/spanu003e

u003cstrongu003eu003cspan class=u0022has-inline-color has-dark-coloru0022u003eSuper Fastu003c/spanu003eu003c/strongu003e

u003cspan class=u0022has-inline-color has-dark-coloru0022u003eCoderrect Scanner detects race conditions in complex software in a matter of minutes in most cases, if not seconds.u003cbru003eu003c/spanu003e

u003cstrongu003eStatic Analysisu003c/strongu003e

u003cspan class=u0022has-inline-color has-dark-coloru0022u003eFull code coverage without having to rely on specific inputs and run time behavior. u003c/spanu003e

u003cstrongu003eu003cspan class=u0022has-inline-color has-dark-coloru0022u003eSupport Popular Concurrency Modelsu003c/spanu003eu003c/strongu003e

u003cspan class=u0022has-inline-color has-dark-coloru0022u003eu003ca rel=u0022noreferrer noopeneru0022 href=u0022https://www.openmp.org/u0022 target=u0022_blanku0022u003eu003cstrongu003eOpenMPu003c/strongu003eu003c/au003e, u003ca rel=u0022noreferrer noopeneru0022 href=u0022https://en.wikipedia.org/wiki/POSIX_Threadsu0022 target=u0022_blanku0022u003eu003cstrongu003ePthreadsu003c/strongu003eu003c/au003e, u003ca rel=u0022noreferrer noopeneru0022 href=u0022threadu0022 target=u0022_blanku0022u003eu003cstrongu003estd::threadu003c/strongu003eu003c/au003e, u003ca rel=u0022noreferrer noopeneru0022 href=u0022https://developer.nvidia.com/cuda-faqu0022 target=u0022_blanku0022u003eu003cstrongu003eGPU/CUDAu003c/strongu003eu003c/au003e, and more...u003cbru003eu003c/spanu003eu003cbru003e

u003cstrongu003eu003cspan class=u0022has-inline-color has-dark-coloru0022u003eScalableu003c/spanu003eu003c/strongu003e

u003cspan class=u0022has-inline-color has-dark-coloru0022u003eDesigned for large and complex software, and scalable even for very large code base. u003cbru003eu003c/spanu003eu003cbru003e

u003cstrongu003eu003cspan class=u0022has-inline-color has-dark-coloru0022u003eEasy Customizationu003c/spanu003eu003c/strongu003e

u003cspan class=u0022has-inline-color has-dark-coloru0022u003eEasily customized for your project needs.u003cbru003eu003c/spanu003eu003cbru003e

u003cstrongu003eu003cspan class=u0022has-inline-color has-dark-coloru0022u003eEasy Integrationu003c/spanu003eu003c/strongu003e

u003cspan class=u0022has-inline-color has-dark-coloru0022u003eCan be easily integrated into CI/CD processes such as u003ca rel=u0022noreferrer noopeneru0022 href=u0022http://GitHub.comu0022 target=u0022_blanku0022u003eu003cstrongu003eGithubu003c/strongu003eu003c/au003e and u003ca rel=u0022noreferrer noopeneru0022 href=u0022https://www.jenkins.iou0022 target=u0022_blanku0022u003eu003cstrongu003eJenkinsu003c/strongu003eu003c/au003e ...u003cbru003eu003c/spanu003e

u003cstrongu003eu003cspan class=u0022has-inline-color has-dark-coloru0022u003eFast and Exhaust Modeu003c/spanu003eu003c/strongu003e

u003cspan class=u0022has-inline-color has-dark-coloru0022u003eA fast mode gives results very quickly and exhaust mode leaves no stones unturned.u003cbru003eu003c/spanu003e

u003cstrongu003eu003cspan class=u0022has-inline-color has-dark-coloru0022u003eTime-Of-Check Time-Of-Useu003c/spanu003eu003c/strongu003e

u003cspan class=u0022has-inline-color has-dark-coloru0022u003eA highlighted focus on detecting u003ca rel=u0022noreferrer noopeneru0022 href=u0022https://en.wikipedia.org/wiki/Time-of-check_to_time-of-useu0022 target=u0022_blanku0022u003eu003cstrongu003eTOCTOUu003c/strongu003eu003c/au003e vulnerabilities. u003cbru003eu003c/spanu003e

u003cstrongu003eu003cspan class=u0022has-inline-color has-dark-coloru0022u003eExpanded Supportu003c/spanu003eu003c/strongu003e

u003cspan class=u0022has-inline-color has-dark-coloru0022u003eSupport additional types of concurrency bugs such as order violations, mismatched APIs, and more.u003c/spanu003e

u003cstrongu003eu003cspan class=u0022has-inline-color has-dark-coloru0022u003eDetailed Reportu003c/spanu003eu003c/strongu003e

u003cspan class=u0022has-inline-color has-dark-coloru0022u003eProvide both a terminal report and a detailed html report to help verify the issues identifed and make corrections.u003c/spanu003e

u003cstrongu003eu003cspan class=u0022has-inline-color has-dark-coloru0022u003eAccurateu003c/spanu003eu003c/strongu003e

u003cspan class=u0022has-inline-color has-dark-coloru0022u003eSophisticated and cutting edge algorithms, finding most critical concurrency bugs.u003c/spanu003e

u003cspan class=u0022has-inline-color has-dark-coloru0022u003eu003cstrongu003eShiftu003c/strongu003e Leftu003c/spanu003e

u003cspan class=u0022has-inline-color has-dark-coloru0022u003eCapture concurrency bugs early in development. Almost instant feedback and quick iterations make multi-thread programming much more productive.u003c/spanu003e

u003cstrongu003eu003cspan class=u0022uppercaseu0022u003eu003cspan class=u0022has-inline-color has-dark-coloru0022u003eHow Coderrect Scanner Works?u003c/spanu003eu003c/spanu003eu003c/strongu003e


u003cstrongu003eu003cspan class=u0022has-inline-color has-dark-coloru0022u003eu003cstrongu003eIR GENERATIONu003c/strongu003eu003c/spanu003eu003c/strongu003e

u003cspan class=u0022has-inline-color has-dark-coloru0022u003eGenerate an intermediate representation (IR) of your source code in the form of u003ca rel=u0022noreferrer noopeneru0022 href=u0022https://llvm.orgu0022 target=u0022_blanku0022u003eLLVMu003c/au003e bitcode (BC) files;u003c/spanu003e

u003cstrongu003eu003cspan class=u0022has-inline-color has-dark-coloru0022u003eu003cstrongu003eANALYSISu003c/strongu003eu003c/spanu003eu003c/strongu003e

u003cspan class=u0022has-inline-color has-dark-coloru0022u003ePerform sophisticated static analyses on BC files to find potential race conditions;u003c/spanu003e

u003cstrongu003eu003cspan class=u0022has-inline-color has-dark-coloru0022u003eu003cstrongu003eREPORTu003c/strongu003eu003c/spanu003eu003c/strongu003e

u003cspan class=u0022has-inline-color has-dark-coloru0022u003eProduce a detailed race report both in terminal and in html format;u003c/spanu003e

u003cstrongu003eu003cspan class=u0022has-inline-color has-dark-coloru0022u003eu003cstrongu003eINCREMENTAL ANALYSIS AND ADD-ON ANALYSISu003c/strongu003eu003c/spanu003eu003c/strongu003e

u003cspan class=u0022has-inline-color has-dark-coloru0022u003eComing soonu003c/spanu003e

Alternative Text

u003cstrongu003eu003cspan class=u0022has-inline-color has-dark-coloru0022u003eQUICK STARTu003c/spanu003eu003c/strongu003e


u003cspan class=u0022has-inline-color has-dark-coloru0022u003eu003ca href=u0022https://coderrect.com/download/u0022u003eu003cstrongu003eDownloadu003c/strongu003eu003c/au003e and install Coderrect, try our u003cstrongu003eu003ca href=u0022https://coderrect.com/tutorials/u0022u003etutorialsu003c/au003eu003c/strongu003e, dive into the u003cstrongu003eu003ca href=u0022https://coderrect.com/documentation/u0022u003edocumentationu003c/au003eu003c/strongu003e.u003c/spanu003eu003cbru003eu003cbru003eu003ca href=u0022https://coderrect.com/quick-start/u0022u003eu003cstrongu003eu003cspan class=u0022has-inline-color has-primary-coloru0022u003eRead More u003eu003c/spanu003eu003c/strongu003eu003cbru003eu003c/au003eu003cbru003e

u003cstrongu003eu003cspan class=u0022has-inline-color has-dark-coloru0022u003eTUTORIAL VIDEOSu003c/spanu003eu003c/strongu003e


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