qsym

A symbolic executor for the QBE intermediate language

git clone https://git.8pit.net/qsym.git