Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Postdominators


On Tue, Apr 24, 2012 at 9:14 AM, Boris Hollas
<hollas at> wrote:
> Also, there's an undocumented Postdominators plugin in
> src/postdominators/. Is this meant to be used by plugin developers?

Well, undocumented is quite an exaggeration in this case. It's hard to
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
in the module Db.Postdominators. A second API, PostdominatorsValue,
use Value to take into account statements that are proved unreachable.

Also, notice that we recently replaced our basic, dataflow-based
implementation of dominators by an optimized one (see The performances of the
original one were really too bad on big functions.

Hope this helps,