Bottom-up summary-based pointer analysis for Java
Primary LanguageJava
No issues in this repository yet.