This repo implements Anderson's classical context-insensitive, flow-insensitive, and intra-procedural pointer analysis.
It is a lightweight, self-contained, and easy-to-understand implementation that only depends on the latest C++ STL.
mkdir build && cd build && cmake .. && make