Coccinelle output

Question

I am a beginner in coccinelle and try to run my first example.

Currently I'am following the steps of this article

I created the c file
I created the coccinelle script
I run it using
```
$ spatch -sp_file test.cocci test.c
```

In the terminal I got the expected result as mentioned in the article

--- test.c
+++ /tmp/cocci-output-17416-b5450d-test.c
@@ -7,7 +7,7 @@ main(int argc, char *argv[])
         char *buf;

         /* allocate memory */
-        buf = alloca(bytes);
+        buf = malloc(bytes);

         return 0;
 }

However the c file didn't change as expected.

Can any body tell me where can I get the changes made by the script?

Aren't the changes in the file `/tmp/cocci-output-17416-b5450d-test.c` ? — Paul R, Jul 10 '15 at 10:51

score 2 · Accepted Answer · answered Aug 05 '15 at 15:58

2

using

spatch --help

I got all the option for the command spatch . So i should use

$ spatch -sp_file test.cocci test.c -o /tmp/newtest.c

the result of runing the patch is in /tmp/newtest.c

answered Aug 05 '15 at 15:58

fedi

368
3
7
18

score 2 · Answer 2 · answered Jun 14 '16 at 05:19

2

You can use --in-place option.

So the following should do what you want.

$ spatch -sp_file test.cocci test.c --in-place

answered Jun 14 '16 at 05:19

Yasushi Shoji

4,028
1
26
47

Coccinelle output

2 Answers2