sig
val iter_from_func :
(Cil_types.stmt -> unit) -> Db_types.kernel_function -> unit
val fold_from_func :
('a -> Cil_types.stmt -> 'a) -> 'a -> Db_types.kernel_function -> 'a
val filter_from_func :
(Cil_types.stmt -> bool) ->
Db_types.kernel_function -> Cil_types.stmt list
val get_called_funcs : Cil_types.stmt -> Db_types.kernel_function list
val is_call_to : Cil_types.stmt -> Db_types.kernel_function -> bool
val is_rw_zone :
Locations.Zone.t option * Locations.Zone.t option ->
Cil_types.stmt -> Locations.Zone.t option * Locations.Zone.t option
end