Module Stmts_graph


module Stmts_graph: sig .. end
Statements graph.
Consult the Plugin Development Guide for additional details.

val stmt_can_reach : Db_types.kernel_function -> Cil_types.stmt -> Cil_types.stmt -> bool
stmt_can_reach kf s1 s2 is true iff the control flow can reach s2 starting at s1 in function kf.
val reachable_stmts : Db_types.kernel_function -> Cil_types.stmt -> Cil_types.stmt list