From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 26640 invoked by alias); 24 Aug 2007 22:05:22 -0000 Received: (qmail 26423 invoked by uid 22791); 24 Aug 2007 22:05:19 -0000 X-Spam-Check-By: sourceware.org Received: from emh01.mail.saunalahti.fi (HELO emh01.mail.saunalahti.fi) (62.142.5.107) by sourceware.org (qpsmtpd/0.31) with ESMTP; Fri, 24 Aug 2007 22:05:12 +0000 Received: from saunalahti-vams (vs3-12.mail.saunalahti.fi [62.142.5.96]) by emh01-2.mail.saunalahti.fi (Postfix) with SMTP id DA6811B050 for ; Sat, 25 Aug 2007 01:05:09 +0300 (EEST) Received: from emh02.mail.saunalahti.fi ([62.142.5.108]) by vs3-12.mail.saunalahti.fi ([62.142.5.96]) with SMTP (gateway) id A0739CC553F; Sat, 25 Aug 2007 01:05:09 +0300 Received: from W2KPICASSO (a81-197-175-198.elisa-laajakaista.fi [81.197.175.198]) by emh02.mail.saunalahti.fi (Postfix) with ESMTP id BCAF42BF10 for ; Sat, 25 Aug 2007 01:05:08 +0300 (EEST) From: Jari Aalto To: cygwin-apps@cygwin.com Subject: Re: [ITA] splint 3.1.1 - Check C programs for security vulnerabilities References: <46C1D00F.8060400@aim.com> References: <82fy2ku70s.fsf@vzell-de.de.oracle.com> Date: Fri, 24 Aug 2007 22:05:00 -0000 In-Reply-To: <46C1D00F.8060400@aim.com> (Mark Harig's message of "Tue\, 14 Aug 2007 11\:53\:51 -0400") Message-ID: <4pioinyx.fsf@cante.net> 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/msg00189.txt.bz2 Mark Harig writes: > In case you were not aware, splint 3.1.2 has been released > (www.splint.org). I took a look at it and there are some issues that need to be resolved "Dr. Volker Zell" writes: > When building from source with ./splint-3.1.1-2.sh all > I do not get the same package contents as you. I repackaged 3.1.1, could you try again Jari 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