Module Absint.Exe_env

type file_data
type t = private {
proc_map : file_data IR.Procname.Hash.t;

map from procedure name to file data

file_map : file_data IBase.SourceFile.Hash.t;

map from source files to file data

}
val mk : unit -> t

Create a new cache

val get_tenv : t -> IR.Procname.t -> IR.Tenv.t

return the type environment associated with the procedure

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