Analysis Run

019b3836-5ad4-73f9-816f-08186ea4e2b4

complete

Chain ID

1

Address

0x4fceb35bffc153da4ddb1937f12abeaaf86cf333

Block Number

—

Created

Fri, Dec 19, 2025 8:04 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
8965	artifact.fetch	complete	1 / 3	3 months ago
8966	tool.cast_disasm	complete	1 / 3	3 months ago
98198	analysis.bundle	complete	1 / 3	1 week ago
98199	capability.graph	complete	1 / 3	1 week ago
98200	detector.run	complete	1 / 3	1 week ago
98201	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)

18

EXT*/BALANCE

1

Total opcodes

2161

Flags

call_family_heavy

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x01a0
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x09241200
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x01c2
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x0a16697a
00000025: EQ
00000026: PUSH2 0x01cf
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x0fd1f94e
00000030: EQ
00000031: PUSH2 0x01d8
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x137c638b
0000003b: EQ
0000003c: PUSH2 0x022e
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x21835af6
00000046: EQ
00000047: PUSH2 0x023b
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x24032866
00000051: EQ
00000052: PUSH2 0x0254
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x2f95b833
0000005c: EQ
0000005d: PUSH2 0x02d6
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x3017fe24
00000067: EQ
00000068: PUSH2 0x02e5
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x3233c686
00000072: EQ
00000073: PUSH2 0x02ef
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x37f4c00e
0000007d: EQ
0000007e: PUSH2 0x02fa
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x4500054f
00000088: EQ
00000089: PUSH2 0x0305
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x4e417a98
00000093: EQ
00000094: PUSH2 0x0378
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x4e71d92d
0000009e: EQ
0000009f: PUSH2 0x03e1
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x4f059a43
000000a9: EQ
000000aa: PUSH2 0x03f3
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x61461954
000000b4: EQ
000000b5: PUSH2 0x0451
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x625cc465
000000bf: EQ
000000c0: PUSH2 0x0461
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x67ce940d
000000ca: EQ
000000cb: PUSH2 0x046a
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x7d298ee3
000000d5: EQ
000000d6: PUSH2 0x0477
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x830953ab
000000e0: EQ
000000e1: PUSH2 0x04f9
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x938b5f32
000000eb: EQ
000000ec: PUSH2 0x0504
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x95ee1221
000000f6: EQ
000000f7: PUSH2 0x0516
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x974654f4
00000101: EQ
00000102: PUSH2 0x052a
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0xa06db7dc
0000010c: EQ
0000010d: PUSH2 0x0535
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0xa9d2293d
00000117: EQ
00000118: PUSH2 0x0541
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0xae45850b
00000122: EQ
00000123: PUSH2 0x0597
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0xb0f07e44
0000012d: EQ
0000012e: PUSH2 0x05a9
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0xc19d93fb
00000138: EQ
00000139: PUSH2 0x05cb
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0xc6502da8
00000143: EQ
00000144: PUSH2 0x062e
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0xc6803622
0000014e: EQ
0000014f: PUSH2 0x0637
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0xca94692d
00000159: EQ
0000015a: PUSH2 0x064a
0000015d: JUMPI
0000015e: DUP1
0000015f: PUSH4 0xcc3471af
00000164: EQ
00000165: PUSH2 0x0673
00000168: JUMPI
00000169: DUP1
0000016a: PUSH4 0xd379be23
0000016f: EQ
00000170: PUSH2 0x06c9
00000173: JUMPI
00000174: DUP1
00000175: PUSH4 0xd62457f6
0000017a: EQ
0000017b: PUSH2 0x06e3
0000017e: JUMPI
0000017f: DUP1
00000180: PUSH4 0xea8a1af0
00000185: EQ
00000186: PUSH2 0x06ee
00000189: JUMPI
0000018a: DUP1
0000018b: PUSH4 0xf5562753
00000190: EQ
00000191: PUSH2 0x07f3
00000194: JUMPI
00000195: DUP1
00000196: PUSH4 0xf6b4dfb4
0000019b: EQ
0000019c: PUSH2 0x0854
0000019f: JUMPI
000001a0: JUMPDEST
000001a1: PUSH2 0x0868
000001a4: PUSH1 0x00
000001a6: DUP1
000001a7: SLOAD
000001a8: DUP2
000001a9: SWAP1
000001aa: PUSH1 0x01
000001ac: PUSH1 0xa0
000001ae: PUSH1 0x02
000001b0: EXP
000001b1: SUB
000001b2: SWAP1
000001b3: DUP2
000001b4: AND
000001b5: CALLER
000001b6: SWAP1
000001b7: SWAP2
000001b8: AND
000001b9: EQ
000001ba: PUSH2 0x087a
000001bd: JUMPI
000001be: PUSH2 0x0994
000001c1: JUMP
000001c2: JUMPDEST
000001c3: PUSH2 0x0868
000001c6: PUSH1 0x0b
000001c8: SLOAD
000001c9: PUSH1 0xff
000001cb: AND
000001cc: JUMPDEST
000001cd: SWAP1
000001ce: JUMP
000001cf: JUMPDEST
000001d0: PUSH2 0x0868
000001d3: PUSH1 0x0d
000001d5: SLOAD
000001d6: DUP2
000001d7: JUMP
000001d8: JUMPDEST
000001d9: PUSH2 0x0868
000001dc: PUSH1 0x00
000001de: PUSH20 0x1deeda36e15ec9e80f3d7414d67a4803ae45fc80
000001f3: PUSH4 0x0fd1f94e
000001f8: PUSH1 0x40
000001fa: MLOAD
000001fb: DUP2
000001fc: PUSH1 0xe0
000001fe: PUSH1 0x02
00000200: EXP
00000201: MUL
00000202: DUP2
00000203: MSTORE
00000204: PUSH1 0x04
00000206: ADD
00000207: DUP1
00000208: SWAP1
00000209: POP
0000020a: PUSH1 0x20
0000020c: PUSH1 0x40
0000020e: MLOAD
0000020f: DUP1
00000210: DUP4
00000211: SUB
00000212: DUP2
00000213: PUSH1 0x00
00000215: DUP8
00000216: PUSH1 0x32
00000218: GAS
00000219: SUB
0000021a: CALLCODE
0000021b: ISZERO
0000021c: PUSH2 0x0002
0000021f: JUMPI
00000220: POP
00000221: POP
00000222: PUSH1 0x40
00000224: MLOAD
00000225: MLOAD
00000226: SWAP2
00000227: POP
00000228: PUSH2 0x01cc
0000022b: SWAP1
0000022c: POP
0000022d: JUMP
0000022e: JUMPDEST
0000022f: PUSH2 0x0868
00000232: JUMPDEST
00000233: PUSH3 0x012cc8
00000237: PUSH2 0x01cc
0000023a: JUMP
0000023b: JUMPDEST
0000023c: PUSH2 0x0868
0000023f: PUSH1 0x04
00000241: CALLDATALOAD
00000242: PUSH1 0x00
00000244: DUP2
00000245: PUSH1 0x00
00000247: EQ
00000248: ISZERO
00000249: PUSH2 0x0dc6
0000024c: JUMPI
0000024d: POP
0000024e: PUSH1 0x01
00000250: PUSH2 0x084f
00000253: JUMP
00000254: JUMPDEST
00000255: PUSH2 0x0868
00000258: PUSH1 0x04
0000025a: CALLDATALOAD
0000025b: PUSH1 0x24
0000025d: CALLDATALOAD
0000025e: PUSH1 0x00
00000260: PUSH20 0x1deeda36e15ec9e80f3d7414d67a4803ae45fc80
00000275: PUSH4 0x0bd295e6
0000027a: PUSH1 0x03
0000027c: PUSH1 0x00
0000027e: POP
0000027f: DUP6
00000280: DUP6
00000281: PUSH1 0x40
00000283: MLOAD
00000284: DUP5
00000285: PUSH1 0xe0
00000287: PUSH1 0x02
00000289: EXP
0000028a: MUL
0000028b: DUP2
0000028c: MSTORE
0000028d: PUSH1 0x04
0000028f: ADD
00000290: DUP1
00000291: DUP5
00000292: DUP2
00000293: MSTORE
00000294: PUSH1 0x20
00000296: ADD
00000297: DUP4
00000298: PUSH1 0x01
0000029a: PUSH1 0xa0
0000029c: PUSH1 0x02
0000029e: EXP
0000029f: SUB
000002a0: AND
000002a1: DUP2
000002a2: MSTORE
000002a3: PUSH1 0x20
000002a5: ADD
000002a6: DUP3
000002a7: DUP2
000002a8: MSTORE
000002a9: PUSH1 0x20
000002ab: ADD
000002ac: SWAP4
000002ad: POP
000002ae: POP
000002af: POP
000002b0: POP
000002b1: PUSH1 0x20
000002b3: PUSH1 0x40
000002b5: MLOAD
000002b6: DUP1
000002b7: DUP4
000002b8: SUB
000002b9: DUP2
000002ba: PUSH1 0x00
000002bc: DUP8
000002bd: PUSH1 0x32
000002bf: GAS
000002c0: SUB
000002c1: CALLCODE
000002c2: ISZERO
000002c3: PUSH2 0x0002
000002c6: JUMPI
000002c7: POP
000002c8: POP
000002c9: PUSH1 0x40
000002cb: MLOAD
000002cc: MLOAD
000002cd: SWAP2
000002ce: POP
000002cf: POP
000002d0: JUMPDEST
000002d1: SWAP3
000002d2: SWAP2
000002d3: POP
000002d4: POP
000002d5: JUMP
000002d6: JUMPDEST
000002d7: PUSH2 0x0998
000002da: PUSH1 0x08
000002dc: SLOAD
000002dd: PUSH2 0xffff
000002e0: AND
000002e1: PUSH2 0x01cc
000002e4: JUMP
000002e5: JUMPDEST
000002e6: PUSH2 0x0868
000002e9: PUSH1 0x02
000002eb: PUSH2 0x01cc
000002ee: JUMP
000002ef: JUMPDEST
000002f0: PUSH2 0x0868
000002f3: PUSH1 0x0a
000002f5: SLOAD
000002f6: PUSH2 0x01cc
000002f9: JUMP
000002fa: JUMPDEST
000002fb: PUSH2 0x0868
000002fe: PUSH1 0x06
00000300: SLOAD
00000301: PUSH2 0x01cc
00000304: JUMP
00000305: JUMPDEST
00000306: PUSH2 0x0868
00000309: PUSH1 0x00
0000030b: PUSH20 0x1deeda36e15ec9e80f3d7414d67a4803ae45fc80
00000320: PUSH4 0xa0943154
00000325: PUSH1 0x03
00000327: PUSH1 0x00
00000329: POP
0000032a: CALLER
0000032b: PUSH1 0x40
0000032d: MLOAD
0000032e: DUP4
0000032f: PUSH1 0xe0
00000331: PUSH1 0x02
00000333: EXP
00000334: MUL
00000335: DUP2
00000336: MSTORE
00000337: PUSH1 0x04
00000339: ADD
0000033a: DUP1
0000033b: DUP4
0000033c: DUP2
0000033d: MSTORE
0000033e: PUSH1 0x20
00000340: ADD
00000341: DUP3
00000342: PUSH1 0x01
00000344: PUSH1 0xa0
00000346: PUSH1 0x02
00000348: EXP
00000349: SUB
0000034a: AND
0000034b: DUP2
0000034c: MSTORE
0000034d: PUSH1 0x20
0000034f: ADD
00000350: SWAP3
00000351: POP
00000352: POP
00000353: POP
00000354: PUSH1 0x20
00000356: PUSH1 0x40
00000358: MLOAD
00000359: DUP1
0000035a: DUP4
0000035b: SUB
0000035c: DUP2
0000035d: PUSH1 0x00
0000035f: DUP8
00000360: PUSH1 0x32
00000362: GAS
00000363: SUB
00000364: CALLCODE
00000365: ISZERO
00000366: PUSH2 0x0002
00000369: JUMPI
0000036a: POP
0000036b: POP
0000036c: PUSH1 0x40
0000036e: MLOAD
0000036f: MLOAD
00000370: SWAP2
00000371: POP
00000372: PUSH2 0x01cc
00000375: SWAP1
00000376: POP
00000377: JUMP
00000378: JUMPDEST
00000379: PUSH2 0x09af
0000037c: PUSH1 0x40
0000037e: DUP1
0000037f: MLOAD
00000380: PUSH1 0x20
00000382: DUP2
00000383: DUP2
00000384: ADD
00000385: DUP4
00000386: MSTORE
00000387: PUSH1 0x00
00000389: DUP3
0000038a: MSTORE
0000038b: DUP3
0000038c: MLOAD
0000038d: PUSH1 0x04
0000038f: DUP1
00000390: SLOAD
00000391: PUSH1 0x02
00000393: PUSH1 0x01
00000395: DUP3
00000396: AND
00000397: ISZERO
00000398: PUSH2 0x0100
0000039b: MUL
0000039c: PUSH1 0x00
0000039e: NOT
0000039f: ADD
000003a0: SWAP1
000003a1: SWAP2
000003a2: AND
000003a3: DIV
000003a4: PUSH1 0x1f
000003a6: DUP2
000003a7: ADD
000003a8: DUP5
000003a9: SWAP1
000003aa: DIV
000003ab: DUP5
000003ac: MUL
000003ad: DUP4
000003ae: ADD
000003af: DUP5
000003b0: ADD
000003b1: SWAP1
000003b2: SWAP6
000003b3: MSTORE
000003b4: DUP5
000003b5: DUP3
000003b6: MSTORE
000003b7: SWAP3
000003b8: SWAP4
000003b9: SWAP1
000003ba: SWAP3
000003bb: SWAP2
000003bc: DUP4
000003bd: ADD
000003be: DUP3
000003bf: DUP3
000003c0: DUP1
000003c1: ISZERO
000003c2: PUSH2 0x0a7d
000003c5: JUMPI
000003c6: DUP1
000003c7: PUSH1 0x1f
000003c9: LT
000003ca: PUSH2 0x0a52
000003cd: JUMPI
000003ce: PUSH2 0x0100
000003d1: DUP1
000003d2: DUP4
000003d3: SLOAD
000003d4: DIV
000003d5: MUL
000003d6: DUP4
000003d7: MSTORE
000003d8: SWAP2
000003d9: PUSH1 0x20
000003db: ADD
000003dc: SWAP2
000003dd: PUSH2 0x0a7d
000003e0: JUMP
000003e1: JUMPDEST
000003e2: PUSH2 0x0868
000003e5: PUSH1 0x00
000003e7: PUSH1 0x00
000003e9: PUSH1 0x01
000003eb: DUP1
000003ec: PUSH2 0x0b7b
000003ef: PUSH2 0x05cf
000003f2: JUMP
000003f3: JUMPDEST
000003f4: PUSH2 0x0868
000003f7: PUSH1 0x00
000003f9: PUSH20 0x1deeda36e15ec9e80f3d7414d67a4803ae45fc80
0000040e: PUSH4 0xf5562753
00000413: NUMBER
00000414: PUSH1 0x40
00000416: MLOAD
00000417: DUP3
00000418: PUSH1 0xe0
0000041a: PUSH1 0x02
0000041c: EXP
0000041d: MUL
0000041e: DUP2
0000041f: MSTORE
00000420: PUSH1 0x04
00000422: ADD
00000423: DUP1
00000424: DUP3
00000425: DUP2
00000426: MSTORE
00000427: PUSH1 0x20
00000429: ADD
0000042a: SWAP2
0000042b: POP
0000042c: POP
0000042d: PUSH1 0x20
0000042f: PUSH1 0x40
00000431: MLOAD
00000432: DUP1
00000433: DUP4
00000434: SUB
00000435: DUP2
00000436: PUSH1 0x00
00000438: DUP8
00000439: PUSH1 0x32
0000043b: GAS
0000043c: SUB
0000043d: CALLCODE
0000043e: ISZERO
0000043f: PUSH2 0x0002
00000442: JUMPI
00000443: POP
00000444: POP
00000445: PUSH1 0x40
00000447: MLOAD
00000448: MLOAD
00000449: SWAP2
0000044a: POP
0000044b: PUSH2 0x01cc
0000044e: SWAP1
0000044f: POP
00000450: JUMP
00000451: JUMPDEST
00000452: PUSH2 0x0a1d
00000455: PUSH1 0x00
00000457: PUSH1 0x04
00000459: DUP1
0000045a: PUSH2 0x0c98
0000045d: PUSH2 0x05cf
00000460: JUMP
00000461: JUMPDEST
00000462: PUSH2 0x0868
00000465: PUSH1 0x02
00000467: SLOAD
00000468: DUP2
00000469: JUMP
0000046a: JUMPDEST
0000046b: PUSH2 0x0868
0000046e: JUMPDEST
0000046f: PUSH3 0x0186a0
00000473: PUSH2 0x01cc
00000476: JUMP
00000477: JUMPDEST
00000478: PUSH2 0x0868
0000047b: PUSH1 0x04
0000047d: CALLDATALOAD
0000047e: PUSH1 0x24
00000480: CALLDATALOAD
00000481: JUMPDEST
00000482: PUSH1 0x00
00000484: PUSH20 0x1deeda36e15ec9e80f3d7414d67a4803ae45fc80
00000499: PUSH4 0xa1873db6
0000049e: PUSH1 0x03
000004a0: PUSH1 0x00
000004a2: POP
000004a3: DUP6
000004a4: DUP6
000004a5: PUSH1 0x40
000004a7: MLOAD
000004a8: DUP5
000004a9: PUSH1 0xe0
000004ab: PUSH1 0x02
000004ad: EXP
000004ae: MUL
000004af: DUP2
000004b0: MSTORE
000004b1: PUSH1 0x04
000004b3: ADD
000004b4: DUP1
000004b5: DUP5
000004b6: DUP2
000004b7: MSTORE
000004b8: PUSH1 0x20
000004ba: ADD
000004bb: DUP4
000004bc: PUSH1 0x01
000004be: PUSH1 0xa0
000004c0: PUSH1 0x02
000004c2: EXP
000004c3: SUB
000004c4: AND
000004c5: DUP2
000004c6: MSTORE
000004c7: PUSH1 0x20
000004c9: ADD
000004ca: DUP3
000004cb: DUP2
000004cc: MSTORE
000004cd: PUSH1 0x20
000004cf: ADD
000004d0: SWAP4
000004d1: POP
000004d2: POP
000004d3: POP
000004d4: POP
000004d5: PUSH1 0x20
000004d7: PUSH1 0x40
000004d9: MLOAD
000004da: DUP1
000004db: DUP4
000004dc: SUB
000004dd: DUP2
000004de: PUSH1 0x00
000004e0: DUP8
000004e1: PUSH1 0x32
000004e3: GAS
000004e4: SUB
000004e5: CALLCODE
000004e6: ISZERO
000004e7: PUSH2 0x0002
000004ea: JUMPI
000004eb: POP
000004ec: POP
000004ed: PUSH1 0x40
000004ef: MLOAD
000004f0: MLOAD
000004f1: SWAP2
000004f2: POP
000004f3: PUSH2 0x02d0
000004f6: SWAP1
000004f7: POP
000004f8: JUMP
000004f9: JUMPDEST
000004fa: PUSH2 0x0868
000004fd: PUSH1 0x09
000004ff: SLOAD
00000500: PUSH2 0x01cc
00000503: JUMP
00000504: JUMPDEST
00000505: PUSH2 0x0a1f
00000508: PUSH1 0x0c
0000050a: SLOAD
0000050b: PUSH1 0x01
0000050d: PUSH1 0xa0
0000050f: PUSH1 0x02
00000511: EXP
00000512: SUB
00000513: AND
00000514: DUP2
00000515: JUMP
00000516: JUMPDEST
00000517: PUSH2 0x0868
0000051a: PUSH1 0x0b
0000051c: SLOAD
0000051d: PUSH3 0x010000
00000521: SWAP1
00000522: DIV
00000523: PUSH1 0xff
00000525: AND
00000526: PUSH2 0x01cc
00000529: JUMP
0000052a: JUMPDEST
0000052b: PUSH2 0x0868
0000052e: PUSH1 0x07
00000530: SLOAD
00000531: PUSH2 0x01cc
00000534: JUMP
00000535: JUMPDEST
00000536: PUSH2 0x0a3c
00000539: PUSH1 0x0e
0000053b: SLOAD
0000053c: PUSH1 0xff
0000053e: AND
0000053f: DUP2
00000540: JUMP
00000541: JUMPDEST
00000542: PUSH2 0x0868
00000545: PUSH1 0x00
00000547: PUSH20 0x1deeda36e15ec9e80f3d7414d67a4803ae45fc80
0000055c: PUSH4 0xa9d2293d
00000561: PUSH1 0x40
00000563: MLOAD
00000564: DUP2
00000565: PUSH1 0xe0
00000567: PUSH1 0x02
00000569: EXP
0000056a: MUL
0000056b: DUP2
0000056c: MSTORE
0000056d: PUSH1 0x04
0000056f: ADD
00000570: DUP1
00000571: SWAP1
00000572: POP
00000573: PUSH1 0x20
00000575: PUSH1 0x40
00000577: MLOAD
00000578: DUP1
00000579: DUP4
0000057a: SUB
0000057b: DUP2
0000057c: PUSH1 0x00
0000057e: DUP8
0000057f: PUSH1 0x32
00000581: GAS
00000582: SUB
00000583: CALLCODE
00000584: ISZERO
00000585: PUSH2 0x0002
00000588: JUMPI
00000589: POP
0000058a: POP
0000058b: PUSH1 0x40
0000058d: MLOAD
0000058e: MLOAD
0000058f: SWAP2
00000590: POP
00000591: PUSH2 0x01cc
00000594: SWAP1
00000595: POP
00000596: JUMP
00000597: JUMPDEST
00000598: PUSH2 0x0a1f
0000059b: PUSH1 0x00
0000059d: SLOAD
0000059e: PUSH1 0x01
000005a0: PUSH1 0xa0
000005a2: PUSH1 0x02
000005a4: EXP
000005a5: SUB
000005a6: AND
000005a7: DUP2
000005a8: JUMP
000005a9: JUMPDEST
000005aa: PUSH2 0x0868
000005ad: PUSH1 0x00
000005af: DUP1
000005b0: SLOAD
000005b1: DUP2
000005b2: SWAP1
000005b3: PUSH1 0x01
000005b5: PUSH1 0xa0
000005b7: PUSH1 0x02
000005b9: EXP
000005ba: SUB
000005bb: SWAP1
000005bc: DUP2
000005bd: AND
000005be: CALLER
000005bf: SWAP1
000005c0: SWAP2
000005c1: AND
000005c2: EQ
000005c3: PUSH2 0x0a89
000005c6: JUMPI
000005c7: PUSH2 0x0994
000005ca: JUMP
000005cb: JUMPDEST
000005cc: PUSH2 0x0868
000005cf: JUMPDEST
000005d0: PUSH1 0x00
000005d2: PUSH20 0x1deeda36e15ec9e80f3d7414d67a4803ae45fc80
000005e7: PUSH4 0x5054d98a
000005ec: PUSH1 0x03
000005ee: PUSH1 0x00
000005f0: POP
000005f1: PUSH1 0x40
000005f3: MLOAD
000005f4: DUP3
000005f5: PUSH1 0xe0
000005f7: PUSH1 0x02
000005f9: EXP
000005fa: MUL
000005fb: DUP2
000005fc: MSTORE
000005fd: PUSH1 0x04
000005ff: ADD
00000600: DUP1
00000601: DUP3
00000602: DUP2
00000603: MSTORE
00000604: PUSH1 0x20
00000606: ADD
00000607: SWAP2
00000608: POP
00000609: POP
0000060a: PUSH1 0x20
0000060c: PUSH1 0x40
0000060e: MLOAD
0000060f: DUP1
00000610: DUP4
00000611: SUB
00000612: DUP2
00000613: PUSH1 0x00
00000615: DUP8
00000616: PUSH1 0x32
00000618: GAS
00000619: SUB
0000061a: CALLCODE
0000061b: ISZERO
0000061c: PUSH2 0x0002
0000061f: JUMPI
00000620: POP
00000621: POP
00000622: PUSH1 0x40
00000624: MLOAD
00000625: MLOAD
00000626: SWAP2
00000627: POP
00000628: PUSH2 0x01cc
0000062b: SWAP1
0000062c: POP
0000062d: JUMP
0000062e: JUMPDEST
0000062f: PUSH2 0x0868
00000632: PUSH1 0x01
00000634: SLOAD
00000635: DUP2
00000636: JUMP
00000637: JUMPDEST
00000638: PUSH2 0x0868
0000063b: PUSH1 0x0b
0000063d: SLOAD
0000063e: PUSH2 0x0100
00000641: SWAP1
00000642: DIV
00000643: PUSH1 0xff
00000645: AND
00000646: PUSH2 0x01cc
00000649: JUMP
0000064a: JUMPDEST
0000064b: PUSH2 0x0868
0000064e: PUSH1 0x03
00000650: SLOAD
00000651: PUSH21 0x010000000000000000000000000000000000000000
00000667: SWAP1
00000668: DIV
00000669: PUSH1 0xe0
0000066b: PUSH1 0x02
0000066d: EXP
0000066e: MUL
0000066f: PUSH2 0x01cc
00000672: JUMP
00000673: JUMPDEST
00000674: PUSH2 0x0868
00000677: PUSH1 0x00
00000679: PUSH20 0x1deeda36e15ec9e80f3d7414d67a4803ae45fc80
0000068e: PUSH4 0xcc3471af
00000693: PUSH1 0x40
00000695: MLOAD
00000696: DUP2
00000697: PUSH1 0xe0
00000699: PUSH1 0x02
0000069b: EXP
0000069c: MUL
0000069d: DUP2
0000069e: MSTORE
0000069f: PUSH1 0x04
000006a1: ADD
000006a2: DUP1
000006a3: SWAP1
000006a4: POP
000006a5: PUSH1 0x20
000006a7: PUSH1 0x40
000006a9: MLOAD
000006aa: DUP1
000006ab: DUP4
000006ac: SUB
000006ad: DUP2
000006ae: PUSH1 0x00
000006b0: DUP8
000006b1: PUSH1 0x32
000006b3: GAS
000006b4: SUB
000006b5: CALLCODE
000006b6: ISZERO
000006b7: PUSH2 0x0002
000006ba: JUMPI
000006bb: POP
000006bc: POP
000006bd: PUSH1 0x40
000006bf: MLOAD
000006c0: MLOAD
000006c1: SWAP2
000006c2: POP
000006c3: PUSH2 0x01cc
000006c6: SWAP1
000006c7: POP
000006c8: JUMP
000006c9: JUMPDEST
000006ca: PUSH2 0x0a1f
000006cd: PUSH1 0x08
000006cf: SLOAD
000006d0: PUSH3 0x010000
000006d4: SWAP1
000006d5: DIV
000006d6: PUSH1 0x01
000006d8: PUSH1 0xa0
000006da: PUSH1 0x02
000006dc: EXP
000006dd: SUB
000006de: AND
000006df: PUSH2 0x01cc
000006e2: JUMP
000006e3: JUMPDEST
000006e4: PUSH2 0x0868
000006e7: PUSH1 0x05
000006e9: SLOAD
000006ea: PUSH2 0x01cc
000006ed: JUMP
000006ee: JUMPDEST
000006ef: PUSH2 0x0a1d
000006f2: PUSH1 0x40
000006f4: DUP1
000006f5: MLOAD
000006f6: PUSH32 0xa094315400000000000000000000000000000000000000000000000000000000
00000717: DUP2
00000718: MSTORE
00000719: PUSH1 0x03
0000071b: PUSH1 0x04
0000071d: DUP3
0000071e: ADD
0000071f: MSTORE
00000720: CALLER
00000721: PUSH1 0x01
00000723: PUSH1 0xa0
00000725: PUSH1 0x02
00000727: EXP
00000728: SUB
00000729: AND
0000072a: PUSH1 0x24
0000072c: DUP3
0000072d: ADD
0000072e: MSTORE
0000072f: SWAP1
00000730: MLOAD
00000731: PUSH20 0x1deeda36e15ec9e80f3d7414d67a4803ae45fc80
00000746: SWAP2
00000747: PUSH4 0xa0943154
0000074c: SWAP2
0000074d: PUSH1 0x44
0000074f: DUP1
00000750: DUP4
00000751: ADD
00000752: SWAP3
00000753: PUSH1 0x20
00000755: SWAP3
00000756: SWAP2
00000757: SWAP1
00000758: DUP3
00000759: SWAP1
0000075a: SUB
0000075b: ADD
0000075c: DUP2
0000075d: PUSH1 0x00
0000075f: DUP8
00000760: PUSH1 0x32
00000762: GAS
00000763: SUB
00000764: CALLCODE
00000765: ISZERO
00000766: PUSH2 0x0002
00000769: JUMPI
0000076a: POP
0000076b: POP
0000076c: PUSH1 0x40
0000076e: MLOAD
0000076f: MLOAD
00000770: ISZERO
00000771: SWAP1
00000772: POP
00000773: PUSH2 0x07f1
00000776: JUMPI
00000777: PUSH1 0x40
00000779: DUP1
0000077a: MLOAD
0000077b: PUSH32 0x7e92656200000000000000000000000000000000000000000000000000000000
0000079c: DUP2
0000079d: MSTORE
0000079e: PUSH1 0x03
000007a0: PUSH1 0x04
000007a2: DUP3
000007a3: ADD
000007a4: MSTORE
000007a5: CALLER
000007a6: PUSH1 0x01
000007a8: PUSH1 0xa0
000007aa: PUSH1 0x02
000007ac: EXP
000007ad: SUB
000007ae: AND
000007af: PUSH1 0x24
000007b1: DUP3
000007b2: ADD
000007b3: MSTORE
000007b4: SWAP1
000007b5: MLOAD
000007b6: PUSH20 0x1deeda36e15ec9e80f3d7414d67a4803ae45fc80
000007cb: SWAP2
000007cc: PUSH4 0x7e926562
000007d1: SWAP2
000007d2: PUSH1 0x44
000007d4: DUP1
000007d5: DUP4
000007d6: ADD
000007d7: SWAP3
000007d8: PUSH1 0x00
000007da: SWAP3
000007db: SWAP2
000007dc: SWAP1
000007dd: DUP3
000007de: SWAP1
000007df: SUB
000007e0: ADD
000007e1: DUP2
000007e2: DUP4
000007e3: DUP8
000007e4: PUSH1 0x32
000007e6: GAS
000007e7: SUB
000007e8: CALLCODE
000007e9: ISZERO
000007ea: PUSH2 0x0002
000007ed: JUMPI
000007ee: POP
000007ef: POP
000007f0: POP
000007f1: JUMPDEST
000007f2: JUMP
000007f3: JUMPDEST
000007f4: PUSH2 0x0868
000007f7: PUSH1 0x04
000007f9: CALLDATALOAD
000007fa: PUSH1 0x00
000007fc: PUSH20 0x1deeda36e15ec9e80f3d7414d67a4803ae45fc80
00000811: PUSH4 0xf5562753
00000816: DUP4
00000817: PUSH1 0x40
00000819: MLOAD
0000081a: DUP3
0000081b: PUSH1 0xe0
0000081d: PUSH1 0x02
0000081f: EXP
00000820: MUL
00000821: DUP2
00000822: MSTORE
00000823: PUSH1 0x04
00000825: ADD
00000826: DUP1
00000827: DUP3
00000828: DUP2
00000829: MSTORE
0000082a: PUSH1 0x20
0000082c: ADD
0000082d: SWAP2
0000082e: POP
0000082f: POP
00000830: PUSH1 0x20
00000832: PUSH1 0x40
00000834: MLOAD
00000835: DUP1
00000836: DUP4
00000837: SUB
00000838: DUP2
00000839: PUSH1 0x00
0000083b: DUP8
0000083c: PUSH1 0x32
0000083e: GAS
0000083f: SUB
00000840: CALLCODE
00000841: ISZERO
00000842: PUSH2 0x0002
00000845: JUMPI
00000846: POP
00000847: POP
00000848: PUSH1 0x40
0000084a: MLOAD
0000084b: MLOAD
0000084c: SWAP2
0000084d: POP
0000084e: POP
0000084f: JUMPDEST
00000850: SWAP2
00000851: SWAP1
00000852: POP
00000853: JUMP
00000854: JUMPDEST
00000855: PUSH2 0x0a1f
00000858: PUSH1 0x03
0000085a: SLOAD
0000085b: PUSH1 0x01
0000085d: PUSH1 0xa0
0000085f: PUSH1 0x02
00000861: EXP
00000862: SUB
00000863: AND
00000864: PUSH2 0x01cc
00000867: JUMP
00000868: JUMPDEST
00000869: PUSH1 0x40
0000086b: DUP1
0000086c: MLOAD
0000086d: SWAP2
0000086e: DUP3
0000086f: MSTORE
00000870: MLOAD
00000871: SWAP1
00000872: DUP2
00000873: SWAP1
00000874: SUB
00000875: PUSH1 0x20
00000877: ADD
00000878: SWAP1
00000879: RETURN
0000087a: JUMPDEST
0000087b: PUSH1 0x04
0000087d: SLOAD
0000087e: PUSH1 0x00
00000880: PUSH1 0x02
00000882: PUSH1 0x01
00000884: DUP4
00000885: AND
00000886: ISZERO
00000887: PUSH2 0x0100
0000088a: MUL
0000088b: PUSH1 0x00
0000088d: NOT
0000088e: ADD
0000088f: SWAP1
00000890: SWAP3
00000891: AND
00000892: SWAP2
00000893: SWAP1
00000894: SWAP2
00000895: DIV
00000896: GT
00000897: ISZERO
00000898: PUSH2 0x08a4
0000089b: JUMPI
0000089c: PUSH1 0x00
0000089e: SWAP2
0000089f: POP
000008a0: PUSH2 0x0994
000008a3: JUMP
000008a4: JUMPDEST
000008a5: PUSH2 0x08ac
000008a8: PUSH2 0x05cf
000008ab: JUMP
000008ac: JUMPDEST
000008ad: SWAP1
000008ae: POP
000008af: PUSH1 0x00
000008b1: DUP2
000008b2: EQ
000008b3: ISZERO
000008b4: DUP1
000008b5: ISZERO
000008b6: PUSH2 0x08c0
000008b9: JUMPI
000008ba: POP
000008bb: PUSH1 0x01
000008bd: DUP2
000008be: EQ
000008bf: ISZERO
000008c0: JUMPDEST
000008c1: DUP1
000008c2: ISZERO
000008c3: PUSH2 0x08cd
000008c6: JUMPI
000008c7: POP
000008c8: PUSH1 0x02
000008ca: DUP2
000008cb: EQ
000008cc: ISZERO
000008cd: JUMPDEST
000008ce: ISZERO
000008cf: PUSH2 0x08db
000008d2: JUMPI
000008d3: PUSH1 0x00
000008d5: SWAP2
000008d6: POP
000008d7: PUSH2 0x0994
000008da: JUMP
000008db: JUMPDEST
000008dc: PUSH1 0x04
000008de: DUP1
000008df: SLOAD
000008e0: PUSH1 0x00
000008e2: DUP3
000008e3: DUP2
000008e4: MSTORE
000008e5: PUSH1 0x20
000008e7: PUSH1 0x02
000008e9: PUSH1 0x01
000008eb: DUP5
000008ec: AND
000008ed: ISZERO
000008ee: PUSH2 0x0100
000008f1: MUL
000008f2: PUSH1 0x00
000008f4: NOT
000008f5: ADD
000008f6: SWAP1
000008f7: SWAP4
000008f8: AND
000008f9: SWAP3
000008fa: SWAP1
000008fb: SWAP3
000008fc: DIV
000008fd: PUSH1 0x1f
000008ff: SWAP1
00000900: DUP2
00000901: ADD
00000902: SWAP3
00000903: SWAP1
00000904: SWAP3
00000905: DIV
00000906: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b
00000927: SWAP1
00000928: DUP2
00000929: ADD
0000092a: SWAP3
0000092b: CALLDATASIZE
0000092c: SWAP3
0000092d: SWAP1
0000092e: DUP4
0000092f: SWAP1
00000930: LT
00000931: PUSH2 0x095d
00000934: JUMPI
00000935: DUP3
00000936: DUP1
00000937: ADD
00000938: PUSH1 0xff
0000093a: NOT
0000093b: DUP3
0000093c: CALLDATALOAD
0000093d: AND
0000093e: OR
0000093f: DUP6
00000940: SSTORE
00000941: JUMPDEST
00000942: POP
00000943: PUSH2 0x098d
00000946: SWAP3
00000947: SWAP2
00000948: POP
00000949: JUMPDEST
0000094a: DUP1
0000094b: DUP3
0000094c: GT
0000094d: ISZERO
0000094e: PUSH2 0x0994
00000951: JUMPI
00000952: PUSH1 0x00
00000954: DUP2
00000955: SSTORE
00000956: PUSH1 0x01
00000958: ADD
00000959: PUSH2 0x0949
0000095c: JUMP
0000095d: JUMPDEST
0000095e: DUP3
0000095f: DUP1
00000960: ADD
00000961: PUSH1 0x01
00000963: ADD
00000964: DUP6
00000965: SSTORE
00000966: DUP3
00000967: ISZERO
00000968: PUSH2 0x0941
0000096b: JUMPI
0000096c: SWAP2
0000096d: DUP3
0000096e: ADD
0000096f: JUMPDEST
00000970: DUP3
00000971: DUP2
00000972: GT
00000973: ISZERO
00000974: PUSH2 0x0941
00000977: JUMPI
00000978: DUP3
00000979: CALLDATALOAD
0000097a: DUP3
0000097b: PUSH1 0x00
0000097d: POP
0000097e: SSTORE
0000097f: SWAP2
00000980: PUSH1 0x20
00000982: ADD
00000983: SWAP2
00000984: SWAP1
00000985: PUSH1 0x01
00000987: ADD
00000988: SWAP1
00000989: PUSH2 0x096f
0000098c: JUMP
0000098d: JUMPDEST
0000098e: POP
0000098f: POP
00000990: PUSH1 0x01
00000992: SWAP2
00000993: POP
00000994: JUMPDEST
00000995: POP
00000996: SWAP1
00000997: JUMP
00000998: JUMPDEST
00000999: PUSH1 0x40
0000099b: DUP1
0000099c: MLOAD
0000099d: PUSH2 0xffff
000009a0: SWAP1
000009a1: SWAP3
000009a2: AND
000009a3: DUP3
000009a4: MSTORE
000009a5: MLOAD
000009a6: SWAP1
000009a7: DUP2
000009a8: SWAP1
000009a9: SUB
000009aa: PUSH1 0x20
000009ac: ADD
000009ad: SWAP1
000009ae: RETURN
000009af: JUMPDEST
000009b0: PUSH1 0x40
000009b2: MLOAD
000009b3: DUP1
000009b4: DUP1
000009b5: PUSH1 0x20
000009b7: ADD
000009b8: DUP3
000009b9: DUP2
000009ba: SUB
000009bb: DUP3
000009bc: MSTORE
000009bd: DUP4
000009be: DUP2
000009bf: DUP2
000009c0: MLOAD
000009c1: DUP2
000009c2: MSTORE
000009c3: PUSH1 0x20
000009c5: ADD
000009c6: SWAP2
000009c7: POP
000009c8: DUP1
000009c9: MLOAD
000009ca: SWAP1
000009cb: PUSH1 0x20
000009cd: ADD
000009ce: SWAP1
000009cf: DUP1
000009d0: DUP4
000009d1: DUP4
000009d2: DUP3
000009d3: SWAP1
000009d4: PUSH1 0x00
000009d6: PUSH1 0x04
000009d8: PUSH1 0x20
000009da: DUP5
000009db: PUSH1 0x1f
000009dd: ADD
000009de: DIV
000009df: PUSH1 0x0f
000009e1: MUL
000009e2: PUSH1 0x03
000009e4: ADD
000009e5: CALL
000009e6: POP
000009e7: SWAP1
000009e8: POP
000009e9: SWAP1
000009ea: DUP2
000009eb: ADD
000009ec: SWAP1
000009ed: PUSH1 0x1f
000009ef: AND
000009f0: DUP1
000009f1: ISZERO
000009f2: PUSH2 0x0a0f
000009f5: JUMPI
000009f6: DUP1
000009f7: DUP3
000009f8: SUB
000009f9: DUP1
000009fa: MLOAD
000009fb: PUSH1 0x01
000009fd: DUP4
000009fe: PUSH1 0x20
00000a00: SUB
00000a01: PUSH2 0x0100
00000a04: EXP
00000a05: SUB
00000a06: NOT
00000a07: AND
00000a08: DUP2
00000a09: MSTORE
00000a0a: PUSH1 0x20
00000a0c: ADD
00000a0d: SWAP2
00000a0e: POP
00000a0f: JUMPDEST
00000a10: POP
00000a11: SWAP3
00000a12: POP
00000a13: POP
00000a14: POP
00000a15: PUSH1 0x40
00000a17: MLOAD
00000a18: DUP1
00000a19: SWAP2
00000a1a: SUB
00000a1b: SWAP1
00000a1c: RETURN
00000a1d: JUMPDEST
00000a1e: STOP
00000a1f: JUMPDEST
00000a20: PUSH1 0x40
00000a22: DUP1
00000a23: MLOAD
00000a24: PUSH1 0x01
00000a26: PUSH1 0xa0
00000a28: PUSH1 0x02
00000a2a: EXP
00000a2b: SUB
00000a2c: SWAP3
00000a2d: SWAP1
00000a2e: SWAP3
00000a2f: AND
00000a30: DUP3
00000a31: MSTORE
00000a32: MLOAD
00000a33: SWAP1
00000a34: DUP2
00000a35: SWAP1
00000a36: SUB
00000a37: PUSH1 0x20
00000a39: ADD
00000a3a: SWAP1
00000a3b: RETURN
00000a3c: JUMPDEST
00000a3d: PUSH1 0x40
00000a3f: DUP1
00000a40: MLOAD
00000a41: PUSH1 0xff
00000a43: SWAP1
00000a44: SWAP3
00000a45: AND
00000a46: DUP3
00000a47: MSTORE
00000a48: MLOAD
00000a49: SWAP1
00000a4a: DUP2
00000a4b: SWAP1
00000a4c: SUB
00000a4d: PUSH1 0x20
00000a4f: ADD
00000a50: SWAP1
00000a51: RETURN
00000a52: JUMPDEST
00000a53: DUP3
00000a54: ADD
00000a55: SWAP2
00000a56: SWAP1
00000a57: PUSH1 0x00
00000a59: MSTORE
00000a5a: PUSH1 0x20
00000a5c: PUSH1 0x00
00000a5e: KECCAK256
00000a5f: SWAP1
00000a60: JUMPDEST
00000a61: DUP2
00000a62: SLOAD
00000a63: DUP2
00000a64: MSTORE
00000a65: SWAP1
00000a66: PUSH1 0x01
00000a68: ADD
00000a69: SWAP1
00000a6a: PUSH1 0x20
00000a6c: ADD
00000a6d: DUP1
00000a6e: DUP4
00000a6f: GT
00000a70: PUSH2 0x0a60
00000a73: JUMPI
00000a74: DUP3
00000a75: SWAP1
00000a76: SUB
00000a77: PUSH1 0x1f
00000a79: AND
00000a7a: DUP3
00000a7b: ADD
00000a7c: SWAP2
00000a7d: JUMPDEST
00000a7e: POP
00000a7f: POP
00000a80: POP
00000a81: POP
00000a82: POP
00000a83: SWAP1
00000a84: POP
00000a85: PUSH2 0x01cc
00000a88: JUMP
00000a89: JUMPDEST
00000a8a: PUSH1 0x04
00000a8c: SLOAD
00000a8d: PUSH1 0x00
00000a8f: PUSH1 0x02
00000a91: PUSH1 0x01
00000a93: DUP4
00000a94: AND
00000a95: ISZERO
00000a96: PUSH2 0x0100
00000a99: MUL
00000a9a: PUSH1 0x00
00000a9c: NOT
00000a9d: ADD
00000a9e: SWAP1
00000a9f: SWAP3
00000aa0: AND
00000aa1: SWAP2
00000aa2: SWAP1
00000aa3: SWAP2
00000aa4: DIV
00000aa5: GT
00000aa6: ISZERO
00000aa7: PUSH2 0x0ab3
00000aaa: JUMPI
00000aab: PUSH1 0x00
00000aad: SWAP2
00000aae: POP
00000aaf: PUSH2 0x0994
00000ab2: JUMP
00000ab3: JUMPDEST
00000ab4: PUSH2 0x0abb
00000ab7: PUSH2 0x05cf
00000aba: JUMP
00000abb: JUMPDEST
00000abc: SWAP1
00000abd: POP
00000abe: PUSH1 0x00
00000ac0: DUP2
00000ac1: EQ
00000ac2: ISZERO
00000ac3: DUP1
00000ac4: ISZERO
00000ac5: PUSH2 0x0acf
00000ac8: JUMPI
00000ac9: POP
00000aca: PUSH1 0x01
00000acc: DUP2
00000acd: EQ
00000ace: ISZERO
00000acf: JUMPDEST
00000ad0: DUP1
00000ad1: ISZERO
00000ad2: PUSH2 0x0adc
00000ad5: JUMPI
00000ad6: POP
00000ad7: PUSH1 0x02
00000ad9: DUP2
00000ada: EQ
00000adb: ISZERO
00000adc: JUMPDEST
00000add: ISZERO
00000ade: PUSH2 0x0aea
00000ae1: JUMPI
00000ae2: PUSH1 0x00
00000ae4: SWAP2
00000ae5: POP
00000ae6: PUSH2 0x0994
00000ae9: JUMP
00000aea: JUMPDEST
00000aeb: PUSH1 0x40
00000aed: DUP1
00000aee: MLOAD
00000aef: PUSH32 0x7c0278fc00000000000000000000000000000000000000000000000000000000
00000b10: DUP2
00000b11: MSTORE
00000b12: PUSH1 0x03
00000b14: PUSH1 0x04
00000b16: DUP3
00000b17: ADD
00000b18: DUP2
00000b19: DUP2
00000b1a: MSTORE
00000b1b: PUSH1 0x24
00000b1d: DUP4
00000b1e: ADD
00000b1f: SWAP4
00000b20: DUP5
00000b21: MSTORE
00000b22: CALLDATASIZE
00000b23: PUSH1 0x44
00000b25: DUP5
00000b26: ADD
00000b27: DUP2
00000b28: SWAP1
00000b29: MSTORE
00000b2a: PUSH20 0x1deeda36e15ec9e80f3d7414d67a4803ae45fc80
00000b3f: SWAP5
00000b40: PUSH4 0x7c0278fc
00000b45: SWAP5
00000b46: PUSH1 0x00
00000b48: SWAP4
00000b49: SWAP2
00000b4a: SWAP1
00000b4b: PUSH1 0x64
00000b4d: ADD
00000b4e: DUP5
00000b4f: DUP5
00000b50: DUP1
00000b51: DUP3
00000b52: DUP5
00000b53: CALLDATACOPY
00000b54: DUP3
00000b55: ADD
00000b56: SWAP2
00000b57: POP
00000b58: POP
00000b59: SWAP5
00000b5a: POP
00000b5b: POP
00000b5c: POP
00000b5d: POP
00000b5e: POP
00000b5f: PUSH1 0x00
00000b61: PUSH1 0x40
00000b63: MLOAD
00000b64: DUP1
00000b65: DUP4
00000b66: SUB
00000b67: DUP2
00000b68: PUSH1 0x00
00000b6a: DUP8
00000b6b: PUSH1 0x32
00000b6d: GAS
00000b6e: SUB
00000b6f: CALLCODE
00000b70: ISZERO
00000b71: PUSH2 0x0002
00000b74: JUMPI
00000b75: POP
00000b76: POP
00000b77: POP
00000b78: POP
00000b79: SWAP1
00000b7a: JUMP
00000b7b: JUMPDEST
00000b7c: EQ
00000b7d: ISZERO
00000b7e: PUSH2 0x0c85
00000b81: JUMPI
00000b82: PUSH1 0x40
00000b84: DUP1
00000b85: MLOAD
00000b86: PUSH1 0x01
00000b88: SLOAD
00000b89: PUSH32 0x0fee183d00000000000000000000000000000000000000000000000000000000
00000baa: DUP3
00000bab: MSTORE
00000bac: PUSH1 0x03
00000bae: PUSH1 0x04
00000bb0: DUP4
00000bb1: ADD
00000bb2: MSTORE
00000bb3: CALLER
00000bb4: PUSH1 0x01
00000bb6: PUSH1 0xa0
00000bb8: PUSH1 0x02
00000bba: EXP
00000bbb: SUB
00000bbc: AND
00000bbd: PUSH1 0x24
00000bbf: DUP4
00000bc0: ADD
00000bc1: MSTORE
00000bc2: CALLVALUE
00000bc3: PUSH1 0x44
00000bc5: DUP4
00000bc6: ADD
00000bc7: MSTORE
00000bc8: PUSH1 0x64
00000bca: DUP3
00000bcb: ADD
00000bcc: MSTORE
00000bcd: SWAP1
00000bce: MLOAD
00000bcf: PUSH20 0x1deeda36e15ec9e80f3d7414d67a4803ae45fc80
00000be4: SWAP2
00000be5: PUSH4 0x0fee183d
00000bea: SWAP2
00000beb: PUSH1 0x84
00000bed: DUP3
00000bee: DUP2
00000bef: ADD
00000bf0: SWAP3
00000bf1: PUSH1 0x20
00000bf3: SWAP3
00000bf4: SWAP2
00000bf5: SWAP1
00000bf6: DUP3
00000bf7: SWAP1
00000bf8: SUB
00000bf9: ADD
00000bfa: DUP2
00000bfb: PUSH1 0x00
00000bfd: DUP8
00000bfe: PUSH1 0x32
00000c00: GAS
00000c01: SUB
00000c02: CALLCODE
00000c03: ISZERO
00000c04: PUSH2 0x0002
00000c07: JUMPI
00000c08: POP
00000c09: POP
00000c0a: PUSH1 0x40
00000c0c: MLOAD
00000c0d: MLOAD
00000c0e: SWAP3
00000c0f: POP
00000c10: POP
00000c11: DUP2
00000c12: ISZERO
00000c13: ISZERO
00000c14: PUSH2 0x0c8a
00000c17: JUMPI
00000c18: PUSH20 0x89efe605e9ecbe22849cd85d5449cc946c26f8f3
00000c2d: PUSH4 0x12c82bcc
00000c32: CALLER
00000c33: CALLVALUE
00000c34: PUSH1 0x40
00000c36: MLOAD
00000c37: DUP4
00000c38: PUSH1 0xe0
00000c3a: PUSH1 0x02
00000c3c: EXP
00000c3d: MUL
00000c3e: DUP2
00000c3f: MSTORE
00000c40: PUSH1 0x04
00000c42: ADD
00000c43: DUP1
00000c44: DUP4
00000c45: PUSH1 0x01
00000c47: PUSH1 0xa0
00000c49: PUSH1 0x02
00000c4b: EXP
00000c4c: SUB
00000c4d: AND
00000c4e: DUP2
00000c4f: MSTORE
00000c50: PUSH1 0x20
00000c52: ADD
00000c53: DUP3
00000c54: DUP2
00000c55: MSTORE
00000c56: PUSH1 0x20
00000c58: ADD
00000c59: SWAP3
00000c5a: POP
00000c5b: POP
00000c5c: POP
00000c5d: PUSH1 0x20
00000c5f: PUSH1 0x40
00000c61: MLOAD
00000c62: DUP1
00000c63: DUP4
00000c64: SUB
00000c65: DUP2
00000c66: PUSH1 0x00
00000c68: DUP8
00000c69: PUSH1 0x32
00000c6b: GAS
00000c6c: SUB
00000c6d: CALLCODE
00000c6e: ISZERO
00000c6f: PUSH2 0x0002
00000c72: JUMPI
00000c73: POP
00000c74: POP
00000c75: PUSH1 0x40
00000c77: MLOAD
00000c78: MLOAD
00000c79: ISZERO
00000c7a: ISZERO
00000c7b: SWAP1
00000c7c: POP
00000c7d: PUSH2 0x0c8a
00000c80: JUMPI
00000c81: PUSH2 0x0002
00000c84: JUMP
00000c85: JUMPDEST
00000c86: POP
00000c87: POP
00000c88: SWAP1
00000c89: JUMP
00000c8a: JUMPDEST
00000c8b: DUP2
00000c8c: SWAP3
00000c8d: POP
00000c8e: POP
00000c8f: PUSH2 0x0994
00000c92: JUMP
00000c93: JUMPDEST
00000c94: POP
00000c95: JUMPDEST
00000c96: POP
00000c97: JUMP
00000c98: JUMPDEST
00000c99: EQ
00000c9a: ISZERO
00000c9b: PUSH2 0x0c93
00000c9e: JUMPI
00000c9f: GAS
00000ca0: SWAP2
00000ca1: POP
00000ca2: PUSH2 0x0cab
00000ca5: CALLER
00000ca6: DUP4
00000ca7: PUSH2 0x0481
00000caa: JUMP
00000cab: JUMPDEST
00000cac: ISZERO
00000cad: ISZERO
00000cae: PUSH2 0x0cb7
00000cb1: JUMPI
00000cb2: POP
00000cb3: PUSH2 0x0c95
00000cb6: JUMP
00000cb7: JUMPDEST
00000cb8: PUSH20 0x1deeda36e15ec9e80f3d7414d67a4803ae45fc80
00000ccd: PUSH4 0xda46be0a
00000cd2: PUSH1 0x03
00000cd4: DUP5
00000cd5: CALLER
00000cd6: PUSH2 0x0cdd
00000cd9: PUSH2 0x046e
00000cdc: JUMP
00000cdd: JUMPDEST
00000cde: PUSH2 0x0ce5
00000ce1: PUSH2 0x0232
00000ce4: JUMP
00000ce5: JUMPDEST
00000ce6: PUSH1 0x40
00000ce8: MLOAD
00000ce9: DUP7
00000cea: PUSH1 0xe0
00000cec: PUSH1 0x02
00000cee: EXP
00000cef: MUL
00000cf0: DUP2
00000cf1: MSTORE
00000cf2: PUSH1 0x04
00000cf4: ADD
00000cf5: DUP1
00000cf6: DUP7
00000cf7: DUP2
00000cf8: MSTORE
00000cf9: PUSH1 0x20
00000cfb: ADD
00000cfc: DUP6
00000cfd: DUP2
00000cfe: MSTORE
00000cff: PUSH1 0x20
00000d01: ADD
00000d02: DUP5
00000d03: PUSH1 0x01
00000d05: PUSH1 0xa0
00000d07: PUSH1 0x02
00000d09: EXP
00000d0a: SUB
00000d0b: AND
00000d0c: DUP2
00000d0d: MSTORE
00000d0e: PUSH1 0x20
00000d10: ADD
00000d11: DUP4
00000d12: DUP2
00000d13: MSTORE
00000d14: PUSH1 0x20
00000d16: ADD
00000d17: DUP3
00000d18: DUP2
00000d19: MSTORE
00000d1a: PUSH1 0x20
00000d1c: ADD
00000d1d: SWAP6
00000d1e: POP
00000d1f: POP
00000d20: POP
00000d21: POP
00000d22: POP
00000d23: POP
00000d24: PUSH1 0x00
00000d26: PUSH1 0x40
00000d28: MLOAD
00000d29: DUP1
00000d2a: DUP4
00000d2b: SUB
00000d2c: DUP2
00000d2d: PUSH1 0x00
00000d2f: DUP8
00000d30: PUSH1 0x32
00000d32: GAS
00000d33: SUB
00000d34: CALLCODE
00000d35: ISZERO
00000d36: PUSH2 0x0002
00000d39: JUMPI
00000d3a: POP
00000d3b: POP
00000d3c: POP
00000d3d: PUSH2 0x0c93
00000d40: CALLER
00000d41: PUSH1 0x40
00000d43: DUP1
00000d44: MLOAD
00000d45: PUSH1 0x00
00000d47: DUP1
00000d48: SLOAD
00000d49: PUSH32 0xc17e681700000000000000000000000000000000000000000000000000000000
00000d6a: DUP4
00000d6b: MSTORE
00000d6c: PUSH1 0x01
00000d6e: PUSH1 0xa0
00000d70: PUSH1 0x02
00000d72: EXP
00000d73: SUB
00000d74: SWAP1
00000d75: DUP2
00000d76: AND
00000d77: PUSH1 0x04
00000d79: DUP5
00000d7a: ADD
00000d7b: MSTORE
00000d7c: ADDRESS
00000d7d: AND
00000d7e: BALANCE
00000d7f: PUSH1 0x24
00000d81: DUP4
00000d82: ADD
00000d83: MSTORE
00000d84: SWAP2
00000d85: MLOAD
00000d86: PUSH20 0x1deeda36e15ec9e80f3d7414d67a4803ae45fc80
00000d9b: SWAP3
00000d9c: PUSH4 0xc17e6817
00000da1: SWAP3
00000da2: PUSH1 0x44
00000da4: DUP1
00000da5: DUP3
00000da6: ADD
00000da7: SWAP4
00000da8: PUSH1 0x20
00000daa: SWAP4
00000dab: SWAP1
00000dac: SWAP3
00000dad: DUP4
00000dae: SWAP1
00000daf: SUB
00000db0: SWAP1
00000db1: SWAP2
00000db2: ADD
00000db3: SWAP1
00000db4: DUP3
00000db5: SWAP1
00000db6: DUP8
00000db7: PUSH1 0x32
00000db9: GAS
00000dba: SUB
00000dbb: CALLCODE
00000dbc: ISZERO
00000dbd: PUSH2 0x0002
00000dc0: JUMPI
00000dc1: POP
00000dc2: POP
00000dc3: POP
00000dc4: POP
00000dc5: JUMP
00000dc6: JUMPDEST
00000dc7: ADDRESS
00000dc8: PUSH1 0x01
00000dca: PUSH1 0xa0
00000dcc: PUSH1 0x02
00000dce: EXP
00000dcf: SUB
00000dd0: AND
00000dd1: PUSH1 0x40
00000dd3: MLOAD
00000dd4: DUP1
00000dd5: DUP1
00000dd6: PUSH32 0x5f5f6469672875696e7432353629000000000000000000000000000000000000
00000df7: DUP2
00000df8: MSTORE
00000df9: PUSH1 0x20
00000dfb: ADD
00000dfc: POP
00000dfd: PUSH1 0x0e
00000dff: ADD
00000e00: SWAP1
00000e01: POP
00000e02: PUSH1 0x40
00000e04: MLOAD
00000e05: DUP1
00000e06: SWAP2
00000e07: SUB
00000e08: SWAP1
00000e09: KECCAK256
00000e0a: PUSH1 0xe0
00000e0c: PUSH1 0x02
00000e0e: EXP
00000e0f: DUP1
00000e10: SWAP2
00000e11: DIV
00000e12: MUL
00000e13: PUSH1 0xe0
00000e15: PUSH1 0x02
00000e17: EXP
00000e18: SWAP1
00000e19: DIV
00000e1a: PUSH1 0x01
00000e1c: DUP5
00000e1d: SUB
00000e1e: PUSH1 0x40
00000e20: MLOAD
00000e21: DUP3
00000e22: PUSH1 0xe0
00000e24: PUSH1 0x02
00000e26: EXP
00000e27: MUL
00000e28: DUP2
00000e29: MSTORE
00000e2a: PUSH1 0x04
00000e2c: ADD
00000e2d: DUP1
00000e2e: DUP3
00000e2f: DUP2
00000e30: MSTORE
00000e31: PUSH1 0x20
00000e33: ADD
00000e34: SWAP2
00000e35: POP
00000e36: POP
00000e37: PUSH1 0x00
00000e39: PUSH1 0x40
00000e3b: MLOAD
00000e3c: DUP1
00000e3d: DUP4
00000e3e: SUB
00000e3f: DUP2
00000e40: PUSH1 0x00
00000e42: DUP8
00000e43: PUSH1 0x32
00000e45: GAS
00000e46: SUB
00000e47: CALLCODE
00000e48: SWAP3
00000e49: POP
00000e4a: POP
00000e4b: POP
00000e4c: ISZERO
00000e4d: ISZERO
00000e4e: PUSH2 0x084f
00000e51: JUMPI
00000e52: PUSH2 0x0002
00000e55: JUMP

