souffle-lang/java-pts

Souffle: Tutorial for a Java Points-To Analysis

Java