Analysis tools logo
1

splint

Annotation-assisted static program checker.

Github:
    21521514682012
Workflow integration:
  • Type: cli
    cli

Official splint Homepage

https://github.com/ravenexp/splint

Other

Maintained

Alternative Tools

  • 3Unibeautify
  • 1Veracode
  • 0weggli
  • -1vera++
  • -1XCode