Koukyosyumei/MyDisassembler

Assembly-Level Formal Verification with Lean 4

3 best points · 0 comments · 2 Hacker News posts · 41 GitHub stars · View on GitHub

Hacker News discussions

• MyDisassembler: Disassembler for x86-64 implemented from scratch in C++ (3 points, 0 comments, by thunderbong, 2024-05-16)
• Disassembler for x86-64 implemented from scratch in C++ (1 points, 0 comments, by kqr2, 2024-05-21)