Module Db.Occurrence

module Occurrence: sig .. end
Interface for the occurrence plugin.
See also internal documentation.

type t = (Cil_types.kernel_function option * Cil_types.kinstr * Cil_types.lval) list 
val get : (Cil_types.varinfo -> t) Pervasives.ref
Return the occurrences of the given varinfo. An occurrence ki, lv is a left-value lv which uses the location of vi at the position ki.
val get_last_result : (unit -> (t * Cil_types.varinfo) option) Pervasives.ref
Returns the last result computed by occurrence
val print_all : (unit -> unit) Pervasives.ref
Print all the occurrence of each variable declarations.
val self : State.t Pervasives.ref