toy-wasm-symbexp

Это игрушечный символический интерпретатор WASM. Он иллюстрирует следующие статьи:

• Часть 1 — Введение
• Часть 2 — Написание конкретного интерпретатора — просмотреть код на этом этапе
• Часть 3 — Написание символического интерпретатора — просмотреть код на этом этапе
• Часть 4 — Написание символического интерпретатора и решение задач! — просмотреть код на этом этапе

Использование

Удобный Makefile поможет вам проверить, что программа работает:

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

Примечание

Решаемая задача — ForumCrack KeygenMe.