package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

Syntactic postdominators plugin.

val compute : (Cil_types.kernel_function -> unit) Stdlib.ref
val stmt_postdominators : (Cil_types.kernel_function -> Cil_types.stmt -> Cil_datatype.Stmt.Hptset.t) Stdlib.ref
  • raises Top

    (see above)

val is_postdominator : (Cil_types.kernel_function -> opening:Cil_types.stmt -> closing:Cil_types.stmt -> bool) Stdlib.ref
val display : (unit -> unit) Stdlib.ref
val print_dot : (string -> Cil_types.kernel_function -> unit) Stdlib.ref

Print a representation of the postdominators in a dot file whose name is basename.function_name.dot.