--- layout: fc_discuss_archives title: Message 60 from Frama-C-discuss on April 2012 ---
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