Artifact for "Automatic Feature-Aware Generation of Lower Bounds for Static Analysis Tools via Dynamic Analysis"

This is the anonymized artifact for our submission to ISSTA 2026 entitled "Automatic Feature-Aware Generation of Lower Bounds for Static Analysis Tools via Dynamic Analysis." The structure of this artifact is as follows: - StaticAlly: contains the infrastructure for dynamic projections, as well as for generating static call graphs (see StaticAlly/README.md for more info). - benchmarks: contains dacapo-bach. - static_cgs: contains the static call graphs we generated to test DOOP and Soot. - soundproof: contains the results of our dynamic projection, including over 18,000 test cases for static analysis. - results: contains the results as presented in the paper, as well as a script for generating them.