These instructions are intended for using the artifacts for our ECOOP’20 paper entitled “Static Analysis of Shape in TensorFlow Programs”. They can be used to run the analysis on the paper’s evaluation set demonstrating bug detection in the most precise configuration of our analysis as well as the precision of the analysis under different configurations.