>> Their relationship was determined by the shown analysis. > > Sure, but the only interest of a regular expression is to express, eg all > of the functions that have a name that ends in "alloc" in a concise way.
I have got a different opinion. Now I am trying to refresh interest for the safe determination of a well-known property (like from functions "strcat" and "strcpy") and its consequence for return value checking. Regular expressions can provide some functionality (in constraints) that are not supported at other places in SmPL scripts so far. Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
