Goblint
A static analyzer for the analysis of multi-threaded C programs. Its primary focus is the detection of data races, but it also reports other runtime errors, such as buffer overflows and null-pointer dereferences.
Github:
- 106106122502011
Workflow integration:
- cli
- ide
https://github.com/goblint/analyzer
MIT License
Maintained