Études de cas REA.
Android, jeux, Electron et un défi CTF, avec code, chiffres et résultats vérifiés.
Pour Android · APK analyse
Comment un authentificateur génère un code de connexion
Retrouvez le calcul du code à six chiffres de Aegis dans son APK publié. Tracez les méthodes de génération avec REA, puis déplacez une horloge de démonstration pour voir pourquoi le code change toutes les 30 secondes.
CTF * Analyse des programmes en code machine
Résoudre un vérificateur de drapeau CTF
Inspectez un défi de DownUnderCTF facile avec REA . Trouvez ses fonctions de vérification, transformez les masques et les sommes en équations, puis vérifiez le drapeau résolu avec le programme d'origine.
Reconstruction indigène ·
Calcul de la position sonore gauche/droite de DX-Ball
Récupérez un calcul de la position sonore gauche / droite d'un jeu Windows de 1996. Les instructions, les références de l'appelant et les constantes numériques de REA conduisent à une petite fonction C, vérifiée par rapport au comportement d'origine et aux 63 octets compilés.
Electron * Traçage des fonctionnalités
Comment Notion copie du texte et du code HTML
Tracez une API orientée page via le JavaScript emballé de Notion . Suivez ses enveloppes IPC dans le presse-papiers du système, puis voyez comment un petit marqueur HTML maintient les données de bloc riches connectées à une copie.
PC-98 pour la reconstruction
Comment TH04 vise un anneau de balles
Inspectez l'assistant d'angle 16 bits d'origine avec REA . Associez ses opérations de multiplication, de division et de coordination à du C ++ lisible, puis voyez comment elles produisent un anneau destiné au joueur.
Environnements RL
Créer des environnements RL avec REA
Enregistrez une session d’application web, transformez son API en outils et exportez un environnement utilisable par un agent IA. Exécutez-le avec AgentEnv, puis ajoutez des tâches et des vérifications de récompense pour l’entraînement RL ou l’évaluation.
Guides étape par étape
Les guides parcourent un calcul natif, une exportation Electron et une requête de navigateur. Chacun commence par une invite et une cible concrète.
Lire les guides