Frama-C API - Postdominators
Used for postdominators-related functions, when the postdominators of a statement cannot be computed. It means that there is no path from this statement to the function return.
val compute : Frama_c_kernel.Cil_types.kernel_function -> unit
val stmt_postdominators : Frama_c_kernel.Cil_types.kernel_function -> Frama_c_kernel.Cil_types.stmt -> Frama_c_kernel.Cil_datatype.Stmt.Hptset.t
val is_postdominator : Frama_c_kernel.Cil_types.kernel_function -> opening:Frama_c_kernel.Cil_types.stmt -> closing:Frama_c_kernel.Cil_types.stmt -> bool
val print_dot : string -> Frama_c_kernel.Cil_types.kernel_function -> unit
Print a representation of the postdominators in a dot file whose name is basename.function_name.dot
.