qute

A software analysis framework built around the QBE intermediate language

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

HEAD
qute-symex
bench

data/
Exec.hs
Main.hs
SMT.hs
SMTUnwind.hs