GPU accelerated Andersen Analysis
Implemented inside the SVF Framework as a Whole Program Analysis
"In computer science, pointer analysis, or points-to analysis, is a static code analysis technique that establishes which pointers, or heap references, can point to which variables, or storage locations. It is often a component of more complex analyses such as escape analysis. A closely related technique is shape analysis."
Check out the code for this thesis here. This project is based on the SVF Framework, check it out here.