--- layout: fc_discuss_archives title: Message 60 from Frama-C-discuss on April 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Postdominators



Hello,

I want to compute postdominators, which in principle can be done by
computing dominators in the reversed CFG. Therefore, I want to modify a
copy of the module Dominators, using the Dataflow.Backwards functor and
customizing its parameter instead of Dataflow.Forwards. Is this the
right approach?

Also, there's an undocumented Postdominators plugin in
src/postdominators/. Is this meant to be used by plugin developers?
-- 
Best regards,
Boris