BufferOverrunUtils (infer.BO.BufferOverrunUtils)

module Dom = BufferOverrunDomain

module PO = BufferOverrunProofObligations

module ModelEnv : sig ... end

module Exec : sig ... end

module Check : sig ... end

type get_formals = IR.Procname.t -> (IR.Pvar.t * IR.Typ.t) list option

module ReplaceCallee : sig ... end

val clear_cache : unit -> unit

val set_cache_lru_limit : lru_limit:int option -> unit