Andersen's pointer analysis in Prolog as part of the PATO (Program Analysis Through Ontology) project.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool