GOTO-INSPECT(2)

💖 GOTO-INSPECT(2) 💖

okay bestie, quick vibe check: this one's from the User Commands corner of the manual, and it's literally the little peek-behind-the-curtain tool for goto-binaries. pull up a chair 🫶

---

✨ NAME ✨

goto-inspect — Inspect goto-binaries. that's it, that's the whole job, and she does it flawlessly 💅

---

🌸 SYNOPSIS 🌸

goto-inspect [-?] [-h] [--help]
       show help

goto-inspect --version
       show version and exit

goto-inspect [options] in
       Inspect (show properties, goto-functions, etc of) given goto-
       binary.

so there's three whole moods here, bestie, let's break them down:

1. You just want the help — hit her with -?, -h, or --help. she'll show help, iconic.
2. You just want to know who she is — goto-inspect --version shows the version and exits. she said know your worth 💖
3. You actually have a binary to snoop on — goto-inspect [options] in Inspects (shows properties, goto-functions, etc of) the given goto-binary. main character energy fr fr 👑

---

🦋 DESCRIPTION 🦋

okay so goto-inspect reads a GOTO binary and then serves — she shows you the goto-functions, the properties, and all the other attributes that come with the goto-program. it's giving backstage pass to your own binary 🎀

---

💅 OPTIONS 💅

User-interface options:

the section that's literally labeled "User-interface options" because the authors were being so real about it:

• --show-goto-functions — print the goto-program instructions for the functions contained by the binary. yes. all of them. every instruction. she's not holding back, she's showing the whole fit 🔥

---

🌈 ENVIRONMENT 🌈

All tools honor the TMPDIR environment variable when generating temporary files and directories. so if you want your temp stuff living somewhere specific, TMPDIR is your girl, and every single one of the tools respects her. no cap 🧚

---

💀 BUGS 💀

If you encounter a problem please create an issue at:

https://github.com/diffblue/cbmc/issues

not me telling you to file a bug report like it's a group chat callout — but fr, that's the place 🙈

---

⭐ SEE ALSO ⭐

cbmc(1), goto-cc(1) goto-instrument(1)

the whole friend group, all showing up together, as they should 🫶

---

👑 COPYRIGHT 👑

2023, Diffblue Ltd.

---

so yeah, that's the whole page — goto-inspect-5.81.0, dated May 2023, and she's still that girl 💜🌸💖