module Occurrence: sig
.. end
Interface for the occurrence plugin.
See also internal documentation.
type
t = (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
.
Consult the Plugin Development Guide for additional details.
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