[Cocci] API function checks

Julia Lawall julia.lawall at lip6.fr
Wed Jan 25 15:32:22 CET 2012

The openssl paper is about checks that are done badly, which is a little 
bit different than checks that are not done at all.  Although both are 
certainly worth looking for.


On Wed, 25 Jan 2012, Robert Gomulka wrote:

> On 25 January 2012 15:15, SF Markus Elfring
> <elfring at users.sourceforge.net> wrote:
>>> I suppose so.
>> How do you think about the previous approaches for the issue "Detection of
>> unused function return values"?
>> Is there anything in common with your mentioned use case for predicate checks?
>> Regards,
>> Markus
> I have to think about it.
> Thanks for the suggestion,
> Robert
> _______________________________________________
> Cocci mailing list
> Cocci at diku.dk
> http://lists.diku.dk/mailman/listinfo/cocci
> (Web access from inside DIKUs LAN only)

More information about the Cocci mailing list