From mboxrd@z Thu Jan  1 00:00:00 1970
From: elfring@users.sourceforge.net (SF Markus Elfring)
Date: Mon, 7 Mar 2016 19:39:15 +0100
Subject: [Cocci] Parsing C source files by Coccinelle
In-Reply-To: <CAO=9Y+2Qm+A9a91zGrYNJavOXcWFR2hj5Xx+=FPG1p02KdC7Ew@mail.gmail.com>
References: <CAJTCqFadstafOZPgjDoV48zNFBHkTdp+4=a0WLGbfKaTCSqgOw@mail.gmail.com>
 <56D99C75.7080100@users.sourceforge.net>
 <CAO=9Y+2Qm+A9a91zGrYNJavOXcWFR2hj5Xx+=FPG1p02KdC7Ew@mail.gmail.com>
Message-ID: <56DDCAD3.2080309@users.sourceforge.net>
To: cocci@systeme.lip6.fr
List-Id: cocci@systeme.lip6.fr

> I am interested in exploring how Coccinelle is parsing C programs,

The software library "http://cristal.inria.fr/~fpottier/menhir/"
is involved to some degree.


> in order to detect the bugs indicated by SmPL patches.

Would you like to develop your own source code search patterns?


> This is the reason why I was trying to examine the source
> and perform the compilation myself.

Will it be a bit easier to ask about relevant implementation details here?


> However, I am facing issues executing spatch.

Which ones?


> The installation probably didn't work.

How did you get this impression?

Regards,
Markus