sig
type call = { cloc : Cil_types.location; fname : string; }
type leak = {
potential : bool;
loc : Cil_types.location option;
data : Cil_types.exp;
call_stack : Model.Make.Leaks.call list;
}
type t = Model.Make.Leaks.leak list
val empty : 'a list
val print_call_stack :
Format.formatter -> Model.Make.Leaks.call list -> unit
val print_leak : Model.Make.Leaks.leak -> unit
val print_stat : int * int -> unit
val nb_leaks : (int * int) Pervasives.ref
val print : Model.Make.Leaks.leak list -> unit
val print_all : Model.Make.Leaks.leak list -> unit
val new_leak :
bool ->
Cil_types.location option -> Cil_types.exp -> Model.Make.Leaks.leak
val add_leak :
potential:bool ->
Cil_types.location option ->
Cil_types.exp -> Model.Make.Leaks.leak list -> Model.Make.Leaks.leak list
val add_from_and_subst :
Cil_types.location ->
string ->
Subst.t ->
from:Model.Make.Leaks.leak list ->
Model.Make.Leaks.leak list -> Model.Make.Leaks.leak list
val is_included :
Model.Make.Leaks.leak list -> Model.Make.Leaks.leak list -> bool
val combine :
old:Model.Make.Leaks.leak list ->
Model.Make.Leaks.leak list -> Model.Make.Leaks.leak list
end