From b8af816e09bde2ce7a5790e691a797306ef345c3 Mon Sep 17 00:00:00 2001 From: Tobias Schmidt <nazgul@uvip-media.de> Date: Mon, 24 May 2004 09:27:24 +0000 Subject: [PATCH] Tobias Schmidt: Added Package splint (C syntax checker, does the same as lint) [2004051504561711682] (https://www.rocklinux.net/submaster) git-svn-id: http://www.rocklinux.org/svn/rock-linux/trunk@3076 c5f82cb5-29bc-0310-9cd0-bff59a50e3bc --- package/tschmidt/splint/splint.desc | 42 +++++++++++++++++++++++++++++ 1 file changed, 42 insertions(+) create mode 100644 package/tschmidt/splint/splint.desc diff --git a/package/tschmidt/splint/splint.desc b/package/tschmidt/splint/splint.desc new file mode 100644 index 000000000..c5a27db49 --- /dev/null +++ b/package/tschmidt/splint/splint.desc @@ -0,0 +1,42 @@ +[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/xfce4/xfwm4-themes/xfwm4-themes.desc +[COPY] ROCK Linux is Copyright (C) 1998 - 2004 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 10977.000 + +[D] 1133352844 splint-3.1.1.src.tgz http://www.splint.org/downloads/