Supplementary website for the paper "Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications" - View it on GitHub