splint

splint 3.1.2 · pkgs/development/tools/analysis/splint/default.nix

Health

Risk

risk 6 low

+6 no maintainer

Version

3.1.2 no newer release known to repology

Channels

master 3.1.2 · nixos-unstable 3.1.2 · nixos-26.05 3.1.2 no channel is behind master

Hydra

succeeded 2w ago

Advisories

none open

Packaging

meta complete

Packagewhat each field means

Description

Annotation-assisted lightweight static analyzer for C

Long description

Splint is a tool for statically checking C programs for security
vulnerabilities and coding mistakes.  With 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.

Homepage

http://www.splint.org/

License

GPL-2.0-or-later

Platforms

45 platforms: Linux, Darwin

Main program

splint

Source provenance

not set: built from source

Outputs

out

Status

not broken, not insecure, free

Position

pkgs/development/tools/analysis/splint/default.nix:29

Maintainers

none

Version bumps 0all open bumps

None open.

Pull requests 0

None open.

Issues 0

None open.