A symbolic executor for the QBE intermediate language
git clone https://git.8pit.net/qsym.git
https://git.8pit.net/qsym.git