019b477e-cfc8-7120-be7d-f98df23b05f6
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 |
|---|---|---|---|---|
| 27445 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 27446 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 70987 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 70988 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 70989 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 70990 | 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 0x00bc 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x70b4c9e0 00000019: GT 0000001a: PUSH2 0x0074 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xeb8d2444 00000024: GT 00000025: PUSH2 0x004e 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xeb8d2444 0000002f: EQ 00000030: PUSH2 0x01c4 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf2fde38b 0000003a: EQ 0000003b: PUSH2 0x01ee 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf4a0a528 00000045: EQ 00000046: PUSH2 0x020e 00000049: JUMPI 0000004a: PUSH1 0x00 0000004c: DUP1 0000004d: REVERT 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0x70b4c9e0 00000055: EQ 00000056: PUSH2 0x0154 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x715018a6 00000060: EQ 00000061: PUSH2 0x0191 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x8da5cb5b 0000006b: EQ 0000006c: PUSH2 0x01a6 0000006f: JUMPI 00000070: PUSH1 0x00 00000072: DUP1 00000073: REVERT 00000074: JUMPDEST 00000075: DUP1 00000076: PUSH4 0x34918dfd 0000007b: GT 0000007c: PUSH2 0x00a5 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x34918dfd 00000086: EQ 00000087: PUSH2 0x00f6 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x67af70fa 00000091: EQ 00000092: PUSH2 0x010b 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x6817c76c 0000009c: EQ 0000009d: PUSH2 0x012b 000000a0: JUMPI 000000a1: PUSH1 0x00 000000a3: DUP1 000000a4: REVERT 000000a5: JUMPDEST 000000a6: DUP1 000000a7: PUSH4 0x09077f46 000000ac: EQ 000000ad: PUSH2 0x00c1 000000b0: JUMPI 000000b1: DUP1 000000b2: PUSH4 0x2e1a7d4d 000000b7: EQ 000000b8: PUSH2 0x00d6 000000bb: JUMPI 000000bc: JUMPDEST 000000bd: PUSH1 0x00 000000bf: DUP1 000000c0: REVERT 000000c1: JUMPDEST 000000c2: PUSH2 0x00d4 000000c5: PUSH2 0x00cf 000000c8: CALLDATASIZE 000000c9: PUSH1 0x04 000000cb: PUSH2 0x06f9 000000ce: JUMP 000000cf: JUMPDEST 000000d0: PUSH2 0x022e 000000d3: JUMP 000000d4: JUMPDEST 000000d5: STOP 000000d6: JUMPDEST 000000d7: CALLVALUE 000000d8: DUP1 000000d9: ISZERO 000000da: PUSH2 0x00e2 000000dd: JUMPI 000000de: PUSH1 0x00 000000e0: DUP1 000000e1: REVERT 000000e2: JUMPDEST 000000e3: POP 000000e4: PUSH2 0x00d4 000000e7: PUSH2 0x00f1 000000ea: CALLDATASIZE 000000eb: PUSH1 0x04 000000ed: PUSH2 0x0725 000000f0: JUMP 000000f1: JUMPDEST 000000f2: PUSH2 0x0379 000000f5: JUMP 000000f6: JUMPDEST 000000f7: CALLVALUE 000000f8: DUP1 000000f9: ISZERO 000000fa: PUSH2 0x0102 000000fd: JUMPI 000000fe: PUSH1 0x00 00000100: DUP1 00000101: REVERT 00000102: JUMPDEST 00000103: POP 00000104: PUSH2 0x00d4 00000107: PUSH2 0x038e 0000010a: JUMP 0000010b: JUMPDEST 0000010c: CALLVALUE 0000010d: DUP1 0000010e: ISZERO 0000010f: PUSH2 0x0117 00000112: JUMPI 00000113: PUSH1 0x00 00000115: DUP1 00000116: REVERT 00000117: JUMPDEST 00000118: POP 00000119: PUSH2 0x00d4 0000011c: PUSH2 0x0126 0000011f: CALLDATASIZE 00000120: PUSH1 0x04 00000122: PUSH2 0x073e 00000125: JUMP 00000126: JUMPDEST 00000127: PUSH2 0x03aa 0000012a: JUMP 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 0x0141 0000013c: PUSH1 0x02 0000013e: SLOAD 0000013f: DUP2 00000140: JUMP 00000141: JUMPDEST 00000142: PUSH1 0x40 00000144: MLOAD 00000145: SWAP1 00000146: DUP2 00000147: MSTORE 00000148: PUSH1 0x20 0000014a: ADD 0000014b: JUMPDEST 0000014c: PUSH1 0x40 0000014e: MLOAD 0000014f: DUP1 00000150: SWAP2 00000151: SUB 00000152: SWAP1 00000153: RETURN 00000154: JUMPDEST 00000155: CALLVALUE 00000156: DUP1 00000157: ISZERO 00000158: PUSH2 0x0160 0000015b: JUMPI 0000015c: PUSH1 0x00 0000015e: DUP1 0000015f: REVERT 00000160: JUMPDEST 00000161: POP 00000162: PUSH1 0x03 00000164: SLOAD 00000165: PUSH2 0x0179 00000168: SWAP1 00000169: PUSH2 0x0100 0000016c: SWAP1 0000016d: DIV 0000016e: PUSH1 0x01 00000170: PUSH1 0x01 00000172: PUSH1 0xa0 00000174: SHL 00000175: SUB 00000176: AND 00000177: DUP2 00000178: JUMP 00000179: JUMPDEST 0000017a: PUSH1 0x40 0000017c: MLOAD 0000017d: PUSH1 0x01 0000017f: PUSH1 0x01 00000181: PUSH1 0xa0 00000183: SHL 00000184: SUB 00000185: SWAP1 00000186: SWAP2 00000187: AND 00000188: DUP2 00000189: MSTORE 0000018a: PUSH1 0x20 0000018c: ADD 0000018d: PUSH2 0x014b 00000190: JUMP 00000191: JUMPDEST 00000192: CALLVALUE 00000193: DUP1 00000194: ISZERO 00000195: PUSH2 0x019d 00000198: JUMPI 00000199: PUSH1 0x00 0000019b: DUP1 0000019c: REVERT 0000019d: JUMPDEST 0000019e: POP 0000019f: PUSH2 0x00d4 000001a2: PUSH2 0x03f1 000001a5: JUMP 000001a6: JUMPDEST 000001a7: CALLVALUE 000001a8: DUP1 000001a9: ISZERO 000001aa: PUSH2 0x01b2 000001ad: JUMPI 000001ae: PUSH1 0x00 000001b0: DUP1 000001b1: REVERT 000001b2: JUMPDEST 000001b3: POP 000001b4: PUSH1 0x00 000001b6: SLOAD 000001b7: PUSH1 0x01 000001b9: PUSH1 0x01 000001bb: PUSH1 0xa0 000001bd: SHL 000001be: SUB 000001bf: AND 000001c0: PUSH2 0x0179 000001c3: JUMP 000001c4: JUMPDEST 000001c5: CALLVALUE 000001c6: DUP1 000001c7: ISZERO 000001c8: PUSH2 0x01d0 000001cb: JUMPI 000001cc: PUSH1 0x00 000001ce: DUP1 000001cf: REVERT 000001d0: JUMPDEST 000001d1: POP 000001d2: PUSH1 0x03 000001d4: SLOAD 000001d5: PUSH2 0x01de 000001d8: SWAP1 000001d9: PUSH1 0xff 000001db: AND 000001dc: DUP2 000001dd: JUMP 000001de: JUMPDEST 000001df: PUSH1 0x40 000001e1: MLOAD 000001e2: SWAP1 000001e3: ISZERO 000001e4: ISZERO 000001e5: DUP2 000001e6: MSTORE 000001e7: PUSH1 0x20 000001e9: ADD 000001ea: PUSH2 0x014b 000001ed: JUMP 000001ee: JUMPDEST 000001ef: CALLVALUE 000001f0: DUP1 000001f1: ISZERO 000001f2: PUSH2 0x01fa 000001f5: JUMPI 000001f6: PUSH1 0x00 000001f8: DUP1 000001f9: REVERT 000001fa: JUMPDEST 000001fb: POP 000001fc: PUSH2 0x00d4 000001ff: PUSH2 0x0209 00000202: CALLDATASIZE 00000203: PUSH1 0x04 00000205: PUSH2 0x073e 00000208: JUMP 00000209: JUMPDEST 0000020a: PUSH2 0x0405 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 0x00d4 0000021f: PUSH2 0x0229 00000222: CALLDATASIZE 00000223: PUSH1 0x04 00000225: PUSH2 0x0725 00000228: JUMP 00000229: JUMPDEST 0000022a: PUSH2 0x0497 0000022d: JUMP 0000022e: JUMPDEST 0000022f: PUSH2 0x0236 00000232: PUSH2 0x04a4 00000235: JUMP 00000236: JUMPDEST 00000237: PUSH1 0x03 00000239: SLOAD 0000023a: PUSH1 0xff 0000023c: AND 0000023d: PUSH2 0x0272 00000240: JUMPI 00000241: PUSH1 0x40 00000243: MLOAD 00000244: PUSH32 0xfc33ddda00000000000000000000000000000000000000000000000000000000 00000265: DUP2 00000266: MSTORE 00000267: PUSH1 0x04 00000269: ADD 0000026a: PUSH1 0x40 0000026c: MLOAD 0000026d: DUP1 0000026e: SWAP2 0000026f: SUB 00000270: SWAP1 00000271: REVERT 00000272: JUMPDEST 00000273: DUP2 00000274: PUSH1 0x02 00000276: SLOAD 00000277: PUSH2 0x0280 0000027a: SWAP2 0000027b: SWAP1 0000027c: PUSH2 0x0760 0000027f: JUMP 00000280: JUMPDEST 00000281: CALLVALUE 00000282: LT 00000283: ISZERO 00000284: PUSH2 0x02b9 00000287: JUMPI 00000288: PUSH1 0x40 0000028a: MLOAD 0000028b: PUSH32 0x8a0d377900000000000000000000000000000000000000000000000000000000 000002ac: DUP2 000002ad: MSTORE 000002ae: PUSH1 0x04 000002b0: ADD 000002b1: PUSH1 0x40 000002b3: MLOAD 000002b4: DUP1 000002b5: SWAP2 000002b6: SUB 000002b7: SWAP1 000002b8: REVERT 000002b9: JUMPDEST 000002ba: CALLER 000002bb: PUSH1 0x01 000002bd: PUSH1 0x01 000002bf: PUSH1 0xa0 000002c1: SHL 000002c2: SUB 000002c3: DUP3 000002c4: AND 000002c5: ISZERO 000002c6: PUSH2 0x02cc 000002c9: JUMPI 000002ca: POP 000002cb: DUP1 000002cc: JUMPDEST 000002cd: PUSH1 0x03 000002cf: SLOAD 000002d0: PUSH2 0x0100 000002d3: SWAP1 000002d4: DIV 000002d5: PUSH1 0x01 000002d7: PUSH1 0x01 000002d9: PUSH1 0xa0 000002db: SHL 000002dc: SUB 000002dd: AND 000002de: PUSH4 0x40c10f19 000002e3: DUP3 000002e4: PUSH2 0x02f5 000002e7: DUP7 000002e8: PUSH8 0x0de0b6b3a7640000 000002f1: PUSH2 0x0760 000002f4: JUMP 000002f5: JUMPDEST 000002f6: PUSH1 0x40 000002f8: MLOAD 000002f9: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 0000031a: PUSH1 0xe0 0000031c: DUP6 0000031d: SWAP1 0000031e: SHL 0000031f: AND 00000320: DUP2 00000321: MSTORE 00000322: PUSH1 0x01 00000324: PUSH1 0x01 00000326: PUSH1 0xa0 00000328: SHL 00000329: SUB 0000032a: SWAP1 0000032b: SWAP3 0000032c: AND 0000032d: PUSH1 0x04 0000032f: DUP4 00000330: ADD 00000331: MSTORE 00000332: PUSH1 0x24 00000334: DUP3 00000335: ADD 00000336: MSTORE 00000337: PUSH1 0x44 00000339: ADD 0000033a: PUSH1 0x00 0000033c: PUSH1 0x40 0000033e: MLOAD 0000033f: DUP1 00000340: DUP4 00000341: SUB 00000342: DUP2 00000343: PUSH1 0x00 00000345: DUP8 00000346: DUP1 00000347: EXTCODESIZE 00000348: ISZERO 00000349: DUP1 0000034a: ISZERO 0000034b: PUSH2 0x0353 0000034e: JUMPI 0000034f: PUSH1 0x00 00000351: DUP1 00000352: REVERT 00000353: JUMPDEST 00000354: POP 00000355: GAS 00000356: CALL 00000357: ISZERO 00000358: DUP1 00000359: ISZERO 0000035a: PUSH2 0x0367 0000035d: JUMPI 0000035e: RETURNDATASIZE 0000035f: PUSH1 0x00 00000361: DUP1 00000362: RETURNDATACOPY 00000363: RETURNDATASIZE 00000364: PUSH1 0x00 00000366: REVERT 00000367: JUMPDEST 00000368: POP 00000369: POP 0000036a: POP 0000036b: POP 0000036c: POP 0000036d: PUSH2 0x0375 00000370: PUSH1 0x01 00000372: DUP1 00000373: SSTORE 00000374: JUMP 00000375: JUMPDEST 00000376: POP 00000377: POP 00000378: JUMP 00000379: JUMPDEST 0000037a: PUSH2 0x0381 0000037d: PUSH2 0x04fd 00000380: JUMP 00000381: JUMPDEST 00000382: PUSH2 0x038b 00000385: CALLER 00000386: DUP3 00000387: PUSH2 0x0557 0000038a: JUMP 0000038b: JUMPDEST 0000038c: POP 0000038d: JUMP 0000038e: JUMPDEST 0000038f: PUSH2 0x0396 00000392: PUSH2 0x04fd 00000395: JUMP 00000396: JUMPDEST 00000397: PUSH1 0x03 00000399: DUP1 0000039a: SLOAD 0000039b: PUSH1 0xff 0000039d: NOT 0000039e: DUP2 0000039f: AND 000003a0: PUSH1 0xff 000003a2: SWAP1 000003a3: SWAP2 000003a4: AND 000003a5: ISZERO 000003a6: OR 000003a7: SWAP1 000003a8: SSTORE 000003a9: JUMP 000003aa: JUMPDEST 000003ab: PUSH2 0x03b2 000003ae: PUSH2 0x04fd 000003b1: JUMP 000003b2: JUMPDEST 000003b3: PUSH1 0x03 000003b5: DUP1 000003b6: SLOAD 000003b7: PUSH1 0x01 000003b9: PUSH1 0x01 000003bb: PUSH1 0xa0 000003bd: SHL 000003be: SUB 000003bf: SWAP1 000003c0: SWAP3 000003c1: AND 000003c2: PUSH2 0x0100 000003c5: MUL 000003c6: PUSH32 0xffffffffffffffffffffff0000000000000000000000000000000000000000ff 000003e7: SWAP1 000003e8: SWAP3 000003e9: AND 000003ea: SWAP2 000003eb: SWAP1 000003ec: SWAP2 000003ed: OR 000003ee: SWAP1 000003ef: SSTORE 000003f0: JUMP 000003f1: JUMPDEST 000003f2: PUSH2 0x03f9 000003f5: PUSH2 0x04fd 000003f8: JUMP 000003f9: JUMPDEST 000003fa: PUSH2 0x0403 000003fd: PUSH1 0x00 000003ff: PUSH2 0x0675 00000402: JUMP 00000403: JUMPDEST 00000404: JUMP 00000405: JUMPDEST 00000406: PUSH2 0x040d 00000409: PUSH2 0x04fd 0000040c: JUMP 0000040d: JUMPDEST 0000040e: PUSH1 0x01 00000410: PUSH1 0x01 00000412: PUSH1 0xa0 00000414: SHL 00000415: SUB 00000416: DUP2 00000417: AND 00000418: PUSH2 0x048e 0000041b: JUMPI 0000041c: PUSH1 0x40 0000041e: MLOAD 0000041f: PUSH3 0x461bcd 00000423: PUSH1 0xe5 00000425: SHL 00000426: DUP2 00000427: MSTORE 00000428: PUSH1 0x20 0000042a: PUSH1 0x04 0000042c: DUP3 0000042d: ADD 0000042e: MSTORE 0000042f: PUSH1 0x26 00000431: PUSH1 0x24 00000433: DUP3 00000434: ADD 00000435: MSTORE 00000436: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000457: PUSH1 0x44 00000459: DUP3 0000045a: ADD 0000045b: MSTORE 0000045c: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 0000047d: PUSH1 0x64 0000047f: DUP3 00000480: ADD 00000481: MSTORE 00000482: PUSH1 0x84 00000484: ADD 00000485: JUMPDEST 00000486: PUSH1 0x40 00000488: MLOAD 00000489: DUP1 0000048a: SWAP2 0000048b: SUB 0000048c: SWAP1 0000048d: REVERT 0000048e: JUMPDEST 0000048f: PUSH2 0x038b 00000492: DUP2 00000493: PUSH2 0x0675 00000496: JUMP 00000497: JUMPDEST 00000498: PUSH2 0x049f 0000049b: PUSH2 0x04fd 0000049e: JUMP 0000049f: JUMPDEST 000004a0: PUSH1 0x02 000004a2: SSTORE 000004a3: JUMP 000004a4: JUMPDEST 000004a5: PUSH1 0x02 000004a7: PUSH1 0x01 000004a9: SLOAD 000004aa: SUB 000004ab: PUSH2 0x04f6 000004ae: JUMPI 000004af: PUSH1 0x40 000004b1: MLOAD 000004b2: PUSH3 0x461bcd 000004b6: PUSH1 0xe5 000004b8: SHL 000004b9: DUP2 000004ba: MSTORE 000004bb: PUSH1 0x20 000004bd: PUSH1 0x04 000004bf: DUP3 000004c0: ADD 000004c1: MSTORE 000004c2: PUSH1 0x1f 000004c4: PUSH1 0x24 000004c6: DUP3 000004c7: ADD 000004c8: MSTORE 000004c9: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 000004ea: PUSH1 0x44 000004ec: DUP3 000004ed: ADD 000004ee: MSTORE 000004ef: PUSH1 0x64 000004f1: ADD 000004f2: PUSH2 0x0485 000004f5: JUMP 000004f6: JUMPDEST 000004f7: PUSH1 0x02 000004f9: PUSH1 0x01 000004fb: SSTORE 000004fc: JUMP 000004fd: JUMPDEST 000004fe: PUSH1 0x00 00000500: SLOAD 00000501: PUSH1 0x01 00000503: PUSH1 0x01 00000505: PUSH1 0xa0 00000507: SHL 00000508: SUB 00000509: AND 0000050a: CALLER 0000050b: EQ 0000050c: PUSH2 0x0403 0000050f: JUMPI 00000510: PUSH1 0x40 00000512: MLOAD 00000513: PUSH3 0x461bcd 00000517: PUSH1 0xe5 00000519: SHL 0000051a: DUP2 0000051b: MSTORE 0000051c: PUSH1 0x20 0000051e: PUSH1 0x04 00000520: DUP3 00000521: ADD 00000522: DUP2 00000523: SWAP1 00000524: MSTORE 00000525: PUSH1 0x24 00000527: DUP3 00000528: ADD 00000529: MSTORE 0000052a: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000054b: PUSH1 0x44 0000054d: DUP3 0000054e: ADD 0000054f: MSTORE 00000550: PUSH1 0x64 00000552: ADD 00000553: PUSH2 0x0485 00000556: JUMP 00000557: JUMPDEST 00000558: DUP1 00000559: SELFBALANCE 0000055a: LT 0000055b: ISZERO 0000055c: PUSH2 0x05a7 0000055f: JUMPI 00000560: PUSH1 0x40 00000562: MLOAD 00000563: PUSH3 0x461bcd 00000567: PUSH1 0xe5 00000569: SHL 0000056a: DUP2 0000056b: MSTORE 0000056c: PUSH1 0x20 0000056e: PUSH1 0x04 00000570: DUP3 00000571: ADD 00000572: MSTORE 00000573: PUSH1 0x1d 00000575: PUSH1 0x24 00000577: DUP3 00000578: ADD 00000579: MSTORE 0000057a: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 0000059b: PUSH1 0x44 0000059d: DUP3 0000059e: ADD 0000059f: MSTORE 000005a0: PUSH1 0x64 000005a2: ADD 000005a3: PUSH2 0x0485 000005a6: JUMP 000005a7: JUMPDEST 000005a8: PUSH1 0x00 000005aa: DUP3 000005ab: PUSH1 0x01 000005ad: PUSH1 0x01 000005af: PUSH1 0xa0 000005b1: SHL 000005b2: SUB 000005b3: AND 000005b4: DUP3 000005b5: PUSH1 0x40 000005b7: MLOAD 000005b8: PUSH1 0x00 000005ba: PUSH1 0x40 000005bc: MLOAD 000005bd: DUP1 000005be: DUP4 000005bf: SUB 000005c0: DUP2 000005c1: DUP6 000005c2: DUP8 000005c3: GAS 000005c4: CALL 000005c5: SWAP3 000005c6: POP 000005c7: POP 000005c8: POP 000005c9: RETURNDATASIZE 000005ca: DUP1 000005cb: PUSH1 0x00 000005cd: DUP2 000005ce: EQ 000005cf: PUSH2 0x05f4 000005d2: JUMPI 000005d3: PUSH1 0x40 000005d5: MLOAD 000005d6: SWAP2 000005d7: POP 000005d8: PUSH1 0x1f 000005da: NOT 000005db: PUSH1 0x3f 000005dd: RETURNDATASIZE 000005de: ADD 000005df: AND 000005e0: DUP3 000005e1: ADD 000005e2: PUSH1 0x40 000005e4: MSTORE 000005e5: RETURNDATASIZE 000005e6: DUP3 000005e7: MSTORE 000005e8: RETURNDATASIZE 000005e9: PUSH1 0x00 000005eb: PUSH1 0x20 000005ed: DUP5 000005ee: ADD 000005ef: RETURNDATACOPY 000005f0: PUSH2 0x05f9 000005f3: JUMP 000005f4: JUMPDEST 000005f5: PUSH1 0x60 000005f7: SWAP2 000005f8: POP 000005f9: JUMPDEST 000005fa: POP 000005fb: POP 000005fc: SWAP1 000005fd: POP 000005fe: DUP1 000005ff: PUSH2 0x0670 00000602: JUMPI 00000603: PUSH1 0x40 00000605: MLOAD 00000606: PUSH3 0x461bcd 0000060a: PUSH1 0xe5 0000060c: SHL 0000060d: DUP2 0000060e: MSTORE 0000060f: PUSH1 0x20 00000611: PUSH1 0x04 00000613: DUP3 00000614: ADD 00000615: MSTORE 00000616: PUSH1 0x3a 00000618: PUSH1 0x24 0000061a: DUP3 0000061b: ADD 0000061c: MSTORE 0000061d: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 0000063e: PUSH1 0x44 00000640: DUP3 00000641: ADD 00000642: MSTORE 00000643: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 00000664: PUSH1 0x64 00000666: DUP3 00000667: ADD 00000668: MSTORE 00000669: PUSH1 0x84 0000066b: ADD 0000066c: PUSH2 0x0485 0000066f: JUMP 00000670: JUMPDEST 00000671: POP 00000672: POP 00000673: POP 00000674: JUMP 00000675: JUMPDEST 00000676: PUSH1 0x00 00000678: DUP1 00000679: SLOAD 0000067a: PUSH1 0x01 0000067c: PUSH1 0x01 0000067e: PUSH1 0xa0 00000680: SHL 00000681: SUB 00000682: DUP4 00000683: DUP2 00000684: AND 00000685: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000006a6: DUP4 000006a7: AND 000006a8: DUP2 000006a9: OR 000006aa: DUP5 000006ab: SSTORE 000006ac: PUSH1 0x40 000006ae: MLOAD 000006af: SWAP2 000006b0: SWAP1 000006b1: SWAP3 000006b2: AND 000006b3: SWAP3 000006b4: DUP4 000006b5: SWAP2 000006b6: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000006d7: SWAP2 000006d8: SWAP1 000006d9: LOG3 000006da: POP 000006db: POP 000006dc: JUMP 000006dd: JUMPDEST 000006de: DUP1 000006df: CALLDATALOAD 000006e0: PUSH1 0x01 000006e2: PUSH1 0x01 000006e4: PUSH1 0xa0 000006e6: SHL 000006e7: SUB 000006e8: DUP2 000006e9: AND 000006ea: DUP2 000006eb: EQ 000006ec: PUSH2 0x06f4 000006ef: JUMPI 000006f0: PUSH1 0x00 000006f2: DUP1 000006f3: REVERT 000006f4: JUMPDEST 000006f5: SWAP2 000006f6: SWAP1 000006f7: POP 000006f8: JUMP 000006f9: JUMPDEST 000006fa: PUSH1 0x00 000006fc: DUP1 000006fd: PUSH1 0x40 000006ff: DUP4 00000700: DUP6 00000701: SUB 00000702: SLT 00000703: ISZERO 00000704: PUSH2 0x070c 00000707: JUMPI 00000708: PUSH1 0x00 0000070a: DUP1 0000070b: REVERT 0000070c: JUMPDEST 0000070d: DUP3 0000070e: CALLDATALOAD 0000070f: SWAP2 00000710: POP 00000711: PUSH2 0x071c 00000714: PUSH1 0x20 00000716: DUP5 00000717: ADD 00000718: PUSH2 0x06dd 0000071b: JUMP 0000071c: JUMPDEST 0000071d: SWAP1 0000071e: POP 0000071f: SWAP3 00000720: POP 00000721: SWAP3 00000722: SWAP1 00000723: POP 00000724: JUMP 00000725: JUMPDEST 00000726: PUSH1 0x00 00000728: PUSH1 0x20 0000072a: DUP3 0000072b: DUP5 0000072c: SUB 0000072d: SLT 0000072e: ISZERO 0000072f: PUSH2 0x0737 00000732: JUMPI 00000733: PUSH1 0x00 00000735: DUP1 00000736: REVERT 00000737: JUMPDEST 00000738: POP 00000739: CALLDATALOAD 0000073a: SWAP2 0000073b: SWAP1 0000073c: POP 0000073d: JUMP 0000073e: JUMPDEST 0000073f: PUSH1 0x00 00000741: PUSH1 0x20 00000743: DUP3 00000744: DUP5 00000745: SUB 00000746: SLT 00000747: ISZERO 00000748: PUSH2 0x0750 0000074b: JUMPI 0000074c: PUSH1 0x00 0000074e: DUP1 0000074f: REVERT 00000750: JUMPDEST 00000751: PUSH2 0x0759 00000754: DUP3 00000755: PUSH2 0x06dd 00000758: JUMP 00000759: JUMPDEST 0000075a: SWAP4 0000075b: SWAP3 0000075c: POP 0000075d: POP 0000075e: POP 0000075f: JUMP 00000760: JUMPDEST 00000761: DUP1 00000762: DUP3 00000763: MUL 00000764: DUP2 00000765: ISZERO 00000766: DUP3 00000767: DUP3 00000768: DIV 00000769: DUP5 0000076a: EQ 0000076b: OR 0000076c: PUSH2 0x079e 0000076f: JUMPI 00000770: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000791: PUSH1 0x00 00000793: MSTORE 00000794: PUSH1 0x11 00000796: PUSH1 0x04 00000798: MSTORE 00000799: PUSH1 0x24 0000079b: PUSH1 0x00 0000079d: REVERT 0000079e: JUMPDEST 0000079f: SWAP3 000007a0: SWAP2 000007a1: POP 000007a2: POP 000007a3: JUMP 000007a4: INVALID 000007a5: LOG2 000007a6: PUSH5 0x6970667358 000007ac: UNKNOWN(0x22) 000007ad: SLT 000007ae: KECCAK256 000007af: UNKNOWN(0xC4) 000007b0: PUSH6 0xd9e6474b7bc4 000007b7: UNKNOWN(0xB9) 000007b8: UNKNOWN(0xED) 000007b9: UNKNOWN(0x4C) 000007ba: UNKNOWN(0xD0) 000007bb: SELFBALANCE 000007bc: TSTORE 000007bd: SLT 000007be: UNKNOWN(0xC2) 000007bf: UNKNOWN(0xA9) 000007c0: MLOAD 000007c1: UNKNOWN(0xCA) 000007c2: CALLER 000007c3: LOG4 000007c4: PUSH1 0x3c 000007c6: UNKNOWN(0xE1) 000007c7: JUMPI 000007c8: UNKNOWN(0xAE) 000007c9: REVERT 000007ca: PUSH27
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x9127596be570a14191f06ab5a8b32dd0ce09027c3247bc643292bd661e6d28a8
call_targets:
0x2d5c308d62338d977f6223162a8951672e60562f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9127596be570a14191f06ab5a8b32dd0ce09027c3247bc643292bd661e6d28a8",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2d5c308d62338d977f6223162a8951672e60562f"
],
"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": "0xeb8d2444",
"selector": "0xeb8d2444",
"calldata_variants": [
"0xeb8d2444",
"0xeb8d24440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4a0a528",
"selector": "0xf4a0a528",
"calldata_variants": [
"0xf4a0a528",
"0xf4a0a5280000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70b4c9e0",
"selector": "0x70b4c9e0",
"calldata_variants": [
"0x70b4c9e0",
"0x70b4c9e00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x34918dfd",
"selector": "0x34918dfd",
"calldata_variants": [
"0x34918dfd",
"0x34918dfd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x67af70fa",
"selector": "0x67af70fa",
"calldata_variants": [
"0x67af70fa",
"0x67af70fa0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 854,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1476,
"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: 0x9127596be570a14191f06ab5a8b32dd0ce09027c3247bc643292bd661e6d28a8
call_targets:
0x2d5c308d62338d977f6223162a8951672e60562f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9127596be570a14191f06ab5a8b32dd0ce09027c3247bc643292bd661e6d28a8",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2d5c308d62338d977f6223162a8951672e60562f"
],
"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": "0xeb8d2444",
"selector": "0xeb8d2444",
"calldata_variants": [
"0xeb8d2444",
"0xeb8d24440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4a0a528",
"selector": "0xf4a0a528",
"calldata_variants": [
"0xf4a0a528",
"0xf4a0a5280000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70b4c9e0",
"selector": "0x70b4c9e0",
"calldata_variants": [
"0x70b4c9e0",
"0x70b4c9e00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x34918dfd",
"selector": "0x34918dfd",
"calldata_variants": [
"0x34918dfd",
"0x34918dfd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x67af70fa",
"selector": "0x67af70fa",
"calldata_variants": [
"0x67af70fa",
"0x67af70fa0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 854,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1476,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|