qsym

A symbolic executor for the QBE intermediate language

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

1Halting executing
2Local variables:
3	a = |main:a|
4	ptr = #x0000000000000004
5	val = #xffffffffdeadbeef
6Symbolic variable values:
7