toy-wasm-symbexp

Ceci est un interpréteur symbolique WASM jouet. Il illustre les articles suivants :

• Partie 1 - Introduction
• Partie 2 - Écriture d'un interpréteur concret - parcourir le code à ce stade
• Partie 3 - Écriture d'un interpréteur symbolique - parcourir le code à ce stade
• Partie 4 - Écriture d'un interpréteur symbolique et résolution de challenges ! - parcourir le code à ce stade

Utilisation

Un Makefile pratique vous aidera à tester que le programme fonctionne chez vous :

$ make test
$ make part1-custom
$ make part1-smt
$ make part2-smt

Remarque

Le challenge résolu est le ForumCrack KeygenMe.