From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 20988 invoked by alias); 14 Aug 2007 15:36:18 -0000 Received: (qmail 20798 invoked by uid 22791); 14 Aug 2007 15:36:16 -0000 X-Spam-Check-By: sourceware.org Received: from emh02.mail.saunalahti.fi (HELO emh02.mail.saunalahti.fi) (62.142.5.108) by sourceware.org (qpsmtpd/0.31) with ESMTP; Tue, 14 Aug 2007 15:36:05 +0000 Received: from saunalahti-vams (vs3-11.mail.saunalahti.fi [62.142.5.95]) by emh02-2.mail.saunalahti.fi (Postfix) with SMTP id F079EF065D for ; Tue, 14 Aug 2007 18:36:02 +0300 (EEST) Received: from emh04.mail.saunalahti.fi ([62.142.5.110]) by vs3-11.mail.saunalahti.fi ([62.142.5.95]) with SMTP (gateway) id A06AFDEB5E9; Tue, 14 Aug 2007 18:36:02 +0300 Received: from cante.net (a81-197-175-198.elisa-laajakaista.fi [81.197.175.198]) by emh04.mail.saunalahti.fi (Postfix) with ESMTP id D8D6441C72 for ; Tue, 14 Aug 2007 18:36:01 +0300 (EEST) From: Jari Aalto To: cygwin-apps@cygwin.com Subject: [ITA] splint 3.1.1 - Check C programs for security vulnerabilities Date: Tue, 14 Aug 2007 15:36:00 -0000 Message-ID: User-Agent: Gnus/5.110006 (No Gnus v0.6) Emacs/21.3 (windows-nt) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Antivirus: VAMS X-IsSubscribed: yes Mailing-List: contact cygwin-apps-help@cygwin.com; run by ezmlm Precedence: bulk Sender: cygwin-apps-owner@cygwin.com List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Mail-Followup-To: cygwin-apps@cygwin.com X-SW-Source: 2007-08/txt/msg00092.txt.bz2 Adopted from Elfyn McBratney Jari sdesc: "Check C programs for security vulnerabilities and programming mistakes." ldesc: "Splint does many of the traditional lint checks including unused declarations, type inconsistencies, use before definition, unreachable code, ignored return values, execution paths with no return, likely infinite loops, and fall through cases. More powerful checks are made possible by additional information given in source code annotations. Annotations are stylized comments that document assumptions about functions, variables, parameters and types. In addition to the checks specifically enabled by annotations, many of the traditional lint checks are improved by exploiting this additional information." category: Devel requires: cygwin a) manual wget \ http://cygwin.cante.net/splint/splint-3.1.1-2.tar.bz2 \ http://cygwin.cante.net/splint/splint-3.1.1-2-src.tar.bz2 \ http://cygwin.cante.net/splint/setup.hint b) automated: get.sh displays further instructions gpg --keyserver wwwkeys.pgp.net --recv-keys 955A92D8 mkdir splint ; cd splint rm -f get.sh get.sh.sig wget http://cygwin.cante.net/splint/get.sh \ http://cygwin.cante.net/splint/get.sh.sig gpg --verify get.sh.sig get.sh && sh get.sh