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