vijayskumar / pato-pointer-analysis Goto Github PK
View Code? Open in Web Editor NEWThis project forked from yzhao30/pato-pointer-analysis
Andersen's pointer analysis in Prolog as part of the PATO (Program Analysis Through Ontology) project.
License: MIT License