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

Analysis Run

019b477e-c60c-73ad-9145-422cb495c2a9

complete
Chain ID
1
Address
0xcc7b0367471f1cff4f2cfed9f0319f8b4e09d9a1
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?

back to vulns open contract
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
25705 artifact.fetch complete 1 / 3 3 months ago
25706 tool.cast_disasm complete 1 / 3 3 months ago
69014 analysis.bundle complete 1 / 3 2 weeks ago
69015 capability.graph complete 1 / 3 2 weeks ago
69016 detector.run complete 1 / 3 2 weeks ago
69017 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)
3
EXT*/BALANCE
2
Total opcodes
1913
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x008a
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8b83209b
00000019: GT
0000001a: PUSH2 0x0059
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x8b83209b
00000024: EQ
00000025: PUSH2 0x0163
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x9852595c
0000002f: EQ
00000030: PUSH2 0x0190
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xce7c2ac2
0000003a: EQ
0000003b: PUSH2 0x01b0
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd79779b2
00000045: EQ
00000046: PUSH2 0x01d0
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe33b7de3
00000050: EQ
00000051: PUSH2 0x01f0
00000054: JUMPI
00000055: PUSH2 0x00d1
00000058: JUMP
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x19165587
00000060: EQ
00000061: PUSH2 0x00d6
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x3a98ef39
0000006b: EQ
0000006c: PUSH2 0x00f8
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x406072a9
00000076: EQ
00000077: PUSH2 0x0123
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x48b75044
00000081: EQ
00000082: PUSH2 0x0143
00000085: JUMPI
00000086: PUSH2 0x00d1
00000089: JUMP
0000008a: JUMPDEST
0000008b: CALLDATASIZE
0000008c: PUSH2 0x00d1
0000008f: JUMPI
00000090: PUSH32 0x6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be770
000000b1: PUSH2 0x00b8
000000b4: PUSH2 0x0205
000000b7: JUMP
000000b8: JUMPDEST
000000b9: CALLVALUE
000000ba: PUSH1 0x40
000000bc: MLOAD
000000bd: PUSH2 0x00c7
000000c0: SWAP3
000000c1: SWAP2
000000c2: SWAP1
000000c3: PUSH2 0x0921
000000c6: JUMP
000000c7: JUMPDEST
000000c8: PUSH1 0x40
000000ca: MLOAD
000000cb: DUP1
000000cc: SWAP2
000000cd: SUB
000000ce: SWAP1
000000cf: LOG1
000000d0: STOP
000000d1: JUMPDEST
000000d2: PUSH1 0x00
000000d4: DUP1
000000d5: REVERT
000000d6: JUMPDEST
000000d7: CALLVALUE
000000d8: DUP1
000000d9: ISZERO
000000da: PUSH2 0x00e2
000000dd: JUMPI
000000de: PUSH1 0x00
000000e0: DUP1
000000e1: REVERT
000000e2: JUMPDEST
000000e3: POP
000000e4: PUSH2 0x00f6
000000e7: PUSH2 0x00f1
000000ea: CALLDATASIZE
000000eb: PUSH1 0x04
000000ed: PUSH2 0x084a
000000f0: JUMP
000000f1: JUMPDEST
000000f2: PUSH2 0x0209
000000f5: JUMP
000000f6: JUMPDEST
000000f7: STOP
000000f8: JUMPDEST
000000f9: CALLVALUE
000000fa: DUP1
000000fb: ISZERO
000000fc: PUSH2 0x0104
000000ff: JUMPI
00000100: PUSH1 0x00
00000102: DUP1
00000103: REVERT
00000104: JUMPDEST
00000105: POP
00000106: PUSH2 0x010d
00000109: PUSH2 0x0320
0000010c: JUMP
0000010d: JUMPDEST
0000010e: PUSH1 0x40
00000110: MLOAD
00000111: PUSH2 0x011a
00000114: SWAP2
00000115: SWAP1
00000116: PUSH2 0x0b13
00000119: JUMP
0000011a: JUMPDEST
0000011b: PUSH1 0x40
0000011d: MLOAD
0000011e: DUP1
0000011f: SWAP2
00000120: SUB
00000121: SWAP1
00000122: RETURN
00000123: JUMPDEST
00000124: CALLVALUE
00000125: DUP1
00000126: ISZERO
00000127: PUSH2 0x012f
0000012a: JUMPI
0000012b: PUSH1 0x00
0000012d: DUP1
0000012e: REVERT
0000012f: JUMPDEST
00000130: POP
00000131: PUSH2 0x010d
00000134: PUSH2 0x013e
00000137: CALLDATASIZE
00000138: PUSH1 0x04
0000013a: PUSH2 0x0886
0000013d: JUMP
0000013e: JUMPDEST
0000013f: PUSH2 0x0326
00000142: JUMP
00000143: JUMPDEST
00000144: CALLVALUE
00000145: DUP1
00000146: ISZERO
00000147: PUSH2 0x014f
0000014a: JUMPI
0000014b: PUSH1 0x00
0000014d: DUP1
0000014e: REVERT
0000014f: JUMPDEST
00000150: POP
00000151: PUSH2 0x00f6
00000154: PUSH2 0x015e
00000157: CALLDATASIZE
00000158: PUSH1 0x04
0000015a: PUSH2 0x0886
0000015d: JUMP
0000015e: JUMPDEST
0000015f: PUSH2 0x0351
00000162: JUMP
00000163: JUMPDEST
00000164: CALLVALUE
00000165: DUP1
00000166: ISZERO
00000167: PUSH2 0x016f
0000016a: JUMPI
0000016b: PUSH1 0x00
0000016d: DUP1
0000016e: REVERT
0000016f: JUMPDEST
00000170: POP
00000171: PUSH2 0x0183
00000174: PUSH2 0x017e
00000177: CALLDATASIZE
00000178: PUSH1 0x04
0000017a: PUSH2 0x08be
0000017d: JUMP
0000017e: JUMPDEST
0000017f: PUSH2 0x0507
00000182: JUMP
00000183: JUMPDEST
00000184: PUSH1 0x40
00000186: MLOAD
00000187: PUSH2 0x011a
0000018a: SWAP2
0000018b: SWAP1
0000018c: PUSH2 0x090d
0000018f: JUMP
00000190: JUMPDEST
00000191: CALLVALUE
00000192: DUP1
00000193: ISZERO
00000194: PUSH2 0x019c
00000197: JUMPI
00000198: PUSH1 0x00
0000019a: DUP1
0000019b: REVERT
0000019c: JUMPDEST
0000019d: POP
0000019e: PUSH2 0x010d
000001a1: PUSH2 0x01ab
000001a4: CALLDATASIZE
000001a5: PUSH1 0x04
000001a7: PUSH2 0x084a
000001aa: JUMP
000001ab: JUMPDEST
000001ac: PUSH2 0x0545
000001af: JUMP
000001b0: JUMPDEST
000001b1: CALLVALUE
000001b2: DUP1
000001b3: ISZERO
000001b4: PUSH2 0x01bc
000001b7: JUMPI
000001b8: PUSH1 0x00
000001ba: DUP1
000001bb: REVERT
000001bc: JUMPDEST
000001bd: POP
000001be: PUSH2 0x010d
000001c1: PUSH2 0x01cb
000001c4: CALLDATASIZE
000001c5: PUSH1 0x04
000001c7: PUSH2 0x084a
000001ca: JUMP
000001cb: JUMPDEST
000001cc: PUSH2 0x0560
000001cf: JUMP
000001d0: JUMPDEST
000001d1: CALLVALUE
000001d2: DUP1
000001d3: ISZERO
000001d4: PUSH2 0x01dc
000001d7: JUMPI
000001d8: PUSH1 0x00
000001da: DUP1
000001db: REVERT
000001dc: JUMPDEST
000001dd: POP
000001de: PUSH2 0x010d
000001e1: PUSH2 0x01eb
000001e4: CALLDATASIZE
000001e5: PUSH1 0x04
000001e7: PUSH2 0x084a
000001ea: JUMP
000001eb: JUMPDEST
000001ec: PUSH2 0x057b
000001ef: JUMP
000001f0: JUMPDEST
000001f1: CALLVALUE
000001f2: DUP1
000001f3: ISZERO
000001f4: PUSH2 0x01fc
000001f7: JUMPI
000001f8: PUSH1 0x00
000001fa: DUP1
000001fb: REVERT
000001fc: JUMPDEST
000001fd: POP
000001fe: PUSH2 0x010d
00000201: PUSH2 0x0596
00000204: JUMP
00000205: JUMPDEST
00000206: CALLER
00000207: SWAP1
00000208: JUMP
00000209: JUMPDEST
0000020a: PUSH1 0x01
0000020c: PUSH1 0x01
0000020e: PUSH1 0xa0
00000210: SHL
00000211: SUB
00000212: DUP2
00000213: AND
00000214: PUSH1 0x00
00000216: SWAP1
00000217: DUP2
00000218: MSTORE
00000219: PUSH1 0x02
0000021b: PUSH1 0x20
0000021d: MSTORE
0000021e: PUSH1 0x40
00000220: SWAP1
00000221: KECCAK256
00000222: SLOAD
00000223: PUSH2 0x0247
00000226: JUMPI
00000227: PUSH1 0x40
00000229: MLOAD
0000022a: PUSH3 0x461bcd
0000022e: PUSH1 0xe5
00000230: SHL
00000231: DUP2
00000232: MSTORE
00000233: PUSH1 0x04
00000235: ADD
00000236: PUSH2 0x023e
00000239: SWAP1
0000023a: PUSH2 0x096d
0000023d: JUMP
0000023e: JUMPDEST
0000023f: PUSH1 0x40
00000241: MLOAD
00000242: DUP1
00000243: SWAP2
00000244: SUB
00000245: SWAP1
00000246: REVERT
00000247: JUMPDEST
00000248: PUSH1 0x00
0000024a: PUSH2 0x0251
0000024d: PUSH2 0x0596
00000250: JUMP
00000251: JUMPDEST
00000252: PUSH2 0x025b
00000255: SWAP1
00000256: SELFBALANCE
00000257: PUSH2 0x0b1c
0000025a: JUMP
0000025b: JUMPDEST
0000025c: SWAP1
0000025d: POP
0000025e: PUSH1 0x00
00000260: PUSH2 0x0272
00000263: DUP4
00000264: DUP4
00000265: PUSH2 0x026d
00000268: DUP7
00000269: PUSH2 0x0545
0000026c: JUMP
0000026d: JUMPDEST
0000026e: PUSH2 0x059c
00000271: JUMP
00000272: JUMPDEST
00000273: SWAP1
00000274: POP
00000275: DUP1
00000276: PUSH2 0x0291
00000279: JUMPI
0000027a: PUSH1 0x40
0000027c: MLOAD
0000027d: PUSH3 0x461bcd
00000281: PUSH1 0xe5
00000283: SHL
00000284: DUP2
00000285: MSTORE
00000286: PUSH1 0x04
00000288: ADD
00000289: PUSH2 0x023e
0000028c: SWAP1
0000028d: PUSH2 0x0a47
00000290: JUMP
00000291: JUMPDEST
00000292: PUSH1 0x01
00000294: PUSH1 0x01
00000296: PUSH1 0xa0
00000298: SHL
00000299: SUB
0000029a: DUP4
0000029b: AND
0000029c: PUSH1 0x00
0000029e: SWAP1
0000029f: DUP2
000002a0: MSTORE
000002a1: PUSH1 0x03
000002a3: PUSH1 0x20
000002a5: MSTORE
000002a6: PUSH1 0x40
000002a8: DUP2
000002a9: KECCAK256
000002aa: DUP1
000002ab: SLOAD
000002ac: DUP4
000002ad: SWAP3
000002ae: SWAP1
000002af: PUSH2 0x02b9
000002b2: SWAP1
000002b3: DUP5
000002b4: SWAP1
000002b5: PUSH2 0x0b1c
000002b8: JUMP
000002b9: JUMPDEST
000002ba: SWAP3
000002bb: POP
000002bc: POP
000002bd: DUP2
000002be: SWAP1
000002bf: SSTORE
000002c0: POP
000002c1: DUP1
000002c2: PUSH1 0x01
000002c4: PUSH1 0x00
000002c6: DUP3
000002c7: DUP3
000002c8: SLOAD
000002c9: PUSH2 0x02d2
000002cc: SWAP2
000002cd: SWAP1
000002ce: PUSH2 0x0b1c
000002d1: JUMP
000002d2: JUMPDEST
000002d3: SWAP1
000002d4: SWAP2
000002d5: SSTORE
000002d6: POP
000002d7: PUSH2 0x02e2
000002da: SWAP1
000002db: POP
000002dc: DUP4
000002dd: DUP3
000002de: PUSH2 0x05e1
000002e1: JUMP
000002e2: JUMPDEST
000002e3: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056
00000304: DUP4
00000305: DUP3
00000306: PUSH1 0x40
00000308: MLOAD
00000309: PUSH2 0x0313
0000030c: SWAP3
0000030d: SWAP2
0000030e: SWAP1
0000030f: PUSH2 0x0921
00000312: JUMP
00000313: JUMPDEST
00000314: PUSH1 0x40
00000316: MLOAD
00000317: DUP1
00000318: SWAP2
00000319: SUB
0000031a: SWAP1
0000031b: LOG1
0000031c: POP
0000031d: POP
0000031e: POP
0000031f: JUMP
00000320: JUMPDEST
00000321: PUSH1 0x00
00000323: SLOAD
00000324: SWAP1
00000325: JUMP
00000326: JUMPDEST
00000327: PUSH1 0x01
00000329: PUSH1 0x01
0000032b: PUSH1 0xa0
0000032d: SHL
0000032e: SUB
0000032f: SWAP2
00000330: DUP3
00000331: AND
00000332: PUSH1 0x00
00000334: SWAP1
00000335: DUP2
00000336: MSTORE
00000337: PUSH1 0x06
00000339: PUSH1 0x20
0000033b: SWAP1
0000033c: DUP2
0000033d: MSTORE
0000033e: PUSH1 0x40
00000340: DUP1
00000341: DUP4
00000342: KECCAK256
00000343: SWAP4
00000344: SWAP1
00000345: SWAP5
00000346: AND
00000347: DUP3
00000348: MSTORE
00000349: SWAP2
0000034a: SWAP1
0000034b: SWAP2
0000034c: MSTORE
0000034d: KECCAK256
0000034e: SLOAD
0000034f: SWAP1
00000350: JUMP
00000351: JUMPDEST
00000352: PUSH1 0x01
00000354: PUSH1 0x01
00000356: PUSH1 0xa0
00000358: SHL
00000359: SUB
0000035a: DUP2
0000035b: AND
0000035c: PUSH1 0x00
0000035e: SWAP1
0000035f: DUP2
00000360: MSTORE
00000361: PUSH1 0x02
00000363: PUSH1 0x20
00000365: MSTORE
00000366: PUSH1 0x40
00000368: SWAP1
00000369: KECCAK256
0000036a: SLOAD
0000036b: PUSH2 0x0386
0000036e: JUMPI
0000036f: PUSH1 0x40
00000371: MLOAD
00000372: PUSH3 0x461bcd
00000376: PUSH1 0xe5
00000378: SHL
00000379: DUP2
0000037a: MSTORE
0000037b: PUSH1 0x04
0000037d: ADD
0000037e: PUSH2 0x023e
00000381: SWAP1
00000382: PUSH2 0x096d
00000385: JUMP
00000386: JUMPDEST
00000387: PUSH1 0x00
00000389: PUSH2 0x0391
0000038c: DUP4
0000038d: PUSH2 0x057b
00000390: JUMP
00000391: JUMPDEST
00000392: PUSH1 0x40
00000394: MLOAD
00000395: PUSH4 0x70a08231
0000039a: PUSH1 0xe0
0000039c: SHL
0000039d: DUP2
0000039e: MSTORE
0000039f: PUSH1 0x01
000003a1: PUSH1 0x01
000003a3: PUSH1 0xa0
000003a5: SHL
000003a6: SUB
000003a7: DUP6
000003a8: AND
000003a9: SWAP1
000003aa: PUSH4 0x70a08231
000003af: SWAP1
000003b0: PUSH2 0x03bd
000003b3: SWAP1
000003b4: ADDRESS
000003b5: SWAP1
000003b6: PUSH1 0x04
000003b8: ADD
000003b9: PUSH2 0x090d
000003bc: JUMP
000003bd: JUMPDEST
000003be: PUSH1 0x20
000003c0: PUSH1 0x40
000003c2: MLOAD
000003c3: DUP1
000003c4: DUP4
000003c5: SUB
000003c6: DUP2
000003c7: DUP7
000003c8: DUP1
000003c9: EXTCODESIZE
000003ca: ISZERO
000003cb: DUP1
000003cc: ISZERO
000003cd: PUSH2 0x03d5
000003d0: JUMPI
000003d1: PUSH1 0x00
000003d3: DUP1
000003d4: REVERT
000003d5: JUMPDEST
000003d6: POP
000003d7: GAS
000003d8: STATICCALL
000003d9: ISZERO
000003da: DUP1
000003db: ISZERO
000003dc: PUSH2 0x03e9
000003df: JUMPI
000003e0: RETURNDATASIZE
000003e1: PUSH1 0x00
000003e3: DUP1
000003e4: RETURNDATACOPY
000003e5: RETURNDATASIZE
000003e6: PUSH1 0x00
000003e8: REVERT
000003e9: JUMPDEST
000003ea: POP
000003eb: POP
000003ec: POP
000003ed: POP
000003ee: PUSH1 0x40
000003f0: MLOAD
000003f1: RETURNDATASIZE
000003f2: PUSH1 0x1f
000003f4: NOT
000003f5: PUSH1 0x1f
000003f7: DUP3
000003f8: ADD
000003f9: AND
000003fa: DUP3
000003fb: ADD
000003fc: DUP1
000003fd: PUSH1 0x40
000003ff: MSTORE
00000400: POP
00000401: DUP2
00000402: ADD
00000403: SWAP1
00000404: PUSH2 0x040d
00000407: SWAP2
00000408: SWAP1
00000409: PUSH2 0x08d6
0000040c: JUMP
0000040d: JUMPDEST
0000040e: PUSH2 0x0417
00000411: SWAP2
00000412: SWAP1
00000413: PUSH2 0x0b1c
00000416: JUMP
00000417: JUMPDEST
00000418: SWAP1
00000419: POP
0000041a: PUSH1 0x00
0000041c: PUSH2 0x042a
0000041f: DUP4
00000420: DUP4
00000421: PUSH2 0x026d
00000424: DUP8
00000425: DUP8
00000426: PUSH2 0x0326
00000429: JUMP
0000042a: JUMPDEST
0000042b: SWAP1
0000042c: POP
0000042d: DUP1
0000042e: PUSH2 0x0449
00000431: JUMPI
00000432: PUSH1 0x40
00000434: MLOAD
00000435: PUSH3 0x461bcd
00000439: PUSH1 0xe5
0000043b: SHL
0000043c: DUP2
0000043d: MSTORE
0000043e: PUSH1 0x04
00000440: ADD
00000441: PUSH2 0x023e
00000444: SWAP1
00000445: PUSH2 0x0a47
00000448: JUMP
00000449: JUMPDEST
0000044a: PUSH1 0x01
0000044c: PUSH1 0x01
0000044e: PUSH1 0xa0
00000450: SHL
00000451: SUB
00000452: DUP1
00000453: DUP6
00000454: AND
00000455: PUSH1 0x00
00000457: SWAP1
00000458: DUP2
00000459: MSTORE
0000045a: PUSH1 0x06
0000045c: PUSH1 0x20
0000045e: SWAP1
0000045f: DUP2
00000460: MSTORE
00000461: PUSH1 0x40
00000463: DUP1
00000464: DUP4
00000465: KECCAK256
00000466: SWAP4
00000467: DUP8
00000468: AND
00000469: DUP4
0000046a: MSTORE
0000046b: SWAP3
0000046c: SWAP1
0000046d: MSTORE
0000046e: SWAP1
0000046f: DUP2
00000470: KECCAK256
00000471: DUP1
00000472: SLOAD
00000473: DUP4
00000474: SWAP3
00000475: SWAP1
00000476: PUSH2 0x0480
00000479: SWAP1
0000047a: DUP5
0000047b: SWAP1
0000047c: PUSH2 0x0b1c
0000047f: JUMP
00000480: JUMPDEST
00000481: SWAP1
00000482: SWAP2
00000483: SSTORE
00000484: POP
00000485: POP
00000486: PUSH1 0x01
00000488: PUSH1 0x01
0000048a: PUSH1 0xa0
0000048c: SHL
0000048d: SUB
0000048e: DUP5
0000048f: AND
00000490: PUSH1 0x00
00000492: SWAP1
00000493: DUP2
00000494: MSTORE
00000495: PUSH1 0x05
00000497: PUSH1 0x20
00000499: MSTORE
0000049a: PUSH1 0x40
0000049c: DUP2
0000049d: KECCAK256
0000049e: DUP1
0000049f: SLOAD
000004a0: DUP4
000004a1: SWAP3
000004a2: SWAP1
000004a3: PUSH2 0x04ad
000004a6: SWAP1
000004a7: DUP5
000004a8: SWAP1
000004a9: PUSH2 0x0b1c
000004ac: JUMP
000004ad: JUMPDEST
000004ae: SWAP1
000004af: SWAP2
000004b0: SSTORE
000004b1: POP
000004b2: PUSH2 0x04be
000004b5: SWAP1
000004b6: POP
000004b7: DUP5
000004b8: DUP5
000004b9: DUP4
000004ba: PUSH2 0x0682
000004bd: JUMP
000004be: JUMPDEST
000004bf: DUP4
000004c0: PUSH1 0x01
000004c2: PUSH1 0x01
000004c4: PUSH1 0xa0
000004c6: SHL
000004c7: SUB
000004c8: AND
000004c9: PUSH32 0x3be5b7a71e84ed12875d241991c70855ac5817d847039e17a9d895c1ceb0f18a
000004ea: DUP5
000004eb: DUP4
000004ec: PUSH1 0x40
000004ee: MLOAD
000004ef: PUSH2 0x04f9
000004f2: SWAP3
000004f3: SWAP2
000004f4: SWAP1
000004f5: PUSH2 0x0921
000004f8: JUMP
000004f9: JUMPDEST
000004fa: PUSH1 0x40
000004fc: MLOAD
000004fd: DUP1
000004fe: SWAP2
000004ff: SUB
00000500: SWAP1
00000501: LOG2
00000502: POP
00000503: POP
00000504: POP
00000505: POP
00000506: JUMP
00000507: JUMPDEST
00000508: PUSH1 0x00
0000050a: PUSH1 0x04
0000050c: DUP3
0000050d: DUP2
0000050e: SLOAD
0000050f: DUP2
00000510: LT
00000511: PUSH2 0x052a
00000514: JUMPI
00000515: PUSH4 0x4e487b71
0000051a: PUSH1 0xe0
0000051c: SHL
0000051d: PUSH1 0x00
0000051f: MSTORE
00000520: PUSH1 0x32
00000522: PUSH1 0x04
00000524: MSTORE
00000525: PUSH1 0x24
00000527: PUSH1 0x00
00000529: REVERT
0000052a: JUMPDEST
0000052b: PUSH1 0x00
0000052d: SWAP2
0000052e: DUP3
0000052f: MSTORE
00000530: PUSH1 0x20
00000532: SWAP1
00000533: SWAP2
00000534: KECCAK256
00000535: ADD
00000536: SLOAD
00000537: PUSH1 0x01
00000539: PUSH1 0x01
0000053b: PUSH1 0xa0
0000053d: SHL
0000053e: SUB
0000053f: AND
00000540: SWAP3
00000541: SWAP2
00000542: POP
00000543: POP
00000544: JUMP
00000545: JUMPDEST
00000546: PUSH1 0x01
00000548: PUSH1 0x01
0000054a: PUSH1 0xa0
0000054c: SHL
0000054d: SUB
0000054e: AND
0000054f: PUSH1 0x00
00000551: SWAP1
00000552: DUP2
00000553: MSTORE
00000554: PUSH1 0x03
00000556: PUSH1 0x20
00000558: MSTORE
00000559: PUSH1 0x40
0000055b: SWAP1
0000055c: KECCAK256
0000055d: SLOAD
0000055e: SWAP1
0000055f: JUMP
00000560: JUMPDEST
00000561: PUSH1 0x01
00000563: PUSH1 0x01
00000565: PUSH1 0xa0
00000567: SHL
00000568: SUB
00000569: AND
0000056a: PUSH1 0x00
0000056c: SWAP1
0000056d: DUP2
0000056e: MSTORE
0000056f: PUSH1 0x02
00000571: PUSH1 0x20
00000573: MSTORE
00000574: PUSH1 0x40
00000576: SWAP1
00000577: KECCAK256
00000578: SLOAD
00000579: SWAP1
0000057a: JUMP
0000057b: JUMPDEST
0000057c: PUSH1 0x01
0000057e: PUSH1 0x01
00000580: PUSH1 0xa0
00000582: SHL
00000583: SUB
00000584: AND
00000585: PUSH1 0x00
00000587: SWAP1
00000588: DUP2
00000589: MSTORE
0000058a: PUSH1 0x05
0000058c: PUSH1 0x20
0000058e: MSTORE
0000058f: PUSH1 0x40
00000591: SWAP1
00000592: KECCAK256
00000593: SLOAD
00000594: SWAP1
00000595: JUMP
00000596: JUMPDEST
00000597: PUSH1 0x01
00000599: SLOAD
0000059a: SWAP1
0000059b: JUMP
0000059c: JUMPDEST
0000059d: PUSH1 0x00
0000059f: DUP1
000005a0: SLOAD
000005a1: PUSH1 0x01
000005a3: PUSH1 0x01
000005a5: PUSH1 0xa0
000005a7: SHL
000005a8: SUB
000005a9: DUP6
000005aa: AND
000005ab: DUP3
000005ac: MSTORE
000005ad: PUSH1 0x02
000005af: PUSH1 0x20
000005b1: MSTORE
000005b2: PUSH1 0x40
000005b4: DUP3
000005b5: KECCAK256
000005b6: SLOAD
000005b7: DUP4
000005b8: SWAP2
000005b9: SWAP1
000005ba: PUSH2 0x05c3
000005bd: SWAP1
000005be: DUP7
000005bf: PUSH2 0x0b54
000005c2: JUMP
000005c3: JUMPDEST
000005c4: PUSH2 0x05cd
000005c7: SWAP2
000005c8: SWAP1
000005c9: PUSH2 0x0b34
000005cc: JUMP
000005cd: JUMPDEST
000005ce: PUSH2 0x05d7
000005d1: SWAP2
000005d2: SWAP1
000005d3: PUSH2 0x0b73
000005d6: JUMP
000005d7: JUMPDEST
000005d8: SWAP1
000005d9: POP
000005da: JUMPDEST
000005db: SWAP4
000005dc: SWAP3
000005dd: POP
000005de: POP
000005df: POP
000005e0: JUMP
000005e1: JUMPDEST
000005e2: DUP1
000005e3: SELFBALANCE
000005e4: LT
000005e5: ISZERO
000005e6: PUSH2 0x0601
000005e9: JUMPI
000005ea: PUSH1 0x40
000005ec: MLOAD
000005ed: PUSH3 0x461bcd
000005f1: PUSH1 0xe5
000005f3: SHL
000005f4: DUP2
000005f5: MSTORE
000005f6: PUSH1 0x04
000005f8: ADD
000005f9: PUSH2 0x023e
000005fc: SWAP1
000005fd: PUSH2 0x0a10
00000600: JUMP
00000601: JUMPDEST
00000602: PUSH1 0x00
00000604: DUP3
00000605: PUSH1 0x01
00000607: PUSH1 0x01
00000609: PUSH1 0xa0
0000060b: SHL
0000060c: SUB
0000060d: AND
0000060e: DUP3
0000060f: PUSH1 0x40
00000611: MLOAD
00000612: PUSH2 0x061a
00000615: SWAP1
00000616: PUSH2 0x090a
00000619: JUMP
0000061a: JUMPDEST
0000061b: PUSH1 0x00
0000061d: PUSH1 0x40
0000061f: MLOAD
00000620: DUP1
00000621: DUP4
00000622: SUB
00000623: DUP2
00000624: DUP6
00000625: DUP8
00000626: GAS
00000627: CALL
00000628: SWAP3
00000629: POP
0000062a: POP
0000062b: POP
0000062c: RETURNDATASIZE
0000062d: DUP1
0000062e: PUSH1 0x00
00000630: DUP2
00000631: EQ
00000632: PUSH2 0x0657
00000635: JUMPI
00000636: PUSH1 0x40
00000638: MLOAD
00000639: SWAP2
0000063a: POP
0000063b: PUSH1 0x1f
0000063d: NOT
0000063e: PUSH1 0x3f
00000640: RETURNDATASIZE
00000641: ADD
00000642: AND
00000643: DUP3
00000644: ADD
00000645: PUSH1 0x40
00000647: MSTORE
00000648: RETURNDATASIZE
00000649: DUP3
0000064a: MSTORE
0000064b: RETURNDATASIZE
0000064c: PUSH1 0x00
0000064e: PUSH1 0x20
00000650: DUP5
00000651: ADD
00000652: RETURNDATACOPY
00000653: PUSH2 0x065c
00000656: JUMP
00000657: JUMPDEST
00000658: PUSH1 0x60
0000065a: SWAP2
0000065b: POP
0000065c: JUMPDEST
0000065d: POP
0000065e: POP
0000065f: SWAP1
00000660: POP
00000661: DUP1
00000662: PUSH2 0x067d
00000665: JUMPI
00000666: PUSH1 0x40
00000668: MLOAD
00000669: PUSH3 0x461bcd
0000066d: PUSH1 0xe5
0000066f: SHL
00000670: DUP2
00000671: MSTORE
00000672: PUSH1 0x04
00000674: ADD
00000675: PUSH2 0x023e
00000678: SWAP1
00000679: PUSH2 0x09b3
0000067c: JUMP
0000067d: JUMPDEST
0000067e: POP
0000067f: POP
00000680: POP
00000681: JUMP
00000682: JUMPDEST
00000683: PUSH2 0x067d
00000686: DUP4
00000687: PUSH4 0xa9059cbb
0000068c: PUSH1 0xe0
0000068e: SHL
0000068f: DUP5
00000690: DUP5
00000691: PUSH1 0x40
00000693: MLOAD
00000694: PUSH1 0x24
00000696: ADD
00000697: PUSH2 0x06a1
0000069a: SWAP3
0000069b: SWAP2
0000069c: SWAP1
0000069d: PUSH2 0x0921
000006a0: JUMP
000006a1: JUMPDEST
000006a2: PUSH1 0x40
000006a4: DUP1
000006a5: MLOAD
000006a6: PUSH1 0x1f
000006a8: NOT
000006a9: DUP2
000006aa: DUP5
000006ab: SUB
000006ac: ADD
000006ad: DUP2
000006ae: MSTORE
000006af: SWAP2
000006b0: SWAP1
000006b1: MSTORE
000006b2: PUSH1 0x20
000006b4: DUP2
000006b5: ADD
000006b6: DUP1
000006b7: MLOAD
000006b8: PUSH1 0x01
000006ba: PUSH1 0x01
000006bc: PUSH1 0xe0
000006be: SHL
000006bf: SUB
000006c0: AND
000006c1: PUSH1 0x01
000006c3: PUSH1 0x01
000006c5: PUSH1 0xe0
000006c7: SHL
000006c8: SUB
000006c9: NOT
000006ca: SWAP1
000006cb: SWAP4
000006cc: AND
000006cd: SWAP3
000006ce: SWAP1
000006cf: SWAP3
000006d0: OR
000006d1: SWAP1
000006d2: SWAP2
000006d3: MSTORE
000006d4: PUSH1 0x00
000006d6: PUSH2 0x0728
000006d9: DUP3
000006da: PUSH1 0x40
000006dc: MLOAD
000006dd: DUP1
000006de: PUSH1 0x40
000006e0: ADD
000006e1: PUSH1 0x40
000006e3: MSTORE
000006e4: DUP1
000006e5: PUSH1 0x20
000006e7: DUP2
000006e8: MSTORE
000006e9: PUSH1 0x20
000006eb: ADD
000006ec: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
0000070d: DUP2
0000070e: MSTORE
0000070f: POP
00000710: DUP6
00000711: PUSH1 0x01
00000713: PUSH1 0x01
00000715: PUSH1 0xa0
00000717: SHL
00000718: SUB
00000719: AND
0000071a: PUSH2 0x0762
0000071d: SWAP1
0000071e: SWAP3
0000071f: SWAP2
00000720: SWAP1
00000721: PUSH4 0xffffffff
00000726: AND
00000727: JUMP
00000728: JUMPDEST
00000729: DUP1
0000072a: MLOAD
0000072b: SWAP1
0000072c: SWAP2
0000072d: POP
0000072e: ISZERO
0000072f: PUSH2 0x067d
00000732: JUMPI
00000733: DUP1
00000734: DUP1
00000735: PUSH1 0x20
00000737: ADD
00000738: SWAP1
00000739: MLOAD
0000073a: DUP2
0000073b: ADD
0000073c: SWAP1
0000073d: PUSH2 0x0746
00000740: SWAP2
00000741: SWAP1
00000742: PUSH2 0x0866
00000745: JUMP
00000746: JUMPDEST
00000747: PUSH2 0x067d
0000074a: JUMPI
0000074b: PUSH1 0x40
0000074d: MLOAD
0000074e: PUSH3 0x461bcd
00000752: PUSH1 0xe5
00000754: SHL
00000755: DUP2
00000756: MSTORE
00000757: PUSH1 0x04
00000759: ADD
0000075a: PUSH2 0x023e
0000075d: SWAP1
0000075e: PUSH2 0x0ac9
00000761: JUMP
00000762: JUMPDEST
00000763: PUSH1 0x60
00000765: PUSH2 0x05d7
00000768: DUP5
00000769: DUP5
0000076a: PUSH1 0x00
0000076c: DUP6
0000076d: DUP6
0000076e: PUSH2 0x0776
00000771: DUP6
00000772: PUSH2 0x080b
00000775: JUMP
00000776: JUMPDEST
00000777: PUSH2 0x0792
0000077a: JUMPI
0000077b: PUSH1 0x40
0000077d: MLOAD
0000077e: PUSH3 0x461bcd
00000782: PUSH1 0xe5
00000784: SHL
00000785: DUP2
00000786: MSTORE
00000787: PUSH1 0x04
00000789: ADD
0000078a: PUSH2 0x023e
0000078d: SWAP1
0000078e: PUSH2 0x0a92
00000791: JUMP
00000792: JUMPDEST
00000793: PUSH1 0x00
00000795: DUP1
00000796: DUP7
00000797: PUSH1 0x01
00000799: PUSH1 0x01
0000079b: PUSH1 0xa0
0000079d: SHL
0000079e: SUB
0000079f: AND
000007a0: DUP6
000007a1: DUP8
000007a2: PUSH1 0x40
000007a4: MLOAD
000007a5: PUSH2 0x07ae
000007a8: SWAP2
000007a9: SWAP1
000007aa: PUSH2 0x08ee
000007ad: JUMP
000007ae: JUMPDEST
000007af: PUSH1 0x00
000007b1: PUSH1 0x40
000007b3: MLOAD
000007b4: DUP1
000007b5: DUP4
000007b6: SUB
000007b7: DUP2
000007b8: DUP6
000007b9: DUP8
000007ba: GAS
000007bb: CALL
000007bc: SWAP3
000007bd: POP
000007be: POP
000007bf: POP
000007c0: RETURNDATASIZE
000007c1: DUP1
000007c2: PUSH1 0x00
000007c4: DUP2
000007c5: EQ
000007c6: PUSH2 0x07eb
000007c9: JUMPI
000007ca: PUSH1 0x40
000007cc: MLOAD
000007cd: SWAP2
000007ce: POP
000007cf: PUSH1 0x1f
000007d1: NOT
000007d2: PUSH1 0x3f
000007d4: RETURNDATASIZE
000007d5: ADD
000007d6: AND
000007d7: DUP3
000007d8: ADD
000007d9: PUSH1 0x40
000007db: MSTORE
000007dc: RETURNDATASIZE
000007dd: DUP3
000007de: MSTORE
000007df: RETURNDATASIZE
000007e0: PUSH1 0x00
000007e2: PUSH1 0x20
000007e4: DUP5
000007e5: ADD
000007e6: RETURNDATACOPY
000007e7: PUSH2 0x07f0
000007ea: JUMP
000007eb: JUMPDEST
000007ec: PUSH1 0x60
000007ee: SWAP2
000007ef: POP
000007f0: JUMPDEST
000007f1: POP
000007f2: SWAP2
000007f3: POP
000007f4: SWAP2
000007f5: POP
000007f6: PUSH2 0x0800
000007f9: DUP3
000007fa: DUP3
000007fb: DUP7
000007fc: PUSH2 0x0811
000007ff: JUMP
00000800: JUMPDEST
00000801: SWAP8
00000802: SWAP7
00000803: POP
00000804: POP
00000805: POP
00000806: POP
00000807: POP
00000808: POP
00000809: POP
0000080a: JUMP
0000080b: JUMPDEST
0000080c: EXTCODESIZE
0000080d: ISZERO
0000080e: ISZERO
0000080f: SWAP1
00000810: JUMP
00000811: JUMPDEST
00000812: PUSH1 0x60
00000814: DUP4
00000815: ISZERO
00000816: PUSH2 0x0820
00000819: JUMPI
0000081a: POP
0000081b: DUP2
0000081c: PUSH2 0x05da
0000081f: JUMP
00000820: JUMPDEST
00000821: DUP3
00000822: MLOAD
00000823: ISZERO
00000824: PUSH2 0x0830
00000827: JUMPI
00000828: DUP3
00000829: MLOAD
0000082a: DUP1
0000082b: DUP5
0000082c: PUSH1 0x20
0000082e: ADD
0000082f: REVERT
00000830: JUMPDEST
00000831: DUP2
00000832: PUSH1 0x40
00000834: MLOAD
00000835: PUSH3 0x461bcd
00000839: PUSH1 0xe5
0000083b: SHL
0000083c: DUP2
0000083d: MSTORE
0000083e: PUSH1 0x04
00000840: ADD
00000841: PUSH2 0x023e
00000844: SWAP2
00000845: SWAP1
00000846: PUSH2 0x093a
00000849: JUMP
0000084a: JUMPDEST
0000084b: PUSH1 0x00
0000084d: PUSH1 0x20
0000084f: DUP3
00000850: DUP5
00000851: SUB
00000852: SLT
00000853: ISZERO
00000854: PUSH2 0x085b
00000857: JUMPI
00000858: DUP1
00000859: DUP2
0000085a: REVERT
0000085b: JUMPDEST
0000085c: DUP2
0000085d: CALLDATALOAD
0000085e: PUSH2 0x05da
00000861: DUP2
00000862: PUSH2 0x0bd0
00000865: JUMP
00000866: JUMPDEST
00000867: PUSH1 0x00
00000869: PUSH1 0x20
0000086b: DUP3
0000086c: DUP5
0000086d: SUB
0000086e: SLT
0000086f: ISZERO
00000870: PUSH2 0x0877
00000873: JUMPI
00000874: DUP1
00000875: DUP2
00000876: REVERT
00000877: JUMPDEST
00000878: DUP2
00000879: MLOAD
0000087a: DUP1
0000087b: ISZERO
0000087c: ISZERO
0000087d: DUP2
0000087e: EQ
0000087f: PUSH2 0x05da
00000882: JUMPI
00000883: DUP2
00000884: DUP3
00000885: REVERT
00000886: JUMPDEST
00000887: PUSH1 0x00
00000889: DUP1
0000088a: PUSH1 0x40
0000088c: DUP4
0000088d: DUP6
0000088e: SUB
0000088f: SLT
00000890: ISZERO
00000891: PUSH2 0x0898
00000894: JUMPI
00000895: DUP1
00000896: DUP2
00000897: REVERT
00000898: JUMPDEST
00000899: DUP3
0000089a: CALLDATALOAD
0000089b: PUSH2 0x08a3
0000089e: DUP2
0000089f: PUSH2 0x0bd0
000008a2: JUMP
000008a3: JUMPDEST
000008a4: SWAP2
000008a5: POP
000008a6: PUSH1 0x20
000008a8: DUP4
000008a9: ADD
000008aa: CALLDATALOAD
000008ab: PUSH2 0x08b3
000008ae: DUP2
000008af: PUSH2 0x0bd0
000008b2: JUMP
000008b3: JUMPDEST
000008b4: DUP1
000008b5: SWAP2
000008b6: POP
000008b7: POP
000008b8: SWAP3
000008b9: POP
000008ba: SWAP3
000008bb: SWAP1
000008bc: POP
000008bd: JUMP
000008be: JUMPDEST
000008bf: PUSH1 0x00
000008c1: PUSH1 0x20
000008c3: DUP3
000008c4: DUP5
000008c5: SUB
000008c6: SLT
000008c7: ISZERO
000008c8: PUSH2 0x08cf
000008cb: JUMPI
000008cc: DUP1
000008cd: DUP2
000008ce: REVERT
000008cf: JUMPDEST
000008d0: POP
000008d1: CALLDATALOAD
000008d2: SWAP2
000008d3: SWAP1
000008d4: POP
000008d5: JUMP
000008d6: JUMPDEST
000008d7: PUSH1 0x00
000008d9: PUSH1 0x20
000008db: DUP3
000008dc: DUP5
000008dd: SUB
000008de: SLT
000008df: ISZERO
000008e0: PUSH2 0x08e7
000008e3: JUMPI
000008e4: DUP1
000008e5: DUP2
000008e6: REVERT
000008e7: JUMPDEST
000008e8: POP
000008e9: MLOAD
000008ea: SWAP2
000008eb: SWAP1
000008ec: POP
000008ed: JUMP
000008ee: JUMPDEST
000008ef: PUSH1 0x00
000008f1: DUP3
000008f2: MLOAD
000008f3: PUSH2 0x0900
000008f6: DUP2
000008f7: DUP5
000008f8: PUSH1 0x20
000008fa: DUP8
000008fb: ADD
000008fc: PUSH2 0x0b8a
000008ff: JUMP
00000900: JUMPDEST
00000901: SWAP2
00000902: SWAP1
00000903: SWAP2
00000904: ADD
00000905: SWAP3
00000906: SWAP2
00000907: POP
00000908: POP
00000909: JUMP
0000090a: JUMPDEST
0000090b: SWAP1
0000090c: JUMP
0000090d: JUMPDEST
0000090e: PUSH1 0x01
00000910: PUSH1 0x01
00000912: PUSH1 0xa0
00000914: SHL
00000915: SUB
00000916: SWAP2
00000917: SWAP1
00000918: SWAP2
00000919: AND
0000091a: DUP2
0000091b: MSTORE
0000091c: PUSH1 0x20
0000091e: ADD
0000091f: SWAP1
00000920: JUMP
00000921: JUMPDEST
00000922: PUSH1 0x01
00000924: PUSH1 0x01
00000926: PUSH1 0xa0
00000928: SHL
00000929: SUB
0000092a: SWAP3
0000092b: SWAP1
0000092c: SWAP3
0000092d: AND
0000092e: DUP3
0000092f: MSTORE
00000930: PUSH1 0x20
00000932: DUP3
00000933: ADD
00000934: MSTORE
00000935: PUSH1 0x40
00000937: ADD
00000938: SWAP1
00000939: JUMP
0000093a: JUMPDEST
0000093b: PUSH1 0x00
0000093d: PUSH1 0x20
0000093f: DUP3
00000940: MSTORE
00000941: DUP3
00000942: MLOAD
00000943: DUP1
00000944: PUSH1 0x20
00000946: DUP5
00000947: ADD
00000948: MSTORE
00000949: PUSH2 0x0959
0000094c: DUP2
0000094d: PUSH1 0x40
0000094f: DUP6
00000950: ADD
00000951: PUSH1 0x20
00000953: DUP8
00000954: ADD
00000955: PUSH2 0x0b8a
00000958: JUMP
00000959: JUMPDEST
0000095a: PUSH1 0x1f
0000095c: ADD
0000095d: PUSH1 0x1f
0000095f: NOT
00000960: AND
00000961: SWAP2
00000962: SWAP1
00000963: SWAP2
00000964: ADD
00000965: PUSH1 0x40
00000967: ADD
00000968: SWAP3
00000969: SWAP2
0000096a: POP
0000096b: POP
0000096c: JUMP
0000096d: JUMPDEST
0000096e: PUSH1 0x20
00000970: DUP1
00000971: DUP3
00000972: MSTORE
00000973: PUSH1 0x26
00000975: SWAP1
00000976: DUP3
00000977: ADD
00000978: MSTORE
00000979: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20
0000099a: PUSH1 0x40
0000099c: DUP3
0000099d: ADD
0000099e: MSTORE
0000099f: PUSH6 0x736861726573
000009a6: PUSH1 0xd0
000009a8: SHL
000009a9: PUSH1 0x60
000009ab: DUP3
000009ac: ADD
000009ad: MSTORE
000009ae: PUSH1 0x80
000009b0: ADD
000009b1: SWAP1
000009b2: JUMP
000009b3: JUMPDEST
000009b4: PUSH1 0x20
000009b6: DUP1
000009b7: DUP3
000009b8: MSTORE
000009b9: PUSH1 0x3a
000009bb: SWAP1
000009bc: DUP3
000009bd: ADD
000009be: MSTORE
000009bf: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
000009e0: PUSH1 0x40
000009e2: DUP3
000009e3: ADD
000009e4: MSTORE
000009e5: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
00000a06: PUSH1 0x60
00000a08: DUP3
00000a09: ADD
00000a0a: MSTORE
00000a0b: PUSH1 0x80
00000a0d: ADD
00000a0e: SWAP1
00000a0f: JUMP
00000a10: JUMPDEST
00000a11: PUSH1 0x20
00000a13: DUP1
00000a14: DUP3
00000a15: MSTORE
00000a16: PUSH1 0x1d
00000a18: SWAP1
00000a19: DUP3
00000a1a: ADD
00000a1b: MSTORE
00000a1c: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
00000a3d: PUSH1 0x40
00000a3f: DUP3
00000a40: ADD
00000a41: MSTORE
00000a42: PUSH1 0x60
00000a44: ADD
00000a45: SWAP1
00000a46: JUMP
00000a47: JUMPDEST
00000a48: PUSH1 0x20
00000a4a: DUP1
00000a4b: DUP3
00000a4c: MSTORE
00000a4d: PUSH1 0x2b
00000a4f: SWAP1
00000a50: DUP3
00000a51: ADD
00000a52: MSTORE
00000a53: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420
00000a74: PUSH1 0x40
00000a76: DUP3
00000a77: ADD
00000a78: MSTORE
00000a79: PUSH11 0x191d59481c185e5b595b9d
00000a85: PUSH1 0xaa
00000a87: SHL
00000a88: PUSH1 0x60
00000a8a: DUP3
00000a8b: ADD
00000a8c: MSTORE
00000a8d: PUSH1 0x80
00000a8f: ADD
00000a90: SWAP1
00000a91: JUMP
00000a92: JUMPDEST
00000a93: PUSH1 0x20
00000a95: DUP1
00000a96: DUP3
00000a97: MSTORE
00000a98: PUSH1 0x1d
00000a9a: SWAP1
00000a9b: DUP3
00000a9c: ADD
00000a9d: MSTORE
00000a9e: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00000abf: PUSH1 0x40
00000ac1: DUP3
00000ac2: ADD
00000ac3: MSTORE
00000ac4: PUSH1 0x60
00000ac6: ADD
00000ac7: SWAP1
00000ac8: JUMP
00000ac9: JUMPDEST
00000aca: PUSH1 0x20
00000acc: DUP1
00000acd: DUP3
00000ace: MSTORE
00000acf: PUSH1 0x2a
00000ad1: SWAP1
00000ad2: DUP3
00000ad3: ADD
00000ad4: MSTORE
00000ad5: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00000af6: PUSH1 0x40
00000af8: DUP3
00000af9: ADD
00000afa: MSTORE
00000afb: PUSH10 0x1bdd081cdd58d8d95959
00000b06: PUSH1 0xb2
00000b08: SHL
00000b09: PUSH1 0x60
00000b0b: DUP3
00000b0c: ADD
00000b0d: MSTORE
00000b0e: PUSH1 0x80
00000b10: ADD
00000b11: SWAP1
00000b12: JUMP
00000b13: JUMPDEST
00000b14: SWAP1
00000b15: DUP2
00000b16: MSTORE
00000b17: PUSH1 0x20
00000b19: ADD
00000b1a: SWAP1
00000b1b: JUMP
00000b1c: JUMPDEST
00000b1d: PUSH1 0x00
00000b1f: DUP3
00000b20: NOT
00000b21: DUP3
00000b22: GT
00000b23: ISZERO
00000b24: PUSH2 0x0b2f
00000b27: JUMPI
00000b28: PUSH2 0x0b2f
00000b2b: PUSH2 0x0bba
00000b2e: JUMP
00000b2f: JUMPDEST
00000b30: POP
00000b31: ADD
00000b32: SWAP1
00000b33: JUMP
00000b34: JUMPDEST
00000b35: PUSH1 0x00
00000b37: DUP3
00000b38: PUSH2 0x0b4f
00000b3b: JUMPI
00000b3c: PUSH4 0x4e487b71
00000b41: PUSH1 0xe0
00000b43: SHL
00000b44: DUP2
00000b45: MSTORE
00000b46: PUSH1 0x12
00000b48: PUSH1 0x04
00000b4a: MSTORE
00000b4b: PUSH1 0x24
00000b4d: DUP2
00000b4e: REVERT
00000b4f: JUMPDEST
00000b50: POP
00000b51: DIV
00000b52: SWAP1
00000b53: JUMP
00000b54: JUMPDEST
00000b55: PUSH1 0x00
00000b57: DUP2
00000b58: PUSH1 0x00
00000b5a: NOT
00000b5b: DIV
00000b5c: DUP4
00000b5d: GT
00000b5e: DUP3
00000b5f: ISZERO
00000b60: ISZERO
00000b61: AND
00000b62: ISZERO
00000b63: PUSH2 0x0b6e
00000b66: JUMPI
00000b67: PUSH2 0x0b6e
00000b6a: PUSH2 0x0bba
00000b6d: JUMP
00000b6e: JUMPDEST
00000b6f: POP
00000b70: MUL
00000b71: SWAP1
00000b72: JUMP
00000b73: JUMPDEST
00000b74: PUSH1 0x00
00000b76: DUP3
00000b77: DUP3
00000b78: LT
00000b79: ISZERO
00000b7a: PUSH2 0x0b85
00000b7d: JUMPI
00000b7e: PUSH2 0x0b85
00000b81: PUSH2 0x0bba
00000b84: JUMP
00000b85: JUMPDEST
00000b86: POP
00000b87: SUB
00000b88: SWAP1
00000b89: JUMP
00000b8a: JUMPDEST
00000b8b: PUSH1 0x00
00000b8d: JUMPDEST
00000b8e: DUP4
00000b8f: DUP2
00000b90: LT
00000b91: ISZERO
00000b92: PUSH2 0x0ba5
00000b95: JUMPI
00000b96: DUP2
00000b97: DUP2
00000b98: ADD
00000b99: MLOAD
00000b9a: DUP4
00000b9b: DUP3
00000b9c: ADD
00000b9d: MSTORE
00000b9e: PUSH1 0x20
00000ba0: ADD
00000ba1: PUSH2 0x0b8d
00000ba4: JUMP
00000ba5: JUMPDEST
00000ba6: DUP4
00000ba7: DUP2
00000ba8: GT
00000ba9: ISZERO
00000baa: PUSH2 0x0bb4
00000bad: JUMPI
00000bae: PUSH1 0x00
00000bb0: DUP5
00000bb1: DUP5
00000bb2: ADD
00000bb3: MSTORE
00000bb4: JUMPDEST
00000bb5: POP
00000bb6: POP
00000bb7: POP
00000bb8: POP
00000bb9: JUMP
00000bba: JUMPDEST
00000bbb: PUSH4 0x4e487b71
00000bc0: PUSH1 0xe0
00000bc2: SHL
00000bc3: PUSH1 0x00
00000bc5: MSTORE
00000bc6: PUSH1 0x11
00000bc8: PUSH1 0x04
00000bca: MSTORE
00000bcb: PUSH1 0x24
00000bcd: PUSH1 0x00
00000bcf: REVERT
00000bd0: JUMPDEST
00000bd1: PUSH1 0x01
00000bd3: PUSH1 0x01
00000bd5: PUSH1 0xa0
00000bd7: SHL
00000bd8: SUB
00000bd9: DUP2
00000bda: AND
00000bdb: DUP2
00000bdc: EQ
00000bdd: PUSH2 0x0be5
00000be0: JUMPI
00000be1: PUSH1 0x00
00000be3: DUP1
00000be4: REVERT
00000be5: JUMPDEST
00000be6: POP
00000be7: JUMP
00000be8: INVALID
00000be9: LOG2
00000bea: PUSH5 0x6970667358
00000bf0: UNKNOWN(0x22)
00000bf1: SLT
00000bf2: KECCAK256
00000bf3: UNKNOWN(0xED)
00000bf4: NUMBER
00000bf5: UNKNOWN(0xBB)
00000bf6: UNKNOWN(0xFB)
00000bf7: UNKNOWN(0x2C)
00000bf8: DUP8
00000bf9: GASPRICE
00000bfa: UNKNOWN(0xEF)
00000bfb: UNKNOWN(0x21)
00000bfc: PUSH12 0x8e29983ad0df38e3dfb4d4e4
00000c09: PUSH16 0xf8af2a3ba45c64d56a64736f6c634300
00000c1a: ADDMOD
00000c1b: STOP
00000c1c: STOP
00000c1d: CALLER

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: 0xab235b8d946f0820e7ef91247dd0d7550a02967318e40cdc72e761c9d623b102
call_targets: 0xcc7b0367471f1cff4f2cfed9f0319f8b4e09d9a1
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xab235b8d946f0820e7ef91247dd0d7550a02967318e40cdc72e761c9d623b102",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xcc7b0367471f1cff4f2cfed9f0319f8b4e09d9a1"
    ],
    "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": "0x8b83209b",
            "selector": "0x8b83209b",
            "calldata_variants": [
                "0x8b83209b",
                "0x8b83209b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9852595c",
            "selector": "0x9852595c",
            "calldata_variants": [
                "0x9852595c",
                "0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xce7c2ac2",
            "selector": "0xce7c2ac2",
            "calldata_variants": [
                "0xce7c2ac2",
                "0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd79779b2",
            "selector": "0xd79779b2",
            "calldata_variants": [
                "0xd79779b2",
                "0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe33b7de3",
            "selector": "0xe33b7de3",
            "calldata_variants": [
                "0xe33b7de3",
                "0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x19165587",
            "selector": "0x19165587",
            "calldata_variants": [
                "0x19165587",
                "0x191655870000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3a98ef39",
            "selector": "0x3a98ef39",
            "calldata_variants": [
                "0x3a98ef39",
                "0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x406072a9",
            "selector": "0x406072a9",
            "calldata_variants": [
                "0x406072a9",
                "0x406072a90000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1575,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1979,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [],
    "untrusted_call_count": 2
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xab235b8d946f0820e7ef91247dd0d7550a02967318e40cdc72e761c9d623b102
call_targets: 0xcc7b0367471f1cff4f2cfed9f0319f8b4e09d9a1
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xab235b8d946f0820e7ef91247dd0d7550a02967318e40cdc72e761c9d623b102",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xcc7b0367471f1cff4f2cfed9f0319f8b4e09d9a1"
    ],
    "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": "0x8b83209b",
            "selector": "0x8b83209b",
            "calldata_variants": [
                "0x8b83209b",
                "0x8b83209b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9852595c",
            "selector": "0x9852595c",
            "calldata_variants": [
                "0x9852595c",
                "0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xce7c2ac2",
            "selector": "0xce7c2ac2",
            "calldata_variants": [
                "0xce7c2ac2",
                "0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd79779b2",
            "selector": "0xd79779b2",
            "calldata_variants": [
                "0xd79779b2",
                "0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe33b7de3",
            "selector": "0xe33b7de3",
            "calldata_variants": [
                "0xe33b7de3",
                "0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x19165587",
            "selector": "0x19165587",
            "calldata_variants": [
                "0x19165587",
                "0x191655870000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3a98ef39",
            "selector": "0x3a98ef39",
            "calldata_variants": [
                "0x3a98ef39",
                "0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x406072a9",
            "selector": "0x406072a9",
            "calldata_variants": [
                "0x406072a9",
                "0x406072a90000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1575,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1979,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}