Messages in this thread | | | Subject | Re: [v2] Coccinelle: zalloc-simple: Delete function “kmem cache alloc” from SmPL rules | From | SF Markus Elfring <> | Date | Wed, 31 Jan 2018 18:53:13 +0100 |
| |
>> Will the rule set be more consistent then? > > If E1 is not bound by the kem_cache_alloc rule, then it will match anything.
How much was such a software behaviour intended by the discussed SmPL script?
> The user can check if it is appropriate.
How does such an information fit to expectations for safe source code analysis?
> Another option would be to use the type of the variable storing the result > of the call to compute the expected size.
How would this suggestion help here?
Regards, Markus
| |