Analysis Run

019b477e-d332-72b7-aaf9-6aad07f02a27
complete
Chain ID
1
Address
0xfa41c72a8f887226f52e429682b61a62f79c31b4
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
Authorization based on tx.origin
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
28101	artifact.fetch	complete	1 / 3	3 months ago
28102	tool.cast_disasm	complete	1 / 3	3 months ago
103137	analysis.bundle	complete	1 / 3	1 week ago
103138	capability.graph	complete	1 / 3	1 week ago
103139	detector.run	complete	1 / 3	1 week ago
103140	validation.fork	complete	1 / 3	1 week 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)
0
EXT*/BALANCE
0
Total opcodes
1916
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 0x00f7
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 0xa457c2d7
00000024: GT
00000025: PUSH2 0x0059
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xa457c2d7
0000002f: EQ
00000030: PUSH2 0x029f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xa9059cbb
0000003a: EQ
0000003b: PUSH2 0x02bf
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xdd62ed3e
00000045: EQ
00000046: PUSH2 0x02df
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x0325
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x70a08231
00000060: EQ
00000061: PUSH2 0x021f
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x715018a6
0000006b: EQ
0000006c: PUSH2 0x0255
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x8da5cb5b
00000076: EQ
00000077: PUSH2 0x026c
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x95d89b41
00000081: EQ
00000082: PUSH2 0x028a
00000085: JUMPI
00000086: PUSH1 0x00
00000088: DUP1
00000089: REVERT
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x27c8f835
00000091: GT
00000092: PUSH2 0x00c6
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x27c8f835
0000009c: EQ
0000009d: PUSH2 0x019d
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x2b112e49
000000a7: EQ
000000a8: PUSH2 0x01d5
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x313ce567
000000b2: EQ
000000b3: PUSH2 0x01ea
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x39509351
000000bd: EQ
000000be: PUSH2 0x01ff
000000c1: JUMPI
000000c2: PUSH1 0x00
000000c4: DUP1
000000c5: REVERT
000000c6: JUMPDEST
000000c7: DUP1
000000c8: PUSH4 0x06fdde03
000000cd: EQ
000000ce: PUSH2 0x0103
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x095ea7b3
000000d8: EQ
000000d9: PUSH2 0x012e
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x18160ddd
000000e3: EQ
000000e4: PUSH2 0x015e
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x23b872dd
000000ee: EQ
000000ef: PUSH2 0x017d
000000f2: JUMPI
000000f3: PUSH1 0x00
000000f5: DUP1
000000f6: REVERT
000000f7: JUMPDEST
000000f8: CALLDATASIZE
000000f9: PUSH2 0x00fe
000000fc: JUMPI
000000fd: STOP
000000fe: JUMPDEST
000000ff: PUSH1 0x00
00000101: DUP1
00000102: REVERT
00000103: JUMPDEST
00000104: CALLVALUE
00000105: DUP1
00000106: ISZERO
00000107: PUSH2 0x010f
0000010a: JUMPI
0000010b: PUSH1 0x00
0000010d: DUP1
0000010e: REVERT
0000010f: JUMPDEST
00000110: POP
00000111: PUSH2 0x0118
00000114: PUSH2 0x0345
00000117: JUMP
00000118: JUMPDEST
00000119: PUSH1 0x40
0000011b: MLOAD
0000011c: PUSH2 0x0125
0000011f: SWAP2
00000120: SWAP1
00000121: PUSH2 0x0b80
00000124: JUMP
00000125: JUMPDEST
00000126: PUSH1 0x40
00000128: MLOAD
00000129: DUP1
0000012a: SWAP2
0000012b: SUB
0000012c: SWAP1
0000012d: RETURN
0000012e: JUMPDEST
0000012f: CALLVALUE
00000130: DUP1
00000131: ISZERO
00000132: PUSH2 0x013a
00000135: JUMPI
00000136: PUSH1 0x00
00000138: DUP1
00000139: REVERT
0000013a: JUMPDEST
0000013b: POP
0000013c: PUSH2 0x014e
0000013f: PUSH2 0x0149
00000142: CALLDATASIZE
00000143: PUSH1 0x04
00000145: PUSH2 0x0b57
00000148: JUMP
00000149: JUMPDEST
0000014a: PUSH2 0x03d7
0000014d: JUMP
0000014e: JUMPDEST
0000014f: PUSH1 0x40
00000151: MLOAD
00000152: SWAP1
00000153: ISZERO
00000154: ISZERO
00000155: DUP2
00000156: MSTORE
00000157: PUSH1 0x20
00000159: ADD
0000015a: PUSH2 0x0125
0000015d: JUMP
0000015e: JUMPDEST
0000015f: CALLVALUE
00000160: DUP1
00000161: ISZERO
00000162: PUSH2 0x016a
00000165: JUMPI
00000166: PUSH1 0x00
00000168: DUP1
00000169: REVERT
0000016a: JUMPDEST
0000016b: POP
0000016c: PUSH1 0x07
0000016e: SLOAD
0000016f: JUMPDEST
00000170: PUSH1 0x40
00000172: MLOAD
00000173: SWAP1
00000174: DUP2
00000175: MSTORE
00000176: PUSH1 0x20
00000178: ADD
00000179: PUSH2 0x0125
0000017c: JUMP
0000017d: JUMPDEST
0000017e: CALLVALUE
0000017f: DUP1
00000180: ISZERO
00000181: PUSH2 0x0189
00000184: JUMPI
00000185: PUSH1 0x00
00000187: DUP1
00000188: REVERT
00000189: JUMPDEST
0000018a: POP
0000018b: PUSH2 0x014e
0000018e: PUSH2 0x0198
00000191: CALLDATASIZE
00000192: PUSH1 0x04
00000194: PUSH2 0x0b1c
00000197: JUMP
00000198: JUMPDEST
00000199: PUSH2 0x03ed
0000019c: JUMP
0000019d: JUMPDEST
0000019e: CALLVALUE
0000019f: DUP1
000001a0: ISZERO
000001a1: PUSH2 0x01a9
000001a4: JUMPI
000001a5: PUSH1 0x00
000001a7: DUP1
000001a8: REVERT
000001a9: JUMPDEST
000001aa: POP
000001ab: PUSH1 0x06
000001ad: SLOAD
000001ae: PUSH2 0x01bd
000001b1: SWAP1
000001b2: PUSH1 0x01
000001b4: PUSH1 0x01
000001b6: PUSH1 0xa0
000001b8: SHL
000001b9: SUB
000001ba: AND
000001bb: DUP2
000001bc: JUMP
000001bd: JUMPDEST
000001be: PUSH1 0x40
000001c0: MLOAD
000001c1: PUSH1 0x01
000001c3: PUSH1 0x01
000001c5: PUSH1 0xa0
000001c7: SHL
000001c8: SUB
000001c9: SWAP1
000001ca: SWAP2
000001cb: AND
000001cc: DUP2
000001cd: MSTORE
000001ce: PUSH1 0x20
000001d0: ADD
000001d1: PUSH2 0x0125
000001d4: JUMP
000001d5: JUMPDEST
000001d6: CALLVALUE
000001d7: DUP1
000001d8: ISZERO
000001d9: PUSH2 0x01e1
000001dc: JUMPI
000001dd: PUSH1 0x00
000001df: DUP1
000001e0: REVERT
000001e1: JUMPDEST
000001e2: POP
000001e3: PUSH2 0x016f
000001e6: PUSH2 0x0457
000001e9: JUMP
000001ea: JUMPDEST
000001eb: CALLVALUE
000001ec: DUP1
000001ed: ISZERO
000001ee: PUSH2 0x01f6
000001f1: JUMPI
000001f2: PUSH1 0x00
000001f4: DUP1
000001f5: REVERT
000001f6: JUMPDEST
000001f7: POP
000001f8: PUSH1 0x03
000001fa: SLOAD
000001fb: PUSH2 0x016f
000001fe: JUMP
000001ff: JUMPDEST
00000200: CALLVALUE
00000201: DUP1
00000202: ISZERO
00000203: PUSH2 0x020b
00000206: JUMPI
00000207: PUSH1 0x00
00000209: DUP1
0000020a: REVERT
0000020b: JUMPDEST
0000020c: POP
0000020d: PUSH2 0x014e
00000210: PUSH2 0x021a
00000213: CALLDATASIZE
00000214: PUSH1 0x04
00000216: PUSH2 0x0b57
00000219: JUMP
0000021a: JUMPDEST
0000021b: PUSH2 0x0483
0000021e: JUMP
0000021f: JUMPDEST
00000220: CALLVALUE
00000221: DUP1
00000222: ISZERO
00000223: PUSH2 0x022b
00000226: JUMPI
00000227: PUSH1 0x00
00000229: DUP1
0000022a: REVERT
0000022b: JUMPDEST
0000022c: POP
0000022d: PUSH2 0x016f
00000230: PUSH2 0x023a
00000233: CALLDATASIZE
00000234: PUSH1 0x04
00000236: PUSH2 0x0ad0
00000239: JUMP
0000023a: JUMPDEST
0000023b: PUSH1 0x01
0000023d: PUSH1 0x01
0000023f: PUSH1 0xa0
00000241: SHL
00000242: SUB
00000243: AND
00000244: PUSH1 0x00
00000246: SWAP1
00000247: DUP2
00000248: MSTORE
00000249: PUSH1 0x04
0000024b: PUSH1 0x20
0000024d: MSTORE
0000024e: PUSH1 0x40
00000250: SWAP1
00000251: KECCAK256
00000252: SLOAD
00000253: SWAP1
00000254: JUMP
00000255: JUMPDEST
00000256: CALLVALUE
00000257: DUP1
00000258: ISZERO
00000259: PUSH2 0x0261
0000025c: JUMPI
0000025d: PUSH1 0x00
0000025f: DUP1
00000260: REVERT
00000261: JUMPDEST
00000262: POP
00000263: PUSH2 0x026a
00000266: PUSH2 0x04b9
00000269: JUMP
0000026a: JUMPDEST
0000026b: STOP
0000026c: JUMPDEST
0000026d: CALLVALUE
0000026e: DUP1
0000026f: ISZERO
00000270: PUSH2 0x0278
00000273: JUMPI
00000274: PUSH1 0x00
00000276: DUP1
00000277: REVERT
00000278: JUMPDEST
00000279: POP
0000027a: PUSH1 0x00
0000027c: SLOAD
0000027d: PUSH1 0x01
0000027f: PUSH1 0x01
00000281: PUSH1 0xa0
00000283: SHL
00000284: SUB
00000285: AND
00000286: PUSH2 0x01bd
00000289: JUMP
0000028a: JUMPDEST
0000028b: CALLVALUE
0000028c: DUP1
0000028d: ISZERO
0000028e: PUSH2 0x0296
00000291: JUMPI
00000292: PUSH1 0x00
00000294: DUP1
00000295: REVERT
00000296: JUMPDEST
00000297: POP
00000298: PUSH2 0x0118
0000029b: PUSH2 0x0568
0000029e: JUMP
0000029f: JUMPDEST
000002a0: CALLVALUE
000002a1: DUP1
000002a2: ISZERO
000002a3: PUSH2 0x02ab
000002a6: JUMPI
000002a7: PUSH1 0x00
000002a9: DUP1
000002aa: REVERT
000002ab: JUMPDEST
000002ac: POP
000002ad: PUSH2 0x014e
000002b0: PUSH2 0x02ba
000002b3: CALLDATASIZE
000002b4: PUSH1 0x04
000002b6: PUSH2 0x0b57
000002b9: JUMP
000002ba: JUMPDEST
000002bb: PUSH2 0x0577
000002be: JUMP
000002bf: JUMPDEST
000002c0: CALLVALUE
000002c1: DUP1
000002c2: ISZERO
000002c3: PUSH2 0x02cb
000002c6: JUMPI
000002c7: PUSH1 0x00
000002c9: DUP1
000002ca: REVERT
000002cb: JUMPDEST
000002cc: POP
000002cd: PUSH2 0x014e
000002d0: PUSH2 0x02da
000002d3: CALLDATASIZE
000002d4: PUSH1 0x04
000002d6: PUSH2 0x0b57
000002d9: JUMP
000002da: JUMPDEST
000002db: PUSH2 0x05c6
000002de: JUMP
000002df: JUMPDEST
000002e0: CALLVALUE
000002e1: DUP1
000002e2: ISZERO
000002e3: PUSH2 0x02eb
000002e6: JUMPI
000002e7: PUSH1 0x00
000002e9: DUP1
000002ea: REVERT
000002eb: JUMPDEST
000002ec: POP
000002ed: PUSH2 0x016f
000002f0: PUSH2 0x02fa
000002f3: CALLDATASIZE
000002f4: PUSH1 0x04
000002f6: PUSH2 0x0aea
000002f9: JUMP
000002fa: JUMPDEST
000002fb: PUSH1 0x01
000002fd: PUSH1 0x01
000002ff: PUSH1 0xa0
00000301: SHL
00000302: SUB
00000303: SWAP2
00000304: DUP3
00000305: AND
00000306: PUSH1 0x00
00000308: SWAP1
00000309: DUP2
0000030a: MSTORE
0000030b: PUSH1 0x05
0000030d: PUSH1 0x20
0000030f: SWAP1
00000310: DUP2
00000311: MSTORE
00000312: PUSH1 0x40
00000314: DUP1
00000315: DUP4
00000316: KECCAK256
00000317: SWAP4
00000318: SWAP1
00000319: SWAP5
0000031a: AND
0000031b: DUP3
0000031c: MSTORE
0000031d: SWAP2
0000031e: SWAP1
0000031f: SWAP2
00000320: MSTORE
00000321: KECCAK256
00000322: SLOAD
00000323: SWAP1
00000324: JUMP
00000325: JUMPDEST
00000326: CALLVALUE
00000327: DUP1
00000328: ISZERO
00000329: PUSH2 0x0331
0000032c: JUMPI
0000032d: PUSH1 0x00
0000032f: DUP1
00000330: REVERT
00000331: JUMPDEST
00000332: POP
00000333: PUSH2 0x026a
00000336: PUSH2 0x0340
00000339: CALLDATASIZE
0000033a: PUSH1 0x04
0000033c: PUSH2 0x0ad0
0000033f: JUMP
00000340: JUMPDEST
00000341: PUSH2 0x05d3
00000344: JUMP
00000345: JUMPDEST
00000346: PUSH1 0x60
00000348: PUSH1 0x01
0000034a: DUP1
0000034b: SLOAD
0000034c: PUSH2 0x0354
0000034f: SWAP1
00000350: PUSH2 0x0c02
00000353: JUMP
00000354: JUMPDEST
00000355: DUP1
00000356: PUSH1 0x1f
00000358: ADD
00000359: PUSH1 0x20
0000035b: DUP1
0000035c: SWAP2
0000035d: DIV
0000035e: MUL
0000035f: PUSH1 0x20
00000361: ADD
00000362: PUSH1 0x40
00000364: MLOAD
00000365: SWAP1
00000366: DUP2
00000367: ADD
00000368: PUSH1 0x40
0000036a: MSTORE
0000036b: DUP1
0000036c: SWAP3
0000036d: SWAP2
0000036e: SWAP1
0000036f: DUP2
00000370: DUP2
00000371: MSTORE
00000372: PUSH1 0x20
00000374: ADD
00000375: DUP3
00000376: DUP1
00000377: SLOAD
00000378: PUSH2 0x0380
0000037b: SWAP1
0000037c: PUSH2 0x0c02
0000037f: JUMP
00000380: JUMPDEST
00000381: DUP1
00000382: ISZERO
00000383: PUSH2 0x03cd
00000386: JUMPI
00000387: DUP1
00000388: PUSH1 0x1f
0000038a: LT
0000038b: PUSH2 0x03a2
0000038e: JUMPI
0000038f: PUSH2 0x0100
00000392: DUP1
00000393: DUP4
00000394: SLOAD
00000395: DIV
00000396: MUL
00000397: DUP4
00000398: MSTORE
00000399: SWAP2
0000039a: PUSH1 0x20
0000039c: ADD
0000039d: SWAP2
0000039e: PUSH2 0x03cd
000003a1: JUMP
000003a2: JUMPDEST
000003a3: DUP3
000003a4: ADD
000003a5: SWAP2
000003a6: SWAP1
000003a7: PUSH1 0x00
000003a9: MSTORE
000003aa: PUSH1 0x20
000003ac: PUSH1 0x00
000003ae: KECCAK256
000003af: SWAP1
000003b0: JUMPDEST
000003b1: DUP2
000003b2: SLOAD
000003b3: DUP2
000003b4: MSTORE
000003b5: SWAP1
000003b6: PUSH1 0x01
000003b8: ADD
000003b9: SWAP1
000003ba: PUSH1 0x20
000003bc: ADD
000003bd: DUP1
000003be: DUP4
000003bf: GT
000003c0: PUSH2 0x03b0
000003c3: JUMPI
000003c4: DUP3
000003c5: SWAP1
000003c6: SUB
000003c7: PUSH1 0x1f
000003c9: AND
000003ca: DUP3
000003cb: ADD
000003cc: SWAP2
000003cd: JUMPDEST
000003ce: POP
000003cf: POP
000003d0: POP
000003d1: POP
000003d2: POP
000003d3: SWAP1
000003d4: POP
000003d5: SWAP1
000003d6: JUMP
000003d7: JUMPDEST
000003d8: PUSH1 0x00
000003da: PUSH2 0x03e4
000003dd: CALLER
000003de: DUP5
000003df: DUP5
000003e0: PUSH2 0x06ed
000003e3: JUMP
000003e4: JUMPDEST
000003e5: POP
000003e6: PUSH1 0x01
000003e8: SWAP3
000003e9: SWAP2
000003ea: POP
000003eb: POP
000003ec: JUMP
000003ed: JUMPDEST
000003ee: PUSH1 0x00
000003f0: PUSH2 0x03fa
000003f3: DUP5
000003f4: DUP5
000003f5: DUP5
000003f6: PUSH2 0x0811
000003f9: JUMP
000003fa: JUMPDEST
000003fb: POP
000003fc: PUSH2 0x044d
000003ff: DUP5
00000400: CALLER
00000401: PUSH2 0x0448
00000404: DUP6
00000405: PUSH1 0x40
00000407: MLOAD
00000408: DUP1
00000409: PUSH1 0x60
0000040b: ADD
0000040c: PUSH1 0x40
0000040e: MSTORE
0000040f: DUP1
00000410: PUSH1 0x28
00000412: DUP2
00000413: MSTORE
00000414: PUSH1 0x20
00000416: ADD
00000417: PUSH2 0x0c54
0000041a: PUSH1 0x28
0000041c: SWAP2
0000041d: CODECOPY
0000041e: PUSH1 0x01
00000420: PUSH1 0x01
00000422: PUSH1 0xa0
00000424: SHL
00000425: SUB
00000426: DUP11
00000427: AND
00000428: PUSH1 0x00
0000042a: SWAP1
0000042b: DUP2
0000042c: MSTORE
0000042d: PUSH1 0x05
0000042f: PUSH1 0x20
00000431: SWAP1
00000432: DUP2
00000433: MSTORE
00000434: PUSH1 0x40
00000436: DUP1
00000437: DUP4
00000438: KECCAK256
00000439: CALLER
0000043a: DUP5
0000043b: MSTORE
0000043c: SWAP1
0000043d: SWAP2
0000043e: MSTORE
0000043f: SWAP1
00000440: KECCAK256
00000441: SLOAD
00000442: SWAP2
00000443: SWAP1
00000444: PUSH2 0x08ec
00000447: JUMP
00000448: JUMPDEST
00000449: PUSH2 0x06ed
0000044c: JUMP
0000044d: JUMPDEST
0000044e: POP
0000044f: PUSH1 0x01
00000451: SWAP4
00000452: SWAP3
00000453: POP
00000454: POP
00000455: POP
00000456: JUMP
00000457: JUMPDEST
00000458: PUSH1 0x06
0000045a: SLOAD
0000045b: PUSH1 0x01
0000045d: PUSH1 0x01
0000045f: PUSH1 0xa0
00000461: SHL
00000462: SUB
00000463: AND
00000464: PUSH1 0x00
00000466: SWAP1
00000467: DUP2
00000468: MSTORE
00000469: PUSH1 0x04
0000046b: PUSH1 0x20
0000046d: MSTORE
0000046e: PUSH1 0x40
00000470: DUP2
00000471: KECCAK256
00000472: SLOAD
00000473: PUSH1 0x07
00000475: SLOAD
00000476: PUSH2 0x047e
00000479: SWAP2
0000047a: PUSH2 0x0926
0000047d: JUMP
0000047e: JUMPDEST
0000047f: SWAP1
00000480: POP
00000481: SWAP1
00000482: JUMP
00000483: JUMPDEST
00000484: CALLER
00000485: PUSH1 0x00
00000487: DUP2
00000488: DUP2
00000489: MSTORE
0000048a: PUSH1 0x05
0000048c: PUSH1 0x20
0000048e: SWAP1
0000048f: DUP2
00000490: MSTORE
00000491: PUSH1 0x40
00000493: DUP1
00000494: DUP4
00000495: KECCAK256
00000496: PUSH1 0x01
00000498: PUSH1 0x01
0000049a: PUSH1 0xa0
0000049c: SHL
0000049d: SUB
0000049e: DUP8
0000049f: AND
000004a0: DUP5
000004a1: MSTORE
000004a2: SWAP1
000004a3: SWAP2
000004a4: MSTORE
000004a5: DUP2
000004a6: KECCAK256
000004a7: SLOAD
000004a8: SWAP1
000004a9: SWAP2
000004aa: PUSH2 0x03e4
000004ad: SWAP2
000004ae: DUP6
000004af: SWAP1
000004b0: PUSH2 0x0448
000004b3: SWAP1
000004b4: DUP7
000004b5: PUSH2 0x096f
000004b8: JUMP
000004b9: JUMPDEST
000004ba: PUSH1 0x00
000004bc: SLOAD
000004bd: PUSH1 0x01
000004bf: PUSH1 0x01
000004c1: PUSH1 0xa0
000004c3: SHL
000004c4: SUB
000004c5: AND
000004c6: CALLER
000004c7: EQ
000004c8: PUSH2 0x0518
000004cb: JUMPI
000004cc: PUSH1 0x40
000004ce: MLOAD
000004cf: PUSH3 0x461bcd
000004d3: PUSH1 0xe5
000004d5: SHL
000004d6: DUP2
000004d7: MSTORE
000004d8: PUSH1 0x20
000004da: PUSH1 0x04
000004dc: DUP3
000004dd: ADD
000004de: DUP2
000004df: SWAP1
000004e0: MSTORE
000004e1: PUSH1 0x24
000004e3: DUP3
000004e4: ADD
000004e5: MSTORE
000004e6: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000507: PUSH1 0x44
00000509: DUP3
0000050a: ADD
0000050b: MSTORE
0000050c: PUSH1 0x64
0000050e: ADD
0000050f: JUMPDEST
00000510: PUSH1 0x40
00000512: MLOAD
00000513: DUP1
00000514: SWAP2
00000515: SUB
00000516: SWAP1
00000517: REVERT
00000518: JUMPDEST
00000519: PUSH1 0x00
0000051b: DUP1
0000051c: SLOAD
0000051d: PUSH1 0x40
0000051f: MLOAD
00000520: PUSH2 0xdead
00000523: SWAP3
00000524: PUSH1 0x01
00000526: PUSH1 0x01
00000528: PUSH1 0xa0
0000052a: SHL
0000052b: SUB
0000052c: SWAP1
0000052d: SWAP3
0000052e: AND
0000052f: SWAP2
00000530: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000551: SWAP2
00000552: LOG3
00000553: PUSH1 0x00
00000555: DUP1
00000556: SLOAD
00000557: PUSH1 0x01
00000559: PUSH1 0x01
0000055b: PUSH1 0xa0
0000055d: SHL
0000055e: SUB
0000055f: NOT
00000560: AND
00000561: PUSH2 0xdead
00000564: OR
00000565: SWAP1
00000566: SSTORE
00000567: JUMP
00000568: JUMPDEST
00000569: PUSH1 0x60
0000056b: PUSH1 0x02
0000056d: DUP1
0000056e: SLOAD
0000056f: PUSH2 0x0354
00000572: SWAP1
00000573: PUSH2 0x0c02
00000576: JUMP
00000577: JUMPDEST
00000578: PUSH1 0x00
0000057a: PUSH2 0x03e4
0000057d: CALLER
0000057e: DUP5
0000057f: PUSH2 0x0448
00000582: DUP6
00000583: PUSH1 0x40
00000585: MLOAD
00000586: DUP1
00000587: PUSH1 0x60
00000589: ADD
0000058a: PUSH1 0x40
0000058c: MSTORE
0000058d: DUP1
0000058e: PUSH1 0x25
00000590: DUP2
00000591: MSTORE
00000592: PUSH1 0x20
00000594: ADD
00000595: PUSH2 0x0c7c
00000598: PUSH1 0x25
0000059a: SWAP2
0000059b: CODECOPY
0000059c: CALLER
0000059d: PUSH1 0x00
0000059f: SWAP1
000005a0: DUP2
000005a1: MSTORE
000005a2: PUSH1 0x05
000005a4: PUSH1 0x20
000005a6: SWAP1
000005a7: DUP2
000005a8: MSTORE
000005a9: PUSH1 0x40
000005ab: DUP1
000005ac: DUP4
000005ad: KECCAK256
000005ae: PUSH1 0x01
000005b0: PUSH1 0x01
000005b2: PUSH1 0xa0
000005b4: SHL
000005b5: SUB
000005b6: DUP14
000005b7: AND
000005b8: DUP5
000005b9: MSTORE
000005ba: SWAP1
000005bb: SWAP2
000005bc: MSTORE
000005bd: SWAP1
000005be: KECCAK256
000005bf: SLOAD
000005c0: SWAP2
000005c1: SWAP1
000005c2: PUSH2 0x08ec
000005c5: JUMP
000005c6: JUMPDEST
000005c7: PUSH1 0x00
000005c9: PUSH2 0x044d
000005cc: CALLER
000005cd: DUP5
000005ce: DUP5
000005cf: PUSH2 0x0811
000005d2: JUMP
000005d3: JUMPDEST
000005d4: PUSH1 0x00
000005d6: SLOAD
000005d7: PUSH1 0x01
000005d9: PUSH1 0x01
000005db: PUSH1 0xa0
000005dd: SHL
000005de: SUB
000005df: AND
000005e0: CALLER
000005e1: EQ
000005e2: PUSH2 0x062d
000005e5: JUMPI
000005e6: PUSH1 0x40
000005e8: MLOAD
000005e9: PUSH3 0x461bcd
000005ed: PUSH1 0xe5
000005ef: SHL
000005f0: DUP2
000005f1: MSTORE
000005f2: PUSH1 0x20
000005f4: PUSH1 0x04
000005f6: DUP3
000005f7: ADD
000005f8: DUP2
000005f9: SWAP1
000005fa: MSTORE
000005fb: PUSH1 0x24
000005fd: DUP3
000005fe: ADD
000005ff: MSTORE
00000600: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000621: PUSH1 0x44
00000623: DUP3
00000624: ADD
00000625: MSTORE
00000626: PUSH1 0x64
00000628: ADD
00000629: PUSH2 0x050f
0000062c: JUMP
0000062d: JUMPDEST
0000062e: PUSH1 0x01
00000630: PUSH1 0x01
00000632: PUSH1 0xa0
00000634: SHL
00000635: SUB
00000636: DUP2
00000637: AND
00000638: PUSH2 0x0692
0000063b: JUMPI
0000063c: PUSH1 0x40
0000063e: MLOAD
0000063f: PUSH3 0x461bcd
00000643: PUSH1 0xe5
00000645: SHL
00000646: DUP2
00000647: MSTORE
00000648: PUSH1 0x20
0000064a: PUSH1 0x04
0000064c: DUP3
0000064d: ADD
0000064e: MSTORE
0000064f: PUSH1 0x26
00000651: PUSH1 0x24
00000653: DUP3
00000654: ADD
00000655: MSTORE
00000656: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000677: PUSH1 0x44
00000679: DUP3
0000067a: ADD
0000067b: MSTORE
0000067c: PUSH6 0x646472657373
00000683: PUSH1 0xd0
00000685: SHL
00000686: PUSH1 0x64
00000688: DUP3
00000689: ADD
0000068a: MSTORE
0000068b: PUSH1 0x84
0000068d: ADD
0000068e: PUSH2 0x050f
00000691: JUMP
00000692: JUMPDEST
00000693: PUSH1 0x00
00000695: DUP1
00000696: SLOAD
00000697: PUSH1 0x40
00000699: MLOAD
0000069a: PUSH1 0x01
0000069c: PUSH1 0x01
0000069e: PUSH1 0xa0
000006a0: SHL
000006a1: SUB
000006a2: DUP1
000006a3: DUP6
000006a4: AND
000006a5: SWAP4
000006a6: SWAP3
000006a7: AND
000006a8: SWAP2
000006a9: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000006ca: SWAP2
000006cb: LOG3
000006cc: PUSH1 0x00
000006ce: DUP1
000006cf: SLOAD
000006d0: PUSH1 0x01
000006d2: PUSH1 0x01
000006d4: PUSH1 0xa0
000006d6: SHL
000006d7: SUB
000006d8: NOT
000006d9: AND
000006da: PUSH1 0x01
000006dc: PUSH1 0x01
000006de: PUSH1 0xa0
000006e0: SHL
000006e1: SUB
000006e2: SWAP3
000006e3: SWAP1
000006e4: SWAP3
000006e5: AND
000006e6: SWAP2
000006e7: SWAP1
000006e8: SWAP2
000006e9: OR
000006ea: SWAP1
000006eb: SSTORE
000006ec: JUMP
000006ed: JUMPDEST
000006ee: PUSH1 0x01
000006f0: PUSH1 0x01
000006f2: PUSH1 0xa0
000006f4: SHL
000006f5: SUB
000006f6: DUP4
000006f7: AND
000006f8: PUSH2 0x074f
000006fb: JUMPI
000006fc: PUSH1 0x40
000006fe: MLOAD
000006ff: PUSH3 0x461bcd
00000703: PUSH1 0xe5
00000705: SHL
00000706: DUP2
00000707: MSTORE
00000708: PUSH1 0x20
0000070a: PUSH1 0x04
0000070c: DUP3
0000070d: ADD
0000070e: MSTORE
0000070f: PUSH1 0x24
00000711: DUP1
00000712: DUP3
00000713: ADD
00000714: MSTORE
00000715: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
00000736: PUSH1 0x44
00000738: DUP3
00000739: ADD
0000073a: MSTORE
0000073b: PUSH4 0x72657373
00000740: PUSH1 0xe0
00000742: SHL
00000743: PUSH1 0x64
00000745: DUP3
00000746: ADD
00000747: MSTORE
00000748: PUSH1 0x84
0000074a: ADD
0000074b: PUSH2 0x050f
0000074e: JUMP
0000074f: JUMPDEST
00000750: PUSH1 0x01
00000752: PUSH1 0x01
00000754: PUSH1 0xa0
00000756: SHL
00000757: SUB
00000758: DUP3
00000759: AND
0000075a: PUSH2 0x07b0
0000075d: JUMPI
0000075e: PUSH1 0x40
00000760: MLOAD
00000761: PUSH3 0x461bcd
00000765: PUSH1 0xe5
00000767: SHL
00000768: DUP2
00000769: MSTORE
0000076a: PUSH1 0x20
0000076c: PUSH1 0x04
0000076e: DUP3
0000076f: ADD
00000770: MSTORE
00000771: PUSH1 0x22
00000773: PUSH1 0x24
00000775: DUP3
00000776: ADD
00000777: MSTORE
00000778: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00000799: PUSH1 0x44
0000079b: DUP3
0000079c: ADD
0000079d: MSTORE
0000079e: PUSH2 0x7373
000007a1: PUSH1 0xf0
000007a3: SHL
000007a4: PUSH1 0x64
000007a6: DUP3
000007a7: ADD
000007a8: MSTORE
000007a9: PUSH1 0x84
000007ab: ADD
000007ac: PUSH2 0x050f
000007af: JUMP
000007b0: JUMPDEST
000007b1: PUSH1 0x01
000007b3: PUSH1 0x01
000007b5: PUSH1 0xa0
000007b7: SHL
000007b8: SUB
000007b9: DUP4
000007ba: DUP2
000007bb: AND
000007bc: PUSH1 0x00
000007be: DUP2
000007bf: DUP2
000007c0: MSTORE
000007c1: PUSH1 0x05
000007c3: PUSH1 0x20
000007c5: SWAP1
000007c6: DUP2
000007c7: MSTORE
000007c8: PUSH1 0x40
000007ca: DUP1
000007cb: DUP4
000007cc: KECCAK256
000007cd: SWAP5
000007ce: DUP8
000007cf: AND
000007d0: DUP1
000007d1: DUP5
000007d2: MSTORE
000007d3: SWAP5
000007d4: DUP3
000007d5: MSTORE
000007d6: SWAP2
000007d7: DUP3
000007d8: SWAP1
000007d9: KECCAK256
000007da: DUP6
000007db: SWAP1
000007dc: SSTORE
000007dd: SWAP1
000007de: MLOAD
000007df: DUP5
000007e0: DUP2
000007e1: MSTORE
000007e2: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000803: SWAP2
00000804: ADD
00000805: PUSH1 0x40
00000807: MLOAD
00000808: DUP1
00000809: SWAP2
0000080a: SUB
0000080b: SWAP1
0000080c: LOG3
0000080d: POP
0000080e: POP
0000080f: POP
00000810: JUMP
00000811: JUMPDEST
00000812: PUSH1 0x00
00000814: PUSH1 0x01
00000816: PUSH1 0x01
00000818: PUSH1 0xa0
0000081a: SHL
0000081b: SUB
0000081c: DUP5
0000081d: AND
0000081e: PUSH2 0x0877
00000821: JUMPI
00000822: PUSH1 0x40
00000824: MLOAD
00000825: PUSH3 0x461bcd
00000829: PUSH1 0xe5
0000082b: SHL
0000082c: DUP2
0000082d: MSTORE
0000082e: PUSH1 0x20
00000830: PUSH1 0x04
00000832: DUP3
00000833: ADD
00000834: MSTORE
00000835: PUSH1 0x25
00000837: PUSH1 0x24
00000839: DUP3
0000083a: ADD
0000083b: MSTORE
0000083c: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
0000085d: PUSH1 0x44
0000085f: DUP3
00000860: ADD
00000861: MSTORE
00000862: PUSH5 0x6472657373
00000868: PUSH1 0xd8
0000086a: SHL
0000086b: PUSH1 0x64
0000086d: DUP3
0000086e: ADD
0000086f: MSTORE
00000870: PUSH1 0x84
00000872: ADD
00000873: PUSH2 0x050f
00000876: JUMP
00000877: JUMPDEST
00000878: PUSH1 0x01
0000087a: PUSH1 0x01
0000087c: PUSH1 0xa0
0000087e: SHL
0000087f: SUB
00000880: DUP4
00000881: AND
00000882: PUSH2 0x08d9
00000885: JUMPI
00000886: PUSH1 0x40
00000888: MLOAD
00000889: PUSH3 0x461bcd
0000088d: PUSH1 0xe5
0000088f: SHL
00000890: DUP2
00000891: MSTORE
00000892: PUSH1 0x20
00000894: PUSH1 0x04
00000896: DUP3
00000897: ADD
00000898: MSTORE
00000899: PUSH1 0x23
0000089b: PUSH1 0x24
0000089d: DUP3
0000089e: ADD
0000089f: MSTORE
000008a0: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
000008c1: PUSH1 0x44
000008c3: DUP3
000008c4: ADD
000008c5: MSTORE
000008c6: PUSH3 0x657373
000008ca: PUSH1 0xe8
000008cc: SHL
000008cd: PUSH1 0x64
000008cf: DUP3
000008d0: ADD
000008d1: MSTORE
000008d2: PUSH1 0x84
000008d4: ADD
000008d5: PUSH2 0x050f
000008d8: JUMP
000008d9: JUMPDEST
000008da: PUSH2 0x08e4
000008dd: DUP5
000008de: DUP5
000008df: DUP5
000008e0: PUSH2 0x09ce
000008e3: JUMP
000008e4: JUMPDEST
000008e5: SWAP5
000008e6: SWAP4
000008e7: POP
000008e8: POP
000008e9: POP
000008ea: POP
000008eb: JUMP
000008ec: JUMPDEST
000008ed: PUSH1 0x00
000008ef: DUP2
000008f0: DUP5
000008f1: DUP5
000008f2: GT
000008f3: ISZERO
000008f4: PUSH2 0x0910
000008f7: JUMPI
000008f8: PUSH1 0x40
000008fa: MLOAD
000008fb: PUSH3 0x461bcd
000008ff: PUSH1 0xe5
00000901: SHL
00000902: DUP2
00000903: MSTORE
00000904: PUSH1 0x04
00000906: ADD
00000907: PUSH2 0x050f
0000090a: SWAP2
0000090b: SWAP1
0000090c: PUSH2 0x0b80
0000090f: JUMP
00000910: JUMPDEST
00000911: POP
00000912: PUSH1 0x00
00000914: PUSH2 0x091d
00000917: DUP5
00000918: DUP7
00000919: PUSH2 0x0beb
0000091c: JUMP
0000091d: JUMPDEST
0000091e: SWAP6
0000091f: SWAP5
00000920: POP
00000921: POP
00000922: POP
00000923: POP
00000924: POP
00000925: JUMP
00000926: JUMPDEST
00000927: PUSH1 0x00
00000929: PUSH2 0x0968
0000092c: DUP4
0000092d: DUP4
0000092e: PUSH1 0x40
00000930: MLOAD
00000931: DUP1
00000932: PUSH1 0x40
00000934: ADD
00000935: PUSH1 0x40
00000937: MSTORE
00000938: DUP1
00000939: PUSH1 0x1e
0000093b: DUP2
0000093c: MSTORE
0000093d: PUSH1 0x20
0000093f: ADD
00000940: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00000961: DUP2
00000962: MSTORE
00000963: POP
00000964: PUSH2 0x08ec
00000967: JUMP
00000968: JUMPDEST
00000969: SWAP4
0000096a: SWAP3
0000096b: POP
0000096c: POP
0000096d: POP
0000096e: JUMP
0000096f: JUMPDEST
00000970: PUSH1 0x00
00000972: DUP1
00000973: PUSH2 0x097c
00000976: DUP4
00000977: DUP6
00000978: PUSH2 0x0bd3
0000097b: JUMP
0000097c: JUMPDEST
0000097d: SWAP1
0000097e: POP
0000097f: DUP4
00000980: DUP2
00000981: LT
00000982: ISZERO
00000983: PUSH2 0x0968
00000986: JUMPI
00000987: PUSH1 0x40
00000989: MLOAD
0000098a: PUSH3 0x461bcd
0000098e: PUSH1 0xe5
00000990: SHL
00000991: DUP2
00000992: MSTORE
00000993: PUSH1 0x20
00000995: PUSH1 0x04
00000997: DUP3
00000998: ADD
00000999: MSTORE
0000099a: PUSH1 0x1b
0000099c: PUSH1 0x24
0000099e: DUP3
0000099f: ADD
000009a0: MSTORE
000009a1: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
000009c2: PUSH1 0x44
000009c4: DUP3
000009c5: ADD
000009c6: MSTORE
000009c7: PUSH1 0x64
000009c9: ADD
000009ca: PUSH2 0x050f
000009cd: JUMP
000009ce: JUMPDEST
000009cf: PUSH1 0x40
000009d1: DUP1
000009d2: MLOAD
000009d3: DUP1
000009d4: DUP3
000009d5: ADD
000009d6: DUP3
000009d7: MSTORE
000009d8: PUSH1 0x14
000009da: DUP2
000009db: MSTORE
000009dc: PUSH20 0x496e73756666696369656e742042616c616e6365
000009f1: PUSH1 0x60
000009f3: SHL
000009f4: PUSH1 0x20
000009f6: DUP1
000009f7: DUP4
000009f8: ADD
000009f9: SWAP2
000009fa: SWAP1
000009fb: SWAP2
000009fc: MSTORE
000009fd: PUSH1 0x01
000009ff: PUSH1 0x01
00000a01: PUSH1 0xa0
00000a03: SHL
00000a04: SUB
00000a05: DUP7
00000a06: AND
00000a07: PUSH1 0x00
00000a09: SWAP1
00000a0a: DUP2
00000a0b: MSTORE
00000a0c: PUSH1 0x04
00000a0e: SWAP1
00000a0f: SWAP2
00000a10: MSTORE
00000a11: SWAP2
00000a12: DUP3
00000a13: KECCAK256
00000a14: SLOAD
00000a15: PUSH2 0x0a1f
00000a18: SWAP2
00000a19: DUP5
00000a1a: SWAP1
00000a1b: PUSH2 0x08ec
00000a1e: JUMP
00000a1f: JUMPDEST
00000a20: PUSH1 0x01
00000a22: PUSH1 0x01
00000a24: PUSH1 0xa0
00000a26: SHL
00000a27: SUB
00000a28: DUP1
00000a29: DUP7
00000a2a: AND
00000a2b: PUSH1 0x00
00000a2d: SWAP1
00000a2e: DUP2
00000a2f: MSTORE
00000a30: PUSH1 0x04
00000a32: PUSH1 0x20
00000a34: MSTORE
00000a35: PUSH1 0x40
00000a37: DUP1
00000a38: DUP3
00000a39: KECCAK256
00000a3a: SWAP4
00000a3b: SWAP1
00000a3c: SWAP4
00000a3d: SSTORE
00000a3e: SWAP1
00000a3f: DUP6
00000a40: AND
00000a41: DUP2
00000a42: MSTORE
00000a43: KECCAK256
00000a44: SLOAD
00000a45: PUSH2 0x0a4e
00000a48: SWAP1
00000a49: DUP4
00000a4a: PUSH2 0x096f
00000a4d: JUMP
00000a4e: JUMPDEST
00000a4f: PUSH1 0x01
00000a51: PUSH1 0x01
00000a53: PUSH1 0xa0
00000a55: SHL
00000a56: SUB
00000a57: DUP1
00000a58: DUP6
00000a59: AND
00000a5a: PUSH1 0x00
00000a5c: DUP2
00000a5d: DUP2
00000a5e: MSTORE
00000a5f: PUSH1 0x04
00000a61: PUSH1 0x20
00000a63: MSTORE
00000a64: PUSH1 0x40
00000a66: SWAP1
00000a67: DUP2
00000a68: SWAP1
00000a69: KECCAK256
00000a6a: SWAP4
00000a6b: SWAP1
00000a6c: SWAP4
00000a6d: SSTORE
00000a6e: SWAP2
00000a6f: MLOAD
00000a70: SWAP1
00000a71: DUP7
00000a72: AND
00000a73: SWAP1
00000a74: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000a95: SWAP1
00000a96: PUSH2 0x0aa2
00000a99: SWAP1
00000a9a: DUP7
00000a9b: DUP2
00000a9c: MSTORE
00000a9d: PUSH1 0x20
00000a9f: ADD
00000aa0: SWAP1
00000aa1: JUMP
00000aa2: JUMPDEST
00000aa3: PUSH1 0x40
00000aa5: MLOAD
00000aa6: DUP1
00000aa7: SWAP2
00000aa8: SUB
00000aa9: SWAP1
00000aaa: LOG3
00000aab: POP
00000aac: PUSH1 0x01
00000aae: SWAP4
00000aaf: SWAP3
00000ab0: POP
00000ab1: POP
00000ab2: POP
00000ab3: JUMP
00000ab4: JUMPDEST
00000ab5: DUP1
00000ab6: CALLDATALOAD
00000ab7: PUSH1 0x01
00000ab9: PUSH1 0x01
00000abb: PUSH1 0xa0
00000abd: SHL
00000abe: SUB
00000abf: DUP2
00000ac0: AND
00000ac1: DUP2
00000ac2: EQ
00000ac3: PUSH2 0x0acb
00000ac6: JUMPI
00000ac7: PUSH1 0x00
00000ac9: DUP1
00000aca: REVERT
00000acb: JUMPDEST
00000acc: SWAP2
00000acd: SWAP1
00000ace: POP
00000acf: JUMP
00000ad0: JUMPDEST
00000ad1: PUSH1 0x00
00000ad3: PUSH1 0x20
00000ad5: DUP3
00000ad6: DUP5
00000ad7: SUB
00000ad8: SLT
00000ad9: ISZERO
00000ada: PUSH2 0x0ae1
00000add: JUMPI
00000ade: DUP1
00000adf: DUP2
00000ae0: REVERT
00000ae1: JUMPDEST
00000ae2: PUSH2 0x0968
00000ae5: DUP3
00000ae6: PUSH2 0x0ab4
00000ae9: JUMP
00000aea: JUMPDEST
00000aeb: PUSH1 0x00
00000aed: DUP1
00000aee: PUSH1 0x40
00000af0: DUP4
00000af1: DUP6
00000af2: SUB
00000af3: SLT
00000af4: ISZERO
00000af5: PUSH2 0x0afc
00000af8: JUMPI
00000af9: DUP1
00000afa: DUP2
00000afb: REVERT
00000afc: JUMPDEST
00000afd: PUSH2 0x0b05
00000b00: DUP4
00000b01: PUSH2 0x0ab4
00000b04: JUMP
00000b05: JUMPDEST
00000b06: SWAP2
00000b07: POP
00000b08: PUSH2 0x0b13
00000b0b: PUSH1 0x20
00000b0d: DUP5
00000b0e: ADD
00000b0f: PUSH2 0x0ab4
00000b12: JUMP
00000b13: JUMPDEST
00000b14: SWAP1
00000b15: POP
00000b16: SWAP3
00000b17: POP
00000b18: SWAP3
00000b19: SWAP1
00000b1a: POP
00000b1b: JUMP
00000b1c: JUMPDEST
00000b1d: PUSH1 0x00
00000b1f: DUP1
00000b20: PUSH1 0x00
00000b22: PUSH1 0x60
00000b24: DUP5
00000b25: DUP7
00000b26: SUB
00000b27: SLT
00000b28: ISZERO
00000b29: PUSH2 0x0b30
00000b2c: JUMPI
00000b2d: DUP1
00000b2e: DUP2
00000b2f: REVERT
00000b30: JUMPDEST
00000b31: PUSH2 0x0b39
00000b34: DUP5
00000b35: PUSH2 0x0ab4
00000b38: JUMP
00000b39: JUMPDEST
00000b3a: SWAP3
00000b3b: POP
00000b3c: PUSH2 0x0b47
00000b3f: PUSH1 0x20
00000b41: DUP6
00000b42: ADD
00000b43: PUSH2 0x0ab4
00000b46: JUMP
00000b47: JUMPDEST
00000b48: SWAP2
00000b49: POP
00000b4a: PUSH1 0x40
00000b4c: DUP5
00000b4d: ADD
00000b4e: CALLDATALOAD
00000b4f: SWAP1
00000b50: POP
00000b51: SWAP3
00000b52: POP
00000b53: SWAP3
00000b54: POP
00000b55: SWAP3
00000b56: JUMP
00000b57: JUMPDEST
00000b58: PUSH1 0x00
00000b5a: DUP1
00000b5b: PUSH1 0x40
00000b5d: DUP4
00000b5e: DUP6
00000b5f: SUB
00000b60: SLT
00000b61: ISZERO
00000b62: PUSH2 0x0b69
00000b65: JUMPI
00000b66: DUP2
00000b67: DUP3
00000b68: REVERT
00000b69: JUMPDEST
00000b6a: PUSH2 0x0b72
00000b6d: DUP4
00000b6e: PUSH2 0x0ab4
00000b71: JUMP
00000b72: JUMPDEST
00000b73: SWAP5
00000b74: PUSH1 0x20
00000b76: SWAP4
00000b77: SWAP1
00000b78: SWAP4
00000b79: ADD
00000b7a: CALLDATALOAD
00000b7b: SWAP4
00000b7c: POP
00000b7d: POP
00000b7e: POP
00000b7f: JUMP
00000b80: JUMPDEST
00000b81: PUSH1 0x00
00000b83: PUSH1 0x20
00000b85: DUP1
00000b86: DUP4
00000b87: MSTORE
00000b88: DUP4
00000b89: MLOAD
00000b8a: DUP1
00000b8b: DUP3
00000b8c: DUP6
00000b8d: ADD
00000b8e: MSTORE
00000b8f: DUP3
00000b90: JUMPDEST
00000b91: DUP2
00000b92: DUP2
00000b93: LT
00000b94: ISZERO
00000b95: PUSH2 0x0bac
00000b98: JUMPI
00000b99: DUP6
00000b9a: DUP2
00000b9b: ADD
00000b9c: DUP4
00000b9d: ADD
00000b9e: MLOAD
00000b9f: DUP6
00000ba0: DUP3
00000ba1: ADD
00000ba2: PUSH1 0x40
00000ba4: ADD
00000ba5: MSTORE
00000ba6: DUP3
00000ba7: ADD
00000ba8: PUSH2 0x0b90
00000bab: JUMP
00000bac: JUMPDEST
00000bad: DUP2
00000bae: DUP2
00000baf: GT
00000bb0: ISZERO
00000bb1: PUSH2 0x0bbd
00000bb4: JUMPI
00000bb5: DUP4
00000bb6: PUSH1 0x40
00000bb8: DUP4
00000bb9: DUP8
00000bba: ADD
00000bbb: ADD
00000bbc: MSTORE
00000bbd: JUMPDEST
00000bbe: POP
00000bbf: PUSH1 0x1f
00000bc1: ADD
00000bc2: PUSH1 0x1f
00000bc4: NOT
00000bc5: AND
00000bc6: SWAP3
00000bc7: SWAP1
00000bc8: SWAP3
00000bc9: ADD
00000bca: PUSH1 0x40
00000bcc: ADD
00000bcd: SWAP4
00000bce: SWAP3
00000bcf: POP
00000bd0: POP
00000bd1: POP
00000bd2: JUMP
00000bd3: JUMPDEST
00000bd4: PUSH1 0x00
00000bd6: DUP3
00000bd7: NOT
00000bd8: DUP3
00000bd9: GT
00000bda: ISZERO
00000bdb: PUSH2 0x0be6
00000bde: JUMPI
00000bdf: PUSH2 0x0be6
00000be2: PUSH2 0x0c3d
00000be5: JUMP
00000be6: JUMPDEST
00000be7: POP
00000be8: ADD
00000be9: SWAP1
00000bea: JUMP
00000beb: JUMPDEST
00000bec: PUSH1 0x00
00000bee: DUP3
00000bef: DUP3
00000bf0: LT
00000bf1: ISZERO
00000bf2: PUSH2 0x0bfd
00000bf5: JUMPI
00000bf6: PUSH2 0x0bfd
00000bf9: PUSH2 0x0c3d
00000bfc: JUMP
00000bfd: JUMPDEST
00000bfe: POP
00000bff: SUB
00000c00: SWAP1
00000c01: JUMP
00000c02: JUMPDEST
00000c03: PUSH1 0x01
00000c05: DUP2
00000c06: DUP2
00000c07: SHR
00000c08: SWAP1
00000c09: DUP3
00000c0a: AND
00000c0b: DUP1
00000c0c: PUSH2 0x0c16
00000c0f: JUMPI
00000c10: PUSH1 0x7f
00000c12: DUP3
00000c13: AND
00000c14: SWAP2
00000c15: POP
00000c16: JUMPDEST
00000c17: PUSH1 0x20
00000c19: DUP3
00000c1a: LT
00000c1b: DUP2
00000c1c: EQ
00000c1d: ISZERO
00000c1e: PUSH2 0x0c37
00000c21: JUMPI
00000c22: PUSH4 0x4e487b71
00000c27: PUSH1 0xe0
00000c29: SHL
00000c2a: PUSH1 0x00
00000c2c: MSTORE
00000c2d: PUSH1 0x22
00000c2f: PUSH1 0x04
00000c31: MSTORE
00000c32: PUSH1 0x24
00000c34: PUSH1 0x00
00000c36: REVERT
00000c37: JUMPDEST
00000c38: POP
00000c39: SWAP2
00000c3a: SWAP1
00000c3b: POP
00000c3c: JUMP
00000c3d: JUMPDEST
00000c3e: PUSH4 0x4e487b71
00000c43: PUSH1 0xe0
00000c45: SHL
00000c46: PUSH1 0x00
00000c48: MSTORE
00000c49: PUSH1 0x11
00000c4b: PUSH1 0x04
00000c4d: MSTORE
00000c4e: PUSH1 0x24
00000c50: PUSH1 0x00
00000c52: REVERT
00000c53: INVALID
00000c54: GASLIMIT
00000c55: MSTORE
00000c56: NUMBER
00000c57: ORIGIN
00000c58: ADDRESS
00000c59: GASPRICE
00000c5a: KECCAK256
00000c5b: PUSH21 0x72616e7366657220616d6f756e7420657863656564
00000c71: PUSH20 0x20616c6c6f77616e636545524332303a20646563
00000c86: PUSH19 0x656173656420616c6c6f77616e63652062656c
00000c9a: PUSH16 0x77207a65726fa2646970667358221220
00000cab: TSTORE
00000cac: DIV
00000cad: PUSH24 0xe7a5161d9130e566d7b47286393459ddcb707c1b6ec4e495
00000cc6: UNKNOWN(0xCE)
00000cc7: PUSH27
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xa457c2d7", "selector": "0xa457c2d7", "calldata_variants": [ "0xa457c2d7", "0xa457c2d70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "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": "0x95d89b41", "selector": "0x95d89b41", "calldata_variants": [ "0x95d89b41", "0x95d89b410000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 3159, "type": "tx_origin_used" } ] }
Severity