Artifact for "The Secrets Must Not Flow: Scaling Security Verification to Large Codebases" (S&P '26) - View it on GitHub