Analysis Run

019b477e-c75f-7346-9aa3-02593ab81a47

complete

Chain ID

1

Address

0x6a791b054154f1a3ed2a465901dd22a7f13a556f

Block Number

—

Created

Mon, Dec 22, 2025 7:17 PM

Review Summary

What survived the funnel

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

back to vulns open contract

Confirmed

0

Validated

0

Source

Verified

Review Backing

Not yet

Best current signal

Untrusted CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

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

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

3. Confirm money or privilege impact.

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

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
25955	artifact.fetch	complete	1 / 3	4 months ago
25956	tool.cast_disasm	complete	1 / 3	4 months ago
91373	analysis.bundle	complete	1 / 3	2 weeks ago
91374	capability.graph	complete	1 / 3	2 weeks ago
91375	detector.run	complete	1 / 3	2 weeks ago
91376	validation.fork	complete	1 / 3	2 weeks ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

1

EXT*/BALANCE

0

Total opcodes

1665

Flags

No heuristic flags raised.

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0074
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8da5cb5b
00000019: GT
0000001a: PUSH2 0x004e
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x8da5cb5b
00000024: EQ
00000025: PUSH2 0x012b
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xae90b213
0000002f: EQ
00000030: PUSH2 0x0156
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe33b7de3
0000003a: EQ
0000003b: PUSH2 0x0181
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2fde38b
00000045: EQ
00000046: PUSH2 0x01ac
00000049: JUMPI
0000004a: PUSH2 0x00bb
0000004d: JUMP
0000004e: JUMPDEST
0000004f: DUP1
00000050: PUSH4 0x03314efa
00000055: EQ
00000056: PUSH2 0x00c0
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x37bdc99b
00000060: EQ
00000061: PUSH2 0x00eb
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x715018a6
0000006b: EQ
0000006c: PUSH2 0x0114
0000006f: JUMPI
00000070: PUSH2 0x00bb
00000073: JUMP
00000074: JUMPDEST
00000075: CALLDATASIZE
00000076: PUSH2 0x00bb
00000079: JUMPI
0000007a: PUSH32 0x6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be770
0000009b: PUSH2 0x00a2
0000009e: PUSH2 0x01d5
000000a1: JUMP
000000a2: JUMPDEST
000000a3: CALLVALUE
000000a4: PUSH1 0x40
000000a6: MLOAD
000000a7: PUSH2 0x00b1
000000aa: SWAP3
000000ab: SWAP2
000000ac: SWAP1
000000ad: PUSH2 0x0ab3
000000b0: JUMP
000000b1: JUMPDEST
000000b2: PUSH1 0x40
000000b4: MLOAD
000000b5: DUP1
000000b6: SWAP2
000000b7: SUB
000000b8: SWAP1
000000b9: LOG1
000000ba: STOP
000000bb: JUMPDEST
000000bc: PUSH1 0x00
000000be: DUP1
000000bf: REVERT
000000c0: JUMPDEST
000000c1: CALLVALUE
000000c2: DUP1
000000c3: ISZERO
000000c4: PUSH2 0x00cc
000000c7: JUMPI
000000c8: PUSH1 0x00
000000ca: DUP1
000000cb: REVERT
000000cc: JUMPDEST
000000cd: POP
000000ce: PUSH2 0x00d5
000000d1: PUSH2 0x01dd
000000d4: JUMP
000000d5: JUMPDEST
000000d6: PUSH1 0x40
000000d8: MLOAD
000000d9: PUSH2 0x00e2
000000dc: SWAP2
000000dd: SWAP1
000000de: PUSH2 0x0bbc
000000e1: JUMP
000000e2: JUMPDEST
000000e3: PUSH1 0x40
000000e5: MLOAD
000000e6: DUP1
000000e7: SWAP2
000000e8: SUB
000000e9: SWAP1
000000ea: RETURN
000000eb: JUMPDEST
000000ec: CALLVALUE
000000ed: DUP1
000000ee: ISZERO
000000ef: PUSH2 0x00f7
000000f2: JUMPI
000000f3: PUSH1 0x00
000000f5: DUP1
000000f6: REVERT
000000f7: JUMPDEST
000000f8: POP
000000f9: PUSH2 0x0112
000000fc: PUSH1 0x04
000000fe: DUP1
000000ff: CALLDATASIZE
00000100: SUB
00000101: DUP2
00000102: ADD
00000103: SWAP1
00000104: PUSH2 0x010d
00000107: SWAP2
00000108: SWAP1
00000109: PUSH2 0x07b8
0000010c: JUMP
0000010d: JUMPDEST
0000010e: PUSH2 0x01e7
00000111: JUMP
00000112: JUMPDEST
00000113: STOP
00000114: JUMPDEST
00000115: CALLVALUE
00000116: DUP1
00000117: ISZERO
00000118: PUSH2 0x0120
0000011b: JUMPI
0000011c: PUSH1 0x00
0000011e: DUP1
0000011f: REVERT
00000120: JUMPDEST
00000121: POP
00000122: PUSH2 0x0129
00000125: PUSH2 0x03d0
00000128: JUMP
00000129: JUMPDEST
0000012a: STOP
0000012b: JUMPDEST
0000012c: CALLVALUE
0000012d: DUP1
0000012e: ISZERO
0000012f: PUSH2 0x0137
00000132: JUMPI
00000133: PUSH1 0x00
00000135: DUP1
00000136: REVERT
00000137: JUMPDEST
00000138: POP
00000139: PUSH2 0x0140
0000013c: PUSH2 0x0458
0000013f: JUMP
00000140: JUMPDEST
00000141: PUSH1 0x40
00000143: MLOAD
00000144: PUSH2 0x014d
00000147: SWAP2
00000148: SWAP1
00000149: PUSH2 0x0a6f
0000014c: JUMP
0000014d: JUMPDEST
0000014e: PUSH1 0x40
00000150: MLOAD
00000151: DUP1
00000152: SWAP2
00000153: SUB
00000154: SWAP1
00000155: RETURN
00000156: JUMPDEST
00000157: CALLVALUE
00000158: DUP1
00000159: ISZERO
0000015a: PUSH2 0x0162
0000015d: JUMPI
0000015e: PUSH1 0x00
00000160: DUP1
00000161: REVERT
00000162: JUMPDEST
00000163: POP
00000164: PUSH2 0x016b
00000167: PUSH2 0x0481
0000016a: JUMP
0000016b: JUMPDEST
0000016c: PUSH1 0x40
0000016e: MLOAD
0000016f: PUSH2 0x0178
00000172: SWAP2
00000173: SWAP1
00000174: PUSH2 0x0a6f
00000177: JUMP
00000178: JUMPDEST
00000179: PUSH1 0x40
0000017b: MLOAD
0000017c: DUP1
0000017d: SWAP2
0000017e: SUB
0000017f: SWAP1
00000180: RETURN
00000181: JUMPDEST
00000182: CALLVALUE
00000183: DUP1
00000184: ISZERO
00000185: PUSH2 0x018d
00000188: JUMPI
00000189: PUSH1 0x00
0000018b: DUP1
0000018c: REVERT
0000018d: JUMPDEST
0000018e: POP
0000018f: PUSH2 0x0196
00000192: PUSH2 0x04ab
00000195: JUMP
00000196: JUMPDEST
00000197: PUSH1 0x40
00000199: MLOAD
0000019a: PUSH2 0x01a3
0000019d: SWAP2
0000019e: SWAP1
0000019f: PUSH2 0x0bbc
000001a2: JUMP
000001a3: JUMPDEST
000001a4: PUSH1 0x40
000001a6: MLOAD
000001a7: DUP1
000001a8: SWAP2
000001a9: SUB
000001aa: SWAP1
000001ab: RETURN
000001ac: JUMPDEST
000001ad: CALLVALUE
000001ae: DUP1
000001af: ISZERO
000001b0: PUSH2 0x01b8
000001b3: JUMPI
000001b4: PUSH1 0x00
000001b6: DUP1
000001b7: REVERT
000001b8: JUMPDEST
000001b9: POP
000001ba: PUSH2 0x01d3
000001bd: PUSH1 0x04
000001bf: DUP1
000001c0: CALLDATASIZE
000001c1: SUB
000001c2: DUP2
000001c3: ADD
000001c4: SWAP1
000001c5: PUSH2 0x01ce
000001c8: SWAP2
000001c9: SWAP1
000001ca: PUSH2 0x078f
000001cd: JUMP
000001ce: JUMPDEST
000001cf: PUSH2 0x04b5
000001d2: JUMP
000001d3: JUMPDEST
000001d4: STOP
000001d5: JUMPDEST
000001d6: PUSH1 0x00
000001d8: CALLER
000001d9: SWAP1
000001da: POP
000001db: SWAP1
000001dc: JUMP
000001dd: JUMPDEST
000001de: PUSH1 0x00
000001e0: PUSH1 0x01
000001e2: SLOAD
000001e3: SWAP1
000001e4: POP
000001e5: SWAP1
000001e6: JUMP
000001e7: JUMPDEST
000001e8: PUSH1 0x03
000001ea: PUSH1 0x00
000001ec: SWAP1
000001ed: SLOAD
000001ee: SWAP1
000001ef: PUSH2 0x0100
000001f2: EXP
000001f3: SWAP1
000001f4: DIV
000001f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000020a: AND
0000020b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000220: AND
00000221: CALLER
00000222: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000237: AND
00000238: EQ
00000239: PUSH2 0x0277
0000023c: JUMPI
0000023d: PUSH1 0x40
0000023f: MLOAD
00000240: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000261: DUP2
00000262: MSTORE
00000263: PUSH1 0x04
00000265: ADD
00000266: PUSH2 0x026e
00000269: SWAP1
0000026a: PUSH2 0x0b3c
0000026d: JUMP
0000026e: JUMPDEST
0000026f: PUSH1 0x40
00000271: MLOAD
00000272: DUP1
00000273: SWAP2
00000274: SUB
00000275: SWAP1
00000276: REVERT
00000277: JUMPDEST
00000278: PUSH1 0x00
0000027a: DUP2
0000027b: GT
0000027c: PUSH2 0x02ba
0000027f: JUMPI
00000280: PUSH1 0x40
00000282: MLOAD
00000283: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000002a4: DUP2
000002a5: MSTORE
000002a6: PUSH1 0x04
000002a8: ADD
000002a9: PUSH2 0x02b1
000002ac: SWAP1
000002ad: PUSH2 0x0afc
000002b0: JUMP
000002b1: JUMPDEST
000002b2: PUSH1 0x40
000002b4: MLOAD
000002b5: DUP1
000002b6: SWAP2
000002b7: SUB
000002b8: SWAP1
000002b9: REVERT
000002ba: JUMPDEST
000002bb: PUSH1 0x00
000002bd: PUSH2 0x02c4
000002c0: PUSH2 0x04ab
000002c3: JUMP
000002c4: JUMPDEST
000002c5: SELFBALANCE
000002c6: PUSH2 0x02cf
000002c9: SWAP2
000002ca: SWAP1
000002cb: PUSH2 0x0bf3
000002ce: JUMP
000002cf: JUMPDEST
000002d0: SWAP1
000002d1: POP
000002d2: PUSH1 0x00
000002d4: PUSH2 0x02db
000002d7: PUSH2 0x04ab
000002da: JUMP
000002db: JUMPDEST
000002dc: DUP3
000002dd: PUSH2 0x02e6
000002e0: SWAP2
000002e1: SWAP1
000002e2: PUSH2 0x0c49
000002e5: JUMP
000002e6: JUMPDEST
000002e7: SWAP1
000002e8: POP
000002e9: DUP3
000002ea: DUP2
000002eb: LT
000002ec: ISZERO
000002ed: PUSH2 0x032b
000002f0: JUMPI
000002f1: PUSH1 0x40
000002f3: MLOAD
000002f4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000315: DUP2
00000316: MSTORE
00000317: PUSH1 0x04
00000319: ADD
0000031a: PUSH2 0x0322
0000031d: SWAP1
0000031e: PUSH2 0x0b1c
00000321: JUMP
00000322: JUMPDEST
00000323: PUSH1 0x40
00000325: MLOAD
00000326: DUP1
00000327: SWAP2
00000328: SUB
00000329: SWAP1
0000032a: REVERT
0000032b: JUMPDEST
0000032c: DUP3
0000032d: PUSH1 0x02
0000032f: PUSH1 0x00
00000331: DUP3
00000332: DUP3
00000333: SLOAD
00000334: PUSH2 0x033d
00000337: SWAP2
00000338: SWAP1
00000339: PUSH2 0x0bf3
0000033c: JUMP
0000033d: JUMPDEST
0000033e: SWAP3
0000033f: POP
00000340: POP
00000341: DUP2
00000342: SWAP1
00000343: SSTORE
00000344: POP
00000345: PUSH2 0x0370
00000348: PUSH1 0x03
0000034a: PUSH1 0x00
0000034c: SWAP1
0000034d: SLOAD
0000034e: SWAP1
0000034f: PUSH2 0x0100
00000352: EXP
00000353: SWAP1
00000354: DIV
00000355: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000036a: AND
0000036b: DUP5
0000036c: PUSH2 0x05ad
0000036f: JUMP
00000370: JUMPDEST
00000371: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056
00000392: PUSH1 0x03
00000394: PUSH1 0x00
00000396: SWAP1
00000397: SLOAD
00000398: SWAP1
00000399: PUSH2 0x0100
0000039c: EXP
0000039d: SWAP1
0000039e: DIV
0000039f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003b4: AND
000003b5: DUP5
000003b6: PUSH1 0x40
000003b8: MLOAD
000003b9: PUSH2 0x03c3
000003bc: SWAP3
000003bd: SWAP2
000003be: SWAP1
000003bf: PUSH2 0x0a8a
000003c2: JUMP
000003c3: JUMPDEST
000003c4: PUSH1 0x40
000003c6: MLOAD
000003c7: DUP1
000003c8: SWAP2
000003c9: SUB
000003ca: SWAP1
000003cb: LOG1
000003cc: POP
000003cd: POP
000003ce: POP
000003cf: JUMP
000003d0: JUMPDEST
000003d1: PUSH2 0x03d8
000003d4: PUSH2 0x01d5
000003d7: JUMP
000003d8: JUMPDEST
000003d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003ee: AND
000003ef: PUSH2 0x03f6
000003f2: PUSH2 0x0458
000003f5: JUMP
000003f6: JUMPDEST
000003f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000040c: AND
0000040d: EQ
0000040e: PUSH2 0x044c
00000411: JUMPI
00000412: PUSH1 0x40
00000414: MLOAD
00000415: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000436: DUP2
00000437: MSTORE
00000438: PUSH1 0x04
0000043a: ADD
0000043b: PUSH2 0x0443
0000043e: SWAP1
0000043f: PUSH2 0x0b9c
00000442: JUMP
00000443: JUMPDEST
00000444: PUSH1 0x40
00000446: MLOAD
00000447: DUP1
00000448: SWAP2
00000449: SUB
0000044a: SWAP1
0000044b: REVERT
0000044c: JUMPDEST
0000044d: PUSH2 0x0456
00000450: PUSH1 0x00
00000452: PUSH2 0x06a1
00000455: JUMP
00000456: JUMPDEST
00000457: JUMP
00000458: JUMPDEST
00000459: PUSH1 0x00
0000045b: DUP1
0000045c: PUSH1 0x00
0000045e: SWAP1
0000045f: SLOAD
00000460: SWAP1
00000461: PUSH2 0x0100
00000464: EXP
00000465: SWAP1
00000466: DIV
00000467: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000047c: AND
0000047d: SWAP1
0000047e: POP
0000047f: SWAP1
00000480: JUMP
00000481: JUMPDEST
00000482: PUSH1 0x00
00000484: PUSH1 0x03
00000486: PUSH1 0x00
00000488: SWAP1
00000489: SLOAD
0000048a: SWAP1
0000048b: PUSH2 0x0100
0000048e: EXP
0000048f: SWAP1
00000490: DIV
00000491: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004a6: AND
000004a7: SWAP1
000004a8: POP
000004a9: SWAP1
000004aa: JUMP
000004ab: JUMPDEST
000004ac: PUSH1 0x00
000004ae: PUSH1 0x02
000004b0: SLOAD
000004b1: SWAP1
000004b2: POP
000004b3: SWAP1
000004b4: JUMP
000004b5: JUMPDEST
000004b6: PUSH2 0x04bd
000004b9: PUSH2 0x01d5
000004bc: JUMP
000004bd: JUMPDEST
000004be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004d3: AND
000004d4: PUSH2 0x04db
000004d7: PUSH2 0x0458
000004da: JUMP
000004db: JUMPDEST
000004dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004f1: AND
000004f2: EQ
000004f3: PUSH2 0x0531
000004f6: JUMPI
000004f7: PUSH1 0x40
000004f9: MLOAD
000004fa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000051b: DUP2
0000051c: MSTORE
0000051d: PUSH1 0x04
0000051f: ADD
00000520: PUSH2 0x0528
00000523: SWAP1
00000524: PUSH2 0x0b9c
00000527: JUMP
00000528: JUMPDEST
00000529: PUSH1 0x40
0000052b: MLOAD
0000052c: DUP1
0000052d: SWAP2
0000052e: SUB
0000052f: SWAP1
00000530: REVERT
00000531: JUMPDEST
00000532: PUSH1 0x00
00000534: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000549: AND
0000054a: DUP2
0000054b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000560: AND
00000561: EQ
00000562: ISZERO
00000563: PUSH2 0x05a1
00000566: JUMPI
00000567: PUSH1 0x40
00000569: MLOAD
0000056a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000058b: DUP2
0000058c: MSTORE
0000058d: PUSH1 0x04
0000058f: ADD
00000590: PUSH2 0x0598
00000593: SWAP1
00000594: PUSH2 0x0adc
00000597: JUMP
00000598: JUMPDEST
00000599: PUSH1 0x40
0000059b: MLOAD
0000059c: DUP1
0000059d: SWAP2
0000059e: SUB
0000059f: SWAP1
000005a0: REVERT
000005a1: JUMPDEST
000005a2: PUSH2 0x05aa
000005a5: DUP2
000005a6: PUSH2 0x06a1
000005a9: JUMP
000005aa: JUMPDEST
000005ab: POP
000005ac: JUMP
000005ad: JUMPDEST
000005ae: DUP1
000005af: SELFBALANCE
000005b0: LT
000005b1: ISZERO
000005b2: PUSH2 0x05f0
000005b5: JUMPI
000005b6: PUSH1 0x40
000005b8: MLOAD
000005b9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000005da: DUP2
000005db: MSTORE
000005dc: PUSH1 0x04
000005de: ADD
000005df: PUSH2 0x05e7
000005e2: SWAP1
000005e3: PUSH2 0x0b7c
000005e6: JUMP
000005e7: JUMPDEST
000005e8: PUSH1 0x40
000005ea: MLOAD
000005eb: DUP1
000005ec: SWAP2
000005ed: SUB
000005ee: SWAP1
000005ef: REVERT
000005f0: JUMPDEST
000005f1: PUSH1 0x00
000005f3: DUP3
000005f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000609: AND
0000060a: DUP3
0000060b: PUSH1 0x40
0000060d: MLOAD
0000060e: PUSH2 0x0616
00000611: SWAP1
00000612: PUSH2 0x0a5a
00000615: JUMP
00000616: JUMPDEST
00000617: PUSH1 0x00
00000619: PUSH1 0x40
0000061b: MLOAD
0000061c: DUP1
0000061d: DUP4
0000061e: SUB
0000061f: DUP2
00000620: DUP6
00000621: DUP8
00000622: GAS
00000623: CALL
00000624: SWAP3
00000625: POP
00000626: POP
00000627: POP
00000628: RETURNDATASIZE
00000629: DUP1
0000062a: PUSH1 0x00
0000062c: DUP2
0000062d: EQ
0000062e: PUSH2 0x0653
00000631: JUMPI
00000632: PUSH1 0x40
00000634: MLOAD
00000635: SWAP2
00000636: POP
00000637: PUSH1 0x1f
00000639: NOT
0000063a: PUSH1 0x3f
0000063c: RETURNDATASIZE
0000063d: ADD
0000063e: AND
0000063f: DUP3
00000640: ADD
00000641: PUSH1 0x40
00000643: MSTORE
00000644: RETURNDATASIZE
00000645: DUP3
00000646: MSTORE
00000647: RETURNDATASIZE
00000648: PUSH1 0x00
0000064a: PUSH1 0x20
0000064c: DUP5
0000064d: ADD
0000064e: RETURNDATACOPY
0000064f: PUSH2 0x0658
00000652: JUMP
00000653: JUMPDEST
00000654: PUSH1 0x60
00000656: SWAP2
00000657: POP
00000658: JUMPDEST
00000659: POP
0000065a: POP
0000065b: SWAP1
0000065c: POP
0000065d: DUP1
0000065e: PUSH2 0x069c
00000661: JUMPI
00000662: PUSH1 0x40
00000664: MLOAD
00000665: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000686: DUP2
00000687: MSTORE
00000688: PUSH1 0x04
0000068a: ADD
0000068b: PUSH2 0x0693
0000068e: SWAP1
0000068f: PUSH2 0x0b5c
00000692: JUMP
00000693: JUMPDEST
00000694: PUSH1 0x40
00000696: MLOAD
00000697: DUP1
00000698: SWAP2
00000699: SUB
0000069a: SWAP1
0000069b: REVERT
0000069c: JUMPDEST
0000069d: POP
0000069e: POP
0000069f: POP
000006a0: JUMP
000006a1: JUMPDEST
000006a2: PUSH1 0x00
000006a4: DUP1
000006a5: PUSH1 0x00
000006a7: SWAP1
000006a8: SLOAD
000006a9: SWAP1
000006aa: PUSH2 0x0100
000006ad: EXP
000006ae: SWAP1
000006af: DIV
000006b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006c5: AND
000006c6: SWAP1
000006c7: POP
000006c8: DUP2
000006c9: PUSH1 0x00
000006cb: DUP1
000006cc: PUSH2 0x0100
000006cf: EXP
000006d0: DUP2
000006d1: SLOAD
000006d2: DUP2
000006d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006e8: MUL
000006e9: NOT
000006ea: AND
000006eb: SWAP1
000006ec: DUP4
000006ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000702: AND
00000703: MUL
00000704: OR
00000705: SWAP1
00000706: SSTORE
00000707: POP
00000708: DUP2
00000709: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000071e: AND
0000071f: DUP2
00000720: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000735: AND
00000736: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000757: PUSH1 0x40
00000759: MLOAD
0000075a: PUSH1 0x40
0000075c: MLOAD
0000075d: DUP1
0000075e: SWAP2
0000075f: SUB
00000760: SWAP1
00000761: LOG3
00000762: POP
00000763: POP
00000764: JUMP
00000765: JUMPDEST
00000766: PUSH1 0x00
00000768: DUP2
00000769: CALLDATALOAD
0000076a: SWAP1
0000076b: POP
0000076c: PUSH2 0x0774
0000076f: DUP2
00000770: PUSH2 0x0d1e
00000773: JUMP
00000774: JUMPDEST
00000775: SWAP3
00000776: SWAP2
00000777: POP
00000778: POP
00000779: JUMP
0000077a: JUMPDEST
0000077b: PUSH1 0x00
0000077d: DUP2
0000077e: CALLDATALOAD
0000077f: SWAP1
00000780: POP
00000781: PUSH2 0x0789
00000784: DUP2
00000785: PUSH2 0x0d35
00000788: JUMP
00000789: JUMPDEST
0000078a: SWAP3
0000078b: SWAP2
0000078c: POP
0000078d: POP
0000078e: JUMP
0000078f: JUMPDEST
00000790: PUSH1 0x00
00000792: PUSH1 0x20
00000794: DUP3
00000795: DUP5
00000796: SUB
00000797: SLT
00000798: ISZERO
00000799: PUSH2 0x07a1
0000079c: JUMPI
0000079d: PUSH1 0x00
0000079f: DUP1
000007a0: REVERT
000007a1: JUMPDEST
000007a2: PUSH1 0x00
000007a4: PUSH2 0x07af
000007a7: DUP5
000007a8: DUP3
000007a9: DUP6
000007aa: ADD
000007ab: PUSH2 0x0765
000007ae: JUMP
000007af: JUMPDEST
000007b0: SWAP2
000007b1: POP
000007b2: POP
000007b3: SWAP3
000007b4: SWAP2
000007b5: POP
000007b6: POP
000007b7: JUMP
000007b8: JUMPDEST
000007b9: PUSH1 0x00
000007bb: PUSH1 0x20
000007bd: DUP3
000007be: DUP5
000007bf: SUB
000007c0: SLT
000007c1: ISZERO
000007c2: PUSH2 0x07ca
000007c5: JUMPI
000007c6: PUSH1 0x00
000007c8: DUP1
000007c9: REVERT
000007ca: JUMPDEST
000007cb: PUSH1 0x00
000007cd: PUSH2 0x07d8
000007d0: DUP5
000007d1: DUP3
000007d2: DUP6
000007d3: ADD
000007d4: PUSH2 0x077a
000007d7: JUMP
000007d8: JUMPDEST
000007d9: SWAP2
000007da: POP
000007db: POP
000007dc: SWAP3
000007dd: SWAP2
000007de: POP
000007df: POP
000007e0: JUMP
000007e1: JUMPDEST
000007e2: PUSH2 0x07ea
000007e5: DUP2
000007e6: PUSH2 0x0cb9
000007e9: JUMP
000007ea: JUMPDEST
000007eb: DUP3
000007ec: MSTORE
000007ed: POP
000007ee: POP
000007ef: JUMP
000007f0: JUMPDEST
000007f1: PUSH2 0x07f9
000007f4: DUP2
000007f5: PUSH2 0x0c7d
000007f8: JUMP
000007f9: JUMPDEST
000007fa: DUP3
000007fb: MSTORE
000007fc: POP
000007fd: POP
000007fe: JUMP
000007ff: JUMPDEST
00000800: PUSH1 0x00
00000802: PUSH2 0x080c
00000805: PUSH1 0x26
00000807: DUP4
00000808: PUSH2 0x0be2
0000080b: JUMP
0000080c: JUMPDEST
0000080d: SWAP2
0000080e: POP
0000080f: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000830: PUSH1 0x00
00000832: DUP4
00000833: ADD
00000834: MSTORE
00000835: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00000856: PUSH1 0x20
00000858: DUP4
00000859: ADD
0000085a: MSTORE
0000085b: PUSH1 0x40
0000085d: DUP3
0000085e: ADD
0000085f: SWAP1
00000860: POP
00000861: SWAP2
00000862: SWAP1
00000863: POP
00000864: JUMP
00000865: JUMPDEST
00000866: PUSH1 0x00
00000868: PUSH2 0x0872
0000086b: PUSH1 0x0e
0000086d: DUP4
0000086e: PUSH2 0x0be2
00000871: JUMP
00000872: JUMPDEST
00000873: SWAP2
00000874: POP
00000875: PUSH32 0x496e76616c696420616d6f756e74000000000000000000000000000000000000
00000896: PUSH1 0x00
00000898: DUP4
00000899: ADD
0000089a: MSTORE
0000089b: PUSH1 0x20
0000089d: DUP3
0000089e: ADD
0000089f: SWAP1
000008a0: POP
000008a1: SWAP2
000008a2: SWAP1
000008a3: POP
000008a4: JUMP
000008a5: JUMPDEST
000008a6: PUSH1 0x00
000008a8: PUSH2 0x08b2
000008ab: PUSH1 0x1e
000008ad: DUP4
000008ae: PUSH2 0x0be2
000008b1: JUMP
000008b2: JUMPDEST
000008b3: SWAP2
000008b4: POP
000008b5: PUSH32 0x4e6f7420656e6f7567682062616c616e636520696e20636f6e74726163740000
000008d6: PUSH1 0x00
000008d8: DUP4
000008d9: ADD
000008da: MSTORE
000008db: PUSH1 0x20
000008dd: DUP3
000008de: ADD
000008df: SWAP1
000008e0: POP
000008e1: SWAP2
000008e2: SWAP1
000008e3: POP
000008e4: JUMP
000008e5: JUMPDEST
000008e6: PUSH1 0x00
000008e8: PUSH2 0x08f2
000008eb: PUSH1 0x2e
000008ed: DUP4
000008ee: PUSH2 0x0be2
000008f1: JUMP
000008f2: JUMPDEST
000008f3: SWAP2
000008f4: POP
000008f5: PUSH32 0x596f7520617265206e6f7420617574686f72697a656420746f20706572666f72
00000916: PUSH1 0x00
00000918: DUP4
00000919: ADD
0000091a: MSTORE
0000091b: PUSH32 0x6d207468697320616374696f6e2e000000000000000000000000000000000000
0000093c: PUSH1 0x20
0000093e: DUP4
0000093f: ADD
00000940: MSTORE
00000941: PUSH1 0x40
00000943: DUP3
00000944: ADD
00000945: SWAP1
00000946: POP
00000947: SWAP2
00000948: SWAP1
00000949: POP
0000094a: JUMP
0000094b: JUMPDEST
0000094c: PUSH1 0x00
0000094e: PUSH2 0x0958
00000951: PUSH1 0x3a
00000953: DUP4
00000954: PUSH2 0x0be2
00000957: JUMP
00000958: JUMPDEST
00000959: SWAP2
0000095a: POP
0000095b: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
0000097c: PUSH1 0x00
0000097e: DUP4
0000097f: ADD
00000980: MSTORE
00000981: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
000009a2: PUSH1 0x20
000009a4: DUP4
000009a5: ADD
000009a6: MSTORE
000009a7: PUSH1 0x40
000009a9: DUP3
000009aa: ADD
000009ab: SWAP1
000009ac: POP
000009ad: SWAP2
000009ae: SWAP1
000009af: POP
000009b0: JUMP
000009b1: JUMPDEST
000009b2: PUSH1 0x00
000009b4: PUSH2 0x09be
000009b7: PUSH1 0x1d
000009b9: DUP4
000009ba: PUSH2 0x0be2
000009bd: JUMP
000009be: JUMPDEST
000009bf: SWAP2
000009c0: POP
000009c1: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
000009e2: PUSH1 0x00
000009e4: DUP4
000009e5: ADD
000009e6: MSTORE
000009e7: PUSH1 0x20
000009e9: DUP3
000009ea: ADD
000009eb: SWAP1
000009ec: POP
000009ed: SWAP2
000009ee: SWAP1
000009ef: POP
000009f0: JUMP
000009f1: JUMPDEST
000009f2: PUSH1 0x00
000009f4: PUSH2 0x09fe
000009f7: PUSH1 0x20
000009f9: DUP4
000009fa: PUSH2 0x0be2
000009fd: JUMP
000009fe: JUMPDEST
000009ff: SWAP2
00000a00: POP
00000a01: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000a22: PUSH1 0x00
00000a24: DUP4
00000a25: ADD
00000a26: MSTORE
00000a27: PUSH1 0x20
00000a29: DUP3
00000a2a: ADD
00000a2b: SWAP1
00000a2c: POP
00000a2d: SWAP2
00000a2e: SWAP1
00000a2f: POP
00000a30: JUMP
00000a31: JUMPDEST
00000a32: PUSH1 0x00
00000a34: PUSH2 0x0a3e
00000a37: PUSH1 0x00
00000a39: DUP4
00000a3a: PUSH2 0x0bd7
00000a3d: JUMP
00000a3e: JUMPDEST
00000a3f: SWAP2
00000a40: POP
00000a41: PUSH1 0x00
00000a43: DUP3
00000a44: ADD
00000a45: SWAP1
00000a46: POP
00000a47: SWAP2
00000a48: SWAP1
00000a49: POP
00000a4a: JUMP
00000a4b: JUMPDEST
00000a4c: PUSH2 0x0a54
00000a4f: DUP2
00000a50: PUSH2 0x0caf
00000a53: JUMP
00000a54: JUMPDEST
00000a55: DUP3
00000a56: MSTORE
00000a57: POP
00000a58: POP
00000a59: JUMP
00000a5a: JUMPDEST
00000a5b: PUSH1 0x00
00000a5d: PUSH2 0x0a65
00000a60: DUP3
00000a61: PUSH2 0x0a31
00000a64: JUMP
00000a65: JUMPDEST
00000a66: SWAP2
00000a67: POP
00000a68: DUP2
00000a69: SWAP1
00000a6a: POP
00000a6b: SWAP2
00000a6c: SWAP1
00000a6d: POP
00000a6e: JUMP
00000a6f: JUMPDEST
00000a70: PUSH1 0x00
00000a72: PUSH1 0x20
00000a74: DUP3
00000a75: ADD
00000a76: SWAP1
00000a77: POP
00000a78: PUSH2 0x0a84
00000a7b: PUSH1 0x00
00000a7d: DUP4
00000a7e: ADD
00000a7f: DUP5
00000a80: PUSH2 0x07f0
00000a83: JUMP
00000a84: JUMPDEST
00000a85: SWAP3
00000a86: SWAP2
00000a87: POP
00000a88: POP
00000a89: JUMP
00000a8a: JUMPDEST
00000a8b: PUSH1 0x00
00000a8d: PUSH1 0x40
00000a8f: DUP3
00000a90: ADD
00000a91: SWAP1
00000a92: POP
00000a93: PUSH2 0x0a9f
00000a96: PUSH1 0x00
00000a98: DUP4
00000a99: ADD
00000a9a: DUP6
00000a9b: PUSH2 0x07e1
00000a9e: JUMP
00000a9f: JUMPDEST
00000aa0: PUSH2 0x0aac
00000aa3: PUSH1 0x20
00000aa5: DUP4
00000aa6: ADD
00000aa7: DUP5
00000aa8: PUSH2 0x0a4b
00000aab: JUMP
00000aac: JUMPDEST
00000aad: SWAP4
00000aae: SWAP3
00000aaf: POP
00000ab0: POP
00000ab1: POP
00000ab2: JUMP
00000ab3: JUMPDEST
00000ab4: PUSH1 0x00
00000ab6: PUSH1 0x40
00000ab8: DUP3
00000ab9: ADD
00000aba: SWAP1
00000abb: POP
00000abc: PUSH2 0x0ac8
00000abf: PUSH1 0x00
00000ac1: DUP4
00000ac2: ADD
00000ac3: DUP6
00000ac4: PUSH2 0x07f0
00000ac7: JUMP
00000ac8: JUMPDEST
00000ac9: PUSH2 0x0ad5
00000acc: PUSH1 0x20
00000ace: DUP4
00000acf: ADD
00000ad0: DUP5
00000ad1: PUSH2 0x0a4b
00000ad4: JUMP
00000ad5: JUMPDEST
00000ad6: SWAP4
00000ad7: SWAP3
00000ad8: POP
00000ad9: POP
00000ada: POP
00000adb: JUMP
00000adc: JUMPDEST
00000add: PUSH1 0x00
00000adf: PUSH1 0x20
00000ae1: DUP3
00000ae2: ADD
00000ae3: SWAP1
00000ae4: POP
00000ae5: DUP2
00000ae6: DUP2
00000ae7: SUB
00000ae8: PUSH1 0x00
00000aea: DUP4
00000aeb: ADD
00000aec: MSTORE
00000aed: PUSH2 0x0af5
00000af0: DUP2
00000af1: PUSH2 0x07ff
00000af4: JUMP
00000af5: JUMPDEST
00000af6: SWAP1
00000af7: POP
00000af8: SWAP2
00000af9: SWAP1
00000afa: POP
00000afb: JUMP
00000afc: JUMPDEST
00000afd: PUSH1 0x00
00000aff: PUSH1 0x20
00000b01: DUP3
00000b02: ADD
00000b03: SWAP1
00000b04: POP
00000b05: DUP2
00000b06: DUP2
00000b07: SUB
00000b08: PUSH1 0x00
00000b0a: DUP4
00000b0b: ADD
00000b0c: MSTORE
00000b0d: PUSH2 0x0b15
00000b10: DUP2
00000b11: PUSH2 0x0865
00000b14: JUMP
00000b15: JUMPDEST
00000b16: SWAP1
00000b17: POP
00000b18: SWAP2
00000b19: SWAP1
00000b1a: POP
00000b1b: JUMP
00000b1c: JUMPDEST
00000b1d: PUSH1 0x00
00000b1f: PUSH1 0x20
00000b21: DUP3
00000b22: ADD
00000b23: SWAP1
00000b24: POP
00000b25: DUP2
00000b26: DUP2
00000b27: SUB
00000b28: PUSH1 0x00
00000b2a: DUP4
00000b2b: ADD
00000b2c: MSTORE
00000b2d: PUSH2 0x0b35
00000b30: DUP2
00000b31: PUSH2 0x08a5
00000b34: JUMP
00000b35: JUMPDEST
00000b36: SWAP1
00000b37: POP
00000b38: SWAP2
00000b39: SWAP1
00000b3a: POP
00000b3b: JUMP
00000b3c: JUMPDEST
00000b3d: PUSH1 0x00
00000b3f: PUSH1 0x20
00000b41: DUP3
00000b42: ADD
00000b43: SWAP1
00000b44: POP
00000b45: DUP2
00000b46: DUP2
00000b47: SUB
00000b48: PUSH1 0x00
00000b4a: DUP4
00000b4b: ADD
00000b4c: MSTORE
00000b4d: PUSH2 0x0b55
00000b50: DUP2
00000b51: PUSH2 0x08e5
00000b54: JUMP
00000b55: JUMPDEST
00000b56: SWAP1
00000b57: POP
00000b58: SWAP2
00000b59: SWAP1
00000b5a: POP
00000b5b: JUMP
00000b5c: JUMPDEST
00000b5d: PUSH1 0x00
00000b5f: PUSH1 0x20
00000b61: DUP3
00000b62: ADD
00000b63: SWAP1
00000b64: POP
00000b65: DUP2
00000b66: DUP2
00000b67: SUB
00000b68: PUSH1 0x00
00000b6a: DUP4
00000b6b: ADD
00000b6c: MSTORE
00000b6d: PUSH2 0x0b75
00000b70: DUP2
00000b71: PUSH2 0x094b
00000b74: JUMP
00000b75: JUMPDEST
00000b76: SWAP1
00000b77: POP
00000b78: SWAP2
00000b79: SWAP1
00000b7a: POP
00000b7b: JUMP
00000b7c: JUMPDEST
00000b7d: PUSH1 0x00
00000b7f: PUSH1 0x20
00000b81: DUP3
00000b82: ADD
00000b83: SWAP1
00000b84: POP
00000b85: DUP2
00000b86: DUP2
00000b87: SUB
00000b88: PUSH1 0x00
00000b8a: DUP4
00000b8b: ADD
00000b8c: MSTORE
00000b8d: PUSH2 0x0b95
00000b90: DUP2
00000b91: PUSH2 0x09b1
00000b94: JUMP
00000b95: JUMPDEST
00000b96: SWAP1
00000b97: POP
00000b98: SWAP2
00000b99: SWAP1
00000b9a: POP
00000b9b: JUMP
00000b9c: JUMPDEST
00000b9d: PUSH1 0x00
00000b9f: PUSH1 0x20
00000ba1: DUP3
00000ba2: ADD
00000ba3: SWAP1
00000ba4: POP
00000ba5: DUP2
00000ba6: DUP2
00000ba7: SUB
00000ba8: PUSH1 0x00
00000baa: DUP4
00000bab: ADD
00000bac: MSTORE
00000bad: PUSH2 0x0bb5
00000bb0: DUP2
00000bb1: PUSH2 0x09f1
00000bb4: JUMP
00000bb5: JUMPDEST
00000bb6: SWAP1
00000bb7: POP
00000bb8: SWAP2
00000bb9: SWAP1
00000bba: POP
00000bbb: JUMP
00000bbc: JUMPDEST
00000bbd: PUSH1 0x00
00000bbf: PUSH1 0x20
00000bc1: DUP3
00000bc2: ADD
00000bc3: SWAP1
00000bc4: POP
00000bc5: PUSH2 0x0bd1
00000bc8: PUSH1 0x00
00000bca: DUP4
00000bcb: ADD
00000bcc: DUP5
00000bcd: PUSH2 0x0a4b
00000bd0: JUMP
00000bd1: JUMPDEST
00000bd2: SWAP3
00000bd3: SWAP2
00000bd4: POP
00000bd5: POP
00000bd6: JUMP
00000bd7: JUMPDEST
00000bd8: PUSH1 0x00
00000bda: DUP2
00000bdb: SWAP1
00000bdc: POP
00000bdd: SWAP3
00000bde: SWAP2
00000bdf: POP
00000be0: POP
00000be1: JUMP
00000be2: JUMPDEST
00000be3: PUSH1 0x00
00000be5: DUP3
00000be6: DUP3
00000be7: MSTORE
00000be8: PUSH1 0x20
00000bea: DUP3
00000beb: ADD
00000bec: SWAP1
00000bed: POP
00000bee: SWAP3
00000bef: SWAP2
00000bf0: POP
00000bf1: POP
00000bf2: JUMP
00000bf3: JUMPDEST
00000bf4: PUSH1 0x00
00000bf6: PUSH2 0x0bfe
00000bf9: DUP3
00000bfa: PUSH2 0x0caf
00000bfd: JUMP
00000bfe: JUMPDEST
00000bff: SWAP2
00000c00: POP
00000c01: PUSH2 0x0c09
00000c04: DUP4
00000c05: PUSH2 0x0caf
00000c08: JUMP
00000c09: JUMPDEST
00000c0a: SWAP3
00000c0b: POP
00000c0c: DUP3
00000c0d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000c2e: SUB
00000c2f: DUP3
00000c30: GT
00000c31: ISZERO
00000c32: PUSH2 0x0c3e
00000c35: JUMPI
00000c36: PUSH2 0x0c3d
00000c39: PUSH2 0x0cef
00000c3c: JUMP
00000c3d: JUMPDEST
00000c3e: JUMPDEST
00000c3f: DUP3
00000c40: DUP3
00000c41: ADD
00000c42: SWAP1
00000c43: POP
00000c44: SWAP3
00000c45: SWAP2
00000c46: POP
00000c47: POP
00000c48: JUMP
00000c49: JUMPDEST
00000c4a: PUSH1 0x00
00000c4c: PUSH2 0x0c54
00000c4f: DUP3
00000c50: PUSH2 0x0caf
00000c53: JUMP
00000c54: JUMPDEST
00000c55: SWAP2
00000c56: POP
00000c57: PUSH2 0x0c5f
00000c5a: DUP4
00000c5b: PUSH2 0x0caf
00000c5e: JUMP
00000c5f: JUMPDEST
00000c60: SWAP3
00000c61: POP
00000c62: DUP3
00000c63: DUP3
00000c64: LT
00000c65: ISZERO
00000c66: PUSH2 0x0c72
00000c69: JUMPI
00000c6a: PUSH2 0x0c71
00000c6d: PUSH2 0x0cef
00000c70: JUMP
00000c71: JUMPDEST
00000c72: JUMPDEST
00000c73: DUP3
00000c74: DUP3
00000c75: SUB
00000c76: SWAP1
00000c77: POP
00000c78: SWAP3
00000c79: SWAP2
00000c7a: POP
00000c7b: POP
00000c7c: JUMP
00000c7d: JUMPDEST
00000c7e: PUSH1 0x00
00000c80: PUSH2 0x0c88
00000c83: DUP3
00000c84: PUSH2 0x0c8f
00000c87: JUMP
00000c88: JUMPDEST
00000c89: SWAP1
00000c8a: POP
00000c8b: SWAP2
00000c8c: SWAP1
00000c8d: POP
00000c8e: JUMP
00000c8f: JUMPDEST
00000c90: PUSH1 0x00
00000c92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ca7: DUP3
00000ca8: AND
00000ca9: SWAP1
00000caa: POP
00000cab: SWAP2
00000cac: SWAP1
00000cad: POP
00000cae: JUMP
00000caf: JUMPDEST
00000cb0: PUSH1 0x00
00000cb2: DUP2
00000cb3: SWAP1
00000cb4: POP
00000cb5: SWAP2
00000cb6: SWAP1
00000cb7: POP
00000cb8: JUMP
00000cb9: JUMPDEST
00000cba: PUSH1 0x00
00000cbc: PUSH2 0x0cc4
00000cbf: DUP3
00000cc0: PUSH2 0x0ccb
00000cc3: JUMP
00000cc4: JUMPDEST
00000cc5: SWAP1
00000cc6: POP
00000cc7: SWAP2
00000cc8: SWAP1
00000cc9: POP
00000cca: JUMP
00000ccb: JUMPDEST
00000ccc: PUSH1 0x00
00000cce: PUSH2 0x0cd6
00000cd1: DUP3
00000cd2: PUSH2 0x0cdd
00000cd5: JUMP
00000cd6: JUMPDEST
00000cd7: SWAP1
00000cd8: POP
00000cd9: SWAP2
00000cda: SWAP1
00000cdb: POP
00000cdc: JUMP
00000cdd: JUMPDEST
00000cde: PUSH1 0x00
00000ce0: PUSH2 0x0ce8
00000ce3: DUP3
00000ce4: PUSH2 0x0c8f
00000ce7: JUMP
00000ce8: JUMPDEST
00000ce9: SWAP1
00000cea: POP
00000ceb: SWAP2
00000cec: SWAP1
00000ced: POP
00000cee: JUMP
00000cef: JUMPDEST
00000cf0: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000d11: PUSH1 0x00
00000d13: MSTORE
00000d14: PUSH1 0x11
00000d16: PUSH1 0x04
00000d18: MSTORE
00000d19: PUSH1 0x24
00000d1b: PUSH1 0x00
00000d1d: REVERT
00000d1e: JUMPDEST
00000d1f: PUSH2 0x0d27
00000d22: DUP2
00000d23: PUSH2 0x0c7d
00000d26: JUMP
00000d27: JUMPDEST
00000d28: DUP2
00000d29: EQ
00000d2a: PUSH2 0x0d32
00000d2d: JUMPI
00000d2e: PUSH1 0x00
00000d30: DUP1
00000d31: REVERT
00000d32: JUMPDEST
00000d33: POP
00000d34: JUMP
00000d35: JUMPDEST
00000d36: PUSH2 0x0d3e
00000d39: DUP2
00000d3a: PUSH2 0x0caf
00000d3d: JUMP
00000d3e: JUMPDEST
00000d3f: DUP2
00000d40: EQ
00000d41: PUSH2 0x0d49
00000d44: JUMPI
00000d45: PUSH1 0x00
00000d47: DUP1
00000d48: REVERT
00000d49: JUMPDEST
00000d4a: POP
00000d4b: JUMP
00000d4c: INVALID
00000d4d: LOG2
00000d4e: PUSH5 0x6970667358
00000d54: UNKNOWN(0x22)
00000d55: SLT
00000d56: KECCAK256
00000d57: PUSH30 0xf7d86a8e5ea6e169cca6854f1c3ec8514ee64376e0c5855c69423f7ba8a7
00000d76: UNKNOWN(0xDB)
00000d77: PUSH5 0x736f6c6343
00000d7d: STOP
00000d7e: ADDMOD
00000d7f: STOP
00000d80: STOP
00000d81: CALLER

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x44c467a30d7346896d09f75c5705f3ad8c17684bf5572b7eeede3229ee93b1af call_targets: 0x6a791b054154f1a3ed2a465901dd22a7f13a556f target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x44c467a30d7346896d09f75c5705f3ad8c17684bf5572b7eeede3229ee93b1af", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x6a791b054154f1a3ed2a465901dd22a7f13a556f" ], "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": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xae90b213", "selector": "0xae90b213", "calldata_variants": [ "0xae90b213", "0xae90b2130000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe33b7de3", "selector": "0xe33b7de3", "calldata_variants": [ "0xe33b7de3", "0xe33b7de30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x03314efa", "selector": "0x03314efa", "calldata_variants": [ "0x03314efa", "0x03314efa0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x37bdc99b", "selector": "0x37bdc99b", "calldata_variants": [ "0x37bdc99b", "0x37bdc99b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x715018a6", "selector": "0x715018a6", "calldata_variants": [ "0x715018a6", "0x715018a60000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1571, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 1, "guards_detected": [ { "pc": 545, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 1 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x44c467a30d7346896d09f75c5705f3ad8c17684bf5572b7eeede3229ee93b1af call_targets: 0x6a791b054154f1a3ed2a465901dd22a7f13a556f target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x44c467a30d7346896d09f75c5705f3ad8c17684bf5572b7eeede3229ee93b1af", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x6a791b054154f1a3ed2a465901dd22a7f13a556f" ], "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": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xae90b213", "selector": "0xae90b213", "calldata_variants": [ "0xae90b213", "0xae90b2130000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe33b7de3", "selector": "0xe33b7de3", "calldata_variants": [ "0xe33b7de3", "0xe33b7de30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x03314efa", "selector": "0x03314efa", "calldata_variants": [ "0x03314efa", "0x03314efa0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x37bdc99b", "selector": "0x37bdc99b", "calldata_variants": [ "0x37bdc99b", "0x37bdc99b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x715018a6", "selector": "0x715018a6", "calldata_variants": [ "0x715018a6", "0x715018a60000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1571, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 1, "guards_detected": [ { "pc": 545, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }

Severity