CrossGuard v0.1.0 Audits Starknet Bridges End-to-End

CrossGuard v0.1.0 — static analyzer for Starknet bridges — checks L1 Solidity and L2 Cairo together. Detects 6 vulnerability classes: D1-D2 critical, D3-D4 high, D5-D6 medium. Ran on StarkGate Token Bridge: 4× D1, 2× D4, with 2 false positives. MIT-licensed; outputs terminal, JSON, SARIF, HTML. Seeking bridge-builder feedback.