Artifact for "When Static Reachability Says No: Checking Joern-Based Negative Verdicts for Python Against Execution"

Data and code to recompute every number of the paper from the saved results of the SourceLens v0.9 release run, and the harness that produced the execution data: coverage and call traces of asciinema and Sublist3r (three runs, Python 3.8 container without network), call edges and method references from Joern 4.0.569 and 4.0.661, 27 minimal test cases, and the analysis scripts. Semgrep rules are not included (internal-use licence); they are referenced by commit. Published with the permission of KRYPTON Polska Sp. z o.o. for scientific and research purposes; see README.md for the licence of each part.