Module RefUsage

module RefUsage: sig .. end
Variable accesses from C code and code annotations

type access = 
| NoAccess
| ByRef
| ByArray
| ByValue
| ByAddr
val get : ?kf:Cil_types.kernel_function ->
?init:bool -> Cil_types.varinfo -> access
val iter : ?kf:Cil_types.kernel_function ->
?init:bool -> (Cil_types.varinfo -> access -> unit) -> unit
val dump : unit -> unit
val compute : unit -> unit