From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751614AbcFKGF6 (ORCPT ); Sat, 11 Jun 2016 02:05:58 -0400 Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]:24247 "EHLO mail2-relais-roc.national.inria.fr" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751043AbcFKGF5 (ORCPT ); Sat, 11 Jun 2016 02:05:57 -0400 X-IronPort-AV: E=Sophos;i="5.26,454,1459807200"; d="scan'208";a="222010991" Date: Sat, 11 Jun 2016 08:05:54 +0200 (CEST) From: Julia Lawall X-X-Sender: jll@localhost6.localdomain6 To: Wolfram Sang cc: "Luis R. Rodriguez" , cocci@systeme.lip6.fr, mmarek@suse.com, linux-kernel@vger.kernel.org Subject: Re: [Cocci] [PATCH 4/4] coccicheck: add indexing enhancement options In-Reply-To: <20160611055840.GB1824@katana> Message-ID: References: <1465591332-31113-1-git-send-email-mcgrof@kernel.org> <1465591332-31113-5-git-send-email-mcgrof@kernel.org> <20160610211820.GG11948@wotan.suse.de> <20160610214357.GA1650@katana> <20160610214900.GH11948@wotan.suse.de> <20160610215126.GB1650@katana> <20160610220831.GI11948@wotan.suse.de> <20160611055840.GB1824@katana> User-Agent: Alpine 2.02 (DEB 1266 2009-07-14) MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Sat, 11 Jun 2016, Wolfram Sang wrote: > > > It's not as efficient as glimpse because the query language is simpler. > > Interesting, what is missing compared to glimpse? Glimpse allows queries that are arbitrary formulas, up to a limited level of complexity, involving both && and ||. For idutils, Coccinelle runs lid on each of the tokens in the formula, and then does unions and intersections on the result. julia > > So more filtering has to be done at the ocaml level. But it's probably > > fine in most cases. > > For me, it has two advantages over glimpse: > > a) it is in the debian package repository > b) the same database can be used with the code browser 'seascope' > which can do nice things by feeding ctags on the fly with data > from id-utils. > > Mileages vary, of course, just wanted to mention it to give pointers. > >