All Categories → No Category → k-cfa

Top 1 k-cfa open source projects

Generic implementation of different CFA families based on monadic decomposition

✭ 16

haskell monads static-analysis abstract-interpretation k-cfa

1-1 of 1 k-cfa projects