019b477e-cbcd-71ec-9b7d-ac4c0f7187f5
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 |
|---|---|---|---|---|
| 26753 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26754 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 112398 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 112399 | capability.graph | complete | 1 / 3 | 1 week ago |
| 112400 | detector.run | complete | 1 / 3 | 1 week ago |
| 112401 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00c5 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0xb6a5d7de 00000019: GT 0000001a: PUSH2 0x007f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xf0b37c04 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xf0b37c04 0000002f: EQ 00000030: PUSH2 0x01ef 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf2fde38b 0000003a: EQ 0000003b: PUSH2 0x020f 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xfa09e630 00000045: EQ 00000046: PUSH2 0x022f 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xfe9fbb80 00000050: EQ 00000051: PUSH2 0x024f 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0xb6a5d7de 00000060: EQ 00000061: PUSH2 0x0199 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xd2fa635e 0000006b: EQ 0000006c: PUSH2 0x01b9 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xe25b5345 00000076: EQ 00000077: PUSH2 0x01d9 0000007a: JUMPI 0000007b: PUSH1 0x00 0000007d: DUP1 0000007e: REVERT 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH3 0xf714ce 00000085: EQ 00000086: PUSH2 0x00d1 00000089: JUMPI 0000008a: DUP1 0000008b: PUSH4 0x3de39c11 00000090: EQ 00000091: PUSH2 0x00f3 00000094: JUMPI 00000095: DUP1 00000096: PUSH4 0x3e217404 0000009b: EQ 0000009c: PUSH2 0x011c 0000009f: JUMPI 000000a0: DUP1 000000a1: PUSH4 0x715018a6 000000a6: EQ 000000a7: PUSH2 0x013c 000000aa: JUMPI 000000ab: DUP1 000000ac: PUSH4 0x7ad226dc 000000b1: EQ 000000b2: PUSH2 0x0151 000000b5: JUMPI 000000b6: DUP1 000000b7: PUSH4 0x8da5cb5b 000000bc: EQ 000000bd: PUSH2 0x0171 000000c0: JUMPI 000000c1: PUSH1 0x00 000000c3: DUP1 000000c4: REVERT 000000c5: JUMPDEST 000000c6: CALLDATASIZE 000000c7: PUSH2 0x00cc 000000ca: JUMPI 000000cb: STOP 000000cc: JUMPDEST 000000cd: PUSH1 0x00 000000cf: DUP1 000000d0: REVERT 000000d1: JUMPDEST 000000d2: CALLVALUE 000000d3: DUP1 000000d4: ISZERO 000000d5: PUSH2 0x00dd 000000d8: JUMPI 000000d9: PUSH1 0x00 000000db: DUP1 000000dc: REVERT 000000dd: JUMPDEST 000000de: POP 000000df: PUSH2 0x00f1 000000e2: PUSH2 0x00ec 000000e5: CALLDATASIZE 000000e6: PUSH1 0x04 000000e8: PUSH2 0x0858 000000eb: JUMP 000000ec: JUMPDEST 000000ed: PUSH2 0x028f 000000f0: JUMP 000000f1: JUMPDEST 000000f2: STOP 000000f3: JUMPDEST 000000f4: CALLVALUE 000000f5: DUP1 000000f6: ISZERO 000000f7: PUSH2 0x00ff 000000fa: JUMPI 000000fb: PUSH1 0x00 000000fd: DUP1 000000fe: REVERT 000000ff: JUMPDEST 00000100: POP 00000101: PUSH2 0x0109 00000104: PUSH1 0x04 00000106: SLOAD 00000107: DUP2 00000108: JUMP 00000109: JUMPDEST 0000010a: PUSH1 0x40 0000010c: MLOAD 0000010d: SWAP1 0000010e: DUP2 0000010f: MSTORE 00000110: PUSH1 0x20 00000112: ADD 00000113: JUMPDEST 00000114: PUSH1 0x40 00000116: MLOAD 00000117: DUP1 00000118: SWAP2 00000119: SUB 0000011a: SWAP1 0000011b: RETURN 0000011c: JUMPDEST 0000011d: CALLVALUE 0000011e: DUP1 0000011f: ISZERO 00000120: PUSH2 0x0128 00000123: JUMPI 00000124: PUSH1 0x00 00000126: DUP1 00000127: REVERT 00000128: JUMPDEST 00000129: POP 0000012a: PUSH2 0x00f1 0000012d: PUSH2 0x0137 00000130: CALLDATASIZE 00000131: PUSH1 0x04 00000133: PUSH2 0x0884 00000136: JUMP 00000137: JUMPDEST 00000138: PUSH2 0x03f2 0000013b: JUMP 0000013c: JUMPDEST 0000013d: CALLVALUE 0000013e: DUP1 0000013f: ISZERO 00000140: PUSH2 0x0148 00000143: JUMPI 00000144: PUSH1 0x00 00000146: DUP1 00000147: REVERT 00000148: JUMPDEST 00000149: POP 0000014a: PUSH2 0x00f1 0000014d: PUSH2 0x0436 00000150: JUMP 00000151: JUMPDEST 00000152: CALLVALUE 00000153: DUP1 00000154: ISZERO 00000155: PUSH2 0x015d 00000158: JUMPI 00000159: PUSH1 0x00 0000015b: DUP1 0000015c: REVERT 0000015d: JUMPDEST 0000015e: POP 0000015f: PUSH2 0x00f1 00000162: PUSH2 0x016c 00000165: CALLDATASIZE 00000166: PUSH1 0x04 00000168: PUSH2 0x0858 0000016b: JUMP 0000016c: JUMPDEST 0000016d: PUSH2 0x044a 00000170: JUMP 00000171: JUMPDEST 00000172: CALLVALUE 00000173: DUP1 00000174: ISZERO 00000175: PUSH2 0x017d 00000178: JUMPI 00000179: PUSH1 0x00 0000017b: DUP1 0000017c: REVERT 0000017d: JUMPDEST 0000017e: POP 0000017f: PUSH1 0x00 00000181: SLOAD 00000182: PUSH1 0x40 00000184: MLOAD 00000185: PUSH1 0x01 00000187: PUSH1 0x01 00000189: PUSH1 0xa0 0000018b: SHL 0000018c: SUB 0000018d: SWAP1 0000018e: SWAP2 0000018f: AND 00000190: DUP2 00000191: MSTORE 00000192: PUSH1 0x20 00000194: ADD 00000195: PUSH2 0x0113 00000198: JUMP 00000199: JUMPDEST 0000019a: CALLVALUE 0000019b: DUP1 0000019c: ISZERO 0000019d: PUSH2 0x01a5 000001a0: JUMPI 000001a1: PUSH1 0x00 000001a3: DUP1 000001a4: REVERT 000001a5: JUMPDEST 000001a6: POP 000001a7: PUSH2 0x00f1 000001aa: PUSH2 0x01b4 000001ad: CALLDATASIZE 000001ae: PUSH1 0x04 000001b0: PUSH2 0x089d 000001b3: JUMP 000001b4: JUMPDEST 000001b5: PUSH2 0x0615 000001b8: JUMP 000001b9: JUMPDEST 000001ba: CALLVALUE 000001bb: DUP1 000001bc: ISZERO 000001bd: PUSH2 0x01c5 000001c0: JUMPI 000001c1: PUSH1 0x00 000001c3: DUP1 000001c4: REVERT 000001c5: JUMPDEST 000001c6: POP 000001c7: PUSH2 0x00f1 000001ca: PUSH2 0x01d4 000001cd: CALLDATASIZE 000001ce: PUSH1 0x04 000001d0: PUSH2 0x0884 000001d3: JUMP 000001d4: JUMPDEST 000001d5: PUSH2 0x0671 000001d8: JUMP 000001d9: JUMPDEST 000001da: CALLVALUE 000001db: DUP1 000001dc: ISZERO 000001dd: PUSH2 0x01e5 000001e0: JUMPI 000001e1: PUSH1 0x00 000001e3: DUP1 000001e4: REVERT 000001e5: JUMPDEST 000001e6: POP 000001e7: PUSH2 0x0109 000001ea: PUSH1 0x03 000001ec: SLOAD 000001ed: DUP2 000001ee: JUMP 000001ef: JUMPDEST 000001f0: CALLVALUE 000001f1: DUP1 000001f2: ISZERO 000001f3: PUSH2 0x01fb 000001f6: JUMPI 000001f7: PUSH1 0x00 000001f9: DUP1 000001fa: REVERT 000001fb: JUMPDEST 000001fc: POP 000001fd: PUSH2 0x00f1 00000200: PUSH2 0x020a 00000203: CALLDATASIZE 00000204: PUSH1 0x04 00000206: PUSH2 0x089d 00000209: JUMP 0000020a: JUMPDEST 0000020b: PUSH2 0x06ae 0000020e: JUMP 0000020f: JUMPDEST 00000210: CALLVALUE 00000211: DUP1 00000212: ISZERO 00000213: PUSH2 0x021b 00000216: JUMPI 00000217: PUSH1 0x00 00000219: DUP1 0000021a: REVERT 0000021b: JUMPDEST 0000021c: POP 0000021d: PUSH2 0x00f1 00000220: PUSH2 0x022a 00000223: CALLDATASIZE 00000224: PUSH1 0x04 00000226: PUSH2 0x089d 00000229: JUMP 0000022a: JUMPDEST 0000022b: PUSH2 0x0707 0000022e: JUMP 0000022f: JUMPDEST 00000230: CALLVALUE 00000231: DUP1 00000232: ISZERO 00000233: PUSH2 0x023b 00000236: JUMPI 00000237: PUSH1 0x00 00000239: DUP1 0000023a: REVERT 0000023b: JUMPDEST 0000023c: POP 0000023d: PUSH2 0x00f1 00000240: PUSH2 0x024a 00000243: CALLDATASIZE 00000244: PUSH1 0x04 00000246: PUSH2 0x089d 00000249: JUMP 0000024a: JUMPDEST 0000024b: PUSH2 0x0780 0000024e: JUMP 0000024f: JUMPDEST 00000250: CALLVALUE 00000251: DUP1 00000252: ISZERO 00000253: PUSH2 0x025b 00000256: JUMPI 00000257: PUSH1 0x00 00000259: DUP1 0000025a: REVERT 0000025b: JUMPDEST 0000025c: POP 0000025d: PUSH2 0x027f 00000260: PUSH2 0x026a 00000263: CALLDATASIZE 00000264: PUSH1 0x04 00000266: PUSH2 0x089d 00000269: JUMP 0000026a: JUMPDEST 0000026b: PUSH1 0x02 0000026d: PUSH1 0x20 0000026f: MSTORE 00000270: PUSH1 0x00 00000272: SWAP1 00000273: DUP2 00000274: MSTORE 00000275: PUSH1 0x40 00000277: SWAP1 00000278: KECCAK256 00000279: SLOAD 0000027a: PUSH1 0xff 0000027c: AND 0000027d: DUP2 0000027e: JUMP 0000027f: JUMPDEST 00000280: PUSH1 0x40 00000282: MLOAD 00000283: SWAP1 00000284: ISZERO 00000285: ISZERO 00000286: DUP2 00000287: MSTORE 00000288: PUSH1 0x20 0000028a: ADD 0000028b: PUSH2 0x0113 0000028e: JUMP 0000028f: JUMPDEST 00000290: PUSH2 0x0297 00000293: PUSH2 0x0792 00000296: JUMP 00000297: JUMPDEST 00000298: DUP2 00000299: SELFBALANCE 0000029a: LT 0000029b: ISZERO 0000029c: PUSH2 0x02ec 0000029f: JUMPI 000002a0: PUSH1 0x40 000002a2: MLOAD 000002a3: PUSH3 0x461bcd 000002a7: PUSH1 0xe5 000002a9: SHL 000002aa: DUP2 000002ab: MSTORE 000002ac: PUSH1 0x20 000002ae: PUSH1 0x04 000002b0: DUP3 000002b1: ADD 000002b2: MSTORE 000002b3: PUSH1 0x1d 000002b5: PUSH1 0x24 000002b7: DUP3 000002b8: ADD 000002b9: MSTORE 000002ba: PUSH32 0x496e73756666696369656e7420636f6e74726163742062616c616e6365000000 000002db: PUSH1 0x44 000002dd: DUP3 000002de: ADD 000002df: MSTORE 000002e0: PUSH1 0x64 000002e2: ADD 000002e3: JUMPDEST 000002e4: PUSH1 0x40 000002e6: MLOAD 000002e7: DUP1 000002e8: SWAP2 000002e9: SUB 000002ea: SWAP1 000002eb: REVERT 000002ec: JUMPDEST 000002ed: PUSH1 0x01 000002ef: PUSH1 0x01 000002f1: PUSH1 0xa0 000002f3: SHL 000002f4: SUB 000002f5: DUP2 000002f6: AND 000002f7: PUSH2 0x0312 000002fa: JUMPI 000002fb: PUSH1 0x40 000002fd: MLOAD 000002fe: PUSH3 0x461bcd 00000302: PUSH1 0xe5 00000304: SHL 00000305: DUP2 00000306: MSTORE 00000307: PUSH1 0x04 00000309: ADD 0000030a: PUSH2 0x02e3 0000030d: SWAP1 0000030e: PUSH2 0x08bf 00000311: JUMP 00000312: JUMPDEST 00000313: PUSH1 0x40 00000315: DUP1 00000316: MLOAD 00000317: DUP4 00000318: DUP2 00000319: MSTORE 0000031a: PUSH1 0x01 0000031c: PUSH1 0x01 0000031e: PUSH1 0xa0 00000320: SHL 00000321: SUB 00000322: DUP4 00000323: AND 00000324: PUSH1 0x20 00000326: DUP3 00000327: ADD 00000328: MSTORE 00000329: PUSH32 0x6141b54b56b8a52a8c6f5cd2a857f6117b18ffbf4d46bd3106f300a839cbf5ea 0000034a: SWAP2 0000034b: ADD 0000034c: PUSH1 0x40 0000034e: MLOAD 0000034f: DUP1 00000350: SWAP2 00000351: SUB 00000352: SWAP1 00000353: LOG1 00000354: PUSH1 0x00 00000356: DUP2 00000357: PUSH1 0x01 00000359: PUSH1 0x01 0000035b: PUSH1 0xa0 0000035d: SHL 0000035e: SUB 0000035f: AND 00000360: DUP4 00000361: PUSH1 0x40 00000363: MLOAD 00000364: PUSH1 0x00 00000366: PUSH1 0x40 00000368: MLOAD 00000369: DUP1 0000036a: DUP4 0000036b: SUB 0000036c: DUP2 0000036d: DUP6 0000036e: DUP8 0000036f: GAS 00000370: CALL 00000371: SWAP3 00000372: POP 00000373: POP 00000374: POP 00000375: RETURNDATASIZE 00000376: DUP1 00000377: PUSH1 0x00 00000379: DUP2 0000037a: EQ 0000037b: PUSH2 0x03a0 0000037e: JUMPI 0000037f: PUSH1 0x40 00000381: MLOAD 00000382: SWAP2 00000383: POP 00000384: PUSH1 0x1f 00000386: NOT 00000387: PUSH1 0x3f 00000389: RETURNDATASIZE 0000038a: ADD 0000038b: AND 0000038c: DUP3 0000038d: ADD 0000038e: PUSH1 0x40 00000390: MSTORE 00000391: RETURNDATASIZE 00000392: DUP3 00000393: MSTORE 00000394: RETURNDATASIZE 00000395: PUSH1 0x00 00000397: PUSH1 0x20 00000399: DUP5 0000039a: ADD 0000039b: RETURNDATACOPY 0000039c: PUSH2 0x03a5 0000039f: JUMP 000003a0: JUMPDEST 000003a1: PUSH1 0x60 000003a3: SWAP2 000003a4: POP 000003a5: JUMPDEST 000003a6: POP 000003a7: POP 000003a8: SWAP1 000003a9: POP 000003aa: DUP1 000003ab: PUSH2 0x03ed 000003ae: JUMPI 000003af: PUSH1 0x40 000003b1: MLOAD 000003b2: PUSH3 0x461bcd 000003b6: PUSH1 0xe5 000003b8: SHL 000003b9: DUP2 000003ba: MSTORE 000003bb: PUSH1 0x20 000003bd: PUSH1 0x04 000003bf: DUP3 000003c0: ADD 000003c1: MSTORE 000003c2: PUSH1 0x14 000003c4: PUSH1 0x24 000003c6: DUP3 000003c7: ADD 000003c8: MSTORE 000003c9: PUSH20 0x2330b4b632b2103a379039b2b7321022ba3432b9 000003de: PUSH1 0x61 000003e0: SHL 000003e1: PUSH1 0x44 000003e3: DUP3 000003e4: ADD 000003e5: MSTORE 000003e6: PUSH1 0x64 000003e8: ADD 000003e9: PUSH2 0x02e3 000003ec: JUMP 000003ed: JUMPDEST 000003ee: POP 000003ef: POP 000003f0: POP 000003f1: JUMP 000003f2: JUMPDEST 000003f3: PUSH2 0x03fa 000003f6: PUSH2 0x0792 000003f9: JUMP 000003fa: JUMPDEST 000003fb: PUSH1 0x03 000003fd: DUP2 000003fe: SWAP1 000003ff: SSTORE 00000400: PUSH1 0x40 00000402: MLOAD 00000403: DUP2 00000404: DUP2 00000405: MSTORE 00000406: PUSH32 0xa86b6e9a406df021f05f513a796a1d5bea0bd3e18fe1d3f6082a3cccfc898d14 00000427: SWAP1 00000428: PUSH1 0x20 0000042a: ADD 0000042b: JUMPDEST 0000042c: PUSH1 0x40 0000042e: MLOAD 0000042f: DUP1 00000430: SWAP2 00000431: SUB 00000432: SWAP1 00000433: LOG1 00000434: POP 00000435: JUMP 00000436: JUMPDEST 00000437: PUSH2 0x043e 0000043a: PUSH2 0x0792 0000043d: JUMP 0000043e: JUMPDEST 0000043f: PUSH2 0x0448 00000442: PUSH1 0x00 00000444: PUSH2 0x07ec 00000447: JUMP 00000448: JUMPDEST 00000449: JUMP 0000044a: JUMPDEST 0000044b: PUSH1 0x02 0000044d: PUSH1 0x01 0000044f: SLOAD 00000450: SUB 00000451: PUSH2 0x049c 00000454: JUMPI 00000455: PUSH1 0x40 00000457: MLOAD 00000458: PUSH3 0x461bcd 0000045c: PUSH1 0xe5 0000045e: SHL 0000045f: DUP2 00000460: MSTORE 00000461: PUSH1 0x20 00000463: PUSH1 0x04 00000465: DUP3 00000466: ADD 00000467: MSTORE 00000468: PUSH1 0x1f 0000046a: PUSH1 0x24 0000046c: DUP3 0000046d: ADD 0000046e: MSTORE 0000046f: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00000490: PUSH1 0x44 00000492: DUP3 00000493: ADD 00000494: MSTORE 00000495: PUSH1 0x64 00000497: ADD 00000498: PUSH2 0x02e3 0000049b: JUMP 0000049c: JUMPDEST 0000049d: PUSH1 0x02 0000049f: PUSH1 0x01 000004a1: DUP2 000004a2: SWAP1 000004a3: SSTORE 000004a4: CALLER 000004a5: PUSH1 0x00 000004a7: SWAP1 000004a8: DUP2 000004a9: MSTORE 000004aa: PUSH1 0x20 000004ac: SWAP2 000004ad: SWAP1 000004ae: SWAP2 000004af: MSTORE 000004b0: PUSH1 0x40 000004b2: SWAP1 000004b3: KECCAK256 000004b4: SLOAD 000004b5: PUSH1 0xff 000004b7: AND 000004b8: PUSH2 0x0513 000004bb: JUMPI 000004bc: PUSH1 0x40 000004be: MLOAD 000004bf: PUSH3 0x461bcd 000004c3: PUSH1 0xe5 000004c5: SHL 000004c6: DUP2 000004c7: MSTORE 000004c8: PUSH1 0x20 000004ca: PUSH1 0x04 000004cc: DUP3 000004cd: ADD 000004ce: MSTORE 000004cf: PUSH1 0x27 000004d1: PUSH1 0x24 000004d3: DUP3 000004d4: ADD 000004d5: MSTORE 000004d6: PUSH32 0x436f6e7472616374206973206e6f7420617574686f72697a656420666f722061 000004f7: PUSH1 0x44 000004f9: DUP3 000004fa: ADD 000004fb: MSTORE 000004fc: PUSH7 0x081c99599d5b99 00000504: PUSH1 0xca 00000506: SHL 00000507: PUSH1 0x64 00000509: DUP3 0000050a: ADD 0000050b: MSTORE 0000050c: PUSH1 0x84 0000050e: ADD 0000050f: PUSH2 0x02e3 00000512: JUMP 00000513: JUMPDEST 00000514: PUSH1 0x01 00000516: PUSH1 0x01 00000518: PUSH1 0xa0 0000051a: SHL 0000051b: SUB 0000051c: DUP2 0000051d: AND 0000051e: PUSH2 0x0539 00000521: JUMPI 00000522: PUSH1 0x40 00000524: MLOAD 00000525: PUSH3 0x461bcd 00000529: PUSH1 0xe5 0000052b: SHL 0000052c: DUP2 0000052d: MSTORE 0000052e: PUSH1 0x04 00000530: ADD 00000531: PUSH2 0x02e3 00000534: SWAP1 00000535: PUSH2 0x08bf 00000538: JUMP 00000539: JUMPDEST 0000053a: PUSH1 0x00 0000053c: PUSH1 0x04 0000053e: SLOAD 0000053f: GASPRICE 00000540: LT 00000541: PUSH2 0x054c 00000544: JUMPI 00000545: PUSH1 0x04 00000547: SLOAD 00000548: PUSH2 0x054e 0000054b: JUMP 0000054c: JUMPDEST 0000054d: GASPRICE 0000054e: JUMPDEST 0000054f: SWAP1 00000550: POP 00000551: PUSH1 0x00 00000553: DUP2 00000554: PUSH1 0x03 00000556: SLOAD 00000557: DUP6 00000558: PUSH2 0x0561 0000055b: SWAP2 0000055c: SWAP1 0000055d: PUSH2 0x0916 00000560: JUMP 00000561: JUMPDEST 00000562: PUSH2 0x056b 00000565: SWAP2 00000566: SWAP1 00000567: PUSH2 0x092f 0000056a: JUMP 0000056b: JUMPDEST 0000056c: SWAP1 0000056d: POP 0000056e: PUSH1 0x00 00000570: DUP4 00000571: PUSH1 0x01 00000573: PUSH1 0x01 00000575: PUSH1 0xa0 00000577: SHL 00000578: SUB 00000579: AND 0000057a: DUP3 0000057b: PUSH1 0x40 0000057d: MLOAD 0000057e: PUSH1 0x00 00000580: PUSH1 0x40 00000582: MLOAD 00000583: DUP1 00000584: DUP4 00000585: SUB 00000586: DUP2 00000587: DUP6 00000588: DUP8 00000589: GAS 0000058a: CALL 0000058b: SWAP3 0000058c: POP 0000058d: POP 0000058e: POP 0000058f: RETURNDATASIZE 00000590: DUP1 00000591: PUSH1 0x00 00000593: DUP2 00000594: EQ 00000595: PUSH2 0x05ba 00000598: JUMPI 00000599: PUSH1 0x40 0000059b: MLOAD 0000059c: SWAP2 0000059d: POP 0000059e: PUSH1 0x1f 000005a0: NOT 000005a1: PUSH1 0x3f 000005a3: RETURNDATASIZE 000005a4: ADD 000005a5: AND 000005a6: DUP3 000005a7: ADD 000005a8: PUSH1 0x40 000005aa: MSTORE 000005ab: RETURNDATASIZE 000005ac: DUP3 000005ad: MSTORE 000005ae: RETURNDATASIZE 000005af: PUSH1 0x00 000005b1: PUSH1 0x20 000005b3: DUP5 000005b4: ADD 000005b5: RETURNDATACOPY 000005b6: PUSH2 0x05bf 000005b9: JUMP 000005ba: JUMPDEST 000005bb: PUSH1 0x60 000005bd: SWAP2 000005be: POP 000005bf: JUMPDEST 000005c0: POP 000005c1: POP 000005c2: SWAP1 000005c3: POP 000005c4: DUP1 000005c5: PUSH2 0x060a 000005c8: JUMPI 000005c9: PUSH1 0x40 000005cb: DUP1 000005cc: MLOAD 000005cd: DUP4 000005ce: DUP2 000005cf: MSTORE 000005d0: PUSH1 0x01 000005d2: PUSH1 0x01 000005d4: PUSH1 0xa0 000005d6: SHL 000005d7: SUB 000005d8: DUP7 000005d9: AND 000005da: PUSH1 0x20 000005dc: DUP3 000005dd: ADD 000005de: MSTORE 000005df: PUSH32 0xd955712c3ae4c3c40451db84ea0c4531c61cc0ea75c13fe9168ae0e07d71e050 00000600: SWAP2 00000601: ADD 00000602: PUSH1 0x40 00000604: MLOAD 00000605: DUP1 00000606: SWAP2 00000607: SUB 00000608: SWAP1 00000609: LOG1 0000060a: JUMPDEST 0000060b: POP 0000060c: POP 0000060d: PUSH1 0x01 0000060f: DUP1 00000610: SSTORE 00000611: POP 00000612: POP 00000613: POP 00000614: JUMP 00000615: JUMPDEST 00000616: PUSH2 0x061d 00000619: PUSH2 0x0792 0000061c: JUMP 0000061d: JUMPDEST 0000061e: PUSH1 0x01 00000620: PUSH1 0x01 00000622: PUSH1 0xa0 00000624: SHL 00000625: SUB 00000626: DUP2 00000627: AND 00000628: PUSH1 0x00 0000062a: DUP2 0000062b: DUP2 0000062c: MSTORE 0000062d: PUSH1 0x02 0000062f: PUSH1 0x20 00000631: SWAP1 00000632: DUP2 00000633: MSTORE 00000634: PUSH1 0x40 00000636: SWAP2 00000637: DUP3 00000638: SWAP1 00000639: KECCAK256 0000063a: DUP1 0000063b: SLOAD 0000063c: PUSH1 0xff 0000063e: NOT 0000063f: AND 00000640: PUSH1 0x01 00000642: OR 00000643: SWAP1 00000644: SSTORE 00000645: SWAP1 00000646: MLOAD 00000647: SWAP2 00000648: DUP3 00000649: MSTORE 0000064a: PUSH32 0x2c74592fddad593c2c4403101ce9b30930711ab87571268ddd1e1989ee1d7917 0000066b: SWAP2 0000066c: ADD 0000066d: PUSH2 0x042b 00000670: JUMP 00000671: JUMPDEST 00000672: PUSH2 0x0679 00000675: PUSH2 0x0792 00000678: JUMP 00000679: JUMPDEST 0000067a: PUSH1 0x04 0000067c: DUP2 0000067d: SWAP1 0000067e: SSTORE 0000067f: PUSH1 0x40 00000681: MLOAD 00000682: DUP2 00000683: DUP2 00000684: MSTORE 00000685: PUSH32 0xa7a07f821dfdfca8e4baa9ccc4bbe7b782baac5946918bd19f1c9c761db41410 000006a6: SWAP1 000006a7: PUSH1 0x20 000006a9: ADD 000006aa: PUSH2 0x042b 000006ad: JUMP 000006ae: JUMPDEST 000006af: PUSH2 0x06b6 000006b2: PUSH2 0x0792 000006b5: JUMP 000006b6: JUMPDEST 000006b7: PUSH1 0x01 000006b9: PUSH1 0x01 000006bb: PUSH1 0xa0 000006bd: SHL 000006be: SUB 000006bf: DUP2 000006c0: AND 000006c1: PUSH1 0x00 000006c3: DUP2 000006c4: DUP2 000006c5: MSTORE 000006c6: PUSH1 0x02 000006c8: PUSH1 0x20 000006ca: SWAP1 000006cb: DUP2 000006cc: MSTORE 000006cd: PUSH1 0x40 000006cf: SWAP2 000006d0: DUP3 000006d1: SWAP1 000006d2: KECCAK256 000006d3: DUP1 000006d4: SLOAD 000006d5: PUSH1 0xff 000006d7: NOT 000006d8: AND 000006d9: SWAP1 000006da: SSTORE 000006db: SWAP1 000006dc: MLOAD 000006dd: SWAP2 000006de: DUP3 000006df: MSTORE 000006e0: PUSH32 0xe195aa139c7c69ba98f719c94aecd784e12fabc0789ef81335150078bc087317 00000701: SWAP2 00000702: ADD 00000703: PUSH2 0x042b 00000706: JUMP 00000707: JUMPDEST 00000708: PUSH2 0x070f 0000070b: PUSH2 0x0792 0000070e: JUMP 0000070f: JUMPDEST 00000710: PUSH1 0x01 00000712: PUSH1 0x01 00000714: PUSH1 0xa0 00000716: SHL 00000717: SUB 00000718: DUP2 00000719: AND 0000071a: PUSH2 0x0774 0000071d: JUMPI 0000071e: PUSH1 0x40 00000720: MLOAD 00000721: PUSH3 0x461bcd 00000725: PUSH1 0xe5 00000727: SHL 00000728: DUP2 00000729: MSTORE 0000072a: PUSH1 0x20 0000072c: PUSH1 0x04 0000072e: DUP3 0000072f: ADD 00000730: MSTORE 00000731: PUSH1 0x26 00000733: PUSH1 0x24 00000735: DUP3 00000736: ADD 00000737: MSTORE 00000738: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000759: PUSH1 0x44 0000075b: DUP3 0000075c: ADD 0000075d: MSTORE 0000075e: PUSH6 0x646472657373 00000765: PUSH1 0xd0 00000767: SHL 00000768: PUSH1 0x64 0000076a: DUP3 0000076b: ADD 0000076c: MSTORE 0000076d: PUSH1 0x84 0000076f: ADD 00000770: PUSH2 0x02e3 00000773: JUMP 00000774: JUMPDEST 00000775: PUSH2 0x077d 00000778: DUP2 00000779: PUSH2 0x07ec 0000077c: JUMP 0000077d: JUMPDEST 0000077e: POP 0000077f: JUMP 00000780: JUMPDEST 00000781: PUSH2 0x0788 00000784: PUSH2 0x0792 00000787: JUMP 00000788: JUMPDEST 00000789: PUSH2 0x077d 0000078c: SELFBALANCE 0000078d: DUP3 0000078e: PUSH2 0x028f 00000791: JUMP 00000792: JUMPDEST 00000793: PUSH1 0x00 00000795: SLOAD 00000796: PUSH1 0x01 00000798: PUSH1 0x01 0000079a: PUSH1 0xa0 0000079c: SHL 0000079d: SUB 0000079e: AND 0000079f: CALLER 000007a0: EQ 000007a1: PUSH2 0x0448 000007a4: JUMPI 000007a5: PUSH1 0x40 000007a7: MLOAD 000007a8: PUSH3 0x461bcd 000007ac: PUSH1 0xe5 000007ae: SHL 000007af: DUP2 000007b0: MSTORE 000007b1: PUSH1 0x20 000007b3: PUSH1 0x04 000007b5: DUP3 000007b6: ADD 000007b7: DUP2 000007b8: SWAP1 000007b9: MSTORE 000007ba: PUSH1 0x24 000007bc: DUP3 000007bd: ADD 000007be: MSTORE 000007bf: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000007e0: PUSH1 0x44 000007e2: DUP3 000007e3: ADD 000007e4: MSTORE 000007e5: PUSH1 0x64 000007e7: ADD 000007e8: PUSH2 0x02e3 000007eb: JUMP 000007ec: JUMPDEST 000007ed: PUSH1 0x00 000007ef: DUP1 000007f0: SLOAD 000007f1: PUSH1 0x01 000007f3: PUSH1 0x01 000007f5: PUSH1 0xa0 000007f7: SHL 000007f8: SUB 000007f9: DUP4 000007fa: DUP2 000007fb: AND 000007fc: PUSH1 0x01 000007fe: PUSH1 0x01 00000800: PUSH1 0xa0 00000802: SHL 00000803: SUB 00000804: NOT 00000805: DUP4 00000806: AND 00000807: DUP2 00000808: OR 00000809: DUP5 0000080a: SSTORE 0000080b: PUSH1 0x40 0000080d: MLOAD 0000080e: SWAP2 0000080f: SWAP1 00000810: SWAP3 00000811: AND 00000812: SWAP3 00000813: DUP4 00000814: SWAP2 00000815: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000836: SWAP2 00000837: SWAP1 00000838: LOG3 00000839: POP 0000083a: POP 0000083b: JUMP 0000083c: JUMPDEST 0000083d: DUP1 0000083e: CALLDATALOAD 0000083f: PUSH1 0x01 00000841: PUSH1 0x01 00000843: PUSH1 0xa0 00000845: SHL 00000846: SUB 00000847: DUP2 00000848: AND 00000849: DUP2 0000084a: EQ 0000084b: PUSH2 0x0853 0000084e: JUMPI 0000084f: PUSH1 0x00 00000851: DUP1 00000852: REVERT 00000853: JUMPDEST 00000854: SWAP2 00000855: SWAP1 00000856: POP 00000857: JUMP 00000858: JUMPDEST 00000859: PUSH1 0x00 0000085b: DUP1 0000085c: PUSH1 0x40 0000085e: DUP4 0000085f: DUP6 00000860: SUB 00000861: SLT 00000862: ISZERO 00000863: PUSH2 0x086b 00000866: JUMPI 00000867: PUSH1 0x00 00000869: DUP1 0000086a: REVERT 0000086b: JUMPDEST 0000086c: DUP3 0000086d: CALLDATALOAD 0000086e: SWAP2 0000086f: POP 00000870: PUSH2 0x087b 00000873: PUSH1 0x20 00000875: DUP5 00000876: ADD 00000877: PUSH2 0x083c 0000087a: JUMP 0000087b: JUMPDEST 0000087c: SWAP1 0000087d: POP 0000087e: SWAP3 0000087f: POP 00000880: SWAP3 00000881: SWAP1 00000882: POP 00000883: JUMP 00000884: JUMPDEST 00000885: PUSH1 0x00 00000887: PUSH1 0x20 00000889: DUP3 0000088a: DUP5 0000088b: SUB 0000088c: SLT 0000088d: ISZERO 0000088e: PUSH2 0x0896 00000891: JUMPI 00000892: PUSH1 0x00 00000894: DUP1 00000895: REVERT 00000896: JUMPDEST 00000897: POP 00000898: CALLDATALOAD 00000899: SWAP2 0000089a: SWAP1 0000089b: POP 0000089c: JUMP 0000089d: JUMPDEST 0000089e: PUSH1 0x00 000008a0: PUSH1 0x20 000008a2: DUP3 000008a3: DUP5 000008a4: SUB 000008a5: SLT 000008a6: ISZERO 000008a7: PUSH2 0x08af 000008aa: JUMPI 000008ab: PUSH1 0x00 000008ad: DUP1 000008ae: REVERT 000008af: JUMPDEST 000008b0: PUSH2 0x08b8 000008b3: DUP3 000008b4: PUSH2 0x083c 000008b7: JUMP 000008b8: JUMPDEST 000008b9: SWAP4 000008ba: SWAP3 000008bb: POP 000008bc: POP 000008bd: POP 000008be: JUMP 000008bf: JUMPDEST 000008c0: PUSH1 0x20 000008c2: DUP1 000008c3: DUP3 000008c4: MSTORE 000008c5: PUSH1 0x21 000008c7: SWAP1 000008c8: DUP3 000008c9: ADD 000008ca: MSTORE 000008cb: PUSH32 0x5265636569766572277320616464726573732063616e6e6f74206265207a6572 000008ec: PUSH1 0x40 000008ee: DUP3 000008ef: ADD 000008f0: MSTORE 000008f1: PUSH1 0x6f 000008f3: PUSH1 0xf8 000008f5: SHL 000008f6: PUSH1 0x60 000008f8: DUP3 000008f9: ADD 000008fa: MSTORE 000008fb: PUSH1 0x80 000008fd: ADD 000008fe: SWAP1 000008ff: JUMP 00000900: JUMPDEST 00000901: PUSH4 0x4e487b71 00000906: PUSH1 0xe0 00000908: SHL 00000909: PUSH1 0x00 0000090b: MSTORE 0000090c: PUSH1 0x11 0000090e: PUSH1 0x04 00000910: MSTORE 00000911: PUSH1 0x24 00000913: PUSH1 0x00 00000915: REVERT 00000916: JUMPDEST 00000917: DUP1 00000918: DUP3 00000919: ADD 0000091a: DUP1 0000091b: DUP3 0000091c: GT 0000091d: ISZERO 0000091e: PUSH2 0x0929 00000921: JUMPI 00000922: PUSH2 0x0929 00000925: PUSH2 0x0900 00000928: JUMP 00000929: JUMPDEST 0000092a: SWAP3 0000092b: SWAP2 0000092c: POP 0000092d: POP 0000092e: JUMP 0000092f: JUMPDEST 00000930: DUP1 00000931: DUP3 00000932: MUL 00000933: DUP2 00000934: ISZERO 00000935: DUP3 00000936: DUP3 00000937: DIV 00000938: DUP5 00000939: EQ 0000093a: OR 0000093b: PUSH2 0x0929 0000093e: JUMPI 0000093f: PUSH2 0x0929 00000942: PUSH2 0x0900 00000945: JUMP 00000946: INVALID 00000947: LOG2 00000948: PUSH5 0x6970667358 0000094e: UNKNOWN(0x22) 0000094f: SLT 00000950: KECCAK256 00000951: JUMPI 00000952: DUP14 00000953: UNKNOWN(0xF9) 00000954: PUSH24 0x2b15d4ba1bc520679b4729538fcffa2275405fa7f9472c20 0000096d: TLOAD 0000096e: UNKNOWN(0xF7) 0000096f: SWAP16 00000970: UNKNOWN(0x27) 00000971: PUSH5 0x736f6c6343 00000977: STOP 00000978: ADDMOD 00000979: GT 0000097a: STOP 0000097b: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xf03bdf921b50e5abbbede1a244f1035680b335e4f20376ab13cef40315256395
call_targets:
0x8adf3f35dbe4026112bcfc078872bcb967732ea8
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf03bdf921b50e5abbbede1a244f1035680b335e4f20376ab13cef40315256395",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8adf3f35dbe4026112bcfc078872bcb967732ea8"
],
"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": "0xf0b37c04",
"selector": "0xf0b37c04",
"calldata_variants": [
"0xf0b37c04",
"0xf0b37c040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa09e630",
"selector": "0xfa09e630",
"calldata_variants": [
"0xfa09e630",
"0xfa09e6300000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe9fbb80",
"selector": "0xfe9fbb80",
"calldata_variants": [
"0xfe9fbb80",
"0xfe9fbb800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb6a5d7de",
"selector": "0xb6a5d7de",
"calldata_variants": [
"0xb6a5d7de",
"0xb6a5d7de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd2fa635e",
"selector": "0xd2fa635e",
"calldata_variants": [
"0xd2fa635e",
"0xd2fa635e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe25b5345",
"selector": "0xe25b5345",
"calldata_variants": [
"0xe25b5345",
"0xe25b53450000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3de39c11",
"selector": "0x3de39c11",
"calldata_variants": [
"0x3de39c11",
"0x3de39c110000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 880,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1418,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xf03bdf921b50e5abbbede1a244f1035680b335e4f20376ab13cef40315256395
call_targets:
0x8adf3f35dbe4026112bcfc078872bcb967732ea8
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf03bdf921b50e5abbbede1a244f1035680b335e4f20376ab13cef40315256395",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8adf3f35dbe4026112bcfc078872bcb967732ea8"
],
"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": "0xf0b37c04",
"selector": "0xf0b37c04",
"calldata_variants": [
"0xf0b37c04",
"0xf0b37c040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa09e630",
"selector": "0xfa09e630",
"calldata_variants": [
"0xfa09e630",
"0xfa09e6300000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe9fbb80",
"selector": "0xfe9fbb80",
"calldata_variants": [
"0xfe9fbb80",
"0xfe9fbb800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb6a5d7de",
"selector": "0xb6a5d7de",
"calldata_variants": [
"0xb6a5d7de",
"0xb6a5d7de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd2fa635e",
"selector": "0xd2fa635e",
"calldata_variants": [
"0xd2fa635e",
"0xd2fa635e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe25b5345",
"selector": "0xe25b5345",
"calldata_variants": [
"0xe25b5345",
"0xe25b53450000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3de39c11",
"selector": "0x3de39c11",
"calldata_variants": [
"0x3de39c11",
"0x3de39c110000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 880,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1418,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|