Analysis tools logo
1

splint

Annotation-assisted static program checker.

Github:
    18518511602012
Workflow integration:
  • Type: cli
    cli

Official splint Homepage

https://github.com/ravenexp/splint

Other

Maintained

Alternative Tools

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