Release coccinelle-0.1

[bpt/coccinelle.git] / tests / badfree.cocci

@@
expression x;
expression E;
expression f;
@@

  free(x);
  ... WHEN != x = E
+ printf("possible use after free!!\n");
  f(...,x,...);