019b477e-b7d1-7175-8a42-428d934a7c6f
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 |
|---|---|---|---|---|
| 23343 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 23344 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 66218 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 66219 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 66220 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 66221 | 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 0x00d0 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x1c5944cd 0000003c: EQ 0000003d: PUSH2 0x0173 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x2faadede 00000047: EQ 00000048: PUSH2 0x019c 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x3be08dab 00000052: EQ 00000053: PUSH2 0x01e9 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x3d18b912 0000005d: EQ 0000005e: PUSH2 0x0260 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x474e1dbd 00000068: EQ 00000069: PUSH2 0x0275 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x7c66c16b 00000073: EQ 00000074: PUSH2 0x02ae 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x7d96e49c 0000007e: EQ 0000007f: PUSH2 0x0303 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x8da5cb5b 00000089: EQ 0000008a: PUSH2 0x0358 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x913e77ad 00000094: EQ 00000095: PUSH2 0x03ad 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0xb69ef8a8 0000009f: EQ 000000a0: PUSH2 0x0402 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0xb8d7cf74 000000aa: EQ 000000ab: PUSH2 0x042b 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0xd9212deb 000000b5: EQ 000000b6: PUSH2 0x0472 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0xddca3f43 000000c0: EQ 000000c1: PUSH2 0x04b1 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0xf2fde38b 000000cb: EQ 000000cc: PUSH2 0x04da 000000cf: JUMPI 000000d0: JUMPDEST 000000d1: PUSH1 0x00 000000d3: CALLVALUE 000000d4: PUSH1 0x05 000000d6: PUSH1 0x00 000000d8: DUP3 000000d9: DUP3 000000da: SLOAD 000000db: ADD 000000dc: SWAP3 000000dd: POP 000000de: POP 000000df: DUP2 000000e0: SWAP1 000000e1: SSTORE 000000e2: POP 000000e3: PUSH10 0x152d02c7e14af6800000 000000ee: PUSH1 0x05 000000f0: SLOAD 000000f1: LT 000000f2: ISZERO 000000f3: ISZERO 000000f4: PUSH2 0x0170 000000f7: JUMPI 000000f8: PUSH1 0x0a 000000fa: PUSH1 0x03 000000fc: PUSH10 0x152d02c7e14af6800000 00000107: PUSH1 0x05 00000109: SLOAD 0000010a: SUB 0000010b: MUL 0000010c: DUP2 0000010d: ISZERO 0000010e: ISZERO 0000010f: PUSH2 0x0114 00000112: JUMPI 00000113: INVALID 00000114: JUMPDEST 00000115: DIV 00000116: SWAP1 00000117: POP 00000118: PUSH1 0x02 0000011a: PUSH1 0x00 0000011c: SWAP1 0000011d: SLOAD 0000011e: SWAP1 0000011f: PUSH2 0x0100 00000122: EXP 00000123: SWAP1 00000124: DIV 00000125: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000013a: AND 0000013b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000150: AND 00000151: PUSH2 0x08fc 00000154: DUP3 00000155: SWAP1 00000156: DUP2 00000157: ISZERO 00000158: MUL 00000159: SWAP1 0000015a: PUSH1 0x40 0000015c: MLOAD 0000015d: PUSH1 0x00 0000015f: PUSH1 0x40 00000161: MLOAD 00000162: DUP1 00000163: DUP4 00000164: SUB 00000165: DUP2 00000166: DUP6 00000167: DUP9 00000168: DUP9 00000169: CALL 0000016a: SWAP4 0000016b: POP 0000016c: POP 0000016d: POP 0000016e: POP 0000016f: POP 00000170: JUMPDEST 00000171: POP 00000172: STOP 00000173: JUMPDEST 00000174: CALLVALUE 00000175: ISZERO 00000176: PUSH2 0x017e 00000179: JUMPI 0000017a: PUSH1 0x00 0000017c: DUP1 0000017d: REVERT 0000017e: JUMPDEST 0000017f: PUSH2 0x0186 00000182: PUSH2 0x0513 00000185: JUMP 00000186: JUMPDEST 00000187: PUSH1 0x40 00000189: MLOAD 0000018a: DUP1 0000018b: DUP3 0000018c: DUP2 0000018d: MSTORE 0000018e: PUSH1 0x20 00000190: ADD 00000191: SWAP2 00000192: POP 00000193: POP 00000194: PUSH1 0x40 00000196: MLOAD 00000197: DUP1 00000198: SWAP2 00000199: SUB 0000019a: SWAP1 0000019b: RETURN 0000019c: JUMPDEST 0000019d: CALLVALUE 0000019e: ISZERO 0000019f: PUSH2 0x01a7 000001a2: JUMPI 000001a3: PUSH1 0x00 000001a5: DUP1 000001a6: REVERT 000001a7: JUMPDEST 000001a8: PUSH2 0x01d3 000001ab: PUSH1 0x04 000001ad: DUP1 000001ae: DUP1 000001af: CALLDATALOAD 000001b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001c5: AND 000001c6: SWAP1 000001c7: PUSH1 0x20 000001c9: ADD 000001ca: SWAP1 000001cb: SWAP2 000001cc: SWAP1 000001cd: POP 000001ce: POP 000001cf: PUSH2 0x0519 000001d2: JUMP 000001d3: JUMPDEST 000001d4: PUSH1 0x40 000001d6: MLOAD 000001d7: DUP1 000001d8: DUP3 000001d9: DUP2 000001da: MSTORE 000001db: PUSH1 0x20 000001dd: ADD 000001de: SWAP2 000001df: POP 000001e0: POP 000001e1: PUSH1 0x40 000001e3: MLOAD 000001e4: DUP1 000001e5: SWAP2 000001e6: SUB 000001e7: SWAP1 000001e8: RETURN 000001e9: JUMPDEST 000001ea: CALLVALUE 000001eb: ISZERO 000001ec: PUSH2 0x01f4 000001ef: JUMPI 000001f0: PUSH1 0x00 000001f2: DUP1 000001f3: REVERT 000001f4: JUMPDEST 000001f5: PUSH2 0x025e 000001f8: PUSH1 0x04 000001fa: DUP1 000001fb: DUP1 000001fc: CALLDATALOAD 000001fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000212: AND 00000213: SWAP1 00000214: PUSH1 0x20 00000216: ADD 00000217: SWAP1 00000218: SWAP2 00000219: SWAP1 0000021a: DUP1 0000021b: CALLDATALOAD 0000021c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000231: AND 00000232: SWAP1 00000233: PUSH1 0x20 00000235: ADD 00000236: SWAP1 00000237: SWAP2 00000238: SWAP1 00000239: DUP1 0000023a: CALLDATALOAD 0000023b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000250: AND 00000251: SWAP1 00000252: PUSH1 0x20 00000254: ADD 00000255: SWAP1 00000256: SWAP2 00000257: SWAP1 00000258: POP 00000259: POP 0000025a: PUSH2 0x0531 0000025d: JUMP 0000025e: JUMPDEST 0000025f: STOP 00000260: JUMPDEST 00000261: CALLVALUE 00000262: ISZERO 00000263: PUSH2 0x026b 00000266: JUMPI 00000267: PUSH1 0x00 00000269: DUP1 0000026a: REVERT 0000026b: JUMPDEST 0000026c: PUSH2 0x0273 0000026f: PUSH2 0x0654 00000272: JUMP 00000273: JUMPDEST 00000274: STOP 00000275: JUMPDEST 00000276: CALLVALUE 00000277: ISZERO 00000278: PUSH2 0x0280 0000027b: JUMPI 0000027c: PUSH1 0x00 0000027e: DUP1 0000027f: REVERT 00000280: JUMPDEST 00000281: PUSH2 0x02ac 00000284: PUSH1 0x04 00000286: DUP1 00000287: DUP1 00000288: CALLDATALOAD 00000289: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000029e: AND 0000029f: SWAP1 000002a0: PUSH1 0x20 000002a2: ADD 000002a3: SWAP1 000002a4: SWAP2 000002a5: SWAP1 000002a6: POP 000002a7: POP 000002a8: PUSH2 0x073f 000002ab: JUMP 000002ac: JUMPDEST 000002ad: STOP 000002ae: JUMPDEST 000002af: CALLVALUE 000002b0: ISZERO 000002b1: PUSH2 0x02b9 000002b4: JUMPI 000002b5: PUSH1 0x00 000002b7: DUP1 000002b8: REVERT 000002b9: JUMPDEST 000002ba: PUSH2 0x02c1 000002bd: PUSH2 0x085f 000002c0: JUMP 000002c1: JUMPDEST 000002c2: PUSH1 0x40 000002c4: MLOAD 000002c5: DUP1 000002c6: DUP3 000002c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002dc: AND 000002dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002f2: AND 000002f3: DUP2 000002f4: MSTORE 000002f5: PUSH1 0x20 000002f7: ADD 000002f8: SWAP2 000002f9: POP 000002fa: POP 000002fb: PUSH1 0x40 000002fd: MLOAD 000002fe: DUP1 000002ff: SWAP2 00000300: SUB 00000301: SWAP1 00000302: RETURN 00000303: JUMPDEST 00000304: CALLVALUE 00000305: ISZERO 00000306: PUSH2 0x030e 00000309: JUMPI 0000030a: PUSH1 0x00 0000030c: DUP1 0000030d: REVERT 0000030e: JUMPDEST 0000030f: PUSH2 0x0316 00000312: PUSH2 0x0885 00000315: JUMP 00000316: JUMPDEST 00000317: PUSH1 0x40 00000319: MLOAD 0000031a: DUP1 0000031b: DUP3 0000031c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000331: AND 00000332: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000347: AND 00000348: DUP2 00000349: MSTORE 0000034a: PUSH1 0x20 0000034c: ADD 0000034d: SWAP2 0000034e: POP 0000034f: POP 00000350: PUSH1 0x40 00000352: MLOAD 00000353: DUP1 00000354: SWAP2 00000355: SUB 00000356: SWAP1 00000357: RETURN 00000358: JUMPDEST 00000359: CALLVALUE 0000035a: ISZERO 0000035b: PUSH2 0x0363 0000035e: JUMPI 0000035f: PUSH1 0x00 00000361: DUP1 00000362: REVERT 00000363: JUMPDEST 00000364: PUSH2 0x036b 00000367: PUSH2 0x08ab 0000036a: JUMP 0000036b: JUMPDEST 0000036c: PUSH1 0x40 0000036e: MLOAD 0000036f: DUP1 00000370: DUP3 00000371: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000386: AND 00000387: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000039c: AND 0000039d: DUP2 0000039e: MSTORE 0000039f: PUSH1 0x20 000003a1: ADD 000003a2: SWAP2 000003a3: POP 000003a4: POP 000003a5: PUSH1 0x40 000003a7: MLOAD 000003a8: DUP1 000003a9: SWAP2 000003aa: SUB 000003ab: SWAP1 000003ac: RETURN 000003ad: JUMPDEST 000003ae: CALLVALUE 000003af: ISZERO 000003b0: PUSH2 0x03b8 000003b3: JUMPI 000003b4: PUSH1 0x00 000003b6: DUP1 000003b7: REVERT 000003b8: JUMPDEST 000003b9: PUSH2 0x03c0 000003bc: PUSH2 0x08d0 000003bf: JUMP 000003c0: JUMPDEST 000003c1: PUSH1 0x40 000003c3: MLOAD 000003c4: DUP1 000003c5: DUP3 000003c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003db: AND 000003dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003f1: AND 000003f2: DUP2 000003f3: MSTORE 000003f4: PUSH1 0x20 000003f6: ADD 000003f7: SWAP2 000003f8: POP 000003f9: POP 000003fa: PUSH1 0x40 000003fc: MLOAD 000003fd: DUP1 000003fe: SWAP2 000003ff: SUB 00000400: SWAP1 00000401: RETURN 00000402: JUMPDEST 00000403: CALLVALUE 00000404: ISZERO 00000405: PUSH2 0x040d 00000408: JUMPI 00000409: PUSH1 0x00 0000040b: DUP1 0000040c: REVERT 0000040d: JUMPDEST 0000040e: PUSH2 0x0415 00000411: PUSH2 0x08f6 00000414: JUMP 00000415: JUMPDEST 00000416: PUSH1 0x40 00000418: MLOAD 00000419: DUP1 0000041a: DUP3 0000041b: DUP2 0000041c: MSTORE 0000041d: PUSH1 0x20 0000041f: ADD 00000420: SWAP2 00000421: POP 00000422: POP 00000423: PUSH1 0x40 00000425: MLOAD 00000426: DUP1 00000427: SWAP2 00000428: SUB 00000429: SWAP1 0000042a: RETURN 0000042b: JUMPDEST 0000042c: CALLVALUE 0000042d: ISZERO 0000042e: PUSH2 0x0436 00000431: JUMPI 00000432: PUSH1 0x00 00000434: DUP1 00000435: REVERT 00000436: JUMPDEST 00000437: PUSH2 0x0470 0000043a: PUSH1 0x04 0000043c: DUP1 0000043d: DUP1 0000043e: PUSH2 0x0140 00000441: ADD 00000442: SWAP1 00000443: PUSH1 0x0a 00000445: DUP1 00000446: PUSH1 0x20 00000448: MUL 00000449: PUSH1 0x40 0000044b: MLOAD 0000044c: SWAP1 0000044d: DUP2 0000044e: ADD 0000044f: PUSH1 0x40 00000451: MSTORE 00000452: DUP1 00000453: SWAP3 00000454: SWAP2 00000455: SWAP1 00000456: DUP3 00000457: PUSH1 0x0a 00000459: PUSH1 0x20 0000045b: MUL 0000045c: DUP1 0000045d: DUP3 0000045e: DUP5 0000045f: CALLDATACOPY 00000460: DUP3 00000461: ADD 00000462: SWAP2 00000463: POP 00000464: POP 00000465: POP 00000466: POP 00000467: POP 00000468: SWAP2 00000469: SWAP1 0000046a: POP 0000046b: POP 0000046c: PUSH2 0x08fc 0000046f: JUMP 00000470: JUMPDEST 00000471: STOP 00000472: JUMPDEST 00000473: CALLVALUE 00000474: ISZERO 00000475: PUSH2 0x047d 00000478: JUMPI 00000479: PUSH1 0x00 0000047b: DUP1 0000047c: REVERT 0000047d: JUMPDEST 0000047e: PUSH2 0x0493 00000481: PUSH1 0x04 00000483: DUP1 00000484: DUP1 00000485: CALLDATALOAD 00000486: SWAP1 00000487: PUSH1 0x20 00000489: ADD 0000048a: SWAP1 0000048b: SWAP2 0000048c: SWAP1 0000048d: POP 0000048e: POP 0000048f: PUSH2 0x0c2b 00000492: JUMP 00000493: JUMPDEST 00000494: PUSH1 0x40 00000496: MLOAD 00000497: DUP1 00000498: DUP3 00000499: PUSH2 0xffff 0000049c: AND 0000049d: PUSH2 0xffff 000004a0: AND 000004a1: DUP2 000004a2: MSTORE 000004a3: PUSH1 0x20 000004a5: ADD 000004a6: SWAP2 000004a7: POP 000004a8: POP 000004a9: PUSH1 0x40 000004ab: MLOAD 000004ac: DUP1 000004ad: SWAP2 000004ae: SUB 000004af: SWAP1 000004b0: RETURN 000004b1: JUMPDEST 000004b2: CALLVALUE 000004b3: ISZERO 000004b4: PUSH2 0x04bc 000004b7: JUMPI 000004b8: PUSH1 0x00 000004ba: DUP1 000004bb: REVERT 000004bc: JUMPDEST 000004bd: PUSH2 0x04c4 000004c0: PUSH2 0x0c58 000004c3: JUMP 000004c4: JUMPDEST 000004c5: PUSH1 0x40 000004c7: MLOAD 000004c8: DUP1 000004c9: DUP3 000004ca: DUP2 000004cb: MSTORE 000004cc: PUSH1 0x20 000004ce: ADD 000004cf: SWAP2 000004d0: POP 000004d1: POP 000004d2: PUSH1 0x40 000004d4: MLOAD 000004d5: DUP1 000004d6: SWAP2 000004d7: SUB 000004d8: SWAP1 000004d9: RETURN 000004da: JUMPDEST 000004db: CALLVALUE 000004dc: ISZERO 000004dd: PUSH2 0x04e5 000004e0: JUMPI 000004e1: PUSH1 0x00 000004e3: DUP1 000004e4: REVERT 000004e5: JUMPDEST 000004e6: PUSH2 0x0511 000004e9: PUSH1 0x04 000004eb: DUP1 000004ec: DUP1 000004ed: CALLDATALOAD 000004ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000503: AND 00000504: SWAP1 00000505: PUSH1 0x20 00000507: ADD 00000508: SWAP1 00000509: SWAP2 0000050a: SWAP1 0000050b: POP 0000050c: POP 0000050d: PUSH2 0x0c5e 00000510: JUMP 00000511: JUMPDEST 00000512: STOP 00000513: JUMPDEST 00000514: PUSH1 0x08 00000516: SLOAD 00000517: DUP2 00000518: JUMP 00000519: JUMPDEST 0000051a: PUSH1 0x06 0000051c: PUSH1 0x20 0000051e: MSTORE 0000051f: DUP1 00000520: PUSH1 0x00 00000522: MSTORE 00000523: PUSH1 0x40 00000525: PUSH1 0x00 00000527: KECCAK256 00000528: PUSH1 0x00 0000052a: SWAP2 0000052b: POP 0000052c: SWAP1 0000052d: POP 0000052e: SLOAD 0000052f: DUP2 00000530: JUMP 00000531: JUMPDEST 00000532: PUSH1 0x00 00000534: DUP1 00000535: SWAP1 00000536: SLOAD 00000537: SWAP1 00000538: PUSH2 0x0100 0000053b: EXP 0000053c: SWAP1 0000053d: DIV 0000053e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000553: AND 00000554: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000569: AND 0000056a: CALLER 0000056b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000580: AND 00000581: EQ 00000582: ISZERO 00000583: ISZERO 00000584: PUSH2 0x058c 00000587: JUMPI 00000588: PUSH1 0x00 0000058a: DUP1 0000058b: REVERT 0000058c: JUMPDEST 0000058d: DUP3 0000058e: PUSH1 0x01 00000590: PUSH1 0x00 00000592: PUSH2 0x0100 00000595: EXP 00000596: DUP2 00000597: SLOAD 00000598: DUP2 00000599: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ae: MUL 000005af: NOT 000005b0: AND 000005b1: SWAP1 000005b2: DUP4 000005b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005c8: AND 000005c9: MUL 000005ca: OR 000005cb: SWAP1 000005cc: SSTORE 000005cd: POP 000005ce: DUP2 000005cf: PUSH1 0x02 000005d1: PUSH1 0x00 000005d3: PUSH2 0x0100 000005d6: EXP 000005d7: DUP2 000005d8: SLOAD 000005d9: DUP2 000005da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ef: MUL 000005f0: NOT 000005f1: AND 000005f2: SWAP1 000005f3: DUP4 000005f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000609: AND 0000060a: MUL 0000060b: OR 0000060c: SWAP1 0000060d: SSTORE 0000060e: POP 0000060f: DUP1 00000610: PUSH1 0x03 00000612: PUSH1 0x00 00000614: PUSH2 0x0100 00000617: EXP 00000618: DUP2 00000619: SLOAD 0000061a: DUP2 0000061b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000630: MUL 00000631: NOT 00000632: AND 00000633: SWAP1 00000634: DUP4 00000635: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000064a: AND 0000064b: MUL 0000064c: OR 0000064d: SWAP1 0000064e: SSTORE 0000064f: POP 00000650: POP 00000651: POP 00000652: POP 00000653: JUMP 00000654: JUMPDEST 00000655: CALLER 00000656: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000066b: AND 0000066c: PUSH2 0x08fc 0000066f: PUSH2 0x06d5 00000672: PUSH1 0x64 00000674: PUSH2 0x06c7 00000677: PUSH1 0x04 00000679: SLOAD 0000067a: PUSH1 0x06 0000067c: PUSH1 0x00 0000067e: CALLER 0000067f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000694: AND 00000695: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006aa: AND 000006ab: DUP2 000006ac: MSTORE 000006ad: PUSH1 0x20 000006af: ADD 000006b0: SWAP1 000006b1: DUP2 000006b2: MSTORE 000006b3: PUSH1 0x20 000006b5: ADD 000006b6: PUSH1 0x00 000006b8: KECCAK256 000006b9: SLOAD 000006ba: PUSH2 0x0db3 000006bd: SWAP1 000006be: SWAP2 000006bf: SWAP1 000006c0: PUSH4 0xffffffff 000006c5: AND 000006c6: JUMP 000006c7: JUMPDEST 000006c8: PUSH2 0x0dee 000006cb: SWAP1 000006cc: SWAP2 000006cd: SWAP1 000006ce: PUSH4 0xffffffff 000006d3: AND 000006d4: JUMP 000006d5: JUMPDEST 000006d6: SWAP1 000006d7: DUP2 000006d8: ISZERO 000006d9: MUL 000006da: SWAP1 000006db: PUSH1 0x40 000006dd: MLOAD 000006de: PUSH1 0x00 000006e0: PUSH1 0x40 000006e2: MLOAD 000006e3: DUP1 000006e4: DUP4 000006e5: SUB 000006e6: DUP2 000006e7: DUP6 000006e8: DUP9 000006e9: DUP9 000006ea: CALL 000006eb: SWAP4 000006ec: POP 000006ed: POP 000006ee: POP 000006ef: POP 000006f0: ISZERO 000006f1: ISZERO 000006f2: PUSH2 0x06fa 000006f5: JUMPI 000006f6: PUSH1 0x00 000006f8: DUP1 000006f9: REVERT 000006fa: JUMPDEST 000006fb: PUSH1 0x06 000006fd: PUSH1 0x00 000006ff: CALLER 00000700: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000715: AND 00000716: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000072b: AND 0000072c: DUP2 0000072d: MSTORE 0000072e: PUSH1 0x20 00000730: ADD 00000731: SWAP1 00000732: DUP2 00000733: MSTORE 00000734: PUSH1 0x20 00000736: ADD 00000737: PUSH1 0x00 00000739: KECCAK256 0000073a: PUSH1 0x00 0000073c: SWAP1 0000073d: SSTORE 0000073e: JUMP 0000073f: JUMPDEST 00000740: PUSH1 0x00 00000742: PUSH1 0x01 00000744: PUSH1 0x00 00000746: SWAP1 00000747: SLOAD 00000748: SWAP1 00000749: PUSH2 0x0100 0000074c: EXP 0000074d: SWAP1 0000074e: DIV 0000074f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000764: AND 00000765: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000077a: AND 0000077b: CALLER 0000077c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000791: AND 00000792: EQ 00000793: ISZERO 00000794: ISZERO 00000795: PUSH2 0x079d 00000798: JUMPI 00000799: PUSH1 0x00 0000079b: DUP1 0000079c: REVERT 0000079d: JUMPDEST 0000079e: PUSH1 0x00 000007a0: SWAP1 000007a1: POP 000007a2: JUMPDEST 000007a3: PUSH1 0x01 000007a5: DUP2 000007a6: LT 000007a7: ISZERO 000007a8: PUSH2 0x085b 000007ab: JUMPI 000007ac: PUSH1 0x00 000007ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c3: AND 000007c4: DUP3 000007c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007da: AND 000007db: EQ 000007dc: ISZERO 000007dd: ISZERO 000007de: PUSH2 0x084e 000007e1: JUMPI 000007e2: PUSH1 0x05 000007e4: SLOAD 000007e5: PUSH1 0x06 000007e7: PUSH1 0x00 000007e9: DUP5 000007ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ff: AND 00000800: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000815: AND 00000816: DUP2 00000817: MSTORE 00000818: PUSH1 0x20 0000081a: ADD 0000081b: SWAP1 0000081c: DUP2 0000081d: MSTORE 0000081e: PUSH1 0x20 00000820: ADD 00000821: PUSH1 0x00 00000823: KECCAK256 00000824: PUSH1 0x00 00000826: DUP3 00000827: DUP3 00000828: SLOAD 00000829: ADD 0000082a: SWAP3 0000082b: POP 0000082c: POP 0000082d: DUP2 0000082e: SWAP1 0000082f: SSTORE 00000830: POP 00000831: PUSH2 0x0847 00000834: PUSH1 0x05 00000836: SLOAD 00000837: PUSH1 0x05 00000839: SLOAD 0000083a: PUSH2 0x0e09 0000083d: SWAP1 0000083e: SWAP2 0000083f: SWAP1 00000840: PUSH4 0xffffffff 00000845: AND 00000846: JUMP 00000847: JUMPDEST 00000848: PUSH1 0x05 0000084a: DUP2 0000084b: SWAP1 0000084c: SSTORE 0000084d: POP 0000084e: JUMPDEST 0000084f: DUP1 00000850: DUP1 00000851: PUSH1 0x01 00000853: ADD 00000854: SWAP2 00000855: POP 00000856: POP 00000857: PUSH2 0x07a2 0000085a: JUMP 0000085b: JUMPDEST 0000085c: POP 0000085d: POP 0000085e: JUMP 0000085f: JUMPDEST 00000860: PUSH1 0x02 00000862: PUSH1 0x00 00000864: SWAP1 00000865: SLOAD 00000866: SWAP1 00000867: PUSH2 0x0100 0000086a: EXP 0000086b: SWAP1 0000086c: DIV 0000086d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000882: AND 00000883: DUP2 00000884: JUMP 00000885: JUMPDEST 00000886: PUSH1 0x01 00000888: PUSH1 0x00 0000088a: SWAP1 0000088b: SLOAD 0000088c: SWAP1 0000088d: PUSH2 0x0100 00000890: EXP 00000891: SWAP1 00000892: DIV 00000893: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a8: AND 000008a9: DUP2 000008aa: JUMP 000008ab: JUMPDEST 000008ac: PUSH1 0x00 000008ae: DUP1 000008af: SWAP1 000008b0: SLOAD 000008b1: SWAP1 000008b2: PUSH2 0x0100 000008b5: EXP 000008b6: SWAP1 000008b7: DIV 000008b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008cd: AND 000008ce: DUP2 000008cf: JUMP 000008d0: JUMPDEST 000008d1: PUSH1 0x03 000008d3: PUSH1 0x00 000008d5: SWAP1 000008d6: SLOAD 000008d7: SWAP1 000008d8: PUSH2 0x0100 000008db: EXP 000008dc: SWAP1 000008dd: DIV 000008de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f3: AND 000008f4: DUP2 000008f5: JUMP 000008f6: JUMPDEST 000008f7: PUSH1 0x05 000008f9: SLOAD 000008fa: DUP2 000008fb: JUMP 000008fc: JUMPDEST 000008fd: PUSH1 0x00 000008ff: DUP1 00000900: PUSH1 0x00 00000902: PUSH1 0x01 00000904: PUSH1 0x00 00000906: SWAP1 00000907: SLOAD 00000908: SWAP1 00000909: PUSH2 0x0100 0000090c: EXP 0000090d: SWAP1 0000090e: DIV 0000090f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000924: AND 00000925: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000093a: AND 0000093b: CALLER 0000093c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000951: AND 00000952: EQ 00000953: ISZERO 00000954: ISZERO 00000955: PUSH2 0x095d 00000958: JUMPI 00000959: PUSH1 0x00 0000095b: DUP1 0000095c: REVERT 0000095d: JUMPDEST 0000095e: TIMESTAMP 0000095f: PUSH1 0x08 00000961: DUP2 00000962: SWAP1 00000963: SSTORE 00000964: POP 00000965: PUSH1 0x00 00000967: SWAP1 00000968: POP 00000969: JUMPDEST 0000096a: PUSH1 0x0a 0000096c: DUP2 0000096d: LT 0000096e: ISZERO 0000096f: PUSH2 0x0bb2 00000972: JUMPI 00000973: PUSH1 0x00 00000975: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000098a: AND 0000098b: DUP5 0000098c: DUP3 0000098d: PUSH1 0x0a 0000098f: DUP2 00000990: LT 00000991: ISZERO 00000992: ISZERO 00000993: PUSH2 0x0998 00000996: JUMPI 00000997: INVALID 00000998: JUMPDEST 00000999: PUSH1 0x20 0000099b: MUL 0000099c: ADD 0000099d: MLOAD 0000099e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b3: AND 000009b4: EQ 000009b5: ISZERO 000009b6: ISZERO 000009b7: PUSH2 0x0ba5 000009ba: JUMPI 000009bb: PUSH2 0x0a48 000009be: PUSH1 0x0a 000009c0: PUSH2 0x0a3a 000009c3: PUSH1 0x09 000009c5: PUSH2 0x0a2c 000009c8: PUSH2 0x2710 000009cb: PUSH2 0x0a1e 000009ce: PUSH1 0x07 000009d0: DUP9 000009d1: PUSH1 0x0a 000009d3: DUP2 000009d4: LT 000009d5: ISZERO 000009d6: ISZERO 000009d7: PUSH2 0x09dc 000009da: JUMPI 000009db: INVALID 000009dc: JUMPDEST 000009dd: PUSH1 0x10 000009df: SWAP2 000009e0: DUP3 000009e1: DUP3 000009e2: DIV 000009e3: ADD 000009e4: SWAP2 000009e5: SWAP1 000009e6: MOD 000009e7: PUSH1 0x02 000009e9: MUL 000009ea: SWAP1 000009eb: SLOAD 000009ec: SWAP1 000009ed: PUSH2 0x0100 000009f0: EXP 000009f1: SWAP1 000009f2: DIV 000009f3: PUSH2 0xffff 000009f6: AND 000009f7: PUSH2 0xffff 000009fa: AND 000009fb: PUSH2 0x0a10 000009fe: PUSH1 0x32 00000a00: PUSH1 0x05 00000a02: SLOAD 00000a03: PUSH2 0x0db3 00000a06: SWAP1 00000a07: SWAP2 00000a08: SWAP1 00000a09: PUSH4 0xffffffff 00000a0e: AND 00000a0f: JUMP 00000a10: JUMPDEST 00000a11: PUSH2 0x0db3 00000a14: SWAP1 00000a15: SWAP2 00000a16: SWAP1 00000a17: PUSH4 0xffffffff 00000a1c: AND 00000a1d: JUMP 00000a1e: JUMPDEST 00000a1f: PUSH2 0x0dee 00000a22: SWAP1 00000a23: SWAP2 00000a24: SWAP1 00000a25: PUSH4 0xffffffff 00000a2a: AND 00000a2b: JUMP 00000a2c: JUMPDEST 00000a2d: PUSH2 0x0db3 00000a30: SWAP1 00000a31: SWAP2 00000a32: SWAP1 00000a33: PUSH4 0xffffffff 00000a38: AND 00000a39: JUMP 00000a3a: JUMPDEST 00000a3b: PUSH2 0x0dee 00000a3e: SWAP1 00000a3f: SWAP2 00000a40: SWAP1 00000a41: PUSH4 0xffffffff 00000a46: AND 00000a47: JUMP 00000a48: JUMPDEST 00000a49: PUSH1 0x06 00000a4b: PUSH1 0x00 00000a4d: DUP7 00000a4e: DUP5 00000a4f: PUSH1 0x0a 00000a51: DUP2 00000a52: LT 00000a53: ISZERO 00000a54: ISZERO 00000a55: PUSH2 0x0a5a 00000a58: JUMPI 00000a59: INVALID 00000a5a: JUMPDEST 00000a5b: PUSH1 0x20 00000a5d: MUL 00000a5e: ADD 00000a5f: MLOAD 00000a60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a75: AND 00000a76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a8b: AND 00000a8c: DUP2 00000a8d: MSTORE 00000a8e: PUSH1 0x20 00000a90: ADD 00000a91: SWAP1 00000a92: DUP2 00000a93: MSTORE 00000a94: PUSH1 0x20 00000a96: ADD 00000a97: PUSH1 0x00 00000a99: KECCAK256 00000a9a: PUSH1 0x00 00000a9c: DUP3 00000a9d: DUP3 00000a9e: SLOAD 00000a9f: ADD 00000aa0: SWAP3 00000aa1: POP 00000aa2: POP 00000aa3: DUP2 00000aa4: SWAP1 00000aa5: SSTORE 00000aa6: POP 00000aa7: PUSH2 0x0b0e 00000aaa: PUSH2 0x2710 00000aad: PUSH2 0x0b00 00000ab0: PUSH1 0x07 00000ab2: DUP5 00000ab3: PUSH1 0x0a 00000ab5: DUP2 00000ab6: LT 00000ab7: ISZERO 00000ab8: ISZERO 00000ab9: PUSH2 0x0abe 00000abc: JUMPI 00000abd: INVALID 00000abe: JUMPDEST 00000abf: PUSH1 0x10 00000ac1: SWAP2 00000ac2: DUP3 00000ac3: DUP3 00000ac4: DIV 00000ac5: ADD 00000ac6: SWAP2 00000ac7: SWAP1 00000ac8: MOD 00000ac9: PUSH1 0x02 00000acb: MUL 00000acc: SWAP1 00000acd: SLOAD 00000ace: SWAP1 00000acf: PUSH2 0x0100 00000ad2: EXP 00000ad3: SWAP1 00000ad4: DIV 00000ad5: PUSH2 0xffff 00000ad8: AND 00000ad9: PUSH2 0xffff 00000adc: AND 00000add: PUSH2 0x0af2 00000ae0: PUSH1 0x32 00000ae2: PUSH1 0x05 00000ae4: SLOAD 00000ae5: PUSH2 0x0db3 00000ae8: SWAP1 00000ae9: SWAP2 00000aea: SWAP1 00000aeb: PUSH4 0xffffffff 00000af0: AND 00000af1: JUMP 00000af2: JUMPDEST 00000af3: PUSH2 0x0db3 00000af6: SWAP1 00000af7: SWAP2 00000af8: SWAP1 00000af9: PUSH4 0xffffffff 00000afe: AND 00000aff: JUMP 00000b00: JUMPDEST 00000b01: PUSH2 0x0dee 00000b04: SWAP1 00000b05: SWAP2 00000b06: SWAP1 00000b07: PUSH4 0xffffffff 00000b0c: AND 00000b0d: JUMP 00000b0e: JUMPDEST 00000b0f: DUP4 00000b10: ADD 00000b11: SWAP3 00000b12: POP 00000b13: PUSH2 0x0ba0 00000b16: PUSH1 0x0a 00000b18: PUSH2 0x0b92 00000b1b: PUSH1 0x01 00000b1d: PUSH2 0x0b84 00000b20: PUSH2 0x2710 00000b23: PUSH2 0x0b76 00000b26: PUSH1 0x07 00000b28: DUP9 00000b29: PUSH1 0x0a 00000b2b: DUP2 00000b2c: LT 00000b2d: ISZERO 00000b2e: ISZERO 00000b2f: PUSH2 0x0b34 00000b32: JUMPI 00000b33: INVALID 00000b34: JUMPDEST 00000b35: PUSH1 0x10 00000b37: SWAP2 00000b38: DUP3 00000b39: DUP3 00000b3a: DIV 00000b3b: ADD 00000b3c: SWAP2 00000b3d: SWAP1 00000b3e: MOD 00000b3f: PUSH1 0x02 00000b41: MUL 00000b42: SWAP1 00000b43: SLOAD 00000b44: SWAP1 00000b45: PUSH2 0x0100 00000b48: EXP 00000b49: SWAP1 00000b4a: DIV 00000b4b: PUSH2 0xffff 00000b4e: AND 00000b4f: PUSH2 0xffff 00000b52: AND 00000b53: PUSH2 0x0b68 00000b56: PUSH1 0x32 00000b58: PUSH1 0x05 00000b5a: SLOAD 00000b5b: PUSH2 0x0db3 00000b5e: SWAP1 00000b5f: SWAP2 00000b60: SWAP1 00000b61: PUSH4 0xffffffff 00000b66: AND 00000b67: JUMP 00000b68: JUMPDEST 00000b69: PUSH2 0x0db3 00000b6c: SWAP1 00000b6d: SWAP2 00000b6e: SWAP1 00000b6f: PUSH4 0xffffffff 00000b74: AND 00000b75: JUMP 00000b76: JUMPDEST 00000b77: PUSH2 0x0dee 00000b7a: SWAP1 00000b7b: SWAP2 00000b7c: SWAP1 00000b7d: PUSH4 0xffffffff 00000b82: AND 00000b83: JUMP 00000b84: JUMPDEST 00000b85: PUSH2 0x0db3 00000b88: SWAP1 00000b89: SWAP2 00000b8a: SWAP1 00000b8b: PUSH4 0xffffffff 00000b90: AND 00000b91: JUMP 00000b92: JUMPDEST 00000b93: PUSH2 0x0dee 00000b96: SWAP1 00000b97: SWAP2 00000b98: SWAP1 00000b99: PUSH4 0xffffffff 00000b9e: AND 00000b9f: JUMP 00000ba0: JUMPDEST 00000ba1: DUP3 00000ba2: ADD 00000ba3: SWAP2 00000ba4: POP 00000ba5: JUMPDEST 00000ba6: DUP1 00000ba7: DUP1 00000ba8: PUSH1 0x01 00000baa: ADD 00000bab: SWAP2 00000bac: POP 00000bad: POP 00000bae: PUSH2 0x0969 00000bb1: JUMP 00000bb2: JUMPDEST 00000bb3: PUSH2 0x0bc7 00000bb6: DUP4 00000bb7: PUSH1 0x05 00000bb9: SLOAD 00000bba: PUSH2 0x0e09 00000bbd: SWAP1 00000bbe: SWAP2 00000bbf: SWAP1 00000bc0: PUSH4 0xffffffff 00000bc5: AND 00000bc6: JUMP 00000bc7: JUMPDEST 00000bc8: PUSH1 0x05 00000bca: DUP2 00000bcb: SWAP1 00000bcc: SSTORE 00000bcd: POP 00000bce: PUSH1 0x03 00000bd0: PUSH1 0x00 00000bd2: SWAP1 00000bd3: SLOAD 00000bd4: SWAP1 00000bd5: PUSH2 0x0100 00000bd8: EXP 00000bd9: SWAP1 00000bda: DIV 00000bdb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bf0: AND 00000bf1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c06: AND 00000c07: PUSH2 0x08fc 00000c0a: DUP4 00000c0b: SWAP1 00000c0c: DUP2 00000c0d: ISZERO 00000c0e: MUL 00000c0f: SWAP1 00000c10: PUSH1 0x40 00000c12: MLOAD 00000c13: PUSH1 0x00 00000c15: PUSH1 0x40 00000c17: MLOAD 00000c18: DUP1 00000c19: DUP4 00000c1a: SUB 00000c1b: DUP2 00000c1c: DUP6 00000c1d: DUP9 00000c1e: DUP9 00000c1f: CALL 00000c20: SWAP4 00000c21: POP 00000c22: POP 00000c23: POP 00000c24: POP 00000c25: POP 00000c26: POP 00000c27: POP 00000c28: POP 00000c29: POP 00000c2a: JUMP 00000c2b: JUMPDEST 00000c2c: PUSH1 0x07 00000c2e: DUP2 00000c2f: PUSH1 0x0a 00000c31: DUP2 00000c32: LT 00000c33: ISZERO 00000c34: ISZERO 00000c35: PUSH2 0x0c3a 00000c38: JUMPI 00000c39: INVALID 00000c3a: JUMPDEST 00000c3b: PUSH1 0x10 00000c3d: SWAP2 00000c3e: DUP3 00000c3f: DUP3 00000c40: DIV 00000c41: ADD 00000c42: SWAP2 00000c43: SWAP1 00000c44: MOD 00000c45: PUSH1 0x02 00000c47: MUL 00000c48: SWAP2 00000c49: POP 00000c4a: SLOAD 00000c4b: SWAP1 00000c4c: PUSH2 0x0100 00000c4f: EXP 00000c50: SWAP1 00000c51: DIV 00000c52: PUSH2 0xffff 00000c55: AND 00000c56: DUP2 00000c57: JUMP 00000c58: JUMPDEST 00000c59: PUSH1 0x04 00000c5b: SLOAD 00000c5c: DUP2 00000c5d: JUMP 00000c5e: JUMPDEST 00000c5f: PUSH1 0x00 00000c61: DUP1 00000c62: SWAP1 00000c63: SLOAD 00000c64: SWAP1 00000c65: PUSH2 0x0100 00000c68: EXP 00000c69: SWAP1 00000c6a: DIV 00000c6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c80: AND 00000c81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c96: AND 00000c97: CALLER 00000c98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cad: AND 00000cae: EQ 00000caf: ISZERO 00000cb0: ISZERO 00000cb1: PUSH2 0x0cb9 00000cb4: JUMPI 00000cb5: PUSH1 0x00 00000cb7: DUP1 00000cb8: REVERT 00000cb9: JUMPDEST 00000cba: PUSH1 0x00 00000cbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cd1: AND 00000cd2: DUP2 00000cd3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ce8: AND 00000ce9: EQ 00000cea: ISZERO 00000ceb: ISZERO 00000cec: ISZERO 00000ced: PUSH2 0x0cf5 00000cf0: JUMPI 00000cf1: PUSH1 0x00 00000cf3: DUP1 00000cf4: REVERT 00000cf5: JUMPDEST 00000cf6: DUP1 00000cf7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d0c: AND 00000d0d: PUSH1 0x00 00000d0f: DUP1 00000d10: SWAP1 00000d11: SLOAD 00000d12: SWAP1 00000d13: PUSH2 0x0100 00000d16: EXP 00000d17: SWAP1 00000d18: DIV 00000d19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d2e: AND 00000d2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d44: AND 00000d45: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000d66: PUSH1 0x40 00000d68: MLOAD 00000d69: PUSH1 0x40 00000d6b: MLOAD 00000d6c: DUP1 00000d6d: SWAP2 00000d6e: SUB 00000d6f: SWAP1 00000d70: LOG3 00000d71: DUP1 00000d72: PUSH1 0x00 00000d74: DUP1 00000d75: PUSH2 0x0100 00000d78: EXP 00000d79: DUP2 00000d7a: SLOAD 00000d7b: DUP2 00000d7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d91: MUL 00000d92: NOT 00000d93: AND 00000d94: SWAP1 00000d95: DUP4 00000d96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dab: AND 00000dac: MUL 00000dad: OR 00000dae: SWAP1 00000daf: SSTORE 00000db0: POP 00000db1: POP 00000db2: JUMP 00000db3: JUMPDEST 00000db4: PUSH1 0x00 00000db6: DUP1 00000db7: PUSH1 0x00 00000db9: DUP5 00000dba: EQ 00000dbb: ISZERO 00000dbc: PUSH2 0x0dc8 00000dbf: JUMPI 00000dc0: PUSH1 0x00 00000dc2: SWAP2 00000dc3: POP 00000dc4: PUSH2 0x0de7 00000dc7: JUMP 00000dc8: JUMPDEST 00000dc9: DUP3 00000dca: DUP5 00000dcb: MUL 00000dcc: SWAP1 00000dcd: POP 00000dce: DUP3 00000dcf: DUP5 00000dd0: DUP3 00000dd1: DUP2 00000dd2: ISZERO 00000dd3: ISZERO 00000dd4: PUSH2 0x0dd9 00000dd7: JUMPI 00000dd8: INVALID 00000dd9: JUMPDEST 00000dda: DIV 00000ddb: EQ 00000ddc: ISZERO 00000ddd: ISZERO 00000dde: PUSH2 0x0de3 00000de1: JUMPI 00000de2: INVALID 00000de3: JUMPDEST 00000de4: DUP1 00000de5: SWAP2 00000de6: POP 00000de7: JUMPDEST 00000de8: POP 00000de9: SWAP3 00000dea: SWAP2 00000deb: POP 00000dec: POP 00000ded: JUMP 00000dee: JUMPDEST 00000def: PUSH1 0x00 00000df1: DUP1 00000df2: DUP3 00000df3: DUP5 00000df4: DUP2 00000df5: ISZERO 00000df6: ISZERO 00000df7: PUSH2 0x0dfc 00000dfa: JUMPI 00000dfb: INVALID 00000dfc: JUMPDEST 00000dfd: DIV 00000dfe: SWAP1 00000dff: POP 00000e00: DUP1 00000e01: SWAP2 00000e02: POP 00000e03: POP 00000e04: SWAP3 00000e05: SWAP2 00000e06: POP 00000e07: POP 00000e08: JUMP 00000e09: JUMPDEST 00000e0a: PUSH1 0x00 00000e0c: DUP3 00000e0d: DUP3 00000e0e: GT 00000e0f: ISZERO 00000e10: ISZERO 00000e11: ISZERO 00000e12: PUSH2 0x0e17 00000e15: JUMPI 00000e16: INVALID 00000e17: JUMPDEST 00000e18: DUP2 00000e19: DUP4 00000e1a: SUB 00000e1b: SWAP1 00000e1c: POP 00000e1d: SWAP3 00000e1e: SWAP2 00000e1f: POP 00000e20: POP 00000e21: JUMP 00000e22: STOP 00000e23: LOG1 00000e24: PUSH6 0x627a7a723058 00000e2b: KECCAK256 00000e2c: UNKNOWN(0xE9) 00000e2d: DUP4 00000e2e: CALLDATASIZE 00000e2f: UNKNOWN(0xFB) 00000e30: SWAP8 00000e31: EXP 00000e32: UNKNOWN(0xB8) 00000e33: CODESIZE 00000e34: EXTCODEHASH 00000e35: UNKNOWN(0xC7) 00000e36: UNKNOWN(0x23) 00000e37: UNKNOWN(0xED) 00000e38: SWAP13 00000e39: PUSH27
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xebc616fcadef95114492fd76b7d1842302a1f2ab24ebd1e0f671d95eb6268d2b
call_targets:
0x092ddbff6781f03f5f0f4dcfc0ab3ab69d2fca7d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xebc616fcadef95114492fd76b7d1842302a1f2ab24ebd1e0f671d95eb6268d2b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x092ddbff6781f03f5f0f4dcfc0ab3ab69d2fca7d"
],
"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": "0x1c5944cd",
"selector": "0x1c5944cd",
"calldata_variants": [
"0x1c5944cd",
"0x1c5944cd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2faadede",
"selector": "0x2faadede",
"calldata_variants": [
"0x2faadede",
"0x2faadede0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3be08dab",
"selector": "0x3be08dab",
"calldata_variants": [
"0x3be08dab",
"0x3be08dab0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3d18b912",
"selector": "0x3d18b912",
"calldata_variants": [
"0x3d18b912",
"0x3d18b9120000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x474e1dbd",
"selector": "0x474e1dbd",
"calldata_variants": [
"0x474e1dbd",
"0x474e1dbd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7c66c16b",
"selector": "0x7c66c16b",
"calldata_variants": [
"0x7c66c16b",
"0x7c66c16b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d96e49c",
"selector": "0x7d96e49c",
"calldata_variants": [
"0x7d96e49c",
"0x7d96e49c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 361,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1770,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3103,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 1386,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1915,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2363,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3223,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xebc616fcadef95114492fd76b7d1842302a1f2ab24ebd1e0f671d95eb6268d2b
call_targets:
0x092ddbff6781f03f5f0f4dcfc0ab3ab69d2fca7d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xebc616fcadef95114492fd76b7d1842302a1f2ab24ebd1e0f671d95eb6268d2b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x092ddbff6781f03f5f0f4dcfc0ab3ab69d2fca7d"
],
"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": "0x1c5944cd",
"selector": "0x1c5944cd",
"calldata_variants": [
"0x1c5944cd",
"0x1c5944cd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2faadede",
"selector": "0x2faadede",
"calldata_variants": [
"0x2faadede",
"0x2faadede0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3be08dab",
"selector": "0x3be08dab",
"calldata_variants": [
"0x3be08dab",
"0x3be08dab0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3d18b912",
"selector": "0x3d18b912",
"calldata_variants": [
"0x3d18b912",
"0x3d18b9120000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x474e1dbd",
"selector": "0x474e1dbd",
"calldata_variants": [
"0x474e1dbd",
"0x474e1dbd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7c66c16b",
"selector": "0x7c66c16b",
"calldata_variants": [
"0x7c66c16b",
"0x7c66c16b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d96e49c",
"selector": "0x7d96e49c",
"calldata_variants": [
"0x7d96e49c",
"0x7d96e49c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 361,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1770,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3103,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 1386,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1915,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2363,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3223,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|