Topic: "data-race-detection"
amit-davidson/Chronos
Chronos - A static race detector for the go language
Language: Go - Size: 13.4 MB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 435 - Forks: 11
TDacik/Deadlock_and_Racer
Frama-C plugins for deadlock and data race detection
Language: OCaml - Size: 813 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 12 - Forks: 2
coderrect-inc/coderrect-github-action
Coderrect is a static analyzer for concurrent C/C++/Fortran programs to detect data-races/race-conditions/anti-patterns.
Size: 42.6 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 9 - Forks: 3
linD026/ucsan
The User Concurrency Sanitizer (UCSAN)
Language: C - Size: 70.3 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 1
cogumbreiro/setup-faial
Setup the Faial static code analyzer for CUDA kernels
Language: JavaScript - Size: 562 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 1
fabbing/ocaml_tsan_icfp
Runtime Detection of Data Races in OCaml with ThreadSanitizer
Language: TeX - Size: 1.63 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0
yinengy/CUDA-Data-Race-Detector
A dynamic data race detector for CUDA programs
Language: Python - Size: 20.7 MB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0
utpalbora/drb_fortran
DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools
Language: Fortran - Size: 143 KB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 1
utpalbora/OmpSCR_v2.0
Clone of OmpSCR v2.0 with modifications
Language: Fortran - Size: 310 KB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0
semx2a/philosophers
This project is themed around the famous "Dining Philosophers" problem.
Language: C - Size: 157 KB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
verse-lab/arboreta
Mechanised Reasoning about Array-Based Trees in Separation Logic
Language: Coq - Size: 491 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
Saxsori/Philosopher
Basics of threading a process. How to create threads and use mutexes.
Language: C - Size: 19.5 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
IITH-Compilers/drb_fortran
DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools
Language: Fortran - Size: 78.1 KB - Last synced at: about 2 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
