Skip to content

A toy symbolic execution engine, supporting the blog article ...

License

Notifications You must be signed in to change notification settings

synacktiv/toy-wasm-symbexp

Repository files navigation

toy-wasm-symbexp

This is a toy WASM symbolic interpreter. It illustrates the following articles:

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.

About

A toy symbolic execution engine, supporting the blog article ...

Resources

License

Stars

Watchers

Forks

Packages

No packages published