|
|
[COPY] --- ROCK-COPYRIGHT-NOTE-BEGIN ---[COPY] [COPY] This copyright note is auto-generated by ./scripts/Create-CopyPatch.[COPY] Please add additional copyright information _after_ the line containing[COPY] the ROCK-COPYRIGHT-NOTE-END tag. Otherwise it might get removed by[COPY] the ./scripts/Create-CopyPatch script. Do not edit this copyright text![COPY] [COPY] ROCK Linux: rock-src/package/tschmidt/splint/splint.desc[COPY] ROCK Linux is Copyright (C) 1998 - 2005 Clifford Wolf[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 as published by[COPY] the Free Software Foundation; either version 2 of the License, or[COPY] (at your option) any later version. A copy of the GNU General Public[COPY] License can be found at Documentation/COPYING.[COPY] [COPY] Many people helped and are helping developing ROCK Linux. Please[COPY] have a look at http://www.rocklinux.org/ and the Documentation/TEAM[COPY] file for details.[COPY] [COPY] --- ROCK-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 <nazgul@uvip-media.de>
[C] extra/development
[L] GPL[S] Stable[V] 3.1.1[P] X -?---5---9 238.200
[D] 1133352844 splint-3.1.1.src.tgz http://www.splint.org/downloads/
|
