Studi di casi REA.

Android, giochi, Electron e una sfida CTF, con codice, figure e risultati controllati.

Android * Analisi APK

Come un autenticatore genera un codice di accesso

Trova il calcolo del codice a sei cifre di Aegis nel suo APK rilasciato . Traccia i metodi di generazione con REA, quindi sposta un orologio demo per vedere perché il codice cambia ogni 30 secondi.

APK Generazione di codice Regola recuperata Orologio regolabile
Leggi il case study di Android

CTF * Analisi di programmi a codice macchina

Risolvere un CTF flag checker

Ispezionare una sfida DownUnderCTF facile con REA . Trova le sue funzioni di controllo, trasforma maschere e somme in equazioni, quindi verifica il flag risolto con il programma originale.

Binario Controllo del codice Equazione Esatto!
Leggi il caso di studio CTF

Nativo * Ricostruzione

DX-Ball ' s calcolo di sinistra / destra posizione del suono

Recuperare un calcolo di sinistra / destra posizione del suono da un 1996 Windows gioco. Le istruzioni di REA, i riferimenti del chiamante e le costanti numeriche portano a una piccola funzione C, verificata rispetto al comportamento originale e a tutti i 63 byte compilati.

Eseguibile Risultati REA Recuperato C Convalida
Leggi il caso di studio DX-Ball

Electron * Funzione di tracciamento

Come Notion copia testo e HTML

Traccia un'API rivolta alla pagina attraverso JavaScript confezionato di Notion. Segui i suoi wrapper IPC negli appunti di sistema, quindi guarda come un piccolo marcatore HTML mantiene i dati dei blocchi ricchi collegati a una copia.

App pacchettizzata API esposte Wrapper IPC Appunti
Leggi il caso di studio Notion

PC-98 DOS * Ricostruzione

Come TH04 mira un anello di proiettili

Ispezionare l'assistente angolare a 16 bit originale con REA . Abbina le sue operazioni di moltiplicazione, divisione e coordinamento a C++ leggibile, quindi guarda come producono un anello rivolto al giocatore.

Codice DOS originale Istruzioni REA Calcolo dell'angolo Anello di proiettile
Leggi il caso di studio TH04

Guide passo-passo

Le guide seguono un calcolo nativo, un'esportazione Electron e una richiesta del browser. Ognuno inizia con un prompt e un obiettivo concreto.

Leggi le guide

Cima