Hello, Your software uses the technology "computation tree logic with variables and witnesses" (CTL-VW) like it is described in the document "A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking". http://coccinelle.lip6.fr/papers/popl09.pdf http://doi.acm.org/10.1145/1480881.1480897
Is a function or class library available which enables the reuse of this technique by other source code transformation tools besides your program implementation "spatch"? Do you develop any further extensions for this knowledge area from computer science? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
