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 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.