019b477e-bdcf-7058-a431-5b0cd67161c4
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 |
|---|---|---|---|---|
| 24287 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 24288 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 90561 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 90562 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 90563 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 90564 | 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 0x0022 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0xa0d142bd 00000019: EQ 0000001a: PUSH2 0x002e 0000001d: JUMPI 0000001e: PUSH2 0x0029 00000021: JUMP 00000022: JUMPDEST 00000023: CALLDATASIZE 00000024: PUSH2 0x0029 00000027: JUMPI 00000028: STOP 00000029: JUMPDEST 0000002a: PUSH1 0x00 0000002c: DUP1 0000002d: REVERT 0000002e: JUMPDEST 0000002f: CALLVALUE 00000030: DUP1 00000031: ISZERO 00000032: PUSH2 0x003a 00000035: JUMPI 00000036: PUSH1 0x00 00000038: DUP1 00000039: REVERT 0000003a: JUMPDEST 0000003b: POP 0000003c: PUSH2 0x0055 0000003f: PUSH1 0x04 00000041: DUP1 00000042: CALLDATASIZE 00000043: SUB 00000044: DUP2 00000045: ADD 00000046: SWAP1 00000047: PUSH2 0x0050 0000004a: SWAP2 0000004b: SWAP1 0000004c: PUSH2 0x050c 0000004f: JUMP 00000050: JUMPDEST 00000051: PUSH2 0x0057 00000054: JUMP 00000055: JUMPDEST 00000056: STOP 00000057: JUMPDEST 00000058: PUSH1 0x02 0000005a: PUSH1 0x00 0000005c: CALLER 0000005d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000072: AND 00000073: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000088: AND 00000089: DUP2 0000008a: MSTORE 0000008b: PUSH1 0x20 0000008d: ADD 0000008e: SWAP1 0000008f: DUP2 00000090: MSTORE 00000091: PUSH1 0x20 00000093: ADD 00000094: PUSH1 0x00 00000096: KECCAK256 00000097: PUSH1 0x00 00000099: SWAP1 0000009a: SLOAD 0000009b: SWAP1 0000009c: PUSH2 0x0100 0000009f: EXP 000000a0: SWAP1 000000a1: DIV 000000a2: PUSH1 0xff 000000a4: AND 000000a5: PUSH2 0x00ad 000000a8: JUMPI 000000a9: PUSH1 0x00 000000ab: DUP1 000000ac: REVERT 000000ad: JUMPDEST 000000ae: PUSH1 0x03 000000b0: PUSH1 0x00 000000b2: DUP4 000000b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000c8: AND 000000c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000de: AND 000000df: DUP2 000000e0: MSTORE 000000e1: PUSH1 0x20 000000e3: ADD 000000e4: SWAP1 000000e5: DUP2 000000e6: MSTORE 000000e7: PUSH1 0x20 000000e9: ADD 000000ea: PUSH1 0x00 000000ec: KECCAK256 000000ed: PUSH1 0x00 000000ef: DUP3 000000f0: DUP2 000000f1: MSTORE 000000f2: PUSH1 0x20 000000f4: ADD 000000f5: SWAP1 000000f6: DUP2 000000f7: MSTORE 000000f8: PUSH1 0x20 000000fa: ADD 000000fb: PUSH1 0x00 000000fd: KECCAK256 000000fe: PUSH1 0x00 00000100: CALLER 00000101: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000116: AND 00000117: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000012c: AND 0000012d: DUP2 0000012e: MSTORE 0000012f: PUSH1 0x20 00000131: ADD 00000132: SWAP1 00000133: DUP2 00000134: MSTORE 00000135: PUSH1 0x20 00000137: ADD 00000138: PUSH1 0x00 0000013a: KECCAK256 0000013b: PUSH1 0x00 0000013d: SWAP1 0000013e: SLOAD 0000013f: SWAP1 00000140: PUSH2 0x0100 00000143: EXP 00000144: SWAP1 00000145: DIV 00000146: PUSH1 0xff 00000148: AND 00000149: ISZERO 0000014a: PUSH2 0x0152 0000014d: JUMPI 0000014e: PUSH1 0x00 00000150: DUP1 00000151: REVERT 00000152: JUMPDEST 00000153: PUSH1 0x01 00000155: PUSH1 0x03 00000157: PUSH1 0x00 00000159: DUP5 0000015a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000016f: AND 00000170: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000185: AND 00000186: DUP2 00000187: MSTORE 00000188: PUSH1 0x20 0000018a: ADD 0000018b: SWAP1 0000018c: DUP2 0000018d: MSTORE 0000018e: PUSH1 0x20 00000190: ADD 00000191: PUSH1 0x00 00000193: KECCAK256 00000194: PUSH1 0x00 00000196: DUP4 00000197: DUP2 00000198: MSTORE 00000199: PUSH1 0x20 0000019b: ADD 0000019c: SWAP1 0000019d: DUP2 0000019e: MSTORE 0000019f: PUSH1 0x20 000001a1: ADD 000001a2: PUSH1 0x00 000001a4: KECCAK256 000001a5: PUSH1 0x00 000001a7: CALLER 000001a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001bd: AND 000001be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001d3: AND 000001d4: DUP2 000001d5: MSTORE 000001d6: PUSH1 0x20 000001d8: ADD 000001d9: SWAP1 000001da: DUP2 000001db: MSTORE 000001dc: PUSH1 0x20 000001de: ADD 000001df: PUSH1 0x00 000001e1: KECCAK256 000001e2: PUSH1 0x00 000001e4: PUSH2 0x0100 000001e7: EXP 000001e8: DUP2 000001e9: SLOAD 000001ea: DUP2 000001eb: PUSH1 0xff 000001ed: MUL 000001ee: NOT 000001ef: AND 000001f0: SWAP1 000001f1: DUP4 000001f2: ISZERO 000001f3: ISZERO 000001f4: MUL 000001f5: OR 000001f6: SWAP1 000001f7: SSTORE 000001f8: POP 000001f9: PUSH1 0x00 000001fb: DUP1 000001fc: JUMPDEST 000001fd: PUSH1 0x01 000001ff: DUP1 00000200: SLOAD 00000201: SWAP1 00000202: POP 00000203: DUP2 00000204: LT 00000205: ISZERO 00000206: PUSH2 0x0330 00000209: JUMPI 0000020a: PUSH1 0x03 0000020c: PUSH1 0x00 0000020e: DUP6 0000020f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000224: AND 00000225: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000023a: AND 0000023b: DUP2 0000023c: MSTORE 0000023d: PUSH1 0x20 0000023f: ADD 00000240: SWAP1 00000241: DUP2 00000242: MSTORE 00000243: PUSH1 0x20 00000245: ADD 00000246: PUSH1 0x00 00000248: KECCAK256 00000249: PUSH1 0x00 0000024b: DUP5 0000024c: DUP2 0000024d: MSTORE 0000024e: PUSH1 0x20 00000250: ADD 00000251: SWAP1 00000252: DUP2 00000253: MSTORE 00000254: PUSH1 0x20 00000256: ADD 00000257: PUSH1 0x00 00000259: KECCAK256 0000025a: PUSH1 0x00 0000025c: PUSH1 0x01 0000025e: DUP4 0000025f: DUP2 00000260: SLOAD 00000261: DUP2 00000262: LT 00000263: PUSH2 0x0295 00000266: JUMPI 00000267: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000288: PUSH1 0x00 0000028a: MSTORE 0000028b: PUSH1 0x32 0000028d: PUSH1 0x04 0000028f: MSTORE 00000290: PUSH1 0x24 00000292: PUSH1 0x00 00000294: REVERT 00000295: JUMPDEST 00000296: SWAP1 00000297: PUSH1 0x00 00000299: MSTORE 0000029a: PUSH1 0x20 0000029c: PUSH1 0x00 0000029e: KECCAK256 0000029f: ADD 000002a0: PUSH1 0x00 000002a2: SWAP1 000002a3: SLOAD 000002a4: SWAP1 000002a5: PUSH2 0x0100 000002a8: EXP 000002a9: SWAP1 000002aa: DIV 000002ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002c0: AND 000002c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002d6: AND 000002d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002ec: AND 000002ed: DUP2 000002ee: MSTORE 000002ef: PUSH1 0x20 000002f1: ADD 000002f2: SWAP1 000002f3: DUP2 000002f4: MSTORE 000002f5: PUSH1 0x20 000002f7: ADD 000002f8: PUSH1 0x00 000002fa: KECCAK256 000002fb: PUSH1 0x00 000002fd: SWAP1 000002fe: SLOAD 000002ff: SWAP1 00000300: PUSH2 0x0100 00000303: EXP 00000304: SWAP1 00000305: DIV 00000306: PUSH1 0xff 00000308: AND 00000309: ISZERO 0000030a: PUSH2 0x031d 0000030d: JUMPI 0000030e: PUSH1 0x01 00000310: DUP3 00000311: PUSH2 0x031a 00000314: SWAP2 00000315: SWAP1 00000316: PUSH2 0x058b 00000319: JUMP 0000031a: JUMPDEST 0000031b: SWAP2 0000031c: POP 0000031d: JUMPDEST 0000031e: DUP1 0000031f: DUP1 00000320: PUSH2 0x0328 00000323: SWAP1 00000324: PUSH2 0x061d 00000327: JUMP 00000328: JUMPDEST 00000329: SWAP2 0000032a: POP 0000032b: POP 0000032c: PUSH2 0x01fc 0000032f: JUMP 00000330: JUMPDEST 00000331: POP 00000332: PUSH1 0x00 00000334: SLOAD 00000335: DUP2 00000336: LT 00000337: PUSH2 0x04dd 0000033a: JUMPI 0000033b: PUSH1 0x00 0000033d: DUP4 0000033e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000353: AND 00000354: DUP4 00000355: PUSH1 0x40 00000357: MLOAD 00000358: PUSH2 0x0360 0000035b: SWAP1 0000035c: PUSH2 0x056b 0000035f: JUMP 00000360: JUMPDEST 00000361: PUSH1 0x00 00000363: PUSH1 0x40 00000365: MLOAD 00000366: DUP1 00000367: DUP4 00000368: SUB 00000369: DUP2 0000036a: DUP6 0000036b: DUP8 0000036c: GAS 0000036d: CALL 0000036e: SWAP3 0000036f: POP 00000370: POP 00000371: POP 00000372: RETURNDATASIZE 00000373: DUP1 00000374: PUSH1 0x00 00000376: DUP2 00000377: EQ 00000378: PUSH2 0x039d 0000037b: JUMPI 0000037c: PUSH1 0x40 0000037e: MLOAD 0000037f: SWAP2 00000380: POP 00000381: PUSH1 0x1f 00000383: NOT 00000384: PUSH1 0x3f 00000386: RETURNDATASIZE 00000387: ADD 00000388: AND 00000389: DUP3 0000038a: ADD 0000038b: PUSH1 0x40 0000038d: MSTORE 0000038e: RETURNDATASIZE 0000038f: DUP3 00000390: MSTORE 00000391: RETURNDATASIZE 00000392: PUSH1 0x00 00000394: PUSH1 0x20 00000396: DUP5 00000397: ADD 00000398: RETURNDATACOPY 00000399: PUSH2 0x03a2 0000039c: JUMP 0000039d: JUMPDEST 0000039e: PUSH1 0x60 000003a0: SWAP2 000003a1: POP 000003a2: JUMPDEST 000003a3: POP 000003a4: POP 000003a5: SWAP1 000003a6: POP 000003a7: DUP1 000003a8: ISZERO 000003a9: PUSH2 0x04db 000003ac: JUMPI 000003ad: PUSH1 0x00 000003af: JUMPDEST 000003b0: PUSH1 0x01 000003b2: DUP1 000003b3: SLOAD 000003b4: SWAP1 000003b5: POP 000003b6: DUP2 000003b7: LT 000003b8: ISZERO 000003b9: PUSH2 0x04d9 000003bc: JUMPI 000003bd: PUSH1 0x00 000003bf: PUSH1 0x03 000003c1: PUSH1 0x00 000003c3: DUP8 000003c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003d9: AND 000003da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003ef: AND 000003f0: DUP2 000003f1: MSTORE 000003f2: PUSH1 0x20 000003f4: ADD 000003f5: SWAP1 000003f6: DUP2 000003f7: MSTORE 000003f8: PUSH1 0x20 000003fa: ADD 000003fb: PUSH1 0x00 000003fd: KECCAK256 000003fe: PUSH1 0x00 00000400: DUP7 00000401: DUP2 00000402: MSTORE 00000403: PUSH1 0x20 00000405: ADD 00000406: SWAP1 00000407: DUP2 00000408: MSTORE 00000409: PUSH1 0x20 0000040b: ADD 0000040c: PUSH1 0x00 0000040e: KECCAK256 0000040f: PUSH1 0x00 00000411: PUSH1 0x01 00000413: DUP5 00000414: DUP2 00000415: SLOAD 00000416: DUP2 00000417: LT 00000418: PUSH2 0x044a 0000041b: JUMPI 0000041c: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000043d: PUSH1 0x00 0000043f: MSTORE 00000440: PUSH1 0x32 00000442: PUSH1 0x04 00000444: MSTORE 00000445: PUSH1 0x24 00000447: PUSH1 0x00 00000449: REVERT 0000044a: JUMPDEST 0000044b: SWAP1 0000044c: PUSH1 0x00 0000044e: MSTORE 0000044f: PUSH1 0x20 00000451: PUSH1 0x00 00000453: KECCAK256 00000454: ADD 00000455: PUSH1 0x00 00000457: SWAP1 00000458: SLOAD 00000459: SWAP1 0000045a: PUSH2 0x0100 0000045d: EXP 0000045e: SWAP1 0000045f: DIV 00000460: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000475: AND 00000476: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000048b: AND 0000048c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004a1: AND 000004a2: DUP2 000004a3: MSTORE 000004a4: PUSH1 0x20 000004a6: ADD 000004a7: SWAP1 000004a8: DUP2 000004a9: MSTORE 000004aa: PUSH1 0x20 000004ac: ADD 000004ad: PUSH1 0x00 000004af: KECCAK256 000004b0: PUSH1 0x00 000004b2: PUSH2 0x0100 000004b5: EXP 000004b6: DUP2 000004b7: SLOAD 000004b8: DUP2 000004b9: PUSH1 0xff 000004bb: MUL 000004bc: NOT 000004bd: AND 000004be: SWAP1 000004bf: DUP4 000004c0: ISZERO 000004c1: ISZERO 000004c2: MUL 000004c3: OR 000004c4: SWAP1 000004c5: SSTORE 000004c6: POP 000004c7: DUP1 000004c8: DUP1 000004c9: PUSH2 0x04d1 000004cc: SWAP1 000004cd: PUSH2 0x061d 000004d0: JUMP 000004d1: JUMPDEST 000004d2: SWAP2 000004d3: POP 000004d4: POP 000004d5: PUSH2 0x03af 000004d8: JUMP 000004d9: JUMPDEST 000004da: POP 000004db: JUMPDEST 000004dc: POP 000004dd: JUMPDEST 000004de: POP 000004df: POP 000004e0: POP 000004e1: JUMP 000004e2: JUMPDEST 000004e3: PUSH1 0x00 000004e5: DUP2 000004e6: CALLDATALOAD 000004e7: SWAP1 000004e8: POP 000004e9: PUSH2 0x04f1 000004ec: DUP2 000004ed: PUSH2 0x0698 000004f0: JUMP 000004f1: JUMPDEST 000004f2: SWAP3 000004f3: SWAP2 000004f4: POP 000004f5: POP 000004f6: JUMP 000004f7: JUMPDEST 000004f8: PUSH1 0x00 000004fa: DUP2 000004fb: CALLDATALOAD 000004fc: SWAP1 000004fd: POP 000004fe: PUSH2 0x0506 00000501: DUP2 00000502: PUSH2 0x06af 00000505: JUMP 00000506: JUMPDEST 00000507: SWAP3 00000508: SWAP2 00000509: POP 0000050a: POP 0000050b: JUMP 0000050c: JUMPDEST 0000050d: PUSH1 0x00 0000050f: DUP1 00000510: PUSH1 0x40 00000512: DUP4 00000513: DUP6 00000514: SUB 00000515: SLT 00000516: ISZERO 00000517: PUSH2 0x051f 0000051a: JUMPI 0000051b: PUSH1 0x00 0000051d: DUP1 0000051e: REVERT 0000051f: JUMPDEST 00000520: PUSH1 0x00 00000522: PUSH2 0x052d 00000525: DUP6 00000526: DUP3 00000527: DUP7 00000528: ADD 00000529: PUSH2 0x04e2 0000052c: JUMP 0000052d: JUMPDEST 0000052e: SWAP3 0000052f: POP 00000530: POP 00000531: PUSH1 0x20 00000533: PUSH2 0x053e 00000536: DUP6 00000537: DUP3 00000538: DUP7 00000539: ADD 0000053a: PUSH2 0x04f7 0000053d: JUMP 0000053e: JUMPDEST 0000053f: SWAP2 00000540: POP 00000541: POP 00000542: SWAP3 00000543: POP 00000544: SWAP3 00000545: SWAP1 00000546: POP 00000547: JUMP 00000548: JUMPDEST 00000549: PUSH1 0x00 0000054b: PUSH2 0x0555 0000054e: PUSH1 0x00 00000550: DUP4 00000551: PUSH2 0x0580 00000554: JUMP 00000555: JUMPDEST 00000556: SWAP2 00000557: POP 00000558: PUSH2 0x0560 0000055b: DUP3 0000055c: PUSH2 0x0695 0000055f: JUMP 00000560: JUMPDEST 00000561: PUSH1 0x00 00000563: DUP3 00000564: ADD 00000565: SWAP1 00000566: POP 00000567: SWAP2 00000568: SWAP1 00000569: POP 0000056a: JUMP 0000056b: JUMPDEST 0000056c: PUSH1 0x00 0000056e: PUSH2 0x0576 00000571: DUP3 00000572: PUSH2 0x0548 00000575: JUMP 00000576: JUMPDEST 00000577: SWAP2 00000578: POP 00000579: DUP2 0000057a: SWAP1 0000057b: POP 0000057c: SWAP2 0000057d: SWAP1 0000057e: POP 0000057f: JUMP 00000580: JUMPDEST 00000581: PUSH1 0x00 00000583: DUP2 00000584: SWAP1 00000585: POP 00000586: SWAP3 00000587: SWAP2 00000588: POP 00000589: POP 0000058a: JUMP 0000058b: JUMPDEST 0000058c: PUSH1 0x00 0000058e: PUSH2 0x0596 00000591: DUP3 00000592: PUSH2 0x0613 00000595: JUMP 00000596: JUMPDEST 00000597: SWAP2 00000598: POP 00000599: PUSH2 0x05a1 0000059c: DUP4 0000059d: PUSH2 0x0613 000005a0: JUMP 000005a1: JUMPDEST 000005a2: SWAP3 000005a3: POP 000005a4: DUP3 000005a5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000005c6: SUB 000005c7: DUP3 000005c8: GT 000005c9: ISZERO 000005ca: PUSH2 0x05d6 000005cd: JUMPI 000005ce: PUSH2 0x05d5 000005d1: PUSH2 0x0666 000005d4: JUMP 000005d5: JUMPDEST 000005d6: JUMPDEST 000005d7: DUP3 000005d8: DUP3 000005d9: ADD 000005da: SWAP1 000005db: POP 000005dc: SWAP3 000005dd: SWAP2 000005de: POP 000005df: POP 000005e0: JUMP 000005e1: JUMPDEST 000005e2: PUSH1 0x00 000005e4: PUSH2 0x05ec 000005e7: DUP3 000005e8: PUSH2 0x05f3 000005eb: JUMP 000005ec: JUMPDEST 000005ed: SWAP1 000005ee: POP 000005ef: SWAP2 000005f0: SWAP1 000005f1: POP 000005f2: JUMP 000005f3: JUMPDEST 000005f4: PUSH1 0x00 000005f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000060b: DUP3 0000060c: AND 0000060d: SWAP1 0000060e: POP 0000060f: SWAP2 00000610: SWAP1 00000611: POP 00000612: JUMP 00000613: JUMPDEST 00000614: PUSH1 0x00 00000616: DUP2 00000617: SWAP1 00000618: POP 00000619: SWAP2 0000061a: SWAP1 0000061b: POP 0000061c: JUMP 0000061d: JUMPDEST 0000061e: PUSH1 0x00 00000620: PUSH2 0x0628 00000623: DUP3 00000624: PUSH2 0x0613 00000627: JUMP 00000628: JUMPDEST 00000629: SWAP2 0000062a: POP 0000062b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000064c: DUP3 0000064d: EQ 0000064e: ISZERO 0000064f: PUSH2 0x065b 00000652: JUMPI 00000653: PUSH2 0x065a 00000656: PUSH2 0x0666 00000659: JUMP 0000065a: JUMPDEST 0000065b: JUMPDEST 0000065c: PUSH1 0x01 0000065e: DUP3 0000065f: ADD 00000660: SWAP1 00000661: POP 00000662: SWAP2 00000663: SWAP1 00000664: POP 00000665: JUMP 00000666: JUMPDEST 00000667: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000688: PUSH1 0x00 0000068a: MSTORE 0000068b: PUSH1 0x11 0000068d: PUSH1 0x04 0000068f: MSTORE 00000690: PUSH1 0x24 00000692: PUSH1 0x00 00000694: REVERT 00000695: JUMPDEST 00000696: POP 00000697: JUMP 00000698: JUMPDEST 00000699: PUSH2 0x06a1 0000069c: DUP2 0000069d: PUSH2 0x05e1 000006a0: JUMP 000006a1: JUMPDEST 000006a2: DUP2 000006a3: EQ 000006a4: PUSH2 0x06ac 000006a7: JUMPI 000006a8: PUSH1 0x00 000006aa: DUP1 000006ab: REVERT 000006ac: JUMPDEST 000006ad: POP 000006ae: JUMP 000006af: JUMPDEST 000006b0: PUSH2 0x06b8 000006b3: DUP2 000006b4: PUSH2 0x0613 000006b7: JUMP 000006b8: JUMPDEST 000006b9: DUP2 000006ba: EQ 000006bb: PUSH2 0x06c3 000006be: JUMPI 000006bf: PUSH1 0x00 000006c1: DUP1 000006c2: REVERT 000006c3: JUMPDEST 000006c4: POP 000006c5: JUMP 000006c6: INVALID 000006c7: LOG2 000006c8: PUSH5 0x6970667358 000006ce: UNKNOWN(0x22) 000006cf: SLT 000006d0: KECCAK256 000006d1: DIFFICULTY 000006d2: ISZERO 000006d3: UNKNOWN(0xE4) 000006d4: UNKNOWN(0x22) 000006d5: UNKNOWN(0xCB) 000006d6: DUP15 000006d7: DUP10 000006d8: TSTORE 000006d9: DUP8 000006da: UNKNOWN(0xBC) 000006db: CALLDATALOAD 000006dc: UNKNOWN(0xBC) 000006dd: UNKNOWN(0xBB) 000006de: PUSH24 0x0067f8dc9beb6f2c51e8997f1d480e52b47864736f6c6343 000006f7: STOP 000006f8: ADDMOD 000006f9: MUL 000006fa: STOP 000006fb: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x4fe41615aea64489fffc3981341866ac0b5f577573e56de76bc849a6a00e2df7
call_targets:
0x477516bd72cbac08537bcddbf1447570efadf884
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4fe41615aea64489fffc3981341866ac0b5f577573e56de76bc849a6a00e2df7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x477516bd72cbac08537bcddbf1447570efadf884"
],
"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": "0xa0d142bd",
"selector": "0xa0d142bd",
"calldata_variants": [
"0xa0d142bd",
"0xa0d142bd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 877,
"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: 0x4fe41615aea64489fffc3981341866ac0b5f577573e56de76bc849a6a00e2df7
call_targets:
0x477516bd72cbac08537bcddbf1447570efadf884
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4fe41615aea64489fffc3981341866ac0b5f577573e56de76bc849a6a00e2df7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x477516bd72cbac08537bcddbf1447570efadf884"
],
"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": "0xa0d142bd",
"selector": "0xa0d142bd",
"calldata_variants": [
"0xa0d142bd",
"0xa0d142bd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 877,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|