Analysis Run

019b477e-a7dd-7252-bd1a-5f0ee107163e

complete

Chain ID

1

Address

0xe31fecd188c3d0ae6785b0d697937261722bd1b0

Block Number

—

Created

Mon, Dec 22, 2025 7:17 PM

Review Summary

What survived the funnel

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

back to vulns open contract

Confirmed

0

Validated

0

Source

Bytecode only

Review Backing

Not yet

Best current signal

ETH value transfer possible

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
20325	artifact.fetch	complete	1 / 3	3 months ago
20326	tool.cast_disasm	complete	1 / 3	3 months ago
110454	analysis.bundle	complete	1 / 3	1 week ago
110455	capability.graph	complete	1 / 3	1 week ago
110456	detector.run	complete	1 / 3	1 week ago
110457	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)

6

EXT*/BALANCE

0

Total opcodes

1826

Flags

No heuristic flags raised.

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0082
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x13af4035
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x00cc
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x35c1d349
00000025: EQ
00000026: PUSH2 0x0100
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x483ba09e
00000030: EQ
00000031: PUSH2 0x01a9
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x54ba7daa
0000003b: EQ
0000003c: PUSH2 0x01dd
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x8da5cb5b
00000046: EQ
00000047: PUSH2 0x029a
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x9003adfe
00000051: EQ
00000052: PUSH2 0x02ac
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0xa480ca79
0000005c: EQ
0000005d: PUSH2 0x02b5
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0xa60f3588
00000067: EQ
00000068: PUSH2 0x02e4
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0xb4b31bec
00000072: EQ
00000073: PUSH2 0x02ed
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0xc80c28a2
0000007d: EQ
0000007e: PUSH2 0x02ff
00000081: JUMPI
00000082: JUMPDEST
00000083: PUSH2 0x0315
00000086: PUSH2 0x0317
00000089: PUSH1 0x00
0000008b: CALLDATASIZE
0000008c: DUP1
0000008d: DUP1
0000008e: PUSH1 0x1f
00000090: ADD
00000091: PUSH1 0x20
00000093: DUP1
00000094: SWAP2
00000095: DIV
00000096: MUL
00000097: PUSH1 0x20
00000099: ADD
0000009a: PUSH1 0x40
0000009c: MLOAD
0000009d: SWAP1
0000009e: DUP2
0000009f: ADD
000000a0: PUSH1 0x40
000000a2: MSTORE
000000a3: DUP1
000000a4: SWAP4
000000a5: SWAP3
000000a6: SWAP2
000000a7: SWAP1
000000a8: DUP2
000000a9: DUP2
000000aa: MSTORE
000000ab: PUSH1 0x20
000000ad: ADD
000000ae: DUP4
000000af: DUP4
000000b0: DUP1
000000b1: DUP3
000000b2: DUP5
000000b3: CALLDATACOPY
000000b4: POP
000000b5: POP
000000b6: PUSH1 0x40
000000b8: DUP1
000000b9: MLOAD
000000ba: PUSH1 0x20
000000bc: DUP2
000000bd: ADD
000000be: SWAP1
000000bf: SWAP2
000000c0: MSTORE
000000c1: SWAP4
000000c2: DUP5
000000c3: MSTORE
000000c4: POP
000000c5: PUSH2 0x0261
000000c8: SWAP2
000000c9: POP
000000ca: POP
000000cb: JUMP
000000cc: JUMPDEST
000000cd: PUSH2 0x0315
000000d0: PUSH1 0x04
000000d2: CALLDATALOAD
000000d3: PUSH1 0x03
000000d5: SLOAD
000000d6: PUSH1 0x01
000000d8: PUSH1 0xa0
000000da: PUSH1 0x02
000000dc: EXP
000000dd: SUB
000000de: SWAP1
000000df: DUP2
000000e0: AND
000000e1: CALLER
000000e2: SWAP2
000000e3: SWAP1
000000e4: SWAP2
000000e5: AND
000000e6: EQ
000000e7: ISZERO
000000e8: PUSH2 0x0a4d
000000eb: JUMPI
000000ec: PUSH1 0x03
000000ee: DUP1
000000ef: SLOAD
000000f0: PUSH1 0x01
000000f2: PUSH1 0xa0
000000f4: PUSH1 0x02
000000f6: EXP
000000f7: SUB
000000f8: NOT
000000f9: AND
000000fa: DUP3
000000fb: OR
000000fc: SWAP1
000000fd: SSTORE
000000fe: POP
000000ff: JUMP
00000100: JUMPDEST
00000101: PUSH2 0x0319
00000104: PUSH1 0x04
00000106: CALLDATALOAD
00000107: PUSH1 0x00
00000109: DUP1
0000010a: SLOAD
0000010b: DUP3
0000010c: SWAP1
0000010d: DUP2
0000010e: LT
0000010f: ISZERO
00000110: PUSH2 0x0002
00000113: JUMPI
00000114: POP
00000115: DUP1
00000116: MSTORE
00000117: PUSH1 0x04
00000119: MUL
0000011a: PUSH1 0x00
0000011c: DUP1
0000011d: MLOAD
0000011e: PUSH1 0x20
00000120: PUSH2 0x0a50
00000123: DUP4
00000124: CODECOPY
00000125: DUP2
00000126: MLOAD
00000127: SWAP2
00000128: MSTORE
00000129: DUP2
0000012a: ADD
0000012b: SLOAD
0000012c: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e565
0000014d: DUP3
0000014e: ADD
0000014f: SLOAD
00000150: PUSH1 0xff
00000152: SWAP2
00000153: SWAP1
00000154: SWAP2
00000155: AND
00000156: SWAP2
00000157: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e564
00000178: DUP2
00000179: ADD
0000017a: SWAP2
0000017b: PUSH1 0x01
0000017d: PUSH1 0xa0
0000017f: PUSH1 0x02
00000181: EXP
00000182: SUB
00000183: AND
00000184: SWAP1
00000185: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e566
000001a6: ADD
000001a7: DUP5
000001a8: JUMP
000001a9: JUMPDEST
000001aa: PUSH2 0x0315
000001ad: PUSH1 0x04
000001af: CALLDATALOAD
000001b0: PUSH1 0x03
000001b2: SLOAD
000001b3: PUSH1 0x01
000001b5: PUSH1 0xa0
000001b7: PUSH1 0x02
000001b9: EXP
000001ba: SUB
000001bb: SWAP1
000001bc: DUP2
000001bd: AND
000001be: CALLER
000001bf: SWAP2
000001c0: SWAP1
000001c1: SWAP2
000001c2: AND
000001c3: EQ
000001c4: ISZERO
000001c5: PUSH2 0x0a4d
000001c8: JUMPI
000001c9: PUSH1 0x04
000001cb: DUP1
000001cc: SLOAD
000001cd: PUSH1 0x01
000001cf: PUSH1 0xa0
000001d1: PUSH1 0x02
000001d3: EXP
000001d4: SUB
000001d5: NOT
000001d6: AND
000001d7: DUP3
000001d8: OR
000001d9: SWAP1
000001da: SSTORE
000001db: POP
000001dc: JUMP
000001dd: JUMPDEST
000001de: PUSH1 0x40
000001e0: DUP1
000001e1: MLOAD
000001e2: PUSH1 0x20
000001e4: PUSH1 0x04
000001e6: DUP1
000001e7: CALLDATALOAD
000001e8: DUP1
000001e9: DUP3
000001ea: ADD
000001eb: CALLDATALOAD
000001ec: PUSH1 0x1f
000001ee: DUP2
000001ef: ADD
000001f0: DUP5
000001f1: SWAP1
000001f2: DIV
000001f3: DUP5
000001f4: MUL
000001f5: DUP6
000001f6: ADD
000001f7: DUP5
000001f8: ADD
000001f9: SWAP1
000001fa: SWAP6
000001fb: MSTORE
000001fc: DUP5
000001fd: DUP5
000001fe: MSTORE
000001ff: PUSH2 0x0315
00000202: SWAP5
00000203: SWAP2
00000204: SWAP4
00000205: PUSH1 0x24
00000207: SWAP4
00000208: SWAP1
00000209: SWAP3
0000020a: SWAP2
0000020b: DUP5
0000020c: ADD
0000020d: SWAP2
0000020e: SWAP1
0000020f: DUP2
00000210: SWAP1
00000211: DUP5
00000212: ADD
00000213: DUP4
00000214: DUP3
00000215: DUP1
00000216: DUP3
00000217: DUP5
00000218: CALLDATACOPY
00000219: POP
0000021a: POP
0000021b: PUSH1 0x40
0000021d: DUP1
0000021e: MLOAD
0000021f: PUSH1 0x20
00000221: DUP9
00000222: CALLDATALOAD
00000223: DUP1
00000224: DUP12
00000225: ADD
00000226: CALLDATALOAD
00000227: PUSH1 0x1f
00000229: DUP2
0000022a: ADD
0000022b: DUP4
0000022c: SWAP1
0000022d: DIV
0000022e: DUP4
0000022f: MUL
00000230: DUP5
00000231: ADD
00000232: DUP4
00000233: ADD
00000234: SWAP1
00000235: SWAP5
00000236: MSTORE
00000237: DUP4
00000238: DUP4
00000239: MSTORE
0000023a: SWAP8
0000023b: SWAP10
0000023c: SWAP9
0000023d: PUSH1 0x44
0000023f: SWAP9
00000240: SWAP3
00000241: SWAP8
00000242: POP
00000243: SWAP2
00000244: SWAP1
00000245: SWAP2
00000246: ADD
00000247: SWAP5
00000248: POP
00000249: SWAP1
0000024a: SWAP3
0000024b: POP
0000024c: DUP3
0000024d: SWAP2
0000024e: POP
0000024f: DUP5
00000250: ADD
00000251: DUP4
00000252: DUP3
00000253: DUP1
00000254: DUP3
00000255: DUP5
00000256: CALLDATACOPY
00000257: POP
00000258: SWAP5
00000259: SWAP7
0000025a: POP
0000025b: POP
0000025c: POP
0000025d: POP
0000025e: POP
0000025f: POP
00000260: POP
00000261: JUMPDEST
00000262: PUSH1 0x00
00000264: PUSH1 0x00
00000266: PUSH8 0x0de0b6b3a7640000
0000026f: CALLVALUE
00000270: LT
00000271: ISZERO
00000272: PUSH2 0x0454
00000275: JUMPI
00000276: PUSH1 0x40
00000278: MLOAD
00000279: PUSH1 0x01
0000027b: PUSH1 0xa0
0000027d: PUSH1 0x02
0000027f: EXP
00000280: SUB
00000281: CALLER
00000282: AND
00000283: SWAP1
00000284: DUP3
00000285: SWAP1
00000286: CALLVALUE
00000287: SWAP1
00000288: DUP3
00000289: DUP2
0000028a: DUP2
0000028b: DUP2
0000028c: DUP6
0000028d: DUP9
0000028e: DUP4
0000028f: CALL
00000290: SWAP4
00000291: POP
00000292: POP
00000293: POP
00000294: POP
00000295: POP
00000296: PUSH2 0x0958
00000299: JUMP
0000029a: JUMPDEST
0000029b: PUSH2 0x0437
0000029e: PUSH1 0x03
000002a0: SLOAD
000002a1: PUSH1 0x01
000002a3: PUSH1 0xa0
000002a5: PUSH1 0x02
000002a7: EXP
000002a8: SUB
000002a9: AND
000002aa: DUP2
000002ab: JUMP
000002ac: JUMPDEST
000002ad: PUSH2 0x0303
000002b0: PUSH1 0x02
000002b2: SLOAD
000002b3: DUP2
000002b4: JUMP
000002b5: JUMPDEST
000002b6: PUSH2 0x0315
000002b9: PUSH1 0x04
000002bb: CALLDATALOAD
000002bc: PUSH1 0x03
000002be: SLOAD
000002bf: PUSH1 0x01
000002c1: PUSH1 0xa0
000002c3: PUSH1 0x02
000002c5: EXP
000002c6: SUB
000002c7: SWAP1
000002c8: DUP2
000002c9: AND
000002ca: CALLER
000002cb: SWAP2
000002cc: SWAP1
000002cd: SWAP2
000002ce: AND
000002cf: EQ
000002d0: ISZERO
000002d1: PUSH2 0x0a4d
000002d4: JUMPI
000002d5: PUSH1 0x02
000002d7: SLOAD
000002d8: PUSH1 0x00
000002da: EQ
000002db: ISZERO
000002dc: PUSH2 0x0a29
000002df: JUMPI
000002e0: PUSH2 0x0a4d
000002e3: JUMP
000002e4: JUMPDEST
000002e5: PUSH2 0x0303
000002e8: PUSH1 0x01
000002ea: SLOAD
000002eb: DUP2
000002ec: JUMP
000002ed: JUMPDEST
000002ee: PUSH2 0x0437
000002f1: PUSH1 0x04
000002f3: SLOAD
000002f4: PUSH1 0x01
000002f6: PUSH1 0xa0
000002f8: PUSH1 0x02
000002fa: EXP
000002fb: SUB
000002fc: AND
000002fd: DUP2
000002fe: JUMP
000002ff: JUMPDEST
00000300: PUSH1 0x00
00000302: SLOAD
00000303: JUMPDEST
00000304: PUSH1 0x40
00000306: DUP1
00000307: MLOAD
00000308: SWAP2
00000309: DUP3
0000030a: MSTORE
0000030b: MLOAD
0000030c: SWAP1
0000030d: DUP2
0000030e: SWAP1
0000030f: SUB
00000310: PUSH1 0x20
00000312: ADD
00000313: SWAP1
00000314: RETURN
00000315: JUMPDEST
00000316: STOP
00000317: JUMPDEST
00000318: JUMP
00000319: JUMPDEST
0000031a: PUSH1 0x40
0000031c: DUP1
0000031d: MLOAD
0000031e: DUP6
0000031f: DUP2
00000320: MSTORE
00000321: PUSH1 0x01
00000323: PUSH1 0xa0
00000325: PUSH1 0x02
00000327: EXP
00000328: SUB
00000329: DUP5
0000032a: AND
0000032b: SWAP2
0000032c: DUP2
0000032d: ADD
0000032e: SWAP2
0000032f: SWAP1
00000330: SWAP2
00000331: MSTORE
00000332: PUSH1 0x80
00000334: PUSH1 0x20
00000336: DUP3
00000337: ADD
00000338: DUP2
00000339: DUP2
0000033a: MSTORE
0000033b: DUP6
0000033c: SLOAD
0000033d: PUSH1 0x02
0000033f: PUSH1 0x01
00000341: DUP3
00000342: AND
00000343: ISZERO
00000344: PUSH2 0x0100
00000347: MUL
00000348: PUSH1 0x00
0000034a: NOT
0000034b: ADD
0000034c: SWAP1
0000034d: SWAP2
0000034e: AND
0000034f: DIV
00000350: SWAP2
00000351: DUP4
00000352: ADD
00000353: DUP3
00000354: SWAP1
00000355: MSTORE
00000356: SWAP1
00000357: PUSH1 0x60
00000359: DUP4
0000035a: ADD
0000035b: SWAP1
0000035c: PUSH1 0xa0
0000035e: DUP5
0000035f: ADD
00000360: SWAP1
00000361: DUP8
00000362: SWAP1
00000363: DUP1
00000364: ISZERO
00000365: PUSH2 0x03af
00000368: JUMPI
00000369: DUP1
0000036a: PUSH1 0x1f
0000036c: LT
0000036d: PUSH2 0x0384
00000370: JUMPI
00000371: PUSH2 0x0100
00000374: DUP1
00000375: DUP4
00000376: SLOAD
00000377: DIV
00000378: MUL
00000379: DUP4
0000037a: MSTORE
0000037b: SWAP2
0000037c: PUSH1 0x20
0000037e: ADD
0000037f: SWAP2
00000380: PUSH2 0x03af
00000383: JUMP
00000384: JUMPDEST
00000385: DUP3
00000386: ADD
00000387: SWAP2
00000388: SWAP1
00000389: PUSH1 0x00
0000038b: MSTORE
0000038c: PUSH1 0x20
0000038e: PUSH1 0x00
00000390: KECCAK256
00000391: SWAP1
00000392: JUMPDEST
00000393: DUP2
00000394: SLOAD
00000395: DUP2
00000396: MSTORE
00000397: SWAP1
00000398: PUSH1 0x01
0000039a: ADD
0000039b: SWAP1
0000039c: PUSH1 0x20
0000039e: ADD
0000039f: DUP1
000003a0: DUP4
000003a1: GT
000003a2: PUSH2 0x0392
000003a5: JUMPI
000003a6: DUP3
000003a7: SWAP1
000003a8: SUB
000003a9: PUSH1 0x1f
000003ab: AND
000003ac: DUP3
000003ad: ADD
000003ae: SWAP2
000003af: JUMPDEST
000003b0: POP
000003b1: POP
000003b2: DUP4
000003b3: DUP2
000003b4: SUB
000003b5: DUP3
000003b6: MSTORE
000003b7: DUP5
000003b8: SLOAD
000003b9: PUSH1 0x02
000003bb: PUSH1 0x01
000003bd: DUP3
000003be: AND
000003bf: ISZERO
000003c0: PUSH2 0x0100
000003c3: MUL
000003c4: PUSH1 0x00
000003c6: NOT
000003c7: ADD
000003c8: SWAP1
000003c9: SWAP2
000003ca: AND
000003cb: DIV
000003cc: DUP1
000003cd: DUP3
000003ce: MSTORE
000003cf: PUSH1 0x20
000003d1: SWAP2
000003d2: SWAP1
000003d3: SWAP2
000003d4: ADD
000003d5: SWAP1
000003d6: DUP6
000003d7: SWAP1
000003d8: DUP1
000003d9: ISZERO
000003da: PUSH2 0x0424
000003dd: JUMPI
000003de: DUP1
000003df: PUSH1 0x1f
000003e1: LT
000003e2: PUSH2 0x03f9
000003e5: JUMPI
000003e6: PUSH2 0x0100
000003e9: DUP1
000003ea: DUP4
000003eb: SLOAD
000003ec: DIV
000003ed: MUL
000003ee: DUP4
000003ef: MSTORE
000003f0: SWAP2
000003f1: PUSH1 0x20
000003f3: ADD
000003f4: SWAP2
000003f5: PUSH2 0x0424
000003f8: JUMP
000003f9: JUMPDEST
000003fa: DUP3
000003fb: ADD
000003fc: SWAP2
000003fd: SWAP1
000003fe: PUSH1 0x00
00000400: MSTORE
00000401: PUSH1 0x20
00000403: PUSH1 0x00
00000405: KECCAK256
00000406: SWAP1
00000407: JUMPDEST
00000408: DUP2
00000409: SLOAD
0000040a: DUP2
0000040b: MSTORE
0000040c: SWAP1
0000040d: PUSH1 0x01
0000040f: ADD
00000410: SWAP1
00000411: PUSH1 0x20
00000413: ADD
00000414: DUP1
00000415: DUP4
00000416: GT
00000417: PUSH2 0x0407
0000041a: JUMPI
0000041b: DUP3
0000041c: SWAP1
0000041d: SUB
0000041e: PUSH1 0x1f
00000420: AND
00000421: DUP3
00000422: ADD
00000423: SWAP2
00000424: JUMPDEST
00000425: POP
00000426: POP
00000427: SWAP7
00000428: POP
00000429: POP
0000042a: POP
0000042b: POP
0000042c: POP
0000042d: POP
0000042e: POP
0000042f: PUSH1 0x40
00000431: MLOAD
00000432: DUP1
00000433: SWAP2
00000434: SUB
00000435: SWAP1
00000436: RETURN
00000437: JUMPDEST
00000438: PUSH1 0x40
0000043a: DUP1
0000043b: MLOAD
0000043c: PUSH1 0x01
0000043e: PUSH1 0xa0
00000440: PUSH1 0x02
00000442: EXP
00000443: SUB
00000444: SWAP3
00000445: SWAP1
00000446: SWAP3
00000447: AND
00000448: DUP3
00000449: MSTORE
0000044a: MLOAD
0000044b: SWAP1
0000044c: DUP2
0000044d: SWAP1
0000044e: SUB
0000044f: PUSH1 0x20
00000451: ADD
00000452: SWAP1
00000453: RETURN
00000454: JUMPDEST
00000455: PUSH1 0x10
00000457: DUP5
00000458: MLOAD
00000459: GT
0000045a: DUP1
0000045b: PUSH2 0x0465
0000045e: JUMPI
0000045f: POP
00000460: PUSH1 0x23
00000462: DUP4
00000463: MLOAD
00000464: GT
00000465: JUMPDEST
00000466: ISZERO
00000467: PUSH2 0x0490
0000046a: JUMPI
0000046b: PUSH1 0x40
0000046d: MLOAD
0000046e: PUSH1 0x01
00000470: PUSH1 0xa0
00000472: PUSH1 0x02
00000474: EXP
00000475: SUB
00000476: CALLER
00000477: AND
00000478: SWAP1
00000479: PUSH1 0x00
0000047b: SWAP1
0000047c: CALLVALUE
0000047d: SWAP1
0000047e: DUP3
0000047f: DUP2
00000480: DUP2
00000481: DUP2
00000482: DUP6
00000483: DUP9
00000484: DUP4
00000485: CALL
00000486: SWAP4
00000487: POP
00000488: POP
00000489: POP
0000048a: POP
0000048b: POP
0000048c: PUSH2 0x0958
0000048f: JUMP
00000490: JUMPDEST
00000491: PUSH8 0x0de0b6b3a7640000
0000049a: CALLVALUE
0000049b: GT
0000049c: ISZERO
0000049d: PUSH2 0x04cc
000004a0: JUMPI
000004a1: PUSH1 0x40
000004a3: MLOAD
000004a4: PUSH1 0x01
000004a6: PUSH1 0xa0
000004a8: PUSH1 0x02
000004aa: EXP
000004ab: SUB
000004ac: CALLER
000004ad: AND
000004ae: SWAP1
000004af: PUSH1 0x00
000004b1: SWAP1
000004b2: PUSH8 0x0de0b6b3a763ffff
000004bb: NOT
000004bc: CALLVALUE
000004bd: ADD
000004be: SWAP1
000004bf: DUP3
000004c0: DUP2
000004c1: DUP2
000004c2: DUP2
000004c3: DUP6
000004c4: DUP9
000004c5: DUP4
000004c6: CALL
000004c7: POP
000004c8: POP
000004c9: POP
000004ca: POP
000004cb: POP
000004cc: JUMPDEST
000004cd: PUSH1 0x00
000004cf: DUP1
000004d0: SLOAD
000004d1: PUSH1 0x01
000004d3: DUP2
000004d4: ADD
000004d5: DUP1
000004d6: DUP4
000004d7: SSTORE
000004d8: SWAP1
000004d9: SWAP4
000004da: POP
000004db: SWAP1
000004dc: DUP2
000004dd: DUP5
000004de: DUP1
000004df: ISZERO
000004e0: DUP3
000004e1: SWAP1
000004e2: GT
000004e3: PUSH2 0x0505
000004e6: JUMPI
000004e7: PUSH1 0x04
000004e9: MUL
000004ea: DUP2
000004eb: PUSH1 0x04
000004ed: MUL
000004ee: DUP4
000004ef: PUSH1 0x00
000004f1: MSTORE
000004f2: PUSH1 0x20
000004f4: PUSH1 0x00
000004f6: KECCAK256
000004f7: SWAP2
000004f8: DUP3
000004f9: ADD
000004fa: SWAP2
000004fb: ADD
000004fc: PUSH2 0x0505
000004ff: SWAP2
00000500: SWAP1
00000501: PUSH2 0x0590
00000504: JUMP
00000505: JUMPDEST
00000506: POP
00000507: POP
00000508: POP
00000509: POP
0000050a: DUP4
0000050b: PUSH1 0x00
0000050d: PUSH1 0x00
0000050f: POP
00000510: DUP4
00000511: DUP2
00000512: SLOAD
00000513: DUP2
00000514: LT
00000515: ISZERO
00000516: PUSH2 0x0002
00000519: JUMPI
0000051a: POP
0000051b: DUP1
0000051c: DUP1
0000051d: MSTORE
0000051e: PUSH1 0x04
00000520: DUP5
00000521: MUL
00000522: PUSH1 0x00
00000524: DUP1
00000525: MLOAD
00000526: PUSH1 0x20
00000528: PUSH2 0x0a50
0000052b: DUP4
0000052c: CODECOPY
0000052d: DUP2
0000052e: MLOAD
0000052f: SWAP2
00000530: MSTORE
00000531: ADD
00000532: SWAP1
00000533: POP
00000534: PUSH1 0x01
00000536: ADD
00000537: PUSH1 0x00
00000539: POP
0000053a: SWAP1
0000053b: DUP1
0000053c: MLOAD
0000053d: SWAP1
0000053e: PUSH1 0x20
00000540: ADD
00000541: SWAP1
00000542: DUP3
00000543: DUP1
00000544: SLOAD
00000545: PUSH1 0x01
00000547: DUP2
00000548: PUSH1 0x01
0000054a: AND
0000054b: ISZERO
0000054c: PUSH2 0x0100
0000054f: MUL
00000550: SUB
00000551: AND
00000552: PUSH1 0x02
00000554: SWAP1
00000555: DIV
00000556: SWAP1
00000557: PUSH1 0x00
00000559: MSTORE
0000055a: PUSH1 0x20
0000055c: PUSH1 0x00
0000055e: KECCAK256
0000055f: SWAP1
00000560: PUSH1 0x1f
00000562: ADD
00000563: PUSH1 0x20
00000565: SWAP1
00000566: DIV
00000567: DUP2
00000568: ADD
00000569: SWAP3
0000056a: DUP3
0000056b: PUSH1 0x1f
0000056d: LT
0000056e: PUSH2 0x065a
00000571: JUMPI
00000572: DUP1
00000573: MLOAD
00000574: PUSH1 0xff
00000576: NOT
00000577: AND
00000578: DUP4
00000579: DUP1
0000057a: ADD
0000057b: OR
0000057c: DUP6
0000057d: SSTORE
0000057e: JUMPDEST
0000057f: POP
00000580: PUSH2 0x068a
00000583: SWAP3
00000584: SWAP2
00000585: POP
00000586: PUSH2 0x0624
00000589: JUMP
0000058a: JUMPDEST
0000058b: POP
0000058c: POP
0000058d: PUSH1 0x01
0000058f: ADD
00000590: JUMPDEST
00000591: DUP1
00000592: DUP3
00000593: GT
00000594: ISZERO
00000595: PUSH2 0x0638
00000598: JUMPI
00000599: DUP1
0000059a: SLOAD
0000059b: PUSH1 0xff
0000059d: NOT
0000059e: AND
0000059f: DUP2
000005a0: SSTORE
000005a1: PUSH1 0x01
000005a3: DUP2
000005a4: DUP2
000005a5: ADD
000005a6: DUP1
000005a7: SLOAD
000005a8: PUSH1 0x00
000005aa: DUP1
000005ab: DUP4
000005ac: SSTORE
000005ad: SWAP3
000005ae: PUSH1 0x02
000005b0: SWAP1
000005b1: DUP3
000005b2: AND
000005b3: ISZERO
000005b4: PUSH2 0x0100
000005b7: MUL
000005b8: PUSH1 0x00
000005ba: NOT
000005bb: ADD
000005bc: SWAP1
000005bd: SWAP2
000005be: AND
000005bf: DIV
000005c0: PUSH1 0x1f
000005c2: DUP2
000005c3: SWAP1
000005c4: LT
000005c5: PUSH2 0x060a
000005c8: JUMPI
000005c9: POP
000005ca: JUMPDEST
000005cb: POP
000005cc: PUSH1 0x02
000005ce: DUP3
000005cf: DUP2
000005d0: ADD
000005d1: DUP1
000005d2: SLOAD
000005d3: PUSH1 0x01
000005d5: PUSH1 0xa0
000005d7: PUSH1 0x02
000005d9: EXP
000005da: SUB
000005db: NOT
000005dc: AND
000005dd: SWAP1
000005de: SSTORE
000005df: PUSH1 0x03
000005e1: DUP4
000005e2: ADD
000005e3: DUP1
000005e4: SLOAD
000005e5: PUSH1 0x00
000005e7: DUP3
000005e8: SSTORE
000005e9: SWAP1
000005ea: SWAP2
000005eb: PUSH1 0x01
000005ed: DUP3
000005ee: AND
000005ef: ISZERO
000005f0: PUSH2 0x0100
000005f3: MUL
000005f4: PUSH1 0x00
000005f6: NOT
000005f7: ADD
000005f8: SWAP1
000005f9: SWAP2
000005fa: AND
000005fb: DIV
000005fc: PUSH1 0x1f
000005fe: DUP2
000005ff: SWAP1
00000600: LT
00000601: PUSH2 0x063c
00000604: JUMPI
00000605: POP
00000606: PUSH2 0x058a
00000609: JUMP
0000060a: JUMPDEST
0000060b: PUSH1 0x1f
0000060d: ADD
0000060e: PUSH1 0x20
00000610: SWAP1
00000611: DIV
00000612: SWAP1
00000613: PUSH1 0x00
00000615: MSTORE
00000616: PUSH1 0x20
00000618: PUSH1 0x00
0000061a: KECCAK256
0000061b: SWAP1
0000061c: DUP2
0000061d: ADD
0000061e: SWAP1
0000061f: PUSH2 0x05ca
00000622: SWAP2
00000623: SWAP1
00000624: JUMPDEST
00000625: DUP1
00000626: DUP3
00000627: GT
00000628: ISZERO
00000629: PUSH2 0x0638
0000062c: JUMPI
0000062d: PUSH1 0x00
0000062f: DUP2
00000630: SSTORE
00000631: PUSH1 0x01
00000633: ADD
00000634: PUSH2 0x0624
00000637: JUMP
00000638: JUMPDEST
00000639: POP
0000063a: SWAP1
0000063b: JUMP
0000063c: JUMPDEST
0000063d: PUSH1 0x1f
0000063f: ADD
00000640: PUSH1 0x20
00000642: SWAP1
00000643: DIV
00000644: SWAP1
00000645: PUSH1 0x00
00000647: MSTORE
00000648: PUSH1 0x20
0000064a: PUSH1 0x00
0000064c: KECCAK256
0000064d: SWAP1
0000064e: DUP2
0000064f: ADD
00000650: SWAP1
00000651: PUSH2 0x058a
00000654: SWAP2
00000655: SWAP1
00000656: PUSH2 0x0624
00000659: JUMP
0000065a: JUMPDEST
0000065b: DUP3
0000065c: DUP1
0000065d: ADD
0000065e: PUSH1 0x01
00000660: ADD
00000661: DUP6
00000662: SSTORE
00000663: DUP3
00000664: ISZERO
00000665: PUSH2 0x057e
00000668: JUMPI
00000669: SWAP2
0000066a: DUP3
0000066b: ADD
0000066c: JUMPDEST
0000066d: DUP3
0000066e: DUP2
0000066f: GT
00000670: ISZERO
00000671: PUSH2 0x057e
00000674: JUMPI
00000675: DUP3
00000676: MLOAD
00000677: DUP3
00000678: PUSH1 0x00
0000067a: POP
0000067b: SSTORE
0000067c: SWAP2
0000067d: PUSH1 0x20
0000067f: ADD
00000680: SWAP2
00000681: SWAP1
00000682: PUSH1 0x01
00000684: ADD
00000685: SWAP1
00000686: PUSH2 0x066c
00000689: JUMP
0000068a: JUMPDEST
0000068b: POP
0000068c: POP
0000068d: PUSH1 0x00
0000068f: DUP4
00000690: MLOAD
00000691: GT
00000692: ISZERO
00000693: PUSH2 0x0754
00000696: JUMPI
00000697: PUSH1 0x01
00000699: PUSH1 0x00
0000069b: PUSH1 0x00
0000069d: POP
0000069e: DUP4
0000069f: DUP2
000006a0: SLOAD
000006a1: DUP2
000006a2: LT
000006a3: ISZERO
000006a4: PUSH2 0x0002
000006a7: JUMPI
000006a8: DUP2
000006a9: DUP1
000006aa: MSTORE
000006ab: PUSH1 0x04
000006ad: DUP2
000006ae: MUL
000006af: PUSH1 0x00
000006b1: DUP1
000006b2: MLOAD
000006b3: PUSH1 0x20
000006b5: PUSH2 0x0a50
000006b8: DUP4
000006b9: CODECOPY
000006ba: DUP2
000006bb: MLOAD
000006bc: SWAP2
000006bd: MSTORE
000006be: ADD
000006bf: DUP1
000006c0: SLOAD
000006c1: PUSH1 0xff
000006c3: NOT
000006c4: AND
000006c5: SWAP1
000006c6: SWAP4
000006c7: OR
000006c8: SWAP1
000006c9: SWAP3
000006ca: SSTORE
000006cb: DUP1
000006cc: SLOAD
000006cd: DUP6
000006ce: SWAP3
000006cf: POP
000006d0: DUP5
000006d1: SWAP1
000006d2: DUP2
000006d3: LT
000006d4: ISZERO
000006d5: PUSH2 0x0002
000006d8: JUMPI
000006d9: POP
000006da: SWAP1
000006db: MLOAD
000006dc: PUSH1 0x04
000006de: DUP5
000006df: MUL
000006e0: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e566
00000701: ADD
00000702: DUP1
00000703: SLOAD
00000704: DUP2
00000705: DUP5
00000706: MSTORE
00000707: PUSH1 0x20
00000709: SWAP4
0000070a: DUP5
0000070b: SWAP1
0000070c: KECCAK256
0000070d: SWAP2
0000070e: SWAP4
0000070f: PUSH1 0x02
00000711: PUSH1 0x01
00000713: DUP4
00000714: AND
00000715: ISZERO
00000716: PUSH2 0x0100
00000719: MUL
0000071a: PUSH1 0x00
0000071c: NOT
0000071d: ADD
0000071e: SWAP1
0000071f: SWAP3
00000720: AND
00000721: SWAP2
00000722: SWAP1
00000723: SWAP2
00000724: DIV
00000725: PUSH1 0x1f
00000727: SWAP1
00000728: DUP2
00000729: ADD
0000072a: DUP3
0000072b: SWAP1
0000072c: DIV
0000072d: DUP4
0000072e: ADD
0000072f: SWAP4
00000730: SWAP3
00000731: SWAP2
00000732: DUP9
00000733: ADD
00000734: SWAP1
00000735: DUP4
00000736: SWAP1
00000737: LT
00000738: PUSH2 0x0812
0000073b: JUMPI
0000073c: DUP1
0000073d: MLOAD
0000073e: PUSH1 0xff
00000740: NOT
00000741: AND
00000742: DUP4
00000743: DUP1
00000744: ADD
00000745: OR
00000746: DUP6
00000747: SSTORE
00000748: JUMPDEST
00000749: POP
0000074a: PUSH2 0x0842
0000074d: SWAP3
0000074e: SWAP2
0000074f: POP
00000750: PUSH2 0x0624
00000753: JUMP
00000754: JUMPDEST
00000755: PUSH1 0x00
00000757: PUSH1 0x00
00000759: PUSH1 0x00
0000075b: POP
0000075c: DUP4
0000075d: DUP2
0000075e: SLOAD
0000075f: DUP2
00000760: LT
00000761: ISZERO
00000762: PUSH2 0x0002
00000765: JUMPI
00000766: DUP2
00000767: DUP1
00000768: MSTORE
00000769: PUSH1 0x04
0000076b: DUP2
0000076c: MUL
0000076d: PUSH1 0x00
0000076f: DUP1
00000770: MLOAD
00000771: PUSH1 0x20
00000773: PUSH2 0x0a50
00000776: DUP4
00000777: CODECOPY
00000778: DUP2
00000779: MLOAD
0000077a: SWAP2
0000077b: MSTORE
0000077c: ADD
0000077d: DUP1
0000077e: SLOAD
0000077f: PUSH1 0xff
00000781: NOT
00000782: AND
00000783: SWAP1
00000784: SSTORE
00000785: DUP2
00000786: SLOAD
00000787: CALLER
00000788: SWAP4
00000789: POP
0000078a: DUP2
0000078b: LT
0000078c: ISZERO
0000078d: PUSH2 0x0002
00000790: JUMPI
00000791: POP
00000792: POP
00000793: PUSH1 0x04
00000795: DUP4
00000796: MUL
00000797: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e565
000007b8: ADD
000007b9: DUP1
000007ba: SLOAD
000007bb: PUSH1 0x01
000007bd: PUSH1 0xa0
000007bf: PUSH1 0x02
000007c1: EXP
000007c2: SUB
000007c3: NOT
000007c4: AND
000007c5: SWAP1
000007c6: SWAP2
000007c7: OR
000007c8: SWAP1
000007c9: SSTORE
000007ca: JUMPDEST
000007cb: PUSH1 0x40
000007cd: MLOAD
000007ce: DUP3
000007cf: SWAP1
000007d0: PUSH32 0x66d0ee9ee580464eb06bb7adef164c593ad3173da5b9937511307bb4646d392e
000007f1: SWAP1
000007f2: PUSH1 0x00
000007f4: SWAP1
000007f5: LOG2
000007f6: PUSH1 0x00
000007f8: DUP3
000007f9: EQ
000007fa: PUSH2 0x0849
000007fd: JUMPI
000007fe: PUSH1 0x02
00000800: DUP1
00000801: SLOAD
00000802: PUSH8 0x016345785d8a0000
0000080b: ADD
0000080c: SWAP1
0000080d: SSTORE
0000080e: PUSH2 0x085a
00000811: JUMP
00000812: JUMPDEST
00000813: DUP3
00000814: DUP1
00000815: ADD
00000816: PUSH1 0x01
00000818: ADD
00000819: DUP6
0000081a: SSTORE
0000081b: DUP3
0000081c: ISZERO
0000081d: PUSH2 0x0748
00000820: JUMPI
00000821: SWAP2
00000822: DUP3
00000823: ADD
00000824: JUMPDEST
00000825: DUP3
00000826: DUP2
00000827: GT
00000828: ISZERO
00000829: PUSH2 0x0748
0000082c: JUMPI
0000082d: DUP3
0000082e: MLOAD
0000082f: DUP3
00000830: PUSH1 0x00
00000832: POP
00000833: SSTORE
00000834: SWAP2
00000835: PUSH1 0x20
00000837: ADD
00000838: SWAP2
00000839: SWAP1
0000083a: PUSH1 0x01
0000083c: ADD
0000083d: SWAP1
0000083e: PUSH2 0x0824
00000841: JUMP
00000842: JUMPDEST
00000843: POP
00000844: POP
00000845: PUSH2 0x07ca
00000848: JUMP
00000849: JUMPDEST
0000084a: PUSH1 0x02
0000084c: DUP1
0000084d: SLOAD
0000084e: PUSH8 0x0de0b6b3a7640000
00000857: ADD
00000858: SWAP1
00000859: SSTORE
0000085a: JUMPDEST
0000085b: DUP2
0000085c: PUSH1 0x00
0000085e: EQ
0000085f: ISZERO
00000860: DUP1
00000861: ISZERO
00000862: PUSH2 0x086e
00000865: JUMPI
00000866: POP
00000867: PUSH1 0x03
00000869: DUP3
0000086a: MOD
0000086b: PUSH1 0x00
0000086d: EQ
0000086e: JUMPDEST
0000086f: ISZERO
00000870: PUSH2 0x0958
00000873: JUMPI
00000874: POP
00000875: PUSH1 0x01
00000877: SLOAD
00000878: PUSH1 0x00
0000087a: DUP1
0000087b: SLOAD
0000087c: PUSH8 0x257853b1dd8e0000
00000885: SWAP3
00000886: DUP3
00000887: SWAP2
00000888: DUP2
00000889: LT
0000088a: ISZERO
0000088b: PUSH2 0x0002
0000088e: JUMPI
0000088f: SWAP1
00000890: DUP1
00000891: MSTORE
00000892: PUSH1 0x04
00000894: MUL
00000895: PUSH1 0x00
00000897: DUP1
00000898: MLOAD
00000899: PUSH1 0x20
0000089b: PUSH2 0x0a50
0000089e: DUP4
0000089f: CODECOPY
000008a0: DUP2
000008a1: MLOAD
000008a2: SWAP2
000008a3: MSTORE
000008a4: ADD
000008a5: SLOAD
000008a6: PUSH1 0xff
000008a8: AND
000008a9: EQ
000008aa: ISZERO
000008ab: PUSH2 0x095e
000008ae: JUMPI
000008af: PUSH1 0x01
000008b1: SLOAD
000008b2: PUSH1 0x00
000008b4: DUP1
000008b5: SLOAD
000008b6: SWAP1
000008b7: SWAP2
000008b8: SWAP1
000008b9: DUP2
000008ba: LT
000008bb: ISZERO
000008bc: PUSH2 0x0002
000008bf: JUMPI
000008c0: DUP2
000008c1: DUP1
000008c2: MSTORE
000008c3: PUSH1 0x04
000008c5: MUL
000008c6: PUSH1 0x00
000008c8: DUP1
000008c9: MLOAD
000008ca: PUSH1 0x20
000008cc: PUSH2 0x0a50
000008cf: DUP4
000008d0: CODECOPY
000008d1: DUP2
000008d2: MLOAD
000008d3: SWAP2
000008d4: MSTORE
000008d5: ADD
000008d6: SWAP1
000008d7: POP
000008d8: PUSH1 0x40
000008da: MLOAD
000008db: PUSH1 0x02
000008dd: SWAP2
000008de: SWAP1
000008df: SWAP2
000008e0: ADD
000008e1: SLOAD
000008e2: PUSH1 0x01
000008e4: PUSH1 0xa0
000008e6: PUSH1 0x02
000008e8: EXP
000008e9: SUB
000008ea: AND
000008eb: SWAP1
000008ec: PUSH1 0x00
000008ee: SWAP1
000008ef: DUP4
000008f0: SWAP1
000008f1: DUP3
000008f2: DUP2
000008f3: DUP2
000008f4: DUP2
000008f5: DUP6
000008f6: DUP9
000008f7: DUP4
000008f8: CALL
000008f9: SWAP4
000008fa: POP
000008fb: POP
000008fc: POP
000008fd: POP
000008fe: POP
000008ff: PUSH2 0x094f
00000902: JUMP
00000903: JUMPDEST
00000904: DUP3
00000905: ADD
00000906: SWAP2
00000907: SWAP1
00000908: PUSH1 0x00
0000090a: MSTORE
0000090b: PUSH1 0x20
0000090d: PUSH1 0x00
0000090f: KECCAK256
00000910: SWAP1
00000911: JUMPDEST
00000912: DUP2
00000913: SLOAD
00000914: DUP2
00000915: MSTORE
00000916: SWAP1
00000917: PUSH1 0x01
00000919: ADD
0000091a: SWAP1
0000091b: PUSH1 0x20
0000091d: ADD
0000091e: DUP1
0000091f: DUP4
00000920: GT
00000921: PUSH2 0x0911
00000924: JUMPI
00000925: DUP3
00000926: SWAP1
00000927: SUB
00000928: PUSH1 0x1f
0000092a: AND
0000092b: DUP3
0000092c: ADD
0000092d: SWAP2
0000092e: JUMPDEST
0000092f: POP
00000930: POP
00000931: SWAP3
00000932: POP
00000933: POP
00000934: POP
00000935: PUSH1 0x20
00000937: PUSH1 0x40
00000939: MLOAD
0000093a: DUP1
0000093b: DUP4
0000093c: SUB
0000093d: DUP2
0000093e: DUP6
0000093f: DUP9
00000940: PUSH2 0x8502
00000943: GAS
00000944: SUB
00000945: CALL
00000946: ISZERO
00000947: PUSH2 0x0002
0000094a: JUMPI
0000094b: POP
0000094c: POP
0000094d: POP
0000094e: POP
0000094f: JUMPDEST
00000950: PUSH1 0x01
00000952: DUP1
00000953: SLOAD
00000954: DUP2
00000955: ADD
00000956: SWAP1
00000957: SSTORE
00000958: JUMPDEST
00000959: POP
0000095a: POP
0000095b: POP
0000095c: POP
0000095d: JUMP
0000095e: JUMPDEST
0000095f: PUSH1 0x04
00000961: SLOAD
00000962: PUSH1 0x01
00000964: SLOAD
00000965: PUSH1 0x00
00000967: DUP1
00000968: SLOAD
00000969: PUSH1 0x01
0000096b: PUSH1 0xa0
0000096d: PUSH1 0x02
0000096f: EXP
00000970: SUB
00000971: SWAP4
00000972: SWAP1
00000973: SWAP4
00000974: AND
00000975: SWAP3
00000976: PUSH4 0x02dc2e1d
0000097b: SWAP3
0000097c: DUP6
0000097d: SWAP3
0000097e: SWAP2
0000097f: DUP2
00000980: LT
00000981: ISZERO
00000982: PUSH2 0x0002
00000985: JUMPI
00000986: SWAP1
00000987: DUP1
00000988: MSTORE
00000989: PUSH1 0x40
0000098b: MLOAD
0000098c: PUSH32 0x02dc2e1d00000000000000000000000000000000000000000000000000000000
000009ad: DUP2
000009ae: MSTORE
000009af: PUSH1 0x20
000009b1: PUSH1 0x04
000009b3: DUP3
000009b4: DUP2
000009b5: ADD
000009b6: SWAP2
000009b7: DUP3
000009b8: MSTORE
000009b9: SWAP3
000009ba: SWAP1
000009bb: SWAP3
000009bc: MUL
000009bd: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e566
000009de: ADD
000009df: DUP1
000009e0: SLOAD
000009e1: PUSH1 0x02
000009e3: PUSH1 0x01
000009e5: DUP3
000009e6: AND
000009e7: ISZERO
000009e8: PUSH2 0x0100
000009eb: MUL
000009ec: PUSH1 0x00
000009ee: NOT
000009ef: ADD
000009f0: SWAP1
000009f1: SWAP2
000009f2: AND
000009f3: DIV
000009f4: PUSH1 0x24
000009f6: DUP4
000009f7: ADD
000009f8: DUP2
000009f9: SWAP1
000009fa: MSTORE
000009fb: SWAP1
000009fc: SWAP3
000009fd: SWAP2
000009fe: DUP3
000009ff: SWAP2
00000a00: PUSH1 0x44
00000a02: SWAP1
00000a03: SWAP2
00000a04: ADD
00000a05: SWAP1
00000a06: DUP5
00000a07: SWAP1
00000a08: DUP1
00000a09: ISZERO
00000a0a: PUSH2 0x092e
00000a0d: JUMPI
00000a0e: DUP1
00000a0f: PUSH1 0x1f
00000a11: LT
00000a12: PUSH2 0x0903
00000a15: JUMPI
00000a16: PUSH2 0x0100
00000a19: DUP1
00000a1a: DUP4
00000a1b: SLOAD
00000a1c: DIV
00000a1d: MUL
00000a1e: DUP4
00000a1f: MSTORE
00000a20: SWAP2
00000a21: PUSH1 0x20
00000a23: ADD
00000a24: SWAP2
00000a25: PUSH2 0x092e
00000a28: JUMP
00000a29: JUMPDEST
00000a2a: PUSH1 0x02
00000a2c: SLOAD
00000a2d: PUSH1 0x40
00000a2f: MLOAD
00000a30: PUSH1 0x01
00000a32: PUSH1 0xa0
00000a34: PUSH1 0x02
00000a36: EXP
00000a37: SUB
00000a38: DUP4
00000a39: AND
00000a3a: SWAP2
00000a3b: PUSH1 0x00
00000a3d: SWAP2
00000a3e: DUP3
00000a3f: DUP2
00000a40: DUP2
00000a41: DUP2
00000a42: DUP6
00000a43: DUP9
00000a44: DUP4
00000a45: CALL
00000a46: POP
00000a47: POP
00000a48: POP
00000a49: PUSH1 0x02
00000a4b: SSTORE
00000a4c: POP
00000a4d: JUMPDEST
00000a4e: POP
00000a4f: JUMP
00000a50: UNKNOWN(0x29)
00000a51: UNKNOWN(0x0D)
00000a52: UNKNOWN(0xEC)
00000a53: UNKNOWN(0xD9)
00000a54: SLOAD
00000a55: DUP12
00000a56: PUSH3 0xa8d603
00000a5a: GASLIMIT
00000a5b: UNKNOWN(0xA9)
00000a5c: DUP9
00000a5d: CODESIZE
00000a5e: PUSH16 0xc84ba6bc95484008f6362f93160ef3e5
00000a6f: PUSH4

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xc2efd94be029bb154c3268db0477efc3d24bf03b362b54f2dbac6b1aceae652b call_targets: 0xe31fecd188c3d0ae6785b0d697937261722bd1b0 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xc2efd94be029bb154c3268db0477efc3d24bf03b362b54f2dbac6b1aceae652b", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xe31fecd188c3d0ae6785b0d697937261722bd1b0" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x13af4035", "selector": "0x13af4035", "calldata_variants": [ "0x13af4035", "0x13af40350000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x35c1d349", "selector": "0x35c1d349", "calldata_variants": [ "0x35c1d349", "0x35c1d3490000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x483ba09e", "selector": "0x483ba09e", "calldata_variants": [ "0x483ba09e", "0x483ba09e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x54ba7daa", "selector": "0x54ba7daa", "calldata_variants": [ "0x54ba7daa", "0x54ba7daa0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9003adfe", "selector": "0x9003adfe", "calldata_variants": [ "0x9003adfe", "0x9003adfe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa480ca79", "selector": "0xa480ca79", "calldata_variants": [ "0xa480ca79", "0xa480ca790000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa60f3588", "selector": "0xa60f3588", "calldata_variants": [ "0xa60f3588", "0xa60f35880000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 655, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1157, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1222, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 6, "guards_detected": [] }
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xc2efd94be029bb154c3268db0477efc3d24bf03b362b54f2dbac6b1aceae652b call_targets: 0xe31fecd188c3d0ae6785b0d697937261722bd1b0 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xc2efd94be029bb154c3268db0477efc3d24bf03b362b54f2dbac6b1aceae652b", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xe31fecd188c3d0ae6785b0d697937261722bd1b0" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x13af4035", "selector": "0x13af4035", "calldata_variants": [ "0x13af4035", "0x13af40350000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x35c1d349", "selector": "0x35c1d349", "calldata_variants": [ "0x35c1d349", "0x35c1d3490000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x483ba09e", "selector": "0x483ba09e", "calldata_variants": [ "0x483ba09e", "0x483ba09e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x54ba7daa", "selector": "0x54ba7daa", "calldata_variants": [ "0x54ba7daa", "0x54ba7daa0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9003adfe", "selector": "0x9003adfe", "calldata_variants": [ "0x9003adfe", "0x9003adfe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa480ca79", "selector": "0xa480ca79", "calldata_variants": [ "0xa480ca79", "0xa480ca790000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa60f3588", "selector": "0xa60f3588", "calldata_variants": [ "0xa60f3588", "0xa60f35880000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 655, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1157, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1222, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 6, "guards_detected": [], "untrusted_call_count": 6 }

Severity