infer-explore(1)

📦 version 1.3.0, in nixpkgs unstable

💅 infer-explore(1) — hi bestie, welcome to the Infer Explore page 🦋

okay so real talk, this is the infer-explore manual and it's genuinely iconic. grab a snack, we're going in ✨

🌸 NAME 🌸

infer-explore — explore the error traces in infer reports. yes that's the whole job and she does it gorgeously 💅

✨ SYNOPSIS ✨

infer explore [options]

that's it. that's the whole vibe. infer explore plus whatever options your heart desires 🫶

🎀 DESCRIPTION 🎀

So what does she actually do? Two things, and both are main character energy:

  • She shows you the list of bugs on the console — like, all of them, right there.
  • She lets you explore symbolic program traces emitted by infer so you can actually understand why a report exists. no more mystery, no more "huh?" 😭

And bonus: she can also generate an HTML report from a JSON report. cute output for a cute analysis, we love to see it 🌈

🔥 OPTIONS 🔥

  • --help — shows you this very manual. self-explanatory bestie, she's helping 💖
  • --help-format { auto | groff | pager | plain } — shows this help in the format you picked. and what does auto do? glad you asked: it sets the format to plain if the environment variable TERM is "dumb" or undefined, and to pager otherwise. she reads the room (and your terminal) 🧚
  • --help-full — shows this manual with all the internal options in the INTERNAL OPTIONS section. for when you want the director's cut 👑
  • --results-dir,-o dir — writes results and internal files into the directory you specify. -o dir, short and sweet 🎀

🦋 EXPLORE BUGS 🦋

  • --html — activates: generate an html report of issues found. (and conversely, --no-html turns it off — she's flexible like that 💅)
  • --max-nesting int — how many levels of nested procedure calls to show. trace elements beyond the maximum nesting level get skipped, lowkey tragic for them but that's the rule. if you omit it entirely, all levels are shown 👀
  • --select (N|all) — picks option number N, or all of them. if you omit it, she'll prompt you for input, so no pressure 😌
  • --no-source-preview — deactivates: print code excerpts around trace elements. (conversely, --source-preview turns it back on 🙈)

💜 ENVIRONMENT 💜

  • INFER_ARGS, INFERCONFIG, INFER_STRICT_MODE — see the ENVIRONMENT section in the manual of infer(1). she's not gonna repeat herself, the info lives there fr fr 🌸

⭐ FILES ⭐

  • .inferconfig — see the FILES section in the manual of infer(1). same deal, go check the big one 💫

👑 SEE ALSO 👑

go read those too, they're part of the friend group 🫶

ngl, this page is short but she ate. every option listed, nothing skipped, periodt 💀✨

and that's the whole page bestie 🌈 this was version v1.3.0-unknown, dated 2026-10-27, and honestly? a moment. mwah 💋🎀

📦 where this page comes from