Module SlicingCmds.Kinstr

module Kinstr: sig .. end
Utilities for kinstr.

val iter_from_func : (Cil_types.stmt -> 'a) -> Kernel_function.t -> unit
Iter on statements of a kernel function
val fold_from_func : ('a -> Cil_types.stmt -> 'a) -> 'a -> Kernel_function.t -> 'a
Fold on statements of a kernel function
val is_call_to : Cil_types.stmt -> Kernel_function.Hptset.elt -> bool
Is statement call (direct or indirect via pointer) to kf
val is_rw_zone : Locations.Zone.t option * Locations.Zone.t option ->
Cil_types.stmt -> Locations.Zone.t option * Locations.Zone.t option
Look at intersection of rd_zone_opt/wr_zone_opt with the directly read/writen Zone.t by the statement. i.e. directly means when ki is a call, it doesn't don't look at the assigns clause of the called function.