nmeum/qute

A software analysis framework built around the QBE intermediate language

语言：Haskell · GitHub 星标：3 · Fork：0

话题：compiler · qbe · smt · static-analysis · symbolic-execution

在 GitHub 上查看原仓库