CassieFox23@CassieFox23
morluto/rea/discussions/2254
GitHub 仓库 · 发布者 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.
关于这个案例
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.
安装配置
安装方法请查看原始来源。
原文 / 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.
更多类似作品
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
星数 3尚未翻译
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
星数 1尚未翻译
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
星数 1尚未翻译