Splint conducts static analysis of security vulnerabilities for C programs and coding errors.

With the minimal effort, Splint can be used as a better lint. If additional effort is invested adding annotations to programs, Splint can perform stronger checking than can be done by any standard lint.

The plugin calls the Code analysis tool’s “Splint” command line and passes the user-provided parameters.

Plugin Screenshots:

Splint-3