Module BO.BufferOverrunTypModels

type typ_model =
| CArray of {
element_typ : IR.Typ.t;
deref_kind : Symb.SymbolPath.deref_kind;
length : IR.IntLit.t;
}
| CppStdVector
| JavaCollection
| JavaInteger
val dispatch : (IR.Tenv.t, typ_model, unit) Absint.ProcnameDispatcher.TypName.dispatcher