> But it will not detect the case where you check but on the wrong value. > Coccinelle doesn't know anything about eg the values of particular > variables.
Will any more software developers dare to fiddle with data flow analysis by the help of your tool? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
