Analysis Run

019b3836-2501-7181-8819-6e47cd846861

complete

Chain ID

1

Address

0x9b727b8c8c529f997f7e9833009eae7c2e7abfd6

Block Number

—

Created

Fri, Dec 19, 2025 8:03 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
713	artifact.fetch	complete	1 / 3	3 months ago
714	tool.cast_disasm	complete	1 / 3	3 months ago
44187	analysis.bundle	complete	1 / 3	1 week ago
44188	capability.graph	complete	1 / 3	1 week ago
44189	detector.run	complete	1 / 3	1 week ago
44190	validation.fork	complete	1 / 3	1 week 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

1

CREATE2

0

CALL-family (heavy)

18

EXT*/BALANCE

0

Total opcodes

2237

Flags

selfdestruct_present call_family_heavy

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0056
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x13af4035
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x0058
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x27dc297e
00000025: EQ
00000026: PUSH2 0x0098
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x41c0e1b5
00000030: EQ
00000031: PUSH2 0x01c0
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x504ac982
0000003b: EQ
0000003c: PUSH2 0x01e7
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x59eaac53
00000046: EQ
00000047: PUSH2 0x04f6
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x5ad77157
00000051: EQ
00000052: PUSH2 0x050e
00000055: JUMPI
00000056: JUMPDEST
00000057: STOP
00000058: JUMPDEST
00000059: PUSH2 0x0056
0000005c: PUSH1 0x04
0000005e: CALLDATALOAD
0000005f: PUSH1 0x02
00000061: SLOAD
00000062: PUSH1 0x01
00000064: PUSH1 0xa0
00000066: PUSH1 0x02
00000068: EXP
00000069: SUB
0000006a: SWAP1
0000006b: DUP2
0000006c: AND
0000006d: CALLER
0000006e: SWAP1
0000006f: SWAP2
00000070: AND
00000071: EQ
00000072: ISZERO
00000073: PUSH2 0x056d
00000076: JUMPI
00000077: PUSH1 0x02
00000079: DUP1
0000007a: SLOAD
0000007b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000090: NOT
00000091: AND
00000092: DUP3
00000093: OR
00000094: SWAP1
00000095: SSTORE
00000096: POP
00000097: JUMP
00000098: JUMPDEST
00000099: PUSH1 0x20
0000009b: PUSH1 0x24
0000009d: DUP1
0000009e: CALLDATALOAD
0000009f: PUSH1 0x04
000000a1: DUP2
000000a2: DUP2
000000a3: ADD
000000a4: CALLDATALOAD
000000a5: PUSH1 0x1f
000000a7: DUP2
000000a8: ADD
000000a9: DUP6
000000aa: SWAP1
000000ab: DIV
000000ac: SWAP1
000000ad: SWAP5
000000ae: MUL
000000af: PUSH1 0x80
000000b1: SWAP1
000000b2: DUP2
000000b3: ADD
000000b4: PUSH1 0x40
000000b6: MSTORE
000000b7: PUSH1 0x60
000000b9: DUP6
000000ba: DUP2
000000bb: MSTORE
000000bc: PUSH2 0x0056
000000bf: SWAP6
000000c0: DUP4
000000c1: CALLDATALOAD
000000c2: SWAP6
000000c3: SWAP4
000000c4: SWAP5
000000c5: PUSH1 0x44
000000c7: SWAP5
000000c8: SWAP3
000000c9: SWAP4
000000ca: SWAP3
000000cb: ADD
000000cc: SWAP2
000000cd: DUP2
000000ce: SWAP1
000000cf: DUP4
000000d0: DUP3
000000d1: DUP1
000000d2: DUP3
000000d3: DUP5
000000d4: CALLDATACOPY
000000d5: POP
000000d6: SWAP5
000000d7: SWAP7
000000d8: POP
000000d9: POP
000000da: POP
000000db: POP
000000dc: POP
000000dd: POP
000000de: POP
000000df: PUSH1 0x00
000000e1: PUSH1 0x00
000000e3: PUSH2 0x0582
000000e6: PUSH1 0x00
000000e8: PUSH1 0x00
000000ea: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8
000000ff: SWAP1
00000100: POP
00000101: DUP1
00000102: PUSH1 0x01
00000104: PUSH1 0xa0
00000106: PUSH1 0x02
00000108: EXP
00000109: SUB
0000010a: AND
0000010b: PUSH4 0x38cc4831
00000110: PUSH1 0x40
00000112: MLOAD
00000113: DUP2
00000114: PUSH1 0xe0
00000116: PUSH1 0x02
00000118: EXP
00000119: MUL
0000011a: DUP2
0000011b: MSTORE
0000011c: PUSH1 0x04
0000011e: ADD
0000011f: DUP1
00000120: SWAP1
00000121: POP
00000122: PUSH1 0x20
00000124: PUSH1 0x40
00000126: MLOAD
00000127: DUP1
00000128: DUP4
00000129: SUB
0000012a: DUP2
0000012b: PUSH1 0x00
0000012d: DUP8
0000012e: PUSH2 0x61da
00000131: GAS
00000132: SUB
00000133: CALL
00000134: ISZERO
00000135: PUSH2 0x0002
00000138: JUMPI
00000139: POP
0000013a: POP
0000013b: PUSH1 0x40
0000013d: DUP1
0000013e: MLOAD
0000013f: DUP1
00000140: MLOAD
00000141: DUP6
00000142: SLOAD
00000143: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000158: NOT
00000159: AND
0000015a: OR
0000015b: DUP1
0000015c: DUP7
0000015d: SSTORE
0000015e: PUSH32 0xc281d19e00000000000000000000000000000000000000000000000000000000
0000017f: DUP3
00000180: MSTORE
00000181: SWAP2
00000182: MLOAD
00000183: PUSH1 0x01
00000185: PUSH1 0xa0
00000187: PUSH1 0x02
00000189: EXP
0000018a: SUB
0000018b: SWAP3
0000018c: SWAP1
0000018d: SWAP3
0000018e: AND
0000018f: SWAP3
00000190: POP
00000191: PUSH4 0xc281d19e
00000196: SWAP2
00000197: PUSH1 0x04
00000199: DUP3
0000019a: DUP2
0000019b: ADD
0000019c: SWAP3
0000019d: PUSH1 0x20
0000019f: SWAP3
000001a0: SWAP2
000001a1: SWAP1
000001a2: DUP3
000001a3: SWAP1
000001a4: SUB
000001a5: ADD
000001a6: DUP2
000001a7: DUP9
000001a8: DUP8
000001a9: PUSH2 0x61da
000001ac: GAS
000001ad: SUB
000001ae: CALL
000001af: ISZERO
000001b0: PUSH2 0x0002
000001b3: JUMPI
000001b4: POP
000001b5: POP
000001b6: PUSH1 0x40
000001b8: MLOAD
000001b9: MLOAD
000001ba: SWAP3
000001bb: POP
000001bc: POP
000001bd: POP
000001be: SWAP1
000001bf: JUMP
000001c0: JUMPDEST
000001c1: PUSH2 0x0056
000001c4: PUSH1 0x02
000001c6: SLOAD
000001c7: PUSH1 0x01
000001c9: PUSH1 0xa0
000001cb: PUSH1 0x02
000001cd: EXP
000001ce: SUB
000001cf: SWAP1
000001d0: DUP2
000001d1: AND
000001d2: CALLER
000001d3: SWAP1
000001d4: SWAP2
000001d5: AND
000001d6: EQ
000001d7: ISZERO
000001d8: PUSH2 0x0cb3
000001db: JUMPI
000001dc: CALLER
000001dd: PUSH1 0x01
000001df: PUSH1 0xa0
000001e1: PUSH1 0x02
000001e3: EXP
000001e4: SUB
000001e5: AND
000001e6: SELFDESTRUCT
000001e7: JUMPDEST
000001e8: PUSH1 0x80
000001ea: PUSH1 0x20
000001ec: PUSH1 0x04
000001ee: DUP1
000001ef: CALLDATALOAD
000001f0: DUP1
000001f1: DUP3
000001f2: ADD
000001f3: CALLDATALOAD
000001f4: PUSH1 0x1f
000001f6: DUP2
000001f7: ADD
000001f8: DUP5
000001f9: SWAP1
000001fa: DIV
000001fb: SWAP1
000001fc: SWAP4
000001fd: MUL
000001fe: DUP5
000001ff: ADD
00000200: PUSH1 0x40
00000202: MSTORE
00000203: PUSH1 0x60
00000205: DUP4
00000206: DUP2
00000207: MSTORE
00000208: PUSH2 0x0570
0000020b: SWAP5
0000020c: SWAP3
0000020d: SWAP4
0000020e: PUSH1 0x24
00000210: SWAP4
00000211: SWAP2
00000212: SWAP3
00000213: DUP5
00000214: ADD
00000215: SWAP2
00000216: DUP2
00000217: SWAP1
00000218: DUP4
00000219: DUP3
0000021a: DUP1
0000021b: DUP3
0000021c: DUP5
0000021d: CALLDATACOPY
0000021e: POP
0000021f: POP
00000220: PUSH1 0x40
00000222: DUP1
00000223: MLOAD
00000224: PUSH1 0x20
00000226: DUP9
00000227: CALLDATALOAD
00000228: DUP1
00000229: DUP12
0000022a: ADD
0000022b: CALLDATALOAD
0000022c: PUSH1 0x1f
0000022e: DUP2
0000022f: ADD
00000230: DUP4
00000231: SWAP1
00000232: DIV
00000233: DUP4
00000234: MUL
00000235: DUP5
00000236: ADD
00000237: DUP4
00000238: ADD
00000239: SWAP1
0000023a: SWAP5
0000023b: MSTORE
0000023c: DUP4
0000023d: DUP4
0000023e: MSTORE
0000023f: SWAP8
00000240: SWAP10
00000241: SWAP9
00000242: PUSH1 0x44
00000244: SWAP9
00000245: SWAP3
00000246: SWAP8
00000247: POP
00000248: SWAP2
00000249: SWAP1
0000024a: SWAP2
0000024b: ADD
0000024c: SWAP5
0000024d: POP
0000024e: SWAP1
0000024f: SWAP3
00000250: POP
00000251: DUP3
00000252: SWAP2
00000253: POP
00000254: DUP5
00000255: ADD
00000256: DUP4
00000257: DUP3
00000258: DUP1
00000259: DUP3
0000025a: DUP5
0000025b: CALLDATACOPY
0000025c: POP
0000025d: POP
0000025e: PUSH1 0x40
00000260: DUP1
00000261: MLOAD
00000262: PUSH1 0x20
00000264: DUP2
00000265: DUP2
00000266: ADD
00000267: DUP4
00000268: MSTORE
00000269: PUSH1 0x00
0000026b: DUP1
0000026c: DUP4
0000026d: MSTORE
0000026e: DUP4
0000026f: MLOAD
00000270: DUP1
00000271: DUP4
00000272: ADD
00000273: DUP6
00000274: MSTORE
00000275: DUP2
00000276: DUP2
00000277: MSTORE
00000278: DUP5
00000279: MLOAD
0000027a: DUP1
0000027b: DUP5
0000027c: ADD
0000027d: DUP7
0000027e: MSTORE
0000027f: DUP3
00000280: DUP2
00000281: MSTORE
00000282: DUP6
00000283: MLOAD
00000284: DUP1
00000285: DUP6
00000286: ADD
00000287: DUP8
00000288: MSTORE
00000289: DUP4
0000028a: DUP2
0000028b: MSTORE
0000028c: DUP7
0000028d: MLOAD
0000028e: DUP1
0000028f: DUP7
00000290: ADD
00000291: DUP9
00000292: MSTORE
00000293: DUP5
00000294: DUP2
00000295: MSTORE
00000296: DUP8
00000297: MLOAD
00000298: DUP1
00000299: DUP10
0000029a: ADD
0000029b: DUP10
0000029c: MSTORE
0000029d: PUSH1 0x0c
0000029f: DUP2
000002a0: MSTORE
000002a1: PUSH32 0x4841434b696e4455424c494e0000000000000000000000000000000000000000
000002c2: DUP2
000002c3: DUP9
000002c4: ADD
000002c5: MSTORE
000002c6: DUP9
000002c7: MLOAD
000002c8: PUSH1 0xe0
000002ca: PUSH1 0x02
000002cc: EXP
000002cd: PUSH4 0x38cc4831
000002d2: MUL
000002d3: DUP2
000002d4: MSTORE
000002d5: SWAP9
000002d6: MLOAD
000002d7: SWAP14
000002d8: SWAP16
000002d9: SWAP6
000002da: SWAP15
000002db: POP
000002dc: SWAP7
000002dd: SWAP13
000002de: SWAP4
000002df: SWAP12
000002e0: POP
000002e1: SWAP2
000002e2: SWAP10
000002e3: POP
000002e4: SWAP8
000002e5: POP
000002e6: DUP12
000002e7: SWAP7
000002e8: POP
000002e9: SWAP5
000002ea: DUP7
000002eb: SWAP5
000002ec: SWAP4
000002ed: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8
00000302: SWAP4
00000303: DUP5
00000304: SWAP4
00000305: PUSH4 0x38cc4831
0000030a: SWAP4
0000030b: DUP1
0000030c: DUP4
0000030d: ADD
0000030e: SWAP4
0000030f: SWAP3
00000310: SWAP1
00000311: DUP3
00000312: SWAP1
00000313: SUB
00000314: ADD
00000315: DUP2
00000316: DUP10
00000317: DUP8
00000318: PUSH2 0x61da
0000031b: GAS
0000031c: SUB
0000031d: CALL
0000031e: ISZERO
0000031f: PUSH2 0x0002
00000322: JUMPI
00000323: POP
00000324: POP
00000325: POP
00000326: PUSH1 0x40
00000328: MLOAD
00000329: DUP1
0000032a: MLOAD
0000032b: SWAP1
0000032c: PUSH1 0x20
0000032e: ADD
0000032f: POP
00000330: PUSH1 0x00
00000332: PUSH1 0x00
00000334: PUSH2 0x0100
00000337: EXP
00000338: DUP2
00000339: SLOAD
0000033a: DUP2
0000033b: PUSH1 0x01
0000033d: PUSH1 0xa0
0000033f: PUSH1 0x02
00000341: EXP
00000342: SUB
00000343: MUL
00000344: NOT
00000345: AND
00000346: SWAP1
00000347: DUP4
00000348: MUL
00000349: OR
0000034a: SWAP1
0000034b: SSTORE
0000034c: POP
0000034d: PUSH1 0x00
0000034f: PUSH1 0x00
00000351: SWAP1
00000352: SLOAD
00000353: SWAP1
00000354: PUSH2 0x0100
00000357: EXP
00000358: SWAP1
00000359: DIV
0000035a: PUSH1 0x01
0000035c: PUSH1 0xa0
0000035e: PUSH1 0x02
00000360: EXP
00000361: SUB
00000362: AND
00000363: PUSH1 0x01
00000365: PUSH1 0xa0
00000367: PUSH1 0x02
00000369: EXP
0000036a: SUB
0000036b: AND
0000036c: PUSH4 0x60f66701
00000371: DUP4
00000372: PUSH1 0x40
00000374: MLOAD
00000375: DUP3
00000376: PUSH1 0xe0
00000378: PUSH1 0x02
0000037a: EXP
0000037b: MUL
0000037c: DUP2
0000037d: MSTORE
0000037e: PUSH1 0x04
00000380: ADD
00000381: DUP1
00000382: DUP1
00000383: PUSH1 0x20
00000385: ADD
00000386: DUP3
00000387: DUP2
00000388: SUB
00000389: DUP3
0000038a: MSTORE
0000038b: DUP4
0000038c: DUP2
0000038d: DUP2
0000038e: MLOAD
0000038f: DUP2
00000390: MSTORE
00000391: PUSH1 0x20
00000393: ADD
00000394: SWAP2
00000395: POP
00000396: DUP1
00000397: MLOAD
00000398: SWAP1
00000399: PUSH1 0x20
0000039b: ADD
0000039c: SWAP1
0000039d: DUP1
0000039e: DUP4
0000039f: DUP4
000003a0: DUP3
000003a1: SWAP1
000003a2: PUSH1 0x00
000003a4: PUSH1 0x04
000003a6: PUSH1 0x20
000003a8: DUP5
000003a9: PUSH1 0x1f
000003ab: ADD
000003ac: DIV
000003ad: PUSH1 0x03
000003af: MUL
000003b0: PUSH1 0x0f
000003b2: ADD
000003b3: CALL
000003b4: POP
000003b5: SWAP1
000003b6: POP
000003b7: SWAP1
000003b8: DUP2
000003b9: ADD
000003ba: SWAP1
000003bb: PUSH1 0x1f
000003bd: AND
000003be: DUP1
000003bf: ISZERO
000003c0: PUSH2 0x03dd
000003c3: JUMPI
000003c4: DUP1
000003c5: DUP3
000003c6: SUB
000003c7: DUP1
000003c8: MLOAD
000003c9: PUSH1 0x01
000003cb: DUP4
000003cc: PUSH1 0x20
000003ce: SUB
000003cf: PUSH2 0x0100
000003d2: EXP
000003d3: SUB
000003d4: NOT
000003d5: AND
000003d6: DUP2
000003d7: MSTORE
000003d8: PUSH1 0x20
000003da: ADD
000003db: SWAP2
000003dc: POP
000003dd: JUMPDEST
000003de: POP
000003df: SWAP3
000003e0: POP
000003e1: POP
000003e2: POP
000003e3: PUSH1 0x00
000003e5: PUSH1 0x40
000003e7: MLOAD
000003e8: DUP1
000003e9: DUP4
000003ea: SUB
000003eb: DUP2
000003ec: PUSH1 0x00
000003ee: DUP8
000003ef: PUSH2 0x61da
000003f2: GAS
000003f3: SUB
000003f4: CALL
000003f5: ISZERO
000003f6: PUSH2 0x0002
000003f9: JUMPI
000003fa: POP
000003fb: POP
000003fc: POP
000003fd: DUP12
000003fe: SWAP9
000003ff: POP
00000400: DUP11
00000401: SWAP8
00000402: POP
00000403: DUP9
00000404: PUSH1 0x00
00000406: DUP2
00000407: MLOAD
00000408: DUP2
00000409: LT
0000040a: ISZERO
0000040b: PUSH2 0x0002
0000040e: JUMPI
0000040f: POP
00000410: POP
00000411: PUSH1 0x80
00000413: MLOAD
00000414: PUSH1 0xf8
00000416: PUSH1 0x02
00000418: EXP
00000419: SWAP1
0000041a: DUP2
0000041b: SWAP1
0000041c: DIV
0000041d: MUL
0000041e: PUSH32 0x6200000000000000000000000000000000000000000000000000000000000000
0000043f: EQ
00000440: ISZERO
00000441: DUP1
00000442: PUSH2 0x0485
00000445: JUMPI
00000446: POP
00000447: DUP9
00000448: PUSH1 0x01
0000044a: DUP2
0000044b: MLOAD
0000044c: DUP2
0000044d: LT
0000044e: ISZERO
0000044f: PUSH2 0x0002
00000452: JUMPI
00000453: POP
00000454: POP
00000455: PUSH1 0x81
00000457: MLOAD
00000458: PUSH1 0xf8
0000045a: PUSH1 0x02
0000045c: EXP
0000045d: SWAP1
0000045e: DUP2
0000045f: SWAP1
00000460: DIV
00000461: MUL
00000462: PUSH32 0x7400000000000000000000000000000000000000000000000000000000000000
00000483: EQ
00000484: ISZERO
00000485: JUMPDEST
00000486: DUP1
00000487: PUSH2 0x04ca
0000048a: JUMPI
0000048b: POP
0000048c: DUP9
0000048d: PUSH1 0x02
0000048f: DUP2
00000490: MLOAD
00000491: DUP2
00000492: LT
00000493: ISZERO
00000494: PUSH2 0x0002
00000497: JUMPI
00000498: POP
00000499: POP
0000049a: PUSH1 0x82
0000049c: MLOAD
0000049d: PUSH1 0xf8
0000049f: PUSH1 0x02
000004a1: EXP
000004a2: SWAP1
000004a3: DUP2
000004a4: SWAP1
000004a5: DIV
000004a6: MUL
000004a7: PUSH32 0x6300000000000000000000000000000000000000000000000000000000000000
000004c8: EQ
000004c9: ISZERO
000004ca: JUMPDEST
000004cb: ISZERO
000004cc: PUSH2 0x07a4
000004cf: JUMPI
000004d0: PUSH1 0x40
000004d2: MLOAD
000004d3: CALLER
000004d4: PUSH1 0x01
000004d6: PUSH1 0xa0
000004d8: PUSH1 0x02
000004da: EXP
000004db: SUB
000004dc: AND
000004dd: SWAP1
000004de: DUP5
000004df: SWAP1
000004e0: CALLVALUE
000004e1: SWAP1
000004e2: DUP3
000004e3: DUP2
000004e4: DUP2
000004e5: DUP2
000004e6: DUP6
000004e7: DUP9
000004e8: DUP4
000004e9: CALL
000004ea: SWAP4
000004eb: POP
000004ec: POP
000004ed: POP
000004ee: POP
000004ef: POP
000004f0: POP
000004f1: POP
000004f2: PUSH2 0x0797
000004f5: JUMP
000004f6: JUMPDEST
000004f7: PUSH2 0x0570
000004fa: PUSH1 0x04
000004fc: CALLDATALOAD
000004fd: PUSH1 0x01
000004ff: PUSH1 0x20
00000501: MSTORE
00000502: PUSH1 0x00
00000504: SWAP1
00000505: DUP2
00000506: MSTORE
00000507: PUSH1 0x40
00000509: SWAP1
0000050a: KECCAK256
0000050b: SLOAD
0000050c: DUP2
0000050d: JUMP
0000050e: JUMPDEST
0000050f: PUSH2 0x0056
00000512: PUSH1 0x04
00000514: CALLDATALOAD
00000515: PUSH1 0x00
00000517: DUP1
00000518: SLOAD
00000519: PUSH32 0x688dcfd700000000000000000000000000000000000000000000000000000000
0000053a: PUSH1 0x60
0000053c: SWAP1
0000053d: DUP2
0000053e: MSTORE
0000053f: PUSH1 0x64
00000541: DUP5
00000542: SWAP1
00000543: MSTORE
00000544: PUSH1 0x01
00000546: PUSH1 0xa0
00000548: PUSH1 0x02
0000054a: EXP
0000054b: SUB
0000054c: SWAP1
0000054d: SWAP2
0000054e: AND
0000054f: SWAP2
00000550: PUSH4 0x688dcfd7
00000555: SWAP2
00000556: PUSH1 0x84
00000558: SWAP2
00000559: SWAP1
0000055a: PUSH1 0x24
0000055c: DUP2
0000055d: DUP4
0000055e: DUP8
0000055f: PUSH2 0x61da
00000562: GAS
00000563: SUB
00000564: CALL
00000565: ISZERO
00000566: PUSH2 0x0002
00000569: JUMPI
0000056a: POP
0000056b: POP
0000056c: POP
0000056d: JUMPDEST
0000056e: POP
0000056f: JUMP
00000570: JUMPDEST
00000571: PUSH1 0x40
00000573: DUP1
00000574: MLOAD
00000575: SWAP2
00000576: DUP3
00000577: MSTORE
00000578: MLOAD
00000579: SWAP1
0000057a: DUP2
0000057b: SWAP1
0000057c: SUB
0000057d: PUSH1 0x20
0000057f: ADD
00000580: SWAP1
00000581: RETURN
00000582: JUMPDEST
00000583: PUSH1 0x01
00000585: PUSH1 0xa0
00000587: PUSH1 0x02
00000589: EXP
0000058a: SUB
0000058b: AND
0000058c: CALLER
0000058d: PUSH1 0x01
0000058f: PUSH1 0xa0
00000591: PUSH1 0x02
00000593: EXP
00000594: SUB
00000595: AND
00000596: EQ
00000597: ISZERO
00000598: ISZERO
00000599: PUSH2 0x05a1
0000059c: JUMPI
0000059d: PUSH2 0x0002
000005a0: JUMP
000005a1: JUMPDEST
000005a2: PUSH1 0x40
000005a4: DUP1
000005a5: MLOAD
000005a6: PUSH1 0x20
000005a8: DUP1
000005a9: DUP3
000005aa: MSTORE
000005ab: PUSH1 0x09
000005ad: SWAP1
000005ae: DUP3
000005af: ADD
000005b0: MSTORE
000005b1: PUSH32 0x7061727365616464720000000000000000000000000000000000000000000000
000005d2: DUP2
000005d3: DUP4
000005d4: ADD
000005d5: MSTORE
000005d6: SWAP1
000005d7: MLOAD
000005d8: SWAP1
000005d9: DUP2
000005da: SWAP1
000005db: SUB
000005dc: DUP5
000005dd: ADD
000005de: SWAP1
000005df: LOG0
000005e0: PUSH2 0x0682
000005e3: DUP4
000005e4: PUSH1 0x40
000005e6: DUP1
000005e7: MLOAD
000005e8: PUSH1 0x20
000005ea: DUP2
000005eb: ADD
000005ec: SWAP1
000005ed: SWAP2
000005ee: MSTORE
000005ef: DUP4
000005f0: SWAP1
000005f1: MSTORE
000005f2: DUP3
000005f3: DUP2
000005f4: DUP2
000005f5: DUP1
000005f6: DUP1
000005f7: PUSH1 0x02
000005f9: JUMPDEST
000005fa: PUSH1 0x2a
000005fc: DUP2
000005fd: LT
000005fe: ISZERO
000005ff: PUSH2 0x0cb5
00000602: JUMPI
00000603: PUSH2 0x0100
00000606: DUP5
00000607: MUL
00000608: SWAP4
00000609: POP
0000060a: DUP4
0000060b: POP
0000060c: DUP5
0000060d: DUP2
0000060e: DUP2
0000060f: MLOAD
00000610: DUP2
00000611: LT
00000612: ISZERO
00000613: PUSH2 0x0002
00000616: JUMPI
00000617: DUP2
00000618: MLOAD
00000619: PUSH1 0x80
0000061b: SWAP2
0000061c: SWAP1
0000061d: SWAP2
0000061e: ADD
0000061f: MLOAD
00000620: PUSH1 0xf8
00000622: PUSH1 0x02
00000624: EXP
00000625: SWAP1
00000626: DUP2
00000627: SWAP1
00000628: DIV
00000629: DUP2
0000062a: MUL
0000062b: DIV
0000062c: SWAP5
0000062d: POP
0000062e: PUSH1 0x01
00000630: DUP4
00000631: ADD
00000632: SWAP1
00000633: DUP2
00000634: LT
00000635: ISZERO
00000636: PUSH2 0x0002
00000639: JUMPI
0000063a: PUSH1 0x80
0000063c: ADD
0000063d: MLOAD
0000063e: PUSH1 0xf8
00000640: PUSH1 0x02
00000642: EXP
00000643: SWAP1
00000644: DUP2
00000645: SWAP1
00000646: DIV
00000647: DUP2
00000648: MUL
00000649: DIV
0000064a: SWAP3
0000064b: POP
0000064c: POP
0000064d: PUSH1 0x61
0000064f: PUSH1 0x01
00000651: PUSH1 0xa0
00000653: PUSH1 0x02
00000655: EXP
00000656: SUB
00000657: DUP5
00000658: AND
00000659: LT
0000065a: DUP1
0000065b: ISZERO
0000065c: SWAP1
0000065d: PUSH2 0x0670
00000660: JUMPI
00000661: POP
00000662: PUSH1 0x66
00000664: DUP4
00000665: PUSH1 0x01
00000667: PUSH1 0xa0
00000669: PUSH1 0x02
0000066b: EXP
0000066c: SUB
0000066d: AND
0000066e: GT
0000066f: ISZERO
00000670: JUMPDEST
00000671: ISZERO
00000672: PUSH2 0x0cc0
00000675: JUMPI
00000676: PUSH1 0x56
00000678: NOT
00000679: SWAP3
0000067a: SWAP1
0000067b: SWAP3
0000067c: ADD
0000067d: SWAP2
0000067e: PUSH2 0x0cf1
00000681: JUMP
00000682: JUMPDEST
00000683: SWAP1
00000684: DUP5
00000685: SWAP1
00000686: MSTORE
00000687: PUSH1 0x01
00000689: PUSH1 0x20
0000068b: SWAP1
0000068c: DUP2
0000068d: MSTORE
0000068e: PUSH1 0x40
00000690: DUP1
00000691: DUP5
00000692: KECCAK256
00000693: DUP1
00000694: SLOAD
00000695: SWAP5
00000696: SWAP1
00000697: SSTORE
00000698: DUP1
00000699: MLOAD
0000069a: DUP3
0000069b: DUP2
0000069c: MSTORE
0000069d: PUSH1 0x04
0000069f: SWAP3
000006a0: DUP2
000006a1: ADD
000006a2: SWAP3
000006a3: SWAP1
000006a4: SWAP3
000006a5: MSTORE
000006a6: PUSH32 0x73656e6400000000000000000000000000000000000000000000000000000000
000006c7: DUP3
000006c8: DUP3
000006c9: ADD
000006ca: MSTORE
000006cb: MLOAD
000006cc: SWAP2
000006cd: SWAP3
000006ce: SWAP2
000006cf: SWAP1
000006d0: DUP2
000006d1: SWAP1
000006d2: SUB
000006d3: DUP5
000006d4: ADD
000006d5: SWAP1
000006d6: LOG0
000006d7: PUSH1 0x40
000006d9: MLOAD
000006da: PUSH1 0x01
000006dc: PUSH1 0xa0
000006de: PUSH1 0x02
000006e0: EXP
000006e1: SUB
000006e2: DUP4
000006e3: AND
000006e4: SWAP1
000006e5: PUSH1 0x00
000006e7: SWAP1
000006e8: DUP4
000006e9: SWAP1
000006ea: DUP3
000006eb: DUP2
000006ec: DUP2
000006ed: DUP2
000006ee: DUP6
000006ef: DUP9
000006f0: DUP4
000006f1: CALL
000006f2: POP
000006f3: PUSH1 0x20
000006f5: DUP1
000006f6: DUP3
000006f7: MSTORE
000006f8: PUSH1 0x04
000006fa: SWAP1
000006fb: DUP3
000006fc: ADD
000006fd: MSTORE
000006fe: PUSH32 0x646f6e6500000000000000000000000000000000000000000000000000000000
0000071f: PUSH1 0x40
00000721: DUP3
00000722: DUP2
00000723: ADD
00000724: SWAP2
00000725: SWAP1
00000726: SWAP2
00000727: MSTORE
00000728: MLOAD
00000729: SWAP1
0000072a: DUP2
0000072b: SWAP1
0000072c: SUB
0000072d: DUP8
0000072e: ADD
0000072f: SWAP4
00000730: POP
00000731: SWAP2
00000732: POP
00000733: POP
00000734: LOG0
00000735: PUSH32 0x6cceb87e66d18f4701a4f727fe32d37f665c1c5b374e4247bc613979cb69c074
00000756: DUP3
00000757: DUP3
00000758: PUSH1 0x40
0000075a: MLOAD
0000075b: DUP1
0000075c: DUP4
0000075d: PUSH1 0x01
0000075f: PUSH1 0xa0
00000761: PUSH1 0x02
00000763: EXP
00000764: SUB
00000765: AND
00000766: DUP2
00000767: MSTORE
00000768: PUSH1 0x20
0000076a: ADD
0000076b: DUP3
0000076c: DUP2
0000076d: MSTORE
0000076e: PUSH1 0x20
00000770: ADD
00000771: SWAP3
00000772: POP
00000773: POP
00000774: POP
00000775: PUSH1 0x40
00000777: MLOAD
00000778: DUP1
00000779: SWAP2
0000077a: SUB
0000077b: SWAP1
0000077c: LOG1
0000077d: POP
0000077e: POP
0000077f: POP
00000780: POP
00000781: JUMP
00000782: JUMPDEST
00000783: SWAP3
00000784: DUP4
00000785: SWAP1
00000786: MSTORE
00000787: POP
00000788: POP
00000789: PUSH1 0x01
0000078b: PUSH1 0x20
0000078d: MSTORE
0000078e: PUSH1 0x40
00000790: SWAP1
00000791: SWAP8
00000792: KECCAK256
00000793: CALLVALUE
00000794: SWAP1
00000795: SSTORE
00000796: DUP7
00000797: JUMPDEST
00000798: POP
00000799: POP
0000079a: POP
0000079b: POP
0000079c: POP
0000079d: POP
0000079e: POP
0000079f: SWAP3
000007a0: SWAP2
000007a1: POP
000007a2: POP
000007a3: JUMP
000007a4: JUMPDEST
000007a5: PUSH1 0x23
000007a7: DUP9
000007a8: MLOAD
000007a9: GT
000007aa: ISZERO
000007ab: PUSH2 0x07d5
000007ae: JUMPI
000007af: PUSH1 0x40
000007b1: MLOAD
000007b2: CALLER
000007b3: PUSH1 0x01
000007b5: PUSH1 0xa0
000007b7: PUSH1 0x02
000007b9: EXP
000007ba: SUB
000007bb: AND
000007bc: SWAP1
000007bd: DUP5
000007be: SWAP1
000007bf: CALLVALUE
000007c0: SWAP1
000007c1: DUP3
000007c2: DUP2
000007c3: DUP2
000007c4: DUP2
000007c5: DUP6
000007c6: DUP9
000007c7: DUP4
000007c8: CALL
000007c9: SWAP4
000007ca: POP
000007cb: POP
000007cc: POP
000007cd: POP
000007ce: POP
000007cf: POP
000007d0: POP
000007d1: PUSH2 0x0797
000007d4: JUMP
000007d5: JUMPDEST
000007d6: PUSH1 0x40
000007d8: DUP1
000007d9: MLOAD
000007da: DUP1
000007db: DUP3
000007dc: ADD
000007dd: DUP3
000007de: MSTORE
000007df: PUSH1 0x20
000007e1: DUP1
000007e2: DUP3
000007e3: MSTORE
000007e4: PUSH32 0x7b2270616972223a226574685f627463222c227769746864726177616c223a22
00000805: DUP3
00000806: DUP3
00000807: ADD
00000808: MSTORE
00000809: DUP3
0000080a: MLOAD
0000080b: DUP2
0000080c: DUP2
0000080d: MSTORE
0000080e: PUSH1 0x06
00000810: SWAP2
00000811: DUP2
00000812: ADD
00000813: SWAP2
00000814: SWAP1
00000815: SWAP2
00000816: MSTORE
00000817: PUSH32 0x737472696e670000000000000000000000000000000000000000000000000000
00000838: DUP2
00000839: DUP5
0000083a: ADD
0000083b: MSTORE
0000083c: SWAP2
0000083d: MLOAD
0000083e: SWAP1
0000083f: SWAP9
00000840: POP
00000841: DUP9
00000842: SWAP8
00000843: POP
00000844: PUSH1 0x1f
00000846: SWAP7
00000847: POP
00000848: SWAP1
00000849: DUP2
0000084a: SWAP1
0000084b: SUB
0000084c: DUP11
0000084d: ADD
0000084e: SWAP1
0000084f: LOG0
00000850: PUSH1 0x40
00000852: DUP1
00000853: MLOAD
00000854: PUSH1 0x20
00000856: DUP1
00000857: DUP3
00000858: MSTORE
00000859: PUSH1 0x05
0000085b: SWAP1
0000085c: DUP3
0000085d: ADD
0000085e: MSTORE
0000085f: PUSH32 0x7175657279000000000000000000000000000000000000000000000000000000
00000880: DUP2
00000881: DUP4
00000882: ADD
00000883: MSTORE
00000884: SWAP1
00000885: MLOAD
00000886: DUP8
00000887: SWAP6
00000888: POP
00000889: SWAP1
0000088a: DUP2
0000088b: SWAP1
0000088c: SUB
0000088d: DUP11
0000088e: ADD
0000088f: SWAP1
00000890: LOG0
00000891: PUSH32 0xbf322c7b8b8119cc4f8cedbc92262e6782a8528add1b6bebc256d59bd5f37608
000008b2: DUP12
000008b3: DUP13
000008b4: PUSH1 0x40
000008b6: MLOAD
000008b7: DUP1
000008b8: DUP1
000008b9: PUSH1 0x20
000008bb: ADD
000008bc: DUP1
000008bd: PUSH1 0x20
000008bf: ADD
000008c0: DUP4
000008c1: DUP2
000008c2: SUB
000008c3: DUP4
000008c4: MSTORE
000008c5: DUP6
000008c6: DUP2
000008c7: DUP2
000008c8: MLOAD
000008c9: DUP2
000008ca: MSTORE
000008cb: PUSH1 0x20
000008cd: ADD
000008ce: SWAP2
000008cf: POP
000008d0: DUP1
000008d1: MLOAD
000008d2: SWAP1
000008d3: PUSH1 0x20
000008d5: ADD
000008d6: SWAP1
000008d7: DUP1
000008d8: DUP4
000008d9: DUP4
000008da: DUP3
000008db: SWAP1
000008dc: PUSH1 0x00
000008de: PUSH1 0x04
000008e0: PUSH1 0x20
000008e2: DUP5
000008e3: PUSH1 0x1f
000008e5: ADD
000008e6: DIV
000008e7: PUSH1 0x03
000008e9: MUL
000008ea: PUSH1 0x0f
000008ec: ADD
000008ed: CALL
000008ee: POP
000008ef: SWAP1
000008f0: POP
000008f1: SWAP1
000008f2: DUP2
000008f3: ADD
000008f4: SWAP1
000008f5: PUSH1 0x1f
000008f7: AND
000008f8: DUP1
000008f9: ISZERO
000008fa: PUSH2 0x0917
000008fd: JUMPI
000008fe: DUP1
000008ff: DUP3
00000900: SUB
00000901: DUP1
00000902: MLOAD
00000903: PUSH1 0x01
00000905: DUP4
00000906: PUSH1 0x20
00000908: SUB
00000909: PUSH2 0x0100
0000090c: EXP
0000090d: SUB
0000090e: NOT
0000090f: AND
00000910: DUP2
00000911: MSTORE
00000912: PUSH1 0x20
00000914: ADD
00000915: SWAP2
00000916: POP
00000917: JUMPDEST
00000918: POP
00000919: DUP4
0000091a: DUP2
0000091b: SUB
0000091c: DUP3
0000091d: MSTORE
0000091e: DUP5
0000091f: DUP2
00000920: DUP2
00000921: MLOAD
00000922: DUP2
00000923: MSTORE
00000924: PUSH1 0x20
00000926: ADD
00000927: SWAP2
00000928: POP
00000929: DUP1
0000092a: MLOAD
0000092b: SWAP1
0000092c: PUSH1 0x20
0000092e: ADD
0000092f: SWAP1
00000930: DUP1
00000931: DUP4
00000932: DUP4
00000933: DUP3
00000934: SWAP1
00000935: PUSH1 0x00
00000937: PUSH1 0x04
00000939: PUSH1 0x20
0000093b: DUP5
0000093c: PUSH1 0x1f
0000093e: ADD
0000093f: DIV
00000940: PUSH1 0x03
00000942: MUL
00000943: PUSH1 0x0f
00000945: ADD
00000946: CALL
00000947: POP
00000948: SWAP1
00000949: POP
0000094a: SWAP1
0000094b: DUP2
0000094c: ADD
0000094d: SWAP1
0000094e: PUSH1 0x1f
00000950: AND
00000951: DUP1
00000952: ISZERO
00000953: PUSH2 0x0970
00000956: JUMPI
00000957: DUP1
00000958: DUP3
00000959: SUB
0000095a: DUP1
0000095b: MLOAD
0000095c: PUSH1 0x01
0000095e: DUP4
0000095f: PUSH1 0x20
00000961: SUB
00000962: PUSH2 0x0100
00000965: EXP
00000966: SUB
00000967: NOT
00000968: AND
00000969: DUP2
0000096a: MSTORE
0000096b: PUSH1 0x20
0000096d: ADD
0000096e: SWAP2
0000096f: POP
00000970: JUMPDEST
00000971: POP
00000972: SWAP5
00000973: POP
00000974: POP
00000975: POP
00000976: POP
00000977: POP
00000978: PUSH1 0x40
0000097a: MLOAD
0000097b: DUP1
0000097c: SWAP2
0000097d: SUB
0000097e: SWAP1
0000097f: LOG1
00000980: PUSH1 0x40
00000982: DUP1
00000983: MLOAD
00000984: DUP1
00000985: DUP3
00000986: ADD
00000987: DUP3
00000988: MSTORE
00000989: PUSH1 0x03
0000098b: DUP2
0000098c: MSTORE
0000098d: PUSH32 0x55524c0000000000000000000000000000000000000000000000000000000000
000009ae: PUSH1 0x20
000009b0: DUP3
000009b1: DUP2
000009b2: ADD
000009b3: SWAP2
000009b4: SWAP1
000009b5: SWAP2
000009b6: MSTORE
000009b7: DUP3
000009b8: MLOAD
000009b9: DUP1
000009ba: DUP14
000009bb: ADD
000009bc: DUP5
000009bd: MSTORE
000009be: PUSH1 0x38
000009c0: DUP2
000009c1: MSTORE
000009c2: PUSH32 0x6a736f6e28687474703a2f2f727466732e68752f736861706573686966742e70
000009e3: DUP2
000009e4: DUP4
000009e5: ADD
000009e6: MSTORE
000009e7: PUSH32 0x68703f706169723d6574685f627463292e6465706f7369740000000000000000
00000a08: DUP2
00000a09: DUP6
00000a0a: ADD
00000a0b: MSTORE
00000a0c: DUP4
00000a0d: MLOAD
00000a0e: PUSH1 0xe0
00000a10: PUSH1 0x02
00000a12: EXP
00000a13: PUSH4 0x38cc4831
00000a18: MUL
00000a19: DUP2
00000a1a: MSTORE
00000a1b: SWAP4
00000a1c: MLOAD
00000a1d: PUSH2 0x0782
00000a20: SWAP5
00000a21: SWAP2
00000a22: SWAP3
00000a23: DUP10
00000a24: SWAP3
00000a25: DUP10
00000a26: SWAP3
00000a27: DUP9
00000a28: SWAP3
00000a29: DUP4
00000a2a: SWAP3
00000a2b: PUSH4 0x38cc4831
00000a30: SWAP3
00000a31: PUSH1 0x04
00000a33: DUP3
00000a34: DUP2
00000a35: ADD
00000a36: SWAP4
00000a37: SWAP3
00000a38: DUP3
00000a39: SWAP1
00000a3a: SUB
00000a3b: ADD
00000a3c: DUP2
00000a3d: DUP9
00000a3e: DUP8
00000a3f: PUSH2 0x61da
00000a42: GAS
00000a43: SUB
00000a44: CALL
00000a45: ISZERO
00000a46: PUSH2 0x0002
00000a49: JUMPI
00000a4a: POP
00000a4b: POP
00000a4c: POP
00000a4d: PUSH1 0x40
00000a4f: MLOAD
00000a50: DUP1
00000a51: MLOAD
00000a52: SWAP1
00000a53: PUSH1 0x20
00000a55: ADD
00000a56: POP
00000a57: PUSH1 0x00
00000a59: PUSH1 0x00
00000a5b: PUSH2 0x0100
00000a5e: EXP
00000a5f: DUP2
00000a60: SLOAD
00000a61: DUP2
00000a62: PUSH1 0x01
00000a64: PUSH1 0xa0
00000a66: PUSH1 0x02
00000a68: EXP
00000a69: SUB
00000a6a: MUL
00000a6b: NOT
00000a6c: AND
00000a6d: SWAP1
00000a6e: DUP4
00000a6f: MUL
00000a70: OR
00000a71: SWAP1
00000a72: SSTORE
00000a73: POP
00000a74: PUSH1 0x00
00000a76: PUSH1 0x00
00000a78: SWAP1
00000a79: SLOAD
00000a7a: SWAP1
00000a7b: PUSH2 0x0100
00000a7e: EXP
00000a7f: SWAP1
00000a80: DIV
00000a81: PUSH1 0x01
00000a83: PUSH1 0xa0
00000a85: PUSH1 0x02
00000a87: EXP
00000a88: SUB
00000a89: AND
00000a8a: PUSH1 0x01
00000a8c: PUSH1 0xa0
00000a8e: PUSH1 0x02
00000a90: EXP
00000a91: SUB
00000a92: AND
00000a93: PUSH4 0x77228659
00000a98: PUSH1 0x00
00000a9a: PUSH1 0x00
00000a9c: SWAP1
00000a9d: SLOAD
00000a9e: SWAP1
00000a9f: PUSH2 0x0100
00000aa2: EXP
00000aa3: SWAP1
00000aa4: DIV
00000aa5: PUSH1 0x01
00000aa7: PUSH1 0xa0
00000aa9: PUSH1 0x02
00000aab: EXP
00000aac: SUB
00000aad: AND
00000aae: PUSH1 0x01
00000ab0: PUSH1 0xa0
00000ab2: PUSH1 0x02
00000ab4: EXP
00000ab5: SUB
00000ab6: AND
00000ab7: PUSH4 0x524f3889
00000abc: DUP9
00000abd: PUSH1 0x40
00000abf: MLOAD
00000ac0: DUP3
00000ac1: PUSH1 0xe0
00000ac3: PUSH1 0x02
00000ac5: EXP
00000ac6: MUL
00000ac7: DUP2
00000ac8: MSTORE
00000ac9: PUSH1 0x04
00000acb: ADD
00000acc: DUP1
00000acd: DUP1
00000ace: PUSH1 0x20
00000ad0: ADD
00000ad1: DUP3
00000ad2: DUP2
00000ad3: SUB
00000ad4: DUP3
00000ad5: MSTORE
00000ad6: DUP4
00000ad7: DUP2
00000ad8: DUP2
00000ad9: MLOAD
00000ada: DUP2
00000adb: MSTORE
00000adc: PUSH1 0x20
00000ade: ADD
00000adf: SWAP2
00000ae0: POP
00000ae1: DUP1
00000ae2: MLOAD
00000ae3: SWAP1
00000ae4: PUSH1 0x20
00000ae6: ADD
00000ae7: SWAP1
00000ae8: DUP1
00000ae9: DUP4
00000aea: DUP4
00000aeb: DUP3
00000aec: SWAP1
00000aed: PUSH1 0x00
00000aef: PUSH1 0x04
00000af1: PUSH1 0x20
00000af3: DUP5
00000af4: PUSH1 0x1f
00000af6: ADD
00000af7: DIV
00000af8: PUSH1 0x03
00000afa: MUL
00000afb: PUSH1 0x0f
00000afd: ADD
00000afe: CALL
00000aff: POP
00000b00: SWAP1
00000b01: POP
00000b02: SWAP1
00000b03: DUP2
00000b04: ADD
00000b05: SWAP1
00000b06: PUSH1 0x1f
00000b08: AND
00000b09: DUP1
00000b0a: ISZERO
00000b0b: PUSH2 0x0b28
00000b0e: JUMPI
00000b0f: DUP1
00000b10: DUP3
00000b11: SUB
00000b12: DUP1
00000b13: MLOAD
00000b14: PUSH1 0x01
00000b16: DUP4
00000b17: PUSH1 0x20
00000b19: SUB
00000b1a: PUSH2 0x0100
00000b1d: EXP
00000b1e: SUB
00000b1f: NOT
00000b20: AND
00000b21: DUP2
00000b22: MSTORE
00000b23: PUSH1 0x20
00000b25: ADD
00000b26: SWAP2
00000b27: POP
00000b28: JUMPDEST
00000b29: POP
00000b2a: SWAP3
00000b2b: POP
00000b2c: POP
00000b2d: POP
00000b2e: PUSH1 0x20
00000b30: PUSH1 0x40
00000b32: MLOAD
00000b33: DUP1
00000b34: DUP4
00000b35: SUB
00000b36: DUP2
00000b37: PUSH1 0x00
00000b39: DUP8
00000b3a: PUSH2 0x61da
00000b3d: GAS
00000b3e: SUB
00000b3f: CALL
00000b40: ISZERO
00000b41: PUSH2 0x0002
00000b44: JUMPI
00000b45: POP
00000b46: POP
00000b47: POP
00000b48: PUSH1 0x40
00000b4a: MLOAD
00000b4b: DUP1
00000b4c: MLOAD
00000b4d: SWAP1
00000b4e: PUSH1 0x20
00000b50: ADD
00000b51: POP
00000b52: PUSH1 0x00
00000b54: DUP9
00000b55: DUP9
00000b56: DUP9
00000b57: PUSH1 0x40
00000b59: MLOAD
00000b5a: DUP7
00000b5b: PUSH1 0xe0
00000b5d: PUSH1 0x02
00000b5f: EXP
00000b60: MUL
00000b61: DUP2
00000b62: MSTORE
00000b63: PUSH1 0x04
00000b65: ADD
00000b66: DUP1
00000b67: DUP6
00000b68: DUP2
00000b69: MSTORE
00000b6a: PUSH1 0x20
00000b6c: ADD
00000b6d: DUP1
00000b6e: PUSH1 0x20
00000b70: ADD
00000b71: DUP1
00000b72: PUSH1 0x20
00000b74: ADD
00000b75: DUP1
00000b76: PUSH1 0x20
00000b78: ADD
00000b79: DUP5
00000b7a: DUP2
00000b7b: SUB
00000b7c: DUP5
00000b7d: MSTORE
00000b7e: DUP8
00000b7f: DUP2
00000b80: DUP2
00000b81: MLOAD
00000b82: DUP2
00000b83: MSTORE
00000b84: PUSH1 0x20
00000b86: ADD
00000b87: SWAP2
00000b88: POP
00000b89: DUP1
00000b8a: MLOAD
00000b8b: SWAP1
00000b8c: PUSH1 0x20
00000b8e: ADD
00000b8f: SWAP1
00000b90: DUP1
00000b91: DUP4
00000b92: DUP4
00000b93: DUP3
00000b94: SWAP1
00000b95: PUSH1 0x00
00000b97: PUSH1 0x04
00000b99: PUSH1 0x20
00000b9b: DUP5
00000b9c: PUSH1 0x1f
00000b9e: ADD
00000b9f: DIV
00000ba0: PUSH1 0x03
00000ba2: MUL
00000ba3: PUSH1 0x0f
00000ba5: ADD
00000ba6: CALL
00000ba7: POP
00000ba8: SWAP1
00000ba9: POP
00000baa: SWAP1
00000bab: DUP2
00000bac: ADD
00000bad: SWAP1
00000bae: PUSH1 0x1f
00000bb0: AND
00000bb1: DUP1
00000bb2: ISZERO
00000bb3: PUSH2 0x0bd0
00000bb6: JUMPI
00000bb7: DUP1
00000bb8: DUP3
00000bb9: SUB
00000bba: DUP1
00000bbb: MLOAD
00000bbc: PUSH1 0x01
00000bbe: DUP4
00000bbf: PUSH1 0x20
00000bc1: SUB
00000bc2: PUSH2 0x0100
00000bc5: EXP
00000bc6: SUB
00000bc7: NOT
00000bc8: AND
00000bc9: DUP2
00000bca: MSTORE
00000bcb: PUSH1 0x20
00000bcd: ADD
00000bce: SWAP2
00000bcf: POP
00000bd0: JUMPDEST
00000bd1: POP
00000bd2: DUP5
00000bd3: DUP2
00000bd4: SUB
00000bd5: DUP4
00000bd6: MSTORE
00000bd7: DUP7
00000bd8: DUP2
00000bd9: DUP2
00000bda: MLOAD
00000bdb: DUP2
00000bdc: MSTORE
00000bdd: PUSH1 0x20
00000bdf: ADD
00000be0: SWAP2
00000be1: POP
00000be2: DUP1
00000be3: MLOAD
00000be4: SWAP1
00000be5: PUSH1 0x20
00000be7: ADD
00000be8: SWAP1
00000be9: DUP1
00000bea: DUP4
00000beb: DUP4
00000bec: DUP3
00000bed: SWAP1
00000bee: PUSH1 0x00
00000bf0: PUSH1 0x04
00000bf2: PUSH1 0x20
00000bf4: DUP5
00000bf5: PUSH1 0x1f
00000bf7: ADD
00000bf8: DIV
00000bf9: PUSH1 0x03
00000bfb: MUL
00000bfc: PUSH1 0x0f
00000bfe: ADD
00000bff: CALL
00000c00: POP
00000c01: SWAP1
00000c02: POP
00000c03: SWAP1
00000c04: DUP2
00000c05: ADD
00000c06: SWAP1
00000c07: PUSH1 0x1f
00000c09: AND
00000c0a: DUP1
00000c0b: ISZERO
00000c0c: PUSH2 0x0c29
00000c0f: JUMPI
00000c10: DUP1
00000c11: DUP3
00000c12: SUB
00000c13: DUP1
00000c14: MLOAD
00000c15: PUSH1 0x01
00000c17: DUP4
00000c18: PUSH1 0x20
00000c1a: SUB
00000c1b: PUSH2 0x0100
00000c1e: EXP
00000c1f: SUB
00000c20: NOT
00000c21: AND
00000c22: DUP2
00000c23: MSTORE
00000c24: PUSH1 0x20
00000c26: ADD
00000c27: SWAP2
00000c28: POP
00000c29: JUMPDEST
00000c2a: POP
00000c2b: DUP5
00000c2c: DUP2
00000c2d: SUB
00000c2e: DUP3
00000c2f: MSTORE
00000c30: DUP6
00000c31: DUP2
00000c32: DUP2
00000c33: MLOAD
00000c34: DUP2
00000c35: MSTORE
00000c36: PUSH1 0x20
00000c38: ADD
00000c39: SWAP2
00000c3a: POP
00000c3b: DUP1
00000c3c: MLOAD
00000c3d: SWAP1
00000c3e: PUSH1 0x20
00000c40: ADD
00000c41: SWAP1
00000c42: DUP1
00000c43: DUP4
00000c44: DUP4
00000c45: DUP3
00000c46: SWAP1
00000c47: PUSH1 0x00
00000c49: PUSH1 0x04
00000c4b: PUSH1 0x20
00000c4d: DUP5
00000c4e: PUSH1 0x1f
00000c50: ADD
00000c51: DIV
00000c52: PUSH1 0x03
00000c54: MUL
00000c55: PUSH1 0x0f
00000c57: ADD
00000c58: CALL
00000c59: POP
00000c5a: SWAP1
00000c5b: POP
00000c5c: SWAP1
00000c5d: DUP2
00000c5e: ADD
00000c5f: SWAP1
00000c60: PUSH1 0x1f
00000c62: AND
00000c63: DUP1
00000c64: ISZERO
00000c65: PUSH2 0x0c82
00000c68: JUMPI
00000c69: DUP1
00000c6a: DUP3
00000c6b: SUB
00000c6c: DUP1
00000c6d: MLOAD
00000c6e: PUSH1 0x01
00000c70: DUP4
00000c71: PUSH1 0x20
00000c73: SUB
00000c74: PUSH2 0x0100
00000c77: EXP
00000c78: SUB
00000c79: NOT
00000c7a: AND
00000c7b: DUP2
00000c7c: MSTORE
00000c7d: PUSH1 0x20
00000c7f: ADD
00000c80: SWAP2
00000c81: POP
00000c82: JUMPDEST
00000c83: POP
00000c84: SWAP8
00000c85: POP
00000c86: POP
00000c87: POP
00000c88: POP
00000c89: POP
00000c8a: POP
00000c8b: POP
00000c8c: POP
00000c8d: PUSH1 0x20
00000c8f: PUSH1 0x40
00000c91: MLOAD
00000c92: DUP1
00000c93: DUP4
00000c94: SUB
00000c95: DUP2
00000c96: DUP6
00000c97: DUP9
00000c98: PUSH2 0x8502
00000c9b: GAS
00000c9c: SUB
00000c9d: CALL
00000c9e: ISZERO
00000c9f: PUSH2 0x0002
00000ca2: JUMPI
00000ca3: POP
00000ca4: POP
00000ca5: PUSH1 0x40
00000ca7: MLOAD
00000ca8: MLOAD
00000ca9: SWAP8
00000caa: SWAP7
00000cab: POP
00000cac: POP
00000cad: POP
00000cae: POP
00000caf: POP
00000cb0: POP
00000cb1: POP
00000cb2: JUMP
00000cb3: JUMPDEST
00000cb4: JUMP
00000cb5: JUMPDEST
00000cb6: POP
00000cb7: SWAP2
00000cb8: SWAP6
00000cb9: SWAP5
00000cba: POP
00000cbb: POP
00000cbc: POP
00000cbd: POP
00000cbe: POP
00000cbf: JUMP
00000cc0: JUMPDEST
00000cc1: PUSH1 0x30
00000cc3: DUP4
00000cc4: PUSH1 0x01
00000cc6: PUSH1 0xa0
00000cc8: PUSH1 0x02
00000cca: EXP
00000ccb: SUB
00000ccc: AND
00000ccd: LT
00000cce: ISZERO
00000ccf: DUP1
00000cd0: ISZERO
00000cd1: PUSH2 0x0ce4
00000cd4: JUMPI
00000cd5: POP
00000cd6: PUSH1 0x39
00000cd8: DUP4
00000cd9: PUSH1 0x01
00000cdb: PUSH1 0xa0
00000cdd: PUSH1 0x02
00000cdf: EXP
00000ce0: SUB
00000ce1: AND
00000ce2: GT
00000ce3: ISZERO
00000ce4: JUMPDEST
00000ce5: ISZERO
00000ce6: PUSH2 0x0cf1
00000ce9: JUMPI
00000cea: PUSH1 0x2f
00000cec: NOT
00000ced: SWAP1
00000cee: SWAP3
00000cef: ADD
00000cf0: SWAP2
00000cf1: JUMPDEST
00000cf2: PUSH1 0x61
00000cf4: DUP3
00000cf5: PUSH1 0x01
00000cf7: PUSH1 0xa0
00000cf9: PUSH1 0x02
00000cfb: EXP
00000cfc: SUB
00000cfd: AND
00000cfe: LT
00000cff: ISZERO
00000d00: DUP1
00000d01: ISZERO
00000d02: PUSH2 0x0d15
00000d05: JUMPI
00000d06: POP
00000d07: PUSH1 0x66
00000d09: DUP3
00000d0a: PUSH1 0x01
00000d0c: PUSH1 0xa0
00000d0e: PUSH1 0x02
00000d10: EXP
00000d11: SUB
00000d12: AND
00000d13: GT
00000d14: ISZERO
00000d15: JUMPDEST
00000d16: ISZERO
00000d17: PUSH2 0x0d27
00000d1a: JUMPI
00000d1b: PUSH1 0x56
00000d1d: NOT
00000d1e: SWAP2
00000d1f: SWAP1
00000d20: SWAP2
00000d21: ADD
00000d22: SWAP1
00000d23: PUSH2 0x0d58
00000d26: JUMP
00000d27: JUMPDEST
00000d28: PUSH1 0x30
00000d2a: DUP3
00000d2b: PUSH1 0x01
00000d2d: PUSH1 0xa0
00000d2f: PUSH1 0x02
00000d31: EXP
00000d32: SUB
00000d33: AND
00000d34: LT
00000d35: ISZERO
00000d36: DUP1
00000d37: ISZERO
00000d38: PUSH2 0x0d4b
00000d3b: JUMPI
00000d3c: POP
00000d3d: PUSH1 0x39
00000d3f: DUP3
00000d40: PUSH1 0x01
00000d42: PUSH1 0xa0
00000d44: PUSH1 0x02
00000d46: EXP
00000d47: SUB
00000d48: AND
00000d49: GT
00000d4a: ISZERO
00000d4b: JUMPDEST
00000d4c: ISZERO
00000d4d: PUSH2 0x0d58
00000d50: JUMPI
00000d51: PUSH1 0x2f
00000d53: NOT
00000d54: SWAP1
00000d55: SWAP2
00000d56: ADD
00000d57: SWAP1
00000d58: JUMPDEST
00000d59: PUSH1 0x10
00000d5b: DUP4
00000d5c: MUL
00000d5d: DUP3
00000d5e: ADD
00000d5f: SWAP1
00000d60: SWAP4
00000d61: ADD
00000d62: SWAP3
00000d63: PUSH1 0x02
00000d65: ADD
00000d66: PUSH2 0x05f9
00000d69: JUMP

