toy-wasm-symbexp

هذا مترجم رمزي (Symbolic Interpreter) تجريبي لـ WASM. يوضح المقالات التالية:

• الجزء 1 - مقدمة
• الجزء 2 - كتابة مترجم تنفيذي (Concrete Interpreter) - تصفح الكود في هذه المرحلة
• الجزء 3 - كتابة مترجم رمزي - تصفح الكود في هذه المرحلة
• الجزء 4 - كتابة مترجم رمزي وحل التحديات! - تصفح الكود في هذه المرحلة

الاستخدام

ملف Makefile عملي سيساعدك على اختبار أن البرنامج يعمل بشكل صحيح:

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

ملاحظة

التحدي الذي يتم حله هو ForumCrack KeygenMe.