019b3836-3bcb-73e6-84b8-e290400a9270
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 |
|---|---|---|---|---|
| 4455 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 4456 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 81003 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 81004 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 81005 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 81006 | 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 0x00a3 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x244ded7a 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x00de 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x252786e4 00000025: EQ 00000026: PUSH2 0x0112 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x3b591ea7 00000030: EQ 00000031: PUSH2 0x01db 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x63aea3e0 0000003b: EQ 0000003c: PUSH2 0x02cb 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x7879e19e 00000046: EQ 00000047: PUSH2 0x039a 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x82381c96 00000051: EQ 00000052: PUSH2 0x03c6 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x85233869 0000005c: EQ 0000005d: PUSH2 0x0412 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x892c0214 00000067: EQ 00000068: PUSH2 0x04ac 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0xc8edf65e 00000072: EQ 00000073: PUSH2 0x0525 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0xcf6b3822 0000007d: EQ 0000007e: PUSH2 0x059e 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xd628e0a6 00000088: EQ 00000089: PUSH2 0x05bb 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xdea06188 00000093: EQ 00000094: PUSH2 0x0612 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xfb34fc6f 0000009e: EQ 0000009f: PUSH2 0x06d3 000000a2: JUMPI 000000a3: JUMPDEST 000000a4: PUSH2 0x079f 000000a7: PUSH2 0x07a1 000000aa: CALLVALUE 000000ab: PUSH8 0x016345785d8a0000 000000b4: DUP2 000000b5: LT 000000b6: ISZERO 000000b7: PUSH2 0x07cc 000000ba: JUMPI 000000bb: PUSH1 0x40 000000bd: MLOAD 000000be: PUSH1 0x01 000000c0: PUSH1 0xa0 000000c2: PUSH1 0x02 000000c4: EXP 000000c5: SUB 000000c6: CALLER 000000c7: AND 000000c8: SWAP1 000000c9: PUSH1 0x00 000000cb: SWAP1 000000cc: DUP4 000000cd: SWAP1 000000ce: DUP3 000000cf: DUP2 000000d0: DUP2 000000d1: DUP2 000000d2: DUP6 000000d3: DUP9 000000d4: DUP4 000000d5: CALL 000000d6: POP 000000d7: POP 000000d8: POP 000000d9: POP 000000da: POP 000000db: JUMPDEST 000000dc: POP 000000dd: JUMP 000000de: JUMPDEST 000000df: PUSH2 0x079f 000000e2: PUSH1 0x04 000000e4: CALLDATALOAD 000000e5: PUSH1 0x0a 000000e7: SLOAD 000000e8: PUSH1 0x01 000000ea: PUSH1 0xa0 000000ec: PUSH1 0x02 000000ee: EXP 000000ef: SUB 000000f0: SWAP1 000000f1: DUP2 000000f2: AND 000000f3: CALLER 000000f4: SWAP2 000000f5: SWAP1 000000f6: SWAP2 000000f7: AND 000000f8: EQ 000000f9: ISZERO 000000fa: PUSH2 0x00db 000000fd: JUMPI 000000fe: PUSH1 0x0a 00000100: DUP1 00000101: SLOAD 00000102: PUSH1 0x01 00000104: PUSH1 0xa0 00000106: PUSH1 0x02 00000108: EXP 00000109: SUB 0000010a: NOT 0000010b: AND 0000010c: DUP3 0000010d: OR 0000010e: SWAP1 0000010f: SSTORE 00000110: POP 00000111: JUMP 00000112: JUMPDEST 00000113: PUSH1 0x40 00000115: DUP1 00000116: MLOAD 00000117: PUSH1 0x20 00000119: DUP2 0000011a: DUP2 0000011b: ADD 0000011c: DUP4 0000011d: MSTORE 0000011e: PUSH1 0x00 00000120: SWAP1 00000121: SWAP2 00000122: MSTORE 00000123: PUSH1 0x03 00000125: SLOAD 00000126: DUP3 00000127: MLOAD 00000128: DUP1 00000129: DUP5 0000012a: ADD 0000012b: SWAP1 0000012c: SWAP4 0000012d: MSTORE 0000012e: PUSH1 0x10 00000130: DUP4 00000131: MSTORE 00000132: PUSH32 0x42616c616e636520696e20657468657200000000000000000000000000000000 00000153: SWAP2 00000154: DUP4 00000155: ADD 00000156: SWAP2 00000157: SWAP1 00000158: SWAP2 00000159: MSTORE 0000015a: PUSH8 0x0de0b6b3a7640000 00000163: SWAP1 00000164: DIV 00000165: SWAP1 00000166: JUMPDEST 00000167: PUSH1 0x40 00000169: MLOAD 0000016a: DUP1 0000016b: DUP4 0000016c: DUP2 0000016d: MSTORE 0000016e: PUSH1 0x20 00000170: ADD 00000171: DUP1 00000172: PUSH1 0x20 00000174: ADD 00000175: DUP3 00000176: DUP2 00000177: SUB 00000178: DUP3 00000179: MSTORE 0000017a: DUP4 0000017b: DUP2 0000017c: DUP2 0000017d: MLOAD 0000017e: DUP2 0000017f: MSTORE 00000180: PUSH1 0x20 00000182: ADD 00000183: SWAP2 00000184: POP 00000185: DUP1 00000186: MLOAD 00000187: SWAP1 00000188: PUSH1 0x20 0000018a: ADD 0000018b: SWAP1 0000018c: DUP1 0000018d: DUP4 0000018e: DUP4 0000018f: DUP3 00000190: SWAP1 00000191: PUSH1 0x00 00000193: PUSH1 0x04 00000195: PUSH1 0x20 00000197: DUP5 00000198: PUSH1 0x1f 0000019a: ADD 0000019b: DIV 0000019c: PUSH1 0x0f 0000019e: MUL 0000019f: PUSH1 0x03 000001a1: ADD 000001a2: CALL 000001a3: POP 000001a4: SWAP1 000001a5: POP 000001a6: SWAP1 000001a7: DUP2 000001a8: ADD 000001a9: SWAP1 000001aa: PUSH1 0x1f 000001ac: AND 000001ad: DUP1 000001ae: ISZERO 000001af: PUSH2 0x01cc 000001b2: JUMPI 000001b3: DUP1 000001b4: DUP3 000001b5: SUB 000001b6: DUP1 000001b7: MLOAD 000001b8: PUSH1 0x01 000001ba: DUP4 000001bb: PUSH1 0x20 000001bd: SUB 000001be: PUSH2 0x0100 000001c1: EXP 000001c2: SUB 000001c3: NOT 000001c4: AND 000001c5: DUP2 000001c6: MSTORE 000001c7: PUSH1 0x20 000001c9: ADD 000001ca: SWAP2 000001cb: POP 000001cc: JUMPDEST 000001cd: POP 000001ce: SWAP4 000001cf: POP 000001d0: POP 000001d1: POP 000001d2: POP 000001d3: PUSH1 0x40 000001d5: MLOAD 000001d6: DUP1 000001d7: SWAP2 000001d8: SUB 000001d9: SWAP1 000001da: RETURN 000001db: JUMPDEST 000001dc: PUSH1 0x40 000001de: DUP1 000001df: MLOAD 000001e0: PUSH1 0x20 000001e2: DUP2 000001e3: DUP2 000001e4: ADD 000001e5: DUP4 000001e6: MSTORE 000001e7: PUSH1 0x00 000001e9: SWAP2 000001ea: DUP3 000001eb: SWAP1 000001ec: MSTORE 000001ed: SWAP1 000001ee: SLOAD 000001ef: PUSH1 0x03 000001f1: SLOAD 000001f2: DUP4 000001f3: MLOAD 000001f4: PUSH1 0x05 000001f6: SLOAD 000001f7: PUSH1 0x08 000001f9: SLOAD 000001fa: PUSH1 0x07 000001fc: SLOAD 000001fd: PUSH1 0xa0 000001ff: DUP5 00000200: ADD 00000201: DUP9 00000202: MSTORE 00000203: PUSH1 0x6c 00000205: DUP5 00000206: MSTORE 00000207: PUSH32 0x5468697320616d6f756e7420696e2066696e6e657920696e2066696e6e657920 00000228: SWAP7 00000229: DUP5 0000022a: ADD 0000022b: SWAP7 0000022c: SWAP1 0000022d: SWAP7 0000022e: MSTORE 0000022f: PUSH32 0x726571756972656420746f20636f6d706c657465207468652063757272656e74 00000250: SWAP7 00000251: DUP4 00000252: ADD 00000253: SWAP7 00000254: SWAP1 00000255: SWAP7 00000256: MSTORE 00000257: PUSH32 0x20626c6f636b2c20616e6420746f204d494e4520697420287472696767657220 00000278: PUSH1 0x60 0000027a: DUP4 0000027b: ADD 0000027c: MSTORE 0000027d: PUSH32 0x746865207061796f7574292e0000000000000000000000000000000000000000 0000029e: PUSH1 0x80 000002a0: DUP4 000002a1: ADD 000002a2: MSTORE 000002a3: PUSH7 0x038d7ea4c68000 000002ab: PUSH2 0x03e8 000002ae: SWAP6 000002af: SWAP1 000002b0: SWAP7 000002b1: ADD 000002b2: DUP6 000002b3: SUB 000002b4: SWAP3 000002b5: DUP6 000002b6: SWAP1 000002b7: DIV 000002b8: MUL 000002b9: SWAP3 000002ba: SWAP1 000002bb: SWAP3 000002bc: SUB 000002bd: MUL 000002be: SWAP2 000002bf: SWAP1 000002c0: SWAP2 000002c1: DIV 000002c2: SWAP2 000002c3: SWAP1 000002c4: SWAP2 000002c5: DIV 000002c6: SWAP1 000002c7: PUSH2 0x0166 000002ca: JUMP 000002cb: JUMPDEST 000002cc: PUSH2 0x07a3 000002cf: PUSH1 0x04 000002d1: CALLDATALOAD 000002d2: PUSH1 0x0b 000002d4: SLOAD 000002d5: PUSH1 0x00 000002d7: SWAP1 000002d8: DUP2 000002d9: SWAP1 000002da: DUP2 000002db: SWAP1 000002dc: DUP5 000002dd: GT 000002de: PUSH2 0x0393 000002e1: JUMPI 000002e2: PUSH1 0x0b 000002e4: DUP1 000002e5: SLOAD 000002e6: DUP6 000002e7: SWAP1 000002e8: DUP2 000002e9: LT 000002ea: ISZERO 000002eb: PUSH2 0x0002 000002ee: JUMPI 000002ef: POP 000002f0: DUP1 000002f1: SLOAD 000002f2: DUP2 000002f3: DUP4 000002f4: MSTORE 000002f5: PUSH1 0x03 000002f7: DUP7 000002f8: MUL 000002f9: PUSH32 0x0175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db9 0000031a: ADD 0000031b: SLOAD 0000031c: PUSH1 0x01 0000031e: PUSH1 0xa0 00000320: PUSH1 0x02 00000322: EXP 00000323: SUB 00000324: AND 00000325: SWAP5 00000326: POP 00000327: PUSH7 0x038d7ea4c68000 0000032f: SWAP2 00000330: SWAP1 00000331: DUP7 00000332: SWAP1 00000333: DUP2 00000334: LT 00000335: ISZERO 00000336: PUSH2 0x0002 00000339: JUMPI 0000033a: SWAP1 0000033b: PUSH1 0x00 0000033d: MSTORE 0000033e: PUSH1 0x20 00000340: PUSH1 0x00 00000342: KECCAK256 00000343: SWAP1 00000344: PUSH1 0x03 00000346: MUL 00000347: ADD 00000348: PUSH1 0x00 0000034a: POP 0000034b: PUSH1 0x01 0000034d: ADD 0000034e: PUSH1 0x00 00000350: POP 00000351: SLOAD 00000352: DIV 00000353: SWAP2 00000354: POP 00000355: DUP2 00000356: POP 00000357: PUSH1 0x0b 00000359: PUSH1 0x00 0000035b: POP 0000035c: DUP5 0000035d: DUP2 0000035e: SLOAD 0000035f: DUP2 00000360: LT 00000361: ISZERO 00000362: PUSH2 0x0002 00000365: JUMPI 00000366: POP 00000367: POP 00000368: POP 00000369: PUSH1 0x03 0000036b: DUP4 0000036c: MUL 0000036d: PUSH32 0x0175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01dbb 0000038e: ADD 0000038f: SLOAD 00000390: PUSH1 0xff 00000392: AND 00000393: JUMPDEST 00000394: SWAP2 00000395: SWAP4 00000396: SWAP1 00000397: SWAP3 00000398: POP 00000399: JUMP 0000039a: JUMPDEST 0000039b: PUSH2 0x079f 0000039e: PUSH1 0x0a 000003a0: SLOAD 000003a1: PUSH1 0x01 000003a3: PUSH1 0xa0 000003a5: PUSH1 0x02 000003a7: EXP 000003a8: SUB 000003a9: SWAP1 000003aa: DUP2 000003ab: AND 000003ac: CALLER 000003ad: SWAP2 000003ae: SWAP1 000003af: SWAP2 000003b0: AND 000003b1: EQ 000003b2: ISZERO 000003b3: PUSH2 0x07a1 000003b6: JUMPI 000003b7: PUSH1 0x06 000003b9: SLOAD 000003ba: PUSH1 0x00 000003bc: EQ 000003bd: ISZERO 000003be: PUSH2 0x0888 000003c1: JUMPI 000003c2: PUSH2 0x0002 000003c5: JUMP 000003c6: JUMPDEST 000003c7: PUSH1 0x40 000003c9: DUP1 000003ca: MLOAD 000003cb: PUSH1 0x20 000003cd: DUP2 000003ce: DUP2 000003cf: ADD 000003d0: DUP4 000003d1: MSTORE 000003d2: PUSH1 0x00 000003d4: SWAP1 000003d5: SWAP2 000003d6: MSTORE 000003d7: DUP2 000003d8: MLOAD 000003d9: PUSH1 0x05 000003db: SLOAD 000003dc: DUP2 000003dd: DUP5 000003de: ADD 000003df: SWAP1 000003e0: SWAP4 000003e1: MSTORE 000003e2: PUSH1 0x12 000003e4: DUP2 000003e5: MSTORE 000003e6: PUSH32 0x43757272656e74206d756c7469706c6965720000000000000000000000000000 00000407: SWAP2 00000408: DUP2 00000409: ADD 0000040a: SWAP2 0000040b: SWAP1 0000040c: SWAP2 0000040d: MSTORE 0000040e: PUSH2 0x0166 00000411: JUMP 00000412: JUMPDEST 00000413: PUSH1 0x40 00000415: DUP1 00000416: MLOAD 00000417: PUSH1 0x20 00000419: DUP2 0000041a: DUP2 0000041b: ADD 0000041c: DUP4 0000041d: MSTORE 0000041e: PUSH1 0x00 00000420: SWAP1 00000421: SWAP2 00000422: MSTORE 00000423: PUSH1 0x0b 00000425: SLOAD 00000426: DUP3 00000427: MLOAD 00000428: PUSH1 0x80 0000042a: DUP2 0000042b: ADD 0000042c: DUP5 0000042d: MSTORE 0000042e: PUSH1 0x49 00000430: DUP2 00000431: MSTORE 00000432: PUSH32 0x4e756d626572206f662070617274696369706174696f6e732073696e63652074 00000453: SWAP3 00000454: DUP2 00000455: ADD 00000456: SWAP3 00000457: SWAP1 00000458: SWAP3 00000459: MSTORE 0000045a: PUSH32 0x686520626567696e6e696e67206f66207468697320776f6e64657266756c2062 0000047b: SWAP3 0000047c: DUP3 0000047d: ADD 0000047e: SWAP3 0000047f: SWAP1 00000480: SWAP3 00000481: MSTORE 00000482: PUSH32 0x6c6f636b636861696e0000000000000000000000000000000000000000000000 000004a3: PUSH1 0x60 000004a5: DUP3 000004a6: ADD 000004a7: MSTORE 000004a8: PUSH2 0x0166 000004ab: JUMP 000004ac: JUMPDEST 000004ad: PUSH1 0x40 000004af: DUP1 000004b0: MLOAD 000004b1: PUSH1 0x20 000004b3: DUP2 000004b4: DUP2 000004b5: ADD 000004b6: DUP4 000004b7: MSTORE 000004b8: PUSH1 0x00 000004ba: SWAP1 000004bb: SWAP2 000004bc: MSTORE 000004bd: PUSH1 0x0b 000004bf: SLOAD 000004c0: DUP3 000004c1: MLOAD 000004c2: PUSH1 0x09 000004c4: SLOAD 000004c5: PUSH1 0x60 000004c7: DUP3 000004c8: ADD 000004c9: DUP6 000004ca: MSTORE 000004cb: PUSH1 0x2e 000004cd: DUP3 000004ce: MSTORE 000004cf: PUSH32 0x4e756d626572206f662070617274696369706174696f6e7320696e2074686520 000004f0: SWAP4 000004f1: DUP3 000004f2: ADD 000004f3: SWAP4 000004f4: SWAP1 000004f5: SWAP4 000004f6: MSTORE 000004f7: PUSH32 0x63757272656e7420626c6f636b2e000000000000000000000000000000000000 00000518: SWAP4 00000519: DUP2 0000051a: ADD 0000051b: SWAP4 0000051c: SWAP1 0000051d: SWAP4 0000051e: MSTORE 0000051f: SUB 00000520: SWAP1 00000521: PUSH2 0x0166 00000524: JUMP 00000525: JUMPDEST 00000526: PUSH2 0x079f 00000529: PUSH1 0x04 0000052b: CALLDATALOAD 0000052c: PUSH1 0x0a 0000052e: SLOAD 0000052f: PUSH1 0x01 00000531: PUSH1 0xa0 00000533: PUSH1 0x02 00000535: EXP 00000536: SUB 00000537: SWAP1 00000538: DUP2 00000539: AND 0000053a: CALLER 0000053b: SWAP2 0000053c: SWAP1 0000053d: SWAP2 0000053e: AND 0000053f: EQ 00000540: ISZERO 00000541: PUSH2 0x00db 00000544: JUMPI 00000545: PUSH1 0x06 00000547: SLOAD 00000548: PUSH1 0x00 0000054a: EQ 0000054b: ISZERO 0000054c: PUSH2 0x055e 0000054f: JUMPI 00000550: PUSH1 0x07 00000552: DUP1 00000553: SLOAD 00000554: PUSH1 0x64 00000556: PUSH1 0x50 00000558: SWAP1 00000559: SWAP2 0000055a: MUL 0000055b: DIV 0000055c: SWAP1 0000055d: SSTORE 0000055e: JUMPDEST 0000055f: PUSH1 0x40 00000561: MLOAD 00000562: PUSH1 0x0a 00000564: SLOAD 00000565: PUSH1 0x06 00000567: SLOAD 00000568: PUSH1 0x01 0000056a: PUSH1 0xa0 0000056c: PUSH1 0x02 0000056e: EXP 0000056f: SUB 00000570: SWAP2 00000571: SWAP1 00000572: SWAP2 00000573: AND 00000574: SWAP2 00000575: PUSH1 0x00 00000577: SWAP2 00000578: PUSH2 0x03e8 0000057b: SWAP1 0000057c: DIV 0000057d: DUP5 0000057e: MUL 0000057f: SWAP1 00000580: DUP3 00000581: DUP2 00000582: DUP2 00000583: DUP2 00000584: DUP6 00000585: DUP9 00000586: DUP4 00000587: CALL 00000588: POP 00000589: POP 0000058a: PUSH1 0x06 0000058c: DUP1 0000058d: SLOAD 0000058e: PUSH2 0x03e8 00000591: DUP2 00000592: DIV 00000593: DUP7 00000594: MUL 00000595: SWAP1 00000596: SUB 00000597: SWAP1 00000598: SSTORE 00000599: POP 0000059a: POP 0000059b: POP 0000059c: POP 0000059d: JUMP 0000059e: JUMPDEST 0000059f: PUSH1 0x06 000005a1: SLOAD 000005a2: PUSH5 0xe8d4a51000 000005a8: SWAP1 000005a9: DIV 000005aa: PUSH1 0x40 000005ac: DUP1 000005ad: MLOAD 000005ae: SWAP2 000005af: DUP3 000005b0: MSTORE 000005b1: MLOAD 000005b2: SWAP1 000005b3: DUP2 000005b4: SWAP1 000005b5: SUB 000005b6: PUSH1 0x20 000005b8: ADD 000005b9: SWAP1 000005ba: RETURN 000005bb: JUMPDEST 000005bc: PUSH1 0x40 000005be: DUP1 000005bf: MLOAD 000005c0: PUSH1 0x20 000005c2: DUP2 000005c3: DUP2 000005c4: ADD 000005c5: DUP4 000005c6: MSTORE 000005c7: PUSH1 0x00 000005c9: SWAP2 000005ca: DUP3 000005cb: SWAP1 000005cc: MSTORE 000005cd: SWAP1 000005ce: SLOAD 000005cf: DUP3 000005d0: MLOAD 000005d1: DUP1 000005d2: DUP5 000005d3: ADD 000005d4: SWAP1 000005d5: SWAP4 000005d6: MSTORE 000005d7: PUSH1 0x11 000005d9: DUP4 000005da: MSTORE 000005db: PUSH32 0x42616c616e636520696e2066696e6e6579000000000000000000000000000000 000005fc: SWAP2 000005fd: DUP4 000005fe: ADD 000005ff: SWAP2 00000600: SWAP1 00000601: SWAP2 00000602: MSTORE 00000603: PUSH7 0x038d7ea4c68000 0000060b: SWAP1 0000060c: DIV 0000060d: SWAP1 0000060e: PUSH2 0x0166 00000611: JUMP 00000612: JUMPDEST 00000613: PUSH1 0x40 00000615: DUP1 00000616: MLOAD 00000617: PUSH1 0x20 00000619: DUP2 0000061a: DUP2 0000061b: ADD 0000061c: DUP4 0000061d: MSTORE 0000061e: PUSH1 0x00 00000620: SWAP1 00000621: SWAP2 00000622: MSTORE 00000623: DUP2 00000624: MLOAD 00000625: PUSH1 0x01 00000627: SLOAD 00000628: PUSH1 0xa0 0000062a: DUP3 0000062b: ADD 0000062c: DUP5 0000062d: MSTORE 0000062e: PUSH1 0x65 00000630: DUP3 00000631: MSTORE 00000632: PUSH32 0x4120626c6f636b206d696e65642069732061207061796f7574206f662073697a 00000653: SWAP3 00000654: DUP3 00000655: ADD 00000656: SWAP3 00000657: SWAP1 00000658: SWAP3 00000659: MSTORE 0000065a: PUSH32 0x6520426c6f636b53697a652c206d756c7469706c792074686973206e756d6265 0000067b: SWAP3 0000067c: DUP2 0000067d: ADD 0000067e: SWAP3 0000067f: SWAP1 00000680: SWAP3 00000681: MSTORE 00000682: PUSH32 0x7220616e6420796f7520676574207468652073756d206f6620616c6c20706179 000006a3: PUSH1 0x60 000006a5: DUP4 000006a6: ADD 000006a7: MSTORE 000006a8: PUSH32 0x6f7574732e000000000000000000000000000000000000000000000000000000 000006c9: PUSH1 0x80 000006cb: DUP4 000006cc: ADD 000006cd: MSTORE 000006ce: SWAP1 000006cf: PUSH2 0x0166 000006d2: JUMP 000006d3: JUMPDEST 000006d4: PUSH1 0x40 000006d6: DUP1 000006d7: MLOAD 000006d8: PUSH1 0x20 000006da: DUP2 000006db: DUP2 000006dc: ADD 000006dd: DUP4 000006de: MSTORE 000006df: PUSH1 0x00 000006e1: SWAP1 000006e2: SWAP2 000006e3: MSTORE 000006e4: PUSH1 0x02 000006e6: SLOAD 000006e7: DUP3 000006e8: MLOAD 000006e9: PUSH1 0xa0 000006eb: DUP2 000006ec: ADD 000006ed: DUP5 000006ee: MSTORE 000006ef: PUSH1 0x63 000006f1: DUP2 000006f2: MSTORE 000006f3: PUSH32 0x43757272656e742072657761726420636f6c6c65637465642e20546865207265 00000714: SWAP3 00000715: DUP2 00000716: ADD 00000717: SWAP3 00000718: SWAP1 00000719: SWAP3 0000071a: MSTORE 0000071b: PUSH32 0x77617264207768656e206120626c6f636b206973206d696e656420697320616c 0000073c: SWAP3 0000073d: DUP3 0000073e: ADD 0000073f: SWAP3 00000740: SWAP1 00000741: SWAP3 00000742: MSTORE 00000743: PUSH32 0x7761797320426c6f636b53697a652a52657761726450657263656e746167652f 00000764: PUSH1 0x60 00000766: DUP3 00000767: ADD 00000768: MSTORE 00000769: PUSH32 0x3130300000000000000000000000000000000000000000000000000000000000 0000078a: PUSH1 0x80 0000078c: DUP3 0000078d: ADD 0000078e: MSTORE 0000078f: PUSH7 0x038d7ea4c68000 00000797: SWAP1 00000798: SWAP2 00000799: DIV 0000079a: SWAP1 0000079b: PUSH2 0x0166 0000079e: JUMP 0000079f: JUMPDEST 000007a0: STOP 000007a1: JUMPDEST 000007a2: JUMP 000007a3: JUMPDEST 000007a4: PUSH1 0x40 000007a6: DUP1 000007a7: MLOAD 000007a8: PUSH1 0x01 000007aa: PUSH1 0xa0 000007ac: PUSH1 0x02 000007ae: EXP 000007af: SUB 000007b0: SWAP5 000007b1: SWAP1 000007b2: SWAP5 000007b3: AND 000007b4: DUP5 000007b5: MSTORE 000007b6: PUSH1 0x20 000007b8: DUP5 000007b9: ADD 000007ba: SWAP3 000007bb: SWAP1 000007bc: SWAP3 000007bd: MSTORE 000007be: DUP3 000007bf: DUP3 000007c0: ADD 000007c1: MSTORE 000007c2: MLOAD 000007c3: SWAP1 000007c4: DUP2 000007c5: SWAP1 000007c6: SUB 000007c7: PUSH1 0x60 000007c9: ADD 000007ca: SWAP1 000007cb: RETURN 000007cc: JUMPDEST 000007cd: PUSH1 0x04 000007cf: SLOAD 000007d0: DUP2 000007d1: GT 000007d2: ISZERO 000007d3: PUSH2 0x0803 000007d6: JUMPI 000007d7: PUSH1 0x04 000007d9: SLOAD 000007da: PUSH1 0x40 000007dc: MLOAD 000007dd: PUSH1 0x01 000007df: PUSH1 0xa0 000007e1: PUSH1 0x02 000007e3: EXP 000007e4: SUB 000007e5: CALLER 000007e6: AND 000007e7: SWAP2 000007e8: PUSH1 0x00 000007ea: SWAP2 000007eb: CALLVALUE 000007ec: SWAP2 000007ed: SWAP1 000007ee: SWAP2 000007ef: SUB 000007f0: SWAP1 000007f1: DUP3 000007f2: DUP2 000007f3: DUP2 000007f4: DUP2 000007f5: DUP6 000007f6: DUP9 000007f7: DUP4 000007f8: CALL 000007f9: POP 000007fa: POP 000007fb: PUSH1 0x04 000007fd: SLOAD 000007fe: SWAP4 000007ff: POP 00000800: POP 00000801: POP 00000802: POP 00000803: JUMPDEST 00000804: PUSH2 0x00db 00000807: DUP2 00000808: PUSH1 0x00 0000080a: DUP1 0000080b: SLOAD 0000080c: PUSH1 0x03 0000080e: SLOAD 0000080f: SWAP1 00000810: DUP4 00000811: ADD 00000812: SWAP1 00000813: LT 00000814: ISZERO 00000815: PUSH2 0x08b3 00000818: JUMPI 00000819: SLOAD 0000081a: PUSH1 0x03 0000081c: SLOAD 0000081d: PUSH1 0x0b 0000081f: DUP1 00000820: SLOAD 00000821: PUSH1 0x01 00000823: DUP2 00000824: ADD 00000825: DUP1 00000826: DUP4 00000827: SSTORE 00000828: SWAP4 00000829: SWAP1 0000082a: SWAP3 0000082b: SUB 0000082c: SWAP3 0000082d: SWAP1 0000082e: SWAP2 0000082f: SWAP1 00000830: DUP3 00000831: DUP2 00000832: DUP4 00000833: DUP1 00000834: ISZERO 00000835: DUP3 00000836: SWAP1 00000837: GT 00000838: PUSH2 0x08e9 0000083b: JUMPI 0000083c: PUSH1 0x03 0000083e: MUL 0000083f: DUP2 00000840: PUSH1 0x03 00000842: MUL 00000843: DUP4 00000844: PUSH1 0x00 00000846: MSTORE 00000847: PUSH1 0x20 00000849: PUSH1 0x00 0000084b: KECCAK256 0000084c: SWAP2 0000084d: DUP3 0000084e: ADD 0000084f: SWAP2 00000850: ADD 00000851: PUSH2 0x08e9 00000854: SWAP2 00000855: SWAP1 00000856: JUMPDEST 00000857: DUP1 00000858: DUP3 00000859: GT 0000085a: ISZERO 0000085b: PUSH2 0x09a2 0000085e: JUMPI 0000085f: DUP1 00000860: SLOAD 00000861: PUSH1 0x01 00000863: PUSH1 0xa0 00000865: PUSH1 0x02 00000867: EXP 00000868: SUB 00000869: NOT 0000086a: AND 0000086b: DUP2 0000086c: SSTORE 0000086d: PUSH1 0x00 0000086f: PUSH1 0x01 00000871: DUP3 00000872: ADD 00000873: SWAP1 00000874: DUP2 00000875: SSTORE 00000876: PUSH1 0x02 00000878: SWAP2 00000879: SWAP1 0000087a: SWAP2 0000087b: ADD 0000087c: DUP1 0000087d: SLOAD 0000087e: PUSH1 0xff 00000880: NOT 00000881: AND 00000882: SWAP1 00000883: SSTORE 00000884: PUSH2 0x0856 00000887: JUMP 00000888: JUMPDEST 00000889: PUSH1 0x40 0000088b: MLOAD 0000088c: PUSH1 0x0a 0000088e: SLOAD 0000088f: PUSH1 0x06 00000891: SLOAD 00000892: PUSH1 0x01 00000894: PUSH1 0xa0 00000896: PUSH1 0x02 00000898: EXP 00000899: SUB 0000089a: SWAP2 0000089b: SWAP1 0000089c: SWAP2 0000089d: AND 0000089e: SWAP2 0000089f: PUSH1 0x00 000008a1: SWAP2 000008a2: SWAP1 000008a3: DUP3 000008a4: DUP2 000008a5: DUP2 000008a6: DUP2 000008a7: DUP6 000008a8: DUP9 000008a9: DUP4 000008aa: CALL 000008ab: POP 000008ac: POP 000008ad: POP 000008ae: PUSH1 0x06 000008b0: SSTORE 000008b1: POP 000008b2: JUMP 000008b3: JUMPDEST 000008b4: PUSH1 0x0b 000008b6: DUP1 000008b7: SLOAD 000008b8: PUSH1 0x01 000008ba: DUP2 000008bb: ADD 000008bc: DUP1 000008bd: DUP4 000008be: SSTORE 000008bf: DUP3 000008c0: DUP2 000008c1: DUP4 000008c2: DUP1 000008c3: ISZERO 000008c4: DUP3 000008c5: SWAP1 000008c6: GT 000008c7: PUSH2 0x0a0d 000008ca: JUMPI 000008cb: PUSH1 0x03 000008cd: MUL 000008ce: DUP2 000008cf: PUSH1 0x03 000008d1: MUL 000008d2: DUP4 000008d3: PUSH1 0x00 000008d5: MSTORE 000008d6: PUSH1 0x20 000008d8: PUSH1 0x00 000008da: KECCAK256 000008db: SWAP2 000008dc: DUP3 000008dd: ADD 000008de: SWAP2 000008df: ADD 000008e0: PUSH2 0x0a0d 000008e3: SWAP2 000008e4: SWAP1 000008e5: PUSH2 0x0856 000008e8: JUMP 000008e9: JUMPDEST 000008ea: POP 000008eb: POP 000008ec: POP 000008ed: SWAP2 000008ee: SWAP1 000008ef: SWAP1 000008f0: PUSH1 0x00 000008f2: MSTORE 000008f3: PUSH1 0x20 000008f5: PUSH1 0x00 000008f7: KECCAK256 000008f8: SWAP1 000008f9: PUSH1 0x03 000008fb: MUL 000008fc: ADD 000008fd: PUSH1 0x00 000008ff: POP 00000900: PUSH1 0x40 00000902: DUP1 00000903: MLOAD 00000904: PUSH1 0x60 00000906: DUP2 00000907: ADD 00000908: DUP3 00000909: MSTORE 0000090a: CALLER 0000090b: DUP1 0000090c: DUP3 0000090d: MSTORE 0000090e: PUSH1 0x05 00000910: SLOAD 00000911: PUSH2 0x03e8 00000914: SWAP1 00000915: DUP8 00000916: MUL 00000917: DIV 00000918: PUSH1 0x20 0000091a: DUP4 0000091b: ADD 0000091c: DUP2 0000091d: SWAP1 0000091e: MSTORE 0000091f: PUSH1 0x00 00000921: SWAP3 00000922: SWAP1 00000923: SWAP4 00000924: ADD 00000925: SWAP2 00000926: SWAP1 00000927: SWAP2 00000928: MSTORE 00000929: DUP3 0000092a: SLOAD 0000092b: PUSH1 0x01 0000092d: PUSH1 0xa0 0000092f: PUSH1 0x02 00000931: EXP 00000932: SUB 00000933: NOT 00000934: AND 00000935: OR 00000936: DUP3 00000937: SSTORE 00000938: PUSH1 0x01 0000093a: DUP3 0000093b: DUP2 0000093c: ADD 0000093d: SWAP2 0000093e: SWAP1 0000093f: SWAP2 00000940: SSTORE 00000941: PUSH1 0x02 00000943: SWAP2 00000944: SWAP1 00000945: SWAP2 00000946: ADD 00000947: DUP1 00000948: SLOAD 00000949: PUSH1 0xff 0000094b: NOT 0000094c: AND 0000094d: SWAP1 0000094e: SSTORE 0000094f: PUSH1 0x0b 00000951: DUP1 00000952: SLOAD 00000953: SWAP2 00000954: DUP3 00000955: ADD 00000956: DUP1 00000957: DUP3 00000958: SSTORE 00000959: SWAP1 0000095a: SWAP3 0000095b: POP 0000095c: DUP3 0000095d: DUP2 0000095e: DUP4 0000095f: DUP1 00000960: ISZERO 00000961: DUP3 00000962: SWAP1 00000963: GT 00000964: PUSH2 0x09a6 00000967: JUMPI 00000968: PUSH1 0x00 0000096a: DUP4 0000096b: SWAP1 0000096c: MSTORE 0000096d: PUSH2 0x09a6 00000970: SWAP1 00000971: PUSH1 0x03 00000973: SWAP1 00000974: DUP2 00000975: MUL 00000976: PUSH32 0x0175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db9 00000997: SWAP1 00000998: DUP2 00000999: ADD 0000099a: SWAP2 0000099b: DUP5 0000099c: MUL 0000099d: ADD 0000099e: PUSH2 0x0856 000009a1: JUMP 000009a2: JUMPDEST 000009a3: POP 000009a4: SWAP1 000009a5: JUMP 000009a6: JUMPDEST 000009a7: POP 000009a8: POP 000009a9: POP 000009aa: SWAP2 000009ab: SWAP1 000009ac: SWAP1 000009ad: PUSH1 0x00 000009af: MSTORE 000009b0: PUSH1 0x20 000009b2: PUSH1 0x00 000009b4: KECCAK256 000009b5: SWAP1 000009b6: PUSH1 0x03 000009b8: MUL 000009b9: ADD 000009ba: PUSH1 0x00 000009bc: POP 000009bd: PUSH1 0x40 000009bf: DUP1 000009c0: MLOAD 000009c1: PUSH1 0x60 000009c3: DUP2 000009c4: ADD 000009c5: DUP3 000009c6: MSTORE 000009c7: CALLER 000009c8: DUP1 000009c9: DUP3 000009ca: MSTORE 000009cb: PUSH1 0x05 000009cd: SLOAD 000009ce: PUSH2 0x03e8 000009d1: DUP8 000009d2: DUP10 000009d3: SUB 000009d4: SWAP1 000009d5: SWAP2 000009d6: MUL 000009d7: DIV 000009d8: PUSH1 0x20 000009da: DUP4 000009db: ADD 000009dc: DUP2 000009dd: SWAP1 000009de: MSTORE 000009df: PUSH1 0x00 000009e1: SWAP3 000009e2: SWAP1 000009e3: SWAP4 000009e4: ADD 000009e5: SWAP2 000009e6: SWAP1 000009e7: SWAP2 000009e8: MSTORE 000009e9: DUP3 000009ea: SLOAD 000009eb: PUSH1 0x01 000009ed: PUSH1 0xa0 000009ef: PUSH1 0x02 000009f1: EXP 000009f2: SUB 000009f3: NOT 000009f4: AND 000009f5: OR 000009f6: DUP3 000009f7: SSTORE 000009f8: PUSH1 0x01 000009fa: DUP3 000009fb: ADD 000009fc: SSTORE 000009fd: PUSH1 0x02 000009ff: ADD 00000a00: DUP1 00000a01: SLOAD 00000a02: PUSH1 0xff 00000a04: NOT 00000a05: AND 00000a06: SWAP1 00000a07: SSTORE 00000a08: POP 00000a09: PUSH2 0x0a6d 00000a0c: JUMP 00000a0d: JUMPDEST 00000a0e: POP 00000a0f: POP 00000a10: POP 00000a11: SWAP2 00000a12: SWAP1 00000a13: SWAP1 00000a14: PUSH1 0x00 00000a16: MSTORE 00000a17: PUSH1 0x20 00000a19: PUSH1 0x00 00000a1b: KECCAK256 00000a1c: SWAP1 00000a1d: PUSH1 0x03 00000a1f: MUL 00000a20: ADD 00000a21: PUSH1 0x00 00000a23: POP 00000a24: PUSH1 0x40 00000a26: DUP1 00000a27: MLOAD 00000a28: PUSH1 0x60 00000a2a: DUP2 00000a2b: ADD 00000a2c: DUP3 00000a2d: MSTORE 00000a2e: CALLER 00000a2f: DUP1 00000a30: DUP3 00000a31: MSTORE 00000a32: PUSH1 0x05 00000a34: SLOAD 00000a35: PUSH2 0x03e8 00000a38: SWAP1 00000a39: DUP9 00000a3a: MUL 00000a3b: DIV 00000a3c: PUSH1 0x20 00000a3e: DUP4 00000a3f: ADD 00000a40: DUP2 00000a41: SWAP1 00000a42: MSTORE 00000a43: PUSH1 0x00 00000a45: SWAP3 00000a46: SWAP1 00000a47: SWAP4 00000a48: ADD 00000a49: SWAP2 00000a4a: SWAP1 00000a4b: SWAP2 00000a4c: MSTORE 00000a4d: DUP3 00000a4e: SLOAD 00000a4f: PUSH1 0x01 00000a51: PUSH1 0xa0 00000a53: PUSH1 0x02 00000a55: EXP 00000a56: SUB 00000a57: NOT 00000a58: AND 00000a59: OR 00000a5a: DUP3 00000a5b: SSTORE 00000a5c: PUSH1 0x01 00000a5e: DUP3 00000a5f: ADD 00000a60: SSTORE 00000a61: PUSH1 0x02 00000a63: ADD 00000a64: DUP1 00000a65: SLOAD 00000a66: PUSH1 0xff 00000a68: NOT 00000a69: AND 00000a6a: SWAP1 00000a6b: SSTORE 00000a6c: POP 00000a6d: JUMPDEST 00000a6e: PUSH1 0x08 00000a70: SLOAD 00000a71: PUSH1 0x02 00000a73: DUP1 00000a74: SLOAD 00000a75: PUSH2 0x03e8 00000a78: DUP6 00000a79: DUP5 00000a7a: MUL 00000a7b: DUP2 00000a7c: SWAP1 00000a7d: DIV 00000a7e: SWAP1 00000a7f: SWAP2 00000a80: ADD 00000a81: SWAP1 00000a82: SWAP2 00000a83: SSTORE 00000a84: PUSH1 0x07 00000a86: SLOAD 00000a87: PUSH1 0x06 00000a89: DUP1 00000a8a: SLOAD 00000a8b: DUP7 00000a8c: DUP4 00000a8d: MUL 00000a8e: DUP5 00000a8f: SWAP1 00000a90: DIV 00000a91: ADD 00000a92: SWAP1 00000a93: SSTORE 00000a94: PUSH1 0x00 00000a96: DUP1 00000a97: SLOAD 00000a98: SWAP2 00000a99: SWAP1 00000a9a: SWAP4 00000a9b: ADD 00000a9c: DUP3 00000a9d: SUB 00000a9e: DUP6 00000a9f: MUL 00000aa0: DUP3 00000aa1: SWAP1 00000aa2: DIV 00000aa3: ADD 00000aa4: SWAP2 00000aa5: DUP3 00000aa6: SWAP1 00000aa7: SSTORE 00000aa8: PUSH1 0x05 00000aaa: SLOAD 00000aab: PUSH1 0x03 00000aad: SLOAD 00000aae: SWAP2 00000aaf: SWAP1 00000ab0: SWAP2 00000ab1: DIV 00000ab2: MUL 00000ab3: SWAP1 00000ab4: LT 00000ab5: PUSH2 0x0c6c 00000ab8: JUMPI 00000ab9: PUSH2 0x0c2e 00000abc: PUSH1 0x01 00000abe: DUP1 00000abf: SLOAD 00000ac0: DUP2 00000ac1: ADD 00000ac2: SWAP1 00000ac3: SSTORE 00000ac4: JUMPDEST 00000ac5: PUSH1 0x09 00000ac7: SLOAD 00000ac8: PUSH1 0x0b 00000aca: DUP1 00000acb: SLOAD 00000acc: SWAP1 00000acd: SWAP2 00000ace: SWAP1 00000acf: DUP2 00000ad0: LT 00000ad1: ISZERO 00000ad2: PUSH2 0x0002 00000ad5: JUMPI 00000ad6: PUSH1 0x00 00000ad8: SWAP2 00000ad9: DUP3 00000ada: MSTORE 00000adb: PUSH1 0x03 00000add: MUL 00000ade: PUSH1 0x00 00000ae0: DUP1 00000ae1: MLOAD 00000ae2: PUSH1 0x20 00000ae4: PUSH2 0x0cb8 00000ae7: DUP4 00000ae8: CODECOPY 00000ae9: DUP2 00000aea: MLOAD 00000aeb: SWAP2 00000aec: MSTORE 00000aed: ADD 00000aee: SLOAD 00000aef: EQ 00000af0: DUP1 00000af1: ISZERO 00000af2: SWAP1 00000af3: PUSH2 0x0b24 00000af6: JUMPI 00000af7: POP 00000af8: PUSH1 0x09 00000afa: SLOAD 00000afb: PUSH1 0x0b 00000afd: DUP1 00000afe: SLOAD 00000aff: SWAP1 00000b00: SWAP2 00000b01: SWAP1 00000b02: DUP2 00000b03: LT 00000b04: ISZERO 00000b05: PUSH2 0x0002 00000b08: JUMPI 00000b09: PUSH1 0x03 00000b0b: MUL 00000b0c: PUSH1 0x00 00000b0e: DUP1 00000b0f: MLOAD 00000b10: PUSH1 0x20 00000b12: PUSH2 0x0cb8 00000b15: DUP4 00000b16: CODECOPY 00000b17: DUP2 00000b18: MLOAD 00000b19: SWAP2 00000b1a: MSTORE 00000b1b: ADD 00000b1c: SLOAD 00000b1d: PUSH1 0x00 00000b1f: SLOAD 00000b20: LT 00000b21: ISZERO 00000b22: SWAP1 00000b23: POP 00000b24: JUMPDEST 00000b25: ISZERO 00000b26: PUSH2 0x07a1 00000b29: JUMPI 00000b2a: PUSH1 0x09 00000b2c: SLOAD 00000b2d: PUSH1 0x0b 00000b2f: DUP1 00000b30: SLOAD 00000b31: SWAP1 00000b32: SWAP2 00000b33: SWAP1 00000b34: DUP2 00000b35: LT 00000b36: ISZERO 00000b37: PUSH2 0x0002 00000b3a: JUMPI 00000b3b: PUSH1 0x00 00000b3d: DUP3 00000b3e: DUP2 00000b3f: MSTORE 00000b40: PUSH1 0x09 00000b42: SLOAD 00000b43: DUP4 00000b44: SLOAD 00000b45: PUSH1 0x03 00000b47: SWAP4 00000b48: SWAP1 00000b49: SWAP4 00000b4a: MUL 00000b4b: PUSH32 0x0175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db9 00000b6c: ADD 00000b6d: SLOAD 00000b6e: PUSH1 0x01 00000b70: PUSH1 0xa0 00000b72: PUSH1 0x02 00000b74: EXP 00000b75: SUB 00000b76: AND 00000b77: SWAP4 00000b78: SWAP2 00000b79: SWAP3 00000b7a: DUP2 00000b7b: LT 00000b7c: ISZERO 00000b7d: PUSH2 0x0002 00000b80: JUMPI 00000b81: PUSH1 0x40 00000b83: MLOAD 00000b84: PUSH1 0x03 00000b86: SWAP2 00000b87: SWAP1 00000b88: SWAP2 00000b89: MUL 00000b8a: PUSH1 0x00 00000b8c: DUP1 00000b8d: MLOAD 00000b8e: PUSH1 0x20 00000b90: PUSH2 0x0cb8 00000b93: DUP4 00000b94: CODECOPY 00000b95: DUP2 00000b96: MLOAD 00000b97: SWAP2 00000b98: MSTORE 00000b99: ADD 00000b9a: SLOAD 00000b9b: SWAP2 00000b9c: POP 00000b9d: DUP3 00000b9e: DUP2 00000b9f: DUP2 00000ba0: DUP2 00000ba1: DUP6 00000ba2: DUP9 00000ba3: DUP4 00000ba4: CALL 00000ba5: SWAP4 00000ba6: POP 00000ba7: POP 00000ba8: POP 00000ba9: POP 00000baa: POP 00000bab: PUSH1 0x0b 00000bad: PUSH1 0x00 00000baf: POP 00000bb0: PUSH1 0x09 00000bb2: PUSH1 0x00 00000bb4: POP 00000bb5: SLOAD 00000bb6: DUP2 00000bb7: SLOAD 00000bb8: DUP2 00000bb9: LT 00000bba: ISZERO 00000bbb: PUSH2 0x0002 00000bbe: JUMPI 00000bbf: PUSH1 0x00 00000bc1: DUP3 00000bc2: DUP2 00000bc3: MSTORE 00000bc4: PUSH1 0x03 00000bc6: SWAP2 00000bc7: SWAP1 00000bc8: SWAP2 00000bc9: MUL 00000bca: PUSH1 0x00 00000bcc: DUP1 00000bcd: MLOAD 00000bce: PUSH1 0x20 00000bd0: PUSH2 0x0cb8 00000bd3: DUP4 00000bd4: CODECOPY 00000bd5: DUP2 00000bd6: MLOAD 00000bd7: SWAP2 00000bd8: MSTORE 00000bd9: ADD 00000bda: SLOAD 00000bdb: DUP2 00000bdc: SLOAD 00000bdd: SUB 00000bde: SWAP1 00000bdf: SSTORE 00000be0: PUSH1 0x09 00000be2: SLOAD 00000be3: DUP2 00000be4: SLOAD 00000be5: PUSH1 0x01 00000be7: SWAP3 00000be8: SWAP2 00000be9: SWAP1 00000bea: DUP2 00000beb: LT 00000bec: ISZERO 00000bed: PUSH2 0x0002 00000bf0: JUMPI 00000bf1: PUSH1 0x03 00000bf3: MUL 00000bf4: PUSH32 0x0175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01dbb 00000c15: ADD 00000c16: DUP1 00000c17: SLOAD 00000c18: PUSH1 0xff 00000c1a: NOT 00000c1b: AND 00000c1c: DUP4 00000c1d: OR 00000c1e: SWAP1 00000c1f: SSTORE 00000c20: POP 00000c21: PUSH1 0x09 00000c23: DUP1 00000c24: SLOAD 00000c25: SWAP1 00000c26: SWAP2 00000c27: ADD 00000c28: SWAP1 00000c29: SSTORE 00000c2a: PUSH2 0x0ac4 00000c2d: JUMP 00000c2e: JUMPDEST 00000c2f: PUSH2 0x0c6c 00000c32: CALLER 00000c33: DUP4 00000c34: PUSH1 0x00 00000c36: PUSH8 0x0de0b6b3a7640000 00000c3f: DUP3 00000c40: LT 00000c41: PUSH2 0x0c70 00000c44: JUMPI 00000c45: PUSH1 0x40 00000c47: MLOAD 00000c48: PUSH1 0x02 00000c4a: SLOAD 00000c4b: PUSH1 0x01 00000c4d: PUSH1 0xa0 00000c4f: PUSH1 0x02 00000c51: EXP 00000c52: SUB 00000c53: DUP6 00000c54: AND 00000c55: SWAP2 00000c56: DUP4 00000c57: SWAP2 00000c58: SWAP1 00000c59: DUP3 00000c5a: DUP2 00000c5b: DUP2 00000c5c: DUP2 00000c5d: DUP6 00000c5e: DUP9 00000c5f: DUP4 00000c60: CALL 00000c61: POP 00000c62: POP 00000c63: POP 00000c64: PUSH1 0x02 00000c66: SSTORE 00000c67: POP 00000c68: PUSH2 0x0cb3 00000c6b: JUMP 00000c6c: JUMPDEST 00000c6d: POP 00000c6e: POP 00000c6f: JUMP 00000c70: JUMPDEST 00000c71: POP 00000c72: PUSH1 0x02 00000c74: SLOAD 00000c75: PUSH1 0x40 00000c77: MLOAD 00000c78: PUSH7 0x2386f26fc10000 00000c80: DUP4 00000c81: DIV 00000c82: SWAP2 00000c83: PUSH1 0x01 00000c85: PUSH1 0xa0 00000c87: PUSH1 0x02 00000c89: EXP 00000c8a: SUB 00000c8b: DUP6 00000c8c: AND 00000c8d: SWAP2 00000c8e: PUSH1 0x00 00000c90: SWAP2 00000c91: PUSH1 0x64 00000c93: SWAP1 00000c94: DUP6 00000c95: MUL 00000c96: DIV 00000c97: SWAP1 00000c98: DUP3 00000c99: DUP2 00000c9a: DUP2 00000c9b: DUP2 00000c9c: DUP6 00000c9d: DUP9 00000c9e: DUP4 00000c9f: CALL 00000ca0: POP 00000ca1: POP 00000ca2: PUSH1 0x02 00000ca4: DUP1 00000ca5: SLOAD 00000ca6: PUSH1 0x64 00000ca8: DUP2 00000ca9: DUP8 00000caa: MUL 00000cab: DIV 00000cac: SWAP1 00000cad: SUB 00000cae: SWAP1 00000caf: SSTORE 00000cb0: POP 00000cb1: POP 00000cb2: POP 00000cb3: JUMPDEST 00000cb4: POP 00000cb5: POP 00000cb6: POP 00000cb7: JUMP 00000cb8: ADD 00000cb9: PUSH22 0xb7a638427703f0dbe7bb9bbf987a2551717b34e79f33 00000cd0: UNKNOWN(0xB5) 00000cd1: UNKNOWN(0xB1) 00000cd2: STOP 00000cd3: DUP14 00000cd4: UNKNOWN(0x1F) 00000cd5: LOG0 00000cd6: SAR 00000cd7: UNKNOWN(0xBA)
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: 0x4e5665c4a837fd191bf84c27576026c8baf24fe703d15f08311635541fde42d3
call_targets:
0xdcabd383a7c497069d0804070e4ba70ab6ecdd51
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4e5665c4a837fd191bf84c27576026c8baf24fe703d15f08311635541fde42d3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xdcabd383a7c497069d0804070e4ba70ab6ecdd51"
],
"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": "0x244ded7a",
"selector": "0x244ded7a",
"calldata_variants": [
"0x244ded7a",
"0x244ded7a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x252786e4",
"selector": "0x252786e4",
"calldata_variants": [
"0x252786e4",
"0x252786e40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3b591ea7",
"selector": "0x3b591ea7",
"calldata_variants": [
"0x3b591ea7",
"0x3b591ea70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x63aea3e0",
"selector": "0x63aea3e0",
"calldata_variants": [
"0x63aea3e0",
"0x63aea3e00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7879e19e",
"selector": "0x7879e19e",
"calldata_variants": [
"0x7879e19e",
"0x7879e19e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x82381c96",
"selector": "0x82381c96",
"calldata_variants": [
"0x82381c96",
"0x82381c960000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x85233869",
"selector": "0x85233869",
"calldata_variants": [
"0x85233869",
"0x852338690000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x892c0214",
"selector": "0x892c0214",
"calldata_variants": [
"0x892c0214",
"0x892c02140000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 213,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 418,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1415,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 8,
"guards_detected": [],
"untrusted_call_count": 8
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x4e5665c4a837fd191bf84c27576026c8baf24fe703d15f08311635541fde42d3
call_targets:
0xdcabd383a7c497069d0804070e4ba70ab6ecdd51
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4e5665c4a837fd191bf84c27576026c8baf24fe703d15f08311635541fde42d3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xdcabd383a7c497069d0804070e4ba70ab6ecdd51"
],
"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": "0x244ded7a",
"selector": "0x244ded7a",
"calldata_variants": [
"0x244ded7a",
"0x244ded7a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x252786e4",
"selector": "0x252786e4",
"calldata_variants": [
"0x252786e4",
"0x252786e40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3b591ea7",
"selector": "0x3b591ea7",
"calldata_variants": [
"0x3b591ea7",
"0x3b591ea70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x63aea3e0",
"selector": "0x63aea3e0",
"calldata_variants": [
"0x63aea3e0",
"0x63aea3e00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7879e19e",
"selector": "0x7879e19e",
"calldata_variants": [
"0x7879e19e",
"0x7879e19e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x82381c96",
"selector": "0x82381c96",
"calldata_variants": [
"0x82381c96",
"0x82381c960000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x85233869",
"selector": "0x85233869",
"calldata_variants": [
"0x85233869",
"0x852338690000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x892c0214",
"selector": "0x892c0214",
"calldata_variants": [
"0x892c0214",
"0x892c02140000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 213,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 418,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1415,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 8,
"guards_detected": []
}
|