skius/progge.rs

Program analysis playground for a simple, imperative language

语言：Rust · GitHub 星标：38 · Fork：1

话题：abstract-interpretation · compiler · llvm · program-analysis · programming-language · static-analysis · type-checking

在 GitHub 上查看原仓库