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