package/develop/splint/splint.desc

   1 [COPY] --- T2-COPYRIGHT-NOTE-BEGIN ---
   2 [COPY] T2 SDE: package/*/splint/splint.desc
   3 [COPY] Copyright (C) 2004 - 2021 The T2 SDE Project
   4 [COPY] Copyright (C) 1998 - 2004 ROCK Linux Project
   5 [COPY]
   6 [COPY] This Copyright note is generated by scripts/Create-CopyPatch,
   7 [COPY] more information can be found in the files COPYING and README.
   8 [COPY]
   9 [COPY] This program is free software; you can redistribute it and/or modify
  10 [COPY] it under the terms of the GNU General Public License version 2.
  11 [COPY] --- T2-COPYRIGHT-NOTE-END ---
  12
  13 [I] C Syntax Checker - a successor to lint
  14
  15 [T] Splint is a tool for statically checking C programs for security
  16 [T] vulnerabilities and coding mistakes. With minimal effort, Splint
  17 [T] can be used as a better lint. If additional effort is invested
  18 [T] adding annotations to programs, Splint can perform stronger
  19 [T] checking than can be done by any standard lint.
  20
  21 [U] http://www.splint.org
  22 [A] David Evans yevans@virginia.edu>
  23
  24 [M] Tobias Schmidt <tschmidt@stradego.de>
  25
  26 [F] NOPARALLEL
  27 [C] extra/development
  28
  29 [L] GPL
  30 [S] Stable
  31 [V] 3.1.2
  32 [P] X -----5---9 800.000
  33
  34 [CV-FLAGS] ODD-STABLE
  35 [D] 639eb53af343e5bb0edce47c595bf44adbf09c7d7dc6f9a4ef606c84 splint-3.1.2.src.tgz http://www.splint.org/downloads/