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.
- from
- Static Analysis & Code Quality
- added
- 2026-10-10
- likes
- 0
similar
-
Boehm GC github.com
Conservative garbage collector for C and C++. [similar to X11] website
-
staticcheck staticcheck.io
Go static analysis that specialises in finding bugs, simplifying code and improving performance.
-
GCeasy gceasy.io
Machine learning guided Garbage collection log analysis tool. Auto-detect problems in the JVM GC logs and recommend solutions to it.
-
Duck github.com
A fast GML analyzer to enforce code styling and detect errors.
-
typeguard github.com
Another one runtime type checker.
-
cppcheck github.com
Static analysis of C/C++ code.
Static Analysis & Code Quality › Programming Languages: “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.”