Gideon145@Gideon145
Gideon145/rea-writeups
GitHub repositories · by Gideon145
REA writeups
Short write-ups that each follow the same discipline: a target, a method and the evidence REA produced.
About this case
Short write-ups that each follow the same discipline: a target, a method and the evidence REA produced.
Why it is listed: Educational write-ups with evidence.
Setup
See the original source for installation instructions.
Original text / README
Short write-ups that each follow the same discipline: a target, a method and the evidence REA produced.
Why it is listed: Educational write-ups with evidence.
Similar projects
CassieFox23@CassieFox23
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.
rea / A stripped bzip2 build: w
❯ /A▰▰▰▰▰▰▰▰ CTF & learning
✳︎ A stripped bzip2 build: what REA returned, checked against the source
└─ Make every conversation easier
Text preview · Not a project screenshot✳︎ A stripped bzip2 build: what REA returned, checked against the source
└─ Make every conversation easier
A stripped bzip2 build: what REA returned, checked against the source
Stars 156.5K
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
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