Analysis Run

019ba9a5-c6a6-73ec-af8f-c9bfded5a66e

complete

Chain ID

1

Address

0x16106e0e66bafc3767ba33756875d7b08ad3213b

Block Number

—

Created

Sat, Jan 10, 2026 8:42 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
37185	artifact.fetch	complete	1 / 3	3 months ago
37186	proxy.resolve	complete	1 / 3	3 months ago
37187	tool.cast_disasm	complete	1 / 3	3 months ago
37188	analysis.bundle	complete	1 / 3	3 months ago
37189	capability.graph	complete	1 / 3	3 months ago
37190	detector.run	complete	1 / 3	3 months ago
37191	validation.fork	complete	1 / 3	3 months ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no not_proxy

Implementation:

—

Verified Source: yes

Proxy evidence

{
    "status": "not_proxy"
}

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)

10

EXT*/BALANCE

7

Total opcodes

2343

Flags

heavy_ext_balance_usage

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x007f
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x933a9ce8
00000019: GT
0000001a: PUSH2 0x004e
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x933a9ce8
00000024: EQ
00000025: PUSH2 0x02e1
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xdbba0f01
0000002f: EQ
00000030: PUSH2 0x0312
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe34ed672
0000003a: EQ
0000003b: PUSH2 0x0355
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf161e7d4
00000045: EQ
00000046: PUSH2 0x042d
00000049: JUMPI
0000004a: PUSH2 0x00d2
0000004d: JUMP
0000004e: JUMPDEST
0000004f: DUP1
00000050: PUSH4 0x150b7a02
00000055: EQ
00000056: PUSH2 0x00d7
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x3914a04f
00000060: EQ
00000061: PUSH2 0x01c7
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x6c261975
0000006b: EQ
0000006c: PUSH2 0x01dc
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x9254c7d4
00000076: EQ
00000077: PUSH2 0x0217
0000007a: JUMPI
0000007b: PUSH2 0x00d2
0000007e: JUMP
0000007f: JUMPDEST
00000080: CALLDATASIZE
00000081: PUSH2 0x00d2
00000084: JUMPI
00000085: PUSH1 0x01
00000087: SLOAD
00000088: PUSH1 0x01
0000008a: PUSH1 0x01
0000008c: PUSH1 0xa0
0000008e: SHL
0000008f: SUB
00000090: AND
00000091: ISZERO
00000092: PUSH2 0x00d0
00000095: JUMPI
00000096: PUSH1 0x01
00000098: SLOAD
00000099: PUSH1 0x40
0000009b: MLOAD
0000009c: PUSH1 0x01
0000009e: PUSH1 0x01
000000a0: PUSH1 0xa0
000000a2: SHL
000000a3: SUB
000000a4: SWAP1
000000a5: SWAP2
000000a6: AND
000000a7: SWAP1
000000a8: SELFBALANCE
000000a9: DUP1
000000aa: ISZERO
000000ab: PUSH2 0x08fc
000000ae: MUL
000000af: SWAP2
000000b0: PUSH1 0x00
000000b2: DUP2
000000b3: DUP2
000000b4: DUP2
000000b5: DUP6
000000b6: DUP9
000000b7: DUP9
000000b8: CALL
000000b9: SWAP4
000000ba: POP
000000bb: POP
000000bc: POP
000000bd: POP
000000be: ISZERO
000000bf: DUP1
000000c0: ISZERO
000000c1: PUSH2 0x00ce
000000c4: JUMPI
000000c5: RETURNDATASIZE
000000c6: PUSH1 0x00
000000c8: DUP1
000000c9: RETURNDATACOPY
000000ca: RETURNDATASIZE
000000cb: PUSH1 0x00
000000cd: REVERT
000000ce: JUMPDEST
000000cf: POP
000000d0: JUMPDEST
000000d1: STOP
000000d2: JUMPDEST
000000d3: PUSH1 0x00
000000d5: DUP1
000000d6: REVERT
000000d7: JUMPDEST
000000d8: CALLVALUE
000000d9: DUP1
000000da: ISZERO
000000db: PUSH2 0x00e3
000000de: JUMPI
000000df: PUSH1 0x00
000000e1: DUP1
000000e2: REVERT
000000e3: JUMPDEST
000000e4: POP
000000e5: PUSH2 0x01aa
000000e8: PUSH1 0x04
000000ea: DUP1
000000eb: CALLDATASIZE
000000ec: SUB
000000ed: PUSH1 0x80
000000ef: DUP2
000000f0: LT
000000f1: ISZERO
000000f2: PUSH2 0x00fa
000000f5: JUMPI
000000f6: PUSH1 0x00
000000f8: DUP1
000000f9: REVERT
000000fa: JUMPDEST
000000fb: PUSH1 0x01
000000fd: PUSH1 0x01
000000ff: PUSH1 0xa0
00000101: SHL
00000102: SUB
00000103: DUP3
00000104: CALLDATALOAD
00000105: DUP2
00000106: AND
00000107: SWAP3
00000108: PUSH1 0x20
0000010a: DUP2
0000010b: ADD
0000010c: CALLDATALOAD
0000010d: SWAP1
0000010e: SWAP2
0000010f: AND
00000110: SWAP2
00000111: PUSH1 0x40
00000113: DUP3
00000114: ADD
00000115: CALLDATALOAD
00000116: SWAP2
00000117: SWAP1
00000118: DUP2
00000119: ADD
0000011a: SWAP1
0000011b: PUSH1 0x80
0000011d: DUP2
0000011e: ADD
0000011f: PUSH1 0x60
00000121: DUP3
00000122: ADD
00000123: CALLDATALOAD
00000124: PUSH5 0x0100000000
0000012a: DUP2
0000012b: GT
0000012c: ISZERO
0000012d: PUSH2 0x0135
00000130: JUMPI
00000131: PUSH1 0x00
00000133: DUP1
00000134: REVERT
00000135: JUMPDEST
00000136: DUP3
00000137: ADD
00000138: DUP4
00000139: PUSH1 0x20
0000013b: DUP3
0000013c: ADD
0000013d: GT
0000013e: ISZERO
0000013f: PUSH2 0x0147
00000142: JUMPI
00000143: PUSH1 0x00
00000145: DUP1
00000146: REVERT
00000147: JUMPDEST
00000148: DUP1
00000149: CALLDATALOAD
0000014a: SWAP1
0000014b: PUSH1 0x20
0000014d: ADD
0000014e: SWAP2
0000014f: DUP5
00000150: PUSH1 0x01
00000152: DUP4
00000153: MUL
00000154: DUP5
00000155: ADD
00000156: GT
00000157: PUSH5 0x0100000000
0000015d: DUP4
0000015e: GT
0000015f: OR
00000160: ISZERO
00000161: PUSH2 0x0169
00000164: JUMPI
00000165: PUSH1 0x00
00000167: DUP1
00000168: REVERT
00000169: JUMPDEST
0000016a: SWAP2
0000016b: SWAP1
0000016c: DUP1
0000016d: DUP1
0000016e: PUSH1 0x1f
00000170: ADD
00000171: PUSH1 0x20
00000173: DUP1
00000174: SWAP2
00000175: DIV
00000176: MUL
00000177: PUSH1 0x20
00000179: ADD
0000017a: PUSH1 0x40
0000017c: MLOAD
0000017d: SWAP1
0000017e: DUP2
0000017f: ADD
00000180: PUSH1 0x40
00000182: MSTORE
00000183: DUP1
00000184: SWAP4
00000185: SWAP3
00000186: SWAP2
00000187: SWAP1
00000188: DUP2
00000189: DUP2
0000018a: MSTORE
0000018b: PUSH1 0x20
0000018d: ADD
0000018e: DUP4
0000018f: DUP4
00000190: DUP1
00000191: DUP3
00000192: DUP5
00000193: CALLDATACOPY
00000194: PUSH1 0x00
00000196: SWAP3
00000197: ADD
00000198: SWAP2
00000199: SWAP1
0000019a: SWAP2
0000019b: MSTORE
0000019c: POP
0000019d: SWAP3
0000019e: SWAP6
0000019f: POP
000001a0: PUSH2 0x0460
000001a3: SWAP5
000001a4: POP
000001a5: POP
000001a6: POP
000001a7: POP
000001a8: POP
000001a9: JUMP
000001aa: JUMPDEST
000001ab: PUSH1 0x40
000001ad: DUP1
000001ae: MLOAD
000001af: PUSH1 0x01
000001b1: PUSH1 0x01
000001b3: PUSH1 0xe0
000001b5: SHL
000001b6: SUB
000001b7: NOT
000001b8: SWAP1
000001b9: SWAP3
000001ba: AND
000001bb: DUP3
000001bc: MSTORE
000001bd: MLOAD
000001be: SWAP1
000001bf: DUP2
000001c0: SWAP1
000001c1: SUB
000001c2: PUSH1 0x20
000001c4: ADD
000001c5: SWAP1
000001c6: RETURN
000001c7: JUMPDEST
000001c8: CALLVALUE
000001c9: DUP1
000001ca: ISZERO
000001cb: PUSH2 0x01d3
000001ce: JUMPI
000001cf: PUSH1 0x00
000001d1: DUP1
000001d2: REVERT
000001d3: JUMPDEST
000001d4: POP
000001d5: PUSH2 0x00d0
000001d8: PUSH2 0x04a3
000001db: JUMP
000001dc: JUMPDEST
000001dd: CALLVALUE
000001de: DUP1
000001df: ISZERO
000001e0: PUSH2 0x01e8
000001e3: JUMPI
000001e4: PUSH1 0x00
000001e6: DUP1
000001e7: REVERT
000001e8: JUMPDEST
000001e9: POP
000001ea: PUSH2 0x00d0
000001ed: PUSH1 0x04
000001ef: DUP1
000001f0: CALLDATASIZE
000001f1: SUB
000001f2: PUSH1 0x40
000001f4: DUP2
000001f5: LT
000001f6: ISZERO
000001f7: PUSH2 0x01ff
000001fa: JUMPI
000001fb: PUSH1 0x00
000001fd: DUP1
000001fe: REVERT
000001ff: JUMPDEST
00000200: POP
00000201: PUSH1 0x01
00000203: PUSH1 0x01
00000205: PUSH1 0xa0
00000207: SHL
00000208: SUB
00000209: DUP2
0000020a: CALLDATALOAD
0000020b: DUP2
0000020c: AND
0000020d: SWAP2
0000020e: PUSH1 0x20
00000210: ADD
00000211: CALLDATALOAD
00000212: AND
00000213: PUSH2 0x0602
00000216: JUMP
00000217: JUMPDEST
00000218: CALLVALUE
00000219: DUP1
0000021a: ISZERO
0000021b: PUSH2 0x0223
0000021e: JUMPI
0000021f: PUSH1 0x00
00000221: DUP1
00000222: REVERT
00000223: JUMPDEST
00000224: POP
00000225: PUSH2 0x00d0
00000228: PUSH1 0x04
0000022a: DUP1
0000022b: CALLDATASIZE
0000022c: SUB
0000022d: PUSH1 0x80
0000022f: DUP2
00000230: LT
00000231: ISZERO
00000232: PUSH2 0x023a
00000235: JUMPI
00000236: PUSH1 0x00
00000238: DUP1
00000239: REVERT
0000023a: JUMPDEST
0000023b: DUP2
0000023c: CALLDATALOAD
0000023d: SWAP2
0000023e: SWAP1
0000023f: DUP2
00000240: ADD
00000241: SWAP1
00000242: PUSH1 0x40
00000244: DUP2
00000245: ADD
00000246: PUSH1 0x20
00000248: DUP3
00000249: ADD
0000024a: CALLDATALOAD
0000024b: PUSH5 0x0100000000
00000251: DUP2
00000252: GT
00000253: ISZERO
00000254: PUSH2 0x025c
00000257: JUMPI
00000258: PUSH1 0x00
0000025a: DUP1
0000025b: REVERT
0000025c: JUMPDEST
0000025d: DUP3
0000025e: ADD
0000025f: DUP4
00000260: PUSH1 0x20
00000262: DUP3
00000263: ADD
00000264: GT
00000265: ISZERO
00000266: PUSH2 0x026e
00000269: JUMPI
0000026a: PUSH1 0x00
0000026c: DUP1
0000026d: REVERT
0000026e: JUMPDEST
0000026f: DUP1
00000270: CALLDATALOAD
00000271: SWAP1
00000272: PUSH1 0x20
00000274: ADD
00000275: SWAP2
00000276: DUP5
00000277: PUSH1 0x01
00000279: DUP4
0000027a: MUL
0000027b: DUP5
0000027c: ADD
0000027d: GT
0000027e: PUSH5 0x0100000000
00000284: DUP4
00000285: GT
00000286: OR
00000287: ISZERO
00000288: PUSH2 0x0290
0000028b: JUMPI
0000028c: PUSH1 0x00
0000028e: DUP1
0000028f: REVERT
00000290: JUMPDEST
00000291: SWAP2
00000292: SWAP1
00000293: DUP1
00000294: DUP1
00000295: PUSH1 0x1f
00000297: ADD
00000298: PUSH1 0x20
0000029a: DUP1
0000029b: SWAP2
0000029c: DIV
0000029d: MUL
0000029e: PUSH1 0x20
000002a0: ADD
000002a1: PUSH1 0x40
000002a3: MLOAD
000002a4: SWAP1
000002a5: DUP2
000002a6: ADD
000002a7: PUSH1 0x40
000002a9: MSTORE
000002aa: DUP1
000002ab: SWAP4
000002ac: SWAP3
000002ad: SWAP2
000002ae: SWAP1
000002af: DUP2
000002b0: DUP2
000002b1: MSTORE
000002b2: PUSH1 0x20
000002b4: ADD
000002b5: DUP4
000002b6: DUP4
000002b7: DUP1
000002b8: DUP3
000002b9: DUP5
000002ba: CALLDATACOPY
000002bb: PUSH1 0x00
000002bd: SWAP3
000002be: ADD
000002bf: SWAP2
000002c0: SWAP1
000002c1: SWAP2
000002c2: MSTORE
000002c3: POP
000002c4: SWAP3
000002c5: SWAP6
000002c6: POP
000002c7: POP
000002c8: POP
000002c9: POP
000002ca: DUP1
000002cb: CALLDATALOAD
000002cc: ISZERO
000002cd: ISZERO
000002ce: SWAP2
000002cf: POP
000002d0: PUSH1 0x20
000002d2: ADD
000002d3: CALLDATALOAD
000002d4: PUSH1 0x01
000002d6: PUSH1 0x01
000002d8: PUSH1 0xa0
000002da: SHL
000002db: SUB
000002dc: AND
000002dd: PUSH2 0x07ae
000002e0: JUMP
000002e1: JUMPDEST
000002e2: CALLVALUE
000002e3: DUP1
000002e4: ISZERO
000002e5: PUSH2 0x02ed
000002e8: JUMPI
000002e9: PUSH1 0x00
000002eb: DUP1
000002ec: REVERT
000002ed: JUMPDEST
000002ee: POP
000002ef: PUSH2 0x02f6
000002f2: PUSH2 0x0821
000002f5: JUMP
000002f6: JUMPDEST
000002f7: PUSH1 0x40
000002f9: DUP1
000002fa: MLOAD
000002fb: PUSH1 0x01
000002fd: PUSH1 0x01
000002ff: PUSH1 0xa0
00000301: SHL
00000302: SUB
00000303: SWAP1
00000304: SWAP3
00000305: AND
00000306: DUP3
00000307: MSTORE
00000308: MLOAD
00000309: SWAP1
0000030a: DUP2
0000030b: SWAP1
0000030c: SUB
0000030d: PUSH1 0x20
0000030f: ADD
00000310: SWAP1
00000311: RETURN
00000312: JUMPDEST
00000313: CALLVALUE
00000314: DUP1
00000315: ISZERO
00000316: PUSH2 0x031e
00000319: JUMPI
0000031a: PUSH1 0x00
0000031c: DUP1
0000031d: REVERT
0000031e: JUMPDEST
0000031f: POP
00000320: PUSH2 0x00d0
00000323: PUSH1 0x04
00000325: DUP1
00000326: CALLDATASIZE
00000327: SUB
00000328: PUSH1 0x60
0000032a: DUP2
0000032b: LT
0000032c: ISZERO
0000032d: PUSH2 0x0335
00000330: JUMPI
00000331: PUSH1 0x00
00000333: DUP1
00000334: REVERT
00000335: JUMPDEST
00000336: POP
00000337: PUSH1 0x01
00000339: PUSH1 0x01
0000033b: PUSH1 0xa0
0000033d: SHL
0000033e: SUB
0000033f: DUP2
00000340: CALLDATALOAD
00000341: DUP2
00000342: AND
00000343: SWAP2
00000344: PUSH1 0x20
00000346: DUP2
00000347: ADD
00000348: CALLDATALOAD
00000349: SWAP2
0000034a: PUSH1 0x40
0000034c: SWAP1
0000034d: SWAP2
0000034e: ADD
0000034f: CALLDATALOAD
00000350: AND
00000351: PUSH2 0x0830
00000354: JUMP
00000355: JUMPDEST
00000356: CALLVALUE
00000357: DUP1
00000358: ISZERO
00000359: PUSH2 0x0361
0000035c: JUMPI
0000035d: PUSH1 0x00
0000035f: DUP1
00000360: REVERT
00000361: JUMPDEST
00000362: POP
00000363: PUSH2 0x00d0
00000366: PUSH1 0x04
00000368: DUP1
00000369: CALLDATASIZE
0000036a: SUB
0000036b: PUSH1 0xa0
0000036d: DUP2
0000036e: LT
0000036f: ISZERO
00000370: PUSH2 0x0378
00000373: JUMPI
00000374: PUSH1 0x00
00000376: DUP1
00000377: REVERT
00000378: JUMPDEST
00000379: PUSH1 0x01
0000037b: PUSH1 0x01
0000037d: PUSH1 0xa0
0000037f: SHL
00000380: SUB
00000381: DUP3
00000382: CALLDATALOAD
00000383: AND
00000384: SWAP2
00000385: PUSH1 0x20
00000387: DUP2
00000388: ADD
00000389: CALLDATALOAD
0000038a: SWAP2
0000038b: DUP2
0000038c: ADD
0000038d: SWAP1
0000038e: PUSH1 0x60
00000390: DUP2
00000391: ADD
00000392: PUSH1 0x40
00000394: DUP3
00000395: ADD
00000396: CALLDATALOAD
00000397: PUSH5 0x0100000000
0000039d: DUP2
0000039e: GT
0000039f: ISZERO
000003a0: PUSH2 0x03a8
000003a3: JUMPI
000003a4: PUSH1 0x00
000003a6: DUP1
000003a7: REVERT
000003a8: JUMPDEST
000003a9: DUP3
000003aa: ADD
000003ab: DUP4
000003ac: PUSH1 0x20
000003ae: DUP3
000003af: ADD
000003b0: GT
000003b1: ISZERO
000003b2: PUSH2 0x03ba
000003b5: JUMPI
000003b6: PUSH1 0x00
000003b8: DUP1
000003b9: REVERT
000003ba: JUMPDEST
000003bb: DUP1
000003bc: CALLDATALOAD
000003bd: SWAP1
000003be: PUSH1 0x20
000003c0: ADD
000003c1: SWAP2
000003c2: DUP5
000003c3: PUSH1 0x01
000003c5: DUP4
000003c6: MUL
000003c7: DUP5
000003c8: ADD
000003c9: GT
000003ca: PUSH5 0x0100000000
000003d0: DUP4
000003d1: GT
000003d2: OR
000003d3: ISZERO
000003d4: PUSH2 0x03dc
000003d7: JUMPI
000003d8: PUSH1 0x00
000003da: DUP1
000003db: REVERT
000003dc: JUMPDEST
000003dd: SWAP2
000003de: SWAP1
000003df: DUP1
000003e0: DUP1
000003e1: PUSH1 0x1f
000003e3: ADD
000003e4: PUSH1 0x20
000003e6: DUP1
000003e7: SWAP2
000003e8: DIV
000003e9: MUL
000003ea: PUSH1 0x20
000003ec: ADD
000003ed: PUSH1 0x40
000003ef: MLOAD
000003f0: SWAP1
000003f1: DUP2
000003f2: ADD
000003f3: PUSH1 0x40
000003f5: MSTORE
000003f6: DUP1
000003f7: SWAP4
000003f8: SWAP3
000003f9: SWAP2
000003fa: SWAP1
000003fb: DUP2
000003fc: DUP2
000003fd: MSTORE
000003fe: PUSH1 0x20
00000400: ADD
00000401: DUP4
00000402: DUP4
00000403: DUP1
00000404: DUP3
00000405: DUP5
00000406: CALLDATACOPY
00000407: PUSH1 0x00
00000409: SWAP3
0000040a: ADD
0000040b: SWAP2
0000040c: SWAP1
0000040d: SWAP2
0000040e: MSTORE
0000040f: POP
00000410: SWAP3
00000411: SWAP6
00000412: POP
00000413: POP
00000414: POP
00000415: POP
00000416: DUP1
00000417: CALLDATALOAD
00000418: ISZERO
00000419: ISZERO
0000041a: SWAP2
0000041b: POP
0000041c: PUSH1 0x20
0000041e: ADD
0000041f: CALLDATALOAD
00000420: PUSH1 0x01
00000422: PUSH1 0x01
00000424: PUSH1 0xa0
00000426: SHL
00000427: SUB
00000428: AND
00000429: PUSH2 0x093f
0000042c: JUMP
0000042d: JUMPDEST
0000042e: CALLVALUE
0000042f: DUP1
00000430: ISZERO
00000431: PUSH2 0x0439
00000434: JUMPI
00000435: PUSH1 0x00
00000437: DUP1
00000438: REVERT
00000439: JUMPDEST
0000043a: POP
0000043b: PUSH2 0x00d0
0000043e: PUSH1 0x04
00000440: DUP1
00000441: CALLDATASIZE
00000442: SUB
00000443: PUSH1 0x20
00000445: DUP2
00000446: LT
00000447: ISZERO
00000448: PUSH2 0x0450
0000044b: JUMPI
0000044c: PUSH1 0x00
0000044e: DUP1
0000044f: REVERT
00000450: JUMPDEST
00000451: POP
00000452: CALLDATALOAD
00000453: PUSH1 0x01
00000455: PUSH1 0x01
00000457: PUSH1 0xa0
00000459: SHL
0000045a: SUB
0000045b: AND
0000045c: PUSH2 0x09a2
0000045f: JUMP
00000460: JUMPDEST
00000461: PUSH1 0x01
00000463: SLOAD
00000464: PUSH1 0x00
00000466: SWAP1
00000467: PUSH1 0x01
00000469: PUSH1 0x01
0000046b: PUSH1 0xa0
0000046d: SHL
0000046e: SUB
0000046f: AND
00000470: ISZERO
00000471: PUSH2 0x0492
00000474: JUMPI
00000475: PUSH1 0x01
00000477: DUP1
00000478: SLOAD
00000479: PUSH2 0x0492
0000047c: SWAP2
0000047d: PUSH1 0x01
0000047f: PUSH1 0x01
00000481: PUSH1 0xa0
00000483: SHL
00000484: SUB
00000485: SWAP1
00000486: SWAP2
00000487: AND
00000488: SWAP1
00000489: DUP6
0000048a: SWAP1
0000048b: DUP6
0000048c: SWAP1
0000048d: CALLER
0000048e: PUSH2 0x0b44
00000491: JUMP
00000492: JUMPDEST
00000493: POP
00000494: PUSH4 0x0a85bd01
00000499: PUSH1 0xe1
0000049b: SHL
0000049c: SWAP5
0000049d: SWAP4
0000049e: POP
0000049f: POP
000004a0: POP
000004a1: POP
000004a2: JUMP
000004a3: JUMPDEST
000004a4: PUSH1 0x00
000004a6: SLOAD
000004a7: PUSH1 0x01
000004a9: PUSH1 0x01
000004ab: PUSH1 0xa0
000004ad: SHL
000004ae: SUB
000004af: AND
000004b0: ISZERO
000004b1: DUP1
000004b2: PUSH2 0x04c5
000004b5: JUMPI
000004b6: POP
000004b7: PUSH1 0x00
000004b9: SLOAD
000004ba: PUSH1 0x01
000004bc: PUSH1 0x01
000004be: PUSH1 0xa0
000004c0: SHL
000004c1: SUB
000004c2: AND
000004c3: CALLER
000004c4: EQ
000004c5: JUMPDEST
000004c6: PUSH1 0x00
000004c8: SLOAD
000004c9: PUSH1 0x01
000004cb: PUSH1 0x01
000004cd: PUSH1 0xa0
000004cf: SHL
000004d0: SUB
000004d1: AND
000004d2: PUSH2 0x0510
000004d5: JUMPI
000004d6: PUSH1 0x40
000004d8: MLOAD
000004d9: DUP1
000004da: PUSH1 0x40
000004dc: ADD
000004dd: PUSH1 0x40
000004df: MSTORE
000004e0: DUP1
000004e1: PUSH1 0x1d
000004e3: DUP2
000004e4: MSTORE
000004e5: PUSH1 0x20
000004e7: ADD
000004e8: PUSH32 0x4f6e6c792050726f78792063616e20746f67676c6520697473656c6621000000
00000509: DUP2
0000050a: MSTORE
0000050b: POP
0000050c: PUSH2 0x053c
0000050f: JUMP
00000510: JUMPDEST
00000511: PUSH1 0x40
00000513: MLOAD
00000514: DUP1
00000515: PUSH1 0x40
00000517: ADD
00000518: PUSH1 0x40
0000051a: MSTORE
0000051b: DUP1
0000051c: PUSH1 0x12
0000051e: DUP2
0000051f: MSTORE
00000520: PUSH1 0x20
00000522: ADD
00000523: PUSH18 0x50726f787920616c72656164792073657421
00000536: PUSH1 0x70
00000538: SHL
00000539: DUP2
0000053a: MSTORE
0000053b: POP
0000053c: JUMPDEST
0000053d: SWAP1
0000053e: PUSH2 0x05c5
00000541: JUMPI
00000542: PUSH1 0x40
00000544: MLOAD
00000545: PUSH3 0x461bcd
00000549: PUSH1 0xe5
0000054b: SHL
0000054c: DUP2
0000054d: MSTORE
0000054e: PUSH1 0x04
00000550: ADD
00000551: DUP1
00000552: DUP1
00000553: PUSH1 0x20
00000555: ADD
00000556: DUP3
00000557: DUP2
00000558: SUB
00000559: DUP3
0000055a: MSTORE
0000055b: DUP4
0000055c: DUP2
0000055d: DUP2
0000055e: MLOAD
0000055f: DUP2
00000560: MSTORE
00000561: PUSH1 0x20
00000563: ADD
00000564: SWAP2
00000565: POP
00000566: DUP1
00000567: MLOAD
00000568: SWAP1
00000569: PUSH1 0x20
0000056b: ADD
0000056c: SWAP1
0000056d: DUP1
0000056e: DUP4
0000056f: DUP4
00000570: PUSH1 0x00
00000572: JUMPDEST
00000573: DUP4
00000574: DUP2
00000575: LT
00000576: ISZERO
00000577: PUSH2 0x058a
0000057a: JUMPI
0000057b: DUP2
0000057c: DUP2
0000057d: ADD
0000057e: MLOAD
0000057f: DUP4
00000580: DUP3
00000581: ADD
00000582: MSTORE
00000583: PUSH1 0x20
00000585: ADD
00000586: PUSH2 0x0572
00000589: JUMP
0000058a: JUMPDEST
0000058b: POP
0000058c: POP
0000058d: POP
0000058e: POP
0000058f: SWAP1
00000590: POP
00000591: SWAP1
00000592: DUP2
00000593: ADD
00000594: SWAP1
00000595: PUSH1 0x1f
00000597: AND
00000598: DUP1
00000599: ISZERO
0000059a: PUSH2 0x05b7
0000059d: JUMPI
0000059e: DUP1
0000059f: DUP3
000005a0: SUB
000005a1: DUP1
000005a2: MLOAD
000005a3: PUSH1 0x01
000005a5: DUP4
000005a6: PUSH1 0x20
000005a8: SUB
000005a9: PUSH2 0x0100
000005ac: EXP
000005ad: SUB
000005ae: NOT
000005af: AND
000005b0: DUP2
000005b1: MSTORE
000005b2: PUSH1 0x20
000005b4: ADD
000005b5: SWAP2
000005b6: POP
000005b7: JUMPDEST
000005b8: POP
000005b9: SWAP3
000005ba: POP
000005bb: POP
000005bc: POP
000005bd: PUSH1 0x40
000005bf: MLOAD
000005c0: DUP1
000005c1: SWAP2
000005c2: SUB
000005c3: SWAP1
000005c4: REVERT
000005c5: JUMPDEST
000005c6: POP
000005c7: PUSH1 0x00
000005c9: SLOAD
000005ca: PUSH1 0x01
000005cc: PUSH1 0x01
000005ce: PUSH1 0xa0
000005d0: SHL
000005d1: SUB
000005d2: AND
000005d3: ISZERO
000005d4: PUSH2 0x05de
000005d7: JUMPI
000005d8: PUSH1 0x00
000005da: PUSH2 0x05e0
000005dd: JUMP
000005de: JUMPDEST
000005df: CALLER
000005e0: JUMPDEST
000005e1: PUSH1 0x00
000005e3: DUP1
000005e4: SLOAD
000005e5: PUSH1 0x01
000005e7: PUSH1 0x01
000005e9: PUSH1 0xa0
000005eb: SHL
000005ec: SUB
000005ed: NOT
000005ee: AND
000005ef: PUSH1 0x01
000005f1: PUSH1 0x01
000005f3: PUSH1 0xa0
000005f5: SHL
000005f6: SUB
000005f7: SWAP3
000005f8: SWAP1
000005f9: SWAP3
000005fa: AND
000005fb: SWAP2
000005fc: SWAP1
000005fd: SWAP2
000005fe: OR
000005ff: SWAP1
00000600: SSTORE
00000601: JUMP
00000602: JUMPDEST
00000603: PUSH1 0x00
00000605: SLOAD
00000606: PUSH1 0x01
00000608: PUSH1 0x01
0000060a: PUSH1 0xa0
0000060c: SHL
0000060d: SUB
0000060e: AND
0000060f: CALLER
00000610: EQ
00000611: PUSH2 0x0658
00000614: JUMPI
00000615: PUSH1 0x40
00000617: DUP1
00000618: MLOAD
00000619: PUSH3 0x461bcd
0000061d: PUSH1 0xe5
0000061f: SHL
00000620: DUP2
00000621: MSTORE
00000622: PUSH1 0x20
00000624: PUSH1 0x04
00000626: DUP3
00000627: ADD
00000628: MSTORE
00000629: PUSH1 0x14
0000062b: PUSH1 0x24
0000062d: DUP3
0000062e: ADD
0000062f: MSTORE
00000630: PUSH20 0x556e617574686f72697a65642041636365737321
00000645: PUSH1 0x60
00000647: SHL
00000648: PUSH1 0x44
0000064a: DUP3
0000064b: ADD
0000064c: MSTORE
0000064d: SWAP1
0000064e: MLOAD
0000064f: SWAP1
00000650: DUP2
00000651: SWAP1
00000652: SUB
00000653: PUSH1 0x64
00000655: ADD
00000656: SWAP1
00000657: REVERT
00000658: JUMPDEST
00000659: PUSH1 0x01
0000065b: DUP1
0000065c: SLOAD
0000065d: PUSH1 0x01
0000065f: PUSH1 0x01
00000661: PUSH1 0xa0
00000663: SHL
00000664: SUB
00000665: DUP1
00000666: DUP6
00000667: AND
00000668: PUSH1 0x01
0000066a: PUSH1 0x01
0000066c: PUSH1 0xa0
0000066e: SHL
0000066f: SUB
00000670: NOT
00000671: SWAP1
00000672: SWAP3
00000673: AND
00000674: SWAP2
00000675: SWAP1
00000676: SWAP2
00000677: OR
00000678: SWAP2
00000679: DUP3
0000067a: SWAP1
0000067b: SSTORE
0000067c: PUSH1 0x40
0000067e: MLOAD
0000067f: SWAP2
00000680: AND
00000681: SWAP1
00000682: SELFBALANCE
00000683: DUP1
00000684: ISZERO
00000685: PUSH2 0x08fc
00000688: MUL
00000689: SWAP2
0000068a: PUSH1 0x00
0000068c: DUP2
0000068d: DUP2
0000068e: DUP2
0000068f: DUP6
00000690: DUP9
00000691: DUP9
00000692: CALL
00000693: SWAP4
00000694: POP
00000695: POP
00000696: POP
00000697: POP
00000698: ISZERO
00000699: DUP1
0000069a: ISZERO
0000069b: PUSH2 0x06a8
0000069e: JUMPI
0000069f: RETURNDATASIZE
000006a0: PUSH1 0x00
000006a2: DUP1
000006a3: RETURNDATACOPY
000006a4: RETURNDATASIZE
000006a5: PUSH1 0x00
000006a7: REVERT
000006a8: JUMPDEST
000006a9: POP
000006aa: PUSH1 0x01
000006ac: SLOAD
000006ad: PUSH1 0x40
000006af: DUP1
000006b0: MLOAD
000006b1: PUSH4 0x70a08231
000006b6: PUSH1 0xe0
000006b8: SHL
000006b9: DUP2
000006ba: MSTORE
000006bb: ADDRESS
000006bc: PUSH1 0x04
000006be: DUP3
000006bf: ADD
000006c0: MSTORE
000006c1: SWAP1
000006c2: MLOAD
000006c3: DUP4
000006c4: SWAP3
000006c5: PUSH1 0x01
000006c7: PUSH1 0x01
000006c9: PUSH1 0xa0
000006cb: SHL
000006cc: SUB
000006cd: DUP1
000006ce: DUP6
000006cf: AND
000006d0: SWAP4
000006d1: PUSH4 0xa9059cbb
000006d6: SWAP4
000006d7: SWAP3
000006d8: SWAP1
000006d9: SWAP2
000006da: AND
000006db: SWAP2
000006dc: DUP5
000006dd: SWAP2
000006de: PUSH4 0x70a08231
000006e3: SWAP2
000006e4: PUSH1 0x24
000006e6: DUP1
000006e7: DUP4
000006e8: ADD
000006e9: SWAP3
000006ea: PUSH1 0x20
000006ec: SWAP3
000006ed: SWAP2
000006ee: SWAP1
000006ef: DUP3
000006f0: SWAP1
000006f1: SUB
000006f2: ADD
000006f3: DUP2
000006f4: DUP7
000006f5: DUP1
000006f6: EXTCODESIZE
000006f7: ISZERO
000006f8: DUP1
000006f9: ISZERO
000006fa: PUSH2 0x0702
000006fd: JUMPI
000006fe: PUSH1 0x00
00000700: DUP1
00000701: REVERT
00000702: JUMPDEST
00000703: POP
00000704: GAS
00000705: STATICCALL
00000706: ISZERO
00000707: DUP1
00000708: ISZERO
00000709: PUSH2 0x0716
0000070c: JUMPI
0000070d: RETURNDATASIZE
0000070e: PUSH1 0x00
00000710: DUP1
00000711: RETURNDATACOPY
00000712: RETURNDATASIZE
00000713: PUSH1 0x00
00000715: REVERT
00000716: JUMPDEST
00000717: POP
00000718: POP
00000719: POP
0000071a: POP
0000071b: PUSH1 0x40
0000071d: MLOAD
0000071e: RETURNDATASIZE
0000071f: PUSH1 0x20
00000721: DUP2
00000722: LT
00000723: ISZERO
00000724: PUSH2 0x072c
00000727: JUMPI
00000728: PUSH1 0x00
0000072a: DUP1
0000072b: REVERT
0000072c: JUMPDEST
0000072d: POP
0000072e: MLOAD
0000072f: PUSH1 0x40
00000731: DUP1
00000732: MLOAD
00000733: PUSH1 0x01
00000735: PUSH1 0x01
00000737: PUSH1 0xe0
00000739: SHL
0000073a: SUB
0000073b: NOT
0000073c: PUSH1 0xe0
0000073e: DUP7
0000073f: SWAP1
00000740: SHL
00000741: AND
00000742: DUP2
00000743: MSTORE
00000744: PUSH1 0x01
00000746: PUSH1 0x01
00000748: PUSH1 0xa0
0000074a: SHL
0000074b: SUB
0000074c: SWAP1
0000074d: SWAP4
0000074e: AND
0000074f: PUSH1 0x04
00000751: DUP5
00000752: ADD
00000753: MSTORE
00000754: PUSH1 0x24
00000756: DUP4
00000757: ADD
00000758: SWAP2
00000759: SWAP1
0000075a: SWAP2
0000075b: MSTORE
0000075c: MLOAD
0000075d: PUSH1 0x44
0000075f: DUP1
00000760: DUP4
00000761: ADD
00000762: SWAP3
00000763: PUSH1 0x20
00000765: SWAP3
00000766: SWAP2
00000767: SWAP1
00000768: DUP3
00000769: SWAP1
0000076a: SUB
0000076b: ADD
0000076c: DUP2
0000076d: PUSH1 0x00
0000076f: DUP8
00000770: DUP1
00000771: EXTCODESIZE
00000772: ISZERO
00000773: DUP1
00000774: ISZERO
00000775: PUSH2 0x077d
00000778: JUMPI
00000779: PUSH1 0x00
0000077b: DUP1
0000077c: REVERT
0000077d: JUMPDEST
0000077e: POP
0000077f: GAS
00000780: CALL
00000781: ISZERO
00000782: DUP1
00000783: ISZERO
00000784: PUSH2 0x0791
00000787: JUMPI
00000788: RETURNDATASIZE
00000789: PUSH1 0x00
0000078b: DUP1
0000078c: RETURNDATACOPY
0000078d: RETURNDATASIZE
0000078e: PUSH1 0x00
00000790: REVERT
00000791: JUMPDEST
00000792: POP
00000793: POP
00000794: POP
00000795: POP
00000796: PUSH1 0x40
00000798: MLOAD
00000799: RETURNDATASIZE
0000079a: PUSH1 0x20
0000079c: DUP2
0000079d: LT
0000079e: ISZERO
0000079f: PUSH2 0x07a7
000007a2: JUMPI
000007a3: PUSH1 0x00
000007a5: DUP1
000007a6: REVERT
000007a7: JUMPDEST
000007a8: POP
000007a9: POP
000007aa: POP
000007ab: POP
000007ac: POP
000007ad: JUMP
000007ae: JUMPDEST
000007af: PUSH1 0x01
000007b1: SLOAD
000007b2: PUSH1 0x01
000007b4: PUSH1 0x01
000007b6: PUSH1 0xa0
000007b8: SHL
000007b9: SUB
000007ba: AND
000007bb: PUSH2 0x0802
000007be: JUMPI
000007bf: PUSH1 0x40
000007c1: DUP1
000007c2: MLOAD
000007c3: PUSH3 0x461bcd
000007c7: PUSH1 0xe5
000007c9: SHL
000007ca: DUP2
000007cb: MSTORE
000007cc: PUSH1 0x20
000007ce: PUSH1 0x04
000007d0: DUP3
000007d1: ADD
000007d2: MSTORE
000007d3: PUSH1 0x14
000007d5: PUSH1 0x24
000007d7: DUP3
000007d8: ADD
000007d9: MSTORE
000007da: PUSH20 0x556e617574686f72697a65642041636365737321
000007ef: PUSH1 0x60
000007f1: SHL
000007f2: PUSH1 0x44
000007f4: DUP3
000007f5: ADD
000007f6: MSTORE
000007f7: SWAP1
000007f8: MLOAD
000007f9: SWAP1
000007fa: DUP2
000007fb: SWAP1
000007fc: SUB
000007fd: PUSH1 0x64
000007ff: ADD
00000800: SWAP1
00000801: REVERT
00000802: JUMPDEST
00000803: PUSH1 0x01
00000805: SLOAD
00000806: PUSH2 0x081b
00000809: SWAP1
0000080a: PUSH1 0x01
0000080c: PUSH1 0x01
0000080e: PUSH1 0xa0
00000810: SHL
00000811: SUB
00000812: AND
00000813: DUP6
00000814: DUP6
00000815: DUP6
00000816: DUP6
00000817: PUSH2 0x0b44
0000081a: JUMP
0000081b: JUMPDEST
0000081c: POP
0000081d: POP
0000081e: POP
0000081f: POP
00000820: JUMP
00000821: JUMPDEST
00000822: PUSH1 0x00
00000824: SLOAD
00000825: PUSH1 0x01
00000827: PUSH1 0x01
00000829: PUSH1 0xa0
0000082b: SHL
0000082c: SUB
0000082d: AND
0000082e: SWAP1
0000082f: JUMP
00000830: JUMPDEST
00000831: PUSH1 0x00
00000833: SLOAD
00000834: PUSH1 0x01
00000836: PUSH1 0x01
00000838: PUSH1 0xa0
0000083a: SHL
0000083b: SUB
0000083c: AND
0000083d: CALLER
0000083e: EQ
0000083f: PUSH2 0x0886
00000842: JUMPI
00000843: PUSH1 0x40
00000845: DUP1
00000846: MLOAD
00000847: PUSH3 0x461bcd
0000084b: PUSH1 0xe5
0000084d: SHL
0000084e: DUP2
0000084f: MSTORE
00000850: PUSH1 0x20
00000852: PUSH1 0x04
00000854: DUP3
00000855: ADD
00000856: MSTORE
00000857: PUSH1 0x14
00000859: PUSH1 0x24
0000085b: DUP3
0000085c: ADD
0000085d: MSTORE
0000085e: PUSH20 0x556e617574686f72697a65642041636365737321
00000873: PUSH1 0x60
00000875: SHL
00000876: PUSH1 0x44
00000878: DUP3
00000879: ADD
0000087a: MSTORE
0000087b: SWAP1
0000087c: MLOAD
0000087d: SWAP1
0000087e: DUP2
0000087f: SWAP1
00000880: SUB
00000881: PUSH1 0x64
00000883: ADD
00000884: SWAP1
00000885: REVERT
00000886: JUMPDEST
00000887: DUP2
00000888: PUSH2 0x0890
0000088b: JUMPI
0000088c: PUSH2 0x093a
0000088f: JUMP
00000890: JUMPDEST
00000891: PUSH1 0x01
00000893: PUSH1 0x01
00000895: PUSH1 0xa0
00000897: SHL
00000898: SUB
00000899: DUP2
0000089a: AND
0000089b: PUSH2 0x08da
0000089e: JUMPI
0000089f: PUSH1 0x40
000008a1: MLOAD
000008a2: PUSH1 0x01
000008a4: PUSH1 0x01
000008a6: PUSH1 0xa0
000008a8: SHL
000008a9: SUB
000008aa: DUP5
000008ab: AND
000008ac: SWAP1
000008ad: DUP4
000008ae: ISZERO
000008af: PUSH2 0x08fc
000008b2: MUL
000008b3: SWAP1
000008b4: DUP5
000008b5: SWAP1
000008b6: PUSH1 0x00
000008b8: DUP2
000008b9: DUP2
000008ba: DUP2
000008bb: DUP6
000008bc: DUP9
000008bd: DUP9
000008be: CALL
000008bf: SWAP4
000008c0: POP
000008c1: POP
000008c2: POP
000008c3: POP
000008c4: ISZERO
000008c5: DUP1
000008c6: ISZERO
000008c7: PUSH2 0x08d4
000008ca: JUMPI
000008cb: RETURNDATASIZE
000008cc: PUSH1 0x00
000008ce: DUP1
000008cf: RETURNDATACOPY
000008d0: RETURNDATASIZE
000008d1: PUSH1 0x00
000008d3: REVERT
000008d4: JUMPDEST
000008d5: POP
000008d6: PUSH2 0x093a
000008d9: JUMP
000008da: JUMPDEST
000008db: DUP1
000008dc: PUSH1 0x01
000008de: PUSH1 0x01
000008e0: PUSH1 0xa0
000008e2: SHL
000008e3: SUB
000008e4: AND
000008e5: PUSH4 0xa9059cbb
000008ea: DUP5
000008eb: DUP5
000008ec: PUSH1 0x40
000008ee: MLOAD
000008ef: DUP4
000008f0: PUSH4 0xffffffff
000008f5: AND
000008f6: PUSH1 0xe0
000008f8: SHL
000008f9: DUP2
000008fa: MSTORE
000008fb: PUSH1 0x04
000008fd: ADD
000008fe: DUP1
000008ff: DUP4
00000900: PUSH1 0x01
00000902: PUSH1 0x01
00000904: PUSH1 0xa0
00000906: SHL
00000907: SUB
00000908: AND
00000909: PUSH1 0x01
0000090b: PUSH1 0x01
0000090d: PUSH1 0xa0
0000090f: SHL
00000910: SUB
00000911: AND
00000912: DUP2
00000913: MSTORE
00000914: PUSH1 0x20
00000916: ADD
00000917: DUP3
00000918: DUP2
00000919: MSTORE
0000091a: PUSH1 0x20
0000091c: ADD
0000091d: SWAP3
0000091e: POP
0000091f: POP
00000920: POP
00000921: PUSH1 0x20
00000923: PUSH1 0x40
00000925: MLOAD
00000926: DUP1
00000927: DUP4
00000928: SUB
00000929: DUP2
0000092a: PUSH1 0x00
0000092c: DUP8
0000092d: DUP1
0000092e: EXTCODESIZE
0000092f: ISZERO
00000930: DUP1
00000931: ISZERO
00000932: PUSH2 0x077d
00000935: JUMPI
00000936: PUSH1 0x00
00000938: DUP1
00000939: REVERT
0000093a: JUMPDEST
0000093b: POP
0000093c: POP
0000093d: POP
0000093e: JUMP
0000093f: JUMPDEST
00000940: PUSH1 0x00
00000942: SLOAD
00000943: PUSH1 0x01
00000945: PUSH1 0x01
00000947: PUSH1 0xa0
00000949: SHL
0000094a: SUB
0000094b: AND
0000094c: CALLER
0000094d: EQ
0000094e: PUSH2 0x0995
00000951: JUMPI
00000952: PUSH1 0x40
00000954: DUP1
00000955: MLOAD
00000956: PUSH3 0x461bcd
0000095a: PUSH1 0xe5
0000095c: SHL
0000095d: DUP2
0000095e: MSTORE
0000095f: PUSH1 0x20
00000961: PUSH1 0x04
00000963: DUP3
00000964: ADD
00000965: MSTORE
00000966: PUSH1 0x14
00000968: PUSH1 0x24
0000096a: DUP3
0000096b: ADD
0000096c: MSTORE
0000096d: PUSH20 0x556e617574686f72697a65642041636365737321
00000982: PUSH1 0x60
00000984: SHL
00000985: PUSH1 0x44
00000987: DUP3
00000988: ADD
00000989: MSTORE
0000098a: SWAP1
0000098b: MLOAD
0000098c: SWAP1
0000098d: DUP2
0000098e: SWAP1
0000098f: SUB
00000990: PUSH1 0x64
00000992: ADD
00000993: SWAP1
00000994: REVERT
00000995: JUMPDEST
00000996: PUSH2 0x07a7
00000999: DUP6
0000099a: DUP6
0000099b: DUP6
0000099c: DUP6
0000099d: DUP6
0000099e: PUSH2 0x0b44
000009a1: JUMP
000009a2: JUMPDEST
000009a3: PUSH1 0x01
000009a5: SLOAD
000009a6: PUSH1 0x01
000009a8: PUSH1 0x01
000009aa: PUSH1 0xa0
000009ac: SHL
000009ad: SUB
000009ae: AND
000009af: PUSH2 0x09f6
000009b2: JUMPI
000009b3: PUSH1 0x40
000009b5: DUP1
000009b6: MLOAD
000009b7: PUSH3 0x461bcd
000009bb: PUSH1 0xe5
000009bd: SHL
000009be: DUP2
000009bf: MSTORE
000009c0: PUSH1 0x20
000009c2: PUSH1 0x04
000009c4: DUP3
000009c5: ADD
000009c6: MSTORE
000009c7: PUSH1 0x14
000009c9: PUSH1 0x24
000009cb: DUP3
000009cc: ADD
000009cd: MSTORE
000009ce: PUSH20 0x556e617574686f72697a65642041636365737321
000009e3: PUSH1 0x60
000009e5: SHL
000009e6: PUSH1 0x44
000009e8: DUP3
000009e9: ADD
000009ea: MSTORE
000009eb: SWAP1
000009ec: MLOAD
000009ed: SWAP1
000009ee: DUP2
000009ef: SWAP1
000009f0: SUB
000009f1: PUSH1 0x64
000009f3: ADD
000009f4: SWAP1
000009f5: REVERT
000009f6: JUMPDEST
000009f7: PUSH1 0x01
000009f9: PUSH1 0x01
000009fb: PUSH1 0xa0
000009fd: SHL
000009fe: SUB
000009ff: DUP2
00000a00: AND
00000a01: PUSH2 0x0a43
00000a04: JUMPI
00000a05: PUSH1 0x01
00000a07: SLOAD
00000a08: PUSH1 0x40
00000a0a: MLOAD
00000a0b: PUSH1 0x01
00000a0d: PUSH1 0x01
00000a0f: PUSH1 0xa0
00000a11: SHL
00000a12: SUB
00000a13: SWAP1
00000a14: SWAP2
00000a15: AND
00000a16: SWAP1
00000a17: SELFBALANCE
00000a18: DUP1
00000a19: ISZERO
00000a1a: PUSH2 0x08fc
00000a1d: MUL
00000a1e: SWAP2
00000a1f: PUSH1 0x00
00000a21: DUP2
00000a22: DUP2
00000a23: DUP2
00000a24: DUP6
00000a25: DUP9
00000a26: DUP9
00000a27: CALL
00000a28: SWAP4
00000a29: POP
00000a2a: POP
00000a2b: POP
00000a2c: POP
00000a2d: ISZERO
00000a2e: DUP1
00000a2f: ISZERO
00000a30: PUSH2 0x0a3d
00000a33: JUMPI
00000a34: RETURNDATASIZE
00000a35: PUSH1 0x00
00000a37: DUP1
00000a38: RETURNDATACOPY
00000a39: RETURNDATASIZE
00000a3a: PUSH1 0x00
00000a3c: REVERT
00000a3d: JUMPDEST
00000a3e: POP
00000a3f: PUSH2 0x0b41
00000a42: JUMP
00000a43: JUMPDEST
00000a44: PUSH1 0x01
00000a46: SLOAD
00000a47: PUSH1 0x40
00000a49: DUP1
00000a4a: MLOAD
00000a4b: PUSH4 0x70a08231
00000a50: PUSH1 0xe0
00000a52: SHL
00000a53: DUP2
00000a54: MSTORE
00000a55: ADDRESS
00000a56: PUSH1 0x04
00000a58: DUP3
00000a59: ADD
00000a5a: MSTORE
00000a5b: SWAP1
00000a5c: MLOAD
00000a5d: DUP4
00000a5e: SWAP3
00000a5f: PUSH1 0x01
00000a61: PUSH1 0x01
00000a63: PUSH1 0xa0
00000a65: SHL
00000a66: SUB
00000a67: DUP1
00000a68: DUP6
00000a69: AND
00000a6a: SWAP4
00000a6b: PUSH4 0xa9059cbb
00000a70: SWAP4
00000a71: SWAP3
00000a72: SWAP1
00000a73: SWAP2
00000a74: AND
00000a75: SWAP2
00000a76: DUP5
00000a77: SWAP2
00000a78: PUSH4 0x70a08231
00000a7d: SWAP2
00000a7e: PUSH1 0x24
00000a80: DUP1
00000a81: DUP4
00000a82: ADD
00000a83: SWAP3
00000a84: PUSH1 0x20
00000a86: SWAP3
00000a87: SWAP2
00000a88: SWAP1
00000a89: DUP3
00000a8a: SWAP1
00000a8b: SUB
00000a8c: ADD
00000a8d: DUP2
00000a8e: DUP7
00000a8f: DUP1
00000a90: EXTCODESIZE
00000a91: ISZERO
00000a92: DUP1
00000a93: ISZERO
00000a94: PUSH2 0x0a9c
00000a97: JUMPI
00000a98: PUSH1 0x00
00000a9a: DUP1
00000a9b: REVERT
00000a9c: JUMPDEST
00000a9d: POP
00000a9e: GAS
00000a9f: STATICCALL
00000aa0: ISZERO
00000aa1: DUP1
00000aa2: ISZERO
00000aa3: PUSH2 0x0ab0
00000aa6: JUMPI
00000aa7: RETURNDATASIZE
00000aa8: PUSH1 0x00
00000aaa: DUP1
00000aab: RETURNDATACOPY
00000aac: RETURNDATASIZE
00000aad: PUSH1 0x00
00000aaf: REVERT
00000ab0: JUMPDEST
00000ab1: POP
00000ab2: POP
00000ab3: POP
00000ab4: POP
00000ab5: PUSH1 0x40
00000ab7: MLOAD
00000ab8: RETURNDATASIZE
00000ab9: PUSH1 0x20
00000abb: DUP2
00000abc: LT
00000abd: ISZERO
00000abe: PUSH2 0x0ac6
00000ac1: JUMPI
00000ac2: PUSH1 0x00
00000ac4: DUP1
00000ac5: REVERT
00000ac6: JUMPDEST
00000ac7: POP
00000ac8: MLOAD
00000ac9: PUSH1 0x40
00000acb: DUP1
00000acc: MLOAD
00000acd: PUSH1 0x01
00000acf: PUSH1 0x01
00000ad1: PUSH1 0xe0
00000ad3: SHL
00000ad4: SUB
00000ad5: NOT
00000ad6: PUSH1 0xe0
00000ad8: DUP7
00000ad9: SWAP1
00000ada: SHL
00000adb: AND
00000adc: DUP2
00000add: MSTORE
00000ade: PUSH1 0x01
00000ae0: PUSH1 0x01
00000ae2: PUSH1 0xa0
00000ae4: SHL
00000ae5: SUB
00000ae6: SWAP1
00000ae7: SWAP4
00000ae8: AND
00000ae9: PUSH1 0x04
00000aeb: DUP5
00000aec: ADD
00000aed: MSTORE
00000aee: PUSH1 0x24
00000af0: DUP4
00000af1: ADD
00000af2: SWAP2
00000af3: SWAP1
00000af4: SWAP2
00000af5: MSTORE
00000af6: MLOAD
00000af7: PUSH1 0x44
00000af9: DUP1
00000afa: DUP4
00000afb: ADD
00000afc: SWAP3
00000afd: PUSH1 0x20
00000aff: SWAP3
00000b00: SWAP2
00000b01: SWAP1
00000b02: DUP3
00000b03: SWAP1
00000b04: SUB
00000b05: ADD
00000b06: DUP2
00000b07: PUSH1 0x00
00000b09: DUP8
00000b0a: DUP1
00000b0b: EXTCODESIZE
00000b0c: ISZERO
00000b0d: DUP1
00000b0e: ISZERO
00000b0f: PUSH2 0x0b17
00000b12: JUMPI
00000b13: PUSH1 0x00
00000b15: DUP1
00000b16: REVERT
00000b17: JUMPDEST
00000b18: POP
00000b19: GAS
00000b1a: CALL
00000b1b: ISZERO
00000b1c: DUP1
00000b1d: ISZERO
00000b1e: PUSH2 0x0b2b
00000b21: JUMPI
00000b22: RETURNDATASIZE
00000b23: PUSH1 0x00
00000b25: DUP1
00000b26: RETURNDATACOPY
00000b27: RETURNDATASIZE
00000b28: PUSH1 0x00
00000b2a: REVERT
00000b2b: JUMPDEST
00000b2c: POP
00000b2d: POP
00000b2e: POP
00000b2f: POP
00000b30: PUSH1 0x40
00000b32: MLOAD
00000b33: RETURNDATASIZE
00000b34: PUSH1 0x20
00000b36: DUP2
00000b37: LT
00000b38: ISZERO
00000b39: PUSH2 0x081b
00000b3c: JUMPI
00000b3d: PUSH1 0x00
00000b3f: DUP1
00000b40: REVERT
00000b41: JUMPDEST
00000b42: POP
00000b43: JUMP
00000b44: JUMPDEST
00000b45: DUP2
00000b46: ISZERO
00000b47: PUSH2 0x0c30
00000b4a: JUMPI
00000b4b: PUSH1 0x40
00000b4d: MLOAD
00000b4e: PUSH4 0x5c46a7ef
00000b53: PUSH1 0xe1
00000b55: SHL
00000b56: DUP2
00000b57: MSTORE
00000b58: ADDRESS
00000b59: PUSH1 0x04
00000b5b: DUP3
00000b5c: ADD
00000b5d: DUP2
00000b5e: DUP2
00000b5f: MSTORE
00000b60: PUSH1 0x01
00000b62: PUSH1 0x01
00000b64: PUSH1 0xa0
00000b66: SHL
00000b67: SUB
00000b68: DUP9
00000b69: DUP2
00000b6a: AND
00000b6b: PUSH1 0x24
00000b6d: DUP6
00000b6e: ADD
00000b6f: MSTORE
00000b70: PUSH1 0x44
00000b72: DUP5
00000b73: ADD
00000b74: DUP9
00000b75: SWAP1
00000b76: MSTORE
00000b77: PUSH1 0x80
00000b79: PUSH1 0x64
00000b7b: DUP6
00000b7c: ADD
00000b7d: SWAP1
00000b7e: DUP2
00000b7f: MSTORE
00000b80: DUP8
00000b81: MLOAD
00000b82: PUSH1 0x84
00000b84: DUP7
00000b85: ADD
00000b86: MSTORE
00000b87: DUP8
00000b88: MLOAD
00000b89: SWAP2
00000b8a: DUP7
00000b8b: AND
00000b8c: SWAP5
00000b8d: PUSH4 0xb88d4fde
00000b92: SWAP5
00000b93: SWAP4
00000b94: DUP12
00000b95: SWAP4
00000b96: DUP12
00000b97: SWAP4
00000b98: DUP12
00000b99: SWAP4
00000b9a: SWAP1
00000b9b: SWAP2
00000b9c: PUSH1 0xa4
00000b9e: SWAP1
00000b9f: SWAP2
00000ba0: ADD
00000ba1: SWAP1
00000ba2: PUSH1 0x20
00000ba4: DUP6
00000ba5: ADD
00000ba6: SWAP1
00000ba7: DUP1
00000ba8: DUP4
00000ba9: DUP4
00000baa: PUSH1 0x00
00000bac: JUMPDEST
00000bad: DUP4
00000bae: DUP2
00000baf: LT
00000bb0: ISZERO
00000bb1: PUSH2 0x0bc4
00000bb4: JUMPI
00000bb5: DUP2
00000bb6: DUP2
00000bb7: ADD
00000bb8: MLOAD
00000bb9: DUP4
00000bba: DUP3
00000bbb: ADD
00000bbc: MSTORE
00000bbd: PUSH1 0x20
00000bbf: ADD
00000bc0: PUSH2 0x0bac
00000bc3: JUMP
00000bc4: JUMPDEST
00000bc5: POP
00000bc6: POP
00000bc7: POP
00000bc8: POP
00000bc9: SWAP1
00000bca: POP
00000bcb: SWAP1
00000bcc: DUP2
00000bcd: ADD
00000bce: SWAP1
00000bcf: PUSH1 0x1f
00000bd1: AND
00000bd2: DUP1
00000bd3: ISZERO
00000bd4: PUSH2 0x0bf1
00000bd7: JUMPI
00000bd8: DUP1
00000bd9: DUP3
00000bda: SUB
00000bdb: DUP1
00000bdc: MLOAD
00000bdd: PUSH1 0x01
00000bdf: DUP4
00000be0: PUSH1 0x20
00000be2: SUB
00000be3: PUSH2 0x0100
00000be6: EXP
00000be7: SUB
00000be8: NOT
00000be9: AND
00000bea: DUP2
00000beb: MSTORE
00000bec: PUSH1 0x20
00000bee: ADD
00000bef: SWAP2
00000bf0: POP
00000bf1: JUMPDEST
00000bf2: POP
00000bf3: SWAP6
00000bf4: POP
00000bf5: POP
00000bf6: POP
00000bf7: POP
00000bf8: POP
00000bf9: POP
00000bfa: PUSH1 0x00
00000bfc: PUSH1 0x40
00000bfe: MLOAD
00000bff: DUP1
00000c00: DUP4
00000c01: SUB
00000c02: DUP2
00000c03: PUSH1 0x00
00000c05: DUP8
00000c06: DUP1
00000c07: EXTCODESIZE
00000c08: ISZERO
00000c09: DUP1
00000c0a: ISZERO
00000c0b: PUSH2 0x0c13
00000c0e: JUMPI
00000c0f: PUSH1 0x00
00000c11: DUP1
00000c12: REVERT
00000c13: JUMPDEST
00000c14: POP
00000c15: GAS
00000c16: CALL
00000c17: ISZERO
00000c18: DUP1
00000c19: ISZERO
00000c1a: PUSH2 0x0c27
00000c1d: JUMPI
00000c1e: RETURNDATASIZE
00000c1f: PUSH1 0x00
00000c21: DUP1
00000c22: RETURNDATACOPY
00000c23: RETURNDATASIZE
00000c24: PUSH1 0x00
00000c26: REVERT
00000c27: JUMPDEST
00000c28: POP
00000c29: POP
00000c2a: POP
00000c2b: POP
00000c2c: PUSH2 0x07a7
00000c2f: JUMP
00000c30: JUMPDEST
00000c31: PUSH1 0x40
00000c33: DUP1
00000c34: MLOAD
00000c35: PUSH4 0x23b872dd
00000c3a: PUSH1 0xe0
00000c3c: SHL
00000c3d: DUP2
00000c3e: MSTORE
00000c3f: ADDRESS
00000c40: PUSH1 0x04
00000c42: DUP3
00000c43: ADD
00000c44: MSTORE
00000c45: PUSH1 0x01
00000c47: PUSH1 0x01
00000c49: PUSH1 0xa0
00000c4b: SHL
00000c4c: SUB
00000c4d: DUP8
00000c4e: DUP2
00000c4f: AND
00000c50: PUSH1 0x24
00000c52: DUP4
00000c53: ADD
00000c54: MSTORE
00000c55: PUSH1 0x44
00000c57: DUP3
00000c58: ADD
00000c59: DUP8
00000c5a: SWAP1
00000c5b: MSTORE
00000c5c: SWAP2
00000c5d: MLOAD
00000c5e: SWAP2
00000c5f: DUP4
00000c60: AND
00000c61: SWAP2
00000c62: PUSH4 0x23b872dd
00000c67: SWAP2
00000c68: PUSH1 0x64
00000c6a: DUP1
00000c6b: DUP3
00000c6c: ADD
00000c6d: SWAP3
00000c6e: PUSH1 0x00
00000c70: SWAP3
00000c71: SWAP1
00000c72: SWAP2
00000c73: SWAP1
00000c74: DUP3
00000c75: SWAP1
00000c76: SUB
00000c77: ADD
00000c78: DUP2
00000c79: DUP4
00000c7a: DUP8
00000c7b: DUP1
00000c7c: EXTCODESIZE
00000c7d: ISZERO
00000c7e: DUP1
00000c7f: ISZERO
00000c80: PUSH2 0x0c88
00000c83: JUMPI
00000c84: PUSH1 0x00
00000c86: DUP1
00000c87: REVERT
00000c88: JUMPDEST
00000c89: POP
00000c8a: GAS
00000c8b: CALL
00000c8c: ISZERO
00000c8d: DUP1
00000c8e: ISZERO
00000c8f: PUSH2 0x0c9c
00000c92: JUMPI
00000c93: RETURNDATASIZE
00000c94: PUSH1 0x00
00000c96: DUP1
00000c97: RETURNDATACOPY
00000c98: RETURNDATASIZE
00000c99: PUSH1 0x00
00000c9b: REVERT
00000c9c: JUMPDEST
00000c9d: POP
00000c9e: POP
00000c9f: POP
00000ca0: POP
00000ca1: POP
00000ca2: POP
00000ca3: POP
00000ca4: POP
00000ca5: POP
00000ca6: JUMP
00000ca7: INVALID
00000ca8: LOG2
00000ca9: PUSH5 0x6970667358
00000caf: UNKNOWN(0x22)
00000cb0: SLT
00000cb1: KECCAK256
00000cb2: ADDMOD
00000cb3: LOG1
00000cb4: DUP2
00000cb5: PUSH15 0x93c11fa426eb6b4b775766418d2294
00000cc5: UNKNOWN(0xC3)
00000cc6: MCOPY
00000cc7: SWAP16
00000cc8: UNKNOWN(0xED)
00000cc9: UNKNOWN(0x4D)
00000cca: DUP12
00000ccb: UNKNOWN(0xE4)
00000ccc: UNKNOWN(0xEF)
00000ccd: UNKNOWN(0xB7)
00000cce: UNKNOWN(0x22)
00000ccf: DUP16
00000cd0: CHAINID
00000cd1: SWAP1
00000cd2: PUSH5 0x736f6c6343
00000cd8: STOP
00000cd9: MOD
00000cda: ADDMOD
00000cdb: STOP
00000cdc: CALLER

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xb8dbe2ee5784bbd52cbc6a3b2277696ccb5423f4c280e6525abc2a0275f1d5ea call_targets: 0x16106e0e66bafc3767ba33756875d7b08ad3213b target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xb8dbe2ee5784bbd52cbc6a3b2277696ccb5423f4c280e6525abc2a0275f1d5ea", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x16106e0e66bafc3767ba33756875d7b08ad3213b" ], "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": "0x933a9ce8", "selector": "0x933a9ce8", "calldata_variants": [ "0x933a9ce8", "0x933a9ce80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdbba0f01", "selector": "0xdbba0f01", "calldata_variants": [ "0xdbba0f01", "0xdbba0f010000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe34ed672", "selector": "0xe34ed672", "calldata_variants": [ "0xe34ed672", "0xe34ed6720000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf161e7d4", "selector": "0xf161e7d4", "calldata_variants": [ "0xf161e7d4", "0xf161e7d40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x150b7a02", "selector": "0x150b7a02", "calldata_variants": [ "0x150b7a02", "0x150b7a020000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3914a04f", "selector": "0x3914a04f", "calldata_variants": [ "0x3914a04f", "0x3914a04f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6c261975", "selector": "0x6c261975", "calldata_variants": [ "0x6c261975", "0x6c2619750000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9254c7d4", "selector": "0x9254c7d4", "calldata_variants": [ "0x9254c7d4", "0x9254c7d40000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 184, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1682, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1920, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 8, "guards_detected": [], "untrusted_call_count": 8 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xb8dbe2ee5784bbd52cbc6a3b2277696ccb5423f4c280e6525abc2a0275f1d5ea call_targets: 0x16106e0e66bafc3767ba33756875d7b08ad3213b target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xb8dbe2ee5784bbd52cbc6a3b2277696ccb5423f4c280e6525abc2a0275f1d5ea", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x16106e0e66bafc3767ba33756875d7b08ad3213b" ], "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": "0x933a9ce8", "selector": "0x933a9ce8", "calldata_variants": [ "0x933a9ce8", "0x933a9ce80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdbba0f01", "selector": "0xdbba0f01", "calldata_variants": [ "0xdbba0f01", "0xdbba0f010000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe34ed672", "selector": "0xe34ed672", "calldata_variants": [ "0xe34ed672", "0xe34ed6720000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf161e7d4", "selector": "0xf161e7d4", "calldata_variants": [ "0xf161e7d4", "0xf161e7d40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x150b7a02", "selector": "0x150b7a02", "calldata_variants": [ "0x150b7a02", "0x150b7a020000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3914a04f", "selector": "0x3914a04f", "calldata_variants": [ "0x3914a04f", "0x3914a04f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6c261975", "selector": "0x6c261975", "calldata_variants": [ "0x6c261975", "0x6c2619750000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9254c7d4", "selector": "0x9254c7d4", "calldata_variants": [ "0x9254c7d4", "0x9254c7d40000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 184, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1682, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1920, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 8, "guards_detected": [] }
info	other	cast	Heavy EXTCODE*/BALANCE usage	55	no	—	view evidence_json { "notes": "frequent external code or balance checks; may indicate introspection or validation logic", "ext_balance_count": 7 }

Severity