019b3836-5931-719b-b5c5-cf7c17f3b9bb
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 |
|---|---|---|---|---|
| 8745 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 8746 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 51888 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 51889 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 51890 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 51891 | 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: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0106 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x02b32af5 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0138 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x0399c357 00000025: EQ 00000026: PUSH2 0x014a 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x06dafac6 00000030: EQ 00000031: PUSH2 0x017b 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x11d15e17 0000003b: EQ 0000003c: PUSH2 0x019d 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x22e77ff3 00000046: EQ 00000047: PUSH2 0x01b8 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x26866160 00000051: EQ 00000052: PUSH2 0x0226 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x355474d2 0000005c: EQ 0000005d: PUSH2 0x022f 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x4299c213 00000067: EQ 00000068: PUSH2 0x025d 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x50f07cf9 00000072: EQ 00000073: PUSH2 0x027f 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x5217cdff 0000007d: EQ 0000007e: PUSH2 0x02a1 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x56d9c0e3 00000088: EQ 00000089: PUSH2 0x02b3 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x8da5cb5b 00000093: EQ 00000094: PUSH2 0x02d5 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x9549355e 0000009e: EQ 0000009f: PUSH2 0x02e7 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x974654f4 000000a9: EQ 000000aa: PUSH2 0x031e 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xa20efba3 000000b4: EQ 000000b5: PUSH2 0x0327 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xaddd5099 000000bf: EQ 000000c0: PUSH2 0x0358 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xc7e22ac4 000000ca: EQ 000000cb: PUSH2 0x0373 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xdf5dd1a5 000000d5: EQ 000000d6: PUSH2 0x0394 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xe650672b 000000e0: EQ 000000e1: PUSH2 0x03b5 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xf2fde38b 000000eb: EQ 000000ec: PUSH2 0x03d6 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xff48fd9c 000000f6: EQ 000000f7: PUSH2 0x03f7 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xffe302d1 00000101: EQ 00000102: PUSH2 0x0428 00000105: JUMPI 00000106: JUMPDEST 00000107: PUSH2 0x04e6 0000010a: PUSH1 0x00 0000010c: CALLVALUE 0000010d: GT 0000010e: ISZERO 0000010f: PUSH2 0x0136 00000112: JUMPI 00000113: PUSH1 0x00 00000115: DUP1 00000116: SLOAD 00000117: PUSH1 0x40 00000119: MLOAD 0000011a: PUSH1 0x01 0000011c: PUSH1 0xa0 0000011e: PUSH1 0x02 00000120: EXP 00000121: SUB 00000122: SWAP1 00000123: SWAP2 00000124: AND 00000125: SWAP2 00000126: SWAP1 00000127: CALLVALUE 00000128: SWAP1 00000129: DUP3 0000012a: DUP2 0000012b: DUP2 0000012c: DUP2 0000012d: DUP6 0000012e: DUP9 0000012f: DUP4 00000130: CALL 00000131: POP 00000132: POP 00000133: POP 00000134: POP 00000135: POP 00000136: JUMPDEST 00000137: JUMP 00000138: JUMPDEST 00000139: PUSH2 0x04e8 0000013c: PUSH1 0x01 0000013e: SLOAD 0000013f: PUSH1 0x01 00000141: PUSH1 0xa0 00000143: PUSH1 0x02 00000145: EXP 00000146: SUB 00000147: AND 00000148: DUP2 00000149: JUMP 0000014a: JUMPDEST 0000014b: PUSH2 0x04e6 0000014e: PUSH1 0x04 00000150: CALLDATALOAD 00000151: PUSH1 0x24 00000153: CALLDATALOAD 00000154: CALLER 00000155: PUSH1 0x01 00000157: PUSH1 0xa0 00000159: PUSH1 0x02 0000015b: EXP 0000015c: SUB 0000015d: AND 0000015e: PUSH1 0x00 00000160: SWAP1 00000161: DUP2 00000162: MSTORE 00000163: PUSH1 0x09 00000165: PUSH1 0x20 00000167: MSTORE 00000168: PUSH1 0x40 0000016a: SWAP1 0000016b: KECCAK256 0000016c: SLOAD 0000016d: PUSH1 0xff 0000016f: AND 00000170: PUSH1 0x01 00000172: EQ 00000173: PUSH2 0x0634 00000176: JUMPI 00000177: PUSH2 0x0002 0000017a: JUMP 0000017b: JUMPDEST 0000017c: PUSH2 0x04e6 0000017f: PUSH1 0x04 00000181: CALLDATALOAD 00000182: PUSH1 0x00 00000184: SLOAD 00000185: PUSH1 0x01 00000187: PUSH1 0xa0 00000189: PUSH1 0x02 0000018b: EXP 0000018c: SUB 0000018d: SWAP1 0000018e: DUP2 0000018f: AND 00000190: CALLER 00000191: SWAP1 00000192: SWAP2 00000193: AND 00000194: EQ 00000195: PUSH2 0x0662 00000198: JUMPI 00000199: PUSH2 0x0002 0000019c: JUMP 0000019d: JUMPDEST 0000019e: PUSH2 0x0505 000001a1: PUSH1 0x04 000001a3: CALLDATALOAD 000001a4: PUSH1 0x07 000001a6: PUSH1 0x20 000001a8: MSTORE 000001a9: PUSH1 0x00 000001ab: SWAP1 000001ac: DUP2 000001ad: MSTORE 000001ae: PUSH1 0x40 000001b0: SWAP1 000001b1: KECCAK256 000001b2: SLOAD 000001b3: PUSH1 0xff 000001b5: AND 000001b6: DUP2 000001b7: JUMP 000001b8: JUMPDEST 000001b9: PUSH2 0x051c 000001bc: PUSH1 0x04 000001be: CALLDATALOAD 000001bf: PUSH1 0x08 000001c1: PUSH1 0x20 000001c3: SWAP1 000001c4: DUP2 000001c5: MSTORE 000001c6: PUSH1 0x00 000001c8: SWAP2 000001c9: DUP3 000001ca: MSTORE 000001cb: PUSH1 0x40 000001cd: SWAP2 000001ce: DUP3 000001cf: SWAP1 000001d0: KECCAK256 000001d1: DUP1 000001d2: SLOAD 000001d3: DUP4 000001d4: MLOAD 000001d5: PUSH1 0x02 000001d7: PUSH1 0x01 000001d9: DUP4 000001da: AND 000001db: ISZERO 000001dc: PUSH2 0x0100 000001df: MUL 000001e0: PUSH1 0x00 000001e2: NOT 000001e3: ADD 000001e4: SWAP1 000001e5: SWAP3 000001e6: AND 000001e7: SWAP2 000001e8: SWAP1 000001e9: SWAP2 000001ea: DIV 000001eb: PUSH1 0x1f 000001ed: DUP2 000001ee: ADD 000001ef: DUP5 000001f0: SWAP1 000001f1: DIV 000001f2: DUP5 000001f3: MUL 000001f4: DUP3 000001f5: ADD 000001f6: DUP5 000001f7: ADD 000001f8: SWAP1 000001f9: SWAP5 000001fa: MSTORE 000001fb: DUP4 000001fc: DUP2 000001fd: MSTORE 000001fe: SWAP3 000001ff: SWAP1 00000200: SWAP2 00000201: DUP4 00000202: ADD 00000203: DUP3 00000204: DUP3 00000205: DUP1 00000206: ISZERO 00000207: PUSH2 0x06a2 0000020a: JUMPI 0000020b: DUP1 0000020c: PUSH1 0x1f 0000020e: LT 0000020f: PUSH2 0x0677 00000212: JUMPI 00000213: PUSH2 0x0100 00000216: DUP1 00000217: DUP4 00000218: SLOAD 00000219: DIV 0000021a: MUL 0000021b: DUP4 0000021c: MSTORE 0000021d: SWAP2 0000021e: PUSH1 0x20 00000220: ADD 00000221: SWAP2 00000222: PUSH2 0x06a2 00000225: JUMP 00000226: JUMPDEST 00000227: PUSH2 0x058a 0000022a: PUSH1 0x04 0000022c: SLOAD 0000022d: DUP2 0000022e: JUMP 0000022f: JUMPDEST 00000230: PUSH2 0x04e6 00000233: PUSH1 0x04 00000235: CALLDATALOAD 00000236: CALLER 00000237: PUSH1 0x01 00000239: PUSH1 0xa0 0000023b: PUSH1 0x02 0000023d: EXP 0000023e: SUB 0000023f: AND 00000240: PUSH1 0x00 00000242: SWAP1 00000243: DUP2 00000244: MSTORE 00000245: PUSH1 0x09 00000247: PUSH1 0x20 00000249: MSTORE 0000024a: PUSH1 0x40 0000024c: SWAP1 0000024d: KECCAK256 0000024e: SLOAD 0000024f: PUSH1 0xff 00000251: AND 00000252: PUSH1 0x01 00000254: EQ 00000255: PUSH2 0x06aa 00000258: JUMPI 00000259: PUSH2 0x0002 0000025c: JUMP 0000025d: JUMPDEST 0000025e: PUSH1 0x05 00000260: PUSH1 0x20 00000262: MSTORE 00000263: PUSH1 0x04 00000265: CALLDATALOAD 00000266: PUSH1 0x00 00000268: SWAP1 00000269: DUP2 0000026a: MSTORE 0000026b: PUSH1 0x40 0000026d: SWAP1 0000026e: KECCAK256 0000026f: DUP1 00000270: SLOAD 00000271: PUSH1 0x01 00000273: DUP3 00000274: ADD 00000275: SLOAD 00000276: PUSH2 0x059c 00000279: SWAP3 0000027a: PUSH1 0x02 0000027c: ADD 0000027d: DUP4 0000027e: JUMP 0000027f: JUMPDEST 00000280: PUSH2 0x04e6 00000283: PUSH1 0x04 00000285: CALLDATALOAD 00000286: PUSH1 0x00 00000288: SLOAD 00000289: PUSH1 0x01 0000028b: PUSH1 0xa0 0000028d: PUSH1 0x02 0000028f: EXP 00000290: SUB 00000291: SWAP1 00000292: DUP2 00000293: AND 00000294: CALLER 00000295: SWAP1 00000296: SWAP2 00000297: AND 00000298: EQ 00000299: PUSH2 0x07b9 0000029c: JUMPI 0000029d: PUSH2 0x0002 000002a0: JUMP 000002a1: JUMPDEST 000002a2: PUSH2 0x04e8 000002a5: PUSH1 0x02 000002a7: SLOAD 000002a8: PUSH1 0x01 000002aa: PUSH1 0xa0 000002ac: PUSH1 0x02 000002ae: EXP 000002af: SUB 000002b0: AND 000002b1: DUP2 000002b2: JUMP 000002b3: JUMPDEST 000002b4: PUSH1 0x06 000002b6: PUSH1 0x20 000002b8: MSTORE 000002b9: PUSH1 0x04 000002bb: CALLDATALOAD 000002bc: PUSH1 0x00 000002be: SWAP1 000002bf: DUP2 000002c0: MSTORE 000002c1: PUSH1 0x40 000002c3: SWAP1 000002c4: KECCAK256 000002c5: DUP1 000002c6: SLOAD 000002c7: PUSH1 0x01 000002c9: DUP3 000002ca: ADD 000002cb: SLOAD 000002cc: PUSH2 0x059c 000002cf: SWAP3 000002d0: PUSH1 0x02 000002d2: ADD 000002d3: DUP4 000002d4: JUMP 000002d5: JUMPDEST 000002d6: PUSH2 0x04e8 000002d9: PUSH1 0x00 000002db: SLOAD 000002dc: PUSH1 0x01 000002de: PUSH1 0xa0 000002e0: PUSH1 0x02 000002e2: EXP 000002e3: SUB 000002e4: AND 000002e5: DUP2 000002e6: JUMP 000002e7: JUMPDEST 000002e8: PUSH2 0x04e6 000002eb: PUSH1 0x04 000002ed: CALLDATALOAD 000002ee: PUSH1 0x03 000002f0: SLOAD 000002f1: CALLVALUE 000002f2: LT 000002f3: ISZERO 000002f4: PUSH2 0x07eb 000002f7: JUMPI 000002f8: CALLER 000002f9: PUSH1 0x01 000002fb: PUSH1 0xa0 000002fd: PUSH1 0x02 000002ff: EXP 00000300: SUB 00000301: AND 00000302: PUSH1 0x00 00000304: SWAP1 00000305: DUP2 00000306: MSTORE 00000307: PUSH1 0x07 00000309: PUSH1 0x20 0000030b: MSTORE 0000030c: PUSH1 0x40 0000030e: DUP2 0000030f: KECCAK256 00000310: SLOAD 00000311: PUSH1 0xff 00000313: AND 00000314: EQ 00000315: ISZERO 00000316: PUSH2 0x07be 00000319: JUMPI 0000031a: PUSH2 0x0002 0000031d: JUMP 0000031e: JUMPDEST 0000031f: PUSH2 0x058a 00000322: PUSH1 0x03 00000324: SLOAD 00000325: DUP2 00000326: JUMP 00000327: JUMPDEST 00000328: PUSH2 0x04e6 0000032b: PUSH1 0x04 0000032d: CALLDATALOAD 0000032e: PUSH1 0x24 00000330: CALLDATALOAD 00000331: CALLER 00000332: PUSH1 0x01 00000334: PUSH1 0xa0 00000336: PUSH1 0x02 00000338: EXP 00000339: SUB 0000033a: AND 0000033b: PUSH1 0x00 0000033d: SWAP1 0000033e: DUP2 0000033f: MSTORE 00000340: PUSH1 0x09 00000342: PUSH1 0x20 00000344: MSTORE 00000345: PUSH1 0x40 00000347: SWAP1 00000348: KECCAK256 00000349: SLOAD 0000034a: PUSH1 0xff 0000034c: AND 0000034d: PUSH1 0x01 0000034f: EQ 00000350: PUSH2 0x0a37 00000353: JUMPI 00000354: PUSH2 0x0002 00000357: JUMP 00000358: JUMPDEST 00000359: PUSH2 0x0505 0000035c: PUSH1 0x04 0000035e: CALLDATALOAD 0000035f: PUSH1 0x09 00000361: PUSH1 0x20 00000363: MSTORE 00000364: PUSH1 0x00 00000366: SWAP1 00000367: DUP2 00000368: MSTORE 00000369: PUSH1 0x40 0000036b: SWAP1 0000036c: KECCAK256 0000036d: SLOAD 0000036e: PUSH1 0xff 00000370: AND 00000371: DUP2 00000372: JUMP 00000373: JUMPDEST 00000374: PUSH2 0x04e6 00000377: PUSH1 0x04 00000379: CALLDATALOAD 0000037a: PUSH1 0x00 0000037c: SLOAD 0000037d: CALLER 0000037e: PUSH1 0x01 00000380: PUSH1 0xa0 00000382: PUSH1 0x02 00000384: EXP 00000385: SUB 00000386: SWAP1 00000387: DUP2 00000388: AND 00000389: SWAP2 0000038a: AND 0000038b: EQ 0000038c: PUSH2 0x0ad8 0000038f: JUMPI 00000390: PUSH2 0x0002 00000393: JUMP 00000394: JUMPDEST 00000395: PUSH2 0x04e6 00000398: PUSH1 0x04 0000039a: CALLDATALOAD 0000039b: PUSH1 0x00 0000039d: SLOAD 0000039e: CALLER 0000039f: PUSH1 0x01 000003a1: PUSH1 0xa0 000003a3: PUSH1 0x02 000003a5: EXP 000003a6: SUB 000003a7: SWAP1 000003a8: DUP2 000003a9: AND 000003aa: SWAP2 000003ab: AND 000003ac: EQ 000003ad: PUSH2 0x0add 000003b0: JUMPI 000003b1: PUSH2 0x0002 000003b4: JUMP 000003b5: JUMPDEST 000003b6: PUSH2 0x04e6 000003b9: PUSH1 0x04 000003bb: CALLDATALOAD 000003bc: PUSH1 0x00 000003be: SLOAD 000003bf: CALLER 000003c0: PUSH1 0x01 000003c2: PUSH1 0xa0 000003c4: PUSH1 0x02 000003c6: EXP 000003c7: SUB 000003c8: SWAP1 000003c9: DUP2 000003ca: AND 000003cb: SWAP2 000003cc: AND 000003cd: EQ 000003ce: PUSH2 0x0b01 000003d1: JUMPI 000003d2: PUSH2 0x0002 000003d5: JUMP 000003d6: JUMPDEST 000003d7: PUSH2 0x04e6 000003da: PUSH1 0x04 000003dc: CALLDATALOAD 000003dd: PUSH1 0x00 000003df: SLOAD 000003e0: CALLER 000003e1: PUSH1 0x01 000003e3: PUSH1 0xa0 000003e5: PUSH1 0x02 000003e7: EXP 000003e8: SUB 000003e9: SWAP1 000003ea: DUP2 000003eb: AND 000003ec: SWAP2 000003ed: AND 000003ee: EQ 000003ef: PUSH2 0x0b16 000003f2: JUMPI 000003f3: PUSH2 0x0002 000003f6: JUMP 000003f7: JUMPDEST 000003f8: PUSH2 0x04e6 000003fb: PUSH1 0x04 000003fd: CALLDATALOAD 000003fe: PUSH1 0x24 00000400: CALLDATALOAD 00000401: CALLER 00000402: PUSH1 0x01 00000404: PUSH1 0xa0 00000406: PUSH1 0x02 00000408: EXP 00000409: SUB 0000040a: AND 0000040b: PUSH1 0x00 0000040d: SWAP1 0000040e: DUP2 0000040f: MSTORE 00000410: PUSH1 0x09 00000412: PUSH1 0x20 00000414: MSTORE 00000415: PUSH1 0x40 00000417: SWAP1 00000418: KECCAK256 00000419: SLOAD 0000041a: PUSH1 0xff 0000041c: AND 0000041d: PUSH1 0x01 0000041f: EQ 00000420: PUSH2 0x0b2b 00000423: JUMPI 00000424: PUSH2 0x0002 00000427: JUMP 00000428: JUMPDEST 00000429: PUSH2 0x04e6 0000042c: PUSH1 0x04 0000042e: DUP1 0000042f: DUP1 00000430: CALLDATALOAD 00000431: SWAP1 00000432: PUSH1 0x20 00000434: ADD 00000435: SWAP1 00000436: DUP3 00000437: ADD 00000438: DUP1 00000439: CALLDATALOAD 0000043a: SWAP1 0000043b: PUSH1 0x20 0000043d: ADD 0000043e: SWAP2 0000043f: SWAP2 00000440: SWAP1 00000441: DUP1 00000442: DUP1 00000443: PUSH1 0x1f 00000445: ADD 00000446: PUSH1 0x20 00000448: DUP1 00000449: SWAP2 0000044a: DIV 0000044b: MUL 0000044c: PUSH1 0x20 0000044e: ADD 0000044f: PUSH1 0x40 00000451: MLOAD 00000452: SWAP1 00000453: DUP2 00000454: ADD 00000455: PUSH1 0x40 00000457: MSTORE 00000458: DUP1 00000459: SWAP4 0000045a: SWAP3 0000045b: SWAP2 0000045c: SWAP1 0000045d: DUP2 0000045e: DUP2 0000045f: MSTORE 00000460: PUSH1 0x20 00000462: ADD 00000463: DUP4 00000464: DUP4 00000465: DUP1 00000466: DUP3 00000467: DUP5 00000468: CALLDATACOPY 00000469: POP 0000046a: SWAP5 0000046b: SWAP7 0000046c: POP 0000046d: POP 0000046e: POP 0000046f: POP 00000470: POP 00000471: POP 00000472: POP 00000473: DUP1 00000474: PUSH1 0x08 00000476: PUSH1 0x00 00000478: POP 00000479: PUSH1 0x00 0000047b: CALLER 0000047c: PUSH1 0x01 0000047e: PUSH1 0xa0 00000480: PUSH1 0x02 00000482: EXP 00000483: SUB 00000484: AND 00000485: DUP2 00000486: MSTORE 00000487: PUSH1 0x20 00000489: ADD 0000048a: SWAP1 0000048b: DUP2 0000048c: MSTORE 0000048d: PUSH1 0x20 0000048f: ADD 00000490: PUSH1 0x00 00000492: KECCAK256 00000493: PUSH1 0x00 00000495: POP 00000496: SWAP1 00000497: DUP1 00000498: MLOAD 00000499: SWAP1 0000049a: PUSH1 0x20 0000049c: ADD 0000049d: SWAP1 0000049e: DUP3 0000049f: DUP1 000004a0: SLOAD 000004a1: PUSH1 0x01 000004a3: DUP2 000004a4: PUSH1 0x01 000004a6: AND 000004a7: ISZERO 000004a8: PUSH2 0x0100 000004ab: MUL 000004ac: SUB 000004ad: AND 000004ae: PUSH1 0x02 000004b0: SWAP1 000004b1: DIV 000004b2: SWAP1 000004b3: PUSH1 0x00 000004b5: MSTORE 000004b6: PUSH1 0x20 000004b8: PUSH1 0x00 000004ba: KECCAK256 000004bb: SWAP1 000004bc: PUSH1 0x1f 000004be: ADD 000004bf: PUSH1 0x20 000004c1: SWAP1 000004c2: DIV 000004c3: DUP2 000004c4: ADD 000004c5: SWAP3 000004c6: DUP3 000004c7: PUSH1 0x1f 000004c9: LT 000004ca: PUSH2 0x0bcc 000004cd: JUMPI 000004ce: DUP1 000004cf: MLOAD 000004d0: PUSH1 0xff 000004d2: NOT 000004d3: AND 000004d4: DUP4 000004d5: DUP1 000004d6: ADD 000004d7: OR 000004d8: DUP6 000004d9: SSTORE 000004da: JUMPDEST 000004db: POP 000004dc: PUSH2 0x0bfc 000004df: SWAP3 000004e0: SWAP2 000004e1: POP 000004e2: PUSH2 0x073a 000004e5: JUMP 000004e6: JUMPDEST 000004e7: STOP 000004e8: JUMPDEST 000004e9: PUSH1 0x40 000004eb: DUP1 000004ec: MLOAD 000004ed: PUSH1 0x01 000004ef: PUSH1 0xa0 000004f1: PUSH1 0x02 000004f3: EXP 000004f4: SUB 000004f5: SWAP3 000004f6: SWAP1 000004f7: SWAP3 000004f8: AND 000004f9: DUP3 000004fa: MSTORE 000004fb: MLOAD 000004fc: SWAP1 000004fd: DUP2 000004fe: SWAP1 000004ff: SUB 00000500: PUSH1 0x20 00000502: ADD 00000503: SWAP1 00000504: RETURN 00000505: JUMPDEST 00000506: PUSH1 0x40 00000508: DUP1 00000509: MLOAD 0000050a: PUSH1 0xff 0000050c: SWAP3 0000050d: SWAP1 0000050e: SWAP3 0000050f: AND 00000510: DUP3 00000511: MSTORE 00000512: MLOAD 00000513: SWAP1 00000514: DUP2 00000515: SWAP1 00000516: SUB 00000517: PUSH1 0x20 00000519: ADD 0000051a: SWAP1 0000051b: RETURN 0000051c: JUMPDEST 0000051d: PUSH1 0x40 0000051f: MLOAD 00000520: DUP1 00000521: DUP1 00000522: PUSH1 0x20 00000524: ADD 00000525: DUP3 00000526: DUP2 00000527: SUB 00000528: DUP3 00000529: MSTORE 0000052a: DUP4 0000052b: DUP2 0000052c: DUP2 0000052d: MLOAD 0000052e: DUP2 0000052f: MSTORE 00000530: PUSH1 0x20 00000532: ADD 00000533: SWAP2 00000534: POP 00000535: DUP1 00000536: MLOAD 00000537: SWAP1 00000538: PUSH1 0x20 0000053a: ADD 0000053b: SWAP1 0000053c: DUP1 0000053d: DUP4 0000053e: DUP4 0000053f: DUP3 00000540: SWAP1 00000541: PUSH1 0x00 00000543: PUSH1 0x04 00000545: PUSH1 0x20 00000547: DUP5 00000548: PUSH1 0x1f 0000054a: ADD 0000054b: DIV 0000054c: PUSH1 0x0f 0000054e: MUL 0000054f: PUSH1 0x03 00000551: ADD 00000552: CALL 00000553: POP 00000554: SWAP1 00000555: POP 00000556: SWAP1 00000557: DUP2 00000558: ADD 00000559: SWAP1 0000055a: PUSH1 0x1f 0000055c: AND 0000055d: DUP1 0000055e: ISZERO 0000055f: PUSH2 0x057c 00000562: JUMPI 00000563: DUP1 00000564: DUP3 00000565: SUB 00000566: DUP1 00000567: MLOAD 00000568: PUSH1 0x01 0000056a: DUP4 0000056b: PUSH1 0x20 0000056d: SUB 0000056e: PUSH2 0x0100 00000571: EXP 00000572: SUB 00000573: NOT 00000574: AND 00000575: DUP2 00000576: MSTORE 00000577: PUSH1 0x20 00000579: ADD 0000057a: SWAP2 0000057b: POP 0000057c: JUMPDEST 0000057d: POP 0000057e: SWAP3 0000057f: POP 00000580: POP 00000581: POP 00000582: PUSH1 0x40 00000584: MLOAD 00000585: DUP1 00000586: SWAP2 00000587: SUB 00000588: SWAP1 00000589: RETURN 0000058a: JUMPDEST 0000058b: PUSH1 0x40 0000058d: DUP1 0000058e: MLOAD 0000058f: SWAP2 00000590: DUP3 00000591: MSTORE 00000592: MLOAD 00000593: SWAP1 00000594: DUP2 00000595: SWAP1 00000596: SUB 00000597: PUSH1 0x20 00000599: ADD 0000059a: SWAP1 0000059b: RETURN 0000059c: JUMPDEST 0000059d: PUSH1 0x40 0000059f: DUP1 000005a0: MLOAD 000005a1: DUP5 000005a2: DUP2 000005a3: MSTORE 000005a4: PUSH1 0x20 000005a6: DUP2 000005a7: ADD 000005a8: DUP5 000005a9: SWAP1 000005aa: MSTORE 000005ab: PUSH1 0x60 000005ad: SWAP2 000005ae: DUP2 000005af: ADD 000005b0: DUP3 000005b1: DUP2 000005b2: MSTORE 000005b3: DUP4 000005b4: SLOAD 000005b5: PUSH1 0x02 000005b7: PUSH1 0x01 000005b9: DUP3 000005ba: AND 000005bb: ISZERO 000005bc: PUSH2 0x0100 000005bf: MUL 000005c0: PUSH1 0x00 000005c2: NOT 000005c3: ADD 000005c4: SWAP1 000005c5: SWAP2 000005c6: AND 000005c7: DIV 000005c8: SWAP3 000005c9: DUP3 000005ca: ADD 000005cb: DUP4 000005cc: SWAP1 000005cd: MSTORE 000005ce: SWAP1 000005cf: SWAP2 000005d0: PUSH1 0x80 000005d2: DUP4 000005d3: ADD 000005d4: SWAP1 000005d5: DUP5 000005d6: SWAP1 000005d7: DUP1 000005d8: ISZERO 000005d9: PUSH2 0x0623 000005dc: JUMPI 000005dd: DUP1 000005de: PUSH1 0x1f 000005e0: LT 000005e1: PUSH2 0x05f8 000005e4: JUMPI 000005e5: PUSH2 0x0100 000005e8: DUP1 000005e9: DUP4 000005ea: SLOAD 000005eb: DIV 000005ec: MUL 000005ed: DUP4 000005ee: MSTORE 000005ef: SWAP2 000005f0: PUSH1 0x20 000005f2: ADD 000005f3: SWAP2 000005f4: PUSH2 0x0623 000005f7: JUMP 000005f8: JUMPDEST 000005f9: DUP3 000005fa: ADD 000005fb: SWAP2 000005fc: SWAP1 000005fd: PUSH1 0x00 000005ff: MSTORE 00000600: PUSH1 0x20 00000602: PUSH1 0x00 00000604: KECCAK256 00000605: SWAP1 00000606: JUMPDEST 00000607: DUP2 00000608: SLOAD 00000609: DUP2 0000060a: MSTORE 0000060b: SWAP1 0000060c: PUSH1 0x01 0000060e: ADD 0000060f: SWAP1 00000610: PUSH1 0x20 00000612: ADD 00000613: DUP1 00000614: DUP4 00000615: GT 00000616: PUSH2 0x0606 00000619: JUMPI 0000061a: DUP3 0000061b: SWAP1 0000061c: SUB 0000061d: PUSH1 0x1f 0000061f: AND 00000620: DUP3 00000621: ADD 00000622: SWAP2 00000623: JUMPDEST 00000624: POP 00000625: POP 00000626: SWAP5 00000627: POP 00000628: POP 00000629: POP 0000062a: POP 0000062b: POP 0000062c: PUSH1 0x40 0000062e: MLOAD 0000062f: DUP1 00000630: SWAP2 00000631: SUB 00000632: SWAP1 00000633: RETURN 00000634: JUMPDEST 00000635: PUSH1 0x01 00000637: PUSH1 0xa0 00000639: PUSH1 0x02 0000063b: EXP 0000063c: SUB 0000063d: DUP3 0000063e: AND 0000063f: PUSH1 0x00 00000641: SWAP1 00000642: DUP2 00000643: MSTORE 00000644: PUSH1 0x07 00000646: PUSH1 0x20 00000648: MSTORE 00000649: PUSH1 0x40 0000064b: SWAP1 0000064c: KECCAK256 0000064d: DUP1 0000064e: SLOAD 0000064f: PUSH1 0xff 00000651: NOT 00000652: DUP2 00000653: AND 00000654: PUSH1 0xff 00000656: SWAP2 00000657: SWAP1 00000658: SWAP2 00000659: AND 0000065a: DUP4 0000065b: ADD 0000065c: OR 0000065d: SWAP1 0000065e: SSTORE 0000065f: POP 00000660: POP 00000661: JUMP 00000662: JUMPDEST 00000663: PUSH1 0x02 00000665: DUP1 00000666: SLOAD 00000667: PUSH1 0x01 00000669: PUSH1 0xa0 0000066b: PUSH1 0x02 0000066d: EXP 0000066e: SUB 0000066f: NOT 00000670: AND 00000671: DUP3 00000672: OR 00000673: SWAP1 00000674: SSTORE 00000675: POP 00000676: JUMP 00000677: JUMPDEST 00000678: DUP3 00000679: ADD 0000067a: SWAP2 0000067b: SWAP1 0000067c: PUSH1 0x00 0000067e: MSTORE 0000067f: PUSH1 0x20 00000681: PUSH1 0x00 00000683: KECCAK256 00000684: SWAP1 00000685: JUMPDEST 00000686: DUP2 00000687: SLOAD 00000688: DUP2 00000689: MSTORE 0000068a: SWAP1 0000068b: PUSH1 0x01 0000068d: ADD 0000068e: SWAP1 0000068f: PUSH1 0x20 00000691: ADD 00000692: DUP1 00000693: DUP4 00000694: GT 00000695: PUSH2 0x0685 00000698: JUMPI 00000699: DUP3 0000069a: SWAP1 0000069b: SUB 0000069c: PUSH1 0x1f 0000069e: AND 0000069f: DUP3 000006a0: ADD 000006a1: SWAP2 000006a2: JUMPDEST 000006a3: POP 000006a4: POP 000006a5: POP 000006a6: POP 000006a7: POP 000006a8: DUP2 000006a9: JUMP 000006aa: JUMPDEST 000006ab: PUSH1 0x01 000006ad: PUSH1 0xa0 000006af: PUSH1 0x02 000006b1: EXP 000006b2: SUB 000006b3: DUP2 000006b4: AND 000006b5: PUSH1 0x00 000006b7: SWAP1 000006b8: DUP2 000006b9: MSTORE 000006ba: PUSH1 0x06 000006bc: PUSH1 0x20 000006be: SWAP1 000006bf: DUP2 000006c0: MSTORE 000006c1: PUSH1 0x40 000006c3: DUP1 000006c4: DUP4 000006c5: KECCAK256 000006c6: PUSH1 0x05 000006c8: DUP4 000006c9: MSTORE 000006ca: SWAP1 000006cb: DUP4 000006cc: KECCAK256 000006cd: DUP2 000006ce: SLOAD 000006cf: DUP2 000006d0: SSTORE 000006d1: PUSH1 0x01 000006d3: DUP3 000006d4: DUP2 000006d5: ADD 000006d6: SLOAD 000006d7: DUP3 000006d8: DUP3 000006d9: ADD 000006da: SSTORE 000006db: PUSH1 0x02 000006dd: DUP4 000006de: DUP2 000006df: ADD 000006e0: DUP1 000006e1: SLOAD 000006e2: DUP5 000006e3: DUP4 000006e4: ADD 000006e5: DUP1 000006e6: SLOAD 000006e7: DUP2 000006e8: DUP11 000006e9: MSTORE 000006ea: SWAP9 000006eb: DUP9 000006ec: SWAP1 000006ed: KECCAK256 000006ee: SWAP7 000006ef: SWAP9 000006f0: SWAP6 000006f1: SWAP8 000006f2: SWAP1 000006f3: SWAP7 000006f4: DUP7 000006f5: DUP7 000006f6: AND 000006f7: ISZERO 000006f8: PUSH2 0x0100 000006fb: SWAP1 000006fc: DUP2 000006fd: MUL 000006fe: PUSH1 0x00 00000700: NOT 00000701: SWAP1 00000702: DUP2 00000703: ADD 00000704: SWAP1 00000705: SWAP9 00000706: AND 00000707: DUP7 00000708: SWAP1 00000709: DIV 0000070a: PUSH1 0x1f 0000070c: SWAP1 0000070d: DUP2 0000070e: ADD 0000070f: SWAP4 00000710: SWAP1 00000711: SWAP4 00000712: DIV 00000713: DUP3 00000714: ADD 00000715: SWAP8 00000716: SWAP7 00000717: DUP5 00000718: AND 00000719: ISZERO 0000071a: MUL 0000071b: SWAP1 0000071c: SWAP6 0000071d: ADD 0000071e: SWAP1 0000071f: SWAP2 00000720: AND 00000721: SWAP3 00000722: SWAP1 00000723: SWAP3 00000724: DIV 00000725: SWAP3 00000726: SWAP2 00000727: DUP4 00000728: SWAP1 00000729: LT 0000072a: PUSH2 0x074e 0000072d: JUMPI 0000072e: DUP1 0000072f: SLOAD 00000730: DUP6 00000731: SSTORE 00000732: JUMPDEST 00000733: POP 00000734: PUSH2 0x078a 00000737: SWAP3 00000738: SWAP2 00000739: POP 0000073a: JUMPDEST 0000073b: DUP1 0000073c: DUP3 0000073d: GT 0000073e: ISZERO 0000073f: PUSH2 0x07b5 00000742: JUMPI 00000743: PUSH1 0x00 00000745: DUP2 00000746: SSTORE 00000747: PUSH1 0x01 00000749: ADD 0000074a: PUSH2 0x073a 0000074d: JUMP 0000074e: JUMPDEST 0000074f: DUP3 00000750: DUP1 00000751: ADD 00000752: PUSH1 0x01 00000754: ADD 00000755: DUP6 00000756: SSTORE 00000757: DUP3 00000758: ISZERO 00000759: PUSH2 0x0732 0000075c: JUMPI 0000075d: PUSH1 0x00 0000075f: MSTORE 00000760: PUSH1 0x20 00000762: PUSH1 0x00 00000764: KECCAK256 00000765: SWAP2 00000766: PUSH1 0x1f 00000768: ADD 00000769: PUSH1 0x20 0000076b: SWAP1 0000076c: DIV 0000076d: DUP3 0000076e: ADD 0000076f: JUMPDEST 00000770: DUP3 00000771: DUP2 00000772: GT 00000773: ISZERO 00000774: PUSH2 0x0732 00000777: JUMPI 00000778: DUP3 00000779: SLOAD 0000077a: DUP3 0000077b: SSTORE 0000077c: SWAP2 0000077d: PUSH1 0x01 0000077f: ADD 00000780: SWAP2 00000781: SWAP1 00000782: PUSH1 0x01 00000784: ADD 00000785: SWAP1 00000786: PUSH2 0x076f 00000789: JUMP 0000078a: JUMPDEST 0000078b: POP 0000078c: POP 0000078d: PUSH1 0x40 0000078f: MLOAD 00000790: CALLER 00000791: PUSH1 0x01 00000793: PUSH1 0xa0 00000795: PUSH1 0x02 00000797: EXP 00000798: SUB 00000799: SWAP1 0000079a: DUP2 0000079b: AND 0000079c: SWAP4 0000079d: POP 0000079e: PUSH1 0x00 000007a0: SWAP3 000007a1: POP 000007a2: ADDRESS 000007a3: AND 000007a4: BALANCE 000007a5: SWAP1 000007a6: DUP3 000007a7: DUP2 000007a8: DUP2 000007a9: DUP2 000007aa: DUP6 000007ab: DUP9 000007ac: DUP4 000007ad: CALL 000007ae: POP 000007af: POP 000007b0: POP 000007b1: POP 000007b2: POP 000007b3: POP 000007b4: JUMP 000007b5: JUMPDEST 000007b6: POP 000007b7: SWAP1 000007b8: JUMP 000007b9: JUMPDEST 000007ba: PUSH1 0x04 000007bc: SSTORE 000007bd: JUMP 000007be: JUMPDEST 000007bf: CALLER 000007c0: PUSH1 0x01 000007c2: PUSH1 0xa0 000007c4: PUSH1 0x02 000007c6: EXP 000007c7: SUB 000007c8: AND 000007c9: PUSH1 0x00 000007cb: SWAP1 000007cc: DUP2 000007cd: MSTORE 000007ce: PUSH1 0x07 000007d0: PUSH1 0x20 000007d2: MSTORE 000007d3: PUSH1 0x40 000007d5: SWAP1 000007d6: KECCAK256 000007d7: DUP1 000007d8: SLOAD 000007d9: PUSH1 0xff 000007db: NOT 000007dc: DUP2 000007dd: AND 000007de: PUSH1 0xff 000007e0: SWAP2 000007e1: SWAP1 000007e2: SWAP2 000007e3: AND 000007e4: PUSH1 0x00 000007e6: NOT 000007e7: ADD 000007e8: OR 000007e9: SWAP1 000007ea: SSTORE 000007eb: JUMPDEST 000007ec: CALLER 000007ed: PUSH1 0x01 000007ef: PUSH1 0xa0 000007f1: PUSH1 0x02 000007f3: EXP 000007f4: SUB 000007f5: AND 000007f6: PUSH1 0x00 000007f8: SWAP1 000007f9: DUP2 000007fa: MSTORE 000007fb: PUSH1 0x05 000007fd: PUSH1 0x20 000007ff: MSTORE 00000800: PUSH1 0x40 00000802: SWAP1 00000803: KECCAK256 00000804: PUSH1 0x01 00000806: ADD 00000807: SLOAD 00000808: DUP2 00000809: LT 0000080a: ISZERO 0000080b: PUSH2 0x0813 0000080e: JUMPI 0000080f: PUSH2 0x0002 00000812: JUMP 00000813: JUMPDEST 00000814: CALLER 00000815: PUSH1 0x01 00000817: PUSH1 0xa0 00000819: PUSH1 0x02 0000081b: EXP 0000081c: SUB 0000081d: AND 0000081e: PUSH1 0x00 00000820: SWAP1 00000821: DUP2 00000822: MSTORE 00000823: PUSH1 0x06 00000825: PUSH1 0x20 00000827: MSTORE 00000828: PUSH1 0x40 0000082a: SWAP1 0000082b: KECCAK256 0000082c: PUSH1 0x01 0000082e: ADD 0000082f: SLOAD 00000830: DUP2 00000831: LT 00000832: ISZERO 00000833: PUSH2 0x083b 00000836: JUMPI 00000837: PUSH2 0x0002 0000083a: JUMP 0000083b: JUMPDEST 0000083c: PUSH1 0x04 0000083e: SLOAD 0000083f: CALLER 00000840: PUSH1 0x01 00000842: PUSH1 0xa0 00000844: PUSH1 0x02 00000846: EXP 00000847: SUB 00000848: AND 00000849: PUSH1 0x00 0000084b: SWAP1 0000084c: DUP2 0000084d: MSTORE 0000084e: PUSH1 0x05 00000850: PUSH1 0x20 00000852: MSTORE 00000853: PUSH1 0x40 00000855: SWAP1 00000856: KECCAK256 00000857: SLOAD 00000858: ADD 00000859: TIMESTAMP 0000085a: LT 0000085b: ISZERO 0000085c: PUSH2 0x0864 0000085f: JUMPI 00000860: PUSH2 0x0002 00000863: JUMP 00000864: JUMPDEST 00000865: PUSH1 0x40 00000867: DUP1 00000868: MLOAD 00000869: PUSH1 0x60 0000086b: DUP2 0000086c: ADD 0000086d: DUP3 0000086e: MSTORE 0000086f: TIMESTAMP 00000870: DUP2 00000871: MSTORE 00000872: PUSH1 0x20 00000874: DUP2 00000875: DUP2 00000876: ADD 00000877: DUP5 00000878: SWAP1 00000879: MSTORE 0000087a: CALLER 0000087b: PUSH1 0x01 0000087d: PUSH1 0xa0 0000087f: PUSH1 0x02 00000881: EXP 00000882: SUB 00000883: AND 00000884: PUSH1 0x00 00000886: SWAP1 00000887: DUP2 00000888: MSTORE 00000889: PUSH1 0x08 0000088b: DUP3 0000088c: MSTORE 0000088d: DUP4 0000088e: SWAP1 0000088f: KECCAK256 00000890: DUP1 00000891: SLOAD 00000892: DUP5 00000893: MLOAD 00000894: PUSH1 0x02 00000896: PUSH1 0x01 00000898: DUP4 00000899: AND 0000089a: ISZERO 0000089b: PUSH2 0x0100 0000089e: MUL 0000089f: PUSH1 0x00 000008a1: NOT 000008a2: ADD 000008a3: SWAP1 000008a4: SWAP3 000008a5: AND 000008a6: SWAP2 000008a7: SWAP1 000008a8: SWAP2 000008a9: DIV 000008aa: PUSH1 0x1f 000008ac: DUP2 000008ad: ADD 000008ae: DUP5 000008af: SWAP1 000008b0: DIV 000008b1: DUP5 000008b2: MUL 000008b3: DUP3 000008b4: ADD 000008b5: DUP5 000008b6: ADD 000008b7: DUP7 000008b8: MSTORE 000008b9: DUP1 000008ba: DUP3 000008bb: MSTORE 000008bc: SWAP4 000008bd: SWAP5 000008be: DUP6 000008bf: ADD 000008c0: SWAP4 000008c1: SWAP1 000008c2: SWAP3 000008c3: DUP4 000008c4: ADD 000008c5: DUP3 000008c6: DUP3 000008c7: DUP1 000008c8: ISZERO 000008c9: PUSH2 0x0913 000008cc: JUMPI 000008cd: DUP1 000008ce: PUSH1 0x1f 000008d0: LT 000008d1: PUSH2 0x08e8 000008d4: JUMPI 000008d5: PUSH2 0x0100 000008d8: DUP1 000008d9: DUP4 000008da: SLOAD 000008db: DIV 000008dc: MUL 000008dd: DUP4 000008de: MSTORE 000008df: SWAP2 000008e0: PUSH1 0x20 000008e2: ADD 000008e3: SWAP2 000008e4: PUSH2 0x0913 000008e7: JUMP 000008e8: JUMPDEST 000008e9: DUP3 000008ea: ADD 000008eb: SWAP2 000008ec: SWAP1 000008ed: PUSH1 0x00 000008ef: MSTORE 000008f0: PUSH1 0x20 000008f2: PUSH1 0x00 000008f4: KECCAK256 000008f5: SWAP1 000008f6: JUMPDEST 000008f7: DUP2 000008f8: SLOAD 000008f9: DUP2 000008fa: MSTORE 000008fb: SWAP1 000008fc: PUSH1 0x01 000008fe: ADD 000008ff: SWAP1 00000900: PUSH1 0x20 00000902: ADD 00000903: DUP1 00000904: DUP4 00000905: GT 00000906: PUSH2 0x08f6 00000909: JUMPI 0000090a: DUP3 0000090b: SWAP1 0000090c: SUB 0000090d: PUSH1 0x1f 0000090f: AND 00000910: DUP3 00000911: ADD 00000912: SWAP2 00000913: JUMPDEST 00000914: POP 00000915: POP 00000916: POP 00000917: SWAP2 00000918: SWAP1 00000919: SWAP3 0000091a: MSTORE 0000091b: POP 0000091c: POP 0000091d: CALLER 0000091e: PUSH1 0x01 00000920: PUSH1 0xa0 00000922: PUSH1 0x02 00000924: EXP 00000925: SUB 00000926: AND 00000927: PUSH1 0x00 00000929: SWAP1 0000092a: DUP2 0000092b: MSTORE 0000092c: PUSH1 0x06 0000092e: PUSH1 0x20 00000930: SWAP1 00000931: DUP2 00000932: MSTORE 00000933: PUSH1 0x40 00000935: DUP1 00000936: DUP4 00000937: KECCAK256 00000938: DUP5 00000939: MLOAD 0000093a: DUP2 0000093b: SSTORE 0000093c: DUP5 0000093d: DUP4 0000093e: ADD 0000093f: MLOAD 00000940: PUSH1 0x01 00000942: DUP3 00000943: DUP2 00000944: ADD 00000945: SWAP2 00000946: SWAP1 00000947: SWAP2 00000948: SSTORE 00000949: SWAP2 0000094a: DUP6 0000094b: ADD 0000094c: MLOAD 0000094d: DUP1 0000094e: MLOAD 0000094f: PUSH1 0x02 00000951: DUP4 00000952: DUP2 00000953: ADD 00000954: DUP1 00000955: SLOAD 00000956: DUP2 00000957: DUP10 00000958: MSTORE 00000959: SWAP8 0000095a: DUP8 0000095b: SWAP1 0000095c: KECCAK256 0000095d: SWAP5 0000095e: SWAP8 0000095f: SWAP1 00000960: SWAP7 00000961: SWAP6 00000962: DUP2 00000963: AND 00000964: ISZERO 00000965: PUSH2 0x0100 00000968: MUL 00000969: PUSH1 0x00 0000096b: NOT 0000096c: ADD 0000096d: AND 0000096e: DIV 0000096f: PUSH1 0x1f 00000971: SWAP1 00000972: DUP2 00000973: ADD 00000974: DUP6 00000975: SWAP1 00000976: DIV 00000977: DUP5 00000978: ADD 00000979: SWAP5 0000097a: SWAP2 0000097b: SWAP4 0000097c: SWAP3 0000097d: SWAP1 0000097e: SWAP2 0000097f: ADD 00000980: SWAP1 00000981: DUP4 00000982: SWAP1 00000983: LT 00000984: PUSH2 0x09a0 00000987: JUMPI 00000988: DUP1 00000989: MLOAD 0000098a: PUSH1 0xff 0000098c: NOT 0000098d: AND 0000098e: DUP4 0000098f: DUP1 00000990: ADD 00000991: OR 00000992: DUP6 00000993: SSTORE 00000994: JUMPDEST 00000995: POP 00000996: PUSH2 0x09d0 00000999: SWAP3 0000099a: SWAP2 0000099b: POP 0000099c: PUSH2 0x073a 0000099f: JUMP 000009a0: JUMPDEST 000009a1: DUP3 000009a2: DUP1 000009a3: ADD 000009a4: PUSH1 0x01 000009a6: ADD 000009a7: DUP6 000009a8: SSTORE 000009a9: DUP3 000009aa: ISZERO 000009ab: PUSH2 0x0994 000009ae: JUMPI 000009af: SWAP2 000009b0: DUP3 000009b1: ADD 000009b2: JUMPDEST 000009b3: DUP3 000009b4: DUP2 000009b5: GT 000009b6: ISZERO 000009b7: PUSH2 0x0994 000009ba: JUMPI 000009bb: DUP3 000009bc: MLOAD 000009bd: DUP3 000009be: PUSH1 0x00 000009c0: POP 000009c1: SSTORE 000009c2: SWAP2 000009c3: PUSH1 0x20 000009c5: ADD 000009c6: SWAP2 000009c7: SWAP1 000009c8: PUSH1 0x01 000009ca: ADD 000009cb: SWAP1 000009cc: PUSH2 0x09b2 000009cf: JUMP 000009d0: JUMPDEST 000009d1: POP 000009d2: POP 000009d3: PUSH1 0x40 000009d5: DUP1 000009d6: MLOAD 000009d7: CALLER 000009d8: PUSH1 0x01 000009da: PUSH1 0xa0 000009dc: PUSH1 0x02 000009de: EXP 000009df: SUB 000009e0: AND 000009e1: DUP2 000009e2: MSTORE 000009e3: SWAP1 000009e4: MLOAD 000009e5: PUSH32 0x35c4de7ab716a190e41b97baf8dfb70e1e644d7d9d6944a616831ee9d0c53fcc 00000a06: SWAP4 00000a07: POP 00000a08: SWAP1 00000a09: DUP2 00000a0a: SWAP1 00000a0b: SUB 00000a0c: PUSH1 0x20 00000a0e: ADD 00000a0f: SWAP2 00000a10: POP 00000a11: LOG1 00000a12: PUSH1 0x00 00000a14: DUP1 00000a15: SLOAD 00000a16: PUSH1 0x40 00000a18: MLOAD 00000a19: PUSH1 0x01 00000a1b: PUSH1 0xa0 00000a1d: PUSH1 0x02 00000a1f: EXP 00000a20: SUB 00000a21: SWAP1 00000a22: SWAP2 00000a23: AND 00000a24: SWAP2 00000a25: SWAP1 00000a26: CALLVALUE 00000a27: SWAP1 00000a28: DUP3 00000a29: DUP2 00000a2a: DUP2 00000a2b: DUP2 00000a2c: DUP6 00000a2d: DUP9 00000a2e: DUP4 00000a2f: CALL 00000a30: POP 00000a31: POP 00000a32: POP 00000a33: POP 00000a34: POP 00000a35: POP 00000a36: JUMP 00000a37: JUMPDEST 00000a38: PUSH1 0x02 00000a3a: SLOAD 00000a3b: PUSH1 0x40 00000a3d: DUP1 00000a3e: MLOAD 00000a3f: PUSH1 0xe3 00000a41: PUSH1 0x02 00000a43: EXP 00000a44: PUSH4 0x0f38ca0d 00000a49: MUL 00000a4a: DUP2 00000a4b: MSTORE 00000a4c: PUSH1 0x01 00000a4e: PUSH1 0xa0 00000a50: PUSH1 0x02 00000a52: EXP 00000a53: SUB 00000a54: DUP6 00000a55: DUP2 00000a56: AND 00000a57: PUSH1 0x04 00000a59: DUP4 00000a5a: ADD 00000a5b: MSTORE 00000a5c: PUSH1 0x24 00000a5e: DUP3 00000a5f: ADD 00000a60: DUP6 00000a61: SWAP1 00000a62: MSTORE 00000a63: SWAP2 00000a64: MLOAD 00000a65: SWAP3 00000a66: SWAP1 00000a67: SWAP2 00000a68: AND 00000a69: SWAP2 00000a6a: PUSH4 0x79c65068 00000a6f: SWAP2 00000a70: PUSH1 0x44 00000a72: DUP2 00000a73: DUP2 00000a74: ADD 00000a75: SWAP3 00000a76: PUSH1 0x00 00000a78: SWAP3 00000a79: SWAP1 00000a7a: SWAP2 00000a7b: SWAP1 00000a7c: DUP3 00000a7d: SWAP1 00000a7e: SUB 00000a7f: ADD 00000a80: DUP2 00000a81: DUP4 00000a82: DUP8 00000a83: PUSH2 0x61da 00000a86: GAS 00000a87: SUB 00000a88: CALL 00000a89: ISZERO 00000a8a: PUSH2 0x0002 00000a8d: JUMPI 00000a8e: POP 00000a8f: POP 00000a90: PUSH1 0x40 00000a92: DUP1 00000a93: MLOAD 00000a94: PUSH1 0x01 00000a96: PUSH1 0xa0 00000a98: PUSH1 0x02 00000a9a: EXP 00000a9b: SUB 00000a9c: DUP6 00000a9d: AND 00000a9e: DUP2 00000a9f: MSTORE 00000aa0: PUSH1 0x20 00000aa2: DUP2 00000aa3: ADD 00000aa4: DUP5 00000aa5: SWAP1 00000aa6: MSTORE 00000aa7: DUP2 00000aa8: MLOAD 00000aa9: PUSH32 0x33ee22979b93a36a72f3445d310492eb05058f9b2fc265c2292f7114d453b8e0 00000aca: SWAP4 00000acb: POP 00000acc: SWAP1 00000acd: DUP2 00000ace: SWAP1 00000acf: SUB 00000ad0: SWAP1 00000ad1: SWAP2 00000ad2: ADD 00000ad3: SWAP1 00000ad4: LOG1 00000ad5: POP 00000ad6: POP 00000ad7: JUMP 00000ad8: JUMPDEST 00000ad9: PUSH1 0x03 00000adb: SSTORE 00000adc: JUMP 00000add: JUMPDEST 00000ade: PUSH1 0x01 00000ae0: PUSH1 0xa0 00000ae2: PUSH1 0x02 00000ae4: EXP 00000ae5: SUB 00000ae6: AND 00000ae7: PUSH1 0x00 00000ae9: SWAP1 00000aea: DUP2 00000aeb: MSTORE 00000aec: PUSH1 0x09 00000aee: PUSH1 0x20 00000af0: MSTORE 00000af1: PUSH1 0x40 00000af3: SWAP1 00000af4: KECCAK256 00000af5: DUP1 00000af6: SLOAD 00000af7: PUSH1 0xff 00000af9: NOT 00000afa: AND 00000afb: PUSH1 0x01 00000afd: OR 00000afe: SWAP1 00000aff: SSTORE 00000b00: JUMP 00000b01: JUMPDEST 00000b02: PUSH1 0x01 00000b04: DUP1 00000b05: SLOAD 00000b06: PUSH1 0x01 00000b08: PUSH1 0xa0 00000b0a: PUSH1 0x02 00000b0c: EXP 00000b0d: SUB 00000b0e: NOT 00000b0f: AND 00000b10: DUP3 00000b11: OR 00000b12: SWAP1 00000b13: SSTORE 00000b14: POP 00000b15: JUMP 00000b16: JUMPDEST 00000b17: PUSH1 0x00 00000b19: DUP1 00000b1a: SLOAD 00000b1b: PUSH1 0x01 00000b1d: PUSH1 0xa0 00000b1f: PUSH1 0x02 00000b21: EXP 00000b22: SUB 00000b23: NOT 00000b24: AND 00000b25: DUP3 00000b26: OR 00000b27: SWAP1 00000b28: SSTORE 00000b29: POP 00000b2a: JUMP 00000b2b: JUMPDEST 00000b2c: PUSH1 0x01 00000b2e: SLOAD 00000b2f: PUSH1 0x40 00000b31: DUP1 00000b32: MLOAD 00000b33: PUSH1 0xe3 00000b35: PUSH1 0x02 00000b37: EXP 00000b38: PUSH4 0x0f38ca0d 00000b3d: MUL 00000b3e: DUP2 00000b3f: MSTORE 00000b40: PUSH1 0x01 00000b42: PUSH1 0xa0 00000b44: PUSH1 0x02 00000b46: EXP 00000b47: SUB 00000b48: DUP6 00000b49: DUP2 00000b4a: AND 00000b4b: PUSH1 0x04 00000b4d: DUP4 00000b4e: ADD 00000b4f: MSTORE 00000b50: PUSH1 0x24 00000b52: DUP3 00000b53: ADD 00000b54: DUP6 00000b55: SWAP1 00000b56: MSTORE 00000b57: SWAP2 00000b58: MLOAD 00000b59: SWAP3 00000b5a: SWAP1 00000b5b: SWAP2 00000b5c: AND 00000b5d: SWAP2 00000b5e: PUSH4 0x79c65068 00000b63: SWAP2 00000b64: PUSH1 0x44 00000b66: DUP2 00000b67: DUP2 00000b68: ADD 00000b69: SWAP3 00000b6a: PUSH1 0x00 00000b6c: SWAP3 00000b6d: SWAP1 00000b6e: SWAP2 00000b6f: SWAP1 00000b70: DUP3 00000b71: SWAP1 00000b72: SUB 00000b73: ADD 00000b74: DUP2 00000b75: DUP4 00000b76: DUP8 00000b77: PUSH2 0x61da 00000b7a: GAS 00000b7b: SUB 00000b7c: CALL 00000b7d: ISZERO 00000b7e: PUSH2 0x0002 00000b81: JUMPI 00000b82: POP 00000b83: POP 00000b84: PUSH1 0x40 00000b86: DUP1 00000b87: MLOAD 00000b88: PUSH1 0x01 00000b8a: PUSH1 0xa0 00000b8c: PUSH1 0x02 00000b8e: EXP 00000b8f: SUB 00000b90: DUP6 00000b91: AND 00000b92: DUP2 00000b93: MSTORE 00000b94: PUSH1 0x20 00000b96: DUP2 00000b97: ADD 00000b98: DUP5 00000b99: SWAP1 00000b9a: MSTORE 00000b9b: DUP2 00000b9c: MLOAD 00000b9d: PUSH32 0x123841cf5bdd29c70e8474e9691152a6d3041897db89172d79b644f140bcc513 00000bbe: SWAP4 00000bbf: POP 00000bc0: SWAP1 00000bc1: DUP2 00000bc2: SWAP1 00000bc3: SUB 00000bc4: SWAP1 00000bc5: SWAP2 00000bc6: ADD 00000bc7: SWAP1 00000bc8: LOG1 00000bc9: POP 00000bca: POP 00000bcb: JUMP 00000bcc: JUMPDEST 00000bcd: DUP3 00000bce: DUP1 00000bcf: ADD 00000bd0: PUSH1 0x01 00000bd2: ADD 00000bd3: DUP6 00000bd4: SSTORE 00000bd5: DUP3 00000bd6: ISZERO 00000bd7: PUSH2 0x04da 00000bda: JUMPI 00000bdb: SWAP2 00000bdc: DUP3 00000bdd: ADD 00000bde: JUMPDEST 00000bdf: DUP3 00000be0: DUP2 00000be1: GT 00000be2: ISZERO 00000be3: PUSH2 0x04da 00000be6: JUMPI 00000be7: DUP3 00000be8: MLOAD 00000be9: DUP3 00000bea: PUSH1 0x00 00000bec: POP 00000bed: SSTORE 00000bee: SWAP2 00000bef: PUSH1 0x20 00000bf1: ADD 00000bf2: SWAP2 00000bf3: SWAP1 00000bf4: PUSH1 0x01 00000bf6: ADD 00000bf7: SWAP1 00000bf8: PUSH2 0x0bde 00000bfb: JUMP 00000bfc: JUMPDEST 00000bfd: POP 00000bfe: POP 00000bff: POP 00000c00: 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 |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x7286e5583467dfa1d606aa33a2ed3392f8477751cf4293e6fe28ceebe09f3947
call_targets:
0xa39394d3447c1dbd386b92b4d1fcc22ca85eae67
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7286e5583467dfa1d606aa33a2ed3392f8477751cf4293e6fe28ceebe09f3947",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa39394d3447c1dbd386b92b4d1fcc22ca85eae67"
],
"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": "0x02b32af5",
"selector": "0x02b32af5",
"calldata_variants": [
"0x02b32af5",
"0x02b32af50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0399c357",
"selector": "0x0399c357",
"calldata_variants": [
"0x0399c357",
"0x0399c3570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06dafac6",
"selector": "0x06dafac6",
"calldata_variants": [
"0x06dafac6",
"0x06dafac60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x11d15e17",
"selector": "0x11d15e17",
"calldata_variants": [
"0x11d15e17",
"0x11d15e170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22e77ff3",
"selector": "0x22e77ff3",
"calldata_variants": [
"0x22e77ff3",
"0x22e77ff30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x26866160",
"selector": "0x26866160",
"calldata_variants": [
"0x26866160",
"0x268661600000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x355474d2",
"selector": "0x355474d2",
"calldata_variants": [
"0x355474d2",
"0x355474d20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4299c213",
"selector": "0x4299c213",
"calldata_variants": [
"0x4299c213",
"0x4299c2130000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 304,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1362,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1965,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [],
"untrusted_call_count": 6
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x7286e5583467dfa1d606aa33a2ed3392f8477751cf4293e6fe28ceebe09f3947
call_targets:
0xa39394d3447c1dbd386b92b4d1fcc22ca85eae67
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7286e5583467dfa1d606aa33a2ed3392f8477751cf4293e6fe28ceebe09f3947",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa39394d3447c1dbd386b92b4d1fcc22ca85eae67"
],
"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": "0x02b32af5",
"selector": "0x02b32af5",
"calldata_variants": [
"0x02b32af5",
"0x02b32af50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0399c357",
"selector": "0x0399c357",
"calldata_variants": [
"0x0399c357",
"0x0399c3570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06dafac6",
"selector": "0x06dafac6",
"calldata_variants": [
"0x06dafac6",
"0x06dafac60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x11d15e17",
"selector": "0x11d15e17",
"calldata_variants": [
"0x11d15e17",
"0x11d15e170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22e77ff3",
"selector": "0x22e77ff3",
"calldata_variants": [
"0x22e77ff3",
"0x22e77ff30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x26866160",
"selector": "0x26866160",
"calldata_variants": [
"0x26866160",
"0x268661600000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x355474d2",
"selector": "0x355474d2",
"calldata_variants": [
"0x355474d2",
"0x355474d20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4299c213",
"selector": "0x4299c213",
"calldata_variants": [
"0x4299c213",
"0x4299c2130000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 304,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1362,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1965,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": []
}
|