toy-wasm-symbexp

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

Usage

A handy Makefile will help you test the program is working for you:

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

Note

The challenge being solved is the ForumCrack KeygenMe.