package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Module `Security_slicing.Components`Source

Security slicing.

val get_direct_component : 
  Frama_c_kernel.Cil_types.stmt ->
  Frama_c_kernel.Cil_types.stmt list

val get_indirect_backward_component : 
  Frama_c_kernel.Cil_types.stmt ->
  Frama_c_kernel.Cil_types.stmt list

val get_forward_component : 
  Frama_c_kernel.Cil_types.stmt ->
  Frama_c_kernel.Cil_types.stmt list

val impact_analysis : 
  Frama_c_kernel.Kernel_function.t ->
  Frama_c_kernel.Cil_types.stmt ->
  Frama_c_kernel.Cil_types.stmt list