---
title: Études de cas d'Ingénierie Inverse-REA
url: https://rea.tools/fr/showcase/
---

[Accueil](https://rea.tools/fr/) / Vitrines

# É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.

APK 
Génération de code 
Règle récupérée 
Horloge réglable

[Lire l'étude de cas Android](https://rea.tools/showcase/aegis/)

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.

Binaire 
Vérification du code 
Équations 
C'est vrai!

[Lire l'étude de cas de la FCT](https://rea.tools/fr/showcase/ctf/)

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.

Exécutable 
Résultats de la REA 
C Récupéré 
Validation

[Lire l'étude de cas DX-Ball](https://rea.tools/fr/showcase/dx-ball/)

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.

Application packagée 
API exposée 
Enveloppes IPC 
Presse-papiers

[Lire l'étude de cas Notion](https://rea.tools/fr/showcase/notion/)

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.

Code de DOS d'origine 
Instructions pour le modèle REA 
Calcul de l'angle 
Anneau de balle

[Lire l'étude de cas TH04](https://rea.tools/fr/showcase/th04/)

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.

[Guide de création d’un environnement](https://rea.tools/guides/rl-environments/) · [Voir la démo sur X](https://x.com/reatools/status/2112574822584918075?s=20)

## 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](https://rea.tools/fr/guides/)