svenkeidel/sturdy
Sturdy is a library for developing sound static analyses in Haskell.
PascalBSD-3-Clause
Issues
- 16
- 0
Idempotent Joins
#25 opened by svenkeidel - 0
Unsoundness in Jimple Nullness Analysis
#16 opened by svenkeidel - 0
Bottom in nullness analysis
#17 opened by svenkeidel - 0
`AbstractValue` is confusing
#18 opened by svenkeidel - 0
- 0
Stratego requires an update
#14 opened by svenkeidel - 1
`write` should be `lift write`?
#7 opened by seba--