019b3844-8d13-712c-a190-deba74f7d5d9
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 12069 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 12070 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 55804 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 55805 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 55806 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 55807 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00a4 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x0bd18d7a 0000003c: EQ 0000003d: PUSH2 0x00a9 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x26476204 00000047: EQ 00000048: PUSH2 0x00f6 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x2e1a7d4d 00000052: EQ 00000053: PUSH2 0x0143 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x4e71d92d 0000005d: EQ 0000005e: PUSH2 0x0166 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x55e2305e 00000068: EQ 00000069: PUSH2 0x017b 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x86be3981 00000073: EQ 00000074: PUSH2 0x01b4 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x8b0e9f3f 0000007e: EQ 0000007f: PUSH2 0x0201 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0xd0e30db0 00000089: EQ 0000008a: PUSH2 0x022a 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0xd65ab5f2 00000094: EQ 00000095: PUSH2 0x0234 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0xfdb5a03e 0000009f: EQ 000000a0: PUSH2 0x0249 000000a3: JUMPI 000000a4: JUMPDEST 000000a5: PUSH1 0x00 000000a7: DUP1 000000a8: REVERT 000000a9: JUMPDEST 000000aa: CALLVALUE 000000ab: ISZERO 000000ac: PUSH2 0x00b4 000000af: JUMPI 000000b0: PUSH1 0x00 000000b2: DUP1 000000b3: REVERT 000000b4: JUMPDEST 000000b5: PUSH2 0x00e0 000000b8: PUSH1 0x04 000000ba: DUP1 000000bb: DUP1 000000bc: CALLDATALOAD 000000bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000d2: AND 000000d3: SWAP1 000000d4: PUSH1 0x20 000000d6: ADD 000000d7: SWAP1 000000d8: SWAP2 000000d9: SWAP1 000000da: POP 000000db: POP 000000dc: PUSH2 0x025e 000000df: JUMP 000000e0: JUMPDEST 000000e1: PUSH1 0x40 000000e3: MLOAD 000000e4: DUP1 000000e5: DUP3 000000e6: DUP2 000000e7: MSTORE 000000e8: PUSH1 0x20 000000ea: ADD 000000eb: SWAP2 000000ec: POP 000000ed: POP 000000ee: PUSH1 0x40 000000f0: MLOAD 000000f1: DUP1 000000f2: SWAP2 000000f3: SUB 000000f4: SWAP1 000000f5: RETURN 000000f6: JUMPDEST 000000f7: CALLVALUE 000000f8: ISZERO 000000f9: PUSH2 0x0101 000000fc: JUMPI 000000fd: PUSH1 0x00 000000ff: DUP1 00000100: REVERT 00000101: JUMPDEST 00000102: PUSH2 0x012d 00000105: PUSH1 0x04 00000107: DUP1 00000108: DUP1 00000109: CALLDATALOAD 0000010a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000011f: AND 00000120: SWAP1 00000121: PUSH1 0x20 00000123: ADD 00000124: SWAP1 00000125: SWAP2 00000126: SWAP1 00000127: POP 00000128: POP 00000129: PUSH2 0x0276 0000012c: JUMP 0000012d: JUMPDEST 0000012e: PUSH1 0x40 00000130: MLOAD 00000131: DUP1 00000132: DUP3 00000133: DUP2 00000134: MSTORE 00000135: PUSH1 0x20 00000137: ADD 00000138: SWAP2 00000139: POP 0000013a: POP 0000013b: PUSH1 0x40 0000013d: MLOAD 0000013e: DUP1 0000013f: SWAP2 00000140: SUB 00000141: SWAP1 00000142: RETURN 00000143: JUMPDEST 00000144: CALLVALUE 00000145: ISZERO 00000146: PUSH2 0x014e 00000149: JUMPI 0000014a: PUSH1 0x00 0000014c: DUP1 0000014d: REVERT 0000014e: JUMPDEST 0000014f: PUSH2 0x0164 00000152: PUSH1 0x04 00000154: DUP1 00000155: DUP1 00000156: CALLDATALOAD 00000157: SWAP1 00000158: PUSH1 0x20 0000015a: ADD 0000015b: SWAP1 0000015c: SWAP2 0000015d: SWAP1 0000015e: POP 0000015f: POP 00000160: PUSH2 0x028e 00000163: JUMP 00000164: JUMPDEST 00000165: STOP 00000166: JUMPDEST 00000167: CALLVALUE 00000168: ISZERO 00000169: PUSH2 0x0171 0000016c: JUMPI 0000016d: PUSH1 0x00 0000016f: DUP1 00000170: REVERT 00000171: JUMPDEST 00000172: PUSH2 0x0179 00000175: PUSH2 0x0855 00000178: JUMP 00000179: JUMPDEST 0000017a: STOP 0000017b: JUMPDEST 0000017c: CALLVALUE 0000017d: ISZERO 0000017e: PUSH2 0x0186 00000181: JUMPI 00000182: PUSH1 0x00 00000184: DUP1 00000185: REVERT 00000186: JUMPDEST 00000187: PUSH2 0x01b2 0000018a: PUSH1 0x04 0000018c: DUP1 0000018d: DUP1 0000018e: CALLDATALOAD 0000018f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001a4: AND 000001a5: SWAP1 000001a6: PUSH1 0x20 000001a8: ADD 000001a9: SWAP1 000001aa: SWAP2 000001ab: SWAP1 000001ac: POP 000001ad: POP 000001ae: PUSH2 0x090f 000001b1: JUMP 000001b2: JUMPDEST 000001b3: STOP 000001b4: JUMPDEST 000001b5: CALLVALUE 000001b6: ISZERO 000001b7: PUSH2 0x01bf 000001ba: JUMPI 000001bb: PUSH1 0x00 000001bd: DUP1 000001be: REVERT 000001bf: JUMPDEST 000001c0: PUSH2 0x01eb 000001c3: PUSH1 0x04 000001c5: DUP1 000001c6: DUP1 000001c7: CALLDATALOAD 000001c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001dd: AND 000001de: SWAP1 000001df: PUSH1 0x20 000001e1: ADD 000001e2: SWAP1 000001e3: SWAP2 000001e4: SWAP1 000001e5: POP 000001e6: POP 000001e7: PUSH2 0x09c4 000001ea: JUMP 000001eb: JUMPDEST 000001ec: PUSH1 0x40 000001ee: MLOAD 000001ef: DUP1 000001f0: DUP3 000001f1: DUP2 000001f2: MSTORE 000001f3: PUSH1 0x20 000001f5: ADD 000001f6: SWAP2 000001f7: POP 000001f8: POP 000001f9: PUSH1 0x40 000001fb: MLOAD 000001fc: DUP1 000001fd: SWAP2 000001fe: SUB 000001ff: SWAP1 00000200: RETURN 00000201: JUMPDEST 00000202: CALLVALUE 00000203: ISZERO 00000204: PUSH2 0x020c 00000207: JUMPI 00000208: PUSH1 0x00 0000020a: DUP1 0000020b: REVERT 0000020c: JUMPDEST 0000020d: PUSH2 0x0214 00000210: PUSH2 0x0ac3 00000213: JUMP 00000214: JUMPDEST 00000215: PUSH1 0x40 00000217: MLOAD 00000218: DUP1 00000219: DUP3 0000021a: DUP2 0000021b: MSTORE 0000021c: PUSH1 0x20 0000021e: ADD 0000021f: SWAP2 00000220: POP 00000221: POP 00000222: PUSH1 0x40 00000224: MLOAD 00000225: DUP1 00000226: SWAP2 00000227: SUB 00000228: SWAP1 00000229: RETURN 0000022a: JUMPDEST 0000022b: PUSH2 0x0232 0000022e: PUSH2 0x0ac9 00000231: JUMP 00000232: JUMPDEST 00000233: STOP 00000234: JUMPDEST 00000235: CALLVALUE 00000236: ISZERO 00000237: PUSH2 0x023f 0000023a: JUMPI 0000023b: PUSH1 0x00 0000023d: DUP1 0000023e: REVERT 0000023f: JUMPDEST 00000240: PUSH2 0x0247 00000243: PUSH2 0x0bae 00000246: JUMP 00000247: JUMPDEST 00000248: STOP 00000249: JUMPDEST 0000024a: CALLVALUE 0000024b: ISZERO 0000024c: PUSH2 0x0254 0000024f: JUMPI 00000250: PUSH1 0x00 00000252: DUP1 00000253: REVERT 00000254: JUMPDEST 00000255: PUSH2 0x025c 00000258: PUSH2 0x0c26 0000025b: JUMP 0000025c: JUMPDEST 0000025d: STOP 0000025e: JUMPDEST 0000025f: PUSH1 0x03 00000261: PUSH1 0x20 00000263: MSTORE 00000264: DUP1 00000265: PUSH1 0x00 00000267: MSTORE 00000268: PUSH1 0x40 0000026a: PUSH1 0x00 0000026c: KECCAK256 0000026d: PUSH1 0x00 0000026f: SWAP2 00000270: POP 00000271: SWAP1 00000272: POP 00000273: SLOAD 00000274: DUP2 00000275: JUMP 00000276: JUMPDEST 00000277: PUSH1 0x04 00000279: PUSH1 0x20 0000027b: MSTORE 0000027c: DUP1 0000027d: PUSH1 0x00 0000027f: MSTORE 00000280: PUSH1 0x40 00000282: PUSH1 0x00 00000284: KECCAK256 00000285: PUSH1 0x00 00000287: SWAP2 00000288: POP 00000289: SWAP1 0000028a: POP 0000028b: SLOAD 0000028c: DUP2 0000028d: JUMP 0000028e: JUMPDEST 0000028f: PUSH1 0x00 00000291: DUP1 00000292: PUSH1 0x00 00000294: DUP1 00000295: PUSH1 0x00 00000297: DUP1 00000298: DUP7 00000299: GT 0000029a: ISZERO 0000029b: ISZERO 0000029c: PUSH2 0x02a4 0000029f: JUMPI 000002a0: PUSH1 0x00 000002a2: DUP1 000002a3: REVERT 000002a4: JUMPDEST 000002a5: PUSH1 0x03 000002a7: PUSH1 0x00 000002a9: CALLER 000002aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002bf: AND 000002c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002d5: AND 000002d6: DUP2 000002d7: MSTORE 000002d8: PUSH1 0x20 000002da: ADD 000002db: SWAP1 000002dc: DUP2 000002dd: MSTORE 000002de: PUSH1 0x20 000002e0: ADD 000002e1: PUSH1 0x00 000002e3: KECCAK256 000002e4: SLOAD 000002e5: DUP7 000002e6: GT 000002e7: ISZERO 000002e8: ISZERO 000002e9: ISZERO 000002ea: PUSH2 0x02f2 000002ed: JUMPI 000002ee: PUSH1 0x00 000002f0: DUP1 000002f1: REVERT 000002f2: JUMPDEST 000002f3: PUSH2 0x0306 000002f6: PUSH1 0x03 000002f8: DUP8 000002f9: PUSH2 0x0ca9 000002fc: SWAP1 000002fd: SWAP2 000002fe: SWAP1 000002ff: PUSH4 0xffffffff 00000304: AND 00000305: JUMP 00000306: JUMPDEST 00000307: SWAP5 00000308: POP 00000309: PUSH2 0x031b 0000030c: DUP6 0000030d: DUP8 0000030e: PUSH2 0x0cbf 00000311: SWAP1 00000312: SWAP2 00000313: SWAP1 00000314: PUSH4 0xffffffff 00000319: AND 0000031a: JUMP 0000031b: JUMPDEST 0000031c: SWAP4 0000031d: POP 0000031e: PUSH2 0x03c0 00000321: PUSH1 0x03 00000323: PUSH1 0x00 00000325: CALLER 00000326: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000033b: AND 0000033c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000351: AND 00000352: DUP2 00000353: MSTORE 00000354: PUSH1 0x20 00000356: ADD 00000357: SWAP1 00000358: DUP2 00000359: MSTORE 0000035a: PUSH1 0x20 0000035c: ADD 0000035d: PUSH1 0x00 0000035f: KECCAK256 00000360: SLOAD 00000361: PUSH2 0x03b2 00000364: DUP9 00000365: PUSH1 0x04 00000367: PUSH1 0x00 00000369: CALLER 0000036a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000037f: AND 00000380: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000395: AND 00000396: DUP2 00000397: MSTORE 00000398: PUSH1 0x20 0000039a: ADD 0000039b: SWAP1 0000039c: DUP2 0000039d: MSTORE 0000039e: PUSH1 0x20 000003a0: ADD 000003a1: PUSH1 0x00 000003a3: KECCAK256 000003a4: SLOAD 000003a5: PUSH2 0x0cd8 000003a8: SWAP1 000003a9: SWAP2 000003aa: SWAP1 000003ab: PUSH4 0xffffffff 000003b0: AND 000003b1: JUMP 000003b2: JUMPDEST 000003b3: PUSH2 0x0ca9 000003b6: SWAP1 000003b7: SWAP2 000003b8: SWAP1 000003b9: PUSH4 0xffffffff 000003be: AND 000003bf: JUMP 000003c0: JUMPDEST 000003c1: SWAP3 000003c2: POP 000003c3: PUSH2 0x03d7 000003c6: PUSH1 0x06 000003c8: SLOAD 000003c9: DUP5 000003ca: PUSH2 0x0cd8 000003cd: SWAP1 000003ce: SWAP2 000003cf: SWAP1 000003d0: PUSH4 0xffffffff 000003d5: AND 000003d6: JUMP 000003d7: JUMPDEST 000003d8: SWAP2 000003d9: POP 000003da: PUSH2 0x042b 000003dd: DUP7 000003de: PUSH1 0x03 000003e0: PUSH1 0x00 000003e2: CALLER 000003e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003f8: AND 000003f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000040e: AND 0000040f: DUP2 00000410: MSTORE 00000411: PUSH1 0x20 00000413: ADD 00000414: SWAP1 00000415: DUP2 00000416: MSTORE 00000417: PUSH1 0x20 00000419: ADD 0000041a: PUSH1 0x00 0000041c: KECCAK256 0000041d: SLOAD 0000041e: PUSH2 0x0cbf 00000421: SWAP1 00000422: SWAP2 00000423: SWAP1 00000424: PUSH4 0xffffffff 00000429: AND 0000042a: JUMP 0000042b: JUMPDEST 0000042c: PUSH1 0x03 0000042e: PUSH1 0x00 00000430: CALLER 00000431: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000446: AND 00000447: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000045c: AND 0000045d: DUP2 0000045e: MSTORE 0000045f: PUSH1 0x20 00000461: ADD 00000462: SWAP1 00000463: DUP2 00000464: MSTORE 00000465: PUSH1 0x20 00000467: ADD 00000468: PUSH1 0x00 0000046a: KECCAK256 0000046b: DUP2 0000046c: SWAP1 0000046d: SSTORE 0000046e: POP 0000046f: PUSH2 0x04c0 00000472: DUP4 00000473: PUSH1 0x04 00000475: PUSH1 0x00 00000477: CALLER 00000478: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000048d: AND 0000048e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004a3: AND 000004a4: DUP2 000004a5: MSTORE 000004a6: PUSH1 0x20 000004a8: ADD 000004a9: SWAP1 000004aa: DUP2 000004ab: MSTORE 000004ac: PUSH1 0x20 000004ae: ADD 000004af: PUSH1 0x00 000004b1: KECCAK256 000004b2: SLOAD 000004b3: PUSH2 0x0cbf 000004b6: SWAP1 000004b7: SWAP2 000004b8: SWAP1 000004b9: PUSH4 0xffffffff 000004be: AND 000004bf: JUMP 000004c0: JUMPDEST 000004c1: PUSH1 0x04 000004c3: PUSH1 0x00 000004c5: CALLER 000004c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004db: AND 000004dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004f1: AND 000004f2: DUP2 000004f3: MSTORE 000004f4: PUSH1 0x20 000004f6: ADD 000004f7: SWAP1 000004f8: DUP2 000004f9: MSTORE 000004fa: PUSH1 0x20 000004fc: ADD 000004fd: PUSH1 0x00 000004ff: KECCAK256 00000500: DUP2 00000501: SWAP1 00000502: SSTORE 00000503: POP 00000504: PUSH2 0x0518 00000507: DUP4 00000508: PUSH1 0x05 0000050a: SLOAD 0000050b: PUSH2 0x0cbf 0000050e: SWAP1 0000050f: SWAP2 00000510: SWAP1 00000511: PUSH4 0xffffffff 00000516: AND 00000517: JUMP 00000518: JUMPDEST 00000519: PUSH1 0x05 0000051b: DUP2 0000051c: SWAP1 0000051d: SSTORE 0000051e: POP 0000051f: PUSH1 0x00 00000521: PUSH1 0x05 00000523: SLOAD 00000524: GT 00000525: ISZERO 00000526: PUSH2 0x0559 00000529: JUMPI 0000052a: PUSH2 0x0552 0000052d: PUSH2 0x0541 00000530: PUSH1 0x05 00000532: SLOAD 00000533: DUP8 00000534: PUSH2 0x0ca9 00000537: SWAP1 00000538: SWAP2 00000539: SWAP1 0000053a: PUSH4 0xffffffff 0000053f: AND 00000540: JUMP 00000541: JUMPDEST 00000542: PUSH1 0x06 00000544: SLOAD 00000545: PUSH2 0x0d13 00000548: SWAP1 00000549: SWAP2 0000054a: SWAP1 0000054b: PUSH4 0xffffffff 00000550: AND 00000551: JUMP 00000552: JUMPDEST 00000553: PUSH1 0x06 00000555: DUP2 00000556: SWAP1 00000557: SSTORE 00000558: POP 00000559: JUMPDEST 0000055a: PUSH2 0x05ab 0000055d: DUP3 0000055e: PUSH1 0x07 00000560: PUSH1 0x00 00000562: CALLER 00000563: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000578: AND 00000579: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000058e: AND 0000058f: DUP2 00000590: MSTORE 00000591: PUSH1 0x20 00000593: ADD 00000594: SWAP1 00000595: DUP2 00000596: MSTORE 00000597: PUSH1 0x20 00000599: ADD 0000059a: PUSH1 0x00 0000059c: KECCAK256 0000059d: SLOAD 0000059e: PUSH2 0x0d13 000005a1: SWAP1 000005a2: SWAP2 000005a3: SWAP1 000005a4: PUSH4 0xffffffff 000005a9: AND 000005aa: JUMP 000005ab: JUMPDEST 000005ac: PUSH1 0x07 000005ae: PUSH1 0x00 000005b0: CALLER 000005b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005c6: AND 000005c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005dc: AND 000005dd: DUP2 000005de: MSTORE 000005df: PUSH1 0x20 000005e1: ADD 000005e2: SWAP1 000005e3: DUP2 000005e4: MSTORE 000005e5: PUSH1 0x20 000005e7: ADD 000005e8: PUSH1 0x00 000005ea: KECCAK256 000005eb: DUP2 000005ec: SWAP1 000005ed: SSTORE 000005ee: POP 000005ef: PUSH2 0x0676 000005f2: PUSH1 0x07 000005f4: PUSH1 0x00 000005f6: CALLER 000005f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000060c: AND 0000060d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000622: AND 00000623: DUP2 00000624: MSTORE 00000625: PUSH1 0x20 00000627: ADD 00000628: SWAP1 00000629: DUP2 0000062a: MSTORE 0000062b: PUSH1 0x20 0000062d: ADD 0000062e: PUSH1 0x00 00000630: KECCAK256 00000631: SLOAD 00000632: PUSH1 0x08 00000634: PUSH1 0x00 00000636: CALLER 00000637: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000064c: AND 0000064d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000662: AND 00000663: DUP2 00000664: MSTORE 00000665: PUSH1 0x20 00000667: ADD 00000668: SWAP1 00000669: DUP2 0000066a: MSTORE 0000066b: PUSH1 0x20 0000066d: ADD 0000066e: PUSH1 0x00 00000670: KECCAK256 00000671: SLOAD 00000672: PUSH2 0x0d31 00000675: JUMP 00000676: JUMPDEST 00000677: SWAP1 00000678: POP 00000679: PUSH2 0x06ca 0000067c: DUP2 0000067d: PUSH1 0x07 0000067f: PUSH1 0x00 00000681: CALLER 00000682: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000697: AND 00000698: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ad: AND 000006ae: DUP2 000006af: MSTORE 000006b0: PUSH1 0x20 000006b2: ADD 000006b3: SWAP1 000006b4: DUP2 000006b5: MSTORE 000006b6: PUSH1 0x20 000006b8: ADD 000006b9: PUSH1 0x00 000006bb: KECCAK256 000006bc: SLOAD 000006bd: PUSH2 0x0cbf 000006c0: SWAP1 000006c1: SWAP2 000006c2: SWAP1 000006c3: PUSH4 0xffffffff 000006c8: AND 000006c9: JUMP 000006ca: JUMPDEST 000006cb: PUSH1 0x07 000006cd: PUSH1 0x00 000006cf: CALLER 000006d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006e5: AND 000006e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006fb: AND 000006fc: DUP2 000006fd: MSTORE 000006fe: PUSH1 0x20 00000700: ADD 00000701: SWAP1 00000702: DUP2 00000703: MSTORE 00000704: PUSH1 0x20 00000706: ADD 00000707: PUSH1 0x00 00000709: KECCAK256 0000070a: DUP2 0000070b: SWAP1 0000070c: SSTORE 0000070d: POP 0000070e: PUSH2 0x075f 00000711: DUP2 00000712: PUSH1 0x08 00000714: PUSH1 0x00 00000716: CALLER 00000717: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000072c: AND 0000072d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000742: AND 00000743: DUP2 00000744: MSTORE 00000745: PUSH1 0x20 00000747: ADD 00000748: SWAP1 00000749: DUP2 0000074a: MSTORE 0000074b: PUSH1 0x20 0000074d: ADD 0000074e: PUSH1 0x00 00000750: KECCAK256 00000751: SLOAD 00000752: PUSH2 0x0cbf 00000755: SWAP1 00000756: SWAP2 00000757: SWAP1 00000758: PUSH4 0xffffffff 0000075d: AND 0000075e: JUMP 0000075f: JUMPDEST 00000760: PUSH1 0x08 00000762: PUSH1 0x00 00000764: CALLER 00000765: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000077a: AND 0000077b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000790: AND 00000791: DUP2 00000792: MSTORE 00000793: PUSH1 0x20 00000795: ADD 00000796: SWAP1 00000797: DUP2 00000798: MSTORE 00000799: PUSH1 0x20 0000079b: ADD 0000079c: PUSH1 0x00 0000079e: KECCAK256 0000079f: DUP2 000007a0: SWAP1 000007a1: SSTORE 000007a2: POP 000007a3: CALLER 000007a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007b9: AND 000007ba: PUSH2 0x08fc 000007bd: DUP6 000007be: SWAP1 000007bf: DUP2 000007c0: ISZERO 000007c1: MUL 000007c2: SWAP1 000007c3: PUSH1 0x40 000007c5: MLOAD 000007c6: PUSH1 0x00 000007c8: PUSH1 0x40 000007ca: MLOAD 000007cb: DUP1 000007cc: DUP4 000007cd: SUB 000007ce: DUP2 000007cf: DUP6 000007d0: DUP9 000007d1: DUP9 000007d2: CALL 000007d3: SWAP4 000007d4: POP 000007d5: POP 000007d6: POP 000007d7: POP 000007d8: ISZERO 000007d9: ISZERO 000007da: PUSH2 0x07e2 000007dd: JUMPI 000007de: PUSH1 0x00 000007e0: DUP1 000007e1: REVERT 000007e2: JUMPDEST 000007e3: PUSH32 0x884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a9424364 00000804: CALLER 00000805: DUP8 00000806: PUSH1 0x40 00000808: MLOAD 00000809: DUP1 0000080a: DUP4 0000080b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000820: AND 00000821: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000836: AND 00000837: DUP2 00000838: MSTORE 00000839: PUSH1 0x20 0000083b: ADD 0000083c: DUP3 0000083d: DUP2 0000083e: MSTORE 0000083f: PUSH1 0x20 00000841: ADD 00000842: SWAP3 00000843: POP 00000844: POP 00000845: POP 00000846: PUSH1 0x40 00000848: MLOAD 00000849: DUP1 0000084a: SWAP2 0000084b: SUB 0000084c: SWAP1 0000084d: LOG1 0000084e: POP 0000084f: POP 00000850: POP 00000851: POP 00000852: POP 00000853: POP 00000854: JUMP 00000855: JUMPDEST 00000856: PUSH1 0x00 00000858: PUSH2 0x085f 0000085b: PUSH2 0x0d4b 0000085e: JUMP 0000085f: JUMPDEST 00000860: SWAP1 00000861: POP 00000862: CALLER 00000863: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000878: AND 00000879: PUSH2 0x08fc 0000087c: DUP3 0000087d: SWAP1 0000087e: DUP2 0000087f: ISZERO 00000880: MUL 00000881: SWAP1 00000882: PUSH1 0x40 00000884: MLOAD 00000885: PUSH1 0x00 00000887: PUSH1 0x40 00000889: MLOAD 0000088a: DUP1 0000088b: DUP4 0000088c: SUB 0000088d: DUP2 0000088e: DUP6 0000088f: DUP9 00000890: DUP9 00000891: CALL 00000892: SWAP4 00000893: POP 00000894: POP 00000895: POP 00000896: POP 00000897: ISZERO 00000898: ISZERO 00000899: PUSH2 0x08a1 0000089c: JUMPI 0000089d: PUSH1 0x00 0000089f: DUP1 000008a0: REVERT 000008a1: JUMPDEST 000008a2: PUSH32 0x47cee97cb7acd717b3c0aa1435d004cd5b3c8c57d70dbceb4e4458bbd60e39d4 000008c3: CALLER 000008c4: DUP3 000008c5: PUSH1 0x40 000008c7: MLOAD 000008c8: DUP1 000008c9: DUP4 000008ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008df: AND 000008e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f5: AND 000008f6: DUP2 000008f7: MSTORE 000008f8: PUSH1 0x20 000008fa: ADD 000008fb: DUP3 000008fc: DUP2 000008fd: MSTORE 000008fe: PUSH1 0x20 00000900: ADD 00000901: SWAP3 00000902: POP 00000903: POP 00000904: POP 00000905: PUSH1 0x40 00000907: MLOAD 00000908: DUP1 00000909: SWAP2 0000090a: SUB 0000090b: SWAP1 0000090c: LOG1 0000090d: POP 0000090e: JUMP 0000090f: JUMPDEST 00000910: PUSH1 0x00 00000912: DUP1 00000913: SWAP1 00000914: SLOAD 00000915: SWAP1 00000916: PUSH2 0x0100 00000919: EXP 0000091a: SWAP1 0000091b: DIV 0000091c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000931: AND 00000932: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000947: AND 00000948: CALLER 00000949: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000095e: AND 0000095f: EQ 00000960: ISZERO 00000961: ISZERO 00000962: PUSH2 0x096a 00000965: JUMPI 00000966: PUSH1 0x00 00000968: DUP1 00000969: REVERT 0000096a: JUMPDEST 0000096b: PUSH1 0x01 0000096d: DUP1 0000096e: PUSH1 0x00 00000970: DUP4 00000971: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000986: AND 00000987: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000099c: AND 0000099d: DUP2 0000099e: MSTORE 0000099f: PUSH1 0x20 000009a1: ADD 000009a2: SWAP1 000009a3: DUP2 000009a4: MSTORE 000009a5: PUSH1 0x20 000009a7: ADD 000009a8: PUSH1 0x00 000009aa: KECCAK256 000009ab: PUSH1 0x00 000009ad: PUSH2 0x0100 000009b0: EXP 000009b1: DUP2 000009b2: SLOAD 000009b3: DUP2 000009b4: PUSH1 0xff 000009b6: MUL 000009b7: NOT 000009b8: AND 000009b9: SWAP1 000009ba: DUP4 000009bb: ISZERO 000009bc: ISZERO 000009bd: MUL 000009be: OR 000009bf: SWAP1 000009c0: SSTORE 000009c1: POP 000009c2: POP 000009c3: JUMP 000009c4: JUMPDEST 000009c5: PUSH1 0x00 000009c7: PUSH2 0x0abc 000009ca: PUSH1 0x08 000009cc: PUSH1 0x00 000009ce: DUP5 000009cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009e4: AND 000009e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009fa: AND 000009fb: DUP2 000009fc: MSTORE 000009fd: PUSH1 0x20 000009ff: ADD 00000a00: SWAP1 00000a01: DUP2 00000a02: MSTORE 00000a03: PUSH1 0x20 00000a05: ADD 00000a06: PUSH1 0x00 00000a08: KECCAK256 00000a09: SLOAD 00000a0a: PUSH2 0x0aae 00000a0d: PUSH1 0x07 00000a0f: PUSH1 0x00 00000a11: DUP7 00000a12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a27: AND 00000a28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a3d: AND 00000a3e: DUP2 00000a3f: MSTORE 00000a40: PUSH1 0x20 00000a42: ADD 00000a43: SWAP1 00000a44: DUP2 00000a45: MSTORE 00000a46: PUSH1 0x20 00000a48: ADD 00000a49: PUSH1 0x00 00000a4b: KECCAK256 00000a4c: SLOAD 00000a4d: PUSH2 0x0aa0 00000a50: PUSH1 0x06 00000a52: SLOAD 00000a53: PUSH1 0x04 00000a55: PUSH1 0x00 00000a57: DUP10 00000a58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a6d: AND 00000a6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a83: AND 00000a84: DUP2 00000a85: MSTORE 00000a86: PUSH1 0x20 00000a88: ADD 00000a89: SWAP1 00000a8a: DUP2 00000a8b: MSTORE 00000a8c: PUSH1 0x20 00000a8e: ADD 00000a8f: PUSH1 0x00 00000a91: KECCAK256 00000a92: SLOAD 00000a93: PUSH2 0x0cd8 00000a96: SWAP1 00000a97: SWAP2 00000a98: SWAP1 00000a99: PUSH4 0xffffffff 00000a9e: AND 00000a9f: JUMP 00000aa0: JUMPDEST 00000aa1: PUSH2 0x0d13 00000aa4: SWAP1 00000aa5: SWAP2 00000aa6: SWAP1 00000aa7: PUSH4 0xffffffff 00000aac: AND 00000aad: JUMP 00000aae: JUMPDEST 00000aaf: PUSH2 0x0cbf 00000ab2: SWAP1 00000ab3: SWAP2 00000ab4: SWAP1 00000ab5: PUSH4 0xffffffff 00000aba: AND 00000abb: JUMP 00000abc: JUMPDEST 00000abd: SWAP1 00000abe: POP 00000abf: SWAP2 00000ac0: SWAP1 00000ac1: POP 00000ac2: JUMP 00000ac3: JUMPDEST 00000ac4: PUSH1 0x05 00000ac6: SLOAD 00000ac7: DUP2 00000ac8: JUMP 00000ac9: JUMPDEST 00000aca: PUSH1 0x01 00000acc: PUSH1 0x00 00000ace: CALLER 00000acf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ae4: AND 00000ae5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000afa: AND 00000afb: DUP2 00000afc: MSTORE 00000afd: PUSH1 0x20 00000aff: ADD 00000b00: SWAP1 00000b01: DUP2 00000b02: MSTORE 00000b03: PUSH1 0x20 00000b05: ADD 00000b06: PUSH1 0x00 00000b08: KECCAK256 00000b09: PUSH1 0x00 00000b0b: SWAP1 00000b0c: SLOAD 00000b0d: SWAP1 00000b0e: PUSH2 0x0100 00000b11: EXP 00000b12: SWAP1 00000b13: DIV 00000b14: PUSH1 0xff 00000b16: AND 00000b17: DUP1 00000b18: PUSH2 0x0b2d 00000b1b: JUMPI 00000b1c: POP 00000b1d: PUSH1 0x02 00000b1f: PUSH1 0x00 00000b21: SWAP1 00000b22: SLOAD 00000b23: SWAP1 00000b24: PUSH2 0x0100 00000b27: EXP 00000b28: SWAP1 00000b29: DIV 00000b2a: PUSH1 0xff 00000b2c: AND 00000b2d: JUMPDEST 00000b2e: ISZERO 00000b2f: ISZERO 00000b30: PUSH2 0x0b38 00000b33: JUMPI 00000b34: PUSH1 0x00 00000b36: DUP1 00000b37: REVERT 00000b38: JUMPDEST 00000b39: PUSH2 0x0b41 00000b3c: CALLVALUE 00000b3d: PUSH2 0x0edc 00000b40: JUMP 00000b41: JUMPDEST 00000b42: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 00000b63: CALLER 00000b64: CALLVALUE 00000b65: PUSH1 0x40 00000b67: MLOAD 00000b68: DUP1 00000b69: DUP4 00000b6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b7f: AND 00000b80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b95: AND 00000b96: DUP2 00000b97: MSTORE 00000b98: PUSH1 0x20 00000b9a: ADD 00000b9b: DUP3 00000b9c: DUP2 00000b9d: MSTORE 00000b9e: PUSH1 0x20 00000ba0: ADD 00000ba1: SWAP3 00000ba2: POP 00000ba3: POP 00000ba4: POP 00000ba5: PUSH1 0x40 00000ba7: MLOAD 00000ba8: DUP1 00000ba9: SWAP2 00000baa: SUB 00000bab: SWAP1 00000bac: LOG1 00000bad: JUMP 00000bae: JUMPDEST 00000baf: PUSH1 0x00 00000bb1: DUP1 00000bb2: SWAP1 00000bb3: SLOAD 00000bb4: SWAP1 00000bb5: PUSH2 0x0100 00000bb8: EXP 00000bb9: SWAP1 00000bba: DIV 00000bbb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bd0: AND 00000bd1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000be6: AND 00000be7: CALLER 00000be8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bfd: AND 00000bfe: EQ 00000bff: ISZERO 00000c00: ISZERO 00000c01: PUSH2 0x0c09 00000c04: JUMPI 00000c05: PUSH1 0x00 00000c07: DUP1 00000c08: REVERT 00000c09: JUMPDEST 00000c0a: PUSH1 0x01 00000c0c: PUSH1 0x02 00000c0e: PUSH1 0x00 00000c10: PUSH2 0x0100 00000c13: EXP 00000c14: DUP2 00000c15: SLOAD 00000c16: DUP2 00000c17: PUSH1 0xff 00000c19: MUL 00000c1a: NOT 00000c1b: AND 00000c1c: SWAP1 00000c1d: DUP4 00000c1e: ISZERO 00000c1f: ISZERO 00000c20: MUL 00000c21: OR 00000c22: SWAP1 00000c23: SSTORE 00000c24: POP 00000c25: JUMP 00000c26: JUMPDEST 00000c27: PUSH1 0x00 00000c29: PUSH2 0x0c30 00000c2c: PUSH2 0x0d4b 00000c2f: JUMP 00000c30: JUMPDEST 00000c31: SWAP1 00000c32: POP 00000c33: PUSH2 0x0c3b 00000c36: DUP2 00000c37: PUSH2 0x0edc 00000c3a: JUMP 00000c3b: JUMPDEST 00000c3c: PUSH32 0xbd654390d0d973e8c8376ed6053be8658870df892687852cc5c914d700291b87 00000c5d: CALLER 00000c5e: DUP3 00000c5f: PUSH1 0x40 00000c61: MLOAD 00000c62: DUP1 00000c63: DUP4 00000c64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c79: AND 00000c7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c8f: AND 00000c90: DUP2 00000c91: MSTORE 00000c92: PUSH1 0x20 00000c94: ADD 00000c95: DUP3 00000c96: DUP2 00000c97: MSTORE 00000c98: PUSH1 0x20 00000c9a: ADD 00000c9b: SWAP3 00000c9c: POP 00000c9d: POP 00000c9e: POP 00000c9f: PUSH1 0x40 00000ca1: MLOAD 00000ca2: DUP1 00000ca3: SWAP2 00000ca4: SUB 00000ca5: SWAP1 00000ca6: LOG1 00000ca7: POP 00000ca8: JUMP 00000ca9: JUMPDEST 00000caa: PUSH1 0x00 00000cac: DUP2 00000cad: DUP4 00000cae: DUP2 00000caf: ISZERO 00000cb0: ISZERO 00000cb1: PUSH2 0x0cb6 00000cb4: JUMPI 00000cb5: INVALID 00000cb6: JUMPDEST 00000cb7: DIV 00000cb8: SWAP1 00000cb9: POP 00000cba: SWAP3 00000cbb: SWAP2 00000cbc: POP 00000cbd: POP 00000cbe: JUMP 00000cbf: JUMPDEST 00000cc0: PUSH1 0x00 00000cc2: DUP3 00000cc3: DUP3 00000cc4: GT 00000cc5: ISZERO 00000cc6: ISZERO 00000cc7: ISZERO 00000cc8: PUSH2 0x0ccd 00000ccb: JUMPI 00000ccc: INVALID 00000ccd: JUMPDEST 00000cce: DUP2 00000ccf: DUP4 00000cd0: SUB 00000cd1: SWAP1 00000cd2: POP 00000cd3: SWAP3 00000cd4: SWAP2 00000cd5: POP 00000cd6: POP 00000cd7: JUMP 00000cd8: JUMPDEST 00000cd9: PUSH1 0x00 00000cdb: DUP1 00000cdc: PUSH1 0x00 00000cde: DUP5 00000cdf: EQ 00000ce0: ISZERO 00000ce1: PUSH2 0x0ced 00000ce4: JUMPI 00000ce5: PUSH1 0x00 00000ce7: SWAP2 00000ce8: POP 00000ce9: PUSH2 0x0d0c 00000cec: JUMP 00000ced: JUMPDEST 00000cee: DUP3 00000cef: DUP5 00000cf0: MUL 00000cf1: SWAP1 00000cf2: POP 00000cf3: DUP3 00000cf4: DUP5 00000cf5: DUP3 00000cf6: DUP2 00000cf7: ISZERO 00000cf8: ISZERO 00000cf9: PUSH2 0x0cfe 00000cfc: JUMPI 00000cfd: INVALID 00000cfe: JUMPDEST 00000cff: DIV 00000d00: EQ 00000d01: ISZERO 00000d02: ISZERO 00000d03: PUSH2 0x0d08 00000d06: JUMPI 00000d07: INVALID 00000d08: JUMPDEST 00000d09: DUP1 00000d0a: SWAP2 00000d0b: POP 00000d0c: JUMPDEST 00000d0d: POP 00000d0e: SWAP3 00000d0f: SWAP2 00000d10: POP 00000d11: POP 00000d12: JUMP 00000d13: JUMPDEST 00000d14: PUSH1 0x00 00000d16: DUP1 00000d17: DUP3 00000d18: DUP5 00000d19: ADD 00000d1a: SWAP1 00000d1b: POP 00000d1c: DUP4 00000d1d: DUP2 00000d1e: LT 00000d1f: ISZERO 00000d20: ISZERO 00000d21: ISZERO 00000d22: PUSH2 0x0d27 00000d25: JUMPI 00000d26: INVALID 00000d27: JUMPDEST 00000d28: DUP1 00000d29: SWAP2 00000d2a: POP 00000d2b: POP 00000d2c: SWAP3 00000d2d: SWAP2 00000d2e: POP 00000d2f: POP 00000d30: JUMP 00000d31: JUMPDEST 00000d32: PUSH1 0x00 00000d34: DUP2 00000d35: DUP4 00000d36: GT 00000d37: ISZERO 00000d38: PUSH2 0x0d41 00000d3b: JUMPI 00000d3c: DUP2 00000d3d: PUSH2 0x0d43 00000d40: JUMP 00000d41: JUMPDEST 00000d42: DUP3 00000d43: JUMPDEST 00000d44: SWAP1 00000d45: POP 00000d46: SWAP3 00000d47: SWAP2 00000d48: POP 00000d49: POP 00000d4a: JUMP 00000d4b: JUMPDEST 00000d4c: PUSH1 0x00 00000d4e: DUP1 00000d4f: PUSH1 0x00 00000d51: PUSH2 0x0da4 00000d54: PUSH1 0x06 00000d56: SLOAD 00000d57: PUSH1 0x04 00000d59: PUSH1 0x00 00000d5b: CALLER 00000d5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d71: AND 00000d72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d87: AND 00000d88: DUP2 00000d89: MSTORE 00000d8a: PUSH1 0x20 00000d8c: ADD 00000d8d: SWAP1 00000d8e: DUP2 00000d8f: MSTORE 00000d90: PUSH1 0x20 00000d92: ADD 00000d93: PUSH1 0x00 00000d95: KECCAK256 00000d96: SLOAD 00000d97: PUSH2 0x0cd8 00000d9a: SWAP1 00000d9b: SWAP2 00000d9c: SWAP1 00000d9d: PUSH4 0xffffffff 00000da2: AND 00000da3: JUMP 00000da4: JUMPDEST 00000da5: SWAP2 00000da6: POP 00000da7: PUSH2 0x0e49 00000daa: PUSH1 0x08 00000dac: PUSH1 0x00 00000dae: CALLER 00000daf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dc4: AND 00000dc5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dda: AND 00000ddb: DUP2 00000ddc: MSTORE 00000ddd: PUSH1 0x20 00000ddf: ADD 00000de0: SWAP1 00000de1: DUP2 00000de2: MSTORE 00000de3: PUSH1 0x20 00000de5: ADD 00000de6: PUSH1 0x00 00000de8: KECCAK256 00000de9: SLOAD 00000dea: PUSH2 0x0e3b 00000ded: PUSH1 0x07 00000def: PUSH1 0x00 00000df1: CALLER 00000df2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e07: AND 00000e08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e1d: AND 00000e1e: DUP2 00000e1f: MSTORE 00000e20: PUSH1 0x20 00000e22: ADD 00000e23: SWAP1 00000e24: DUP2 00000e25: MSTORE 00000e26: PUSH1 0x20 00000e28: ADD 00000e29: PUSH1 0x00 00000e2b: KECCAK256 00000e2c: SLOAD 00000e2d: DUP6 00000e2e: PUSH2 0x0d13 00000e31: SWAP1 00000e32: SWAP2 00000e33: SWAP1 00000e34: PUSH4 0xffffffff 00000e39: AND 00000e3a: JUMP 00000e3b: JUMPDEST 00000e3c: PUSH2 0x0cbf 00000e3f: SWAP1 00000e40: SWAP2 00000e41: SWAP1 00000e42: PUSH4 0xffffffff 00000e47: AND 00000e48: JUMP 00000e49: JUMPDEST 00000e4a: SWAP1 00000e4b: POP 00000e4c: PUSH1 0x00 00000e4e: PUSH1 0x07 00000e50: PUSH1 0x00 00000e52: CALLER 00000e53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e68: AND 00000e69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e7e: AND 00000e7f: DUP2 00000e80: MSTORE 00000e81: PUSH1 0x20 00000e83: ADD 00000e84: SWAP1 00000e85: DUP2 00000e86: MSTORE 00000e87: PUSH1 0x20 00000e89: ADD 00000e8a: PUSH1 0x00 00000e8c: KECCAK256 00000e8d: DUP2 00000e8e: SWAP1 00000e8f: SSTORE 00000e90: POP 00000e91: DUP2 00000e92: PUSH1 0x08 00000e94: PUSH1 0x00 00000e96: CALLER 00000e97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eac: AND 00000ead: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ec2: AND 00000ec3: DUP2 00000ec4: MSTORE 00000ec5: PUSH1 0x20 00000ec7: ADD 00000ec8: SWAP1 00000ec9: DUP2 00000eca: MSTORE 00000ecb: PUSH1 0x20 00000ecd: ADD 00000ece: PUSH1 0x00 00000ed0: KECCAK256 00000ed1: DUP2 00000ed2: SWAP1 00000ed3: SSTORE 00000ed4: POP 00000ed5: DUP1 00000ed6: SWAP3 00000ed7: POP 00000ed8: POP 00000ed9: POP 00000eda: SWAP1 00000edb: JUMP 00000edc: JUMPDEST 00000edd: PUSH1 0x00 00000edf: DUP1 00000ee0: PUSH1 0x00 00000ee2: PUSH2 0x0ef5 00000ee5: PUSH1 0x03 00000ee7: DUP6 00000ee8: PUSH2 0x0ca9 00000eeb: SWAP1 00000eec: SWAP2 00000eed: SWAP1 00000eee: PUSH4 0xffffffff 00000ef3: AND 00000ef4: JUMP 00000ef5: JUMPDEST 00000ef6: SWAP3 00000ef7: POP 00000ef8: PUSH2 0x0f0a 00000efb: DUP4 00000efc: DUP6 00000efd: PUSH2 0x0cbf 00000f00: SWAP1 00000f01: SWAP2 00000f02: SWAP1 00000f03: PUSH4 0xffffffff 00000f08: AND 00000f09: JUMP 00000f0a: JUMPDEST 00000f0b: SWAP2 00000f0c: POP 00000f0d: PUSH1 0x00 00000f0f: PUSH1 0x05 00000f11: SLOAD 00000f12: GT 00000f13: ISZERO 00000f14: PUSH2 0x0f47 00000f17: JUMPI 00000f18: PUSH2 0x0f40 00000f1b: PUSH2 0x0f2f 00000f1e: PUSH1 0x05 00000f20: SLOAD 00000f21: DUP6 00000f22: PUSH2 0x0ca9 00000f25: SWAP1 00000f26: SWAP2 00000f27: SWAP1 00000f28: PUSH4 0xffffffff 00000f2d: AND 00000f2e: JUMP 00000f2f: JUMPDEST 00000f30: PUSH1 0x06 00000f32: SLOAD 00000f33: PUSH2 0x0d13 00000f36: SWAP1 00000f37: SWAP2 00000f38: SWAP1 00000f39: PUSH4 0xffffffff 00000f3e: AND 00000f3f: JUMP 00000f40: JUMPDEST 00000f41: PUSH1 0x06 00000f43: DUP2 00000f44: SWAP1 00000f45: SSTORE 00000f46: POP 00000f47: JUMPDEST 00000f48: PUSH2 0x0f8c 00000f4b: PUSH1 0x05 00000f4d: SLOAD 00000f4e: PUSH2 0x0f7e 00000f51: PUSH2 0x0f79 00000f54: DUP6 00000f55: PUSH2 0x0f6b 00000f58: PUSH1 0x05 00000f5a: SLOAD 00000f5b: PUSH1 0x05 00000f5d: SLOAD 00000f5e: PUSH2 0x0cd8 00000f61: SWAP1 00000f62: SWAP2 00000f63: SWAP1 00000f64: PUSH4 0xffffffff 00000f69: AND 00000f6a: JUMP 00000f6b: JUMPDEST 00000f6c: PUSH2 0x0d13 00000f6f: SWAP1 00000f70: SWAP2 00000f71: SWAP1 00000f72: PUSH4 0xffffffff 00000f77: AND 00000f78: JUMP 00000f79: JUMPDEST 00000f7a: PUSH2 0x1182 00000f7d: JUMP 00000f7e: JUMPDEST 00000f7f: PUSH2 0x0cbf 00000f82: SWAP1 00000f83: SWAP2 00000f84: SWAP1 00000f85: PUSH4 0xffffffff 00000f8a: AND 00000f8b: JUMP 00000f8c: JUMPDEST 00000f8d: SWAP1 00000f8e: POP 00000f8f: PUSH2 0x0fe0 00000f92: DUP3 00000f93: PUSH1 0x03 00000f95: PUSH1 0x00 00000f97: CALLER 00000f98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fad: AND 00000fae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fc3: AND 00000fc4: DUP2 00000fc5: MSTORE 00000fc6: PUSH1 0x20 00000fc8: ADD 00000fc9: SWAP1 00000fca: DUP2 00000fcb: MSTORE 00000fcc: PUSH1 0x20 00000fce: ADD 00000fcf: PUSH1 0x00 00000fd1: KECCAK256 00000fd2: SLOAD 00000fd3: PUSH2 0x0d13 00000fd6: SWAP1 00000fd7: SWAP2 00000fd8: SWAP1 00000fd9: PUSH4 0xffffffff 00000fde: AND 00000fdf: JUMP 00000fe0: JUMPDEST 00000fe1: PUSH1 0x03 00000fe3: PUSH1 0x00 00000fe5: CALLER 00000fe6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ffb: AND 00000ffc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001011: AND 00001012: DUP2 00001013: MSTORE 00001014: PUSH1 0x20 00001016: ADD 00001017: SWAP1 00001018: DUP2 00001019: MSTORE 0000101a: PUSH1 0x20 0000101c: ADD 0000101d: PUSH1 0x00 0000101f: KECCAK256 00001020: DUP2 00001021: SWAP1 00001022: SSTORE 00001023: POP 00001024: PUSH2 0x1075 00001027: DUP2 00001028: PUSH1 0x04 0000102a: PUSH1 0x00 0000102c: CALLER 0000102d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001042: AND 00001043: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001058: AND 00001059: DUP2 0000105a: MSTORE 0000105b: PUSH1 0x20 0000105d: ADD 0000105e: SWAP1 0000105f: DUP2 00001060: MSTORE 00001061: PUSH1 0x20 00001063: ADD 00001064: PUSH1 0x00 00001066: KECCAK256 00001067: SLOAD 00001068: PUSH2 0x0d13 0000106b: SWAP1 0000106c: SWAP2 0000106d: SWAP1 0000106e: PUSH4 0xffffffff 00001073: AND 00001074: JUMP 00001075: JUMPDEST 00001076: PUSH1 0x04 00001078: PUSH1 0x00 0000107a: CALLER 0000107b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001090: AND 00001091: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010a6: AND 000010a7: DUP2 000010a8: MSTORE 000010a9: PUSH1 0x20 000010ab: ADD 000010ac: SWAP1 000010ad: DUP2 000010ae: MSTORE 000010af: PUSH1 0x20 000010b1: ADD 000010b2: PUSH1 0x00 000010b4: KECCAK256 000010b5: DUP2 000010b6: SWAP1 000010b7: SSTORE 000010b8: POP 000010b9: PUSH2 0x10cd 000010bc: DUP2 000010bd: PUSH1 0x05 000010bf: SLOAD 000010c0: PUSH2 0x0d13 000010c3: SWAP1 000010c4: SWAP2 000010c5: SWAP1 000010c6: PUSH4 0xffffffff 000010cb: AND 000010cc: JUMP 000010cd: JUMPDEST 000010ce: PUSH1 0x05 000010d0: DUP2 000010d1: SWAP1 000010d2: SSTORE 000010d3: POP 000010d4: PUSH2 0x1139 000010d7: PUSH2 0x10eb 000010da: PUSH1 0x06 000010dc: SLOAD 000010dd: DUP4 000010de: PUSH2 0x0cd8 000010e1: SWAP1 000010e2: SWAP2 000010e3: SWAP1 000010e4: PUSH4 0xffffffff 000010e9: AND 000010ea: JUMP 000010eb: JUMPDEST 000010ec: PUSH1 0x08 000010ee: PUSH1 0x00 000010f0: CALLER 000010f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001106: AND 00001107: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000111c: AND 0000111d: DUP2 0000111e: MSTORE 0000111f: PUSH1 0x20 00001121: ADD 00001122: SWAP1 00001123: DUP2 00001124: MSTORE 00001125: PUSH1 0x20 00001127: ADD 00001128: PUSH1 0x00 0000112a: KECCAK256 0000112b: SLOAD 0000112c: PUSH2 0x0d13 0000112f: SWAP1 00001130: SWAP2 00001131: SWAP1 00001132: PUSH4 0xffffffff 00001137: AND 00001138: JUMP 00001139: JUMPDEST 0000113a: PUSH1 0x08 0000113c: PUSH1 0x00 0000113e: CALLER 0000113f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001154: AND 00001155: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000116a: AND 0000116b: DUP2 0000116c: MSTORE 0000116d: PUSH1 0x20 0000116f: ADD 00001170: SWAP1 00001171: DUP2 00001172: MSTORE 00001173: PUSH1 0x20 00001175: ADD 00001176: PUSH1 0x00 00001178: KECCAK256 00001179: DUP2 0000117a: SWAP1 0000117b: SSTORE 0000117c: POP 0000117d: POP 0000117e: POP 0000117f: POP 00001180: POP 00001181: JUMP 00001182: JUMPDEST 00001183: PUSH1 0x00 00001185: DUP1 00001186: PUSH1 0x02 00001188: PUSH1 0x01 0000118a: DUP5 0000118b: ADD 0000118c: DUP2 0000118d: ISZERO 0000118e: ISZERO 0000118f: PUSH2 0x1194 00001192: JUMPI 00001193: INVALID 00001194: JUMPDEST 00001195: DIV 00001196: SWAP1 00001197: POP 00001198: DUP3 00001199: SWAP2 0000119a: POP 0000119b: JUMPDEST 0000119c: DUP2 0000119d: DUP2 0000119e: LT 0000119f: ISZERO 000011a0: PUSH2 0x11c7 000011a3: JUMPI 000011a4: DUP1 000011a5: SWAP2 000011a6: POP 000011a7: PUSH1 0x02 000011a9: DUP2 000011aa: DUP3 000011ab: DUP6 000011ac: DUP2 000011ad: ISZERO 000011ae: ISZERO 000011af: PUSH2 0x11b4 000011b2: JUMPI 000011b3: INVALID 000011b4: JUMPDEST 000011b5: DIV 000011b6: ADD 000011b7: DUP2 000011b8: ISZERO 000011b9: ISZERO 000011ba: PUSH2 0x11bf 000011bd: JUMPI 000011be: INVALID 000011bf: JUMPDEST 000011c0: DIV 000011c1: SWAP1 000011c2: POP 000011c3: PUSH2 0x119b 000011c6: JUMP 000011c7: JUMPDEST 000011c8: POP 000011c9: SWAP2 000011ca: SWAP1 000011cb: POP 000011cc: JUMP 000011cd: STOP 000011ce: LOG1 000011cf: PUSH6 0x627a7a723058 000011d6: KECCAK256 000011d7: UNKNOWN(0x25) 000011d8: LOG4 000011d9: LOG3 000011da: PUSH25 0xe6067b42cc41e6494f7e04d2d776f0f6652715ac14cf5f6956 000011f4: DIFFICULTY 000011f5: MOD 000011f6: UNKNOWN(0xE2) 000011f7: STOP 000011f8: UNKNOWN(0x29)
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.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x0e39bf97bf55af20d6560ed08f1526f034a33e36b63eb956657fe783c6293ec4
call_targets:
0x9b2b16f9a9a65425ee9a117aa6ba9f0603d973f7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0e39bf97bf55af20d6560ed08f1526f034a33e36b63eb956657fe783c6293ec4",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9b2b16f9a9a65425ee9a117aa6ba9f0603d973f7"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0bd18d7a",
"selector": "0x0bd18d7a",
"calldata_variants": [
"0x0bd18d7a",
"0x0bd18d7a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x26476204",
"selector": "0x26476204",
"calldata_variants": [
"0x26476204",
"0x264762040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e71d92d",
"selector": "0x4e71d92d",
"calldata_variants": [
"0x4e71d92d",
"0x4e71d92d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x55e2305e",
"selector": "0x55e2305e",
"calldata_variants": [
"0x55e2305e",
"0x55e2305e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x86be3981",
"selector": "0x86be3981",
"calldata_variants": [
"0x86be3981",
"0x86be39810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b0e9f3f",
"selector": "0x8b0e9f3f",
"calldata_variants": [
"0x8b0e9f3f",
"0x8b0e9f3f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2002,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2193,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 2376,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3047,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x0e39bf97bf55af20d6560ed08f1526f034a33e36b63eb956657fe783c6293ec4
call_targets:
0x9b2b16f9a9a65425ee9a117aa6ba9f0603d973f7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0e39bf97bf55af20d6560ed08f1526f034a33e36b63eb956657fe783c6293ec4",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9b2b16f9a9a65425ee9a117aa6ba9f0603d973f7"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0bd18d7a",
"selector": "0x0bd18d7a",
"calldata_variants": [
"0x0bd18d7a",
"0x0bd18d7a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x26476204",
"selector": "0x26476204",
"calldata_variants": [
"0x26476204",
"0x264762040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e71d92d",
"selector": "0x4e71d92d",
"calldata_variants": [
"0x4e71d92d",
"0x4e71d92d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x55e2305e",
"selector": "0x55e2305e",
"calldata_variants": [
"0x55e2305e",
"0x55e2305e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x86be3981",
"selector": "0x86be3981",
"calldata_variants": [
"0x86be3981",
"0x86be39810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b0e9f3f",
"selector": "0x8b0e9f3f",
"calldata_variants": [
"0x8b0e9f3f",
"0x8b0e9f3f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2002,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2193,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 2376,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3047,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|