019ba8e4-06be-726c-83c6-bcdfdf5e73c7
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 |
|---|---|---|---|---|
| 33254 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 33255 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 33256 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 33257 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 33258 | capability.graph | complete | 1 / 3 | 3 months ago |
| 33259 | detector.run | complete | 1 / 3 | 3 months ago |
| 33260 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x0010 0000000b: JUMPI 0000000c: PUSH1 0x00 0000000e: DUP1 0000000f: REVERT 00000010: JUMPDEST 00000011: POP 00000012: PUSH1 0x04 00000014: CALLDATASIZE 00000015: LT 00000016: PUSH2 0x0067 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x57f784ba 00000026: GT 00000027: PUSH2 0x0050 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0x57f784ba 00000031: EQ 00000032: PUSH2 0x0104 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0x7249fbb6 0000003c: EQ 0000003d: PUSH2 0x0117 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0xf63eba25 00000047: EQ 00000048: PUSH2 0x012a 0000004b: JUMPI 0000004c: PUSH1 0x00 0000004e: DUP1 0000004f: REVERT 00000050: JUMPDEST 00000051: DUP1 00000052: PUSH4 0x3c64f04b 00000057: EQ 00000058: PUSH2 0x006c 0000005b: JUMPI 0000005c: DUP1 0000005d: PUSH4 0x46b40027 00000062: EQ 00000063: PUSH2 0x00ef 00000066: JUMPI 00000067: JUMPDEST 00000068: PUSH1 0x00 0000006a: DUP1 0000006b: REVERT 0000006c: JUMPDEST 0000006d: PUSH2 0x00d3 00000070: PUSH2 0x007a 00000073: CALLDATASIZE 00000074: PUSH1 0x04 00000076: PUSH2 0x0e50 00000079: JUMP 0000007a: JUMPDEST 0000007b: PUSH1 0x00 0000007d: PUSH1 0x20 0000007f: DUP2 00000080: SWAP1 00000081: MSTORE 00000082: SWAP1 00000083: DUP2 00000084: MSTORE 00000085: PUSH1 0x40 00000087: SWAP1 00000088: KECCAK256 00000089: DUP1 0000008a: SLOAD 0000008b: PUSH1 0x01 0000008d: DUP3 0000008e: ADD 0000008f: SLOAD 00000090: PUSH1 0x02 00000092: DUP4 00000093: ADD 00000094: SLOAD 00000095: PUSH1 0x03 00000097: DUP5 00000098: ADD 00000099: SLOAD 0000009a: PUSH1 0x04 0000009c: DUP6 0000009d: ADD 0000009e: SLOAD 0000009f: PUSH1 0x05 000000a1: SWAP1 000000a2: SWAP6 000000a3: ADD 000000a4: SLOAD 000000a5: PUSH1 0x01 000000a7: PUSH1 0x01 000000a9: PUSH1 0xa0 000000ab: SHL 000000ac: SUB 000000ad: SWAP5 000000ae: DUP6 000000af: AND 000000b0: SWAP6 000000b1: SWAP4 000000b2: DUP6 000000b3: AND 000000b4: SWAP5 000000b5: SWAP1 000000b6: SWAP3 000000b7: AND 000000b8: SWAP3 000000b9: SWAP1 000000ba: SWAP2 000000bb: PUSH8 0xffffffffffffffff 000000c4: DUP2 000000c5: AND 000000c6: SWAP1 000000c7: PUSH1 0x01 000000c9: PUSH1 0x40 000000cb: SHL 000000cc: SWAP1 000000cd: DIV 000000ce: PUSH1 0xff 000000d0: AND 000000d1: DUP8 000000d2: JUMP 000000d3: JUMPDEST 000000d4: PUSH1 0x40 000000d6: MLOAD 000000d7: PUSH2 0x00e6 000000da: SWAP8 000000db: SWAP7 000000dc: SWAP6 000000dd: SWAP5 000000de: SWAP4 000000df: SWAP3 000000e0: SWAP2 000000e1: SWAP1 000000e2: PUSH2 0x0ea5 000000e5: JUMP 000000e6: JUMPDEST 000000e7: PUSH1 0x40 000000e9: MLOAD 000000ea: DUP1 000000eb: SWAP2 000000ec: SUB 000000ed: SWAP1 000000ee: RETURN 000000ef: JUMPDEST 000000f0: PUSH2 0x0102 000000f3: PUSH2 0x00fd 000000f6: CALLDATASIZE 000000f7: PUSH1 0x04 000000f9: PUSH2 0x0d49 000000fc: JUMP 000000fd: JUMPDEST 000000fe: PUSH2 0x013d 00000101: JUMP 00000102: JUMPDEST 00000103: STOP 00000104: JUMPDEST 00000105: PUSH2 0x0102 00000108: PUSH2 0x0112 0000010b: CALLDATASIZE 0000010c: PUSH1 0x04 0000010e: PUSH2 0x0e68 00000111: JUMP 00000112: JUMPDEST 00000113: PUSH2 0x01de 00000116: JUMP 00000117: JUMPDEST 00000118: PUSH2 0x0102 0000011b: PUSH2 0x0125 0000011e: CALLDATASIZE 0000011f: PUSH1 0x04 00000121: PUSH2 0x0e50 00000124: JUMP 00000125: JUMPDEST 00000126: PUSH2 0x0417 00000129: JUMP 0000012a: JUMPDEST 0000012b: PUSH2 0x0102 0000012e: PUSH2 0x0138 00000131: CALLDATASIZE 00000132: PUSH1 0x04 00000134: PUSH2 0x0dc0 00000137: JUMP 00000138: JUMPDEST 00000139: PUSH2 0x062d 0000013c: JUMP 0000013d: JUMPDEST 0000013e: PUSH1 0x00 00000140: PUSH2 0x014c 00000143: DUP9 00000144: DUP9 00000145: DUP9 00000146: DUP9 00000147: DUP9 00000148: PUSH2 0x06bf 0000014b: JUMP 0000014c: JUMPDEST 0000014d: PUSH1 0x40 0000014f: DUP1 00000150: MLOAD 00000151: DUP3 00000152: DUP2 00000153: MSTORE 00000154: CALLER 00000155: PUSH1 0x20 00000157: DUP3 00000158: ADD 00000159: MSTORE 0000015a: PUSH1 0x01 0000015c: PUSH1 0x01 0000015e: PUSH1 0xa0 00000160: SHL 00000161: SUB 00000162: DUP1 00000163: DUP13 00000164: AND 00000165: SWAP3 00000166: DUP3 00000167: ADD 00000168: SWAP3 00000169: SWAP1 0000016a: SWAP3 0000016b: MSTORE 0000016c: DUP2 0000016d: DUP11 0000016e: AND 0000016f: PUSH1 0x60 00000171: DUP3 00000172: ADD 00000173: MSTORE 00000174: PUSH1 0x80 00000176: DUP2 00000177: ADD 00000178: DUP10 00000179: SWAP1 0000017a: MSTORE 0000017b: PUSH1 0xa0 0000017d: DUP2 0000017e: ADD 0000017f: DUP9 00000180: SWAP1 00000181: MSTORE 00000182: PUSH8 0xffffffffffffffff 0000018b: DUP1 0000018c: DUP9 0000018d: AND 0000018e: PUSH1 0xc0 00000190: DUP4 00000191: ADD 00000192: MSTORE 00000193: DUP7 00000194: AND 00000195: PUSH1 0xe0 00000197: DUP3 00000198: ADD 00000199: MSTORE 0000019a: SWAP1 0000019b: DUP5 0000019c: AND 0000019d: PUSH2 0x0100 000001a0: DUP3 000001a1: ADD 000001a2: MSTORE 000001a3: SWAP1 000001a4: SWAP2 000001a5: POP 000001a6: PUSH32 0x2991ed59ec037d5602bdc81fb1f3fec360f9e68fd3c1a4efb49fb3f66a88e021 000001c7: SWAP1 000001c8: PUSH2 0x0120 000001cb: ADD 000001cc: JUMPDEST 000001cd: PUSH1 0x40 000001cf: MLOAD 000001d0: DUP1 000001d1: SWAP2 000001d2: SUB 000001d3: SWAP1 000001d4: LOG1 000001d5: POP 000001d6: POP 000001d7: POP 000001d8: POP 000001d9: POP 000001da: POP 000001db: POP 000001dc: POP 000001dd: JUMP 000001de: JUMPDEST 000001df: PUSH1 0x00 000001e1: DUP3 000001e2: DUP2 000001e3: MSTORE 000001e4: PUSH1 0x20 000001e6: DUP2 000001e7: DUP2 000001e8: MSTORE 000001e9: PUSH1 0x40 000001eb: DUP1 000001ec: DUP4 000001ed: KECCAK256 000001ee: DUP2 000001ef: MLOAD 000001f0: PUSH1 0xe0 000001f2: DUP2 000001f3: ADD 000001f4: DUP4 000001f5: MSTORE 000001f6: DUP2 000001f7: SLOAD 000001f8: PUSH1 0x01 000001fa: PUSH1 0x01 000001fc: PUSH1 0xa0 000001fe: SHL 000001ff: SUB 00000200: SWAP1 00000201: DUP2 00000202: AND 00000203: DUP3 00000204: MSTORE 00000205: PUSH1 0x01 00000207: DUP4 00000208: ADD 00000209: SLOAD 0000020a: DUP2 0000020b: AND 0000020c: SWAP5 0000020d: DUP3 0000020e: ADD 0000020f: SWAP5 00000210: SWAP1 00000211: SWAP5 00000212: MSTORE 00000213: PUSH1 0x02 00000215: DUP3 00000216: ADD 00000217: SLOAD 00000218: SWAP1 00000219: SWAP4 0000021a: AND 0000021b: SWAP2 0000021c: DUP4 0000021d: ADD 0000021e: SWAP2 0000021f: SWAP1 00000220: SWAP2 00000221: MSTORE 00000222: PUSH1 0x03 00000224: DUP1 00000225: DUP3 00000226: ADD 00000227: SLOAD 00000228: PUSH1 0x60 0000022a: DUP5 0000022b: ADD 0000022c: MSTORE 0000022d: PUSH1 0x04 0000022f: DUP3 00000230: ADD 00000231: SLOAD 00000232: PUSH1 0x80 00000234: DUP5 00000235: ADD 00000236: MSTORE 00000237: PUSH1 0x05 00000239: DUP3 0000023a: ADD 0000023b: SLOAD 0000023c: PUSH8 0xffffffffffffffff 00000245: DUP2 00000246: AND 00000247: PUSH1 0xa0 00000249: DUP6 0000024a: ADD 0000024b: MSTORE 0000024c: PUSH1 0xc0 0000024e: DUP5 0000024f: ADD 00000250: SWAP2 00000251: PUSH1 0x01 00000253: PUSH1 0x40 00000255: SHL 00000256: SWAP1 00000257: SWAP2 00000258: DIV 00000259: PUSH1 0xff 0000025b: AND 0000025c: SWAP1 0000025d: DUP2 0000025e: GT 0000025f: ISZERO 00000260: PUSH2 0x0279 00000263: JUMPI 00000264: PUSH4 0x4e487b71 00000269: PUSH1 0xe0 0000026b: SHL 0000026c: PUSH1 0x00 0000026e: MSTORE 0000026f: PUSH1 0x21 00000271: PUSH1 0x04 00000273: MSTORE 00000274: PUSH1 0x24 00000276: PUSH1 0x00 00000278: REVERT 00000279: JUMPDEST 0000027a: PUSH1 0x03 0000027c: DUP2 0000027d: GT 0000027e: ISZERO 0000027f: PUSH2 0x0298 00000282: JUMPI 00000283: PUSH4 0x4e487b71 00000288: PUSH1 0xe0 0000028a: SHL 0000028b: PUSH1 0x00 0000028d: MSTORE 0000028e: PUSH1 0x21 00000290: PUSH1 0x04 00000292: MSTORE 00000293: PUSH1 0x24 00000295: PUSH1 0x00 00000297: REVERT 00000298: JUMPDEST 00000299: SWAP1 0000029a: MSTORE 0000029b: POP 0000029c: SWAP1 0000029d: POP 0000029e: PUSH1 0x01 000002a0: DUP2 000002a1: PUSH1 0xc0 000002a3: ADD 000002a4: MLOAD 000002a5: PUSH1 0x03 000002a7: DUP2 000002a8: GT 000002a9: ISZERO 000002aa: PUSH2 0x02c3 000002ad: JUMPI 000002ae: PUSH4 0x4e487b71 000002b3: PUSH1 0xe0 000002b5: SHL 000002b6: PUSH1 0x00 000002b8: MSTORE 000002b9: PUSH1 0x21 000002bb: PUSH1 0x04 000002bd: MSTORE 000002be: PUSH1 0x24 000002c0: PUSH1 0x00 000002c2: REVERT 000002c3: JUMPDEST 000002c4: EQ 000002c5: PUSH2 0x0315 000002c8: JUMPI 000002c9: PUSH1 0x40 000002cb: MLOAD 000002cc: PUSH3 0x461bcd 000002d0: PUSH1 0xe5 000002d2: SHL 000002d3: DUP2 000002d4: MSTORE 000002d5: PUSH1 0x20 000002d7: PUSH1 0x04 000002d9: DUP3 000002da: ADD 000002db: MSTORE 000002dc: PUSH1 0x14 000002de: PUSH1 0x24 000002e0: DUP3 000002e1: ADD 000002e2: MSTORE 000002e3: PUSH32 0x6e6f742070656e64696e67207472616e73666572000000000000000000000000 00000304: PUSH1 0x44 00000306: DUP3 00000307: ADD 00000308: MSTORE 00000309: PUSH1 0x64 0000030b: ADD 0000030c: JUMPDEST 0000030d: PUSH1 0x40 0000030f: MLOAD 00000310: DUP1 00000311: SWAP2 00000312: SUB 00000313: SWAP1 00000314: REVERT 00000315: JUMPDEST 00000316: PUSH1 0x40 00000318: DUP1 00000319: MLOAD 0000031a: PUSH1 0x20 0000031c: DUP2 0000031d: ADD 0000031e: DUP5 0000031f: SWAP1 00000320: MSTORE 00000321: ADD 00000322: PUSH1 0x40 00000324: MLOAD 00000325: PUSH1 0x20 00000327: DUP2 00000328: DUP4 00000329: SUB 0000032a: SUB 0000032b: DUP2 0000032c: MSTORE 0000032d: SWAP1 0000032e: PUSH1 0x40 00000330: MSTORE 00000331: DUP1 00000332: MLOAD 00000333: SWAP1 00000334: PUSH1 0x20 00000336: ADD 00000337: KECCAK256 00000338: DUP2 00000339: PUSH1 0x80 0000033b: ADD 0000033c: MLOAD 0000033d: EQ 0000033e: PUSH2 0x0389 00000341: JUMPI 00000342: PUSH1 0x40 00000344: MLOAD 00000345: PUSH3 0x461bcd 00000349: PUSH1 0xe5 0000034b: SHL 0000034c: DUP2 0000034d: MSTORE 0000034e: PUSH1 0x20 00000350: PUSH1 0x04 00000352: DUP3 00000353: ADD 00000354: MSTORE 00000355: PUSH1 0x12 00000357: PUSH1 0x24 00000359: DUP3 0000035a: ADD 0000035b: MSTORE 0000035c: PUSH32 0x696e636f727265637420707265696d6167650000000000000000000000000000 0000037d: PUSH1 0x44 0000037f: DUP3 00000380: ADD 00000381: MSTORE 00000382: PUSH1 0x64 00000384: ADD 00000385: PUSH2 0x030c 00000388: JUMP 00000389: JUMPDEST 0000038a: PUSH1 0x00 0000038c: DUP4 0000038d: DUP2 0000038e: MSTORE 0000038f: PUSH1 0x20 00000391: DUP2 00000392: DUP2 00000393: MSTORE 00000394: PUSH1 0x40 00000396: SWAP2 00000397: DUP3 00000398: SWAP1 00000399: KECCAK256 0000039a: PUSH1 0x05 0000039c: ADD 0000039d: DUP1 0000039e: SLOAD 0000039f: PUSH9 0xff0000000000000000 000003a9: NOT 000003aa: AND 000003ab: PUSH9 0x020000000000000000 000003b5: OR 000003b6: SWAP1 000003b7: SSTORE 000003b8: DUP3 000003b9: ADD 000003ba: MLOAD 000003bb: PUSH1 0x60 000003bd: DUP4 000003be: ADD 000003bf: MLOAD 000003c0: SWAP2 000003c1: DUP4 000003c2: ADD 000003c3: MLOAD 000003c4: PUSH2 0x03d9 000003c7: SWAP3 000003c8: PUSH1 0x01 000003ca: PUSH1 0x01 000003cc: PUSH1 0xa0 000003ce: SHL 000003cf: SUB 000003d0: SWAP1 000003d1: SWAP2 000003d2: AND 000003d3: SWAP2 000003d4: SWAP1 000003d5: PUSH2 0x09cc 000003d8: JUMP 000003d9: JUMPDEST 000003da: PUSH1 0x40 000003dc: DUP1 000003dd: MLOAD 000003de: DUP5 000003df: DUP2 000003e0: MSTORE 000003e1: PUSH1 0x20 000003e3: DUP2 000003e4: ADD 000003e5: DUP5 000003e6: SWAP1 000003e7: MSTORE 000003e8: PUSH32 0xb7ae890c7a4721f7ed769dabfeee74f0e0f5bcdaad9cab432ccea4d9fa435b50 00000409: SWAP2 0000040a: ADD 0000040b: PUSH1 0x40 0000040d: MLOAD 0000040e: DUP1 0000040f: SWAP2 00000410: SUB 00000411: SWAP1 00000412: LOG1 00000413: POP 00000414: POP 00000415: POP 00000416: JUMP 00000417: JUMPDEST 00000418: PUSH1 0x00 0000041a: DUP2 0000041b: DUP2 0000041c: MSTORE 0000041d: PUSH1 0x20 0000041f: DUP2 00000420: DUP2 00000421: MSTORE 00000422: PUSH1 0x40 00000424: DUP1 00000425: DUP4 00000426: KECCAK256 00000427: DUP2 00000428: MLOAD 00000429: PUSH1 0xe0 0000042b: DUP2 0000042c: ADD 0000042d: DUP4 0000042e: MSTORE 0000042f: DUP2 00000430: SLOAD 00000431: PUSH1 0x01 00000433: PUSH1 0x01 00000435: PUSH1 0xa0 00000437: SHL 00000438: SUB 00000439: SWAP1 0000043a: DUP2 0000043b: AND 0000043c: DUP3 0000043d: MSTORE 0000043e: PUSH1 0x01 00000440: DUP4 00000441: ADD 00000442: SLOAD 00000443: DUP2 00000444: AND 00000445: SWAP5 00000446: DUP3 00000447: ADD 00000448: SWAP5 00000449: SWAP1 0000044a: SWAP5 0000044b: MSTORE 0000044c: PUSH1 0x02 0000044e: DUP3 0000044f: ADD 00000450: SLOAD 00000451: SWAP1 00000452: SWAP4 00000453: AND 00000454: SWAP2 00000455: DUP4 00000456: ADD 00000457: SWAP2 00000458: SWAP1 00000459: SWAP2 0000045a: MSTORE 0000045b: PUSH1 0x03 0000045d: DUP1 0000045e: DUP3 0000045f: ADD 00000460: SLOAD 00000461: PUSH1 0x60 00000463: DUP5 00000464: ADD 00000465: MSTORE 00000466: PUSH1 0x04 00000468: DUP3 00000469: ADD 0000046a: SLOAD 0000046b: PUSH1 0x80 0000046d: DUP5 0000046e: ADD 0000046f: MSTORE 00000470: PUSH1 0x05 00000472: DUP3 00000473: ADD 00000474: SLOAD 00000475: PUSH8 0xffffffffffffffff 0000047e: DUP2 0000047f: AND 00000480: PUSH1 0xa0 00000482: DUP6 00000483: ADD 00000484: MSTORE 00000485: PUSH1 0xc0 00000487: DUP5 00000488: ADD 00000489: SWAP2 0000048a: PUSH1 0x01 0000048c: PUSH1 0x40 0000048e: SHL 0000048f: SWAP1 00000490: SWAP2 00000491: DIV 00000492: PUSH1 0xff 00000494: AND 00000495: SWAP1 00000496: DUP2 00000497: GT 00000498: ISZERO 00000499: PUSH2 0x04b2 0000049c: JUMPI 0000049d: PUSH4 0x4e487b71 000004a2: PUSH1 0xe0 000004a4: SHL 000004a5: PUSH1 0x00 000004a7: MSTORE 000004a8: PUSH1 0x21 000004aa: PUSH1 0x04 000004ac: MSTORE 000004ad: PUSH1 0x24 000004af: PUSH1 0x00 000004b1: REVERT 000004b2: JUMPDEST 000004b3: PUSH1 0x03 000004b5: DUP2 000004b6: GT 000004b7: ISZERO 000004b8: PUSH2 0x04d1 000004bb: JUMPI 000004bc: PUSH4 0x4e487b71 000004c1: PUSH1 0xe0 000004c3: SHL 000004c4: PUSH1 0x00 000004c6: MSTORE 000004c7: PUSH1 0x21 000004c9: PUSH1 0x04 000004cb: MSTORE 000004cc: PUSH1 0x24 000004ce: PUSH1 0x00 000004d0: REVERT 000004d1: JUMPDEST 000004d2: SWAP1 000004d3: MSTORE 000004d4: POP 000004d5: SWAP1 000004d6: POP 000004d7: PUSH1 0x01 000004d9: DUP2 000004da: PUSH1 0xc0 000004dc: ADD 000004dd: MLOAD 000004de: PUSH1 0x03 000004e0: DUP2 000004e1: GT 000004e2: ISZERO 000004e3: PUSH2 0x04fc 000004e6: JUMPI 000004e7: PUSH4 0x4e487b71 000004ec: PUSH1 0xe0 000004ee: SHL 000004ef: PUSH1 0x00 000004f1: MSTORE 000004f2: PUSH1 0x21 000004f4: PUSH1 0x04 000004f6: MSTORE 000004f7: PUSH1 0x24 000004f9: PUSH1 0x00 000004fb: REVERT 000004fc: JUMPDEST 000004fd: EQ 000004fe: PUSH2 0x0549 00000501: JUMPI 00000502: PUSH1 0x40 00000504: MLOAD 00000505: PUSH3 0x461bcd 00000509: PUSH1 0xe5 0000050b: SHL 0000050c: DUP2 0000050d: MSTORE 0000050e: PUSH1 0x20 00000510: PUSH1 0x04 00000512: DUP3 00000513: ADD 00000514: MSTORE 00000515: PUSH1 0x14 00000517: PUSH1 0x24 00000519: DUP3 0000051a: ADD 0000051b: MSTORE 0000051c: PUSH32 0x6e6f742070656e64696e67207472616e73666572000000000000000000000000 0000053d: PUSH1 0x44 0000053f: DUP3 00000540: ADD 00000541: MSTORE 00000542: PUSH1 0x64 00000544: ADD 00000545: PUSH2 0x030c 00000548: JUMP 00000549: JUMPDEST 0000054a: TIMESTAMP 0000054b: DUP2 0000054c: PUSH1 0xa0 0000054e: ADD 0000054f: MLOAD 00000550: PUSH8 0xffffffffffffffff 00000559: AND 0000055a: GT 0000055b: ISZERO 0000055c: PUSH2 0x05a7 0000055f: JUMPI 00000560: PUSH1 0x40 00000562: MLOAD 00000563: PUSH3 0x461bcd 00000567: PUSH1 0xe5 00000569: SHL 0000056a: DUP2 0000056b: MSTORE 0000056c: PUSH1 0x20 0000056e: PUSH1 0x04 00000570: DUP3 00000571: ADD 00000572: MSTORE 00000573: PUSH1 0x17 00000575: PUSH1 0x24 00000577: DUP3 00000578: ADD 00000579: MSTORE 0000057a: PUSH32 0x74696d656c6f636b206e6f742079657420706173736564000000000000000000 0000059b: PUSH1 0x44 0000059d: DUP3 0000059e: ADD 0000059f: MSTORE 000005a0: PUSH1 0x64 000005a2: ADD 000005a3: PUSH2 0x030c 000005a6: JUMP 000005a7: JUMPDEST 000005a8: PUSH1 0x00 000005aa: DUP3 000005ab: DUP2 000005ac: MSTORE 000005ad: PUSH1 0x20 000005af: DUP2 000005b0: SWAP1 000005b1: MSTORE 000005b2: PUSH1 0x40 000005b4: SWAP1 000005b5: DUP2 000005b6: SWAP1 000005b7: KECCAK256 000005b8: PUSH1 0x05 000005ba: ADD 000005bb: DUP1 000005bc: SLOAD 000005bd: PUSH9 0xff0000000000000000 000005c7: NOT 000005c8: AND 000005c9: PUSH9 0x030000000000000000 000005d3: OR 000005d4: SWAP1 000005d5: SSTORE 000005d6: DUP2 000005d7: MLOAD 000005d8: PUSH1 0x60 000005da: DUP4 000005db: ADD 000005dc: MLOAD 000005dd: SWAP2 000005de: DUP4 000005df: ADD 000005e0: MLOAD 000005e1: PUSH2 0x05f6 000005e4: SWAP3 000005e5: PUSH1 0x01 000005e7: PUSH1 0x01 000005e9: PUSH1 0xa0 000005eb: SHL 000005ec: SUB 000005ed: SWAP1 000005ee: SWAP2 000005ef: AND 000005f0: SWAP2 000005f1: SWAP1 000005f2: PUSH2 0x09cc 000005f5: JUMP 000005f6: JUMPDEST 000005f7: PUSH1 0x40 000005f9: MLOAD 000005fa: DUP3 000005fb: DUP2 000005fc: MSTORE 000005fd: PUSH32 0x70a8f332cabb778f79acc5b97cbb4543970a2f1a34bd0773e4b3012931f752dc 0000061e: SWAP1 0000061f: PUSH1 0x20 00000621: ADD 00000622: PUSH1 0x40 00000624: MLOAD 00000625: DUP1 00000626: SWAP2 00000627: SUB 00000628: SWAP1 00000629: LOG1 0000062a: POP 0000062b: POP 0000062c: JUMP 0000062d: JUMPDEST 0000062e: PUSH1 0x00 00000630: PUSH2 0x063c 00000633: DUP9 00000634: DUP9 00000635: DUP9 00000636: DUP9 00000637: DUP9 00000638: PUSH2 0x06bf 0000063b: JUMP 0000063c: JUMPDEST 0000063d: PUSH1 0x40 0000063f: DUP1 00000640: MLOAD 00000641: DUP3 00000642: DUP2 00000643: MSTORE 00000644: CALLER 00000645: PUSH1 0x20 00000647: DUP3 00000648: ADD 00000649: MSTORE 0000064a: PUSH1 0x01 0000064c: PUSH1 0x01 0000064e: PUSH1 0xa0 00000650: SHL 00000651: SUB 00000652: DUP1 00000653: DUP13 00000654: AND 00000655: SWAP3 00000656: DUP3 00000657: ADD 00000658: SWAP3 00000659: SWAP1 0000065a: SWAP3 0000065b: MSTORE 0000065c: SWAP1 0000065d: DUP10 0000065e: AND 0000065f: PUSH1 0x60 00000661: DUP3 00000662: ADD 00000663: MSTORE 00000664: PUSH1 0x80 00000666: DUP2 00000667: ADD 00000668: DUP9 00000669: SWAP1 0000066a: MSTORE 0000066b: PUSH1 0xa0 0000066d: DUP2 0000066e: ADD 0000066f: DUP8 00000670: SWAP1 00000671: MSTORE 00000672: PUSH8 0xffffffffffffffff 0000067b: DUP1 0000067c: DUP8 0000067d: AND 0000067e: PUSH1 0xc0 00000680: DUP4 00000681: ADD 00000682: MSTORE 00000683: DUP6 00000684: AND 00000685: PUSH1 0xe0 00000687: DUP3 00000688: ADD 00000689: MSTORE 0000068a: PUSH2 0x0100 0000068d: DUP2 0000068e: ADD 0000068f: DUP5 00000690: SWAP1 00000691: MSTORE 00000692: SWAP1 00000693: SWAP2 00000694: POP 00000695: PUSH32 0x252a438c8e02dde6c26723283b3c95b1bf2550b882734770523f1d6767636f9c 000006b6: SWAP1 000006b7: PUSH2 0x0120 000006ba: ADD 000006bb: PUSH2 0x01cc 000006be: JUMP 000006bf: JUMPDEST 000006c0: PUSH1 0x00 000006c2: DUP1 000006c3: DUP5 000006c4: GT 000006c5: PUSH2 0x0710 000006c8: JUMPI 000006c9: PUSH1 0x40 000006cb: MLOAD 000006cc: PUSH3 0x461bcd 000006d0: PUSH1 0xe5 000006d2: SHL 000006d3: DUP2 000006d4: MSTORE 000006d5: PUSH1 0x20 000006d7: PUSH1 0x04 000006d9: DUP3 000006da: ADD 000006db: MSTORE 000006dc: PUSH1 0x0e 000006de: PUSH1 0x24 000006e0: DUP3 000006e1: ADD 000006e2: MSTORE 000006e3: PUSH32 0x696e76616c696420616d6f756e74000000000000000000000000000000000000 00000704: PUSH1 0x44 00000706: DUP3 00000707: ADD 00000708: MSTORE 00000709: PUSH1 0x64 0000070b: ADD 0000070c: PUSH2 0x030c 0000070f: JUMP 00000710: JUMPDEST 00000711: TIMESTAMP 00000712: DUP3 00000713: PUSH8 0xffffffffffffffff 0000071c: AND 0000071d: GT 0000071e: PUSH2 0x0769 00000721: JUMPI 00000722: PUSH1 0x40 00000724: MLOAD 00000725: PUSH3 0x461bcd 00000729: PUSH1 0xe5 0000072b: SHL 0000072c: DUP2 0000072d: MSTORE 0000072e: PUSH1 0x20 00000730: PUSH1 0x04 00000732: DUP3 00000733: ADD 00000734: MSTORE 00000735: PUSH1 0x10 00000737: PUSH1 0x24 00000739: DUP3 0000073a: ADD 0000073b: MSTORE 0000073c: PUSH32 0x696e76616c69642074696d656c6f636b00000000000000000000000000000000 0000075d: PUSH1 0x44 0000075f: DUP3 00000760: ADD 00000761: MSTORE 00000762: PUSH1 0x64 00000764: ADD 00000765: PUSH2 0x030c 00000768: JUMP 00000769: JUMPDEST 0000076a: PUSH1 0x40 0000076c: MLOAD 0000076d: PUSH12 0xffffffffffffffffffffffff 0000077a: NOT 0000077b: CALLER 0000077c: PUSH1 0x60 0000077e: SWAP1 0000077f: DUP2 00000780: SHL 00000781: DUP3 00000782: AND 00000783: PUSH1 0x20 00000785: DUP5 00000786: ADD 00000787: MSTORE 00000788: DUP9 00000789: SWAP1 0000078a: SHL 0000078b: AND 0000078c: PUSH1 0x34 0000078e: DUP3 0000078f: ADD 00000790: MSTORE 00000791: PUSH1 0x48 00000793: DUP2 00000794: ADD 00000795: DUP5 00000796: SWAP1 00000797: MSTORE 00000798: CHAINID 00000799: PUSH1 0x68 0000079b: DUP3 0000079c: ADD 0000079d: MSTORE 0000079e: PUSH1 0x88 000007a0: ADD 000007a1: PUSH1 0x40 000007a3: DUP1 000007a4: MLOAD 000007a5: PUSH1 0x1f 000007a7: NOT 000007a8: DUP2 000007a9: DUP5 000007aa: SUB 000007ab: ADD 000007ac: DUP2 000007ad: MSTORE 000007ae: SWAP2 000007af: SWAP1 000007b0: MSTORE 000007b1: DUP1 000007b2: MLOAD 000007b3: PUSH1 0x20 000007b5: SWAP1 000007b6: SWAP2 000007b7: ADD 000007b8: KECCAK256 000007b9: SWAP1 000007ba: POP 000007bb: PUSH1 0x00 000007bd: DUP1 000007be: DUP3 000007bf: DUP2 000007c0: MSTORE 000007c1: PUSH1 0x20 000007c3: DUP2 000007c4: SWAP1 000007c5: MSTORE 000007c6: PUSH1 0x40 000007c8: SWAP1 000007c9: KECCAK256 000007ca: PUSH1 0x05 000007cc: ADD 000007cd: SLOAD 000007ce: PUSH1 0x01 000007d0: PUSH1 0x40 000007d2: SHL 000007d3: SWAP1 000007d4: DIV 000007d5: PUSH1 0xff 000007d7: AND 000007d8: PUSH1 0x03 000007da: DUP2 000007db: GT 000007dc: ISZERO 000007dd: PUSH2 0x07f6 000007e0: JUMPI 000007e1: PUSH4 0x4e487b71 000007e6: PUSH1 0xe0 000007e8: SHL 000007e9: PUSH1 0x00 000007eb: MSTORE 000007ec: PUSH1 0x21 000007ee: PUSH1 0x04 000007f0: MSTORE 000007f1: PUSH1 0x24 000007f3: PUSH1 0x00 000007f5: REVERT 000007f6: JUMPDEST 000007f7: EQ 000007f8: PUSH2 0x0843 000007fb: JUMPI 000007fc: PUSH1 0x40 000007fe: MLOAD 000007ff: PUSH3 0x461bcd 00000803: PUSH1 0xe5 00000805: SHL 00000806: DUP2 00000807: MSTORE 00000808: PUSH1 0x20 0000080a: PUSH1 0x04 0000080c: DUP3 0000080d: ADD 0000080e: MSTORE 0000080f: PUSH1 0x0f 00000811: PUSH1 0x24 00000813: DUP3 00000814: ADD 00000815: MSTORE 00000816: PUSH32 0x7472616e73666572206578697374730000000000000000000000000000000000 00000837: PUSH1 0x44 00000839: DUP3 0000083a: ADD 0000083b: MSTORE 0000083c: PUSH1 0x64 0000083e: ADD 0000083f: PUSH2 0x030c 00000842: JUMP 00000843: JUMPDEST 00000844: PUSH2 0x0858 00000847: PUSH1 0x01 00000849: PUSH1 0x01 0000084b: PUSH1 0xa0 0000084d: SHL 0000084e: SUB 0000084f: DUP7 00000850: AND 00000851: CALLER 00000852: ADDRESS 00000853: DUP8 00000854: PUSH2 0x0a61 00000857: JUMP 00000858: JUMPDEST 00000859: PUSH1 0x40 0000085b: MLOAD 0000085c: DUP1 0000085d: PUSH1 0xe0 0000085f: ADD 00000860: PUSH1 0x40 00000862: MSTORE 00000863: DUP1 00000864: CALLER 00000865: PUSH1 0x01 00000867: PUSH1 0x01 00000869: PUSH1 0xa0 0000086b: SHL 0000086c: SUB 0000086d: AND 0000086e: DUP2 0000086f: MSTORE 00000870: PUSH1 0x20 00000872: ADD 00000873: DUP8 00000874: PUSH1 0x01 00000876: PUSH1 0x01 00000878: PUSH1 0xa0 0000087a: SHL 0000087b: SUB 0000087c: AND 0000087d: DUP2 0000087e: MSTORE 0000087f: PUSH1 0x20 00000881: ADD 00000882: DUP7 00000883: PUSH1 0x01 00000885: PUSH1 0x01 00000887: PUSH1 0xa0 00000889: SHL 0000088a: SUB 0000088b: AND 0000088c: DUP2 0000088d: MSTORE 0000088e: PUSH1 0x20 00000890: ADD 00000891: DUP6 00000892: DUP2 00000893: MSTORE 00000894: PUSH1 0x20 00000896: ADD 00000897: DUP5 00000898: DUP2 00000899: MSTORE 0000089a: PUSH1 0x20 0000089c: ADD 0000089d: DUP4 0000089e: PUSH8 0xffffffffffffffff 000008a7: AND 000008a8: DUP2 000008a9: MSTORE 000008aa: PUSH1 0x20 000008ac: ADD 000008ad: PUSH1 0x01 000008af: PUSH1 0x03 000008b1: DUP2 000008b2: GT 000008b3: ISZERO 000008b4: PUSH2 0x08cd 000008b7: JUMPI 000008b8: PUSH4 0x4e487b71 000008bd: PUSH1 0xe0 000008bf: SHL 000008c0: PUSH1 0x00 000008c2: MSTORE 000008c3: PUSH1 0x21 000008c5: PUSH1 0x04 000008c7: MSTORE 000008c8: PUSH1 0x24 000008ca: PUSH1 0x00 000008cc: REVERT 000008cd: JUMPDEST 000008ce: SWAP1 000008cf: MSTORE 000008d0: PUSH1 0x00 000008d2: DUP3 000008d3: DUP2 000008d4: MSTORE 000008d5: PUSH1 0x20 000008d7: DUP2 000008d8: DUP2 000008d9: MSTORE 000008da: PUSH1 0x40 000008dc: SWAP2 000008dd: DUP3 000008de: SWAP1 000008df: KECCAK256 000008e0: DUP4 000008e1: MLOAD 000008e2: DUP2 000008e3: SLOAD 000008e4: PUSH1 0x01 000008e6: PUSH1 0x01 000008e8: PUSH1 0xa0 000008ea: SHL 000008eb: SUB 000008ec: SWAP2 000008ed: DUP3 000008ee: AND 000008ef: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000910: SWAP2 00000911: DUP3 00000912: AND 00000913: OR 00000914: DUP4 00000915: SSTORE 00000916: SWAP3 00000917: DUP6 00000918: ADD 00000919: MLOAD 0000091a: PUSH1 0x01 0000091c: DUP4 0000091d: ADD 0000091e: DUP1 0000091f: SLOAD 00000920: SWAP2 00000921: DUP4 00000922: AND 00000923: SWAP2 00000924: DUP6 00000925: AND 00000926: SWAP2 00000927: SWAP1 00000928: SWAP2 00000929: OR 0000092a: SWAP1 0000092b: SSTORE 0000092c: SWAP3 0000092d: DUP5 0000092e: ADD 0000092f: MLOAD 00000930: PUSH1 0x02 00000932: DUP3 00000933: ADD 00000934: DUP1 00000935: SLOAD 00000936: SWAP2 00000937: SWAP1 00000938: SWAP5 00000939: AND 0000093a: SWAP3 0000093b: AND 0000093c: SWAP2 0000093d: SWAP1 0000093e: SWAP2 0000093f: OR 00000940: SWAP1 00000941: SWAP2 00000942: SSTORE 00000943: PUSH1 0x60 00000945: DUP3 00000946: ADD 00000947: MLOAD 00000948: PUSH1 0x03 0000094a: DUP1 0000094b: DUP4 0000094c: ADD 0000094d: SWAP2 0000094e: SWAP1 0000094f: SWAP2 00000950: SSTORE 00000951: PUSH1 0x80 00000953: DUP4 00000954: ADD 00000955: MLOAD 00000956: PUSH1 0x04 00000958: DUP4 00000959: ADD 0000095a: SSTORE 0000095b: PUSH1 0xa0 0000095d: DUP4 0000095e: ADD 0000095f: MLOAD 00000960: PUSH1 0x05 00000962: DUP4 00000963: ADD 00000964: DUP1 00000965: SLOAD 00000966: PUSH8 0xffffffffffffffff 0000096f: SWAP1 00000970: SWAP3 00000971: AND 00000972: PUSH8 0xffffffffffffffff 0000097b: NOT 0000097c: DUP4 0000097d: AND 0000097e: DUP2 0000097f: OR 00000980: DUP3 00000981: SSTORE 00000982: PUSH1 0xc0 00000984: DUP7 00000985: ADD 00000986: MLOAD 00000987: SWAP4 00000988: SWAP2 00000989: SWAP3 0000098a: PUSH9 0xffffffffffffffffff 00000994: NOT 00000995: AND 00000996: OR 00000997: SWAP1 00000998: PUSH1 0x01 0000099a: PUSH1 0x40 0000099c: SHL 0000099d: SWAP1 0000099e: DUP5 0000099f: SWAP1 000009a0: DUP2 000009a1: GT 000009a2: ISZERO 000009a3: PUSH2 0x09bc 000009a6: JUMPI 000009a7: PUSH4 0x4e487b71 000009ac: PUSH1 0xe0 000009ae: SHL 000009af: PUSH1 0x00 000009b1: MSTORE 000009b2: PUSH1 0x21 000009b4: PUSH1 0x04 000009b6: MSTORE 000009b7: PUSH1 0x24 000009b9: PUSH1 0x00 000009bb: REVERT 000009bc: JUMPDEST 000009bd: MUL 000009be: OR 000009bf: SWAP1 000009c0: SSTORE 000009c1: POP 000009c2: POP 000009c3: POP 000009c4: SWAP6 000009c5: SWAP5 000009c6: POP 000009c7: POP 000009c8: POP 000009c9: POP 000009ca: POP 000009cb: JUMP 000009cc: JUMPDEST 000009cd: PUSH1 0x40 000009cf: MLOAD 000009d0: PUSH1 0x01 000009d2: PUSH1 0x01 000009d4: PUSH1 0xa0 000009d6: SHL 000009d7: SUB 000009d8: DUP4 000009d9: AND 000009da: PUSH1 0x24 000009dc: DUP3 000009dd: ADD 000009de: MSTORE 000009df: PUSH1 0x44 000009e1: DUP2 000009e2: ADD 000009e3: DUP3 000009e4: SWAP1 000009e5: MSTORE 000009e6: PUSH2 0x0a5c 000009e9: SWAP1 000009ea: DUP5 000009eb: SWAP1 000009ec: PUSH4 0xa9059cbb 000009f1: PUSH1 0xe0 000009f3: SHL 000009f4: SWAP1 000009f5: PUSH1 0x64 000009f7: ADD 000009f8: JUMPDEST 000009f9: PUSH1 0x40 000009fb: DUP1 000009fc: MLOAD 000009fd: PUSH1 0x1f 000009ff: NOT 00000a00: DUP2 00000a01: DUP5 00000a02: SUB 00000a03: ADD 00000a04: DUP2 00000a05: MSTORE 00000a06: SWAP2 00000a07: SWAP1 00000a08: MSTORE 00000a09: PUSH1 0x20 00000a0b: DUP2 00000a0c: ADD 00000a0d: DUP1 00000a0e: MLOAD 00000a0f: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000a2c: AND 00000a2d: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000a4e: SWAP1 00000a4f: SWAP4 00000a50: AND 00000a51: SWAP3 00000a52: SWAP1 00000a53: SWAP3 00000a54: OR 00000a55: SWAP1 00000a56: SWAP2 00000a57: MSTORE 00000a58: PUSH2 0x0a9f 00000a5b: JUMP 00000a5c: JUMPDEST 00000a5d: POP 00000a5e: POP 00000a5f: POP 00000a60: JUMP 00000a61: JUMPDEST 00000a62: PUSH1 0x40 00000a64: MLOAD 00000a65: PUSH1 0x01 00000a67: PUSH1 0x01 00000a69: PUSH1 0xa0 00000a6b: SHL 00000a6c: SUB 00000a6d: DUP1 00000a6e: DUP6 00000a6f: AND 00000a70: PUSH1 0x24 00000a72: DUP4 00000a73: ADD 00000a74: MSTORE 00000a75: DUP4 00000a76: AND 00000a77: PUSH1 0x44 00000a79: DUP3 00000a7a: ADD 00000a7b: MSTORE 00000a7c: PUSH1 0x64 00000a7e: DUP2 00000a7f: ADD 00000a80: DUP3 00000a81: SWAP1 00000a82: MSTORE 00000a83: PUSH2 0x0a99 00000a86: SWAP1 00000a87: DUP6 00000a88: SWAP1 00000a89: PUSH4 0x23b872dd 00000a8e: PUSH1 0xe0 00000a90: SHL 00000a91: SWAP1 00000a92: PUSH1 0x84 00000a94: ADD 00000a95: PUSH2 0x09f8 00000a98: JUMP 00000a99: JUMPDEST 00000a9a: POP 00000a9b: POP 00000a9c: POP 00000a9d: POP 00000a9e: JUMP 00000a9f: JUMPDEST 00000aa0: PUSH1 0x00 00000aa2: PUSH2 0x0af4 00000aa5: DUP3 00000aa6: PUSH1 0x40 00000aa8: MLOAD 00000aa9: DUP1 00000aaa: PUSH1 0x40 00000aac: ADD 00000aad: PUSH1 0x40 00000aaf: MSTORE 00000ab0: DUP1 00000ab1: PUSH1 0x20 00000ab3: DUP2 00000ab4: MSTORE 00000ab5: PUSH1 0x20 00000ab7: ADD 00000ab8: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00000ad9: DUP2 00000ada: MSTORE 00000adb: POP 00000adc: DUP6 00000add: PUSH1 0x01 00000adf: PUSH1 0x01 00000ae1: PUSH1 0xa0 00000ae3: SHL 00000ae4: SUB 00000ae5: AND 00000ae6: PUSH2 0x0b84 00000ae9: SWAP1 00000aea: SWAP3 00000aeb: SWAP2 00000aec: SWAP1 00000aed: PUSH4 0xffffffff 00000af2: AND 00000af3: JUMP 00000af4: JUMPDEST 00000af5: DUP1 00000af6: MLOAD 00000af7: SWAP1 00000af8: SWAP2 00000af9: POP 00000afa: ISZERO 00000afb: PUSH2 0x0a5c 00000afe: JUMPI 00000aff: DUP1 00000b00: DUP1 00000b01: PUSH1 0x20 00000b03: ADD 00000b04: SWAP1 00000b05: MLOAD 00000b06: DUP2 00000b07: ADD 00000b08: SWAP1 00000b09: PUSH2 0x0b12 00000b0c: SWAP2 00000b0d: SWAP1 00000b0e: PUSH2 0x0e30 00000b11: JUMP 00000b12: JUMPDEST 00000b13: PUSH2 0x0a5c 00000b16: JUMPI 00000b17: PUSH1 0x40 00000b19: MLOAD 00000b1a: PUSH3 0x461bcd 00000b1e: PUSH1 0xe5 00000b20: SHL 00000b21: DUP2 00000b22: MSTORE 00000b23: PUSH1 0x20 00000b25: PUSH1 0x04 00000b27: DUP3 00000b28: ADD 00000b29: MSTORE 00000b2a: PUSH1 0x2a 00000b2c: PUSH1 0x24 00000b2e: DUP3 00000b2f: ADD 00000b30: MSTORE 00000b31: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00000b52: PUSH1 0x44 00000b54: DUP3 00000b55: ADD 00000b56: MSTORE 00000b57: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000 00000b78: PUSH1 0x64 00000b7a: DUP3 00000b7b: ADD 00000b7c: MSTORE 00000b7d: PUSH1 0x84 00000b7f: ADD 00000b80: PUSH2 0x030c 00000b83: JUMP 00000b84: JUMPDEST 00000b85: PUSH1 0x60 00000b87: PUSH2 0x0b93 00000b8a: DUP5 00000b8b: DUP5 00000b8c: PUSH1 0x00 00000b8e: DUP6 00000b8f: PUSH2 0x0b9d 00000b92: JUMP 00000b93: JUMPDEST 00000b94: SWAP1 00000b95: POP 00000b96: JUMPDEST 00000b97: SWAP4 00000b98: SWAP3 00000b99: POP 00000b9a: POP 00000b9b: POP 00000b9c: JUMP 00000b9d: JUMPDEST 00000b9e: PUSH1 0x60 00000ba0: DUP3 00000ba1: SELFBALANCE 00000ba2: LT 00000ba3: ISZERO 00000ba4: PUSH2 0x0c15 00000ba7: JUMPI 00000ba8: PUSH1 0x40 00000baa: MLOAD 00000bab: PUSH3 0x461bcd 00000baf: PUSH1 0xe5 00000bb1: SHL 00000bb2: DUP2 00000bb3: MSTORE 00000bb4: PUSH1 0x20 00000bb6: PUSH1 0x04 00000bb8: DUP3 00000bb9: ADD 00000bba: MSTORE 00000bbb: PUSH1 0x26 00000bbd: PUSH1 0x24 00000bbf: DUP3 00000bc0: ADD 00000bc1: MSTORE 00000bc2: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 00000be3: PUSH1 0x44 00000be5: DUP3 00000be6: ADD 00000be7: MSTORE 00000be8: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000 00000c09: PUSH1 0x64 00000c0b: DUP3 00000c0c: ADD 00000c0d: MSTORE 00000c0e: PUSH1 0x84 00000c10: ADD 00000c11: PUSH2 0x030c 00000c14: JUMP 00000c15: JUMPDEST 00000c16: DUP5 00000c17: EXTCODESIZE 00000c18: PUSH2 0x0c63 00000c1b: JUMPI 00000c1c: PUSH1 0x40 00000c1e: MLOAD 00000c1f: PUSH3 0x461bcd 00000c23: PUSH1 0xe5 00000c25: SHL 00000c26: DUP2 00000c27: MSTORE 00000c28: PUSH1 0x20 00000c2a: PUSH1 0x04 00000c2c: DUP3 00000c2d: ADD 00000c2e: MSTORE 00000c2f: PUSH1 0x1d 00000c31: PUSH1 0x24 00000c33: DUP3 00000c34: ADD 00000c35: MSTORE 00000c36: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00000c57: PUSH1 0x44 00000c59: DUP3 00000c5a: ADD 00000c5b: MSTORE 00000c5c: PUSH1 0x64 00000c5e: ADD 00000c5f: PUSH2 0x030c 00000c62: JUMP 00000c63: JUMPDEST 00000c64: PUSH1 0x00 00000c66: DUP1 00000c67: DUP7 00000c68: PUSH1 0x01 00000c6a: PUSH1 0x01 00000c6c: PUSH1 0xa0 00000c6e: SHL 00000c6f: SUB 00000c70: AND 00000c71: DUP6 00000c72: DUP8 00000c73: PUSH1 0x40 00000c75: MLOAD 00000c76: PUSH2 0x0c7f 00000c79: SWAP2 00000c7a: SWAP1 00000c7b: PUSH2 0x0e89 00000c7e: JUMP 00000c7f: JUMPDEST 00000c80: PUSH1 0x00 00000c82: PUSH1 0x40 00000c84: MLOAD 00000c85: DUP1 00000c86: DUP4 00000c87: SUB 00000c88: DUP2 00000c89: DUP6 00000c8a: DUP8 00000c8b: GAS 00000c8c: CALL 00000c8d: SWAP3 00000c8e: POP 00000c8f: POP 00000c90: POP 00000c91: RETURNDATASIZE 00000c92: DUP1 00000c93: PUSH1 0x00 00000c95: DUP2 00000c96: EQ 00000c97: PUSH2 0x0cbc 00000c9a: JUMPI 00000c9b: PUSH1 0x40 00000c9d: MLOAD 00000c9e: SWAP2 00000c9f: POP 00000ca0: PUSH1 0x1f 00000ca2: NOT 00000ca3: PUSH1 0x3f 00000ca5: RETURNDATASIZE 00000ca6: ADD 00000ca7: AND 00000ca8: DUP3 00000ca9: ADD 00000caa: PUSH1 0x40 00000cac: MSTORE 00000cad: RETURNDATASIZE 00000cae: DUP3 00000caf: MSTORE 00000cb0: RETURNDATASIZE 00000cb1: PUSH1 0x00 00000cb3: PUSH1 0x20 00000cb5: DUP5 00000cb6: ADD 00000cb7: RETURNDATACOPY 00000cb8: PUSH2 0x0cc1 00000cbb: JUMP 00000cbc: JUMPDEST 00000cbd: PUSH1 0x60 00000cbf: SWAP2 00000cc0: POP 00000cc1: JUMPDEST 00000cc2: POP 00000cc3: SWAP2 00000cc4: POP 00000cc5: SWAP2 00000cc6: POP 00000cc7: PUSH2 0x0cd1 00000cca: DUP3 00000ccb: DUP3 00000ccc: DUP7 00000ccd: PUSH2 0x0cdc 00000cd0: JUMP 00000cd1: JUMPDEST 00000cd2: SWAP8 00000cd3: SWAP7 00000cd4: POP 00000cd5: POP 00000cd6: POP 00000cd7: POP 00000cd8: POP 00000cd9: POP 00000cda: POP 00000cdb: JUMP 00000cdc: JUMPDEST 00000cdd: PUSH1 0x60 00000cdf: DUP4 00000ce0: ISZERO 00000ce1: PUSH2 0x0ceb 00000ce4: JUMPI 00000ce5: POP 00000ce6: DUP2 00000ce7: PUSH2 0x0b96 00000cea: JUMP 00000ceb: JUMPDEST 00000cec: DUP3 00000ced: MLOAD 00000cee: ISZERO 00000cef: PUSH2 0x0cfb 00000cf2: JUMPI 00000cf3: DUP3 00000cf4: MLOAD 00000cf5: DUP1 00000cf6: DUP5 00000cf7: PUSH1 0x20 00000cf9: ADD 00000cfa: REVERT 00000cfb: JUMPDEST 00000cfc: DUP2 00000cfd: PUSH1 0x40 00000cff: MLOAD 00000d00: PUSH3 0x461bcd 00000d04: PUSH1 0xe5 00000d06: SHL 00000d07: DUP2 00000d08: MSTORE 00000d09: PUSH1 0x04 00000d0b: ADD 00000d0c: PUSH2 0x030c 00000d0f: SWAP2 00000d10: SWAP1 00000d11: PUSH2 0x0f13 00000d14: JUMP 00000d15: JUMPDEST 00000d16: DUP1 00000d17: CALLDATALOAD 00000d18: PUSH1 0x01 00000d1a: PUSH1 0x01 00000d1c: PUSH1 0xa0 00000d1e: SHL 00000d1f: SUB 00000d20: DUP2 00000d21: AND 00000d22: DUP2 00000d23: EQ 00000d24: PUSH2 0x0d2c 00000d27: JUMPI 00000d28: PUSH1 0x00 00000d2a: DUP1 00000d2b: REVERT 00000d2c: JUMPDEST 00000d2d: SWAP2 00000d2e: SWAP1 00000d2f: POP 00000d30: JUMP 00000d31: JUMPDEST 00000d32: DUP1 00000d33: CALLDATALOAD 00000d34: PUSH8 0xffffffffffffffff 00000d3d: DUP2 00000d3e: AND 00000d3f: DUP2 00000d40: EQ 00000d41: PUSH2 0x0d2c 00000d44: JUMPI 00000d45: PUSH1 0x00 00000d47: DUP1 00000d48: REVERT 00000d49: JUMPDEST 00000d4a: PUSH1 0x00 00000d4c: DUP1 00000d4d: PUSH1 0x00 00000d4f: DUP1 00000d50: PUSH1 0x00 00000d52: DUP1 00000d53: PUSH1 0x00 00000d55: PUSH1 0xe0 00000d57: DUP9 00000d58: DUP11 00000d59: SUB 00000d5a: SLT 00000d5b: ISZERO 00000d5c: PUSH2 0x0d63 00000d5f: JUMPI 00000d60: DUP3 00000d61: DUP4 00000d62: REVERT 00000d63: JUMPDEST 00000d64: PUSH2 0x0d6c 00000d67: DUP9 00000d68: PUSH2 0x0d15 00000d6b: JUMP 00000d6c: JUMPDEST 00000d6d: SWAP7 00000d6e: POP 00000d6f: PUSH2 0x0d7a 00000d72: PUSH1 0x20 00000d74: DUP10 00000d75: ADD 00000d76: PUSH2 0x0d15 00000d79: JUMP 00000d7a: JUMPDEST 00000d7b: SWAP6 00000d7c: POP 00000d7d: PUSH1 0x40 00000d7f: DUP9 00000d80: ADD 00000d81: CALLDATALOAD 00000d82: SWAP5 00000d83: POP 00000d84: PUSH1 0x60 00000d86: DUP9 00000d87: ADD 00000d88: CALLDATALOAD 00000d89: SWAP4 00000d8a: POP 00000d8b: PUSH2 0x0d96 00000d8e: PUSH1 0x80 00000d90: DUP10 00000d91: ADD 00000d92: PUSH2 0x0d31 00000d95: JUMP 00000d96: JUMPDEST 00000d97: SWAP3 00000d98: POP 00000d99: PUSH2 0x0da4 00000d9c: PUSH1 0xa0 00000d9e: DUP10 00000d9f: ADD 00000da0: PUSH2 0x0d31 00000da3: JUMP 00000da4: JUMPDEST 00000da5: SWAP2 00000da6: POP 00000da7: PUSH2 0x0db2 00000daa: PUSH1 0xc0 00000dac: DUP10 00000dad: ADD 00000dae: PUSH2 0x0d15 00000db1: JUMP 00000db2: JUMPDEST 00000db3: SWAP1 00000db4: POP 00000db5: SWAP3 00000db6: SWAP6 00000db7: SWAP9 00000db8: SWAP2 00000db9: SWAP5 00000dba: SWAP8 00000dbb: POP 00000dbc: SWAP3 00000dbd: SWAP6 00000dbe: POP 00000dbf: JUMP 00000dc0: JUMPDEST 00000dc1: PUSH1 0x00 00000dc3: DUP1 00000dc4: PUSH1 0x00 00000dc6: DUP1 00000dc7: PUSH1 0x00 00000dc9: DUP1 00000dca: PUSH1 0x00 00000dcc: PUSH1 0xe0 00000dce: DUP9 00000dcf: DUP11 00000dd0: SUB 00000dd1: SLT 00000dd2: ISZERO 00000dd3: PUSH2 0x0dda 00000dd6: JUMPI 00000dd7: DUP3 00000dd8: DUP4 00000dd9: REVERT 00000dda: JUMPDEST 00000ddb: PUSH2 0x0de3 00000dde: DUP9 00000ddf: PUSH2 0x0d15 00000de2: JUMP 00000de3: JUMPDEST 00000de4: SWAP7 00000de5: POP 00000de6: PUSH2 0x0df1 00000de9: PUSH1 0x20 00000deb: DUP10 00000dec: ADD 00000ded: PUSH2 0x0d15 00000df0: JUMP 00000df1: JUMPDEST 00000df2: SWAP6 00000df3: POP 00000df4: PUSH1 0x40 00000df6: DUP9 00000df7: ADD 00000df8: CALLDATALOAD 00000df9: SWAP5 00000dfa: POP 00000dfb: PUSH1 0x60 00000dfd: DUP9 00000dfe: ADD 00000dff: CALLDATALOAD 00000e00: SWAP4 00000e01: POP 00000e02: PUSH2 0x0e0d 00000e05: PUSH1 0x80 00000e07: DUP10 00000e08: ADD 00000e09: PUSH2 0x0d31 00000e0c: JUMP 00000e0d: JUMPDEST 00000e0e: SWAP3 00000e0f: POP 00000e10: PUSH2 0x0e1b 00000e13: PUSH1 0xa0 00000e15: DUP10 00000e16: ADD 00000e17: PUSH2 0x0d31 00000e1a: JUMP 00000e1b: JUMPDEST 00000e1c: SWAP2 00000e1d: POP 00000e1e: PUSH1 0xc0 00000e20: DUP9 00000e21: ADD 00000e22: CALLDATALOAD 00000e23: SWAP1 00000e24: POP 00000e25: SWAP3 00000e26: SWAP6 00000e27: SWAP9 00000e28: SWAP2 00000e29: SWAP5 00000e2a: SWAP8 00000e2b: POP 00000e2c: SWAP3 00000e2d: SWAP6 00000e2e: POP 00000e2f: JUMP 00000e30: JUMPDEST 00000e31: PUSH1 0x00 00000e33: PUSH1 0x20 00000e35: DUP3 00000e36: DUP5 00000e37: SUB 00000e38: SLT 00000e39: ISZERO 00000e3a: PUSH2 0x0e41 00000e3d: JUMPI 00000e3e: DUP1 00000e3f: DUP2 00000e40: REVERT 00000e41: JUMPDEST 00000e42: DUP2 00000e43: MLOAD 00000e44: DUP1 00000e45: ISZERO 00000e46: ISZERO 00000e47: DUP2 00000e48: EQ 00000e49: PUSH2 0x0b96 00000e4c: JUMPI 00000e4d: DUP2 00000e4e: DUP3 00000e4f: REVERT 00000e50: JUMPDEST 00000e51: PUSH1 0x00 00000e53: PUSH1 0x20 00000e55: DUP3 00000e56: DUP5 00000e57: SUB 00000e58: SLT 00000e59: ISZERO 00000e5a: PUSH2 0x0e61 00000e5d: JUMPI 00000e5e: DUP1 00000e5f: DUP2 00000e60: REVERT 00000e61: JUMPDEST 00000e62: POP 00000e63: CALLDATALOAD 00000e64: SWAP2 00000e65: SWAP1 00000e66: POP 00000e67: JUMP 00000e68: JUMPDEST 00000e69: PUSH1 0x00 00000e6b: DUP1 00000e6c: PUSH1 0x40 00000e6e: DUP4 00000e6f: DUP6 00000e70: SUB 00000e71: SLT 00000e72: ISZERO 00000e73: PUSH2 0x0e7a 00000e76: JUMPI 00000e77: DUP2 00000e78: DUP3 00000e79: REVERT 00000e7a: JUMPDEST 00000e7b: POP 00000e7c: POP 00000e7d: DUP1 00000e7e: CALLDATALOAD 00000e7f: SWAP3 00000e80: PUSH1 0x20 00000e82: SWAP1 00000e83: SWAP2 00000e84: ADD 00000e85: CALLDATALOAD 00000e86: SWAP2 00000e87: POP 00000e88: JUMP 00000e89: JUMPDEST 00000e8a: PUSH1 0x00 00000e8c: DUP3 00000e8d: MLOAD 00000e8e: PUSH2 0x0e9b 00000e91: DUP2 00000e92: DUP5 00000e93: PUSH1 0x20 00000e95: DUP8 00000e96: ADD 00000e97: PUSH2 0x0f46 00000e9a: JUMP 00000e9b: JUMPDEST 00000e9c: SWAP2 00000e9d: SWAP1 00000e9e: SWAP2 00000e9f: ADD 00000ea0: SWAP3 00000ea1: SWAP2 00000ea2: POP 00000ea3: POP 00000ea4: JUMP 00000ea5: JUMPDEST 00000ea6: PUSH1 0x01 00000ea8: PUSH1 0x01 00000eaa: PUSH1 0xa0 00000eac: SHL 00000ead: SUB 00000eae: DUP9 00000eaf: DUP2 00000eb0: AND 00000eb1: DUP3 00000eb2: MSTORE 00000eb3: DUP8 00000eb4: DUP2 00000eb5: AND 00000eb6: PUSH1 0x20 00000eb8: DUP4 00000eb9: ADD 00000eba: MSTORE 00000ebb: DUP7 00000ebc: AND 00000ebd: PUSH1 0x40 00000ebf: DUP3 00000ec0: ADD 00000ec1: MSTORE 00000ec2: PUSH1 0x60 00000ec4: DUP2 00000ec5: ADD 00000ec6: DUP6 00000ec7: SWAP1 00000ec8: MSTORE 00000ec9: PUSH1 0x80 00000ecb: DUP2 00000ecc: ADD 00000ecd: DUP5 00000ece: SWAP1 00000ecf: MSTORE 00000ed0: PUSH8 0xffffffffffffffff 00000ed9: DUP4 00000eda: AND 00000edb: PUSH1 0xa0 00000edd: DUP3 00000ede: ADD 00000edf: MSTORE 00000ee0: PUSH1 0xe0 00000ee2: DUP2 00000ee3: ADD 00000ee4: PUSH1 0x04 00000ee6: DUP4 00000ee7: LT 00000ee8: PUSH2 0x0f01 00000eeb: JUMPI 00000eec: PUSH4 0x4e487b71 00000ef1: PUSH1 0xe0 00000ef3: SHL 00000ef4: PUSH1 0x00 00000ef6: MSTORE 00000ef7: PUSH1 0x21 00000ef9: PUSH1 0x04 00000efb: MSTORE 00000efc: PUSH1 0x24 00000efe: PUSH1 0x00 00000f00: REVERT 00000f01: JUMPDEST 00000f02: DUP3 00000f03: PUSH1 0xc0 00000f05: DUP4 00000f06: ADD 00000f07: MSTORE 00000f08: SWAP9 00000f09: SWAP8 00000f0a: POP 00000f0b: POP 00000f0c: POP 00000f0d: POP 00000f0e: POP 00000f0f: POP 00000f10: POP 00000f11: POP 00000f12: JUMP 00000f13: JUMPDEST 00000f14: PUSH1 0x20 00000f16: DUP2 00000f17: MSTORE 00000f18: PUSH1 0x00 00000f1a: DUP3 00000f1b: MLOAD 00000f1c: DUP1 00000f1d: PUSH1 0x20 00000f1f: DUP5 00000f20: ADD 00000f21: MSTORE 00000f22: PUSH2 0x0f32 00000f25: DUP2 00000f26: PUSH1 0x40 00000f28: DUP6 00000f29: ADD 00000f2a: PUSH1 0x20 00000f2c: DUP8 00000f2d: ADD 00000f2e: PUSH2 0x0f46 00000f31: JUMP 00000f32: JUMPDEST 00000f33: PUSH1 0x1f 00000f35: ADD 00000f36: PUSH1 0x1f 00000f38: NOT 00000f39: AND 00000f3a: SWAP2 00000f3b: SWAP1 00000f3c: SWAP2 00000f3d: ADD 00000f3e: PUSH1 0x40 00000f40: ADD 00000f41: SWAP3 00000f42: SWAP2 00000f43: POP 00000f44: POP 00000f45: JUMP 00000f46: JUMPDEST 00000f47: PUSH1 0x00 00000f49: JUMPDEST 00000f4a: DUP4 00000f4b: DUP2 00000f4c: LT 00000f4d: ISZERO 00000f4e: PUSH2 0x0f61 00000f51: JUMPI 00000f52: DUP2 00000f53: DUP2 00000f54: ADD 00000f55: MLOAD 00000f56: DUP4 00000f57: DUP3 00000f58: ADD 00000f59: MSTORE 00000f5a: PUSH1 0x20 00000f5c: ADD 00000f5d: PUSH2 0x0f49 00000f60: JUMP 00000f61: JUMPDEST 00000f62: DUP4 00000f63: DUP2 00000f64: GT 00000f65: ISZERO 00000f66: PUSH2 0x0a99 00000f69: JUMPI 00000f6a: POP 00000f6b: POP 00000f6c: PUSH1 0x00 00000f6e: SWAP2 00000f6f: ADD 00000f70: MSTORE 00000f71: JUMP 00000f72: INVALID 00000f73: LOG2 00000f74: PUSH5 0x6970667358 00000f7a: UNKNOWN(0x22) 00000f7b: SLT 00000f7c: KECCAK256 00000f7d: EXTCODEHASH 00000f7e: JUMPI 00000f7f: PUSH12 0x683b544859852e2612f7dba9 00000f8c: BALANCE 00000f8d: PUSH14 0x83a2b49a4f7764b07147c61931e0 00000f9c: GASPRICE 00000f9d: PUSH5 0x736f6c6343 00000fa3: STOP 00000fa4: ADDMOD 00000fa5: DIV 00000fa6: STOP 00000fa7: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xdccd8acde6552fa5b18795f91703a025876ce742bdac8fb93d7db095846930ed
call_targets:
0x841ce48f9446c8e281d3f1444cb859b4a6d0738c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xdccd8acde6552fa5b18795f91703a025876ce742bdac8fb93d7db095846930ed",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x841ce48f9446c8e281d3f1444cb859b4a6d0738c"
],
"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": "0x57f784ba",
"selector": "0x57f784ba",
"calldata_variants": [
"0x57f784ba",
"0x57f784ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7249fbb6",
"selector": "0x7249fbb6",
"calldata_variants": [
"0x7249fbb6",
"0x7249fbb60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf63eba25",
"selector": "0xf63eba25",
"calldata_variants": [
"0xf63eba25",
"0xf63eba250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3c64f04b",
"selector": "0x3c64f04b",
"calldata_variants": [
"0x3c64f04b",
"0x3c64f04b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x46b40027",
"selector": "0x46b40027",
"calldata_variants": [
"0x46b40027",
"0x46b400270000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3212,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xdccd8acde6552fa5b18795f91703a025876ce742bdac8fb93d7db095846930ed
call_targets:
0x841ce48f9446c8e281d3f1444cb859b4a6d0738c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xdccd8acde6552fa5b18795f91703a025876ce742bdac8fb93d7db095846930ed",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x841ce48f9446c8e281d3f1444cb859b4a6d0738c"
],
"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": "0x57f784ba",
"selector": "0x57f784ba",
"calldata_variants": [
"0x57f784ba",
"0x57f784ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7249fbb6",
"selector": "0x7249fbb6",
"calldata_variants": [
"0x7249fbb6",
"0x7249fbb60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf63eba25",
"selector": "0xf63eba25",
"calldata_variants": [
"0xf63eba25",
"0xf63eba250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3c64f04b",
"selector": "0x3c64f04b",
"calldata_variants": [
"0x3c64f04b",
"0x3c64f04b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x46b40027",
"selector": "0x46b40027",
"calldata_variants": [
"0x46b40027",
"0x46b400270000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3212,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|