Analysis tools logo
1

splint

Annotation-assisted static program checker.

Github:
    20320314672012
Workflow integration:
  • Type: cli
    cli

Official splint Homepage

https://github.com/ravenexp/splint

Other

Maintained

Alternative Tools

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