019b477e-cb21-73f2-854c-2c6ddaf0215a
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 |
|---|---|---|---|---|
| 26631 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26632 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 70002 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 70003 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 70004 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 70005 | validation.fork | complete | 1 / 3 | 2 weeks 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 0x0070 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x004e 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8da5cb5b 00000024: EQ 00000025: PUSH2 0x00c1 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xe3a9db1a 0000002f: EQ 00000030: PUSH2 0x00fb 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf2fde38b 0000003a: EQ 0000003b: PUSH2 0x014c 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf340fa01 00000045: EQ 00000046: PUSH2 0x016c 00000049: JUMPI 0000004a: PUSH1 0x00 0000004c: DUP1 0000004d: REVERT 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0x51cff8d9 00000055: EQ 00000056: PUSH2 0x0075 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x715018a6 00000060: EQ 00000061: PUSH2 0x0097 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x8129fc1c 0000006b: EQ 0000006c: PUSH2 0x00ac 0000006f: JUMPI 00000070: JUMPDEST 00000071: PUSH1 0x00 00000073: DUP1 00000074: REVERT 00000075: JUMPDEST 00000076: CALLVALUE 00000077: DUP1 00000078: ISZERO 00000079: PUSH2 0x0081 0000007c: JUMPI 0000007d: PUSH1 0x00 0000007f: DUP1 00000080: REVERT 00000081: JUMPDEST 00000082: POP 00000083: PUSH2 0x0095 00000086: PUSH2 0x0090 00000089: CALLDATASIZE 0000008a: PUSH1 0x04 0000008c: PUSH2 0x07f8 0000008f: JUMP 00000090: JUMPDEST 00000091: PUSH2 0x017f 00000094: JUMP 00000095: JUMPDEST 00000096: STOP 00000097: JUMPDEST 00000098: CALLVALUE 00000099: DUP1 0000009a: ISZERO 0000009b: PUSH2 0x00a3 0000009e: JUMPI 0000009f: PUSH1 0x00 000000a1: DUP1 000000a2: REVERT 000000a3: JUMPDEST 000000a4: POP 000000a5: PUSH2 0x0095 000000a8: PUSH2 0x0210 000000ab: JUMP 000000ac: JUMPDEST 000000ad: CALLVALUE 000000ae: DUP1 000000af: ISZERO 000000b0: PUSH2 0x00b8 000000b3: JUMPI 000000b4: PUSH1 0x00 000000b6: DUP1 000000b7: REVERT 000000b8: JUMPDEST 000000b9: POP 000000ba: PUSH2 0x0095 000000bd: PUSH2 0x0224 000000c0: JUMP 000000c1: JUMPDEST 000000c2: CALLVALUE 000000c3: DUP1 000000c4: ISZERO 000000c5: PUSH2 0x00cd 000000c8: JUMPI 000000c9: PUSH1 0x00 000000cb: DUP1 000000cc: REVERT 000000cd: JUMPDEST 000000ce: POP 000000cf: PUSH1 0x33 000000d1: SLOAD 000000d2: PUSH1 0x40 000000d4: MLOAD 000000d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000ea: SWAP1 000000eb: SWAP2 000000ec: AND 000000ed: DUP2 000000ee: MSTORE 000000ef: PUSH1 0x20 000000f1: ADD 000000f2: JUMPDEST 000000f3: PUSH1 0x40 000000f5: MLOAD 000000f6: DUP1 000000f7: SWAP2 000000f8: SUB 000000f9: SWAP1 000000fa: RETURN 000000fb: JUMPDEST 000000fc: CALLVALUE 000000fd: DUP1 000000fe: ISZERO 000000ff: PUSH2 0x0107 00000102: JUMPI 00000103: PUSH1 0x00 00000105: DUP1 00000106: REVERT 00000107: JUMPDEST 00000108: POP 00000109: PUSH2 0x013e 0000010c: PUSH2 0x0116 0000010f: CALLDATASIZE 00000110: PUSH1 0x04 00000112: PUSH2 0x07f8 00000115: JUMP 00000116: JUMPDEST 00000117: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000012c: AND 0000012d: PUSH1 0x00 0000012f: SWAP1 00000130: DUP2 00000131: MSTORE 00000132: PUSH1 0x65 00000134: PUSH1 0x20 00000136: MSTORE 00000137: PUSH1 0x40 00000139: SWAP1 0000013a: KECCAK256 0000013b: SLOAD 0000013c: SWAP1 0000013d: JUMP 0000013e: JUMPDEST 0000013f: PUSH1 0x40 00000141: MLOAD 00000142: SWAP1 00000143: DUP2 00000144: MSTORE 00000145: PUSH1 0x20 00000147: ADD 00000148: PUSH2 0x00f2 0000014b: JUMP 0000014c: JUMPDEST 0000014d: CALLVALUE 0000014e: DUP1 0000014f: ISZERO 00000150: PUSH2 0x0158 00000153: JUMPI 00000154: PUSH1 0x00 00000156: DUP1 00000157: REVERT 00000158: JUMPDEST 00000159: POP 0000015a: PUSH2 0x0095 0000015d: PUSH2 0x0167 00000160: CALLDATASIZE 00000161: PUSH1 0x04 00000163: PUSH2 0x07f8 00000166: JUMP 00000167: JUMPDEST 00000168: PUSH2 0x03a1 0000016b: JUMP 0000016c: JUMPDEST 0000016d: PUSH2 0x0095 00000170: PUSH2 0x017a 00000173: CALLDATASIZE 00000174: PUSH1 0x04 00000176: PUSH2 0x07f8 00000179: JUMP 0000017a: JUMPDEST 0000017b: PUSH2 0x043b 0000017e: JUMP 0000017f: JUMPDEST 00000180: PUSH2 0x0187 00000183: PUSH2 0x04c7 00000186: JUMP 00000187: JUMPDEST 00000188: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000019d: DUP2 0000019e: AND 0000019f: PUSH1 0x00 000001a1: DUP2 000001a2: DUP2 000001a3: MSTORE 000001a4: PUSH1 0x65 000001a6: PUSH1 0x20 000001a8: MSTORE 000001a9: PUSH1 0x40 000001ab: DUP2 000001ac: KECCAK256 000001ad: DUP1 000001ae: SLOAD 000001af: SWAP2 000001b0: SWAP1 000001b1: SSTORE 000001b2: SWAP1 000001b3: PUSH2 0x01bc 000001b6: SWAP1 000001b7: DUP3 000001b8: PUSH2 0x052e 000001bb: JUMP 000001bc: JUMPDEST 000001bd: DUP2 000001be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001d3: AND 000001d4: PUSH32 0x7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d5 000001f5: DUP3 000001f6: PUSH1 0x40 000001f8: MLOAD 000001f9: PUSH2 0x0204 000001fc: SWAP2 000001fd: DUP2 000001fe: MSTORE 000001ff: PUSH1 0x20 00000201: ADD 00000202: SWAP1 00000203: JUMP 00000204: JUMPDEST 00000205: PUSH1 0x40 00000207: MLOAD 00000208: DUP1 00000209: SWAP2 0000020a: SUB 0000020b: SWAP1 0000020c: LOG2 0000020d: POP 0000020e: POP 0000020f: JUMP 00000210: JUMPDEST 00000211: PUSH2 0x0218 00000214: PUSH2 0x04c7 00000217: JUMP 00000218: JUMPDEST 00000219: PUSH2 0x0222 0000021c: PUSH1 0x00 0000021e: PUSH2 0x0659 00000221: JUMP 00000222: JUMPDEST 00000223: JUMP 00000224: JUMPDEST 00000225: PUSH1 0x00 00000227: SLOAD 00000228: PUSH2 0x0100 0000022b: SWAP1 0000022c: DIV 0000022d: PUSH1 0xff 0000022f: AND 00000230: ISZERO 00000231: DUP1 00000232: DUP1 00000233: ISZERO 00000234: PUSH2 0x0244 00000237: JUMPI 00000238: POP 00000239: PUSH1 0x00 0000023b: SLOAD 0000023c: PUSH1 0x01 0000023e: PUSH1 0xff 00000240: SWAP1 00000241: SWAP2 00000242: AND 00000243: LT 00000244: JUMPDEST 00000245: DUP1 00000246: PUSH2 0x025e 00000249: JUMPI 0000024a: POP 0000024b: ADDRESS 0000024c: EXTCODESIZE 0000024d: ISZERO 0000024e: DUP1 0000024f: ISZERO 00000250: PUSH2 0x025e 00000253: JUMPI 00000254: POP 00000255: PUSH1 0x00 00000257: SLOAD 00000258: PUSH1 0xff 0000025a: AND 0000025b: PUSH1 0x01 0000025d: EQ 0000025e: JUMPDEST 0000025f: PUSH2 0x02d5 00000262: JUMPI 00000263: PUSH1 0x40 00000265: MLOAD 00000266: PUSH3 0x461bcd 0000026a: PUSH1 0xe5 0000026c: SHL 0000026d: DUP2 0000026e: MSTORE 0000026f: PUSH1 0x20 00000271: PUSH1 0x04 00000273: DUP3 00000274: ADD 00000275: MSTORE 00000276: PUSH1 0x2e 00000278: PUSH1 0x24 0000027a: DUP3 0000027b: ADD 0000027c: MSTORE 0000027d: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561 0000029e: PUSH1 0x44 000002a0: DUP3 000002a1: ADD 000002a2: MSTORE 000002a3: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000 000002c4: PUSH1 0x64 000002c6: DUP3 000002c7: ADD 000002c8: MSTORE 000002c9: PUSH1 0x84 000002cb: ADD 000002cc: JUMPDEST 000002cd: PUSH1 0x40 000002cf: MLOAD 000002d0: DUP1 000002d1: SWAP2 000002d2: SUB 000002d3: SWAP1 000002d4: REVERT 000002d5: JUMPDEST 000002d6: PUSH1 0x00 000002d8: DUP1 000002d9: SLOAD 000002da: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 000002fb: AND 000002fc: PUSH1 0x01 000002fe: OR 000002ff: SWAP1 00000300: SSTORE 00000301: DUP1 00000302: ISZERO 00000303: PUSH2 0x0333 00000306: JUMPI 00000307: PUSH1 0x00 00000309: DUP1 0000030a: SLOAD 0000030b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff 0000032c: AND 0000032d: PUSH2 0x0100 00000330: OR 00000331: SWAP1 00000332: SSTORE 00000333: JUMPDEST 00000334: PUSH2 0x033b 00000337: PUSH2 0x06d0 0000033a: JUMP 0000033b: JUMPDEST 0000033c: DUP1 0000033d: ISZERO 0000033e: PUSH2 0x039e 00000341: JUMPI 00000342: PUSH1 0x00 00000344: DUP1 00000345: SLOAD 00000346: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff 00000367: AND 00000368: SWAP1 00000369: SSTORE 0000036a: PUSH1 0x40 0000036c: MLOAD 0000036d: PUSH1 0x01 0000036f: DUP2 00000370: MSTORE 00000371: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498 00000392: SWAP1 00000393: PUSH1 0x20 00000395: ADD 00000396: PUSH1 0x40 00000398: MLOAD 00000399: DUP1 0000039a: SWAP2 0000039b: SUB 0000039c: SWAP1 0000039d: LOG1 0000039e: JUMPDEST 0000039f: POP 000003a0: JUMP 000003a1: JUMPDEST 000003a2: PUSH2 0x03a9 000003a5: PUSH2 0x04c7 000003a8: JUMP 000003a9: JUMPDEST 000003aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003bf: DUP2 000003c0: AND 000003c1: PUSH2 0x0432 000003c4: JUMPI 000003c5: PUSH1 0x40 000003c7: MLOAD 000003c8: PUSH3 0x461bcd 000003cc: PUSH1 0xe5 000003ce: SHL 000003cf: DUP2 000003d0: MSTORE 000003d1: PUSH1 0x20 000003d3: PUSH1 0x04 000003d5: DUP3 000003d6: ADD 000003d7: MSTORE 000003d8: PUSH1 0x26 000003da: PUSH1 0x24 000003dc: DUP3 000003dd: ADD 000003de: MSTORE 000003df: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000400: PUSH1 0x44 00000402: DUP3 00000403: ADD 00000404: MSTORE 00000405: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 00000426: PUSH1 0x64 00000428: DUP3 00000429: ADD 0000042a: MSTORE 0000042b: PUSH1 0x84 0000042d: ADD 0000042e: PUSH2 0x02cc 00000431: JUMP 00000432: JUMPDEST 00000433: PUSH2 0x039e 00000436: DUP2 00000437: PUSH2 0x0659 0000043a: JUMP 0000043b: JUMPDEST 0000043c: PUSH2 0x0443 0000043f: PUSH2 0x04c7 00000442: JUMP 00000443: JUMPDEST 00000444: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000459: DUP2 0000045a: AND 0000045b: PUSH1 0x00 0000045d: SWAP1 0000045e: DUP2 0000045f: MSTORE 00000460: PUSH1 0x65 00000462: PUSH1 0x20 00000464: MSTORE 00000465: PUSH1 0x40 00000467: DUP2 00000468: KECCAK256 00000469: DUP1 0000046a: SLOAD 0000046b: CALLVALUE 0000046c: SWAP3 0000046d: DUP4 0000046e: SWAP3 0000046f: SWAP2 00000470: PUSH2 0x047a 00000473: SWAP1 00000474: DUP5 00000475: SWAP1 00000476: PUSH2 0x081c 00000479: JUMP 0000047a: JUMPDEST 0000047b: SWAP1 0000047c: SWAP2 0000047d: SSTORE 0000047e: POP 0000047f: POP 00000480: PUSH1 0x40 00000482: MLOAD 00000483: DUP2 00000484: DUP2 00000485: MSTORE 00000486: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000049b: DUP4 0000049c: AND 0000049d: SWAP1 0000049e: PUSH32 0x2da466a7b24304f47e87fa2e1e5a81b9831ce54fec19055ce277ca2f39ba42c4 000004bf: SWAP1 000004c0: PUSH1 0x20 000004c2: ADD 000004c3: PUSH2 0x0204 000004c6: JUMP 000004c7: JUMPDEST 000004c8: PUSH1 0x33 000004ca: SLOAD 000004cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004e0: AND 000004e1: CALLER 000004e2: EQ 000004e3: PUSH2 0x0222 000004e6: JUMPI 000004e7: PUSH1 0x40 000004e9: MLOAD 000004ea: PUSH3 0x461bcd 000004ee: PUSH1 0xe5 000004f0: SHL 000004f1: DUP2 000004f2: MSTORE 000004f3: PUSH1 0x20 000004f5: PUSH1 0x04 000004f7: DUP3 000004f8: ADD 000004f9: DUP2 000004fa: SWAP1 000004fb: MSTORE 000004fc: PUSH1 0x24 000004fe: DUP3 000004ff: ADD 00000500: MSTORE 00000501: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000522: PUSH1 0x44 00000524: DUP3 00000525: ADD 00000526: MSTORE 00000527: PUSH1 0x64 00000529: ADD 0000052a: PUSH2 0x02cc 0000052d: JUMP 0000052e: JUMPDEST 0000052f: DUP1 00000530: SELFBALANCE 00000531: LT 00000532: ISZERO 00000533: PUSH2 0x057e 00000536: JUMPI 00000537: PUSH1 0x40 00000539: MLOAD 0000053a: PUSH3 0x461bcd 0000053e: PUSH1 0xe5 00000540: SHL 00000541: DUP2 00000542: MSTORE 00000543: PUSH1 0x20 00000545: PUSH1 0x04 00000547: DUP3 00000548: ADD 00000549: MSTORE 0000054a: PUSH1 0x1d 0000054c: PUSH1 0x24 0000054e: DUP3 0000054f: ADD 00000550: MSTORE 00000551: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 00000572: PUSH1 0x44 00000574: DUP3 00000575: ADD 00000576: MSTORE 00000577: PUSH1 0x64 00000579: ADD 0000057a: PUSH2 0x02cc 0000057d: JUMP 0000057e: JUMPDEST 0000057f: PUSH1 0x00 00000581: DUP3 00000582: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000597: AND 00000598: DUP3 00000599: PUSH1 0x40 0000059b: MLOAD 0000059c: PUSH1 0x00 0000059e: PUSH1 0x40 000005a0: MLOAD 000005a1: DUP1 000005a2: DUP4 000005a3: SUB 000005a4: DUP2 000005a5: DUP6 000005a6: DUP8 000005a7: GAS 000005a8: CALL 000005a9: SWAP3 000005aa: POP 000005ab: POP 000005ac: POP 000005ad: RETURNDATASIZE 000005ae: DUP1 000005af: PUSH1 0x00 000005b1: DUP2 000005b2: EQ 000005b3: PUSH2 0x05d8 000005b6: JUMPI 000005b7: PUSH1 0x40 000005b9: MLOAD 000005ba: SWAP2 000005bb: POP 000005bc: PUSH1 0x1f 000005be: NOT 000005bf: PUSH1 0x3f 000005c1: RETURNDATASIZE 000005c2: ADD 000005c3: AND 000005c4: DUP3 000005c5: ADD 000005c6: PUSH1 0x40 000005c8: MSTORE 000005c9: RETURNDATASIZE 000005ca: DUP3 000005cb: MSTORE 000005cc: RETURNDATASIZE 000005cd: PUSH1 0x00 000005cf: PUSH1 0x20 000005d1: DUP5 000005d2: ADD 000005d3: RETURNDATACOPY 000005d4: PUSH2 0x05dd 000005d7: JUMP 000005d8: JUMPDEST 000005d9: PUSH1 0x60 000005db: SWAP2 000005dc: POP 000005dd: JUMPDEST 000005de: POP 000005df: POP 000005e0: SWAP1 000005e1: POP 000005e2: DUP1 000005e3: PUSH2 0x0654 000005e6: JUMPI 000005e7: PUSH1 0x40 000005e9: MLOAD 000005ea: PUSH3 0x461bcd 000005ee: PUSH1 0xe5 000005f0: SHL 000005f1: DUP2 000005f2: MSTORE 000005f3: PUSH1 0x20 000005f5: PUSH1 0x04 000005f7: DUP3 000005f8: ADD 000005f9: MSTORE 000005fa: PUSH1 0x3a 000005fc: PUSH1 0x24 000005fe: DUP3 000005ff: ADD 00000600: MSTORE 00000601: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 00000622: PUSH1 0x44 00000624: DUP3 00000625: ADD 00000626: MSTORE 00000627: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 00000648: PUSH1 0x64 0000064a: DUP3 0000064b: ADD 0000064c: MSTORE 0000064d: PUSH1 0x84 0000064f: ADD 00000650: PUSH2 0x02cc 00000653: JUMP 00000654: JUMPDEST 00000655: POP 00000656: POP 00000657: POP 00000658: JUMP 00000659: JUMPDEST 0000065a: PUSH1 0x33 0000065c: DUP1 0000065d: SLOAD 0000065e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000673: DUP4 00000674: DUP2 00000675: AND 00000676: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000697: DUP4 00000698: AND 00000699: DUP2 0000069a: OR 0000069b: SWAP1 0000069c: SWAP4 0000069d: SSTORE 0000069e: PUSH1 0x40 000006a0: MLOAD 000006a1: SWAP2 000006a2: AND 000006a3: SWAP2 000006a4: SWAP1 000006a5: DUP3 000006a6: SWAP1 000006a7: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000006c8: SWAP1 000006c9: PUSH1 0x00 000006cb: SWAP1 000006cc: LOG3 000006cd: POP 000006ce: POP 000006cf: JUMP 000006d0: JUMPDEST 000006d1: PUSH1 0x00 000006d3: SLOAD 000006d4: PUSH2 0x0100 000006d7: SWAP1 000006d8: DIV 000006d9: PUSH1 0xff 000006db: AND 000006dc: PUSH2 0x074d 000006df: JUMPI 000006e0: PUSH1 0x40 000006e2: MLOAD 000006e3: PUSH3 0x461bcd 000006e7: PUSH1 0xe5 000006e9: SHL 000006ea: DUP2 000006eb: MSTORE 000006ec: PUSH1 0x20 000006ee: PUSH1 0x04 000006f0: DUP3 000006f1: ADD 000006f2: MSTORE 000006f3: PUSH1 0x2b 000006f5: PUSH1 0x24 000006f7: DUP3 000006f8: ADD 000006f9: MSTORE 000006fa: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069 0000071b: PUSH1 0x44 0000071d: DUP3 0000071e: ADD 0000071f: MSTORE 00000720: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000 00000741: PUSH1 0x64 00000743: DUP3 00000744: ADD 00000745: MSTORE 00000746: PUSH1 0x84 00000748: ADD 00000749: PUSH2 0x02cc 0000074c: JUMP 0000074d: JUMPDEST 0000074e: PUSH2 0x0222 00000751: PUSH1 0x00 00000753: SLOAD 00000754: PUSH2 0x0100 00000757: SWAP1 00000758: DIV 00000759: PUSH1 0xff 0000075b: AND 0000075c: PUSH2 0x07cd 0000075f: JUMPI 00000760: PUSH1 0x40 00000762: MLOAD 00000763: PUSH3 0x461bcd 00000767: PUSH1 0xe5 00000769: SHL 0000076a: DUP2 0000076b: MSTORE 0000076c: PUSH1 0x20 0000076e: PUSH1 0x04 00000770: DUP3 00000771: ADD 00000772: MSTORE 00000773: PUSH1 0x2b 00000775: PUSH1 0x24 00000777: DUP3 00000778: ADD 00000779: MSTORE 0000077a: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069 0000079b: PUSH1 0x44 0000079d: DUP3 0000079e: ADD 0000079f: MSTORE 000007a0: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000 000007c1: PUSH1 0x64 000007c3: DUP3 000007c4: ADD 000007c5: MSTORE 000007c6: PUSH1 0x84 000007c8: ADD 000007c9: PUSH2 0x02cc 000007cc: JUMP 000007cd: JUMPDEST 000007ce: PUSH2 0x0222 000007d1: CALLER 000007d2: PUSH2 0x0659 000007d5: JUMP 000007d6: JUMPDEST 000007d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ec: DUP2 000007ed: AND 000007ee: DUP2 000007ef: EQ 000007f0: PUSH2 0x039e 000007f3: JUMPI 000007f4: PUSH1 0x00 000007f6: DUP1 000007f7: REVERT 000007f8: JUMPDEST 000007f9: PUSH1 0x00 000007fb: PUSH1 0x20 000007fd: DUP3 000007fe: DUP5 000007ff: SUB 00000800: SLT 00000801: ISZERO 00000802: PUSH2 0x080a 00000805: JUMPI 00000806: PUSH1 0x00 00000808: DUP1 00000809: REVERT 0000080a: JUMPDEST 0000080b: DUP2 0000080c: CALLDATALOAD 0000080d: PUSH2 0x0815 00000810: DUP2 00000811: PUSH2 0x07d6 00000814: JUMP 00000815: JUMPDEST 00000816: SWAP4 00000817: SWAP3 00000818: POP 00000819: POP 0000081a: POP 0000081b: JUMP 0000081c: JUMPDEST 0000081d: DUP1 0000081e: DUP3 0000081f: ADD 00000820: DUP1 00000821: DUP3 00000822: GT 00000823: ISZERO 00000824: PUSH2 0x0856 00000827: JUMPI 00000828: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000849: PUSH1 0x00 0000084b: MSTORE 0000084c: PUSH1 0x11 0000084e: PUSH1 0x04 00000850: MSTORE 00000851: PUSH1 0x24 00000853: PUSH1 0x00 00000855: REVERT 00000856: JUMPDEST 00000857: SWAP3 00000858: SWAP2 00000859: POP 0000085a: POP 0000085b: JUMP 0000085c: INVALID 0000085d: LOG2 0000085e: PUSH5 0x6970667358 00000864: UNKNOWN(0x22) 00000865: SLT 00000866: KECCAK256 00000867: GAS 00000868: UNKNOWN(0xE6) 00000869: TSTORE 0000086a: GT 0000086b: UNKNOWN(0x4B) 0000086c: CALLVALUE 0000086d: SDIV 0000086e: UNKNOWN(0xCE) 0000086f: LOG0 00000870: UNKNOWN(0xED) 00000871: UNKNOWN(0x0F) 00000872: UNKNOWN(0xC2) 00000873: CALLCODE 00000874: PUSH0 00000875: LT 00000876: PUSH12 0x41371b849f3489486d437508 00000883: UNKNOWN(0xC4) 00000884: SLOAD 00000885: MUL 00000886: UNKNOWN(0xC9) 00000887: PUSH5 0x736f6c6343 0000088d: STOP 0000088e: ADDMOD 0000088f: LT 00000890: STOP 00000891: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xa028c88739c6bdd0d56030b84e6225f11cdce07e3791bcfea6e43147fe931f10
call_targets:
0x9086bcba86d75cf0b97cd8f33dce4ece80b4b82f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa028c88739c6bdd0d56030b84e6225f11cdce07e3791bcfea6e43147fe931f10",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9086bcba86d75cf0b97cd8f33dce4ece80b4b82f"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe3a9db1a",
"selector": "0xe3a9db1a",
"calldata_variants": [
"0xe3a9db1a",
"0xe3a9db1a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf340fa01",
"selector": "0xf340fa01",
"calldata_variants": [
"0xf340fa01",
"0xf340fa010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x51cff8d9",
"selector": "0x51cff8d9",
"calldata_variants": [
"0x51cff8d9",
"0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8129fc1c",
"selector": "0x8129fc1c",
"calldata_variants": [
"0x8129fc1c",
"0x8129fc1c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1448,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2163,
"opcode": "CALLCODE",
"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: 0xa028c88739c6bdd0d56030b84e6225f11cdce07e3791bcfea6e43147fe931f10
call_targets:
0x9086bcba86d75cf0b97cd8f33dce4ece80b4b82f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa028c88739c6bdd0d56030b84e6225f11cdce07e3791bcfea6e43147fe931f10",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9086bcba86d75cf0b97cd8f33dce4ece80b4b82f"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe3a9db1a",
"selector": "0xe3a9db1a",
"calldata_variants": [
"0xe3a9db1a",
"0xe3a9db1a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf340fa01",
"selector": "0xf340fa01",
"calldata_variants": [
"0xf340fa01",
"0xf340fa010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x51cff8d9",
"selector": "0x51cff8d9",
"calldata_variants": [
"0x51cff8d9",
"0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8129fc1c",
"selector": "0x8129fc1c",
"calldata_variants": [
"0x8129fc1c",
"0x8129fc1c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1448,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2163,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|