CROSSINGTUD / SPDS Star 41 Code Issues Pull requests Efficient and Precise Pointer-Tracking Data-Flow Framework java static-analysis pushdown-automaton points-to-analysis weighted-pushdown-systems typestate-analysis Updated Jul 8, 2021 Java
jdmota / java-typestate-checker Star 15 Code Issues Pull requests JaTyC: a typestate checker for Java java typestate-analysis typestate Updated Nov 15, 2024 Kotlin
ndinata / typers Star 0 Code Issues Pull requests an exploration of using typestates in an online shopping program 🛒 rust static-analysis typestate-analysis compile-time-checking Updated Jul 20, 2023 Rust