eth-mainnet · 2,418 contracts · bytecode diff ✓⌁◉ SWC-107 reentrancy · 0xBEeF…42fA:142⌁fedwire · 14M msgs/day · harness attached⌁◉ CWE-362 TOCTOU · PostingService.post():88⌁arbitrum · symbolic exec · 18,204 paths⌁swift · MT103 parser · float-for-money flagged⌁◉ unchecked-call · Router.swap():87⌁sepa · pacs.008 validator · 412 rules matched⌁solana · eBPF verifier · passed⌁◉ CWE-305 mTLS fail-open · auth/session.ts⌁pix (brazil) · idempotency key audit · ✓⌁optimism · missing access-ctrl confirmed⌁cobol · core-banking · PIC overflow on PGMS/POST-TXN⌁read-only simulation · zero state writes⌁◉ oracle-manipulation · Chainlink stale⌁upi · VPA resolver · invariant proven⌁◉ SWC-136 · latestAnswer() no check⌁iso-20022 · 1,908 message types · coverage 94%⌁eth-mainnet · 2,418 contracts · bytecode diff ✓⌁◉ SWC-107 reentrancy · 0xBEeF…42fA:142⌁fedwire · 14M msgs/day · harness attached⌁◉ CWE-362 TOCTOU · PostingService.post():88⌁arbitrum · symbolic exec · 18,204 paths⌁swift · MT103 parser · float-for-money flagged⌁◉ unchecked-call · Router.swap():87⌁sepa · pacs.008 validator · 412 rules matched⌁solana · eBPF verifier · passed⌁◉ CWE-305 mTLS fail-open · auth/session.ts⌁pix (brazil) · idempotency key audit · ✓⌁optimism · missing access-ctrl confirmed⌁cobol · core-banking · PIC overflow on PGMS/POST-TXN⌁read-only simulation · zero state writes⌁◉ oracle-manipulation · Chainlink stale⌁upi · VPA resolver · invariant proven⌁◉ SWC-136 · latestAnswer() no check⌁iso-20022 · 1,908 message types · coverage 94%⌁