toy-wasm-symbexp

Dies ist ein Spielzeug-Symbolik-Interpreter für WASM. Er veranschaulicht die folgenden Artikel:

• Teil 1 – Einführung
• Teil 2 – Schreiben eines konkreten Interpreters - Code zu diesem Stand ansehen
• Teil 3 – Schreiben eines symbolischen Interpreters - Code zu diesem Stand ansehen
• Teil 4 – Schreiben eines symbolischen Interpreters und Lösen von Challenges! - Code zu diesem Stand ansehen

Verwendung

Ein praktisches Makefile hilft Ihnen zu testen, ob das Programm bei Ihnen funktioniert:

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

Hinweis

Die gelöste Challenge ist das ForumCrack KeygenMe.