Thomas Schwinge, le Wed 07 Sep 2011 17:24:55 +0200, a écrit : > I supposed this would be things like unlocking acquired > locks on *all* function exit paths, etc.?
Yes. I talked about it with Julia some time ago, she told me it should be feasible. We just need someone to work on it :) (Julia herself admitted that coccinelle documentation is scarce). Samuel
