019b477e-b3a8-72af-aba5-57974576329c
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 |
|---|---|---|---|---|
| 22593 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22594 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 89701 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 89702 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 89703 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 89704 | 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 0x007d 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: DUP1 00000031: PUSH4 0x01cb3b20 00000036: EQ 00000037: PUSH2 0x0176 0000003a: JUMPI 0000003b: DUP1 0000003c: PUSH4 0x29dcb0cf 00000041: EQ 00000042: PUSH2 0x018d 00000045: JUMPI 00000046: DUP1 00000047: PUSH4 0x38af3eed 0000004c: EQ 0000004d: PUSH2 0x01b8 00000050: JUMPI 00000051: DUP1 00000052: PUSH4 0x70a08231 00000057: EQ 00000058: PUSH2 0x020f 0000005b: JUMPI 0000005c: DUP1 0000005d: PUSH4 0x7a3a0e84 00000062: EQ 00000063: PUSH2 0x0274 00000066: JUMPI 00000067: DUP1 00000068: PUSH4 0x7b3e5e7b 0000006d: EQ 0000006e: PUSH2 0x029f 00000071: JUMPI 00000072: DUP1 00000073: PUSH4 0xfd6b7ef8 00000078: EQ 00000079: PUSH2 0x02ca 0000007c: JUMPI 0000007d: JUMPDEST 0000007e: PUSH1 0x05 00000080: PUSH1 0x01 00000082: SWAP1 00000083: SLOAD 00000084: SWAP1 00000085: PUSH2 0x0100 00000088: EXP 00000089: SWAP1 0000008a: DIV 0000008b: PUSH1 0xff 0000008d: AND 0000008e: ISZERO 0000008f: ISZERO 00000090: ISZERO 00000091: PUSH2 0x0099 00000094: JUMPI 00000095: PUSH1 0x00 00000097: DUP1 00000098: REVERT 00000099: JUMPDEST 0000009a: PUSH1 0x00 0000009c: CALLVALUE 0000009d: SWAP1 0000009e: POP 0000009f: DUP1 000000a0: PUSH1 0x04 000000a2: PUSH1 0x00 000000a4: CALLER 000000a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000ba: AND 000000bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000d0: AND 000000d1: DUP2 000000d2: MSTORE 000000d3: PUSH1 0x20 000000d5: ADD 000000d6: SWAP1 000000d7: DUP2 000000d8: MSTORE 000000d9: PUSH1 0x20 000000db: ADD 000000dc: PUSH1 0x00 000000de: KECCAK256 000000df: PUSH1 0x00 000000e1: DUP3 000000e2: DUP3 000000e3: SLOAD 000000e4: ADD 000000e5: SWAP3 000000e6: POP 000000e7: POP 000000e8: DUP2 000000e9: SWAP1 000000ea: SSTORE 000000eb: POP 000000ec: DUP1 000000ed: PUSH1 0x02 000000ef: PUSH1 0x00 000000f1: DUP3 000000f2: DUP3 000000f3: SLOAD 000000f4: ADD 000000f5: SWAP3 000000f6: POP 000000f7: POP 000000f8: DUP2 000000f9: SWAP1 000000fa: SSTORE 000000fb: POP 000000fc: PUSH32 0xe842aea7a5f1b01049d752008c53c52890b1a6daf660cf39e8eec506112bbdf6 0000011d: CALLER 0000011e: DUP3 0000011f: PUSH1 0x01 00000121: PUSH1 0x40 00000123: MLOAD 00000124: DUP1 00000125: DUP5 00000126: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000013b: AND 0000013c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000151: AND 00000152: DUP2 00000153: MSTORE 00000154: PUSH1 0x20 00000156: ADD 00000157: DUP4 00000158: DUP2 00000159: MSTORE 0000015a: PUSH1 0x20 0000015c: ADD 0000015d: DUP3 0000015e: ISZERO 0000015f: ISZERO 00000160: ISZERO 00000161: ISZERO 00000162: DUP2 00000163: MSTORE 00000164: PUSH1 0x20 00000166: ADD 00000167: SWAP4 00000168: POP 00000169: POP 0000016a: POP 0000016b: POP 0000016c: PUSH1 0x40 0000016e: MLOAD 0000016f: DUP1 00000170: SWAP2 00000171: SUB 00000172: SWAP1 00000173: LOG1 00000174: POP 00000175: STOP 00000176: JUMPDEST 00000177: CALLVALUE 00000178: DUP1 00000179: ISZERO 0000017a: PUSH2 0x0182 0000017d: JUMPI 0000017e: PUSH1 0x00 00000180: DUP1 00000181: REVERT 00000182: JUMPDEST 00000183: POP 00000184: PUSH2 0x018b 00000187: PUSH2 0x02e1 0000018a: JUMP 0000018b: JUMPDEST 0000018c: STOP 0000018d: JUMPDEST 0000018e: CALLVALUE 0000018f: DUP1 00000190: ISZERO 00000191: PUSH2 0x0199 00000194: JUMPI 00000195: PUSH1 0x00 00000197: DUP1 00000198: REVERT 00000199: JUMPDEST 0000019a: POP 0000019b: PUSH2 0x01a2 0000019e: PUSH2 0x03c1 000001a1: JUMP 000001a2: JUMPDEST 000001a3: PUSH1 0x40 000001a5: MLOAD 000001a6: DUP1 000001a7: DUP3 000001a8: DUP2 000001a9: MSTORE 000001aa: PUSH1 0x20 000001ac: ADD 000001ad: SWAP2 000001ae: POP 000001af: POP 000001b0: PUSH1 0x40 000001b2: MLOAD 000001b3: DUP1 000001b4: SWAP2 000001b5: SUB 000001b6: SWAP1 000001b7: RETURN 000001b8: JUMPDEST 000001b9: CALLVALUE 000001ba: DUP1 000001bb: ISZERO 000001bc: PUSH2 0x01c4 000001bf: JUMPI 000001c0: PUSH1 0x00 000001c2: DUP1 000001c3: REVERT 000001c4: JUMPDEST 000001c5: POP 000001c6: PUSH2 0x01cd 000001c9: PUSH2 0x03c7 000001cc: JUMP 000001cd: JUMPDEST 000001ce: PUSH1 0x40 000001d0: MLOAD 000001d1: DUP1 000001d2: DUP3 000001d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001e8: AND 000001e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001fe: AND 000001ff: DUP2 00000200: MSTORE 00000201: PUSH1 0x20 00000203: ADD 00000204: SWAP2 00000205: POP 00000206: POP 00000207: PUSH1 0x40 00000209: MLOAD 0000020a: DUP1 0000020b: SWAP2 0000020c: SUB 0000020d: SWAP1 0000020e: RETURN 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 0x025e 00000220: PUSH1 0x04 00000222: DUP1 00000223: CALLDATASIZE 00000224: SUB 00000225: PUSH1 0x20 00000227: DUP2 00000228: LT 00000229: ISZERO 0000022a: PUSH2 0x0232 0000022d: JUMPI 0000022e: PUSH1 0x00 00000230: DUP1 00000231: REVERT 00000232: JUMPDEST 00000233: DUP2 00000234: ADD 00000235: SWAP1 00000236: DUP1 00000237: DUP1 00000238: CALLDATALOAD 00000239: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000024e: AND 0000024f: SWAP1 00000250: PUSH1 0x20 00000252: ADD 00000253: SWAP1 00000254: SWAP3 00000255: SWAP2 00000256: SWAP1 00000257: POP 00000258: POP 00000259: POP 0000025a: PUSH2 0x03ec 0000025d: JUMP 0000025e: JUMPDEST 0000025f: PUSH1 0x40 00000261: MLOAD 00000262: DUP1 00000263: DUP3 00000264: DUP2 00000265: MSTORE 00000266: PUSH1 0x20 00000268: ADD 00000269: SWAP2 0000026a: POP 0000026b: POP 0000026c: PUSH1 0x40 0000026e: MLOAD 0000026f: DUP1 00000270: SWAP2 00000271: SUB 00000272: SWAP1 00000273: RETURN 00000274: JUMPDEST 00000275: CALLVALUE 00000276: DUP1 00000277: ISZERO 00000278: PUSH2 0x0280 0000027b: JUMPI 0000027c: PUSH1 0x00 0000027e: DUP1 0000027f: REVERT 00000280: JUMPDEST 00000281: POP 00000282: PUSH2 0x0289 00000285: PUSH2 0x0404 00000288: JUMP 00000289: JUMPDEST 0000028a: PUSH1 0x40 0000028c: MLOAD 0000028d: DUP1 0000028e: DUP3 0000028f: DUP2 00000290: MSTORE 00000291: PUSH1 0x20 00000293: ADD 00000294: SWAP2 00000295: POP 00000296: POP 00000297: PUSH1 0x40 00000299: MLOAD 0000029a: DUP1 0000029b: SWAP2 0000029c: SUB 0000029d: SWAP1 0000029e: RETURN 0000029f: JUMPDEST 000002a0: CALLVALUE 000002a1: DUP1 000002a2: ISZERO 000002a3: PUSH2 0x02ab 000002a6: JUMPI 000002a7: PUSH1 0x00 000002a9: DUP1 000002aa: REVERT 000002ab: JUMPDEST 000002ac: POP 000002ad: PUSH2 0x02b4 000002b0: PUSH2 0x040a 000002b3: JUMP 000002b4: JUMPDEST 000002b5: PUSH1 0x40 000002b7: MLOAD 000002b8: DUP1 000002b9: DUP3 000002ba: DUP2 000002bb: MSTORE 000002bc: PUSH1 0x20 000002be: ADD 000002bf: SWAP2 000002c0: POP 000002c1: POP 000002c2: PUSH1 0x40 000002c4: MLOAD 000002c5: DUP1 000002c6: SWAP2 000002c7: SUB 000002c8: SWAP1 000002c9: RETURN 000002ca: JUMPDEST 000002cb: CALLVALUE 000002cc: DUP1 000002cd: ISZERO 000002ce: PUSH2 0x02d6 000002d1: JUMPI 000002d2: PUSH1 0x00 000002d4: DUP1 000002d5: REVERT 000002d6: JUMPDEST 000002d7: POP 000002d8: PUSH2 0x02df 000002db: PUSH2 0x0410 000002de: JUMP 000002df: JUMPDEST 000002e0: STOP 000002e1: JUMPDEST 000002e2: PUSH1 0x03 000002e4: SLOAD 000002e5: TIMESTAMP 000002e6: LT 000002e7: ISZERO 000002e8: ISZERO 000002e9: PUSH2 0x03bf 000002ec: JUMPI 000002ed: PUSH1 0x01 000002ef: SLOAD 000002f0: PUSH1 0x02 000002f2: SLOAD 000002f3: LT 000002f4: ISZERO 000002f5: ISZERO 000002f6: PUSH2 0x03a3 000002f9: JUMPI 000002fa: PUSH1 0x01 000002fc: PUSH1 0x05 000002fe: PUSH1 0x00 00000300: PUSH2 0x0100 00000303: EXP 00000304: DUP2 00000305: SLOAD 00000306: DUP2 00000307: PUSH1 0xff 00000309: MUL 0000030a: NOT 0000030b: AND 0000030c: SWAP1 0000030d: DUP4 0000030e: ISZERO 0000030f: ISZERO 00000310: MUL 00000311: OR 00000312: SWAP1 00000313: SSTORE 00000314: POP 00000315: PUSH32 0xec3f991caf7857d61663fd1bba1739e04abd4781238508cde554bb849d790c85 00000336: PUSH1 0x00 00000338: DUP1 00000339: SWAP1 0000033a: SLOAD 0000033b: SWAP1 0000033c: PUSH2 0x0100 0000033f: EXP 00000340: SWAP1 00000341: DIV 00000342: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000357: AND 00000358: PUSH1 0x02 0000035a: SLOAD 0000035b: PUSH1 0x40 0000035d: MLOAD 0000035e: DUP1 0000035f: DUP4 00000360: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000375: AND 00000376: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000038b: AND 0000038c: DUP2 0000038d: MSTORE 0000038e: PUSH1 0x20 00000390: ADD 00000391: DUP3 00000392: DUP2 00000393: MSTORE 00000394: PUSH1 0x20 00000396: ADD 00000397: SWAP3 00000398: POP 00000399: POP 0000039a: POP 0000039b: PUSH1 0x40 0000039d: MLOAD 0000039e: DUP1 0000039f: SWAP2 000003a0: SUB 000003a1: SWAP1 000003a2: LOG1 000003a3: JUMPDEST 000003a4: PUSH1 0x01 000003a6: PUSH1 0x05 000003a8: PUSH1 0x01 000003aa: PUSH2 0x0100 000003ad: EXP 000003ae: DUP2 000003af: SLOAD 000003b0: DUP2 000003b1: PUSH1 0xff 000003b3: MUL 000003b4: NOT 000003b5: AND 000003b6: SWAP1 000003b7: DUP4 000003b8: ISZERO 000003b9: ISZERO 000003ba: MUL 000003bb: OR 000003bc: SWAP1 000003bd: SSTORE 000003be: POP 000003bf: JUMPDEST 000003c0: JUMP 000003c1: JUMPDEST 000003c2: PUSH1 0x03 000003c4: SLOAD 000003c5: DUP2 000003c6: JUMP 000003c7: JUMPDEST 000003c8: PUSH1 0x00 000003ca: DUP1 000003cb: SWAP1 000003cc: SLOAD 000003cd: SWAP1 000003ce: PUSH2 0x0100 000003d1: EXP 000003d2: SWAP1 000003d3: DIV 000003d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003e9: AND 000003ea: DUP2 000003eb: JUMP 000003ec: JUMPDEST 000003ed: PUSH1 0x04 000003ef: PUSH1 0x20 000003f1: MSTORE 000003f2: DUP1 000003f3: PUSH1 0x00 000003f5: MSTORE 000003f6: PUSH1 0x40 000003f8: PUSH1 0x00 000003fa: KECCAK256 000003fb: PUSH1 0x00 000003fd: SWAP2 000003fe: POP 000003ff: SWAP1 00000400: POP 00000401: SLOAD 00000402: DUP2 00000403: JUMP 00000404: JUMPDEST 00000405: PUSH1 0x01 00000407: SLOAD 00000408: DUP2 00000409: JUMP 0000040a: JUMPDEST 0000040b: PUSH1 0x02 0000040d: SLOAD 0000040e: DUP2 0000040f: JUMP 00000410: JUMPDEST 00000411: PUSH1 0x03 00000413: SLOAD 00000414: TIMESTAMP 00000415: LT 00000416: ISZERO 00000417: ISZERO 00000418: PUSH2 0x0729 0000041b: JUMPI 0000041c: PUSH1 0x05 0000041e: PUSH1 0x00 00000420: SWAP1 00000421: SLOAD 00000422: SWAP1 00000423: PUSH2 0x0100 00000426: EXP 00000427: SWAP1 00000428: DIV 00000429: PUSH1 0xff 0000042b: AND 0000042c: ISZERO 0000042d: ISZERO 0000042e: PUSH2 0x05c2 00000431: JUMPI 00000432: PUSH1 0x00 00000434: PUSH1 0x04 00000436: PUSH1 0x00 00000438: CALLER 00000439: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000044e: AND 0000044f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000464: AND 00000465: DUP2 00000466: MSTORE 00000467: PUSH1 0x20 00000469: ADD 0000046a: SWAP1 0000046b: DUP2 0000046c: MSTORE 0000046d: PUSH1 0x20 0000046f: ADD 00000470: PUSH1 0x00 00000472: KECCAK256 00000473: SLOAD 00000474: SWAP1 00000475: POP 00000476: PUSH1 0x00 00000478: PUSH1 0x04 0000047a: PUSH1 0x00 0000047c: CALLER 0000047d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000492: AND 00000493: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004a8: AND 000004a9: DUP2 000004aa: MSTORE 000004ab: PUSH1 0x20 000004ad: ADD 000004ae: SWAP1 000004af: DUP2 000004b0: MSTORE 000004b1: PUSH1 0x20 000004b3: ADD 000004b4: PUSH1 0x00 000004b6: KECCAK256 000004b7: DUP2 000004b8: SWAP1 000004b9: SSTORE 000004ba: POP 000004bb: PUSH1 0x00 000004bd: DUP2 000004be: GT 000004bf: ISZERO 000004c0: PUSH2 0x05c0 000004c3: JUMPI 000004c4: CALLER 000004c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004da: AND 000004db: PUSH2 0x08fc 000004de: DUP3 000004df: SWAP1 000004e0: DUP2 000004e1: ISZERO 000004e2: MUL 000004e3: SWAP1 000004e4: PUSH1 0x40 000004e6: MLOAD 000004e7: PUSH1 0x00 000004e9: PUSH1 0x40 000004eb: MLOAD 000004ec: DUP1 000004ed: DUP4 000004ee: SUB 000004ef: DUP2 000004f0: DUP6 000004f1: DUP9 000004f2: DUP9 000004f3: CALL 000004f4: SWAP4 000004f5: POP 000004f6: POP 000004f7: POP 000004f8: POP 000004f9: ISZERO 000004fa: PUSH2 0x057a 000004fd: JUMPI 000004fe: PUSH32 0xe842aea7a5f1b01049d752008c53c52890b1a6daf660cf39e8eec506112bbdf6 0000051f: CALLER 00000520: DUP3 00000521: PUSH1 0x00 00000523: PUSH1 0x40 00000525: MLOAD 00000526: DUP1 00000527: DUP5 00000528: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000053d: AND 0000053e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000553: AND 00000554: DUP2 00000555: MSTORE 00000556: PUSH1 0x20 00000558: ADD 00000559: DUP4 0000055a: DUP2 0000055b: MSTORE 0000055c: PUSH1 0x20 0000055e: ADD 0000055f: DUP3 00000560: ISZERO 00000561: ISZERO 00000562: ISZERO 00000563: ISZERO 00000564: DUP2 00000565: MSTORE 00000566: PUSH1 0x20 00000568: ADD 00000569: SWAP4 0000056a: POP 0000056b: POP 0000056c: POP 0000056d: POP 0000056e: PUSH1 0x40 00000570: MLOAD 00000571: DUP1 00000572: SWAP2 00000573: SUB 00000574: SWAP1 00000575: LOG1 00000576: PUSH2 0x05bf 00000579: JUMP 0000057a: JUMPDEST 0000057b: DUP1 0000057c: PUSH1 0x04 0000057e: PUSH1 0x00 00000580: CALLER 00000581: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000596: AND 00000597: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ac: AND 000005ad: DUP2 000005ae: MSTORE 000005af: PUSH1 0x20 000005b1: ADD 000005b2: SWAP1 000005b3: DUP2 000005b4: MSTORE 000005b5: PUSH1 0x20 000005b7: ADD 000005b8: PUSH1 0x00 000005ba: KECCAK256 000005bb: DUP2 000005bc: SWAP1 000005bd: SSTORE 000005be: POP 000005bf: JUMPDEST 000005c0: JUMPDEST 000005c1: POP 000005c2: JUMPDEST 000005c3: PUSH1 0x05 000005c5: PUSH1 0x00 000005c7: SWAP1 000005c8: SLOAD 000005c9: SWAP1 000005ca: PUSH2 0x0100 000005cd: EXP 000005ce: SWAP1 000005cf: DIV 000005d0: PUSH1 0xff 000005d2: AND 000005d3: DUP1 000005d4: ISZERO 000005d5: PUSH2 0x062a 000005d8: JUMPI 000005d9: POP 000005da: CALLER 000005db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005f0: AND 000005f1: PUSH1 0x00 000005f3: DUP1 000005f4: SWAP1 000005f5: SLOAD 000005f6: SWAP1 000005f7: PUSH2 0x0100 000005fa: EXP 000005fb: SWAP1 000005fc: DIV 000005fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000612: AND 00000613: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000628: AND 00000629: EQ 0000062a: JUMPDEST 0000062b: ISZERO 0000062c: PUSH2 0x0728 0000062f: JUMPI 00000630: CALLER 00000631: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000646: AND 00000647: PUSH2 0x08fc 0000064a: PUSH1 0x02 0000064c: SLOAD 0000064d: SWAP1 0000064e: DUP2 0000064f: ISZERO 00000650: MUL 00000651: SWAP1 00000652: PUSH1 0x40 00000654: MLOAD 00000655: PUSH1 0x00 00000657: PUSH1 0x40 00000659: MLOAD 0000065a: DUP1 0000065b: DUP4 0000065c: SUB 0000065d: DUP2 0000065e: DUP6 0000065f: DUP9 00000660: DUP9 00000661: CALL 00000662: SWAP4 00000663: POP 00000664: POP 00000665: POP 00000666: POP 00000667: ISZERO 00000668: PUSH2 0x070b 0000066b: JUMPI 0000066c: PUSH32 0xe842aea7a5f1b01049d752008c53c52890b1a6daf660cf39e8eec506112bbdf6 0000068d: PUSH1 0x00 0000068f: DUP1 00000690: SWAP1 00000691: SLOAD 00000692: SWAP1 00000693: PUSH2 0x0100 00000696: EXP 00000697: SWAP1 00000698: DIV 00000699: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ae: AND 000006af: PUSH1 0x02 000006b1: SLOAD 000006b2: PUSH1 0x00 000006b4: PUSH1 0x40 000006b6: MLOAD 000006b7: DUP1 000006b8: DUP5 000006b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ce: AND 000006cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006e4: AND 000006e5: DUP2 000006e6: MSTORE 000006e7: PUSH1 0x20 000006e9: ADD 000006ea: DUP4 000006eb: DUP2 000006ec: MSTORE 000006ed: PUSH1 0x20 000006ef: ADD 000006f0: DUP3 000006f1: ISZERO 000006f2: ISZERO 000006f3: ISZERO 000006f4: ISZERO 000006f5: DUP2 000006f6: MSTORE 000006f7: PUSH1 0x20 000006f9: ADD 000006fa: SWAP4 000006fb: POP 000006fc: POP 000006fd: POP 000006fe: POP 000006ff: PUSH1 0x40 00000701: MLOAD 00000702: DUP1 00000703: SWAP2 00000704: SUB 00000705: SWAP1 00000706: LOG1 00000707: PUSH2 0x0727 0000070a: JUMP 0000070b: JUMPDEST 0000070c: PUSH1 0x00 0000070e: PUSH1 0x05 00000710: PUSH1 0x00 00000712: PUSH2 0x0100 00000715: EXP 00000716: DUP2 00000717: SLOAD 00000718: DUP2 00000719: PUSH1 0xff 0000071b: MUL 0000071c: NOT 0000071d: AND 0000071e: SWAP1 0000071f: DUP4 00000720: ISZERO 00000721: ISZERO 00000722: MUL 00000723: OR 00000724: SWAP1 00000725: SSTORE 00000726: POP 00000727: JUMPDEST 00000728: JUMPDEST 00000729: JUMPDEST 0000072a: JUMP 0000072b: INVALID 0000072c: LOG1 0000072d: PUSH6 0x627a7a723058 00000734: KECCAK256 00000735: SWAP10 00000736: UNKNOWN(0xE4) 00000737: MSTORE 00000738: PUSH29 0xf8eb7d54b76eeb50eeceb387286a21ce98d7cad82aa01ade985e2d9f00 00000756: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xde85a1ba2b038f69c1e04c527e74de0453502d29b0753502c06f4aa8d8d74bb9
call_targets:
0xff51c457c84c970bcfbf6f6551dc527421ec4231
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xde85a1ba2b038f69c1e04c527e74de0453502d29b0753502c06f4aa8d8d74bb9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xff51c457c84c970bcfbf6f6551dc527421ec4231"
],
"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": "0x01cb3b20",
"selector": "0x01cb3b20",
"calldata_variants": [
"0x01cb3b20",
"0x01cb3b200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29dcb0cf",
"selector": "0x29dcb0cf",
"calldata_variants": [
"0x29dcb0cf",
"0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38af3eed",
"selector": "0x38af3eed",
"calldata_variants": [
"0x38af3eed",
"0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7a3a0e84",
"selector": "0x7a3a0e84",
"calldata_variants": [
"0x7a3a0e84",
"0x7a3a0e840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7b3e5e7b",
"selector": "0x7b3e5e7b",
"calldata_variants": [
"0x7b3e5e7b",
"0x7b3e5e7b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfd6b7ef8",
"selector": "0xfd6b7ef8",
"calldata_variants": [
"0xfd6b7ef8",
"0xfd6b7ef80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1267,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1633,
"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: 0xde85a1ba2b038f69c1e04c527e74de0453502d29b0753502c06f4aa8d8d74bb9
call_targets:
0xff51c457c84c970bcfbf6f6551dc527421ec4231
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xde85a1ba2b038f69c1e04c527e74de0453502d29b0753502c06f4aa8d8d74bb9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xff51c457c84c970bcfbf6f6551dc527421ec4231"
],
"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": "0x01cb3b20",
"selector": "0x01cb3b20",
"calldata_variants": [
"0x01cb3b20",
"0x01cb3b200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29dcb0cf",
"selector": "0x29dcb0cf",
"calldata_variants": [
"0x29dcb0cf",
"0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38af3eed",
"selector": "0x38af3eed",
"calldata_variants": [
"0x38af3eed",
"0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7a3a0e84",
"selector": "0x7a3a0e84",
"calldata_variants": [
"0x7a3a0e84",
"0x7a3a0e840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7b3e5e7b",
"selector": "0x7b3e5e7b",
"calldata_variants": [
"0x7b3e5e7b",
"0x7b3e5e7b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfd6b7ef8",
"selector": "0xfd6b7ef8",
"calldata_variants": [
"0xfd6b7ef8",
"0xfd6b7ef80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1267,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1633,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|