Analysis Run

019b3836-2504-7110-903a-5117e1304747

complete

Chain ID

1

Address

0xd38b3f9b9bc9ce28daa138617df83c2befd91ba9

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
715	artifact.fetch	complete	1 / 3	3 months ago
716	tool.cast_disasm	complete	1 / 3	3 months ago
44175	analysis.bundle	complete	1 / 3	1 week ago
44176	capability.graph	complete	1 / 3	1 week ago
44177	detector.run	complete	1 / 3	1 week ago
44178	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

1

CREATE2

0

CALL-family (heavy)

17

EXT*/BALANCE

0

Total opcodes

2128

Flags

selfdestruct_present call_family_heavy

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0056
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 0x0058
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x27dc297e
00000025: EQ
00000026: PUSH2 0x008b
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x41c0e1b5
00000030: EQ
00000031: PUSH2 0x01a6
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x504ac982
0000003b: EQ
0000003c: PUSH2 0x01cd
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x59eaac53
00000046: EQ
00000047: PUSH2 0x04df
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x5ad77157
00000051: EQ
00000052: PUSH2 0x04f7
00000055: JUMPI
00000056: JUMPDEST
00000057: STOP
00000058: JUMPDEST
00000059: PUSH2 0x0056
0000005c: PUSH1 0x04
0000005e: CALLDATALOAD
0000005f: PUSH1 0x02
00000061: SLOAD
00000062: PUSH1 0x01
00000064: PUSH1 0xa0
00000066: PUSH1 0x02
00000068: EXP
00000069: SUB
0000006a: SWAP1
0000006b: DUP2
0000006c: AND
0000006d: CALLER
0000006e: SWAP1
0000006f: SWAP2
00000070: AND
00000071: EQ
00000072: ISZERO
00000073: PUSH2 0x05ba
00000076: JUMPI
00000077: PUSH1 0x02
00000079: DUP1
0000007a: SLOAD
0000007b: PUSH1 0x01
0000007d: PUSH1 0xa0
0000007f: PUSH1 0x02
00000081: EXP
00000082: SUB
00000083: NOT
00000084: AND
00000085: DUP3
00000086: OR
00000087: SWAP1
00000088: SSTORE
00000089: POP
0000008a: JUMP
0000008b: JUMPDEST
0000008c: PUSH1 0x20
0000008e: PUSH1 0x24
00000090: DUP1
00000091: CALLDATALOAD
00000092: PUSH1 0x04
00000094: DUP2
00000095: DUP2
00000096: ADD
00000097: CALLDATALOAD
00000098: PUSH1 0x1f
0000009a: DUP2
0000009b: ADD
0000009c: DUP6
0000009d: SWAP1
0000009e: DIV
0000009f: SWAP1
000000a0: SWAP5
000000a1: MUL
000000a2: PUSH1 0x80
000000a4: SWAP1
000000a5: DUP2
000000a6: ADD
000000a7: PUSH1 0x40
000000a9: MSTORE
000000aa: PUSH1 0x60
000000ac: DUP6
000000ad: DUP2
000000ae: MSTORE
000000af: PUSH2 0x0056
000000b2: SWAP6
000000b3: DUP4
000000b4: CALLDATALOAD
000000b5: SWAP6
000000b6: SWAP4
000000b7: SWAP5
000000b8: PUSH1 0x44
000000ba: SWAP5
000000bb: SWAP3
000000bc: SWAP4
000000bd: SWAP3
000000be: ADD
000000bf: SWAP2
000000c0: DUP2
000000c1: SWAP1
000000c2: DUP4
000000c3: DUP3
000000c4: DUP1
000000c5: DUP3
000000c6: DUP5
000000c7: CALLDATACOPY
000000c8: POP
000000c9: SWAP5
000000ca: SWAP7
000000cb: POP
000000cc: POP
000000cd: POP
000000ce: POP
000000cf: POP
000000d0: POP
000000d1: POP
000000d2: PUSH1 0x00
000000d4: PUSH1 0x00
000000d6: PUSH2 0x05cf
000000d9: PUSH1 0x00
000000db: PUSH1 0x00
000000dd: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8
000000f2: SWAP1
000000f3: POP
000000f4: DUP1
000000f5: PUSH1 0x01
000000f7: PUSH1 0xa0
000000f9: PUSH1 0x02
000000fb: EXP
000000fc: SUB
000000fd: AND
000000fe: PUSH4 0x38cc4831
00000103: PUSH1 0x40
00000105: MLOAD
00000106: DUP2
00000107: PUSH1 0xe0
00000109: PUSH1 0x02
0000010b: EXP
0000010c: MUL
0000010d: DUP2
0000010e: MSTORE
0000010f: PUSH1 0x04
00000111: ADD
00000112: DUP1
00000113: SWAP1
00000114: POP
00000115: PUSH1 0x20
00000117: PUSH1 0x40
00000119: MLOAD
0000011a: DUP1
0000011b: DUP4
0000011c: SUB
0000011d: DUP2
0000011e: PUSH1 0x00
00000120: DUP8
00000121: PUSH2 0x61da
00000124: GAS
00000125: SUB
00000126: CALL
00000127: ISZERO
00000128: PUSH2 0x0002
0000012b: JUMPI
0000012c: POP
0000012d: POP
0000012e: PUSH1 0x40
00000130: DUP1
00000131: MLOAD
00000132: DUP1
00000133: MLOAD
00000134: DUP6
00000135: SLOAD
00000136: PUSH1 0x01
00000138: PUSH1 0xa0
0000013a: PUSH1 0x02
0000013c: EXP
0000013d: SUB
0000013e: NOT
0000013f: AND
00000140: OR
00000141: DUP1
00000142: DUP7
00000143: SSTORE
00000144: PUSH32 0xc281d19e00000000000000000000000000000000000000000000000000000000
00000165: DUP3
00000166: MSTORE
00000167: SWAP2
00000168: MLOAD
00000169: PUSH1 0x01
0000016b: PUSH1 0xa0
0000016d: PUSH1 0x02
0000016f: EXP
00000170: SUB
00000171: SWAP3
00000172: SWAP1
00000173: SWAP3
00000174: AND
00000175: SWAP3
00000176: POP
00000177: PUSH4 0xc281d19e
0000017c: SWAP2
0000017d: PUSH1 0x04
0000017f: DUP3
00000180: DUP2
00000181: ADD
00000182: SWAP3
00000183: PUSH1 0x20
00000185: SWAP3
00000186: SWAP2
00000187: SWAP1
00000188: DUP3
00000189: SWAP1
0000018a: SUB
0000018b: ADD
0000018c: DUP2
0000018d: DUP9
0000018e: DUP8
0000018f: PUSH2 0x61da
00000192: GAS
00000193: SUB
00000194: CALL
00000195: ISZERO
00000196: PUSH2 0x0002
00000199: JUMPI
0000019a: POP
0000019b: POP
0000019c: PUSH1 0x40
0000019e: MLOAD
0000019f: MLOAD
000001a0: SWAP3
000001a1: POP
000001a2: POP
000001a3: POP
000001a4: SWAP1
000001a5: JUMP
000001a6: JUMPDEST
000001a7: PUSH2 0x0056
000001aa: PUSH1 0x02
000001ac: SLOAD
000001ad: PUSH1 0x01
000001af: PUSH1 0xa0
000001b1: PUSH1 0x02
000001b3: EXP
000001b4: SUB
000001b5: SWAP1
000001b6: DUP2
000001b7: AND
000001b8: CALLER
000001b9: SWAP1
000001ba: SWAP2
000001bb: AND
000001bc: EQ
000001bd: ISZERO
000001be: PUSH2 0x0bdf
000001c1: JUMPI
000001c2: CALLER
000001c3: PUSH1 0x01
000001c5: PUSH1 0xa0
000001c7: PUSH1 0x02
000001c9: EXP
000001ca: SUB
000001cb: AND
000001cc: SELFDESTRUCT
000001cd: JUMPDEST
000001ce: PUSH1 0x80
000001d0: PUSH1 0x20
000001d2: PUSH1 0x04
000001d4: DUP1
000001d5: CALLDATALOAD
000001d6: DUP1
000001d7: DUP3
000001d8: ADD
000001d9: CALLDATALOAD
000001da: PUSH1 0x1f
000001dc: DUP2
000001dd: ADD
000001de: DUP5
000001df: SWAP1
000001e0: DIV
000001e1: SWAP1
000001e2: SWAP4
000001e3: MUL
000001e4: DUP5
000001e5: ADD
000001e6: PUSH1 0x40
000001e8: MSTORE
000001e9: PUSH1 0x60
000001eb: DUP4
000001ec: DUP2
000001ed: MSTORE
000001ee: PUSH2 0x05bd
000001f1: SWAP5
000001f2: SWAP3
000001f3: SWAP4
000001f4: PUSH1 0x24
000001f6: SWAP4
000001f7: SWAP2
000001f8: SWAP3
000001f9: DUP5
000001fa: ADD
000001fb: SWAP2
000001fc: DUP2
000001fd: SWAP1
000001fe: DUP4
000001ff: DUP3
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: POP
00000248: POP
00000249: POP
0000024a: POP
0000024b: POP
0000024c: PUSH1 0x40
0000024e: DUP1
0000024f: MLOAD
00000250: PUSH1 0x20
00000252: DUP2
00000253: DUP2
00000254: ADD
00000255: DUP4
00000256: MSTORE
00000257: PUSH1 0x00
00000259: DUP1
0000025a: DUP4
0000025b: MSTORE
0000025c: DUP4
0000025d: MLOAD
0000025e: DUP1
0000025f: DUP4
00000260: ADD
00000261: DUP6
00000262: MSTORE
00000263: DUP2
00000264: DUP2
00000265: MSTORE
00000266: DUP5
00000267: MLOAD
00000268: DUP1
00000269: DUP5
0000026a: ADD
0000026b: DUP7
0000026c: MSTORE
0000026d: DUP3
0000026e: DUP2
0000026f: MSTORE
00000270: DUP6
00000271: MLOAD
00000272: DUP1
00000273: DUP6
00000274: ADD
00000275: DUP8
00000276: MSTORE
00000277: DUP4
00000278: DUP2
00000279: MSTORE
0000027a: DUP7
0000027b: MLOAD
0000027c: DUP1
0000027d: DUP7
0000027e: ADD
0000027f: DUP9
00000280: MSTORE
00000281: DUP5
00000282: DUP2
00000283: MSTORE
00000284: DUP8
00000285: MLOAD
00000286: DUP1
00000287: DUP10
00000288: ADD
00000289: DUP10
0000028a: MSTORE
0000028b: PUSH1 0x0c
0000028d: DUP2
0000028e: MSTORE
0000028f: PUSH32 0x4841434b696e4455424c494e0000000000000000000000000000000000000000
000002b0: DUP2
000002b1: DUP9
000002b2: ADD
000002b3: MSTORE
000002b4: DUP9
000002b5: MLOAD
000002b6: PUSH1 0xe0
000002b8: PUSH1 0x02
000002ba: EXP
000002bb: PUSH4 0x38cc4831
000002c0: MUL
000002c1: DUP2
000002c2: MSTORE
000002c3: SWAP9
000002c4: MLOAD
000002c5: SWAP6
000002c6: SWAP9
000002c7: SWAP5
000002c8: SWAP7
000002c9: SWAP4
000002ca: SWAP6
000002cb: SWAP3
000002cc: SWAP5
000002cd: DUP10
000002ce: SWAP5
000002cf: DUP6
000002d0: SWAP5
000002d1: DUP6
000002d2: SWAP4
000002d3: SWAP3
000002d4: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8
000002e9: SWAP3
000002ea: DUP4
000002eb: SWAP3
000002ec: PUSH4 0x38cc4831
000002f1: SWAP3
000002f2: PUSH1 0x04
000002f4: DUP2
000002f5: DUP2
000002f6: ADD
000002f7: SWAP4
000002f8: SWAP3
000002f9: SWAP2
000002fa: DUP3
000002fb: SWAP1
000002fc: SUB
000002fd: ADD
000002fe: DUP2
000002ff: DUP10
00000300: DUP8
00000301: PUSH2 0x61da
00000304: GAS
00000305: SUB
00000306: CALL
00000307: ISZERO
00000308: PUSH2 0x0002
0000030b: JUMPI
0000030c: POP
0000030d: POP
0000030e: POP
0000030f: PUSH1 0x40
00000311: MLOAD
00000312: DUP1
00000313: MLOAD
00000314: SWAP1
00000315: PUSH1 0x20
00000317: ADD
00000318: POP
00000319: PUSH1 0x00
0000031b: PUSH1 0x00
0000031d: PUSH2 0x0100
00000320: EXP
00000321: DUP2
00000322: SLOAD
00000323: DUP2
00000324: PUSH1 0x01
00000326: PUSH1 0xa0
00000328: PUSH1 0x02
0000032a: EXP
0000032b: SUB
0000032c: MUL
0000032d: NOT
0000032e: AND
0000032f: SWAP1
00000330: DUP4
00000331: MUL
00000332: OR
00000333: SWAP1
00000334: SSTORE
00000335: POP
00000336: PUSH1 0x00
00000338: PUSH1 0x00
0000033a: SWAP1
0000033b: SLOAD
0000033c: SWAP1
0000033d: PUSH2 0x0100
00000340: EXP
00000341: SWAP1
00000342: DIV
00000343: PUSH1 0x01
00000345: PUSH1 0xa0
00000347: PUSH1 0x02
00000349: EXP
0000034a: SUB
0000034b: AND
0000034c: PUSH1 0x01
0000034e: PUSH1 0xa0
00000350: PUSH1 0x02
00000352: EXP
00000353: SUB
00000354: AND
00000355: PUSH4 0x60f66701
0000035a: DUP4
0000035b: PUSH1 0x40
0000035d: MLOAD
0000035e: DUP3
0000035f: PUSH1 0xe0
00000361: PUSH1 0x02
00000363: EXP
00000364: MUL
00000365: DUP2
00000366: MSTORE
00000367: PUSH1 0x04
00000369: ADD
0000036a: DUP1
0000036b: DUP1
0000036c: PUSH1 0x20
0000036e: ADD
0000036f: DUP3
00000370: DUP2
00000371: SUB
00000372: DUP3
00000373: MSTORE
00000374: DUP4
00000375: DUP2
00000376: DUP2
00000377: MLOAD
00000378: DUP2
00000379: MSTORE
0000037a: PUSH1 0x20
0000037c: ADD
0000037d: SWAP2
0000037e: POP
0000037f: DUP1
00000380: MLOAD
00000381: SWAP1
00000382: PUSH1 0x20
00000384: ADD
00000385: SWAP1
00000386: DUP1
00000387: DUP4
00000388: DUP4
00000389: DUP3
0000038a: SWAP1
0000038b: PUSH1 0x00
0000038d: PUSH1 0x04
0000038f: PUSH1 0x20
00000391: DUP5
00000392: PUSH1 0x1f
00000394: ADD
00000395: DIV
00000396: PUSH1 0x03
00000398: MUL
00000399: PUSH1 0x0f
0000039b: ADD
0000039c: CALL
0000039d: POP
0000039e: SWAP1
0000039f: POP
000003a0: SWAP1
000003a1: DUP2
000003a2: ADD
000003a3: SWAP1
000003a4: PUSH1 0x1f
000003a6: AND
000003a7: DUP1
000003a8: ISZERO
000003a9: PUSH2 0x03c6
000003ac: JUMPI
000003ad: DUP1
000003ae: DUP3
000003af: SUB
000003b0: DUP1
000003b1: MLOAD
000003b2: PUSH1 0x01
000003b4: DUP4
000003b5: PUSH1 0x20
000003b7: SUB
000003b8: PUSH2 0x0100
000003bb: EXP
000003bc: SUB
000003bd: NOT
000003be: AND
000003bf: DUP2
000003c0: MSTORE
000003c1: PUSH1 0x20
000003c3: ADD
000003c4: SWAP2
000003c5: POP
000003c6: JUMPDEST
000003c7: POP
000003c8: SWAP3
000003c9: POP
000003ca: POP
000003cb: POP
000003cc: PUSH1 0x00
000003ce: PUSH1 0x40
000003d0: MLOAD
000003d1: DUP1
000003d2: DUP4
000003d3: SUB
000003d4: DUP2
000003d5: PUSH1 0x00
000003d7: DUP8
000003d8: PUSH2 0x61da
000003db: GAS
000003dc: SUB
000003dd: CALL
000003de: ISZERO
000003df: PUSH2 0x0002
000003e2: JUMPI
000003e3: POP
000003e4: POP
000003e5: POP
000003e6: DUP13
000003e7: SWAP10
000003e8: POP
000003e9: DUP12
000003ea: SWAP9
000003eb: POP
000003ec: DUP10
000003ed: PUSH1 0x00
000003ef: DUP2
000003f0: MLOAD
000003f1: DUP2
000003f2: LT
000003f3: ISZERO
000003f4: PUSH2 0x0002
000003f7: JUMPI
000003f8: POP
000003f9: POP
000003fa: PUSH1 0x80
000003fc: MLOAD
000003fd: PUSH1 0xf8
000003ff: PUSH1 0x02
00000401: EXP
00000402: SWAP1
00000403: DUP2
00000404: SWAP1
00000405: DIV
00000406: MUL
00000407: PUSH32 0x6200000000000000000000000000000000000000000000000000000000000000
00000428: EQ
00000429: ISZERO
0000042a: DUP1
0000042b: PUSH2 0x046e
0000042e: JUMPI
0000042f: POP
00000430: DUP10
00000431: PUSH1 0x01
00000433: DUP2
00000434: MLOAD
00000435: DUP2
00000436: LT
00000437: ISZERO
00000438: PUSH2 0x0002
0000043b: JUMPI
0000043c: POP
0000043d: POP
0000043e: PUSH1 0x81
00000440: MLOAD
00000441: PUSH1 0xf8
00000443: PUSH1 0x02
00000445: EXP
00000446: SWAP1
00000447: DUP2
00000448: SWAP1
00000449: DIV
0000044a: MUL
0000044b: PUSH32 0x7400000000000000000000000000000000000000000000000000000000000000
0000046c: EQ
0000046d: ISZERO
0000046e: JUMPDEST
0000046f: DUP1
00000470: PUSH2 0x04b3
00000473: JUMPI
00000474: POP
00000475: DUP10
00000476: PUSH1 0x02
00000478: DUP2
00000479: MLOAD
0000047a: DUP2
0000047b: LT
0000047c: ISZERO
0000047d: PUSH2 0x0002
00000480: JUMPI
00000481: POP
00000482: POP
00000483: PUSH1 0x82
00000485: MLOAD
00000486: PUSH1 0xf8
00000488: PUSH1 0x02
0000048a: EXP
0000048b: SWAP1
0000048c: DUP2
0000048d: SWAP1
0000048e: DIV
0000048f: MUL
00000490: PUSH32 0x6300000000000000000000000000000000000000000000000000000000000000
000004b1: EQ
000004b2: ISZERO
000004b3: JUMPDEST
000004b4: ISZERO
000004b5: PUSH2 0x06f9
000004b8: JUMPI
000004b9: PUSH1 0x40
000004bb: MLOAD
000004bc: CALLER
000004bd: PUSH1 0x01
000004bf: PUSH1 0xa0
000004c1: PUSH1 0x02
000004c3: EXP
000004c4: SUB
000004c5: AND
000004c6: SWAP1
000004c7: DUP5
000004c8: SWAP1
000004c9: CALLVALUE
000004ca: SWAP1
000004cb: DUP3
000004cc: DUP2
000004cd: DUP2
000004ce: DUP2
000004cf: DUP6
000004d0: DUP9
000004d1: DUP4
000004d2: CALL
000004d3: SWAP4
000004d4: POP
000004d5: POP
000004d6: POP
000004d7: POP
000004d8: POP
000004d9: POP
000004da: POP
000004db: PUSH2 0x06eb
000004de: JUMP
000004df: JUMPDEST
000004e0: PUSH2 0x05bd
000004e3: PUSH1 0x04
000004e5: CALLDATALOAD
000004e6: PUSH1 0x01
000004e8: PUSH1 0x20
000004ea: MSTORE
000004eb: PUSH1 0x00
000004ed: SWAP1
000004ee: DUP2
000004ef: MSTORE
000004f0: PUSH1 0x40
000004f2: SWAP1
000004f3: KECCAK256
000004f4: SLOAD
000004f5: DUP2
000004f6: JUMP
000004f7: JUMPDEST
000004f8: PUSH2 0x0056
000004fb: PUSH1 0x04
000004fd: CALLDATALOAD
000004fe: PUSH1 0xe0
00000500: PUSH1 0x02
00000502: EXP
00000503: PUSH4 0x38cc4831
00000508: MUL
00000509: PUSH1 0x60
0000050b: SWAP1
0000050c: DUP2
0000050d: MSTORE
0000050e: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8
00000523: SWAP1
00000524: DUP2
00000525: SWAP1
00000526: PUSH4 0x38cc4831
0000052b: SWAP1
0000052c: PUSH1 0x64
0000052e: SWAP1
0000052f: PUSH1 0x20
00000531: SWAP1
00000532: PUSH1 0x04
00000534: DUP2
00000535: PUSH1 0x00
00000537: DUP8
00000538: PUSH2 0x61da
0000053b: GAS
0000053c: SUB
0000053d: CALL
0000053e: ISZERO
0000053f: PUSH2 0x0002
00000542: JUMPI
00000543: POP
00000544: POP
00000545: PUSH1 0x40
00000547: DUP1
00000548: MLOAD
00000549: DUP1
0000054a: MLOAD
0000054b: PUSH1 0x00
0000054d: DUP1
0000054e: SLOAD
0000054f: PUSH1 0x01
00000551: PUSH1 0xa0
00000553: PUSH1 0x02
00000555: EXP
00000556: SUB
00000557: NOT
00000558: AND
00000559: SWAP1
0000055a: SWAP2
0000055b: OR
0000055c: DUP1
0000055d: DUP3
0000055e: SSTORE
0000055f: PUSH32 0x688dcfd700000000000000000000000000000000000000000000000000000000
00000580: DUP4
00000581: MSTORE
00000582: PUSH1 0x04
00000584: DUP4
00000585: ADD
00000586: DUP8
00000587: SWAP1
00000588: MSTORE
00000589: SWAP3
0000058a: MLOAD
0000058b: PUSH1 0x01
0000058d: PUSH1 0xa0
0000058f: PUSH1 0x02
00000591: EXP
00000592: SUB
00000593: SWAP1
00000594: SWAP4
00000595: AND
00000596: SWAP4
00000597: POP
00000598: PUSH4 0x688dcfd7
0000059d: SWAP3
0000059e: PUSH1 0x24
000005a0: DUP1
000005a1: DUP5
000005a2: ADD
000005a3: SWAP4
000005a4: DUP3
000005a5: SWAP1
000005a6: SUB
000005a7: ADD
000005a8: DUP2
000005a9: DUP4
000005aa: DUP8
000005ab: PUSH2 0x61da
000005ae: GAS
000005af: SUB
000005b0: CALL
000005b1: ISZERO
000005b2: PUSH2 0x0002
000005b5: JUMPI
000005b6: POP
000005b7: POP
000005b8: POP
000005b9: POP
000005ba: JUMPDEST
000005bb: POP
000005bc: JUMP
000005bd: JUMPDEST
000005be: PUSH1 0x40
000005c0: DUP1
000005c1: MLOAD
000005c2: SWAP2
000005c3: DUP3
000005c4: MSTORE
000005c5: MLOAD
000005c6: SWAP1
000005c7: DUP2
000005c8: SWAP1
000005c9: SUB
000005ca: PUSH1 0x20
000005cc: ADD
000005cd: SWAP1
000005ce: RETURN
000005cf: JUMPDEST
000005d0: PUSH1 0x01
000005d2: PUSH1 0xa0
000005d4: PUSH1 0x02
000005d6: EXP
000005d7: SUB
000005d8: AND
000005d9: CALLER
000005da: PUSH1 0x01
000005dc: PUSH1 0xa0
000005de: PUSH1 0x02
000005e0: EXP
000005e1: SUB
000005e2: AND
000005e3: EQ
000005e4: ISZERO
000005e5: ISZERO
000005e6: PUSH2 0x05ee
000005e9: JUMPI
000005ea: PUSH2 0x0002
000005ed: JUMP
000005ee: JUMPDEST
000005ef: PUSH2 0x0691
000005f2: DUP4
000005f3: PUSH1 0x40
000005f5: DUP1
000005f6: MLOAD
000005f7: PUSH1 0x20
000005f9: DUP2
000005fa: ADD
000005fb: SWAP1
000005fc: SWAP2
000005fd: MSTORE
000005fe: DUP4
000005ff: SWAP1
00000600: MSTORE
00000601: DUP3
00000602: DUP2
00000603: DUP2
00000604: DUP1
00000605: DUP1
00000606: PUSH1 0x02
00000608: JUMPDEST
00000609: PUSH1 0x2a
0000060b: DUP2
0000060c: LT
0000060d: ISZERO
0000060e: PUSH2 0x0be1
00000611: JUMPI
00000612: PUSH2 0x0100
00000615: DUP5
00000616: MUL
00000617: SWAP4
00000618: POP
00000619: DUP4
0000061a: POP
0000061b: DUP5
0000061c: DUP2
0000061d: DUP2
0000061e: MLOAD
0000061f: DUP2
00000620: LT
00000621: ISZERO
00000622: PUSH2 0x0002
00000625: JUMPI
00000626: DUP2
00000627: MLOAD
00000628: PUSH1 0x80
0000062a: SWAP2
0000062b: SWAP1
0000062c: SWAP2
0000062d: ADD
0000062e: MLOAD
0000062f: PUSH1 0xf8
00000631: PUSH1 0x02
00000633: EXP
00000634: SWAP1
00000635: DUP2
00000636: SWAP1
00000637: DIV
00000638: DUP2
00000639: MUL
0000063a: DIV
0000063b: SWAP5
0000063c: POP
0000063d: PUSH1 0x01
0000063f: DUP4
00000640: ADD
00000641: SWAP1
00000642: DUP2
00000643: LT
00000644: ISZERO
00000645: PUSH2 0x0002
00000648: JUMPI
00000649: PUSH1 0x80
0000064b: ADD
0000064c: MLOAD
0000064d: PUSH1 0xf8
0000064f: PUSH1 0x02
00000651: EXP
00000652: SWAP1
00000653: DUP2
00000654: SWAP1
00000655: DIV
00000656: DUP2
00000657: MUL
00000658: DIV
00000659: SWAP3
0000065a: POP
0000065b: POP
0000065c: PUSH1 0x61
0000065e: PUSH1 0x01
00000660: PUSH1 0xa0
00000662: PUSH1 0x02
00000664: EXP
00000665: SUB
00000666: DUP5
00000667: AND
00000668: LT
00000669: DUP1
0000066a: ISZERO
0000066b: SWAP1
0000066c: PUSH2 0x067f
0000066f: JUMPI
00000670: POP
00000671: PUSH1 0x66
00000673: DUP4
00000674: PUSH1 0x01
00000676: PUSH1 0xa0
00000678: PUSH1 0x02
0000067a: EXP
0000067b: SUB
0000067c: AND
0000067d: GT
0000067e: ISZERO
0000067f: JUMPDEST
00000680: ISZERO
00000681: PUSH2 0x0bec
00000684: JUMPI
00000685: PUSH1 0x56
00000687: NOT
00000688: SWAP3
00000689: SWAP1
0000068a: SWAP3
0000068b: ADD
0000068c: SWAP2
0000068d: PUSH2 0x0c1d
00000690: JUMP
00000691: JUMPDEST
00000692: SWAP1
00000693: DUP5
00000694: SWAP1
00000695: MSTORE
00000696: PUSH1 0x01
00000698: PUSH1 0x20
0000069a: MSTORE
0000069b: PUSH1 0x40
0000069d: DUP1
0000069e: DUP4
0000069f: KECCAK256
000006a0: DUP1
000006a1: SLOAD
000006a2: SWAP1
000006a3: DUP5
000006a4: SWAP1
000006a5: SSTORE
000006a6: SWAP1
000006a7: MLOAD
000006a8: SWAP2
000006a9: SWAP3
000006aa: SWAP1
000006ab: SWAP2
000006ac: PUSH1 0x01
000006ae: PUSH1 0xa0
000006b0: PUSH1 0x02
000006b2: EXP
000006b3: SUB
000006b4: DUP5
000006b5: AND
000006b6: SWAP2
000006b7: SWAP1
000006b8: PUSH7 0x7fe5cf2be9ffff
000006c0: NOT
000006c1: DUP5
000006c2: ADD
000006c3: SWAP1
000006c4: DUP3
000006c5: DUP2
000006c6: DUP2
000006c7: DUP2
000006c8: DUP6
000006c9: DUP9
000006ca: DUP4
000006cb: CALL
000006cc: POP
000006cd: POP
000006ce: POP
000006cf: POP
000006d0: POP
000006d1: POP
000006d2: POP
000006d3: POP
000006d4: POP
000006d5: JUMP
000006d6: JUMPDEST
000006d7: SWAP3
000006d8: DUP4
000006d9: SWAP1
000006da: MSTORE
000006db: POP
000006dc: POP
000006dd: PUSH1 0x01
000006df: PUSH1 0x20
000006e1: MSTORE
000006e2: PUSH1 0x40
000006e4: SWAP1
000006e5: SWAP9
000006e6: KECCAK256
000006e7: CALLVALUE
000006e8: SWAP1
000006e9: SSTORE
000006ea: DUP8
000006eb: JUMPDEST
000006ec: POP
000006ed: POP
000006ee: POP
000006ef: POP
000006f0: POP
000006f1: POP
000006f2: POP
000006f3: POP
000006f4: SWAP3
000006f5: SWAP2
000006f6: POP
000006f7: POP
000006f8: JUMP
000006f9: JUMPDEST
000006fa: PUSH1 0x23
000006fc: DUP10
000006fd: MLOAD
000006fe: GT
000006ff: ISZERO
00000700: PUSH2 0x072a
00000703: JUMPI
00000704: PUSH1 0x40
00000706: MLOAD
00000707: CALLER
00000708: PUSH1 0x01
0000070a: PUSH1 0xa0
0000070c: PUSH1 0x02
0000070e: EXP
0000070f: SUB
00000710: AND
00000711: SWAP1
00000712: DUP5
00000713: SWAP1
00000714: CALLVALUE
00000715: SWAP1
00000716: DUP3
00000717: DUP2
00000718: DUP2
00000719: DUP2
0000071a: DUP6
0000071b: DUP9
0000071c: DUP4
0000071d: CALL
0000071e: SWAP4
0000071f: POP
00000720: POP
00000721: POP
00000722: POP
00000723: POP
00000724: POP
00000725: POP
00000726: PUSH2 0x06eb
00000729: JUMP
0000072a: JUMPDEST
0000072b: PUSH1 0x40
0000072d: DUP1
0000072e: MLOAD
0000072f: PUSH1 0x80
00000731: DUP2
00000732: ADD
00000733: DUP3
00000734: MSTORE
00000735: PUSH1 0x46
00000737: DUP2
00000738: MSTORE
00000739: PUSH32 0x7b2270616972223a226574685f627463222c227769746864726177616c223a22
0000075a: PUSH1 0x20
0000075c: DUP3
0000075d: DUP2
0000075e: ADD
0000075f: SWAP2
00000760: SWAP1
00000761: SWAP2
00000762: MSTORE
00000763: PUSH32 0x2020202020202020202020202020202020202020202020202020202020202020
00000784: SWAP3
00000785: DUP3
00000786: ADD
00000787: SWAP3
00000788: SWAP1
00000789: SWAP3
0000078a: MSTORE
0000078b: PUSH32 0x2020202020200000000000000000000000000000000000000000000000000000
000007ac: DUP2
000007ad: DUP14
000007ae: ADD
000007af: MSTORE
000007b0: SWAP9
000007b1: POP
000007b2: DUP9
000007b3: SWAP8
000007b4: POP
000007b5: SWAP6
000007b6: POP
000007b7: JUMPDEST
000007b8: DUP9
000007b9: MLOAD
000007ba: DUP6
000007bb: LT
000007bc: ISZERO
000007bd: PUSH2 0x0800
000007c0: JUMPI
000007c1: DUP9
000007c2: DUP6
000007c3: DUP2
000007c4: MLOAD
000007c5: DUP2
000007c6: LT
000007c7: ISZERO
000007c8: PUSH2 0x0002
000007cb: JUMPI
000007cc: SWAP1
000007cd: PUSH1 0x20
000007cf: ADD
000007d0: ADD
000007d1: MLOAD
000007d2: PUSH1 0xf8
000007d4: PUSH1 0x02
000007d6: EXP
000007d7: SWAP1
000007d8: DIV
000007d9: PUSH1 0xf8
000007db: PUSH1 0x02
000007dd: EXP
000007de: MUL
000007df: DUP8
000007e0: DUP8
000007e1: DUP1
000007e2: PUSH1 0x01
000007e4: ADD
000007e5: SWAP9
000007e6: POP
000007e7: DUP2
000007e8: MLOAD
000007e9: DUP2
000007ea: LT
000007eb: ISZERO
000007ec: PUSH2 0x0002
000007ef: JUMPI
000007f0: ADD
000007f1: PUSH1 0x20
000007f3: ADD
000007f4: MSTORE
000007f5: PUSH1 0x01
000007f7: SWAP5
000007f8: SWAP1
000007f9: SWAP5
000007fa: ADD
000007fb: SWAP4
000007fc: PUSH2 0x07b7
000007ff: JUMP
00000800: JUMPDEST
00000801: DUP7
00000802: MLOAD
00000803: PUSH1 0x01
00000805: DUP8
00000806: ADD
00000807: SWAP7
00000808: PUSH32 0x2200000000000000000000000000000000000000000000000000000000000000
00000829: SWAP2
0000082a: DUP10
0000082b: SWAP2
0000082c: SWAP1
0000082d: DUP2
0000082e: LT
0000082f: ISZERO
00000830: PUSH2 0x0002
00000833: JUMPI
00000834: SWAP1
00000835: DUP2
00000836: ADD
00000837: PUSH1 0x20
00000839: ADD
0000083a: SWAP2
0000083b: SWAP1
0000083c: SWAP2
0000083d: MSTORE
0000083e: DUP8
0000083f: MLOAD
00000840: PUSH1 0x02
00000842: SWAP2
00000843: SWAP1
00000844: SWAP2
00000845: ADD
00000846: SWAP7
00000847: PUSH32 0x7d00000000000000000000000000000000000000000000000000000000000000
00000868: SWAP2
00000869: DUP10
0000086a: SWAP2
0000086b: SWAP1
0000086c: DUP2
0000086d: LT
0000086e: ISZERO
0000086f: PUSH2 0x0002
00000872: JUMPI
00000873: SWAP1
00000874: PUSH1 0x20
00000876: ADD
00000877: ADD
00000878: SWAP1
00000879: SWAP1
0000087a: DUP2
0000087b: DUP2
0000087c: MSTORE
0000087d: PUSH1 0x01
0000087f: ADD
00000880: POP
00000881: POP
00000882: JUMPDEST
00000883: DUP7
00000884: MLOAD
00000885: DUP7
00000886: LT
00000887: ISZERO
00000888: PUSH2 0x08a8
0000088b: JUMPI
0000088c: DUP7
0000088d: MLOAD
0000088e: PUSH1 0x01
00000890: DUP8
00000891: ADD
00000892: SWAP7
00000893: DUP5
00000894: SWAP2
00000895: DUP10
00000896: SWAP2
00000897: SWAP1
00000898: DUP2
00000899: LT
0000089a: ISZERO
0000089b: PUSH2 0x0002
0000089e: JUMPI
0000089f: ADD
000008a0: PUSH1 0x20
000008a2: ADD
000008a3: MSTORE
000008a4: PUSH2 0x0882
000008a7: JUMP
000008a8: JUMPDEST
000008a9: PUSH1 0x40
000008ab: DUP1
000008ac: MLOAD
000008ad: DUP1
000008ae: DUP3
000008af: ADD
000008b0: DUP3
000008b1: MSTORE
000008b2: PUSH1 0x03
000008b4: DUP2
000008b5: MSTORE
000008b6: PUSH32 0x55524c0000000000000000000000000000000000000000000000000000000000
000008d7: PUSH1 0x20
000008d9: DUP3
000008da: DUP2
000008db: ADD
000008dc: SWAP2
000008dd: SWAP1
000008de: SWAP2
000008df: MSTORE
000008e0: DUP3
000008e1: MLOAD
000008e2: DUP1
000008e3: DUP15
000008e4: ADD
000008e5: DUP5
000008e6: MSTORE
000008e7: PUSH1 0x29
000008e9: DUP2
000008ea: MSTORE
000008eb: PUSH32 0x6a736f6e2868747470733a2f2f736861706573686966742e696f2f7368696674
0000090c: DUP2
0000090d: DUP4
0000090e: ADD
0000090f: MSTORE
00000910: PUSH32 0x292e6465706f7369740000000000000000000000000000000000000000000000
00000931: DUP2
00000932: DUP6
00000933: ADD
00000934: MSTORE
00000935: DUP4
00000936: MLOAD
00000937: PUSH1 0xe0
00000939: PUSH1 0x02
0000093b: EXP
0000093c: PUSH4 0x38cc4831
00000941: MUL
00000942: DUP2
00000943: MSTORE
00000944: SWAP4
00000945: MLOAD
00000946: DUP12
00000947: SWAP9
00000948: POP
00000949: PUSH2 0x06d6
0000094c: SWAP5
0000094d: SWAP2
0000094e: SWAP3
0000094f: DUP10
00000950: SWAP3
00000951: DUP10
00000952: SWAP3
00000953: DUP9
00000954: SWAP3
00000955: DUP4
00000956: SWAP3
00000957: PUSH4 0x38cc4831
0000095c: SWAP3
0000095d: PUSH1 0x04
0000095f: DUP3
00000960: DUP2
00000961: ADD
00000962: SWAP4
00000963: SWAP3
00000964: DUP3
00000965: SWAP1
00000966: SUB
00000967: ADD
00000968: DUP2
00000969: DUP9
0000096a: DUP8
0000096b: PUSH2 0x61da
0000096e: GAS
0000096f: SUB
00000970: CALL
00000971: ISZERO
00000972: PUSH2 0x0002
00000975: JUMPI
00000976: POP
00000977: POP
00000978: POP
00000979: PUSH1 0x40
0000097b: MLOAD
0000097c: DUP1
0000097d: MLOAD
0000097e: SWAP1
0000097f: PUSH1 0x20
00000981: ADD
00000982: POP
00000983: PUSH1 0x00
00000985: PUSH1 0x00
00000987: PUSH2 0x0100
0000098a: EXP
0000098b: DUP2
0000098c: SLOAD
0000098d: DUP2
0000098e: PUSH1 0x01
00000990: PUSH1 0xa0
00000992: PUSH1 0x02
00000994: EXP
00000995: SUB
00000996: MUL
00000997: NOT
00000998: AND
00000999: SWAP1
0000099a: DUP4
0000099b: MUL
0000099c: OR
0000099d: SWAP1
0000099e: SSTORE
0000099f: POP
000009a0: PUSH1 0x00
000009a2: PUSH1 0x00
000009a4: SWAP1
000009a5: SLOAD
000009a6: SWAP1
000009a7: PUSH2 0x0100
000009aa: EXP
000009ab: SWAP1
000009ac: DIV
000009ad: PUSH1 0x01
000009af: PUSH1 0xa0
000009b1: PUSH1 0x02
000009b3: EXP
000009b4: SUB
000009b5: AND
000009b6: PUSH1 0x01
000009b8: PUSH1 0xa0
000009ba: PUSH1 0x02
000009bc: EXP
000009bd: SUB
000009be: AND
000009bf: PUSH4 0x77228659
000009c4: PUSH1 0x00
000009c6: PUSH1 0x00
000009c8: SWAP1
000009c9: SLOAD
000009ca: SWAP1
000009cb: PUSH2 0x0100
000009ce: EXP
000009cf: SWAP1
000009d0: DIV
000009d1: PUSH1 0x01
000009d3: PUSH1 0xa0
000009d5: PUSH1 0x02
000009d7: EXP
000009d8: SUB
000009d9: AND
000009da: PUSH1 0x01
000009dc: PUSH1 0xa0
000009de: PUSH1 0x02
000009e0: EXP
000009e1: SUB
000009e2: AND
000009e3: PUSH4 0x524f3889
000009e8: DUP9
000009e9: PUSH1 0x40
000009eb: MLOAD
000009ec: DUP3
000009ed: PUSH1 0xe0
000009ef: PUSH1 0x02
000009f1: EXP
000009f2: MUL
000009f3: DUP2
000009f4: MSTORE
000009f5: PUSH1 0x04
000009f7: ADD
000009f8: DUP1
000009f9: DUP1
000009fa: PUSH1 0x20
000009fc: ADD
000009fd: DUP3
000009fe: DUP2
000009ff: SUB
00000a00: DUP3
00000a01: MSTORE
00000a02: DUP4
00000a03: DUP2
00000a04: DUP2
00000a05: MLOAD
00000a06: DUP2
00000a07: MSTORE
00000a08: PUSH1 0x20
00000a0a: ADD
00000a0b: SWAP2
00000a0c: POP
00000a0d: DUP1
00000a0e: MLOAD
00000a0f: SWAP1
00000a10: PUSH1 0x20
00000a12: ADD
00000a13: SWAP1
00000a14: DUP1
00000a15: DUP4
00000a16: DUP4
00000a17: DUP3
00000a18: SWAP1
00000a19: PUSH1 0x00
00000a1b: PUSH1 0x04
00000a1d: PUSH1 0x20
00000a1f: DUP5
00000a20: PUSH1 0x1f
00000a22: ADD
00000a23: DIV
00000a24: PUSH1 0x03
00000a26: MUL
00000a27: PUSH1 0x0f
00000a29: ADD
00000a2a: CALL
00000a2b: POP
00000a2c: SWAP1
00000a2d: POP
00000a2e: SWAP1
00000a2f: DUP2
00000a30: ADD
00000a31: SWAP1
00000a32: PUSH1 0x1f
00000a34: AND
00000a35: DUP1
00000a36: ISZERO
00000a37: PUSH2 0x0a54
00000a3a: JUMPI
00000a3b: DUP1
00000a3c: DUP3
00000a3d: SUB
00000a3e: DUP1
00000a3f: MLOAD
00000a40: PUSH1 0x01
00000a42: DUP4
00000a43: PUSH1 0x20
00000a45: SUB
00000a46: PUSH2 0x0100
00000a49: EXP
00000a4a: SUB
00000a4b: NOT
00000a4c: AND
00000a4d: DUP2
00000a4e: MSTORE
00000a4f: PUSH1 0x20
00000a51: ADD
00000a52: SWAP2
00000a53: POP
00000a54: JUMPDEST
00000a55: POP
00000a56: SWAP3
00000a57: POP
00000a58: POP
00000a59: POP
00000a5a: PUSH1 0x20
00000a5c: PUSH1 0x40
00000a5e: MLOAD
00000a5f: DUP1
00000a60: DUP4
00000a61: SUB
00000a62: DUP2
00000a63: PUSH1 0x00
00000a65: DUP8
00000a66: PUSH2 0x61da
00000a69: GAS
00000a6a: SUB
00000a6b: CALL
00000a6c: ISZERO
00000a6d: PUSH2 0x0002
00000a70: JUMPI
00000a71: POP
00000a72: POP
00000a73: POP
00000a74: PUSH1 0x40
00000a76: MLOAD
00000a77: DUP1
00000a78: MLOAD
00000a79: SWAP1
00000a7a: PUSH1 0x20
00000a7c: ADD
00000a7d: POP
00000a7e: PUSH1 0x00
00000a80: DUP9
00000a81: DUP9
00000a82: DUP9
00000a83: PUSH1 0x40
00000a85: MLOAD
00000a86: DUP7
00000a87: PUSH1 0xe0
00000a89: PUSH1 0x02
00000a8b: EXP
00000a8c: MUL
00000a8d: DUP2
00000a8e: MSTORE
00000a8f: PUSH1 0x04
00000a91: ADD
00000a92: DUP1
00000a93: DUP6
00000a94: DUP2
00000a95: MSTORE
00000a96: PUSH1 0x20
00000a98: ADD
00000a99: DUP1
00000a9a: PUSH1 0x20
00000a9c: ADD
00000a9d: DUP1
00000a9e: PUSH1 0x20
00000aa0: ADD
00000aa1: DUP1
00000aa2: PUSH1 0x20
00000aa4: ADD
00000aa5: DUP5
00000aa6: DUP2
00000aa7: SUB
00000aa8: DUP5
00000aa9: MSTORE
00000aaa: DUP8
00000aab: DUP2
00000aac: DUP2
00000aad: MLOAD
00000aae: DUP2
00000aaf: MSTORE
00000ab0: PUSH1 0x20
00000ab2: ADD
00000ab3: SWAP2
00000ab4: POP
00000ab5: DUP1
00000ab6: MLOAD
00000ab7: SWAP1
00000ab8: PUSH1 0x20
00000aba: ADD
00000abb: SWAP1
00000abc: DUP1
00000abd: DUP4
00000abe: DUP4
00000abf: DUP3
00000ac0: SWAP1
00000ac1: PUSH1 0x00
00000ac3: PUSH1 0x04
00000ac5: PUSH1 0x20
00000ac7: DUP5
00000ac8: PUSH1 0x1f
00000aca: ADD
00000acb: DIV
00000acc: PUSH1 0x03
00000ace: MUL
00000acf: PUSH1 0x0f
00000ad1: ADD
00000ad2: CALL
00000ad3: POP
00000ad4: SWAP1
00000ad5: POP
00000ad6: SWAP1
00000ad7: DUP2
00000ad8: ADD
00000ad9: SWAP1
00000ada: PUSH1 0x1f
00000adc: AND
00000add: DUP1
00000ade: ISZERO
00000adf: PUSH2 0x0afc
00000ae2: JUMPI
00000ae3: DUP1
00000ae4: DUP3
00000ae5: SUB
00000ae6: DUP1
00000ae7: MLOAD
00000ae8: PUSH1 0x01
00000aea: DUP4
00000aeb: PUSH1 0x20
00000aed: SUB
00000aee: PUSH2 0x0100
00000af1: EXP
00000af2: SUB
00000af3: NOT
00000af4: AND
00000af5: DUP2
00000af6: MSTORE
00000af7: PUSH1 0x20
00000af9: ADD
00000afa: SWAP2
00000afb: POP
00000afc: JUMPDEST
00000afd: POP
00000afe: DUP5
00000aff: DUP2
00000b00: SUB
00000b01: DUP4
00000b02: MSTORE
00000b03: DUP7
00000b04: DUP2
00000b05: DUP2
00000b06: MLOAD
00000b07: DUP2
00000b08: MSTORE
00000b09: PUSH1 0x20
00000b0b: ADD
00000b0c: SWAP2
00000b0d: POP
00000b0e: DUP1
00000b0f: MLOAD
00000b10: SWAP1
00000b11: PUSH1 0x20
00000b13: ADD
00000b14: SWAP1
00000b15: DUP1
00000b16: DUP4
00000b17: DUP4
00000b18: DUP3
00000b19: SWAP1
00000b1a: PUSH1 0x00
00000b1c: PUSH1 0x04
00000b1e: PUSH1 0x20
00000b20: DUP5
00000b21: PUSH1 0x1f
00000b23: ADD
00000b24: DIV
00000b25: PUSH1 0x03
00000b27: MUL
00000b28: PUSH1 0x0f
00000b2a: ADD
00000b2b: CALL
00000b2c: POP
00000b2d: SWAP1
00000b2e: POP
00000b2f: SWAP1
00000b30: DUP2
00000b31: ADD
00000b32: SWAP1
00000b33: PUSH1 0x1f
00000b35: AND
00000b36: DUP1
00000b37: ISZERO
00000b38: PUSH2 0x0b55
00000b3b: JUMPI
00000b3c: DUP1
00000b3d: DUP3
00000b3e: SUB
00000b3f: DUP1
00000b40: MLOAD
00000b41: PUSH1 0x01
00000b43: DUP4
00000b44: PUSH1 0x20
00000b46: SUB
00000b47: PUSH2 0x0100
00000b4a: EXP
00000b4b: SUB
00000b4c: NOT
00000b4d: AND
00000b4e: DUP2
00000b4f: MSTORE
00000b50: PUSH1 0x20
00000b52: ADD
00000b53: SWAP2
00000b54: POP
00000b55: JUMPDEST
00000b56: POP
00000b57: DUP5
00000b58: DUP2
00000b59: SUB
00000b5a: DUP3
00000b5b: MSTORE
00000b5c: DUP6
00000b5d: DUP2
00000b5e: DUP2
00000b5f: MLOAD
00000b60: DUP2
00000b61: MSTORE
00000b62: PUSH1 0x20
00000b64: ADD
00000b65: SWAP2
00000b66: POP
00000b67: DUP1
00000b68: MLOAD
00000b69: SWAP1
00000b6a: PUSH1 0x20
00000b6c: ADD
00000b6d: SWAP1
00000b6e: DUP1
00000b6f: DUP4
00000b70: DUP4
00000b71: DUP3
00000b72: SWAP1
00000b73: PUSH1 0x00
00000b75: PUSH1 0x04
00000b77: PUSH1 0x20
00000b79: DUP5
00000b7a: PUSH1 0x1f
00000b7c: ADD
00000b7d: DIV
00000b7e: PUSH1 0x03
00000b80: MUL
00000b81: PUSH1 0x0f
00000b83: ADD
00000b84: CALL
00000b85: POP
00000b86: SWAP1
00000b87: POP
00000b88: SWAP1
00000b89: DUP2
00000b8a: ADD
00000b8b: SWAP1
00000b8c: PUSH1 0x1f
00000b8e: AND
00000b8f: DUP1
00000b90: ISZERO
00000b91: PUSH2 0x0bae
00000b94: JUMPI
00000b95: DUP1
00000b96: DUP3
00000b97: SUB
00000b98: DUP1
00000b99: MLOAD
00000b9a: PUSH1 0x01
00000b9c: DUP4
00000b9d: PUSH1 0x20
00000b9f: SUB
00000ba0: PUSH2 0x0100
00000ba3: EXP
00000ba4: SUB
00000ba5: NOT
00000ba6: AND
00000ba7: DUP2
00000ba8: MSTORE
00000ba9: PUSH1 0x20
00000bab: ADD
00000bac: SWAP2
00000bad: POP
00000bae: JUMPDEST
00000baf: POP
00000bb0: SWAP8
00000bb1: POP
00000bb2: POP
00000bb3: POP
00000bb4: POP
00000bb5: POP
00000bb6: POP
00000bb7: POP
00000bb8: POP
00000bb9: PUSH1 0x20
00000bbb: PUSH1 0x40
00000bbd: MLOAD
00000bbe: DUP1
00000bbf: DUP4
00000bc0: SUB
00000bc1: DUP2
00000bc2: DUP6
00000bc3: DUP9
00000bc4: PUSH2 0x8502
00000bc7: GAS
00000bc8: SUB
00000bc9: CALL
00000bca: ISZERO
00000bcb: PUSH2 0x0002
00000bce: JUMPI
00000bcf: POP
00000bd0: POP
00000bd1: PUSH1 0x40
00000bd3: MLOAD
00000bd4: MLOAD
00000bd5: SWAP8
00000bd6: SWAP7
00000bd7: POP
00000bd8: POP
00000bd9: POP
00000bda: POP
00000bdb: POP
00000bdc: POP
00000bdd: POP
00000bde: JUMP
00000bdf: JUMPDEST
00000be0: JUMP
00000be1: JUMPDEST
00000be2: POP
00000be3: SWAP2
00000be4: SWAP6
00000be5: SWAP5
00000be6: POP
00000be7: POP
00000be8: POP
00000be9: POP
00000bea: POP
00000beb: JUMP
00000bec: JUMPDEST
00000bed: PUSH1 0x30
00000bef: DUP4
00000bf0: PUSH1 0x01
00000bf2: PUSH1 0xa0
00000bf4: PUSH1 0x02
00000bf6: EXP
00000bf7: SUB
00000bf8: AND
00000bf9: LT
00000bfa: ISZERO
00000bfb: DUP1
00000bfc: ISZERO
00000bfd: PUSH2 0x0c10
00000c00: JUMPI
00000c01: POP
00000c02: PUSH1 0x39
00000c04: DUP4
00000c05: PUSH1 0x01
00000c07: PUSH1 0xa0
00000c09: PUSH1 0x02
00000c0b: EXP
00000c0c: SUB
00000c0d: AND
00000c0e: GT
00000c0f: ISZERO
00000c10: JUMPDEST
00000c11: ISZERO
00000c12: PUSH2 0x0c1d
00000c15: JUMPI
00000c16: PUSH1 0x2f
00000c18: NOT
00000c19: SWAP1
00000c1a: SWAP3
00000c1b: ADD
00000c1c: SWAP2
00000c1d: JUMPDEST
00000c1e: PUSH1 0x61
00000c20: DUP3
00000c21: PUSH1 0x01
00000c23: PUSH1 0xa0
00000c25: PUSH1 0x02
00000c27: EXP
00000c28: SUB
00000c29: AND
00000c2a: LT
00000c2b: ISZERO
00000c2c: DUP1
00000c2d: ISZERO
00000c2e: PUSH2 0x0c41
00000c31: JUMPI
00000c32: POP
00000c33: PUSH1 0x66
00000c35: DUP3
00000c36: PUSH1 0x01
00000c38: PUSH1 0xa0
00000c3a: PUSH1 0x02
00000c3c: EXP
00000c3d: SUB
00000c3e: AND
00000c3f: GT
00000c40: ISZERO
00000c41: JUMPDEST
00000c42: ISZERO
00000c43: PUSH2 0x0c53
00000c46: JUMPI
00000c47: PUSH1 0x56
00000c49: NOT
00000c4a: SWAP2
00000c4b: SWAP1
00000c4c: SWAP2
00000c4d: ADD
00000c4e: SWAP1
00000c4f: PUSH2 0x0c84
00000c52: JUMP
00000c53: JUMPDEST
00000c54: PUSH1 0x30
00000c56: DUP3
00000c57: PUSH1 0x01
00000c59: PUSH1 0xa0
00000c5b: PUSH1 0x02
00000c5d: EXP
00000c5e: SUB
00000c5f: AND
00000c60: LT
00000c61: ISZERO
00000c62: DUP1
00000c63: ISZERO
00000c64: PUSH2 0x0c77
00000c67: JUMPI
00000c68: POP
00000c69: PUSH1 0x39
00000c6b: DUP3
00000c6c: PUSH1 0x01
00000c6e: PUSH1 0xa0
00000c70: PUSH1 0x02
00000c72: EXP
00000c73: SUB
00000c74: AND
00000c75: GT
00000c76: ISZERO
00000c77: JUMPDEST
00000c78: ISZERO
00000c79: PUSH2 0x0c84
00000c7c: JUMPI
00000c7d: PUSH1 0x2f
00000c7f: NOT
00000c80: SWAP1
00000c81: SWAP2
00000c82: ADD
00000c83: SWAP1
00000c84: JUMPDEST
00000c85: PUSH1 0x10
00000c87: DUP4
00000c88: MUL
00000c89: DUP3
00000c8a: ADD
00000c8b: SWAP1
00000c8c: SWAP4
00000c8d: ADD
00000c8e: SWAP3
00000c8f: PUSH1 0x02
00000c91: ADD
00000c92: PUSH2 0x0608
00000c95: 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: 0x59729941d5dc11180b1dfcdb1e7d5533d36ed699eedf0e3d6bdb870eb7500ef0 call_targets: 0xd38b3f9b9bc9ce28daa138617df83c2befd91ba9 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x59729941d5dc11180b1dfcdb1e7d5533d36ed699eedf0e3d6bdb870eb7500ef0", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xd38b3f9b9bc9ce28daa138617df83c2befd91ba9" ], "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": "0x27dc297e", "selector": "0x27dc297e", "calldata_variants": [ "0x27dc297e", "0x27dc297e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x41c0e1b5", "selector": "0x41c0e1b5", "calldata_variants": [ "0x41c0e1b5", "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x504ac982", "selector": "0x504ac982", "calldata_variants": [ "0x504ac982", "0x504ac9820000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x59eaac53", "selector": "0x59eaac53", "calldata_variants": [ "0x59eaac53", "0x59eaac530000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5ad77157", "selector": "0x5ad77157", "calldata_variants": [ "0x5ad77157", "0x5ad771570000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 404, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 774, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 924, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 17, "guards_detected": [], "untrusted_call_count": 15 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x59729941d5dc11180b1dfcdb1e7d5533d36ed699eedf0e3d6bdb870eb7500ef0 call_targets: 0xd38b3f9b9bc9ce28daa138617df83c2befd91ba9 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x59729941d5dc11180b1dfcdb1e7d5533d36ed699eedf0e3d6bdb870eb7500ef0", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xd38b3f9b9bc9ce28daa138617df83c2befd91ba9" ], "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": "0x27dc297e", "selector": "0x27dc297e", "calldata_variants": [ "0x27dc297e", "0x27dc297e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x41c0e1b5", "selector": "0x41c0e1b5", "calldata_variants": [ "0x41c0e1b5", "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x504ac982", "selector": "0x504ac982", "calldata_variants": [ "0x504ac982", "0x504ac9820000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x59eaac53", "selector": "0x59eaac53", "calldata_variants": [ "0x59eaac53", "0x59eaac530000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5ad77157", "selector": "0x5ad77157", "calldata_variants": [ "0x5ad77157", "0x5ad771570000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 294, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "constant", "target_expression_category": "constant" }, { "pc": 404, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 774, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 17, "guards_detected": [] }
high	other	detector	SELFDESTRUCT reachable	65	no	no	view trace_id: 0x95954a1c6c3274d18045bc1733ae02ea69066445fa7dd7f5542acae4b9b7c900 validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 12, "trace_id": "0x95954a1c6c3274d18045bc1733ae02ea69066445fa7dd7f5542acae4b9b7c900", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x13af4035", "selector": "0x13af4035", "calldata_variants": [ "0x13af4035", "0x13af40350000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x27dc297e", "selector": "0x27dc297e", "calldata_variants": [ "0x27dc297e", "0x27dc297e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x41c0e1b5", "selector": "0x41c0e1b5", "calldata_variants": [ "0x41c0e1b5", "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x504ac982", "selector": "0x504ac982", "calldata_variants": [ "0x504ac982", "0x504ac9820000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x59eaac53", "selector": "0x59eaac53", "calldata_variants": [ "0x59eaac53", "0x59eaac530000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5ad77157", "selector": "0x5ad77157", "calldata_variants": [ "0x5ad77157", "0x5ad771570000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [], "selfdestruct_count": 1 }

Severity