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