From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <linux-kernel-owner@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
	id S1756144AbcBPUX1 (ORCPT <rfc822;w@1wt.eu>);
	Tue, 16 Feb 2016 15:23:27 -0500
Received: from mout.web.de ([212.227.15.3]:54009 "EHLO mout.web.de"
	rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP
	id S1755561AbcBPUXZ (ORCPT <rfc822;linux-kernel@vger.kernel.org>);
	Tue, 16 Feb 2016 15:23:25 -0500
Subject: Re: coccinelle: also catch kzfree() issues
To: Julia Lawall <julia.lawall@lip6.fr>
References: <cover.1455638829.git.ydroneaud@opteya.com>
 <326298cef17f5109dc7b08094901aa1c69be83d5.1455638829.git.ydroneaud@opteya.com>
 <alpine.DEB.2.10.1602161815190.2685@hadrien>
 <56C38049.7090205@users.sourceforge.net>
 <alpine.DEB.2.10.1602161516450.6722@hadrien>
Cc: Yann Droneaud <ydroneaud@opteya.com>,
        Gilles Muller <Gilles.Muller@lip6.fr>,
        Nicolas Palix <nicolas.palix@imag.fr>, Michal Marek <mmarek@suse.com>,
        Tejun Heo <tj@kernel.org>,
        Greg Kroah-Hartman <gregkh@linuxfoundation.org>, cocci@systeme.lip6.fr,
        linux-kernel@vger.kernel.org, Johannes Weiner <hannes@cmpxchg.org>
From: SF Markus Elfring <elfring@users.sourceforge.net>
Message-ID: <56C38519.8020103@users.sourceforge.net>
Date: Tue, 16 Feb 2016 21:22:49 +0100
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.5.1
MIME-Version: 1.0
In-Reply-To: <alpine.DEB.2.10.1602161516450.6722@hadrien>
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 7bit
X-Provags-ID: V03:K0:fh4fw+iZ8X2AO0VgtCTfpIoxQZrsyTDU7L1PErzX4bUr2aQkmu6
 rMLtctSRzMquTS1j8Sd1aoHGUHBt3wDN3vPFgFJqk9YTCgYMKabYzkalwpZPaIYxfujVHAT
 BU9VR1+kmRnx7C4C7+rwNs0DMCxL6hrNpvRCbA+bzcdxu3ToP/tFKAteOKxm30IDPH6u9sg
 p5Xsduam78JzF/a1fpwqw==
X-UI-Out-Filterresults: notjunk:1;V01:K0:JDOWQ5dGy+A=:Cz35L5CRs8y/Nid4aKLJgs
 OY5hcOkUL6LP2AHg0VhznlFYlIAEbYqu576BwqN2bgTxLDS1rEYJCsAkGB6bxrXUkCEVkcL8e
 5Y6eKxuK0dJudGzsHf1XV7fXctXU1tLS9JKeUgM1AH3OiSL/eXA2awBCkSENQ5RlRL7QhDLm5
 Gf5+A6EdV5nzSEw4FOpJwTEa+LWPrKIUJ3cogWDTl0PeQOjpvtxiSoKP1NAPmZFBXQycsDnu5
 4hqxVOQQMOldvdeADiqoGfDOU/s76O6GmpeICezAbpDn6Ub5ZUwgfF3wxEAVmw38isij8Z0oe
 8zcSThbu0maueYuGzuEcFUQ1zvQ+DsaA1cktqoASa+yRxpofiHZXZ4Ebk/LfXFEmLwanp7Xl/
 mqxNIYQCmozBLivwOuG0Yn0gn3Ldgdopgcdl4f3FdXBAbFi3q4EWZCRM3MwDPglL7JfaquZXb
 yXG678F+9tUvNQ8/+H7nBG9k9hecZLHjHPXyouvWliqwBnatCiYlIc5TIRvcIlBKgP1tDZI/l
 uy+K+S+PIgEK31g7fvTy0qZo1dgmTd2H6ImKpxSNBFqx8HDGPrWPBE/i9tkMfS6vjrdbbIVE0
 c1W/f0JDQpQFImPQf8Orxv4lWLSlttSb1xuS+H9gW4pb2ZfS4I8QIerCc+w88QYNS4cmPc3+P
 V8RuLSc6ND+Eb6Umn2oqGXvOwkqj3Rn6Yl1SHVQ+jNyicZpJidDa3MpHySqZZPxH/Z6ergo0b
 DqyXDZdkeGQUWASA42P8AYKi7qEDFtFND59WW3ajhRS9kgr40ykEp8R7sMYMccGdy3XrWrz1c
 oDUVy+V
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

>>> Coccinelle doesn't make any optimizations based on regulat expressions.
>>
>> Where can your software optimise the source code search?
> 
> When the name appears explicitly in the matching code, Coccinelle will
> parse and process only files that contain that name.

Does your software perform any file filtering on a passed selection
under special circumstances?

Regards,
Markus