Module Absint.Exe_env

Execution environments are a means to get a function's type environment and integer widths and cache those

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

return the type environment associated with the procedure

val get_source_tenv : IBase.SourceFile.t -> IR.Tenv.t option

return the type environment associated with the source file

val get_integer_type_widths : IR.Procname.t -> IR.IntegerWidths.t

return the integer type widths associated with the procedure

val clear_caches : unit -> unit
val set_lru_limit : lru_limit:int option -> unit