Module BO.BufferOverrunTrace

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

Final unknown function in trace

type elem =
  1. | ArrayDeclaration
  2. | Assign of AbsLoc.PowLoc.t
  3. | Global of AbsLoc.Loc.t
  4. | JavaIntDecleration
  5. | Parameter of AbsLoc.Loc.t
  6. | SetArraySize
  7. | Through

Trace elements

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

Trace set with issue information