Analysis Run

019b477e-c942-7121-ab93-4adeb841f402

complete

Chain ID

1

Address

0xe9356c8f2ef38260cb488f683ae06c2beb10b823

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
26289	artifact.fetch	complete	1 / 3	3 months ago
26290	tool.cast_disasm	complete	1 / 3	3 months ago
91441	analysis.bundle	complete	1 / 3	2 weeks ago
91442	capability.graph	complete	1 / 3	2 weeks ago
91443	detector.run	complete	1 / 3	2 weeks ago
91444	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)

2

EXT*/BALANCE

1

Total opcodes

1994

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 0x00f3
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x70a08231
00000019: GT
0000001a: PUSH2 0x008a
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xd0e30db0
00000024: GT
00000025: PUSH2 0x0059
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd0e30db0
0000002f: EQ
00000030: PUSH2 0x027c
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd2f6f67d
0000003a: EQ
0000003b: PUSH2 0x0284
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2fde38b
00000045: EQ
00000046: PUSH2 0x02a4
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf4d9fecc
00000050: EQ
00000051: PUSH2 0x02c4
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x70a08231
00000060: EQ
00000061: PUSH2 0x01fc
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x715018a6
0000006b: EQ
0000006c: PUSH2 0x0229
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x8da5cb5b
00000076: EQ
00000077: PUSH2 0x023e
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xc56e1375
00000081: EQ
00000082: PUSH2 0x025c
00000085: JUMPI
00000086: PUSH1 0x00
00000088: DUP1
00000089: REVERT
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x3ccfd60b
00000091: GT
00000092: PUSH2 0x00c6
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x3ccfd60b
0000009c: EQ
0000009d: PUSH2 0x0179
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x4029a3ce
000000a7: EQ
000000a8: PUSH2 0x018e
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x4f245ef7
000000b2: EQ
000000b3: PUSH2 0x01ae
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x5b8d02d7
000000bd: EQ
000000be: PUSH2 0x01c4
000000c1: JUMPI
000000c2: PUSH1 0x00
000000c4: DUP1
000000c5: REVERT
000000c6: JUMPDEST
000000c7: DUP1
000000c8: PUSH4 0x09546c20
000000cd: EQ
000000ce: PUSH2 0x00f8
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x2935fe40
000000d8: EQ
000000d9: PUSH2 0x0121
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x2a24f46c
000000e3: EQ
000000e4: PUSH2 0x0143
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x33ea51a8
000000ee: EQ
000000ef: PUSH2 0x0159
000000f2: JUMPI
000000f3: JUMPDEST
000000f4: PUSH1 0x00
000000f6: DUP1
000000f7: REVERT
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 0x010e
00000109: PUSH1 0x06
0000010b: SLOAD
0000010c: DUP2
0000010d: JUMP
0000010e: JUMPDEST
0000010f: PUSH1 0x40
00000111: MLOAD
00000112: SWAP1
00000113: DUP2
00000114: MSTORE
00000115: PUSH1 0x20
00000117: ADD
00000118: JUMPDEST
00000119: PUSH1 0x40
0000011b: MLOAD
0000011c: DUP1
0000011d: SWAP2
0000011e: SUB
0000011f: SWAP1
00000120: RETURN
00000121: JUMPDEST
00000122: CALLVALUE
00000123: DUP1
00000124: ISZERO
00000125: PUSH2 0x012d
00000128: JUMPI
00000129: PUSH1 0x00
0000012b: DUP1
0000012c: REVERT
0000012d: JUMPDEST
0000012e: POP
0000012f: PUSH2 0x0141
00000132: PUSH2 0x013c
00000135: CALLDATASIZE
00000136: PUSH1 0x04
00000138: PUSH2 0x0ae4
0000013b: JUMP
0000013c: JUMPDEST
0000013d: PUSH2 0x02e4
00000140: JUMP
00000141: JUMPDEST
00000142: STOP
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 0x010e
00000154: PUSH1 0x05
00000156: SLOAD
00000157: DUP2
00000158: JUMP
00000159: JUMPDEST
0000015a: CALLVALUE
0000015b: DUP1
0000015c: ISZERO
0000015d: PUSH2 0x0165
00000160: JUMPI
00000161: PUSH1 0x00
00000163: DUP1
00000164: REVERT
00000165: JUMPDEST
00000166: POP
00000167: PUSH2 0x0141
0000016a: PUSH2 0x0174
0000016d: CALLDATASIZE
0000016e: PUSH1 0x04
00000170: PUSH2 0x0ac2
00000173: JUMP
00000174: JUMPDEST
00000175: PUSH2 0x0500
00000178: JUMP
00000179: JUMPDEST
0000017a: CALLVALUE
0000017b: DUP1
0000017c: ISZERO
0000017d: PUSH2 0x0185
00000180: JUMPI
00000181: PUSH1 0x00
00000183: DUP1
00000184: REVERT
00000185: JUMPDEST
00000186: POP
00000187: PUSH2 0x0141
0000018a: PUSH2 0x054c
0000018d: JUMP
0000018e: JUMPDEST
0000018f: CALLVALUE
00000190: DUP1
00000191: ISZERO
00000192: PUSH2 0x019a
00000195: JUMPI
00000196: PUSH1 0x00
00000198: DUP1
00000199: REVERT
0000019a: JUMPDEST
0000019b: POP
0000019c: PUSH2 0x0141
0000019f: PUSH2 0x01a9
000001a2: CALLDATASIZE
000001a3: PUSH1 0x04
000001a5: PUSH2 0x0b0e
000001a8: JUMP
000001a9: JUMPDEST
000001aa: PUSH2 0x0672
000001ad: JUMP
000001ae: JUMPDEST
000001af: CALLVALUE
000001b0: DUP1
000001b1: ISZERO
000001b2: PUSH2 0x01ba
000001b5: JUMPI
000001b6: PUSH1 0x00
000001b8: DUP1
000001b9: REVERT
000001ba: JUMPDEST
000001bb: POP
000001bc: PUSH2 0x010e
000001bf: PUSH1 0x04
000001c1: SLOAD
000001c2: DUP2
000001c3: JUMP
000001c4: JUMPDEST
000001c5: CALLVALUE
000001c6: DUP1
000001c7: ISZERO
000001c8: PUSH2 0x01d0
000001cb: JUMPI
000001cc: PUSH1 0x00
000001ce: DUP1
000001cf: REVERT
000001d0: JUMPDEST
000001d1: POP
000001d2: PUSH1 0x02
000001d4: SLOAD
000001d5: PUSH2 0x01e4
000001d8: SWAP1
000001d9: PUSH1 0x01
000001db: PUSH1 0x01
000001dd: PUSH1 0xa0
000001df: SHL
000001e0: SUB
000001e1: AND
000001e2: DUP2
000001e3: JUMP
000001e4: JUMPDEST
000001e5: PUSH1 0x40
000001e7: MLOAD
000001e8: PUSH1 0x01
000001ea: PUSH1 0x01
000001ec: PUSH1 0xa0
000001ee: SHL
000001ef: SUB
000001f0: SWAP1
000001f1: SWAP2
000001f2: AND
000001f3: DUP2
000001f4: MSTORE
000001f5: PUSH1 0x20
000001f7: ADD
000001f8: PUSH2 0x0118
000001fb: JUMP
000001fc: JUMPDEST
000001fd: CALLVALUE
000001fe: DUP1
000001ff: ISZERO
00000200: PUSH2 0x0208
00000203: JUMPI
00000204: PUSH1 0x00
00000206: DUP1
00000207: REVERT
00000208: JUMPDEST
00000209: POP
0000020a: PUSH2 0x010e
0000020d: PUSH2 0x0217
00000210: CALLDATASIZE
00000211: PUSH1 0x04
00000213: PUSH2 0x0ac2
00000216: JUMP
00000217: JUMPDEST
00000218: PUSH1 0x03
0000021a: PUSH1 0x20
0000021c: MSTORE
0000021d: PUSH1 0x00
0000021f: SWAP1
00000220: DUP2
00000221: MSTORE
00000222: PUSH1 0x40
00000224: SWAP1
00000225: KECCAK256
00000226: SLOAD
00000227: DUP2
00000228: JUMP
00000229: JUMPDEST
0000022a: CALLVALUE
0000022b: DUP1
0000022c: ISZERO
0000022d: PUSH2 0x0235
00000230: JUMPI
00000231: PUSH1 0x00
00000233: DUP1
00000234: REVERT
00000235: JUMPDEST
00000236: POP
00000237: PUSH2 0x0141
0000023a: PUSH2 0x075f
0000023d: JUMP
0000023e: JUMPDEST
0000023f: CALLVALUE
00000240: DUP1
00000241: ISZERO
00000242: PUSH2 0x024a
00000245: JUMPI
00000246: PUSH1 0x00
00000248: DUP1
00000249: REVERT
0000024a: JUMPDEST
0000024b: POP
0000024c: PUSH1 0x00
0000024e: SLOAD
0000024f: PUSH1 0x01
00000251: PUSH1 0x01
00000253: PUSH1 0xa0
00000255: SHL
00000256: SUB
00000257: AND
00000258: PUSH2 0x01e4
0000025b: JUMP
0000025c: JUMPDEST
0000025d: CALLVALUE
0000025e: DUP1
0000025f: ISZERO
00000260: PUSH2 0x0268
00000263: JUMPI
00000264: PUSH1 0x00
00000266: DUP1
00000267: REVERT
00000268: JUMPDEST
00000269: POP
0000026a: PUSH2 0x0141
0000026d: PUSH2 0x0277
00000270: CALLDATASIZE
00000271: PUSH1 0x04
00000273: PUSH2 0x0ac2
00000276: JUMP
00000277: JUMPDEST
00000278: PUSH2 0x0795
0000027b: JUMP
0000027c: JUMPDEST
0000027d: PUSH2 0x0141
00000280: PUSH2 0x07e1
00000283: JUMP
00000284: JUMPDEST
00000285: CALLVALUE
00000286: DUP1
00000287: ISZERO
00000288: PUSH2 0x0290
0000028b: JUMPI
0000028c: PUSH1 0x00
0000028e: DUP1
0000028f: REVERT
00000290: JUMPDEST
00000291: POP
00000292: PUSH1 0x01
00000294: SLOAD
00000295: PUSH2 0x01e4
00000298: SWAP1
00000299: PUSH1 0x01
0000029b: PUSH1 0x01
0000029d: PUSH1 0xa0
0000029f: SHL
000002a0: SUB
000002a1: AND
000002a2: DUP2
000002a3: JUMP
000002a4: JUMPDEST
000002a5: CALLVALUE
000002a6: DUP1
000002a7: ISZERO
000002a8: PUSH2 0x02b0
000002ab: JUMPI
000002ac: PUSH1 0x00
000002ae: DUP1
000002af: REVERT
000002b0: JUMPDEST
000002b1: POP
000002b2: PUSH2 0x0141
000002b5: PUSH2 0x02bf
000002b8: CALLDATASIZE
000002b9: PUSH1 0x04
000002bb: PUSH2 0x0ac2
000002be: JUMP
000002bf: JUMPDEST
000002c0: PUSH2 0x088c
000002c3: JUMP
000002c4: JUMPDEST
000002c5: CALLVALUE
000002c6: DUP1
000002c7: ISZERO
000002c8: PUSH2 0x02d0
000002cb: JUMPI
000002cc: PUSH1 0x00
000002ce: DUP1
000002cf: REVERT
000002d0: JUMPDEST
000002d1: POP
000002d2: PUSH2 0x0141
000002d5: PUSH2 0x02df
000002d8: CALLDATASIZE
000002d9: PUSH1 0x04
000002db: PUSH2 0x0bd5
000002de: JUMP
000002df: JUMPDEST
000002e0: PUSH2 0x0927
000002e3: JUMP
000002e4: JUMPDEST
000002e5: PUSH1 0x00
000002e7: SLOAD
000002e8: PUSH1 0x01
000002ea: PUSH1 0x01
000002ec: PUSH1 0xa0
000002ee: SHL
000002ef: SUB
000002f0: AND
000002f1: CALLER
000002f2: EQ
000002f3: PUSH2 0x0317
000002f6: JUMPI
000002f7: PUSH1 0x40
000002f9: MLOAD
000002fa: PUSH3 0x461bcd
000002fe: PUSH1 0xe5
00000300: SHL
00000301: DUP2
00000302: MSTORE
00000303: PUSH1 0x04
00000305: ADD
00000306: PUSH2 0x030e
00000309: SWAP1
0000030a: PUSH2 0x0c01
0000030d: JUMP
0000030e: JUMPDEST
0000030f: PUSH1 0x40
00000311: MLOAD
00000312: DUP1
00000313: SWAP2
00000314: SUB
00000315: SWAP1
00000316: REVERT
00000317: JUMPDEST
00000318: PUSH1 0x02
0000031a: SLOAD
0000031b: PUSH1 0x01
0000031d: PUSH1 0x01
0000031f: PUSH1 0xa0
00000321: SHL
00000322: SUB
00000323: AND
00000324: PUSH2 0x036f
00000327: JUMPI
00000328: PUSH1 0x40
0000032a: MLOAD
0000032b: PUSH3 0x461bcd
0000032f: PUSH1 0xe5
00000331: SHL
00000332: DUP2
00000333: MSTORE
00000334: PUSH1 0x20
00000336: PUSH1 0x04
00000338: DUP3
00000339: ADD
0000033a: MSTORE
0000033b: PUSH1 0x1a
0000033d: PUSH1 0x24
0000033f: DUP3
00000340: ADD
00000341: MSTORE
00000342: PUSH32 0x4e65656420746f20736574207061796f75742061646472657373000000000000
00000363: PUSH1 0x44
00000365: DUP3
00000366: ADD
00000367: MSTORE
00000368: PUSH1 0x64
0000036a: ADD
0000036b: PUSH2 0x030e
0000036e: JUMP
0000036f: JUMPDEST
00000370: PUSH1 0x01
00000372: SLOAD
00000373: PUSH1 0x01
00000375: PUSH1 0x01
00000377: PUSH1 0xa0
00000379: SHL
0000037a: SUB
0000037b: AND
0000037c: PUSH2 0x03c7
0000037f: JUMPI
00000380: PUSH1 0x40
00000382: MLOAD
00000383: PUSH3 0x461bcd
00000387: PUSH1 0xe5
00000389: SHL
0000038a: DUP2
0000038b: MSTORE
0000038c: PUSH1 0x20
0000038e: PUSH1 0x04
00000390: DUP3
00000391: ADD
00000392: MSTORE
00000393: PUSH1 0x1c
00000395: PUSH1 0x24
00000397: DUP3
00000398: ADD
00000399: MSTORE
0000039a: PUSH32 0x4e65656420746f20736574206d696e74696e6720636f6e747261637400000000
000003bb: PUSH1 0x44
000003bd: DUP3
000003be: ADD
000003bf: MSTORE
000003c0: PUSH1 0x64
000003c2: ADD
000003c3: PUSH2 0x030e
000003c6: JUMP
000003c7: JUMPDEST
000003c8: PUSH1 0x01
000003ca: PUSH1 0x01
000003cc: PUSH1 0xa0
000003ce: SHL
000003cf: SUB
000003d0: DUP3
000003d1: AND
000003d2: PUSH1 0x00
000003d4: SWAP1
000003d5: DUP2
000003d6: MSTORE
000003d7: PUSH1 0x03
000003d9: PUSH1 0x20
000003db: MSTORE
000003dc: PUSH1 0x40
000003de: SWAP1
000003df: KECCAK256
000003e0: SLOAD
000003e1: DUP2
000003e2: GT
000003e3: ISZERO
000003e4: PUSH2 0x0439
000003e7: JUMPI
000003e8: PUSH1 0x40
000003ea: MLOAD
000003eb: PUSH3 0x461bcd
000003ef: PUSH1 0xe5
000003f1: SHL
000003f2: DUP2
000003f3: MSTORE
000003f4: PUSH1 0x20
000003f6: PUSH1 0x04
000003f8: DUP3
000003f9: ADD
000003fa: MSTORE
000003fb: PUSH1 0x21
000003fd: PUSH1 0x24
000003ff: DUP3
00000400: ADD
00000401: MSTORE
00000402: PUSH32 0x4e6f7420656e6f7567682066756e647320696e206275796572206163636f756e
00000423: PUSH1 0x44
00000425: DUP3
00000426: ADD
00000427: MSTORE
00000428: PUSH1 0x1d
0000042a: PUSH1 0xfa
0000042c: SHL
0000042d: PUSH1 0x64
0000042f: DUP3
00000430: ADD
00000431: MSTORE
00000432: PUSH1 0x84
00000434: ADD
00000435: PUSH2 0x030e
00000438: JUMP
00000439: JUMPDEST
0000043a: PUSH1 0x01
0000043c: PUSH1 0x01
0000043e: PUSH1 0xa0
00000440: SHL
00000441: SUB
00000442: DUP3
00000443: AND
00000444: PUSH1 0x00
00000446: SWAP1
00000447: DUP2
00000448: MSTORE
00000449: PUSH1 0x03
0000044b: PUSH1 0x20
0000044d: MSTORE
0000044e: PUSH1 0x40
00000450: DUP2
00000451: KECCAK256
00000452: DUP1
00000453: SLOAD
00000454: DUP4
00000455: SWAP3
00000456: SWAP1
00000457: PUSH2 0x0461
0000045a: SWAP1
0000045b: DUP5
0000045c: SWAP1
0000045d: PUSH2 0x0ca3
00000460: JUMP
00000461: JUMPDEST
00000462: SWAP1
00000463: SWAP2
00000464: SSTORE
00000465: POP
00000466: POP
00000467: PUSH1 0x02
00000469: SLOAD
0000046a: PUSH1 0x01
0000046c: PUSH1 0x01
0000046e: PUSH1 0xa0
00000470: SHL
00000471: SUB
00000472: AND
00000473: PUSH1 0x00
00000475: SWAP1
00000476: DUP2
00000477: MSTORE
00000478: PUSH1 0x03
0000047a: PUSH1 0x20
0000047c: MSTORE
0000047d: PUSH1 0x40
0000047f: DUP2
00000480: KECCAK256
00000481: DUP1
00000482: SLOAD
00000483: DUP4
00000484: SWAP3
00000485: SWAP1
00000486: PUSH2 0x0490
00000489: SWAP1
0000048a: DUP5
0000048b: SWAP1
0000048c: PUSH2 0x0c8b
0000048f: JUMP
00000490: JUMPDEST
00000491: SWAP1
00000492: SWAP2
00000493: SSTORE
00000494: POP
00000495: POP
00000496: PUSH1 0x01
00000498: DUP1
00000499: SLOAD
0000049a: PUSH1 0x40
0000049c: MLOAD
0000049d: PUSH4 0x40c10f19
000004a2: PUSH1 0xe0
000004a4: SHL
000004a5: DUP2
000004a6: MSTORE
000004a7: PUSH1 0x01
000004a9: PUSH1 0x01
000004ab: PUSH1 0xa0
000004ad: SHL
000004ae: SUB
000004af: DUP6
000004b0: DUP2
000004b1: AND
000004b2: PUSH1 0x04
000004b4: DUP4
000004b5: ADD
000004b6: MSTORE
000004b7: PUSH1 0x24
000004b9: DUP3
000004ba: ADD
000004bb: SWAP4
000004bc: SWAP1
000004bd: SWAP4
000004be: MSTORE
000004bf: SWAP2
000004c0: AND
000004c1: SWAP1
000004c2: PUSH4 0x40c10f19
000004c7: SWAP1
000004c8: PUSH1 0x44
000004ca: ADD
000004cb: PUSH1 0x00
000004cd: PUSH1 0x40
000004cf: MLOAD
000004d0: DUP1
000004d1: DUP4
000004d2: SUB
000004d3: DUP2
000004d4: PUSH1 0x00
000004d6: DUP8
000004d7: DUP1
000004d8: EXTCODESIZE
000004d9: ISZERO
000004da: DUP1
000004db: ISZERO
000004dc: PUSH2 0x04e4
000004df: JUMPI
000004e0: PUSH1 0x00
000004e2: DUP1
000004e3: REVERT
000004e4: JUMPDEST
000004e5: POP
000004e6: GAS
000004e7: CALL
000004e8: ISZERO
000004e9: DUP1
000004ea: ISZERO
000004eb: PUSH2 0x04f8
000004ee: JUMPI
000004ef: RETURNDATASIZE
000004f0: PUSH1 0x00
000004f2: DUP1
000004f3: RETURNDATACOPY
000004f4: RETURNDATASIZE
000004f5: PUSH1 0x00
000004f7: REVERT
000004f8: JUMPDEST
000004f9: POP
000004fa: POP
000004fb: POP
000004fc: POP
000004fd: POP
000004fe: POP
000004ff: JUMP
00000500: JUMPDEST
00000501: PUSH1 0x00
00000503: SLOAD
00000504: PUSH1 0x01
00000506: PUSH1 0x01
00000508: PUSH1 0xa0
0000050a: SHL
0000050b: SUB
0000050c: AND
0000050d: CALLER
0000050e: EQ
0000050f: PUSH2 0x052a
00000512: JUMPI
00000513: PUSH1 0x40
00000515: MLOAD
00000516: PUSH3 0x461bcd
0000051a: PUSH1 0xe5
0000051c: SHL
0000051d: DUP2
0000051e: MSTORE
0000051f: PUSH1 0x04
00000521: ADD
00000522: PUSH2 0x030e
00000525: SWAP1
00000526: PUSH2 0x0c01
00000529: JUMP
0000052a: JUMPDEST
0000052b: PUSH1 0x02
0000052d: DUP1
0000052e: SLOAD
0000052f: PUSH1 0x01
00000531: PUSH1 0x01
00000533: PUSH1 0xa0
00000535: SHL
00000536: SUB
00000537: NOT
00000538: AND
00000539: PUSH1 0x01
0000053b: PUSH1 0x01
0000053d: PUSH1 0xa0
0000053f: SHL
00000540: SUB
00000541: SWAP3
00000542: SWAP1
00000543: SWAP3
00000544: AND
00000545: SWAP2
00000546: SWAP1
00000547: SWAP2
00000548: OR
00000549: SWAP1
0000054a: SSTORE
0000054b: JUMP
0000054c: JUMPDEST
0000054d: CALLER
0000054e: PUSH1 0x00
00000550: SWAP1
00000551: DUP2
00000552: MSTORE
00000553: PUSH1 0x03
00000555: PUSH1 0x20
00000557: MSTORE
00000558: PUSH1 0x40
0000055a: SWAP1
0000055b: KECCAK256
0000055c: SLOAD
0000055d: PUSH1 0x06
0000055f: SLOAD
00000560: TIMESTAMP
00000561: LT
00000562: ISZERO
00000563: PUSH2 0x05ae
00000566: JUMPI
00000567: PUSH1 0x40
00000569: MLOAD
0000056a: PUSH3 0x461bcd
0000056e: PUSH1 0xe5
00000570: SHL
00000571: DUP2
00000572: MSTORE
00000573: PUSH1 0x20
00000575: PUSH1 0x04
00000577: DUP3
00000578: ADD
00000579: DUP2
0000057a: SWAP1
0000057b: MSTORE
0000057c: PUSH1 0x24
0000057e: DUP3
0000057f: ADD
00000580: MSTORE
00000581: PUSH32 0x4f70656e20726566756e6420706572696f6420686173206e6f7420626567756e
000005a2: PUSH1 0x44
000005a4: DUP3
000005a5: ADD
000005a6: MSTORE
000005a7: PUSH1 0x64
000005a9: ADD
000005aa: PUSH2 0x030e
000005ad: JUMP
000005ae: JUMPDEST
000005af: PUSH1 0x00
000005b1: DUP2
000005b2: GT
000005b3: PUSH2 0x05fe
000005b6: JUMPI
000005b7: PUSH1 0x40
000005b9: MLOAD
000005ba: PUSH3 0x461bcd
000005be: PUSH1 0xe5
000005c0: SHL
000005c1: DUP2
000005c2: MSTORE
000005c3: PUSH1 0x20
000005c5: PUSH1 0x04
000005c7: DUP3
000005c8: ADD
000005c9: MSTORE
000005ca: PUSH1 0x1d
000005cc: PUSH1 0x24
000005ce: DUP3
000005cf: ADD
000005d0: MSTORE
000005d1: PUSH32 0x5468657265206d7573742062652066756e647320746f20726566756e64000000
000005f2: PUSH1 0x44
000005f4: DUP3
000005f5: ADD
000005f6: MSTORE
000005f7: PUSH1 0x64
000005f9: ADD
000005fa: PUSH2 0x030e
000005fd: JUMP
000005fe: JUMPDEST
000005ff: CALLER
00000600: PUSH1 0x00
00000602: DUP2
00000603: DUP2
00000604: MSTORE
00000605: PUSH1 0x03
00000607: PUSH1 0x20
00000609: MSTORE
0000060a: PUSH1 0x40
0000060c: DUP1
0000060d: DUP3
0000060e: KECCAK256
0000060f: DUP3
00000610: SWAP1
00000611: SSTORE
00000612: MLOAD
00000613: DUP4
00000614: ISZERO
00000615: PUSH2 0x08fc
00000618: MUL
00000619: SWAP2
0000061a: DUP5
0000061b: SWAP2
0000061c: SWAP1
0000061d: DUP2
0000061e: DUP2
0000061f: DUP2
00000620: DUP6
00000621: DUP9
00000622: DUP9
00000623: CALL
00000624: SWAP4
00000625: POP
00000626: POP
00000627: POP
00000628: POP
00000629: ISZERO
0000062a: DUP1
0000062b: ISZERO
0000062c: PUSH2 0x0639
0000062f: JUMPI
00000630: RETURNDATASIZE
00000631: PUSH1 0x00
00000633: DUP1
00000634: RETURNDATACOPY
00000635: RETURNDATASIZE
00000636: PUSH1 0x00
00000638: REVERT
00000639: JUMPDEST
0000063a: POP
0000063b: PUSH1 0x40
0000063d: MLOAD
0000063e: DUP2
0000063f: DUP2
00000640: MSTORE
00000641: CALLER
00000642: SWAP1
00000643: PUSH32 0x7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b65
00000664: SWAP1
00000665: PUSH1 0x20
00000667: ADD
00000668: PUSH1 0x40
0000066a: MLOAD
0000066b: DUP1
0000066c: SWAP2
0000066d: SUB
0000066e: SWAP1
0000066f: LOG2
00000670: POP
00000671: JUMP
00000672: JUMPDEST
00000673: PUSH1 0x00
00000675: SLOAD
00000676: PUSH1 0x01
00000678: PUSH1 0x01
0000067a: PUSH1 0xa0
0000067c: SHL
0000067d: SUB
0000067e: AND
0000067f: CALLER
00000680: EQ
00000681: PUSH2 0x069c
00000684: JUMPI
00000685: PUSH1 0x40
00000687: MLOAD
00000688: PUSH3 0x461bcd
0000068c: PUSH1 0xe5
0000068e: SHL
0000068f: DUP2
00000690: MSTORE
00000691: PUSH1 0x04
00000693: ADD
00000694: PUSH2 0x030e
00000697: SWAP1
00000698: PUSH2 0x0c01
0000069b: JUMP
0000069c: JUMPDEST
0000069d: DUP1
0000069e: MLOAD
0000069f: DUP3
000006a0: MLOAD
000006a1: EQ
000006a2: PUSH2 0x0700
000006a5: JUMPI
000006a6: PUSH1 0x40
000006a8: MLOAD
000006a9: PUSH3 0x461bcd
000006ad: PUSH1 0xe5
000006af: SHL
000006b0: DUP2
000006b1: MSTORE
000006b2: PUSH1 0x20
000006b4: PUSH1 0x04
000006b6: DUP3
000006b7: ADD
000006b8: MSTORE
000006b9: PUSH1 0x2a
000006bb: PUSH1 0x24
000006bd: DUP3
000006be: ADD
000006bf: MSTORE
000006c0: PUSH32 0x42757965727320616e642070726963657320617272617973206d757374206d61
000006e1: PUSH1 0x44
000006e3: DUP3
000006e4: ADD
000006e5: MSTORE
000006e6: PUSH10 0x0e8c6d040d8cadccee8d
000006f1: PUSH1 0xb3
000006f3: SHL
000006f4: PUSH1 0x64
000006f6: DUP3
000006f7: ADD
000006f8: MSTORE
000006f9: PUSH1 0x84
000006fb: ADD
000006fc: PUSH2 0x030e
000006ff: JUMP
00000700: JUMPDEST
00000701: PUSH1 0x00
00000703: JUMPDEST
00000704: DUP3
00000705: MLOAD
00000706: DUP2
00000707: LT
00000708: ISZERO
00000709: PUSH2 0x075a
0000070c: JUMPI
0000070d: PUSH2 0x0748
00000710: DUP4
00000711: DUP3
00000712: DUP2
00000713: MLOAD
00000714: DUP2
00000715: LT
00000716: PUSH2 0x0721
00000719: JUMPI
0000071a: PUSH2 0x0721
0000071d: PUSH2 0x0ceb
00000720: JUMP
00000721: JUMPDEST
00000722: PUSH1 0x20
00000724: MUL
00000725: PUSH1 0x20
00000727: ADD
00000728: ADD
00000729: MLOAD
0000072a: DUP4
0000072b: DUP4
0000072c: DUP2
0000072d: MLOAD
0000072e: DUP2
0000072f: LT
00000730: PUSH2 0x073b
00000733: JUMPI
00000734: PUSH2 0x073b
00000737: PUSH2 0x0ceb
0000073a: JUMP
0000073b: JUMPDEST
0000073c: PUSH1 0x20
0000073e: MUL
0000073f: PUSH1 0x20
00000741: ADD
00000742: ADD
00000743: MLOAD
00000744: PUSH2 0x02e4
00000747: JUMP
00000748: JUMPDEST
00000749: DUP1
0000074a: PUSH2 0x0752
0000074d: DUP2
0000074e: PUSH2 0x0cba
00000751: JUMP
00000752: JUMPDEST
00000753: SWAP2
00000754: POP
00000755: POP
00000756: PUSH2 0x0703
00000759: JUMP
0000075a: JUMPDEST
0000075b: POP
0000075c: POP
0000075d: POP
0000075e: JUMP
0000075f: JUMPDEST
00000760: PUSH1 0x00
00000762: SLOAD
00000763: PUSH1 0x01
00000765: PUSH1 0x01
00000767: PUSH1 0xa0
00000769: SHL
0000076a: SUB
0000076b: AND
0000076c: CALLER
0000076d: EQ
0000076e: PUSH2 0x0789
00000771: JUMPI
00000772: PUSH1 0x40
00000774: MLOAD
00000775: PUSH3 0x461bcd
00000779: PUSH1 0xe5
0000077b: SHL
0000077c: DUP2
0000077d: MSTORE
0000077e: PUSH1 0x04
00000780: ADD
00000781: PUSH2 0x030e
00000784: SWAP1
00000785: PUSH2 0x0c01
00000788: JUMP
00000789: JUMPDEST
0000078a: PUSH2 0x0793
0000078d: PUSH1 0x00
0000078f: PUSH2 0x09e4
00000792: JUMP
00000793: JUMPDEST
00000794: JUMP
00000795: JUMPDEST
00000796: PUSH1 0x00
00000798: SLOAD
00000799: PUSH1 0x01
0000079b: PUSH1 0x01
0000079d: PUSH1 0xa0
0000079f: SHL
000007a0: SUB
000007a1: AND
000007a2: CALLER
000007a3: EQ
000007a4: PUSH2 0x07bf
000007a7: JUMPI
000007a8: PUSH1 0x40
000007aa: MLOAD
000007ab: PUSH3 0x461bcd
000007af: PUSH1 0xe5
000007b1: SHL
000007b2: DUP2
000007b3: MSTORE
000007b4: PUSH1 0x04
000007b6: ADD
000007b7: PUSH2 0x030e
000007ba: SWAP1
000007bb: PUSH2 0x0c01
000007be: JUMP
000007bf: JUMPDEST
000007c0: PUSH1 0x01
000007c2: DUP1
000007c3: SLOAD
000007c4: PUSH1 0x01
000007c6: PUSH1 0x01
000007c8: PUSH1 0xa0
000007ca: SHL
000007cb: SUB
000007cc: NOT
000007cd: AND
000007ce: PUSH1 0x01
000007d0: PUSH1 0x01
000007d2: PUSH1 0xa0
000007d4: SHL
000007d5: SUB
000007d6: SWAP3
000007d7: SWAP1
000007d8: SWAP3
000007d9: AND
000007da: SWAP2
000007db: SWAP1
000007dc: SWAP2
000007dd: OR
000007de: SWAP1
000007df: SSTORE
000007e0: JUMP
000007e1: JUMPDEST
000007e2: PUSH1 0x00
000007e4: CALLVALUE
000007e5: GT
000007e6: PUSH2 0x0831
000007e9: JUMPI
000007ea: PUSH1 0x40
000007ec: MLOAD
000007ed: PUSH3 0x461bcd
000007f1: PUSH1 0xe5
000007f3: SHL
000007f4: DUP2
000007f5: MSTORE
000007f6: PUSH1 0x20
000007f8: PUSH1 0x04
000007fa: DUP3
000007fb: ADD
000007fc: MSTORE
000007fd: PUSH1 0x18
000007ff: PUSH1 0x24
00000801: DUP3
00000802: ADD
00000803: MSTORE
00000804: PUSH32 0x4d7573742066756e64206d6f7265207468616e207a65726f0000000000000000
00000825: PUSH1 0x44
00000827: DUP3
00000828: ADD
00000829: MSTORE
0000082a: PUSH1 0x64
0000082c: ADD
0000082d: PUSH2 0x030e
00000830: JUMP
00000831: JUMPDEST
00000832: CALLER
00000833: PUSH1 0x00
00000835: SWAP1
00000836: DUP2
00000837: MSTORE
00000838: PUSH1 0x03
0000083a: PUSH1 0x20
0000083c: MSTORE
0000083d: PUSH1 0x40
0000083f: DUP2
00000840: KECCAK256
00000841: DUP1
00000842: SLOAD
00000843: CALLVALUE
00000844: SWAP3
00000845: SWAP1
00000846: PUSH2 0x0850
00000849: SWAP1
0000084a: DUP5
0000084b: SWAP1
0000084c: PUSH2 0x0c8b
0000084f: JUMP
00000850: JUMPDEST
00000851: SWAP1
00000852: SWAP2
00000853: SSTORE
00000854: POP
00000855: POP
00000856: PUSH1 0x40
00000858: MLOAD
00000859: CALLVALUE
0000085a: DUP2
0000085b: MSTORE
0000085c: CALLER
0000085d: SWAP1
0000085e: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c
0000087f: SWAP1
00000880: PUSH1 0x20
00000882: ADD
00000883: PUSH1 0x40
00000885: MLOAD
00000886: DUP1
00000887: SWAP2
00000888: SUB
00000889: SWAP1
0000088a: LOG2
0000088b: JUMP
0000088c: JUMPDEST
0000088d: PUSH1 0x00
0000088f: SLOAD
00000890: PUSH1 0x01
00000892: PUSH1 0x01
00000894: PUSH1 0xa0
00000896: SHL
00000897: SUB
00000898: AND
00000899: CALLER
0000089a: EQ
0000089b: PUSH2 0x08b6
0000089e: JUMPI
0000089f: PUSH1 0x40
000008a1: MLOAD
000008a2: PUSH3 0x461bcd
000008a6: PUSH1 0xe5
000008a8: SHL
000008a9: DUP2
000008aa: MSTORE
000008ab: PUSH1 0x04
000008ad: ADD
000008ae: PUSH2 0x030e
000008b1: SWAP1
000008b2: PUSH2 0x0c01
000008b5: JUMP
000008b6: JUMPDEST
000008b7: PUSH1 0x01
000008b9: PUSH1 0x01
000008bb: PUSH1 0xa0
000008bd: SHL
000008be: SUB
000008bf: DUP2
000008c0: AND
000008c1: PUSH2 0x091b
000008c4: JUMPI
000008c5: PUSH1 0x40
000008c7: MLOAD
000008c8: PUSH3 0x461bcd
000008cc: PUSH1 0xe5
000008ce: SHL
000008cf: DUP2
000008d0: MSTORE
000008d1: PUSH1 0x20
000008d3: PUSH1 0x04
000008d5: DUP3
000008d6: ADD
000008d7: MSTORE
000008d8: PUSH1 0x26
000008da: PUSH1 0x24
000008dc: DUP3
000008dd: ADD
000008de: MSTORE
000008df: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000900: PUSH1 0x44
00000902: DUP3
00000903: ADD
00000904: MSTORE
00000905: PUSH6 0x646472657373
0000090c: PUSH1 0xd0
0000090e: SHL
0000090f: PUSH1 0x64
00000911: DUP3
00000912: ADD
00000913: MSTORE
00000914: PUSH1 0x84
00000916: ADD
00000917: PUSH2 0x030e
0000091a: JUMP
0000091b: JUMPDEST
0000091c: PUSH2 0x0924
0000091f: DUP2
00000920: PUSH2 0x09e4
00000923: JUMP
00000924: JUMPDEST
00000925: POP
00000926: JUMP
00000927: JUMPDEST
00000928: PUSH1 0x00
0000092a: SLOAD
0000092b: PUSH1 0x01
0000092d: PUSH1 0x01
0000092f: PUSH1 0xa0
00000931: SHL
00000932: SUB
00000933: AND
00000934: CALLER
00000935: EQ
00000936: PUSH2 0x0951
00000939: JUMPI
0000093a: PUSH1 0x40
0000093c: MLOAD
0000093d: PUSH3 0x461bcd
00000941: PUSH1 0xe5
00000943: SHL
00000944: DUP2
00000945: MSTORE
00000946: PUSH1 0x04
00000948: ADD
00000949: PUSH2 0x030e
0000094c: SWAP1
0000094d: PUSH2 0x0c01
00000950: JUMP
00000951: JUMPDEST
00000952: PUSH1 0x06
00000954: SLOAD
00000955: PUSH2 0x0961
00000958: SWAP1
00000959: PUSH3 0x015180
0000095d: PUSH2 0x0c8b
00000960: JUMP
00000961: JUMPDEST
00000962: TIMESTAMP
00000963: LT
00000964: ISZERO
00000965: PUSH2 0x09d6
00000968: JUMPI
00000969: PUSH1 0x40
0000096b: MLOAD
0000096c: PUSH3 0x461bcd
00000970: PUSH1 0xe5
00000972: SHL
00000973: DUP2
00000974: MSTORE
00000975: PUSH1 0x20
00000977: PUSH1 0x04
00000979: DUP3
0000097a: ADD
0000097b: MSTORE
0000097c: PUSH1 0x39
0000097e: PUSH1 0x24
00000980: DUP3
00000981: ADD
00000982: MSTORE
00000983: PUSH32 0x43616e6e6f742072657365742061756374696f6e20756e74696c20726566756e
000009a4: PUSH1 0x44
000009a6: DUP3
000009a7: ADD
000009a8: MSTORE
000009a9: PUSH32 0x6420686173206265656e206f70656e20666f7220612064617900000000000000
000009ca: PUSH1 0x64
000009cc: DUP3
000009cd: ADD
000009ce: MSTORE
000009cf: PUSH1 0x84
000009d1: ADD
000009d2: PUSH2 0x030e
000009d5: JUMP
000009d6: JUMPDEST
000009d7: PUSH1 0x04
000009d9: SWAP3
000009da: SWAP1
000009db: SWAP3
000009dc: SSTORE
000009dd: PUSH1 0x05
000009df: SSTORE
000009e0: PUSH1 0x06
000009e2: SSTORE
000009e3: JUMP
000009e4: JUMPDEST
000009e5: PUSH1 0x00
000009e7: DUP1
000009e8: SLOAD
000009e9: PUSH1 0x01
000009eb: PUSH1 0x01
000009ed: PUSH1 0xa0
000009ef: SHL
000009f0: SUB
000009f1: DUP4
000009f2: DUP2
000009f3: AND
000009f4: PUSH1 0x01
000009f6: PUSH1 0x01
000009f8: PUSH1 0xa0
000009fa: SHL
000009fb: SUB
000009fc: NOT
000009fd: DUP4
000009fe: AND
000009ff: DUP2
00000a00: OR
00000a01: DUP5
00000a02: SSTORE
00000a03: PUSH1 0x40
00000a05: MLOAD
00000a06: SWAP2
00000a07: SWAP1
00000a08: SWAP3
00000a09: AND
00000a0a: SWAP3
00000a0b: DUP4
00000a0c: SWAP2
00000a0d: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000a2e: SWAP2
00000a2f: SWAP1
00000a30: LOG3
00000a31: POP
00000a32: POP
00000a33: JUMP
00000a34: JUMPDEST
00000a35: DUP1
00000a36: CALLDATALOAD
00000a37: PUSH1 0x01
00000a39: PUSH1 0x01
00000a3b: PUSH1 0xa0
00000a3d: SHL
00000a3e: SUB
00000a3f: DUP2
00000a40: AND
00000a41: DUP2
00000a42: EQ
00000a43: PUSH2 0x0a4b
00000a46: JUMPI
00000a47: PUSH1 0x00
00000a49: DUP1
00000a4a: REVERT
00000a4b: JUMPDEST
00000a4c: SWAP2
00000a4d: SWAP1
00000a4e: POP
00000a4f: JUMP
00000a50: JUMPDEST
00000a51: PUSH1 0x00
00000a53: DUP3
00000a54: PUSH1 0x1f
00000a56: DUP4
00000a57: ADD
00000a58: SLT
00000a59: PUSH2 0x0a61
00000a5c: JUMPI
00000a5d: PUSH1 0x00
00000a5f: DUP1
00000a60: REVERT
00000a61: JUMPDEST
00000a62: DUP2
00000a63: CALLDATALOAD
00000a64: PUSH1 0x20
00000a66: PUSH2 0x0a76
00000a69: PUSH2 0x0a71
00000a6c: DUP4
00000a6d: PUSH2 0x0c67
00000a70: JUMP
00000a71: JUMPDEST
00000a72: PUSH2 0x0c36
00000a75: JUMP
00000a76: JUMPDEST
00000a77: DUP1
00000a78: DUP4
00000a79: DUP3
00000a7a: MSTORE
00000a7b: DUP3
00000a7c: DUP3
00000a7d: ADD
00000a7e: SWAP2
00000a7f: POP
00000a80: DUP3
00000a81: DUP7
00000a82: ADD
00000a83: DUP8
00000a84: DUP5
00000a85: DUP7
00000a86: PUSH1 0x05
00000a88: SHL
00000a89: DUP10
00000a8a: ADD
00000a8b: ADD
00000a8c: GT
00000a8d: ISZERO
00000a8e: PUSH2 0x0a96
00000a91: JUMPI
00000a92: PUSH1 0x00
00000a94: DUP1
00000a95: REVERT
00000a96: JUMPDEST
00000a97: PUSH1 0x00
00000a99: JUMPDEST
00000a9a: DUP6
00000a9b: DUP2
00000a9c: LT
00000a9d: ISZERO
00000a9e: PUSH2 0x0ab5
00000aa1: JUMPI
00000aa2: DUP2
00000aa3: CALLDATALOAD
00000aa4: DUP5
00000aa5: MSTORE
00000aa6: SWAP3
00000aa7: DUP5
00000aa8: ADD
00000aa9: SWAP3
00000aaa: SWAP1
00000aab: DUP5
00000aac: ADD
00000aad: SWAP1
00000aae: PUSH1 0x01
00000ab0: ADD
00000ab1: PUSH2 0x0a99
00000ab4: JUMP
00000ab5: JUMPDEST
00000ab6: POP
00000ab7: SWAP1
00000ab8: SWAP8
00000ab9: SWAP7
00000aba: POP
00000abb: POP
00000abc: POP
00000abd: POP
00000abe: POP
00000abf: POP
00000ac0: POP
00000ac1: JUMP
00000ac2: JUMPDEST
00000ac3: PUSH1 0x00
00000ac5: PUSH1 0x20
00000ac7: DUP3
00000ac8: DUP5
00000ac9: SUB
00000aca: SLT
00000acb: ISZERO
00000acc: PUSH2 0x0ad4
00000acf: JUMPI
00000ad0: PUSH1 0x00
00000ad2: DUP1
00000ad3: REVERT
00000ad4: JUMPDEST
00000ad5: PUSH2 0x0add
00000ad8: DUP3
00000ad9: PUSH2 0x0a34
00000adc: JUMP
00000add: JUMPDEST
00000ade: SWAP4
00000adf: SWAP3
00000ae0: POP
00000ae1: POP
00000ae2: POP
00000ae3: JUMP
00000ae4: JUMPDEST
00000ae5: PUSH1 0x00
00000ae7: DUP1
00000ae8: PUSH1 0x40
00000aea: DUP4
00000aeb: DUP6
00000aec: SUB
00000aed: SLT
00000aee: ISZERO
00000aef: PUSH2 0x0af7
00000af2: JUMPI
00000af3: PUSH1 0x00
00000af5: DUP1
00000af6: REVERT
00000af7: JUMPDEST
00000af8: PUSH2 0x0b00
00000afb: DUP4
00000afc: PUSH2 0x0a34
00000aff: JUMP
00000b00: JUMPDEST
00000b01: SWAP5
00000b02: PUSH1 0x20
00000b04: SWAP4
00000b05: SWAP1
00000b06: SWAP4
00000b07: ADD
00000b08: CALLDATALOAD
00000b09: SWAP4
00000b0a: POP
00000b0b: POP
00000b0c: POP
00000b0d: JUMP
00000b0e: JUMPDEST
00000b0f: PUSH1 0x00
00000b11: DUP1
00000b12: PUSH1 0x40
00000b14: DUP4
00000b15: DUP6
00000b16: SUB
00000b17: SLT
00000b18: ISZERO
00000b19: PUSH2 0x0b21
00000b1c: JUMPI
00000b1d: PUSH1 0x00
00000b1f: DUP1
00000b20: REVERT
00000b21: JUMPDEST
00000b22: DUP3
00000b23: CALLDATALOAD
00000b24: PUSH8 0xffffffffffffffff
00000b2d: DUP1
00000b2e: DUP3
00000b2f: GT
00000b30: ISZERO
00000b31: PUSH2 0x0b39
00000b34: JUMPI
00000b35: PUSH1 0x00
00000b37: DUP1
00000b38: REVERT
00000b39: JUMPDEST
00000b3a: DUP2
00000b3b: DUP6
00000b3c: ADD
00000b3d: SWAP2
00000b3e: POP
00000b3f: DUP6
00000b40: PUSH1 0x1f
00000b42: DUP4
00000b43: ADD
00000b44: SLT
00000b45: PUSH2 0x0b4d
00000b48: JUMPI
00000b49: PUSH1 0x00
00000b4b: DUP1
00000b4c: REVERT
00000b4d: JUMPDEST
00000b4e: DUP2
00000b4f: CALLDATALOAD
00000b50: PUSH1 0x20
00000b52: PUSH2 0x0b5d
00000b55: PUSH2 0x0a71
00000b58: DUP4
00000b59: PUSH2 0x0c67
00000b5c: JUMP
00000b5d: JUMPDEST
00000b5e: DUP1
00000b5f: DUP4
00000b60: DUP3
00000b61: MSTORE
00000b62: DUP3
00000b63: DUP3
00000b64: ADD
00000b65: SWAP2
00000b66: POP
00000b67: DUP3
00000b68: DUP7
00000b69: ADD
00000b6a: DUP11
00000b6b: DUP5
00000b6c: DUP7
00000b6d: PUSH1 0x05
00000b6f: SHL
00000b70: DUP10
00000b71: ADD
00000b72: ADD
00000b73: GT
00000b74: ISZERO
00000b75: PUSH2 0x0b7d
00000b78: JUMPI
00000b79: PUSH1 0x00
00000b7b: DUP1
00000b7c: REVERT
00000b7d: JUMPDEST
00000b7e: PUSH1 0x00
00000b80: SWAP7
00000b81: POP
00000b82: JUMPDEST
00000b83: DUP5
00000b84: DUP8
00000b85: LT
00000b86: ISZERO
00000b87: PUSH2 0x0ba7
00000b8a: JUMPI
00000b8b: PUSH2 0x0b93
00000b8e: DUP2
00000b8f: PUSH2 0x0a34
00000b92: JUMP
00000b93: JUMPDEST
00000b94: DUP4
00000b95: MSTORE
00000b96: PUSH1 0x01
00000b98: SWAP7
00000b99: SWAP1
00000b9a: SWAP7
00000b9b: ADD
00000b9c: SWAP6
00000b9d: SWAP2
00000b9e: DUP4
00000b9f: ADD
00000ba0: SWAP2
00000ba1: DUP4
00000ba2: ADD
00000ba3: PUSH2 0x0b82
00000ba6: JUMP
00000ba7: JUMPDEST
00000ba8: POP
00000ba9: SWAP7
00000baa: POP
00000bab: POP
00000bac: DUP7
00000bad: ADD
00000bae: CALLDATALOAD
00000baf: SWAP3
00000bb0: POP
00000bb1: POP
00000bb2: DUP1
00000bb3: DUP3
00000bb4: GT
00000bb5: ISZERO
00000bb6: PUSH2 0x0bbe
00000bb9: JUMPI
00000bba: PUSH1 0x00
00000bbc: DUP1
00000bbd: REVERT
00000bbe: JUMPDEST
00000bbf: POP
00000bc0: PUSH2 0x0bcb
00000bc3: DUP6
00000bc4: DUP3
00000bc5: DUP7
00000bc6: ADD
00000bc7: PUSH2 0x0a50
00000bca: JUMP
00000bcb: JUMPDEST
00000bcc: SWAP2
00000bcd: POP
00000bce: POP
00000bcf: SWAP3
00000bd0: POP
00000bd1: SWAP3
00000bd2: SWAP1
00000bd3: POP
00000bd4: JUMP
00000bd5: JUMPDEST
00000bd6: PUSH1 0x00
00000bd8: DUP1
00000bd9: PUSH1 0x00
00000bdb: PUSH1 0x60
00000bdd: DUP5
00000bde: DUP7
00000bdf: SUB
00000be0: SLT
00000be1: ISZERO
00000be2: PUSH2 0x0bea
00000be5: JUMPI
00000be6: PUSH1 0x00
00000be8: DUP1
00000be9: REVERT
00000bea: JUMPDEST
00000beb: POP
00000bec: POP
00000bed: DUP2
00000bee: CALLDATALOAD
00000bef: SWAP4
00000bf0: PUSH1 0x20
00000bf2: DUP4
00000bf3: ADD
00000bf4: CALLDATALOAD
00000bf5: SWAP4
00000bf6: POP
00000bf7: PUSH1 0x40
00000bf9: SWAP1
00000bfa: SWAP3
00000bfb: ADD
00000bfc: CALLDATALOAD
00000bfd: SWAP2
00000bfe: SWAP1
00000bff: POP
00000c00: JUMP
00000c01: JUMPDEST
00000c02: PUSH1 0x20
00000c04: DUP1
00000c05: DUP3
00000c06: MSTORE
00000c07: DUP2
00000c08: DUP2
00000c09: ADD
00000c0a: MSTORE
00000c0b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000c2c: PUSH1 0x40
00000c2e: DUP3
00000c2f: ADD
00000c30: MSTORE
00000c31: PUSH1 0x60
00000c33: ADD
00000c34: SWAP1
00000c35: JUMP
00000c36: JUMPDEST
00000c37: PUSH1 0x40
00000c39: MLOAD
00000c3a: PUSH1 0x1f
00000c3c: DUP3
00000c3d: ADD
00000c3e: PUSH1 0x1f
00000c40: NOT
00000c41: AND
00000c42: DUP2
00000c43: ADD
00000c44: PUSH8 0xffffffffffffffff
00000c4d: DUP2
00000c4e: GT
00000c4f: DUP3
00000c50: DUP3
00000c51: LT
00000c52: OR
00000c53: ISZERO
00000c54: PUSH2 0x0c5f
00000c57: JUMPI
00000c58: PUSH2 0x0c5f
00000c5b: PUSH2 0x0d01
00000c5e: JUMP
00000c5f: JUMPDEST
00000c60: PUSH1 0x40
00000c62: MSTORE
00000c63: SWAP2
00000c64: SWAP1
00000c65: POP
00000c66: JUMP
00000c67: JUMPDEST
00000c68: PUSH1 0x00
00000c6a: PUSH8 0xffffffffffffffff
00000c73: DUP3
00000c74: GT
00000c75: ISZERO
00000c76: PUSH2 0x0c81
00000c79: JUMPI
00000c7a: PUSH2 0x0c81
00000c7d: PUSH2 0x0d01
00000c80: JUMP
00000c81: JUMPDEST
00000c82: POP
00000c83: PUSH1 0x05
00000c85: SHL
00000c86: PUSH1 0x20
00000c88: ADD
00000c89: SWAP1
00000c8a: JUMP
00000c8b: JUMPDEST
00000c8c: PUSH1 0x00
00000c8e: DUP3
00000c8f: NOT
00000c90: DUP3
00000c91: GT
00000c92: ISZERO
00000c93: PUSH2 0x0c9e
00000c96: JUMPI
00000c97: PUSH2 0x0c9e
00000c9a: PUSH2 0x0cd5
00000c9d: JUMP
00000c9e: JUMPDEST
00000c9f: POP
00000ca0: ADD
00000ca1: SWAP1
00000ca2: JUMP
00000ca3: JUMPDEST
00000ca4: PUSH1 0x00
00000ca6: DUP3
00000ca7: DUP3
00000ca8: LT
00000ca9: ISZERO
00000caa: PUSH2 0x0cb5
00000cad: JUMPI
00000cae: PUSH2 0x0cb5
00000cb1: PUSH2 0x0cd5
00000cb4: JUMP
00000cb5: JUMPDEST
00000cb6: POP
00000cb7: SUB
00000cb8: SWAP1
00000cb9: JUMP
00000cba: JUMPDEST
00000cbb: PUSH1 0x00
00000cbd: PUSH1 0x00
00000cbf: NOT
00000cc0: DUP3
00000cc1: EQ
00000cc2: ISZERO
00000cc3: PUSH2 0x0cce
00000cc6: JUMPI
00000cc7: PUSH2 0x0cce
00000cca: PUSH2 0x0cd5
00000ccd: JUMP
00000cce: JUMPDEST
00000ccf: POP
00000cd0: PUSH1 0x01
00000cd2: ADD
00000cd3: SWAP1
00000cd4: JUMP
00000cd5: JUMPDEST
00000cd6: PUSH4 0x4e487b71
00000cdb: PUSH1 0xe0
00000cdd: SHL
00000cde: PUSH1 0x00
00000ce0: MSTORE
00000ce1: PUSH1 0x11
00000ce3: PUSH1 0x04
00000ce5: MSTORE
00000ce6: PUSH1 0x24
00000ce8: PUSH1 0x00
00000cea: REVERT
00000ceb: JUMPDEST
00000cec: PUSH4 0x4e487b71
00000cf1: PUSH1 0xe0
00000cf3: SHL
00000cf4: PUSH1 0x00
00000cf6: MSTORE
00000cf7: PUSH1 0x32
00000cf9: PUSH1 0x04
00000cfb: MSTORE
00000cfc: PUSH1 0x24
00000cfe: PUSH1 0x00
00000d00: REVERT
00000d01: JUMPDEST
00000d02: PUSH4 0x4e487b71
00000d07: PUSH1 0xe0
00000d09: SHL
00000d0a: PUSH1 0x00
00000d0c: MSTORE
00000d0d: PUSH1 0x41
00000d0f: PUSH1 0x04
00000d11: MSTORE
00000d12: PUSH1 0x24
00000d14: PUSH1 0x00
00000d16: REVERT
00000d17: INVALID
00000d18: LOG2
00000d19: PUSH5 0x6970667358
00000d1f: UNKNOWN(0x22)
00000d20: SLT
00000d21: KECCAK256
00000d22: UNKNOWN(0xE0)
00000d23: SWAP10
00000d24: JUMP
00000d25: UNKNOWN(0xA8)
00000d26: PUSH28 0x75b478af74681c071c627e3c045872b1b8fe810f298cb8f95592e364
00000d43: PUSH20

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: 0x8e235adb958b25da42c992e648f9daa8e3ad204c095e9bdaa36f0e02e5410c24 call_targets: 0xe9356c8f2ef38260cb488f683ae06c2beb10b823 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x8e235adb958b25da42c992e648f9daa8e3ad204c095e9bdaa36f0e02e5410c24", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xe9356c8f2ef38260cb488f683ae06c2beb10b823" ], "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": "0xd0e30db0", "selector": "0xd0e30db0", "calldata_variants": [ "0xd0e30db0", "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd2f6f67d", "selector": "0xd2f6f67d", "calldata_variants": [ "0xd2f6f67d", "0xd2f6f67d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf4d9fecc", "selector": "0xf4d9fecc", "calldata_variants": [ "0xf4d9fecc", "0xf4d9fecc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x70a08231", "selector": "0x70a08231", "calldata_variants": [ "0x70a08231", "0x70a082310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x715018a6", "selector": "0x715018a6", "calldata_variants": [ "0x715018a6", "0x715018a60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc56e1375", "selector": "0xc56e1375", "calldata_variants": [ "0xc56e1375", "0xc56e13750000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1255, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1571, "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: 0x8e235adb958b25da42c992e648f9daa8e3ad204c095e9bdaa36f0e02e5410c24 call_targets: 0xe9356c8f2ef38260cb488f683ae06c2beb10b823 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x8e235adb958b25da42c992e648f9daa8e3ad204c095e9bdaa36f0e02e5410c24", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xe9356c8f2ef38260cb488f683ae06c2beb10b823" ], "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": "0xd0e30db0", "selector": "0xd0e30db0", "calldata_variants": [ "0xd0e30db0", "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd2f6f67d", "selector": "0xd2f6f67d", "calldata_variants": [ "0xd2f6f67d", "0xd2f6f67d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf4d9fecc", "selector": "0xf4d9fecc", "calldata_variants": [ "0xf4d9fecc", "0xf4d9fecc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x70a08231", "selector": "0x70a08231", "calldata_variants": [ "0x70a08231", "0x70a082310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x715018a6", "selector": "0x715018a6", "calldata_variants": [ "0x715018a6", "0x715018a60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc56e1375", "selector": "0xc56e1375", "calldata_variants": [ "0xc56e1375", "0xc56e13750000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1255, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1571, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [] }

Severity