Module IBase.ResultsDirEntryName

Entries in the results directory (infer-out/).

type id =
  1. | AllocationTraces
    (*

    directory for storing allocation traces

    *)
  2. | AnalysisDependencyGraph
    (*

    the inter-procedures dependencies revealed during an analysis phase; used for the replay analysis

    *)
  3. | AnalysisDependencyGraphDot
    (*

    the above in dotty format, for debug

    *)
  4. | AnalysisDependencyInvalidationGraphDot
    (*

    the inter-procedures dependencies revealed during an analysis phase used for invalidating procedure summaries that need re-analyzing, in dotty format for debug

    *)
  5. | AnalysisDB
    (*

    the analysis database

    *)
  6. | AnalysisDBShm
    (*

    SQLite-generated index file for the results database's write-ahead log

    *)
  7. | AnalysisDBWal
    (*

    the results database's write-ahead log generated by SQLite

    *)
  8. | CallGraphCyclesDot
    (*

    cycles in the call graph used for analysis scheduling in dotty format

    *)
  9. | CaptureDB
    (*

    the capture database

    *)
  10. | CaptureDBShm
    (*

    SQLite-generated index file for the capture database's write-ahead log

    *)
  11. | CaptureDBWal
    (*

    the capture database's write-ahead log generated by SQLite

    *)
  12. | CaptureDependencies
    (*

    list of infer-out/ directories that contain capture artefacts

    *)
  13. | ChangedFunctions
    (*

    results of the clang test determinator

    *)
  14. | DBWriterSocket
    (*

    socket to the DBWriter process for serializing writes to SQLite

    *)
  15. | Debug
    (*

    directory containing debug data

    *)
  16. | Differential
    (*

    contains the results of infer reportdiff

    *)
  17. | DuplicateFunctions
    (*

    list of duplicated functions

    *)
  18. | GlobalTypeEnvironment
    (*

    internal IR.Tenv.t object corresponding to the whole project

    *)
  19. | Logs
    (*

    log file

    *)
  20. | MissingSourceFiles
    (*

    Source files missing during analysis

    *)
  21. | MissingProcedures
    (*

    Procedures missing during analysis

    *)
  22. | PerfEvents
    (*

    file containing events for performance profiling

    *)
  23. | ProcnamesLocks
    (*

    directory of per-IR.Procname.t file locks, used by the analysis scheduler in certain modes

    *)
  24. | ReactiveCaptureMissingTypes
    (*

    file containing missed types (reactive capture mode)

    *)
  25. | ReportConfigImpactJson
    (*

    reports of the config impact analysis

    *)
  26. | ReportCostsJson
    (*

    reports of the costs analysis

    *)
  27. | ReportHtml
    (*

    directory of the HTML report

    *)
  28. | ReportJson
    (*

    the main product of the analysis: report.json

    *)
  29. | ReportSarif
    (*

    a sarif version of report.json: report.sarif

    *)
  30. | ReportText
    (*

    a human-readable textual version of report.json

    *)
  31. | ReportXML
    (*

    a PMD-style XML version of report.json

    *)
  32. | RetainCycles
    (*

    directory of retain cycles dotty files

    *)
  33. | RunState
    (*

    internal data about the last infer run

    *)
  34. | Stats
    (*

    internal statistics about the infer run

    *)
  35. | SyntacticDependencyGraphDot
    (*

    the inter-procedures dependencies obtained by syntactically inspecting the source of each procedure and recording the (static) calls it makes during an analysis phase; used by the callgraph analysis scheduler and presented here in dotty format for debug purposes

    *)
  36. | Temporary
    (*

    directory containing temp files

    *)
val get_path : results_dir:string -> id -> string

the absolute path for the given entry

val to_keep_before_incremental_capture_and_analysis : results_dir:string -> string list

utility for ResultsDir.scrub_for_incremental, you probably want to use that instead

val to_keep_before_caching_capture : results_dir:string -> string list

utility for ResultsDir.scrub_for_caching, you probably want to use that instead

val to_keep_before_new_capture : results_dir:string -> string list

utility for ResultsDir.remove_results_dir, you probably want to use that instead

val db_writer_socket_name : string

see comment in DBWriter as to why we need the relative path of the socket

val infer_deps_file_name : string

sad that we have to have this here but some code path is looking for all files with that name in buck-out/