Analysis tools logo
0

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

Official Goblint Homepage

https://github.com/goblint/analyzer

MIT License

Maintained

Alternative Tools

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