Skip to content

2026-03-09-possible-data-race-between-threads-shared.md

Latest commit

 

History

History
2 lines (2 loc) · 245 Bytes

2026-03-09-possible-data-race-between-threads-shared.md

File metadata and controls

2 lines (2 loc) · 245 Bytes
  • DIR-5-1 - PossibleDataRaceBetweenThreads.ql:
    • Refactored implementation into a shared library (PossibleDataRaceBetweenThreadsShared.qll) to allow reuse by MISRA C++ 2023 RULE-4-1-3. No change in results is expected for DIR-5-1.