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

[Frama-c-discuss] Postdominators



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