package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

sha256=0220bc743b7da2468ceb926f331edc7ddfaa7c603ba47962de3e33c8e1e3f593

Postdominators using value analysis results.

val compute : (Cil_types.kernel_function -> unit) ref

val stmt_postdominators : 
  (Cil_types.kernel_function ->
    Cil_types.stmt ->
    Cil_datatype.Stmt.Hptset.t)
    ref

val is_postdominator : 
  (Cil_types.kernel_function ->
    opening:Cil_types.stmt ->
    closing:Cil_types.stmt ->
    bool)
    ref

val display : (unit -> unit) ref

val print_dot : (string -> Cil_types.kernel_function -> unit) ref

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