Analysis Run

019b3836-373e-7333-b8ce-74dd52cb25ec

complete

Chain ID

1

Address

0x8fcf65f5185d8c6b8141f0147642415baa2a556c

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
3723	artifact.fetch	complete	1 / 3	3 months ago
3724	tool.cast_disasm	complete	1 / 3	3 months ago
104913	analysis.bundle	complete	1 / 3	1 week ago
104914	capability.graph	complete	1 / 3	1 week ago
104915	detector.run	complete	1 / 3	1 week ago
104916	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

0

CREATE2

0

CALL-family (heavy)

5

EXT*/BALANCE

0

Total opcodes

2511

Flags

No heuristic flags raised.

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00ae
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x025e7c27
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x00b6
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x11a7a4c0
00000025: EQ
00000026: PUSH2 0x00d7
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x31921cad
00000030: EQ
00000031: PUSH2 0x01ba
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x45352983
0000003b: EQ
0000003c: PUSH2 0x01c3
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x50964c3f
00000046: EQ
00000047: PUSH2 0x0266
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x6fe4d97a
00000051: EQ
00000052: PUSH2 0x02be
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x9af1d35a
0000005c: EQ
0000005d: PUSH2 0x02c7
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0xa3b64c2c
00000067: EQ
00000068: PUSH2 0x02d0
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0xa60f3588
00000072: EQ
00000073: PUSH2 0x032c
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0xa6f9dae1
0000007d: EQ
0000007e: PUSH2 0x0335
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0xb165c49f
00000088: EQ
00000089: PUSH2 0x03e0
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0xb69ef8a8
00000093: EQ
00000094: PUSH2 0x03e9
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xbe414e97
0000009e: EQ
0000009f: PUSH2 0x03f2
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xc8796572
000000a9: EQ
000000aa: PUSH2 0x03fb
000000ad: JUMPI
000000ae: JUMPDEST
000000af: PUSH2 0x045f
000000b2: PUSH2 0x0002
000000b5: JUMP
000000b6: JUMPDEST
000000b7: PUSH2 0x0463
000000ba: PUSH1 0x04
000000bc: CALLDATALOAD
000000bd: PUSH1 0x08
000000bf: DUP2
000000c0: PUSH1 0x03
000000c2: DUP2
000000c3: LT
000000c4: ISZERO
000000c5: PUSH2 0x0002
000000c8: JUMPI
000000c9: POP
000000ca: ADD
000000cb: SLOAD
000000cc: PUSH1 0x01
000000ce: PUSH1 0xa0
000000d0: PUSH1 0x02
000000d2: EXP
000000d3: SUB
000000d4: AND
000000d5: DUP2
000000d6: JUMP
000000d7: JUMPDEST
000000d8: PUSH2 0x0480
000000db: PUSH1 0x04
000000dd: CALLDATALOAD
000000de: PUSH1 0x00
000000e0: DUP1
000000e1: SLOAD
000000e2: DUP3
000000e3: SWAP1
000000e4: DUP2
000000e5: LT
000000e6: ISZERO
000000e7: PUSH2 0x0002
000000ea: JUMPI
000000eb: POP
000000ec: DUP1
000000ed: MSTORE
000000ee: PUSH1 0x06
000000f0: MUL
000000f1: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e564
00000112: DUP2
00000113: ADD
00000114: SLOAD
00000115: PUSH1 0x00
00000117: DUP1
00000118: MLOAD
00000119: PUSH1 0x20
0000011b: PUSH2 0x0d98
0000011e: DUP4
0000011f: CODECOPY
00000120: DUP2
00000121: MLOAD
00000122: SWAP2
00000123: MSTORE
00000124: DUP3
00000125: ADD
00000126: SLOAD
00000127: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e567
00000148: DUP4
00000149: ADD
0000014a: SLOAD
0000014b: PUSH1 0x00
0000014d: DUP1
0000014e: MLOAD
0000014f: PUSH1 0x20
00000151: PUSH2 0x0db8
00000154: DUP4
00000155: CODECOPY
00000156: DUP2
00000157: MLOAD
00000158: SWAP2
00000159: MSTORE
0000015a: DUP5
0000015b: ADD
0000015c: SLOAD
0000015d: PUSH1 0x01
0000015f: PUSH1 0xa0
00000161: PUSH1 0x02
00000163: EXP
00000164: SUB
00000165: SWAP3
00000166: SWAP1
00000167: SWAP3
00000168: AND
00000169: SWAP4
0000016a: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e565
0000018b: DUP2
0000018c: ADD
0000018d: SWAP3
0000018e: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e566
000001af: SWAP2
000001b0: SWAP1
000001b1: SWAP2
000001b2: ADD
000001b3: SWAP2
000001b4: PUSH1 0xff
000001b6: AND
000001b7: SWAP1
000001b8: DUP7
000001b9: JUMP
000001ba: JUMPDEST
000001bb: PUSH2 0x05af
000001be: PUSH1 0x06
000001c0: SLOAD
000001c1: DUP2
000001c2: JUMP
000001c3: JUMPDEST
000001c4: PUSH2 0x045f
000001c7: PUSH1 0x04
000001c9: DUP1
000001ca: DUP1
000001cb: CALLDATALOAD
000001cc: SWAP1
000001cd: PUSH1 0x20
000001cf: ADD
000001d0: SWAP1
000001d1: DUP3
000001d2: ADD
000001d3: DUP1
000001d4: CALLDATALOAD
000001d5: SWAP1
000001d6: PUSH1 0x20
000001d8: ADD
000001d9: SWAP2
000001da: SWAP2
000001db: SWAP1
000001dc: DUP1
000001dd: DUP1
000001de: PUSH1 0x1f
000001e0: ADD
000001e1: PUSH1 0x20
000001e3: DUP1
000001e4: SWAP2
000001e5: DIV
000001e6: MUL
000001e7: PUSH1 0x20
000001e9: ADD
000001ea: PUSH1 0x40
000001ec: MLOAD
000001ed: SWAP1
000001ee: DUP2
000001ef: ADD
000001f0: PUSH1 0x40
000001f2: MSTORE
000001f3: DUP1
000001f4: SWAP4
000001f5: SWAP3
000001f6: SWAP2
000001f7: SWAP1
000001f8: DUP2
000001f9: DUP2
000001fa: MSTORE
000001fb: PUSH1 0x20
000001fd: ADD
000001fe: DUP4
000001ff: DUP4
00000200: DUP1
00000201: DUP3
00000202: DUP5
00000203: CALLDATACOPY
00000204: POP
00000205: POP
00000206: PUSH1 0x40
00000208: DUP1
00000209: MLOAD
0000020a: PUSH1 0x20
0000020c: DUP9
0000020d: CALLDATALOAD
0000020e: DUP1
0000020f: DUP12
00000210: ADD
00000211: CALLDATALOAD
00000212: PUSH1 0x1f
00000214: DUP2
00000215: ADD
00000216: DUP4
00000217: SWAP1
00000218: DIV
00000219: DUP4
0000021a: MUL
0000021b: DUP5
0000021c: ADD
0000021d: DUP4
0000021e: ADD
0000021f: SWAP1
00000220: SWAP5
00000221: MSTORE
00000222: DUP4
00000223: DUP4
00000224: MSTORE
00000225: SWAP8
00000226: SWAP10
00000227: SWAP9
00000228: PUSH1 0x44
0000022a: SWAP9
0000022b: SWAP3
0000022c: SWAP8
0000022d: POP
0000022e: SWAP2
0000022f: SWAP1
00000230: SWAP2
00000231: ADD
00000232: SWAP5
00000233: POP
00000234: SWAP1
00000235: SWAP3
00000236: POP
00000237: DUP3
00000238: SWAP2
00000239: POP
0000023a: DUP5
0000023b: ADD
0000023c: DUP4
0000023d: DUP3
0000023e: DUP1
0000023f: DUP3
00000240: DUP5
00000241: CALLDATACOPY
00000242: POP
00000243: SWAP5
00000244: SWAP7
00000245: POP
00000246: POP
00000247: SWAP4
00000248: CALLDATALOAD
00000249: SWAP4
0000024a: POP
0000024b: POP
0000024c: PUSH1 0x64
0000024e: CALLDATALOAD
0000024f: SWAP2
00000250: POP
00000251: POP
00000252: PUSH1 0x84
00000254: CALLDATALOAD
00000255: PUSH1 0x07
00000257: SLOAD
00000258: PUSH1 0x00
0000025a: SWAP1
0000025b: CALLVALUE
0000025c: LT
0000025d: ISZERO
0000025e: PUSH2 0x05c1
00000261: JUMPI
00000262: PUSH2 0x0002
00000265: JUMP
00000266: JUMPDEST
00000267: PUSH1 0x08
00000269: SLOAD
0000026a: PUSH2 0x045f
0000026d: SWAP1
0000026e: PUSH1 0x04
00000270: CALLDATALOAD
00000271: SWAP1
00000272: CALLER
00000273: PUSH1 0x01
00000275: PUSH1 0xa0
00000277: PUSH1 0x02
00000279: EXP
0000027a: SUB
0000027b: SWAP1
0000027c: DUP2
0000027d: AND
0000027e: SWAP2
0000027f: AND
00000280: EQ
00000281: DUP1
00000282: PUSH2 0x029a
00000285: JUMPI
00000286: POP
00000287: PUSH1 0x09
00000289: SLOAD
0000028a: PUSH1 0x01
0000028c: PUSH1 0xa0
0000028e: PUSH1 0x02
00000290: EXP
00000291: SUB
00000292: SWAP1
00000293: DUP2
00000294: AND
00000295: CALLER
00000296: SWAP1
00000297: SWAP2
00000298: AND
00000299: EQ
0000029a: JUMPDEST
0000029b: DUP1
0000029c: PUSH2 0x02b4
0000029f: JUMPI
000002a0: POP
000002a1: PUSH1 0x0a
000002a3: SLOAD
000002a4: PUSH1 0x01
000002a6: PUSH1 0xa0
000002a8: PUSH1 0x02
000002aa: EXP
000002ab: SUB
000002ac: SWAP1
000002ad: DUP2
000002ae: AND
000002af: CALLER
000002b0: SWAP1
000002b1: SWAP2
000002b2: AND
000002b3: EQ
000002b4: JUMPDEST
000002b5: ISZERO
000002b6: PUSH2 0x0329
000002b9: JUMPI
000002ba: PUSH1 0x07
000002bc: SSTORE
000002bd: JUMP
000002be: JUMPDEST
000002bf: PUSH2 0x05af
000002c2: PUSH1 0x07
000002c4: SLOAD
000002c5: DUP2
000002c6: JUMP
000002c7: JUMPDEST
000002c8: PUSH2 0x05af
000002cb: PUSH1 0x03
000002cd: SLOAD
000002ce: DUP2
000002cf: JUMP
000002d0: JUMPDEST
000002d1: PUSH1 0x08
000002d3: SLOAD
000002d4: PUSH2 0x045f
000002d7: SWAP1
000002d8: PUSH1 0x04
000002da: CALLDATALOAD
000002db: SWAP1
000002dc: CALLER
000002dd: PUSH1 0x01
000002df: PUSH1 0xa0
000002e1: PUSH1 0x02
000002e3: EXP
000002e4: SUB
000002e5: SWAP1
000002e6: DUP2
000002e7: AND
000002e8: SWAP2
000002e9: AND
000002ea: EQ
000002eb: DUP1
000002ec: PUSH2 0x0304
000002ef: JUMPI
000002f0: POP
000002f1: PUSH1 0x09
000002f3: SLOAD
000002f4: PUSH1 0x01
000002f6: PUSH1 0xa0
000002f8: PUSH1 0x02
000002fa: EXP
000002fb: SUB
000002fc: SWAP1
000002fd: DUP2
000002fe: AND
000002ff: CALLER
00000300: SWAP1
00000301: SWAP2
00000302: AND
00000303: EQ
00000304: JUMPDEST
00000305: DUP1
00000306: PUSH2 0x031e
00000309: JUMPI
0000030a: POP
0000030b: PUSH1 0x0a
0000030d: SLOAD
0000030e: PUSH1 0x01
00000310: PUSH1 0xa0
00000312: PUSH1 0x02
00000314: EXP
00000315: SUB
00000316: SWAP1
00000317: DUP2
00000318: AND
00000319: CALLER
0000031a: SWAP1
0000031b: SWAP2
0000031c: AND
0000031d: EQ
0000031e: JUMPDEST
0000031f: ISZERO
00000320: PUSH2 0x0329
00000323: JUMPI
00000324: PUSH1 0x05
00000326: DUP2
00000327: SWAP1
00000328: SSTORE
00000329: JUMPDEST
0000032a: POP
0000032b: JUMP
0000032c: JUMPDEST
0000032d: PUSH2 0x05af
00000330: PUSH1 0x01
00000332: SLOAD
00000333: DUP2
00000334: JUMP
00000335: JUMPDEST
00000336: PUSH1 0x08
00000338: SLOAD
00000339: PUSH2 0x045f
0000033c: SWAP1
0000033d: PUSH1 0x04
0000033f: CALLDATALOAD
00000340: SWAP1
00000341: PUSH1 0x00
00000343: SWAP1
00000344: CALLER
00000345: PUSH1 0x01
00000347: PUSH1 0xa0
00000349: PUSH1 0x02
0000034b: EXP
0000034c: SUB
0000034d: SWAP1
0000034e: DUP2
0000034f: AND
00000350: SWAP2
00000351: AND
00000352: EQ
00000353: DUP1
00000354: PUSH2 0x036c
00000357: JUMPI
00000358: POP
00000359: PUSH1 0x09
0000035b: SLOAD
0000035c: PUSH1 0x01
0000035e: PUSH1 0xa0
00000360: PUSH1 0x02
00000362: EXP
00000363: SUB
00000364: SWAP1
00000365: DUP2
00000366: AND
00000367: CALLER
00000368: SWAP1
00000369: SWAP2
0000036a: AND
0000036b: EQ
0000036c: JUMPDEST
0000036d: DUP1
0000036e: PUSH2 0x0386
00000371: JUMPI
00000372: POP
00000373: PUSH1 0x0a
00000375: SLOAD
00000376: PUSH1 0x01
00000378: PUSH1 0xa0
0000037a: PUSH1 0x02
0000037c: EXP
0000037d: SUB
0000037e: SWAP1
0000037f: DUP2
00000380: AND
00000381: CALLER
00000382: SWAP1
00000383: SWAP2
00000384: AND
00000385: EQ
00000386: JUMPDEST
00000387: ISZERO
00000388: PUSH2 0x0b0a
0000038b: JUMPI
0000038c: POP
0000038d: PUSH1 0x00
0000038f: JUMPDEST
00000390: PUSH1 0x03
00000392: DUP2
00000393: LT
00000394: ISZERO
00000395: PUSH2 0x0b0a
00000398: JUMPI
00000399: PUSH1 0x08
0000039b: DUP2
0000039c: PUSH1 0x03
0000039e: DUP2
0000039f: LT
000003a0: ISZERO
000003a1: PUSH2 0x0002
000003a4: JUMPI
000003a5: ADD
000003a6: SLOAD
000003a7: PUSH1 0x01
000003a9: PUSH1 0xa0
000003ab: PUSH1 0x02
000003ad: EXP
000003ae: SUB
000003af: SWAP1
000003b0: DUP2
000003b1: AND
000003b2: CALLER
000003b3: SWAP1
000003b4: SWAP2
000003b5: AND
000003b6: EQ
000003b7: ISZERO
000003b8: PUSH2 0x03db
000003bb: JUMPI
000003bc: DUP2
000003bd: PUSH1 0x08
000003bf: DUP3
000003c0: PUSH1 0x03
000003c2: DUP2
000003c3: LT
000003c4: ISZERO
000003c5: PUSH2 0x0002
000003c8: JUMPI
000003c9: ADD
000003ca: DUP1
000003cb: SLOAD
000003cc: PUSH1 0x01
000003ce: PUSH1 0xa0
000003d0: PUSH1 0x02
000003d2: EXP
000003d3: SUB
000003d4: NOT
000003d5: AND
000003d6: SWAP1
000003d7: SWAP2
000003d8: OR
000003d9: SWAP1
000003da: SSTORE
000003db: JUMPDEST
000003dc: PUSH2 0x038f
000003df: JUMP
000003e0: JUMPDEST
000003e1: PUSH2 0x05af
000003e4: PUSH1 0x04
000003e6: SLOAD
000003e7: DUP2
000003e8: JUMP
000003e9: JUMPDEST
000003ea: PUSH2 0x05af
000003ed: PUSH1 0x02
000003ef: SLOAD
000003f0: DUP2
000003f1: JUMP
000003f2: JUMPDEST
000003f3: PUSH2 0x05af
000003f6: PUSH1 0x05
000003f8: SLOAD
000003f9: DUP2
000003fa: JUMP
000003fb: JUMPDEST
000003fc: PUSH1 0x08
000003fe: SLOAD
000003ff: PUSH2 0x045f
00000402: SWAP1
00000403: PUSH1 0x00
00000405: SWAP1
00000406: DUP2
00000407: SWAP1
00000408: CALLER
00000409: PUSH1 0x01
0000040b: PUSH1 0xa0
0000040d: PUSH1 0x02
0000040f: EXP
00000410: SUB
00000411: SWAP1
00000412: DUP2
00000413: AND
00000414: SWAP2
00000415: AND
00000416: EQ
00000417: DUP1
00000418: PUSH2 0x0430
0000041b: JUMPI
0000041c: POP
0000041d: PUSH1 0x09
0000041f: SLOAD
00000420: PUSH1 0x01
00000422: PUSH1 0xa0
00000424: PUSH1 0x02
00000426: EXP
00000427: SUB
00000428: SWAP1
00000429: DUP2
0000042a: AND
0000042b: CALLER
0000042c: SWAP1
0000042d: SWAP2
0000042e: AND
0000042f: EQ
00000430: JUMPDEST
00000431: DUP1
00000432: PUSH2 0x044a
00000435: JUMPI
00000436: POP
00000437: PUSH1 0x0a
00000439: SLOAD
0000043a: PUSH1 0x01
0000043c: PUSH1 0xa0
0000043e: PUSH1 0x02
00000440: EXP
00000441: SUB
00000442: SWAP1
00000443: DUP2
00000444: AND
00000445: CALLER
00000446: SWAP1
00000447: SWAP2
00000448: AND
00000449: EQ
0000044a: JUMPDEST
0000044b: ISZERO
0000044c: PUSH2 0x0b0a
0000044f: JUMPI
00000450: PUSH1 0x03
00000452: SLOAD
00000453: PUSH1 0x00
00000455: EQ
00000456: ISZERO
00000457: PUSH2 0x0b0e
0000045a: JUMPI
0000045b: PUSH2 0x0b0a
0000045e: JUMP
0000045f: JUMPDEST
00000460: STOP
00000461: JUMPDEST
00000462: JUMP
00000463: JUMPDEST
00000464: PUSH1 0x40
00000466: DUP1
00000467: MLOAD
00000468: PUSH1 0x01
0000046a: PUSH1 0xa0
0000046c: PUSH1 0x02
0000046e: EXP
0000046f: SUB
00000470: SWAP3
00000471: SWAP1
00000472: SWAP3
00000473: AND
00000474: DUP3
00000475: MSTORE
00000476: MLOAD
00000477: SWAP1
00000478: DUP2
00000479: SWAP1
0000047a: SUB
0000047b: PUSH1 0x20
0000047d: ADD
0000047e: SWAP1
0000047f: RETURN
00000480: JUMPDEST
00000481: PUSH1 0x40
00000483: DUP1
00000484: MLOAD
00000485: PUSH1 0x01
00000487: PUSH1 0xa0
00000489: PUSH1 0x02
0000048b: EXP
0000048c: SUB
0000048d: DUP9
0000048e: AND
0000048f: DUP2
00000490: MSTORE
00000491: PUSH1 0x20
00000493: DUP2
00000494: ADD
00000495: DUP8
00000496: SWAP1
00000497: MSTORE
00000498: PUSH1 0xff
0000049a: DUP5
0000049b: AND
0000049c: PUSH1 0x80
0000049e: DUP3
0000049f: ADD
000004a0: MSTORE
000004a1: PUSH1 0xa0
000004a3: DUP2
000004a4: ADD
000004a5: DUP4
000004a6: SWAP1
000004a7: MSTORE
000004a8: PUSH1 0xc0
000004aa: SWAP2
000004ab: DUP2
000004ac: ADD
000004ad: DUP3
000004ae: DUP2
000004af: MSTORE
000004b0: DUP7
000004b1: SLOAD
000004b2: PUSH1 0x02
000004b4: PUSH1 0x01
000004b6: DUP3
000004b7: AND
000004b8: ISZERO
000004b9: PUSH2 0x0100
000004bc: MUL
000004bd: PUSH1 0x00
000004bf: NOT
000004c0: ADD
000004c1: SWAP1
000004c2: SWAP2
000004c3: AND
000004c4: DIV
000004c5: SWAP3
000004c6: DUP3
000004c7: ADD
000004c8: DUP4
000004c9: SWAP1
000004ca: MSTORE
000004cb: SWAP1
000004cc: SWAP2
000004cd: PUSH1 0x60
000004cf: DUP4
000004d0: ADD
000004d1: SWAP1
000004d2: PUSH1 0xe0
000004d4: DUP5
000004d5: ADD
000004d6: SWAP1
000004d7: DUP9
000004d8: SWAP1
000004d9: DUP1
000004da: ISZERO
000004db: PUSH2 0x0525
000004de: JUMPI
000004df: DUP1
000004e0: PUSH1 0x1f
000004e2: LT
000004e3: PUSH2 0x04fa
000004e6: JUMPI
000004e7: PUSH2 0x0100
000004ea: DUP1
000004eb: DUP4
000004ec: SLOAD
000004ed: DIV
000004ee: MUL
000004ef: DUP4
000004f0: MSTORE
000004f1: SWAP2
000004f2: PUSH1 0x20
000004f4: ADD
000004f5: SWAP2
000004f6: PUSH2 0x0525
000004f9: JUMP
000004fa: JUMPDEST
000004fb: DUP3
000004fc: ADD
000004fd: SWAP2
000004fe: SWAP1
000004ff: PUSH1 0x00
00000501: MSTORE
00000502: PUSH1 0x20
00000504: PUSH1 0x00
00000506: KECCAK256
00000507: SWAP1
00000508: JUMPDEST
00000509: DUP2
0000050a: SLOAD
0000050b: DUP2
0000050c: MSTORE
0000050d: SWAP1
0000050e: PUSH1 0x01
00000510: ADD
00000511: SWAP1
00000512: PUSH1 0x20
00000514: ADD
00000515: DUP1
00000516: DUP4
00000517: GT
00000518: PUSH2 0x0508
0000051b: JUMPI
0000051c: DUP3
0000051d: SWAP1
0000051e: SUB
0000051f: PUSH1 0x1f
00000521: AND
00000522: DUP3
00000523: ADD
00000524: SWAP2
00000525: JUMPDEST
00000526: POP
00000527: POP
00000528: DUP4
00000529: DUP2
0000052a: SUB
0000052b: DUP3
0000052c: MSTORE
0000052d: DUP7
0000052e: SLOAD
0000052f: PUSH1 0x02
00000531: PUSH1 0x01
00000533: DUP3
00000534: AND
00000535: ISZERO
00000536: PUSH2 0x0100
00000539: MUL
0000053a: PUSH1 0x00
0000053c: NOT
0000053d: ADD
0000053e: SWAP1
0000053f: SWAP2
00000540: AND
00000541: DIV
00000542: DUP1
00000543: DUP3
00000544: MSTORE
00000545: PUSH1 0x20
00000547: SWAP2
00000548: SWAP1
00000549: SWAP2
0000054a: ADD
0000054b: SWAP1
0000054c: DUP8
0000054d: SWAP1
0000054e: DUP1
0000054f: ISZERO
00000550: PUSH2 0x059a
00000553: JUMPI
00000554: DUP1
00000555: PUSH1 0x1f
00000557: LT
00000558: PUSH2 0x056f
0000055b: JUMPI
0000055c: PUSH2 0x0100
0000055f: DUP1
00000560: DUP4
00000561: SLOAD
00000562: DIV
00000563: MUL
00000564: DUP4
00000565: MSTORE
00000566: SWAP2
00000567: PUSH1 0x20
00000569: ADD
0000056a: SWAP2
0000056b: PUSH2 0x059a
0000056e: JUMP
0000056f: JUMPDEST
00000570: DUP3
00000571: ADD
00000572: SWAP2
00000573: SWAP1
00000574: PUSH1 0x00
00000576: MSTORE
00000577: PUSH1 0x20
00000579: PUSH1 0x00
0000057b: KECCAK256
0000057c: SWAP1
0000057d: JUMPDEST
0000057e: DUP2
0000057f: SLOAD
00000580: DUP2
00000581: MSTORE
00000582: SWAP1
00000583: PUSH1 0x01
00000585: ADD
00000586: SWAP1
00000587: PUSH1 0x20
00000589: ADD
0000058a: DUP1
0000058b: DUP4
0000058c: GT
0000058d: PUSH2 0x057d
00000590: JUMPI
00000591: DUP3
00000592: SWAP1
00000593: SUB
00000594: PUSH1 0x1f
00000596: AND
00000597: DUP3
00000598: ADD
00000599: SWAP2
0000059a: JUMPDEST
0000059b: POP
0000059c: POP
0000059d: SWAP9
0000059e: POP
0000059f: POP
000005a0: POP
000005a1: POP
000005a2: POP
000005a3: POP
000005a4: POP
000005a5: POP
000005a6: POP
000005a7: PUSH1 0x40
000005a9: MLOAD
000005aa: DUP1
000005ab: SWAP2
000005ac: SUB
000005ad: SWAP1
000005ae: RETURN
000005af: JUMPDEST
000005b0: PUSH1 0x40
000005b2: DUP1
000005b3: MLOAD
000005b4: SWAP2
000005b5: DUP3
000005b6: MSTORE
000005b7: MLOAD
000005b8: SWAP1
000005b9: DUP2
000005ba: SWAP1
000005bb: SUB
000005bc: PUSH1 0x20
000005be: ADD
000005bf: SWAP1
000005c0: RETURN
000005c1: JUMPDEST
000005c2: PUSH1 0x64
000005c4: DUP7
000005c5: MLOAD
000005c6: GT
000005c7: DUP1
000005c8: PUSH2 0x05d2
000005cb: JUMPI
000005cc: POP
000005cd: PUSH1 0x32
000005cf: DUP6
000005d0: MLOAD
000005d1: GT
000005d2: JUMPDEST
000005d3: ISZERO
000005d4: PUSH2 0x05dc
000005d7: JUMPI
000005d8: PUSH2 0x0002
000005db: JUMP
000005dc: JUMPDEST
000005dd: PUSH2 0x0621
000005e0: PUSH1 0x05
000005e2: SLOAD
000005e3: PUSH1 0x04
000005e5: SLOAD
000005e6: ADD
000005e7: TIMESTAMP
000005e8: GT
000005e9: ISZERO
000005ea: PUSH2 0x0461
000005ed: JUMPI
000005ee: PUSH1 0x00
000005f0: PUSH1 0x00
000005f2: PUSH1 0x00
000005f4: POP
000005f5: DUP2
000005f6: DUP2
000005f7: SLOAD
000005f8: DUP2
000005f9: DUP4
000005fa: SSTORE
000005fb: DUP2
000005fc: DUP2
000005fd: ISZERO
000005fe: GT
000005ff: PUSH2 0x0cbb
00000602: JUMPI
00000603: PUSH1 0x06
00000605: MUL
00000606: DUP2
00000607: PUSH1 0x06
00000609: MUL
0000060a: DUP4
0000060b: PUSH1 0x00
0000060d: MSTORE
0000060e: PUSH1 0x20
00000610: PUSH1 0x00
00000612: KECCAK256
00000613: SWAP2
00000614: DUP3
00000615: ADD
00000616: SWAP2
00000617: ADD
00000618: PUSH2 0x0cbb
0000061b: SWAP2
0000061c: SWAP1
0000061d: PUSH2 0x0cdf
00000620: JUMP
00000621: JUMPDEST
00000622: POP
00000623: PUSH1 0x00
00000625: DUP1
00000626: SLOAD
00000627: PUSH1 0x01
00000629: DUP2
0000062a: ADD
0000062b: DUP1
0000062c: DUP4
0000062d: SSTORE
0000062e: SWAP1
0000062f: SWAP2
00000630: DUP2
00000631: DUP4
00000632: DUP1
00000633: ISZERO
00000634: DUP3
00000635: SWAP1
00000636: GT
00000637: PUSH2 0x0659
0000063a: JUMPI
0000063b: PUSH1 0x06
0000063d: MUL
0000063e: DUP2
0000063f: PUSH1 0x06
00000641: MUL
00000642: DUP4
00000643: PUSH1 0x00
00000645: MSTORE
00000646: PUSH1 0x20
00000648: PUSH1 0x00
0000064a: KECCAK256
0000064b: SWAP2
0000064c: DUP3
0000064d: ADD
0000064e: SWAP2
0000064f: ADD
00000650: PUSH2 0x0659
00000653: SWAP2
00000654: SWAP1
00000655: PUSH2 0x0771
00000658: JUMP
00000659: JUMPDEST
0000065a: POP
0000065b: POP
0000065c: POP
0000065d: POP
0000065e: CALLER
0000065f: PUSH1 0x00
00000661: PUSH1 0x00
00000663: POP
00000664: DUP3
00000665: DUP2
00000666: SLOAD
00000667: DUP2
00000668: LT
00000669: ISZERO
0000066a: PUSH2 0x0002
0000066d: JUMPI
0000066e: DUP2
0000066f: DUP1
00000670: MSTORE
00000671: PUSH1 0x06
00000673: DUP2
00000674: MUL
00000675: PUSH1 0x00
00000677: DUP1
00000678: MLOAD
00000679: PUSH1 0x20
0000067b: PUSH2 0x0d98
0000067e: DUP4
0000067f: CODECOPY
00000680: DUP2
00000681: MLOAD
00000682: SWAP2
00000683: MSTORE
00000684: ADD
00000685: DUP1
00000686: SLOAD
00000687: PUSH1 0x01
00000689: PUSH1 0xa0
0000068b: PUSH1 0x02
0000068d: EXP
0000068e: SUB
0000068f: NOT
00000690: AND
00000691: SWAP1
00000692: SWAP4
00000693: OR
00000694: SWAP1
00000695: SWAP3
00000696: SSTORE
00000697: DUP1
00000698: SLOAD
00000699: CALLVALUE
0000069a: SWAP3
0000069b: POP
0000069c: DUP4
0000069d: SWAP1
0000069e: DUP2
0000069f: LT
000006a0: ISZERO
000006a1: PUSH2 0x0002
000006a4: JUMPI
000006a5: PUSH1 0x06
000006a7: DUP2
000006a8: MUL
000006a9: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e564
000006ca: ADD
000006cb: SWAP3
000006cc: SWAP1
000006cd: SWAP3
000006ce: SSTORE
000006cf: DUP1
000006d0: SLOAD
000006d1: DUP9
000006d2: SWAP3
000006d3: POP
000006d4: DUP4
000006d5: SWAP1
000006d6: DUP2
000006d7: LT
000006d8: ISZERO
000006d9: PUSH2 0x0002
000006dc: JUMPI
000006dd: POP
000006de: SWAP1
000006df: MLOAD
000006e0: PUSH1 0x06
000006e2: DUP4
000006e3: MUL
000006e4: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e565
00000705: ADD
00000706: DUP1
00000707: SLOAD
00000708: DUP2
00000709: DUP5
0000070a: MSTORE
0000070b: PUSH1 0x20
0000070d: SWAP4
0000070e: DUP5
0000070f: SWAP1
00000710: KECCAK256
00000711: SWAP2
00000712: SWAP4
00000713: PUSH1 0x02
00000715: PUSH1 0x01
00000717: DUP4
00000718: AND
00000719: ISZERO
0000071a: PUSH2 0x0100
0000071d: MUL
0000071e: PUSH1 0x00
00000720: NOT
00000721: ADD
00000722: SWAP1
00000723: SWAP3
00000724: AND
00000725: SWAP2
00000726: SWAP1
00000727: SWAP2
00000728: DIV
00000729: PUSH1 0x1f
0000072b: SWAP1
0000072c: DUP2
0000072d: ADD
0000072e: DUP3
0000072f: SWAP1
00000730: DIV
00000731: DUP4
00000732: ADD
00000733: SWAP4
00000734: SWAP3
00000735: SWAP2
00000736: DUP12
00000737: ADD
00000738: SWAP1
00000739: DUP4
0000073a: SWAP1
0000073b: LT
0000073c: PUSH2 0x0832
0000073f: JUMPI
00000740: DUP1
00000741: MLOAD
00000742: PUSH1 0xff
00000744: NOT
00000745: AND
00000746: DUP4
00000747: DUP1
00000748: ADD
00000749: OR
0000074a: DUP6
0000074b: SSTORE
0000074c: JUMPDEST
0000074d: POP
0000074e: PUSH2 0x0862
00000751: SWAP3
00000752: SWAP2
00000753: POP
00000754: PUSH2 0x07fc
00000757: JUMP
00000758: JUMPDEST
00000759: POP
0000075a: POP
0000075b: PUSH1 0x04
0000075d: DUP2
0000075e: ADD
0000075f: DUP1
00000760: SLOAD
00000761: PUSH1 0xff
00000763: NOT
00000764: AND
00000765: SWAP1
00000766: SSTORE
00000767: PUSH1 0x00
00000769: PUSH1 0x05
0000076b: DUP3
0000076c: ADD
0000076d: SSTORE
0000076e: PUSH1 0x01
00000770: ADD
00000771: JUMPDEST
00000772: DUP1
00000773: DUP3
00000774: GT
00000775: ISZERO
00000776: PUSH2 0x0810
00000779: JUMPI
0000077a: DUP1
0000077b: SLOAD
0000077c: PUSH1 0x01
0000077e: PUSH1 0xa0
00000780: PUSH1 0x02
00000782: EXP
00000783: SUB
00000784: NOT
00000785: AND
00000786: DUP2
00000787: SSTORE
00000788: PUSH1 0x00
0000078a: PUSH1 0x01
0000078c: DUP3
0000078d: DUP2
0000078e: ADD
0000078f: DUP3
00000790: SWAP1
00000791: SSTORE
00000792: PUSH1 0x02
00000794: DUP4
00000795: DUP2
00000796: ADD
00000797: DUP1
00000798: SLOAD
00000799: DUP5
0000079a: DUP3
0000079b: SSTORE
0000079c: SWAP1
0000079d: SWAP3
0000079e: DUP2
0000079f: AND
000007a0: ISZERO
000007a1: PUSH2 0x0100
000007a4: MUL
000007a5: PUSH1 0x00
000007a7: NOT
000007a8: ADD
000007a9: AND
000007aa: DIV
000007ab: PUSH1 0x1f
000007ad: DUP2
000007ae: SWAP1
000007af: LT
000007b0: PUSH2 0x07e2
000007b3: JUMPI
000007b4: POP
000007b5: JUMPDEST
000007b6: POP
000007b7: PUSH1 0x03
000007b9: DUP3
000007ba: ADD
000007bb: PUSH1 0x00
000007bd: POP
000007be: DUP1
000007bf: SLOAD
000007c0: PUSH1 0x01
000007c2: DUP2
000007c3: PUSH1 0x01
000007c5: AND
000007c6: ISZERO
000007c7: PUSH2 0x0100
000007ca: MUL
000007cb: SUB
000007cc: AND
000007cd: PUSH1 0x02
000007cf: SWAP1
000007d0: DIV
000007d1: PUSH1 0x00
000007d3: DUP3
000007d4: SSTORE
000007d5: DUP1
000007d6: PUSH1 0x1f
000007d8: LT
000007d9: PUSH2 0x0814
000007dc: JUMPI
000007dd: POP
000007de: PUSH2 0x0758
000007e1: JUMP
000007e2: JUMPDEST
000007e3: PUSH1 0x1f
000007e5: ADD
000007e6: PUSH1 0x20
000007e8: SWAP1
000007e9: DIV
000007ea: SWAP1
000007eb: PUSH1 0x00
000007ed: MSTORE
000007ee: PUSH1 0x20
000007f0: PUSH1 0x00
000007f2: KECCAK256
000007f3: SWAP1
000007f4: DUP2
000007f5: ADD
000007f6: SWAP1
000007f7: PUSH2 0x07b5
000007fa: SWAP2
000007fb: SWAP1
000007fc: JUMPDEST
000007fd: DUP1
000007fe: DUP3
000007ff: GT
00000800: ISZERO
00000801: PUSH2 0x0810
00000804: JUMPI
00000805: PUSH1 0x00
00000807: DUP2
00000808: SSTORE
00000809: PUSH1 0x01
0000080b: ADD
0000080c: PUSH2 0x07fc
0000080f: JUMP
00000810: JUMPDEST
00000811: POP
00000812: SWAP1
00000813: JUMP
00000814: JUMPDEST
00000815: PUSH1 0x1f
00000817: ADD
00000818: PUSH1 0x20
0000081a: SWAP1
0000081b: DIV
0000081c: SWAP1
0000081d: PUSH1 0x00
0000081f: MSTORE
00000820: PUSH1 0x20
00000822: PUSH1 0x00
00000824: KECCAK256
00000825: SWAP1
00000826: DUP2
00000827: ADD
00000828: SWAP1
00000829: PUSH2 0x0758
0000082c: SWAP2
0000082d: SWAP1
0000082e: PUSH2 0x07fc
00000831: JUMP
00000832: JUMPDEST
00000833: DUP3
00000834: DUP1
00000835: ADD
00000836: PUSH1 0x01
00000838: ADD
00000839: DUP6
0000083a: SSTORE
0000083b: DUP3
0000083c: ISZERO
0000083d: PUSH2 0x074c
00000840: JUMPI
00000841: SWAP2
00000842: DUP3
00000843: ADD
00000844: JUMPDEST
00000845: DUP3
00000846: DUP2
00000847: GT
00000848: ISZERO
00000849: PUSH2 0x074c
0000084c: JUMPI
0000084d: DUP3
0000084e: MLOAD
0000084f: DUP3
00000850: PUSH1 0x00
00000852: POP
00000853: SSTORE
00000854: SWAP2
00000855: PUSH1 0x20
00000857: ADD
00000858: SWAP2
00000859: SWAP1
0000085a: PUSH1 0x01
0000085c: ADD
0000085d: SWAP1
0000085e: PUSH2 0x0844
00000861: JUMP
00000862: JUMPDEST
00000863: POP
00000864: POP
00000865: DUP5
00000866: PUSH1 0x00
00000868: PUSH1 0x00
0000086a: POP
0000086b: DUP3
0000086c: DUP2
0000086d: SLOAD
0000086e: DUP2
0000086f: LT
00000870: ISZERO
00000871: PUSH2 0x0002
00000874: JUMPI
00000875: POP
00000876: DUP1
00000877: DUP1
00000878: MSTORE
00000879: PUSH1 0x06
0000087b: DUP4
0000087c: MUL
0000087d: PUSH1 0x00
0000087f: DUP1
00000880: MLOAD
00000881: PUSH1 0x20
00000883: PUSH2 0x0d98
00000886: DUP4
00000887: CODECOPY
00000888: DUP2
00000889: MLOAD
0000088a: SWAP2
0000088b: MSTORE
0000088c: ADD
0000088d: SWAP1
0000088e: POP
0000088f: PUSH1 0x03
00000891: ADD
00000892: PUSH1 0x00
00000894: POP
00000895: SWAP1
00000896: DUP1
00000897: MLOAD
00000898: SWAP1
00000899: PUSH1 0x20
0000089b: ADD
0000089c: SWAP1
0000089d: DUP3
0000089e: DUP1
0000089f: SLOAD
000008a0: PUSH1 0x01
000008a2: DUP2
000008a3: PUSH1 0x01
000008a5: AND
000008a6: ISZERO
000008a7: PUSH2 0x0100
000008aa: MUL
000008ab: SUB
000008ac: AND
000008ad: PUSH1 0x02
000008af: SWAP1
000008b0: DIV
000008b1: SWAP1
000008b2: PUSH1 0x00
000008b4: MSTORE
000008b5: PUSH1 0x20
000008b7: PUSH1 0x00
000008b9: KECCAK256
000008ba: SWAP1
000008bb: PUSH1 0x1f
000008bd: ADD
000008be: PUSH1 0x20
000008c0: SWAP1
000008c1: DIV
000008c2: DUP2
000008c3: ADD
000008c4: SWAP3
000008c5: DUP3
000008c6: PUSH1 0x1f
000008c8: LT
000008c9: PUSH2 0x08e5
000008cc: JUMPI
000008cd: DUP1
000008ce: MLOAD
000008cf: PUSH1 0xff
000008d1: NOT
000008d2: AND
000008d3: DUP4
000008d4: DUP1
000008d5: ADD
000008d6: OR
000008d7: DUP6
000008d8: SSTORE
000008d9: JUMPDEST
000008da: POP
000008db: PUSH2 0x0915
000008de: SWAP3
000008df: SWAP2
000008e0: POP
000008e1: PUSH2 0x07fc
000008e4: JUMP
000008e5: JUMPDEST
000008e6: DUP3
000008e7: DUP1
000008e8: ADD
000008e9: PUSH1 0x01
000008eb: ADD
000008ec: DUP6
000008ed: SSTORE
000008ee: DUP3
000008ef: ISZERO
000008f0: PUSH2 0x08d9
000008f3: JUMPI
000008f4: SWAP2
000008f5: DUP3
000008f6: ADD
000008f7: JUMPDEST
000008f8: DUP3
000008f9: DUP2
000008fa: GT
000008fb: ISZERO
000008fc: PUSH2 0x08d9
000008ff: JUMPI
00000900: DUP3
00000901: MLOAD
00000902: DUP3
00000903: PUSH1 0x00
00000905: POP
00000906: SSTORE
00000907: SWAP2
00000908: PUSH1 0x20
0000090a: ADD
0000090b: SWAP2
0000090c: SWAP1
0000090d: PUSH1 0x01
0000090f: ADD
00000910: SWAP1
00000911: PUSH2 0x08f7
00000914: JUMP
00000915: JUMPDEST
00000916: POP
00000917: POP
00000918: DUP3
00000919: PUSH1 0x00
0000091b: PUSH1 0x00
0000091d: POP
0000091e: DUP3
0000091f: DUP2
00000920: SLOAD
00000921: DUP2
00000922: LT
00000923: ISZERO
00000924: PUSH2 0x0002
00000927: JUMPI
00000928: POP
00000929: DUP1
0000092a: DUP1
0000092b: MSTORE
0000092c: PUSH1 0x06
0000092e: DUP4
0000092f: MUL
00000930: PUSH1 0x00
00000932: DUP1
00000933: MLOAD
00000934: PUSH1 0x20
00000936: PUSH2 0x0d98
00000939: DUP4
0000093a: CODECOPY
0000093b: DUP2
0000093c: MLOAD
0000093d: SWAP2
0000093e: MSTORE
0000093f: ADD
00000940: SWAP1
00000941: POP
00000942: PUSH1 0x04
00000944: ADD
00000945: DUP1
00000946: SLOAD
00000947: PUSH1 0xff
00000949: NOT
0000094a: AND
0000094b: SWAP1
0000094c: SWAP2
0000094d: OR
0000094e: SWAP1
0000094f: SSTORE
00000950: PUSH1 0x02
00000952: DUP1
00000953: SLOAD
00000954: CALLVALUE
00000955: ADD
00000956: SWAP1
00000957: SSTORE
00000958: PUSH1 0x06
0000095a: DUP5
0000095b: SWAP1
0000095c: SSTORE
0000095d: PUSH2 0x09e5
00000960: DUP2
00000961: DUP4
00000962: PUSH1 0x00
00000964: PUSH1 0x00
00000966: NOT
00000967: JUMPDEST
00000968: PUSH1 0x00
0000096a: SLOAD
0000096b: DUP3
0000096c: LT
0000096d: ISZERO
0000096e: PUSH2 0x09b3
00000971: JUMPI
00000972: DUP3
00000973: PUSH1 0x01
00000975: PUSH1 0xa0
00000977: PUSH1 0x02
00000979: EXP
0000097a: SUB
0000097b: AND
0000097c: PUSH1 0x00
0000097e: PUSH1 0x00
00000980: POP
00000981: DUP4
00000982: DUP2
00000983: SLOAD
00000984: DUP2
00000985: LT
00000986: ISZERO
00000987: PUSH2 0x0002
0000098a: JUMPI
0000098b: SWAP1
0000098c: DUP1
0000098d: MSTORE
0000098e: PUSH1 0x06
00000990: MUL
00000991: PUSH1 0x00
00000993: DUP1
00000994: MLOAD
00000995: PUSH1 0x20
00000997: PUSH2 0x0d98
0000099a: DUP4
0000099b: CODECOPY
0000099c: DUP2
0000099d: MLOAD
0000099e: SWAP2
0000099f: MSTORE
000009a0: ADD
000009a1: SLOAD
000009a2: PUSH1 0x01
000009a4: PUSH1 0xa0
000009a6: PUSH1 0x02
000009a8: EXP
000009a9: SUB
000009aa: AND
000009ab: EQ
000009ac: ISZERO
000009ad: PUSH2 0x0d8c
000009b0: JUMPI
000009b1: POP
000009b2: DUP1
000009b3: JUMPDEST
000009b4: DUP1
000009b5: PUSH1 0x00
000009b7: PUSH1 0x00
000009b9: POP
000009ba: DUP6
000009bb: DUP2
000009bc: SLOAD
000009bd: DUP2
000009be: LT
000009bf: ISZERO
000009c0: PUSH2 0x0002
000009c3: JUMPI
000009c4: DUP2
000009c5: DUP1
000009c6: MSTORE
000009c7: PUSH1 0x06
000009c9: MUL
000009ca: PUSH1 0x00
000009cc: DUP1
000009cd: MLOAD
000009ce: PUSH1 0x20
000009d0: PUSH2 0x0d98
000009d3: DUP4
000009d4: CODECOPY
000009d5: DUP2
000009d6: MLOAD
000009d7: SWAP2
000009d8: MSTORE
000009d9: ADD
000009da: SWAP1
000009db: POP
000009dc: PUSH1 0x05
000009de: ADD
000009df: SSTORE
000009e0: POP
000009e1: POP
000009e2: POP
000009e3: POP
000009e4: JUMP
000009e5: JUMPDEST
000009e6: PUSH2 0x0af8
000009e9: PUSH1 0x00
000009eb: PUSH1 0x00
000009ed: PUSH1 0x00
000009ef: PUSH1 0x00
000009f1: PUSH1 0x00
000009f3: PUSH1 0x00
000009f5: PUSH1 0x00
000009f7: POP
000009f8: PUSH1 0x01
000009fa: PUSH1 0x00
000009fc: POP
000009fd: SLOAD
000009fe: DUP2
000009ff: SLOAD
00000a00: DUP2
00000a01: LT
00000a02: ISZERO
00000a03: PUSH2 0x0002
00000a06: JUMPI
00000a07: SWAP1
00000a08: DUP1
00000a09: MSTORE
00000a0a: PUSH1 0x06
00000a0c: MUL
00000a0d: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e564
00000a2e: ADD
00000a2f: SLOAD
00000a30: PUSH1 0x02
00000a32: MUL
00000a33: SWAP5
00000a34: POP
00000a35: JUMPDEST
00000a36: PUSH1 0x02
00000a38: SLOAD
00000a39: DUP6
00000a3a: SWAP1
00000a3b: LT
00000a3c: PUSH2 0x0b55
00000a3f: JUMPI
00000a40: PUSH1 0x00
00000a42: DUP1
00000a43: SLOAD
00000a44: PUSH1 0x01
00000a46: SLOAD
00000a47: SWAP1
00000a48: DUP2
00000a49: LT
00000a4a: ISZERO
00000a4b: PUSH2 0x0002
00000a4e: JUMPI
00000a4f: DUP2
00000a50: DUP1
00000a51: MSTORE
00000a52: PUSH1 0x40
00000a54: MLOAD
00000a55: PUSH1 0x06
00000a57: SWAP2
00000a58: SWAP1
00000a59: SWAP2
00000a5a: MUL
00000a5b: PUSH1 0x00
00000a5d: DUP1
00000a5e: MLOAD
00000a5f: PUSH1 0x20
00000a61: PUSH2 0x0d98
00000a64: DUP4
00000a65: CODECOPY
00000a66: DUP2
00000a67: MLOAD
00000a68: SWAP2
00000a69: MSTORE
00000a6a: ADD
00000a6b: SLOAD
00000a6c: PUSH1 0x01
00000a6e: PUSH1 0xa0
00000a70: PUSH1 0x02
00000a72: EXP
00000a73: SUB
00000a74: AND
00000a75: SWAP2
00000a76: SWAP1
00000a77: PUSH1 0x50
00000a79: PUSH1 0x64
00000a7b: DUP10
00000a7c: DIV
00000a7d: MUL
00000a7e: SWAP1
00000a7f: DUP3
00000a80: DUP2
00000a81: DUP2
00000a82: DUP2
00000a83: DUP6
00000a84: DUP9
00000a85: DUP4
00000a86: CALL
00000a87: POP
00000a88: POP
00000a89: PUSH1 0x03
00000a8b: DUP1
00000a8c: SLOAD
00000a8d: PUSH1 0x64
00000a8f: DUP11
00000a90: DIV
00000a91: PUSH1 0x0f
00000a93: SWAP1
00000a94: DUP2
00000a95: MUL
00000a96: SWAP1
00000a97: SWAP2
00000a98: ADD
00000a99: SWAP1
00000a9a: SWAP2
00000a9b: SSTORE
00000a9c: PUSH1 0x01
00000a9e: SLOAD
00000a9f: DUP4
00000aa0: SLOAD
00000aa1: PUSH2 0x03e8
00000aa4: DUP12
00000aa5: DIV
00000aa6: PUSH1 0x19
00000aa8: DUP2
00000aa9: MUL
00000aaa: SWAP11
00000aab: POP
00000aac: SWAP3
00000aad: DUP4
00000aae: MUL
00000aaf: SWAP9
00000ab0: POP
00000ab1: PUSH1 0x0a
00000ab3: SWAP3
00000ab4: SWAP1
00000ab5: SWAP3
00000ab6: MUL
00000ab7: SWAP7
00000ab8: POP
00000ab9: SWAP3
00000aba: SWAP4
00000abb: POP
00000abc: DUP3
00000abd: LT
00000abe: ISZERO
00000abf: SWAP1
00000ac0: POP
00000ac1: PUSH2 0x0002
00000ac4: JUMPI
00000ac5: SWAP1
00000ac6: DUP1
00000ac7: MSTORE
00000ac8: PUSH1 0x06
00000aca: MUL
00000acb: PUSH1 0x00
00000acd: DUP1
00000ace: MLOAD
00000acf: PUSH1 0x20
00000ad1: PUSH2 0x0db8
00000ad4: DUP4
00000ad5: CODECOPY
00000ad6: DUP2
00000ad7: MLOAD
00000ad8: SWAP2
00000ad9: MSTORE
00000ada: ADD
00000adb: SLOAD
00000adc: SWAP1
00000add: POP
00000ade: PUSH1 0x00
00000ae0: NOT
00000ae1: DUP2
00000ae2: EQ
00000ae3: ISZERO
00000ae4: PUSH2 0x0b5c
00000ae7: JUMPI
00000ae8: PUSH1 0x02
00000aea: DUP1
00000aeb: SLOAD
00000aec: DUP6
00000aed: DUP6
00000aee: ADD
00000aef: DUP5
00000af0: ADD
00000af1: ADD
00000af2: SWAP1
00000af3: SSTORE
00000af4: PUSH2 0x0ca5
00000af7: JUMP
00000af8: JUMPDEST
00000af9: TIMESTAMP
00000afa: PUSH1 0x04
00000afc: SSTORE
00000afd: POP
00000afe: POP
00000aff: POP
00000b00: POP
00000b01: POP
00000b02: POP
00000b03: JUMP
00000b04: JUMPDEST
00000b05: PUSH1 0x00
00000b07: PUSH1 0x03
00000b09: SSTORE
00000b0a: JUMPDEST
00000b0b: POP
00000b0c: POP
00000b0d: JUMP
00000b0e: JUMPDEST
00000b0f: POP
00000b10: POP
00000b11: PUSH1 0x03
00000b13: DUP1
00000b14: SLOAD
00000b15: DIV
00000b16: PUSH1 0x00
00000b18: JUMPDEST
00000b19: PUSH1 0x03
00000b1b: DUP2
00000b1c: LT
00000b1d: ISZERO
00000b1e: PUSH2 0x0b04
00000b21: JUMPI
00000b22: PUSH1 0x08
00000b24: DUP2
00000b25: PUSH1 0x03
00000b27: DUP2
00000b28: LT
00000b29: ISZERO
00000b2a: PUSH2 0x0002
00000b2d: JUMPI
00000b2e: PUSH1 0x40
00000b30: MLOAD
00000b31: SWAP2
00000b32: ADD
00000b33: SLOAD
00000b34: PUSH1 0x01
00000b36: PUSH1 0xa0
00000b38: PUSH1 0x02
00000b3a: EXP
00000b3b: SUB
00000b3c: AND
00000b3d: SWAP1
00000b3e: PUSH1 0x00
00000b40: SWAP1
00000b41: DUP5
00000b42: SWAP1
00000b43: DUP3
00000b44: DUP2
00000b45: DUP2
00000b46: DUP2
00000b47: DUP6
00000b48: DUP9
00000b49: DUP4
00000b4a: CALL
00000b4b: SWAP4
00000b4c: POP
00000b4d: POP
00000b4e: POP
00000b4f: POP
00000b50: POP
00000b51: PUSH2 0x0b18
00000b54: JUMP
00000b55: JUMPDEST
00000b56: POP
00000b57: POP
00000b58: POP
00000b59: POP
00000b5a: POP
00000b5b: JUMP
00000b5c: JUMPDEST
00000b5d: PUSH1 0x00
00000b5f: DUP1
00000b60: SLOAD
00000b61: DUP3
00000b62: SWAP1
00000b63: DUP2
00000b64: LT
00000b65: ISZERO
00000b66: PUSH2 0x0002
00000b69: JUMPI
00000b6a: DUP2
00000b6b: DUP1
00000b6c: MSTORE
00000b6d: PUSH1 0x40
00000b6f: MLOAD
00000b70: PUSH1 0x06
00000b72: SWAP2
00000b73: SWAP1
00000b74: SWAP2
00000b75: MUL
00000b76: PUSH1 0x00
00000b78: DUP1
00000b79: MLOAD
00000b7a: PUSH1 0x20
00000b7c: PUSH2 0x0d98
00000b7f: DUP4
00000b80: CODECOPY
00000b81: DUP2
00000b82: MLOAD
00000b83: SWAP2
00000b84: MSTORE
00000b85: ADD
00000b86: SLOAD
00000b87: PUSH1 0x01
00000b89: PUSH1 0xa0
00000b8b: PUSH1 0x02
00000b8d: EXP
00000b8e: SUB
00000b8f: AND
00000b90: SWAP2
00000b91: SWAP1
00000b92: DUP7
00000b93: SWAP1
00000b94: DUP3
00000b95: DUP2
00000b96: DUP2
00000b97: DUP2
00000b98: DUP6
00000b99: DUP9
00000b9a: DUP4
00000b9b: CALL
00000b9c: POP
00000b9d: POP
00000b9e: DUP2
00000b9f: SLOAD
00000ba0: SWAP2
00000ba1: SWAP3
00000ba2: POP
00000ba3: DUP4
00000ba4: SWAP2
00000ba5: DUP3
00000ba6: LT
00000ba7: ISZERO
00000ba8: SWAP1
00000ba9: POP
00000baa: PUSH2 0x0002
00000bad: JUMPI
00000bae: SWAP1
00000baf: DUP1
00000bb0: MSTORE
00000bb1: PUSH1 0x06
00000bb3: MUL
00000bb4: PUSH1 0x00
00000bb6: DUP1
00000bb7: MLOAD
00000bb8: PUSH1 0x20
00000bba: PUSH2 0x0db8
00000bbd: DUP4
00000bbe: CODECOPY
00000bbf: DUP2
00000bc0: MLOAD
00000bc1: SWAP2
00000bc2: MSTORE
00000bc3: ADD
00000bc4: SLOAD
00000bc5: SWAP1
00000bc6: POP
00000bc7: PUSH1 0x00
00000bc9: NOT
00000bca: DUP2
00000bcb: EQ
00000bcc: ISZERO
00000bcd: PUSH2 0x0bdf
00000bd0: JUMPI
00000bd1: PUSH1 0x02
00000bd3: DUP1
00000bd4: SLOAD
00000bd5: DUP5
00000bd6: DUP5
00000bd7: ADD
00000bd8: ADD
00000bd9: SWAP1
00000bda: SSTORE
00000bdb: PUSH2 0x0ca5
00000bde: JUMP
00000bdf: JUMPDEST
00000be0: PUSH1 0x00
00000be2: DUP1
00000be3: SLOAD
00000be4: DUP3
00000be5: SWAP1
00000be6: DUP2
00000be7: LT
00000be8: ISZERO
00000be9: PUSH2 0x0002
00000bec: JUMPI
00000bed: DUP2
00000bee: DUP1
00000bef: MSTORE
00000bf0: PUSH1 0x40
00000bf2: MLOAD
00000bf3: PUSH1 0x06
00000bf5: SWAP2
00000bf6: SWAP1
00000bf7: SWAP2
00000bf8: MUL
00000bf9: PUSH1 0x00
00000bfb: DUP1
00000bfc: MLOAD
00000bfd: PUSH1 0x20
00000bff: PUSH2 0x0d98
00000c02: DUP4
00000c03: CODECOPY
00000c04: DUP2
00000c05: MLOAD
00000c06: SWAP2
00000c07: MSTORE
00000c08: ADD
00000c09: SLOAD
00000c0a: PUSH1 0x01
00000c0c: PUSH1 0xa0
00000c0e: PUSH1 0x02
00000c10: EXP
00000c11: SUB
00000c12: AND
00000c13: SWAP2
00000c14: SWAP1
00000c15: DUP6
00000c16: SWAP1
00000c17: DUP3
00000c18: DUP2
00000c19: DUP2
00000c1a: DUP2
00000c1b: DUP6
00000c1c: DUP9
00000c1d: DUP4
00000c1e: CALL
00000c1f: POP
00000c20: POP
00000c21: DUP2
00000c22: SLOAD
00000c23: SWAP2
00000c24: SWAP3
00000c25: POP
00000c26: DUP4
00000c27: SWAP2
00000c28: DUP3
00000c29: LT
00000c2a: ISZERO
00000c2b: SWAP1
00000c2c: POP
00000c2d: PUSH2 0x0002
00000c30: JUMPI
00000c31: SWAP1
00000c32: DUP1
00000c33: MSTORE
00000c34: PUSH1 0x06
00000c36: MUL
00000c37: PUSH1 0x00
00000c39: DUP1
00000c3a: MLOAD
00000c3b: PUSH1 0x20
00000c3d: PUSH2 0x0db8
00000c40: DUP4
00000c41: CODECOPY
00000c42: DUP2
00000c43: MLOAD
00000c44: SWAP2
00000c45: MSTORE
00000c46: ADD
00000c47: SLOAD
00000c48: SWAP1
00000c49: POP
00000c4a: PUSH1 0x00
00000c4c: NOT
00000c4d: DUP2
00000c4e: EQ
00000c4f: ISZERO
00000c50: PUSH2 0x0c60
00000c53: JUMPI
00000c54: PUSH1 0x02
00000c56: DUP1
00000c57: SLOAD
00000c58: DUP4
00000c59: ADD
00000c5a: SWAP1
00000c5b: SSTORE
00000c5c: PUSH2 0x0ca5
00000c5f: JUMP
00000c60: JUMPDEST
00000c61: PUSH1 0x00
00000c63: DUP1
00000c64: SLOAD
00000c65: DUP3
00000c66: SWAP1
00000c67: DUP2
00000c68: LT
00000c69: ISZERO
00000c6a: PUSH2 0x0002
00000c6d: JUMPI
00000c6e: DUP2
00000c6f: DUP1
00000c70: MSTORE
00000c71: PUSH1 0x40
00000c73: MLOAD
00000c74: PUSH1 0x06
00000c76: SWAP2
00000c77: SWAP1
00000c78: SWAP2
00000c79: MUL
00000c7a: PUSH1 0x00
00000c7c: DUP1
00000c7d: MLOAD
00000c7e: PUSH1 0x20
00000c80: PUSH2 0x0d98
00000c83: DUP4
00000c84: CODECOPY
00000c85: DUP2
00000c86: MLOAD
00000c87: SWAP2
00000c88: MSTORE
00000c89: ADD
00000c8a: SLOAD
00000c8b: PUSH1 0x01
00000c8d: PUSH1 0xa0
00000c8f: PUSH1 0x02
00000c91: EXP
00000c92: SUB
00000c93: AND
00000c94: SWAP2
00000c95: SWAP1
00000c96: DUP5
00000c97: SWAP1
00000c98: DUP3
00000c99: DUP2
00000c9a: DUP2
00000c9b: DUP2
00000c9c: DUP6
00000c9d: DUP9
00000c9e: DUP4
00000c9f: CALL
00000ca0: POP
00000ca1: POP
00000ca2: POP
00000ca3: POP
00000ca4: POP
00000ca5: JUMPDEST
00000ca6: PUSH1 0x02
00000ca8: DUP1
00000ca9: SLOAD
00000caa: DUP7
00000cab: SWAP1
00000cac: SUB
00000cad: SWAP1
00000cae: SSTORE
00000caf: PUSH1 0x01
00000cb1: DUP1
00000cb2: SLOAD
00000cb3: DUP2
00000cb4: ADD
00000cb5: SWAP1
00000cb6: SSTORE
00000cb7: PUSH2 0x0a35
00000cba: JUMP
00000cbb: JUMPDEST
00000cbc: POP
00000cbd: POP
00000cbe: PUSH1 0x00
00000cc0: PUSH1 0x01
00000cc2: SSTORE
00000cc3: POP
00000cc4: POP
00000cc5: JUMP
00000cc6: JUMPDEST
00000cc7: POP
00000cc8: POP
00000cc9: PUSH1 0x04
00000ccb: DUP2
00000ccc: ADD
00000ccd: DUP1
00000cce: SLOAD
00000ccf: PUSH1 0xff
00000cd1: NOT
00000cd2: AND
00000cd3: SWAP1
00000cd4: SSTORE
00000cd5: PUSH1 0x00
00000cd7: PUSH1 0x05
00000cd9: DUP3
00000cda: ADD
00000cdb: SSTORE
00000cdc: PUSH1 0x01
00000cde: ADD
00000cdf: JUMPDEST
00000ce0: DUP1
00000ce1: DUP3
00000ce2: GT
00000ce3: ISZERO
00000ce4: PUSH2 0x0810
00000ce7: JUMPI
00000ce8: DUP1
00000ce9: SLOAD
00000cea: PUSH1 0x01
00000cec: PUSH1 0xa0
00000cee: PUSH1 0x02
00000cf0: EXP
00000cf1: SUB
00000cf2: NOT
00000cf3: AND
00000cf4: DUP2
00000cf5: SSTORE
00000cf6: PUSH1 0x00
00000cf8: PUSH1 0x01
00000cfa: DUP3
00000cfb: DUP2
00000cfc: ADD
00000cfd: DUP3
00000cfe: SWAP1
00000cff: SSTORE
00000d00: PUSH1 0x02
00000d02: DUP4
00000d03: DUP2
00000d04: ADD
00000d05: DUP1
00000d06: SLOAD
00000d07: DUP5
00000d08: DUP3
00000d09: SSTORE
00000d0a: SWAP1
00000d0b: SWAP3
00000d0c: DUP2
00000d0d: AND
00000d0e: ISZERO
00000d0f: PUSH2 0x0100
00000d12: MUL
00000d13: PUSH1 0x00
00000d15: NOT
00000d16: ADD
00000d17: AND
00000d18: DIV
00000d19: PUSH1 0x1f
00000d1b: DUP2
00000d1c: SWAP1
00000d1d: LT
00000d1e: PUSH2 0x0d50
00000d21: JUMPI
00000d22: POP
00000d23: JUMPDEST
00000d24: POP
00000d25: PUSH1 0x03
00000d27: DUP3
00000d28: ADD
00000d29: PUSH1 0x00
00000d2b: POP
00000d2c: DUP1
00000d2d: SLOAD
00000d2e: PUSH1 0x01
00000d30: DUP2
00000d31: PUSH1 0x01
00000d33: AND
00000d34: ISZERO
00000d35: PUSH2 0x0100
00000d38: MUL
00000d39: SUB
00000d3a: AND
00000d3b: PUSH1 0x02
00000d3d: SWAP1
00000d3e: DIV
00000d3f: PUSH1 0x00
00000d41: DUP3
00000d42: SSTORE
00000d43: DUP1
00000d44: PUSH1 0x1f
00000d46: LT
00000d47: PUSH2 0x0d6e
00000d4a: JUMPI
00000d4b: POP
00000d4c: PUSH2 0x0cc6
00000d4f: JUMP
00000d50: JUMPDEST
00000d51: PUSH1 0x1f
00000d53: ADD
00000d54: PUSH1 0x20
00000d56: SWAP1
00000d57: DIV
00000d58: SWAP1
00000d59: PUSH1 0x00
00000d5b: MSTORE
00000d5c: PUSH1 0x20
00000d5e: PUSH1 0x00
00000d60: KECCAK256
00000d61: SWAP1
00000d62: DUP2
00000d63: ADD
00000d64: SWAP1
00000d65: PUSH2 0x0d23
00000d68: SWAP2
00000d69: SWAP1
00000d6a: PUSH2 0x07fc
00000d6d: JUMP
00000d6e: JUMPDEST
00000d6f: PUSH1 0x1f
00000d71: ADD
00000d72: PUSH1 0x20
00000d74: SWAP1
00000d75: DIV
00000d76: SWAP1
00000d77: PUSH1 0x00
00000d79: MSTORE
00000d7a: PUSH1 0x20
00000d7c: PUSH1 0x00
00000d7e: KECCAK256
00000d7f: SWAP1
00000d80: DUP2
00000d81: ADD
00000d82: SWAP1
00000d83: PUSH2 0x0cc6
00000d86: SWAP2
00000d87: SWAP1
00000d88: PUSH2 0x07fc
00000d8b: JUMP
00000d8c: JUMPDEST
00000d8d: PUSH1 0x01
00000d8f: SWAP2
00000d90: SWAP1
00000d91: SWAP2
00000d92: ADD
00000d93: SWAP1
00000d94: PUSH2 0x0967
00000d97: JUMP
00000d98: UNKNOWN(0x29)
00000d99: UNKNOWN(0x0D)
00000d9a: UNKNOWN(0xEC)
00000d9b: UNKNOWN(0xD9)
00000d9c: SLOAD
00000d9d: DUP12
00000d9e: PUSH3 0xa8d603
00000da2: GASLIMIT
00000da3: UNKNOWN(0xA9)
00000da4: DUP9
00000da5: CODESIZE
00000da6: PUSH16 0xc84ba6bc95484008f6362f93160ef3e5
00000db7: PUSH4 0x290decd9
00000dbc: SLOAD
00000dbd: DUP12
00000dbe: PUSH3 0xa8d603
00000dc2: GASLIMIT
00000dc3: UNKNOWN(0xA9)
00000dc4: DUP9
00000dc5: CODESIZE
00000dc6: PUSH16 0xc84ba6bc95484008f6362f93160ef3e5
00000dd7: PUSH9

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: 0xb87e6b16c99fa7e51a6c945290cea1dd303026caf4ddb21af2c1ece06e6f02b3 call_targets: 0x8fcf65f5185d8c6b8141f0147642415baa2a556c target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xb87e6b16c99fa7e51a6c945290cea1dd303026caf4ddb21af2c1ece06e6f02b3", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x8fcf65f5185d8c6b8141f0147642415baa2a556c" ], "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": "0x025e7c27", "selector": "0x025e7c27", "calldata_variants": [ "0x025e7c27", "0x025e7c270000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x11a7a4c0", "selector": "0x11a7a4c0", "calldata_variants": [ "0x11a7a4c0", "0x11a7a4c00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x31921cad", "selector": "0x31921cad", "calldata_variants": [ "0x31921cad", "0x31921cad0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x45352983", "selector": "0x45352983", "calldata_variants": [ "0x45352983", "0x453529830000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x50964c3f", "selector": "0x50964c3f", "calldata_variants": [ "0x50964c3f", "0x50964c3f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6fe4d97a", "selector": "0x6fe4d97a", "calldata_variants": [ "0x6fe4d97a", "0x6fe4d97a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9af1d35a", "selector": "0x9af1d35a", "calldata_variants": [ "0x9af1d35a", "0x9af1d35a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa3b64c2c", "selector": "0xa3b64c2c", "calldata_variants": [ "0xa3b64c2c", "0xa3b64c2c0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2694, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2890, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2971, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 5, "guards_detected": [], "untrusted_call_count": 5 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xb87e6b16c99fa7e51a6c945290cea1dd303026caf4ddb21af2c1ece06e6f02b3 call_targets: 0x8fcf65f5185d8c6b8141f0147642415baa2a556c target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xb87e6b16c99fa7e51a6c945290cea1dd303026caf4ddb21af2c1ece06e6f02b3", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x8fcf65f5185d8c6b8141f0147642415baa2a556c" ], "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": "0x025e7c27", "selector": "0x025e7c27", "calldata_variants": [ "0x025e7c27", "0x025e7c270000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x11a7a4c0", "selector": "0x11a7a4c0", "calldata_variants": [ "0x11a7a4c0", "0x11a7a4c00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x31921cad", "selector": "0x31921cad", "calldata_variants": [ "0x31921cad", "0x31921cad0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x45352983", "selector": "0x45352983", "calldata_variants": [ "0x45352983", "0x453529830000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x50964c3f", "selector": "0x50964c3f", "calldata_variants": [ "0x50964c3f", "0x50964c3f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6fe4d97a", "selector": "0x6fe4d97a", "calldata_variants": [ "0x6fe4d97a", "0x6fe4d97a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9af1d35a", "selector": "0x9af1d35a", "calldata_variants": [ "0x9af1d35a", "0x9af1d35a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa3b64c2c", "selector": "0xa3b64c2c", "calldata_variants": [ "0xa3b64c2c", "0xa3b64c2c0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2694, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2890, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2971, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 5, "guards_detected": [] }

Severity