X-Recipient: archive-cygwin AT delorie DOT com DomainKey-Signature: a=rsa-sha1; c=nofws; d=sourceware.org; h=list-id :list-unsubscribe:list-subscribe:list-archive:list-post :list-help:sender:message-id:date:from:mime-version:to:subject :content-type:content-transfer-encoding; q=dns; s=default; b=Gug 1b5oHAb5JT2/5nDekrhzjSTaBkOWblKIN3iNHb9WlNQS9ajO1yp7CwkKHPRCT+kS 2mEQW41H5d+R/lgATJfR5VbLQRV9PuJp/P2RTl7FSymzPQ48U8aRcThivr4jAUM7 DsLgx5iYuuKsNrPNDDWoDq0Z284w1J1cQhZ4c4Js= DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=sourceware.org; h=list-id :list-unsubscribe:list-subscribe:list-archive:list-post :list-help:sender:message-id:date:from:mime-version:to:subject :content-type:content-transfer-encoding; s=default; bh=woHSh/QvJ fVjbv/+eBCso9z5F5M=; b=GRKFzvuht6K/ZYbIu7cWR7UveUm8rgMZmmlFbGWqs tuZPuO2u6/KZq/p49eNObeoISmF8tk22CEpTbWU/1YXZtv7ij6yCrRlyE7xfDhnZ n6IynF8hE5Keyxp7RLUyjvxUEa1BBR/1cFvACD0sfasvVsMVWVrrllk4WJgmH4Vr /k= Mailing-List: contact cygwin-help AT cygwin DOT com; run by ezmlm List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: cygwin-owner AT cygwin DOT com Mail-Followup-To: cygwin AT cygwin DOT com Delivered-To: mailing list cygwin AT cygwin DOT com Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=1.5 required=5.0 tests=AWL,BAYES_50,FREEMAIL_FROM,KAM_COUK,SPF_PASS autolearn=no version=3.3.2 X-HELO: out.ipsmtp1nec.opaltelecom.net X-SMTPAUTH: drstacey AT tiscali DOT co DOT uk X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApMBAGjyWVNV0kdf/2dsb2JhbAANTINVxiaDWDoGPRYYAwIBAgFYCAEBiEqmOqRSBI52hCMErwQ X-IPAS-Result: ApMBAGjyWVNV0kdf/2dsb2JhbAANTINVxiaDWDoGPRYYAwIBAgFYCAEBiEqmOqRSBI52hCMErwQ Message-ID: <5359F391.8060309@tiscali.co.uk> Date: Fri, 25 Apr 2014 06:33:05 +0100 From: David Stacey User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.4.0 MIME-Version: 1.0 To: cygwin AT cygwin DOT com Subject: Coverity Scan Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-IsSubscribed: yes Coverity Scan [1] is a commercial (paid for) static analysis tool, but they offer it to Open Source programmes for free. I was having a browse through the list of Open Source programmes using Coverity Scan, and noticed that Cygwin wasn't listed. Would there be any interest in analysing the cygwin1.dll source code on a fairly regular basis? If so, I would be happy to have a go at setting up an analysis job for Cygwin. I would imagine this would be of interest to CGF, Corinna and anyone else who regularly updates the Cygwin source code. Obviously, this is only worth doing if the analysis results are looked at and acted upon. There are some conditions associated with using Coverity Scan [2]. The one thing that jumps out is that our relationship with RedHat might be a stumbling block. We can but ask - the worst that can happen is that they politely decline. There have been a few hints on this list about a possible move from CVS to git. If such a move were on the cards then that should probably happen first - I wouldn't want the nugatory effort of getting this working from CVS only to have to change it almost immediately. Any thoughts? Dave. [1] - https://scan.coverity.com/ [2] - https://scan.coverity.com/faq#how-get-project-included-in-scan -- Problem reports: http://cygwin.com/problems.html FAQ: http://cygwin.com/faq/ Documentation: http://cygwin.com/docs.html Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple