linux-kernel - Re: How to get the coccicheck error from patch

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

Date:	Tue, 12 Jan 2016 22:20:41 +0530
From:	Laxman Dewangan <ldewangan@...dia.com>
To:	Julia Lawall <julia.lawall@...6.fr>
CC:	<Nicolas.Palix@...g.fr>, LKML <linux-kernel@...r.kernel.org>
Subject: Re: How to get the coccicheck error from patch

On Tuesday 12 January 2016 09:59 PM, Julia Lawall wrote:
>
> On Tue, 12 Jan 2016, Laxman Dewangan wrote:
>
>> Nicolas,
>>
>> When I run the commands coccicheck for the file with of_table.cocci, it
>> reports error as:
>>
>> spatch --sp-file ./scripts/coccinelle/misc/of_table.cocci
>> drivers/rtc/rtc-max77xxx.c --o tmp.cinit_defs_builtins:
>> /usr/share/coccinelle/standard.h
>> Fatal error: exception Failure("unexpected struct/union type name")
>>
>> ldewangan@...wanganubuntu-System-Product-Name:~/upstream/linux-next/linux-next$
>> spatch -D report --very-quiet --no-show-diff --cocci-file
>> ./scripts/coccinelle/misc/of_table.cocci drivers/rtc/rtc-max77xxx.c
>>
>> Fatal error: exception Failure("unexpected struct/union type name")
> Hmm, actually, it might be your version of Coccinelle.  What version are
> you using?  The latest is 1.0.4, which you can get from github.
>
> julia
>

I have following version for ubuntu.
spatch --version
spatch version 1.0.0-rc10 with Python support and with PCRE support
ldewangan@...wanganubuntu-System-Product-Name:~$ sudo apt-get install 
coccinelle
Reading package lists... Done
Building dependency tree
Reading state information... Done
coccinelle is already the newest version.
0 upgraded, 0 newly installed, 0 to remove and 753 not upgraded.
ldewangan@...wanganubuntu-System-Product-Name:~$

The page is not accessible.
http://cocci.ekstranet.diku.dk/wiki/doku.php

I got the coccinellery from git hub

git clone https://github.com/coccinelle/coccinellery.git

Now how do I build for ubuntu and install it?

Per documentation, it is
./cofigure
make

But I did not see this.