RSS

splint: C Syntax Checker - a successor to lint1

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.

... part of T2, get it here

URL: https://www.splint.org

Author: David Evans yevans@virginia.edu>
Maintainer: Tobias Schmidt <tschmidt [at] stradego [dot] de>

License: GPL
Status: Stable
Version: 3.1.2

Remark: Does not allow parallel builds.

Download: http://www.splint.org/downloads/ splint-3.1.2.src.tgz

T2 source: splint.cache
T2 source: splint.desc

Build time (on reference hardware): 25% (relative to binutils)2

Installed size (on reference hardware): 2.40 MB, 61 files

Dependencies (build time detected): 00-dirtree binutils bison coreutils diffutils findutils flex gawk grep linux-header m4 make sed sysfiles tar

Installed files (on reference hardware): [show]

1) This page was automatically generated from the T2 package source. Corrections, such as dead links, URL changes or typos need to be performed directly on that source.

2) Compatible with Linux From Scratch's "Standard Build Unit" (SBU).

Generated: in 0.08s — Copyright ©2004-2024 ExactCODE GmbH and others. All Rights Reserved. The T2 SDE Project is maintained
and driven by the community and sponsored by ExactCODE. This is a community maintained site. ExactCODE is not responsible for the content.