019b477e-c34b-73a0-bba5-5ff74c652168
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 |
|---|---|---|---|---|
| 25199 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25200 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 68274 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 68275 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 68276 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 68277 | 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 0x0056 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x19165587 00000019: EQ 0000001a: PUSH2 0x0098 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x3a98ef39 00000024: EQ 00000025: PUSH2 0x00b8 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x8b83209b 0000002f: EQ 00000030: PUSH2 0x00dc 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x9852595c 0000003a: EQ 0000003b: PUSH2 0x0114 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xce7c2ac2 00000045: EQ 00000046: PUSH2 0x014a 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe33b7de3 00000050: EQ 00000051: PUSH2 0x0180 00000054: JUMPI 00000055: STOP 00000056: JUMPDEST 00000057: CALLDATASIZE 00000058: PUSH2 0x0096 0000005b: JUMPI 0000005c: PUSH32 0x6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be770 0000007d: CALLER 0000007e: CALLVALUE 0000007f: PUSH1 0x40 00000081: MLOAD 00000082: PUSH2 0x008c 00000085: SWAP3 00000086: SWAP2 00000087: SWAP1 00000088: PUSH2 0x04f5 0000008b: JUMP 0000008c: JUMPDEST 0000008d: PUSH1 0x40 0000008f: MLOAD 00000090: DUP1 00000091: SWAP2 00000092: SUB 00000093: SWAP1 00000094: LOG1 00000095: STOP 00000096: JUMPDEST 00000097: STOP 00000098: JUMPDEST 00000099: CALLVALUE 0000009a: DUP1 0000009b: ISZERO 0000009c: PUSH2 0x00a4 0000009f: JUMPI 000000a0: PUSH1 0x00 000000a2: DUP1 000000a3: REVERT 000000a4: JUMPDEST 000000a5: POP 000000a6: PUSH2 0x0096 000000a9: PUSH2 0x00b3 000000ac: CALLDATASIZE 000000ad: PUSH1 0x04 000000af: PUSH2 0x04ba 000000b2: JUMP 000000b3: JUMPDEST 000000b4: PUSH2 0x0195 000000b7: JUMP 000000b8: JUMPDEST 000000b9: CALLVALUE 000000ba: DUP1 000000bb: ISZERO 000000bc: PUSH2 0x00c4 000000bf: JUMPI 000000c0: PUSH1 0x00 000000c2: DUP1 000000c3: REVERT 000000c4: JUMPDEST 000000c5: POP 000000c6: PUSH1 0x00 000000c8: SLOAD 000000c9: JUMPDEST 000000ca: PUSH1 0x40 000000cc: MLOAD 000000cd: SWAP1 000000ce: DUP2 000000cf: MSTORE 000000d0: PUSH1 0x20 000000d2: ADD 000000d3: JUMPDEST 000000d4: PUSH1 0x40 000000d6: MLOAD 000000d7: DUP1 000000d8: SWAP2 000000d9: SUB 000000da: SWAP1 000000db: RETURN 000000dc: JUMPDEST 000000dd: CALLVALUE 000000de: DUP1 000000df: ISZERO 000000e0: PUSH2 0x00e8 000000e3: JUMPI 000000e4: PUSH1 0x00 000000e6: DUP1 000000e7: REVERT 000000e8: JUMPDEST 000000e9: POP 000000ea: PUSH2 0x00fc 000000ed: PUSH2 0x00f7 000000f0: CALLDATASIZE 000000f1: PUSH1 0x04 000000f3: PUSH2 0x04dd 000000f6: JUMP 000000f7: JUMPDEST 000000f8: PUSH2 0x0361 000000fb: JUMP 000000fc: JUMPDEST 000000fd: PUSH1 0x40 000000ff: MLOAD 00000100: PUSH1 0x01 00000102: PUSH1 0x01 00000104: PUSH1 0xa0 00000106: SHL 00000107: SUB 00000108: SWAP1 00000109: SWAP2 0000010a: AND 0000010b: DUP2 0000010c: MSTORE 0000010d: PUSH1 0x20 0000010f: ADD 00000110: PUSH2 0x00d3 00000113: JUMP 00000114: JUMPDEST 00000115: CALLVALUE 00000116: DUP1 00000117: ISZERO 00000118: PUSH2 0x0120 0000011b: JUMPI 0000011c: PUSH1 0x00 0000011e: DUP1 0000011f: REVERT 00000120: JUMPDEST 00000121: POP 00000122: PUSH2 0x00c9 00000125: PUSH2 0x012f 00000128: CALLDATASIZE 00000129: PUSH1 0x04 0000012b: PUSH2 0x04ba 0000012e: JUMP 0000012f: JUMPDEST 00000130: PUSH1 0x01 00000132: PUSH1 0x01 00000134: PUSH1 0xa0 00000136: SHL 00000137: SUB 00000138: AND 00000139: PUSH1 0x00 0000013b: SWAP1 0000013c: DUP2 0000013d: MSTORE 0000013e: PUSH1 0x03 00000140: PUSH1 0x20 00000142: MSTORE 00000143: PUSH1 0x40 00000145: SWAP1 00000146: KECCAK256 00000147: SLOAD 00000148: SWAP1 00000149: JUMP 0000014a: JUMPDEST 0000014b: CALLVALUE 0000014c: DUP1 0000014d: ISZERO 0000014e: PUSH2 0x0156 00000151: JUMPI 00000152: PUSH1 0x00 00000154: DUP1 00000155: REVERT 00000156: JUMPDEST 00000157: POP 00000158: PUSH2 0x00c9 0000015b: PUSH2 0x0165 0000015e: CALLDATASIZE 0000015f: PUSH1 0x04 00000161: PUSH2 0x04ba 00000164: JUMP 00000165: JUMPDEST 00000166: PUSH1 0x01 00000168: PUSH1 0x01 0000016a: PUSH1 0xa0 0000016c: SHL 0000016d: SUB 0000016e: AND 0000016f: PUSH1 0x00 00000171: SWAP1 00000172: DUP2 00000173: MSTORE 00000174: PUSH1 0x02 00000176: PUSH1 0x20 00000178: MSTORE 00000179: PUSH1 0x40 0000017b: SWAP1 0000017c: KECCAK256 0000017d: SLOAD 0000017e: SWAP1 0000017f: JUMP 00000180: JUMPDEST 00000181: CALLVALUE 00000182: DUP1 00000183: ISZERO 00000184: PUSH2 0x018c 00000187: JUMPI 00000188: PUSH1 0x00 0000018a: DUP1 0000018b: REVERT 0000018c: JUMPDEST 0000018d: POP 0000018e: PUSH1 0x01 00000190: SLOAD 00000191: PUSH2 0x00c9 00000194: JUMP 00000195: JUMPDEST 00000196: PUSH1 0x01 00000198: PUSH1 0x01 0000019a: PUSH1 0xa0 0000019c: SHL 0000019d: SUB 0000019e: DUP2 0000019f: AND 000001a0: PUSH1 0x00 000001a2: SWAP1 000001a3: DUP2 000001a4: MSTORE 000001a5: PUSH1 0x02 000001a7: PUSH1 0x20 000001a9: MSTORE 000001aa: PUSH1 0x40 000001ac: SWAP1 000001ad: KECCAK256 000001ae: SLOAD 000001af: PUSH2 0x020e 000001b2: JUMPI 000001b3: PUSH1 0x40 000001b5: MLOAD 000001b6: PUSH3 0x461bcd 000001ba: PUSH1 0xe5 000001bc: SHL 000001bd: DUP2 000001be: MSTORE 000001bf: PUSH1 0x20 000001c1: PUSH1 0x04 000001c3: DUP3 000001c4: ADD 000001c5: MSTORE 000001c6: PUSH1 0x26 000001c8: PUSH1 0x24 000001ca: DUP3 000001cb: ADD 000001cc: MSTORE 000001cd: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20 000001ee: PUSH1 0x44 000001f0: DUP3 000001f1: ADD 000001f2: MSTORE 000001f3: PUSH6 0x736861726573 000001fa: PUSH1 0xd0 000001fc: SHL 000001fd: PUSH1 0x64 000001ff: DUP3 00000200: ADD 00000201: MSTORE 00000202: PUSH1 0x84 00000204: ADD 00000205: JUMPDEST 00000206: PUSH1 0x40 00000208: MLOAD 00000209: DUP1 0000020a: SWAP2 0000020b: SUB 0000020c: SWAP1 0000020d: REVERT 0000020e: JUMPDEST 0000020f: PUSH1 0x00 00000211: PUSH1 0x01 00000213: SLOAD 00000214: SELFBALANCE 00000215: PUSH2 0x021e 00000218: SWAP2 00000219: SWAP1 0000021a: PUSH2 0x050e 0000021d: JUMP 0000021e: JUMPDEST 0000021f: PUSH1 0x01 00000221: PUSH1 0x01 00000223: PUSH1 0xa0 00000225: SHL 00000226: SUB 00000227: DUP4 00000228: AND 00000229: PUSH1 0x00 0000022b: SWAP1 0000022c: DUP2 0000022d: MSTORE 0000022e: PUSH1 0x03 00000230: PUSH1 0x20 00000232: SWAP1 00000233: DUP2 00000234: MSTORE 00000235: PUSH1 0x40 00000237: DUP1 00000238: DUP4 00000239: KECCAK256 0000023a: SLOAD 0000023b: DUP4 0000023c: SLOAD 0000023d: PUSH1 0x02 0000023f: SWAP1 00000240: SWAP4 00000241: MSTORE 00000242: SWAP1 00000243: DUP4 00000244: KECCAK256 00000245: SLOAD 00000246: SWAP4 00000247: SWAP5 00000248: POP 00000249: SWAP2 0000024a: SWAP3 0000024b: PUSH2 0x0254 0000024e: SWAP1 0000024f: DUP6 00000250: PUSH2 0x0546 00000253: JUMP 00000254: JUMPDEST 00000255: PUSH2 0x025e 00000258: SWAP2 00000259: SWAP1 0000025a: PUSH2 0x0526 0000025d: JUMP 0000025e: JUMPDEST 0000025f: PUSH2 0x0268 00000262: SWAP2 00000263: SWAP1 00000264: PUSH2 0x0565 00000267: JUMP 00000268: JUMPDEST 00000269: SWAP1 0000026a: POP 0000026b: DUP1 0000026c: PUSH2 0x02cb 0000026f: JUMPI 00000270: PUSH1 0x40 00000272: MLOAD 00000273: PUSH3 0x461bcd 00000277: PUSH1 0xe5 00000279: SHL 0000027a: DUP2 0000027b: MSTORE 0000027c: PUSH1 0x20 0000027e: PUSH1 0x04 00000280: DUP3 00000281: ADD 00000282: MSTORE 00000283: PUSH1 0x2b 00000285: PUSH1 0x24 00000287: DUP3 00000288: ADD 00000289: MSTORE 0000028a: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420 000002ab: PUSH1 0x44 000002ad: DUP3 000002ae: ADD 000002af: MSTORE 000002b0: PUSH11 0x191d59481c185e5b595b9d 000002bc: PUSH1 0xaa 000002be: SHL 000002bf: PUSH1 0x64 000002c1: DUP3 000002c2: ADD 000002c3: MSTORE 000002c4: PUSH1 0x84 000002c6: ADD 000002c7: PUSH2 0x0205 000002ca: JUMP 000002cb: JUMPDEST 000002cc: PUSH1 0x01 000002ce: PUSH1 0x01 000002d0: PUSH1 0xa0 000002d2: SHL 000002d3: SUB 000002d4: DUP4 000002d5: AND 000002d6: PUSH1 0x00 000002d8: SWAP1 000002d9: DUP2 000002da: MSTORE 000002db: PUSH1 0x03 000002dd: PUSH1 0x20 000002df: MSTORE 000002e0: PUSH1 0x40 000002e2: SWAP1 000002e3: KECCAK256 000002e4: SLOAD 000002e5: PUSH2 0x02ef 000002e8: SWAP1 000002e9: DUP3 000002ea: SWAP1 000002eb: PUSH2 0x050e 000002ee: JUMP 000002ef: JUMPDEST 000002f0: PUSH1 0x01 000002f2: PUSH1 0x01 000002f4: PUSH1 0xa0 000002f6: SHL 000002f7: SUB 000002f8: DUP5 000002f9: AND 000002fa: PUSH1 0x00 000002fc: SWAP1 000002fd: DUP2 000002fe: MSTORE 000002ff: PUSH1 0x03 00000301: PUSH1 0x20 00000303: MSTORE 00000304: PUSH1 0x40 00000306: SWAP1 00000307: KECCAK256 00000308: SSTORE 00000309: PUSH1 0x01 0000030b: SLOAD 0000030c: PUSH2 0x0316 0000030f: SWAP1 00000310: DUP3 00000311: SWAP1 00000312: PUSH2 0x050e 00000315: JUMP 00000316: JUMPDEST 00000317: PUSH1 0x01 00000319: SSTORE 0000031a: PUSH2 0x0323 0000031d: DUP4 0000031e: DUP3 0000031f: PUSH2 0x039f 00000322: JUMP 00000323: JUMPDEST 00000324: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056 00000345: DUP4 00000346: DUP3 00000347: PUSH1 0x40 00000349: MLOAD 0000034a: PUSH2 0x0354 0000034d: SWAP3 0000034e: SWAP2 0000034f: SWAP1 00000350: PUSH2 0x04f5 00000353: JUMP 00000354: JUMPDEST 00000355: PUSH1 0x40 00000357: MLOAD 00000358: DUP1 00000359: SWAP2 0000035a: SUB 0000035b: SWAP1 0000035c: LOG1 0000035d: POP 0000035e: POP 0000035f: POP 00000360: JUMP 00000361: JUMPDEST 00000362: PUSH1 0x00 00000364: PUSH1 0x04 00000366: DUP3 00000367: DUP2 00000368: SLOAD 00000369: DUP2 0000036a: LT 0000036b: PUSH2 0x0384 0000036e: JUMPI 0000036f: PUSH4 0x4e487b71 00000374: PUSH1 0xe0 00000376: SHL 00000377: PUSH1 0x00 00000379: MSTORE 0000037a: PUSH1 0x32 0000037c: PUSH1 0x04 0000037e: MSTORE 0000037f: PUSH1 0x24 00000381: PUSH1 0x00 00000383: REVERT 00000384: JUMPDEST 00000385: PUSH1 0x00 00000387: SWAP2 00000388: DUP3 00000389: MSTORE 0000038a: PUSH1 0x20 0000038c: SWAP1 0000038d: SWAP2 0000038e: KECCAK256 0000038f: ADD 00000390: SLOAD 00000391: PUSH1 0x01 00000393: PUSH1 0x01 00000395: PUSH1 0xa0 00000397: SHL 00000398: SUB 00000399: AND 0000039a: SWAP3 0000039b: SWAP2 0000039c: POP 0000039d: POP 0000039e: JUMP 0000039f: JUMPDEST 000003a0: DUP1 000003a1: SELFBALANCE 000003a2: LT 000003a3: ISZERO 000003a4: PUSH2 0x03ef 000003a7: JUMPI 000003a8: PUSH1 0x40 000003aa: MLOAD 000003ab: PUSH3 0x461bcd 000003af: PUSH1 0xe5 000003b1: SHL 000003b2: DUP2 000003b3: MSTORE 000003b4: PUSH1 0x20 000003b6: PUSH1 0x04 000003b8: DUP3 000003b9: ADD 000003ba: MSTORE 000003bb: PUSH1 0x1d 000003bd: PUSH1 0x24 000003bf: DUP3 000003c0: ADD 000003c1: MSTORE 000003c2: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 000003e3: PUSH1 0x44 000003e5: DUP3 000003e6: ADD 000003e7: MSTORE 000003e8: PUSH1 0x64 000003ea: ADD 000003eb: PUSH2 0x0205 000003ee: JUMP 000003ef: JUMPDEST 000003f0: PUSH1 0x00 000003f2: DUP3 000003f3: PUSH1 0x01 000003f5: PUSH1 0x01 000003f7: PUSH1 0xa0 000003f9: SHL 000003fa: SUB 000003fb: AND 000003fc: DUP3 000003fd: PUSH1 0x40 000003ff: MLOAD 00000400: PUSH1 0x00 00000402: PUSH1 0x40 00000404: MLOAD 00000405: DUP1 00000406: DUP4 00000407: SUB 00000408: DUP2 00000409: DUP6 0000040a: DUP8 0000040b: GAS 0000040c: CALL 0000040d: SWAP3 0000040e: POP 0000040f: POP 00000410: POP 00000411: RETURNDATASIZE 00000412: DUP1 00000413: PUSH1 0x00 00000415: DUP2 00000416: EQ 00000417: PUSH2 0x043c 0000041a: JUMPI 0000041b: PUSH1 0x40 0000041d: MLOAD 0000041e: SWAP2 0000041f: POP 00000420: PUSH1 0x1f 00000422: NOT 00000423: PUSH1 0x3f 00000425: RETURNDATASIZE 00000426: ADD 00000427: AND 00000428: DUP3 00000429: ADD 0000042a: PUSH1 0x40 0000042c: MSTORE 0000042d: RETURNDATASIZE 0000042e: DUP3 0000042f: MSTORE 00000430: RETURNDATASIZE 00000431: PUSH1 0x00 00000433: PUSH1 0x20 00000435: DUP5 00000436: ADD 00000437: RETURNDATACOPY 00000438: PUSH2 0x0441 0000043b: JUMP 0000043c: JUMPDEST 0000043d: PUSH1 0x60 0000043f: SWAP2 00000440: POP 00000441: JUMPDEST 00000442: POP 00000443: POP 00000444: SWAP1 00000445: POP 00000446: DUP1 00000447: PUSH2 0x04b5 0000044a: JUMPI 0000044b: PUSH1 0x40 0000044d: MLOAD 0000044e: PUSH3 0x461bcd 00000452: PUSH1 0xe5 00000454: SHL 00000455: DUP2 00000456: MSTORE 00000457: PUSH1 0x20 00000459: PUSH1 0x04 0000045b: DUP3 0000045c: ADD 0000045d: MSTORE 0000045e: PUSH1 0x3a 00000460: PUSH1 0x24 00000462: DUP3 00000463: ADD 00000464: MSTORE 00000465: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 00000486: PUSH1 0x44 00000488: DUP3 00000489: ADD 0000048a: MSTORE 0000048b: PUSH26 0x1958da5c1a595b9d081b585e481a185d99481c995d995c9d1959 000004a6: PUSH1 0x32 000004a8: SHL 000004a9: PUSH1 0x64 000004ab: DUP3 000004ac: ADD 000004ad: MSTORE 000004ae: PUSH1 0x84 000004b0: ADD 000004b1: PUSH2 0x0205 000004b4: JUMP 000004b5: JUMPDEST 000004b6: POP 000004b7: POP 000004b8: POP 000004b9: JUMP 000004ba: JUMPDEST 000004bb: PUSH1 0x00 000004bd: PUSH1 0x20 000004bf: DUP3 000004c0: DUP5 000004c1: SUB 000004c2: SLT 000004c3: ISZERO 000004c4: PUSH2 0x04cb 000004c7: JUMPI 000004c8: DUP1 000004c9: DUP2 000004ca: REVERT 000004cb: JUMPDEST 000004cc: DUP2 000004cd: CALLDATALOAD 000004ce: PUSH2 0x04d6 000004d1: DUP2 000004d2: PUSH2 0x0592 000004d5: JUMP 000004d6: JUMPDEST 000004d7: SWAP4 000004d8: SWAP3 000004d9: POP 000004da: POP 000004db: POP 000004dc: JUMP 000004dd: JUMPDEST 000004de: PUSH1 0x00 000004e0: PUSH1 0x20 000004e2: DUP3 000004e3: DUP5 000004e4: SUB 000004e5: SLT 000004e6: ISZERO 000004e7: PUSH2 0x04ee 000004ea: JUMPI 000004eb: DUP1 000004ec: DUP2 000004ed: REVERT 000004ee: JUMPDEST 000004ef: POP 000004f0: CALLDATALOAD 000004f1: SWAP2 000004f2: SWAP1 000004f3: POP 000004f4: JUMP 000004f5: JUMPDEST 000004f6: PUSH1 0x01 000004f8: PUSH1 0x01 000004fa: PUSH1 0xa0 000004fc: SHL 000004fd: SUB 000004fe: SWAP3 000004ff: SWAP1 00000500: SWAP3 00000501: AND 00000502: DUP3 00000503: MSTORE 00000504: PUSH1 0x20 00000506: DUP3 00000507: ADD 00000508: MSTORE 00000509: PUSH1 0x40 0000050b: ADD 0000050c: SWAP1 0000050d: JUMP 0000050e: JUMPDEST 0000050f: PUSH1 0x00 00000511: DUP3 00000512: NOT 00000513: DUP3 00000514: GT 00000515: ISZERO 00000516: PUSH2 0x0521 00000519: JUMPI 0000051a: PUSH2 0x0521 0000051d: PUSH2 0x057c 00000520: JUMP 00000521: JUMPDEST 00000522: POP 00000523: ADD 00000524: SWAP1 00000525: JUMP 00000526: JUMPDEST 00000527: PUSH1 0x00 00000529: DUP3 0000052a: PUSH2 0x0541 0000052d: JUMPI 0000052e: PUSH4 0x4e487b71 00000533: PUSH1 0xe0 00000535: SHL 00000536: DUP2 00000537: MSTORE 00000538: PUSH1 0x12 0000053a: PUSH1 0x04 0000053c: MSTORE 0000053d: PUSH1 0x24 0000053f: DUP2 00000540: REVERT 00000541: JUMPDEST 00000542: POP 00000543: DIV 00000544: SWAP1 00000545: JUMP 00000546: JUMPDEST 00000547: PUSH1 0x00 00000549: DUP2 0000054a: PUSH1 0x00 0000054c: NOT 0000054d: DIV 0000054e: DUP4 0000054f: GT 00000550: DUP3 00000551: ISZERO 00000552: ISZERO 00000553: AND 00000554: ISZERO 00000555: PUSH2 0x0560 00000558: JUMPI 00000559: PUSH2 0x0560 0000055c: PUSH2 0x057c 0000055f: JUMP 00000560: JUMPDEST 00000561: POP 00000562: MUL 00000563: SWAP1 00000564: JUMP 00000565: JUMPDEST 00000566: PUSH1 0x00 00000568: DUP3 00000569: DUP3 0000056a: LT 0000056b: ISZERO 0000056c: PUSH2 0x0577 0000056f: JUMPI 00000570: PUSH2 0x0577 00000573: PUSH2 0x057c 00000576: JUMP 00000577: JUMPDEST 00000578: POP 00000579: SUB 0000057a: SWAP1 0000057b: JUMP 0000057c: JUMPDEST 0000057d: PUSH4 0x4e487b71 00000582: PUSH1 0xe0 00000584: SHL 00000585: PUSH1 0x00 00000587: MSTORE 00000588: PUSH1 0x11 0000058a: PUSH1 0x04 0000058c: MSTORE 0000058d: PUSH1 0x24 0000058f: PUSH1 0x00 00000591: REVERT 00000592: JUMPDEST 00000593: PUSH1 0x01 00000595: PUSH1 0x01 00000597: PUSH1 0xa0 00000599: SHL 0000059a: SUB 0000059b: DUP2 0000059c: AND 0000059d: DUP2 0000059e: EQ 0000059f: PUSH2 0x05a7 000005a2: JUMPI 000005a3: PUSH1 0x00 000005a5: DUP1 000005a6: REVERT 000005a7: JUMPDEST 000005a8: POP 000005a9: JUMP 000005aa: INVALID 000005ab: LOG2 000005ac: PUSH5 0x6970667358 000005b2: UNKNOWN(0x22) 000005b3: SLT 000005b4: KECCAK256 000005b5: DIV 000005b6: UNKNOWN(0xB3) 000005b7: UNKNOWN(0x24) 000005b8: UNKNOWN(0xEE) 000005b9: UNKNOWN(0xEA) 000005ba: SGT 000005bb: PUSH27 0x75241ce242a998a9d6f5228c20585c50da9232e166d27c8c876473 000005d7: PUSH16
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x9c7a9d47bd58ff09821cbc75b90e1dc04198007eeb0bde88c871e6ca88fb1f86
call_targets:
0x3f531995855e74e56f56eedabf4838fe84bca1da
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9c7a9d47bd58ff09821cbc75b90e1dc04198007eeb0bde88c871e6ca88fb1f86",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3f531995855e74e56f56eedabf4838fe84bca1da"
],
"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": "0x19165587",
"selector": "0x19165587",
"calldata_variants": [
"0x19165587",
"0x191655870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a98ef39",
"selector": "0x3a98ef39",
"calldata_variants": [
"0x3a98ef39",
"0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b83209b",
"selector": "0x8b83209b",
"calldata_variants": [
"0x8b83209b",
"0x8b83209b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9852595c",
"selector": "0x9852595c",
"calldata_variants": [
"0x9852595c",
"0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1036,
"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: 0x9c7a9d47bd58ff09821cbc75b90e1dc04198007eeb0bde88c871e6ca88fb1f86
call_targets:
0x3f531995855e74e56f56eedabf4838fe84bca1da
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9c7a9d47bd58ff09821cbc75b90e1dc04198007eeb0bde88c871e6ca88fb1f86",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3f531995855e74e56f56eedabf4838fe84bca1da"
],
"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": "0x19165587",
"selector": "0x19165587",
"calldata_variants": [
"0x19165587",
"0x191655870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a98ef39",
"selector": "0x3a98ef39",
"calldata_variants": [
"0x3a98ef39",
"0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b83209b",
"selector": "0x8b83209b",
"calldata_variants": [
"0x8b83209b",
"0x8b83209b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9852595c",
"selector": "0x9852595c",
"calldata_variants": [
"0x9852595c",
"0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1036,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|