Re: [cocci] Working with parameter/expression lists by SmPL

[Markus Elfring <Markus.Elfring@web.de>]

> I'm trying to detect certain code patterns spanning across files with this.
> They will *probably* not easily be automatically patchable since I'm trying to
> find bugs with this in an ongoing research project.


Would you like to add a link for this evolving information source?



> You're right, the positions can be omitted here, but I'm using them with a
> simple python script afterwards to report the matches I found where the positions
> will be useful.


Would you like to improve the distinction for the usages of mentioned variables
any further by using operation modes (or variants) for SmPL scripts?

Would it become helpful to use the name ”interesting_func” as another metavariable?



>> …
>>> +++ /tmp/cocci-output-test1.c
>>> @@ -6,7 +6,8 @@ int interesting_func(int argc, char *str
>>> }
>>>
>>> int main(int argc, char *argv[]) {
>>> -  int x = 0;
>>> +  int x = 0
>>> +    // test;
>>>
>>>   func1(x, "asdf");
>>> }
>> Do you vary comment additions for your test results?
> yes exactly.


Do you stumble on any more development challenges for adding comments
by the Coccinelle software?

How do you think about possibilities to add multi-line comments
(instead of specifying desirable messages behind double slashes)?
https://en.cppreference.com/w/c/comment

Are you looking for better source code formatting according to semicolons?


> Only issue I'm having now is that it doesn't work across files.


Would you like to explain remaining development concerns any more?

Regards,
Markus