View stderr

Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

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: 0xabc337da4f9f4767a2cb7b769532dc3d9a59344eafeb68c48eff3747eeef0a2d call_targets: 0x9b727b8c8c529f997f7e9833009eae7c2e7abfd6 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xabc337da4f9f4767a2cb7b769532dc3d9a59344eafeb68c48eff3747eeef0a2d", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x9b727b8c8c529f997f7e9833009eae7c2e7abfd6" ], "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": "0x13af4035", "selector": "0x13af4035", "calldata_variants": [ "0x13af4035", "0x13af40350000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x27dc297e", "selector": "0x27dc297e", "calldata_variants": [ "0x27dc297e", "0x27dc297e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x41c0e1b5", "selector": "0x41c0e1b5", "calldata_variants": [ "0x41c0e1b5", "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x504ac982", "selector": "0x504ac982", "calldata_variants": [ "0x504ac982", "0x504ac9820000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x59eaac53", "selector": "0x59eaac53", "calldata_variants": [ "0x59eaac53", "0x59eaac530000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5ad77157", "selector": "0x5ad77157", "calldata_variants": [ "0x5ad77157", "0x5ad771570000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 430, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 797, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 947, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 18, "guards_detected": [], "untrusted_call_count": 17 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xabc337da4f9f4767a2cb7b769532dc3d9a59344eafeb68c48eff3747eeef0a2d call_targets: 0x9b727b8c8c529f997f7e9833009eae7c2e7abfd6 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xabc337da4f9f4767a2cb7b769532dc3d9a59344eafeb68c48eff3747eeef0a2d", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x9b727b8c8c529f997f7e9833009eae7c2e7abfd6" ], "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": "0x13af4035", "selector": "0x13af4035", "calldata_variants": [ "0x13af4035", "0x13af40350000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x27dc297e", "selector": "0x27dc297e", "calldata_variants": [ "0x27dc297e", "0x27dc297e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x41c0e1b5", "selector": "0x41c0e1b5", "calldata_variants": [ "0x41c0e1b5", "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x504ac982", "selector": "0x504ac982", "calldata_variants": [ "0x504ac982", "0x504ac9820000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x59eaac53", "selector": "0x59eaac53", "calldata_variants": [ "0x59eaac53", "0x59eaac530000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5ad77157", "selector": "0x5ad77157", "calldata_variants": [ "0x5ad77157", "0x5ad771570000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 307, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "constant", "target_expression_category": "constant" }, { "pc": 430, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 797, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 18, "guards_detected": [] }
high	other	detector	SELFDESTRUCT reachable	65	no	no	view trace_id: 0x748d1fcab651ec9665675449b9b51c7e6900a9940319ff8336c3b7a55a53d945 validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 12, "trace_id": "0x748d1fcab651ec9665675449b9b51c7e6900a9940319ff8336c3b7a55a53d945", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x13af4035", "selector": "0x13af4035", "calldata_variants": [ "0x13af4035", "0x13af40350000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x27dc297e", "selector": "0x27dc297e", "calldata_variants": [ "0x27dc297e", "0x27dc297e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x41c0e1b5", "selector": "0x41c0e1b5", "calldata_variants": [ "0x41c0e1b5", "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x504ac982", "selector": "0x504ac982", "calldata_variants": [ "0x504ac982", "0x504ac9820000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x59eaac53", "selector": "0x59eaac53", "calldata_variants": [ "0x59eaac53", "0x59eaac530000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5ad77157", "selector": "0x5ad77157", "calldata_variants": [ "0x5ad77157", "0x5ad771570000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [], "selfdestruct_count": 1 }

Severity