> How do you manage the knowledge for your function name list?

I don’t manage it. 
When I first wanted to do this task of detecting unnecessary null checks, I 
thought I could match such functions through SmPL.
As it seemed to be impossible, then I extracted that list manually (grepping 
for FUNC_ATTR_NONNULL_RET).
Now, to automate that task for future retries of this task, I’m thinking about 
a vim-based solution (grepping into quicklist window, and execcuting a macro on 
each result to accumulate names in a variable).

> How much does the SmPL star functionality matter here for you?

Not sure I understand your question. Star functionality is crucial for me 
there, as I’m using this spatch to find spots in the code that I want to 
manually review.

> Do you need to get the source code analysis results also in other data 
> formats?

No, at least by now. As I said, I’m using this patch just to get pointers to 
places in code I’d like to review.

_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to