/Scuba

Bottom-up summary based pointer analysis for Java

Primary LanguageJava

Stargazers