Analysis Run

019b477e-c558-7227-8d18-f5aed88b31a4

complete

Chain ID

1

Address

0xaff42f5c10103f661f0ab6566545e5fc4261e374

Block Number

—

Created

Mon, Dec 22, 2025 7:17 PM

Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract

Confirmed

0

Validated

0

Source

Verified

Review Backing

Not yet

Best current signal

Untrusted CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
25563	artifact.fetch	complete	1 / 3	3 months ago
25564	tool.cast_disasm	complete	1 / 3	3 months ago
68742	analysis.bundle	complete	1 / 3	2 weeks ago
68743	capability.graph	complete	1 / 3	2 weeks ago
68744	detector.run	complete	1 / 3	2 weeks ago
68745	validation.fork	complete	1 / 3	2 weeks ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

3

EXT*/BALANCE

3

Total opcodes

2080

Flags

No heuristic flags raised.

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0095
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8b83209b
00000019: GT
0000001a: PUSH2 0x0059
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x8b83209b
00000024: EQ
00000025: PUSH2 0x01b5
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x9852595c
0000002f: EQ
00000030: PUSH2 0x01ed
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xce7c2ac2
0000003a: EQ
0000003b: PUSH2 0x0223
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd79779b2
00000045: EQ
00000046: PUSH2 0x0259
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe33b7de3
00000050: EQ
00000051: PUSH2 0x028f
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x06fdde03
00000060: EQ
00000061: PUSH2 0x00e3
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x19165587
0000006b: EQ
0000006c: PUSH2 0x010e
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x3a98ef39
00000076: EQ
00000077: PUSH2 0x0130
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x406072a9
00000081: EQ
00000082: PUSH2 0x014f
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x48b75044
0000008c: EQ
0000008d: PUSH2 0x0195
00000090: JUMPI
00000091: PUSH1 0x00
00000093: DUP1
00000094: REVERT
00000095: JUMPDEST
00000096: CALLDATASIZE
00000097: PUSH2 0x00de
0000009a: JUMPI
0000009b: PUSH32 0x6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be770
000000bc: CALLER
000000bd: PUSH1 0x40
000000bf: DUP1
000000c0: MLOAD
000000c1: PUSH1 0x01
000000c3: PUSH1 0x01
000000c5: PUSH1 0xa0
000000c7: SHL
000000c8: SUB
000000c9: SWAP1
000000ca: SWAP3
000000cb: AND
000000cc: DUP3
000000cd: MSTORE
000000ce: CALLVALUE
000000cf: PUSH1 0x20
000000d1: DUP4
000000d2: ADD
000000d3: MSTORE
000000d4: ADD
000000d5: PUSH1 0x40
000000d7: MLOAD
000000d8: DUP1
000000d9: SWAP2
000000da: SUB
000000db: SWAP1
000000dc: LOG1
000000dd: STOP
000000de: JUMPDEST
000000df: PUSH1 0x00
000000e1: DUP1
000000e2: REVERT
000000e3: JUMPDEST
000000e4: CALLVALUE
000000e5: DUP1
000000e6: ISZERO
000000e7: PUSH2 0x00ef
000000ea: JUMPI
000000eb: PUSH1 0x00
000000ed: DUP1
000000ee: REVERT
000000ef: JUMPDEST
000000f0: POP
000000f1: PUSH2 0x00f8
000000f4: PUSH2 0x02a4
000000f7: JUMP
000000f8: JUMPDEST
000000f9: PUSH1 0x40
000000fb: MLOAD
000000fc: PUSH2 0x0105
000000ff: SWAP2
00000100: SWAP1
00000101: PUSH2 0x0ac2
00000104: JUMP
00000105: JUMPDEST
00000106: PUSH1 0x40
00000108: MLOAD
00000109: DUP1
0000010a: SWAP2
0000010b: SUB
0000010c: SWAP1
0000010d: RETURN
0000010e: JUMPDEST
0000010f: CALLVALUE
00000110: DUP1
00000111: ISZERO
00000112: PUSH2 0x011a
00000115: JUMPI
00000116: PUSH1 0x00
00000118: DUP1
00000119: REVERT
0000011a: JUMPDEST
0000011b: POP
0000011c: PUSH2 0x012e
0000011f: PUSH2 0x0129
00000122: CALLDATASIZE
00000123: PUSH1 0x04
00000125: PUSH2 0x09fc
00000128: JUMP
00000129: JUMPDEST
0000012a: PUSH2 0x0332
0000012d: JUMP
0000012e: JUMPDEST
0000012f: STOP
00000130: JUMPDEST
00000131: CALLVALUE
00000132: DUP1
00000133: ISZERO
00000134: PUSH2 0x013c
00000137: JUMPI
00000138: PUSH1 0x00
0000013a: DUP1
0000013b: REVERT
0000013c: JUMPDEST
0000013d: POP
0000013e: PUSH1 0x00
00000140: SLOAD
00000141: JUMPDEST
00000142: PUSH1 0x40
00000144: MLOAD
00000145: SWAP1
00000146: DUP2
00000147: MSTORE
00000148: PUSH1 0x20
0000014a: ADD
0000014b: PUSH2 0x0105
0000014e: JUMP
0000014f: JUMPDEST
00000150: CALLVALUE
00000151: DUP1
00000152: ISZERO
00000153: PUSH2 0x015b
00000156: JUMPI
00000157: PUSH1 0x00
00000159: DUP1
0000015a: REVERT
0000015b: JUMPDEST
0000015c: POP
0000015d: PUSH2 0x0141
00000160: PUSH2 0x016a
00000163: CALLDATASIZE
00000164: PUSH1 0x04
00000166: PUSH2 0x0a3b
00000169: JUMP
0000016a: JUMPDEST
0000016b: PUSH1 0x01
0000016d: PUSH1 0x01
0000016f: PUSH1 0xa0
00000171: SHL
00000172: SUB
00000173: SWAP2
00000174: DUP3
00000175: AND
00000176: PUSH1 0x00
00000178: SWAP1
00000179: DUP2
0000017a: MSTORE
0000017b: PUSH1 0x06
0000017d: PUSH1 0x20
0000017f: SWAP1
00000180: DUP2
00000181: MSTORE
00000182: PUSH1 0x40
00000184: DUP1
00000185: DUP4
00000186: KECCAK256
00000187: SWAP4
00000188: SWAP1
00000189: SWAP5
0000018a: AND
0000018b: DUP3
0000018c: MSTORE
0000018d: SWAP2
0000018e: SWAP1
0000018f: SWAP2
00000190: MSTORE
00000191: KECCAK256
00000192: SLOAD
00000193: SWAP1
00000194: JUMP
00000195: JUMPDEST
00000196: CALLVALUE
00000197: DUP1
00000198: ISZERO
00000199: PUSH2 0x01a1
0000019c: JUMPI
0000019d: PUSH1 0x00
0000019f: DUP1
000001a0: REVERT
000001a1: JUMPDEST
000001a2: POP
000001a3: PUSH2 0x012e
000001a6: PUSH2 0x01b0
000001a9: CALLDATASIZE
000001aa: PUSH1 0x04
000001ac: PUSH2 0x0a3b
000001af: JUMP
000001b0: JUMPDEST
000001b1: PUSH2 0x0469
000001b4: JUMP
000001b5: JUMPDEST
000001b6: CALLVALUE
000001b7: DUP1
000001b8: ISZERO
000001b9: PUSH2 0x01c1
000001bc: JUMPI
000001bd: PUSH1 0x00
000001bf: DUP1
000001c0: REVERT
000001c1: JUMPDEST
000001c2: POP
000001c3: PUSH2 0x01d5
000001c6: PUSH2 0x01d0
000001c9: CALLDATASIZE
000001ca: PUSH1 0x04
000001cc: PUSH2 0x0a74
000001cf: JUMP
000001d0: JUMPDEST
000001d1: PUSH2 0x0651
000001d4: JUMP
000001d5: JUMPDEST
000001d6: PUSH1 0x40
000001d8: MLOAD
000001d9: PUSH1 0x01
000001db: PUSH1 0x01
000001dd: PUSH1 0xa0
000001df: SHL
000001e0: SUB
000001e1: SWAP1
000001e2: SWAP2
000001e3: AND
000001e4: DUP2
000001e5: MSTORE
000001e6: PUSH1 0x20
000001e8: ADD
000001e9: PUSH2 0x0105
000001ec: JUMP
000001ed: JUMPDEST
000001ee: CALLVALUE
000001ef: DUP1
000001f0: ISZERO
000001f1: PUSH2 0x01f9
000001f4: JUMPI
000001f5: PUSH1 0x00
000001f7: DUP1
000001f8: REVERT
000001f9: JUMPDEST
000001fa: POP
000001fb: PUSH2 0x0141
000001fe: PUSH2 0x0208
00000201: CALLDATASIZE
00000202: PUSH1 0x04
00000204: PUSH2 0x09fc
00000207: JUMP
00000208: JUMPDEST
00000209: PUSH1 0x01
0000020b: PUSH1 0x01
0000020d: PUSH1 0xa0
0000020f: SHL
00000210: SUB
00000211: AND
00000212: PUSH1 0x00
00000214: SWAP1
00000215: DUP2
00000216: MSTORE
00000217: PUSH1 0x03
00000219: PUSH1 0x20
0000021b: MSTORE
0000021c: PUSH1 0x40
0000021e: SWAP1
0000021f: KECCAK256
00000220: SLOAD
00000221: SWAP1
00000222: JUMP
00000223: JUMPDEST
00000224: CALLVALUE
00000225: DUP1
00000226: ISZERO
00000227: PUSH2 0x022f
0000022a: JUMPI
0000022b: PUSH1 0x00
0000022d: DUP1
0000022e: REVERT
0000022f: JUMPDEST
00000230: POP
00000231: PUSH2 0x0141
00000234: PUSH2 0x023e
00000237: CALLDATASIZE
00000238: PUSH1 0x04
0000023a: PUSH2 0x09fc
0000023d: JUMP
0000023e: JUMPDEST
0000023f: PUSH1 0x01
00000241: PUSH1 0x01
00000243: PUSH1 0xa0
00000245: SHL
00000246: SUB
00000247: AND
00000248: PUSH1 0x00
0000024a: SWAP1
0000024b: DUP2
0000024c: MSTORE
0000024d: PUSH1 0x02
0000024f: PUSH1 0x20
00000251: MSTORE
00000252: PUSH1 0x40
00000254: SWAP1
00000255: KECCAK256
00000256: SLOAD
00000257: SWAP1
00000258: JUMP
00000259: JUMPDEST
0000025a: CALLVALUE
0000025b: DUP1
0000025c: ISZERO
0000025d: PUSH2 0x0265
00000260: JUMPI
00000261: PUSH1 0x00
00000263: DUP1
00000264: REVERT
00000265: JUMPDEST
00000266: POP
00000267: PUSH2 0x0141
0000026a: PUSH2 0x0274
0000026d: CALLDATASIZE
0000026e: PUSH1 0x04
00000270: PUSH2 0x09fc
00000273: JUMP
00000274: JUMPDEST
00000275: PUSH1 0x01
00000277: PUSH1 0x01
00000279: PUSH1 0xa0
0000027b: SHL
0000027c: SUB
0000027d: AND
0000027e: PUSH1 0x00
00000280: SWAP1
00000281: DUP2
00000282: MSTORE
00000283: PUSH1 0x05
00000285: PUSH1 0x20
00000287: MSTORE
00000288: PUSH1 0x40
0000028a: SWAP1
0000028b: KECCAK256
0000028c: SLOAD
0000028d: SWAP1
0000028e: JUMP
0000028f: JUMPDEST
00000290: CALLVALUE
00000291: DUP1
00000292: ISZERO
00000293: PUSH2 0x029b
00000296: JUMPI
00000297: PUSH1 0x00
00000299: DUP1
0000029a: REVERT
0000029b: JUMPDEST
0000029c: POP
0000029d: PUSH1 0x01
0000029f: SLOAD
000002a0: PUSH2 0x0141
000002a3: JUMP
000002a4: JUMPDEST
000002a5: PUSH1 0x07
000002a7: DUP1
000002a8: SLOAD
000002a9: PUSH2 0x02b1
000002ac: SWAP1
000002ad: PUSH2 0x0c26
000002b0: JUMP
000002b1: JUMPDEST
000002b2: DUP1
000002b3: PUSH1 0x1f
000002b5: ADD
000002b6: PUSH1 0x20
000002b8: DUP1
000002b9: SWAP2
000002ba: DIV
000002bb: MUL
000002bc: PUSH1 0x20
000002be: ADD
000002bf: PUSH1 0x40
000002c1: MLOAD
000002c2: SWAP1
000002c3: DUP2
000002c4: ADD
000002c5: PUSH1 0x40
000002c7: MSTORE
000002c8: DUP1
000002c9: SWAP3
000002ca: SWAP2
000002cb: SWAP1
000002cc: DUP2
000002cd: DUP2
000002ce: MSTORE
000002cf: PUSH1 0x20
000002d1: ADD
000002d2: DUP3
000002d3: DUP1
000002d4: SLOAD
000002d5: PUSH2 0x02dd
000002d8: SWAP1
000002d9: PUSH2 0x0c26
000002dc: JUMP
000002dd: JUMPDEST
000002de: DUP1
000002df: ISZERO
000002e0: PUSH2 0x032a
000002e3: JUMPI
000002e4: DUP1
000002e5: PUSH1 0x1f
000002e7: LT
000002e8: PUSH2 0x02ff
000002eb: JUMPI
000002ec: PUSH2 0x0100
000002ef: DUP1
000002f0: DUP4
000002f1: SLOAD
000002f2: DIV
000002f3: MUL
000002f4: DUP4
000002f5: MSTORE
000002f6: SWAP2
000002f7: PUSH1 0x20
000002f9: ADD
000002fa: SWAP2
000002fb: PUSH2 0x032a
000002fe: JUMP
000002ff: JUMPDEST
00000300: DUP3
00000301: ADD
00000302: SWAP2
00000303: SWAP1
00000304: PUSH1 0x00
00000306: MSTORE
00000307: PUSH1 0x20
00000309: PUSH1 0x00
0000030b: KECCAK256
0000030c: SWAP1
0000030d: JUMPDEST
0000030e: DUP2
0000030f: SLOAD
00000310: DUP2
00000311: MSTORE
00000312: SWAP1
00000313: PUSH1 0x01
00000315: ADD
00000316: SWAP1
00000317: PUSH1 0x20
00000319: ADD
0000031a: DUP1
0000031b: DUP4
0000031c: GT
0000031d: PUSH2 0x030d
00000320: JUMPI
00000321: DUP3
00000322: SWAP1
00000323: SUB
00000324: PUSH1 0x1f
00000326: AND
00000327: DUP3
00000328: ADD
00000329: SWAP2
0000032a: JUMPDEST
0000032b: POP
0000032c: POP
0000032d: POP
0000032e: POP
0000032f: POP
00000330: DUP2
00000331: JUMP
00000332: JUMPDEST
00000333: PUSH1 0x01
00000335: PUSH1 0x01
00000337: PUSH1 0xa0
00000339: SHL
0000033a: SUB
0000033b: DUP2
0000033c: AND
0000033d: PUSH1 0x00
0000033f: SWAP1
00000340: DUP2
00000341: MSTORE
00000342: PUSH1 0x02
00000344: PUSH1 0x20
00000346: MSTORE
00000347: PUSH1 0x40
00000349: SWAP1
0000034a: KECCAK256
0000034b: SLOAD
0000034c: PUSH2 0x0370
0000034f: JUMPI
00000350: PUSH1 0x40
00000352: MLOAD
00000353: PUSH3 0x461bcd
00000357: PUSH1 0xe5
00000359: SHL
0000035a: DUP2
0000035b: MSTORE
0000035c: PUSH1 0x04
0000035e: ADD
0000035f: PUSH2 0x0367
00000362: SWAP1
00000363: PUSH2 0x0af5
00000366: JUMP
00000367: JUMPDEST
00000368: PUSH1 0x40
0000036a: MLOAD
0000036b: DUP1
0000036c: SWAP2
0000036d: SUB
0000036e: SWAP1
0000036f: REVERT
00000370: JUMPDEST
00000371: PUSH1 0x00
00000373: PUSH2 0x037b
00000376: PUSH1 0x01
00000378: SLOAD
00000379: SWAP1
0000037a: JUMP
0000037b: JUMPDEST
0000037c: PUSH2 0x0385
0000037f: SWAP1
00000380: SELFBALANCE
00000381: PUSH2 0x0b86
00000384: JUMP
00000385: JUMPDEST
00000386: SWAP1
00000387: POP
00000388: PUSH1 0x00
0000038a: PUSH2 0x03b2
0000038d: DUP4
0000038e: DUP4
0000038f: PUSH2 0x03ad
00000392: DUP7
00000393: PUSH1 0x01
00000395: PUSH1 0x01
00000397: PUSH1 0xa0
00000399: SHL
0000039a: SUB
0000039b: AND
0000039c: PUSH1 0x00
0000039e: SWAP1
0000039f: DUP2
000003a0: MSTORE
000003a1: PUSH1 0x03
000003a3: PUSH1 0x20
000003a5: MSTORE
000003a6: PUSH1 0x40
000003a8: SWAP1
000003a9: KECCAK256
000003aa: SLOAD
000003ab: SWAP1
000003ac: JUMP
000003ad: JUMPDEST
000003ae: PUSH2 0x0681
000003b1: JUMP
000003b2: JUMPDEST
000003b3: SWAP1
000003b4: POP
000003b5: DUP1
000003b6: PUSH2 0x03d1
000003b9: JUMPI
000003ba: PUSH1 0x40
000003bc: MLOAD
000003bd: PUSH3 0x461bcd
000003c1: PUSH1 0xe5
000003c3: SHL
000003c4: DUP2
000003c5: MSTORE
000003c6: PUSH1 0x04
000003c8: ADD
000003c9: PUSH2 0x0367
000003cc: SWAP1
000003cd: PUSH2 0x0b3b
000003d0: JUMP
000003d1: JUMPDEST
000003d2: PUSH1 0x01
000003d4: PUSH1 0x01
000003d6: PUSH1 0xa0
000003d8: SHL
000003d9: SUB
000003da: DUP4
000003db: AND
000003dc: PUSH1 0x00
000003de: SWAP1
000003df: DUP2
000003e0: MSTORE
000003e1: PUSH1 0x03
000003e3: PUSH1 0x20
000003e5: MSTORE
000003e6: PUSH1 0x40
000003e8: DUP2
000003e9: KECCAK256
000003ea: DUP1
000003eb: SLOAD
000003ec: DUP4
000003ed: SWAP3
000003ee: SWAP1
000003ef: PUSH2 0x03f9
000003f2: SWAP1
000003f3: DUP5
000003f4: SWAP1
000003f5: PUSH2 0x0b86
000003f8: JUMP
000003f9: JUMPDEST
000003fa: SWAP3
000003fb: POP
000003fc: POP
000003fd: DUP2
000003fe: SWAP1
000003ff: SSTORE
00000400: POP
00000401: DUP1
00000402: PUSH1 0x01
00000404: PUSH1 0x00
00000406: DUP3
00000407: DUP3
00000408: SLOAD
00000409: PUSH2 0x0412
0000040c: SWAP2
0000040d: SWAP1
0000040e: PUSH2 0x0b86
00000411: JUMP
00000412: JUMPDEST
00000413: SWAP1
00000414: SWAP2
00000415: SSTORE
00000416: POP
00000417: PUSH2 0x0422
0000041a: SWAP1
0000041b: POP
0000041c: DUP4
0000041d: DUP3
0000041e: PUSH2 0x06c6
00000421: JUMP
00000422: JUMPDEST
00000423: PUSH1 0x40
00000425: DUP1
00000426: MLOAD
00000427: PUSH1 0x01
00000429: PUSH1 0x01
0000042b: PUSH1 0xa0
0000042d: SHL
0000042e: SUB
0000042f: DUP6
00000430: AND
00000431: DUP2
00000432: MSTORE
00000433: PUSH1 0x20
00000435: DUP2
00000436: ADD
00000437: DUP4
00000438: SWAP1
00000439: MSTORE
0000043a: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056
0000045b: SWAP2
0000045c: ADD
0000045d: PUSH1 0x40
0000045f: MLOAD
00000460: DUP1
00000461: SWAP2
00000462: SUB
00000463: SWAP1
00000464: LOG1
00000465: POP
00000466: POP
00000467: POP
00000468: JUMP
00000469: JUMPDEST
0000046a: PUSH1 0x01
0000046c: PUSH1 0x01
0000046e: PUSH1 0xa0
00000470: SHL
00000471: SUB
00000472: DUP2
00000473: AND
00000474: PUSH1 0x00
00000476: SWAP1
00000477: DUP2
00000478: MSTORE
00000479: PUSH1 0x02
0000047b: PUSH1 0x20
0000047d: MSTORE
0000047e: PUSH1 0x40
00000480: SWAP1
00000481: KECCAK256
00000482: SLOAD
00000483: PUSH2 0x049e
00000486: JUMPI
00000487: PUSH1 0x40
00000489: MLOAD
0000048a: PUSH3 0x461bcd
0000048e: PUSH1 0xe5
00000490: SHL
00000491: DUP2
00000492: MSTORE
00000493: PUSH1 0x04
00000495: ADD
00000496: PUSH2 0x0367
00000499: SWAP1
0000049a: PUSH2 0x0af5
0000049d: JUMP
0000049e: JUMPDEST
0000049f: PUSH1 0x01
000004a1: PUSH1 0x01
000004a3: PUSH1 0xa0
000004a5: SHL
000004a6: SUB
000004a7: DUP3
000004a8: AND
000004a9: PUSH1 0x00
000004ab: SWAP1
000004ac: DUP2
000004ad: MSTORE
000004ae: PUSH1 0x05
000004b0: PUSH1 0x20
000004b2: MSTORE
000004b3: PUSH1 0x40
000004b5: DUP2
000004b6: KECCAK256
000004b7: SLOAD
000004b8: PUSH1 0x40
000004ba: MLOAD
000004bb: PUSH4 0x70a08231
000004c0: PUSH1 0xe0
000004c2: SHL
000004c3: DUP2
000004c4: MSTORE
000004c5: ADDRESS
000004c6: PUSH1 0x04
000004c8: DUP3
000004c9: ADD
000004ca: MSTORE
000004cb: PUSH1 0x01
000004cd: PUSH1 0x01
000004cf: PUSH1 0xa0
000004d1: SHL
000004d2: SUB
000004d3: DUP6
000004d4: AND
000004d5: SWAP1
000004d6: PUSH4 0x70a08231
000004db: SWAP1
000004dc: PUSH1 0x24
000004de: ADD
000004df: PUSH1 0x20
000004e1: PUSH1 0x40
000004e3: MLOAD
000004e4: DUP1
000004e5: DUP4
000004e6: SUB
000004e7: DUP2
000004e8: DUP7
000004e9: DUP1
000004ea: EXTCODESIZE
000004eb: ISZERO
000004ec: DUP1
000004ed: ISZERO
000004ee: PUSH2 0x04f6
000004f1: JUMPI
000004f2: PUSH1 0x00
000004f4: DUP1
000004f5: REVERT
000004f6: JUMPDEST
000004f7: POP
000004f8: GAS
000004f9: STATICCALL
000004fa: ISZERO
000004fb: DUP1
000004fc: ISZERO
000004fd: PUSH2 0x050a
00000500: JUMPI
00000501: RETURNDATASIZE
00000502: PUSH1 0x00
00000504: DUP1
00000505: RETURNDATACOPY
00000506: RETURNDATASIZE
00000507: PUSH1 0x00
00000509: REVERT
0000050a: JUMPDEST
0000050b: POP
0000050c: POP
0000050d: POP
0000050e: POP
0000050f: PUSH1 0x40
00000511: MLOAD
00000512: RETURNDATASIZE
00000513: PUSH1 0x1f
00000515: NOT
00000516: PUSH1 0x1f
00000518: DUP3
00000519: ADD
0000051a: AND
0000051b: DUP3
0000051c: ADD
0000051d: DUP1
0000051e: PUSH1 0x40
00000520: MSTORE
00000521: POP
00000522: DUP2
00000523: ADD
00000524: SWAP1
00000525: PUSH2 0x052e
00000528: SWAP2
00000529: SWAP1
0000052a: PUSH2 0x0a8d
0000052d: JUMP
0000052e: JUMPDEST
0000052f: PUSH2 0x0538
00000532: SWAP2
00000533: SWAP1
00000534: PUSH2 0x0b86
00000537: JUMP
00000538: JUMPDEST
00000539: SWAP1
0000053a: POP
0000053b: PUSH1 0x00
0000053d: PUSH2 0x0571
00000540: DUP4
00000541: DUP4
00000542: PUSH2 0x03ad
00000545: DUP8
00000546: DUP8
00000547: PUSH1 0x01
00000549: PUSH1 0x01
0000054b: PUSH1 0xa0
0000054d: SHL
0000054e: SUB
0000054f: SWAP2
00000550: DUP3
00000551: AND
00000552: PUSH1 0x00
00000554: SWAP1
00000555: DUP2
00000556: MSTORE
00000557: PUSH1 0x06
00000559: PUSH1 0x20
0000055b: SWAP1
0000055c: DUP2
0000055d: MSTORE
0000055e: PUSH1 0x40
00000560: DUP1
00000561: DUP4
00000562: KECCAK256
00000563: SWAP4
00000564: SWAP1
00000565: SWAP5
00000566: AND
00000567: DUP3
00000568: MSTORE
00000569: SWAP2
0000056a: SWAP1
0000056b: SWAP2
0000056c: MSTORE
0000056d: KECCAK256
0000056e: SLOAD
0000056f: SWAP1
00000570: JUMP
00000571: JUMPDEST
00000572: SWAP1
00000573: POP
00000574: DUP1
00000575: PUSH2 0x0590
00000578: JUMPI
00000579: PUSH1 0x40
0000057b: MLOAD
0000057c: PUSH3 0x461bcd
00000580: PUSH1 0xe5
00000582: SHL
00000583: DUP2
00000584: MSTORE
00000585: PUSH1 0x04
00000587: ADD
00000588: PUSH2 0x0367
0000058b: SWAP1
0000058c: PUSH2 0x0b3b
0000058f: JUMP
00000590: JUMPDEST
00000591: PUSH1 0x01
00000593: PUSH1 0x01
00000595: PUSH1 0xa0
00000597: SHL
00000598: SUB
00000599: DUP1
0000059a: DUP6
0000059b: AND
0000059c: PUSH1 0x00
0000059e: SWAP1
0000059f: DUP2
000005a0: MSTORE
000005a1: PUSH1 0x06
000005a3: PUSH1 0x20
000005a5: SWAP1
000005a6: DUP2
000005a7: MSTORE
000005a8: PUSH1 0x40
000005aa: DUP1
000005ab: DUP4
000005ac: KECCAK256
000005ad: SWAP4
000005ae: DUP8
000005af: AND
000005b0: DUP4
000005b1: MSTORE
000005b2: SWAP3
000005b3: SWAP1
000005b4: MSTORE
000005b5: SWAP1
000005b6: DUP2
000005b7: KECCAK256
000005b8: DUP1
000005b9: SLOAD
000005ba: DUP4
000005bb: SWAP3
000005bc: SWAP1
000005bd: PUSH2 0x05c7
000005c0: SWAP1
000005c1: DUP5
000005c2: SWAP1
000005c3: PUSH2 0x0b86
000005c6: JUMP
000005c7: JUMPDEST
000005c8: SWAP1
000005c9: SWAP2
000005ca: SSTORE
000005cb: POP
000005cc: POP
000005cd: PUSH1 0x01
000005cf: PUSH1 0x01
000005d1: PUSH1 0xa0
000005d3: SHL
000005d4: SUB
000005d5: DUP5
000005d6: AND
000005d7: PUSH1 0x00
000005d9: SWAP1
000005da: DUP2
000005db: MSTORE
000005dc: PUSH1 0x05
000005de: PUSH1 0x20
000005e0: MSTORE
000005e1: PUSH1 0x40
000005e3: DUP2
000005e4: KECCAK256
000005e5: DUP1
000005e6: SLOAD
000005e7: DUP4
000005e8: SWAP3
000005e9: SWAP1
000005ea: PUSH2 0x05f4
000005ed: SWAP1
000005ee: DUP5
000005ef: SWAP1
000005f0: PUSH2 0x0b86
000005f3: JUMP
000005f4: JUMPDEST
000005f5: SWAP1
000005f6: SWAP2
000005f7: SSTORE
000005f8: POP
000005f9: PUSH2 0x0605
000005fc: SWAP1
000005fd: POP
000005fe: DUP5
000005ff: DUP5
00000600: DUP4
00000601: PUSH2 0x07e4
00000604: JUMP
00000605: JUMPDEST
00000606: PUSH1 0x40
00000608: DUP1
00000609: MLOAD
0000060a: PUSH1 0x01
0000060c: PUSH1 0x01
0000060e: PUSH1 0xa0
00000610: SHL
00000611: SUB
00000612: DUP6
00000613: DUP2
00000614: AND
00000615: DUP3
00000616: MSTORE
00000617: PUSH1 0x20
00000619: DUP3
0000061a: ADD
0000061b: DUP5
0000061c: SWAP1
0000061d: MSTORE
0000061e: DUP7
0000061f: AND
00000620: SWAP2
00000621: PUSH32 0x3be5b7a71e84ed12875d241991c70855ac5817d847039e17a9d895c1ceb0f18a
00000642: SWAP2
00000643: ADD
00000644: PUSH1 0x40
00000646: MLOAD
00000647: DUP1
00000648: SWAP2
00000649: SUB
0000064a: SWAP1
0000064b: LOG2
0000064c: POP
0000064d: POP
0000064e: POP
0000064f: POP
00000650: JUMP
00000651: JUMPDEST
00000652: PUSH1 0x00
00000654: PUSH1 0x04
00000656: DUP3
00000657: DUP2
00000658: SLOAD
00000659: DUP2
0000065a: LT
0000065b: PUSH2 0x0666
0000065e: JUMPI
0000065f: PUSH2 0x0666
00000662: PUSH2 0x0c77
00000665: JUMP
00000666: JUMPDEST
00000667: PUSH1 0x00
00000669: SWAP2
0000066a: DUP3
0000066b: MSTORE
0000066c: PUSH1 0x20
0000066e: SWAP1
0000066f: SWAP2
00000670: KECCAK256
00000671: ADD
00000672: SLOAD
00000673: PUSH1 0x01
00000675: PUSH1 0x01
00000677: PUSH1 0xa0
00000679: SHL
0000067a: SUB
0000067b: AND
0000067c: SWAP3
0000067d: SWAP2
0000067e: POP
0000067f: POP
00000680: JUMP
00000681: JUMPDEST
00000682: PUSH1 0x00
00000684: DUP1
00000685: SLOAD
00000686: PUSH1 0x01
00000688: PUSH1 0x01
0000068a: PUSH1 0xa0
0000068c: SHL
0000068d: SUB
0000068e: DUP6
0000068f: AND
00000690: DUP3
00000691: MSTORE
00000692: PUSH1 0x02
00000694: PUSH1 0x20
00000696: MSTORE
00000697: PUSH1 0x40
00000699: DUP3
0000069a: KECCAK256
0000069b: SLOAD
0000069c: DUP4
0000069d: SWAP2
0000069e: SWAP1
0000069f: PUSH2 0x06a8
000006a2: SWAP1
000006a3: DUP7
000006a4: PUSH2 0x0bc0
000006a7: JUMP
000006a8: JUMPDEST
000006a9: PUSH2 0x06b2
000006ac: SWAP2
000006ad: SWAP1
000006ae: PUSH2 0x0b9e
000006b1: JUMP
000006b2: JUMPDEST
000006b3: PUSH2 0x06bc
000006b6: SWAP2
000006b7: SWAP1
000006b8: PUSH2 0x0bdf
000006bb: JUMP
000006bc: JUMPDEST
000006bd: SWAP1
000006be: POP
000006bf: JUMPDEST
000006c0: SWAP4
000006c1: SWAP3
000006c2: POP
000006c3: POP
000006c4: POP
000006c5: JUMP
000006c6: JUMPDEST
000006c7: DUP1
000006c8: SELFBALANCE
000006c9: LT
000006ca: ISZERO
000006cb: PUSH2 0x0716
000006ce: JUMPI
000006cf: PUSH1 0x40
000006d1: MLOAD
000006d2: PUSH3 0x461bcd
000006d6: PUSH1 0xe5
000006d8: SHL
000006d9: DUP2
000006da: MSTORE
000006db: PUSH1 0x20
000006dd: PUSH1 0x04
000006df: DUP3
000006e0: ADD
000006e1: MSTORE
000006e2: PUSH1 0x1d
000006e4: PUSH1 0x24
000006e6: DUP3
000006e7: ADD
000006e8: MSTORE
000006e9: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
0000070a: PUSH1 0x44
0000070c: DUP3
0000070d: ADD
0000070e: MSTORE
0000070f: PUSH1 0x64
00000711: ADD
00000712: PUSH2 0x0367
00000715: JUMP
00000716: JUMPDEST
00000717: PUSH1 0x00
00000719: DUP3
0000071a: PUSH1 0x01
0000071c: PUSH1 0x01
0000071e: PUSH1 0xa0
00000720: SHL
00000721: SUB
00000722: AND
00000723: DUP3
00000724: PUSH1 0x40
00000726: MLOAD
00000727: PUSH1 0x00
00000729: PUSH1 0x40
0000072b: MLOAD
0000072c: DUP1
0000072d: DUP4
0000072e: SUB
0000072f: DUP2
00000730: DUP6
00000731: DUP8
00000732: GAS
00000733: CALL
00000734: SWAP3
00000735: POP
00000736: POP
00000737: POP
00000738: RETURNDATASIZE
00000739: DUP1
0000073a: PUSH1 0x00
0000073c: DUP2
0000073d: EQ
0000073e: PUSH2 0x0763
00000741: JUMPI
00000742: PUSH1 0x40
00000744: MLOAD
00000745: SWAP2
00000746: POP
00000747: PUSH1 0x1f
00000749: NOT
0000074a: PUSH1 0x3f
0000074c: RETURNDATASIZE
0000074d: ADD
0000074e: AND
0000074f: DUP3
00000750: ADD
00000751: PUSH1 0x40
00000753: MSTORE
00000754: RETURNDATASIZE
00000755: DUP3
00000756: MSTORE
00000757: RETURNDATASIZE
00000758: PUSH1 0x00
0000075a: PUSH1 0x20
0000075c: DUP5
0000075d: ADD
0000075e: RETURNDATACOPY
0000075f: PUSH2 0x0768
00000762: JUMP
00000763: JUMPDEST
00000764: PUSH1 0x60
00000766: SWAP2
00000767: POP
00000768: JUMPDEST
00000769: POP
0000076a: POP
0000076b: SWAP1
0000076c: POP
0000076d: DUP1
0000076e: PUSH2 0x07df
00000771: JUMPI
00000772: PUSH1 0x40
00000774: MLOAD
00000775: PUSH3 0x461bcd
00000779: PUSH1 0xe5
0000077b: SHL
0000077c: DUP2
0000077d: MSTORE
0000077e: PUSH1 0x20
00000780: PUSH1 0x04
00000782: DUP3
00000783: ADD
00000784: MSTORE
00000785: PUSH1 0x3a
00000787: PUSH1 0x24
00000789: DUP3
0000078a: ADD
0000078b: MSTORE
0000078c: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
000007ad: PUSH1 0x44
000007af: DUP3
000007b0: ADD
000007b1: MSTORE
000007b2: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
000007d3: PUSH1 0x64
000007d5: DUP3
000007d6: ADD
000007d7: MSTORE
000007d8: PUSH1 0x84
000007da: ADD
000007db: PUSH2 0x0367
000007de: JUMP
000007df: JUMPDEST
000007e0: POP
000007e1: POP
000007e2: POP
000007e3: JUMP
000007e4: JUMPDEST
000007e5: PUSH1 0x40
000007e7: DUP1
000007e8: MLOAD
000007e9: PUSH1 0x01
000007eb: PUSH1 0x01
000007ed: PUSH1 0xa0
000007ef: SHL
000007f0: SUB
000007f1: DUP5
000007f2: DUP2
000007f3: AND
000007f4: PUSH1 0x24
000007f6: DUP4
000007f7: ADD
000007f8: MSTORE
000007f9: PUSH1 0x44
000007fb: DUP1
000007fc: DUP4
000007fd: ADD
000007fe: DUP6
000007ff: SWAP1
00000800: MSTORE
00000801: DUP4
00000802: MLOAD
00000803: DUP1
00000804: DUP5
00000805: SUB
00000806: SWAP1
00000807: SWAP2
00000808: ADD
00000809: DUP2
0000080a: MSTORE
0000080b: PUSH1 0x64
0000080d: SWAP1
0000080e: SWAP3
0000080f: ADD
00000810: DUP4
00000811: MSTORE
00000812: PUSH1 0x20
00000814: DUP1
00000815: DUP4
00000816: ADD
00000817: DUP1
00000818: MLOAD
00000819: PUSH1 0x01
0000081b: PUSH1 0x01
0000081d: PUSH1 0xe0
0000081f: SHL
00000820: SUB
00000821: AND
00000822: PUSH4 0xa9059cbb
00000827: PUSH1 0xe0
00000829: SHL
0000082a: OR
0000082b: SWAP1
0000082c: MSTORE
0000082d: DUP4
0000082e: MLOAD
0000082f: DUP1
00000830: DUP6
00000831: ADD
00000832: SWAP1
00000833: SWAP5
00000834: MSTORE
00000835: DUP1
00000836: DUP5
00000837: MSTORE
00000838: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00000859: SWAP1
0000085a: DUP5
0000085b: ADD
0000085c: MSTORE
0000085d: PUSH2 0x07df
00000860: SWAP3
00000861: DUP7
00000862: SWAP3
00000863: SWAP2
00000864: PUSH1 0x00
00000866: SWAP2
00000867: PUSH2 0x0874
0000086a: SWAP2
0000086b: DUP6
0000086c: AND
0000086d: SWAP1
0000086e: DUP5
0000086f: SWAP1
00000870: PUSH2 0x08f1
00000873: JUMP
00000874: JUMPDEST
00000875: DUP1
00000876: MLOAD
00000877: SWAP1
00000878: SWAP2
00000879: POP
0000087a: ISZERO
0000087b: PUSH2 0x07df
0000087e: JUMPI
0000087f: DUP1
00000880: DUP1
00000881: PUSH1 0x20
00000883: ADD
00000884: SWAP1
00000885: MLOAD
00000886: DUP2
00000887: ADD
00000888: SWAP1
00000889: PUSH2 0x0892
0000088c: SWAP2
0000088d: SWAP1
0000088e: PUSH2 0x0a19
00000891: JUMP
00000892: JUMPDEST
00000893: PUSH2 0x07df
00000896: JUMPI
00000897: PUSH1 0x40
00000899: MLOAD
0000089a: PUSH3 0x461bcd
0000089e: PUSH1 0xe5
000008a0: SHL
000008a1: DUP2
000008a2: MSTORE
000008a3: PUSH1 0x20
000008a5: PUSH1 0x04
000008a7: DUP3
000008a8: ADD
000008a9: MSTORE
000008aa: PUSH1 0x2a
000008ac: PUSH1 0x24
000008ae: DUP3
000008af: ADD
000008b0: MSTORE
000008b1: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
000008d2: PUSH1 0x44
000008d4: DUP3
000008d5: ADD
000008d6: MSTORE
000008d7: PUSH10 0x1bdd081cdd58d8d95959
000008e2: PUSH1 0xb2
000008e4: SHL
000008e5: PUSH1 0x64
000008e7: DUP3
000008e8: ADD
000008e9: MSTORE
000008ea: PUSH1 0x84
000008ec: ADD
000008ed: PUSH2 0x0367
000008f0: JUMP
000008f1: JUMPDEST
000008f2: PUSH1 0x60
000008f4: PUSH2 0x06bc
000008f7: DUP5
000008f8: DUP5
000008f9: PUSH1 0x00
000008fb: DUP6
000008fc: DUP6
000008fd: DUP5
000008fe: EXTCODESIZE
000008ff: PUSH2 0x094a
00000902: JUMPI
00000903: PUSH1 0x40
00000905: MLOAD
00000906: PUSH3 0x461bcd
0000090a: PUSH1 0xe5
0000090c: SHL
0000090d: DUP2
0000090e: MSTORE
0000090f: PUSH1 0x20
00000911: PUSH1 0x04
00000913: DUP3
00000914: ADD
00000915: MSTORE
00000916: PUSH1 0x1d
00000918: PUSH1 0x24
0000091a: DUP3
0000091b: ADD
0000091c: MSTORE
0000091d: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
0000093e: PUSH1 0x44
00000940: DUP3
00000941: ADD
00000942: MSTORE
00000943: PUSH1 0x64
00000945: ADD
00000946: PUSH2 0x0367
00000949: JUMP
0000094a: JUMPDEST
0000094b: PUSH1 0x00
0000094d: DUP1
0000094e: DUP7
0000094f: PUSH1 0x01
00000951: PUSH1 0x01
00000953: PUSH1 0xa0
00000955: SHL
00000956: SUB
00000957: AND
00000958: DUP6
00000959: DUP8
0000095a: PUSH1 0x40
0000095c: MLOAD
0000095d: PUSH2 0x0966
00000960: SWAP2
00000961: SWAP1
00000962: PUSH2 0x0aa6
00000965: JUMP
00000966: JUMPDEST
00000967: PUSH1 0x00
00000969: PUSH1 0x40
0000096b: MLOAD
0000096c: DUP1
0000096d: DUP4
0000096e: SUB
0000096f: DUP2
00000970: DUP6
00000971: DUP8
00000972: GAS
00000973: CALL
00000974: SWAP3
00000975: POP
00000976: POP
00000977: POP
00000978: RETURNDATASIZE
00000979: DUP1
0000097a: PUSH1 0x00
0000097c: DUP2
0000097d: EQ
0000097e: PUSH2 0x09a3
00000981: JUMPI
00000982: PUSH1 0x40
00000984: MLOAD
00000985: SWAP2
00000986: POP
00000987: PUSH1 0x1f
00000989: NOT
0000098a: PUSH1 0x3f
0000098c: RETURNDATASIZE
0000098d: ADD
0000098e: AND
0000098f: DUP3
00000990: ADD
00000991: PUSH1 0x40
00000993: MSTORE
00000994: RETURNDATASIZE
00000995: DUP3
00000996: MSTORE
00000997: RETURNDATASIZE
00000998: PUSH1 0x00
0000099a: PUSH1 0x20
0000099c: DUP5
0000099d: ADD
0000099e: RETURNDATACOPY
0000099f: PUSH2 0x09a8
000009a2: JUMP
000009a3: JUMPDEST
000009a4: PUSH1 0x60
000009a6: SWAP2
000009a7: POP
000009a8: JUMPDEST
000009a9: POP
000009aa: SWAP2
000009ab: POP
000009ac: SWAP2
000009ad: POP
000009ae: PUSH2 0x09b8
000009b1: DUP3
000009b2: DUP3
000009b3: DUP7
000009b4: PUSH2 0x09c3
000009b7: JUMP
000009b8: JUMPDEST
000009b9: SWAP8
000009ba: SWAP7
000009bb: POP
000009bc: POP
000009bd: POP
000009be: POP
000009bf: POP
000009c0: POP
000009c1: POP
000009c2: JUMP
000009c3: JUMPDEST
000009c4: PUSH1 0x60
000009c6: DUP4
000009c7: ISZERO
000009c8: PUSH2 0x09d2
000009cb: JUMPI
000009cc: POP
000009cd: DUP2
000009ce: PUSH2 0x06bf
000009d1: JUMP
000009d2: JUMPDEST
000009d3: DUP3
000009d4: MLOAD
000009d5: ISZERO
000009d6: PUSH2 0x09e2
000009d9: JUMPI
000009da: DUP3
000009db: MLOAD
000009dc: DUP1
000009dd: DUP5
000009de: PUSH1 0x20
000009e0: ADD
000009e1: REVERT
000009e2: JUMPDEST
000009e3: DUP2
000009e4: PUSH1 0x40
000009e6: MLOAD
000009e7: PUSH3 0x461bcd
000009eb: PUSH1 0xe5
000009ed: SHL
000009ee: DUP2
000009ef: MSTORE
000009f0: PUSH1 0x04
000009f2: ADD
000009f3: PUSH2 0x0367
000009f6: SWAP2
000009f7: SWAP1
000009f8: PUSH2 0x0ac2
000009fb: JUMP
000009fc: JUMPDEST
000009fd: PUSH1 0x00
000009ff: PUSH1 0x20
00000a01: DUP3
00000a02: DUP5
00000a03: SUB
00000a04: SLT
00000a05: ISZERO
00000a06: PUSH2 0x0a0e
00000a09: JUMPI
00000a0a: PUSH1 0x00
00000a0c: DUP1
00000a0d: REVERT
00000a0e: JUMPDEST
00000a0f: DUP2
00000a10: CALLDATALOAD
00000a11: PUSH2 0x06bf
00000a14: DUP2
00000a15: PUSH2 0x0c8d
00000a18: JUMP
00000a19: JUMPDEST
00000a1a: PUSH1 0x00
00000a1c: PUSH1 0x20
00000a1e: DUP3
00000a1f: DUP5
00000a20: SUB
00000a21: SLT
00000a22: ISZERO
00000a23: PUSH2 0x0a2b
00000a26: JUMPI
00000a27: PUSH1 0x00
00000a29: DUP1
00000a2a: REVERT
00000a2b: JUMPDEST
00000a2c: DUP2
00000a2d: MLOAD
00000a2e: DUP1
00000a2f: ISZERO
00000a30: ISZERO
00000a31: DUP2
00000a32: EQ
00000a33: PUSH2 0x06bf
00000a36: JUMPI
00000a37: PUSH1 0x00
00000a39: DUP1
00000a3a: REVERT
00000a3b: JUMPDEST
00000a3c: PUSH1 0x00
00000a3e: DUP1
00000a3f: PUSH1 0x40
00000a41: DUP4
00000a42: DUP6
00000a43: SUB
00000a44: SLT
00000a45: ISZERO
00000a46: PUSH2 0x0a4e
00000a49: JUMPI
00000a4a: PUSH1 0x00
00000a4c: DUP1
00000a4d: REVERT
00000a4e: JUMPDEST
00000a4f: DUP3
00000a50: CALLDATALOAD
00000a51: PUSH2 0x0a59
00000a54: DUP2
00000a55: PUSH2 0x0c8d
00000a58: JUMP
00000a59: JUMPDEST
00000a5a: SWAP2
00000a5b: POP
00000a5c: PUSH1 0x20
00000a5e: DUP4
00000a5f: ADD
00000a60: CALLDATALOAD
00000a61: PUSH2 0x0a69
00000a64: DUP2
00000a65: PUSH2 0x0c8d
00000a68: JUMP
00000a69: JUMPDEST
00000a6a: DUP1
00000a6b: SWAP2
00000a6c: POP
00000a6d: POP
00000a6e: SWAP3
00000a6f: POP
00000a70: SWAP3
00000a71: SWAP1
00000a72: POP
00000a73: JUMP
00000a74: JUMPDEST
00000a75: PUSH1 0x00
00000a77: PUSH1 0x20
00000a79: DUP3
00000a7a: DUP5
00000a7b: SUB
00000a7c: SLT
00000a7d: ISZERO
00000a7e: PUSH2 0x0a86
00000a81: JUMPI
00000a82: PUSH1 0x00
00000a84: DUP1
00000a85: REVERT
00000a86: JUMPDEST
00000a87: POP
00000a88: CALLDATALOAD
00000a89: SWAP2
00000a8a: SWAP1
00000a8b: POP
00000a8c: JUMP
00000a8d: JUMPDEST
00000a8e: PUSH1 0x00
00000a90: PUSH1 0x20
00000a92: DUP3
00000a93: DUP5
00000a94: SUB
00000a95: SLT
00000a96: ISZERO
00000a97: PUSH2 0x0a9f
00000a9a: JUMPI
00000a9b: PUSH1 0x00
00000a9d: DUP1
00000a9e: REVERT
00000a9f: JUMPDEST
00000aa0: POP
00000aa1: MLOAD
00000aa2: SWAP2
00000aa3: SWAP1
00000aa4: POP
00000aa5: JUMP
00000aa6: JUMPDEST
00000aa7: PUSH1 0x00
00000aa9: DUP3
00000aaa: MLOAD
00000aab: PUSH2 0x0ab8
00000aae: DUP2
00000aaf: DUP5
00000ab0: PUSH1 0x20
00000ab2: DUP8
00000ab3: ADD
00000ab4: PUSH2 0x0bf6
00000ab7: JUMP
00000ab8: JUMPDEST
00000ab9: SWAP2
00000aba: SWAP1
00000abb: SWAP2
00000abc: ADD
00000abd: SWAP3
00000abe: SWAP2
00000abf: POP
00000ac0: POP
00000ac1: JUMP
00000ac2: JUMPDEST
00000ac3: PUSH1 0x20
00000ac5: DUP2
00000ac6: MSTORE
00000ac7: PUSH1 0x00
00000ac9: DUP3
00000aca: MLOAD
00000acb: DUP1
00000acc: PUSH1 0x20
00000ace: DUP5
00000acf: ADD
00000ad0: MSTORE
00000ad1: PUSH2 0x0ae1
00000ad4: DUP2
00000ad5: PUSH1 0x40
00000ad7: DUP6
00000ad8: ADD
00000ad9: PUSH1 0x20
00000adb: DUP8
00000adc: ADD
00000add: PUSH2 0x0bf6
00000ae0: JUMP
00000ae1: JUMPDEST
00000ae2: PUSH1 0x1f
00000ae4: ADD
00000ae5: PUSH1 0x1f
00000ae7: NOT
00000ae8: AND
00000ae9: SWAP2
00000aea: SWAP1
00000aeb: SWAP2
00000aec: ADD
00000aed: PUSH1 0x40
00000aef: ADD
00000af0: SWAP3
00000af1: SWAP2
00000af2: POP
00000af3: POP
00000af4: JUMP
00000af5: JUMPDEST
00000af6: PUSH1 0x20
00000af8: DUP1
00000af9: DUP3
00000afa: MSTORE
00000afb: PUSH1 0x26
00000afd: SWAP1
00000afe: DUP3
00000aff: ADD
00000b00: MSTORE
00000b01: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20
00000b22: PUSH1 0x40
00000b24: DUP3
00000b25: ADD
00000b26: MSTORE
00000b27: PUSH6 0x736861726573
00000b2e: PUSH1 0xd0
00000b30: SHL
00000b31: PUSH1 0x60
00000b33: DUP3
00000b34: ADD
00000b35: MSTORE
00000b36: PUSH1 0x80
00000b38: ADD
00000b39: SWAP1
00000b3a: JUMP
00000b3b: JUMPDEST
00000b3c: PUSH1 0x20
00000b3e: DUP1
00000b3f: DUP3
00000b40: MSTORE
00000b41: PUSH1 0x2b
00000b43: SWAP1
00000b44: DUP3
00000b45: ADD
00000b46: MSTORE
00000b47: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420
00000b68: PUSH1 0x40
00000b6a: DUP3
00000b6b: ADD
00000b6c: MSTORE
00000b6d: PUSH11 0x191d59481c185e5b595b9d
00000b79: PUSH1 0xaa
00000b7b: SHL
00000b7c: PUSH1 0x60
00000b7e: DUP3
00000b7f: ADD
00000b80: MSTORE
00000b81: PUSH1 0x80
00000b83: ADD
00000b84: SWAP1
00000b85: JUMP
00000b86: JUMPDEST
00000b87: PUSH1 0x00
00000b89: DUP3
00000b8a: NOT
00000b8b: DUP3
00000b8c: GT
00000b8d: ISZERO
00000b8e: PUSH2 0x0b99
00000b91: JUMPI
00000b92: PUSH2 0x0b99
00000b95: PUSH2 0x0c61
00000b98: JUMP
00000b99: JUMPDEST
00000b9a: POP
00000b9b: ADD
00000b9c: SWAP1
00000b9d: JUMP
00000b9e: JUMPDEST
00000b9f: PUSH1 0x00
00000ba1: DUP3
00000ba2: PUSH2 0x0bbb
00000ba5: JUMPI
00000ba6: PUSH4 0x4e487b71
00000bab: PUSH1 0xe0
00000bad: SHL
00000bae: PUSH1 0x00
00000bb0: MSTORE
00000bb1: PUSH1 0x12
00000bb3: PUSH1 0x04
00000bb5: MSTORE
00000bb6: PUSH1 0x24
00000bb8: PUSH1 0x00
00000bba: REVERT
00000bbb: JUMPDEST
00000bbc: POP
00000bbd: DIV
00000bbe: SWAP1
00000bbf: JUMP
00000bc0: JUMPDEST
00000bc1: PUSH1 0x00
00000bc3: DUP2
00000bc4: PUSH1 0x00
00000bc6: NOT
00000bc7: DIV
00000bc8: DUP4
00000bc9: GT
00000bca: DUP3
00000bcb: ISZERO
00000bcc: ISZERO
00000bcd: AND
00000bce: ISZERO
00000bcf: PUSH2 0x0bda
00000bd2: JUMPI
00000bd3: PUSH2 0x0bda
00000bd6: PUSH2 0x0c61
00000bd9: JUMP
00000bda: JUMPDEST
00000bdb: POP
00000bdc: MUL
00000bdd: SWAP1
00000bde: JUMP
00000bdf: JUMPDEST
00000be0: PUSH1 0x00
00000be2: DUP3
00000be3: DUP3
00000be4: LT
00000be5: ISZERO
00000be6: PUSH2 0x0bf1
00000be9: JUMPI
00000bea: PUSH2 0x0bf1
00000bed: PUSH2 0x0c61
00000bf0: JUMP
00000bf1: JUMPDEST
00000bf2: POP
00000bf3: SUB
00000bf4: SWAP1
00000bf5: JUMP
00000bf6: JUMPDEST
00000bf7: PUSH1 0x00
00000bf9: JUMPDEST
00000bfa: DUP4
00000bfb: DUP2
00000bfc: LT
00000bfd: ISZERO
00000bfe: PUSH2 0x0c11
00000c01: JUMPI
00000c02: DUP2
00000c03: DUP2
00000c04: ADD
00000c05: MLOAD
00000c06: DUP4
00000c07: DUP3
00000c08: ADD
00000c09: MSTORE
00000c0a: PUSH1 0x20
00000c0c: ADD
00000c0d: PUSH2 0x0bf9
00000c10: JUMP
00000c11: JUMPDEST
00000c12: DUP4
00000c13: DUP2
00000c14: GT
00000c15: ISZERO
00000c16: PUSH2 0x0c20
00000c19: JUMPI
00000c1a: PUSH1 0x00
00000c1c: DUP5
00000c1d: DUP5
00000c1e: ADD
00000c1f: MSTORE
00000c20: JUMPDEST
00000c21: POP
00000c22: POP
00000c23: POP
00000c24: POP
00000c25: JUMP
00000c26: JUMPDEST
00000c27: PUSH1 0x01
00000c29: DUP2
00000c2a: DUP2
00000c2b: SHR
00000c2c: SWAP1
00000c2d: DUP3
00000c2e: AND
00000c2f: DUP1
00000c30: PUSH2 0x0c3a
00000c33: JUMPI
00000c34: PUSH1 0x7f
00000c36: DUP3
00000c37: AND
00000c38: SWAP2
00000c39: POP
00000c3a: JUMPDEST
00000c3b: PUSH1 0x20
00000c3d: DUP3
00000c3e: LT
00000c3f: DUP2
00000c40: EQ
00000c41: ISZERO
00000c42: PUSH2 0x0c5b
00000c45: JUMPI
00000c46: PUSH4 0x4e487b71
00000c4b: PUSH1 0xe0
00000c4d: SHL
00000c4e: PUSH1 0x00
00000c50: MSTORE
00000c51: PUSH1 0x22
00000c53: PUSH1 0x04
00000c55: MSTORE
00000c56: PUSH1 0x24
00000c58: PUSH1 0x00
00000c5a: REVERT
00000c5b: JUMPDEST
00000c5c: POP
00000c5d: SWAP2
00000c5e: SWAP1
00000c5f: POP
00000c60: JUMP
00000c61: JUMPDEST
00000c62: PUSH4 0x4e487b71
00000c67: PUSH1 0xe0
00000c69: SHL
00000c6a: PUSH1 0x00
00000c6c: MSTORE
00000c6d: PUSH1 0x11
00000c6f: PUSH1 0x04
00000c71: MSTORE
00000c72: PUSH1 0x24
00000c74: PUSH1 0x00
00000c76: REVERT
00000c77: JUMPDEST
00000c78: PUSH4 0x4e487b71
00000c7d: PUSH1 0xe0
00000c7f: SHL
00000c80: PUSH1 0x00
00000c82: MSTORE
00000c83: PUSH1 0x32
00000c85: PUSH1 0x04
00000c87: MSTORE
00000c88: PUSH1 0x24
00000c8a: PUSH1 0x00
00000c8c: REVERT
00000c8d: JUMPDEST
00000c8e: PUSH1 0x01
00000c90: PUSH1 0x01
00000c92: PUSH1 0xa0
00000c94: SHL
00000c95: SUB
00000c96: DUP2
00000c97: AND
00000c98: DUP2
00000c99: EQ
00000c9a: PUSH2 0x0ca2
00000c9d: JUMPI
00000c9e: PUSH1 0x00
00000ca0: DUP1
00000ca1: REVERT
00000ca2: JUMPDEST
00000ca3: POP
00000ca4: JUMP
00000ca5: INVALID
00000ca6: LOG2
00000ca7: PUSH5 0x6970667358
00000cad: UNKNOWN(0x22)
00000cae: SLT
00000caf: KECCAK256
00000cb0: UNKNOWN(0xDE)
00000cb1: EXTCODECOPY
00000cb2: SWAP7
00000cb3: SSTORE
00000cb4: DUP8
00000cb5: DUP1
00000cb6: JUMPDEST
00000cb7: SWAP15
00000cb8: UNKNOWN(0xBF)
00000cb9: UNKNOWN(0xAC)
00000cba: SWAP14
00000cbb: DIV
00000cbc: MSIZE
00000cbd: SLOAD
00000cbe: UNKNOWN(0xD4)
00000cbf: UNKNOWN(0x2F)
00000cc0: UNKNOWN(0xBD)
00000cc1: DUP6
00000cc2: KECCAK256
00000cc3: MLOAD
00000cc4: PUSH22 0x36b12a8890a745077720a764736f6c63430008070033

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: 0x9eb71e2b1523df0dfbc6857a6d9ff06d114f9ae36d1f7a1407fe3dc190e86fcb call_targets: 0xaff42f5c10103f661f0ab6566545e5fc4261e374 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x9eb71e2b1523df0dfbc6857a6d9ff06d114f9ae36d1f7a1407fe3dc190e86fcb", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xaff42f5c10103f661f0ab6566545e5fc4261e374" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x8b83209b", "selector": "0x8b83209b", "calldata_variants": [ "0x8b83209b", "0x8b83209b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9852595c", "selector": "0x9852595c", "calldata_variants": [ "0x9852595c", "0x9852595c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xce7c2ac2", "selector": "0xce7c2ac2", "calldata_variants": [ "0xce7c2ac2", "0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd79779b2", "selector": "0xd79779b2", "calldata_variants": [ "0xd79779b2", "0xd79779b20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe33b7de3", "selector": "0xe33b7de3", "calldata_variants": [ "0xe33b7de3", "0xe33b7de30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x19165587", "selector": "0x19165587", "calldata_variants": [ "0x19165587", "0x191655870000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3a98ef39", "selector": "0x3a98ef39", "calldata_variants": [ "0x3a98ef39", "0x3a98ef390000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1843, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2419, "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: 0x9eb71e2b1523df0dfbc6857a6d9ff06d114f9ae36d1f7a1407fe3dc190e86fcb call_targets: 0xaff42f5c10103f661f0ab6566545e5fc4261e374 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x9eb71e2b1523df0dfbc6857a6d9ff06d114f9ae36d1f7a1407fe3dc190e86fcb", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xaff42f5c10103f661f0ab6566545e5fc4261e374" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x8b83209b", "selector": "0x8b83209b", "calldata_variants": [ "0x8b83209b", "0x8b83209b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9852595c", "selector": "0x9852595c", "calldata_variants": [ "0x9852595c", "0x9852595c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xce7c2ac2", "selector": "0xce7c2ac2", "calldata_variants": [ "0xce7c2ac2", "0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd79779b2", "selector": "0xd79779b2", "calldata_variants": [ "0xd79779b2", "0xd79779b20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe33b7de3", "selector": "0xe33b7de3", "calldata_variants": [ "0xe33b7de3", "0xe33b7de30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x19165587", "selector": "0x19165587", "calldata_variants": [ "0x19165587", "0x191655870000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3a98ef39", "selector": "0x3a98ef39", "calldata_variants": [ "0x3a98ef39", "0x3a98ef390000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1843, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2419, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [] }

Severity