019b3836-5877-70e2-9d48-137638d62e66
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 |
|---|---|---|---|---|
| 8643 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 8644 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 52240 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 52241 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 52242 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 52243 | 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 0x0132 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x05fefda7 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x013a 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x06fdde03 00000025: EQ 00000026: PUSH2 0x015f 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x18160ddd 00000030: EQ 00000031: PUSH2 0x01ba 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x19cae462 0000003b: EQ 0000003c: PUSH2 0x01c3 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x23b872dd 00000046: EQ 00000047: PUSH2 0x01cc 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x313ce567 00000051: EQ 00000052: PUSH2 0x01fe 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x4b750334 0000005c: EQ 0000005d: PUSH2 0x020a 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x51bdd585 00000067: EQ 00000068: PUSH2 0x0213 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x5a3b7e42 00000072: EQ 00000073: PUSH2 0x021c 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x5c10fe08 0000007d: EQ 0000007e: PUSH2 0x0279 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x70a08231 00000088: EQ 00000089: PUSH2 0x02e6 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x79c65068 00000093: EQ 00000094: PUSH2 0x02fe 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x81c8149d 0000009e: EQ 0000009f: PUSH2 0x0323 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x8620410b 000000a9: EQ 000000aa: PUSH2 0x032c 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x8da5cb5b 000000b4: EQ 000000b5: PUSH2 0x0335 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x95d89b41 000000bf: EQ 000000c0: PUSH2 0x0347 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xa6f2ae3a 000000ca: EQ 000000cb: PUSH2 0x03a5 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xa9059cbb 000000d5: EQ 000000d6: PUSH2 0x03d5 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xb414d4b6 000000e0: EQ 000000e1: PUSH2 0x0404 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xc91d956c 000000eb: EQ 000000ec: PUSH2 0x041f 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xcae9ca51 000000f6: EQ 000000f7: PUSH2 0x0440 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xdd62ed3e 00000101: EQ 00000102: PUSH2 0x05a7 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xe4849b32 0000010c: EQ 0000010d: PUSH2 0x05cc 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xe724529c 00000117: EQ 00000118: PUSH2 0x0602 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xf2fde38b 00000122: EQ 00000123: PUSH2 0x0626 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xfcd6e339 0000012d: EQ 0000012e: PUSH2 0x0647 00000131: JUMPI 00000132: JUMPDEST 00000133: PUSH2 0x066b 00000136: PUSH2 0x0002 00000139: JUMP 0000013a: JUMPDEST 0000013b: PUSH2 0x066b 0000013e: PUSH1 0x04 00000140: CALLDATALOAD 00000141: PUSH1 0x24 00000143: CALLDATALOAD 00000144: PUSH1 0x00 00000146: SLOAD 00000147: PUSH1 0x01 00000149: PUSH1 0xa0 0000014b: PUSH1 0x02 0000014d: EXP 0000014e: SUB 0000014f: SWAP1 00000150: DUP2 00000151: AND 00000152: CALLER 00000153: SWAP1 00000154: SWAP2 00000155: AND 00000156: EQ 00000157: PUSH2 0x0735 0000015a: JUMPI 0000015b: PUSH2 0x0002 0000015e: JUMP 0000015f: JUMPDEST 00000160: PUSH1 0x40 00000162: DUP1 00000163: MLOAD 00000164: PUSH1 0x02 00000166: DUP1 00000167: SLOAD 00000168: PUSH1 0x20 0000016a: PUSH1 0x01 0000016c: DUP3 0000016d: AND 0000016e: ISZERO 0000016f: PUSH2 0x0100 00000172: MUL 00000173: PUSH1 0x00 00000175: NOT 00000176: ADD 00000177: SWAP1 00000178: SWAP2 00000179: AND 0000017a: DUP3 0000017b: SWAP1 0000017c: DIV 0000017d: PUSH1 0x1f 0000017f: DUP2 00000180: ADD 00000181: DUP3 00000182: SWAP1 00000183: DIV 00000184: DUP3 00000185: MUL 00000186: DUP5 00000187: ADD 00000188: DUP3 00000189: ADD 0000018a: SWAP1 0000018b: SWAP5 0000018c: MSTORE 0000018d: DUP4 0000018e: DUP4 0000018f: MSTORE 00000190: PUSH2 0x066d 00000193: SWAP4 00000194: SWAP1 00000195: DUP4 00000196: ADD 00000197: DUP3 00000198: DUP3 00000199: DUP1 0000019a: ISZERO 0000019b: PUSH2 0x076f 0000019e: JUMPI 0000019f: DUP1 000001a0: PUSH1 0x1f 000001a2: LT 000001a3: PUSH2 0x0744 000001a6: JUMPI 000001a7: PUSH2 0x0100 000001aa: DUP1 000001ab: DUP4 000001ac: SLOAD 000001ad: DIV 000001ae: MUL 000001af: DUP4 000001b0: MSTORE 000001b1: SWAP2 000001b2: PUSH1 0x20 000001b4: ADD 000001b5: SWAP2 000001b6: PUSH2 0x076f 000001b9: JUMP 000001ba: JUMPDEST 000001bb: PUSH2 0x06db 000001be: PUSH1 0x0a 000001c0: SLOAD 000001c1: DUP2 000001c2: JUMP 000001c3: JUMPDEST 000001c4: PUSH2 0x06db 000001c7: PUSH1 0x0f 000001c9: SLOAD 000001ca: DUP2 000001cb: JUMP 000001cc: JUMPDEST 000001cd: PUSH2 0x06ed 000001d0: PUSH1 0x04 000001d2: CALLDATALOAD 000001d3: PUSH1 0x24 000001d5: CALLDATALOAD 000001d6: PUSH1 0x44 000001d8: CALLDATALOAD 000001d9: PUSH1 0x01 000001db: PUSH1 0xa0 000001dd: PUSH1 0x02 000001df: EXP 000001e0: SUB 000001e1: DUP4 000001e2: AND 000001e3: PUSH1 0x00 000001e5: SWAP1 000001e6: DUP2 000001e7: MSTORE 000001e8: PUSH1 0x0b 000001ea: PUSH1 0x20 000001ec: MSTORE 000001ed: PUSH1 0x40 000001ef: DUP2 000001f0: KECCAK256 000001f1: SLOAD 000001f2: PUSH1 0xff 000001f4: AND 000001f5: ISZERO 000001f6: PUSH2 0x0777 000001f9: JUMPI 000001fa: PUSH2 0x0002 000001fd: JUMP 000001fe: JUMPDEST 000001ff: PUSH2 0x0701 00000202: PUSH1 0x04 00000204: SLOAD 00000205: PUSH1 0xff 00000207: AND 00000208: DUP2 00000209: JUMP 0000020a: JUMPDEST 0000020b: PUSH2 0x06db 0000020e: PUSH1 0x08 00000210: SLOAD 00000211: DUP2 00000212: JUMP 00000213: JUMPDEST 00000214: PUSH2 0x06db 00000217: PUSH1 0x0d 00000219: SLOAD 0000021a: DUP2 0000021b: JUMP 0000021c: JUMPDEST 0000021d: PUSH1 0x40 0000021f: DUP1 00000220: MLOAD 00000221: PUSH1 0x01 00000223: DUP1 00000224: SLOAD 00000225: PUSH1 0x20 00000227: PUSH1 0x02 00000229: DUP3 0000022a: DUP5 0000022b: AND 0000022c: ISZERO 0000022d: PUSH2 0x0100 00000230: MUL 00000231: PUSH1 0x00 00000233: NOT 00000234: ADD 00000235: SWAP1 00000236: SWAP3 00000237: AND 00000238: SWAP2 00000239: SWAP1 0000023a: SWAP2 0000023b: DIV 0000023c: PUSH1 0x1f 0000023e: DUP2 0000023f: ADD 00000240: DUP3 00000241: SWAP1 00000242: DIV 00000243: DUP3 00000244: MUL 00000245: DUP5 00000246: ADD 00000247: DUP3 00000248: ADD 00000249: SWAP1 0000024a: SWAP5 0000024b: MSTORE 0000024c: DUP4 0000024d: DUP4 0000024e: MSTORE 0000024f: PUSH2 0x066d 00000252: SWAP4 00000253: SWAP1 00000254: DUP4 00000255: ADD 00000256: DUP3 00000257: DUP3 00000258: DUP1 00000259: ISZERO 0000025a: PUSH2 0x076f 0000025d: JUMPI 0000025e: DUP1 0000025f: PUSH1 0x1f 00000261: LT 00000262: PUSH2 0x0744 00000265: JUMPI 00000266: PUSH2 0x0100 00000269: DUP1 0000026a: DUP4 0000026b: SLOAD 0000026c: DIV 0000026d: MUL 0000026e: DUP4 0000026f: MSTORE 00000270: SWAP2 00000271: PUSH1 0x20 00000273: ADD 00000274: SWAP2 00000275: PUSH2 0x076f 00000278: JUMP 00000279: JUMPDEST 0000027a: PUSH2 0x066b 0000027d: PUSH1 0x04 0000027f: CALLDATALOAD 00000280: PUSH1 0x40 00000282: DUP1 00000283: MLOAD 00000284: PUSH1 0x0d 00000286: SLOAD 00000287: DUP4 00000288: DUP3 00000289: MSTORE 0000028a: PUSH1 0x20 0000028c: DUP3 0000028d: ADD 0000028e: MSTORE 0000028f: DUP2 00000290: MLOAD 00000291: SWAP1 00000292: DUP2 00000293: SWAP1 00000294: SUB 00000295: SWAP1 00000296: SWAP2 00000297: ADD 00000298: SWAP1 00000299: KECCAK256 0000029a: PUSH1 0x0f 0000029c: SLOAD 0000029d: PUSH1 0x00 0000029f: SWAP1 000002a0: PUSH24 0xffffffffffffffffffffffffffffffffffffffffffffffff 000002b9: NOT 000002ba: PUSH25 0x01000000000000000000000000000000000000000000000000 000002d4: SWAP1 000002d5: SWAP2 000002d6: MUL 000002d7: DUP2 000002d8: AND 000002d9: SWAP1 000002da: DUP4 000002db: AND 000002dc: LT 000002dd: ISZERO 000002de: PUSH2 0x0870 000002e1: JUMPI 000002e2: PUSH2 0x0002 000002e5: JUMP 000002e6: JUMPDEST 000002e7: PUSH2 0x06db 000002ea: PUSH1 0x04 000002ec: CALLDATALOAD 000002ed: PUSH1 0x06 000002ef: PUSH1 0x20 000002f1: MSTORE 000002f2: PUSH1 0x00 000002f4: SWAP1 000002f5: DUP2 000002f6: MSTORE 000002f7: PUSH1 0x40 000002f9: SWAP1 000002fa: KECCAK256 000002fb: SLOAD 000002fc: DUP2 000002fd: JUMP 000002fe: JUMPDEST 000002ff: PUSH2 0x066b 00000302: PUSH1 0x04 00000304: CALLDATALOAD 00000305: PUSH1 0x24 00000307: CALLDATALOAD 00000308: PUSH1 0x00 0000030a: SLOAD 0000030b: PUSH1 0x01 0000030d: PUSH1 0xa0 0000030f: PUSH1 0x02 00000311: EXP 00000312: SUB 00000313: SWAP1 00000314: DUP2 00000315: AND 00000316: CALLER 00000317: SWAP1 00000318: SWAP2 00000319: AND 0000031a: EQ 0000031b: PUSH2 0x08ea 0000031e: JUMPI 0000031f: PUSH2 0x0002 00000322: JUMP 00000323: JUMPDEST 00000324: PUSH2 0x06db 00000327: PUSH1 0x0e 00000329: SLOAD 0000032a: DUP2 0000032b: JUMP 0000032c: JUMPDEST 0000032d: PUSH2 0x06db 00000330: PUSH1 0x09 00000332: SLOAD 00000333: DUP2 00000334: JUMP 00000335: JUMPDEST 00000336: PUSH2 0x0718 00000339: PUSH1 0x00 0000033b: SLOAD 0000033c: PUSH1 0x01 0000033e: PUSH1 0xa0 00000340: PUSH1 0x02 00000342: EXP 00000343: SUB 00000344: AND 00000345: DUP2 00000346: JUMP 00000347: JUMPDEST 00000348: PUSH2 0x066d 0000034b: PUSH1 0x03 0000034d: DUP1 0000034e: SLOAD 0000034f: PUSH1 0x40 00000351: DUP1 00000352: MLOAD 00000353: PUSH1 0x20 00000355: PUSH1 0x02 00000357: PUSH1 0x01 00000359: DUP6 0000035a: AND 0000035b: ISZERO 0000035c: PUSH2 0x0100 0000035f: MUL 00000360: PUSH1 0x00 00000362: NOT 00000363: ADD 00000364: SWAP1 00000365: SWAP5 00000366: AND 00000367: SWAP4 00000368: SWAP1 00000369: SWAP4 0000036a: DIV 0000036b: PUSH1 0x1f 0000036d: DUP2 0000036e: ADD 0000036f: DUP5 00000370: SWAP1 00000371: DIV 00000372: DUP5 00000373: MUL 00000374: DUP3 00000375: ADD 00000376: DUP5 00000377: ADD 00000378: SWAP1 00000379: SWAP3 0000037a: MSTORE 0000037b: DUP2 0000037c: DUP2 0000037d: MSTORE 0000037e: SWAP3 0000037f: SWAP2 00000380: DUP4 00000381: ADD 00000382: DUP3 00000383: DUP3 00000384: DUP1 00000385: ISZERO 00000386: PUSH2 0x076f 00000389: JUMPI 0000038a: DUP1 0000038b: PUSH1 0x1f 0000038d: LT 0000038e: PUSH2 0x0744 00000391: JUMPI 00000392: PUSH2 0x0100 00000395: DUP1 00000396: DUP4 00000397: SLOAD 00000398: DIV 00000399: MUL 0000039a: DUP4 0000039b: MSTORE 0000039c: SWAP2 0000039d: PUSH1 0x20 0000039f: ADD 000003a0: SWAP2 000003a1: PUSH2 0x076f 000003a4: JUMP 000003a5: JUMPDEST 000003a6: PUSH1 0x09 000003a8: SLOAD 000003a9: ADDRESS 000003aa: PUSH1 0x01 000003ac: PUSH1 0xa0 000003ae: PUSH1 0x02 000003b0: EXP 000003b1: SUB 000003b2: AND 000003b3: PUSH1 0x00 000003b5: SWAP1 000003b6: DUP2 000003b7: MSTORE 000003b8: PUSH1 0x06 000003ba: PUSH1 0x20 000003bc: MSTORE 000003bd: PUSH1 0x40 000003bf: SWAP1 000003c0: KECCAK256 000003c1: SLOAD 000003c2: PUSH2 0x066b 000003c5: SWAP2 000003c6: CALLVALUE 000003c7: DIV 000003c8: SWAP1 000003c9: DUP2 000003ca: SWAP1 000003cb: LT 000003cc: ISZERO 000003cd: PUSH2 0x098b 000003d0: JUMPI 000003d1: PUSH2 0x0002 000003d4: JUMP 000003d5: JUMPDEST 000003d6: PUSH2 0x066b 000003d9: PUSH1 0x04 000003db: CALLDATALOAD 000003dc: PUSH1 0x24 000003de: CALLDATALOAD 000003df: CALLER 000003e0: PUSH1 0x01 000003e2: PUSH1 0xa0 000003e4: PUSH1 0x02 000003e6: EXP 000003e7: SUB 000003e8: AND 000003e9: PUSH1 0x00 000003eb: SWAP1 000003ec: DUP2 000003ed: MSTORE 000003ee: PUSH1 0x06 000003f0: PUSH1 0x20 000003f2: MSTORE 000003f3: PUSH1 0x40 000003f5: SWAP1 000003f6: KECCAK256 000003f7: SLOAD 000003f8: DUP2 000003f9: SWAP1 000003fa: LT 000003fb: ISZERO 000003fc: PUSH2 0x09e6 000003ff: JUMPI 00000400: PUSH2 0x0002 00000403: JUMP 00000404: JUMPDEST 00000405: PUSH2 0x06ed 00000408: PUSH1 0x04 0000040a: CALLDATALOAD 0000040b: PUSH1 0x0b 0000040d: PUSH1 0x20 0000040f: MSTORE 00000410: PUSH1 0x00 00000412: SWAP1 00000413: DUP2 00000414: MSTORE 00000415: PUSH1 0x40 00000417: SWAP1 00000418: KECCAK256 00000419: SLOAD 0000041a: PUSH1 0xff 0000041c: AND 0000041d: DUP2 0000041e: JUMP 0000041f: JUMPDEST 00000420: PUSH2 0x066b 00000423: PUSH1 0x04 00000425: CALLDATALOAD 00000426: PUSH1 0x00 00000428: SLOAD 00000429: CALLER 0000042a: PUSH1 0x01 0000042c: PUSH1 0xa0 0000042e: PUSH1 0x02 00000430: EXP 00000431: SUB 00000432: SWAP1 00000433: DUP2 00000434: AND 00000435: SWAP2 00000436: AND 00000437: EQ 00000438: PUSH2 0x0aba 0000043b: JUMPI 0000043c: PUSH2 0x0002 0000043f: JUMP 00000440: JUMPDEST 00000441: PUSH1 0x40 00000443: DUP1 00000444: MLOAD 00000445: PUSH1 0x20 00000447: PUSH1 0x44 00000449: CALLDATALOAD 0000044a: PUSH1 0x04 0000044c: DUP2 0000044d: DUP2 0000044e: ADD 0000044f: CALLDATALOAD 00000450: PUSH1 0x1f 00000452: DUP2 00000453: ADD 00000454: DUP5 00000455: SWAP1 00000456: DIV 00000457: DUP5 00000458: MUL 00000459: DUP6 0000045a: ADD 0000045b: DUP5 0000045c: ADD 0000045d: SWAP1 0000045e: SWAP6 0000045f: MSTORE 00000460: DUP5 00000461: DUP5 00000462: MSTORE 00000463: PUSH2 0x06ed 00000466: SWAP5 00000467: DUP2 00000468: CALLDATALOAD 00000469: SWAP5 0000046a: PUSH1 0x24 0000046c: DUP1 0000046d: CALLDATALOAD 0000046e: SWAP6 0000046f: SWAP4 00000470: SWAP5 00000471: PUSH1 0x64 00000473: SWAP5 00000474: SWAP3 00000475: SWAP4 00000476: SWAP2 00000477: ADD 00000478: SWAP2 00000479: DUP2 0000047a: SWAP1 0000047b: DUP5 0000047c: ADD 0000047d: DUP4 0000047e: DUP3 0000047f: DUP1 00000480: DUP3 00000481: DUP5 00000482: CALLDATACOPY 00000483: POP 00000484: SWAP5 00000485: SWAP7 00000486: POP 00000487: POP 00000488: POP 00000489: POP 0000048a: POP 0000048b: POP 0000048c: POP 0000048d: PUSH1 0x00 0000048f: PUSH1 0x00 00000491: DUP4 00000492: PUSH1 0x07 00000494: PUSH1 0x00 00000496: POP 00000497: PUSH1 0x00 00000499: CALLER 0000049a: PUSH1 0x01 0000049c: PUSH1 0xa0 0000049e: PUSH1 0x02 000004a0: EXP 000004a1: SUB 000004a2: AND 000004a3: DUP2 000004a4: MSTORE 000004a5: PUSH1 0x20 000004a7: ADD 000004a8: SWAP1 000004a9: DUP2 000004aa: MSTORE 000004ab: PUSH1 0x20 000004ad: ADD 000004ae: PUSH1 0x00 000004b0: KECCAK256 000004b1: PUSH1 0x00 000004b3: POP 000004b4: PUSH1 0x00 000004b6: DUP8 000004b7: PUSH1 0x01 000004b9: PUSH1 0xa0 000004bb: PUSH1 0x02 000004bd: EXP 000004be: SUB 000004bf: AND 000004c0: DUP2 000004c1: MSTORE 000004c2: PUSH1 0x20 000004c4: ADD 000004c5: SWAP1 000004c6: DUP2 000004c7: MSTORE 000004c8: PUSH1 0x20 000004ca: ADD 000004cb: PUSH1 0x00 000004cd: KECCAK256 000004ce: PUSH1 0x00 000004d0: POP 000004d1: DUP2 000004d2: SWAP1 000004d3: SSTORE 000004d4: POP 000004d5: DUP5 000004d6: SWAP1 000004d7: POP 000004d8: DUP1 000004d9: PUSH1 0x01 000004db: PUSH1 0xa0 000004dd: PUSH1 0x02 000004df: EXP 000004e0: SUB 000004e1: AND 000004e2: PUSH4 0x8f4ffcb1 000004e7: CALLER 000004e8: DUP7 000004e9: ADDRESS 000004ea: DUP8 000004eb: PUSH1 0x40 000004ed: MLOAD 000004ee: DUP6 000004ef: PUSH1 0xe0 000004f1: PUSH1 0x02 000004f3: EXP 000004f4: MUL 000004f5: DUP2 000004f6: MSTORE 000004f7: PUSH1 0x04 000004f9: ADD 000004fa: DUP1 000004fb: DUP6 000004fc: PUSH1 0x01 000004fe: PUSH1 0xa0 00000500: PUSH1 0x02 00000502: EXP 00000503: SUB 00000504: AND 00000505: DUP2 00000506: MSTORE 00000507: PUSH1 0x20 00000509: ADD 0000050a: DUP5 0000050b: DUP2 0000050c: MSTORE 0000050d: PUSH1 0x20 0000050f: ADD 00000510: DUP4 00000511: PUSH1 0x01 00000513: PUSH1 0xa0 00000515: PUSH1 0x02 00000517: EXP 00000518: SUB 00000519: AND 0000051a: DUP2 0000051b: MSTORE 0000051c: PUSH1 0x20 0000051e: ADD 0000051f: DUP1 00000520: PUSH1 0x20 00000522: ADD 00000523: DUP3 00000524: DUP2 00000525: SUB 00000526: DUP3 00000527: MSTORE 00000528: DUP4 00000529: DUP2 0000052a: DUP2 0000052b: MLOAD 0000052c: DUP2 0000052d: MSTORE 0000052e: PUSH1 0x20 00000530: ADD 00000531: SWAP2 00000532: POP 00000533: DUP1 00000534: MLOAD 00000535: SWAP1 00000536: PUSH1 0x20 00000538: ADD 00000539: SWAP1 0000053a: DUP1 0000053b: DUP4 0000053c: DUP4 0000053d: DUP3 0000053e: SWAP1 0000053f: PUSH1 0x00 00000541: PUSH1 0x04 00000543: PUSH1 0x20 00000545: DUP5 00000546: PUSH1 0x1f 00000548: ADD 00000549: DIV 0000054a: PUSH1 0x0f 0000054c: MUL 0000054d: PUSH1 0x03 0000054f: ADD 00000550: CALL 00000551: POP 00000552: SWAP1 00000553: POP 00000554: SWAP1 00000555: DUP2 00000556: ADD 00000557: SWAP1 00000558: PUSH1 0x1f 0000055a: AND 0000055b: DUP1 0000055c: ISZERO 0000055d: PUSH2 0x057a 00000560: JUMPI 00000561: DUP1 00000562: DUP3 00000563: SUB 00000564: DUP1 00000565: MLOAD 00000566: PUSH1 0x01 00000568: DUP4 00000569: PUSH1 0x20 0000056b: SUB 0000056c: PUSH2 0x0100 0000056f: EXP 00000570: SUB 00000571: NOT 00000572: AND 00000573: DUP2 00000574: MSTORE 00000575: PUSH1 0x20 00000577: ADD 00000578: SWAP2 00000579: POP 0000057a: JUMPDEST 0000057b: POP 0000057c: SWAP6 0000057d: POP 0000057e: POP 0000057f: POP 00000580: POP 00000581: POP 00000582: POP 00000583: PUSH1 0x00 00000585: PUSH1 0x40 00000587: MLOAD 00000588: DUP1 00000589: DUP4 0000058a: SUB 0000058b: DUP2 0000058c: PUSH1 0x00 0000058e: DUP8 0000058f: PUSH2 0x61da 00000592: GAS 00000593: SUB 00000594: CALL 00000595: ISZERO 00000596: PUSH2 0x0002 00000599: JUMPI 0000059a: POP 0000059b: PUSH1 0x01 0000059d: SWAP8 0000059e: SWAP7 0000059f: POP 000005a0: POP 000005a1: POP 000005a2: POP 000005a3: POP 000005a4: POP 000005a5: POP 000005a6: JUMP 000005a7: JUMPDEST 000005a8: PUSH1 0x07 000005aa: PUSH1 0x20 000005ac: SWAP1 000005ad: DUP2 000005ae: MSTORE 000005af: PUSH1 0x04 000005b1: CALLDATALOAD 000005b2: PUSH1 0x00 000005b4: SWAP1 000005b5: DUP2 000005b6: MSTORE 000005b7: PUSH1 0x40 000005b9: DUP1 000005ba: DUP3 000005bb: KECCAK256 000005bc: SWAP1 000005bd: SWAP3 000005be: MSTORE 000005bf: PUSH1 0x24 000005c1: CALLDATALOAD 000005c2: DUP2 000005c3: MSTORE 000005c4: KECCAK256 000005c5: SLOAD 000005c6: PUSH2 0x06db 000005c9: SWAP1 000005ca: DUP2 000005cb: JUMP 000005cc: JUMPDEST 000005cd: PUSH2 0x066b 000005d0: PUSH1 0x04 000005d2: CALLDATALOAD 000005d3: JUMPDEST 000005d4: DUP1 000005d5: PUSH1 0x06 000005d7: PUSH1 0x00 000005d9: POP 000005da: PUSH1 0x00 000005dc: CALLER 000005dd: PUSH1 0x01 000005df: PUSH1 0xa0 000005e1: PUSH1 0x02 000005e3: EXP 000005e4: SUB 000005e5: AND 000005e6: DUP2 000005e7: MSTORE 000005e8: PUSH1 0x20 000005ea: ADD 000005eb: SWAP1 000005ec: DUP2 000005ed: MSTORE 000005ee: PUSH1 0x20 000005f0: ADD 000005f1: PUSH1 0x00 000005f3: KECCAK256 000005f4: PUSH1 0x00 000005f6: POP 000005f7: SLOAD 000005f8: LT 000005f9: ISZERO 000005fa: PUSH2 0x0ac8 000005fd: JUMPI 000005fe: PUSH2 0x0002 00000601: JUMP 00000602: JUMPDEST 00000603: PUSH2 0x066b 00000606: PUSH1 0x04 00000608: CALLDATALOAD 00000609: PUSH1 0x24 0000060b: CALLDATALOAD 0000060c: PUSH1 0x00 0000060e: SLOAD 0000060f: CALLER 00000610: PUSH1 0x01 00000612: PUSH1 0xa0 00000614: PUSH1 0x02 00000616: EXP 00000617: SUB 00000618: SWAP1 00000619: DUP2 0000061a: AND 0000061b: SWAP2 0000061c: AND 0000061d: EQ 0000061e: PUSH2 0x0b56 00000621: JUMPI 00000622: PUSH2 0x0002 00000625: JUMP 00000626: JUMPDEST 00000627: PUSH2 0x066b 0000062a: PUSH1 0x04 0000062c: CALLDATALOAD 0000062d: PUSH1 0x00 0000062f: SLOAD 00000630: CALLER 00000631: PUSH1 0x01 00000633: PUSH1 0xa0 00000635: PUSH1 0x02 00000637: EXP 00000638: SUB 00000639: SWAP1 0000063a: DUP2 0000063b: AND 0000063c: SWAP2 0000063d: AND 0000063e: EQ 0000063f: PUSH2 0x0bb8 00000642: JUMPI 00000643: PUSH2 0x0002 00000646: JUMP 00000647: JUMPDEST 00000648: PUSH2 0x066b 0000064b: PUSH1 0x01 0000064d: PUSH1 0xa0 0000064f: PUSH1 0x02 00000651: EXP 00000652: SUB 00000653: COINBASE 00000654: AND 00000655: PUSH1 0x00 00000657: SWAP1 00000658: DUP2 00000659: MSTORE 0000065a: PUSH1 0x06 0000065c: PUSH1 0x20 0000065e: MSTORE 0000065f: PUSH1 0x40 00000661: SWAP1 00000662: KECCAK256 00000663: DUP1 00000664: SLOAD 00000665: PUSH1 0x01 00000667: ADD 00000668: SWAP1 00000669: SSTORE 0000066a: JUMP 0000066b: JUMPDEST 0000066c: STOP 0000066d: JUMPDEST 0000066e: PUSH1 0x40 00000670: MLOAD 00000671: DUP1 00000672: DUP1 00000673: PUSH1 0x20 00000675: ADD 00000676: DUP3 00000677: DUP2 00000678: SUB 00000679: DUP3 0000067a: MSTORE 0000067b: DUP4 0000067c: DUP2 0000067d: DUP2 0000067e: MLOAD 0000067f: DUP2 00000680: MSTORE 00000681: PUSH1 0x20 00000683: ADD 00000684: SWAP2 00000685: POP 00000686: DUP1 00000687: MLOAD 00000688: SWAP1 00000689: PUSH1 0x20 0000068b: ADD 0000068c: SWAP1 0000068d: DUP1 0000068e: DUP4 0000068f: DUP4 00000690: DUP3 00000691: SWAP1 00000692: PUSH1 0x00 00000694: PUSH1 0x04 00000696: PUSH1 0x20 00000698: DUP5 00000699: PUSH1 0x1f 0000069b: ADD 0000069c: DIV 0000069d: PUSH1 0x0f 0000069f: MUL 000006a0: PUSH1 0x03 000006a2: ADD 000006a3: CALL 000006a4: POP 000006a5: SWAP1 000006a6: POP 000006a7: SWAP1 000006a8: DUP2 000006a9: ADD 000006aa: SWAP1 000006ab: PUSH1 0x1f 000006ad: AND 000006ae: DUP1 000006af: ISZERO 000006b0: PUSH2 0x06cd 000006b3: JUMPI 000006b4: DUP1 000006b5: DUP3 000006b6: SUB 000006b7: DUP1 000006b8: MLOAD 000006b9: PUSH1 0x01 000006bb: DUP4 000006bc: PUSH1 0x20 000006be: SUB 000006bf: PUSH2 0x0100 000006c2: EXP 000006c3: SUB 000006c4: NOT 000006c5: AND 000006c6: DUP2 000006c7: MSTORE 000006c8: PUSH1 0x20 000006ca: ADD 000006cb: SWAP2 000006cc: POP 000006cd: JUMPDEST 000006ce: POP 000006cf: SWAP3 000006d0: POP 000006d1: POP 000006d2: POP 000006d3: PUSH1 0x40 000006d5: MLOAD 000006d6: DUP1 000006d7: SWAP2 000006d8: SUB 000006d9: SWAP1 000006da: RETURN 000006db: JUMPDEST 000006dc: PUSH1 0x40 000006de: DUP1 000006df: MLOAD 000006e0: SWAP2 000006e1: DUP3 000006e2: MSTORE 000006e3: MLOAD 000006e4: SWAP1 000006e5: DUP2 000006e6: SWAP1 000006e7: SUB 000006e8: PUSH1 0x20 000006ea: ADD 000006eb: SWAP1 000006ec: RETURN 000006ed: JUMPDEST 000006ee: PUSH1 0x40 000006f0: DUP1 000006f1: MLOAD 000006f2: SWAP2 000006f3: ISZERO 000006f4: ISZERO 000006f5: DUP3 000006f6: MSTORE 000006f7: MLOAD 000006f8: SWAP1 000006f9: DUP2 000006fa: SWAP1 000006fb: SUB 000006fc: PUSH1 0x20 000006fe: ADD 000006ff: SWAP1 00000700: RETURN 00000701: JUMPDEST 00000702: PUSH1 0x40 00000704: DUP1 00000705: MLOAD 00000706: PUSH1 0xff 00000708: SWAP3 00000709: SWAP1 0000070a: SWAP3 0000070b: AND 0000070c: DUP3 0000070d: MSTORE 0000070e: MLOAD 0000070f: SWAP1 00000710: DUP2 00000711: SWAP1 00000712: SUB 00000713: PUSH1 0x20 00000715: ADD 00000716: SWAP1 00000717: RETURN 00000718: JUMPDEST 00000719: PUSH1 0x40 0000071b: DUP1 0000071c: MLOAD 0000071d: PUSH1 0x01 0000071f: PUSH1 0xa0 00000721: PUSH1 0x02 00000723: EXP 00000724: SUB 00000725: SWAP3 00000726: SWAP1 00000727: SWAP3 00000728: AND 00000729: DUP3 0000072a: MSTORE 0000072b: MLOAD 0000072c: SWAP1 0000072d: DUP2 0000072e: SWAP1 0000072f: SUB 00000730: PUSH1 0x20 00000732: ADD 00000733: SWAP1 00000734: RETURN 00000735: JUMPDEST 00000736: PUSH1 0x08 00000738: DUP3 00000739: SWAP1 0000073a: SSTORE 0000073b: PUSH1 0x09 0000073d: DUP2 0000073e: SWAP1 0000073f: SSTORE 00000740: JUMPDEST 00000741: POP 00000742: POP 00000743: JUMP 00000744: JUMPDEST 00000745: DUP3 00000746: ADD 00000747: SWAP2 00000748: SWAP1 00000749: PUSH1 0x00 0000074b: MSTORE 0000074c: PUSH1 0x20 0000074e: PUSH1 0x00 00000750: KECCAK256 00000751: SWAP1 00000752: JUMPDEST 00000753: DUP2 00000754: SLOAD 00000755: DUP2 00000756: MSTORE 00000757: SWAP1 00000758: PUSH1 0x01 0000075a: ADD 0000075b: SWAP1 0000075c: PUSH1 0x20 0000075e: ADD 0000075f: DUP1 00000760: DUP4 00000761: GT 00000762: PUSH2 0x0752 00000765: JUMPI 00000766: DUP3 00000767: SWAP1 00000768: SUB 00000769: PUSH1 0x1f 0000076b: AND 0000076c: DUP3 0000076d: ADD 0000076e: SWAP2 0000076f: JUMPDEST 00000770: POP 00000771: POP 00000772: POP 00000773: POP 00000774: POP 00000775: DUP2 00000776: JUMP 00000777: JUMPDEST 00000778: PUSH1 0x01 0000077a: PUSH1 0xa0 0000077c: PUSH1 0x02 0000077e: EXP 0000077f: SUB 00000780: DUP5 00000781: AND 00000782: PUSH1 0x00 00000784: SWAP1 00000785: DUP2 00000786: MSTORE 00000787: PUSH1 0x06 00000789: PUSH1 0x20 0000078b: MSTORE 0000078c: PUSH1 0x40 0000078e: SWAP1 0000078f: KECCAK256 00000790: SLOAD 00000791: DUP3 00000792: SWAP1 00000793: LT 00000794: ISZERO 00000795: PUSH2 0x079d 00000798: JUMPI 00000799: PUSH2 0x0002 0000079c: JUMP 0000079d: JUMPDEST 0000079e: PUSH1 0x01 000007a0: PUSH1 0xa0 000007a2: PUSH1 0x02 000007a4: EXP 000007a5: SUB 000007a6: DUP4 000007a7: AND 000007a8: PUSH1 0x00 000007aa: SWAP1 000007ab: DUP2 000007ac: MSTORE 000007ad: PUSH1 0x06 000007af: PUSH1 0x20 000007b1: MSTORE 000007b2: PUSH1 0x40 000007b4: SWAP1 000007b5: KECCAK256 000007b6: SLOAD 000007b7: DUP1 000007b8: DUP4 000007b9: ADD 000007ba: LT 000007bb: ISZERO 000007bc: PUSH2 0x07c4 000007bf: JUMPI 000007c0: PUSH2 0x0002 000007c3: JUMP 000007c4: JUMPDEST 000007c5: PUSH1 0x01 000007c7: PUSH1 0xa0 000007c9: PUSH1 0x02 000007cb: EXP 000007cc: SUB 000007cd: DUP5 000007ce: DUP2 000007cf: AND 000007d0: PUSH1 0x00 000007d2: SWAP1 000007d3: DUP2 000007d4: MSTORE 000007d5: PUSH1 0x07 000007d7: PUSH1 0x20 000007d9: SWAP1 000007da: DUP2 000007db: MSTORE 000007dc: PUSH1 0x40 000007de: DUP1 000007df: DUP4 000007e0: KECCAK256 000007e1: CALLER 000007e2: SWAP1 000007e3: SWAP5 000007e4: AND 000007e5: DUP4 000007e6: MSTORE 000007e7: SWAP3 000007e8: SWAP1 000007e9: MSTORE 000007ea: KECCAK256 000007eb: SLOAD 000007ec: DUP3 000007ed: GT 000007ee: ISZERO 000007ef: PUSH2 0x07f7 000007f2: JUMPI 000007f3: PUSH2 0x0002 000007f6: JUMP 000007f7: JUMPDEST 000007f8: PUSH1 0x01 000007fa: PUSH1 0xa0 000007fc: PUSH1 0x02 000007fe: EXP 000007ff: SUB 00000800: DUP5 00000801: DUP2 00000802: AND 00000803: PUSH1 0x00 00000805: DUP2 00000806: DUP2 00000807: MSTORE 00000808: PUSH1 0x06 0000080a: PUSH1 0x20 0000080c: SWAP1 0000080d: DUP2 0000080e: MSTORE 0000080f: PUSH1 0x40 00000811: DUP1 00000812: DUP4 00000813: KECCAK256 00000814: DUP1 00000815: SLOAD 00000816: DUP9 00000817: SWAP1 00000818: SUB 00000819: SWAP1 0000081a: SSTORE 0000081b: DUP8 0000081c: DUP6 0000081d: AND 0000081e: DUP1 0000081f: DUP5 00000820: MSTORE 00000821: DUP2 00000822: DUP5 00000823: KECCAK256 00000824: DUP1 00000825: SLOAD 00000826: DUP10 00000827: ADD 00000828: SWAP1 00000829: SSTORE 0000082a: DUP5 0000082b: DUP5 0000082c: MSTORE 0000082d: PUSH1 0x07 0000082f: DUP4 00000830: MSTORE 00000831: DUP2 00000832: DUP5 00000833: KECCAK256 00000834: CALLER 00000835: SWAP1 00000836: SWAP7 00000837: AND 00000838: DUP5 00000839: MSTORE 0000083a: SWAP5 0000083b: DUP3 0000083c: MSTORE 0000083d: SWAP2 0000083e: DUP3 0000083f: SWAP1 00000840: KECCAK256 00000841: DUP1 00000842: SLOAD 00000843: DUP8 00000844: SWAP1 00000845: SUB 00000846: SWAP1 00000847: SSTORE 00000848: DUP2 00000849: MLOAD 0000084a: DUP7 0000084b: DUP2 0000084c: MSTORE 0000084d: SWAP2 0000084e: MLOAD 0000084f: PUSH1 0x00 00000851: DUP1 00000852: MLOAD 00000853: PUSH1 0x20 00000855: PUSH2 0x0bda 00000858: DUP4 00000859: CODECOPY 0000085a: DUP2 0000085b: MLOAD 0000085c: SWAP2 0000085d: MSTORE 0000085e: SWAP3 0000085f: DUP2 00000860: SWAP1 00000861: SUB 00000862: SWAP1 00000863: SWAP2 00000864: ADD 00000865: SWAP1 00000866: LOG3 00000867: POP 00000868: PUSH1 0x01 0000086a: SWAP4 0000086b: SWAP3 0000086c: POP 0000086d: POP 0000086e: POP 0000086f: JUMP 00000870: JUMPDEST 00000871: POP 00000872: PUSH1 0x0e 00000874: SLOAD 00000875: TIMESTAMP 00000876: SUB 00000877: PUSH1 0x05 00000879: DUP2 0000087a: LT 0000087b: ISZERO 0000087c: PUSH2 0x0884 0000087f: JUMPI 00000880: PUSH2 0x0002 00000883: JUMP 00000884: JUMPDEST 00000885: CALLER 00000886: PUSH1 0x01 00000888: PUSH1 0xa0 0000088a: PUSH1 0x02 0000088c: EXP 0000088d: SUB 0000088e: AND 0000088f: PUSH1 0x00 00000891: SWAP1 00000892: DUP2 00000893: MSTORE 00000894: PUSH1 0x06 00000896: PUSH1 0x20 00000898: SWAP1 00000899: DUP2 0000089a: MSTORE 0000089b: PUSH1 0x40 0000089d: SWAP2 0000089e: DUP3 0000089f: SWAP1 000008a0: KECCAK256 000008a1: DUP1 000008a2: SLOAD 000008a3: PUSH1 0x3c 000008a5: DUP6 000008a6: DIV 000008a7: ADD 000008a8: SWAP1 000008a9: SSTORE 000008aa: PUSH1 0x0f 000008ac: DUP1 000008ad: SLOAD 000008ae: PUSH2 0x0258 000008b1: MUL 000008b2: DUP5 000008b3: SWAP1 000008b4: DIV 000008b5: PUSH1 0x01 000008b7: ADD 000008b8: SWAP1 000008b9: SSTORE 000008ba: TIMESTAMP 000008bb: PUSH1 0x0e 000008bd: SSTORE 000008be: DUP2 000008bf: MLOAD 000008c0: PUSH1 0x0d 000008c2: DUP1 000008c3: SLOAD 000008c4: DUP8 000008c5: DUP4 000008c6: MSTORE 000008c7: SWAP3 000008c8: DUP3 000008c9: ADD 000008ca: SWAP3 000008cb: SWAP1 000008cc: SWAP3 000008cd: MSTORE 000008ce: NUMBER 000008cf: PUSH1 0x00 000008d1: NOT 000008d2: ADD 000008d3: BLOCKHASH 000008d4: DUP2 000008d5: DUP5 000008d6: ADD 000008d7: MSTORE 000008d8: SWAP2 000008d9: MLOAD 000008da: SWAP2 000008db: DUP3 000008dc: SWAP1 000008dd: SUB 000008de: PUSH1 0x60 000008e0: ADD 000008e1: SWAP1 000008e2: SWAP2 000008e3: KECCAK256 000008e4: SWAP1 000008e5: SSTORE 000008e6: POP 000008e7: POP 000008e8: POP 000008e9: JUMP 000008ea: JUMPDEST 000008eb: PUSH1 0x01 000008ed: PUSH1 0xa0 000008ef: PUSH1 0x02 000008f1: EXP 000008f2: SUB 000008f3: DUP3 000008f4: DUP2 000008f5: AND 000008f6: PUSH1 0x00 000008f8: SWAP1 000008f9: DUP2 000008fa: MSTORE 000008fb: PUSH1 0x06 000008fd: PUSH1 0x20 000008ff: SWAP1 00000900: DUP2 00000901: MSTORE 00000902: PUSH1 0x40 00000904: DUP1 00000905: DUP4 00000906: KECCAK256 00000907: DUP1 00000908: SLOAD 00000909: DUP7 0000090a: ADD 0000090b: SWAP1 0000090c: SSTORE 0000090d: PUSH1 0x0a 0000090f: DUP1 00000910: SLOAD 00000911: DUP7 00000912: ADD 00000913: SWAP1 00000914: SSTORE 00000915: DUP1 00000916: MLOAD 00000917: DUP4 00000918: SLOAD 00000919: DUP7 0000091a: DUP3 0000091b: MSTORE 0000091c: SWAP2 0000091d: MLOAD 0000091e: SWAP2 0000091f: SWAP1 00000920: SWAP5 00000921: AND 00000922: SWAP4 00000923: PUSH1 0x00 00000925: DUP1 00000926: MLOAD 00000927: PUSH1 0x20 00000929: PUSH2 0x0bda 0000092c: DUP4 0000092d: CODECOPY 0000092e: DUP2 0000092f: MLOAD 00000930: SWAP2 00000931: MSTORE 00000932: SWAP3 00000933: SWAP1 00000934: DUP3 00000935: SWAP1 00000936: SUB 00000937: ADD 00000938: SWAP1 00000939: LOG3 0000093a: DUP2 0000093b: PUSH1 0x01 0000093d: PUSH1 0xa0 0000093f: PUSH1 0x02 00000941: EXP 00000942: SUB 00000943: AND 00000944: PUSH1 0x00 00000946: PUSH1 0x00 00000948: SWAP1 00000949: SLOAD 0000094a: SWAP1 0000094b: PUSH2 0x0100 0000094e: EXP 0000094f: SWAP1 00000950: DIV 00000951: PUSH1 0x01 00000953: PUSH1 0xa0 00000955: PUSH1 0x02 00000957: EXP 00000958: SUB 00000959: AND 0000095a: PUSH1 0x01 0000095c: PUSH1 0xa0 0000095e: PUSH1 0x02 00000960: EXP 00000961: SUB 00000962: AND 00000963: PUSH1 0x00 00000965: DUP1 00000966: MLOAD 00000967: PUSH1 0x20 00000969: PUSH2 0x0bda 0000096c: DUP4 0000096d: CODECOPY 0000096e: DUP2 0000096f: MLOAD 00000970: SWAP2 00000971: MSTORE 00000972: DUP4 00000973: PUSH1 0x40 00000975: MLOAD 00000976: DUP1 00000977: DUP3 00000978: DUP2 00000979: MSTORE 0000097a: PUSH1 0x20 0000097c: ADD 0000097d: SWAP2 0000097e: POP 0000097f: POP 00000980: PUSH1 0x40 00000982: MLOAD 00000983: DUP1 00000984: SWAP2 00000985: SUB 00000986: SWAP1 00000987: LOG3 00000988: POP 00000989: POP 0000098a: JUMP 0000098b: JUMPDEST 0000098c: CALLER 0000098d: PUSH1 0x01 0000098f: PUSH1 0xa0 00000991: PUSH1 0x02 00000993: EXP 00000994: SUB 00000995: SWAP1 00000996: DUP2 00000997: AND 00000998: PUSH1 0x00 0000099a: DUP2 0000099b: DUP2 0000099c: MSTORE 0000099d: PUSH1 0x06 0000099f: PUSH1 0x20 000009a1: SWAP1 000009a2: DUP2 000009a3: MSTORE 000009a4: PUSH1 0x40 000009a6: DUP1 000009a7: DUP4 000009a8: KECCAK256 000009a9: DUP1 000009aa: SLOAD 000009ab: DUP8 000009ac: ADD 000009ad: SWAP1 000009ae: SSTORE 000009af: ADDRESS 000009b0: SWAP1 000009b1: SWAP5 000009b2: AND 000009b3: DUP1 000009b4: DUP4 000009b5: MSTORE 000009b6: SWAP2 000009b7: DUP5 000009b8: SWAP1 000009b9: KECCAK256 000009ba: DUP1 000009bb: SLOAD 000009bc: DUP7 000009bd: SWAP1 000009be: SUB 000009bf: SWAP1 000009c0: SSTORE 000009c1: DUP4 000009c2: MLOAD 000009c3: DUP6 000009c4: DUP2 000009c5: MSTORE 000009c6: SWAP4 000009c7: MLOAD 000009c8: SWAP3 000009c9: SWAP4 000009ca: SWAP2 000009cb: SWAP3 000009cc: PUSH1 0x00 000009ce: DUP1 000009cf: MLOAD 000009d0: PUSH1 0x20 000009d2: PUSH2 0x0bda 000009d5: DUP4 000009d6: CODECOPY 000009d7: DUP2 000009d8: MLOAD 000009d9: SWAP2 000009da: MSTORE 000009db: SWAP3 000009dc: DUP2 000009dd: SWAP1 000009de: SUB 000009df: SWAP1 000009e0: SWAP2 000009e1: ADD 000009e2: SWAP1 000009e3: LOG3 000009e4: POP 000009e5: JUMP 000009e6: JUMPDEST 000009e7: PUSH1 0x01 000009e9: PUSH1 0xa0 000009eb: PUSH1 0x02 000009ed: EXP 000009ee: SUB 000009ef: DUP3 000009f0: AND 000009f1: PUSH1 0x00 000009f3: SWAP1 000009f4: DUP2 000009f5: MSTORE 000009f6: PUSH1 0x06 000009f8: PUSH1 0x20 000009fa: MSTORE 000009fb: PUSH1 0x40 000009fd: SWAP1 000009fe: KECCAK256 000009ff: SLOAD 00000a00: DUP2 00000a01: DUP2 00000a02: ADD 00000a03: LT 00000a04: ISZERO 00000a05: PUSH2 0x0a0d 00000a08: JUMPI 00000a09: PUSH2 0x0002 00000a0c: JUMP 00000a0d: JUMPDEST 00000a0e: CALLER 00000a0f: PUSH1 0x01 00000a11: PUSH1 0xa0 00000a13: PUSH1 0x02 00000a15: EXP 00000a16: SUB 00000a17: AND 00000a18: PUSH1 0x00 00000a1a: SWAP1 00000a1b: DUP2 00000a1c: MSTORE 00000a1d: PUSH1 0x0b 00000a1f: PUSH1 0x20 00000a21: MSTORE 00000a22: PUSH1 0x40 00000a24: SWAP1 00000a25: KECCAK256 00000a26: SLOAD 00000a27: PUSH1 0xff 00000a29: AND 00000a2a: ISZERO 00000a2b: PUSH2 0x0a33 00000a2e: JUMPI 00000a2f: PUSH2 0x0002 00000a32: JUMP 00000a33: JUMPDEST 00000a34: CALLER 00000a35: PUSH1 0x01 00000a37: PUSH1 0xa0 00000a39: PUSH1 0x02 00000a3b: EXP 00000a3c: SUB 00000a3d: SWAP1 00000a3e: DUP2 00000a3f: AND 00000a40: PUSH1 0x00 00000a42: DUP2 00000a43: DUP2 00000a44: MSTORE 00000a45: PUSH1 0x06 00000a47: PUSH1 0x20 00000a49: SWAP1 00000a4a: DUP2 00000a4b: MSTORE 00000a4c: PUSH1 0x40 00000a4e: DUP1 00000a4f: DUP4 00000a50: KECCAK256 00000a51: DUP1 00000a52: SLOAD 00000a53: DUP8 00000a54: SWAP1 00000a55: SUB 00000a56: SWAP1 00000a57: SSTORE 00000a58: SWAP4 00000a59: DUP7 00000a5a: AND 00000a5b: DUP1 00000a5c: DUP4 00000a5d: MSTORE 00000a5e: SWAP2 00000a5f: DUP5 00000a60: SWAP1 00000a61: KECCAK256 00000a62: DUP1 00000a63: SLOAD 00000a64: DUP7 00000a65: ADD 00000a66: SWAP1 00000a67: SSTORE 00000a68: DUP4 00000a69: MLOAD 00000a6a: DUP6 00000a6b: DUP2 00000a6c: MSTORE 00000a6d: SWAP4 00000a6e: MLOAD 00000a6f: SWAP2 00000a70: SWAP4 00000a71: PUSH1 0x00 00000a73: DUP1 00000a74: MLOAD 00000a75: PUSH1 0x20 00000a77: PUSH2 0x0bda 00000a7a: DUP4 00000a7b: CODECOPY 00000a7c: DUP2 00000a7d: MLOAD 00000a7e: SWAP2 00000a7f: MSTORE 00000a80: SWAP3 00000a81: SWAP1 00000a82: DUP2 00000a83: SWAP1 00000a84: SUB 00000a85: SWAP1 00000a86: SWAP2 00000a87: ADD 00000a88: SWAP1 00000a89: LOG3 00000a8a: PUSH1 0x0c 00000a8c: SLOAD 00000a8d: CALLER 00000a8e: PUSH1 0x01 00000a90: PUSH1 0xa0 00000a92: PUSH1 0x02 00000a94: EXP 00000a95: SUB 00000a96: AND 00000a97: BALANCE 00000a98: LT 00000a99: ISZERO 00000a9a: PUSH2 0x0740 00000a9d: JUMPI 00000a9e: PUSH1 0x0c 00000aa0: SLOAD 00000aa1: PUSH1 0x08 00000aa3: SLOAD 00000aa4: PUSH2 0x0740 00000aa7: SWAP2 00000aa8: CALLER 00000aa9: PUSH1 0x01 00000aab: PUSH1 0xa0 00000aad: PUSH1 0x02 00000aaf: EXP 00000ab0: SUB 00000ab1: AND 00000ab2: BALANCE 00000ab3: SWAP1 00000ab4: SUB 00000ab5: DIV 00000ab6: PUSH2 0x05d3 00000ab9: JUMP 00000aba: JUMPDEST 00000abb: PUSH7 0x11c37937e08000 00000ac3: MUL 00000ac4: PUSH1 0x0c 00000ac6: SSTORE 00000ac7: JUMP 00000ac8: JUMPDEST 00000ac9: ADDRESS 00000aca: PUSH1 0x01 00000acc: PUSH1 0xa0 00000ace: PUSH1 0x02 00000ad0: EXP 00000ad1: SUB 00000ad2: SWAP1 00000ad3: DUP2 00000ad4: AND 00000ad5: PUSH1 0x00 00000ad7: SWAP1 00000ad8: DUP2 00000ad9: MSTORE 00000ada: PUSH1 0x06 00000adc: PUSH1 0x20 00000ade: MSTORE 00000adf: PUSH1 0x40 00000ae1: DUP1 00000ae2: DUP3 00000ae3: KECCAK256 00000ae4: DUP1 00000ae5: SLOAD 00000ae6: DUP6 00000ae7: ADD 00000ae8: SWAP1 00000ae9: SSTORE 00000aea: CALLER 00000aeb: SWAP1 00000aec: SWAP3 00000aed: AND 00000aee: DUP1 00000aef: DUP3 00000af0: MSTORE 00000af1: DUP3 00000af2: DUP3 00000af3: KECCAK256 00000af4: DUP1 00000af5: SLOAD 00000af6: DUP6 00000af7: SWAP1 00000af8: SUB 00000af9: SWAP1 00000afa: SSTORE 00000afb: SWAP2 00000afc: MLOAD 00000afd: PUSH1 0x08 00000aff: SLOAD 00000b00: DUP5 00000b01: MUL 00000b02: SWAP1 00000b03: DUP3 00000b04: DUP2 00000b05: DUP2 00000b06: DUP2 00000b07: DUP6 00000b08: DUP9 00000b09: DUP4 00000b0a: CALL 00000b0b: SWAP4 00000b0c: POP 00000b0d: POP 00000b0e: POP 00000b0f: POP 00000b10: ISZERO 00000b11: ISZERO 00000b12: PUSH2 0x0b1a 00000b15: JUMPI 00000b16: PUSH2 0x0002 00000b19: JUMP 00000b1a: JUMPDEST 00000b1b: ADDRESS 00000b1c: PUSH1 0x01 00000b1e: PUSH1 0xa0 00000b20: PUSH1 0x02 00000b22: EXP 00000b23: SUB 00000b24: AND 00000b25: CALLER 00000b26: PUSH1 0x01 00000b28: PUSH1 0xa0 00000b2a: PUSH1 0x02 00000b2c: EXP 00000b2d: SUB 00000b2e: AND 00000b2f: PUSH1 0x00 00000b31: DUP1 00000b32: MLOAD 00000b33: PUSH1 0x20 00000b35: PUSH2 0x0bda 00000b38: DUP4 00000b39: CODECOPY 00000b3a: DUP2 00000b3b: MLOAD 00000b3c: SWAP2 00000b3d: MSTORE 00000b3e: DUP4 00000b3f: PUSH1 0x40 00000b41: MLOAD 00000b42: DUP1 00000b43: DUP3 00000b44: DUP2 00000b45: MSTORE 00000b46: PUSH1 0x20 00000b48: ADD 00000b49: SWAP2 00000b4a: POP 00000b4b: POP 00000b4c: PUSH1 0x40 00000b4e: MLOAD 00000b4f: DUP1 00000b50: SWAP2 00000b51: SUB 00000b52: SWAP1 00000b53: LOG3 00000b54: POP 00000b55: JUMP 00000b56: JUMPDEST 00000b57: PUSH1 0x01 00000b59: PUSH1 0xa0 00000b5b: PUSH1 0x02 00000b5d: EXP 00000b5e: SUB 00000b5f: DUP3 00000b60: AND 00000b61: PUSH1 0x00 00000b63: DUP2 00000b64: DUP2 00000b65: MSTORE 00000b66: PUSH1 0x0b 00000b68: PUSH1 0x20 00000b6a: SWAP1 00000b6b: DUP2 00000b6c: MSTORE 00000b6d: PUSH1 0x40 00000b6f: SWAP2 00000b70: DUP3 00000b71: SWAP1 00000b72: KECCAK256 00000b73: DUP1 00000b74: SLOAD 00000b75: PUSH1 0xff 00000b77: NOT 00000b78: AND 00000b79: DUP6 00000b7a: OR 00000b7b: SWAP1 00000b7c: SSTORE 00000b7d: DUP2 00000b7e: MLOAD 00000b7f: SWAP3 00000b80: DUP4 00000b81: MSTORE 00000b82: DUP4 00000b83: ISZERO 00000b84: ISZERO 00000b85: SWAP1 00000b86: DUP4 00000b87: ADD 00000b88: MSTORE 00000b89: DUP1 00000b8a: MLOAD 00000b8b: PUSH32 0x48335238b4855f35377ed80f164e8c6f3c366e54ac00b96a6402d4a9814a03a5 00000bac: SWAP3 00000bad: DUP2 00000bae: SWAP1 00000baf: SUB 00000bb0: SWAP1 00000bb1: SWAP2 00000bb2: ADD 00000bb3: SWAP1 00000bb4: LOG1 00000bb5: POP 00000bb6: POP 00000bb7: JUMP 00000bb8: JUMPDEST 00000bb9: PUSH1 0x00 00000bbb: DUP1 00000bbc: SLOAD 00000bbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bd2: NOT 00000bd3: AND 00000bd4: DUP3 00000bd5: OR 00000bd6: SWAP1 00000bd7: SSTORE 00000bd8: POP 00000bd9: JUMP 00000bda: UNKNOWN(0xDD) 00000bdb: CALLCODE 00000bdc: MSTORE 00000bdd: UNKNOWN(0xAD) 00000bde: SHL 00000bdf: UNKNOWN(0xE2) 00000be0: UNKNOWN(0xC8) 00000be1: SWAP12 00000be2: PUSH10 0xc2b068fc378daa952ba7 00000bed: CALL 00000bee: PUSH4 0xc4a11628 00000bf3: CREATE2 00000bf4: GAS 00000bf5: UNKNOWN(0x4D) 00000bf6: CREATE2 00000bf7: UNKNOWN(0x23) 00000bf8: UNKNOWN(0xB3) 00000bf9: UNKNOWN(0xEF)
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 | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x8a719aceaacb61897c758773a3b5b911669a0aa34778c1f6f27af1556c21a833
call_targets:
0x5b1c1edfce67ece9218a10d3aac08eafc4554fa9
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8a719aceaacb61897c758773a3b5b911669a0aa34778c1f6f27af1556c21a833",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5b1c1edfce67ece9218a10d3aac08eafc4554fa9"
],
"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": "0x05fefda7",
"selector": "0x05fefda7",
"calldata_variants": [
"0x05fefda7",
"0x05fefda70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19cae462",
"selector": "0x19cae462",
"calldata_variants": [
"0x19cae462",
"0x19cae4620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x51bdd585",
"selector": "0x51bdd585",
"calldata_variants": [
"0x51bdd585",
"0x51bdd5850000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1360,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1428,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1699,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": []
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x8a719aceaacb61897c758773a3b5b911669a0aa34778c1f6f27af1556c21a833
call_targets:
0x5b1c1edfce67ece9218a10d3aac08eafc4554fa9
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8a719aceaacb61897c758773a3b5b911669a0aa34778c1f6f27af1556c21a833",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5b1c1edfce67ece9218a10d3aac08eafc4554fa9"
],
"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": "0x05fefda7",
"selector": "0x05fefda7",
"calldata_variants": [
"0x05fefda7",
"0x05fefda70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19cae462",
"selector": "0x19cae462",
"calldata_variants": [
"0x19cae462",
"0x19cae4620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x51bdd585",
"selector": "0x51bdd585",
"calldata_variants": [
"0x51bdd585",
"0x51bdd5850000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1360,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1428,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1699,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [],
"untrusted_call_count": 6
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0xcd416c4595a6e4b55352651e10c2fad735b2515c219220702fa326efefe44ddd
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xcd416c4595a6e4b55352651e10c2fad735b2515c219220702fa326efefe44ddd",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x05fefda7",
"selector": "0x05fefda7",
"calldata_variants": [
"0x05fefda7",
"0x05fefda70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19cae462",
"selector": "0x19cae462",
"calldata_variants": [
"0x19cae462",
"0x19cae4620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x51bdd585",
"selector": "0x51bdd585",
"calldata_variants": [
"0x51bdd585",
"0x51bdd5850000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 2
}
|