--- layout: fc_discuss_archives title: Message 62 from Frama-C-discuss on April 2012 ---
Hello, > write something really different from what is printed by frama-c > -postdominators-help: the sole goal of the plugin is to compute > postdominators! Also, a programmatic and commented interface is given ok, agreed... > Also, notice that we recently replaced our basic, dataflow-based > implementation of dominators by an optimized one (see > www.cs.rice.edu/~keith/Embed/dom.pdf). The performances of the > original one were really too bad on big functions. Recently means it's not contained in Nitrogen? Because the implementation in Nitrogen uses the Dataflow module. Does the new implementation supersede the Dominators module in cil/ext? And does it compute immediate (post)dominators (because this is part of the algorithm described above)? If it compiles with Nitrogen, I'd like to get it. -- Best regards, Boris