Analysis Run

019b3844-a8a8-7234-9558-7d9d9586b51b

complete

Chain ID

1

Address

0x00a0be1bbc0c99898df7e6524bf16e893c1e3bb9

Block Number

—

Created

Fri, Dec 19, 2025 8:19 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 DELEGATECALL target 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
16751	artifact.fetch	complete	1 / 3	3 months ago
16752	tool.cast_disasm	complete	1 / 3	3 months ago
107037	analysis.bundle	complete	1 / 3	1 week ago
107038	capability.graph	complete	1 / 3	1 week ago
107039	detector.run	complete	1 / 3	1 week ago
107040	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

3

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

6

EXT*/BALANCE

5

Total opcodes

2210

Flags

delegatecall_present create_opcodes_present heavy_ext_balance_usage

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0038
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x0fc5bd3b
00000019: EQ
0000001a: PUSH2 0x004f
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x8f300624
00000024: EQ
00000025: PUSH2 0x006f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xf5194bcc
0000002f: EQ
00000030: PUSH2 0x008f
00000033: JUMPI
00000034: PUSH2 0x0047
00000037: JUMP
00000038: JUMPDEST
00000039: CALLDATASIZE
0000003a: PUSH2 0x0047
0000003d: JUMPI
0000003e: PUSH2 0x0045
00000041: PUSH2 0x00af
00000044: JUMP
00000045: JUMPDEST
00000046: STOP
00000047: JUMPDEST
00000048: PUSH2 0x0045
0000004b: PUSH2 0x00af
0000004e: JUMP
0000004f: JUMPDEST
00000050: CALLVALUE
00000051: DUP1
00000052: ISZERO
00000053: PUSH2 0x005b
00000056: JUMPI
00000057: PUSH1 0x00
00000059: DUP1
0000005a: REVERT
0000005b: JUMPDEST
0000005c: POP
0000005d: PUSH2 0x0045
00000060: PUSH2 0x006a
00000063: CALLDATASIZE
00000064: PUSH1 0x04
00000066: PUSH2 0x08ef
00000069: JUMP
0000006a: JUMPDEST
0000006b: PUSH2 0x00d5
0000006e: JUMP
0000006f: JUMPDEST
00000070: CALLVALUE
00000071: DUP1
00000072: ISZERO
00000073: PUSH2 0x007b
00000076: JUMPI
00000077: PUSH1 0x00
00000079: DUP1
0000007a: REVERT
0000007b: JUMPDEST
0000007c: POP
0000007d: PUSH2 0x0045
00000080: PUSH2 0x008a
00000083: CALLDATASIZE
00000084: PUSH1 0x04
00000086: PUSH2 0x0977
00000089: JUMP
0000008a: JUMPDEST
0000008b: PUSH2 0x0109
0000008e: JUMP
0000008f: JUMPDEST
00000090: CALLVALUE
00000091: DUP1
00000092: ISZERO
00000093: PUSH2 0x009b
00000096: JUMPI
00000097: PUSH1 0x00
00000099: DUP1
0000009a: REVERT
0000009b: JUMPDEST
0000009c: POP
0000009d: PUSH2 0x0045
000000a0: PUSH2 0x00aa
000000a3: CALLDATASIZE
000000a4: PUSH1 0x04
000000a6: PUSH2 0x0a16
000000a9: JUMP
000000aa: JUMPDEST
000000ab: PUSH2 0x0152
000000ae: JUMP
000000af: JUMPDEST
000000b0: PUSH1 0x00
000000b2: PUSH2 0x00b9
000000b5: PUSH2 0x018f
000000b8: JUMP
000000b9: JUMPDEST
000000ba: SWAP1
000000bb: POP
000000bc: PUSH1 0x00
000000be: PUSH2 0x00c6
000000c1: DUP3
000000c2: PUSH2 0x01bd
000000c5: JUMP
000000c6: JUMPDEST
000000c7: SWAP1
000000c8: POP
000000c9: PUSH2 0x00d1
000000cc: DUP2
000000cd: PUSH2 0x02f3
000000d0: JUMP
000000d1: JUMPDEST
000000d2: POP
000000d3: POP
000000d4: JUMP
000000d5: JUMPDEST
000000d6: PUSH2 0x00dd
000000d9: PUSH2 0x018f
000000dc: JUMP
000000dd: JUMPDEST
000000de: PUSH1 0x01
000000e0: PUSH1 0x01
000000e2: PUSH1 0xa0
000000e4: SHL
000000e5: SUB
000000e6: AND
000000e7: CALLER
000000e8: PUSH1 0x01
000000ea: PUSH1 0x01
000000ec: PUSH1 0xa0
000000ee: SHL
000000ef: SUB
000000f0: AND
000000f1: EQ
000000f2: PUSH2 0x0100
000000f5: JUMPI
000000f6: PUSH2 0x00fd
000000f9: PUSH2 0x00af
000000fc: JUMP
000000fd: JUMPDEST
000000fe: POP
000000ff: JUMP
00000100: JUMPDEST
00000101: PUSH2 0x00fd
00000104: DUP2
00000105: PUSH2 0x031c
00000108: JUMP
00000109: JUMPDEST
0000010a: CALLER
0000010b: ADDRESS
0000010c: EQ
0000010d: PUSH2 0x0118
00000110: JUMPI
00000111: PUSH2 0x00fd
00000114: PUSH2 0x00af
00000117: JUMP
00000118: JUMPDEST
00000119: PUSH32 0x068f5763814dd924221a093a33c8516e9b05b882bb7e5fa1534d9e454db87402
0000013a: DUP2
0000013b: PUSH1 0x40
0000013d: MLOAD
0000013e: PUSH2 0x0147
00000141: SWAP2
00000142: SWAP1
00000143: PUSH2 0x0abe
00000146: JUMP
00000147: JUMPDEST
00000148: PUSH1 0x40
0000014a: MLOAD
0000014b: DUP1
0000014c: SWAP2
0000014d: SUB
0000014e: SWAP1
0000014f: LOG1
00000150: POP
00000151: JUMP
00000152: JUMPDEST
00000153: PUSH1 0x00
00000155: PUSH2 0x015c
00000158: PUSH2 0x018f
0000015b: JUMP
0000015c: JUMPDEST
0000015d: PUSH1 0x01
0000015f: PUSH1 0x01
00000161: PUSH1 0xa0
00000163: SHL
00000164: SUB
00000165: AND
00000166: EQ
00000167: PUSH2 0x0183
0000016a: JUMPI
0000016b: PUSH1 0x40
0000016d: MLOAD
0000016e: PUSH4 0x3bfe06fb
00000173: PUSH1 0xe0
00000175: SHL
00000176: DUP2
00000177: MSTORE
00000178: PUSH1 0x04
0000017a: ADD
0000017b: PUSH1 0x40
0000017d: MLOAD
0000017e: DUP1
0000017f: SWAP2
00000180: SUB
00000181: SWAP1
00000182: REVERT
00000183: JUMPDEST
00000184: PUSH2 0x00d1
00000187: DUP3
00000188: DUP3
00000189: PUSH1 0x00
0000018b: PUSH2 0x0405
0000018e: JUMP
0000018f: JUMPDEST
00000190: PUSH32 0xa3f0ad74e5423aebfd80d3ef4346578335a9a72aeaee59ff6cb3582b35133d50
000001b1: SLOAD
000001b2: PUSH1 0x01
000001b4: PUSH1 0x01
000001b6: PUSH1 0xa0
000001b8: SHL
000001b9: SUB
000001ba: AND
000001bb: SWAP1
000001bc: JUMP
000001bd: JUMPDEST
000001be: PUSH1 0x00
000001c0: DUP1
000001c1: PUSH1 0x00
000001c3: DUP1
000001c4: PUSH2 0x01cc
000001c7: DUP6
000001c8: PUSH2 0x04c5
000001cb: JUMP
000001cc: JUMPDEST
000001cd: SWAP3
000001ce: POP
000001cf: SWAP3
000001d0: POP
000001d1: SWAP3
000001d2: POP
000001d3: DUP1
000001d4: DUP1
000001d5: ISZERO
000001d6: PUSH2 0x01de
000001d9: JUMPI
000001da: POP
000001db: CALLER
000001dc: ISZERO
000001dd: ISZERO
000001de: JUMPDEST
000001df: ISZERO
000001e0: PUSH2 0x0203
000001e3: JUMPI
000001e4: PUSH1 0x40
000001e6: MLOAD
000001e7: PUSH4 0xbeab20b9
000001ec: PUSH1 0xe0
000001ee: SHL
000001ef: DUP2
000001f0: MSTORE
000001f1: CALLER
000001f2: PUSH1 0x04
000001f4: DUP3
000001f5: ADD
000001f6: MSTORE
000001f7: PUSH1 0x24
000001f9: ADD
000001fa: JUMPDEST
000001fb: PUSH1 0x40
000001fd: MLOAD
000001fe: DUP1
000001ff: SWAP2
00000200: SUB
00000201: SWAP1
00000202: REVERT
00000203: JUMPDEST
00000204: DUP2
00000205: ISZERO
00000206: PUSH2 0x02ea
00000209: JUMPI
0000020a: PUSH1 0x00
0000020c: DUP1
0000020d: PUSH2 0x0215
00000210: DUP8
00000211: PUSH2 0x0541
00000214: JUMP
00000215: JUMPDEST
00000216: PUSH1 0x40
00000218: MLOAD
00000219: PUSH4 0x23cc0189
0000021e: PUSH1 0xe2
00000220: SHL
00000221: DUP2
00000222: MSTORE
00000223: SWAP1
00000224: SWAP2
00000225: POP
00000226: ADDRESS
00000227: SWAP1
00000228: PUSH4 0x8f300624
0000022d: SWAP1
0000022e: PUSH2 0x023b
00000231: SWAP1
00000232: DUP5
00000233: SWAP1
00000234: PUSH1 0x04
00000236: ADD
00000237: PUSH2 0x0abe
0000023a: JUMP
0000023b: JUMPDEST
0000023c: PUSH1 0x00
0000023e: PUSH1 0x40
00000240: MLOAD
00000241: DUP1
00000242: DUP4
00000243: SUB
00000244: DUP2
00000245: PUSH1 0x00
00000247: DUP8
00000248: DUP1
00000249: EXTCODESIZE
0000024a: ISZERO
0000024b: DUP1
0000024c: ISZERO
0000024d: PUSH2 0x0255
00000250: JUMPI
00000251: PUSH1 0x00
00000253: DUP1
00000254: REVERT
00000255: JUMPDEST
00000256: POP
00000257: GAS
00000258: CALL
00000259: SWAP3
0000025a: POP
0000025b: POP
0000025c: POP
0000025d: DUP1
0000025e: ISZERO
0000025f: PUSH2 0x0266
00000262: JUMPI
00000263: POP
00000264: PUSH1 0x01
00000266: JUMPDEST
00000267: PUSH2 0x026f
0000026a: JUMPI
0000026b: PUSH1 0x01
0000026d: SWAP2
0000026e: POP
0000026f: JUMPDEST
00000270: DUP2
00000271: PUSH2 0x02e7
00000274: JUMPI
00000275: PUSH1 0x00
00000277: JUMPDEST
00000278: DUP2
00000279: MLOAD
0000027a: DUP2
0000027b: LT
0000027c: ISZERO
0000027d: PUSH2 0x02dd
00000280: JUMPI
00000281: PUSH1 0x00
00000283: PUSH1 0x01
00000285: PUSH1 0x01
00000287: PUSH1 0xa0
00000289: SHL
0000028a: SUB
0000028b: AND
0000028c: DUP3
0000028d: DUP3
0000028e: DUP2
0000028f: MLOAD
00000290: DUP2
00000291: LT
00000292: PUSH2 0x029d
00000295: JUMPI
00000296: PUSH2 0x029d
00000299: PUSH2 0x0b0b
0000029c: JUMP
0000029d: JUMPDEST
0000029e: PUSH1 0x20
000002a0: MUL
000002a1: PUSH1 0x20
000002a3: ADD
000002a4: ADD
000002a5: MLOAD
000002a6: PUSH1 0x01
000002a8: PUSH1 0x01
000002aa: PUSH1 0xa0
000002ac: SHL
000002ad: SUB
000002ae: AND
000002af: EQ
000002b0: PUSH2 0x02d5
000002b3: JUMPI
000002b4: PUSH2 0x02d5
000002b7: DUP3
000002b8: DUP3
000002b9: DUP2
000002ba: MLOAD
000002bb: DUP2
000002bc: LT
000002bd: PUSH2 0x02c8
000002c0: JUMPI
000002c1: PUSH2 0x02c8
000002c4: PUSH2 0x0b0b
000002c7: JUMP
000002c8: JUMPDEST
000002c9: PUSH1 0x20
000002cb: MUL
000002cc: PUSH1 0x20
000002ce: ADD
000002cf: ADD
000002d0: MLOAD
000002d1: PUSH2 0x031c
000002d4: JUMP
000002d5: JUMPDEST
000002d6: PUSH1 0x01
000002d8: ADD
000002d9: PUSH2 0x0277
000002dc: JUMP
000002dd: JUMPDEST
000002de: POP
000002df: PUSH2 0x02e7
000002e2: DUP8
000002e3: PUSH2 0x05b6
000002e6: JUMP
000002e7: JUMPDEST
000002e8: POP
000002e9: POP
000002ea: JUMPDEST
000002eb: POP
000002ec: SWAP1
000002ed: SWAP4
000002ee: SWAP3
000002ef: POP
000002f0: POP
000002f1: POP
000002f2: JUMP
000002f3: JUMPDEST
000002f4: CALLDATASIZE
000002f5: PUSH1 0x00
000002f7: DUP1
000002f8: CALLDATACOPY
000002f9: PUSH1 0x00
000002fb: DUP1
000002fc: CALLDATASIZE
000002fd: PUSH1 0x00
000002ff: DUP5
00000300: GAS
00000301: DELEGATECALL
00000302: RETURNDATASIZE
00000303: PUSH1 0x00
00000305: DUP1
00000306: RETURNDATACOPY
00000307: DUP1
00000308: DUP1
00000309: ISZERO
0000030a: PUSH2 0x0312
0000030d: JUMPI
0000030e: RETURNDATASIZE
0000030f: PUSH1 0x00
00000311: RETURN
00000312: JUMPDEST
00000313: RETURNDATASIZE
00000314: PUSH1 0x00
00000316: REVERT
00000317: JUMPDEST
00000318: POP
00000319: POP
0000031a: POP
0000031b: JUMP
0000031c: JUMPDEST
0000031d: PUSH1 0x40
0000031f: DUP1
00000320: MLOAD
00000321: PUSH1 0x04
00000323: DUP2
00000324: MSTORE
00000325: PUSH1 0x24
00000327: DUP2
00000328: ADD
00000329: DUP3
0000032a: MSTORE
0000032b: PUSH1 0x20
0000032d: DUP2
0000032e: ADD
0000032f: DUP1
00000330: MLOAD
00000331: PUSH1 0x01
00000333: PUSH1 0x01
00000335: PUSH1 0xe0
00000337: SHL
00000338: SUB
00000339: AND
0000033a: PUSH4 0x52a8c3c7
0000033f: PUSH1 0xe1
00000341: SHL
00000342: OR
00000343: SWAP1
00000344: MSTORE
00000345: SWAP1
00000346: MLOAD
00000347: PUSH1 0x00
00000349: SWAP2
0000034a: DUP3
0000034b: SWAP2
0000034c: PUSH1 0x01
0000034e: PUSH1 0x01
00000350: PUSH1 0xa0
00000352: SHL
00000353: SUB
00000354: DUP6
00000355: AND
00000356: SWAP2
00000357: PUSH2 0x035f
0000035a: SWAP2
0000035b: PUSH2 0x0b45
0000035e: JUMP
0000035f: JUMPDEST
00000360: PUSH1 0x00
00000362: PUSH1 0x40
00000364: MLOAD
00000365: DUP1
00000366: DUP4
00000367: SUB
00000368: DUP2
00000369: DUP6
0000036a: GAS
0000036b: DELEGATECALL
0000036c: SWAP2
0000036d: POP
0000036e: POP
0000036f: RETURNDATASIZE
00000370: DUP1
00000371: PUSH1 0x00
00000373: DUP2
00000374: EQ
00000375: PUSH2 0x039a
00000378: JUMPI
00000379: PUSH1 0x40
0000037b: MLOAD
0000037c: SWAP2
0000037d: POP
0000037e: PUSH1 0x1f
00000380: NOT
00000381: PUSH1 0x3f
00000383: RETURNDATASIZE
00000384: ADD
00000385: AND
00000386: DUP3
00000387: ADD
00000388: PUSH1 0x40
0000038a: MSTORE
0000038b: RETURNDATASIZE
0000038c: DUP3
0000038d: MSTORE
0000038e: RETURNDATASIZE
0000038f: PUSH1 0x00
00000391: PUSH1 0x20
00000393: DUP5
00000394: ADD
00000395: RETURNDATACOPY
00000396: PUSH2 0x039f
00000399: JUMP
0000039a: JUMPDEST
0000039b: PUSH1 0x60
0000039d: SWAP2
0000039e: POP
0000039f: JUMPDEST
000003a0: POP
000003a1: SWAP2
000003a2: POP
000003a3: SWAP2
000003a4: POP
000003a5: DUP2
000003a6: PUSH2 0x03c6
000003a9: JUMPI
000003aa: DUP3
000003ab: DUP2
000003ac: PUSH1 0x40
000003ae: MLOAD
000003af: PUSH4 0x6b454763
000003b4: PUSH1 0xe0
000003b6: SHL
000003b7: DUP2
000003b8: MSTORE
000003b9: PUSH1 0x04
000003bb: ADD
000003bc: PUSH2 0x01fa
000003bf: SWAP3
000003c0: SWAP2
000003c1: SWAP1
000003c2: PUSH2 0x0b8d
000003c5: JUMP
000003c6: JUMPDEST
000003c7: DUP1
000003c8: DUP1
000003c9: PUSH1 0x20
000003cb: ADD
000003cc: SWAP1
000003cd: MLOAD
000003ce: DUP2
000003cf: ADD
000003d0: SWAP1
000003d1: PUSH2 0x03da
000003d4: SWAP2
000003d5: SWAP1
000003d6: PUSH2 0x0bc6
000003d9: JUMP
000003da: JUMPDEST
000003db: SWAP2
000003dc: POP
000003dd: DUP2
000003de: PUSH2 0x0317
000003e1: JUMPI
000003e2: PUSH1 0x40
000003e4: MLOAD
000003e5: PUSH4 0xf9303933
000003ea: PUSH1 0xe0
000003ec: SHL
000003ed: DUP2
000003ee: MSTORE
000003ef: PUSH1 0x01
000003f1: PUSH1 0x01
000003f3: PUSH1 0xa0
000003f5: SHL
000003f6: SUB
000003f7: DUP5
000003f8: AND
000003f9: PUSH1 0x04
000003fb: DUP3
000003fc: ADD
000003fd: MSTORE
000003fe: PUSH1 0x24
00000400: ADD
00000401: PUSH2 0x01fa
00000404: JUMP
00000405: JUMPDEST
00000406: PUSH2 0x040e
00000409: DUP4
0000040a: PUSH2 0x060c
0000040d: JUMP
0000040e: JUMPDEST
0000040f: PUSH1 0x40
00000411: MLOAD
00000412: PUSH1 0x01
00000414: PUSH1 0x01
00000416: PUSH1 0xa0
00000418: SHL
00000419: SUB
0000041a: DUP5
0000041b: AND
0000041c: SWAP1
0000041d: PUSH32 0x1cf3b03a6cf19fa2baba4df148e9dcabedea7f8a5c07840e207e5c089be95d3e
0000043e: SWAP1
0000043f: PUSH1 0x00
00000441: SWAP1
00000442: LOG2
00000443: PUSH1 0x00
00000445: DUP3
00000446: MLOAD
00000447: GT
00000448: DUP1
00000449: PUSH2 0x044f
0000044c: JUMPI
0000044d: POP
0000044e: DUP1
0000044f: JUMPDEST
00000450: ISZERO
00000451: PUSH2 0x0317
00000454: JUMPI
00000455: PUSH2 0x04bf
00000458: DUP4
00000459: PUSH1 0x01
0000045b: PUSH1 0x01
0000045d: PUSH1 0xa0
0000045f: SHL
00000460: SUB
00000461: AND
00000462: PUSH4 0x5c60da1b
00000467: PUSH1 0x40
00000469: MLOAD
0000046a: DUP2
0000046b: PUSH4 0xffffffff
00000470: AND
00000471: PUSH1 0xe0
00000473: SHL
00000474: DUP2
00000475: MSTORE
00000476: PUSH1 0x04
00000478: ADD
00000479: PUSH1 0x20
0000047b: PUSH1 0x40
0000047d: MLOAD
0000047e: DUP1
0000047f: DUP4
00000480: SUB
00000481: DUP2
00000482: DUP7
00000483: GAS
00000484: STATICCALL
00000485: ISZERO
00000486: DUP1
00000487: ISZERO
00000488: PUSH2 0x0495
0000048b: JUMPI
0000048c: RETURNDATASIZE
0000048d: PUSH1 0x00
0000048f: DUP1
00000490: RETURNDATACOPY
00000491: RETURNDATASIZE
00000492: PUSH1 0x00
00000494: REVERT
00000495: JUMPDEST
00000496: POP
00000497: POP
00000498: POP
00000499: POP
0000049a: PUSH1 0x40
0000049c: MLOAD
0000049d: RETURNDATASIZE
0000049e: PUSH1 0x1f
000004a0: NOT
000004a1: PUSH1 0x1f
000004a3: DUP3
000004a4: ADD
000004a5: AND
000004a6: DUP3
000004a7: ADD
000004a8: DUP1
000004a9: PUSH1 0x40
000004ab: MSTORE
000004ac: POP
000004ad: DUP2
000004ae: ADD
000004af: SWAP1
000004b0: PUSH2 0x04b9
000004b3: SWAP2
000004b4: SWAP1
000004b5: PUSH2 0x0be1
000004b8: JUMP
000004b9: JUMPDEST
000004ba: DUP4
000004bb: PUSH2 0x078b
000004be: JUMP
000004bf: JUMPDEST
000004c0: POP
000004c1: POP
000004c2: POP
000004c3: POP
000004c4: JUMP
000004c5: JUMPDEST
000004c6: PUSH1 0x40
000004c8: MLOAD
000004c9: PUSH4 0x645b8b1b
000004ce: PUSH1 0xe0
000004d0: SHL
000004d1: DUP2
000004d2: MSTORE
000004d3: ADDRESS
000004d4: PUSH1 0x04
000004d6: DUP3
000004d7: ADD
000004d8: MSTORE
000004d9: PUSH1 0x00
000004db: SWAP1
000004dc: DUP2
000004dd: SWAP1
000004de: DUP2
000004df: SWAP1
000004e0: PUSH1 0x01
000004e2: PUSH1 0x01
000004e4: PUSH1 0xa0
000004e6: SHL
000004e7: SUB
000004e8: DUP6
000004e9: AND
000004ea: SWAP1
000004eb: PUSH4 0x645b8b1b
000004f0: SWAP1
000004f1: PUSH1 0x24
000004f3: ADD
000004f4: PUSH1 0x60
000004f6: PUSH1 0x40
000004f8: MLOAD
000004f9: DUP1
000004fa: DUP4
000004fb: SUB
000004fc: DUP2
000004fd: DUP7
000004fe: GAS
000004ff: STATICCALL
00000500: ISZERO
00000501: DUP1
00000502: ISZERO
00000503: PUSH2 0x0510
00000506: JUMPI
00000507: RETURNDATASIZE
00000508: PUSH1 0x00
0000050a: DUP1
0000050b: RETURNDATACOPY
0000050c: RETURNDATASIZE
0000050d: PUSH1 0x00
0000050f: REVERT
00000510: JUMPDEST
00000511: POP
00000512: POP
00000513: POP
00000514: POP
00000515: PUSH1 0x40
00000517: MLOAD
00000518: RETURNDATASIZE
00000519: PUSH1 0x1f
0000051b: NOT
0000051c: PUSH1 0x1f
0000051e: DUP3
0000051f: ADD
00000520: AND
00000521: DUP3
00000522: ADD
00000523: DUP1
00000524: PUSH1 0x40
00000526: MSTORE
00000527: POP
00000528: DUP2
00000529: ADD
0000052a: SWAP1
0000052b: PUSH2 0x0534
0000052e: SWAP2
0000052f: SWAP1
00000530: PUSH2 0x0bfe
00000533: JUMP
00000534: JUMPDEST
00000535: SWAP3
00000536: POP
00000537: SWAP3
00000538: POP
00000539: SWAP3
0000053a: POP
0000053b: SWAP2
0000053c: SWAP4
0000053d: SWAP1
0000053e: SWAP3
0000053f: POP
00000540: JUMP
00000541: JUMPDEST
00000542: PUSH1 0x40
00000544: MLOAD
00000545: PUSH4 0x01629103
0000054a: PUSH1 0xe1
0000054c: SHL
0000054d: DUP2
0000054e: MSTORE
0000054f: ADDRESS
00000550: PUSH1 0x04
00000552: DUP3
00000553: ADD
00000554: MSTORE
00000555: PUSH1 0x60
00000557: SWAP1
00000558: PUSH1 0x01
0000055a: PUSH1 0x01
0000055c: PUSH1 0xa0
0000055e: SHL
0000055f: SUB
00000560: DUP4
00000561: AND
00000562: SWAP1
00000563: PUSH4 0x02c52206
00000568: SWAP1
00000569: PUSH1 0x24
0000056b: ADD
0000056c: PUSH1 0x00
0000056e: PUSH1 0x40
00000570: MLOAD
00000571: DUP1
00000572: DUP4
00000573: SUB
00000574: DUP2
00000575: DUP7
00000576: GAS
00000577: STATICCALL
00000578: ISZERO
00000579: DUP1
0000057a: ISZERO
0000057b: PUSH2 0x0588
0000057e: JUMPI
0000057f: RETURNDATASIZE
00000580: PUSH1 0x00
00000582: DUP1
00000583: RETURNDATACOPY
00000584: RETURNDATASIZE
00000585: PUSH1 0x00
00000587: REVERT
00000588: JUMPDEST
00000589: POP
0000058a: POP
0000058b: POP
0000058c: POP
0000058d: PUSH1 0x40
0000058f: MLOAD
00000590: RETURNDATASIZE
00000591: PUSH1 0x00
00000593: DUP3
00000594: RETURNDATACOPY
00000595: PUSH1 0x1f
00000597: RETURNDATASIZE
00000598: SWAP1
00000599: DUP2
0000059a: ADD
0000059b: PUSH1 0x1f
0000059d: NOT
0000059e: AND
0000059f: DUP3
000005a0: ADD
000005a1: PUSH1 0x40
000005a3: MSTORE
000005a4: PUSH2 0x05b0
000005a7: SWAP2
000005a8: SWAP1
000005a9: DUP2
000005aa: ADD
000005ab: SWAP1
000005ac: PUSH2 0x0c43
000005af: JUMP
000005b0: JUMPDEST
000005b1: SWAP3
000005b2: SWAP2
000005b3: POP
000005b4: POP
000005b5: JUMP
000005b6: JUMPDEST
000005b7: DUP1
000005b8: PUSH1 0x01
000005ba: PUSH1 0x01
000005bc: PUSH1 0xa0
000005be: SHL
000005bf: SUB
000005c0: AND
000005c1: PUSH4 0x65413a4d
000005c6: PUSH1 0x40
000005c8: MLOAD
000005c9: DUP2
000005ca: PUSH4 0xffffffff
000005cf: AND
000005d0: PUSH1 0xe0
000005d2: SHL
000005d3: DUP2
000005d4: MSTORE
000005d5: PUSH1 0x04
000005d7: ADD
000005d8: PUSH1 0x00
000005da: PUSH1 0x40
000005dc: MLOAD
000005dd: DUP1
000005de: DUP4
000005df: SUB
000005e0: DUP2
000005e1: PUSH1 0x00
000005e3: DUP8
000005e4: DUP1
000005e5: EXTCODESIZE
000005e6: ISZERO
000005e7: DUP1
000005e8: ISZERO
000005e9: PUSH2 0x05f1
000005ec: JUMPI
000005ed: PUSH1 0x00
000005ef: DUP1
000005f0: REVERT
000005f1: JUMPDEST
000005f2: POP
000005f3: GAS
000005f4: CALL
000005f5: ISZERO
000005f6: DUP1
000005f7: ISZERO
000005f8: PUSH2 0x0605
000005fb: JUMPI
000005fc: RETURNDATASIZE
000005fd: PUSH1 0x00
000005ff: DUP1
00000600: RETURNDATACOPY
00000601: RETURNDATASIZE
00000602: PUSH1 0x00
00000604: REVERT
00000605: JUMPDEST
00000606: POP
00000607: POP
00000608: POP
00000609: POP
0000060a: POP
0000060b: JUMP
0000060c: JUMPDEST
0000060d: PUSH1 0x01
0000060f: PUSH1 0x01
00000611: PUSH1 0xa0
00000613: SHL
00000614: SUB
00000615: DUP2
00000616: AND
00000617: EXTCODESIZE
00000618: PUSH2 0x0671
0000061b: JUMPI
0000061c: PUSH1 0x40
0000061e: MLOAD
0000061f: PUSH3 0x461bcd
00000623: PUSH1 0xe5
00000625: SHL
00000626: DUP2
00000627: MSTORE
00000628: PUSH1 0x20
0000062a: PUSH1 0x04
0000062c: DUP3
0000062d: ADD
0000062e: MSTORE
0000062f: PUSH1 0x25
00000631: PUSH1 0x24
00000633: DUP3
00000634: ADD
00000635: MSTORE
00000636: PUSH32 0x455243313936373a206e657720626561636f6e206973206e6f74206120636f6e
00000657: PUSH1 0x44
00000659: DUP3
0000065a: ADD
0000065b: MSTORE
0000065c: PUSH5 0x1d1c9858dd
00000662: PUSH1 0xda
00000664: SHL
00000665: PUSH1 0x64
00000667: DUP3
00000668: ADD
00000669: MSTORE
0000066a: PUSH1 0x84
0000066c: ADD
0000066d: PUSH2 0x01fa
00000670: JUMP
00000671: JUMPDEST
00000672: PUSH2 0x06e5
00000675: DUP2
00000676: PUSH1 0x01
00000678: PUSH1 0x01
0000067a: PUSH1 0xa0
0000067c: SHL
0000067d: SUB
0000067e: AND
0000067f: PUSH4 0x5c60da1b
00000684: PUSH1 0x40
00000686: MLOAD
00000687: DUP2
00000688: PUSH4 0xffffffff
0000068d: AND
0000068e: PUSH1 0xe0
00000690: SHL
00000691: DUP2
00000692: MSTORE
00000693: PUSH1 0x04
00000695: ADD
00000696: PUSH1 0x20
00000698: PUSH1 0x40
0000069a: MLOAD
0000069b: DUP1
0000069c: DUP4
0000069d: SUB
0000069e: DUP2
0000069f: DUP7
000006a0: GAS
000006a1: STATICCALL
000006a2: ISZERO
000006a3: DUP1
000006a4: ISZERO
000006a5: PUSH2 0x06b2
000006a8: JUMPI
000006a9: RETURNDATASIZE
000006aa: PUSH1 0x00
000006ac: DUP1
000006ad: RETURNDATACOPY
000006ae: RETURNDATASIZE
000006af: PUSH1 0x00
000006b1: REVERT
000006b2: JUMPDEST
000006b3: POP
000006b4: POP
000006b5: POP
000006b6: POP
000006b7: PUSH1 0x40
000006b9: MLOAD
000006ba: RETURNDATASIZE
000006bb: PUSH1 0x1f
000006bd: NOT
000006be: PUSH1 0x1f
000006c0: DUP3
000006c1: ADD
000006c2: AND
000006c3: DUP3
000006c4: ADD
000006c5: DUP1
000006c6: PUSH1 0x40
000006c8: MSTORE
000006c9: POP
000006ca: DUP2
000006cb: ADD
000006cc: SWAP1
000006cd: PUSH2 0x06d6
000006d0: SWAP2
000006d1: SWAP1
000006d2: PUSH2 0x0be1
000006d5: JUMP
000006d6: JUMPDEST
000006d7: PUSH1 0x01
000006d9: PUSH1 0x01
000006db: PUSH1 0xa0
000006dd: SHL
000006de: SUB
000006df: AND
000006e0: EXTCODESIZE
000006e1: ISZERO
000006e2: ISZERO
000006e3: SWAP1
000006e4: JUMP
000006e5: JUMPDEST
000006e6: PUSH2 0x074a
000006e9: JUMPI
000006ea: PUSH1 0x40
000006ec: MLOAD
000006ed: PUSH3 0x461bcd
000006f1: PUSH1 0xe5
000006f3: SHL
000006f4: DUP2
000006f5: MSTORE
000006f6: PUSH1 0x20
000006f8: PUSH1 0x04
000006fa: DUP3
000006fb: ADD
000006fc: MSTORE
000006fd: PUSH1 0x30
000006ff: PUSH1 0x24
00000701: DUP3
00000702: ADD
00000703: MSTORE
00000704: PUSH32 0x455243313936373a20626561636f6e20696d706c656d656e746174696f6e2069
00000725: PUSH1 0x44
00000727: DUP3
00000728: ADD
00000729: MSTORE
0000072a: PUSH16 0x1cc81b9bdd08184818dbdb9d1c9858dd
0000073b: PUSH1 0x82
0000073d: SHL
0000073e: PUSH1 0x64
00000740: DUP3
00000741: ADD
00000742: MSTORE
00000743: PUSH1 0x84
00000745: ADD
00000746: PUSH2 0x01fa
00000749: JUMP
0000074a: JUMPDEST
0000074b: PUSH32 0xa3f0ad74e5423aebfd80d3ef4346578335a9a72aeaee59ff6cb3582b35133d50
0000076c: DUP1
0000076d: SLOAD
0000076e: PUSH1 0x01
00000770: PUSH1 0x01
00000772: PUSH1 0xa0
00000774: SHL
00000775: SUB
00000776: NOT
00000777: AND
00000778: PUSH1 0x01
0000077a: PUSH1 0x01
0000077c: PUSH1 0xa0
0000077e: SHL
0000077f: SUB
00000780: SWAP3
00000781: SWAP1
00000782: SWAP3
00000783: AND
00000784: SWAP2
00000785: SWAP1
00000786: SWAP2
00000787: OR
00000788: SWAP1
00000789: SSTORE
0000078a: JUMP
0000078b: JUMPDEST
0000078c: PUSH1 0x60
0000078e: PUSH2 0x07b0
00000791: DUP4
00000792: DUP4
00000793: PUSH1 0x40
00000795: MLOAD
00000796: DUP1
00000797: PUSH1 0x60
00000799: ADD
0000079a: PUSH1 0x40
0000079c: MSTORE
0000079d: DUP1
0000079e: PUSH1 0x27
000007a0: DUP2
000007a1: MSTORE
000007a2: PUSH1 0x20
000007a4: ADD
000007a5: PUSH2 0x0ce6
000007a8: PUSH1 0x27
000007aa: SWAP2
000007ab: CODECOPY
000007ac: PUSH2 0x07b7
000007af: JUMP
000007b0: JUMPDEST
000007b1: SWAP4
000007b2: SWAP3
000007b3: POP
000007b4: POP
000007b5: POP
000007b6: JUMP
000007b7: JUMPDEST
000007b8: PUSH1 0x60
000007ba: PUSH1 0x00
000007bc: DUP1
000007bd: DUP6
000007be: PUSH1 0x01
000007c0: PUSH1 0x01
000007c2: PUSH1 0xa0
000007c4: SHL
000007c5: SUB
000007c6: AND
000007c7: DUP6
000007c8: PUSH1 0x40
000007ca: MLOAD
000007cb: PUSH2 0x07d4
000007ce: SWAP2
000007cf: SWAP1
000007d0: PUSH2 0x0b45
000007d3: JUMP
000007d4: JUMPDEST
000007d5: PUSH1 0x00
000007d7: PUSH1 0x40
000007d9: MLOAD
000007da: DUP1
000007db: DUP4
000007dc: SUB
000007dd: DUP2
000007de: DUP6
000007df: GAS
000007e0: DELEGATECALL
000007e1: SWAP2
000007e2: POP
000007e3: POP
000007e4: RETURNDATASIZE
000007e5: DUP1
000007e6: PUSH1 0x00
000007e8: DUP2
000007e9: EQ
000007ea: PUSH2 0x080f
000007ed: JUMPI
000007ee: PUSH1 0x40
000007f0: MLOAD
000007f1: SWAP2
000007f2: POP
000007f3: PUSH1 0x1f
000007f5: NOT
000007f6: PUSH1 0x3f
000007f8: RETURNDATASIZE
000007f9: ADD
000007fa: AND
000007fb: DUP3
000007fc: ADD
000007fd: PUSH1 0x40
000007ff: MSTORE
00000800: RETURNDATASIZE
00000801: DUP3
00000802: MSTORE
00000803: RETURNDATASIZE
00000804: PUSH1 0x00
00000806: PUSH1 0x20
00000808: DUP5
00000809: ADD
0000080a: RETURNDATACOPY
0000080b: PUSH2 0x0814
0000080e: JUMP
0000080f: JUMPDEST
00000810: PUSH1 0x60
00000812: SWAP2
00000813: POP
00000814: JUMPDEST
00000815: POP
00000816: SWAP2
00000817: POP
00000818: SWAP2
00000819: POP
0000081a: PUSH2 0x0825
0000081d: DUP7
0000081e: DUP4
0000081f: DUP4
00000820: DUP8
00000821: PUSH2 0x082f
00000824: JUMP
00000825: JUMPDEST
00000826: SWAP7
00000827: SWAP6
00000828: POP
00000829: POP
0000082a: POP
0000082b: POP
0000082c: POP
0000082d: POP
0000082e: JUMP
0000082f: JUMPDEST
00000830: PUSH1 0x60
00000832: DUP4
00000833: ISZERO
00000834: PUSH2 0x089e
00000837: JUMPI
00000838: DUP3
00000839: MLOAD
0000083a: PUSH1 0x00
0000083c: SUB
0000083d: PUSH2 0x0897
00000840: JUMPI
00000841: PUSH1 0x01
00000843: PUSH1 0x01
00000845: PUSH1 0xa0
00000847: SHL
00000848: SUB
00000849: DUP6
0000084a: AND
0000084b: EXTCODESIZE
0000084c: PUSH2 0x0897
0000084f: JUMPI
00000850: PUSH1 0x40
00000852: MLOAD
00000853: PUSH3 0x461bcd
00000857: PUSH1 0xe5
00000859: SHL
0000085a: DUP2
0000085b: MSTORE
0000085c: PUSH1 0x20
0000085e: PUSH1 0x04
00000860: DUP3
00000861: ADD
00000862: MSTORE
00000863: PUSH1 0x1d
00000865: PUSH1 0x24
00000867: DUP3
00000868: ADD
00000869: MSTORE
0000086a: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
0000088b: PUSH1 0x44
0000088d: DUP3
0000088e: ADD
0000088f: MSTORE
00000890: PUSH1 0x64
00000892: ADD
00000893: PUSH2 0x01fa
00000896: JUMP
00000897: JUMPDEST
00000898: POP
00000899: DUP2
0000089a: PUSH2 0x08a8
0000089d: JUMP
0000089e: JUMPDEST
0000089f: PUSH2 0x08a8
000008a2: DUP4
000008a3: DUP4
000008a4: PUSH2 0x08b0
000008a7: JUMP
000008a8: JUMPDEST
000008a9: SWAP5
000008aa: SWAP4
000008ab: POP
000008ac: POP
000008ad: POP
000008ae: POP
000008af: JUMP
000008b0: JUMPDEST
000008b1: DUP2
000008b2: MLOAD
000008b3: ISZERO
000008b4: PUSH2 0x08c0
000008b7: JUMPI
000008b8: DUP2
000008b9: MLOAD
000008ba: DUP1
000008bb: DUP4
000008bc: PUSH1 0x20
000008be: ADD
000008bf: REVERT
000008c0: JUMPDEST
000008c1: DUP1
000008c2: PUSH1 0x40
000008c4: MLOAD
000008c5: PUSH3 0x461bcd
000008c9: PUSH1 0xe5
000008cb: SHL
000008cc: DUP2
000008cd: MSTORE
000008ce: PUSH1 0x04
000008d0: ADD
000008d1: PUSH2 0x01fa
000008d4: SWAP2
000008d5: SWAP1
000008d6: PUSH2 0x0cd2
000008d9: JUMP
000008da: JUMPDEST
000008db: PUSH1 0x01
000008dd: PUSH1 0x01
000008df: PUSH1 0xa0
000008e1: SHL
000008e2: SUB
000008e3: DUP2
000008e4: AND
000008e5: DUP2
000008e6: EQ
000008e7: PUSH2 0x00fd
000008ea: JUMPI
000008eb: PUSH1 0x00
000008ed: DUP1
000008ee: REVERT
000008ef: JUMPDEST
000008f0: PUSH1 0x00
000008f2: PUSH1 0x20
000008f4: DUP3
000008f5: DUP5
000008f6: SUB
000008f7: SLT
000008f8: ISZERO
000008f9: PUSH2 0x0901
000008fc: JUMPI
000008fd: PUSH1 0x00
000008ff: DUP1
00000900: REVERT
00000901: JUMPDEST
00000902: DUP2
00000903: CALLDATALOAD
00000904: PUSH2 0x07b0
00000907: DUP2
00000908: PUSH2 0x08da
0000090b: JUMP
0000090c: JUMPDEST
0000090d: PUSH4 0x4e487b71
00000912: PUSH1 0xe0
00000914: SHL
00000915: PUSH1 0x00
00000917: MSTORE
00000918: PUSH1 0x41
0000091a: PUSH1 0x04
0000091c: MSTORE
0000091d: PUSH1 0x24
0000091f: PUSH1 0x00
00000921: REVERT
00000922: JUMPDEST
00000923: PUSH1 0x40
00000925: MLOAD
00000926: PUSH1 0x1f
00000928: DUP3
00000929: ADD
0000092a: PUSH1 0x1f
0000092c: NOT
0000092d: AND
0000092e: DUP2
0000092f: ADD
00000930: PUSH8 0xffffffffffffffff
00000939: DUP2
0000093a: GT
0000093b: DUP3
0000093c: DUP3
0000093d: LT
0000093e: OR
0000093f: ISZERO
00000940: PUSH2 0x094b
00000943: JUMPI
00000944: PUSH2 0x094b
00000947: PUSH2 0x090c
0000094a: JUMP
0000094b: JUMPDEST
0000094c: PUSH1 0x40
0000094e: MSTORE
0000094f: SWAP2
00000950: SWAP1
00000951: POP
00000952: JUMP
00000953: JUMPDEST
00000954: PUSH1 0x00
00000956: PUSH8 0xffffffffffffffff
0000095f: DUP3
00000960: GT
00000961: ISZERO
00000962: PUSH2 0x096d
00000965: JUMPI
00000966: PUSH2 0x096d
00000969: PUSH2 0x090c
0000096c: JUMP
0000096d: JUMPDEST
0000096e: POP
0000096f: PUSH1 0x05
00000971: SHL
00000972: PUSH1 0x20
00000974: ADD
00000975: SWAP1
00000976: JUMP
00000977: JUMPDEST
00000978: PUSH1 0x00
0000097a: PUSH1 0x20
0000097c: DUP1
0000097d: DUP4
0000097e: DUP6
0000097f: SUB
00000980: SLT
00000981: ISZERO
00000982: PUSH2 0x098a
00000985: JUMPI
00000986: PUSH1 0x00
00000988: DUP1
00000989: REVERT
0000098a: JUMPDEST
0000098b: DUP3
0000098c: CALLDATALOAD
0000098d: PUSH8 0xffffffffffffffff
00000996: DUP2
00000997: GT
00000998: ISZERO
00000999: PUSH2 0x09a1
0000099c: JUMPI
0000099d: PUSH1 0x00
0000099f: DUP1
000009a0: REVERT
000009a1: JUMPDEST
000009a2: DUP4
000009a3: ADD
000009a4: PUSH1 0x1f
000009a6: DUP2
000009a7: ADD
000009a8: DUP6
000009a9: SGT
000009aa: PUSH2 0x09b2
000009ad: JUMPI
000009ae: PUSH1 0x00
000009b0: DUP1
000009b1: REVERT
000009b2: JUMPDEST
000009b3: DUP1
000009b4: CALLDATALOAD
000009b5: PUSH2 0x09c5
000009b8: PUSH2 0x09c0
000009bb: DUP3
000009bc: PUSH2 0x0953
000009bf: JUMP
000009c0: JUMPDEST
000009c1: PUSH2 0x0922
000009c4: JUMP
000009c5: JUMPDEST
000009c6: DUP2
000009c7: DUP2
000009c8: MSTORE
000009c9: PUSH1 0x05
000009cb: SWAP2
000009cc: SWAP1
000009cd: SWAP2
000009ce: SHL
000009cf: DUP3
000009d0: ADD
000009d1: DUP4
000009d2: ADD
000009d3: SWAP1
000009d4: DUP4
000009d5: DUP2
000009d6: ADD
000009d7: SWAP1
000009d8: DUP8
000009d9: DUP4
000009da: GT
000009db: ISZERO
000009dc: PUSH2 0x09e4
000009df: JUMPI
000009e0: PUSH1 0x00
000009e2: DUP1
000009e3: REVERT
000009e4: JUMPDEST
000009e5: SWAP3
000009e6: DUP5
000009e7: ADD
000009e8: SWAP3
000009e9: JUMPDEST
000009ea: DUP3
000009eb: DUP5
000009ec: LT
000009ed: ISZERO
000009ee: PUSH2 0x0a0b
000009f1: JUMPI
000009f2: DUP4
000009f3: CALLDATALOAD
000009f4: PUSH2 0x09fc
000009f7: DUP2
000009f8: PUSH2 0x08da
000009fb: JUMP
000009fc: JUMPDEST
000009fd: DUP3
000009fe: MSTORE
000009ff: SWAP3
00000a00: DUP5
00000a01: ADD
00000a02: SWAP3
00000a03: SWAP1
00000a04: DUP5
00000a05: ADD
00000a06: SWAP1
00000a07: PUSH2 0x09e9
00000a0a: JUMP
00000a0b: JUMPDEST
00000a0c: SWAP8
00000a0d: SWAP7
00000a0e: POP
00000a0f: POP
00000a10: POP
00000a11: POP
00000a12: POP
00000a13: POP
00000a14: POP
00000a15: JUMP
00000a16: JUMPDEST
00000a17: PUSH1 0x00
00000a19: DUP1
00000a1a: PUSH1 0x40
00000a1c: DUP4
00000a1d: DUP6
00000a1e: SUB
00000a1f: SLT
00000a20: ISZERO
00000a21: PUSH2 0x0a29
00000a24: JUMPI
00000a25: PUSH1 0x00
00000a27: DUP1
00000a28: REVERT
00000a29: JUMPDEST
00000a2a: DUP3
00000a2b: CALLDATALOAD
00000a2c: PUSH2 0x0a34
00000a2f: DUP2
00000a30: PUSH2 0x08da
00000a33: JUMP
00000a34: JUMPDEST
00000a35: SWAP2
00000a36: POP
00000a37: PUSH1 0x20
00000a39: DUP4
00000a3a: DUP2
00000a3b: ADD
00000a3c: CALLDATALOAD
00000a3d: PUSH8 0xffffffffffffffff
00000a46: DUP1
00000a47: DUP3
00000a48: GT
00000a49: ISZERO
00000a4a: PUSH2 0x0a52
00000a4d: JUMPI
00000a4e: PUSH1 0x00
00000a50: DUP1
00000a51: REVERT
00000a52: JUMPDEST
00000a53: DUP2
00000a54: DUP7
00000a55: ADD
00000a56: SWAP2
00000a57: POP
00000a58: DUP7
00000a59: PUSH1 0x1f
00000a5b: DUP4
00000a5c: ADD
00000a5d: SLT
00000a5e: PUSH2 0x0a66
00000a61: JUMPI
00000a62: PUSH1 0x00
00000a64: DUP1
00000a65: REVERT
00000a66: JUMPDEST
00000a67: DUP2
00000a68: CALLDATALOAD
00000a69: DUP2
00000a6a: DUP2
00000a6b: GT
00000a6c: ISZERO
00000a6d: PUSH2 0x0a78
00000a70: JUMPI
00000a71: PUSH2 0x0a78
00000a74: PUSH2 0x090c
00000a77: JUMP
00000a78: JUMPDEST
00000a79: PUSH2 0x0a8a
00000a7c: PUSH1 0x1f
00000a7e: DUP3
00000a7f: ADD
00000a80: PUSH1 0x1f
00000a82: NOT
00000a83: AND
00000a84: DUP6
00000a85: ADD
00000a86: PUSH2 0x0922
00000a89: JUMP
00000a8a: JUMPDEST
00000a8b: SWAP2
00000a8c: POP
00000a8d: DUP1
00000a8e: DUP3
00000a8f: MSTORE
00000a90: DUP8
00000a91: DUP5
00000a92: DUP3
00000a93: DUP6
00000a94: ADD
00000a95: ADD
00000a96: GT
00000a97: ISZERO
00000a98: PUSH2 0x0aa0
00000a9b: JUMPI
00000a9c: PUSH1 0x00
00000a9e: DUP1
00000a9f: REVERT
00000aa0: JUMPDEST
00000aa1: DUP1
00000aa2: DUP5
00000aa3: DUP5
00000aa4: ADD
00000aa5: DUP6
00000aa6: DUP5
00000aa7: ADD
00000aa8: CALLDATACOPY
00000aa9: PUSH1 0x00
00000aab: DUP5
00000aac: DUP3
00000aad: DUP5
00000aae: ADD
00000aaf: ADD
00000ab0: MSTORE
00000ab1: POP
00000ab2: DUP1
00000ab3: SWAP4
00000ab4: POP
00000ab5: POP
00000ab6: POP
00000ab7: POP
00000ab8: SWAP3
00000ab9: POP
00000aba: SWAP3
00000abb: SWAP1
00000abc: POP
00000abd: JUMP
00000abe: JUMPDEST
00000abf: PUSH1 0x20
00000ac1: DUP1
00000ac2: DUP3
00000ac3: MSTORE
00000ac4: DUP3
00000ac5: MLOAD
00000ac6: DUP3
00000ac7: DUP3
00000ac8: ADD
00000ac9: DUP2
00000aca: SWAP1
00000acb: MSTORE
00000acc: PUSH1 0x00
00000ace: SWAP2
00000acf: SWAP1
00000ad0: DUP5
00000ad1: DUP3
00000ad2: ADD
00000ad3: SWAP1
00000ad4: PUSH1 0x40
00000ad6: DUP6
00000ad7: ADD
00000ad8: SWAP1
00000ad9: DUP5
00000ada: JUMPDEST
00000adb: DUP2
00000adc: DUP2
00000add: LT
00000ade: ISZERO
00000adf: PUSH2 0x0aff
00000ae2: JUMPI
00000ae3: DUP4
00000ae4: MLOAD
00000ae5: PUSH1 0x01
00000ae7: PUSH1 0x01
00000ae9: PUSH1 0xa0
00000aeb: SHL
00000aec: SUB
00000aed: AND
00000aee: DUP4
00000aef: MSTORE
00000af0: SWAP3
00000af1: DUP5
00000af2: ADD
00000af3: SWAP3
00000af4: SWAP2
00000af5: DUP5
00000af6: ADD
00000af7: SWAP2
00000af8: PUSH1 0x01
00000afa: ADD
00000afb: PUSH2 0x0ada
00000afe: JUMP
00000aff: JUMPDEST
00000b00: POP
00000b01: SWAP1
00000b02: SWAP7
00000b03: SWAP6
00000b04: POP
00000b05: POP
00000b06: POP
00000b07: POP
00000b08: POP
00000b09: POP
00000b0a: JUMP
00000b0b: JUMPDEST
00000b0c: PUSH4 0x4e487b71
00000b11: PUSH1 0xe0
00000b13: SHL
00000b14: PUSH1 0x00
00000b16: MSTORE
00000b17: PUSH1 0x32
00000b19: PUSH1 0x04
00000b1b: MSTORE
00000b1c: PUSH1 0x24
00000b1e: PUSH1 0x00
00000b20: REVERT
00000b21: JUMPDEST
00000b22: PUSH1 0x00
00000b24: JUMPDEST
00000b25: DUP4
00000b26: DUP2
00000b27: LT
00000b28: ISZERO
00000b29: PUSH2 0x0b3c
00000b2c: JUMPI
00000b2d: DUP2
00000b2e: DUP2
00000b2f: ADD
00000b30: MLOAD
00000b31: DUP4
00000b32: DUP3
00000b33: ADD
00000b34: MSTORE
00000b35: PUSH1 0x20
00000b37: ADD
00000b38: PUSH2 0x0b24
00000b3b: JUMP
00000b3c: JUMPDEST
00000b3d: POP
00000b3e: POP
00000b3f: PUSH1 0x00
00000b41: SWAP2
00000b42: ADD
00000b43: MSTORE
00000b44: JUMP
00000b45: JUMPDEST
00000b46: PUSH1 0x00
00000b48: DUP3
00000b49: MLOAD
00000b4a: PUSH2 0x0b57
00000b4d: DUP2
00000b4e: DUP5
00000b4f: PUSH1 0x20
00000b51: DUP8
00000b52: ADD
00000b53: PUSH2 0x0b21
00000b56: JUMP
00000b57: JUMPDEST
00000b58: SWAP2
00000b59: SWAP1
00000b5a: SWAP2
00000b5b: ADD
00000b5c: SWAP3
00000b5d: SWAP2
00000b5e: POP
00000b5f: POP
00000b60: JUMP
00000b61: JUMPDEST
00000b62: PUSH1 0x00
00000b64: DUP2
00000b65: MLOAD
00000b66: DUP1
00000b67: DUP5
00000b68: MSTORE
00000b69: PUSH2 0x0b79
00000b6c: DUP2
00000b6d: PUSH1 0x20
00000b6f: DUP7
00000b70: ADD
00000b71: PUSH1 0x20
00000b73: DUP7
00000b74: ADD
00000b75: PUSH2 0x0b21
00000b78: JUMP
00000b79: JUMPDEST
00000b7a: PUSH1 0x1f
00000b7c: ADD
00000b7d: PUSH1 0x1f
00000b7f: NOT
00000b80: AND
00000b81: SWAP3
00000b82: SWAP1
00000b83: SWAP3
00000b84: ADD
00000b85: PUSH1 0x20
00000b87: ADD
00000b88: SWAP3
00000b89: SWAP2
00000b8a: POP
00000b8b: POP
00000b8c: JUMP
00000b8d: JUMPDEST
00000b8e: PUSH1 0x01
00000b90: PUSH1 0x01
00000b92: PUSH1 0xa0
00000b94: SHL
00000b95: SUB
00000b96: DUP4
00000b97: AND
00000b98: DUP2
00000b99: MSTORE
00000b9a: PUSH1 0x40
00000b9c: PUSH1 0x20
00000b9e: DUP3
00000b9f: ADD
00000ba0: DUP2
00000ba1: SWAP1
00000ba2: MSTORE
00000ba3: PUSH1 0x00
00000ba5: SWAP1
00000ba6: PUSH2 0x08a8
00000ba9: SWAP1
00000baa: DUP4
00000bab: ADD
00000bac: DUP5
00000bad: PUSH2 0x0b61
00000bb0: JUMP
00000bb1: JUMPDEST
00000bb2: DUP1
00000bb3: MLOAD
00000bb4: DUP1
00000bb5: ISZERO
00000bb6: ISZERO
00000bb7: DUP2
00000bb8: EQ
00000bb9: PUSH2 0x0bc1
00000bbc: JUMPI
00000bbd: PUSH1 0x00
00000bbf: DUP1
00000bc0: REVERT
00000bc1: JUMPDEST
00000bc2: SWAP2
00000bc3: SWAP1
00000bc4: POP
00000bc5: JUMP
00000bc6: JUMPDEST
00000bc7: PUSH1 0x00
00000bc9: PUSH1 0x20
00000bcb: DUP3
00000bcc: DUP5
00000bcd: SUB
00000bce: SLT
00000bcf: ISZERO
00000bd0: PUSH2 0x0bd8
00000bd3: JUMPI
00000bd4: PUSH1 0x00
00000bd6: DUP1
00000bd7: REVERT
00000bd8: JUMPDEST
00000bd9: PUSH2 0x07b0
00000bdc: DUP3
00000bdd: PUSH2 0x0bb1
00000be0: JUMP
00000be1: JUMPDEST
00000be2: PUSH1 0x00
00000be4: PUSH1 0x20
00000be6: DUP3
00000be7: DUP5
00000be8: SUB
00000be9: SLT
00000bea: ISZERO
00000beb: PUSH2 0x0bf3
00000bee: JUMPI
00000bef: PUSH1 0x00
00000bf1: DUP1
00000bf2: REVERT
00000bf3: JUMPDEST
00000bf4: DUP2
00000bf5: MLOAD
00000bf6: PUSH2 0x07b0
00000bf9: DUP2
00000bfa: PUSH2 0x08da
00000bfd: JUMP
00000bfe: JUMPDEST
00000bff: PUSH1 0x00
00000c01: DUP1
00000c02: PUSH1 0x00
00000c04: PUSH1 0x60
00000c06: DUP5
00000c07: DUP7
00000c08: SUB
00000c09: SLT
00000c0a: ISZERO
00000c0b: PUSH2 0x0c13
00000c0e: JUMPI
00000c0f: PUSH1 0x00
00000c11: DUP1
00000c12: REVERT
00000c13: JUMPDEST
00000c14: DUP4
00000c15: MLOAD
00000c16: PUSH2 0x0c1e
00000c19: DUP2
00000c1a: PUSH2 0x08da
00000c1d: JUMP
00000c1e: JUMPDEST
00000c1f: SWAP3
00000c20: POP
00000c21: PUSH2 0x0c2c
00000c24: PUSH1 0x20
00000c26: DUP6
00000c27: ADD
00000c28: PUSH2 0x0bb1
00000c2b: JUMP
00000c2c: JUMPDEST
00000c2d: SWAP2
00000c2e: POP
00000c2f: PUSH2 0x0c3a
00000c32: PUSH1 0x40
00000c34: DUP6
00000c35: ADD
00000c36: PUSH2 0x0bb1
00000c39: JUMP
00000c3a: JUMPDEST
00000c3b: SWAP1
00000c3c: POP
00000c3d: SWAP3
00000c3e: POP
00000c3f: SWAP3
00000c40: POP
00000c41: SWAP3
00000c42: JUMP
00000c43: JUMPDEST
00000c44: PUSH1 0x00
00000c46: PUSH1 0x20
00000c48: DUP1
00000c49: DUP4
00000c4a: DUP6
00000c4b: SUB
00000c4c: SLT
00000c4d: ISZERO
00000c4e: PUSH2 0x0c56
00000c51: JUMPI
00000c52: PUSH1 0x00
00000c54: DUP1
00000c55: REVERT
00000c56: JUMPDEST
00000c57: DUP3
00000c58: MLOAD
00000c59: PUSH8 0xffffffffffffffff
00000c62: DUP2
00000c63: GT
00000c64: ISZERO
00000c65: PUSH2 0x0c6d
00000c68: JUMPI
00000c69: PUSH1 0x00
00000c6b: DUP1
00000c6c: REVERT
00000c6d: JUMPDEST
00000c6e: DUP4
00000c6f: ADD
00000c70: PUSH1 0x1f
00000c72: DUP2
00000c73: ADD
00000c74: DUP6
00000c75: SGT
00000c76: PUSH2 0x0c7e
00000c79: JUMPI
00000c7a: PUSH1 0x00
00000c7c: DUP1
00000c7d: REVERT
00000c7e: JUMPDEST
00000c7f: DUP1
00000c80: MLOAD
00000c81: PUSH2 0x0c8c
00000c84: PUSH2 0x09c0
00000c87: DUP3
00000c88: PUSH2 0x0953
00000c8b: JUMP
00000c8c: JUMPDEST
00000c8d: DUP2
00000c8e: DUP2
00000c8f: MSTORE
00000c90: PUSH1 0x05
00000c92: SWAP2
00000c93: SWAP1
00000c94: SWAP2
00000c95: SHL
00000c96: DUP3
00000c97: ADD
00000c98: DUP4
00000c99: ADD
00000c9a: SWAP1
00000c9b: DUP4
00000c9c: DUP2
00000c9d: ADD
00000c9e: SWAP1
00000c9f: DUP8
00000ca0: DUP4
00000ca1: GT
00000ca2: ISZERO
00000ca3: PUSH2 0x0cab
00000ca6: JUMPI
00000ca7: PUSH1 0x00
00000ca9: DUP1
00000caa: REVERT
00000cab: JUMPDEST
00000cac: SWAP3
00000cad: DUP5
00000cae: ADD
00000caf: SWAP3
00000cb0: JUMPDEST
00000cb1: DUP3
00000cb2: DUP5
00000cb3: LT
00000cb4: ISZERO
00000cb5: PUSH2 0x0a0b
00000cb8: JUMPI
00000cb9: DUP4
00000cba: MLOAD
00000cbb: PUSH2 0x0cc3
00000cbe: DUP2
00000cbf: PUSH2 0x08da
00000cc2: JUMP
00000cc3: JUMPDEST
00000cc4: DUP3
00000cc5: MSTORE
00000cc6: SWAP3
00000cc7: DUP5
00000cc8: ADD
00000cc9: SWAP3
00000cca: SWAP1
00000ccb: DUP5
00000ccc: ADD
00000ccd: SWAP1
00000cce: PUSH2 0x0cb0
00000cd1: JUMP
00000cd2: JUMPDEST
00000cd3: PUSH1 0x20
00000cd5: DUP2
00000cd6: MSTORE
00000cd7: PUSH1 0x00
00000cd9: PUSH2 0x07b0
00000cdc: PUSH1 0x20
00000cde: DUP4
00000cdf: ADD
00000ce0: DUP5
00000ce1: PUSH2 0x0b61
00000ce4: JUMP
00000ce5: INVALID
00000ce6: COINBASE
00000ce7: PUSH5 0x6472657373
00000ced: GASPRICE
00000cee: KECCAK256
00000cef: PUSH13 0x6f772d6c6576656c2064656c65
00000cfd: PUSH8 0x6174652063616c6c
00000d06: KECCAK256
00000d07: PUSH7 0x61696c6564a264
00000d0f: PUSH10 0x706673582212202dfd1c
00000d1a: MSTORE8
00000d1b: DUP12
00000d1c: KECCAK256
00000d1d: UNKNOWN(0xE5)
00000d1e: DUP16
00000d1f: UNKNOWN(0xB6)
00000d20: UNKNOWN(0xE3)
00000d21: PUSH4 0x06c60db9
00000d26: UNKNOWN(0x0F)
00000d27: UNKNOWN(0xC8)
00000d28: UNKNOWN(0x4B)
00000d29: INVALID
00000d2a: EXP
00000d2b: UNKNOWN(0xCD)
00000d2c: UNKNOWN(0xE5)
00000d2d: UNKNOWN(0xB4)
00000d2e: LOG2
00000d2f: CREATE
00000d30: UNKNOWN(0xAD)
00000d31: SWAP4
00000d32: UNKNOWN(0xBC)
00000d33: LOG1
00000d34: UNKNOWN(0xB0)
00000d35: UNKNOWN(0xE3)
00000d36: PUSH6 0x64736f6c6343
00000d3d: STOP
00000d3e: ADDMOD
00000d3f: GT
00000d40: STOP
00000d41: CALLER

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
critical	upgradeability	detector	Untrusted DELEGATECALL target reachable	70	no	no	view trace_id: 0x4575e8ccd6b1ca707901e822e362173972a3f90bc557ffbcee5af5080cdae184 call_targets: 0xa4c04e7598c5147113b7b03f606b524c630143ce target_varies: no classification: constant_target validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "sink_reached", "attempts": 2, "trace_id": "0x4575e8ccd6b1ca707901e822e362173972a3f90bc557ffbcee5af5080cdae184", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xa4c04e7598c5147113b7b03f606b524c630143ce" ], "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": "0x0fc5bd3b", "selector": "0x0fc5bd3b", "calldata_variants": [ "0x0fc5bd3b", "0x0fc5bd3b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8f300624", "selector": "0x8f300624", "calldata_variants": [ "0x8f300624", "0x8f3006240000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf5194bcc", "selector": "0xf5194bcc", "calldata_variants": [ "0xf5194bcc", "0xf5194bcc0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 769, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" }, { "pc": 875, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" }, { "pc": 2016, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" } ], "guards_detected": [], "delegatecall_count": 3, "untrusted_delegatecall_count": 3 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x02d5b4065cbad5ae915c8ffbfcbc95f6d0a85f42658d93d9748fb1d3beccd3a0 call_targets: 0x00a0be1bbc0c99898df7e6524bf16e893c1e3bb9 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x02d5b4065cbad5ae915c8ffbfcbc95f6d0a85f42658d93d9748fb1d3beccd3a0", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x00a0be1bbc0c99898df7e6524bf16e893c1e3bb9" ], "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": "0x0fc5bd3b", "selector": "0x0fc5bd3b", "calldata_variants": [ "0x0fc5bd3b", "0x0fc5bd3b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8f300624", "selector": "0x8f300624", "calldata_variants": [ "0x8f300624", "0x8f3006240000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf5194bcc", "selector": "0xf5194bcc", "calldata_variants": [ "0xf5194bcc", "0xf5194bcc0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 600, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1524, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [] }
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x02d5b4065cbad5ae915c8ffbfcbc95f6d0a85f42658d93d9748fb1d3beccd3a0 call_targets: 0x00a0be1bbc0c99898df7e6524bf16e893c1e3bb9 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x02d5b4065cbad5ae915c8ffbfcbc95f6d0a85f42658d93d9748fb1d3beccd3a0", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x00a0be1bbc0c99898df7e6524bf16e893c1e3bb9" ], "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": "0x0fc5bd3b", "selector": "0x0fc5bd3b", "calldata_variants": [ "0x0fc5bd3b", "0x0fc5bd3b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8f300624", "selector": "0x8f300624", "calldata_variants": [ "0x8f300624", "0x8f3006240000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf5194bcc", "selector": "0xf5194bcc", "calldata_variants": [ "0xf5194bcc", "0xf5194bcc0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 600, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1524, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [], "untrusted_call_count": 2 }
medium	other	detector	CREATE/CREATE2 reachable	45	no	no	view trace_id: 0x451f5ef9ce9ba0c97abcd339e18d0a60eab4dcbbd9758c0f2ba553bf13f292f1 validation_json { "sink": "CREATE", "errors": 0, "status": "unknown", "attempts": 6, "trace_id": "0x451f5ef9ce9ba0c97abcd339e18d0a60eab4dcbbd9758c0f2ba553bf13f292f1", "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": "0x0fc5bd3b", "selector": "0x0fc5bd3b", "calldata_variants": [ "0x0fc5bd3b", "0x0fc5bd3b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8f300624", "selector": "0x8f300624", "calldata_variants": [ "0x8f300624", "0x8f3006240000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf5194bcc", "selector": "0xf5194bcc", "calldata_variants": [ "0xf5194bcc", "0xf5194bcc0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "create_count": 1, "create2_count": 0 }