Module Register

module Register: sig .. end

Functions of the Value plugin registered in Db. Only three functions are exported.


val eval_deps : Cvalue_domain.State.t -> Cil_types.exp -> Locations.Zone.t
val eval_deps_lval : Cvalue_domain.State.t -> Cil_types.lval -> Locations.Zone.t
val eval_deps_addr : Cvalue_domain.State.t -> Cil_types.lval -> Locations.Zone.t