REpsych

: La guerre psychologique dans la rétro-ingénierie

github.com/xoreaxeaxeax/repsych // domas // @xoreaxeaxeax

Aperçu

Le kit d'outils REpsych est une preuve de concept illustrant la génération d'images à travers le graphe de flot de contrôle (CFG) d'un programme.

CFG d'une fonction typique	CFG généré par REpsych

Le projet n'a pas de but précis (autre que de montrer que c'est possible), mais des applications possibles (non sérieuses) sont décrites dans la présentation DEF CON.

Le programme fonctionne de manière fiable avec toutes les versions testées de l'outil de rétro-ingénierie IDA Pro, et de manière semi-fiable avec les autres visualiseurs de CFG (Hopper, BinNavi, radare2, etc.).

Utilisation

Le kit d'outils traduit des images sources en programmes fonctionnels, de sorte que le graphe de flot de contrôle du programme génère l'image source.

Pour générer un nouveau programme à partir d'une image :

Enregistrez l'image dans le dossier gfx/ au format bitmap 24 BPP.
Exécutez "make image" dans le répertoire racine du projet, où "image" est le nom de votre image, sans l'extension.

Deux programmes fonctionnels seront créés : repsych_v1 et repsych_v2. Chacun utilise une stratégie différente pour garantir que le rendu du CFG place correctement les nœuds du CFG.

Conseils

L'outil créera un bloc de base (nœud de CFG) pour chaque pixel de l'image source ; vous devriez donc essayer d'utiliser de petites images sources (pas plus grandes que 100x100), et vous devrez peut-être augmenter le nombre de nœuds autorisés dans votre visualiseur de CFG.

Lorsque vous utilisez une image de texte comme entrée de l'outil, convertissez d'abord l'image en bitmap noir et blanc 2 BPP, puis en bitmap 24 BPP ; cela supprimera les couleurs autres que le noir et le blanc et donnera les meilleurs résultats dans le graphe de flot de contrôle.