Module BO__BufferOverrunTrace

type final =
| UnknownFrom of IR.Procname.t option

Final unknown function in trace

type elem =
| ArrayDeclaration
| Assign of BO.AbsLoc.PowLoc.t
| Global of BO.AbsLoc.Loc.t
| JavaIntDecleration
| Parameter of BO.AbsLoc.Loc.t
| SetArraySize
| Through

Trace elements

module Set : sig ... end
module Issue : sig ... end

Trace set with issue information