Re: Coccinelle: zalloc-simple: Checking consistency for SmPL rules

From: SF Markus Elfring
Date: Sat Feb 03 2018 - 02:23:27 EST

Next message: Icenowy Zheng: "Re: [PATCH 1/3] net: stmmac: dwmac-sun8i: drop V3s compatible and add V3 one"
Previous message: Icenowy Zheng: "Re: [linux-sunxi] [PATCH 1/3] net: stmmac: dwmac-sun8i: drop V3s compatible and add V3 one"
In reply to: SF Markus Elfring: "Re: Coccinelle: zalloc-simple: Delete function "kmem_cache_alloc" from SmPL rules"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

>> * Do we agree that a proper size determination is essential for every
>> condition in the discussed SmPL rules together with forwarding
>> this information?
>
> No. I don't mind a few false positives.

Do you care to split SmPL rules by their confidence category in such an use case?

Regards,
Markus

Next message: Icenowy Zheng: "Re: [PATCH 1/3] net: stmmac: dwmac-sun8i: drop V3s compatible and add V3 one"
Previous message: Icenowy Zheng: "Re: [linux-sunxi] [PATCH 1/3] net: stmmac: dwmac-sun8i: drop V3s compatible and add V3 one"
In reply to: SF Markus Elfring: "Re: Coccinelle: zalloc-simple: Delete function "kmem_cache_alloc" from SmPL rules"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]