Db.PostdominatorsSyntactic postdominators plugin.
val compute : (Cil_types.kernel_function -> unit) refval stmt_postdominators :
(Cil_types.kernel_function ->
Cil_types.stmt ->
Cil_datatype.Stmt.Hptset.t)
refval is_postdominator :
(Cil_types.kernel_function ->
opening:Cil_types.stmt ->
closing:Cil_types.stmt ->
bool)
refval display : (unit -> unit) refval print_dot : (string -> Cil_types.kernel_function -> unit) refPrint a representation of the postdominators in a dot file whose name is basename.function_name.dot.