REA in Spanish: reconstructing an author-owned key validator
Target: Author-owned educational licencia-cli.stripped binary and its symbolized reference build
Author / attribution: harkiventures
Source review date:
Review status: Sources reviewed; author tests not independently rerun.
The question
How can a small stripped program’s acceptance rule be reconstructed and checked against the original?
What REA did
The author reports using REA and Ghidra pseudocode plus bytes read at 0x102040 to recover character conversion, weighted accumulation, rotation and acceptance checks, then writing a separate Python verifier.
Author-reported results
The free Spanish sample includes lab setup and a worked case, stripped and symbolized practice binaries, reference C source and a reconstructed Python verifier. The verifier lists 4 expected examples; the author reports checking the reconstruction against the real binary.
Limitations and unverified claims
The exercise is the author’s own small unprotected program, not a commercial licensing bypass or a general result for protected software. The 4 examples are limited checks, not exhaustive equivalence. This catalog did not execute the binaries or rerun the comparison; the proposed full course is not yet delivered.
What to learn
Use an owned fixture with a hidden reference source, recover one bounded rule, and test accepted and rejected inputs before comparing with the source.
REA usage evidence in the source
Reimplementacion de la validacion del Caso A escrita SOLO desde el
pseudocodigo que REA/Ghidra devolvio (analisis/caso-a/05 y 06) y de los
bytes leidos en 0x102040 (07).Excerpt formatting is simplified. Read the original source for full context.
Original sources
- Primary source / pinned evidence
- Project / demo
- Additional source 1
- Additional source 2
- Additional source 3
Independent editorial summary. Credit belongs to the original authors. Target software, installers and complete decompiler output are not redistributed here.