TransparentUpgradeableProxy · 0x0Bd7…AD73
Receipt xu6n3hdq · 2026-08-27 06:38 UTC
99/100
2 findings
Critical
0
High
0
Medium
0
Low
1
flagged
Info
1
flagged
- LOWHigh confidencepattern matchcp-sol-floating-pragma· TransparentUpgradeableProxy.sol:4
Floating pragma — unlocked compiler version
Smart contract risk — verify against your protocol's intended invariants.
Using `pragma solidity ^` allows compiling with different versions, which may introduce inconsistent behavior or known bugs.
Fix: Lock the pragma to a specific version (e.g. `pragma solidity 0.8.24;`) for production contracts. - INFOInformationalpattern matchcp-sol-assembly· TransparentUpgradeableProxy.sol:105
Inline assembly usage
Smart contract risk — verify against your protocol's intended invariants.
Inline assembly bypasses Solidity's safety checks. Routine in production DeFi for gas optimization (transient storage, packed structs, math) — flagged informationally so reviewers can verify the assembly block is justified.
Fix: Confirm the assembly block is necessary and audited. Document the storage slots / opcodes used.
Share this receipt
https://interventionprotocol.io/r/xu6n3hdq
Receipts are snapshots — findings may change as the engine improves.
Want a deeper scan? Run via x402 API or re-scan in the playground.