sig
val reset : unit -> unit
val use_monitoring : unit -> bool
val must_monitor_vi :
?kf:Cil_types.kernel_function ->
?stmt:Cil_types.stmt -> Cil_types.varinfo -> bool
val must_monitor_lval :
?kf:Cil_types.kernel_function ->
?stmt:Cil_types.stmt -> Cil_types.lval -> bool
val must_monitor_exp :
?kf:Cil_types.kernel_function ->
?stmt:Cil_types.stmt -> Cil_types.exp -> bool
val found_concurrent_function :
loc:Cil_types.location -> Cil_types.varinfo -> unit
end