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.