when != f(...,(<+...y...+>),...)
I imagine that I will need further fine-tuning for this filter specification. Can the inner parentheses be omitted here?
identifier r.f != {strcpy, strcat};
Is it possible to specify this function list only once and include/share it for several SmPL constraint declarations?
char* x = (char*) malloc(123);
[...]
FILE* c = fopen(x, "r");
Do you see the reason why these statements are not marked with a leading minus character like the other function calls in my source code example?
Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
