This artifact accompanies the paper “Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems”. It contains the complete execution pipeline to produce the performance evaluation results, including the source code of the proposed method and input JAR files. The proposed method is implemented with Java using the Maven build system. Performance evaluation can be done by executing the Python script.