CassieFox23@CassieFox23
GitHub discussion · by CassieFox23
A stripped bzip2 build: what REA returned, checked against the source
Asks REA which function prints one message in a stripped, optimised bzip2 binary; the answer and 24 callees matched an unstripped build and the source, and the post lists what this does not prove.
About this case
Asks REA which function prints one message in a stripped, optimised bzip2 binary; the answer and 24 callees matched an unstripped build and the source, and the post lists what this does not prove.
Why it is listed: Open-source target, careful verification against the known source.
Setup
See the original source for installation instructions.
Original text / README
Asks REA which function prints one message in a stripped, optimised bzip2 binary; the answer and 24 callees matched an unstripped build and the source, and the post lists what this does not prove.
Why it is listed: Open-source target, careful verification against the known source.
Similar projects
NullLabTests@NullLabTests
A static analysis write-up of Ubuntu's netcat-openbsd binary using REA with Ghidra, with the evidence behind each finding.
OpenBSD netcat, analysed with REA and Ghidra
Stars 3
jkf87@jkf87
Follow-along exercises from a Korean video: build your own small Electron app and C program, then analyse them with REA, Ghidra and Claude Code.
Hands-on: analysing your own apps with REA, Ghidra and Claude Code
Stars 2
jinshi666888@jinshi666888
A hands-on teaching playbook using a minimal Electron target: extract evidence with file and line references, probe the MCP server and recreate the feature.
rea-playbook: from evidence to file:line to recreation
Stars 1