On 25 January 2012 14:24, SF Markus Elfring <[email protected]> wrote: >> Let's assume we have function fun(...), which returns 0 on success, >> non-0 on failure. >> Therefore checking this function return value like this is probably >> incorrect: <C, <=C, >C, >=C, == C (!0), != C (!0). > > Would you like to find a general way for the checking of inappropriate > applications for success/failure predicates in source files? > > Regards, > Markus
I suppose so. I was inspired by Coccinelle, especially by OpenSSL paper (http://www.diku.dk/hjemmesider/ansatte/julia/edcc10.pdf). Best regards, Robert _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
