019b477e-da8f-720e-a34b-59aa4f3deef6
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 |
|---|---|---|---|---|
| 29491 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 29492 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 108661 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 108662 | capability.graph | complete | 1 / 3 | 1 week ago |
| 108663 | detector.run | complete | 1 / 3 | 1 week ago |
| 108664 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x40 00000002: PUSH1 0x80 00000004: DUP2 00000005: MSTORE 00000006: PUSH1 0x04 00000008: DUP1 00000009: CALLDATASIZE 0000000a: LT 0000000b: ISZERO 0000000c: PUSH2 0x0014 0000000f: JUMPI 00000010: PUSH1 0x00 00000012: DUP1 00000013: REVERT 00000014: JUMPDEST 00000015: PUSH1 0x00 00000017: SWAP2 00000018: DUP3 00000019: CALLDATALOAD 0000001a: PUSH1 0xe0 0000001c: SHR 0000001d: DUP1 0000001e: PUSH4 0x51cff8d9 00000023: EQ 00000024: PUSH2 0x0388 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0x715018a6 0000002e: EQ 0000002f: PUSH2 0x0328 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0x8129fc1c 00000039: EQ 0000003a: PUSH2 0x01f6 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0x8da5cb5b 00000044: EQ 00000045: PUSH2 0x01c9 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xe3a9db1a 0000004f: EQ 00000050: PUSH2 0x018f 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0xf2fde38b 0000005a: EQ 0000005b: PUSH2 0x00f8 0000005e: JUMPI 0000005f: PUSH4 0xf340fa01 00000064: EQ 00000065: PUSH2 0x006d 00000068: JUMPI 00000069: PUSH1 0x00 0000006b: DUP1 0000006c: REVERT 0000006d: JUMPDEST 0000006e: PUSH1 0x20 00000070: CALLDATASIZE 00000071: PUSH1 0x03 00000073: NOT 00000074: ADD 00000075: SLT 00000076: PUSH2 0x00f4 00000079: JUMPI 0000007a: DUP2 0000007b: CALLDATALOAD 0000007c: PUSH1 0x01 0000007e: PUSH1 0x01 00000080: PUSH1 0xa0 00000082: SHL 00000083: SUB 00000084: DUP2 00000085: AND 00000086: SWAP3 00000087: SWAP1 00000088: DUP4 00000089: SWAP1 0000008a: SUB 0000008b: PUSH2 0x00f0 0000008e: JUMPI 0000008f: PUSH2 0x0096 00000092: PUSH2 0x051d 00000095: JUMP 00000096: JUMPDEST 00000097: DUP3 00000098: DUP5 00000099: MSTORE 0000009a: PUSH1 0x65 0000009c: PUSH1 0x20 0000009e: MSTORE 0000009f: DUP2 000000a0: DUP5 000000a1: KECCAK256 000000a2: DUP1 000000a3: SLOAD 000000a4: SWAP2 000000a5: CALLVALUE 000000a6: DUP4 000000a7: ADD 000000a8: DUP1 000000a9: SWAP4 000000aa: GT 000000ab: PUSH2 0x00dd 000000ae: JUMPI 000000af: POP 000000b0: SSTORE 000000b1: MLOAD 000000b2: CALLVALUE 000000b3: DUP2 000000b4: MSTORE 000000b5: PUSH32 0x2da466a7b24304f47e87fa2e1e5a81b9831ce54fec19055ce277ca2f39ba42c4 000000d6: SWAP1 000000d7: PUSH1 0x20 000000d9: SWAP1 000000da: LOG2 000000db: DUP1 000000dc: RETURN 000000dd: JUMPDEST 000000de: PUSH4 0x4e487b71 000000e3: PUSH1 0xe0 000000e5: SHL 000000e6: DUP7 000000e7: MSTORE 000000e8: PUSH1 0x11 000000ea: SWAP1 000000eb: MSTORE 000000ec: PUSH1 0x24 000000ee: DUP6 000000ef: REVERT 000000f0: JUMPDEST 000000f1: DUP4 000000f2: DUP1 000000f3: REVERT 000000f4: JUMPDEST 000000f5: DUP3 000000f6: DUP1 000000f7: REVERT 000000f8: JUMPDEST 000000f9: POP 000000fa: SWAP1 000000fb: CALLVALUE 000000fc: PUSH2 0x00f4 000000ff: JUMPI 00000100: PUSH1 0x20 00000102: CALLDATASIZE 00000103: PUSH1 0x03 00000105: NOT 00000106: ADD 00000107: SLT 00000108: PUSH2 0x00f4 0000010b: JUMPI 0000010c: DUP1 0000010d: CALLDATALOAD 0000010e: SWAP2 0000010f: PUSH1 0x01 00000111: PUSH1 0x01 00000113: PUSH1 0xa0 00000115: SHL 00000116: SUB 00000117: DUP4 00000118: AND 00000119: DUP1 0000011a: DUP5 0000011b: SUB 0000011c: PUSH2 0x018b 0000011f: JUMPI 00000120: PUSH2 0x0127 00000123: PUSH2 0x051d 00000126: JUMP 00000127: JUMPDEST 00000128: ISZERO 00000129: PUSH2 0x0139 0000012c: JUMPI 0000012d: DUP4 0000012e: PUSH2 0x0136 00000131: DUP5 00000132: PUSH2 0x0575 00000135: JUMP 00000136: JUMPDEST 00000137: DUP1 00000138: RETURN 00000139: JUMPDEST 0000013a: SWAP1 0000013b: PUSH1 0x20 0000013d: PUSH1 0x84 0000013f: SWAP3 00000140: MLOAD 00000141: SWAP2 00000142: PUSH3 0x461bcd 00000146: PUSH1 0xe5 00000148: SHL 00000149: DUP4 0000014a: MSTORE 0000014b: DUP3 0000014c: ADD 0000014d: MSTORE 0000014e: PUSH1 0x26 00000150: PUSH1 0x24 00000152: DUP3 00000153: ADD 00000154: MSTORE 00000155: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000176: PUSH1 0x44 00000178: DUP3 00000179: ADD 0000017a: MSTORE 0000017b: PUSH6 0x646472657373 00000182: PUSH1 0xd0 00000184: SHL 00000185: PUSH1 0x64 00000187: DUP3 00000188: ADD 00000189: MSTORE 0000018a: REVERT 0000018b: JUMPDEST 0000018c: DUP5 0000018d: DUP1 0000018e: REVERT 0000018f: JUMPDEST 00000190: POP 00000191: SWAP1 00000192: CALLVALUE 00000193: PUSH2 0x00f4 00000196: JUMPI 00000197: PUSH1 0x20 00000199: CALLDATASIZE 0000019a: PUSH1 0x03 0000019c: NOT 0000019d: ADD 0000019e: SLT 0000019f: PUSH2 0x00f4 000001a2: JUMPI 000001a3: CALLDATALOAD 000001a4: PUSH1 0x01 000001a6: PUSH1 0x01 000001a8: PUSH1 0xa0 000001aa: SHL 000001ab: SUB 000001ac: DUP2 000001ad: AND 000001ae: SWAP1 000001af: DUP2 000001b0: SWAP1 000001b1: SUB 000001b2: PUSH2 0x00f4 000001b5: JUMPI 000001b6: DUP3 000001b7: DUP3 000001b8: SWAP2 000001b9: PUSH1 0x20 000001bb: SWAP5 000001bc: MSTORE 000001bd: PUSH1 0x65 000001bf: DUP5 000001c0: MSTORE 000001c1: KECCAK256 000001c2: SLOAD 000001c3: SWAP1 000001c4: MLOAD 000001c5: SWAP1 000001c6: DUP2 000001c7: MSTORE 000001c8: RETURN 000001c9: JUMPDEST 000001ca: DUP4 000001cb: DUP3 000001cc: CALLVALUE 000001cd: PUSH2 0x01f2 000001d0: JUMPI 000001d1: DUP2 000001d2: PUSH1 0x03 000001d4: NOT 000001d5: CALLDATASIZE 000001d6: ADD 000001d7: SLT 000001d8: PUSH2 0x01f2 000001db: JUMPI 000001dc: PUSH1 0x33 000001de: SLOAD 000001df: SWAP1 000001e0: MLOAD 000001e1: PUSH1 0x01 000001e3: PUSH1 0x01 000001e5: PUSH1 0xa0 000001e7: SHL 000001e8: SUB 000001e9: SWAP1 000001ea: SWAP2 000001eb: AND 000001ec: DUP2 000001ed: MSTORE 000001ee: PUSH1 0x20 000001f0: SWAP1 000001f1: RETURN 000001f2: JUMPDEST 000001f3: POP 000001f4: DUP1 000001f5: REVERT 000001f6: JUMPDEST 000001f7: POP 000001f8: SWAP1 000001f9: CALLVALUE 000001fa: PUSH2 0x00f4 000001fd: JUMPI 000001fe: DUP3 000001ff: PUSH1 0x03 00000201: NOT 00000202: CALLDATASIZE 00000203: ADD 00000204: SLT 00000205: PUSH2 0x00f4 00000208: JUMPI 00000209: DUP3 0000020a: SLOAD 0000020b: PUSH1 0xff 0000020d: DUP2 0000020e: PUSH1 0x08 00000210: SHR 00000211: AND 00000212: ISZERO 00000213: SWAP2 00000214: DUP3 00000215: DUP1 00000216: SWAP4 00000217: PUSH2 0x031b 0000021a: JUMPI 0000021b: JUMPDEST 0000021c: DUP1 0000021d: ISZERO 0000021e: PUSH2 0x0304 00000221: JUMPI 00000222: JUMPDEST 00000223: ISZERO 00000224: PUSH2 0x02aa 00000227: JUMPI 00000228: POP 00000229: PUSH1 0xff 0000022b: NOT 0000022c: DUP2 0000022d: AND 0000022e: PUSH1 0x01 00000230: OR 00000231: DUP5 00000232: SSTORE 00000233: DUP2 00000234: PUSH2 0x0299 00000237: JUMPI 00000238: JUMPDEST 00000239: POP 0000023a: PUSH2 0x0252 0000023d: PUSH1 0xff 0000023f: DUP5 00000240: SLOAD 00000241: PUSH1 0x08 00000243: SHR 00000244: AND 00000245: PUSH2 0x024d 00000248: DUP2 00000249: PUSH2 0x05be 0000024c: JUMP 0000024d: JUMPDEST 0000024e: PUSH2 0x05be 00000251: JUMP 00000252: JUMPDEST 00000253: PUSH2 0x025b 00000256: CALLER 00000257: PUSH2 0x0575 0000025a: JUMP 0000025b: JUMPDEST 0000025c: PUSH2 0x0263 0000025f: JUMPI 00000260: POP 00000261: DUP1 00000262: RETURN 00000263: JUMPDEST 00000264: PUSH1 0x20 00000266: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498 00000287: SWAP2 00000288: PUSH2 0xff00 0000028b: NOT 0000028c: DUP5 0000028d: SLOAD 0000028e: AND 0000028f: DUP5 00000290: SSTORE 00000291: MLOAD 00000292: PUSH1 0x01 00000294: DUP2 00000295: MSTORE 00000296: LOG1 00000297: DUP1 00000298: RETURN 00000299: JUMPDEST 0000029a: PUSH2 0xffff 0000029d: NOT 0000029e: AND 0000029f: PUSH2 0x0101 000002a2: OR 000002a3: DUP4 000002a4: SSTORE 000002a5: CODESIZE 000002a6: PUSH2 0x0238 000002a9: JUMP 000002aa: JUMPDEST 000002ab: PUSH1 0x84 000002ad: SWAP1 000002ae: PUSH1 0x20 000002b0: DUP6 000002b1: MLOAD 000002b2: SWAP2 000002b3: PUSH3 0x461bcd 000002b7: PUSH1 0xe5 000002b9: SHL 000002ba: DUP4 000002bb: MSTORE 000002bc: DUP3 000002bd: ADD 000002be: MSTORE 000002bf: PUSH1 0x2e 000002c1: PUSH1 0x24 000002c3: DUP3 000002c4: ADD 000002c5: MSTORE 000002c6: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561 000002e7: PUSH1 0x44 000002e9: DUP3 000002ea: ADD 000002eb: MSTORE 000002ec: PUSH14 0x191e481a5b9a5d1a585b1a5e9959 000002fb: PUSH1 0x92 000002fd: SHL 000002fe: PUSH1 0x64 00000300: DUP3 00000301: ADD 00000302: MSTORE 00000303: REVERT 00000304: JUMPDEST 00000305: POP 00000306: ADDRESS 00000307: EXTCODESIZE 00000308: ISZERO 00000309: DUP1 0000030a: ISZERO 0000030b: PUSH2 0x0222 0000030e: JUMPI 0000030f: POP 00000310: PUSH1 0x01 00000312: PUSH1 0xff 00000314: DUP4 00000315: AND 00000316: EQ 00000317: PUSH2 0x0222 0000031a: JUMP 0000031b: JUMPDEST 0000031c: POP 0000031d: PUSH1 0x01 0000031f: PUSH1 0xff 00000321: DUP4 00000322: AND 00000323: LT 00000324: PUSH2 0x021b 00000327: JUMP 00000328: JUMPDEST 00000329: DUP4 0000032a: CALLVALUE 0000032b: PUSH2 0x0385 0000032e: JUMPI 0000032f: DUP1 00000330: PUSH1 0x03 00000332: NOT 00000333: CALLDATASIZE 00000334: ADD 00000335: SLT 00000336: PUSH2 0x0385 00000339: JUMPI 0000033a: PUSH2 0x0341 0000033d: PUSH2 0x051d 00000340: JUMP 00000341: JUMPDEST 00000342: PUSH1 0x33 00000344: DUP1 00000345: SLOAD 00000346: PUSH1 0x01 00000348: PUSH1 0x01 0000034a: PUSH1 0xa0 0000034c: SHL 0000034d: SUB 0000034e: NOT 0000034f: DUP2 00000350: AND 00000351: SWAP1 00000352: SWAP2 00000353: SSTORE 00000354: DUP2 00000355: SWAP1 00000356: PUSH1 0x01 00000358: PUSH1 0x01 0000035a: PUSH1 0xa0 0000035c: SHL 0000035d: SUB 0000035e: AND 0000035f: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000380: DUP3 00000381: DUP1 00000382: LOG3 00000383: DUP1 00000384: RETURN 00000385: JUMPDEST 00000386: DUP1 00000387: REVERT 00000388: JUMPDEST 00000389: POP 0000038a: SWAP1 0000038b: CALLVALUE 0000038c: PUSH2 0x00f4 0000038f: JUMPI 00000390: PUSH1 0x20 00000392: SWAP1 00000393: DUP2 00000394: PUSH1 0x03 00000396: NOT 00000397: CALLDATASIZE 00000398: ADD 00000399: SLT 0000039a: PUSH2 0x00f0 0000039d: JUMPI 0000039e: DUP1 0000039f: CALLDATALOAD 000003a0: PUSH1 0x01 000003a2: PUSH1 0x01 000003a4: PUSH1 0xa0 000003a6: SHL 000003a7: SUB 000003a8: DUP2 000003a9: AND 000003aa: SWAP4 000003ab: SWAP1 000003ac: DUP5 000003ad: SWAP1 000003ae: SUB 000003af: PUSH2 0x018b 000003b2: JUMPI 000003b3: PUSH2 0x03ba 000003b6: PUSH2 0x051d 000003b9: JUMP 000003ba: JUMPDEST 000003bb: DUP4 000003bc: DUP6 000003bd: MSTORE 000003be: PUSH1 0x65 000003c0: DUP4 000003c1: MSTORE 000003c2: DUP1 000003c3: DUP6 000003c4: KECCAK256 000003c5: SWAP2 000003c6: DUP6 000003c7: DUP4 000003c8: SLOAD 000003c9: SWAP4 000003ca: SSTORE 000003cb: DUP3 000003cc: SELFBALANCE 000003cd: LT 000003ce: PUSH2 0x04dc 000003d1: JUMPI 000003d2: DUP6 000003d3: DUP1 000003d4: DUP1 000003d5: DUP1 000003d6: DUP7 000003d7: DUP10 000003d8: GAS 000003d9: CALL 000003da: RETURNDATASIZE 000003db: ISZERO 000003dc: PUSH2 0x04d7 000003df: JUMPI 000003e0: PUSH8 0xffffffffffffffff 000003e9: RETURNDATASIZE 000003ea: DUP2 000003eb: DUP2 000003ec: GT 000003ed: PUSH2 0x04c4 000003f0: JUMPI 000003f1: DUP5 000003f2: MLOAD 000003f3: SWAP2 000003f4: PUSH1 0x1f 000003f6: DUP3 000003f7: ADD 000003f8: PUSH1 0x1f 000003fa: NOT 000003fb: SWAP1 000003fc: DUP2 000003fd: AND 000003fe: PUSH1 0x3f 00000400: ADD 00000401: AND 00000402: DUP4 00000403: ADD 00000404: SWAP1 00000405: DUP2 00000406: GT 00000407: DUP4 00000408: DUP3 00000409: LT 0000040a: OR 0000040b: PUSH2 0x04b1 0000040e: JUMPI 0000040f: DUP6 00000410: MSTORE 00000411: DUP2 00000412: MSTORE 00000413: DUP8 00000414: DUP7 00000415: RETURNDATASIZE 00000416: SWAP3 00000417: ADD 00000418: RETURNDATACOPY 00000419: JUMPDEST 0000041a: ISZERO 0000041b: PUSH2 0x044a 0000041e: JUMPI 0000041f: POP 00000420: MLOAD 00000421: SWAP1 00000422: DUP2 00000423: MSTORE 00000424: PUSH32 0x7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d5 00000445: SWAP2 00000446: SWAP1 00000447: LOG2 00000448: DUP1 00000449: RETURN 0000044a: JUMPDEST 0000044b: DUP4 0000044c: PUSH1 0x84 0000044e: SWAP3 0000044f: MLOAD 00000450: SWAP2 00000451: PUSH3 0x461bcd 00000455: PUSH1 0xe5 00000457: SHL 00000458: DUP4 00000459: MSTORE 0000045a: DUP3 0000045b: ADD 0000045c: MSTORE 0000045d: PUSH1 0x3a 0000045f: PUSH1 0x24 00000461: DUP3 00000462: ADD 00000463: MSTORE 00000464: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 00000485: PUSH1 0x44 00000487: DUP3 00000488: ADD 00000489: MSTORE 0000048a: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 000004ab: PUSH1 0x64 000004ad: DUP3 000004ae: ADD 000004af: MSTORE 000004b0: REVERT 000004b1: JUMPDEST 000004b2: PUSH4 0x4e487b71 000004b7: PUSH1 0xe0 000004b9: SHL 000004ba: DUP11 000004bb: MSTORE 000004bc: PUSH1 0x41 000004be: DUP6 000004bf: MSTORE 000004c0: PUSH1 0x24 000004c2: DUP11 000004c3: REVERT 000004c4: JUMPDEST 000004c5: PUSH4 0x4e487b71 000004ca: PUSH1 0xe0 000004cc: SHL 000004cd: DUP10 000004ce: MSTORE 000004cf: PUSH1 0x41 000004d1: DUP5 000004d2: MSTORE 000004d3: PUSH1 0x24 000004d5: DUP10 000004d6: REVERT 000004d7: JUMPDEST 000004d8: PUSH2 0x0419 000004db: JUMP 000004dc: JUMPDEST 000004dd: DUP4 000004de: PUSH1 0x64 000004e0: SWAP3 000004e1: MLOAD 000004e2: SWAP2 000004e3: PUSH3 0x461bcd 000004e7: PUSH1 0xe5 000004e9: SHL 000004ea: DUP4 000004eb: MSTORE 000004ec: DUP3 000004ed: ADD 000004ee: MSTORE 000004ef: PUSH1 0x1d 000004f1: PUSH1 0x24 000004f3: DUP3 000004f4: ADD 000004f5: MSTORE 000004f6: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 00000517: PUSH1 0x44 00000519: DUP3 0000051a: ADD 0000051b: MSTORE 0000051c: REVERT 0000051d: JUMPDEST 0000051e: PUSH1 0x33 00000520: SLOAD 00000521: PUSH1 0x01 00000523: PUSH1 0x01 00000525: PUSH1 0xa0 00000527: SHL 00000528: SUB 00000529: AND 0000052a: CALLER 0000052b: SUB 0000052c: PUSH2 0x0531 0000052f: JUMPI 00000530: JUMP 00000531: JUMPDEST 00000532: PUSH1 0x64 00000534: PUSH1 0x40 00000536: MLOAD 00000537: PUSH3 0x461bcd 0000053b: PUSH1 0xe5 0000053d: SHL 0000053e: DUP2 0000053f: MSTORE 00000540: PUSH1 0x20 00000542: PUSH1 0x04 00000544: DUP3 00000545: ADD 00000546: MSTORE 00000547: PUSH1 0x20 00000549: PUSH1 0x24 0000054b: DUP3 0000054c: ADD 0000054d: MSTORE 0000054e: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000056f: PUSH1 0x44 00000571: DUP3 00000572: ADD 00000573: MSTORE 00000574: REVERT 00000575: JUMPDEST 00000576: PUSH1 0x33 00000578: DUP1 00000579: SLOAD 0000057a: PUSH1 0x01 0000057c: PUSH1 0x01 0000057e: PUSH1 0xa0 00000580: SHL 00000581: SUB 00000582: SWAP3 00000583: DUP4 00000584: AND 00000585: PUSH1 0x01 00000587: PUSH1 0x01 00000589: PUSH1 0xa0 0000058b: SHL 0000058c: SUB 0000058d: NOT 0000058e: DUP3 0000058f: AND 00000590: DUP2 00000591: OR 00000592: SWAP1 00000593: SWAP3 00000594: SSTORE 00000595: SWAP1 00000596: SWAP2 00000597: AND 00000598: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000005b9: PUSH1 0x00 000005bb: DUP1 000005bc: LOG3 000005bd: JUMP 000005be: JUMPDEST 000005bf: ISZERO 000005c0: PUSH2 0x05c5 000005c3: JUMPI 000005c4: JUMP 000005c5: JUMPDEST 000005c6: PUSH1 0x40 000005c8: MLOAD 000005c9: PUSH3 0x461bcd 000005cd: PUSH1 0xe5 000005cf: SHL 000005d0: DUP2 000005d1: MSTORE 000005d2: PUSH1 0x20 000005d4: PUSH1 0x04 000005d6: DUP3 000005d7: ADD 000005d8: MSTORE 000005d9: PUSH1 0x2b 000005db: PUSH1 0x24 000005dd: DUP3 000005de: ADD 000005df: MSTORE 000005e0: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069 00000601: PUSH1 0x44 00000603: DUP3 00000604: ADD 00000605: MSTORE 00000606: PUSH11 0x6e697469616c697a696e67 00000612: PUSH1 0xa8 00000614: SHL 00000615: PUSH1 0x64 00000617: DUP3 00000618: ADD 00000619: MSTORE 0000061a: PUSH1 0x84 0000061c: SWAP1 0000061d: REVERT 0000061e: INVALID 0000061f: LOG2 00000620: PUSH5 0x6970667358 00000626: UNKNOWN(0x22) 00000627: SLT 00000628: KECCAK256 00000629: SDIV 0000062a: BLOBBASEFEE 0000062b: TIMESTAMP 0000062c: MCOPY 0000062d: PUSH5 0x709b9c309f 00000633: PUSH14 0x332ccce24b81225a75a12682ce0d 00000642: UNKNOWN(0xB2) 00000643: UNKNOWN(0xA8) 00000644: UNKNOWN(0x0E) 00000645: PUSH0 00000646: LT 00000647: MSTORE 00000648: UNKNOWN(0xEB) 00000649: PUSH5 0x736f6c6343 0000064f: STOP 00000650: ADDMOD 00000651: ISZERO 00000652: STOP 00000653: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xb90c9ec80a95b35b18ed2b6b61fbe9ad925d97cfb19ca491603812151b82a473
call_targets:
0xeccab9c4c5cfee8bcfad15942da8e1deab3db33d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb90c9ec80a95b35b18ed2b6b61fbe9ad925d97cfb19ca491603812151b82a473",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xeccab9c4c5cfee8bcfad15942da8e1deab3db33d"
],
"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": "0x51cff8d9",
"selector": "0x51cff8d9",
"calldata_variants": [
"0x51cff8d9",
"0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8129fc1c",
"selector": "0x8129fc1c",
"calldata_variants": [
"0x8129fc1c",
"0x8129fc1c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"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"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 985,
"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: 0xb90c9ec80a95b35b18ed2b6b61fbe9ad925d97cfb19ca491603812151b82a473
call_targets:
0xeccab9c4c5cfee8bcfad15942da8e1deab3db33d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb90c9ec80a95b35b18ed2b6b61fbe9ad925d97cfb19ca491603812151b82a473",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xeccab9c4c5cfee8bcfad15942da8e1deab3db33d"
],
"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": "0x51cff8d9",
"selector": "0x51cff8d9",
"calldata_variants": [
"0x51cff8d9",
"0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8129fc1c",
"selector": "0x8129fc1c",
"calldata_variants": [
"0x8129fc1c",
"0x8129fc1c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"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"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 985,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|