Hello, I've stumbled accross coccinelle and I'm interested in using it to perform queries on the control flow graph (quite similarly to what have been done in "Finding Error Handling Bugs in OpenSSL using Coccinelle" by Lawall and al.). However, I wonder if it is possible to perform queries on the control flow graph that span across a single C file.
An example to be clear: fileA.h : f(), g(), h() fileA.c : f() calls g() calls h() calls i() fileA.h : i() j() k() fileA.c : i() calls j() calls k() Is it possible with coccinelle to match the query f() ... k() that spans across fileA.c and fileB.c ? Thanks in advance for your help, Regards, Julien Lancia
_______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
