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: artifact.tar.gz - 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. cats.tar.gz - Contains the results from running StaticAlly on the CATS microbenchmark. opal.tar.gz - Contains the updated results from adding OPAL's context-insensitive analysis to the evaluation. reduced.tar.gz - Contains the reduced project generated by Claude Sonnet 4.6.