This is a toy WASM symbolic interpreter. It illustrates the following articles:
- Part 1 - Introduction
- Part 2 - Writing a concrete interpreter - browse code at this stage
- Part 3 - Writing a symbolic interpreter - browse code at this stage
- Part 4 - Writing a symbolic interpreter and solving challenges! - browse code at this stage
A handy Makefile will help you test the program is working for you:
$ make test
$ make part1-custom
$ make part1-smt
$ make part2-smtThe challenge being solved is the ForumCrack KeygenMe.