Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with data-race-detection
A curated list of projects in awesome lists tagged with data-race-detection .
https://github.com/amit-davidson/Chronos
Chronos - A static race detector for the go language
analysis data-race-detection detection detects-races go golang mutex-synchronisation pointer-analysis race-condition race-conditions race-detection ssa static-analysis static-code-analysis synchronization
Last synced: 12 Nov 2024
https://github.com/lind026/ucsan
The User Concurrency Sanitizer (UCSAN)
c concurrency concurrent-programming data-race-detection
Last synced: 19 Nov 2024
https://github.com/iith-compilers/drb_fortran
DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools
data-race-detection dataracebench-fortran-kernels fortran llvm-ir openmp program-verification race-detection
Last synced: 06 Nov 2024
https://github.com/verse-lab/arboreta
Mechanised Reasoning about Array-Based Trees in Separation Logic
coq data-race-detection formal-verification generic-tree logical-clock rosetree separation-logic vector-clock
Last synced: 06 Nov 2024
https://github.com/semx2a/philosophers
This project is themed around the famous "Dining Philosophers" problem.
c concurrency concurrent-programming data-race-detection multithreading
Last synced: 09 Nov 2024
