Case study

Untangle: a browser rebuild from REA and Ghidra evidence

An author-documented REA/Ghidra investigation of the shipped Untangle Windows binary produces a single-page playable rebuild and a claim-by-claim grading receipt. The report separates frozen findings, a later source-code answer key and a prior-knowledge audit.

Requirements & limits

  • Prerequisites: The recorded run uses REA 6.3.0, Ghidra 12.1.4 and Windows 11 against puzzles version 20260923.616da16; the rebuild is available as a browser page.
  • Testing evidence: The reported 52/54 correct claims and L3 seed fidelity are the author's grading results; ten names absent from REA output indicate possible prior-knowledge contamination. Not run or reproduced for this catalog.
  • Limits: The 72 MB evidence export is omitted; its hash is retained. The README documents a pre-publication history rewrite and maps old commit hashes to new ones.
  • License: Original puzzle binary and source retain Simon Tatham and contributors' MIT license.

About this entry

Type
Case study
Category
Community REA investigations
Relationship
Author-reported mixed workflow
Targets
Binary · Game

Sources reviewed

The description was reviewed against primary sources. This does not establish runtime testing, security auditing or verified compatibility.

Report an outdated entry Suggest a translation fix

Primary sources

  1. README.md GitHub · az9713/untangle-rebuild · Revision 6e99251
  2. https://az9713.github.io/untangle-rebuild/receipt/rebuild-receipt.html
  3. https://az9713.github.io/untangle-rebuild/rebuild/index.html

More in Games

All 240 entries in GamesGames case studies (198)