Artifact For ICSE'26 Paper "Enforcing Control Flow Integrity on DeFi Smart Contracts"

This artifact packages the code, datasets, and experiment scripts used to reproduce the CrossGuard paper’s results: it includes benchmark trace lists, cached traces and labels, analysis and tracking utilities, a full experiment driver (runFullExperiments.py) that generates per‑benchmark logs, and post‑processing (table_printers.py) that converts those logs into tables and compares them against expected outputs; it also contains a SphereX overhead computation and a Foundry‑based gas experiment to validate instrumentation overhead, so reviewers can rebuild the environment (via Docker or local setup), rerun the experiments, and map the outputs back to the paper’s tables and key statistics.