GitHub repository: thepalbi/souffle-points-to-analysis
Primary language: Java
Description: Souffle + Soot points to analysis