sig
  val iter_from_func :
    (Cil_types.stmt -> unit) -> Db_types.kernel_function -> unit
  val fold_from_func :
    ('-> Cil_types.stmt -> '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