Your multithreading peace of mind - Your multithreading peace of mind -
  • Home
  • Download
  • Docs
  • Blog
  • OpenScan
  • GitHub



Coderrect Scanner Documentation


  • Quick Start
  • Detect OpenMP Races
  • Detect Pthread Races
  • Detect Races in GPU Kernels
  • Detect Races in a Makefile-based project
  • Detect Fortran OpenMP Races
  • Exclude Uninteresting Code Paths
  • Analyzing Interesting Indirect Calls
  • Define Custom Lock APIs
  • Common Configurations
  • Detect races in Memcached
  • Detecting Races in Redis
  • Detecting Races in RedisGraph
  • Analyze Static/Dynamic Library Code
  • Coderrect Fast and Exhaust Modes
  • Rank Race Conditions through Configurations
  • A Must-Not-Run-in-Parallel Analysis
  • Generate Race Diff Report
  • Run Coderrect Within Docker
  • Jenkins Integration (using Jenkinsfile)
  • Jenkins Integration (using freestyle project)
  • Github CI/CD Integration
  • Github Actions
  • Installing Coderrect with Spack
  • FAQ
  • Reference
  • Release Notes
  • Specifications
  • License

Coderrect Scanner Documentation


© Coderrect 2021, All rights reserved.