I'm trying to evaluate Coderrect (first without GitHub Actions), but most likely missed something as it found zero races: https://github.com/coderrect-inc/coderrect-github-action/iss...

Could you please help a little?

Hello, my name is Brad and I am one member of a small team who have spent the last year building the Coderrect Scanner, a fast and accurate static analysis tool for detecting multi-threaded bugs. After a year of late nights and hard work we have reached a stable tool, and are proud to announce our GitHub action that allows the tool to be easily integrated into projects hosted on GitHub.

I'm happy to answer any questions.

Hi, I'm another member of the team and worked on the development of our static analysis algorithms.

Happy to answer any questions.

this is the best tool I've ever used for detecting race conditions in c/c++ code, it's great to see it has a github action now. look forward to their open source!