Analysis Run

019b477e-d14d-733e-a980-bf4837f7d244

complete

Chain ID

1

Address

0x49b0d01b6038c805f9ee7b7ead067c0cb6553748

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

Bytecode only

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
27739	artifact.fetch	complete	1 / 3	4 months ago
27740	tool.cast_disasm	complete	1 / 3	4 months ago
71596	analysis.bundle	complete	1 / 3	2 weeks ago
71597	capability.graph	complete	1 / 3	2 weeks ago
71598	detector.run	complete	1 / 3	2 weeks ago
71599	validation.fork	complete	1 / 3	2 weeks ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: no

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

1

CALL-family (heavy)

2

EXT*/BALANCE

1

Total opcodes

1746

Flags

create_opcodes_present

View cast disassembly output

00000000: PUSH1 0x80
00000002: DUP1
00000003: PUSH1 0x40
00000005: MSTORE
00000006: PUSH1 0x04
00000008: CALLDATASIZE
00000009: LT
0000000a: ISZERO
0000000b: PUSH2 0x001d
0000000e: JUMPI
0000000f: JUMPDEST
00000010: POP
00000011: CALLDATASIZE
00000012: ISZERO
00000013: PUSH2 0x001b
00000016: JUMPI
00000017: PUSH1 0x00
00000019: DUP1
0000001a: REVERT
0000001b: JUMPDEST
0000001c: STOP
0000001d: JUMPDEST
0000001e: PUSH1 0x00
00000020: CALLDATALOAD
00000021: PUSH1 0xe0
00000023: SHR
00000024: SWAP1
00000025: DUP2
00000026: PUSH3 0x92d1f6
0000002a: EQ
0000002b: PUSH2 0x09e5
0000002e: JUMPI
0000002f: POP
00000030: DUP1
00000031: PUSH4 0x0dabba6c
00000036: EQ
00000037: PUSH2 0x0919
0000003a: JUMPI
0000003b: DUP1
0000003c: PUSH4 0x26a49e37
00000041: EQ
00000042: PUSH2 0x08ed
00000045: JUMPI
00000046: DUP1
00000047: PUSH4 0x5f279745
0000004c: EQ
0000004d: PUSH2 0x0189
00000050: JUMPI
00000051: DUP1
00000052: PUSH4 0x604fcc20
00000057: EQ
00000058: PUSH2 0x0863
0000005b: JUMPI
0000005c: DUP1
0000005d: PUSH4 0x715018a6
00000062: EQ
00000063: PUSH2 0x080a
00000066: JUMPI
00000067: DUP1
00000068: PUSH4 0x78b394d2
0000006d: EQ
0000006e: PUSH2 0x05d6
00000071: JUMPI
00000072: DUP1
00000073: PUSH4 0x8da5cb5b
00000078: EQ
00000079: PUSH2 0x05ad
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0x9b2dfb9b
00000083: EQ
00000084: PUSH2 0x0544
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xa9059cbb
0000008e: EQ
0000008f: PUSH2 0x027f
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0xcf104fbf
00000099: EQ
0000009a: PUSH2 0x0219
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0xe58b3af1
000000a4: EQ
000000a5: PUSH2 0x01d1
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0xe6d9f6ab
000000af: EQ
000000b0: PUSH2 0x0189
000000b3: JUMPI
000000b4: PUSH4 0xf2fde38b
000000b9: EQ
000000ba: PUSH2 0x00c3
000000bd: JUMPI
000000be: CODESIZE
000000bf: PUSH2 0x000f
000000c2: JUMP
000000c3: JUMPDEST
000000c4: CALLVALUE
000000c5: PUSH2 0x0184
000000c8: JUMPI
000000c9: PUSH1 0x20
000000cb: CALLDATASIZE
000000cc: PUSH1 0x03
000000ce: NOT
000000cf: ADD
000000d0: SLT
000000d1: PUSH2 0x0184
000000d4: JUMPI
000000d5: PUSH2 0x00dc
000000d8: PUSH2 0x0a3e
000000db: JUMP
000000dc: JUMPDEST
000000dd: PUSH2 0x00e4
000000e0: PUSH2 0x0a85
000000e3: JUMP
000000e4: JUMPDEST
000000e5: PUSH1 0x01
000000e7: PUSH1 0x01
000000e9: PUSH1 0xa0
000000eb: SHL
000000ec: SUB
000000ed: SWAP1
000000ee: DUP2
000000ef: AND
000000f0: SWAP1
000000f1: DUP2
000000f2: ISZERO
000000f3: PUSH2 0x0130
000000f6: JUMPI
000000f7: PUSH1 0x00
000000f9: SLOAD
000000fa: DUP3
000000fb: PUSH1 0x01
000000fd: DUP1
000000fe: PUSH1 0xa0
00000100: SHL
00000101: SUB
00000102: NOT
00000103: DUP3
00000104: AND
00000105: OR
00000106: PUSH1 0x00
00000108: SSTORE
00000109: AND
0000010a: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000012b: PUSH1 0x00
0000012d: DUP1
0000012e: LOG3
0000012f: STOP
00000130: JUMPDEST
00000131: PUSH1 0x40
00000133: MLOAD
00000134: PUSH3 0x461bcd
00000138: PUSH1 0xe5
0000013a: SHL
0000013b: DUP2
0000013c: MSTORE
0000013d: PUSH1 0x20
0000013f: PUSH1 0x04
00000141: DUP3
00000142: ADD
00000143: MSTORE
00000144: PUSH1 0x26
00000146: PUSH1 0x24
00000148: DUP3
00000149: ADD
0000014a: MSTORE
0000014b: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
0000016c: PUSH1 0x44
0000016e: DUP3
0000016f: ADD
00000170: MSTORE
00000171: PUSH6 0x646472657373
00000178: PUSH1 0xd0
0000017a: SHL
0000017b: PUSH1 0x64
0000017d: DUP3
0000017e: ADD
0000017f: MSTORE
00000180: PUSH1 0x84
00000182: SWAP1
00000183: REVERT
00000184: JUMPDEST
00000185: PUSH1 0x00
00000187: DUP1
00000188: REVERT
00000189: JUMPDEST
0000018a: CALLVALUE
0000018b: PUSH2 0x0184
0000018e: JUMPI
0000018f: PUSH1 0x40
00000191: CALLDATASIZE
00000192: PUSH1 0x03
00000194: NOT
00000195: ADD
00000196: SLT
00000197: PUSH2 0x0184
0000019a: JUMPI
0000019b: PUSH2 0x01a2
0000019e: PUSH2 0x0a28
000001a1: JUMP
000001a2: JUMPDEST
000001a3: PUSH1 0x04
000001a5: CALLDATALOAD
000001a6: PUSH1 0x00
000001a8: MSTORE
000001a9: PUSH1 0x03
000001ab: PUSH1 0x20
000001ad: MSTORE
000001ae: PUSH1 0x40
000001b0: PUSH1 0x00
000001b2: KECCAK256
000001b3: SWAP1
000001b4: PUSH1 0x01
000001b6: DUP1
000001b7: PUSH1 0xa0
000001b9: SHL
000001ba: SUB
000001bb: AND
000001bc: PUSH1 0x00
000001be: MSTORE
000001bf: PUSH1 0x20
000001c1: MSTORE
000001c2: PUSH1 0x20
000001c4: PUSH1 0x40
000001c6: PUSH1 0x00
000001c8: KECCAK256
000001c9: SLOAD
000001ca: PUSH1 0x40
000001cc: MLOAD
000001cd: SWAP1
000001ce: DUP2
000001cf: MSTORE
000001d0: RETURN
000001d1: JUMPDEST
000001d2: CALLVALUE
000001d3: PUSH2 0x0184
000001d6: JUMPI
000001d7: PUSH1 0x40
000001d9: CALLDATASIZE
000001da: PUSH1 0x03
000001dc: NOT
000001dd: ADD
000001de: SLT
000001df: PUSH2 0x0184
000001e2: JUMPI
000001e3: PUSH2 0x01ea
000001e6: PUSH2 0x0a28
000001e9: JUMP
000001ea: JUMPDEST
000001eb: PUSH1 0x04
000001ed: CALLDATALOAD
000001ee: PUSH1 0x00
000001f0: MSTORE
000001f1: PUSH1 0x02
000001f3: PUSH1 0x20
000001f5: MSTORE
000001f6: PUSH1 0x40
000001f8: PUSH1 0x00
000001fa: KECCAK256
000001fb: SWAP1
000001fc: PUSH1 0x01
000001fe: DUP1
000001ff: PUSH1 0xa0
00000201: SHL
00000202: SUB
00000203: AND
00000204: PUSH1 0x00
00000206: MSTORE
00000207: PUSH1 0x20
00000209: MSTORE
0000020a: PUSH1 0x20
0000020c: PUSH1 0x40
0000020e: PUSH1 0x00
00000210: KECCAK256
00000211: SLOAD
00000212: PUSH1 0x40
00000214: MLOAD
00000215: SWAP1
00000216: DUP2
00000217: MSTORE
00000218: RETURN
00000219: JUMPDEST
0000021a: CALLVALUE
0000021b: PUSH2 0x0184
0000021e: JUMPI
0000021f: PUSH1 0x20
00000221: CALLDATASIZE
00000222: PUSH1 0x03
00000224: NOT
00000225: ADD
00000226: SLT
00000227: PUSH2 0x0184
0000022a: JUMPI
0000022b: PUSH2 0x0232
0000022e: PUSH2 0x0a3e
00000231: JUMP
00000232: JUMPDEST
00000233: PUSH2 0x023a
00000236: PUSH2 0x0a85
00000239: JUMP
0000023a: JUMPDEST
0000023b: PUSH1 0x01
0000023d: PUSH1 0x01
0000023f: PUSH1 0xa0
00000241: SHL
00000242: SUB
00000243: AND
00000244: PUSH1 0x00
00000246: DUP2
00000247: DUP2
00000248: MSTORE
00000249: PUSH1 0x05
0000024b: PUSH1 0x20
0000024d: MSTORE
0000024e: PUSH1 0x40
00000250: DUP2
00000251: KECCAK256
00000252: DUP1
00000253: SLOAD
00000254: PUSH1 0xff
00000256: NOT
00000257: AND
00000258: SWAP1
00000259: SSTORE
0000025a: PUSH32 0x7d64f2f8d86d8cfb45d1fef99791bc5c8f60fb416fbcd56090dffc6019b0033b
0000027b: SWAP1
0000027c: DUP1
0000027d: LOG2
0000027e: STOP
0000027f: JUMPDEST
00000280: CALLVALUE
00000281: PUSH2 0x0184
00000284: JUMPI
00000285: PUSH1 0x40
00000287: CALLDATASIZE
00000288: PUSH1 0x03
0000028a: NOT
0000028b: ADD
0000028c: SLT
0000028d: PUSH2 0x0184
00000290: JUMPI
00000291: PUSH2 0x0298
00000294: PUSH2 0x0a3e
00000297: JUMP
00000298: JUMPDEST
00000299: PUSH1 0x24
0000029b: DUP1
0000029c: CALLDATALOAD
0000029d: SWAP2
0000029e: PUSH1 0x02
000002a0: PUSH1 0x01
000002a2: SLOAD
000002a3: EQ
000002a4: PUSH2 0x0500
000002a7: JUMPI
000002a8: PUSH1 0x02
000002aa: PUSH1 0x01
000002ac: SSTORE
000002ad: CALLER
000002ae: PUSH1 0x00
000002b0: MSTORE
000002b1: PUSH1 0x20
000002b3: SWAP2
000002b4: PUSH1 0x05
000002b6: DUP4
000002b7: MSTORE
000002b8: PUSH1 0xff
000002ba: PUSH1 0x40
000002bc: PUSH1 0x00
000002be: KECCAK256
000002bf: SLOAD
000002c0: AND
000002c1: ISZERO
000002c2: PUSH2 0x04d8
000002c5: JUMPI
000002c6: PUSH1 0x01
000002c8: PUSH1 0x01
000002ca: PUSH1 0xa0
000002cc: SHL
000002cd: SUB
000002ce: DUP3
000002cf: AND
000002d0: SWAP2
000002d1: DUP3
000002d2: ISZERO
000002d3: PUSH2 0x03fe
000002d6: JUMPI
000002d7: PUSH1 0x40
000002d9: MLOAD
000002da: DUP5
000002db: DUP2
000002dc: ADD
000002dd: SWAP1
000002de: PUSH4 0xa9059cbb
000002e3: PUSH1 0xe0
000002e5: SHL
000002e6: DUP3
000002e7: MSTORE
000002e8: CALLER
000002e9: DUP5
000002ea: DUP3
000002eb: ADD
000002ec: MSTORE
000002ed: DUP7
000002ee: PUSH1 0x44
000002f0: DUP3
000002f1: ADD
000002f2: MSTORE
000002f3: PUSH1 0x44
000002f5: DUP2
000002f6: MSTORE
000002f7: PUSH1 0x80
000002f9: DUP2
000002fa: ADD
000002fb: DUP2
000002fc: DUP2
000002fd: LT
000002fe: PUSH8 0xffffffffffffffff
00000307: DUP3
00000308: GT
00000309: OR
0000030a: PUSH2 0x03e9
0000030d: JUMPI
0000030e: PUSH1 0x40
00000310: MSTORE
00000311: MLOAD
00000312: PUSH1 0x00
00000314: SWAP3
00000315: DUP4
00000316: SWAP3
00000317: SWAP1
00000318: DUP4
00000319: SWAP1
0000031a: GAS
0000031b: CALL
0000031c: PUSH2 0x0323
0000031f: PUSH2 0x0b17
00000322: JUMP
00000323: JUMPDEST
00000324: DUP2
00000325: PUSH2 0x03b0
00000328: JUMPI
00000329: JUMPDEST
0000032a: POP
0000032b: ISZERO
0000032c: PUSH2 0x036d
0000032f: JUMPI
00000330: POP
00000331: SWAP1
00000332: PUSH32 0x3ddb739c68dd901671f09fbe0bc2344c179ed55f8e8110a7c7a3c5665bd9518d
00000353: SWAP3
00000354: PUSH1 0x60
00000356: SWAP3
00000357: JUMPDEST
00000358: PUSH1 0x40
0000035a: MLOAD
0000035b: SWAP3
0000035c: CALLER
0000035d: DUP5
0000035e: MSTORE
0000035f: DUP4
00000360: ADD
00000361: MSTORE
00000362: PUSH1 0x40
00000364: DUP3
00000365: ADD
00000366: MSTORE
00000367: LOG1
00000368: PUSH1 0x01
0000036a: DUP1
0000036b: SSTORE
0000036c: STOP
0000036d: JUMPDEST
0000036e: DUP3
0000036f: PUSH1 0x1f
00000371: PUSH1 0x64
00000373: SWAP3
00000374: PUSH1 0x40
00000376: MLOAD
00000377: SWAP3
00000378: PUSH3 0x461bcd
0000037c: PUSH1 0xe5
0000037e: SHL
0000037f: DUP5
00000380: MSTORE
00000381: PUSH1 0x04
00000383: DUP5
00000384: ADD
00000385: MSTORE
00000386: DUP3
00000387: ADD
00000388: MSTORE
00000389: PUSH32 0x5472616e7366657248656c7065723a205452414e534645525f4641494c454400
000003aa: PUSH1 0x44
000003ac: DUP3
000003ad: ADD
000003ae: MSTORE
000003af: REVERT
000003b0: JUMPDEST
000003b1: DUP1
000003b2: SWAP2
000003b3: POP
000003b4: MLOAD
000003b5: DUP5
000003b6: DUP2
000003b7: ISZERO
000003b8: SWAP2
000003b9: DUP3
000003ba: ISZERO
000003bb: PUSH2 0x03c9
000003be: JUMPI
000003bf: JUMPDEST
000003c0: POP
000003c1: POP
000003c2: SWAP1
000003c3: POP
000003c4: DUP6
000003c5: PUSH2 0x0329
000003c8: JUMP
000003c9: JUMPDEST
000003ca: DUP4
000003cb: DUP1
000003cc: SWAP3
000003cd: SWAP4
000003ce: POP
000003cf: ADD
000003d0: SUB
000003d1: SLT
000003d2: PUSH2 0x0184
000003d5: JUMPI
000003d6: DUP4
000003d7: ADD
000003d8: MLOAD
000003d9: DUP1
000003da: ISZERO
000003db: ISZERO
000003dc: DUP2
000003dd: SUB
000003de: PUSH2 0x0184
000003e1: JUMPI
000003e2: DUP1
000003e3: DUP5
000003e4: DUP8
000003e5: PUSH2 0x03bf
000003e8: JUMP
000003e9: JUMPDEST
000003ea: DUP5
000003eb: PUSH4 0x4e487b71
000003f0: PUSH1 0xe0
000003f2: SHL
000003f3: PUSH1 0x00
000003f5: MSTORE
000003f6: PUSH1 0x41
000003f8: PUSH1 0x04
000003fa: MSTORE
000003fb: PUSH1 0x00
000003fd: REVERT
000003fe: JUMPDEST
000003ff: POP
00000400: PUSH1 0x40
00000402: MLOAD
00000403: DUP4
00000404: DUP2
00000405: ADD
00000406: DUP2
00000407: DUP2
00000408: LT
00000409: PUSH8 0xffffffffffffffff
00000412: DUP3
00000413: GT
00000414: OR
00000415: PUSH2 0x04c3
00000418: JUMPI
00000419: SWAP1
0000041a: PUSH1 0x00
0000041c: SWAP2
0000041d: PUSH1 0x40
0000041f: MSTORE
00000420: MSTORE
00000421: PUSH1 0x00
00000423: DUP1
00000424: DUP1
00000425: DUP1
00000426: DUP8
00000427: CALLER
00000428: GAS
00000429: CALL
0000042a: PUSH2 0x0431
0000042d: PUSH2 0x0b17
00000430: JUMP
00000431: JUMPDEST
00000432: POP
00000433: ISZERO
00000434: PUSH2 0x0463
00000437: JUMPI
00000438: POP
00000439: SWAP1
0000043a: PUSH32 0x3ddb739c68dd901671f09fbe0bc2344c179ed55f8e8110a7c7a3c5665bd9518d
0000045b: SWAP3
0000045c: PUSH1 0x60
0000045e: SWAP3
0000045f: PUSH2 0x0357
00000462: JUMP
00000463: JUMPDEST
00000464: DUP3
00000465: PUSH1 0x34
00000467: PUSH1 0x84
00000469: SWAP3
0000046a: PUSH1 0x40
0000046c: MLOAD
0000046d: SWAP3
0000046e: PUSH3 0x461bcd
00000472: PUSH1 0xe5
00000474: SHL
00000475: DUP5
00000476: MSTORE
00000477: PUSH1 0x04
00000479: DUP5
0000047a: ADD
0000047b: MSTORE
0000047c: DUP3
0000047d: ADD
0000047e: MSTORE
0000047f: PUSH32 0x5472616e7366657248656c7065723a3a736166655472616e736665724554483a
000004a0: PUSH1 0x44
000004a2: DUP3
000004a3: ADD
000004a4: MSTORE
000004a5: PUSH20 0x08115512081d1c985b9cd9995c8819985a5b1959
000004ba: PUSH1 0x62
000004bc: SHL
000004bd: PUSH1 0x64
000004bf: DUP3
000004c0: ADD
000004c1: MSTORE
000004c2: REVERT
000004c3: JUMPDEST
000004c4: DUP3
000004c5: PUSH4 0x4e487b71
000004ca: PUSH1 0xe0
000004cc: SHL
000004cd: PUSH1 0x00
000004cf: MSTORE
000004d0: PUSH1 0x41
000004d2: PUSH1 0x04
000004d4: MSTORE
000004d5: PUSH1 0x00
000004d7: REVERT
000004d8: JUMPDEST
000004d9: DUP3
000004da: PUSH1 0x02
000004dc: PUSH1 0x64
000004de: SWAP3
000004df: PUSH1 0x40
000004e1: MLOAD
000004e2: SWAP3
000004e3: PUSH3 0x461bcd
000004e7: PUSH1 0xe5
000004e9: SHL
000004ea: DUP5
000004eb: MSTORE
000004ec: PUSH1 0x04
000004ee: DUP5
000004ef: ADD
000004f0: MSTORE
000004f1: DUP3
000004f2: ADD
000004f3: MSTORE
000004f4: PUSH2 0x4535
000004f7: PUSH1 0xf0
000004f9: SHL
000004fa: PUSH1 0x44
000004fc: DUP3
000004fd: ADD
000004fe: MSTORE
000004ff: REVERT
00000500: JUMPDEST
00000501: PUSH1 0x40
00000503: MLOAD
00000504: PUSH3 0x461bcd
00000508: PUSH1 0xe5
0000050a: SHL
0000050b: DUP2
0000050c: MSTORE
0000050d: PUSH1 0x20
0000050f: PUSH1 0x04
00000511: DUP3
00000512: ADD
00000513: MSTORE
00000514: PUSH1 0x1f
00000516: DUP2
00000517: DUP5
00000518: ADD
00000519: MSTORE
0000051a: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
0000053b: PUSH1 0x44
0000053d: DUP3
0000053e: ADD
0000053f: MSTORE
00000540: PUSH1 0x64
00000542: SWAP1
00000543: REVERT
00000544: JUMPDEST
00000545: CALLVALUE
00000546: PUSH2 0x0184
00000549: JUMPI
0000054a: PUSH1 0x20
0000054c: CALLDATASIZE
0000054d: PUSH1 0x03
0000054f: NOT
00000550: ADD
00000551: SLT
00000552: PUSH2 0x0184
00000555: JUMPI
00000556: PUSH2 0x055d
00000559: PUSH2 0x0a3e
0000055c: JUMP
0000055d: JUMPDEST
0000055e: PUSH2 0x0565
00000561: PUSH2 0x0a85
00000564: JUMP
00000565: JUMPDEST
00000566: PUSH1 0x01
00000568: PUSH1 0x01
0000056a: PUSH1 0xa0
0000056c: SHL
0000056d: SUB
0000056e: AND
0000056f: PUSH1 0x00
00000571: DUP2
00000572: DUP2
00000573: MSTORE
00000574: PUSH1 0x05
00000576: PUSH1 0x20
00000578: MSTORE
00000579: PUSH1 0x40
0000057b: DUP2
0000057c: KECCAK256
0000057d: DUP1
0000057e: SLOAD
0000057f: PUSH1 0xff
00000581: NOT
00000582: AND
00000583: PUSH1 0x01
00000585: OR
00000586: SWAP1
00000587: SSTORE
00000588: PUSH32 0x6e240b1a4e7a60aec0b06654f18dd1ed2ae68bdb6849ca9277d904b03b5d7b83
000005a9: SWAP1
000005aa: DUP1
000005ab: LOG2
000005ac: STOP
000005ad: JUMPDEST
000005ae: CALLVALUE
000005af: PUSH2 0x0184
000005b2: JUMPI
000005b3: PUSH1 0x00
000005b5: CALLDATASIZE
000005b6: PUSH1 0x03
000005b8: NOT
000005b9: ADD
000005ba: SLT
000005bb: PUSH2 0x0184
000005be: JUMPI
000005bf: PUSH1 0x00
000005c1: SLOAD
000005c2: PUSH1 0x40
000005c4: MLOAD
000005c5: PUSH1 0x01
000005c7: PUSH1 0x01
000005c9: PUSH1 0xa0
000005cb: SHL
000005cc: SUB
000005cd: SWAP1
000005ce: SWAP2
000005cf: AND
000005d0: DUP2
000005d1: MSTORE
000005d2: PUSH1 0x20
000005d4: SWAP1
000005d5: RETURN
000005d6: JUMPDEST
000005d7: CALLVALUE
000005d8: PUSH2 0x0184
000005db: JUMPI
000005dc: PUSH1 0xa0
000005de: CALLDATASIZE
000005df: PUSH1 0x03
000005e1: NOT
000005e2: ADD
000005e3: SLT
000005e4: PUSH2 0x0184
000005e7: JUMPI
000005e8: PUSH8 0xffffffffffffffff
000005f1: PUSH1 0x04
000005f3: CALLDATALOAD
000005f4: DUP2
000005f5: DUP2
000005f6: GT
000005f7: PUSH2 0x0184
000005fa: JUMPI
000005fb: PUSH2 0x0608
000005fe: SWAP1
000005ff: CALLDATASIZE
00000600: SWAP1
00000601: PUSH1 0x04
00000603: ADD
00000604: PUSH2 0x0a54
00000607: JUMP
00000608: JUMPDEST
00000609: SWAP2
0000060a: PUSH1 0x24
0000060c: SWAP3
0000060d: DUP4
0000060e: CALLDATALOAD
0000060f: DUP3
00000610: DUP2
00000611: GT
00000612: PUSH2 0x0184
00000615: JUMPI
00000616: PUSH2 0x0623
00000619: SWAP1
0000061a: CALLDATASIZE
0000061b: SWAP1
0000061c: PUSH1 0x04
0000061e: ADD
0000061f: PUSH2 0x0a54
00000622: JUMP
00000623: JUMPDEST
00000624: SWAP1
00000625: PUSH1 0x44
00000627: CALLDATALOAD
00000628: DUP5
00000629: DUP2
0000062a: GT
0000062b: PUSH2 0x0184
0000062e: JUMPI
0000062f: PUSH2 0x063c
00000632: SWAP1
00000633: CALLDATASIZE
00000634: SWAP1
00000635: PUSH1 0x04
00000637: ADD
00000638: PUSH2 0x0a54
0000063b: JUMP
0000063c: JUMPDEST
0000063d: SWAP2
0000063e: PUSH1 0x64
00000640: CALLDATALOAD
00000641: DUP7
00000642: DUP2
00000643: GT
00000644: PUSH2 0x0184
00000647: JUMPI
00000648: PUSH2 0x0655
0000064b: SWAP1
0000064c: CALLDATASIZE
0000064d: SWAP1
0000064e: PUSH1 0x04
00000650: ADD
00000651: PUSH2 0x0a54
00000654: JUMP
00000655: JUMPDEST
00000656: SWAP7
00000657: PUSH1 0x84
00000659: CALLDATALOAD
0000065a: SWAP1
0000065b: DUP2
0000065c: GT
0000065d: PUSH2 0x0184
00000660: JUMPI
00000661: PUSH2 0x066e
00000664: SWAP1
00000665: CALLDATASIZE
00000666: SWAP1
00000667: PUSH1 0x04
00000669: ADD
0000066a: PUSH2 0x0a54
0000066d: JUMP
0000066e: JUMPDEST
0000066f: SWAP7
00000670: SWAP1
00000671: SWAP4
00000672: PUSH2 0x0679
00000675: PUSH2 0x0a85
00000678: JUMP
00000679: JUMPDEST
0000067a: PUSH1 0x00
0000067c: JUMPDEST
0000067d: DUP3
0000067e: DUP2
0000067f: LT
00000680: PUSH2 0x0685
00000683: JUMPI
00000684: STOP
00000685: JUMPDEST
00000686: DUP1
00000687: DUP1
00000688: DUP10
00000689: DUP2
0000068a: DUP13
0000068b: DUP16
0000068c: DUP16
0000068d: SWAP1
0000068e: DUP12
0000068f: DUP5
00000690: DUP16
00000691: SWAP3
00000692: DUP16
00000693: DUP14
00000694: DUP16
00000695: DUP15
00000696: DUP6
00000697: DUP1
00000698: SWAP5
00000699: DUP2
0000069a: DUP13
0000069b: DUP16
0000069c: DUP13
0000069d: SWAP7
0000069e: DUP4
0000069f: DUP16
000006a0: DUP11
000006a1: DUP16
000006a2: DUP15
000006a3: DUP5
000006a4: PUSH2 0x06ae
000006a7: DUP2
000006a8: DUP16
000006a9: DUP16
000006aa: PUSH2 0x0add
000006ad: JUMP
000006ae: JUMPDEST
000006af: CALLDATALOAD
000006b0: SWAP4
000006b1: PUSH2 0x06b9
000006b4: SWAP3
000006b5: PUSH2 0x0add
000006b8: JUMP
000006b9: JUMPDEST
000006ba: CALLDATALOAD
000006bb: PUSH1 0x00
000006bd: SWAP1
000006be: DUP2
000006bf: MSTORE
000006c0: PUSH1 0x02
000006c2: PUSH1 0x20
000006c4: MSTORE
000006c5: PUSH1 0x40
000006c7: SWAP1
000006c8: KECCAK256
000006c9: SWAP1
000006ca: PUSH1 0x01
000006cc: PUSH1 0x01
000006ce: PUSH1 0xa0
000006d0: SHL
000006d1: SUB
000006d2: SWAP1
000006d3: PUSH2 0x06df
000006d6: SWAP1
000006d7: DUP7
000006d8: SWAP1
000006d9: DUP10
000006da: SWAP1
000006db: PUSH2 0x0add
000006de: JUMP
000006df: JUMPDEST
000006e0: PUSH2 0x06e8
000006e3: SWAP1
000006e4: PUSH2 0x0b03
000006e7: JUMP
000006e8: JUMPDEST
000006e9: AND
000006ea: PUSH1 0x00
000006ec: MSTORE
000006ed: PUSH1 0x20
000006ef: MSTORE
000006f0: PUSH1 0x40
000006f2: PUSH1 0x00
000006f4: KECCAK256
000006f5: SSTORE
000006f6: PUSH2 0x06fe
000006f9: SWAP3
000006fa: PUSH2 0x0add
000006fd: JUMP
000006fe: JUMPDEST
000006ff: CALLDATALOAD
00000700: SWAP1
00000701: PUSH2 0x070b
00000704: DUP5
00000705: DUP11
00000706: DUP14
00000707: PUSH2 0x0add
0000070a: JUMP
0000070b: JUMPDEST
0000070c: CALLDATALOAD
0000070d: PUSH1 0x00
0000070f: MSTORE
00000710: PUSH1 0x03
00000712: PUSH1 0x20
00000714: MSTORE
00000715: PUSH1 0x40
00000717: PUSH1 0x00
00000719: KECCAK256
0000071a: SWAP1
0000071b: DUP14
0000071c: DUP6
0000071d: PUSH1 0x01
0000071f: PUSH1 0xa0
00000721: SHL
00000722: PUSH1 0x01
00000724: SWAP1
00000725: SUB
00000726: SWAP3
00000727: PUSH2 0x072f
0000072a: SWAP3
0000072b: PUSH2 0x0add
0000072e: JUMP
0000072f: JUMPDEST
00000730: PUSH2 0x0738
00000733: SWAP1
00000734: PUSH2 0x0b03
00000737: JUMP
00000738: JUMPDEST
00000739: AND
0000073a: PUSH1 0x00
0000073c: MSTORE
0000073d: PUSH1 0x20
0000073f: MSTORE
00000740: PUSH1 0x40
00000742: PUSH1 0x00
00000744: KECCAK256
00000745: SSTORE
00000746: PUSH2 0x074e
00000749: SWAP3
0000074a: PUSH2 0x0add
0000074d: JUMP
0000074e: JUMPDEST
0000074f: CALLDATALOAD
00000750: SWAP3
00000751: PUSH2 0x0759
00000754: SWAP3
00000755: PUSH2 0x0add
00000758: JUMP
00000759: JUMPDEST
0000075a: CALLDATALOAD
0000075b: PUSH1 0x00
0000075d: MSTORE
0000075e: PUSH1 0x04
00000760: PUSH1 0x20
00000762: MSTORE
00000763: PUSH1 0x40
00000765: PUSH1 0x00
00000767: KECCAK256
00000768: SSTORE
00000769: PUSH2 0x0771
0000076c: SWAP3
0000076d: PUSH2 0x0add
00000770: JUMP
00000771: JUMPDEST
00000772: CALLDATALOAD
00000773: SWAP7
00000774: PUSH2 0x077c
00000777: SWAP3
00000778: PUSH2 0x0add
0000077b: JUMP
0000077c: JUMPDEST
0000077d: PUSH2 0x0785
00000780: SWAP1
00000781: PUSH2 0x0b03
00000784: JUMP
00000785: JUMPDEST
00000786: SWAP4
00000787: PUSH2 0x0790
0000078a: SWAP2
0000078b: DUP11
0000078c: PUSH2 0x0add
0000078f: JUMP
00000790: JUMPDEST
00000791: CALLDATALOAD
00000792: SWAP6
00000793: PUSH2 0x079c
00000796: SWAP2
00000797: DUP12
00000798: PUSH2 0x0add
0000079b: JUMP
0000079c: JUMPDEST
0000079d: CALLDATALOAD
0000079e: SWAP4
0000079f: PUSH2 0x07a8
000007a2: SWAP2
000007a3: DUP13
000007a4: PUSH2 0x0add
000007a7: JUMP
000007a8: JUMPDEST
000007a9: CALLDATALOAD
000007aa: PUSH1 0x40
000007ac: MLOAD
000007ad: SWAP4
000007ae: DUP5
000007af: MSTORE
000007b0: PUSH1 0x20
000007b2: DUP5
000007b3: ADD
000007b4: MSTORE
000007b5: PUSH1 0x01
000007b7: PUSH1 0xa0
000007b9: SHL
000007ba: PUSH1 0x01
000007bc: SWAP1
000007bd: SUB
000007be: AND
000007bf: SWAP2
000007c0: PUSH1 0x40
000007c2: PUSH32 0x6d1c33874f94a3882292af0d9c833c4a4beeb87a97ee6ea5b6b8fc7d54fac81e
000007e3: SWAP2
000007e4: LOG4
000007e5: PUSH1 0x00
000007e7: NOT
000007e8: DUP2
000007e9: EQ
000007ea: PUSH2 0x07f5
000007ed: JUMPI
000007ee: PUSH1 0x01
000007f0: ADD
000007f1: PUSH2 0x067c
000007f4: JUMP
000007f5: JUMPDEST
000007f6: DUP12
000007f7: PUSH4 0x4e487b71
000007fc: PUSH1 0xe0
000007fe: SHL
000007ff: PUSH1 0x00
00000801: MSTORE
00000802: PUSH1 0x11
00000804: PUSH1 0x04
00000806: MSTORE
00000807: PUSH1 0x00
00000809: REVERT
0000080a: JUMPDEST
0000080b: CALLVALUE
0000080c: PUSH2 0x0184
0000080f: JUMPI
00000810: PUSH1 0x00
00000812: CALLDATASIZE
00000813: PUSH1 0x03
00000815: NOT
00000816: ADD
00000817: SLT
00000818: PUSH2 0x0184
0000081b: JUMPI
0000081c: PUSH2 0x0823
0000081f: PUSH2 0x0a85
00000822: JUMP
00000823: JUMPDEST
00000824: PUSH1 0x00
00000826: DUP1
00000827: SLOAD
00000828: PUSH1 0x01
0000082a: PUSH1 0x01
0000082c: PUSH1 0xa0
0000082e: SHL
0000082f: SUB
00000830: NOT
00000831: DUP2
00000832: AND
00000833: DUP3
00000834: SSTORE
00000835: PUSH1 0x01
00000837: PUSH1 0x01
00000839: PUSH1 0xa0
0000083b: SHL
0000083c: SUB
0000083d: AND
0000083e: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000085f: DUP3
00000860: DUP1
00000861: LOG3
00000862: STOP
00000863: JUMPDEST
00000864: CALLVALUE
00000865: PUSH2 0x0184
00000868: JUMPI
00000869: PUSH1 0x80
0000086b: CALLDATASIZE
0000086c: PUSH1 0x03
0000086e: NOT
0000086f: ADD
00000870: SLT
00000871: PUSH2 0x0184
00000874: JUMPI
00000875: PUSH2 0x087c
00000878: PUSH2 0x0a28
0000087b: JUMP
0000087c: JUMPDEST
0000087d: PUSH1 0x01
0000087f: PUSH1 0x01
00000881: PUSH1 0xa0
00000883: SHL
00000884: SUB
00000885: SWAP1
00000886: PUSH1 0x64
00000888: CALLDATALOAD
00000889: DUP3
0000088a: DUP2
0000088b: AND
0000088c: SWAP2
0000088d: SWAP1
0000088e: DUP3
0000088f: SWAP1
00000890: SUB
00000891: PUSH2 0x0184
00000894: JUMPI
00000895: PUSH1 0x20
00000897: SWAP3
00000898: PUSH1 0x04
0000089a: CALLDATALOAD
0000089b: PUSH1 0x00
0000089d: MSTORE
0000089e: PUSH1 0x02
000008a0: DUP5
000008a1: MSTORE
000008a2: PUSH1 0x40
000008a4: PUSH1 0x00
000008a6: KECCAK256
000008a7: SWAP2
000008a8: AND
000008a9: PUSH1 0x00
000008ab: MSTORE
000008ac: DUP3
000008ad: MSTORE
000008ae: PUSH1 0x40
000008b0: PUSH1 0x00
000008b2: KECCAK256
000008b3: SLOAD
000008b4: SWAP1
000008b5: PUSH1 0x44
000008b7: CALLDATALOAD
000008b8: PUSH1 0x00
000008ba: MSTORE
000008bb: PUSH1 0x02
000008bd: DUP4
000008be: MSTORE
000008bf: PUSH1 0x40
000008c1: PUSH1 0x00
000008c3: KECCAK256
000008c4: SWAP1
000008c5: PUSH1 0x00
000008c7: MSTORE
000008c8: DUP3
000008c9: MSTORE
000008ca: PUSH1 0x40
000008cc: PUSH1 0x00
000008ce: KECCAK256
000008cf: SLOAD
000008d0: DUP2
000008d1: EQ
000008d2: SWAP1
000008d3: DUP2
000008d4: PUSH2 0x08e3
000008d7: JUMPI
000008d8: JUMPDEST
000008d9: POP
000008da: PUSH1 0x40
000008dc: MLOAD
000008dd: SWAP1
000008de: ISZERO
000008df: ISZERO
000008e0: DUP2
000008e1: MSTORE
000008e2: RETURN
000008e3: JUMPDEST
000008e4: SWAP1
000008e5: POP
000008e6: ISZERO
000008e7: ISZERO
000008e8: DUP3
000008e9: PUSH2 0x08d8
000008ec: JUMP
000008ed: JUMPDEST
000008ee: CALLVALUE
000008ef: PUSH2 0x0184
000008f2: JUMPI
000008f3: PUSH1 0x20
000008f5: CALLDATASIZE
000008f6: PUSH1 0x03
000008f8: NOT
000008f9: ADD
000008fa: SLT
000008fb: PUSH2 0x0184
000008fe: JUMPI
000008ff: PUSH1 0x04
00000901: CALLDATALOAD
00000902: PUSH1 0x00
00000904: MSTORE
00000905: PUSH1 0x04
00000907: PUSH1 0x20
00000909: MSTORE
0000090a: PUSH1 0x20
0000090c: PUSH1 0x40
0000090e: PUSH1 0x00
00000910: KECCAK256
00000911: SLOAD
00000912: PUSH1 0x40
00000914: MLOAD
00000915: SWAP1
00000916: DUP2
00000917: MSTORE
00000918: RETURN
00000919: JUMPDEST
0000091a: CALLVALUE
0000091b: PUSH2 0x0184
0000091e: JUMPI
0000091f: PUSH1 0x60
00000921: CALLDATASIZE
00000922: PUSH1 0x03
00000924: NOT
00000925: ADD
00000926: SLT
00000927: PUSH2 0x0184
0000092a: JUMPI
0000092b: PUSH1 0x04
0000092d: CALLDATALOAD
0000092e: PUSH2 0x0935
00000931: PUSH2 0x0a28
00000934: JUMP
00000935: JUMPDEST
00000936: PUSH1 0x44
00000938: CALLDATALOAD
00000939: SWAP1
0000093a: DUP3
0000093b: PUSH1 0x00
0000093d: MSTORE
0000093e: PUSH1 0x20
00000940: SWAP3
00000941: PUSH1 0x02
00000943: DUP5
00000944: MSTORE
00000945: PUSH1 0x40
00000947: PUSH1 0x00
00000949: KECCAK256
0000094a: SWAP2
0000094b: PUSH1 0x01
0000094d: DUP1
0000094e: PUSH1 0xa0
00000950: SHL
00000951: SUB
00000952: AND
00000953: SWAP2
00000954: DUP3
00000955: PUSH1 0x00
00000957: MSTORE
00000958: DUP5
00000959: MSTORE
0000095a: PUSH1 0x40
0000095c: PUSH1 0x00
0000095e: KECCAK256
0000095f: SLOAD
00000960: PUSH1 0x00
00000962: MSTORE
00000963: PUSH1 0x04
00000965: DUP5
00000966: MSTORE
00000967: PUSH1 0x40
00000969: PUSH1 0x00
0000096b: KECCAK256
0000096c: SLOAD
0000096d: DUP4
0000096e: DUP2
0000096f: MUL
00000970: SWAP4
00000971: DUP2
00000972: DUP6
00000973: DIV
00000974: EQ
00000975: SWAP1
00000976: ISZERO
00000977: OR
00000978: ISZERO
00000979: PUSH2 0x09cf
0000097c: JUMPI
0000097d: PUSH1 0x00
0000097f: MSTORE
00000980: PUSH1 0x03
00000982: DUP4
00000983: MSTORE
00000984: PUSH1 0x40
00000986: PUSH1 0x00
00000988: KECCAK256
00000989: SWAP1
0000098a: PUSH1 0x00
0000098c: MSTORE
0000098d: DUP3
0000098e: MSTORE
0000098f: PUSH1 0x40
00000991: PUSH1 0x00
00000993: KECCAK256
00000994: SLOAD
00000995: PUSH1 0x06
00000997: ADD
00000998: DUP1
00000999: PUSH1 0x06
0000099b: GT
0000099c: PUSH2 0x09cf
0000099f: JUMPI
000009a0: PUSH1 0x4d
000009a2: DUP2
000009a3: GT
000009a4: PUSH2 0x09cf
000009a7: JUMPI
000009a8: PUSH1 0x0a
000009aa: EXP
000009ab: DUP1
000009ac: ISZERO
000009ad: PUSH2 0x09b9
000009b0: JUMPI
000009b1: PUSH1 0x40
000009b3: MLOAD
000009b4: SWAP2
000009b5: DIV
000009b6: DUP2
000009b7: MSTORE
000009b8: RETURN
000009b9: JUMPDEST
000009ba: PUSH4 0x4e487b71
000009bf: PUSH1 0xe0
000009c1: SHL
000009c2: PUSH1 0x00
000009c4: MSTORE
000009c5: PUSH1 0x12
000009c7: PUSH1 0x04
000009c9: MSTORE
000009ca: PUSH1 0x24
000009cc: PUSH1 0x00
000009ce: REVERT
000009cf: JUMPDEST
000009d0: PUSH4 0x4e487b71
000009d5: PUSH1 0xe0
000009d7: SHL
000009d8: PUSH1 0x00
000009da: MSTORE
000009db: PUSH1 0x11
000009dd: PUSH1 0x04
000009df: MSTORE
000009e0: PUSH1 0x24
000009e2: PUSH1 0x00
000009e4: REVERT
000009e5: JUMPDEST
000009e6: CALLVALUE
000009e7: PUSH2 0x0184
000009ea: JUMPI
000009eb: PUSH1 0x40
000009ed: CALLDATASIZE
000009ee: PUSH1 0x03
000009f0: NOT
000009f1: ADD
000009f2: SLT
000009f3: PUSH2 0x0184
000009f6: JUMPI
000009f7: PUSH1 0x20
000009f9: SWAP1
000009fa: PUSH2 0x0a01
000009fd: PUSH2 0x0a28
00000a00: JUMP
00000a01: JUMPDEST
00000a02: PUSH1 0x04
00000a04: CALLDATALOAD
00000a05: PUSH1 0x00
00000a07: SWAP1
00000a08: DUP2
00000a09: MSTORE
00000a0a: PUSH1 0x02
00000a0c: DUP5
00000a0d: MSTORE
00000a0e: PUSH1 0x40
00000a10: DUP1
00000a11: DUP3
00000a12: KECCAK256
00000a13: PUSH1 0x01
00000a15: PUSH1 0x01
00000a17: PUSH1 0xa0
00000a19: SHL
00000a1a: SUB
00000a1b: SWAP1
00000a1c: SWAP4
00000a1d: AND
00000a1e: DUP3
00000a1f: MSTORE
00000a20: SWAP2
00000a21: DUP5
00000a22: MSTORE
00000a23: KECCAK256
00000a24: SLOAD
00000a25: DUP2
00000a26: MSTORE
00000a27: RETURN
00000a28: JUMPDEST
00000a29: PUSH1 0x24
00000a2b: CALLDATALOAD
00000a2c: SWAP1
00000a2d: PUSH1 0x01
00000a2f: PUSH1 0x01
00000a31: PUSH1 0xa0
00000a33: SHL
00000a34: SUB
00000a35: DUP3
00000a36: AND
00000a37: DUP3
00000a38: SUB
00000a39: PUSH2 0x0184
00000a3c: JUMPI
00000a3d: JUMP
00000a3e: JUMPDEST
00000a3f: PUSH1 0x04
00000a41: CALLDATALOAD
00000a42: SWAP1
00000a43: PUSH1 0x01
00000a45: PUSH1 0x01
00000a47: PUSH1 0xa0
00000a49: SHL
00000a4a: SUB
00000a4b: DUP3
00000a4c: AND
00000a4d: DUP3
00000a4e: SUB
00000a4f: PUSH2 0x0184
00000a52: JUMPI
00000a53: JUMP
00000a54: JUMPDEST
00000a55: SWAP2
00000a56: DUP2
00000a57: PUSH1 0x1f
00000a59: DUP5
00000a5a: ADD
00000a5b: SLT
00000a5c: ISZERO
00000a5d: PUSH2 0x0184
00000a60: JUMPI
00000a61: DUP3
00000a62: CALLDATALOAD
00000a63: SWAP2
00000a64: PUSH8 0xffffffffffffffff
00000a6d: DUP4
00000a6e: GT
00000a6f: PUSH2 0x0184
00000a72: JUMPI
00000a73: PUSH1 0x20
00000a75: DUP1
00000a76: DUP6
00000a77: ADD
00000a78: SWAP5
00000a79: DUP5
00000a7a: PUSH1 0x05
00000a7c: SHL
00000a7d: ADD
00000a7e: ADD
00000a7f: GT
00000a80: PUSH2 0x0184
00000a83: JUMPI
00000a84: JUMP
00000a85: JUMPDEST
00000a86: PUSH1 0x00
00000a88: SLOAD
00000a89: PUSH1 0x01
00000a8b: PUSH1 0x01
00000a8d: PUSH1 0xa0
00000a8f: SHL
00000a90: SUB
00000a91: AND
00000a92: CALLER
00000a93: SUB
00000a94: PUSH2 0x0a99
00000a97: JUMPI
00000a98: JUMP
00000a99: JUMPDEST
00000a9a: PUSH1 0x64
00000a9c: PUSH1 0x40
00000a9e: MLOAD
00000a9f: PUSH3 0x461bcd
00000aa3: PUSH1 0xe5
00000aa5: SHL
00000aa6: DUP2
00000aa7: MSTORE
00000aa8: PUSH1 0x20
00000aaa: PUSH1 0x04
00000aac: DUP3
00000aad: ADD
00000aae: MSTORE
00000aaf: PUSH1 0x20
00000ab1: PUSH1 0x24
00000ab3: DUP3
00000ab4: ADD
00000ab5: MSTORE
00000ab6: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000ad7: PUSH1 0x44
00000ad9: DUP3
00000ada: ADD
00000adb: MSTORE
00000adc: REVERT
00000add: JUMPDEST
00000ade: SWAP2
00000adf: SWAP1
00000ae0: DUP2
00000ae1: LT
00000ae2: ISZERO
00000ae3: PUSH2 0x0aed
00000ae6: JUMPI
00000ae7: PUSH1 0x05
00000ae9: SHL
00000aea: ADD
00000aeb: SWAP1
00000aec: JUMP
00000aed: JUMPDEST
00000aee: PUSH4 0x4e487b71
00000af3: PUSH1 0xe0
00000af5: SHL
00000af6: PUSH1 0x00
00000af8: MSTORE
00000af9: PUSH1 0x32
00000afb: PUSH1 0x04
00000afd: MSTORE
00000afe: PUSH1 0x24
00000b00: PUSH1 0x00
00000b02: REVERT
00000b03: JUMPDEST
00000b04: CALLDATALOAD
00000b05: PUSH1 0x01
00000b07: PUSH1 0x01
00000b09: PUSH1 0xa0
00000b0b: SHL
00000b0c: SUB
00000b0d: DUP2
00000b0e: AND
00000b0f: DUP2
00000b10: SUB
00000b11: PUSH2 0x0184
00000b14: JUMPI
00000b15: SWAP1
00000b16: JUMP
00000b17: JUMPDEST
00000b18: RETURNDATASIZE
00000b19: ISZERO
00000b1a: PUSH2 0x0b73
00000b1d: JUMPI
00000b1e: PUSH8 0xffffffffffffffff
00000b27: SWAP1
00000b28: RETURNDATASIZE
00000b29: DUP3
00000b2a: DUP2
00000b2b: GT
00000b2c: PUSH2 0x0b5d
00000b2f: JUMPI
00000b30: PUSH1 0x40
00000b32: MLOAD
00000b33: SWAP3
00000b34: PUSH1 0x1f
00000b36: DUP3
00000b37: ADD
00000b38: PUSH1 0x1f
00000b3a: NOT
00000b3b: SWAP1
00000b3c: DUP2
00000b3d: AND
00000b3e: PUSH1 0x3f
00000b40: ADD
00000b41: AND
00000b42: DUP5
00000b43: ADD
00000b44: SWAP1
00000b45: DUP2
00000b46: GT
00000b47: DUP5
00000b48: DUP3
00000b49: LT
00000b4a: OR
00000b4b: PUSH2 0x0b5d
00000b4e: JUMPI
00000b4f: PUSH1 0x40
00000b51: MSTORE
00000b52: DUP3
00000b53: MSTORE
00000b54: RETURNDATASIZE
00000b55: PUSH1 0x00
00000b57: PUSH1 0x20
00000b59: DUP5
00000b5a: ADD
00000b5b: RETURNDATACOPY
00000b5c: JUMP
00000b5d: JUMPDEST
00000b5e: PUSH4 0x4e487b71
00000b63: PUSH1 0xe0
00000b65: SHL
00000b66: PUSH1 0x00
00000b68: MSTORE
00000b69: PUSH1 0x41
00000b6b: PUSH1 0x04
00000b6d: MSTORE
00000b6e: PUSH1 0x24
00000b70: PUSH1 0x00
00000b72: REVERT
00000b73: JUMPDEST
00000b74: PUSH1 0x60
00000b76: SWAP1
00000b77: JUMP
00000b78: INVALID
00000b79: LOG2
00000b7a: PUSH5 0x6970667358
00000b80: UNKNOWN(0x22)
00000b81: SLT
00000b82: KECCAK256
00000b83: UNKNOWN(0xC4)
00000b84: ISZERO
00000b85: UNKNOWN(0xBB)
00000b86: SWAP9
00000b87: COINBASE
00000b88: DUP14
00000b89: UNKNOWN(0xB6)
00000b8a: UNKNOWN(0xAD)
00000b8b: CREATE2
00000b8c: SUB
00000b8d: UNKNOWN(0xB9)
00000b8e: UNKNOWN(0xE0)
00000b8f: EXTCODECOPY
00000b90: MSTORE8
00000b91: UNKNOWN(0xAF)
00000b92: UNKNOWN(0xCD)
00000b93: UNKNOWN(0x2D)
00000b94: UNKNOWN(0x24)
00000b95: CALLDATASIZE
00000b96: UNKNOWN(0xEF)
00000b97: MULMOD
00000b98: UNKNOWN(0x0E)
00000b99: UNKNOWN(0xED)
00000b9a: UNKNOWN(0x1F)
00000b9b: UNKNOWN(0xE3)
00000b9c: UNKNOWN(0x24)
00000b9d: MULMOD
00000b9e: UNKNOWN(0x2B)
00000b9f: UNKNOWN(0xCA)
00000ba0: UNKNOWN(0xE2)
00000ba1: PUSH32

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: 0x9a9bbf8e1123db9ec8b0f49b156106424b9d7ca962b16848b3a27e1fb2ac3ad6 call_targets: 0x49b0d01b6038c805f9ee7b7ead067c0cb6553748 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x9a9bbf8e1123db9ec8b0f49b156106424b9d7ca962b16848b3a27e1fb2ac3ad6", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x49b0d01b6038c805f9ee7b7ead067c0cb6553748" ], "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": "0x0dabba6c", "selector": "0x0dabba6c", "calldata_variants": [ "0x0dabba6c", "0x0dabba6c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x26a49e37", "selector": "0x26a49e37", "calldata_variants": [ "0x26a49e37", "0x26a49e370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5f279745", "selector": "0x5f279745", "calldata_variants": [ "0x5f279745", "0x5f2797450000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x604fcc20", "selector": "0x604fcc20", "calldata_variants": [ "0x604fcc20", "0x604fcc200000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x715018a6", "selector": "0x715018a6", "calldata_variants": [ "0x715018a6", "0x715018a60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x78b394d2", "selector": "0x78b394d2", "calldata_variants": [ "0x78b394d2", "0x78b394d20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9b2dfb9b", "selector": "0x9b2dfb9b", "calldata_variants": [ "0x9b2dfb9b", "0x9b2dfb9b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 795, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1065, "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: 0x9a9bbf8e1123db9ec8b0f49b156106424b9d7ca962b16848b3a27e1fb2ac3ad6 call_targets: 0x49b0d01b6038c805f9ee7b7ead067c0cb6553748 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x9a9bbf8e1123db9ec8b0f49b156106424b9d7ca962b16848b3a27e1fb2ac3ad6", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x49b0d01b6038c805f9ee7b7ead067c0cb6553748" ], "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": "0x0dabba6c", "selector": "0x0dabba6c", "calldata_variants": [ "0x0dabba6c", "0x0dabba6c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x26a49e37", "selector": "0x26a49e37", "calldata_variants": [ "0x26a49e37", "0x26a49e370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5f279745", "selector": "0x5f279745", "calldata_variants": [ "0x5f279745", "0x5f2797450000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x604fcc20", "selector": "0x604fcc20", "calldata_variants": [ "0x604fcc20", "0x604fcc200000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x715018a6", "selector": "0x715018a6", "calldata_variants": [ "0x715018a6", "0x715018a60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x78b394d2", "selector": "0x78b394d2", "calldata_variants": [ "0x78b394d2", "0x78b394d20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9b2dfb9b", "selector": "0x9b2dfb9b", "calldata_variants": [ "0x9b2dfb9b", "0x9b2dfb9b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 795, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1065, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [] }
medium	other	detector	CREATE/CREATE2 reachable	45	no	no	view trace_id: 0x9e46a919b3ba7d3b2879087d027a536c7fadc4b5cdff66d86dcb25fed0d01720 validation_json { "sink": "CREATE", "errors": 0, "status": "unknown", "attempts": 26, "trace_id": "0x9e46a919b3ba7d3b2879087d027a536c7fadc4b5cdff66d86dcb25fed0d01720", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x0dabba6c", "selector": "0x0dabba6c", "calldata_variants": [ "0x0dabba6c", "0x0dabba6c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x26a49e37", "selector": "0x26a49e37", "calldata_variants": [ "0x26a49e37", "0x26a49e370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5f279745", "selector": "0x5f279745", "calldata_variants": [ "0x5f279745", "0x5f2797450000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x604fcc20", "selector": "0x604fcc20", "calldata_variants": [ "0x604fcc20", "0x604fcc200000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x715018a6", "selector": "0x715018a6", "calldata_variants": [ "0x715018a6", "0x715018a60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x78b394d2", "selector": "0x78b394d2", "calldata_variants": [ "0x78b394d2", "0x78b394d20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9b2dfb9b", "selector": "0x9b2dfb9b", "calldata_variants": [ "0x9b2dfb9b", "0x9b2dfb9b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "create_count": 0, "create2_count": 1 }

Severity

Category

Tool

Title

Confidence

Validated

Confirmed

Details

high

other

detector

Untrusted CALL target/value reachable

60

no

view

trace_id: 0x9a9bbf8e1123db9ec8b0f49b156106424b9d7ca962b16848b3a27e1fb2ac3ad6

call_targets: 0x49b0d01b6038c805f9ee7b7ead067c0cb6553748

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x9a9bbf8e1123db9ec8b0f49b156106424b9d7ca962b16848b3a27e1fb2ac3ad6",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x49b0d01b6038c805f9ee7b7ead067c0cb6553748"
    ],
    "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": "0x0dabba6c",
            "selector": "0x0dabba6c",
            "calldata_variants": [
                "0x0dabba6c",
                "0x0dabba6c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x26a49e37",
            "selector": "0x26a49e37",
            "calldata_variants": [
                "0x26a49e37",
                "0x26a49e370000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5f279745",
            "selector": "0x5f279745",
            "calldata_variants": [
                "0x5f279745",
                "0x5f2797450000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x604fcc20",
            "selector": "0x604fcc20",
            "calldata_variants": [
                "0x604fcc20",
                "0x604fcc200000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x78b394d2",
            "selector": "0x78b394d2",
            "calldata_variants": [
                "0x78b394d2",
                "0x78b394d20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9b2dfb9b",
            "selector": "0x9b2dfb9b",
            "calldata_variants": [
                "0x9b2dfb9b",
                "0x9b2dfb9b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 795,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1065,
            "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

view

trace_id: 0x9a9bbf8e1123db9ec8b0f49b156106424b9d7ca962b16848b3a27e1fb2ac3ad6

call_targets: 0x49b0d01b6038c805f9ee7b7ead067c0cb6553748

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x9a9bbf8e1123db9ec8b0f49b156106424b9d7ca962b16848b3a27e1fb2ac3ad6",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x49b0d01b6038c805f9ee7b7ead067c0cb6553748"
    ],
    "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": "0x0dabba6c",
            "selector": "0x0dabba6c",
            "calldata_variants": [
                "0x0dabba6c",
                "0x0dabba6c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x26a49e37",
            "selector": "0x26a49e37",
            "calldata_variants": [
                "0x26a49e37",
                "0x26a49e370000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5f279745",
            "selector": "0x5f279745",
            "calldata_variants": [
                "0x5f279745",
                "0x5f2797450000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x604fcc20",
            "selector": "0x604fcc20",
            "calldata_variants": [
                "0x604fcc20",
                "0x604fcc200000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x78b394d2",
            "selector": "0x78b394d2",
            "calldata_variants": [
                "0x78b394d2",
                "0x78b394d20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9b2dfb9b",
            "selector": "0x9b2dfb9b",
            "calldata_variants": [
                "0x9b2dfb9b",
                "0x9b2dfb9b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 795,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1065,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}

medium

other

detector

CREATE/CREATE2 reachable

45

no

view

trace_id: 0x9e46a919b3ba7d3b2879087d027a536c7fadc4b5cdff66d86dcb25fed0d01720

validation_json

{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 26,
    "trace_id": "0x9e46a919b3ba7d3b2879087d027a536c7fadc4b5cdff66d86dcb25fed0d01720",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}

witness_json

{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x0dabba6c",
            "selector": "0x0dabba6c",
            "calldata_variants": [
                "0x0dabba6c",
                "0x0dabba6c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x26a49e37",
            "selector": "0x26a49e37",
            "calldata_variants": [
                "0x26a49e37",
                "0x26a49e370000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5f279745",
            "selector": "0x5f279745",
            "calldata_variants": [
                "0x5f279745",
                "0x5f2797450000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x604fcc20",
            "selector": "0x604fcc20",
            "calldata_variants": [
                "0x604fcc20",
                "0x604fcc200000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x78b394d2",
            "selector": "0x78b394d2",
            "calldata_variants": [
                "0x78b394d2",
                "0x78b394d20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9b2dfb9b",
            "selector": "0x9b2dfb9b",
            "calldata_variants": [
                "0x9b2dfb9b",
                "0x9b2dfb9b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "create_count": 0,
    "create2_count": 1
}