From: der.herr@hofr.at (Nicholas Mc Guire)
To: cocci@systeme.lip6.fr
Subject: [Cocci] 2 basic question
Date: Tue, 14 Aug 2018 03:29:31 +0000 [thread overview]
Message-ID: <20180814032931.GA28344@osadl.at> (raw)
Hi !
Trying to do some verification of the coccinelle tool
it self and one of the tasks was to estimate false
negatives (so reliability not accuracy). To be able
to do that the first task was to determin if a semantic
patch specification would actually be looking at all
instances. The following trivial cocci spec was used:
<snip>
virtual report
@found@
position p;
@@
kmalloc at p(...)
@script:python depends on report@
p << found.p;
@@
msg = "kmalloc called"
coccilib.report.print_report(p[0],msg)
<snip>
With this I run coccicheck on 4.18-rc8 (linux-stable)
make coccicheck COCCI=kmalloc1.cocci | tee kmalloc.log
which gives me a line count of (wc -l kmalloc.log after
removing the header) 4722 instances
But cscope reports 4746 kmalloc cases - so I??m wondering
if coccinelle is actually checking all cases or where
this difference would come from ?
Is the assumption that the above specification sould actually
report every usage of kmalloc correct ?
The second issue is that to simplify completness verification
I wanted to add simple counters like so:
<snip>
virtual report
@initialize:python@
@@
import sys
count=0
def show():
print("Total %d" % count)
@found@
position p;
@@
kmalloc at p(...)
@script:python depends on report@
p << found.p;
@@
count = count + 1
msg = "kmalloc called"
coccilib.report.print_report(p[0],msg)
@finalize:python depends on report@
@@
show()
<snip>
this works when run with spach version (spatch --version):
spatch version 1.0.1 with Python support and with PCRE support
And will give me the same as wc -l
Total 4722
but not with a current git version (spatch --version):
spatch version 1.0.7-00500-g97695d0 compiled with OCaml version 4.01.0
Flags passed to the configure script: [none]
OCaml scripting support: yes
Python scripting support: yes
Syntax of regular expresssions: PCRE
where Total 0 is reported
did the python interface change and my usage is obsolete
or is this a regression ?
thx!
hofrat
next reply other threads:[~2018-08-14 3:29 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-08-14 3:29 Nicholas Mc Guire [this message]
2018-08-14 5:47 ` [Cocci] 2 basic question Julia Lawall
2018-08-14 7:23 ` Nicholas Mc Guire
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20180814032931.GA28344@osadl.at \
--to=der.herr@hofr.at \
--cc=cocci@systeme.lip6.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).