utopia-group / scuba

Bottom-up summary-based pointer analysis for Java

Geek Repo

Github PK Tool