k-CFA. Implementation of k-CFA control-flow analysis framework on a simple language

github.com/osa1/k-CFA

Problem

Audience

Updates

No founder updates yet. Check back soon.