019b3844-9286-73eb-bbd3-aab5646728cb
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 |
|---|---|---|---|---|
| 12929 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 12930 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 56169 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 56170 | capability.graph | complete | 1 / 3 | 1 week ago |
| 56171 | detector.run | complete | 1 / 3 | 1 week ago |
| 56172 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0083 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x2079fb9a 0000003c: EQ 0000003d: PUSH2 0x011d 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x7df73e27 00000047: EQ 00000048: PUSH2 0x018a 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x959f9114 00000052: EQ 00000053: PUSH2 0x01e5 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x97f6c448 0000005d: EQ 0000005e: PUSH2 0x01fc 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x98f44b9a 00000068: EQ 00000069: PUSH2 0x02dc 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0xa0b7967b 00000073: EQ 00000074: PUSH2 0x03a3 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0xabe3219c 0000007e: EQ 0000007f: PUSH2 0x03ce 00000082: JUMPI 00000083: JUMPDEST 00000084: PUSH1 0x00 00000086: CALLVALUE 00000087: GT 00000088: ISZERO 00000089: PUSH2 0x011b 0000008c: JUMPI 0000008d: PUSH32 0x0113761859388286b05db53a5354f9ae21375ba9131de67113c0964d7bc397b1 000000ae: CALLVALUE 000000af: CALLER 000000b0: PUSH1 0x00 000000b2: CALLDATASIZE 000000b3: PUSH1 0x40 000000b5: MLOAD 000000b6: DUP1 000000b7: DUP6 000000b8: DUP2 000000b9: MSTORE 000000ba: PUSH1 0x20 000000bc: ADD 000000bd: DUP5 000000be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000d3: AND 000000d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000e9: AND 000000ea: DUP2 000000eb: MSTORE 000000ec: PUSH1 0x20 000000ee: ADD 000000ef: DUP1 000000f0: PUSH1 0x20 000000f2: ADD 000000f3: DUP3 000000f4: DUP2 000000f5: SUB 000000f6: DUP3 000000f7: MSTORE 000000f8: DUP5 000000f9: DUP5 000000fa: DUP3 000000fb: DUP2 000000fc: DUP2 000000fd: MSTORE 000000fe: PUSH1 0x20 00000100: ADD 00000101: SWAP3 00000102: POP 00000103: DUP1 00000104: DUP3 00000105: DUP5 00000106: CALLDATACOPY 00000107: DUP3 00000108: ADD 00000109: SWAP2 0000010a: POP 0000010b: POP 0000010c: SWAP6 0000010d: POP 0000010e: POP 0000010f: POP 00000110: POP 00000111: POP 00000112: POP 00000113: PUSH1 0x40 00000115: MLOAD 00000116: DUP1 00000117: SWAP2 00000118: SUB 00000119: SWAP1 0000011a: LOG1 0000011b: JUMPDEST 0000011c: STOP 0000011d: JUMPDEST 0000011e: CALLVALUE 0000011f: DUP1 00000120: ISZERO 00000121: PUSH2 0x0129 00000124: JUMPI 00000125: PUSH1 0x00 00000127: DUP1 00000128: REVERT 00000129: JUMPDEST 0000012a: POP 0000012b: PUSH2 0x0148 0000012e: PUSH1 0x04 00000130: DUP1 00000131: CALLDATASIZE 00000132: SUB 00000133: DUP2 00000134: ADD 00000135: SWAP1 00000136: DUP1 00000137: DUP1 00000138: CALLDATALOAD 00000139: SWAP1 0000013a: PUSH1 0x20 0000013c: ADD 0000013d: SWAP1 0000013e: SWAP3 0000013f: SWAP2 00000140: SWAP1 00000141: POP 00000142: POP 00000143: POP 00000144: PUSH2 0x03fd 00000147: JUMP 00000148: JUMPDEST 00000149: PUSH1 0x40 0000014b: MLOAD 0000014c: DUP1 0000014d: DUP3 0000014e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000163: AND 00000164: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000179: AND 0000017a: DUP2 0000017b: MSTORE 0000017c: PUSH1 0x20 0000017e: ADD 0000017f: SWAP2 00000180: POP 00000181: POP 00000182: PUSH1 0x40 00000184: MLOAD 00000185: DUP1 00000186: SWAP2 00000187: SUB 00000188: SWAP1 00000189: RETURN 0000018a: JUMPDEST 0000018b: CALLVALUE 0000018c: DUP1 0000018d: ISZERO 0000018e: PUSH2 0x0196 00000191: JUMPI 00000192: PUSH1 0x00 00000194: DUP1 00000195: REVERT 00000196: JUMPDEST 00000197: POP 00000198: PUSH2 0x01cb 0000019b: PUSH1 0x04 0000019d: DUP1 0000019e: CALLDATASIZE 0000019f: SUB 000001a0: DUP2 000001a1: ADD 000001a2: SWAP1 000001a3: DUP1 000001a4: DUP1 000001a5: CALLDATALOAD 000001a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001bb: AND 000001bc: SWAP1 000001bd: PUSH1 0x20 000001bf: ADD 000001c0: SWAP1 000001c1: SWAP3 000001c2: SWAP2 000001c3: SWAP1 000001c4: POP 000001c5: POP 000001c6: POP 000001c7: PUSH2 0x043b 000001ca: JUMP 000001cb: JUMPDEST 000001cc: PUSH1 0x40 000001ce: MLOAD 000001cf: DUP1 000001d0: DUP3 000001d1: ISZERO 000001d2: ISZERO 000001d3: ISZERO 000001d4: ISZERO 000001d5: DUP2 000001d6: MSTORE 000001d7: PUSH1 0x20 000001d9: ADD 000001da: SWAP2 000001db: POP 000001dc: POP 000001dd: PUSH1 0x40 000001df: MLOAD 000001e0: DUP1 000001e1: SWAP2 000001e2: SUB 000001e3: SWAP1 000001e4: RETURN 000001e5: JUMPDEST 000001e6: CALLVALUE 000001e7: DUP1 000001e8: ISZERO 000001e9: PUSH2 0x01f1 000001ec: JUMPI 000001ed: PUSH1 0x00 000001ef: DUP1 000001f0: REVERT 000001f1: JUMPDEST 000001f2: POP 000001f3: PUSH2 0x01fa 000001f6: PUSH2 0x04de 000001f9: JUMP 000001fa: JUMPDEST 000001fb: STOP 000001fc: JUMPDEST 000001fd: PUSH2 0x02da 00000200: PUSH1 0x04 00000202: DUP1 00000203: CALLDATASIZE 00000204: SUB 00000205: DUP2 00000206: ADD 00000207: SWAP1 00000208: DUP1 00000209: DUP1 0000020a: CALLDATALOAD 0000020b: SWAP1 0000020c: PUSH1 0x20 0000020e: ADD 0000020f: SWAP1 00000210: SWAP3 00000211: SWAP2 00000212: SWAP1 00000213: DUP1 00000214: CALLDATALOAD 00000215: SWAP1 00000216: PUSH1 0x20 00000218: ADD 00000219: SWAP1 0000021a: SWAP3 0000021b: SWAP2 0000021c: SWAP1 0000021d: DUP1 0000021e: CALLDATALOAD 0000021f: SWAP1 00000220: PUSH1 0x20 00000222: ADD 00000223: SWAP1 00000224: DUP3 00000225: ADD 00000226: DUP1 00000227: CALLDATALOAD 00000228: SWAP1 00000229: PUSH1 0x20 0000022b: ADD 0000022c: SWAP1 0000022d: DUP1 0000022e: DUP1 0000022f: PUSH1 0x1f 00000231: ADD 00000232: PUSH1 0x20 00000234: DUP1 00000235: SWAP2 00000236: DIV 00000237: MUL 00000238: PUSH1 0x20 0000023a: ADD 0000023b: PUSH1 0x40 0000023d: MLOAD 0000023e: SWAP1 0000023f: DUP2 00000240: ADD 00000241: PUSH1 0x40 00000243: MSTORE 00000244: DUP1 00000245: SWAP4 00000246: SWAP3 00000247: SWAP2 00000248: SWAP1 00000249: DUP2 0000024a: DUP2 0000024b: MSTORE 0000024c: PUSH1 0x20 0000024e: ADD 0000024f: DUP4 00000250: DUP4 00000251: DUP1 00000252: DUP3 00000253: DUP5 00000254: CALLDATACOPY 00000255: DUP3 00000256: ADD 00000257: SWAP2 00000258: POP 00000259: POP 0000025a: POP 0000025b: POP 0000025c: POP 0000025d: POP 0000025e: SWAP2 0000025f: SWAP3 00000260: SWAP2 00000261: SWAP3 00000262: SWAP1 00000263: DUP1 00000264: CALLDATALOAD 00000265: SWAP1 00000266: PUSH1 0x20 00000268: ADD 00000269: SWAP1 0000026a: SWAP3 0000026b: SWAP2 0000026c: SWAP1 0000026d: DUP1 0000026e: CALLDATALOAD 0000026f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000284: AND 00000285: SWAP1 00000286: PUSH1 0x20 00000288: ADD 00000289: SWAP1 0000028a: SWAP3 0000028b: SWAP2 0000028c: SWAP1 0000028d: DUP1 0000028e: CALLDATALOAD 0000028f: SWAP1 00000290: PUSH1 0x20 00000292: ADD 00000293: SWAP1 00000294: DUP3 00000295: ADD 00000296: DUP1 00000297: CALLDATALOAD 00000298: SWAP1 00000299: PUSH1 0x20 0000029b: ADD 0000029c: SWAP1 0000029d: DUP1 0000029e: DUP1 0000029f: PUSH1 0x1f 000002a1: ADD 000002a2: PUSH1 0x20 000002a4: DUP1 000002a5: SWAP2 000002a6: DIV 000002a7: MUL 000002a8: PUSH1 0x20 000002aa: ADD 000002ab: PUSH1 0x40 000002ad: MLOAD 000002ae: SWAP1 000002af: DUP2 000002b0: ADD 000002b1: PUSH1 0x40 000002b3: MSTORE 000002b4: DUP1 000002b5: SWAP4 000002b6: SWAP3 000002b7: SWAP2 000002b8: SWAP1 000002b9: DUP2 000002ba: DUP2 000002bb: MSTORE 000002bc: PUSH1 0x20 000002be: ADD 000002bf: DUP4 000002c0: DUP4 000002c1: DUP1 000002c2: DUP3 000002c3: DUP5 000002c4: CALLDATACOPY 000002c5: DUP3 000002c6: ADD 000002c7: SWAP2 000002c8: POP 000002c9: POP 000002ca: POP 000002cb: POP 000002cc: POP 000002cd: POP 000002ce: SWAP2 000002cf: SWAP3 000002d0: SWAP2 000002d1: SWAP3 000002d2: SWAP1 000002d3: POP 000002d4: POP 000002d5: POP 000002d6: PUSH2 0x0571 000002d9: JUMP 000002da: JUMPDEST 000002db: STOP 000002dc: JUMPDEST 000002dd: CALLVALUE 000002de: DUP1 000002df: ISZERO 000002e0: PUSH2 0x02e8 000002e3: JUMPI 000002e4: PUSH1 0x00 000002e6: DUP1 000002e7: REVERT 000002e8: JUMPDEST 000002e9: POP 000002ea: PUSH2 0x03a1 000002ed: PUSH1 0x04 000002ef: DUP1 000002f0: CALLDATASIZE 000002f1: SUB 000002f2: DUP2 000002f3: ADD 000002f4: SWAP1 000002f5: DUP1 000002f6: DUP1 000002f7: CALLDATALOAD 000002f8: SWAP1 000002f9: PUSH1 0x20 000002fb: ADD 000002fc: SWAP1 000002fd: SWAP3 000002fe: SWAP2 000002ff: SWAP1 00000300: DUP1 00000301: CALLDATALOAD 00000302: SWAP1 00000303: PUSH1 0x20 00000305: ADD 00000306: SWAP1 00000307: SWAP3 00000308: SWAP2 00000309: SWAP1 0000030a: DUP1 0000030b: CALLDATALOAD 0000030c: SWAP1 0000030d: PUSH1 0x20 0000030f: ADD 00000310: SWAP1 00000311: SWAP3 00000312: SWAP2 00000313: SWAP1 00000314: DUP1 00000315: CALLDATALOAD 00000316: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000032b: AND 0000032c: SWAP1 0000032d: PUSH1 0x20 0000032f: ADD 00000330: SWAP1 00000331: SWAP3 00000332: SWAP2 00000333: SWAP1 00000334: DUP1 00000335: CALLDATALOAD 00000336: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000034b: AND 0000034c: SWAP1 0000034d: PUSH1 0x20 0000034f: ADD 00000350: SWAP1 00000351: SWAP3 00000352: SWAP2 00000353: SWAP1 00000354: DUP1 00000355: CALLDATALOAD 00000356: SWAP1 00000357: PUSH1 0x20 00000359: ADD 0000035a: SWAP1 0000035b: DUP3 0000035c: ADD 0000035d: DUP1 0000035e: CALLDATALOAD 0000035f: SWAP1 00000360: PUSH1 0x20 00000362: ADD 00000363: SWAP1 00000364: DUP1 00000365: DUP1 00000366: PUSH1 0x1f 00000368: ADD 00000369: PUSH1 0x20 0000036b: DUP1 0000036c: SWAP2 0000036d: DIV 0000036e: MUL 0000036f: PUSH1 0x20 00000371: ADD 00000372: PUSH1 0x40 00000374: MLOAD 00000375: SWAP1 00000376: DUP2 00000377: ADD 00000378: PUSH1 0x40 0000037a: MSTORE 0000037b: DUP1 0000037c: SWAP4 0000037d: SWAP3 0000037e: SWAP2 0000037f: SWAP1 00000380: DUP2 00000381: DUP2 00000382: MSTORE 00000383: PUSH1 0x20 00000385: ADD 00000386: DUP4 00000387: DUP4 00000388: DUP1 00000389: DUP3 0000038a: DUP5 0000038b: CALLDATACOPY 0000038c: DUP3 0000038d: ADD 0000038e: SWAP2 0000038f: POP 00000390: POP 00000391: POP 00000392: POP 00000393: POP 00000394: POP 00000395: SWAP2 00000396: SWAP3 00000397: SWAP2 00000398: SWAP3 00000399: SWAP1 0000039a: POP 0000039b: POP 0000039c: POP 0000039d: PUSH2 0x0885 000003a0: JUMP 000003a1: JUMPDEST 000003a2: STOP 000003a3: JUMPDEST 000003a4: CALLVALUE 000003a5: DUP1 000003a6: ISZERO 000003a7: PUSH2 0x03af 000003aa: JUMPI 000003ab: PUSH1 0x00 000003ad: DUP1 000003ae: REVERT 000003af: JUMPDEST 000003b0: POP 000003b1: PUSH2 0x03b8 000003b4: PUSH2 0x0a2a 000003b7: JUMP 000003b8: JUMPDEST 000003b9: PUSH1 0x40 000003bb: MLOAD 000003bc: DUP1 000003bd: DUP3 000003be: DUP2 000003bf: MSTORE 000003c0: PUSH1 0x20 000003c2: ADD 000003c3: SWAP2 000003c4: POP 000003c5: POP 000003c6: PUSH1 0x40 000003c8: MLOAD 000003c9: DUP1 000003ca: SWAP2 000003cb: SUB 000003cc: SWAP1 000003cd: RETURN 000003ce: JUMPDEST 000003cf: CALLVALUE 000003d0: DUP1 000003d1: ISZERO 000003d2: PUSH2 0x03da 000003d5: JUMPI 000003d6: PUSH1 0x00 000003d8: DUP1 000003d9: REVERT 000003da: JUMPDEST 000003db: POP 000003dc: PUSH2 0x03e3 000003df: PUSH2 0x0a84 000003e2: JUMP 000003e3: JUMPDEST 000003e4: PUSH1 0x40 000003e6: MLOAD 000003e7: DUP1 000003e8: DUP3 000003e9: ISZERO 000003ea: ISZERO 000003eb: ISZERO 000003ec: ISZERO 000003ed: DUP2 000003ee: MSTORE 000003ef: PUSH1 0x20 000003f1: ADD 000003f2: SWAP2 000003f3: POP 000003f4: POP 000003f5: PUSH1 0x40 000003f7: MLOAD 000003f8: DUP1 000003f9: SWAP2 000003fa: SUB 000003fb: SWAP1 000003fc: RETURN 000003fd: JUMPDEST 000003fe: PUSH1 0x00 00000400: DUP2 00000401: DUP2 00000402: SLOAD 00000403: DUP2 00000404: LT 00000405: ISZERO 00000406: ISZERO 00000407: PUSH2 0x040c 0000040a: JUMPI 0000040b: INVALID 0000040c: JUMPDEST 0000040d: SWAP1 0000040e: PUSH1 0x00 00000410: MSTORE 00000411: PUSH1 0x20 00000413: PUSH1 0x00 00000415: KECCAK256 00000416: ADD 00000417: PUSH1 0x00 00000419: SWAP2 0000041a: POP 0000041b: SLOAD 0000041c: SWAP1 0000041d: PUSH2 0x0100 00000420: EXP 00000421: SWAP1 00000422: DIV 00000423: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000438: AND 00000439: DUP2 0000043a: JUMP 0000043b: JUMPDEST 0000043c: PUSH1 0x00 0000043e: DUP1 0000043f: PUSH1 0x00 00000441: SWAP1 00000442: POP 00000443: JUMPDEST 00000444: PUSH1 0x00 00000446: DUP1 00000447: SLOAD 00000448: SWAP1 00000449: POP 0000044a: DUP2 0000044b: LT 0000044c: ISZERO 0000044d: PUSH2 0x04d3 00000450: JUMPI 00000451: DUP3 00000452: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000467: AND 00000468: PUSH1 0x00 0000046a: DUP3 0000046b: DUP2 0000046c: SLOAD 0000046d: DUP2 0000046e: LT 0000046f: ISZERO 00000470: ISZERO 00000471: PUSH2 0x0476 00000474: JUMPI 00000475: INVALID 00000476: JUMPDEST 00000477: SWAP1 00000478: PUSH1 0x00 0000047a: MSTORE 0000047b: PUSH1 0x20 0000047d: PUSH1 0x00 0000047f: KECCAK256 00000480: ADD 00000481: PUSH1 0x00 00000483: SWAP1 00000484: SLOAD 00000485: SWAP1 00000486: PUSH2 0x0100 00000489: EXP 0000048a: SWAP1 0000048b: DIV 0000048c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004a1: AND 000004a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004b7: AND 000004b8: EQ 000004b9: ISZERO 000004ba: PUSH2 0x04c6 000004bd: JUMPI 000004be: PUSH1 0x01 000004c0: SWAP2 000004c1: POP 000004c2: PUSH2 0x04d8 000004c5: JUMP 000004c6: JUMPDEST 000004c7: DUP1 000004c8: DUP1 000004c9: PUSH1 0x01 000004cb: ADD 000004cc: SWAP2 000004cd: POP 000004ce: POP 000004cf: PUSH2 0x0443 000004d2: JUMP 000004d3: JUMPDEST 000004d4: PUSH1 0x00 000004d6: SWAP2 000004d7: POP 000004d8: JUMPDEST 000004d9: POP 000004da: SWAP2 000004db: SWAP1 000004dc: POP 000004dd: JUMP 000004de: JUMPDEST 000004df: PUSH2 0x04e7 000004e2: CALLER 000004e3: PUSH2 0x043b 000004e6: JUMP 000004e7: JUMPDEST 000004e8: ISZERO 000004e9: ISZERO 000004ea: PUSH2 0x04f2 000004ed: JUMPI 000004ee: PUSH1 0x00 000004f0: DUP1 000004f1: REVERT 000004f2: JUMPDEST 000004f3: PUSH1 0x01 000004f5: DUP1 000004f6: PUSH1 0x00 000004f8: PUSH2 0x0100 000004fb: EXP 000004fc: DUP2 000004fd: SLOAD 000004fe: DUP2 000004ff: PUSH1 0xff 00000501: MUL 00000502: NOT 00000503: AND 00000504: SWAP1 00000505: DUP4 00000506: ISZERO 00000507: ISZERO 00000508: MUL 00000509: OR 0000050a: SWAP1 0000050b: SSTORE 0000050c: POP 0000050d: PUSH32 0xa7dab64e845898e416ea04214ebc8014aa6c3dff511bcd708bbfa64e1559d55e 0000052e: CALLER 0000052f: PUSH1 0x40 00000531: MLOAD 00000532: DUP1 00000533: DUP3 00000534: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000549: AND 0000054a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000055f: AND 00000560: DUP2 00000561: MSTORE 00000562: PUSH1 0x20 00000564: ADD 00000565: SWAP2 00000566: POP 00000567: POP 00000568: PUSH1 0x40 0000056a: MLOAD 0000056b: DUP1 0000056c: SWAP2 0000056d: SUB 0000056e: SWAP1 0000056f: LOG1 00000570: JUMP 00000571: JUMPDEST 00000572: PUSH1 0x00 00000574: DUP1 00000575: PUSH2 0x057d 00000578: CALLER 00000579: PUSH2 0x043b 0000057c: JUMP 0000057d: JUMPDEST 0000057e: ISZERO 0000057f: ISZERO 00000580: PUSH2 0x0588 00000583: JUMPI 00000584: PUSH1 0x00 00000586: DUP1 00000587: REVERT 00000588: JUMPDEST 00000589: DUP4 0000058a: DUP9 0000058b: DUP8 0000058c: DUP10 0000058d: DUP9 0000058e: PUSH1 0x40 00000590: MLOAD 00000591: PUSH1 0x20 00000593: ADD 00000594: DUP1 00000595: DUP1 00000596: PUSH32 0x4554484552000000000000000000000000000000000000000000000000000000 000005b7: DUP2 000005b8: MSTORE 000005b9: POP 000005ba: PUSH1 0x05 000005bc: ADD 000005bd: DUP7 000005be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005d3: AND 000005d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e9: AND 000005ea: PUSH13 0x01000000000000000000000000 000005f8: MUL 000005f9: DUP2 000005fa: MSTORE 000005fb: PUSH1 0x14 000005fd: ADD 000005fe: DUP6 000005ff: DUP2 00000600: MSTORE 00000601: PUSH1 0x20 00000603: ADD 00000604: DUP5 00000605: DUP1 00000606: MLOAD 00000607: SWAP1 00000608: PUSH1 0x20 0000060a: ADD 0000060b: SWAP1 0000060c: DUP1 0000060d: DUP4 0000060e: DUP4 0000060f: JUMPDEST 00000610: PUSH1 0x20 00000612: DUP4 00000613: LT 00000614: ISZERO 00000615: ISZERO 00000616: PUSH2 0x0634 00000619: JUMPI 0000061a: DUP1 0000061b: MLOAD 0000061c: DUP3 0000061d: MSTORE 0000061e: PUSH1 0x20 00000620: DUP3 00000621: ADD 00000622: SWAP2 00000623: POP 00000624: PUSH1 0x20 00000626: DUP2 00000627: ADD 00000628: SWAP1 00000629: POP 0000062a: PUSH1 0x20 0000062c: DUP4 0000062d: SUB 0000062e: SWAP3 0000062f: POP 00000630: PUSH2 0x060f 00000633: JUMP 00000634: JUMPDEST 00000635: PUSH1 0x01 00000637: DUP4 00000638: PUSH1 0x20 0000063a: SUB 0000063b: PUSH2 0x0100 0000063e: EXP 0000063f: SUB 00000640: DUP1 00000641: NOT 00000642: DUP3 00000643: MLOAD 00000644: AND 00000645: DUP2 00000646: DUP5 00000647: MLOAD 00000648: AND 00000649: DUP1 0000064a: DUP3 0000064b: OR 0000064c: DUP6 0000064d: MSTORE 0000064e: POP 0000064f: POP 00000650: POP 00000651: POP 00000652: POP 00000653: POP 00000654: SWAP1 00000655: POP 00000656: ADD 00000657: DUP4 00000658: DUP2 00000659: MSTORE 0000065a: PUSH1 0x20 0000065c: ADD 0000065d: DUP3 0000065e: DUP2 0000065f: MSTORE 00000660: PUSH1 0x20 00000662: ADD 00000663: SWAP6 00000664: POP 00000665: POP 00000666: POP 00000667: POP 00000668: POP 00000669: POP 0000066a: PUSH1 0x40 0000066c: MLOAD 0000066d: PUSH1 0x20 0000066f: DUP2 00000670: DUP4 00000671: SUB 00000672: SUB 00000673: DUP2 00000674: MSTORE 00000675: SWAP1 00000676: PUSH1 0x40 00000678: MSTORE 00000679: PUSH1 0x40 0000067b: MLOAD 0000067c: DUP1 0000067d: DUP3 0000067e: DUP1 0000067f: MLOAD 00000680: SWAP1 00000681: PUSH1 0x20 00000683: ADD 00000684: SWAP1 00000685: DUP1 00000686: DUP4 00000687: DUP4 00000688: JUMPDEST 00000689: PUSH1 0x20 0000068b: DUP4 0000068c: LT 0000068d: ISZERO 0000068e: ISZERO 0000068f: PUSH2 0x06ad 00000692: JUMPI 00000693: DUP1 00000694: MLOAD 00000695: DUP3 00000696: MSTORE 00000697: PUSH1 0x20 00000699: DUP3 0000069a: ADD 0000069b: SWAP2 0000069c: POP 0000069d: PUSH1 0x20 0000069f: DUP2 000006a0: ADD 000006a1: SWAP1 000006a2: POP 000006a3: PUSH1 0x20 000006a5: DUP4 000006a6: SUB 000006a7: SWAP3 000006a8: POP 000006a9: PUSH2 0x0688 000006ac: JUMP 000006ad: JUMPDEST 000006ae: PUSH1 0x01 000006b0: DUP4 000006b1: PUSH1 0x20 000006b3: SUB 000006b4: PUSH2 0x0100 000006b7: EXP 000006b8: SUB 000006b9: DUP1 000006ba: NOT 000006bb: DUP3 000006bc: MLOAD 000006bd: AND 000006be: DUP2 000006bf: DUP5 000006c0: MLOAD 000006c1: AND 000006c2: DUP1 000006c3: DUP3 000006c4: OR 000006c5: DUP6 000006c6: MSTORE 000006c7: POP 000006c8: POP 000006c9: POP 000006ca: POP 000006cb: POP 000006cc: POP 000006cd: SWAP1 000006ce: POP 000006cf: ADD 000006d0: SWAP2 000006d1: POP 000006d2: POP 000006d3: PUSH1 0x40 000006d5: MLOAD 000006d6: DUP1 000006d7: SWAP2 000006d8: SUB 000006d9: SWAP1 000006da: KECCAK256 000006db: SWAP2 000006dc: POP 000006dd: PUSH2 0x06e9 000006e0: DUP5 000006e1: DUP4 000006e2: DUP6 000006e3: DUP11 000006e4: DUP10 000006e5: PUSH2 0x0a97 000006e8: JUMP 000006e9: JUMPDEST 000006ea: SWAP1 000006eb: POP 000006ec: DUP4 000006ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000702: AND 00000703: PUSH2 0x08fc 00000706: DUP10 00000707: SWAP1 00000708: DUP2 00000709: ISZERO 0000070a: MUL 0000070b: SWAP1 0000070c: PUSH1 0x40 0000070e: MLOAD 0000070f: PUSH1 0x00 00000711: PUSH1 0x40 00000713: MLOAD 00000714: DUP1 00000715: DUP4 00000716: SUB 00000717: DUP2 00000718: DUP6 00000719: DUP9 0000071a: DUP9 0000071b: CALL 0000071c: SWAP4 0000071d: POP 0000071e: POP 0000071f: POP 00000720: POP 00000721: ISZERO 00000722: ISZERO 00000723: PUSH2 0x072b 00000726: JUMPI 00000727: PUSH1 0x00 00000729: DUP1 0000072a: REVERT 0000072b: JUMPDEST 0000072c: PUSH32 0xd00dde70ab4635be4f88c39a53a7c224c66333926c14ca4f30b9570ccd880ea1 0000074d: CALLER 0000074e: DUP6 0000074f: DUP4 00000750: DUP10 00000751: DUP13 00000752: DUP8 00000753: PUSH1 0x40 00000755: MLOAD 00000756: DUP1 00000757: DUP8 00000758: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000076d: AND 0000076e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000783: AND 00000784: DUP2 00000785: MSTORE 00000786: PUSH1 0x20 00000788: ADD 00000789: DUP7 0000078a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000079f: AND 000007a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007b5: AND 000007b6: DUP2 000007b7: MSTORE 000007b8: PUSH1 0x20 000007ba: ADD 000007bb: DUP6 000007bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007d1: AND 000007d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007e7: AND 000007e8: DUP2 000007e9: MSTORE 000007ea: PUSH1 0x20 000007ec: ADD 000007ed: DUP1 000007ee: PUSH1 0x20 000007f0: ADD 000007f1: DUP5 000007f2: DUP2 000007f3: MSTORE 000007f4: PUSH1 0x20 000007f6: ADD 000007f7: DUP4 000007f8: PUSH1 0x00 000007fa: NOT 000007fb: AND 000007fc: PUSH1 0x00 000007fe: NOT 000007ff: AND 00000800: DUP2 00000801: MSTORE 00000802: PUSH1 0x20 00000804: ADD 00000805: DUP3 00000806: DUP2 00000807: SUB 00000808: DUP3 00000809: MSTORE 0000080a: DUP6 0000080b: DUP2 0000080c: DUP2 0000080d: MLOAD 0000080e: DUP2 0000080f: MSTORE 00000810: PUSH1 0x20 00000812: ADD 00000813: SWAP2 00000814: POP 00000815: DUP1 00000816: MLOAD 00000817: SWAP1 00000818: PUSH1 0x20 0000081a: ADD 0000081b: SWAP1 0000081c: DUP1 0000081d: DUP4 0000081e: DUP4 0000081f: PUSH1 0x00 00000821: JUMPDEST 00000822: DUP4 00000823: DUP2 00000824: LT 00000825: ISZERO 00000826: PUSH2 0x083c 00000829: JUMPI 0000082a: DUP1 0000082b: DUP3 0000082c: ADD 0000082d: MLOAD 0000082e: DUP2 0000082f: DUP5 00000830: ADD 00000831: MSTORE 00000832: PUSH1 0x20 00000834: DUP2 00000835: ADD 00000836: SWAP1 00000837: POP 00000838: PUSH2 0x0821 0000083b: JUMP 0000083c: JUMPDEST 0000083d: POP 0000083e: POP 0000083f: POP 00000840: POP 00000841: SWAP1 00000842: POP 00000843: SWAP1 00000844: DUP2 00000845: ADD 00000846: SWAP1 00000847: PUSH1 0x1f 00000849: AND 0000084a: DUP1 0000084b: ISZERO 0000084c: PUSH2 0x0869 0000084f: JUMPI 00000850: DUP1 00000851: DUP3 00000852: SUB 00000853: DUP1 00000854: MLOAD 00000855: PUSH1 0x01 00000857: DUP4 00000858: PUSH1 0x20 0000085a: SUB 0000085b: PUSH2 0x0100 0000085e: EXP 0000085f: SUB 00000860: NOT 00000861: AND 00000862: DUP2 00000863: MSTORE 00000864: PUSH1 0x20 00000866: ADD 00000867: SWAP2 00000868: POP 00000869: JUMPDEST 0000086a: POP 0000086b: SWAP8 0000086c: POP 0000086d: POP 0000086e: POP 0000086f: POP 00000870: POP 00000871: POP 00000872: POP 00000873: POP 00000874: PUSH1 0x40 00000876: MLOAD 00000877: DUP1 00000878: SWAP2 00000879: SUB 0000087a: SWAP1 0000087b: LOG1 0000087c: POP 0000087d: POP 0000087e: POP 0000087f: POP 00000880: POP 00000881: POP 00000882: POP 00000883: POP 00000884: JUMP 00000885: JUMPDEST 00000886: PUSH1 0x00 00000888: PUSH2 0x0890 0000088b: CALLER 0000088c: PUSH2 0x043b 0000088f: JUMP 00000890: JUMPDEST 00000891: ISZERO 00000892: ISZERO 00000893: PUSH2 0x089b 00000896: JUMPI 00000897: PUSH1 0x00 00000899: DUP1 0000089a: REVERT 0000089b: JUMPDEST 0000089c: DUP4 0000089d: DUP8 0000089e: DUP5 0000089f: DUP9 000008a0: DUP9 000008a1: PUSH1 0x40 000008a3: MLOAD 000008a4: PUSH1 0x20 000008a6: ADD 000008a7: DUP1 000008a8: DUP1 000008a9: PUSH32 0x4552433230000000000000000000000000000000000000000000000000000000 000008ca: DUP2 000008cb: MSTORE 000008cc: POP 000008cd: PUSH1 0x05 000008cf: ADD 000008d0: DUP7 000008d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008e6: AND 000008e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008fc: AND 000008fd: PUSH13 0x01000000000000000000000000 0000090b: MUL 0000090c: DUP2 0000090d: MSTORE 0000090e: PUSH1 0x14 00000910: ADD 00000911: DUP6 00000912: DUP2 00000913: MSTORE 00000914: PUSH1 0x20 00000916: ADD 00000917: DUP5 00000918: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000092d: AND 0000092e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000943: AND 00000944: PUSH13 0x01000000000000000000000000 00000952: MUL 00000953: DUP2 00000954: MSTORE 00000955: PUSH1 0x14 00000957: ADD 00000958: DUP4 00000959: DUP2 0000095a: MSTORE 0000095b: PUSH1 0x20 0000095d: ADD 0000095e: DUP3 0000095f: DUP2 00000960: MSTORE 00000961: PUSH1 0x20 00000963: ADD 00000964: SWAP6 00000965: POP 00000966: POP 00000967: POP 00000968: POP 00000969: POP 0000096a: POP 0000096b: PUSH1 0x40 0000096d: MLOAD 0000096e: PUSH1 0x20 00000970: DUP2 00000971: DUP4 00000972: SUB 00000973: SUB 00000974: DUP2 00000975: MSTORE 00000976: SWAP1 00000977: PUSH1 0x40 00000979: MSTORE 0000097a: PUSH1 0x40 0000097c: MLOAD 0000097d: DUP1 0000097e: DUP3 0000097f: DUP1 00000980: MLOAD 00000981: SWAP1 00000982: PUSH1 0x20 00000984: ADD 00000985: SWAP1 00000986: DUP1 00000987: DUP4 00000988: DUP4 00000989: JUMPDEST 0000098a: PUSH1 0x20 0000098c: DUP4 0000098d: LT 0000098e: ISZERO 0000098f: ISZERO 00000990: PUSH2 0x09ae 00000993: JUMPI 00000994: DUP1 00000995: MLOAD 00000996: DUP3 00000997: MSTORE 00000998: PUSH1 0x20 0000099a: DUP3 0000099b: ADD 0000099c: SWAP2 0000099d: POP 0000099e: PUSH1 0x20 000009a0: DUP2 000009a1: ADD 000009a2: SWAP1 000009a3: POP 000009a4: PUSH1 0x20 000009a6: DUP4 000009a7: SUB 000009a8: SWAP3 000009a9: POP 000009aa: PUSH2 0x0989 000009ad: JUMP 000009ae: JUMPDEST 000009af: PUSH1 0x01 000009b1: DUP4 000009b2: PUSH1 0x20 000009b4: SUB 000009b5: PUSH2 0x0100 000009b8: EXP 000009b9: SUB 000009ba: DUP1 000009bb: NOT 000009bc: DUP3 000009bd: MLOAD 000009be: AND 000009bf: DUP2 000009c0: DUP5 000009c1: MLOAD 000009c2: AND 000009c3: DUP1 000009c4: DUP3 000009c5: OR 000009c6: DUP6 000009c7: MSTORE 000009c8: POP 000009c9: POP 000009ca: POP 000009cb: POP 000009cc: POP 000009cd: POP 000009ce: SWAP1 000009cf: POP 000009d0: ADD 000009d1: SWAP2 000009d2: POP 000009d3: POP 000009d4: PUSH1 0x40 000009d6: MLOAD 000009d7: DUP1 000009d8: SWAP2 000009d9: SUB 000009da: SWAP1 000009db: KECCAK256 000009dc: SWAP1 000009dd: POP 000009de: PUSH2 0x09ea 000009e1: DUP5 000009e2: DUP3 000009e3: DUP5 000009e4: DUP10 000009e5: DUP10 000009e6: PUSH2 0x0a97 000009e9: JUMP 000009ea: JUMPDEST 000009eb: POP 000009ec: PUSH2 0x0a16 000009ef: DUP5 000009f0: DUP9 000009f1: DUP6 000009f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a07: AND 00000a08: PUSH2 0x0b42 00000a0b: SWAP1 00000a0c: SWAP3 00000a0d: SWAP2 00000a0e: SWAP1 00000a0f: PUSH4 0xffffffff 00000a14: AND 00000a15: JUMP 00000a16: JUMPDEST 00000a17: ISZERO 00000a18: ISZERO 00000a19: PUSH2 0x0a21 00000a1c: JUMPI 00000a1d: PUSH1 0x00 00000a1f: DUP1 00000a20: REVERT 00000a21: JUMPDEST 00000a22: POP 00000a23: POP 00000a24: POP 00000a25: POP 00000a26: POP 00000a27: POP 00000a28: POP 00000a29: JUMP 00000a2a: JUMPDEST 00000a2b: PUSH1 0x00 00000a2d: DUP1 00000a2e: PUSH1 0x00 00000a30: DUP1 00000a31: SWAP2 00000a32: POP 00000a33: PUSH1 0x00 00000a35: SWAP1 00000a36: POP 00000a37: JUMPDEST 00000a38: PUSH1 0x0a 00000a3a: DUP2 00000a3b: LT 00000a3c: ISZERO 00000a3d: PUSH2 0x0a79 00000a40: JUMPI 00000a41: DUP2 00000a42: PUSH1 0x02 00000a44: DUP3 00000a45: PUSH1 0x0a 00000a47: DUP2 00000a48: LT 00000a49: ISZERO 00000a4a: ISZERO 00000a4b: PUSH2 0x0a50 00000a4e: JUMPI 00000a4f: INVALID 00000a50: JUMPDEST 00000a51: ADD 00000a52: SLOAD 00000a53: GT 00000a54: ISZERO 00000a55: PUSH2 0x0a6c 00000a58: JUMPI 00000a59: PUSH1 0x02 00000a5b: DUP2 00000a5c: PUSH1 0x0a 00000a5e: DUP2 00000a5f: LT 00000a60: ISZERO 00000a61: ISZERO 00000a62: PUSH2 0x0a67 00000a65: JUMPI 00000a66: INVALID 00000a67: JUMPDEST 00000a68: ADD 00000a69: SLOAD 00000a6a: SWAP2 00000a6b: POP 00000a6c: JUMPDEST 00000a6d: DUP1 00000a6e: DUP1 00000a6f: PUSH1 0x01 00000a71: ADD 00000a72: SWAP2 00000a73: POP 00000a74: POP 00000a75: PUSH2 0x0a37 00000a78: JUMP 00000a79: JUMPDEST 00000a7a: PUSH1 0x01 00000a7c: DUP3 00000a7d: ADD 00000a7e: SWAP3 00000a7f: POP 00000a80: POP 00000a81: POP 00000a82: SWAP1 00000a83: JUMP 00000a84: JUMPDEST 00000a85: PUSH1 0x01 00000a87: PUSH1 0x00 00000a89: SWAP1 00000a8a: SLOAD 00000a8b: SWAP1 00000a8c: PUSH2 0x0100 00000a8f: EXP 00000a90: SWAP1 00000a91: DIV 00000a92: PUSH1 0xff 00000a94: AND 00000a95: DUP2 00000a96: JUMP 00000a97: JUMPDEST 00000a98: PUSH1 0x00 00000a9a: DUP1 00000a9b: PUSH2 0x0aa4 00000a9e: DUP7 00000a9f: DUP7 00000aa0: PUSH2 0x0c6f 00000aa3: JUMP 00000aa4: JUMPDEST 00000aa5: SWAP1 00000aa6: POP 00000aa7: PUSH1 0x01 00000aa9: PUSH1 0x00 00000aab: SWAP1 00000aac: SLOAD 00000aad: SWAP1 00000aae: PUSH2 0x0100 00000ab1: EXP 00000ab2: SWAP1 00000ab3: DIV 00000ab4: PUSH1 0xff 00000ab6: AND 00000ab7: DUP1 00000ab8: ISZERO 00000ab9: PUSH2 0x0ac8 00000abc: JUMPI 00000abd: POP 00000abe: PUSH2 0x0ac6 00000ac1: DUP8 00000ac2: PUSH2 0x043b 00000ac5: JUMP 00000ac6: JUMPDEST 00000ac7: ISZERO 00000ac8: JUMPDEST 00000ac9: ISZERO 00000aca: PUSH2 0x0ad2 00000acd: JUMPI 00000ace: PUSH1 0x00 00000ad0: DUP1 00000ad1: REVERT 00000ad2: JUMPDEST 00000ad3: TIMESTAMP 00000ad4: DUP5 00000ad5: LT 00000ad6: ISZERO 00000ad7: PUSH2 0x0adf 00000ada: JUMPI 00000adb: PUSH1 0x00 00000add: DUP1 00000ade: REVERT 00000adf: JUMPDEST 00000ae0: PUSH2 0x0ae8 00000ae3: DUP4 00000ae4: PUSH2 0x0d3c 00000ae7: JUMP 00000ae8: JUMPDEST 00000ae9: PUSH2 0x0af1 00000aec: DUP2 00000aed: PUSH2 0x043b 00000af0: JUMP 00000af1: JUMPDEST 00000af2: ISZERO 00000af3: ISZERO 00000af4: PUSH2 0x0afc 00000af7: JUMPI 00000af8: PUSH1 0x00 00000afa: DUP1 00000afb: REVERT 00000afc: JUMPDEST 00000afd: CALLER 00000afe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b13: AND 00000b14: DUP2 00000b15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b2a: AND 00000b2b: EQ 00000b2c: ISZERO 00000b2d: PUSH2 0x0b35 00000b30: JUMPI 00000b31: PUSH1 0x00 00000b33: DUP1 00000b34: REVERT 00000b35: JUMPDEST 00000b36: DUP1 00000b37: SWAP2 00000b38: POP 00000b39: POP 00000b3a: SWAP6 00000b3b: SWAP5 00000b3c: POP 00000b3d: POP 00000b3e: POP 00000b3f: POP 00000b40: POP 00000b41: JUMP 00000b42: JUMPDEST 00000b43: PUSH1 0x00 00000b45: PUSH1 0x60 00000b47: PUSH1 0x00 00000b49: DUP5 00000b4a: DUP5 00000b4b: PUSH1 0x40 00000b4d: MLOAD 00000b4e: PUSH1 0x24 00000b50: ADD 00000b51: DUP1 00000b52: DUP4 00000b53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b68: AND 00000b69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b7e: AND 00000b7f: DUP2 00000b80: MSTORE 00000b81: PUSH1 0x20 00000b83: ADD 00000b84: DUP3 00000b85: DUP2 00000b86: MSTORE 00000b87: PUSH1 0x20 00000b89: ADD 00000b8a: SWAP3 00000b8b: POP 00000b8c: POP 00000b8d: POP 00000b8e: PUSH1 0x40 00000b90: MLOAD 00000b91: PUSH1 0x20 00000b93: DUP2 00000b94: DUP4 00000b95: SUB 00000b96: SUB 00000b97: DUP2 00000b98: MSTORE 00000b99: SWAP1 00000b9a: PUSH1 0x40 00000b9c: MSTORE 00000b9d: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00000bbe: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000bdb: NOT 00000bdc: AND 00000bdd: PUSH1 0x20 00000bdf: DUP3 00000be0: ADD 00000be1: DUP1 00000be2: MLOAD 00000be3: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000c00: DUP4 00000c01: DUP2 00000c02: DUP4 00000c03: AND 00000c04: OR 00000c05: DUP4 00000c06: MSTORE 00000c07: POP 00000c08: POP 00000c09: POP 00000c0a: POP 00000c0b: SWAP2 00000c0c: POP 00000c0d: DUP2 00000c0e: MLOAD 00000c0f: SWAP1 00000c10: POP 00000c11: PUSH1 0xff 00000c13: PUSH1 0x00 00000c15: MSTORE 00000c16: PUSH1 0x20 00000c18: PUSH1 0x00 00000c1a: DUP3 00000c1b: PUSH1 0x20 00000c1d: DUP6 00000c1e: ADD 00000c1f: PUSH1 0x00 00000c21: DUP11 00000c22: GAS 00000c23: CALL 00000c24: ISZERO 00000c25: ISZERO 00000c26: PUSH2 0x0c2e 00000c29: JUMPI 00000c2a: PUSH1 0x00 00000c2c: DUP1 00000c2d: REVERT 00000c2e: JUMPDEST 00000c2f: PUSH1 0x00 00000c31: MLOAD 00000c32: PUSH1 0xff 00000c34: DUP2 00000c35: EQ 00000c36: PUSH2 0x0c4e 00000c39: JUMPI 00000c3a: PUSH1 0x01 00000c3c: DUP2 00000c3d: EQ 00000c3e: PUSH2 0x0c57 00000c41: JUMPI 00000c42: PUSH1 0x00 00000c44: DUP2 00000c45: EQ 00000c46: PUSH2 0x0c60 00000c49: JUMPI 00000c4a: PUSH1 0x00 00000c4c: DUP1 00000c4d: REVERT 00000c4e: JUMPDEST 00000c4f: PUSH1 0x01 00000c51: SWAP4 00000c52: POP 00000c53: PUSH2 0x0c65 00000c56: JUMP 00000c57: JUMPDEST 00000c58: PUSH1 0x01 00000c5a: SWAP4 00000c5b: POP 00000c5c: PUSH2 0x0c65 00000c5f: JUMP 00000c60: JUMPDEST 00000c61: PUSH1 0x00 00000c63: SWAP4 00000c64: POP 00000c65: JUMPDEST 00000c66: POP 00000c67: POP 00000c68: POP 00000c69: SWAP4 00000c6a: SWAP3 00000c6b: POP 00000c6c: POP 00000c6d: POP 00000c6e: JUMP 00000c6f: JUMPDEST 00000c70: PUSH1 0x00 00000c72: DUP1 00000c73: PUSH1 0x00 00000c75: DUP1 00000c76: PUSH1 0x41 00000c78: DUP6 00000c79: MLOAD 00000c7a: EQ 00000c7b: ISZERO 00000c7c: ISZERO 00000c7d: PUSH2 0x0c85 00000c80: JUMPI 00000c81: PUSH1 0x00 00000c83: DUP1 00000c84: REVERT 00000c85: JUMPDEST 00000c86: PUSH1 0x20 00000c88: DUP6 00000c89: ADD 00000c8a: MLOAD 00000c8b: SWAP3 00000c8c: POP 00000c8d: PUSH1 0x40 00000c8f: DUP6 00000c90: ADD 00000c91: MLOAD 00000c92: SWAP2 00000c93: POP 00000c94: PUSH1 0xff 00000c96: PUSH1 0x41 00000c98: DUP7 00000c99: ADD 00000c9a: MLOAD 00000c9b: AND 00000c9c: SWAP1 00000c9d: POP 00000c9e: PUSH1 0x1b 00000ca0: DUP2 00000ca1: PUSH1 0xff 00000ca3: AND 00000ca4: LT 00000ca5: ISZERO 00000ca6: PUSH2 0x0cb0 00000ca9: JUMPI 00000caa: PUSH1 0x1b 00000cac: DUP2 00000cad: ADD 00000cae: SWAP1 00000caf: POP 00000cb0: JUMPDEST 00000cb1: PUSH1 0x01 00000cb3: DUP7 00000cb4: DUP3 00000cb5: DUP6 00000cb6: DUP6 00000cb7: PUSH1 0x40 00000cb9: MLOAD 00000cba: PUSH1 0x00 00000cbc: DUP2 00000cbd: MSTORE 00000cbe: PUSH1 0x20 00000cc0: ADD 00000cc1: PUSH1 0x40 00000cc3: MSTORE 00000cc4: PUSH1 0x40 00000cc6: MLOAD 00000cc7: DUP1 00000cc8: DUP6 00000cc9: PUSH1 0x00 00000ccb: NOT 00000ccc: AND 00000ccd: PUSH1 0x00 00000ccf: NOT 00000cd0: AND 00000cd1: DUP2 00000cd2: MSTORE 00000cd3: PUSH1 0x20 00000cd5: ADD 00000cd6: DUP5 00000cd7: PUSH1 0xff 00000cd9: AND 00000cda: PUSH1 0xff 00000cdc: AND 00000cdd: DUP2 00000cde: MSTORE 00000cdf: PUSH1 0x20 00000ce1: ADD 00000ce2: DUP4 00000ce3: PUSH1 0x00 00000ce5: NOT 00000ce6: AND 00000ce7: PUSH1 0x00 00000ce9: NOT 00000cea: AND 00000ceb: DUP2 00000cec: MSTORE 00000ced: PUSH1 0x20 00000cef: ADD 00000cf0: DUP3 00000cf1: PUSH1 0x00 00000cf3: NOT 00000cf4: AND 00000cf5: PUSH1 0x00 00000cf7: NOT 00000cf8: AND 00000cf9: DUP2 00000cfa: MSTORE 00000cfb: PUSH1 0x20 00000cfd: ADD 00000cfe: SWAP5 00000cff: POP 00000d00: POP 00000d01: POP 00000d02: POP 00000d03: POP 00000d04: PUSH1 0x20 00000d06: PUSH1 0x40 00000d08: MLOAD 00000d09: PUSH1 0x20 00000d0b: DUP2 00000d0c: SUB 00000d0d: SWAP1 00000d0e: DUP1 00000d0f: DUP5 00000d10: SUB 00000d11: SWAP1 00000d12: PUSH1 0x00 00000d14: DUP7 00000d15: GAS 00000d16: CALL 00000d17: ISZERO 00000d18: DUP1 00000d19: ISZERO 00000d1a: PUSH2 0x0d27 00000d1d: JUMPI 00000d1e: RETURNDATASIZE 00000d1f: PUSH1 0x00 00000d21: DUP1 00000d22: RETURNDATACOPY 00000d23: RETURNDATASIZE 00000d24: PUSH1 0x00 00000d26: REVERT 00000d27: JUMPDEST 00000d28: POP 00000d29: POP 00000d2a: POP 00000d2b: PUSH1 0x20 00000d2d: PUSH1 0x40 00000d2f: MLOAD 00000d30: SUB 00000d31: MLOAD 00000d32: SWAP4 00000d33: POP 00000d34: POP 00000d35: POP 00000d36: POP 00000d37: SWAP3 00000d38: SWAP2 00000d39: POP 00000d3a: POP 00000d3b: JUMP 00000d3c: JUMPDEST 00000d3d: PUSH1 0x00 00000d3f: DUP1 00000d40: PUSH2 0x0d48 00000d43: CALLER 00000d44: PUSH2 0x043b 00000d47: JUMP 00000d48: JUMPDEST 00000d49: ISZERO 00000d4a: ISZERO 00000d4b: PUSH2 0x0d53 00000d4e: JUMPI 00000d4f: PUSH1 0x00 00000d51: DUP1 00000d52: REVERT 00000d53: JUMPDEST 00000d54: PUSH1 0x00 00000d56: SWAP2 00000d57: POP 00000d58: PUSH1 0x00 00000d5a: SWAP1 00000d5b: POP 00000d5c: JUMPDEST 00000d5d: PUSH1 0x0a 00000d5f: DUP2 00000d60: LT 00000d61: ISZERO 00000d62: PUSH2 0x0dbb 00000d65: JUMPI 00000d66: DUP3 00000d67: PUSH1 0x02 00000d69: DUP3 00000d6a: PUSH1 0x0a 00000d6c: DUP2 00000d6d: LT 00000d6e: ISZERO 00000d6f: ISZERO 00000d70: PUSH2 0x0d75 00000d73: JUMPI 00000d74: INVALID 00000d75: JUMPDEST 00000d76: ADD 00000d77: SLOAD 00000d78: EQ 00000d79: ISZERO 00000d7a: PUSH2 0x0d82 00000d7d: JUMPI 00000d7e: PUSH1 0x00 00000d80: DUP1 00000d81: REVERT 00000d82: JUMPDEST 00000d83: PUSH1 0x02 00000d85: DUP3 00000d86: PUSH1 0x0a 00000d88: DUP2 00000d89: LT 00000d8a: ISZERO 00000d8b: ISZERO 00000d8c: PUSH2 0x0d91 00000d8f: JUMPI 00000d90: INVALID 00000d91: JUMPDEST 00000d92: ADD 00000d93: SLOAD 00000d94: PUSH1 0x02 00000d96: DUP3 00000d97: PUSH1 0x0a 00000d99: DUP2 00000d9a: LT 00000d9b: ISZERO 00000d9c: ISZERO 00000d9d: PUSH2 0x0da2 00000da0: JUMPI 00000da1: INVALID 00000da2: JUMPDEST 00000da3: ADD 00000da4: SLOAD 00000da5: LT 00000da6: ISZERO 00000da7: PUSH2 0x0dae 00000daa: JUMPI 00000dab: DUP1 00000dac: SWAP2 00000dad: POP 00000dae: JUMPDEST 00000daf: DUP1 00000db0: DUP1 00000db1: PUSH1 0x01 00000db3: ADD 00000db4: SWAP2 00000db5: POP 00000db6: POP 00000db7: PUSH2 0x0d5c 00000dba: JUMP 00000dbb: JUMPDEST 00000dbc: PUSH1 0x02 00000dbe: DUP3 00000dbf: PUSH1 0x0a 00000dc1: DUP2 00000dc2: LT 00000dc3: ISZERO 00000dc4: ISZERO 00000dc5: PUSH2 0x0dca 00000dc8: JUMPI 00000dc9: INVALID 00000dca: JUMPDEST 00000dcb: ADD 00000dcc: SLOAD 00000dcd: DUP4 00000dce: LT 00000dcf: ISZERO 00000dd0: PUSH2 0x0dd8 00000dd3: JUMPI 00000dd4: PUSH1 0x00 00000dd6: DUP1 00000dd7: REVERT 00000dd8: JUMPDEST 00000dd9: PUSH2 0x2710 00000ddc: PUSH1 0x02 00000dde: DUP4 00000ddf: PUSH1 0x0a 00000de1: DUP2 00000de2: LT 00000de3: ISZERO 00000de4: ISZERO 00000de5: PUSH2 0x0dea 00000de8: JUMPI 00000de9: INVALID 00000dea: JUMPDEST 00000deb: ADD 00000dec: SLOAD 00000ded: ADD 00000dee: DUP4 00000def: GT 00000df0: ISZERO 00000df1: PUSH2 0x0df9 00000df4: JUMPI 00000df5: PUSH1 0x00 00000df7: DUP1 00000df8: REVERT 00000df9: JUMPDEST 00000dfa: DUP3 00000dfb: PUSH1 0x02 00000dfd: DUP4 00000dfe: PUSH1 0x0a 00000e00: DUP2 00000e01: LT 00000e02: ISZERO 00000e03: ISZERO 00000e04: PUSH2 0x0e09 00000e07: JUMPI 00000e08: INVALID 00000e09: JUMPDEST 00000e0a: ADD 00000e0b: DUP2 00000e0c: SWAP1 00000e0d: SSTORE 00000e0e: POP 00000e0f: POP 00000e10: POP 00000e11: POP 00000e12: JUMP 00000e13: STOP 00000e14: LOG1 00000e15: PUSH6 0x627a7a723058 00000e1c: KECCAK256 00000e1d: UNKNOWN(0xD8) 00000e1e: UNKNOWN(0xF9) 00000e1f: UNKNOWN(0x2F) 00000e20: PUSH2 0x4b75 00000e23: UNKNOWN(0xE7) 00000e24: PUSH20 0xd337885bbc97e998403b7a2fdf83e5e0826716b7 00000e39: CALLCODE 00000e3a: GASPRICE 00000e3b: UNKNOWN(0xF7) 00000e3c: UNKNOWN(0xCF) 00000e3d: STOP 00000e3e: 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 |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xc167e4b9c38423e616c605f8cc14468e283cfc732a870674058c9077f5e6a77c
call_targets:
0xd793281182a0e3e023116004778f45c29fc14f19
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc167e4b9c38423e616c605f8cc14468e283cfc732a870674058c9077f5e6a77c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd793281182a0e3e023116004778f45c29fc14f19"
],
"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": "0x2079fb9a",
"selector": "0x2079fb9a",
"calldata_variants": [
"0x2079fb9a",
"0x2079fb9a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7df73e27",
"selector": "0x7df73e27",
"calldata_variants": [
"0x7df73e27",
"0x7df73e270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x959f9114",
"selector": "0x959f9114",
"calldata_variants": [
"0x959f9114",
"0x959f91140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x97f6c448",
"selector": "0x97f6c448",
"calldata_variants": [
"0x97f6c448",
"0x97f6c4480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x98f44b9a",
"selector": "0x98f44b9a",
"calldata_variants": [
"0x98f44b9a",
"0x98f44b9a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0b7967b",
"selector": "0xa0b7967b",
"calldata_variants": [
"0xa0b7967b",
"0xa0b7967b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xabe3219c",
"selector": "0xabe3219c",
"calldata_variants": [
"0xabe3219c",
"0xabe3219c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1819,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3107,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3350,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xc167e4b9c38423e616c605f8cc14468e283cfc732a870674058c9077f5e6a77c
call_targets:
0xd793281182a0e3e023116004778f45c29fc14f19
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc167e4b9c38423e616c605f8cc14468e283cfc732a870674058c9077f5e6a77c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd793281182a0e3e023116004778f45c29fc14f19"
],
"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": "0x2079fb9a",
"selector": "0x2079fb9a",
"calldata_variants": [
"0x2079fb9a",
"0x2079fb9a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7df73e27",
"selector": "0x7df73e27",
"calldata_variants": [
"0x7df73e27",
"0x7df73e270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x959f9114",
"selector": "0x959f9114",
"calldata_variants": [
"0x959f9114",
"0x959f91140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x97f6c448",
"selector": "0x97f6c448",
"calldata_variants": [
"0x97f6c448",
"0x97f6c4480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x98f44b9a",
"selector": "0x98f44b9a",
"calldata_variants": [
"0x98f44b9a",
"0x98f44b9a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0b7967b",
"selector": "0xa0b7967b",
"calldata_variants": [
"0xa0b7967b",
"0xa0b7967b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xabe3219c",
"selector": "0xabe3219c",
"calldata_variants": [
"0xabe3219c",
"0xabe3219c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1819,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3107,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3350,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|