[COPY] --- T2-COPYRIGHT-NOTE-BEGIN --- [COPY] T2 SDE: package/*/splint/splint.desc [COPY] Copyright (C) 2004 - 2021 The T2 SDE Project [COPY] Copyright (C) 1998 - 2004 ROCK Linux Project [COPY] [COPY] This Copyright note is generated by scripts/Create-CopyPatch, [COPY] more information can be found in the files COPYING and README. [COPY] [COPY] This program is free software; you can redistribute it and/or modify [COPY] it under the terms of the GNU General Public License version 2. [COPY] --- T2-COPYRIGHT-NOTE-END --- [I] C Syntax Checker - a successor to lint [T] Splint is a tool for statically checking C programs for security [T] vulnerabilities and coding mistakes. With minimal effort, Splint [T] can be used as a better lint. If additional effort is invested [T] adding annotations to programs, Splint can perform stronger [T] checking than can be done by any standard lint. [U] http://www.splint.org [A] David Evans yevans@virginia.edu> [M] Tobias Schmidt [F] NOPARALLEL [C] extra/development [L] GPL [S] Stable [V] 3.1.2 [P] X -----5---9 800.000 [D] 639eb53af343e5bb0edce47c595bf44adbf09c7d7dc6f9a4ef606c84 splint-3.1.2.src.tgz http://www.splint.org/downloads/