infer-reportdiff(1)

💖 NAME 💖

infer-reportdiff(1) is the Infer Report Difference bestie — she computes the differences between two infer reports. It’s giving compare-and-contrast, but make it forensic. 💅

✨ SYNOPSIS ✨

infer reportdiff --report-current file --report-previous file [options]

🦋 DESCRIPTION 🦋

Okay so you hand her two infer reports — previous and current — and she computes these three reports and stores them inside the "differential/" subdirectory of the results directory:

• introduced.json contains the issues found in current but not previous.
• fixed.json contains the issues found in previous but not current.
• preexisting.json contains the issues found in both previous and current.

All three files follow the same format as normal infer reports. No cap. ✨

🎀 OPTIONS 🎀

• --config-impact-current path — config impact report of the latest revision.
• --config-impact-max-callees-to-print int — specify the maximum number of unchecked callees to print in the config impact checker.
• --config-impact-previous path — config impact report of the base revision to use for comparison.
• --costs-current path — costs report of the latest revision.
• --costs-previous path — costs report of the base revision to use for comparison.
• --debug, -g — activates: Debug mode (also sets --debug-level 2, --developer-mode, --print-buckets, --print-types, --reports-include-ml-loc, --no-only-cheap-debug, --trace-error, --write-html). (Conversely: --no-debug | -G)
• --debug-level level — debug level (sets --bo-debug level, --debug-level-analysis level, --debug-level-capture level):
  • 0: only basic debugging enabled
  • 1: verbose debugging enabled
  • 2: very verbose debugging enabled
• --debug-level-analysis int — debug level for the analysis. See --debug-level for accepted values.
• --debug-level-capture int — debug level for the capture. See --debug-level for accepted values.
• --debug-level-report int — debug level for the report. See --debug-level for accepted values.
• --no-deduplicate — deactivates: Apply issue-specific deduplication during analysis and/or reporting. (Conversely: --deduplicate)
• --file-renamings path — JSON with a list of file renamings to use while computing differential reports.
• --help — show this manual.
• --help-format { auto | groff | pager | plain } — show this help in the specified format. auto sets the format to plain if the environment variable TERM is "dumb" or undefined, and to pager otherwise.
• --help-full — show this manual with all internal options in the INTERNAL OPTIONS section.
• --report-current path — report of the latest revision.
• --report-previous path — report of the base revision to use for comparison.
• --no-skip-duplicated-types — deactivates: Skip fixed-then-introduced duplicated types while computing differential reports. (Conversely: --skip-duplicated-types)
• --stats-dir-current path — the infer-out/stats from the current run. Together with --stats-dir-previous, make infer reportdiff compute the difference between two stats directories and output the results in infer-out/differential/stats_*.json files.
• --stats-dir-previous path — the infer-out/stats from a previous run. See --stats-dir-current.

🌈 ENVIRONMENT 🌈

• INFER_ARGS, INFERCONFIG, INFER_STRICT_MODE — see the ENVIRONMENT section in the manual of infer(1).

🍓 FILES 🍓

• .inferconfig — see the FILES section in the manual of infer(1).

🌸 SEE ALSO 🌸

• infer-report(1)

Version/source: v1.3.0-unknown; date: 2026-10-27; manual: infer-reportdiff(1) — that’s the whole vibe, bye bestie! 💅🫶🎀