019b3836-2188-7191-96a1-f8ff98aaa8f2
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 |
|---|---|---|---|---|
| 129 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 130 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 78271 | analysis.bundle | complete | 1 / 3 | 3 weeks ago |
| 78272 | capability.graph | complete | 1 / 3 | 3 weeks ago |
| 78273 | detector.run | complete | 1 / 3 | 3 weeks ago |
| 78274 | validation.fork | complete | 1 / 3 | 3 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x00e2 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: DUP1 0000002f: PUSH4 0x0de9cacd 00000034: EQ 00000035: PUSH2 0x00e4 00000038: JUMPI 00000039: DUP1 0000003a: PUSH4 0x24e26241 0000003f: EQ 00000040: PUSH2 0x00f1 00000043: JUMPI 00000044: DUP1 00000045: PUSH4 0x38aa6b7d 0000004a: EQ 0000004b: PUSH2 0x0104 0000004e: JUMPI 0000004f: DUP1 00000050: PUSH4 0x481c6a75 00000055: EQ 00000056: PUSH2 0x012b 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x4afdd0e7 00000060: EQ 00000061: PUSH2 0x0162 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x4e4f8289 0000006b: EQ 0000006c: PUSH2 0x0183 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x51cff8d9 00000076: EQ 00000077: PUSH2 0x01a4 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x5294010f 00000081: EQ 00000082: PUSH2 0x01b7 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x54fac919 0000008c: EQ 0000008d: PUSH2 0x01d8 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x978bbdb9 00000097: EQ 00000098: PUSH2 0x01e5 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0xbbd4e8c9 000000a2: EQ 000000a3: PUSH2 0x0206 000000a6: JUMPI 000000a7: DUP1 000000a8: PUSH4 0xbdc68113 000000ad: EQ 000000ae: PUSH2 0x0227 000000b1: JUMPI 000000b2: DUP1 000000b3: PUSH4 0xc600e1dc 000000b8: EQ 000000b9: PUSH2 0x024e 000000bc: JUMPI 000000bd: DUP1 000000be: PUSH4 0xd0e30db0 000000c3: EQ 000000c4: PUSH2 0x0275 000000c7: JUMPI 000000c8: DUP1 000000c9: PUSH4 0xd9607482 000000ce: EQ 000000cf: PUSH2 0x0282 000000d2: JUMPI 000000d3: DUP1 000000d4: PUSH4 0xf8b2cb4f 000000d9: EQ 000000da: PUSH2 0x02a3 000000dd: JUMPI 000000de: PUSH2 0x00e2 000000e1: JUMP 000000e2: JUMPDEST 000000e3: STOP 000000e4: JUMPDEST 000000e5: PUSH2 0x00ef 000000e8: PUSH1 0x04 000000ea: POP 000000eb: PUSH2 0x03b3 000000ee: JUMP 000000ef: JUMPDEST 000000f0: STOP 000000f1: JUMPDEST 000000f2: PUSH2 0x0102 000000f5: PUSH1 0x04 000000f7: DUP1 000000f8: CALLDATALOAD 000000f9: SWAP1 000000fa: PUSH1 0x20 000000fc: ADD 000000fd: POP 000000fe: PUSH2 0x0880 00000101: JUMP 00000102: JUMPDEST 00000103: STOP 00000104: JUMPDEST 00000105: PUSH2 0x0115 00000108: PUSH1 0x04 0000010a: DUP1 0000010b: CALLDATALOAD 0000010c: SWAP1 0000010d: PUSH1 0x20 0000010f: ADD 00000110: POP 00000111: PUSH2 0x05a8 00000114: JUMP 00000115: JUMPDEST 00000116: PUSH1 0x40 00000118: MLOAD 00000119: DUP1 0000011a: DUP3 0000011b: DUP2 0000011c: MSTORE 0000011d: PUSH1 0x20 0000011f: ADD 00000120: SWAP2 00000121: POP 00000122: POP 00000123: PUSH1 0x40 00000125: MLOAD 00000126: DUP1 00000127: SWAP2 00000128: SUB 00000129: SWAP1 0000012a: RETURN 0000012b: JUMPDEST 0000012c: PUSH2 0x0136 0000012f: PUSH1 0x04 00000131: POP 00000132: PUSH2 0x0e0a 00000135: JUMP 00000136: JUMPDEST 00000137: PUSH1 0x40 00000139: MLOAD 0000013a: DUP1 0000013b: DUP3 0000013c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000151: AND 00000152: DUP2 00000153: MSTORE 00000154: PUSH1 0x20 00000156: ADD 00000157: SWAP2 00000158: POP 00000159: POP 0000015a: PUSH1 0x40 0000015c: MLOAD 0000015d: DUP1 0000015e: SWAP2 0000015f: SUB 00000160: SWAP1 00000161: RETURN 00000162: JUMPDEST 00000163: PUSH2 0x016d 00000166: PUSH1 0x04 00000168: POP 00000169: PUSH2 0x03aa 0000016c: JUMP 0000016d: JUMPDEST 0000016e: PUSH1 0x40 00000170: MLOAD 00000171: DUP1 00000172: DUP3 00000173: DUP2 00000174: MSTORE 00000175: PUSH1 0x20 00000177: ADD 00000178: SWAP2 00000179: POP 0000017a: POP 0000017b: PUSH1 0x40 0000017d: MLOAD 0000017e: DUP1 0000017f: SWAP2 00000180: SUB 00000181: SWAP1 00000182: RETURN 00000183: JUMPDEST 00000184: PUSH2 0x018e 00000187: PUSH1 0x04 00000189: POP 0000018a: PUSH2 0x0de6 0000018d: JUMP 0000018e: JUMPDEST 0000018f: PUSH1 0x40 00000191: MLOAD 00000192: DUP1 00000193: DUP3 00000194: DUP2 00000195: MSTORE 00000196: PUSH1 0x20 00000198: ADD 00000199: SWAP2 0000019a: POP 0000019b: POP 0000019c: PUSH1 0x40 0000019e: MLOAD 0000019f: DUP1 000001a0: SWAP2 000001a1: SUB 000001a2: SWAP1 000001a3: RETURN 000001a4: JUMPDEST 000001a5: PUSH2 0x01b5 000001a8: PUSH1 0x04 000001aa: DUP1 000001ab: CALLDATALOAD 000001ac: SWAP1 000001ad: PUSH1 0x20 000001af: ADD 000001b0: POP 000001b1: PUSH2 0x0622 000001b4: JUMP 000001b5: JUMPDEST 000001b6: STOP 000001b7: JUMPDEST 000001b8: PUSH2 0x01c2 000001bb: PUSH1 0x04 000001bd: POP 000001be: PUSH2 0x0e01 000001c1: JUMP 000001c2: JUMPDEST 000001c3: PUSH1 0x40 000001c5: MLOAD 000001c6: DUP1 000001c7: DUP3 000001c8: DUP2 000001c9: MSTORE 000001ca: PUSH1 0x20 000001cc: ADD 000001cd: SWAP2 000001ce: POP 000001cf: POP 000001d0: PUSH1 0x40 000001d2: MLOAD 000001d3: DUP1 000001d4: SWAP2 000001d5: SUB 000001d6: SWAP1 000001d7: RETURN 000001d8: JUMPDEST 000001d9: PUSH2 0x01e3 000001dc: PUSH1 0x04 000001de: POP 000001df: PUSH2 0x0ab1 000001e2: JUMP 000001e3: JUMPDEST 000001e4: STOP 000001e5: JUMPDEST 000001e6: PUSH2 0x01f0 000001e9: PUSH1 0x04 000001eb: POP 000001ec: PUSH2 0x0ced 000001ef: JUMP 000001f0: JUMPDEST 000001f1: PUSH1 0x40 000001f3: MLOAD 000001f4: DUP1 000001f5: DUP3 000001f6: DUP2 000001f7: MSTORE 000001f8: PUSH1 0x20 000001fa: ADD 000001fb: SWAP2 000001fc: POP 000001fd: POP 000001fe: PUSH1 0x40 00000200: MLOAD 00000201: DUP1 00000202: SWAP2 00000203: SUB 00000204: SWAP1 00000205: RETURN 00000206: JUMPDEST 00000207: PUSH2 0x0211 0000020a: PUSH1 0x04 0000020c: POP 0000020d: PUSH2 0x0df8 00000210: JUMP 00000211: JUMPDEST 00000212: PUSH1 0x40 00000214: MLOAD 00000215: DUP1 00000216: DUP3 00000217: DUP2 00000218: MSTORE 00000219: PUSH1 0x20 0000021b: ADD 0000021c: SWAP2 0000021d: POP 0000021e: POP 0000021f: PUSH1 0x40 00000221: MLOAD 00000222: DUP1 00000223: SWAP2 00000224: SUB 00000225: SWAP1 00000226: RETURN 00000227: JUMPDEST 00000228: PUSH2 0x0238 0000022b: PUSH1 0x04 0000022d: DUP1 0000022e: CALLDATALOAD 0000022f: SWAP1 00000230: PUSH1 0x20 00000232: ADD 00000233: POP 00000234: PUSH2 0x0530 00000237: JUMP 00000238: JUMPDEST 00000239: PUSH1 0x40 0000023b: MLOAD 0000023c: DUP1 0000023d: DUP3 0000023e: DUP2 0000023f: MSTORE 00000240: PUSH1 0x20 00000242: ADD 00000243: SWAP2 00000244: POP 00000245: POP 00000246: PUSH1 0x40 00000248: MLOAD 00000249: DUP1 0000024a: SWAP2 0000024b: SUB 0000024c: SWAP1 0000024d: RETURN 0000024e: JUMPDEST 0000024f: PUSH2 0x025f 00000252: PUSH1 0x04 00000254: DUP1 00000255: CALLDATALOAD 00000256: SWAP1 00000257: PUSH1 0x20 00000259: ADD 0000025a: POP 0000025b: PUSH2 0x0d6e 0000025e: JUMP 0000025f: JUMPDEST 00000260: PUSH1 0x40 00000262: MLOAD 00000263: DUP1 00000264: DUP3 00000265: DUP2 00000266: MSTORE 00000267: PUSH1 0x20 00000269: ADD 0000026a: SWAP2 0000026b: POP 0000026c: POP 0000026d: PUSH1 0x40 0000026f: MLOAD 00000270: DUP1 00000271: SWAP2 00000272: SUB 00000273: SWAP1 00000274: RETURN 00000275: JUMPDEST 00000276: PUSH2 0x0280 00000279: PUSH1 0x04 0000027b: POP 0000027c: PUSH2 0x02ca 0000027f: JUMP 00000280: JUMPDEST 00000281: STOP 00000282: JUMPDEST 00000283: PUSH2 0x028d 00000286: PUSH1 0x04 00000288: POP 00000289: PUSH2 0x0def 0000028c: JUMP 0000028d: JUMPDEST 0000028e: PUSH1 0x40 00000290: MLOAD 00000291: DUP1 00000292: DUP3 00000293: DUP2 00000294: MSTORE 00000295: PUSH1 0x20 00000297: ADD 00000298: SWAP2 00000299: POP 0000029a: POP 0000029b: PUSH1 0x40 0000029d: MLOAD 0000029e: DUP1 0000029f: SWAP2 000002a0: SUB 000002a1: SWAP1 000002a2: RETURN 000002a3: JUMPDEST 000002a4: PUSH2 0x02b4 000002a7: PUSH1 0x04 000002a9: DUP1 000002aa: CALLDATALOAD 000002ab: SWAP1 000002ac: PUSH1 0x20 000002ae: ADD 000002af: POP 000002b0: PUSH2 0x0cf6 000002b3: JUMP 000002b4: JUMPDEST 000002b5: PUSH1 0x40 000002b7: MLOAD 000002b8: DUP1 000002b9: DUP3 000002ba: DUP2 000002bb: MSTORE 000002bc: PUSH1 0x20 000002be: ADD 000002bf: SWAP2 000002c0: POP 000002c1: POP 000002c2: PUSH1 0x40 000002c4: MLOAD 000002c5: DUP1 000002c6: SWAP2 000002c7: SUB 000002c8: SWAP1 000002c9: RETURN 000002ca: JUMPDEST 000002cb: PUSH1 0x07 000002cd: PUSH1 0x00 000002cf: DUP2 000002d0: DUP2 000002d1: POP 000002d2: SLOAD 000002d3: PUSH1 0x01 000002d5: ADD 000002d6: SWAP2 000002d7: SWAP1 000002d8: POP 000002d9: DUP2 000002da: SWAP1 000002db: SSTORE 000002dc: POP 000002dd: TIMESTAMP 000002de: PUSH1 0x05 000002e0: PUSH1 0x00 000002e2: POP 000002e3: DUP2 000002e4: SWAP1 000002e5: SSTORE 000002e6: POP 000002e7: PUSH1 0x05 000002e9: PUSH1 0x00 000002eb: POP 000002ec: SLOAD 000002ed: PUSH1 0x0b 000002ef: PUSH1 0x00 000002f1: POP 000002f2: PUSH1 0x00 000002f4: CALLER 000002f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000030a: AND 0000030b: DUP2 0000030c: MSTORE 0000030d: PUSH1 0x20 0000030f: ADD 00000310: SWAP1 00000311: DUP2 00000312: MSTORE 00000313: PUSH1 0x20 00000315: ADD 00000316: PUSH1 0x00 00000318: KECCAK256 00000319: PUSH1 0x00 0000031b: POP 0000031c: DUP2 0000031d: SWAP1 0000031e: SSTORE 0000031f: POP 00000320: CALLER 00000321: PUSH1 0x0e 00000323: PUSH1 0x00 00000325: POP 00000326: PUSH1 0x00 00000328: PUSH1 0x07 0000032a: PUSH1 0x00 0000032c: POP 0000032d: SLOAD 0000032e: DUP2 0000032f: MSTORE 00000330: PUSH1 0x20 00000332: ADD 00000333: SWAP1 00000334: DUP2 00000335: MSTORE 00000336: PUSH1 0x20 00000338: ADD 00000339: PUSH1 0x00 0000033b: KECCAK256 0000033c: PUSH1 0x00 0000033e: PUSH2 0x0100 00000341: EXP 00000342: DUP2 00000343: SLOAD 00000344: DUP2 00000345: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000035a: MUL 0000035b: NOT 0000035c: AND 0000035d: SWAP1 0000035e: DUP4 0000035f: MUL 00000360: OR 00000361: SWAP1 00000362: SSTORE 00000363: POP 00000364: CALLVALUE 00000365: PUSH1 0x0a 00000367: PUSH1 0x00 00000369: POP 0000036a: PUSH1 0x00 0000036c: CALLER 0000036d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000382: AND 00000383: DUP2 00000384: MSTORE 00000385: PUSH1 0x20 00000387: ADD 00000388: SWAP1 00000389: DUP2 0000038a: MSTORE 0000038b: PUSH1 0x20 0000038d: ADD 0000038e: PUSH1 0x00 00000390: KECCAK256 00000391: PUSH1 0x00 00000393: DUP3 00000394: DUP3 00000395: DUP3 00000396: POP 00000397: SLOAD 00000398: ADD 00000399: SWAP3 0000039a: POP 0000039b: POP 0000039c: DUP2 0000039d: SWAP1 0000039e: SSTORE 0000039f: POP 000003a0: PUSH2 0x03a7 000003a3: PUSH2 0x03b3 000003a6: JUMP 000003a7: JUMPDEST 000003a8: JUMPDEST 000003a9: JUMP 000003aa: JUMPDEST 000003ab: PUSH1 0x03 000003ad: PUSH1 0x00 000003af: POP 000003b0: SLOAD 000003b1: DUP2 000003b2: JUMP 000003b3: JUMPDEST 000003b4: PUSH1 0x00 000003b6: PUSH1 0x00 000003b8: SWAP1 000003b9: POP 000003ba: JUMPDEST 000003bb: PUSH1 0x07 000003bd: PUSH1 0x00 000003bf: POP 000003c0: SLOAD 000003c1: DUP2 000003c2: LT 000003c3: ISZERO 000003c4: PUSH2 0x052c 000003c7: JUMPI 000003c8: PUSH1 0x06 000003ca: PUSH1 0x00 000003cc: POP 000003cd: SLOAD 000003ce: PUSH1 0x0b 000003d0: PUSH1 0x00 000003d2: POP 000003d3: PUSH1 0x00 000003d5: PUSH1 0x0e 000003d7: PUSH1 0x00 000003d9: POP 000003da: PUSH1 0x00 000003dc: DUP6 000003dd: DUP2 000003de: MSTORE 000003df: PUSH1 0x20 000003e1: ADD 000003e2: SWAP1 000003e3: DUP2 000003e4: MSTORE 000003e5: PUSH1 0x20 000003e7: ADD 000003e8: PUSH1 0x00 000003ea: KECCAK256 000003eb: PUSH1 0x00 000003ed: SWAP1 000003ee: SLOAD 000003ef: SWAP1 000003f0: PUSH2 0x0100 000003f3: EXP 000003f4: SWAP1 000003f5: DIV 000003f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000040b: AND 0000040c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000421: AND 00000422: DUP2 00000423: MSTORE 00000424: PUSH1 0x20 00000426: ADD 00000427: SWAP1 00000428: DUP2 00000429: MSTORE 0000042a: PUSH1 0x20 0000042c: ADD 0000042d: PUSH1 0x00 0000042f: KECCAK256 00000430: PUSH1 0x00 00000432: POP 00000433: SLOAD 00000434: TIMESTAMP 00000435: SUB 00000436: LT 00000437: ISZERO 00000438: ISZERO 00000439: PUSH2 0x051e 0000043c: JUMPI 0000043d: PUSH1 0x64 0000043f: PUSH1 0x03 00000441: PUSH1 0x00 00000443: POP 00000444: SLOAD 00000445: PUSH1 0x0a 00000447: PUSH1 0x00 00000449: POP 0000044a: PUSH1 0x00 0000044c: PUSH1 0x0e 0000044e: PUSH1 0x00 00000450: POP 00000451: PUSH1 0x00 00000453: DUP7 00000454: DUP2 00000455: MSTORE 00000456: PUSH1 0x20 00000458: ADD 00000459: SWAP1 0000045a: DUP2 0000045b: MSTORE 0000045c: PUSH1 0x20 0000045e: ADD 0000045f: PUSH1 0x00 00000461: KECCAK256 00000462: PUSH1 0x00 00000464: SWAP1 00000465: SLOAD 00000466: SWAP1 00000467: PUSH2 0x0100 0000046a: EXP 0000046b: SWAP1 0000046c: DIV 0000046d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000482: AND 00000483: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000498: AND 00000499: DUP2 0000049a: MSTORE 0000049b: PUSH1 0x20 0000049d: ADD 0000049e: SWAP1 0000049f: DUP2 000004a0: MSTORE 000004a1: PUSH1 0x20 000004a3: ADD 000004a4: PUSH1 0x00 000004a6: KECCAK256 000004a7: PUSH1 0x00 000004a9: POP 000004aa: SLOAD 000004ab: MUL 000004ac: DIV 000004ad: PUSH1 0x0c 000004af: PUSH1 0x00 000004b1: POP 000004b2: PUSH1 0x00 000004b4: PUSH1 0x0e 000004b6: PUSH1 0x00 000004b8: POP 000004b9: PUSH1 0x00 000004bb: DUP6 000004bc: DUP2 000004bd: MSTORE 000004be: PUSH1 0x20 000004c0: ADD 000004c1: SWAP1 000004c2: DUP2 000004c3: MSTORE 000004c4: PUSH1 0x20 000004c6: ADD 000004c7: PUSH1 0x00 000004c9: KECCAK256 000004ca: PUSH1 0x00 000004cc: SWAP1 000004cd: SLOAD 000004ce: SWAP1 000004cf: PUSH2 0x0100 000004d2: EXP 000004d3: SWAP1 000004d4: DIV 000004d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004ea: AND 000004eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000500: AND 00000501: DUP2 00000502: MSTORE 00000503: PUSH1 0x20 00000505: ADD 00000506: SWAP1 00000507: DUP2 00000508: MSTORE 00000509: PUSH1 0x20 0000050b: ADD 0000050c: PUSH1 0x00 0000050e: KECCAK256 0000050f: PUSH1 0x00 00000511: DUP3 00000512: DUP3 00000513: DUP3 00000514: POP 00000515: SLOAD 00000516: ADD 00000517: SWAP3 00000518: POP 00000519: POP 0000051a: DUP2 0000051b: SWAP1 0000051c: SSTORE 0000051d: POP 0000051e: JUMPDEST 0000051f: JUMPDEST 00000520: DUP1 00000521: PUSH1 0x01 00000523: ADD 00000524: SWAP1 00000525: POP 00000526: DUP1 00000527: POP 00000528: PUSH2 0x03ba 0000052b: JUMP 0000052c: JUMPDEST 0000052d: JUMPDEST 0000052e: POP 0000052f: JUMP 00000530: JUMPDEST 00000531: PUSH1 0x00 00000533: DUP2 00000534: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000549: AND 0000054a: CALLER 0000054b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000560: AND 00000561: EQ 00000562: ISZERO 00000563: ISZERO 00000564: PUSH2 0x056c 00000567: JUMPI 00000568: PUSH2 0x05a3 0000056b: JUMP 0000056c: JUMPDEST 0000056d: PUSH1 0x0c 0000056f: PUSH1 0x00 00000571: POP 00000572: PUSH1 0x00 00000574: DUP4 00000575: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000058a: AND 0000058b: DUP2 0000058c: MSTORE 0000058d: PUSH1 0x20 0000058f: ADD 00000590: SWAP1 00000591: DUP2 00000592: MSTORE 00000593: PUSH1 0x20 00000595: ADD 00000596: PUSH1 0x00 00000598: KECCAK256 00000599: PUSH1 0x00 0000059b: POP 0000059c: SLOAD 0000059d: SWAP1 0000059e: POP 0000059f: PUSH2 0x05a3 000005a2: JUMP 000005a3: JUMPDEST 000005a4: SWAP2 000005a5: SWAP1 000005a6: POP 000005a7: JUMP 000005a8: JUMPDEST 000005a9: PUSH1 0x00 000005ab: DUP2 000005ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005c1: AND 000005c2: CALLER 000005c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005d8: AND 000005d9: EQ 000005da: ISZERO 000005db: ISZERO 000005dc: PUSH2 0x05e4 000005df: JUMPI 000005e0: PUSH2 0x061d 000005e3: JUMP 000005e4: JUMPDEST 000005e5: PUSH1 0x0b 000005e7: PUSH1 0x00 000005e9: POP 000005ea: PUSH1 0x00 000005ec: DUP4 000005ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000602: AND 00000603: DUP2 00000604: MSTORE 00000605: PUSH1 0x20 00000607: ADD 00000608: SWAP1 00000609: DUP2 0000060a: MSTORE 0000060b: PUSH1 0x20 0000060d: ADD 0000060e: PUSH1 0x00 00000610: KECCAK256 00000611: PUSH1 0x00 00000613: POP 00000614: SLOAD 00000615: TIMESTAMP 00000616: SUB 00000617: SWAP1 00000618: POP 00000619: PUSH2 0x061d 0000061c: JUMP 0000061d: JUMPDEST 0000061e: SWAP2 0000061f: SWAP1 00000620: POP 00000621: JUMP 00000622: JUMPDEST 00000623: DUP1 00000624: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000639: AND 0000063a: CALLER 0000063b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000650: AND 00000651: EQ 00000652: ISZERO 00000653: ISZERO 00000654: PUSH2 0x065c 00000657: JUMPI 00000658: PUSH2 0x087d 0000065b: JUMP 0000065c: JUMPDEST 0000065d: PUSH1 0x06 0000065f: PUSH1 0x00 00000661: POP 00000662: SLOAD 00000663: PUSH1 0x0b 00000665: PUSH1 0x00 00000667: POP 00000668: PUSH1 0x00 0000066a: DUP4 0000066b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000680: AND 00000681: DUP2 00000682: MSTORE 00000683: PUSH1 0x20 00000685: ADD 00000686: SWAP1 00000687: DUP2 00000688: MSTORE 00000689: PUSH1 0x20 0000068b: ADD 0000068c: PUSH1 0x00 0000068e: KECCAK256 0000068f: PUSH1 0x00 00000691: POP 00000692: SLOAD 00000693: TIMESTAMP 00000694: SUB 00000695: LT 00000696: ISZERO 00000697: ISZERO 00000698: PUSH2 0x087c 0000069b: JUMPI 0000069c: PUSH1 0x64 0000069e: PUSH1 0x04 000006a0: PUSH1 0x00 000006a2: POP 000006a3: SLOAD 000006a4: PUSH1 0x0d 000006a6: PUSH1 0x00 000006a8: POP 000006a9: PUSH1 0x00 000006ab: DUP5 000006ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006c1: AND 000006c2: DUP2 000006c3: MSTORE 000006c4: PUSH1 0x20 000006c6: ADD 000006c7: SWAP1 000006c8: DUP2 000006c9: MSTORE 000006ca: PUSH1 0x20 000006cc: ADD 000006cd: PUSH1 0x00 000006cf: KECCAK256 000006d0: PUSH1 0x00 000006d2: POP 000006d3: SLOAD 000006d4: MUL 000006d5: DIV 000006d6: PUSH1 0x01 000006d8: PUSH1 0x00 000006da: POP 000006db: DUP2 000006dc: SWAP1 000006dd: SSTORE 000006de: POP 000006df: PUSH1 0x01 000006e1: PUSH1 0x00 000006e3: POP 000006e4: SLOAD 000006e5: PUSH1 0x0d 000006e7: PUSH1 0x00 000006e9: POP 000006ea: PUSH1 0x00 000006ec: DUP4 000006ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000702: AND 00000703: DUP2 00000704: MSTORE 00000705: PUSH1 0x20 00000707: ADD 00000708: SWAP1 00000709: DUP2 0000070a: MSTORE 0000070b: PUSH1 0x20 0000070d: ADD 0000070e: PUSH1 0x00 00000710: KECCAK256 00000711: PUSH1 0x00 00000713: POP 00000714: SLOAD 00000715: SUB 00000716: PUSH1 0x02 00000718: PUSH1 0x00 0000071a: POP 0000071b: DUP2 0000071c: SWAP1 0000071d: SSTORE 0000071e: POP 0000071f: PUSH1 0x02 00000721: PUSH1 0x00 00000723: POP 00000724: SLOAD 00000725: PUSH1 0x0a 00000727: PUSH1 0x00 00000729: POP 0000072a: PUSH1 0x00 0000072c: DUP4 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: PUSH1 0x00 00000753: POP 00000754: SLOAD 00000755: ADD 00000756: ADDRESS 00000757: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000076c: AND 0000076d: BALANCE 0000076e: GT 0000076f: ISZERO 00000770: PUSH2 0x087b 00000773: JUMPI 00000774: CALLER 00000775: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000078a: AND 0000078b: PUSH1 0x00 0000078d: PUSH1 0x02 0000078f: PUSH1 0x00 00000791: POP 00000792: SLOAD 00000793: PUSH1 0x0a 00000795: PUSH1 0x00 00000797: POP 00000798: PUSH1 0x00 0000079a: DUP6 0000079b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007b0: AND 000007b1: DUP2 000007b2: MSTORE 000007b3: PUSH1 0x20 000007b5: ADD 000007b6: SWAP1 000007b7: DUP2 000007b8: MSTORE 000007b9: PUSH1 0x20 000007bb: ADD 000007bc: PUSH1 0x00 000007be: KECCAK256 000007bf: PUSH1 0x00 000007c1: POP 000007c2: SLOAD 000007c3: ADD 000007c4: PUSH1 0x40 000007c6: MLOAD 000007c7: DUP1 000007c8: SWAP1 000007c9: POP 000007ca: PUSH1 0x00 000007cc: PUSH1 0x40 000007ce: MLOAD 000007cf: DUP1 000007d0: DUP4 000007d1: SUB 000007d2: DUP2 000007d3: DUP6 000007d4: DUP9 000007d5: DUP9 000007d6: CALL 000007d7: SWAP4 000007d8: POP 000007d9: POP 000007da: POP 000007db: POP 000007dc: PUSH1 0x00 000007de: PUSH1 0x00 000007e0: PUSH2 0x0100 000007e3: EXP 000007e4: DUP2 000007e5: SLOAD 000007e6: DUP2 000007e7: PUSH1 0xff 000007e9: MUL 000007ea: NOT 000007eb: AND 000007ec: SWAP1 000007ed: DUP4 000007ee: MUL 000007ef: OR 000007f0: SWAP1 000007f1: SSTORE 000007f2: POP 000007f3: PUSH1 0x00 000007f5: PUSH1 0x00 000007f7: SWAP1 000007f8: SLOAD 000007f9: SWAP1 000007fa: PUSH2 0x0100 000007fd: EXP 000007fe: SWAP1 000007ff: DIV 00000800: PUSH1 0xff 00000802: AND 00000803: ISZERO 00000804: PUSH2 0x087a 00000807: JUMPI 00000808: PUSH1 0x00 0000080a: PUSH1 0x0d 0000080c: PUSH1 0x00 0000080e: POP 0000080f: PUSH1 0x00 00000811: DUP4 00000812: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000827: AND 00000828: DUP2 00000829: MSTORE 0000082a: PUSH1 0x20 0000082c: ADD 0000082d: SWAP1 0000082e: DUP2 0000082f: MSTORE 00000830: PUSH1 0x20 00000832: ADD 00000833: PUSH1 0x00 00000835: KECCAK256 00000836: PUSH1 0x00 00000838: POP 00000839: DUP2 0000083a: SWAP1 0000083b: SSTORE 0000083c: POP 0000083d: PUSH1 0x00 0000083f: PUSH1 0x0a 00000841: PUSH1 0x00 00000843: POP 00000844: PUSH1 0x00 00000846: DUP4 00000847: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000085c: AND 0000085d: DUP2 0000085e: MSTORE 0000085f: PUSH1 0x20 00000861: ADD 00000862: SWAP1 00000863: DUP2 00000864: MSTORE 00000865: PUSH1 0x20 00000867: ADD 00000868: PUSH1 0x00 0000086a: KECCAK256 0000086b: PUSH1 0x00 0000086d: POP 0000086e: DUP2 0000086f: SWAP1 00000870: SSTORE 00000871: POP 00000872: PUSH2 0x0879 00000875: PUSH2 0x03b3 00000878: JUMP 00000879: JUMPDEST 0000087a: JUMPDEST 0000087b: JUMPDEST 0000087c: JUMPDEST 0000087d: JUMPDEST 0000087e: POP 0000087f: JUMP 00000880: JUMPDEST 00000881: DUP1 00000882: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000897: AND 00000898: CALLER 00000899: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008ae: AND 000008af: EQ 000008b0: ISZERO 000008b1: ISZERO 000008b2: PUSH2 0x08ba 000008b5: JUMPI 000008b6: PUSH2 0x0aae 000008b9: JUMP 000008ba: JUMPDEST 000008bb: PUSH1 0x06 000008bd: PUSH1 0x00 000008bf: POP 000008c0: SLOAD 000008c1: PUSH1 0x0b 000008c3: PUSH1 0x00 000008c5: POP 000008c6: PUSH1 0x00 000008c8: DUP4 000008c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008de: AND 000008df: DUP2 000008e0: MSTORE 000008e1: PUSH1 0x20 000008e3: ADD 000008e4: SWAP1 000008e5: DUP2 000008e6: MSTORE 000008e7: PUSH1 0x20 000008e9: ADD 000008ea: PUSH1 0x00 000008ec: KECCAK256 000008ed: PUSH1 0x00 000008ef: POP 000008f0: SLOAD 000008f1: TIMESTAMP 000008f2: SUB 000008f3: LT 000008f4: ISZERO 000008f5: ISZERO 000008f6: PUSH2 0x0aad 000008f9: JUMPI 000008fa: PUSH1 0x64 000008fc: PUSH1 0x04 000008fe: PUSH1 0x00 00000900: POP 00000901: SLOAD 00000902: PUSH1 0x0d 00000904: PUSH1 0x00 00000906: POP 00000907: PUSH1 0x00 00000909: DUP5 0000090a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000091f: AND 00000920: DUP2 00000921: MSTORE 00000922: PUSH1 0x20 00000924: ADD 00000925: SWAP1 00000926: DUP2 00000927: MSTORE 00000928: PUSH1 0x20 0000092a: ADD 0000092b: PUSH1 0x00 0000092d: KECCAK256 0000092e: PUSH1 0x00 00000930: POP 00000931: SLOAD 00000932: MUL 00000933: DIV 00000934: PUSH1 0x01 00000936: PUSH1 0x00 00000938: POP 00000939: DUP2 0000093a: SWAP1 0000093b: SSTORE 0000093c: POP 0000093d: PUSH1 0x01 0000093f: PUSH1 0x00 00000941: POP 00000942: SLOAD 00000943: PUSH1 0x0d 00000945: PUSH1 0x00 00000947: POP 00000948: PUSH1 0x00 0000094a: DUP4 0000094b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000960: AND 00000961: DUP2 00000962: MSTORE 00000963: PUSH1 0x20 00000965: ADD 00000966: SWAP1 00000967: DUP2 00000968: MSTORE 00000969: PUSH1 0x20 0000096b: ADD 0000096c: PUSH1 0x00 0000096e: KECCAK256 0000096f: PUSH1 0x00 00000971: POP 00000972: SLOAD 00000973: SUB 00000974: PUSH1 0x02 00000976: PUSH1 0x00 00000978: POP 00000979: DUP2 0000097a: SWAP1 0000097b: SSTORE 0000097c: POP 0000097d: PUSH1 0x02 0000097f: PUSH1 0x00 00000981: POP 00000982: SLOAD 00000983: ADDRESS 00000984: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000999: AND 0000099a: BALANCE 0000099b: GT 0000099c: ISZERO 0000099d: PUSH2 0x0aac 000009a0: JUMPI 000009a1: CALLER 000009a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b7: AND 000009b8: PUSH1 0x00 000009ba: PUSH1 0x02 000009bc: PUSH1 0x00 000009be: POP 000009bf: SLOAD 000009c0: PUSH1 0x40 000009c2: MLOAD 000009c3: DUP1 000009c4: SWAP1 000009c5: POP 000009c6: PUSH1 0x00 000009c8: PUSH1 0x40 000009ca: MLOAD 000009cb: DUP1 000009cc: DUP4 000009cd: SUB 000009ce: DUP2 000009cf: DUP6 000009d0: DUP9 000009d1: DUP9 000009d2: CALL 000009d3: SWAP4 000009d4: POP 000009d5: POP 000009d6: POP 000009d7: POP 000009d8: PUSH1 0x00 000009da: PUSH1 0x00 000009dc: PUSH2 0x0100 000009df: EXP 000009e0: DUP2 000009e1: SLOAD 000009e2: DUP2 000009e3: PUSH1 0xff 000009e5: MUL 000009e6: NOT 000009e7: AND 000009e8: SWAP1 000009e9: DUP4 000009ea: MUL 000009eb: OR 000009ec: SWAP1 000009ed: SSTORE 000009ee: POP 000009ef: PUSH1 0x00 000009f1: PUSH1 0x00 000009f3: SWAP1 000009f4: SLOAD 000009f5: SWAP1 000009f6: PUSH2 0x0100 000009f9: EXP 000009fa: SWAP1 000009fb: DIV 000009fc: PUSH1 0xff 000009fe: AND 000009ff: ISZERO 00000a00: PUSH2 0x0aab 00000a03: JUMPI 00000a04: TIMESTAMP 00000a05: PUSH1 0x0b 00000a07: PUSH1 0x00 00000a09: POP 00000a0a: PUSH1 0x00 00000a0c: CALLER 00000a0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a22: AND 00000a23: DUP2 00000a24: MSTORE 00000a25: PUSH1 0x20 00000a27: ADD 00000a28: SWAP1 00000a29: DUP2 00000a2a: MSTORE 00000a2b: PUSH1 0x20 00000a2d: ADD 00000a2e: PUSH1 0x00 00000a30: KECCAK256 00000a31: PUSH1 0x00 00000a33: POP 00000a34: DUP2 00000a35: SWAP1 00000a36: SSTORE 00000a37: POP 00000a38: PUSH1 0x0d 00000a3a: PUSH1 0x00 00000a3c: POP 00000a3d: PUSH1 0x00 00000a3f: DUP3 00000a40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a55: AND 00000a56: DUP2 00000a57: MSTORE 00000a58: PUSH1 0x20 00000a5a: ADD 00000a5b: SWAP1 00000a5c: DUP2 00000a5d: MSTORE 00000a5e: PUSH1 0x20 00000a60: ADD 00000a61: PUSH1 0x00 00000a63: KECCAK256 00000a64: PUSH1 0x00 00000a66: POP 00000a67: SLOAD 00000a68: PUSH1 0x0d 00000a6a: PUSH1 0x00 00000a6c: POP 00000a6d: PUSH1 0x00 00000a6f: CALLER 00000a70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a85: AND 00000a86: DUP2 00000a87: MSTORE 00000a88: PUSH1 0x20 00000a8a: ADD 00000a8b: SWAP1 00000a8c: DUP2 00000a8d: MSTORE 00000a8e: PUSH1 0x20 00000a90: ADD 00000a91: PUSH1 0x00 00000a93: KECCAK256 00000a94: PUSH1 0x00 00000a96: DUP3 00000a97: DUP3 00000a98: DUP3 00000a99: POP 00000a9a: SLOAD 00000a9b: SUB 00000a9c: SWAP3 00000a9d: POP 00000a9e: POP 00000a9f: DUP2 00000aa0: SWAP1 00000aa1: SSTORE 00000aa2: POP 00000aa3: PUSH2 0x0aaa 00000aa6: PUSH2 0x03b3 00000aa9: JUMP 00000aaa: JUMPDEST 00000aab: JUMPDEST 00000aac: JUMPDEST 00000aad: JUMPDEST 00000aae: JUMPDEST 00000aaf: POP 00000ab0: JUMP 00000ab1: JUMPDEST 00000ab2: PUSH1 0x00 00000ab4: PUSH1 0x09 00000ab6: PUSH1 0x00 00000ab8: SWAP1 00000ab9: SLOAD 00000aba: SWAP1 00000abb: PUSH2 0x0100 00000abe: EXP 00000abf: SWAP1 00000ac0: DIV 00000ac1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ad6: AND 00000ad7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aec: AND 00000aed: CALLER 00000aee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b03: AND 00000b04: EQ 00000b05: ISZERO 00000b06: ISZERO 00000b07: PUSH2 0x0b0f 00000b0a: JUMPI 00000b0b: PUSH2 0x0cea 00000b0e: JUMP 00000b0f: JUMPDEST 00000b10: PUSH1 0x08 00000b12: PUSH1 0x00 00000b14: POP 00000b15: SLOAD 00000b16: PUSH1 0x05 00000b18: PUSH1 0x00 00000b1a: POP 00000b1b: SLOAD 00000b1c: TIMESTAMP 00000b1d: SUB 00000b1e: LT 00000b1f: ISZERO 00000b20: ISZERO 00000b21: PUSH2 0x0ce9 00000b24: JUMPI 00000b25: PUSH1 0x00 00000b27: SWAP1 00000b28: POP 00000b29: JUMPDEST 00000b2a: PUSH1 0x07 00000b2c: PUSH1 0x00 00000b2e: POP 00000b2f: SLOAD 00000b30: DUP2 00000b31: LT 00000b32: ISZERO 00000b33: PUSH2 0x0ce8 00000b36: JUMPI 00000b37: PUSH1 0x0e 00000b39: PUSH1 0x00 00000b3b: POP 00000b3c: PUSH1 0x00 00000b3e: DUP3 00000b3f: DUP2 00000b40: MSTORE 00000b41: PUSH1 0x20 00000b43: ADD 00000b44: SWAP1 00000b45: DUP2 00000b46: MSTORE 00000b47: PUSH1 0x20 00000b49: ADD 00000b4a: PUSH1 0x00 00000b4c: KECCAK256 00000b4d: PUSH1 0x00 00000b4f: SWAP1 00000b50: SLOAD 00000b51: SWAP1 00000b52: PUSH2 0x0100 00000b55: EXP 00000b56: SWAP1 00000b57: DIV 00000b58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b6d: AND 00000b6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b83: AND 00000b84: PUSH1 0x00 00000b86: PUSH1 0x0a 00000b88: PUSH1 0x00 00000b8a: POP 00000b8b: PUSH1 0x00 00000b8d: PUSH1 0x0e 00000b8f: PUSH1 0x00 00000b91: POP 00000b92: PUSH1 0x00 00000b94: DUP7 00000b95: DUP2 00000b96: MSTORE 00000b97: PUSH1 0x20 00000b99: ADD 00000b9a: SWAP1 00000b9b: DUP2 00000b9c: MSTORE 00000b9d: PUSH1 0x20 00000b9f: ADD 00000ba0: PUSH1 0x00 00000ba2: KECCAK256 00000ba3: PUSH1 0x00 00000ba5: SWAP1 00000ba6: SLOAD 00000ba7: SWAP1 00000ba8: PUSH2 0x0100 00000bab: EXP 00000bac: SWAP1 00000bad: DIV 00000bae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bc3: AND 00000bc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bd9: AND 00000bda: DUP2 00000bdb: MSTORE 00000bdc: PUSH1 0x20 00000bde: ADD 00000bdf: SWAP1 00000be0: DUP2 00000be1: MSTORE 00000be2: PUSH1 0x20 00000be4: ADD 00000be5: PUSH1 0x00 00000be7: KECCAK256 00000be8: PUSH1 0x00 00000bea: POP 00000beb: SLOAD 00000bec: PUSH1 0x40 00000bee: MLOAD 00000bef: DUP1 00000bf0: SWAP1 00000bf1: POP 00000bf2: PUSH1 0x00 00000bf4: PUSH1 0x40 00000bf6: MLOAD 00000bf7: DUP1 00000bf8: DUP4 00000bf9: SUB 00000bfa: DUP2 00000bfb: DUP6 00000bfc: DUP9 00000bfd: DUP9 00000bfe: CALL 00000bff: SWAP4 00000c00: POP 00000c01: POP 00000c02: POP 00000c03: POP 00000c04: POP 00000c05: PUSH1 0x00 00000c07: PUSH1 0x0a 00000c09: PUSH1 0x00 00000c0b: POP 00000c0c: PUSH1 0x00 00000c0e: PUSH1 0x0e 00000c10: PUSH1 0x00 00000c12: POP 00000c13: PUSH1 0x00 00000c15: DUP6 00000c16: DUP2 00000c17: MSTORE 00000c18: PUSH1 0x20 00000c1a: ADD 00000c1b: SWAP1 00000c1c: DUP2 00000c1d: MSTORE 00000c1e: PUSH1 0x20 00000c20: ADD 00000c21: PUSH1 0x00 00000c23: KECCAK256 00000c24: PUSH1 0x00 00000c26: SWAP1 00000c27: SLOAD 00000c28: SWAP1 00000c29: PUSH2 0x0100 00000c2c: EXP 00000c2d: SWAP1 00000c2e: DIV 00000c2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c44: AND 00000c45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c5a: AND 00000c5b: DUP2 00000c5c: MSTORE 00000c5d: PUSH1 0x20 00000c5f: ADD 00000c60: SWAP1 00000c61: DUP2 00000c62: MSTORE 00000c63: PUSH1 0x20 00000c65: ADD 00000c66: PUSH1 0x00 00000c68: KECCAK256 00000c69: PUSH1 0x00 00000c6b: POP 00000c6c: DUP2 00000c6d: SWAP1 00000c6e: SSTORE 00000c6f: POP 00000c70: PUSH1 0x00 00000c72: PUSH1 0x0d 00000c74: PUSH1 0x00 00000c76: POP 00000c77: PUSH1 0x00 00000c79: PUSH1 0x0e 00000c7b: PUSH1 0x00 00000c7d: POP 00000c7e: PUSH1 0x00 00000c80: DUP6 00000c81: DUP2 00000c82: MSTORE 00000c83: PUSH1 0x20 00000c85: ADD 00000c86: SWAP1 00000c87: DUP2 00000c88: MSTORE 00000c89: PUSH1 0x20 00000c8b: ADD 00000c8c: PUSH1 0x00 00000c8e: KECCAK256 00000c8f: PUSH1 0x00 00000c91: SWAP1 00000c92: SLOAD 00000c93: SWAP1 00000c94: PUSH2 0x0100 00000c97: EXP 00000c98: SWAP1 00000c99: DIV 00000c9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000caf: AND 00000cb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cc5: AND 00000cc6: DUP2 00000cc7: MSTORE 00000cc8: PUSH1 0x20 00000cca: ADD 00000ccb: SWAP1 00000ccc: DUP2 00000ccd: MSTORE 00000cce: PUSH1 0x20 00000cd0: ADD 00000cd1: PUSH1 0x00 00000cd3: KECCAK256 00000cd4: PUSH1 0x00 00000cd6: POP 00000cd7: DUP2 00000cd8: SWAP1 00000cd9: SSTORE 00000cda: POP 00000cdb: JUMPDEST 00000cdc: DUP1 00000cdd: PUSH1 0x01 00000cdf: ADD 00000ce0: SWAP1 00000ce1: POP 00000ce2: DUP1 00000ce3: POP 00000ce4: PUSH2 0x0b29 00000ce7: JUMP 00000ce8: JUMPDEST 00000ce9: JUMPDEST 00000cea: JUMPDEST 00000ceb: POP 00000cec: JUMP 00000ced: JUMPDEST 00000cee: PUSH1 0x04 00000cf0: PUSH1 0x00 00000cf2: POP 00000cf3: SLOAD 00000cf4: DUP2 00000cf5: JUMP 00000cf6: JUMPDEST 00000cf7: PUSH1 0x00 00000cf9: DUP2 00000cfa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d0f: AND 00000d10: CALLER 00000d11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d26: AND 00000d27: EQ 00000d28: ISZERO 00000d29: ISZERO 00000d2a: PUSH2 0x0d32 00000d2d: JUMPI 00000d2e: PUSH2 0x0d69 00000d31: JUMP 00000d32: JUMPDEST 00000d33: PUSH1 0x0a 00000d35: PUSH1 0x00 00000d37: POP 00000d38: PUSH1 0x00 00000d3a: DUP4 00000d3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d50: AND 00000d51: DUP2 00000d52: MSTORE 00000d53: PUSH1 0x20 00000d55: ADD 00000d56: SWAP1 00000d57: DUP2 00000d58: MSTORE 00000d59: PUSH1 0x20 00000d5b: ADD 00000d5c: PUSH1 0x00 00000d5e: KECCAK256 00000d5f: PUSH1 0x00 00000d61: POP 00000d62: SLOAD 00000d63: SWAP1 00000d64: POP 00000d65: PUSH2 0x0d69 00000d68: JUMP 00000d69: JUMPDEST 00000d6a: SWAP2 00000d6b: SWAP1 00000d6c: POP 00000d6d: JUMP 00000d6e: JUMPDEST 00000d6f: PUSH1 0x00 00000d71: DUP2 00000d72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d87: AND 00000d88: CALLER 00000d89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d9e: AND 00000d9f: EQ 00000da0: ISZERO 00000da1: ISZERO 00000da2: PUSH2 0x0daa 00000da5: JUMPI 00000da6: PUSH2 0x0de1 00000da9: JUMP 00000daa: JUMPDEST 00000dab: PUSH1 0x0d 00000dad: PUSH1 0x00 00000daf: POP 00000db0: PUSH1 0x00 00000db2: DUP4 00000db3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dc8: AND 00000dc9: DUP2 00000dca: MSTORE 00000dcb: PUSH1 0x20 00000dcd: ADD 00000dce: SWAP1 00000dcf: DUP2 00000dd0: MSTORE 00000dd1: PUSH1 0x20 00000dd3: ADD 00000dd4: PUSH1 0x00 00000dd6: KECCAK256 00000dd7: PUSH1 0x00 00000dd9: POP 00000dda: SLOAD 00000ddb: SWAP1 00000ddc: POP 00000ddd: PUSH2 0x0de1 00000de0: JUMP 00000de1: JUMPDEST 00000de2: SWAP2 00000de3: SWAP1 00000de4: POP 00000de5: JUMP 00000de6: JUMPDEST 00000de7: PUSH1 0x05 00000de9: PUSH1 0x00 00000deb: POP 00000dec: SLOAD 00000ded: DUP2 00000dee: JUMP 00000def: JUMPDEST 00000df0: PUSH1 0x06 00000df2: PUSH1 0x00 00000df4: POP 00000df5: SLOAD 00000df6: DUP2 00000df7: JUMP 00000df8: JUMPDEST 00000df9: PUSH1 0x07 00000dfb: PUSH1 0x00 00000dfd: POP 00000dfe: SLOAD 00000dff: DUP2 00000e00: JUMP 00000e01: JUMPDEST 00000e02: PUSH1 0x08 00000e04: PUSH1 0x00 00000e06: POP 00000e07: SLOAD 00000e08: DUP2 00000e09: JUMP 00000e0a: JUMPDEST 00000e0b: PUSH1 0x09 00000e0d: PUSH1 0x00 00000e0f: SWAP1 00000e10: SLOAD 00000e11: SWAP1 00000e12: PUSH2 0x0100 00000e15: EXP 00000e16: SWAP1 00000e17: DIV 00000e18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e2d: AND 00000e2e: DUP2 00000e2f: JUMP
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: 0x561139af5daa485b77e06ad54d6c795b8d780c7de39f3cdfb449fee9aae1393e
call_targets:
0xcd6e87cec637de407249b1a16574f344d2dee1aa
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x561139af5daa485b77e06ad54d6c795b8d780c7de39f3cdfb449fee9aae1393e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xcd6e87cec637de407249b1a16574f344d2dee1aa"
],
"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": "0x0de9cacd",
"selector": "0x0de9cacd",
"calldata_variants": [
"0x0de9cacd",
"0x0de9cacd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x24e26241",
"selector": "0x24e26241",
"calldata_variants": [
"0x24e26241",
"0x24e262410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38aa6b7d",
"selector": "0x38aa6b7d",
"calldata_variants": [
"0x38aa6b7d",
"0x38aa6b7d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x481c6a75",
"selector": "0x481c6a75",
"calldata_variants": [
"0x481c6a75",
"0x481c6a750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4afdd0e7",
"selector": "0x4afdd0e7",
"calldata_variants": [
"0x4afdd0e7",
"0x4afdd0e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e4f8289",
"selector": "0x4e4f8289",
"calldata_variants": [
"0x4e4f8289",
"0x4e4f82890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x51cff8d9",
"selector": "0x51cff8d9",
"calldata_variants": [
"0x51cff8d9",
"0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5294010f",
"selector": "0x5294010f",
"calldata_variants": [
"0x5294010f",
"0x5294010f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2006,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2514,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3070,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 1354,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1474,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1594,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2200,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2797,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3344,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3464,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x561139af5daa485b77e06ad54d6c795b8d780c7de39f3cdfb449fee9aae1393e
call_targets:
0xcd6e87cec637de407249b1a16574f344d2dee1aa
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x561139af5daa485b77e06ad54d6c795b8d780c7de39f3cdfb449fee9aae1393e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xcd6e87cec637de407249b1a16574f344d2dee1aa"
],
"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": "0x0de9cacd",
"selector": "0x0de9cacd",
"calldata_variants": [
"0x0de9cacd",
"0x0de9cacd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x24e26241",
"selector": "0x24e26241",
"calldata_variants": [
"0x24e26241",
"0x24e262410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38aa6b7d",
"selector": "0x38aa6b7d",
"calldata_variants": [
"0x38aa6b7d",
"0x38aa6b7d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x481c6a75",
"selector": "0x481c6a75",
"calldata_variants": [
"0x481c6a75",
"0x481c6a750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4afdd0e7",
"selector": "0x4afdd0e7",
"calldata_variants": [
"0x4afdd0e7",
"0x4afdd0e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e4f8289",
"selector": "0x4e4f8289",
"calldata_variants": [
"0x4e4f8289",
"0x4e4f82890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x51cff8d9",
"selector": "0x51cff8d9",
"calldata_variants": [
"0x51cff8d9",
"0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5294010f",
"selector": "0x5294010f",
"calldata_variants": [
"0x5294010f",
"0x5294010f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2006,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2514,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3070,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 1354,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1474,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1594,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2200,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2797,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3344,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3464,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|