You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
37 lines
1.3 KiB
37 lines
1.3 KiB
18 years ago
|
[COPY] --- T2-COPYRIGHT-NOTE-BEGIN ---
|
||
|
|
[COPY] This copyright note is auto-generated by ./scripts/Create-CopyPatch.
|
||
|
|
[COPY]
|
||
|
|
[COPY] T2 SDE: package/.../splint/splint.desc
|
||
|
|
[COPY] Copyright (C) 2004 - 2006 The T2 SDE Project
|
||
|
|
[COPY] Copyright (C) 1998 - 2004 Clifford Wolf
|
||
|
|
[COPY]
|
||
|
|
[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 as published by
|
||
|
|
[COPY] the Free Software Foundation; version 2 of the License. A copy of the
|
||
|
|
[COPY] GNU General Public License can be found in the file COPYING.
|
||
|
|
[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 <tschmidt@stradego.de>
|
||
|
|
|
||
|
|
[F] NOPARALLEL
|
||
|
|
[C] extra/development
|
||
|
|
|
||
|
|
[L] GPL
|
||
|
|
[S] Stable
|
||
|
|
[V] 3.1.1
|
||
|
|
[P] X -----5---9 800.000
|
||
|
|
|
||
|
|
[D] 1133352844 splint-3.1.1.src.tgz http://www.splint.org/downloads/
|