Module `Absint.Exe_env`

type t

val mk : unit -> t: Create a new cache

val get_proc_tenv : t -> IR.Procname.t -> IR.Tenv.t: return the type environment associated with the procedure

val get_sourcefile_tenv : t -> IBase.SourceFile.t -> IR.Tenv.t: return the type environment associated with the source file

val load_java_global_tenv : t -> IR.Tenv.t: Load Java type environment (if not done yet), and return it. Useful for accessing type info not related to any concrete function.

val get_integer_type_widths : t -> IR.Procname.t -> IR.Typ.IntegerWidths.t: return the integer type widths associated with the procedure