Module IR.MissingDependencies

Stateful store of procedure and sourcefile dependencies found to be missing from the capture database during analysis.

module ProcUidSet : IStdlib.HashSet.S with type elt = string
type t = {
  1. procedures : ProcUidSet.t;
  2. sources : IBase.SourceFile.HashSet.t;
}
val record_procname : Procname.t -> unit
val record_sourcefile : IBase.SourceFile.t -> unit
val get : unit -> t

get recorded missing dependencies

val save : t list -> unit

destructively merge missing dependencies and store into the results directory

val load : unit -> t

load from results directory