Analysis tools logo
1

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:
  • Type: cli
    cli
  • Type: ide
    ide

Official Goblint Homepage

https://github.com/goblint/analyzer

MIT License

Maintained

Alternative Tools

  • 113Mega-Linter
  • 69Semgrep
  • 0Pronto
  • 0Synopsys
  • 0TencentCodeAnalysis