toy-wasm-symbexp
toy-wasm-symbexp copied to clipboard
Published
20 hours ago •
synacktiv
synacktiv
A toy symbolic execution engine, supporting the blog article ...
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.
synacktiv