A points-to and alias analysis benchmark suite - View it on GitHub