Hi all, At the SOAP workshop, Karthik requested for a language to identify certain specific Jimple graph fragments. Karthik, could you look at Coccinelle's semantic patches and see how they relate to what you're looking for? http://coccinelle.lip6.fr/sp.php It's tangentially related but may be a good conceptual starting point. pat