Module BO.BufferOverrunOndemandEnv

type t = {
  1. tenv : IR.Tenv.t;
    (*

    type environment

    *)
  2. typ_of_param_path : Symb.SymbolPath.partial -> IR.Typ.t option;
    (*

    type of parameter

    *)
  3. may_last_field : Symb.SymbolPath.partial -> bool;
    (*

    if the path is a last field of a class in C++

    *)
  4. entry_location : IBase.Location.t;
    (*

    location of entry node

    *)
  5. integer_type_widths : IR.IntegerWidths.t;
    (*

    bit sizes of integer types

    *)
  6. class_name : IR.Typ.name option;
    (*

    class name of the procedure being analyzed

    *)
}

Environment for on-demand symbol evaluation