019b3836-3fef-73a4-addb-95d5fffe6f36
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 |
|---|---|---|---|---|
| 5133 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 5134 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 48840 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 48841 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 48842 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 48843 | 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 0x0ad95b44 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0111 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x11613fc9 00000025: EQ 00000026: PUSH2 0x0197 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x146ca531 00000030: EQ 00000031: PUSH2 0x01a0 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x5841b9bf 0000003b: EQ 0000003c: PUSH2 0x01b6 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x7e32a592 00000046: EQ 00000047: PUSH2 0x01bf 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x816f3f4d 00000051: EQ 00000052: PUSH2 0x01fa 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x9935b968 0000005c: EQ 0000005d: PUSH2 0x0213 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x9a8f09bd 00000067: EQ 00000068: PUSH2 0x021c 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0xa2e7241c 00000072: EQ 00000073: PUSH2 0x0281 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0xb117a3e8 0000007d: EQ 0000007e: PUSH2 0x02c7 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xb7d5d4c0 00000088: EQ 00000089: PUSH2 0x02d0 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xbd6bbc31 00000093: EQ 00000094: PUSH2 0x02d9 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xbd7b09e4 0000009e: EQ 0000009f: PUSH2 0x02e2 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xccf1ab9b 000000a9: EQ 000000aa: PUSH2 0x02f1 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xd466a03f 000000b4: EQ 000000b5: PUSH2 0x031d 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xd4d5d32a 000000bf: EQ 000000c0: PUSH2 0x0348 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xd94395e2 000000ca: EQ 000000cb: PUSH2 0x038a 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xd954cbcb 000000d5: EQ 000000d6: PUSH2 0x03a1 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xe2202a4d 000000e0: EQ 000000e1: PUSH2 0x03aa 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xe684aa5c 000000eb: EQ 000000ec: PUSH2 0x03bc 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xf113fccd 000000f6: EQ 000000f7: PUSH2 0x03c5 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xf64c08b1 00000101: EQ 00000102: PUSH2 0x03d7 00000105: JUMPI 00000106: JUMPDEST 00000107: PUSH2 0x03e0 0000010a: PUSH2 0x03e2 0000010d: PUSH2 0x01c3 00000110: JUMP 00000111: JUMPDEST 00000112: PUSH2 0x03e0 00000115: PUSH8 0x016345785d8a0000 0000011e: CALLVALUE 0000011f: DUP2 00000120: SWAP1 00000121: LT 00000122: PUSH2 0x0b3f 00000125: JUMPI 00000126: PUSH1 0x07 00000128: SLOAD 00000129: PUSH1 0x01 0000012b: SLOAD 0000012c: PUSH1 0x40 0000012e: MLOAD 0000012f: PUSH1 0x01 00000131: PUSH1 0xa0 00000133: PUSH1 0x02 00000135: EXP 00000136: SUB 00000137: SWAP2 00000138: SWAP1 00000139: SWAP2 0000013a: AND 0000013b: SWAP2 0000013c: PUSH1 0x00 0000013e: SWAP2 0000013f: DUP3 00000140: DUP2 00000141: DUP2 00000142: DUP2 00000143: DUP6 00000144: DUP9 00000145: DUP4 00000146: CALL 00000147: POP 00000148: POP 00000149: POP 0000014a: PUSH1 0x07 0000014c: DUP2 0000014d: SWAP1 0000014e: SSTORE 0000014f: PUSH1 0x01 00000151: DUP1 00000152: SLOAD 00000153: PUSH1 0x01 00000155: PUSH1 0xa0 00000157: PUSH1 0x02 00000159: EXP 0000015a: SUB 0000015b: NOT 0000015c: AND 0000015d: CALLER 0000015e: SWAP1 0000015f: DUP2 00000160: OR 00000161: SWAP1 00000162: SWAP2 00000163: SSTORE 00000164: PUSH1 0x40 00000166: MLOAD 00000167: PUSH1 0x01 00000169: PUSH1 0xa0 0000016b: PUSH1 0x02 0000016d: EXP 0000016e: SUB 0000016f: SWAP1 00000170: SWAP2 00000171: AND 00000172: SWAP3 00000173: POP 00000174: PUSH8 0x016345785d89ffff 0000017d: NOT 0000017e: CALLVALUE 0000017f: ADD 00000180: SWAP1 00000181: DUP3 00000182: DUP2 00000183: DUP2 00000184: DUP2 00000185: DUP6 00000186: DUP9 00000187: DUP4 00000188: CALL 00000189: SWAP4 0000018a: POP 0000018b: POP 0000018c: POP 0000018d: POP 0000018e: POP 0000018f: PUSH2 0x03e2 00000192: DUP2 00000193: PUSH2 0x0887 00000196: JUMP 00000197: JUMPDEST 00000198: PUSH2 0x03e6 0000019b: PUSH1 0x06 0000019d: SLOAD 0000019e: DUP2 0000019f: JUMP 000001a0: JUMPDEST 000001a1: PUSH2 0x03f8 000001a4: PUSH1 0x0b 000001a6: SLOAD 000001a7: PUSH1 0xe0 000001a9: PUSH1 0x02 000001ab: EXP 000001ac: SWAP1 000001ad: DIV 000001ae: PUSH4 0xffffffff 000001b3: AND 000001b4: DUP2 000001b5: JUMP 000001b6: JUMPDEST 000001b7: PUSH2 0x03e6 000001ba: PUSH1 0x04 000001bc: SLOAD 000001bd: DUP2 000001be: JUMP 000001bf: JUMPDEST 000001c0: PUSH2 0x03e6 000001c3: JUMPDEST 000001c4: PUSH1 0x00 000001c6: CALLVALUE 000001c7: PUSH7 0x2386f26fc10000 000001cf: DUP2 000001d0: LT 000001d1: ISZERO 000001d2: PUSH2 0x042f 000001d5: JUMPI 000001d6: PUSH1 0x40 000001d8: MLOAD 000001d9: PUSH1 0x01 000001db: PUSH1 0xa0 000001dd: PUSH1 0x02 000001df: EXP 000001e0: SUB 000001e1: CALLER 000001e2: AND 000001e3: SWAP1 000001e4: DUP4 000001e5: SWAP1 000001e6: DUP4 000001e7: SWAP1 000001e8: DUP3 000001e9: DUP2 000001ea: DUP2 000001eb: DUP2 000001ec: DUP6 000001ed: DUP9 000001ee: DUP4 000001ef: CALL 000001f0: POP 000001f1: PUSH2 0x084c 000001f4: SWAP4 000001f5: POP 000001f6: POP 000001f7: POP 000001f8: POP 000001f9: JUMP 000001fa: JUMPDEST 000001fb: PUSH2 0x0412 000001fe: PUSH1 0x0b 00000200: SLOAD 00000201: PUSH1 0x40 00000203: PUSH1 0x02 00000205: EXP 00000206: SWAP1 00000207: DIV 00000208: PUSH1 0x01 0000020a: PUSH1 0xa0 0000020c: PUSH1 0x02 0000020e: EXP 0000020f: SUB 00000210: AND 00000211: DUP2 00000212: JUMP 00000213: JUMPDEST 00000214: PUSH2 0x03e6 00000217: PUSH1 0x07 00000219: SLOAD 0000021a: DUP2 0000021b: JUMP 0000021c: JUMPDEST 0000021d: PUSH2 0x03e0 00000220: PUSH1 0x04 00000222: CALLDATALOAD 00000223: PUSH1 0x0b 00000225: SLOAD 00000226: PUSH1 0x40 00000228: PUSH1 0x02 0000022a: EXP 0000022b: SWAP1 0000022c: DIV 0000022d: PUSH1 0x01 0000022f: PUSH1 0xa0 00000231: PUSH1 0x02 00000233: EXP 00000234: SUB 00000235: SWAP1 00000236: DUP2 00000237: AND 00000238: CALLER 00000239: SWAP2 0000023a: SWAP1 0000023b: SWAP2 0000023c: AND 0000023d: EQ 0000023e: ISZERO 0000023f: PUSH2 0x03e2 00000242: JUMPI 00000243: PUSH1 0x0b 00000245: DUP1 00000246: SLOAD 00000247: PUSH1 0x40 00000249: PUSH1 0x02 0000024b: EXP 0000024c: DUP4 0000024d: MUL 0000024e: PUSH28 0xffffffffffffffffffffffffffffffffffffffff0000000000000000 0000026b: NOT 0000026c: SWAP2 0000026d: SWAP1 0000026e: SWAP2 0000026f: AND 00000270: OR 00000271: SWAP1 00000272: SSTORE 00000273: PUSH8 0x0de0b6b3a7640000 0000027c: PUSH1 0x04 0000027e: SSTORE 0000027f: POP 00000280: JUMP 00000281: JUMPDEST 00000282: PUSH2 0x0412 00000285: PUSH1 0x04 00000287: CALLDATALOAD 00000288: PUSH1 0x09 0000028a: DUP1 0000028b: SLOAD 0000028c: DUP3 0000028d: SWAP1 0000028e: DUP2 0000028f: LT 00000290: ISZERO 00000291: PUSH2 0x0002 00000294: JUMPI 00000295: POP 00000296: PUSH1 0x00 00000298: MSTORE 00000299: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af 000002ba: ADD 000002bb: SLOAD 000002bc: PUSH1 0x01 000002be: PUSH1 0xa0 000002c0: PUSH1 0x02 000002c2: EXP 000002c3: SUB 000002c4: AND 000002c5: DUP2 000002c6: JUMP 000002c7: JUMPDEST 000002c8: PUSH2 0x03e6 000002cb: PUSH1 0x08 000002cd: SLOAD 000002ce: DUP2 000002cf: JUMP 000002d0: JUMPDEST 000002d1: PUSH2 0x03e6 000002d4: PUSH1 0x05 000002d6: SLOAD 000002d7: DUP2 000002d8: JUMP 000002d9: JUMPDEST 000002da: PUSH2 0x03e6 000002dd: PUSH1 0x02 000002df: SLOAD 000002e0: DUP2 000002e1: JUMP 000002e2: JUMPDEST 000002e3: PUSH2 0x03f8 000002e6: PUSH1 0x0b 000002e8: SLOAD 000002e9: PUSH4 0xffffffff 000002ee: AND 000002ef: DUP2 000002f0: JUMP 000002f1: JUMPDEST 000002f2: PUSH2 0x03e0 000002f5: PUSH1 0x0b 000002f7: SLOAD 000002f8: PUSH1 0x40 000002fa: PUSH1 0x02 000002fc: EXP 000002fd: SWAP1 000002fe: DIV 000002ff: PUSH1 0x01 00000301: PUSH1 0xa0 00000303: PUSH1 0x02 00000305: EXP 00000306: SUB 00000307: SWAP1 00000308: DUP2 00000309: AND 0000030a: CALLER 0000030b: SWAP2 0000030c: SWAP1 0000030d: SWAP2 0000030e: AND 0000030f: EQ 00000310: ISZERO 00000311: PUSH2 0x0b44 00000314: JUMPI 00000315: PUSH2 0x0bbc 00000318: CALLVALUE 00000319: PUSH2 0x0887 0000031c: JUMP 0000031d: JUMPDEST 0000031e: PUSH2 0x03e6 00000321: PUSH1 0x04 00000323: CALLDATALOAD 00000324: PUSH1 0x0a 00000326: DUP1 00000327: SLOAD 00000328: DUP3 00000329: SWAP1 0000032a: DUP2 0000032b: LT 0000032c: ISZERO 0000032d: PUSH2 0x0002 00000330: JUMPI 00000331: POP 00000332: PUSH1 0x00 00000334: MSTORE 00000335: PUSH1 0x00 00000337: DUP1 00000338: MLOAD 00000339: PUSH1 0x20 0000033b: PUSH2 0x0c42 0000033e: DUP4 0000033f: CODECOPY 00000340: DUP2 00000341: MLOAD 00000342: SWAP2 00000343: MSTORE 00000344: ADD 00000345: SLOAD 00000346: DUP2 00000347: JUMP 00000348: JUMPDEST 00000349: PUSH2 0x03e0 0000034c: PUSH1 0x00 0000034e: SLOAD 0000034f: PUSH1 0x01 00000351: PUSH1 0xa0 00000353: PUSH1 0x02 00000355: EXP 00000356: SUB 00000357: SWAP1 00000358: DUP2 00000359: AND 0000035a: CALLER 0000035b: SWAP2 0000035c: SWAP1 0000035d: SWAP2 0000035e: AND 0000035f: EQ 00000360: ISZERO 00000361: PUSH2 0x03e4 00000364: JUMPI 00000365: PUSH1 0x40 00000367: MLOAD 00000368: PUSH1 0x00 0000036a: DUP1 0000036b: SLOAD 0000036c: PUSH1 0x06 0000036e: SLOAD 0000036f: PUSH1 0x01 00000371: PUSH1 0xa0 00000373: PUSH1 0x02 00000375: EXP 00000376: SUB 00000377: SWAP2 00000378: SWAP1 00000379: SWAP2 0000037a: AND 0000037b: SWAP3 0000037c: DUP3 0000037d: DUP2 0000037e: DUP2 0000037f: DUP2 00000380: DUP6 00000381: DUP9 00000382: DUP4 00000383: CALL 00000384: POP 00000385: POP 00000386: POP 00000387: POP 00000388: POP 00000389: JUMP 0000038a: JUMPDEST 0000038b: PUSH2 0x03f8 0000038e: PUSH1 0x0b 00000390: SLOAD 00000391: PUSH5 0x0100000000 00000397: SWAP1 00000398: DIV 00000399: PUSH4 0xffffffff 0000039e: AND 0000039f: DUP2 000003a0: JUMP 000003a1: JUMPDEST 000003a2: PUSH2 0x03e6 000003a5: PUSH1 0x0d 000003a7: SLOAD 000003a8: DUP2 000003a9: JUMP 000003aa: JUMPDEST 000003ab: PUSH2 0x0412 000003ae: PUSH1 0x01 000003b0: SLOAD 000003b1: PUSH1 0x01 000003b3: PUSH1 0xa0 000003b5: PUSH1 0x02 000003b7: EXP 000003b8: SUB 000003b9: AND 000003ba: DUP2 000003bb: JUMP 000003bc: JUMPDEST 000003bd: PUSH2 0x03e6 000003c0: PUSH1 0x0c 000003c2: SLOAD 000003c3: DUP2 000003c4: JUMP 000003c5: JUMPDEST 000003c6: PUSH2 0x0412 000003c9: PUSH1 0x00 000003cb: SLOAD 000003cc: PUSH1 0x01 000003ce: PUSH1 0xa0 000003d0: PUSH1 0x02 000003d2: EXP 000003d3: SUB 000003d4: AND 000003d5: DUP2 000003d6: JUMP 000003d7: JUMPDEST 000003d8: PUSH2 0x03e6 000003db: PUSH1 0x03 000003dd: SLOAD 000003de: DUP2 000003df: JUMP 000003e0: JUMPDEST 000003e1: STOP 000003e2: JUMPDEST 000003e3: POP 000003e4: JUMPDEST 000003e5: JUMP 000003e6: JUMPDEST 000003e7: PUSH1 0x40 000003e9: DUP1 000003ea: MLOAD 000003eb: SWAP2 000003ec: DUP3 000003ed: MSTORE 000003ee: MLOAD 000003ef: SWAP1 000003f0: DUP2 000003f1: SWAP1 000003f2: SUB 000003f3: PUSH1 0x20 000003f5: ADD 000003f6: SWAP1 000003f7: RETURN 000003f8: JUMPDEST 000003f9: PUSH1 0x40 000003fb: DUP1 000003fc: MLOAD 000003fd: PUSH4 0xffffffff 00000402: SWAP3 00000403: SWAP1 00000404: SWAP3 00000405: AND 00000406: DUP3 00000407: MSTORE 00000408: MLOAD 00000409: SWAP1 0000040a: DUP2 0000040b: SWAP1 0000040c: SUB 0000040d: PUSH1 0x20 0000040f: ADD 00000410: SWAP1 00000411: RETURN 00000412: JUMPDEST 00000413: PUSH1 0x40 00000415: DUP1 00000416: MLOAD 00000417: PUSH1 0x01 00000419: PUSH1 0xa0 0000041b: PUSH1 0x02 0000041d: EXP 0000041e: SUB 0000041f: SWAP3 00000420: SWAP1 00000421: SWAP3 00000422: AND 00000423: DUP3 00000424: MSTORE 00000425: MLOAD 00000426: SWAP1 00000427: DUP2 00000428: SWAP1 00000429: SUB 0000042a: PUSH1 0x20 0000042c: ADD 0000042d: SWAP1 0000042e: RETURN 0000042f: JUMPDEST 00000430: PUSH9 0x056bc75e2d63100000 0000043a: DUP2 0000043b: GT 0000043c: ISZERO 0000043d: PUSH2 0x0479 00000440: JUMPI 00000441: PUSH1 0x40 00000443: MLOAD 00000444: PUSH1 0x01 00000446: PUSH1 0xa0 00000448: PUSH1 0x02 0000044a: EXP 0000044b: SUB 0000044c: CALLER 0000044d: AND 0000044e: SWAP1 0000044f: PUSH1 0x00 00000451: SWAP1 00000452: PUSH9 0x056bc75e2d630fffff 0000045c: NOT 0000045d: CALLVALUE 0000045e: ADD 0000045f: SWAP1 00000460: DUP3 00000461: DUP2 00000462: DUP2 00000463: DUP2 00000464: DUP6 00000465: DUP9 00000466: DUP4 00000467: CALL 00000468: POP 00000469: PUSH9 0x056bc75e2d63100000 00000473: SWAP5 00000474: POP 00000475: POP 00000476: POP 00000477: POP 00000478: POP 00000479: JUMPDEST 0000047a: TIMESTAMP 0000047b: PUSH3 0x015180 0000047f: PUSH1 0x02 00000481: PUSH1 0x00 00000483: POP 00000484: SLOAD 00000485: ADD 00000486: LT 00000487: ISZERO 00000488: PUSH2 0x050a 0000048b: JUMPI 0000048c: PUSH1 0x0b 0000048e: SLOAD 0000048f: PUSH4 0xffffffff 00000494: AND 00000495: PUSH1 0x01 00000497: EQ 00000498: ISZERO 00000499: PUSH2 0x053a 0000049c: JUMPI 0000049d: PUSH1 0x09 0000049f: DUP1 000004a0: SLOAD 000004a1: PUSH1 0x00 000004a3: NOT 000004a4: DUP2 000004a5: ADD 000004a6: SWAP1 000004a7: DUP2 000004a8: LT 000004a9: ISZERO 000004aa: PUSH2 0x0002 000004ad: JUMPI 000004ae: POP 000004af: DUP1 000004b0: SLOAD 000004b1: PUSH1 0x00 000004b3: SWAP2 000004b4: DUP3 000004b5: MSTORE 000004b6: PUSH1 0x05 000004b8: SLOAD 000004b9: PUSH1 0x40 000004bb: MLOAD 000004bc: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7ae 000004dd: SWAP1 000004de: SWAP3 000004df: ADD 000004e0: SLOAD 000004e1: PUSH1 0x01 000004e3: PUSH1 0xa0 000004e5: PUSH1 0x02 000004e7: EXP 000004e8: SUB 000004e9: AND 000004ea: SWAP3 000004eb: SWAP2 000004ec: PUSH1 0x64 000004ee: PUSH1 0x5f 000004f0: SWAP1 000004f1: SWAP3 000004f2: MUL 000004f3: SWAP2 000004f4: SWAP1 000004f5: SWAP2 000004f6: DIV 000004f7: SWAP1 000004f8: DUP3 000004f9: DUP2 000004fa: DUP2 000004fb: DUP2 000004fc: DUP6 000004fd: DUP9 000004fe: DUP4 000004ff: CALL 00000500: SWAP4 00000501: POP 00000502: POP 00000503: POP 00000504: POP 00000505: POP 00000506: PUSH2 0x074d 00000509: JUMP 0000050a: JUMPDEST 0000050b: PUSH1 0x09 0000050d: DUP1 0000050e: SLOAD 0000050f: PUSH1 0x01 00000511: DUP2 00000512: ADD 00000513: DUP1 00000514: DUP4 00000515: SSTORE 00000516: DUP3 00000517: DUP2 00000518: DUP4 00000519: DUP1 0000051a: ISZERO 0000051b: DUP3 0000051c: SWAP1 0000051d: GT 0000051e: PUSH2 0x0936 00000521: JUMPI 00000522: DUP2 00000523: DUP4 00000524: PUSH1 0x00 00000526: MSTORE 00000527: PUSH1 0x20 00000529: PUSH1 0x00 0000052b: KECCAK256 0000052c: SWAP2 0000052d: DUP3 0000052e: ADD 0000052f: SWAP2 00000530: ADD 00000531: PUSH2 0x0936 00000534: SWAP2 00000535: SWAP1 00000536: PUSH2 0x07a7 00000539: JUMP 0000053a: JUMPDEST 0000053b: PUSH1 0x0b 0000053d: SLOAD 0000053e: PUSH4 0xffffffff 00000543: AND 00000544: PUSH1 0x02 00000546: EQ 00000547: ISZERO 00000548: PUSH2 0x060e 0000054b: JUMPI 0000054c: PUSH1 0x09 0000054e: DUP1 0000054f: SLOAD 00000550: PUSH1 0x00 00000552: NOT 00000553: DUP2 00000554: ADD 00000555: SWAP1 00000556: DUP2 00000557: LT 00000558: ISZERO 00000559: PUSH2 0x0002 0000055c: JUMPI 0000055d: SWAP1 0000055e: PUSH1 0x00 00000560: MSTORE 00000561: PUSH1 0x20 00000563: PUSH1 0x00 00000565: KECCAK256 00000566: SWAP1 00000567: ADD 00000568: PUSH1 0x00 0000056a: PUSH1 0x40 0000056c: MLOAD 0000056d: SWAP2 0000056e: SLOAD 0000056f: PUSH1 0x05 00000571: SLOAD 00000572: PUSH2 0x0100 00000575: SWAP3 00000576: SWAP1 00000577: SWAP3 00000578: EXP 00000579: SWAP1 0000057a: DIV 0000057b: PUSH1 0x01 0000057d: PUSH1 0xa0 0000057f: PUSH1 0x02 00000581: EXP 00000582: SUB 00000583: AND 00000584: SWAP2 00000585: PUSH1 0x00 00000587: SWAP2 00000588: PUSH1 0x64 0000058a: PUSH1 0x3c 0000058c: SWAP1 0000058d: SWAP2 0000058e: MUL 0000058f: DIV 00000590: SWAP1 00000591: DUP3 00000592: DUP2 00000593: DUP2 00000594: DUP2 00000595: DUP6 00000596: DUP9 00000597: DUP4 00000598: CALL 00000599: POP 0000059a: POP 0000059b: PUSH1 0x09 0000059d: DUP1 0000059e: SLOAD 0000059f: SWAP1 000005a0: SWAP4 000005a1: POP 000005a2: PUSH1 0x01 000005a4: NOT 000005a5: DUP2 000005a6: ADD 000005a7: SWAP3 000005a8: POP 000005a9: DUP3 000005aa: LT 000005ab: ISZERO 000005ac: SWAP1 000005ad: POP 000005ae: PUSH2 0x0002 000005b1: JUMPI 000005b2: POP 000005b3: DUP1 000005b4: SLOAD 000005b5: PUSH1 0x00 000005b7: SWAP2 000005b8: DUP3 000005b9: MSTORE 000005ba: PUSH1 0x05 000005bc: SLOAD 000005bd: PUSH1 0x40 000005bf: MLOAD 000005c0: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7ad 000005e1: SWAP1 000005e2: SWAP3 000005e3: ADD 000005e4: SLOAD 000005e5: PUSH1 0x01 000005e7: PUSH1 0xa0 000005e9: PUSH1 0x02 000005eb: EXP 000005ec: SUB 000005ed: AND 000005ee: SWAP3 000005ef: SWAP2 000005f0: PUSH1 0x64 000005f2: PUSH1 0x23 000005f4: SWAP1 000005f5: SWAP3 000005f6: MUL 000005f7: SWAP2 000005f8: SWAP1 000005f9: SWAP2 000005fa: DIV 000005fb: SWAP1 000005fc: DUP3 000005fd: DUP2 000005fe: DUP2 000005ff: DUP2 00000600: DUP6 00000601: DUP9 00000602: DUP4 00000603: CALL 00000604: SWAP4 00000605: POP 00000606: POP 00000607: POP 00000608: POP 00000609: POP 0000060a: PUSH2 0x074d 0000060d: JUMP 0000060e: JUMPDEST 0000060f: PUSH1 0x0b 00000611: SLOAD 00000612: PUSH1 0x03 00000614: PUSH4 0xffffffff 00000619: SWAP2 0000061a: SWAP1 0000061b: SWAP2 0000061c: AND 0000061d: LT 0000061e: PUSH2 0x074d 00000621: JUMPI 00000622: PUSH1 0x09 00000624: DUP1 00000625: SLOAD 00000626: PUSH1 0x00 00000628: NOT 00000629: DUP2 0000062a: ADD 0000062b: SWAP1 0000062c: DUP2 0000062d: LT 0000062e: ISZERO 0000062f: PUSH2 0x0002 00000632: JUMPI 00000633: SWAP1 00000634: PUSH1 0x00 00000636: MSTORE 00000637: PUSH1 0x20 00000639: PUSH1 0x00 0000063b: KECCAK256 0000063c: SWAP1 0000063d: ADD 0000063e: PUSH1 0x00 00000640: PUSH1 0x40 00000642: MLOAD 00000643: SWAP2 00000644: SLOAD 00000645: PUSH1 0x05 00000647: SLOAD 00000648: PUSH2 0x0100 0000064b: SWAP3 0000064c: SWAP1 0000064d: SWAP3 0000064e: EXP 0000064f: SWAP1 00000650: DIV 00000651: PUSH1 0x01 00000653: PUSH1 0xa0 00000655: PUSH1 0x02 00000657: EXP 00000658: SUB 00000659: AND 0000065a: SWAP2 0000065b: PUSH1 0x00 0000065d: SWAP2 0000065e: PUSH1 0x64 00000660: PUSH1 0x32 00000662: SWAP1 00000663: SWAP2 00000664: MUL 00000665: DIV 00000666: SWAP1 00000667: DUP3 00000668: DUP2 00000669: DUP2 0000066a: DUP2 0000066b: DUP6 0000066c: DUP9 0000066d: DUP4 0000066e: CALL 0000066f: POP 00000670: POP 00000671: PUSH1 0x09 00000673: DUP1 00000674: SLOAD 00000675: SWAP1 00000676: SWAP4 00000677: POP 00000678: PUSH1 0x01 0000067a: NOT 0000067b: DUP2 0000067c: ADD 0000067d: SWAP3 0000067e: POP 0000067f: DUP3 00000680: LT 00000681: ISZERO 00000682: SWAP1 00000683: POP 00000684: PUSH2 0x0002 00000687: JUMPI 00000688: POP 00000689: DUP1 0000068a: SLOAD 0000068b: PUSH1 0x00 0000068d: SWAP2 0000068e: DUP3 0000068f: MSTORE 00000690: PUSH1 0x05 00000692: SLOAD 00000693: PUSH1 0x40 00000695: MLOAD 00000696: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7ad 000006b7: SWAP1 000006b8: SWAP3 000006b9: ADD 000006ba: SLOAD 000006bb: PUSH1 0x01 000006bd: PUSH1 0xa0 000006bf: PUSH1 0x02 000006c1: EXP 000006c2: SUB 000006c3: AND 000006c4: SWAP3 000006c5: SWAP2 000006c6: PUSH1 0x64 000006c8: PUSH1 0x1e 000006ca: SWAP1 000006cb: SWAP3 000006cc: MUL 000006cd: SWAP2 000006ce: SWAP1 000006cf: SWAP2 000006d0: DIV 000006d1: SWAP1 000006d2: DUP3 000006d3: DUP2 000006d4: DUP2 000006d5: DUP2 000006d6: DUP6 000006d7: DUP9 000006d8: DUP4 000006d9: CALL 000006da: POP 000006db: POP 000006dc: PUSH1 0x09 000006de: DUP1 000006df: SLOAD 000006e0: SWAP1 000006e1: SWAP4 000006e2: POP 000006e3: PUSH1 0x02 000006e5: NOT 000006e6: DUP2 000006e7: ADD 000006e8: SWAP3 000006e9: POP 000006ea: DUP3 000006eb: LT 000006ec: ISZERO 000006ed: SWAP1 000006ee: POP 000006ef: PUSH2 0x0002 000006f2: JUMPI 000006f3: POP 000006f4: DUP1 000006f5: SLOAD 000006f6: PUSH1 0x00 000006f8: SWAP2 000006f9: DUP3 000006fa: MSTORE 000006fb: PUSH1 0x40 000006fd: MLOAD 000006fe: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7ac 0000071f: SWAP1 00000720: SWAP2 00000721: ADD 00000722: SLOAD 00000723: PUSH1 0x05 00000725: SLOAD 00000726: PUSH1 0x01 00000728: PUSH1 0xa0 0000072a: PUSH1 0x02 0000072c: EXP 0000072d: SUB 0000072e: SWAP2 0000072f: SWAP1 00000730: SWAP2 00000731: AND 00000732: SWAP3 00000733: SWAP2 00000734: PUSH1 0x64 00000736: PUSH1 0x0f 00000738: SWAP1 00000739: SWAP3 0000073a: MUL 0000073b: SWAP2 0000073c: SWAP1 0000073d: SWAP2 0000073e: DIV 0000073f: SWAP1 00000740: DUP3 00000741: DUP2 00000742: DUP2 00000743: DUP2 00000744: DUP6 00000745: DUP9 00000746: DUP4 00000747: CALL 00000748: POP 00000749: POP 0000074a: POP 0000074b: POP 0000074c: POP 0000074d: JUMPDEST 0000074e: PUSH1 0x05 00000750: DUP1 00000751: SLOAD 00000752: PUSH1 0x06 00000754: DUP1 00000755: SLOAD 00000756: PUSH1 0x64 00000758: SWAP3 00000759: DUP5 0000075a: MUL 0000075b: SWAP3 0000075c: SWAP1 0000075d: SWAP3 0000075e: DIV 0000075f: SWAP1 00000760: SWAP2 00000761: ADD 00000762: SWAP1 00000763: SSTORE 00000764: PUSH1 0x00 00000766: SWAP1 00000767: SSTORE 00000768: PUSH1 0x01 0000076a: DUP1 0000076b: SLOAD 0000076c: PUSH1 0x01 0000076e: PUSH1 0xa0 00000770: PUSH1 0x02 00000772: EXP 00000773: SUB 00000774: NOT 00000775: AND 00000776: CALLER 00000777: OR 00000778: DUP2 00000779: SSTORE 0000077a: PUSH1 0x09 0000077c: DUP1 0000077d: SLOAD 0000077e: SWAP2 0000077f: DUP3 00000780: ADD 00000781: DUP1 00000782: DUP3 00000783: SSTORE 00000784: SWAP1 00000785: SWAP2 00000786: SWAP1 00000787: DUP3 00000788: DUP2 00000789: DUP4 0000078a: DUP1 0000078b: ISZERO 0000078c: DUP3 0000078d: SWAP1 0000078e: GT 0000078f: PUSH2 0x07bb 00000792: JUMPI 00000793: DUP2 00000794: DUP4 00000795: PUSH1 0x00 00000797: MSTORE 00000798: PUSH1 0x20 0000079a: PUSH1 0x00 0000079c: KECCAK256 0000079d: SWAP2 0000079e: DUP3 0000079f: ADD 000007a0: SWAP2 000007a1: ADD 000007a2: PUSH2 0x07bb 000007a5: SWAP2 000007a6: SWAP1 000007a7: JUMPDEST 000007a8: DUP1 000007a9: DUP3 000007aa: GT 000007ab: ISZERO 000007ac: PUSH2 0x084c 000007af: JUMPI 000007b0: PUSH1 0x00 000007b2: DUP2 000007b3: SSTORE 000007b4: PUSH1 0x01 000007b6: ADD 000007b7: PUSH2 0x07a7 000007ba: JUMP 000007bb: JUMPDEST 000007bc: POP 000007bd: POP 000007be: POP 000007bf: PUSH1 0x00 000007c1: SWAP3 000007c2: DUP4 000007c3: MSTORE 000007c4: POP 000007c5: PUSH1 0x20 000007c7: SWAP1 000007c8: SWAP2 000007c9: KECCAK256 000007ca: ADD 000007cb: DUP1 000007cc: SLOAD 000007cd: PUSH1 0x01 000007cf: PUSH1 0xa0 000007d1: PUSH1 0x02 000007d3: EXP 000007d4: SUB 000007d5: NOT 000007d6: AND 000007d7: CALLER 000007d8: OR 000007d9: SWAP1 000007da: SSTORE 000007db: PUSH1 0x0a 000007dd: DUP1 000007de: SLOAD 000007df: PUSH1 0x01 000007e1: DUP2 000007e2: ADD 000007e3: DUP1 000007e4: DUP4 000007e5: SSTORE 000007e6: DUP3 000007e7: DUP2 000007e8: DUP4 000007e9: DUP1 000007ea: ISZERO 000007eb: DUP3 000007ec: SWAP1 000007ed: GT 000007ee: PUSH2 0x0850 000007f1: JUMPI 000007f2: DUP2 000007f3: DUP4 000007f4: PUSH1 0x00 000007f6: MSTORE 000007f7: PUSH1 0x20 000007f9: PUSH1 0x00 000007fb: KECCAK256 000007fc: SWAP2 000007fd: DUP3 000007fe: ADD 000007ff: SWAP2 00000800: ADD 00000801: PUSH2 0x0850 00000804: SWAP2 00000805: SWAP1 00000806: PUSH2 0x07a7 00000809: JUMP 0000080a: JUMPDEST 0000080b: PUSH1 0x05 0000080d: DUP1 0000080e: SLOAD 0000080f: DUP3 00000810: ADD 00000811: SWAP1 00000812: SSTORE 00000813: PUSH1 0x0b 00000815: DUP1 00000816: SLOAD 00000817: PUSH1 0xe0 00000819: PUSH1 0x02 0000081b: EXP 0000081c: DUP1 0000081d: DUP3 0000081e: DIV 0000081f: PUSH4 0xffffffff 00000824: AND 00000825: PUSH1 0x01 00000827: ADD 00000828: MUL 00000829: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000846: SWAP1 00000847: SWAP2 00000848: AND 00000849: OR 0000084a: SWAP1 0000084b: SSTORE 0000084c: JUMPDEST 0000084d: POP 0000084e: SWAP1 0000084f: JUMP 00000850: JUMPDEST 00000851: POP 00000852: POP 00000853: POP 00000854: PUSH1 0x00 00000856: SWAP3 00000857: DUP4 00000858: MSTORE 00000859: POP 0000085a: PUSH1 0x20 0000085c: SWAP1 0000085d: SWAP2 0000085e: KECCAK256 0000085f: PUSH1 0x64 00000861: PUSH1 0x6e 00000863: DUP5 00000864: MUL 00000865: DIV 00000866: SWAP2 00000867: ADD 00000868: SSTORE 00000869: PUSH1 0x0b 0000086b: DUP1 0000086c: SLOAD 0000086d: PUSH1 0x01 0000086f: PUSH4 0xffffffff 00000874: DUP3 00000875: AND 00000876: ADD 00000877: PUSH4 0xffffffff 0000087c: NOT 0000087d: SWAP1 0000087e: SWAP2 0000087f: AND 00000880: OR 00000881: SWAP1 00000882: SSTORE 00000883: PUSH2 0x08f9 00000886: DUP2 00000887: JUMPDEST 00000888: TIMESTAMP 00000889: PUSH1 0x02 0000088b: SSTORE 0000088c: PUSH1 0x0d 0000088e: DUP1 0000088f: SLOAD 00000890: DUP3 00000891: ADD 00000892: SWAP1 00000893: SSTORE 00000894: PUSH1 0x07 00000896: DUP1 00000897: SLOAD 00000898: PUSH1 0x64 0000089a: PUSH1 0x05 0000089c: DUP5 0000089d: DUP2 0000089e: MUL 0000089f: SWAP2 000008a0: SWAP1 000008a1: SWAP2 000008a2: DIV 000008a3: SWAP2 000008a4: DUP3 000008a5: ADD 000008a6: SWAP1 000008a7: SWAP3 000008a8: SSTORE 000008a9: PUSH1 0x08 000008ab: DUP1 000008ac: SLOAD 000008ad: DUP3 000008ae: ADD 000008af: SWAP1 000008b0: SSTORE 000008b1: DUP2 000008b2: SLOAD 000008b3: ADD 000008b4: SWAP1 000008b5: SSTORE 000008b6: PUSH2 0x0c03 000008b9: PUSH1 0x08 000008bb: SLOAD 000008bc: PUSH8 0x016345785d8a0000 000008c5: SWAP1 000008c6: LT 000008c7: PUSH2 0x03e4 000008ca: JUMPI 000008cb: PUSH1 0x40 000008cd: MLOAD 000008ce: PUSH1 0x08 000008d0: SLOAD 000008d1: PUSH1 0x0b 000008d3: SLOAD 000008d4: PUSH1 0x40 000008d6: PUSH1 0x02 000008d8: EXP 000008d9: SWAP1 000008da: DIV 000008db: PUSH1 0x01 000008dd: PUSH1 0xa0 000008df: PUSH1 0x02 000008e1: EXP 000008e2: SUB 000008e3: AND 000008e4: SWAP2 000008e5: PUSH1 0x00 000008e7: SWAP2 000008e8: SWAP1 000008e9: DUP3 000008ea: DUP2 000008eb: DUP2 000008ec: DUP2 000008ed: DUP6 000008ee: DUP9 000008ef: DUP4 000008f0: CALL 000008f1: POP 000008f2: POP 000008f3: POP 000008f4: PUSH1 0x08 000008f6: SSTORE 000008f7: POP 000008f8: JUMP 000008f9: JUMPDEST 000008fa: PUSH2 0x080a 000008fd: PUSH1 0x06 000008ff: SLOAD 00000900: PUSH8 0x0de0b6b3a7640000 00000909: SWAP1 0000090a: LT 0000090b: PUSH2 0x03e4 0000090e: JUMPI 0000090f: PUSH1 0x40 00000911: MLOAD 00000912: PUSH1 0x06 00000914: SLOAD 00000915: PUSH1 0x00 00000917: DUP1 00000918: SLOAD 00000919: PUSH1 0x01 0000091b: PUSH1 0xa0 0000091d: PUSH1 0x02 0000091f: EXP 00000920: SUB 00000921: AND 00000922: SWAP3 00000923: SWAP1 00000924: SWAP2 00000925: SWAP1 00000926: DUP3 00000927: DUP2 00000928: DUP2 00000929: DUP2 0000092a: DUP6 0000092b: DUP9 0000092c: DUP4 0000092d: CALL 0000092e: POP 0000092f: POP 00000930: POP 00000931: PUSH1 0x06 00000933: SSTORE 00000934: POP 00000935: JUMP 00000936: JUMPDEST 00000937: POP 00000938: POP 00000939: POP 0000093a: PUSH1 0x00 0000093c: SWAP3 0000093d: DUP4 0000093e: MSTORE 0000093f: POP 00000940: PUSH1 0x20 00000942: SWAP1 00000943: SWAP2 00000944: KECCAK256 00000945: ADD 00000946: DUP1 00000947: SLOAD 00000948: PUSH1 0x01 0000094a: PUSH1 0xa0 0000094c: PUSH1 0x02 0000094e: EXP 0000094f: SUB 00000950: NOT 00000951: AND 00000952: CALLER 00000953: OR 00000954: SWAP1 00000955: SSTORE 00000956: PUSH1 0x0a 00000958: DUP1 00000959: SLOAD 0000095a: PUSH1 0x01 0000095c: DUP2 0000095d: ADD 0000095e: DUP1 0000095f: DUP4 00000960: SSTORE 00000961: DUP3 00000962: DUP2 00000963: DUP4 00000964: DUP1 00000965: ISZERO 00000966: DUP3 00000967: SWAP1 00000968: GT 00000969: PUSH2 0x0985 0000096c: JUMPI 0000096d: DUP2 0000096e: DUP4 0000096f: PUSH1 0x00 00000971: MSTORE 00000972: PUSH1 0x20 00000974: PUSH1 0x00 00000976: KECCAK256 00000977: SWAP2 00000978: DUP3 00000979: ADD 0000097a: SWAP2 0000097b: ADD 0000097c: PUSH2 0x0985 0000097f: SWAP2 00000980: SWAP1 00000981: PUSH2 0x07a7 00000984: JUMP 00000985: JUMPDEST 00000986: POP 00000987: POP 00000988: POP 00000989: PUSH1 0x00 0000098b: SWAP3 0000098c: DUP4 0000098d: MSTORE 0000098e: POP 0000098f: PUSH1 0x20 00000991: SWAP1 00000992: SWAP2 00000993: KECCAK256 00000994: PUSH1 0x64 00000996: PUSH1 0x6e 00000998: DUP5 00000999: MUL 0000099a: DIV 0000099b: SWAP2 0000099c: ADD 0000099d: SSTORE 0000099e: PUSH1 0x0b 000009a0: DUP1 000009a1: SLOAD 000009a2: PUSH1 0x01 000009a4: PUSH4 0xffffffff 000009a9: DUP3 000009aa: AND 000009ab: ADD 000009ac: PUSH4 0xffffffff 000009b1: NOT 000009b2: SWAP1 000009b3: SWAP2 000009b4: AND 000009b5: OR 000009b6: SWAP1 000009b7: SSTORE 000009b8: PUSH2 0x09c0 000009bb: DUP2 000009bc: PUSH2 0x0887 000009bf: JUMP 000009c0: JUMPDEST 000009c1: PUSH1 0x05 000009c3: DUP1 000009c4: SLOAD 000009c5: PUSH1 0x64 000009c7: DUP4 000009c8: DUP4 000009c9: MUL 000009ca: DIV 000009cb: ADD 000009cc: SWAP1 000009cd: SSTORE 000009ce: JUMPDEST 000009cf: PUSH1 0x0b 000009d1: SLOAD 000009d2: PUSH1 0x07 000009d4: SLOAD 000009d5: PUSH1 0x08 000009d7: SLOAD 000009d8: PUSH1 0x06 000009da: SLOAD 000009db: PUSH1 0x05 000009dd: SLOAD 000009de: PUSH1 0x0a 000009e0: DUP1 000009e1: SLOAD 000009e2: ADDRESS 000009e3: PUSH1 0x01 000009e5: PUSH1 0xa0 000009e7: PUSH1 0x02 000009e9: EXP 000009ea: SUB 000009eb: AND 000009ec: BALANCE 000009ed: SWAP3 000009ee: SWAP1 000009ef: SWAP3 000009f0: SUB 000009f1: SWAP3 000009f2: SWAP1 000009f3: SWAP3 000009f4: SUB 000009f5: SWAP3 000009f6: SWAP1 000009f7: SWAP3 000009f8: SUB 000009f9: SWAP3 000009fa: SWAP1 000009fb: SWAP3 000009fc: SUB 000009fd: SWAP3 000009fe: PUSH5 0x0100000000 00000a04: SWAP1 00000a05: DIV 00000a06: PUSH4 0xffffffff 00000a0b: AND 00000a0c: SWAP1 00000a0d: DUP2 00000a0e: LT 00000a0f: ISZERO 00000a10: PUSH2 0x0002 00000a13: JUMPI 00000a14: PUSH1 0x00 00000a16: SWAP2 00000a17: SWAP1 00000a18: SWAP2 00000a19: MSTORE 00000a1a: PUSH1 0x00 00000a1c: DUP1 00000a1d: MLOAD 00000a1e: PUSH1 0x20 00000a20: PUSH2 0x0c42 00000a23: DUP4 00000a24: CODECOPY 00000a25: DUP2 00000a26: MLOAD 00000a27: SWAP2 00000a28: MSTORE 00000a29: ADD 00000a2a: SLOAD 00000a2b: LT 00000a2c: DUP1 00000a2d: ISZERO 00000a2e: PUSH2 0x0a4a 00000a31: JUMPI 00000a32: POP 00000a33: PUSH1 0x0b 00000a35: SLOAD 00000a36: PUSH4 0xffffffff 00000a3b: DUP2 00000a3c: DUP2 00000a3d: AND 00000a3e: PUSH5 0x0100000000 00000a44: SWAP1 00000a45: SWAP3 00000a46: DIV 00000a47: AND 00000a48: GT 00000a49: ISZERO 00000a4a: JUMPDEST 00000a4b: ISZERO 00000a4c: PUSH2 0x084c 00000a4f: JUMPI 00000a50: PUSH1 0x09 00000a52: DUP1 00000a53: SLOAD 00000a54: PUSH1 0x0b 00000a56: SLOAD 00000a57: PUSH5 0x0100000000 00000a5d: SWAP1 00000a5e: DIV 00000a5f: PUSH4 0xffffffff 00000a64: AND 00000a65: SWAP1 00000a66: DUP2 00000a67: LT 00000a68: ISZERO 00000a69: PUSH2 0x0002 00000a6c: JUMPI 00000a6d: PUSH1 0x00 00000a6f: SWAP2 00000a70: DUP3 00000a71: MSTORE 00000a72: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af 00000a93: DUP2 00000a94: ADD 00000a95: SLOAD 00000a96: PUSH1 0x0a 00000a98: DUP1 00000a99: SLOAD 00000a9a: PUSH1 0x01 00000a9c: PUSH1 0xa0 00000a9e: PUSH1 0x02 00000aa0: EXP 00000aa1: SUB 00000aa2: SWAP3 00000aa3: SWAP1 00000aa4: SWAP3 00000aa5: AND 00000aa6: SWAP4 00000aa7: SWAP3 00000aa8: SWAP1 00000aa9: SWAP2 00000aaa: DUP2 00000aab: LT 00000aac: ISZERO 00000aad: PUSH2 0x0002 00000ab0: JUMPI 00000ab1: SWAP1 00000ab2: DUP3 00000ab3: MSTORE 00000ab4: PUSH1 0x40 00000ab6: MLOAD 00000ab7: PUSH1 0x00 00000ab9: DUP1 00000aba: MLOAD 00000abb: PUSH1 0x20 00000abd: PUSH2 0x0c42 00000ac0: DUP4 00000ac1: CODECOPY 00000ac2: DUP2 00000ac3: MLOAD 00000ac4: SWAP2 00000ac5: MSTORE 00000ac6: SWAP1 00000ac7: SWAP2 00000ac8: ADD 00000ac9: SLOAD 00000aca: SWAP1 00000acb: DUP3 00000acc: DUP2 00000acd: DUP2 00000ace: DUP2 00000acf: DUP6 00000ad0: DUP9 00000ad1: DUP4 00000ad2: CALL 00000ad3: POP 00000ad4: POP 00000ad5: PUSH1 0x0b 00000ad7: SLOAD 00000ad8: PUSH1 0x0a 00000ada: DUP1 00000adb: SLOAD 00000adc: SWAP1 00000add: SWAP5 00000ade: POP 00000adf: PUSH5 0x0100000000 00000ae5: SWAP1 00000ae6: SWAP2 00000ae7: DIV 00000ae8: PUSH4 0xffffffff 00000aed: AND 00000aee: SWAP3 00000aef: POP 00000af0: DUP3 00000af1: LT 00000af2: ISZERO 00000af3: SWAP1 00000af4: POP 00000af5: PUSH2 0x0002 00000af8: JUMPI 00000af9: PUSH1 0x0b 00000afb: DUP1 00000afc: SLOAD 00000afd: PUSH1 0x00 00000aff: SWAP4 00000b00: SWAP1 00000b01: SWAP4 00000b02: MSTORE 00000b03: PUSH1 0x00 00000b05: DUP1 00000b06: MLOAD 00000b07: PUSH1 0x20 00000b09: PUSH2 0x0c42 00000b0c: DUP4 00000b0d: CODECOPY 00000b0e: DUP2 00000b0f: MLOAD 00000b10: SWAP2 00000b11: MSTORE 00000b12: DUP3 00000b13: ADD 00000b14: SLOAD 00000b15: PUSH1 0x0c 00000b17: DUP1 00000b18: SLOAD 00000b19: SWAP1 00000b1a: SWAP2 00000b1b: ADD 00000b1c: SWAP1 00000b1d: SSTORE 00000b1e: PUSH8 0xffffffff00000000 00000b27: NOT 00000b28: SWAP1 00000b29: SWAP3 00000b2a: AND 00000b2b: PUSH1 0x01 00000b2d: SWAP2 00000b2e: SWAP1 00000b2f: SWAP2 00000b30: ADD 00000b31: PUSH5 0x0100000000 00000b37: MUL 00000b38: OR 00000b39: SWAP1 00000b3a: SSTORE 00000b3b: PUSH2 0x09ce 00000b3e: JUMP 00000b3f: JUMPDEST 00000b40: PUSH2 0x0002 00000b43: JUMP 00000b44: JUMPDEST 00000b45: TIMESTAMP 00000b46: PUSH3 0x0d2f00 00000b4a: PUSH1 0x03 00000b4c: PUSH1 0x00 00000b4e: POP 00000b4f: SLOAD 00000b50: ADD 00000b51: GT 00000b52: ISZERO 00000b53: DUP1 00000b54: ISZERO 00000b55: PUSH2 0x0b69 00000b58: JUMPI 00000b59: POP 00000b5a: PUSH1 0x64 00000b5c: PUSH1 0x04 00000b5e: PUSH1 0x00 00000b60: POP 00000b61: SLOAD 00000b62: PUSH1 0x6e 00000b64: MUL 00000b65: DIV 00000b66: CALLVALUE 00000b67: LT 00000b68: ISZERO 00000b69: JUMPDEST 00000b6a: ISZERO 00000b6b: PUSH2 0x0b3f 00000b6e: JUMPI 00000b6f: PUSH1 0x0b 00000b71: SLOAD 00000b72: PUSH1 0x08 00000b74: SLOAD 00000b75: PUSH1 0x40 00000b77: MLOAD 00000b78: PUSH1 0x40 00000b7a: PUSH1 0x02 00000b7c: EXP 00000b7d: SWAP1 00000b7e: SWAP3 00000b7f: DIV 00000b80: PUSH1 0x01 00000b82: PUSH1 0xa0 00000b84: PUSH1 0x02 00000b86: EXP 00000b87: SUB 00000b88: AND 00000b89: SWAP2 00000b8a: PUSH1 0x00 00000b8c: SWAP2 00000b8d: SWAP1 00000b8e: DUP3 00000b8f: DUP2 00000b90: DUP2 00000b91: DUP2 00000b92: DUP6 00000b93: DUP9 00000b94: DUP4 00000b95: CALL 00000b96: SWAP4 00000b97: POP 00000b98: POP 00000b99: POP 00000b9a: POP 00000b9b: POP 00000b9c: PUSH1 0x64 00000b9e: CALLVALUE 00000b9f: PUSH1 0x05 00000ba1: MUL 00000ba2: DIV 00000ba3: PUSH1 0x06 00000ba5: PUSH1 0x00 00000ba7: DUP3 00000ba8: DUP3 00000ba9: DUP3 00000baa: POP 00000bab: SLOAD 00000bac: ADD 00000bad: SWAP3 00000bae: POP 00000baf: POP 00000bb0: DUP2 00000bb1: SWAP1 00000bb2: SSTORE 00000bb3: POP 00000bb4: PUSH2 0x0bc9 00000bb7: CALLVALUE 00000bb8: PUSH2 0x0887 00000bbb: JUMP 00000bbc: JUMPDEST 00000bbd: PUSH1 0x04 00000bbf: DUP1 00000bc0: SLOAD 00000bc1: CALLVALUE 00000bc2: ADD 00000bc3: SWAP1 00000bc4: SSTORE 00000bc5: PUSH2 0x03e4 00000bc8: JUMP 00000bc9: JUMPDEST 00000bca: CALLVALUE 00000bcb: PUSH1 0x04 00000bcd: SSTORE 00000bce: PUSH1 0x0b 00000bd0: DUP1 00000bd1: SLOAD 00000bd2: PUSH28 0xffffffffffffffffffffffffffffffffffffffff0000000000000000 00000bef: NOT 00000bf0: AND 00000bf1: PUSH1 0x40 00000bf3: PUSH1 0x02 00000bf5: EXP 00000bf6: CALLER 00000bf7: MUL 00000bf8: OR 00000bf9: SWAP1 00000bfa: SSTORE 00000bfb: TIMESTAMP 00000bfc: PUSH1 0x03 00000bfe: SSTORE 00000bff: PUSH2 0x03e4 00000c02: JUMP 00000c03: JUMPDEST 00000c04: PUSH2 0x03e2 00000c07: PUSH1 0x07 00000c09: SLOAD 00000c0a: PUSH8 0x016345785d8a0000 00000c13: SWAP1 00000c14: LT 00000c15: PUSH2 0x03e4 00000c18: JUMPI 00000c19: PUSH1 0x07 00000c1b: SLOAD 00000c1c: PUSH1 0x01 00000c1e: SLOAD 00000c1f: PUSH1 0x40 00000c21: MLOAD 00000c22: PUSH1 0x01 00000c24: PUSH1 0xa0 00000c26: PUSH1 0x02 00000c28: EXP 00000c29: SUB 00000c2a: SWAP2 00000c2b: SWAP1 00000c2c: SWAP2 00000c2d: AND 00000c2e: SWAP2 00000c2f: PUSH1 0x00 00000c31: SWAP2 00000c32: DUP3 00000c33: DUP2 00000c34: DUP2 00000c35: DUP2 00000c36: DUP6 00000c37: DUP9 00000c38: DUP4 00000c39: CALL 00000c3a: POP 00000c3b: POP 00000c3c: POP 00000c3d: PUSH1 0x07 00000c3f: SSTORE 00000c40: POP 00000c41: JUMP 00000c42: UNKNOWN(0xC6) 00000c43: GAS 00000c44: PUSH28 0xb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2 00000c61: UNKNOWN(0xA8)
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: 0x060d523a73cd1c027e50efef8153bc75ee9434d1054693c0e753124d78279698
call_targets:
0x7996d791995b9f9c15eb4c3e899b09a344c54bdb
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x060d523a73cd1c027e50efef8153bc75ee9434d1054693c0e753124d78279698",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7996d791995b9f9c15eb4c3e899b09a344c54bdb"
],
"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": "0x0ad95b44",
"selector": "0x0ad95b44",
"calldata_variants": [
"0x0ad95b44",
"0x0ad95b440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x11613fc9",
"selector": "0x11613fc9",
"calldata_variants": [
"0x11613fc9",
"0x11613fc90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x146ca531",
"selector": "0x146ca531",
"calldata_variants": [
"0x146ca531",
"0x146ca5310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5841b9bf",
"selector": "0x5841b9bf",
"calldata_variants": [
"0x5841b9bf",
"0x5841b9bf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7e32a592",
"selector": "0x7e32a592",
"calldata_variants": [
"0x7e32a592",
"0x7e32a5920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x816f3f4d",
"selector": "0x816f3f4d",
"calldata_variants": [
"0x816f3f4d",
"0x816f3f4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9935b968",
"selector": "0x9935b968",
"calldata_variants": [
"0x9935b968",
"0x9935b9680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9a8f09bd",
"selector": "0x9a8f09bd",
"calldata_variants": [
"0x9a8f09bd",
"0x9a8f09bd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 326,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 392,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 495,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 16,
"guards_detected": [],
"untrusted_call_count": 16
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x060d523a73cd1c027e50efef8153bc75ee9434d1054693c0e753124d78279698
call_targets:
0x7996d791995b9f9c15eb4c3e899b09a344c54bdb
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x060d523a73cd1c027e50efef8153bc75ee9434d1054693c0e753124d78279698",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7996d791995b9f9c15eb4c3e899b09a344c54bdb"
],
"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": "0x0ad95b44",
"selector": "0x0ad95b44",
"calldata_variants": [
"0x0ad95b44",
"0x0ad95b440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x11613fc9",
"selector": "0x11613fc9",
"calldata_variants": [
"0x11613fc9",
"0x11613fc90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x146ca531",
"selector": "0x146ca531",
"calldata_variants": [
"0x146ca531",
"0x146ca5310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5841b9bf",
"selector": "0x5841b9bf",
"calldata_variants": [
"0x5841b9bf",
"0x5841b9bf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7e32a592",
"selector": "0x7e32a592",
"calldata_variants": [
"0x7e32a592",
"0x7e32a5920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x816f3f4d",
"selector": "0x816f3f4d",
"calldata_variants": [
"0x816f3f4d",
"0x816f3f4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9935b968",
"selector": "0x9935b968",
"calldata_variants": [
"0x9935b968",
"0x9935b9680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9a8f09bd",
"selector": "0x9a8f09bd",
"calldata_variants": [
"0x9a8f09bd",
"0x9a8f09bd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 326,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 392,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 495,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 16,
"guards_detected": []
}
|