TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019b477e-d842-7205-8a1c-f78c759b5c5e

complete
Chain ID
1
Address
Block Number
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
29045 artifact.fetch complete 1 / 3 4 months ago
29046 tool.cast_disasm complete 1 / 3 4 months ago
72540 analysis.bundle complete 1 / 3 2 weeks ago
72541 capability.graph complete 1 / 3 2 weeks ago
72542 detector.run complete 1 / 3 2 weeks ago
72543 validation.fork complete 1 / 3 2 weeks ago

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: no
Implementation:
Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
8
EXT*/BALANCE
2
Total opcodes
1747
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH0
00000001: CALLDATALOAD
00000002: PUSH1 0xe0
00000004: SHR
00000005: PUSH1 0x02
00000007: PUSH1 0x14
00000009: DUP3
0000000a: MOD
0000000b: PUSH1 0x01
0000000d: SHL
0000000e: PUSH2 0x0c9e
00000011: ADD
00000012: PUSH1 0x1e
00000014: CODECOPY
00000015: PUSH0
00000016: MLOAD
00000017: JUMP
00000018: JUMPDEST
00000019: PUSH4 0xeb8acce6
0000001e: DUP2
0000001f: XOR
00000020: PUSH2 0x09f6
00000023: JUMPI
00000024: CALLVALUE
00000025: PUSH2 0x0c9a
00000028: JUMPI
00000029: PUSH1 0x01
0000002b: SLOAD
0000002c: PUSH1 0x40
0000002e: MSTORE
0000002f: PUSH1 0x20
00000031: PUSH1 0x40
00000033: RETURN
00000034: PUSH2 0x09f6
00000037: JUMP
00000038: JUMPDEST
00000039: PUSH4 0x7f67b0ff
0000003e: DUP2
0000003f: XOR
00000040: PUSH2 0x09f6
00000043: JUMPI
00000044: CALLVALUE
00000045: PUSH2 0x0c9a
00000048: JUMPI
00000049: PUSH1 0x02
0000004b: SLOAD
0000004c: PUSH1 0x40
0000004e: MSTORE
0000004f: PUSH1 0x20
00000051: PUSH1 0x40
00000053: RETURN
00000054: PUSH2 0x09f6
00000057: JUMP
00000058: JUMPDEST
00000059: PUSH4 0x1bf23890
0000005e: DUP2
0000005f: XOR
00000060: PUSH2 0x09f6
00000063: JUMPI
00000064: CALLVALUE
00000065: PUSH2 0x0c9a
00000068: JUMPI
00000069: PUSH1 0x03
0000006b: SLOAD
0000006c: PUSH1 0x40
0000006e: MSTORE
0000006f: PUSH1 0x20
00000071: PUSH1 0x40
00000073: RETURN
00000074: PUSH2 0x09f6
00000077: JUMP
00000078: JUMPDEST
00000079: PUSH4 0x346c573e
0000007e: DUP2
0000007f: XOR
00000080: PUSH2 0x09f6
00000083: JUMPI
00000084: CALLVALUE
00000085: PUSH2 0x0c9a
00000088: JUMPI
00000089: PUSH1 0x04
0000008b: SLOAD
0000008c: PUSH1 0x40
0000008e: MSTORE
0000008f: PUSH1 0x20
00000091: PUSH1 0x40
00000093: RETURN
00000094: PUSH2 0x09f6
00000097: JUMP
00000098: JUMPDEST
00000099: PUSH4 0x6a29a620
0000009e: DUP2
0000009f: XOR
000000a0: PUSH2 0x09f6
000000a3: JUMPI
000000a4: PUSH1 0x24
000000a6: CALLDATASIZE
000000a7: LT
000000a8: CALLVALUE
000000a9: OR
000000aa: PUSH2 0x0c9a
000000ad: JUMPI
000000ae: PUSH1 0x05
000000b0: PUSH1 0x04
000000b2: CALLDATALOAD
000000b3: PUSH1 0x20
000000b5: MSTORE
000000b6: PUSH0
000000b7: MSTORE
000000b8: PUSH1 0x40
000000ba: PUSH0
000000bb: KECCAK256
000000bc: SLOAD
000000bd: PUSH1 0x40
000000bf: MSTORE
000000c0: PUSH1 0x20
000000c2: PUSH1 0x40
000000c4: RETURN
000000c5: PUSH2 0x09f6
000000c8: JUMP
000000c9: JUMPDEST
000000ca: PUSH4 0x6d84534a
000000cf: DUP2
000000d0: XOR
000000d1: PUSH2 0x0104
000000d4: JUMPI
000000d5: PUSH1 0x24
000000d7: CALLDATASIZE
000000d8: LT
000000d9: CALLVALUE
000000da: OR
000000db: PUSH2 0x0c9a
000000de: JUMPI
000000df: PUSH1 0x04
000000e1: CALLDATALOAD
000000e2: DUP1
000000e3: PUSH1 0xa0
000000e5: SHR
000000e6: PUSH2 0x0c9a
000000e9: JUMPI
000000ea: PUSH1 0x40
000000ec: MSTORE
000000ed: PUSH1 0x06
000000ef: PUSH1 0x40
000000f1: MLOAD
000000f2: PUSH1 0x20
000000f4: MSTORE
000000f5: PUSH0
000000f6: MSTORE
000000f7: PUSH1 0x40
000000f9: PUSH0
000000fa: KECCAK256
000000fb: SLOAD
000000fc: PUSH1 0x60
000000fe: MSTORE
000000ff: PUSH1 0x20
00000101: PUSH1 0x60
00000103: RETURN
00000104: JUMPDEST
00000105: PUSH4 0xffd8d4aa
0000010a: DUP2
0000010b: XOR
0000010c: PUSH2 0x09f6
0000010f: JUMPI
00000110: PUSH1 0xa4
00000112: CALLDATASIZE
00000113: LT
00000114: CALLVALUE
00000115: OR
00000116: PUSH2 0x0c9a
00000119: JUMPI
0000011a: PUSH1 0x84
0000011c: CALLDATALOAD
0000011d: DUP1
0000011e: PUSH1 0xa0
00000120: SHR
00000121: PUSH2 0x0c9a
00000124: JUMPI
00000125: PUSH2 0x0100
00000128: MSTORE
00000129: PUSH1 0x24
0000012b: CALLDATALOAD
0000012c: GASPRICE
0000012d: DUP1
0000012e: DUP3
0000012f: MUL
00000130: DUP2
00000131: ISZERO
00000132: DUP4
00000133: DUP4
00000134: DUP4
00000135: DIV
00000136: EQ
00000137: OR
00000138: ISZERO
00000139: PUSH2 0x0c9a
0000013c: JUMPI
0000013d: SWAP1
0000013e: POP
0000013f: SWAP1
00000140: POP
00000141: PUSH2 0x0120
00000144: MSTORE
00000145: PUSH1 0x44
00000147: CALLDATALOAD
00000148: GASPRICE
00000149: DUP1
0000014a: DUP3
0000014b: MUL
0000014c: DUP2
0000014d: ISZERO
0000014e: DUP4
0000014f: DUP4
00000150: DUP4
00000151: DIV
00000152: EQ
00000153: OR
00000154: ISZERO
00000155: PUSH2 0x0c9a
00000158: JUMPI
00000159: SWAP1
0000015a: POP
0000015b: SWAP1
0000015c: POP
0000015d: PUSH2 0x0140
00000160: MSTORE
00000161: PUSH1 0x04
00000163: CALLDATALOAD
00000164: GASPRICE
00000165: DUP1
00000166: DUP3
00000167: MUL
00000168: DUP2
00000169: ISZERO
0000016a: DUP4
0000016b: DUP4
0000016c: DUP4
0000016d: DIV
0000016e: EQ
0000016f: OR
00000170: ISZERO
00000171: PUSH2 0x0c9a
00000174: JUMPI
00000175: SWAP1
00000176: POP
00000177: SWAP1
00000178: POP
00000179: PUSH2 0x0160
0000017c: MSTORE
0000017d: PUSH2 0x0120
00000180: MLOAD
00000181: PUSH2 0x0140
00000184: MLOAD
00000185: DUP1
00000186: DUP3
00000187: ADD
00000188: DUP3
00000189: DUP2
0000018a: LT
0000018b: PUSH2 0x0c9a
0000018e: JUMPI
0000018f: SWAP1
00000190: POP
00000191: SWAP1
00000192: POP
00000193: PUSH2 0x0160
00000196: MLOAD
00000197: DUP1
00000198: DUP3
00000199: ADD
0000019a: DUP3
0000019b: DUP2
0000019c: LT
0000019d: PUSH2 0x0c9a
000001a0: JUMPI
000001a1: SWAP1
000001a2: POP
000001a3: SWAP1
000001a4: POP
000001a5: PUSH2 0x0180
000001a8: MSTORE
000001a9: PUSH1 0x01
000001ab: SLOAD
000001ac: PUSH2 0x01a0
000001af: MSTORE
000001b0: PUSH2 0x01a0
000001b3: MLOAD
000001b4: PUSH1 0x40
000001b6: MSTORE
000001b7: PUSH2 0x01be
000001ba: PUSH2 0x09fa
000001bd: JUMP
000001be: JUMPDEST
000001bf: PUSH2 0x0120
000001c2: MLOAD
000001c3: PUSH1 0x03
000001c5: SLOAD
000001c6: ADD
000001c7: PUSH1 0x03
000001c9: SSTORE
000001ca: PUSH2 0x0140
000001cd: MLOAD
000001ce: PUSH1 0x04
000001d0: SLOAD
000001d1: ADD
000001d2: PUSH1 0x04
000001d4: SSTORE
000001d5: PUSH2 0x0160
000001d8: MLOAD
000001d9: PUSH1 0x06
000001db: PUSH2 0x0100
000001de: MLOAD
000001df: PUSH1 0x20
000001e1: MSTORE
000001e2: PUSH0
000001e3: MSTORE
000001e4: PUSH1 0x40
000001e6: PUSH0
000001e7: KECCAK256
000001e8: SLOAD
000001e9: ADD
000001ea: PUSH1 0x06
000001ec: PUSH2 0x0100
000001ef: MLOAD
000001f0: PUSH1 0x20
000001f2: MSTORE
000001f3: PUSH0
000001f4: MSTORE
000001f5: PUSH1 0x40
000001f7: PUSH0
000001f8: KECCAK256
000001f9: SSTORE
000001fa: PUSH1 0x05
000001fc: PUSH1 0x64
000001fe: CALLDATALOAD
000001ff: PUSH1 0x20
00000201: MSTORE
00000202: PUSH0
00000203: MSTORE
00000204: PUSH1 0x40
00000206: PUSH0
00000207: KECCAK256
00000208: SLOAD
00000209: PUSH2 0x01c0
0000020c: MSTORE
0000020d: PUSH2 0x0180
00000210: MLOAD
00000211: PUSH2 0x01c0
00000214: MLOAD
00000215: LT
00000216: ISZERO
00000217: PUSH2 0x027f
0000021a: JUMPI
0000021b: PUSH1 0x12
0000021d: PUSH2 0x01e0
00000220: MSTORE
00000221: PUSH32 0x496e73756666696369656e742066756e64730000000000000000000000000000
00000242: PUSH2 0x0200
00000245: MSTORE
00000246: PUSH2 0x01e0
00000249: POP
0000024a: PUSH2 0x01e0
0000024d: MLOAD
0000024e: DUP1
0000024f: PUSH2 0x0200
00000252: ADD
00000253: PUSH1 0x1f
00000255: DUP3
00000256: PUSH0
00000257: SUB
00000258: AND
00000259: CALLDATASIZE
0000025a: DUP3
0000025b: CALLDATACOPY
0000025c: POP
0000025d: POP
0000025e: PUSH4 0x08c379a0
00000263: PUSH2 0x01a0
00000266: MSTORE
00000267: PUSH1 0x20
00000269: PUSH2 0x01c0
0000026c: MSTORE
0000026d: PUSH1 0x1f
0000026f: NOT
00000270: PUSH1 0x1f
00000272: PUSH2 0x01e0
00000275: MLOAD
00000276: ADD
00000277: AND
00000278: PUSH1 0x44
0000027a: ADD
0000027b: PUSH2 0x01bc
0000027e: REVERT
0000027f: JUMPDEST
00000280: PUSH2 0x0180
00000283: MLOAD
00000284: PUSH2 0x01c0
00000287: MLOAD
00000288: SUB
00000289: PUSH1 0x05
0000028b: PUSH1 0x64
0000028d: CALLDATALOAD
0000028e: PUSH1 0x20
00000290: MSTORE
00000291: PUSH0
00000292: MSTORE
00000293: PUSH1 0x40
00000295: PUSH0
00000296: KECCAK256
00000297: SSTORE
00000298: PUSH2 0x0160
0000029b: MLOAD
0000029c: PUSH1 0x08
0000029e: SLOAD
0000029f: ADD
000002a0: PUSH1 0x08
000002a2: SSTORE
000002a3: PUSH2 0x0180
000002a6: MLOAD
000002a7: PUSH1 0x07
000002a9: SLOAD
000002aa: SUB
000002ab: PUSH1 0x07
000002ad: SSTORE
000002ae: PUSH32 0xa23fc7838647604e5a44b56a4620368e5cf7ac218311d95d2d075a4eadd5e27b
000002cf: PUSH1 0x64
000002d1: CALLDATALOAD
000002d2: PUSH2 0x01e0
000002d5: MSTORE
000002d6: PUSH2 0x0120
000002d9: MLOAD
000002da: PUSH2 0x0200
000002dd: MSTORE
000002de: PUSH2 0x0140
000002e1: MLOAD
000002e2: PUSH2 0x0220
000002e5: MSTORE
000002e6: PUSH2 0x0160
000002e9: MLOAD
000002ea: PUSH2 0x0240
000002ed: MSTORE
000002ee: PUSH2 0x0100
000002f1: MLOAD
000002f2: PUSH2 0x0260
000002f5: MSTORE
000002f6: PUSH1 0xa0
000002f8: PUSH2 0x01e0
000002fb: LOG1
000002fc: STOP
000002fd: PUSH2 0x09f6
00000300: JUMP
00000301: JUMPDEST
00000302: PUSH4 0x34138814
00000307: DUP2
00000308: XOR
00000309: PUSH2 0x09f6
0000030c: JUMPI
0000030d: CALLVALUE
0000030e: PUSH2 0x0c9a
00000311: JUMPI
00000312: PUSH1 0x07
00000314: SLOAD
00000315: PUSH1 0x40
00000317: MSTORE
00000318: PUSH1 0x20
0000031a: PUSH1 0x40
0000031c: RETURN
0000031d: PUSH2 0x09f6
00000320: JUMP
00000321: JUMPDEST
00000322: PUSH4 0xc22416b0
00000327: DUP2
00000328: XOR
00000329: PUSH2 0x033d
0000032c: JUMPI
0000032d: CALLVALUE
0000032e: PUSH2 0x0c9a
00000331: JUMPI
00000332: PUSH1 0x08
00000334: SLOAD
00000335: PUSH1 0x40
00000337: MSTORE
00000338: PUSH1 0x20
0000033a: PUSH1 0x40
0000033c: RETURN
0000033d: JUMPDEST
0000033e: PUSH4 0xd07e9fa0
00000343: DUP2
00000344: XOR
00000345: PUSH2 0x09f6
00000348: JUMPI
00000349: PUSH1 0xc4
0000034b: CALLDATASIZE
0000034c: LT
0000034d: CALLVALUE
0000034e: OR
0000034f: PUSH2 0x0c9a
00000352: JUMPI
00000353: PUSH1 0x04
00000355: CALLDATALOAD
00000356: DUP1
00000357: PUSH1 0xa0
00000359: SHR
0000035a: PUSH2 0x0c9a
0000035d: JUMPI
0000035e: PUSH2 0x0560
00000361: MSTORE
00000362: PUSH1 0x44
00000364: CALLDATALOAD
00000365: DUP1
00000366: PUSH1 0xa0
00000368: SHR
00000369: PUSH2 0x0c9a
0000036c: JUMPI
0000036d: PUSH2 0x0580
00000370: MSTORE
00000371: PUSH1 0x64
00000373: CALLDATALOAD
00000374: PUSH1 0x04
00000376: ADD
00000377: PUSH2 0x0404
0000037a: DUP2
0000037b: CALLDATALOAD
0000037c: GT
0000037d: PUSH2 0x0c9a
00000380: JUMPI
00000381: PUSH1 0x20
00000383: DUP2
00000384: CALLDATALOAD
00000385: ADD
00000386: DUP1
00000387: DUP3
00000388: PUSH2 0x05a0
0000038b: CALLDATACOPY
0000038c: POP
0000038d: POP
0000038e: PUSH0
0000038f: SLOAD
00000390: PUSH1 0x02
00000392: EQ
00000393: PUSH2 0x0c9a
00000396: JUMPI
00000397: PUSH1 0x02
00000399: PUSH0
0000039a: SSTORE
0000039b: PUSH1 0x01
0000039d: SLOAD
0000039e: PUSH2 0x09e0
000003a1: MSTORE
000003a2: PUSH2 0x09e0
000003a5: MLOAD
000003a6: PUSH1 0x40
000003a8: MSTORE
000003a9: PUSH2 0x03b0
000003ac: PUSH2 0x09fa
000003af: JUMP
000003b0: JUMPDEST
000003b1: PUSH1 0x24
000003b3: CALLDATALOAD
000003b4: PUSH1 0x06
000003b6: PUSH2 0x0560
000003b9: MLOAD
000003ba: PUSH1 0x20
000003bc: MSTORE
000003bd: PUSH0
000003be: MSTORE
000003bf: PUSH1 0x40
000003c1: PUSH0
000003c2: KECCAK256
000003c3: SLOAD
000003c4: SUB
000003c5: PUSH1 0x06
000003c7: PUSH2 0x0560
000003ca: MLOAD
000003cb: PUSH1 0x20
000003cd: MSTORE
000003ce: PUSH0
000003cf: MSTORE
000003d0: PUSH1 0x40
000003d2: PUSH0
000003d3: KECCAK256
000003d4: SSTORE
000003d5: PUSH1 0x08
000003d7: SLOAD
000003d8: PUSH1 0x24
000003da: CALLDATALOAD
000003db: DUP1
000003dc: DUP3
000003dd: SUB
000003de: DUP3
000003df: DUP2
000003e0: GT
000003e1: PUSH2 0x0c9a
000003e4: JUMPI
000003e5: SWAP1
000003e6: POP
000003e7: SWAP1
000003e8: POP
000003e9: PUSH1 0x08
000003eb: SSTORE
000003ec: PUSH1 0x24
000003ee: CALLDATALOAD
000003ef: PUSH1 0x06
000003f1: PUSH2 0x0560
000003f4: MLOAD
000003f5: PUSH1 0x20
000003f7: MSTORE
000003f8: PUSH0
000003f9: MSTORE
000003fa: PUSH1 0x40
000003fc: PUSH0
000003fd: KECCAK256
000003fe: SLOAD
000003ff: LT
00000400: ISZERO
00000401: PUSH2 0x0469
00000404: JUMPI
00000405: PUSH1 0x19
00000407: PUSH2 0x0a00
0000040a: MSTORE
0000040b: PUSH32 0x4d697373696e6720636c61696d61626c65207265776172647300000000000000
0000042c: PUSH2 0x0a20
0000042f: MSTORE
00000430: PUSH2 0x0a00
00000433: POP
00000434: PUSH2 0x0a00
00000437: MLOAD
00000438: DUP1
00000439: PUSH2 0x0a20
0000043c: ADD
0000043d: PUSH1 0x1f
0000043f: DUP3
00000440: PUSH0
00000441: SUB
00000442: AND
00000443: CALLDATASIZE
00000444: DUP3
00000445: CALLDATACOPY
00000446: POP
00000447: POP
00000448: PUSH4 0x08c379a0
0000044d: PUSH2 0x09c0
00000450: MSTORE
00000451: PUSH1 0x20
00000453: PUSH2 0x09e0
00000456: MSTORE
00000457: PUSH1 0x1f
00000459: NOT
0000045a: PUSH1 0x1f
0000045c: PUSH2 0x0a00
0000045f: MLOAD
00000460: ADD
00000461: AND
00000462: PUSH1 0x44
00000464: ADD
00000465: PUSH2 0x09dc
00000468: REVERT
00000469: JUMPDEST
0000046a: PUSH1 0x02
0000046c: SLOAD
0000046d: PUSH2 0x0a00
00000470: MSTORE
00000471: PUSH2 0x0a00
00000474: MLOAD
00000475: PUSH1 0x40
00000477: MSTORE
00000478: PUSH1 0x24
0000047a: CALLDATALOAD
0000047b: PUSH1 0x60
0000047d: MSTORE
0000047e: PUSH2 0x0580
00000481: MLOAD
00000482: PUSH1 0x80
00000484: MSTORE
00000485: PUSH1 0x20
00000487: PUSH2 0x05a0
0000048a: MLOAD
0000048b: ADD
0000048c: DUP1
0000048d: PUSH1 0xa0
0000048f: DUP3
00000490: PUSH2 0x05a0
00000493: PUSH1 0x04
00000495: GAS
00000496: STATICCALL
00000497: POP
00000498: POP
00000499: PUSH1 0x84
0000049b: CALLDATALOAD
0000049c: PUSH2 0x04e0
0000049f: MSTORE
000004a0: PUSH2 0x04aa
000004a3: PUSH2 0x0a40
000004a6: PUSH2 0x0b00
000004a9: JUMP
000004aa: JUMPDEST
000004ab: PUSH2 0x0a40
000004ae: MLOAD
000004af: PUSH2 0x0a20
000004b2: MSTORE
000004b3: PUSH2 0x0a00
000004b6: MLOAD
000004b7: PUSH4 0xa9059cbb
000004bc: PUSH2 0x0a40
000004bf: MSTORE
000004c0: PUSH2 0x0560
000004c3: MLOAD
000004c4: PUSH2 0x0a60
000004c7: MSTORE
000004c8: PUSH2 0x0a20
000004cb: MLOAD
000004cc: PUSH2 0x0a80
000004cf: MSTORE
000004d0: DUP1
000004d1: EXTCODESIZE
000004d2: ISZERO
000004d3: PUSH2 0x0c9a
000004d6: JUMPI
000004d7: PUSH0
000004d8: PUSH2 0x0a40
000004db: PUSH1 0x44
000004dd: PUSH2 0x0a5c
000004e0: PUSH0
000004e1: DUP6
000004e2: GAS
000004e3: CALL
000004e4: PUSH2 0x04ef
000004e7: JUMPI
000004e8: RETURNDATASIZE
000004e9: PUSH0
000004ea: PUSH0
000004eb: RETURNDATACOPY
000004ec: RETURNDATASIZE
000004ed: PUSH0
000004ee: REVERT
000004ef: JUMPDEST
000004f0: POP
000004f1: PUSH32 0x884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a9424364
00000512: PUSH2 0x0560
00000515: MLOAD
00000516: PUSH2 0x0a40
00000519: MSTORE
0000051a: PUSH2 0x0a20
0000051d: MLOAD
0000051e: PUSH2 0x0a60
00000521: MSTORE
00000522: PUSH1 0x40
00000524: PUSH2 0x0a40
00000527: LOG1
00000528: PUSH1 0x03
0000052a: PUSH0
0000052b: SSTORE
0000052c: STOP
0000052d: PUSH2 0x09f6
00000530: JUMP
00000531: JUMPDEST
00000532: PUSH4 0xb214faa5
00000537: DUP2
00000538: XOR
00000539: PUSH2 0x09f6
0000053c: JUMPI
0000053d: PUSH1 0x23
0000053f: CALLDATASIZE
00000540: GT
00000541: ISZERO
00000542: PUSH2 0x0c9a
00000545: JUMPI
00000546: PUSH1 0x01
00000548: SLOAD
00000549: PUSH1 0x40
0000054b: MSTORE
0000054c: PUSH2 0x0553
0000054f: PUSH2 0x09fa
00000552: JUMP
00000553: JUMPDEST
00000554: CALLVALUE
00000555: PUSH1 0x05
00000557: PUSH1 0x04
00000559: CALLDATALOAD
0000055a: PUSH1 0x20
0000055c: MSTORE
0000055d: PUSH0
0000055e: MSTORE
0000055f: PUSH1 0x40
00000561: PUSH0
00000562: KECCAK256
00000563: SLOAD
00000564: ADD
00000565: PUSH1 0x05
00000567: PUSH1 0x04
00000569: CALLDATALOAD
0000056a: PUSH1 0x20
0000056c: MSTORE
0000056d: PUSH0
0000056e: MSTORE
0000056f: PUSH1 0x40
00000571: PUSH0
00000572: KECCAK256
00000573: SSTORE
00000574: CALLVALUE
00000575: PUSH1 0x07
00000577: SLOAD
00000578: ADD
00000579: PUSH1 0x07
0000057b: SSTORE
0000057c: PUSH32 0x98e783c3864bbf744a057ef605a2a61701c3b62b5ed68b3745b99094497daf1f
0000059d: PUSH1 0x04
0000059f: CALLDATALOAD
000005a0: PUSH2 0x0100
000005a3: MSTORE
000005a4: CALLVALUE
000005a5: PUSH2 0x0120
000005a8: MSTORE
000005a9: PUSH1 0x40
000005ab: PUSH2 0x0100
000005ae: LOG1
000005af: STOP
000005b0: PUSH2 0x09f6
000005b3: JUMP
000005b4: JUMPDEST
000005b5: PUSH4 0x1d046325
000005ba: DUP2
000005bb: XOR
000005bc: PUSH2 0x060b
000005bf: JUMPI
000005c0: PUSH1 0x01
000005c2: SLOAD
000005c3: PUSH2 0x0100
000005c6: MSTORE
000005c7: PUSH2 0x0100
000005ca: MLOAD
000005cb: PUSH1 0x40
000005cd: MSTORE
000005ce: PUSH2 0x05d5
000005d1: PUSH2 0x09fa
000005d4: JUMP
000005d5: JUMPDEST
000005d6: CALLVALUE
000005d7: PUSH1 0x04
000005d9: SLOAD
000005da: ADD
000005db: PUSH1 0x04
000005dd: SSTORE
000005de: PUSH32 0x8c4ebd98991151767ae91a68433ae48313c93341c3b289a0a6c368c6b2f4658c
000005ff: CALLVALUE
00000600: PUSH2 0x0120
00000603: MSTORE
00000604: PUSH1 0x20
00000606: PUSH2 0x0120
00000609: LOG1
0000060a: STOP
0000060b: JUMPDEST
0000060c: PUSH4 0xe06b4ae5
00000611: DUP2
00000612: XOR
00000613: PUSH2 0x09f6
00000616: JUMPI
00000617: PUSH1 0x24
00000619: CALLDATASIZE
0000061a: LT
0000061b: CALLVALUE
0000061c: OR
0000061d: PUSH2 0x0c9a
00000620: JUMPI
00000621: PUSH1 0x04
00000623: CALLDATALOAD
00000624: DUP1
00000625: PUSH1 0xa0
00000627: SHR
00000628: PUSH2 0x0c9a
0000062b: JUMPI
0000062c: PUSH1 0x40
0000062e: MSTORE
0000062f: CALLER
00000630: PUSH1 0x20
00000632: PUSH2 0x0cc6
00000635: PUSH0
00000636: CODECOPY
00000637: PUSH0
00000638: MLOAD
00000639: XOR
0000063a: PUSH2 0x0646
0000063d: JUMPI
0000063e: PUSH1 0x01
00000640: SLOAD
00000641: ISZERO
00000642: PUSH2 0x0648
00000645: JUMP
00000646: JUMPDEST
00000647: PUSH0
00000648: JUMPDEST
00000649: ISZERO
0000064a: PUSH2 0x0c9a
0000064d: JUMPI
0000064e: PUSH1 0x40
00000650: MLOAD
00000651: PUSH1 0x01
00000653: SSTORE
00000654: PUSH32 0xb604a10a7511a47397b8051c52dcf961ebe1e6ba5587e8d3ee904c92897d2353
00000675: PUSH1 0x40
00000677: MLOAD
00000678: PUSH1 0x60
0000067a: MSTORE
0000067b: PUSH1 0x20
0000067d: PUSH1 0x60
0000067f: LOG1
00000680: STOP
00000681: PUSH2 0x09f6
00000684: JUMP
00000685: JUMPDEST
00000686: PUSH4 0xd4bbab4f
0000068b: DUP2
0000068c: XOR
0000068d: PUSH2 0x09f6
00000690: JUMPI
00000691: PUSH1 0x44
00000693: CALLDATASIZE
00000694: LT
00000695: CALLVALUE
00000696: OR
00000697: PUSH2 0x0c9a
0000069a: JUMPI
0000069b: PUSH1 0x04
0000069d: CALLDATALOAD
0000069e: DUP1
0000069f: PUSH1 0xa0
000006a1: SHR
000006a2: PUSH2 0x0c9a
000006a5: JUMPI
000006a6: PUSH2 0x0100
000006a9: MSTORE
000006aa: PUSH1 0x24
000006ac: CALLDATALOAD
000006ad: GASPRICE
000006ae: DUP1
000006af: DUP3
000006b0: MUL
000006b1: DUP2
000006b2: ISZERO
000006b3: DUP4
000006b4: DUP4
000006b5: DUP4
000006b6: DIV
000006b7: EQ
000006b8: OR
000006b9: ISZERO
000006ba: PUSH2 0x0c9a
000006bd: JUMPI
000006be: SWAP1
000006bf: POP
000006c0: SWAP1
000006c1: POP
000006c2: PUSH2 0x0120
000006c5: MSTORE
000006c6: PUSH1 0x01
000006c8: SLOAD
000006c9: PUSH2 0x0140
000006cc: MSTORE
000006cd: PUSH2 0x0140
000006d0: MLOAD
000006d1: PUSH1 0x40
000006d3: MSTORE
000006d4: PUSH2 0x06db
000006d7: PUSH2 0x09fa
000006da: JUMP
000006db: JUMPDEST
000006dc: PUSH1 0x04
000006de: SLOAD
000006df: PUSH2 0x0160
000006e2: MSTORE
000006e3: PUSH2 0x0120
000006e6: MLOAD
000006e7: PUSH2 0x0160
000006ea: MLOAD
000006eb: LT
000006ec: PUSH2 0x0762
000006ef: JUMPI
000006f0: PUSH2 0x0120
000006f3: MLOAD
000006f4: PUSH2 0x0160
000006f7: MLOAD
000006f8: SUB
000006f9: PUSH1 0x04
000006fb: SSTORE
000006fc: PUSH2 0x0120
000006ff: MLOAD
00000700: PUSH1 0x06
00000702: PUSH2 0x0100
00000705: MLOAD
00000706: PUSH1 0x20
00000708: MSTORE
00000709: PUSH0
0000070a: MSTORE
0000070b: PUSH1 0x40
0000070d: PUSH0
0000070e: KECCAK256
0000070f: SLOAD
00000710: ADD
00000711: PUSH1 0x06
00000713: PUSH2 0x0100
00000716: MLOAD
00000717: PUSH1 0x20
00000719: MSTORE
0000071a: PUSH0
0000071b: MSTORE
0000071c: PUSH1 0x40
0000071e: PUSH0
0000071f: KECCAK256
00000720: SSTORE
00000721: PUSH2 0x0120
00000724: MLOAD
00000725: PUSH1 0x08
00000727: SLOAD
00000728: ADD
00000729: PUSH1 0x08
0000072b: SSTORE
0000072c: PUSH32 0x9ddad2e2fd4da765981ff0b76eb6198953fe25e23fec89bfd45b6ec3fdbac520
0000074d: PUSH2 0x0100
00000750: MLOAD
00000751: PUSH2 0x0180
00000754: MSTORE
00000755: PUSH1 0x24
00000757: CALLDATALOAD
00000758: PUSH2 0x01a0
0000075b: MSTORE
0000075c: PUSH1 0x40
0000075e: PUSH2 0x0180
00000761: LOG1
00000762: JUMPDEST
00000763: STOP
00000764: PUSH2 0x09f6
00000767: JUMP
00000768: JUMPDEST
00000769: PUSH4 0x06c9624d
0000076e: DUP2
0000076f: XOR
00000770: PUSH2 0x09f6
00000773: JUMPI
00000774: PUSH1 0xa4
00000776: CALLDATASIZE
00000777: LT
00000778: CALLVALUE
00000779: OR
0000077a: PUSH2 0x0c9a
0000077d: JUMPI
0000077e: PUSH1 0x24
00000780: CALLDATALOAD
00000781: DUP1
00000782: PUSH1 0xa0
00000784: SHR
00000785: PUSH2 0x0c9a
00000788: JUMPI
00000789: PUSH2 0x0560
0000078c: MSTORE
0000078d: PUSH1 0x44
0000078f: CALLDATALOAD
00000790: PUSH1 0x04
00000792: ADD
00000793: PUSH2 0x0404
00000796: DUP2
00000797: CALLDATALOAD
00000798: GT
00000799: PUSH2 0x0c9a
0000079c: JUMPI
0000079d: PUSH1 0x20
0000079f: DUP2
000007a0: CALLDATALOAD
000007a1: ADD
000007a2: DUP1
000007a3: DUP3
000007a4: PUSH2 0x0580
000007a7: CALLDATACOPY
000007a8: POP
000007a9: POP
000007aa: PUSH1 0x01
000007ac: SLOAD
000007ad: PUSH2 0x09c0
000007b0: MSTORE
000007b1: PUSH2 0x09c0
000007b4: MLOAD
000007b5: PUSH1 0x40
000007b7: MSTORE
000007b8: PUSH2 0x07bf
000007bb: PUSH2 0x09fa
000007be: JUMP
000007bf: JUMPDEST
000007c0: PUSH1 0x02
000007c2: SLOAD
000007c3: PUSH2 0x09e0
000007c6: MSTORE
000007c7: PUSH1 0x03
000007c9: SLOAD
000007ca: PUSH2 0x0a00
000007cd: MSTORE
000007ce: PUSH1 0x04
000007d0: CALLDATALOAD
000007d1: PUSH2 0x0a00
000007d4: MLOAD
000007d5: LT
000007d6: ISZERO
000007d7: PUSH2 0x083f
000007da: JUMPI
000007db: PUSH1 0x1a
000007dd: PUSH2 0x0a20
000007e0: MSTORE
000007e1: PUSH32 0x496e73756666696369656e7420636f6d6d756e69747920666565000000000000
00000802: PUSH2 0x0a40
00000805: MSTORE
00000806: PUSH2 0x0a20
00000809: POP
0000080a: PUSH2 0x0a20
0000080d: MLOAD
0000080e: DUP1
0000080f: PUSH2 0x0a40
00000812: ADD
00000813: PUSH1 0x1f
00000815: DUP3
00000816: PUSH0
00000817: SUB
00000818: AND
00000819: CALLDATASIZE
0000081a: DUP3
0000081b: CALLDATACOPY
0000081c: POP
0000081d: POP
0000081e: PUSH4 0x08c379a0
00000823: PUSH2 0x09e0
00000826: MSTORE
00000827: PUSH1 0x20
00000829: PUSH2 0x0a00
0000082c: MSTORE
0000082d: PUSH1 0x1f
0000082f: NOT
00000830: PUSH1 0x1f
00000832: PUSH2 0x0a20
00000835: MLOAD
00000836: ADD
00000837: AND
00000838: PUSH1 0x44
0000083a: ADD
0000083b: PUSH2 0x09fc
0000083e: REVERT
0000083f: JUMPDEST
00000840: PUSH1 0x04
00000842: CALLDATALOAD
00000843: PUSH2 0x0a00
00000846: MLOAD
00000847: SUB
00000848: PUSH1 0x03
0000084a: SSTORE
0000084b: PUSH2 0x09e0
0000084e: MLOAD
0000084f: PUSH1 0x40
00000851: MSTORE
00000852: PUSH1 0x04
00000854: CALLDATALOAD
00000855: PUSH1 0x60
00000857: MSTORE
00000858: PUSH2 0x0560
0000085b: MLOAD
0000085c: PUSH1 0x80
0000085e: MSTORE
0000085f: PUSH1 0x20
00000861: PUSH2 0x0580
00000864: MLOAD
00000865: ADD
00000866: DUP1
00000867: PUSH1 0xa0
00000869: DUP3
0000086a: PUSH2 0x0580
0000086d: PUSH1 0x04
0000086f: GAS
00000870: STATICCALL
00000871: POP
00000872: POP
00000873: PUSH1 0x64
00000875: CALLDATALOAD
00000876: PUSH2 0x04e0
00000879: MSTORE
0000087a: PUSH2 0x0884
0000087d: PUSH2 0x0a40
00000880: PUSH2 0x0b00
00000883: JUMP
00000884: JUMPDEST
00000885: PUSH2 0x0a40
00000888: MLOAD
00000889: PUSH2 0x0a20
0000088c: MSTORE
0000088d: PUSH2 0x09e0
00000890: MLOAD
00000891: PUSH4 0xa9059cbb
00000896: PUSH2 0x0a40
00000899: MSTORE
0000089a: PUSH2 0x09c0
0000089d: MLOAD
0000089e: PUSH2 0x0a60
000008a1: MSTORE
000008a2: PUSH2 0x0a20
000008a5: MLOAD
000008a6: PUSH2 0x0a80
000008a9: MSTORE
000008aa: DUP1
000008ab: EXTCODESIZE
000008ac: ISZERO
000008ad: PUSH2 0x0c9a
000008b0: JUMPI
000008b1: PUSH0
000008b2: PUSH2 0x0a40
000008b5: PUSH1 0x44
000008b7: PUSH2 0x0a5c
000008ba: PUSH0
000008bb: DUP6
000008bc: GAS
000008bd: CALL
000008be: PUSH2 0x08c9
000008c1: JUMPI
000008c2: RETURNDATASIZE
000008c3: PUSH0
000008c4: PUSH0
000008c5: RETURNDATACOPY
000008c6: RETURNDATASIZE
000008c7: PUSH0
000008c8: REVERT
000008c9: JUMPDEST
000008ca: POP
000008cb: PUSH32 0x5d8d2daa14836f36b707cfe44d20b8975bc8b7cf348f9410f142d71b413b48ae
000008ec: PUSH2 0x0a20
000008ef: MLOAD
000008f0: PUSH2 0x0a40
000008f3: MSTORE
000008f4: PUSH1 0x20
000008f6: PUSH2 0x0a40
000008f9: LOG1
000008fa: PUSH1 0x20
000008fc: PUSH2 0x0a20
000008ff: RETURN
00000900: PUSH2 0x09f6
00000903: JUMP
00000904: JUMPDEST
00000905: PUSH4 0x6974af69
0000090a: DUP2
0000090b: XOR
0000090c: PUSH2 0x09f6
0000090f: JUMPI
00000910: PUSH1 0x24
00000912: CALLDATASIZE
00000913: LT
00000914: CALLVALUE
00000915: OR
00000916: PUSH2 0x0c9a
00000919: JUMPI
0000091a: PUSH1 0x04
0000091c: CALLDATALOAD
0000091d: DUP1
0000091e: PUSH1 0xa0
00000920: SHR
00000921: PUSH2 0x0c9a
00000924: JUMPI
00000925: PUSH2 0x0100
00000928: MSTORE
00000929: PUSH1 0x01
0000092b: SLOAD
0000092c: PUSH1 0x40
0000092e: MSTORE
0000092f: PUSH2 0x0936
00000932: PUSH2 0x09fa
00000935: JUMP
00000936: JUMPDEST
00000937: PUSH2 0x0100
0000093a: MLOAD
0000093b: PUSH1 0x01
0000093d: SSTORE
0000093e: PUSH32 0x2c7256154578d945bd7d657937a8b845e5d4db9945c81fcc332b1d7e119589fa
0000095f: PUSH2 0x0100
00000962: MLOAD
00000963: PUSH2 0x0120
00000966: MSTORE
00000967: PUSH1 0x20
00000969: PUSH2 0x0120
0000096c: LOG1
0000096d: STOP
0000096e: PUSH2 0x09f6
00000971: JUMP
00000972: JUMPDEST
00000973: PUSH4 0xc600067a
00000978: DUP2
00000979: XOR
0000097a: PUSH2 0x09f6
0000097d: JUMPI
0000097e: PUSH1 0x44
00000980: CALLDATASIZE
00000981: LT
00000982: CALLVALUE
00000983: OR
00000984: PUSH2 0x0c9a
00000987: JUMPI
00000988: PUSH1 0x04
0000098a: CALLDATALOAD
0000098b: DUP1
0000098c: PUSH1 0xa0
0000098e: SHR
0000098f: PUSH2 0x0c9a
00000992: JUMPI
00000993: PUSH1 0x40
00000995: MSTORE
00000996: PUSH1 0x24
00000998: CALLDATALOAD
00000999: DUP1
0000099a: PUSH1 0xa0
0000099c: SHR
0000099d: PUSH2 0x0c9a
000009a0: JUMPI
000009a1: PUSH1 0x60
000009a3: MSTORE
000009a4: CALLER
000009a5: PUSH1 0x20
000009a7: PUSH2 0x0cc6
000009aa: PUSH0
000009ab: CODECOPY
000009ac: PUSH0
000009ad: MLOAD
000009ae: XOR
000009af: PUSH2 0x09bb
000009b2: JUMPI
000009b3: PUSH1 0x02
000009b5: SLOAD
000009b6: ISZERO
000009b7: PUSH2 0x09bd
000009ba: JUMP
000009bb: JUMPDEST
000009bc: PUSH0
000009bd: JUMPDEST
000009be: ISZERO
000009bf: PUSH2 0x0c9a
000009c2: JUMPI
000009c3: PUSH1 0x60
000009c5: MLOAD
000009c6: PUSH1 0x02
000009c8: SSTORE
000009c9: PUSH32 0xe155d0247980335109c27a0f9b6f21c5d53bf5af637fd2f824fd27ec705801e2
000009ea: PUSH1 0x60
000009ec: MLOAD
000009ed: PUSH1 0x80
000009ef: MSTORE
000009f0: PUSH1 0x20
000009f2: PUSH1 0x80
000009f4: LOG1
000009f5: STOP
000009f6: JUMPDEST
000009f7: PUSH0
000009f8: PUSH0
000009f9: REVERT
000009fa: JUMPDEST
000009fb: PUSH1 0x40
000009fd: MLOAD
000009fe: CALLER
000009ff: XOR
00000a00: ISZERO
00000a01: PUSH2 0x0a60
00000a04: JUMPI
00000a05: PUSH1 0x0b
00000a07: PUSH1 0x60
00000a09: MSTORE
00000a0a: PUSH32 0x4e6f7420436f6d70617373000000000000000000000000000000000000000000
00000a2b: PUSH1 0x80
00000a2d: MSTORE
00000a2e: PUSH1 0x60
00000a30: POP
00000a31: PUSH1 0x60
00000a33: MLOAD
00000a34: DUP1
00000a35: PUSH1 0x80
00000a37: ADD
00000a38: PUSH1 0x1f
00000a3a: DUP3
00000a3b: PUSH0
00000a3c: SUB
00000a3d: AND
00000a3e: CALLDATASIZE
00000a3f: DUP3
00000a40: CALLDATACOPY
00000a41: POP
00000a42: POP
00000a43: PUSH4 0x08c379a0
00000a48: PUSH1 0x20
00000a4a: MSTORE
00000a4b: PUSH1 0x20
00000a4d: PUSH1 0x40
00000a4f: MSTORE
00000a50: PUSH1 0x1f
00000a52: NOT
00000a53: PUSH1 0x1f
00000a55: PUSH1 0x60
00000a57: MLOAD
00000a58: ADD
00000a59: AND
00000a5a: PUSH1 0x44
00000a5c: ADD
00000a5d: PUSH1 0x3c
00000a5f: REVERT
00000a60: JUMPDEST
00000a61: PUSH1 0x40
00000a63: MLOAD
00000a64: PUSH4 0x844105e1
00000a69: PUSH1 0x60
00000a6b: MSTORE
00000a6c: PUSH1 0x20
00000a6e: PUSH1 0x60
00000a70: PUSH1 0x04
00000a72: PUSH1 0x7c
00000a74: DUP5
00000a75: GAS
00000a76: STATICCALL
00000a77: PUSH2 0x0a82
00000a7a: JUMPI
00000a7b: RETURNDATASIZE
00000a7c: PUSH0
00000a7d: PUSH0
00000a7e: RETURNDATACOPY
00000a7f: RETURNDATASIZE
00000a80: PUSH0
00000a81: REVERT
00000a82: JUMPDEST
00000a83: PUSH1 0x20
00000a85: RETURNDATASIZE
00000a86: LT
00000a87: PUSH2 0x0c9a
00000a8a: JUMPI
00000a8b: PUSH1 0x60
00000a8d: MLOAD
00000a8e: DUP1
00000a8f: PUSH1 0x01
00000a91: SHR
00000a92: PUSH2 0x0c9a
00000a95: JUMPI
00000a96: PUSH1 0xa0
00000a98: MSTORE
00000a99: PUSH1 0xa0
00000a9b: SWAP1
00000a9c: POP
00000a9d: MLOAD
00000a9e: ISZERO
00000a9f: PUSH2 0x0afe
00000aa2: JUMPI
00000aa3: PUSH1 0x12
00000aa5: PUSH1 0xc0
00000aa7: MSTORE
00000aa8: PUSH32 0x534c4320697320756e617661696c61626c650000000000000000000000000000
00000ac9: PUSH1 0xe0
00000acb: MSTORE
00000acc: PUSH1 0xc0
00000ace: POP
00000acf: PUSH1 0xc0
00000ad1: MLOAD
00000ad2: DUP1
00000ad3: PUSH1 0xe0
00000ad5: ADD
00000ad6: PUSH1 0x1f
00000ad8: DUP3
00000ad9: PUSH0
00000ada: SUB
00000adb: AND
00000adc: CALLDATASIZE
00000add: DUP3
00000ade: CALLDATACOPY
00000adf: POP
00000ae0: POP
00000ae1: PUSH4 0x08c379a0
00000ae6: PUSH1 0x80
00000ae8: MSTORE
00000ae9: PUSH1 0x20
00000aeb: PUSH1 0xa0
00000aed: MSTORE
00000aee: PUSH1 0x1f
00000af0: NOT
00000af1: PUSH1 0x1f
00000af3: PUSH1 0xc0
00000af5: MLOAD
00000af6: ADD
00000af7: AND
00000af8: PUSH1 0x44
00000afa: ADD
00000afb: PUSH1 0x9c
00000afd: REVERT
00000afe: JUMPDEST
00000aff: JUMP
00000b00: JUMPDEST
00000b01: PUSH2 0x04e0
00000b04: MLOAD
00000b05: PUSH2 0x0b6d
00000b08: JUMPI
00000b09: PUSH1 0x20
00000b0b: PUSH2 0x0500
00000b0e: MSTORE
00000b0f: PUSH32 0x4d696e20677261696e206d7573742062652067726561746572207468616e2030
00000b30: PUSH2 0x0520
00000b33: MSTORE
00000b34: PUSH2 0x0500
00000b37: POP
00000b38: PUSH2 0x0500
00000b3b: MLOAD
00000b3c: DUP1
00000b3d: PUSH2 0x0520
00000b40: ADD
00000b41: PUSH1 0x1f
00000b43: DUP3
00000b44: PUSH0
00000b45: SUB
00000b46: AND
00000b47: CALLDATASIZE
00000b48: DUP3
00000b49: CALLDATACOPY
00000b4a: POP
00000b4b: POP
00000b4c: PUSH4 0x08c379a0
00000b51: PUSH2 0x04c0
00000b54: MSTORE
00000b55: PUSH1 0x20
00000b57: PUSH2 0x04e0
00000b5a: MSTORE
00000b5b: PUSH1 0x1f
00000b5d: NOT
00000b5e: PUSH1 0x1f
00000b60: PUSH2 0x0500
00000b63: MLOAD
00000b64: ADD
00000b65: AND
00000b66: PUSH1 0x44
00000b68: ADD
00000b69: PUSH2 0x04dc
00000b6c: REVERT
00000b6d: JUMPDEST
00000b6e: PUSH1 0x40
00000b70: MLOAD
00000b71: PUSH4 0x70a08231
00000b76: PUSH2 0x0520
00000b79: MSTORE
00000b7a: ADDRESS
00000b7b: PUSH2 0x0540
00000b7e: MSTORE
00000b7f: PUSH1 0x20
00000b81: PUSH2 0x0520
00000b84: PUSH1 0x24
00000b86: PUSH2 0x053c
00000b89: DUP5
00000b8a: GAS
00000b8b: STATICCALL
00000b8c: PUSH2 0x0b97
00000b8f: JUMPI
00000b90: RETURNDATASIZE
00000b91: PUSH0
00000b92: PUSH0
00000b93: RETURNDATACOPY
00000b94: RETURNDATASIZE
00000b95: PUSH0
00000b96: REVERT
00000b97: JUMPDEST
00000b98: PUSH1 0x20
00000b9a: RETURNDATASIZE
00000b9b: LT
00000b9c: PUSH2 0x0c9a
00000b9f: JUMPI
00000ba0: PUSH2 0x0520
00000ba3: SWAP1
00000ba4: POP
00000ba5: MLOAD
00000ba6: PUSH2 0x0500
00000ba9: MSTORE
00000baa: PUSH1 0x80
00000bac: MLOAD
00000bad: PUSH1 0x60
00000baf: MLOAD
00000bb0: GAS
00000bb1: PUSH1 0xa0
00000bb3: POP
00000bb4: PUSH0
00000bb5: PUSH0
00000bb6: PUSH1 0xa0
00000bb8: MLOAD
00000bb9: PUSH1 0xc0
00000bbb: DUP6
00000bbc: DUP8
00000bbd: DUP7
00000bbe: CALL
00000bbf: SWAP1
00000bc0: POP
00000bc1: SWAP1
00000bc2: POP
00000bc3: SWAP1
00000bc4: POP
00000bc5: PUSH2 0x0bd0
00000bc8: JUMPI
00000bc9: RETURNDATASIZE
00000bca: PUSH0
00000bcb: PUSH0
00000bcc: RETURNDATACOPY
00000bcd: RETURNDATASIZE
00000bce: PUSH0
00000bcf: REVERT
00000bd0: JUMPDEST
00000bd1: PUSH1 0x40
00000bd3: MLOAD
00000bd4: PUSH4 0x70a08231
00000bd9: PUSH2 0x0520
00000bdc: MSTORE
00000bdd: ADDRESS
00000bde: PUSH2 0x0540
00000be1: MSTORE
00000be2: PUSH1 0x20
00000be4: PUSH2 0x0520
00000be7: PUSH1 0x24
00000be9: PUSH2 0x053c
00000bec: DUP5
00000bed: GAS
00000bee: STATICCALL
00000bef: PUSH2 0x0bfa
00000bf2: JUMPI
00000bf3: RETURNDATASIZE
00000bf4: PUSH0
00000bf5: PUSH0
00000bf6: RETURNDATACOPY
00000bf7: RETURNDATASIZE
00000bf8: PUSH0
00000bf9: REVERT
00000bfa: JUMPDEST
00000bfb: PUSH1 0x20
00000bfd: RETURNDATASIZE
00000bfe: LT
00000bff: PUSH2 0x0c9a
00000c02: JUMPI
00000c03: PUSH2 0x0520
00000c06: SWAP1
00000c07: POP
00000c08: MLOAD
00000c09: PUSH2 0x0500
00000c0c: MLOAD
00000c0d: DUP1
00000c0e: DUP3
00000c0f: SUB
00000c10: DUP3
00000c11: DUP2
00000c12: GT
00000c13: PUSH2 0x0c9a
00000c16: JUMPI
00000c17: SWAP1
00000c18: POP
00000c19: SWAP1
00000c1a: POP
00000c1b: PUSH2 0x0500
00000c1e: MSTORE
00000c1f: PUSH2 0x04e0
00000c22: MLOAD
00000c23: PUSH2 0x0500
00000c26: MLOAD
00000c27: LT
00000c28: ISZERO
00000c29: PUSH2 0x0c91
00000c2c: JUMPI
00000c2d: PUSH1 0x1b
00000c2f: PUSH2 0x0520
00000c32: MSTORE
00000c33: PUSH32 0x496e73756666696369656e7420677261696e2072656365697665640000000000
00000c54: PUSH2 0x0540
00000c57: MSTORE
00000c58: PUSH2 0x0520
00000c5b: POP
00000c5c: PUSH2 0x0520
00000c5f: MLOAD
00000c60: DUP1
00000c61: PUSH2 0x0540
00000c64: ADD
00000c65: PUSH1 0x1f
00000c67: DUP3
00000c68: PUSH0
00000c69: SUB
00000c6a: AND
00000c6b: CALLDATASIZE
00000c6c: DUP3
00000c6d: CALLDATACOPY
00000c6e: POP
00000c6f: POP
00000c70: PUSH4 0x08c379a0
00000c75: PUSH2 0x04e0
00000c78: MSTORE
00000c79: PUSH1 0x20
00000c7b: PUSH2 0x0500
00000c7e: MSTORE
00000c7f: PUSH1 0x1f
00000c81: NOT
00000c82: PUSH1 0x1f
00000c84: PUSH2 0x0520
00000c87: MLOAD
00000c88: ADD
00000c89: AND
00000c8a: PUSH1 0x44
00000c8c: ADD
00000c8d: PUSH2 0x04fc
00000c90: REVERT
00000c91: JUMPDEST
00000c92: PUSH2 0x0500
00000c95: MLOAD
00000c96: DUP2
00000c97: MSTORE
00000c98: POP
00000c99: JUMP
00000c9a: JUMPDEST
00000c9b: PUSH0
00000c9c: DUP1
00000c9d: REVERT
00000c9e: STOP
00000c9f: SWAP9
00000ca0: MULMOD
00000ca1: DIV
00000ca2: STOP
00000ca3: XOR
00000ca4: MULMOD
00000ca5: UNKNOWN(0xF6)
00000ca6: STOP
00000ca7: PC
00000ca8: MULMOD
00000ca9: UNKNOWN(0xF6)
00000caa: MULMOD
00000cab: PUSH19 0x09f6032105b409f6003803010531007809f609
00000cbf: UNKNOWN(0xF6)
00000cc0: SMOD
00000cc1: PUSH9 0x00c906850000000000
00000ccb: STOP
00000ccc: STOP
00000ccd: STOP
00000cce: STOP
00000ccf: STOP
00000cd0: STOP
00000cd1: STOP
00000cd2: UNKNOWN(0xDE)
00000cd3: UNKNOWN(0xEA)
00000cd4: JUMPDEST
00000cd5: MOD
00000cd6: SWAP3
00000cd7: ADDMOD
00000cd8: UNKNOWN(0xE0)
00000cd9: UNKNOWN(0xEE)
00000cda: CALLDATACOPY
00000cdb: UNKNOWN(0xB6)
00000cdc: ADDRESS
00000cdd: LOG3
00000cde: UNKNOWN(0xE7)
00000cdf: PUSH8

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x7b57da2fb99984b77212f53147d5c406dd7a2e0816add0fd9b9fa039c0895a31
call_targets: 0x1067082fd0b74bfddfd5794e5ac0f24ed941dcc9
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x7b57da2fb99984b77212f53147d5c406dd7a2e0816add0fd9b9fa039c0895a31",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x1067082fd0b74bfddfd5794e5ac0f24ed941dcc9"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x",
            "selector": "fallback",
            "calldata_variants": [
                "0x"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1251,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "constant_zero",
            "target_expression_category": "computed"
        },
        {
            "pc": 2237,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "constant_zero",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [],
    "untrusted_call_count": 2
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x7b57da2fb99984b77212f53147d5c406dd7a2e0816add0fd9b9fa039c0895a31
call_targets: 0x1067082fd0b74bfddfd5794e5ac0f24ed941dcc9
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x7b57da2fb99984b77212f53147d5c406dd7a2e0816add0fd9b9fa039c0895a31",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x1067082fd0b74bfddfd5794e5ac0f24ed941dcc9"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x",
            "selector": "fallback",
            "calldata_variants": [
                "0x"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3006,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "constant",
            "target_expression_category": "constant"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": []
}