Module BO.BufferOverrunTypModels

type typ_model =
  1. | CArray of {
    1. element_typ : IR.Typ.t;
    2. deref_kind : Symb.SymbolPath.deref_kind;
    3. length : IR.IntLit.t;
    }
  2. | CppStdVector
  3. | JavaCollection
  4. | JavaInteger