Analysis Run

019b477e-c98b-714d-8afc-ccc389ee0326

complete

Chain ID

1

Address

0x1f86ffdcedbaef90e9409e5195c680cc6178ec01

Block Number

—

Created

Mon, Dec 22, 2025 7:17 PM

Review Summary

What survived the funnel

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

back to vulns open contract

Confirmed

0

Validated

0

Source

Bytecode only

Review Backing

Not yet

Best current signal

Untrusted CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

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

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

3. Confirm money or privilege impact.

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

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
26335	artifact.fetch	complete	1 / 3	3 months ago
26336	tool.cast_disasm	complete	1 / 3	3 months ago
91585	analysis.bundle	complete	1 / 3	2 weeks ago
91586	capability.graph	complete	1 / 3	2 weeks ago
91587	detector.run	complete	1 / 3	2 weeks ago
91588	validation.fork	complete	1 / 3	2 weeks ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

3

EXT*/BALANCE

1

Total opcodes

1889

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 0x008a
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 0x0184
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x9852595c
0000002f: EQ
00000030: PUSH2 0x01bc
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xce7c2ac2
0000003a: EQ
0000003b: PUSH2 0x01f2
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd79779b2
00000045: EQ
00000046: PUSH2 0x0228
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe33b7de3
00000050: EQ
00000051: PUSH2 0x025e
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x19165587
00000060: EQ
00000061: PUSH2 0x00d8
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x3a98ef39
0000006b: EQ
0000006c: PUSH2 0x00fa
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x406072a9
00000076: EQ
00000077: PUSH2 0x011e
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x48b75044
00000081: EQ
00000082: PUSH2 0x0164
00000085: JUMPI
00000086: PUSH1 0x00
00000088: DUP1
00000089: REVERT
0000008a: JUMPDEST
0000008b: CALLDATASIZE
0000008c: PUSH2 0x00d3
0000008f: JUMPI
00000090: PUSH32 0x6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be770
000000b1: CALLER
000000b2: PUSH1 0x40
000000b4: DUP1
000000b5: MLOAD
000000b6: PUSH1 0x01
000000b8: PUSH1 0x01
000000ba: PUSH1 0xa0
000000bc: SHL
000000bd: SUB
000000be: SWAP1
000000bf: SWAP3
000000c0: AND
000000c1: DUP3
000000c2: MSTORE
000000c3: CALLVALUE
000000c4: PUSH1 0x20
000000c6: DUP4
000000c7: ADD
000000c8: MSTORE
000000c9: ADD
000000ca: PUSH1 0x40
000000cc: MLOAD
000000cd: DUP1
000000ce: SWAP2
000000cf: SUB
000000d0: SWAP1
000000d1: LOG1
000000d2: STOP
000000d3: JUMPDEST
000000d4: PUSH1 0x00
000000d6: DUP1
000000d7: REVERT
000000d8: JUMPDEST
000000d9: CALLVALUE
000000da: DUP1
000000db: ISZERO
000000dc: PUSH2 0x00e4
000000df: JUMPI
000000e0: PUSH1 0x00
000000e2: DUP1
000000e3: REVERT
000000e4: JUMPDEST
000000e5: POP
000000e6: PUSH2 0x00f8
000000e9: PUSH2 0x00f3
000000ec: CALLDATASIZE
000000ed: PUSH1 0x04
000000ef: PUSH2 0x0955
000000f2: JUMP
000000f3: JUMPDEST
000000f4: PUSH2 0x0273
000000f7: JUMP
000000f8: JUMPDEST
000000f9: STOP
000000fa: JUMPDEST
000000fb: CALLVALUE
000000fc: DUP1
000000fd: ISZERO
000000fe: PUSH2 0x0106
00000101: JUMPI
00000102: PUSH1 0x00
00000104: DUP1
00000105: REVERT
00000106: JUMPDEST
00000107: POP
00000108: PUSH1 0x00
0000010a: SLOAD
0000010b: JUMPDEST
0000010c: PUSH1 0x40
0000010e: MLOAD
0000010f: SWAP1
00000110: DUP2
00000111: MSTORE
00000112: PUSH1 0x20
00000114: ADD
00000115: JUMPDEST
00000116: PUSH1 0x40
00000118: MLOAD
00000119: DUP1
0000011a: SWAP2
0000011b: SUB
0000011c: SWAP1
0000011d: RETURN
0000011e: JUMPDEST
0000011f: CALLVALUE
00000120: DUP1
00000121: ISZERO
00000122: PUSH2 0x012a
00000125: JUMPI
00000126: PUSH1 0x00
00000128: DUP1
00000129: REVERT
0000012a: JUMPDEST
0000012b: POP
0000012c: PUSH2 0x010b
0000012f: PUSH2 0x0139
00000132: CALLDATASIZE
00000133: PUSH1 0x04
00000135: PUSH2 0x0972
00000138: JUMP
00000139: JUMPDEST
0000013a: PUSH1 0x01
0000013c: PUSH1 0x01
0000013e: PUSH1 0xa0
00000140: SHL
00000141: SUB
00000142: SWAP2
00000143: DUP3
00000144: AND
00000145: PUSH1 0x00
00000147: SWAP1
00000148: DUP2
00000149: MSTORE
0000014a: PUSH1 0x06
0000014c: PUSH1 0x20
0000014e: SWAP1
0000014f: DUP2
00000150: MSTORE
00000151: PUSH1 0x40
00000153: DUP1
00000154: DUP4
00000155: KECCAK256
00000156: SWAP4
00000157: SWAP1
00000158: SWAP5
00000159: AND
0000015a: DUP3
0000015b: MSTORE
0000015c: SWAP2
0000015d: SWAP1
0000015e: SWAP2
0000015f: MSTORE
00000160: KECCAK256
00000161: SLOAD
00000162: SWAP1
00000163: JUMP
00000164: JUMPDEST
00000165: CALLVALUE
00000166: DUP1
00000167: ISZERO
00000168: PUSH2 0x0170
0000016b: JUMPI
0000016c: PUSH1 0x00
0000016e: DUP1
0000016f: REVERT
00000170: JUMPDEST
00000171: POP
00000172: PUSH2 0x00f8
00000175: PUSH2 0x017f
00000178: CALLDATASIZE
00000179: PUSH1 0x04
0000017b: PUSH2 0x0972
0000017e: JUMP
0000017f: JUMPDEST
00000180: PUSH2 0x03ad
00000183: JUMP
00000184: JUMPDEST
00000185: CALLVALUE
00000186: DUP1
00000187: ISZERO
00000188: PUSH2 0x0190
0000018b: JUMPI
0000018c: PUSH1 0x00
0000018e: DUP1
0000018f: REVERT
00000190: JUMPDEST
00000191: POP
00000192: PUSH2 0x01a4
00000195: PUSH2 0x019f
00000198: CALLDATASIZE
00000199: PUSH1 0x04
0000019b: PUSH2 0x09ab
0000019e: JUMP
0000019f: JUMPDEST
000001a0: PUSH2 0x0589
000001a3: JUMP
000001a4: JUMPDEST
000001a5: PUSH1 0x40
000001a7: MLOAD
000001a8: PUSH1 0x01
000001aa: PUSH1 0x01
000001ac: PUSH1 0xa0
000001ae: SHL
000001af: SUB
000001b0: SWAP1
000001b1: SWAP2
000001b2: AND
000001b3: DUP2
000001b4: MSTORE
000001b5: PUSH1 0x20
000001b7: ADD
000001b8: PUSH2 0x0115
000001bb: JUMP
000001bc: JUMPDEST
000001bd: CALLVALUE
000001be: DUP1
000001bf: ISZERO
000001c0: PUSH2 0x01c8
000001c3: JUMPI
000001c4: PUSH1 0x00
000001c6: DUP1
000001c7: REVERT
000001c8: JUMPDEST
000001c9: POP
000001ca: PUSH2 0x010b
000001cd: PUSH2 0x01d7
000001d0: CALLDATASIZE
000001d1: PUSH1 0x04
000001d3: PUSH2 0x0955
000001d6: JUMP
000001d7: JUMPDEST
000001d8: PUSH1 0x01
000001da: PUSH1 0x01
000001dc: PUSH1 0xa0
000001de: SHL
000001df: SUB
000001e0: AND
000001e1: PUSH1 0x00
000001e3: SWAP1
000001e4: DUP2
000001e5: MSTORE
000001e6: PUSH1 0x03
000001e8: PUSH1 0x20
000001ea: MSTORE
000001eb: PUSH1 0x40
000001ed: SWAP1
000001ee: KECCAK256
000001ef: SLOAD
000001f0: SWAP1
000001f1: JUMP
000001f2: JUMPDEST
000001f3: CALLVALUE
000001f4: DUP1
000001f5: ISZERO
000001f6: PUSH2 0x01fe
000001f9: JUMPI
000001fa: PUSH1 0x00
000001fc: DUP1
000001fd: REVERT
000001fe: JUMPDEST
000001ff: POP
00000200: PUSH2 0x010b
00000203: PUSH2 0x020d
00000206: CALLDATASIZE
00000207: PUSH1 0x04
00000209: PUSH2 0x0955
0000020c: JUMP
0000020d: JUMPDEST
0000020e: PUSH1 0x01
00000210: PUSH1 0x01
00000212: PUSH1 0xa0
00000214: SHL
00000215: SUB
00000216: AND
00000217: PUSH1 0x00
00000219: SWAP1
0000021a: DUP2
0000021b: MSTORE
0000021c: PUSH1 0x02
0000021e: PUSH1 0x20
00000220: MSTORE
00000221: PUSH1 0x40
00000223: SWAP1
00000224: KECCAK256
00000225: SLOAD
00000226: SWAP1
00000227: JUMP
00000228: JUMPDEST
00000229: CALLVALUE
0000022a: DUP1
0000022b: ISZERO
0000022c: PUSH2 0x0234
0000022f: JUMPI
00000230: PUSH1 0x00
00000232: DUP1
00000233: REVERT
00000234: JUMPDEST
00000235: POP
00000236: PUSH2 0x010b
00000239: PUSH2 0x0243
0000023c: CALLDATASIZE
0000023d: PUSH1 0x04
0000023f: PUSH2 0x0955
00000242: JUMP
00000243: JUMPDEST
00000244: PUSH1 0x01
00000246: PUSH1 0x01
00000248: PUSH1 0xa0
0000024a: SHL
0000024b: SUB
0000024c: AND
0000024d: PUSH1 0x00
0000024f: SWAP1
00000250: DUP2
00000251: MSTORE
00000252: PUSH1 0x05
00000254: PUSH1 0x20
00000256: MSTORE
00000257: PUSH1 0x40
00000259: SWAP1
0000025a: KECCAK256
0000025b: SLOAD
0000025c: SWAP1
0000025d: JUMP
0000025e: JUMPDEST
0000025f: CALLVALUE
00000260: DUP1
00000261: ISZERO
00000262: PUSH2 0x026a
00000265: JUMPI
00000266: PUSH1 0x00
00000268: DUP1
00000269: REVERT
0000026a: JUMPDEST
0000026b: POP
0000026c: PUSH1 0x01
0000026e: SLOAD
0000026f: PUSH2 0x010b
00000272: JUMP
00000273: JUMPDEST
00000274: PUSH1 0x01
00000276: PUSH1 0x01
00000278: PUSH1 0xa0
0000027a: SHL
0000027b: SUB
0000027c: DUP2
0000027d: AND
0000027e: PUSH1 0x00
00000280: SWAP1
00000281: DUP2
00000282: MSTORE
00000283: PUSH1 0x02
00000285: PUSH1 0x20
00000287: MSTORE
00000288: PUSH1 0x40
0000028a: SWAP1
0000028b: KECCAK256
0000028c: SLOAD
0000028d: PUSH2 0x02b1
00000290: JUMPI
00000291: PUSH1 0x40
00000293: MLOAD
00000294: PUSH3 0x461bcd
00000298: PUSH1 0xe5
0000029a: SHL
0000029b: DUP2
0000029c: MSTORE
0000029d: PUSH1 0x04
0000029f: ADD
000002a0: PUSH2 0x02a8
000002a3: SWAP1
000002a4: PUSH2 0x09c4
000002a7: JUMP
000002a8: JUMPDEST
000002a9: PUSH1 0x40
000002ab: MLOAD
000002ac: DUP1
000002ad: SWAP2
000002ae: SUB
000002af: SWAP1
000002b0: REVERT
000002b1: JUMPDEST
000002b2: PUSH1 0x00
000002b4: PUSH2 0x02bc
000002b7: PUSH1 0x01
000002b9: SLOAD
000002ba: SWAP1
000002bb: JUMP
000002bc: JUMPDEST
000002bd: PUSH2 0x02c6
000002c0: SWAP1
000002c1: SELFBALANCE
000002c2: PUSH2 0x0a20
000002c5: JUMP
000002c6: JUMPDEST
000002c7: SWAP1
000002c8: POP
000002c9: PUSH1 0x00
000002cb: PUSH2 0x02f3
000002ce: DUP4
000002cf: DUP4
000002d0: PUSH2 0x02ee
000002d3: DUP7
000002d4: PUSH1 0x01
000002d6: PUSH1 0x01
000002d8: PUSH1 0xa0
000002da: SHL
000002db: SUB
000002dc: AND
000002dd: PUSH1 0x00
000002df: SWAP1
000002e0: DUP2
000002e1: MSTORE
000002e2: PUSH1 0x03
000002e4: PUSH1 0x20
000002e6: MSTORE
000002e7: PUSH1 0x40
000002e9: SWAP1
000002ea: KECCAK256
000002eb: SLOAD
000002ec: SWAP1
000002ed: JUMP
000002ee: JUMPDEST
000002ef: PUSH2 0x05b9
000002f2: JUMP
000002f3: JUMPDEST
000002f4: SWAP1
000002f5: POP
000002f6: DUP1
000002f7: PUSH1 0x00
000002f9: SUB
000002fa: PUSH2 0x0315
000002fd: JUMPI
000002fe: PUSH1 0x40
00000300: MLOAD
00000301: PUSH3 0x461bcd
00000305: PUSH1 0xe5
00000307: SHL
00000308: DUP2
00000309: MSTORE
0000030a: PUSH1 0x04
0000030c: ADD
0000030d: PUSH2 0x02a8
00000310: SWAP1
00000311: PUSH2 0x0a38
00000314: JUMP
00000315: JUMPDEST
00000316: PUSH1 0x01
00000318: PUSH1 0x01
0000031a: PUSH1 0xa0
0000031c: SHL
0000031d: SUB
0000031e: DUP4
0000031f: AND
00000320: PUSH1 0x00
00000322: SWAP1
00000323: DUP2
00000324: MSTORE
00000325: PUSH1 0x03
00000327: PUSH1 0x20
00000329: MSTORE
0000032a: PUSH1 0x40
0000032c: DUP2
0000032d: KECCAK256
0000032e: DUP1
0000032f: SLOAD
00000330: DUP4
00000331: SWAP3
00000332: SWAP1
00000333: PUSH2 0x033d
00000336: SWAP1
00000337: DUP5
00000338: SWAP1
00000339: PUSH2 0x0a20
0000033c: JUMP
0000033d: JUMPDEST
0000033e: SWAP3
0000033f: POP
00000340: POP
00000341: DUP2
00000342: SWAP1
00000343: SSTORE
00000344: POP
00000345: DUP1
00000346: PUSH1 0x01
00000348: PUSH1 0x00
0000034a: DUP3
0000034b: DUP3
0000034c: SLOAD
0000034d: PUSH2 0x0356
00000350: SWAP2
00000351: SWAP1
00000352: PUSH2 0x0a20
00000355: JUMP
00000356: JUMPDEST
00000357: SWAP1
00000358: SWAP2
00000359: SSTORE
0000035a: POP
0000035b: PUSH2 0x0366
0000035e: SWAP1
0000035f: POP
00000360: DUP4
00000361: DUP3
00000362: PUSH2 0x05fe
00000365: JUMP
00000366: JUMPDEST
00000367: PUSH1 0x40
00000369: DUP1
0000036a: MLOAD
0000036b: PUSH1 0x01
0000036d: PUSH1 0x01
0000036f: PUSH1 0xa0
00000371: SHL
00000372: SUB
00000373: DUP6
00000374: AND
00000375: DUP2
00000376: MSTORE
00000377: PUSH1 0x20
00000379: DUP2
0000037a: ADD
0000037b: DUP4
0000037c: SWAP1
0000037d: MSTORE
0000037e: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056
0000039f: SWAP2
000003a0: ADD
000003a1: PUSH1 0x40
000003a3: MLOAD
000003a4: DUP1
000003a5: SWAP2
000003a6: SUB
000003a7: SWAP1
000003a8: LOG1
000003a9: POP
000003aa: POP
000003ab: POP
000003ac: JUMP
000003ad: JUMPDEST
000003ae: PUSH1 0x01
000003b0: PUSH1 0x01
000003b2: PUSH1 0xa0
000003b4: SHL
000003b5: SUB
000003b6: DUP2
000003b7: AND
000003b8: PUSH1 0x00
000003ba: SWAP1
000003bb: DUP2
000003bc: MSTORE
000003bd: PUSH1 0x02
000003bf: PUSH1 0x20
000003c1: MSTORE
000003c2: PUSH1 0x40
000003c4: SWAP1
000003c5: KECCAK256
000003c6: SLOAD
000003c7: PUSH2 0x03e2
000003ca: JUMPI
000003cb: PUSH1 0x40
000003cd: MLOAD
000003ce: PUSH3 0x461bcd
000003d2: PUSH1 0xe5
000003d4: SHL
000003d5: DUP2
000003d6: MSTORE
000003d7: PUSH1 0x04
000003d9: ADD
000003da: PUSH2 0x02a8
000003dd: SWAP1
000003de: PUSH2 0x09c4
000003e1: JUMP
000003e2: JUMPDEST
000003e3: PUSH1 0x01
000003e5: PUSH1 0x01
000003e7: PUSH1 0xa0
000003e9: SHL
000003ea: SUB
000003eb: DUP3
000003ec: AND
000003ed: PUSH1 0x00
000003ef: SWAP1
000003f0: DUP2
000003f1: MSTORE
000003f2: PUSH1 0x05
000003f4: PUSH1 0x20
000003f6: MSTORE
000003f7: PUSH1 0x40
000003f9: DUP2
000003fa: KECCAK256
000003fb: SLOAD
000003fc: PUSH1 0x40
000003fe: MLOAD
000003ff: PUSH4 0x70a08231
00000404: PUSH1 0xe0
00000406: SHL
00000407: DUP2
00000408: MSTORE
00000409: ADDRESS
0000040a: PUSH1 0x04
0000040c: DUP3
0000040d: ADD
0000040e: MSTORE
0000040f: PUSH1 0x01
00000411: PUSH1 0x01
00000413: PUSH1 0xa0
00000415: SHL
00000416: SUB
00000417: DUP6
00000418: AND
00000419: SWAP1
0000041a: PUSH4 0x70a08231
0000041f: SWAP1
00000420: PUSH1 0x24
00000422: ADD
00000423: PUSH1 0x20
00000425: PUSH1 0x40
00000427: MLOAD
00000428: DUP1
00000429: DUP4
0000042a: SUB
0000042b: DUP2
0000042c: DUP7
0000042d: GAS
0000042e: STATICCALL
0000042f: ISZERO
00000430: DUP1
00000431: ISZERO
00000432: PUSH2 0x043f
00000435: JUMPI
00000436: RETURNDATASIZE
00000437: PUSH1 0x00
00000439: DUP1
0000043a: RETURNDATACOPY
0000043b: RETURNDATASIZE
0000043c: PUSH1 0x00
0000043e: REVERT
0000043f: JUMPDEST
00000440: POP
00000441: POP
00000442: POP
00000443: POP
00000444: PUSH1 0x40
00000446: MLOAD
00000447: RETURNDATASIZE
00000448: PUSH1 0x1f
0000044a: NOT
0000044b: PUSH1 0x1f
0000044d: DUP3
0000044e: ADD
0000044f: AND
00000450: DUP3
00000451: ADD
00000452: DUP1
00000453: PUSH1 0x40
00000455: MSTORE
00000456: POP
00000457: DUP2
00000458: ADD
00000459: SWAP1
0000045a: PUSH2 0x0463
0000045d: SWAP2
0000045e: SWAP1
0000045f: PUSH2 0x0a83
00000462: JUMP
00000463: JUMPDEST
00000464: PUSH2 0x046d
00000467: SWAP2
00000468: SWAP1
00000469: PUSH2 0x0a20
0000046c: JUMP
0000046d: JUMPDEST
0000046e: SWAP1
0000046f: POP
00000470: PUSH1 0x00
00000472: PUSH2 0x04a6
00000475: DUP4
00000476: DUP4
00000477: PUSH2 0x02ee
0000047a: DUP8
0000047b: DUP8
0000047c: PUSH1 0x01
0000047e: PUSH1 0x01
00000480: PUSH1 0xa0
00000482: SHL
00000483: SUB
00000484: SWAP2
00000485: DUP3
00000486: AND
00000487: PUSH1 0x00
00000489: SWAP1
0000048a: DUP2
0000048b: MSTORE
0000048c: PUSH1 0x06
0000048e: PUSH1 0x20
00000490: SWAP1
00000491: DUP2
00000492: MSTORE
00000493: PUSH1 0x40
00000495: DUP1
00000496: DUP4
00000497: KECCAK256
00000498: SWAP4
00000499: SWAP1
0000049a: SWAP5
0000049b: AND
0000049c: DUP3
0000049d: MSTORE
0000049e: SWAP2
0000049f: SWAP1
000004a0: SWAP2
000004a1: MSTORE
000004a2: KECCAK256
000004a3: SLOAD
000004a4: SWAP1
000004a5: JUMP
000004a6: JUMPDEST
000004a7: SWAP1
000004a8: POP
000004a9: DUP1
000004aa: PUSH1 0x00
000004ac: SUB
000004ad: PUSH2 0x04c8
000004b0: JUMPI
000004b1: PUSH1 0x40
000004b3: MLOAD
000004b4: PUSH3 0x461bcd
000004b8: PUSH1 0xe5
000004ba: SHL
000004bb: DUP2
000004bc: MSTORE
000004bd: PUSH1 0x04
000004bf: ADD
000004c0: PUSH2 0x02a8
000004c3: SWAP1
000004c4: PUSH2 0x0a38
000004c7: JUMP
000004c8: JUMPDEST
000004c9: PUSH1 0x01
000004cb: PUSH1 0x01
000004cd: PUSH1 0xa0
000004cf: SHL
000004d0: SUB
000004d1: DUP1
000004d2: DUP6
000004d3: AND
000004d4: PUSH1 0x00
000004d6: SWAP1
000004d7: DUP2
000004d8: MSTORE
000004d9: PUSH1 0x06
000004db: PUSH1 0x20
000004dd: SWAP1
000004de: DUP2
000004df: MSTORE
000004e0: PUSH1 0x40
000004e2: DUP1
000004e3: DUP4
000004e4: KECCAK256
000004e5: SWAP4
000004e6: DUP8
000004e7: AND
000004e8: DUP4
000004e9: MSTORE
000004ea: SWAP3
000004eb: SWAP1
000004ec: MSTORE
000004ed: SWAP1
000004ee: DUP2
000004ef: KECCAK256
000004f0: DUP1
000004f1: SLOAD
000004f2: DUP4
000004f3: SWAP3
000004f4: SWAP1
000004f5: PUSH2 0x04ff
000004f8: SWAP1
000004f9: DUP5
000004fa: SWAP1
000004fb: PUSH2 0x0a20
000004fe: JUMP
000004ff: JUMPDEST
00000500: SWAP1
00000501: SWAP2
00000502: SSTORE
00000503: POP
00000504: POP
00000505: PUSH1 0x01
00000507: PUSH1 0x01
00000509: PUSH1 0xa0
0000050b: SHL
0000050c: SUB
0000050d: DUP5
0000050e: AND
0000050f: PUSH1 0x00
00000511: SWAP1
00000512: DUP2
00000513: MSTORE
00000514: PUSH1 0x05
00000516: PUSH1 0x20
00000518: MSTORE
00000519: PUSH1 0x40
0000051b: DUP2
0000051c: KECCAK256
0000051d: DUP1
0000051e: SLOAD
0000051f: DUP4
00000520: SWAP3
00000521: SWAP1
00000522: PUSH2 0x052c
00000525: SWAP1
00000526: DUP5
00000527: SWAP1
00000528: PUSH2 0x0a20
0000052b: JUMP
0000052c: JUMPDEST
0000052d: SWAP1
0000052e: SWAP2
0000052f: SSTORE
00000530: POP
00000531: PUSH2 0x053d
00000534: SWAP1
00000535: POP
00000536: DUP5
00000537: DUP5
00000538: DUP4
00000539: PUSH2 0x071c
0000053c: JUMP
0000053d: JUMPDEST
0000053e: PUSH1 0x40
00000540: DUP1
00000541: MLOAD
00000542: PUSH1 0x01
00000544: PUSH1 0x01
00000546: PUSH1 0xa0
00000548: SHL
00000549: SUB
0000054a: DUP6
0000054b: DUP2
0000054c: AND
0000054d: DUP3
0000054e: MSTORE
0000054f: PUSH1 0x20
00000551: DUP3
00000552: ADD
00000553: DUP5
00000554: SWAP1
00000555: MSTORE
00000556: DUP7
00000557: AND
00000558: SWAP2
00000559: PUSH32 0x3be5b7a71e84ed12875d241991c70855ac5817d847039e17a9d895c1ceb0f18a
0000057a: SWAP2
0000057b: ADD
0000057c: PUSH1 0x40
0000057e: MLOAD
0000057f: DUP1
00000580: SWAP2
00000581: SUB
00000582: SWAP1
00000583: LOG2
00000584: POP
00000585: POP
00000586: POP
00000587: POP
00000588: JUMP
00000589: JUMPDEST
0000058a: PUSH1 0x00
0000058c: PUSH1 0x04
0000058e: DUP3
0000058f: DUP2
00000590: SLOAD
00000591: DUP2
00000592: LT
00000593: PUSH2 0x059e
00000596: JUMPI
00000597: PUSH2 0x059e
0000059a: PUSH2 0x0a9c
0000059d: JUMP
0000059e: JUMPDEST
0000059f: PUSH1 0x00
000005a1: SWAP2
000005a2: DUP3
000005a3: MSTORE
000005a4: PUSH1 0x20
000005a6: SWAP1
000005a7: SWAP2
000005a8: KECCAK256
000005a9: ADD
000005aa: SLOAD
000005ab: PUSH1 0x01
000005ad: PUSH1 0x01
000005af: PUSH1 0xa0
000005b1: SHL
000005b2: SUB
000005b3: AND
000005b4: SWAP3
000005b5: SWAP2
000005b6: POP
000005b7: POP
000005b8: JUMP
000005b9: JUMPDEST
000005ba: PUSH1 0x00
000005bc: DUP1
000005bd: SLOAD
000005be: PUSH1 0x01
000005c0: PUSH1 0x01
000005c2: PUSH1 0xa0
000005c4: SHL
000005c5: SUB
000005c6: DUP6
000005c7: AND
000005c8: DUP3
000005c9: MSTORE
000005ca: PUSH1 0x02
000005cc: PUSH1 0x20
000005ce: MSTORE
000005cf: PUSH1 0x40
000005d1: DUP3
000005d2: KECCAK256
000005d3: SLOAD
000005d4: DUP4
000005d5: SWAP2
000005d6: SWAP1
000005d7: PUSH2 0x05e0
000005da: SWAP1
000005db: DUP7
000005dc: PUSH2 0x0ab2
000005df: JUMP
000005e0: JUMPDEST
000005e1: PUSH2 0x05ea
000005e4: SWAP2
000005e5: SWAP1
000005e6: PUSH2 0x0ad1
000005e9: JUMP
000005ea: JUMPDEST
000005eb: PUSH2 0x05f4
000005ee: SWAP2
000005ef: SWAP1
000005f0: PUSH2 0x0af3
000005f3: JUMP
000005f4: JUMPDEST
000005f5: SWAP1
000005f6: POP
000005f7: JUMPDEST
000005f8: SWAP4
000005f9: SWAP3
000005fa: POP
000005fb: POP
000005fc: POP
000005fd: JUMP
000005fe: JUMPDEST
000005ff: DUP1
00000600: SELFBALANCE
00000601: LT
00000602: ISZERO
00000603: PUSH2 0x064e
00000606: JUMPI
00000607: PUSH1 0x40
00000609: MLOAD
0000060a: PUSH3 0x461bcd
0000060e: PUSH1 0xe5
00000610: SHL
00000611: DUP2
00000612: MSTORE
00000613: PUSH1 0x20
00000615: PUSH1 0x04
00000617: DUP3
00000618: ADD
00000619: MSTORE
0000061a: PUSH1 0x1d
0000061c: PUSH1 0x24
0000061e: DUP3
0000061f: ADD
00000620: MSTORE
00000621: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
00000642: PUSH1 0x44
00000644: DUP3
00000645: ADD
00000646: MSTORE
00000647: PUSH1 0x64
00000649: ADD
0000064a: PUSH2 0x02a8
0000064d: JUMP
0000064e: JUMPDEST
0000064f: PUSH1 0x00
00000651: DUP3
00000652: PUSH1 0x01
00000654: PUSH1 0x01
00000656: PUSH1 0xa0
00000658: SHL
00000659: SUB
0000065a: AND
0000065b: DUP3
0000065c: PUSH1 0x40
0000065e: MLOAD
0000065f: PUSH1 0x00
00000661: PUSH1 0x40
00000663: MLOAD
00000664: DUP1
00000665: DUP4
00000666: SUB
00000667: DUP2
00000668: DUP6
00000669: DUP8
0000066a: GAS
0000066b: CALL
0000066c: SWAP3
0000066d: POP
0000066e: POP
0000066f: POP
00000670: RETURNDATASIZE
00000671: DUP1
00000672: PUSH1 0x00
00000674: DUP2
00000675: EQ
00000676: PUSH2 0x069b
00000679: JUMPI
0000067a: PUSH1 0x40
0000067c: MLOAD
0000067d: SWAP2
0000067e: POP
0000067f: PUSH1 0x1f
00000681: NOT
00000682: PUSH1 0x3f
00000684: RETURNDATASIZE
00000685: ADD
00000686: AND
00000687: DUP3
00000688: ADD
00000689: PUSH1 0x40
0000068b: MSTORE
0000068c: RETURNDATASIZE
0000068d: DUP3
0000068e: MSTORE
0000068f: RETURNDATASIZE
00000690: PUSH1 0x00
00000692: PUSH1 0x20
00000694: DUP5
00000695: ADD
00000696: RETURNDATACOPY
00000697: PUSH2 0x06a0
0000069a: JUMP
0000069b: JUMPDEST
0000069c: PUSH1 0x60
0000069e: SWAP2
0000069f: POP
000006a0: JUMPDEST
000006a1: POP
000006a2: POP
000006a3: SWAP1
000006a4: POP
000006a5: DUP1
000006a6: PUSH2 0x0717
000006a9: JUMPI
000006aa: PUSH1 0x40
000006ac: MLOAD
000006ad: PUSH3 0x461bcd
000006b1: PUSH1 0xe5
000006b3: SHL
000006b4: DUP2
000006b5: MSTORE
000006b6: PUSH1 0x20
000006b8: PUSH1 0x04
000006ba: DUP3
000006bb: ADD
000006bc: MSTORE
000006bd: PUSH1 0x3a
000006bf: PUSH1 0x24
000006c1: DUP3
000006c2: ADD
000006c3: MSTORE
000006c4: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
000006e5: PUSH1 0x44
000006e7: DUP3
000006e8: ADD
000006e9: MSTORE
000006ea: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
0000070b: PUSH1 0x64
0000070d: DUP3
0000070e: ADD
0000070f: MSTORE
00000710: PUSH1 0x84
00000712: ADD
00000713: PUSH2 0x02a8
00000716: JUMP
00000717: JUMPDEST
00000718: POP
00000719: POP
0000071a: POP
0000071b: JUMP
0000071c: JUMPDEST
0000071d: PUSH1 0x40
0000071f: DUP1
00000720: MLOAD
00000721: PUSH1 0x01
00000723: PUSH1 0x01
00000725: PUSH1 0xa0
00000727: SHL
00000728: SUB
00000729: DUP5
0000072a: DUP2
0000072b: AND
0000072c: PUSH1 0x24
0000072e: DUP4
0000072f: ADD
00000730: MSTORE
00000731: PUSH1 0x44
00000733: DUP1
00000734: DUP4
00000735: ADD
00000736: DUP6
00000737: SWAP1
00000738: MSTORE
00000739: DUP4
0000073a: MLOAD
0000073b: DUP1
0000073c: DUP5
0000073d: SUB
0000073e: SWAP1
0000073f: SWAP2
00000740: ADD
00000741: DUP2
00000742: MSTORE
00000743: PUSH1 0x64
00000745: SWAP1
00000746: SWAP3
00000747: ADD
00000748: DUP4
00000749: MSTORE
0000074a: PUSH1 0x20
0000074c: DUP1
0000074d: DUP4
0000074e: ADD
0000074f: DUP1
00000750: MLOAD
00000751: PUSH1 0x01
00000753: PUSH1 0x01
00000755: PUSH1 0xe0
00000757: SHL
00000758: SUB
00000759: AND
0000075a: PUSH4 0xa9059cbb
0000075f: PUSH1 0xe0
00000761: SHL
00000762: OR
00000763: SWAP1
00000764: MSTORE
00000765: DUP4
00000766: MLOAD
00000767: DUP1
00000768: DUP6
00000769: ADD
0000076a: SWAP1
0000076b: SWAP5
0000076c: MSTORE
0000076d: DUP1
0000076e: DUP5
0000076f: MSTORE
00000770: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00000791: SWAP1
00000792: DUP5
00000793: ADD
00000794: MSTORE
00000795: PUSH2 0x0717
00000798: SWAP3
00000799: DUP7
0000079a: SWAP3
0000079b: SWAP2
0000079c: PUSH1 0x00
0000079e: SWAP2
0000079f: PUSH2 0x07ac
000007a2: SWAP2
000007a3: DUP6
000007a4: AND
000007a5: SWAP1
000007a6: DUP5
000007a7: SWAP1
000007a8: PUSH2 0x0829
000007ab: JUMP
000007ac: JUMPDEST
000007ad: DUP1
000007ae: MLOAD
000007af: SWAP1
000007b0: SWAP2
000007b1: POP
000007b2: ISZERO
000007b3: PUSH2 0x0717
000007b6: JUMPI
000007b7: DUP1
000007b8: DUP1
000007b9: PUSH1 0x20
000007bb: ADD
000007bc: SWAP1
000007bd: MLOAD
000007be: DUP2
000007bf: ADD
000007c0: SWAP1
000007c1: PUSH2 0x07ca
000007c4: SWAP2
000007c5: SWAP1
000007c6: PUSH2 0x0b0a
000007c9: JUMP
000007ca: JUMPDEST
000007cb: PUSH2 0x0717
000007ce: JUMPI
000007cf: PUSH1 0x40
000007d1: MLOAD
000007d2: PUSH3 0x461bcd
000007d6: PUSH1 0xe5
000007d8: SHL
000007d9: DUP2
000007da: MSTORE
000007db: PUSH1 0x20
000007dd: PUSH1 0x04
000007df: DUP3
000007e0: ADD
000007e1: MSTORE
000007e2: PUSH1 0x2a
000007e4: PUSH1 0x24
000007e6: DUP3
000007e7: ADD
000007e8: MSTORE
000007e9: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
0000080a: PUSH1 0x44
0000080c: DUP3
0000080d: ADD
0000080e: MSTORE
0000080f: PUSH10 0x1bdd081cdd58d8d95959
0000081a: PUSH1 0xb2
0000081c: SHL
0000081d: PUSH1 0x64
0000081f: DUP3
00000820: ADD
00000821: MSTORE
00000822: PUSH1 0x84
00000824: ADD
00000825: PUSH2 0x02a8
00000828: JUMP
00000829: JUMPDEST
0000082a: PUSH1 0x60
0000082c: PUSH2 0x05f4
0000082f: DUP5
00000830: DUP5
00000831: PUSH1 0x00
00000833: DUP6
00000834: DUP6
00000835: PUSH1 0x01
00000837: PUSH1 0x01
00000839: PUSH1 0xa0
0000083b: SHL
0000083c: SUB
0000083d: DUP6
0000083e: AND
0000083f: EXTCODESIZE
00000840: PUSH2 0x088b
00000843: JUMPI
00000844: PUSH1 0x40
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 0x1d
00000859: PUSH1 0x24
0000085b: DUP3
0000085c: ADD
0000085d: MSTORE
0000085e: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
0000087f: PUSH1 0x44
00000881: DUP3
00000882: ADD
00000883: MSTORE
00000884: PUSH1 0x64
00000886: ADD
00000887: PUSH2 0x02a8
0000088a: JUMP
0000088b: JUMPDEST
0000088c: PUSH1 0x00
0000088e: DUP1
0000088f: DUP7
00000890: PUSH1 0x01
00000892: PUSH1 0x01
00000894: PUSH1 0xa0
00000896: SHL
00000897: SUB
00000898: AND
00000899: DUP6
0000089a: DUP8
0000089b: PUSH1 0x40
0000089d: MLOAD
0000089e: PUSH2 0x08a7
000008a1: SWAP2
000008a2: SWAP1
000008a3: PUSH2 0x0b5c
000008a6: JUMP
000008a7: JUMPDEST
000008a8: PUSH1 0x00
000008aa: PUSH1 0x40
000008ac: MLOAD
000008ad: DUP1
000008ae: DUP4
000008af: SUB
000008b0: DUP2
000008b1: DUP6
000008b2: DUP8
000008b3: GAS
000008b4: CALL
000008b5: SWAP3
000008b6: POP
000008b7: POP
000008b8: POP
000008b9: RETURNDATASIZE
000008ba: DUP1
000008bb: PUSH1 0x00
000008bd: DUP2
000008be: EQ
000008bf: PUSH2 0x08e4
000008c2: JUMPI
000008c3: PUSH1 0x40
000008c5: MLOAD
000008c6: SWAP2
000008c7: POP
000008c8: PUSH1 0x1f
000008ca: NOT
000008cb: PUSH1 0x3f
000008cd: RETURNDATASIZE
000008ce: ADD
000008cf: AND
000008d0: DUP3
000008d1: ADD
000008d2: PUSH1 0x40
000008d4: MSTORE
000008d5: RETURNDATASIZE
000008d6: DUP3
000008d7: MSTORE
000008d8: RETURNDATASIZE
000008d9: PUSH1 0x00
000008db: PUSH1 0x20
000008dd: DUP5
000008de: ADD
000008df: RETURNDATACOPY
000008e0: PUSH2 0x08e9
000008e3: JUMP
000008e4: JUMPDEST
000008e5: PUSH1 0x60
000008e7: SWAP2
000008e8: POP
000008e9: JUMPDEST
000008ea: POP
000008eb: SWAP2
000008ec: POP
000008ed: SWAP2
000008ee: POP
000008ef: PUSH2 0x08f9
000008f2: DUP3
000008f3: DUP3
000008f4: DUP7
000008f5: PUSH2 0x0904
000008f8: JUMP
000008f9: JUMPDEST
000008fa: SWAP8
000008fb: SWAP7
000008fc: POP
000008fd: POP
000008fe: POP
000008ff: POP
00000900: POP
00000901: POP
00000902: POP
00000903: JUMP
00000904: JUMPDEST
00000905: PUSH1 0x60
00000907: DUP4
00000908: ISZERO
00000909: PUSH2 0x0913
0000090c: JUMPI
0000090d: POP
0000090e: DUP2
0000090f: PUSH2 0x05f7
00000912: JUMP
00000913: JUMPDEST
00000914: DUP3
00000915: MLOAD
00000916: ISZERO
00000917: PUSH2 0x0923
0000091a: JUMPI
0000091b: DUP3
0000091c: MLOAD
0000091d: DUP1
0000091e: DUP5
0000091f: PUSH1 0x20
00000921: ADD
00000922: REVERT
00000923: JUMPDEST
00000924: DUP2
00000925: PUSH1 0x40
00000927: MLOAD
00000928: PUSH3 0x461bcd
0000092c: PUSH1 0xe5
0000092e: SHL
0000092f: DUP2
00000930: MSTORE
00000931: PUSH1 0x04
00000933: ADD
00000934: PUSH2 0x02a8
00000937: SWAP2
00000938: SWAP1
00000939: PUSH2 0x0b78
0000093c: JUMP
0000093d: JUMPDEST
0000093e: PUSH1 0x01
00000940: PUSH1 0x01
00000942: PUSH1 0xa0
00000944: SHL
00000945: SUB
00000946: DUP2
00000947: AND
00000948: DUP2
00000949: EQ
0000094a: PUSH2 0x0952
0000094d: JUMPI
0000094e: PUSH1 0x00
00000950: DUP1
00000951: REVERT
00000952: JUMPDEST
00000953: POP
00000954: JUMP
00000955: JUMPDEST
00000956: PUSH1 0x00
00000958: PUSH1 0x20
0000095a: DUP3
0000095b: DUP5
0000095c: SUB
0000095d: SLT
0000095e: ISZERO
0000095f: PUSH2 0x0967
00000962: JUMPI
00000963: PUSH1 0x00
00000965: DUP1
00000966: REVERT
00000967: JUMPDEST
00000968: DUP2
00000969: CALLDATALOAD
0000096a: PUSH2 0x05f7
0000096d: DUP2
0000096e: PUSH2 0x093d
00000971: JUMP
00000972: JUMPDEST
00000973: PUSH1 0x00
00000975: DUP1
00000976: PUSH1 0x40
00000978: DUP4
00000979: DUP6
0000097a: SUB
0000097b: SLT
0000097c: ISZERO
0000097d: PUSH2 0x0985
00000980: JUMPI
00000981: PUSH1 0x00
00000983: DUP1
00000984: REVERT
00000985: JUMPDEST
00000986: DUP3
00000987: CALLDATALOAD
00000988: PUSH2 0x0990
0000098b: DUP2
0000098c: PUSH2 0x093d
0000098f: JUMP
00000990: JUMPDEST
00000991: SWAP2
00000992: POP
00000993: PUSH1 0x20
00000995: DUP4
00000996: ADD
00000997: CALLDATALOAD
00000998: PUSH2 0x09a0
0000099b: DUP2
0000099c: PUSH2 0x093d
0000099f: JUMP
000009a0: JUMPDEST
000009a1: DUP1
000009a2: SWAP2
000009a3: POP
000009a4: POP
000009a5: SWAP3
000009a6: POP
000009a7: SWAP3
000009a8: SWAP1
000009a9: POP
000009aa: JUMP
000009ab: JUMPDEST
000009ac: PUSH1 0x00
000009ae: PUSH1 0x20
000009b0: DUP3
000009b1: DUP5
000009b2: SUB
000009b3: SLT
000009b4: ISZERO
000009b5: PUSH2 0x09bd
000009b8: JUMPI
000009b9: PUSH1 0x00
000009bb: DUP1
000009bc: REVERT
000009bd: JUMPDEST
000009be: POP
000009bf: CALLDATALOAD
000009c0: SWAP2
000009c1: SWAP1
000009c2: POP
000009c3: JUMP
000009c4: JUMPDEST
000009c5: PUSH1 0x20
000009c7: DUP1
000009c8: DUP3
000009c9: MSTORE
000009ca: PUSH1 0x26
000009cc: SWAP1
000009cd: DUP3
000009ce: ADD
000009cf: MSTORE
000009d0: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20
000009f1: PUSH1 0x40
000009f3: DUP3
000009f4: ADD
000009f5: MSTORE
000009f6: PUSH6 0x736861726573
000009fd: PUSH1 0xd0
000009ff: SHL
00000a00: PUSH1 0x60
00000a02: DUP3
00000a03: ADD
00000a04: MSTORE
00000a05: PUSH1 0x80
00000a07: ADD
00000a08: SWAP1
00000a09: JUMP
00000a0a: JUMPDEST
00000a0b: PUSH4 0x4e487b71
00000a10: PUSH1 0xe0
00000a12: SHL
00000a13: PUSH1 0x00
00000a15: MSTORE
00000a16: PUSH1 0x11
00000a18: PUSH1 0x04
00000a1a: MSTORE
00000a1b: PUSH1 0x24
00000a1d: PUSH1 0x00
00000a1f: REVERT
00000a20: JUMPDEST
00000a21: PUSH1 0x00
00000a23: DUP3
00000a24: NOT
00000a25: DUP3
00000a26: GT
00000a27: ISZERO
00000a28: PUSH2 0x0a33
00000a2b: JUMPI
00000a2c: PUSH2 0x0a33
00000a2f: PUSH2 0x0a0a
00000a32: JUMP
00000a33: JUMPDEST
00000a34: POP
00000a35: ADD
00000a36: SWAP1
00000a37: JUMP
00000a38: JUMPDEST
00000a39: PUSH1 0x20
00000a3b: DUP1
00000a3c: DUP3
00000a3d: MSTORE
00000a3e: PUSH1 0x2b
00000a40: SWAP1
00000a41: DUP3
00000a42: ADD
00000a43: MSTORE
00000a44: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420
00000a65: PUSH1 0x40
00000a67: DUP3
00000a68: ADD
00000a69: MSTORE
00000a6a: PUSH11 0x191d59481c185e5b595b9d
00000a76: PUSH1 0xaa
00000a78: SHL
00000a79: PUSH1 0x60
00000a7b: DUP3
00000a7c: ADD
00000a7d: MSTORE
00000a7e: PUSH1 0x80
00000a80: ADD
00000a81: SWAP1
00000a82: JUMP
00000a83: JUMPDEST
00000a84: PUSH1 0x00
00000a86: PUSH1 0x20
00000a88: DUP3
00000a89: DUP5
00000a8a: SUB
00000a8b: SLT
00000a8c: ISZERO
00000a8d: PUSH2 0x0a95
00000a90: JUMPI
00000a91: PUSH1 0x00
00000a93: DUP1
00000a94: REVERT
00000a95: JUMPDEST
00000a96: POP
00000a97: MLOAD
00000a98: SWAP2
00000a99: SWAP1
00000a9a: POP
00000a9b: JUMP
00000a9c: JUMPDEST
00000a9d: PUSH4 0x4e487b71
00000aa2: PUSH1 0xe0
00000aa4: SHL
00000aa5: PUSH1 0x00
00000aa7: MSTORE
00000aa8: PUSH1 0x32
00000aaa: PUSH1 0x04
00000aac: MSTORE
00000aad: PUSH1 0x24
00000aaf: PUSH1 0x00
00000ab1: REVERT
00000ab2: JUMPDEST
00000ab3: PUSH1 0x00
00000ab5: DUP2
00000ab6: PUSH1 0x00
00000ab8: NOT
00000ab9: DIV
00000aba: DUP4
00000abb: GT
00000abc: DUP3
00000abd: ISZERO
00000abe: ISZERO
00000abf: AND
00000ac0: ISZERO
00000ac1: PUSH2 0x0acc
00000ac4: JUMPI
00000ac5: PUSH2 0x0acc
00000ac8: PUSH2 0x0a0a
00000acb: JUMP
00000acc: JUMPDEST
00000acd: POP
00000ace: MUL
00000acf: SWAP1
00000ad0: JUMP
00000ad1: JUMPDEST
00000ad2: PUSH1 0x00
00000ad4: DUP3
00000ad5: PUSH2 0x0aee
00000ad8: JUMPI
00000ad9: PUSH4 0x4e487b71
00000ade: PUSH1 0xe0
00000ae0: SHL
00000ae1: PUSH1 0x00
00000ae3: MSTORE
00000ae4: PUSH1 0x12
00000ae6: PUSH1 0x04
00000ae8: MSTORE
00000ae9: PUSH1 0x24
00000aeb: PUSH1 0x00
00000aed: REVERT
00000aee: JUMPDEST
00000aef: POP
00000af0: DIV
00000af1: SWAP1
00000af2: JUMP
00000af3: JUMPDEST
00000af4: PUSH1 0x00
00000af6: DUP3
00000af7: DUP3
00000af8: LT
00000af9: ISZERO
00000afa: PUSH2 0x0b05
00000afd: JUMPI
00000afe: PUSH2 0x0b05
00000b01: PUSH2 0x0a0a
00000b04: JUMP
00000b05: JUMPDEST
00000b06: POP
00000b07: SUB
00000b08: SWAP1
00000b09: JUMP
00000b0a: JUMPDEST
00000b0b: PUSH1 0x00
00000b0d: PUSH1 0x20
00000b0f: DUP3
00000b10: DUP5
00000b11: SUB
00000b12: SLT
00000b13: ISZERO
00000b14: PUSH2 0x0b1c
00000b17: JUMPI
00000b18: PUSH1 0x00
00000b1a: DUP1
00000b1b: REVERT
00000b1c: JUMPDEST
00000b1d: DUP2
00000b1e: MLOAD
00000b1f: DUP1
00000b20: ISZERO
00000b21: ISZERO
00000b22: DUP2
00000b23: EQ
00000b24: PUSH2 0x05f7
00000b27: JUMPI
00000b28: PUSH1 0x00
00000b2a: DUP1
00000b2b: REVERT
00000b2c: JUMPDEST
00000b2d: PUSH1 0x00
00000b2f: JUMPDEST
00000b30: DUP4
00000b31: DUP2
00000b32: LT
00000b33: ISZERO
00000b34: PUSH2 0x0b47
00000b37: JUMPI
00000b38: DUP2
00000b39: DUP2
00000b3a: ADD
00000b3b: MLOAD
00000b3c: DUP4
00000b3d: DUP3
00000b3e: ADD
00000b3f: MSTORE
00000b40: PUSH1 0x20
00000b42: ADD
00000b43: PUSH2 0x0b2f
00000b46: JUMP
00000b47: JUMPDEST
00000b48: DUP4
00000b49: DUP2
00000b4a: GT
00000b4b: ISZERO
00000b4c: PUSH2 0x0b56
00000b4f: JUMPI
00000b50: PUSH1 0x00
00000b52: DUP5
00000b53: DUP5
00000b54: ADD
00000b55: MSTORE
00000b56: JUMPDEST
00000b57: POP
00000b58: POP
00000b59: POP
00000b5a: POP
00000b5b: JUMP
00000b5c: JUMPDEST
00000b5d: PUSH1 0x00
00000b5f: DUP3
00000b60: MLOAD
00000b61: PUSH2 0x0b6e
00000b64: DUP2
00000b65: DUP5
00000b66: PUSH1 0x20
00000b68: DUP8
00000b69: ADD
00000b6a: PUSH2 0x0b2c
00000b6d: JUMP
00000b6e: JUMPDEST
00000b6f: SWAP2
00000b70: SWAP1
00000b71: SWAP2
00000b72: ADD
00000b73: SWAP3
00000b74: SWAP2
00000b75: POP
00000b76: POP
00000b77: JUMP
00000b78: JUMPDEST
00000b79: PUSH1 0x20
00000b7b: DUP2
00000b7c: MSTORE
00000b7d: PUSH1 0x00
00000b7f: DUP3
00000b80: MLOAD
00000b81: DUP1
00000b82: PUSH1 0x20
00000b84: DUP5
00000b85: ADD
00000b86: MSTORE
00000b87: PUSH2 0x0b97
00000b8a: DUP2
00000b8b: PUSH1 0x40
00000b8d: DUP6
00000b8e: ADD
00000b8f: PUSH1 0x20
00000b91: DUP8
00000b92: ADD
00000b93: PUSH2 0x0b2c
00000b96: JUMP
00000b97: JUMPDEST
00000b98: PUSH1 0x1f
00000b9a: ADD
00000b9b: PUSH1 0x1f
00000b9d: NOT
00000b9e: AND
00000b9f: SWAP2
00000ba0: SWAP1
00000ba1: SWAP2
00000ba2: ADD
00000ba3: PUSH1 0x40
00000ba5: ADD
00000ba6: SWAP3
00000ba7: SWAP2
00000ba8: POP
00000ba9: POP
00000baa: JUMP
00000bab: INVALID
00000bac: LOG2
00000bad: PUSH5 0x6970667358
00000bb3: UNKNOWN(0x22)
00000bb4: SLT
00000bb5: KECCAK256
00000bb6: UNKNOWN(0xE1)
00000bb7: SIGNEXTEND
00000bb8: SLT
00000bb9: DUP6
00000bba: UNKNOWN(0x4E)
00000bbb: UNKNOWN(0xDB)
00000bbc: UNKNOWN(0xD4)
00000bbd: PUSH31 0x95fbd9af8c6637bdc07b2c5d2161bf5dcfe173f77add1a4464736f6c634300
00000bdd: ADDMOD
00000bde: UNKNOWN(0x0E)
00000bdf: STOP
00000be0: 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: 0x02d95b19ff3e6de2da2dee7b3cc7e03bc73e945af1decd90cbb13eac55f08823 call_targets: 0x1f86ffdcedbaef90e9409e5195c680cc6178ec01 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x02d95b19ff3e6de2da2dee7b3cc7e03bc73e945af1decd90cbb13eac55f08823", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x1f86ffdcedbaef90e9409e5195c680cc6178ec01" ], "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": "0x19165587", "selector": "0x19165587", "calldata_variants": [ "0x19165587", "0x191655870000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3a98ef39", "selector": "0x3a98ef39", "calldata_variants": [ "0x3a98ef39", "0x3a98ef390000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x406072a9", "selector": "0x406072a9", "calldata_variants": [ "0x406072a9", "0x406072a90000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1643, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2228, "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: 0x02d95b19ff3e6de2da2dee7b3cc7e03bc73e945af1decd90cbb13eac55f08823 call_targets: 0x1f86ffdcedbaef90e9409e5195c680cc6178ec01 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x02d95b19ff3e6de2da2dee7b3cc7e03bc73e945af1decd90cbb13eac55f08823", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x1f86ffdcedbaef90e9409e5195c680cc6178ec01" ], "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": "0x19165587", "selector": "0x19165587", "calldata_variants": [ "0x19165587", "0x191655870000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3a98ef39", "selector": "0x3a98ef39", "calldata_variants": [ "0x3a98ef39", "0x3a98ef390000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x406072a9", "selector": "0x406072a9", "calldata_variants": [ "0x406072a9", "0x406072a90000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1643, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2228, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [] }

Severity