Hi, Le vendredi 03 décembre 2010 à 15:48 +0100, Julia Lawall a écrit : > On Fri, 3 Dec 2010, Derek M Jones wrote: > > > Julia, > > > > > Version 0.2.5-rc1 has been released. This addresses the problem of > > > > I don't know what other people on this list think, but in my opinion > > Coccinelle should have a higher version number than 0.2.5 > > > > It is a solid piece of software that works well on real world code, > > a view that that people looking at it for the first time are > > unlikely to have because of the low version number. > > > > You ought to think about making a version 1.0 release soon. > > OK, thanks. I guess I will at least finish with 0.2.5, since I have made > one rc for that. And another one is likely to follow, because there was > another request.
I've finally found the time to try this new release on the "Packet p1,
p2" problem I've described before. It seems it does not fix the issue.
When running the dual.cocci file on det.c, I've got the following
result:
e...@ice-age:/tmp$ /usr/local/bin/spatch -version
spatch version 0.2.5-rc1 with Python support
e...@ice-age:/tmp$ /usr/local/bin/spatch -sp_file dual.cocci -out_place det.c
init_defs_builtins: /usr/local/share/coccinelle/standard.h
HANDLING: det.c
Fatal error: exception Failure("More that one variable in decl. Have to split
to transform.")
Did I miss something ?
BR,
--
Eric Leblond <[email protected]>
NuFW, Now User Filtering Works : http://www.nufw.org
int SigTest25NegativeIPV4Keyword(void)
{
int p1, p2;
p1 = 1;
p2 = 2;
return;
}
@rule2@
identifier p;
identifier func;
statement S;
@@
func(...) {
<...
int
- p
+ *p = SCMalloc(SIZE_OF_PACKET)
;
++ if (p == NULL) return 0;
S
...
++ SCFree(p);
return ...;
...>
}
signature.asc
Description: This is a digitally signed message part
_______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
