race-condition-detection

Here are 3 public repositories matching this topic...

chigwell / typhonlint-threadsafe

A new package that analyzes user-provided JavaScript code snippets to determine if they can run concurrently without conflicts or race conditions. It takes the code as text input and returns a structu

static-code-analysis concurrency-patterns web-workers javascript-security javascript-concurrency-analysis race-condition-detection thread-safety-analysis javascript-code-assessment nodejs-concurrency code-quality-tools

Updated Dec 21, 2025
Python

Aneesh495 / crucible

Star

Deterministic concurrency testing runtime controlling virtual clocks and thread interleavings via bounded DFS and PCT random scheduling to surface race conditions and verify linearizability invariants.

model-checking fault-injection distributed-testing concurrency-testing race-condition-detection