toy-wasm-symbexp

这是一个玩具 WASM 符号解释器。它演示了以下文章：

• 第 1 部分 - 简介
• 第 2 部分 - 编写具体解释器 - 浏览此阶段的代码
• 第 3 部分 - 编写符号解释器 - 浏览此阶段的代码
• 第 4 部分 - 编写符号解释器并解决挑战！ - 浏览此阶段的代码

用法

一个方便的 Makefile 将帮助你测试程序是否正常工作：

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

注意

所解决的挑战是 ForumCrack KeygenMe。