Module Model.Make.Leaks


module Leaks: sig .. end
Leaks of the analysis


type call = {
   cloc : Cil_types.location; (*Position of the call*)
   fname : string; (*Name of the function*)
}
type leak = {
   potential : bool; (*Is the leak only potential ?*)
   loc : Cil_types.location option; (*Position of the leak*)
   data : Cil_types.exp; (*The unsecured expression*)
   call_stack : call list;
}
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