toy-wasm-symbexp

これはおもちゃのWASMシンボリックインタプリタです。以下の記事の内容を例示しています:

• パート1 - 導入
• パート2 - 具象インタプリタの作成 - この段階のコードを閲覧
• パート3 - シンボリックインタプリタの作成 - この段階のコードを閲覧
• パート4 - シンボリックインタプリタの作成とチャレンジ解決！ - この段階のコードを閲覧

使い方

便利な Makefile が、プログラムが正しく動作するかをテストするのに役立ちます:

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

注記

解決対象のチャレンジは ForumCrack KeygenMe です。