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

github.com/osa1/k-CFA

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.