019b477e-bedc-73d6-9507-3a5a7f59a6c2
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 |
|---|---|---|---|---|
| 24447 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 24448 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 67778 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 67779 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 67780 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 67781 | 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 0x009c 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0xcec278e8 00000019: GT 0000001a: PUSH2 0x0064 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xcec278e8 00000024: EQ 00000025: PUSH2 0x019c 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xcf02c78c 0000002f: EQ 00000030: PUSH2 0x01b1 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd4b83992 0000003a: EQ 0000003b: PUSH2 0x01c6 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2fde38b 00000045: EQ 00000046: PUSH2 0x01db 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf4873bc2 00000050: EQ 00000051: PUSH2 0x020e 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf4fa6c1d 0000005b: EQ 0000005c: PUSH2 0x0223 0000005f: JUMPI 00000060: PUSH2 0x009c 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x12065fe0 0000006b: EQ 0000006c: PUSH2 0x00d8 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x2119febc 00000076: EQ 00000077: PUSH2 0x00ff 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x3d2387ac 00000081: EQ 00000082: PUSH2 0x012b 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x763dfbed 0000008c: EQ 0000008d: PUSH2 0x0164 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x7b610a4c 00000097: EQ 00000098: PUSH2 0x016c 0000009b: JUMPI 0000009c: JUMPDEST 0000009d: PUSH1 0x40 0000009f: DUP1 000000a0: MLOAD 000000a1: CALLER 000000a2: DUP2 000000a3: MSTORE 000000a4: CALLVALUE 000000a5: PUSH1 0x20 000000a7: DUP3 000000a8: ADD 000000a9: MSTORE 000000aa: DUP2 000000ab: MLOAD 000000ac: PUSH32 0xa943f57a31fd540dd5da39b3fbf9b1c33e517c0adffe9e0bdae59e0242b47fcf 000000cd: SWAP3 000000ce: SWAP2 000000cf: DUP2 000000d0: SWAP1 000000d1: SUB 000000d2: SWAP1 000000d3: SWAP2 000000d4: ADD 000000d5: SWAP1 000000d6: LOG1 000000d7: STOP 000000d8: JUMPDEST 000000d9: CALLVALUE 000000da: DUP1 000000db: ISZERO 000000dc: PUSH2 0x00e4 000000df: JUMPI 000000e0: PUSH1 0x00 000000e2: DUP1 000000e3: REVERT 000000e4: JUMPDEST 000000e5: POP 000000e6: PUSH2 0x00ed 000000e9: PUSH2 0x0238 000000ec: JUMP 000000ed: JUMPDEST 000000ee: PUSH1 0x40 000000f0: DUP1 000000f1: MLOAD 000000f2: SWAP2 000000f3: DUP3 000000f4: MSTORE 000000f5: MLOAD 000000f6: SWAP1 000000f7: DUP2 000000f8: SWAP1 000000f9: SUB 000000fa: PUSH1 0x20 000000fc: ADD 000000fd: SWAP1 000000fe: RETURN 000000ff: JUMPDEST 00000100: CALLVALUE 00000101: DUP1 00000102: ISZERO 00000103: PUSH2 0x010b 00000106: JUMPI 00000107: PUSH1 0x00 00000109: DUP1 0000010a: REVERT 0000010b: JUMPDEST 0000010c: POP 0000010d: PUSH2 0x0129 00000110: PUSH1 0x04 00000112: DUP1 00000113: CALLDATASIZE 00000114: SUB 00000115: PUSH1 0x20 00000117: DUP2 00000118: LT 00000119: ISZERO 0000011a: PUSH2 0x0122 0000011d: JUMPI 0000011e: PUSH1 0x00 00000120: DUP1 00000121: REVERT 00000122: JUMPDEST 00000123: POP 00000124: CALLDATALOAD 00000125: PUSH2 0x0256 00000128: JUMP 00000129: JUMPDEST 0000012a: STOP 0000012b: JUMPDEST 0000012c: CALLVALUE 0000012d: DUP1 0000012e: ISZERO 0000012f: PUSH2 0x0137 00000132: JUMPI 00000133: PUSH1 0x00 00000135: DUP1 00000136: REVERT 00000137: JUMPDEST 00000138: POP 00000139: PUSH2 0x0129 0000013c: PUSH1 0x04 0000013e: DUP1 0000013f: CALLDATASIZE 00000140: SUB 00000141: PUSH1 0x40 00000143: DUP2 00000144: LT 00000145: ISZERO 00000146: PUSH2 0x014e 00000149: JUMPI 0000014a: PUSH1 0x00 0000014c: DUP1 0000014d: REVERT 0000014e: JUMPDEST 0000014f: POP 00000150: PUSH1 0x01 00000152: PUSH1 0x01 00000154: PUSH1 0xa0 00000156: SHL 00000157: SUB 00000158: DUP2 00000159: CALLDATALOAD 0000015a: AND 0000015b: SWAP1 0000015c: PUSH1 0x20 0000015e: ADD 0000015f: CALLDATALOAD 00000160: PUSH2 0x02f0 00000163: JUMP 00000164: JUMPDEST 00000165: PUSH2 0x0129 00000168: PUSH2 0x042d 0000016b: JUMP 0000016c: JUMPDEST 0000016d: CALLVALUE 0000016e: DUP1 0000016f: ISZERO 00000170: PUSH2 0x0178 00000173: JUMPI 00000174: PUSH1 0x00 00000176: DUP1 00000177: REVERT 00000178: JUMPDEST 00000179: POP 0000017a: PUSH2 0x0129 0000017d: PUSH1 0x04 0000017f: DUP1 00000180: CALLDATASIZE 00000181: SUB 00000182: PUSH1 0x40 00000184: DUP2 00000185: LT 00000186: ISZERO 00000187: PUSH2 0x018f 0000018a: JUMPI 0000018b: PUSH1 0x00 0000018d: DUP1 0000018e: REVERT 0000018f: JUMPDEST 00000190: POP 00000191: DUP1 00000192: CALLDATALOAD 00000193: SWAP1 00000194: PUSH1 0x20 00000196: ADD 00000197: CALLDATALOAD 00000198: PUSH2 0x04c6 0000019b: JUMP 0000019c: JUMPDEST 0000019d: CALLVALUE 0000019e: DUP1 0000019f: ISZERO 000001a0: PUSH2 0x01a8 000001a3: JUMPI 000001a4: PUSH1 0x00 000001a6: DUP1 000001a7: REVERT 000001a8: JUMPDEST 000001a9: POP 000001aa: PUSH2 0x00ed 000001ad: PUSH2 0x0530 000001b0: JUMP 000001b1: JUMPDEST 000001b2: CALLVALUE 000001b3: DUP1 000001b4: ISZERO 000001b5: PUSH2 0x01bd 000001b8: JUMPI 000001b9: PUSH1 0x00 000001bb: DUP1 000001bc: REVERT 000001bd: JUMPDEST 000001be: POP 000001bf: PUSH2 0x00ed 000001c2: PUSH2 0x0536 000001c5: JUMP 000001c6: JUMPDEST 000001c7: CALLVALUE 000001c8: DUP1 000001c9: ISZERO 000001ca: PUSH2 0x01d2 000001cd: JUMPI 000001ce: PUSH1 0x00 000001d0: DUP1 000001d1: REVERT 000001d2: JUMPDEST 000001d3: POP 000001d4: PUSH2 0x00ed 000001d7: PUSH2 0x053c 000001da: JUMP 000001db: JUMPDEST 000001dc: CALLVALUE 000001dd: DUP1 000001de: ISZERO 000001df: PUSH2 0x01e7 000001e2: JUMPI 000001e3: PUSH1 0x00 000001e5: DUP1 000001e6: REVERT 000001e7: JUMPDEST 000001e8: POP 000001e9: PUSH2 0x0129 000001ec: PUSH1 0x04 000001ee: DUP1 000001ef: CALLDATASIZE 000001f0: SUB 000001f1: PUSH1 0x20 000001f3: DUP2 000001f4: LT 000001f5: ISZERO 000001f6: PUSH2 0x01fe 000001f9: JUMPI 000001fa: PUSH1 0x00 000001fc: DUP1 000001fd: REVERT 000001fe: JUMPDEST 000001ff: POP 00000200: CALLDATALOAD 00000201: PUSH1 0x01 00000203: PUSH1 0x01 00000205: PUSH1 0xa0 00000207: SHL 00000208: SUB 00000209: AND 0000020a: PUSH2 0x0542 0000020d: JUMP 0000020e: JUMPDEST 0000020f: CALLVALUE 00000210: DUP1 00000211: ISZERO 00000212: PUSH2 0x021a 00000215: JUMPI 00000216: PUSH1 0x00 00000218: DUP1 00000219: REVERT 0000021a: JUMPDEST 0000021b: POP 0000021c: PUSH2 0x00ed 0000021f: PUSH2 0x0605 00000222: JUMP 00000223: JUMPDEST 00000224: CALLVALUE 00000225: DUP1 00000226: ISZERO 00000227: PUSH2 0x022f 0000022a: JUMPI 0000022b: PUSH1 0x00 0000022d: DUP1 0000022e: REVERT 0000022f: JUMPDEST 00000230: POP 00000231: PUSH2 0x00ed 00000234: PUSH2 0x060b 00000237: JUMP 00000238: JUMPDEST 00000239: PUSH1 0x00 0000023b: DUP1 0000023c: SLOAD 0000023d: PUSH1 0x01 0000023f: PUSH1 0x01 00000241: PUSH1 0xa0 00000243: SHL 00000244: SUB 00000245: AND 00000246: CALLER 00000247: EQ 00000248: PUSH2 0x0250 0000024b: JUMPI 0000024c: PUSH1 0x00 0000024e: DUP1 0000024f: REVERT 00000250: JUMPDEST 00000251: POP 00000252: ADDRESS 00000253: BALANCE 00000254: SWAP1 00000255: JUMP 00000256: JUMPDEST 00000257: PUSH1 0x00 00000259: DUP2 0000025a: GT 0000025b: PUSH2 0x02a0 0000025e: JUMPI 0000025f: PUSH1 0x40 00000261: DUP1 00000262: MLOAD 00000263: PUSH1 0x01 00000265: PUSH1 0xe5 00000267: SHL 00000268: PUSH3 0x461bcd 0000026c: MUL 0000026d: DUP2 0000026e: MSTORE 0000026f: PUSH1 0x20 00000271: PUSH1 0x04 00000273: DUP3 00000274: ADD 00000275: MSTORE 00000276: PUSH1 0x0c 00000278: PUSH1 0x24 0000027a: DUP3 0000027b: ADD 0000027c: MSTORE 0000027d: PUSH1 0x01 0000027f: PUSH1 0xa0 00000281: SHL 00000282: PUSH12 0x696e76616c69642072617465 0000028f: MUL 00000290: PUSH1 0x44 00000292: DUP3 00000293: ADD 00000294: MSTORE 00000295: SWAP1 00000296: MLOAD 00000297: SWAP1 00000298: DUP2 00000299: SWAP1 0000029a: SUB 0000029b: PUSH1 0x64 0000029d: ADD 0000029e: SWAP1 0000029f: REVERT 000002a0: JUMPDEST 000002a1: PUSH1 0x64 000002a3: DUP2 000002a4: GT 000002a5: ISZERO 000002a6: PUSH2 0x02eb 000002a9: JUMPI 000002aa: PUSH1 0x40 000002ac: DUP1 000002ad: MLOAD 000002ae: PUSH1 0x01 000002b0: PUSH1 0xe5 000002b2: SHL 000002b3: PUSH3 0x461bcd 000002b7: MUL 000002b8: DUP2 000002b9: MSTORE 000002ba: PUSH1 0x20 000002bc: PUSH1 0x04 000002be: DUP3 000002bf: ADD 000002c0: MSTORE 000002c1: PUSH1 0x0c 000002c3: PUSH1 0x24 000002c5: DUP3 000002c6: ADD 000002c7: MSTORE 000002c8: PUSH1 0x01 000002ca: PUSH1 0xa0 000002cc: SHL 000002cd: PUSH12 0x696e76616c69642072617465 000002da: MUL 000002db: PUSH1 0x44 000002dd: DUP3 000002de: ADD 000002df: MSTORE 000002e0: SWAP1 000002e1: MLOAD 000002e2: SWAP1 000002e3: DUP2 000002e4: SWAP1 000002e5: SUB 000002e6: PUSH1 0x64 000002e8: ADD 000002e9: SWAP1 000002ea: REVERT 000002eb: JUMPDEST 000002ec: PUSH1 0x04 000002ee: SSTORE 000002ef: JUMP 000002f0: JUMPDEST 000002f1: PUSH1 0x00 000002f3: SLOAD 000002f4: PUSH1 0x01 000002f6: PUSH1 0x01 000002f8: PUSH1 0xa0 000002fa: SHL 000002fb: SUB 000002fc: AND 000002fd: CALLER 000002fe: EQ 000002ff: PUSH2 0x0352 00000302: JUMPI 00000303: PUSH1 0x40 00000305: DUP1 00000306: MLOAD 00000307: PUSH1 0x01 00000309: PUSH1 0xe5 0000030b: SHL 0000030c: PUSH3 0x461bcd 00000310: MUL 00000311: DUP2 00000312: MSTORE 00000313: PUSH1 0x20 00000315: PUSH1 0x04 00000317: DUP3 00000318: ADD 00000319: MSTORE 0000031a: PUSH1 0x1f 0000031c: PUSH1 0x24 0000031e: DUP3 0000031f: ADD 00000320: MSTORE 00000321: PUSH32 0x596f75277265206e6f74206f776e6572206f6620746865206163636f756e7400 00000342: PUSH1 0x44 00000344: DUP3 00000345: ADD 00000346: MSTORE 00000347: SWAP1 00000348: MLOAD 00000349: SWAP1 0000034a: DUP2 0000034b: SWAP1 0000034c: SUB 0000034d: PUSH1 0x64 0000034f: ADD 00000350: SWAP1 00000351: REVERT 00000352: JUMPDEST 00000353: ADDRESS 00000354: BALANCE 00000355: DUP2 00000356: LT 00000357: PUSH2 0x03aa 0000035a: JUMPI 0000035b: PUSH1 0x40 0000035d: DUP1 0000035e: MLOAD 0000035f: PUSH1 0x01 00000361: PUSH1 0xe5 00000363: SHL 00000364: PUSH3 0x461bcd 00000368: MUL 00000369: DUP2 0000036a: MSTORE 0000036b: PUSH1 0x20 0000036d: PUSH1 0x04 0000036f: DUP3 00000370: ADD 00000371: MSTORE 00000372: PUSH1 0x15 00000374: PUSH1 0x24 00000376: DUP3 00000377: ADD 00000378: MSTORE 00000379: PUSH32 0x496e73756666696369656e742062616c616e63652e0000000000000000000000 0000039a: PUSH1 0x44 0000039c: DUP3 0000039d: ADD 0000039e: MSTORE 0000039f: SWAP1 000003a0: MLOAD 000003a1: SWAP1 000003a2: DUP2 000003a3: SWAP1 000003a4: SUB 000003a5: PUSH1 0x64 000003a7: ADD 000003a8: SWAP1 000003a9: REVERT 000003aa: JUMPDEST 000003ab: PUSH1 0x40 000003ad: MLOAD 000003ae: PUSH1 0x01 000003b0: PUSH1 0x01 000003b2: PUSH1 0xa0 000003b4: SHL 000003b5: SUB 000003b6: DUP4 000003b7: AND 000003b8: SWAP1 000003b9: DUP3 000003ba: ISZERO 000003bb: PUSH2 0x08fc 000003be: MUL 000003bf: SWAP1 000003c0: DUP4 000003c1: SWAP1 000003c2: PUSH1 0x00 000003c4: DUP2 000003c5: DUP2 000003c6: DUP2 000003c7: DUP6 000003c8: DUP9 000003c9: DUP9 000003ca: CALL 000003cb: SWAP4 000003cc: POP 000003cd: POP 000003ce: POP 000003cf: POP 000003d0: ISZERO 000003d1: DUP1 000003d2: ISZERO 000003d3: PUSH2 0x03e0 000003d6: JUMPI 000003d7: RETURNDATASIZE 000003d8: PUSH1 0x00 000003da: DUP1 000003db: RETURNDATACOPY 000003dc: RETURNDATASIZE 000003dd: PUSH1 0x00 000003df: REVERT 000003e0: JUMPDEST 000003e1: POP 000003e2: PUSH1 0x40 000003e4: DUP1 000003e5: MLOAD 000003e6: CALLER 000003e7: DUP2 000003e8: MSTORE 000003e9: PUSH1 0x01 000003eb: PUSH1 0x01 000003ed: PUSH1 0xa0 000003ef: SHL 000003f0: SUB 000003f1: DUP5 000003f2: AND 000003f3: PUSH1 0x20 000003f5: DUP3 000003f6: ADD 000003f7: MSTORE 000003f8: DUP1 000003f9: DUP3 000003fa: ADD 000003fb: DUP4 000003fc: SWAP1 000003fd: MSTORE 000003fe: SWAP1 000003ff: MLOAD 00000400: PUSH32 0x0286ffa458b3f3d006e41445212100ccecaf1d12b275babdcf6295b1bf561ab8 00000421: SWAP2 00000422: DUP2 00000423: SWAP1 00000424: SUB 00000425: PUSH1 0x60 00000427: ADD 00000428: SWAP1 00000429: LOG1 0000042a: POP 0000042b: POP 0000042c: JUMP 0000042d: JUMPDEST 0000042e: PUSH1 0x5a 00000430: PUSH1 0x04 00000432: SLOAD 00000433: LT 00000434: ISZERO 00000435: PUSH2 0x0472 00000438: JUMPI 00000439: PUSH1 0x40 0000043b: MLOAD 0000043c: PUSH1 0x01 0000043e: PUSH1 0xe5 00000440: SHL 00000441: PUSH3 0x461bcd 00000445: MUL 00000446: DUP2 00000447: MSTORE 00000448: PUSH1 0x04 0000044a: ADD 0000044b: DUP1 0000044c: DUP1 0000044d: PUSH1 0x20 0000044f: ADD 00000450: DUP3 00000451: DUP2 00000452: SUB 00000453: DUP3 00000454: MSTORE 00000455: PUSH1 0x28 00000457: DUP2 00000458: MSTORE 00000459: PUSH1 0x20 0000045b: ADD 0000045c: DUP1 0000045d: PUSH2 0x0612 00000460: PUSH1 0x28 00000462: SWAP2 00000463: CODECOPY 00000464: PUSH1 0x40 00000466: ADD 00000467: SWAP2 00000468: POP 00000469: POP 0000046a: PUSH1 0x40 0000046c: MLOAD 0000046d: DUP1 0000046e: SWAP2 0000046f: SUB 00000470: SWAP1 00000471: REVERT 00000472: JUMPDEST 00000473: ADDRESS 00000474: PUSH1 0x00 00000476: SWAP1 00000477: DUP2 00000478: MSTORE 00000479: PUSH1 0x01 0000047b: PUSH1 0x20 0000047d: SWAP1 0000047e: DUP2 0000047f: MSTORE 00000480: PUSH1 0x40 00000482: SWAP2 00000483: DUP3 00000484: SWAP1 00000485: KECCAK256 00000486: DUP1 00000487: SLOAD 00000488: CALLVALUE 00000489: SWAP1 0000048a: DUP2 0000048b: ADD 0000048c: SWAP1 0000048d: SWAP2 0000048e: SSTORE 0000048f: DUP3 00000490: MLOAD 00000491: CALLER 00000492: DUP2 00000493: MSTORE 00000494: SWAP2 00000495: DUP3 00000496: ADD 00000497: MSTORE 00000498: DUP2 00000499: MLOAD 0000049a: PUSH32 0xa943f57a31fd540dd5da39b3fbf9b1c33e517c0adffe9e0bdae59e0242b47fcf 000004bb: SWAP3 000004bc: SWAP2 000004bd: DUP2 000004be: SWAP1 000004bf: SUB 000004c0: SWAP1 000004c1: SWAP2 000004c2: ADD 000004c3: SWAP1 000004c4: LOG1 000004c5: JUMP 000004c6: JUMPDEST 000004c7: PUSH1 0x00 000004c9: SLOAD 000004ca: PUSH1 0x01 000004cc: PUSH1 0x01 000004ce: PUSH1 0xa0 000004d0: SHL 000004d1: SUB 000004d2: AND 000004d3: CALLER 000004d4: EQ 000004d5: PUSH2 0x0528 000004d8: JUMPI 000004d9: PUSH1 0x40 000004db: DUP1 000004dc: MLOAD 000004dd: PUSH1 0x01 000004df: PUSH1 0xe5 000004e1: SHL 000004e2: PUSH3 0x461bcd 000004e6: MUL 000004e7: DUP2 000004e8: MSTORE 000004e9: PUSH1 0x20 000004eb: PUSH1 0x04 000004ed: DUP3 000004ee: ADD 000004ef: MSTORE 000004f0: PUSH1 0x1f 000004f2: PUSH1 0x24 000004f4: DUP3 000004f5: ADD 000004f6: MSTORE 000004f7: PUSH32 0x596f75277265206e6f74206f776e6572206f6620746865206163636f756e7400 00000518: PUSH1 0x44 0000051a: DUP3 0000051b: ADD 0000051c: MSTORE 0000051d: SWAP1 0000051e: MLOAD 0000051f: SWAP1 00000520: DUP2 00000521: SWAP1 00000522: SUB 00000523: PUSH1 0x64 00000525: ADD 00000526: SWAP1 00000527: REVERT 00000528: JUMPDEST 00000529: PUSH1 0x03 0000052b: SSTORE 0000052c: PUSH1 0x02 0000052e: SSTORE 0000052f: JUMP 00000530: JUMPDEST 00000531: PUSH1 0x03 00000533: SLOAD 00000534: SWAP1 00000535: JUMP 00000536: JUMPDEST 00000537: PUSH1 0x04 00000539: SLOAD 0000053a: DUP2 0000053b: JUMP 0000053c: JUMPDEST 0000053d: PUSH1 0x02 0000053f: SLOAD 00000540: DUP2 00000541: JUMP 00000542: JUMPDEST 00000543: PUSH1 0x00 00000545: SLOAD 00000546: PUSH1 0x01 00000548: PUSH1 0x01 0000054a: PUSH1 0xa0 0000054c: SHL 0000054d: SUB 0000054e: AND 0000054f: CALLER 00000550: EQ 00000551: PUSH2 0x05a4 00000554: JUMPI 00000555: PUSH1 0x40 00000557: DUP1 00000558: MLOAD 00000559: PUSH1 0x01 0000055b: PUSH1 0xe5 0000055d: SHL 0000055e: PUSH3 0x461bcd 00000562: MUL 00000563: DUP2 00000564: MSTORE 00000565: PUSH1 0x20 00000567: PUSH1 0x04 00000569: DUP3 0000056a: ADD 0000056b: DUP2 0000056c: SWAP1 0000056d: MSTORE 0000056e: PUSH1 0x24 00000570: DUP3 00000571: ADD 00000572: MSTORE 00000573: PUSH32 0x596f75277265206e6f74206f776e6572206f662074686520636f6e7472616374 00000594: PUSH1 0x44 00000596: DUP3 00000597: ADD 00000598: MSTORE 00000599: SWAP1 0000059a: MLOAD 0000059b: SWAP1 0000059c: DUP2 0000059d: SWAP1 0000059e: SUB 0000059f: PUSH1 0x64 000005a1: ADD 000005a2: SWAP1 000005a3: REVERT 000005a4: JUMPDEST 000005a5: PUSH1 0x01 000005a7: PUSH1 0x01 000005a9: PUSH1 0xa0 000005ab: SHL 000005ac: SUB 000005ad: DUP2 000005ae: AND 000005af: PUSH2 0x05b7 000005b2: JUMPI 000005b3: PUSH1 0x00 000005b5: DUP1 000005b6: REVERT 000005b7: JUMPDEST 000005b8: PUSH1 0x00 000005ba: DUP1 000005bb: SLOAD 000005bc: PUSH1 0x01 000005be: PUSH1 0x01 000005c0: PUSH1 0xa0 000005c2: SHL 000005c3: SUB 000005c4: NOT 000005c5: AND 000005c6: PUSH1 0x01 000005c8: PUSH1 0x01 000005ca: PUSH1 0xa0 000005cc: SHL 000005cd: SUB 000005ce: DUP4 000005cf: DUP2 000005d0: AND 000005d1: SWAP2 000005d2: DUP3 000005d3: OR 000005d4: DUP1 000005d5: DUP5 000005d6: SSTORE 000005d7: PUSH1 0x40 000005d9: MLOAD 000005da: SWAP3 000005db: SWAP4 000005dc: SWAP2 000005dd: AND 000005de: SWAP2 000005df: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000600: SWAP2 00000601: SWAP1 00000602: LOG3 00000603: POP 00000604: JUMP 00000605: JUMPDEST 00000606: PUSH1 0x02 00000608: SLOAD 00000609: SWAP1 0000060a: JUMP 0000060b: JUMPDEST 0000060c: PUSH1 0x03 0000060e: SLOAD 0000060f: DUP2 00000610: JUMP 00000611: INVALID 00000612: PUSH7 0x756c66696c6c6d 0000061a: PUSH6 0x6e7420726174 00000621: PUSH6 0x206c65737320 00000628: PUSH21 0x68616e20393025202c2073746f70207073a165627a 0000063e: PUSH27 0x72305820014d54887e509927842489dfc9c8eaffa0d06f99de4392 0000065a: PUSH13
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x6060c8ce8ff340634a257800b6a6ee210b17ae2eb44b86b84b8898ebaedee76f
call_targets:
0x80c48f90d835c641e293962f44bb57ae18bf48b4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6060c8ce8ff340634a257800b6a6ee210b17ae2eb44b86b84b8898ebaedee76f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x80c48f90d835c641e293962f44bb57ae18bf48b4"
],
"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": "0xcec278e8",
"selector": "0xcec278e8",
"calldata_variants": [
"0xcec278e8",
"0xcec278e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcf02c78c",
"selector": "0xcf02c78c",
"calldata_variants": [
"0xcf02c78c",
"0xcf02c78c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd4b83992",
"selector": "0xd4b83992",
"calldata_variants": [
"0xd4b83992",
"0xd4b839920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4873bc2",
"selector": "0xf4873bc2",
"calldata_variants": [
"0xf4873bc2",
"0xf4873bc20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4fa6c1d",
"selector": "0xf4fa6c1d",
"calldata_variants": [
"0xf4fa6c1d",
"0xf4fa6c1d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x12065fe0",
"selector": "0x12065fe0",
"calldata_variants": [
"0x12065fe0",
"0x12065fe00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2119febc",
"selector": "0x2119febc",
"calldata_variants": [
"0x2119febc",
"0x2119febc0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 970,
"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: 0x6060c8ce8ff340634a257800b6a6ee210b17ae2eb44b86b84b8898ebaedee76f
call_targets:
0x80c48f90d835c641e293962f44bb57ae18bf48b4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6060c8ce8ff340634a257800b6a6ee210b17ae2eb44b86b84b8898ebaedee76f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x80c48f90d835c641e293962f44bb57ae18bf48b4"
],
"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": "0xcec278e8",
"selector": "0xcec278e8",
"calldata_variants": [
"0xcec278e8",
"0xcec278e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcf02c78c",
"selector": "0xcf02c78c",
"calldata_variants": [
"0xcf02c78c",
"0xcf02c78c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd4b83992",
"selector": "0xd4b83992",
"calldata_variants": [
"0xd4b83992",
"0xd4b839920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4873bc2",
"selector": "0xf4873bc2",
"calldata_variants": [
"0xf4873bc2",
"0xf4873bc20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4fa6c1d",
"selector": "0xf4fa6c1d",
"calldata_variants": [
"0xf4fa6c1d",
"0xf4fa6c1d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x12065fe0",
"selector": "0x12065fe0",
"calldata_variants": [
"0x12065fe0",
"0x12065fe00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2119febc",
"selector": "0x2119febc",
"calldata_variants": [
"0x2119febc",
"0x2119febc0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 970,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|