GitHub repository: rmallof/pysymemu
Primary language: Python
Description: An intel 64 symbolic emulator