k-cfa topic
List
k-cfa repositories
reachability
30
Stars
4
Forks
Watchers
Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme programming language
monadic-cfa
21
Stars
0
Forks
Watchers
Generic implementation of different CFA families based on monadic decomposition