View stderr

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

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x76764966dcf831086f88424df273fbefa3dce82a9a54d4abb68d0873efb42901 call_targets: 0x4fceb35bffc153da4ddb1937f12abeaaf86cf333 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x76764966dcf831086f88424df273fbefa3dce82a9a54d4abb68d0873efb42901", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x4fceb35bffc153da4ddb1937f12abeaaf86cf333" ], "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": "0x09241200", "selector": "0x09241200", "calldata_variants": [ "0x09241200", "0x092412000000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0a16697a", "selector": "0x0a16697a", "calldata_variants": [ "0x0a16697a", "0x0a16697a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0fd1f94e", "selector": "0x0fd1f94e", "calldata_variants": [ "0x0fd1f94e", "0x0fd1f94e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x137c638b", "selector": "0x137c638b", "calldata_variants": [ "0x137c638b", "0x137c638b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x21835af6", "selector": "0x21835af6", "calldata_variants": [ "0x21835af6", "0x21835af60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x24032866", "selector": "0x24032866", "calldata_variants": [ "0x24032866", "0x240328660000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2f95b833", "selector": "0x2f95b833", "calldata_variants": [ "0x2f95b833", "0x2f95b8330000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3017fe24", "selector": "0x3017fe24", "calldata_variants": [ "0x3017fe24", "0x3017fe240000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 538, "opcode": "CALLCODE", "returndata_checked": null, "value_expression_category": "constant", "target_expression_category": "computed" }, { "pc": 705, "opcode": "CALLCODE", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 868, "opcode": "CALLCODE", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 18, "guards_detected": [], "untrusted_call_count": 18 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x76764966dcf831086f88424df273fbefa3dce82a9a54d4abb68d0873efb42901 call_targets: 0x4fceb35bffc153da4ddb1937f12abeaaf86cf333 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x76764966dcf831086f88424df273fbefa3dce82a9a54d4abb68d0873efb42901", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x4fceb35bffc153da4ddb1937f12abeaaf86cf333" ], "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": "0x09241200", "selector": "0x09241200", "calldata_variants": [ "0x09241200", "0x092412000000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0a16697a", "selector": "0x0a16697a", "calldata_variants": [ "0x0a16697a", "0x0a16697a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0fd1f94e", "selector": "0x0fd1f94e", "calldata_variants": [ "0x0fd1f94e", "0x0fd1f94e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x137c638b", "selector": "0x137c638b", "calldata_variants": [ "0x137c638b", "0x137c638b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x21835af6", "selector": "0x21835af6", "calldata_variants": [ "0x21835af6", "0x21835af60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x24032866", "selector": "0x24032866", "calldata_variants": [ "0x24032866", "0x240328660000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2f95b833", "selector": "0x2f95b833", "calldata_variants": [ "0x2f95b833", "0x2f95b8330000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3017fe24", "selector": "0x3017fe24", "calldata_variants": [ "0x3017fe24", "0x3017fe240000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 538, "opcode": "CALLCODE", "returndata_checked": null, "value_expression_category": "constant", "target_expression_category": "computed" }, { "pc": 705, "opcode": "CALLCODE", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 868, "opcode": "CALLCODE", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 18, "guards_detected": [] }

Severity