019b477e-c5d4-71ca-bdf8-9163d2670805
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 |
|---|---|---|---|---|
| 25661 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25662 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 68930 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 68931 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 68932 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 68933 | 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 0x007f 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x918c5071 00000019: GT 0000001a: PUSH2 0x004e 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x918c5071 00000024: EQ 00000025: PUSH2 0x017f 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x9852595c 0000002f: EQ 00000030: PUSH2 0x019f 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xce7c2ac2 0000003a: EQ 0000003b: PUSH2 0x01d5 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe33b7de3 00000045: EQ 00000046: PUSH2 0x020b 00000049: JUMPI 0000004a: PUSH1 0x00 0000004c: DUP1 0000004d: REVERT 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0x19165587 00000055: EQ 00000056: PUSH2 0x00cd 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x3a98ef39 00000060: EQ 00000061: PUSH2 0x00ef 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x3fc8cef3 0000006b: EQ 0000006c: PUSH2 0x0113 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x8b83209b 00000076: EQ 00000077: PUSH2 0x015f 0000007a: JUMPI 0000007b: PUSH1 0x00 0000007d: DUP1 0000007e: REVERT 0000007f: JUMPDEST 00000080: CALLDATASIZE 00000081: PUSH2 0x00c8 00000084: JUMPI 00000085: PUSH32 0x6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be770 000000a6: CALLER 000000a7: PUSH1 0x40 000000a9: DUP1 000000aa: MLOAD 000000ab: PUSH1 0x01 000000ad: PUSH1 0x01 000000af: PUSH1 0xa0 000000b1: SHL 000000b2: SUB 000000b3: SWAP1 000000b4: SWAP3 000000b5: AND 000000b6: DUP3 000000b7: MSTORE 000000b8: CALLVALUE 000000b9: PUSH1 0x20 000000bb: DUP4 000000bc: ADD 000000bd: MSTORE 000000be: ADD 000000bf: PUSH1 0x40 000000c1: MLOAD 000000c2: DUP1 000000c3: SWAP2 000000c4: SUB 000000c5: SWAP1 000000c6: LOG1 000000c7: STOP 000000c8: JUMPDEST 000000c9: PUSH1 0x00 000000cb: DUP1 000000cc: REVERT 000000cd: JUMPDEST 000000ce: CALLVALUE 000000cf: DUP1 000000d0: ISZERO 000000d1: PUSH2 0x00d9 000000d4: JUMPI 000000d5: PUSH1 0x00 000000d7: DUP1 000000d8: REVERT 000000d9: JUMPDEST 000000da: POP 000000db: PUSH2 0x00ed 000000de: PUSH2 0x00e8 000000e1: CALLDATASIZE 000000e2: PUSH1 0x04 000000e4: PUSH2 0x08cd 000000e7: JUMP 000000e8: JUMPDEST 000000e9: PUSH2 0x0220 000000ec: JUMP 000000ed: JUMPDEST 000000ee: STOP 000000ef: JUMPDEST 000000f0: CALLVALUE 000000f1: DUP1 000000f2: ISZERO 000000f3: PUSH2 0x00fb 000000f6: JUMPI 000000f7: PUSH1 0x00 000000f9: DUP1 000000fa: REVERT 000000fb: JUMPDEST 000000fc: POP 000000fd: PUSH1 0x00 000000ff: SLOAD 00000100: JUMPDEST 00000101: PUSH1 0x40 00000103: MLOAD 00000104: SWAP1 00000105: DUP2 00000106: MSTORE 00000107: PUSH1 0x20 00000109: ADD 0000010a: JUMPDEST 0000010b: PUSH1 0x40 0000010d: MLOAD 0000010e: DUP1 0000010f: SWAP2 00000110: SUB 00000111: SWAP1 00000112: RETURN 00000113: JUMPDEST 00000114: CALLVALUE 00000115: DUP1 00000116: ISZERO 00000117: PUSH2 0x011f 0000011a: JUMPI 0000011b: PUSH1 0x00 0000011d: DUP1 0000011e: REVERT 0000011f: JUMPDEST 00000120: POP 00000121: PUSH2 0x0147 00000124: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00000145: DUP2 00000146: JUMP 00000147: JUMPDEST 00000148: PUSH1 0x40 0000014a: MLOAD 0000014b: PUSH1 0x01 0000014d: PUSH1 0x01 0000014f: PUSH1 0xa0 00000151: SHL 00000152: SUB 00000153: SWAP1 00000154: SWAP2 00000155: AND 00000156: DUP2 00000157: MSTORE 00000158: PUSH1 0x20 0000015a: ADD 0000015b: PUSH2 0x010a 0000015e: JUMP 0000015f: JUMPDEST 00000160: CALLVALUE 00000161: DUP1 00000162: ISZERO 00000163: PUSH2 0x016b 00000166: JUMPI 00000167: PUSH1 0x00 00000169: DUP1 0000016a: REVERT 0000016b: JUMPDEST 0000016c: POP 0000016d: PUSH2 0x0147 00000170: PUSH2 0x017a 00000173: CALLDATASIZE 00000174: PUSH1 0x04 00000176: PUSH2 0x08f1 00000179: JUMP 0000017a: JUMPDEST 0000017b: PUSH2 0x041e 0000017e: JUMP 0000017f: JUMPDEST 00000180: CALLVALUE 00000181: DUP1 00000182: ISZERO 00000183: PUSH2 0x018b 00000186: JUMPI 00000187: PUSH1 0x00 00000189: DUP1 0000018a: REVERT 0000018b: JUMPDEST 0000018c: POP 0000018d: PUSH2 0x00ed 00000190: PUSH2 0x019a 00000193: CALLDATASIZE 00000194: PUSH1 0x04 00000196: PUSH2 0x08cd 00000199: JUMP 0000019a: JUMPDEST 0000019b: PUSH2 0x044e 0000019e: JUMP 0000019f: JUMPDEST 000001a0: CALLVALUE 000001a1: DUP1 000001a2: ISZERO 000001a3: PUSH2 0x01ab 000001a6: JUMPI 000001a7: PUSH1 0x00 000001a9: DUP1 000001aa: REVERT 000001ab: JUMPDEST 000001ac: POP 000001ad: PUSH2 0x0100 000001b0: PUSH2 0x01ba 000001b3: CALLDATASIZE 000001b4: PUSH1 0x04 000001b6: PUSH2 0x08cd 000001b9: JUMP 000001ba: JUMPDEST 000001bb: PUSH1 0x01 000001bd: PUSH1 0x01 000001bf: PUSH1 0xa0 000001c1: SHL 000001c2: SUB 000001c3: AND 000001c4: PUSH1 0x00 000001c6: SWAP1 000001c7: DUP2 000001c8: MSTORE 000001c9: PUSH1 0x03 000001cb: PUSH1 0x20 000001cd: MSTORE 000001ce: PUSH1 0x40 000001d0: SWAP1 000001d1: KECCAK256 000001d2: SLOAD 000001d3: SWAP1 000001d4: JUMP 000001d5: JUMPDEST 000001d6: CALLVALUE 000001d7: DUP1 000001d8: ISZERO 000001d9: PUSH2 0x01e1 000001dc: JUMPI 000001dd: PUSH1 0x00 000001df: DUP1 000001e0: REVERT 000001e1: JUMPDEST 000001e2: POP 000001e3: PUSH2 0x0100 000001e6: PUSH2 0x01f0 000001e9: CALLDATASIZE 000001ea: PUSH1 0x04 000001ec: PUSH2 0x08cd 000001ef: JUMP 000001f0: JUMPDEST 000001f1: PUSH1 0x01 000001f3: PUSH1 0x01 000001f5: PUSH1 0xa0 000001f7: SHL 000001f8: SUB 000001f9: AND 000001fa: PUSH1 0x00 000001fc: SWAP1 000001fd: DUP2 000001fe: MSTORE 000001ff: PUSH1 0x02 00000201: PUSH1 0x20 00000203: MSTORE 00000204: PUSH1 0x40 00000206: SWAP1 00000207: KECCAK256 00000208: SLOAD 00000209: SWAP1 0000020a: JUMP 0000020b: JUMPDEST 0000020c: CALLVALUE 0000020d: DUP1 0000020e: ISZERO 0000020f: PUSH2 0x0217 00000212: JUMPI 00000213: PUSH1 0x00 00000215: DUP1 00000216: REVERT 00000217: JUMPDEST 00000218: POP 00000219: PUSH1 0x01 0000021b: SLOAD 0000021c: PUSH2 0x0100 0000021f: JUMP 00000220: JUMPDEST 00000221: PUSH1 0x01 00000223: PUSH1 0x01 00000225: PUSH1 0xa0 00000227: SHL 00000228: SUB 00000229: DUP2 0000022a: AND 0000022b: PUSH1 0x00 0000022d: SWAP1 0000022e: DUP2 0000022f: MSTORE 00000230: PUSH1 0x02 00000232: PUSH1 0x20 00000234: MSTORE 00000235: PUSH1 0x40 00000237: SWAP1 00000238: KECCAK256 00000239: SLOAD 0000023a: PUSH2 0x02b0 0000023d: JUMPI 0000023e: PUSH1 0x40 00000240: MLOAD 00000241: PUSH3 0x461bcd 00000245: PUSH1 0xe5 00000247: SHL 00000248: DUP2 00000249: MSTORE 0000024a: PUSH1 0x20 0000024c: PUSH1 0x04 0000024e: DUP3 0000024f: ADD 00000250: MSTORE 00000251: PUSH1 0x26 00000253: PUSH1 0x24 00000255: DUP3 00000256: ADD 00000257: MSTORE 00000258: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20 00000279: PUSH1 0x44 0000027b: DUP3 0000027c: ADD 0000027d: MSTORE 0000027e: PUSH32 0x7368617265730000000000000000000000000000000000000000000000000000 0000029f: PUSH1 0x64 000002a1: DUP3 000002a2: ADD 000002a3: MSTORE 000002a4: PUSH1 0x84 000002a6: ADD 000002a7: JUMPDEST 000002a8: PUSH1 0x40 000002aa: MLOAD 000002ab: DUP1 000002ac: SWAP2 000002ad: SUB 000002ae: SWAP1 000002af: REVERT 000002b0: JUMPDEST 000002b1: PUSH1 0x00 000002b3: PUSH1 0x01 000002b5: SLOAD 000002b6: SELFBALANCE 000002b7: PUSH2 0x02c0 000002ba: SWAP2 000002bb: SWAP1 000002bc: PUSH2 0x0920 000002bf: JUMP 000002c0: JUMPDEST 000002c1: PUSH1 0x01 000002c3: PUSH1 0x01 000002c5: PUSH1 0xa0 000002c7: SHL 000002c8: SUB 000002c9: DUP4 000002ca: AND 000002cb: PUSH1 0x00 000002cd: SWAP1 000002ce: DUP2 000002cf: MSTORE 000002d0: PUSH1 0x03 000002d2: PUSH1 0x20 000002d4: SWAP1 000002d5: DUP2 000002d6: MSTORE 000002d7: PUSH1 0x40 000002d9: DUP1 000002da: DUP4 000002db: KECCAK256 000002dc: SLOAD 000002dd: DUP4 000002de: SLOAD 000002df: PUSH1 0x02 000002e1: SWAP1 000002e2: SWAP4 000002e3: MSTORE 000002e4: SWAP1 000002e5: DUP4 000002e6: KECCAK256 000002e7: SLOAD 000002e8: SWAP4 000002e9: SWAP5 000002ea: POP 000002eb: SWAP2 000002ec: SWAP3 000002ed: PUSH2 0x02f6 000002f0: SWAP1 000002f1: DUP6 000002f2: PUSH2 0x0938 000002f5: JUMP 000002f6: JUMPDEST 000002f7: PUSH2 0x0300 000002fa: SWAP2 000002fb: SWAP1 000002fc: PUSH2 0x0975 000002ff: JUMP 00000300: JUMPDEST 00000301: PUSH2 0x030a 00000304: SWAP2 00000305: SWAP1 00000306: PUSH2 0x0997 00000309: JUMP 0000030a: JUMPDEST 0000030b: SWAP1 0000030c: POP 0000030d: DUP1 0000030e: PUSH2 0x037f 00000311: JUMPI 00000312: PUSH1 0x40 00000314: MLOAD 00000315: PUSH3 0x461bcd 00000319: PUSH1 0xe5 0000031b: SHL 0000031c: DUP2 0000031d: MSTORE 0000031e: PUSH1 0x20 00000320: PUSH1 0x04 00000322: DUP3 00000323: ADD 00000324: MSTORE 00000325: PUSH1 0x2b 00000327: PUSH1 0x24 00000329: DUP3 0000032a: ADD 0000032b: MSTORE 0000032c: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420 0000034d: PUSH1 0x44 0000034f: DUP3 00000350: ADD 00000351: MSTORE 00000352: PUSH32 0x647565207061796d656e74000000000000000000000000000000000000000000 00000373: PUSH1 0x64 00000375: DUP3 00000376: ADD 00000377: MSTORE 00000378: PUSH1 0x84 0000037a: ADD 0000037b: PUSH2 0x02a7 0000037e: JUMP 0000037f: JUMPDEST 00000380: PUSH1 0x01 00000382: PUSH1 0x01 00000384: PUSH1 0xa0 00000386: SHL 00000387: SUB 00000388: DUP4 00000389: AND 0000038a: PUSH1 0x00 0000038c: SWAP1 0000038d: DUP2 0000038e: MSTORE 0000038f: PUSH1 0x03 00000391: PUSH1 0x20 00000393: MSTORE 00000394: PUSH1 0x40 00000396: SWAP1 00000397: KECCAK256 00000398: SLOAD 00000399: PUSH2 0x03a3 0000039c: SWAP1 0000039d: DUP3 0000039e: SWAP1 0000039f: PUSH2 0x0920 000003a2: JUMP 000003a3: JUMPDEST 000003a4: PUSH1 0x01 000003a6: PUSH1 0x01 000003a8: PUSH1 0xa0 000003aa: SHL 000003ab: SUB 000003ac: DUP5 000003ad: AND 000003ae: PUSH1 0x00 000003b0: SWAP1 000003b1: DUP2 000003b2: MSTORE 000003b3: PUSH1 0x03 000003b5: PUSH1 0x20 000003b7: MSTORE 000003b8: PUSH1 0x40 000003ba: SWAP1 000003bb: KECCAK256 000003bc: SSTORE 000003bd: PUSH1 0x01 000003bf: SLOAD 000003c0: PUSH2 0x03ca 000003c3: SWAP1 000003c4: DUP3 000003c5: SWAP1 000003c6: PUSH2 0x0920 000003c9: JUMP 000003ca: JUMPDEST 000003cb: PUSH1 0x01 000003cd: SSTORE 000003ce: PUSH2 0x03d7 000003d1: DUP4 000003d2: DUP3 000003d3: PUSH2 0x0797 000003d6: JUMP 000003d7: JUMPDEST 000003d8: PUSH1 0x40 000003da: DUP1 000003db: MLOAD 000003dc: PUSH1 0x01 000003de: PUSH1 0x01 000003e0: PUSH1 0xa0 000003e2: SHL 000003e3: SUB 000003e4: DUP6 000003e5: AND 000003e6: DUP2 000003e7: MSTORE 000003e8: PUSH1 0x20 000003ea: DUP2 000003eb: ADD 000003ec: DUP4 000003ed: SWAP1 000003ee: MSTORE 000003ef: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056 00000410: SWAP2 00000411: ADD 00000412: PUSH1 0x40 00000414: MLOAD 00000415: DUP1 00000416: SWAP2 00000417: SUB 00000418: SWAP1 00000419: LOG1 0000041a: POP 0000041b: POP 0000041c: POP 0000041d: JUMP 0000041e: JUMPDEST 0000041f: PUSH1 0x00 00000421: PUSH1 0x04 00000423: DUP3 00000424: DUP2 00000425: SLOAD 00000426: DUP2 00000427: LT 00000428: PUSH2 0x0433 0000042b: JUMPI 0000042c: PUSH2 0x0433 0000042f: PUSH2 0x09ae 00000432: JUMP 00000433: JUMPDEST 00000434: PUSH1 0x00 00000436: SWAP2 00000437: DUP3 00000438: MSTORE 00000439: PUSH1 0x20 0000043b: SWAP1 0000043c: SWAP2 0000043d: KECCAK256 0000043e: ADD 0000043f: SLOAD 00000440: PUSH1 0x01 00000442: PUSH1 0x01 00000444: PUSH1 0xa0 00000446: SHL 00000447: SUB 00000448: AND 00000449: SWAP3 0000044a: SWAP2 0000044b: POP 0000044c: POP 0000044d: JUMP 0000044e: JUMPDEST 0000044f: PUSH1 0x01 00000451: PUSH1 0x01 00000453: PUSH1 0xa0 00000455: SHL 00000456: SUB 00000457: DUP2 00000458: AND 00000459: PUSH1 0x00 0000045b: SWAP1 0000045c: DUP2 0000045d: MSTORE 0000045e: PUSH1 0x02 00000460: PUSH1 0x20 00000462: MSTORE 00000463: PUSH1 0x40 00000465: SWAP1 00000466: KECCAK256 00000467: SLOAD 00000468: PUSH2 0x04d9 0000046b: JUMPI 0000046c: PUSH1 0x40 0000046e: MLOAD 0000046f: PUSH3 0x461bcd 00000473: PUSH1 0xe5 00000475: SHL 00000476: DUP2 00000477: MSTORE 00000478: PUSH1 0x20 0000047a: PUSH1 0x04 0000047c: DUP3 0000047d: ADD 0000047e: MSTORE 0000047f: PUSH1 0x26 00000481: PUSH1 0x24 00000483: DUP3 00000484: ADD 00000485: MSTORE 00000486: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20 000004a7: PUSH1 0x44 000004a9: DUP3 000004aa: ADD 000004ab: MSTORE 000004ac: PUSH32 0x7368617265730000000000000000000000000000000000000000000000000000 000004cd: PUSH1 0x64 000004cf: DUP3 000004d0: ADD 000004d1: MSTORE 000004d2: PUSH1 0x84 000004d4: ADD 000004d5: PUSH2 0x02a7 000004d8: JUMP 000004d9: JUMPDEST 000004da: PUSH1 0x40 000004dc: MLOAD 000004dd: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 000004fe: DUP2 000004ff: MSTORE 00000500: ADDRESS 00000501: PUSH1 0x04 00000503: DUP3 00000504: ADD 00000505: MSTORE 00000506: PUSH1 0x00 00000508: SWAP1 00000509: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 0000052a: PUSH1 0x01 0000052c: PUSH1 0x01 0000052e: PUSH1 0xa0 00000530: SHL 00000531: SUB 00000532: AND 00000533: SWAP1 00000534: PUSH4 0x70a08231 00000539: SWAP1 0000053a: PUSH1 0x24 0000053c: ADD 0000053d: PUSH1 0x20 0000053f: PUSH1 0x40 00000541: MLOAD 00000542: DUP1 00000543: DUP4 00000544: SUB 00000545: DUP2 00000546: DUP7 00000547: DUP1 00000548: EXTCODESIZE 00000549: ISZERO 0000054a: DUP1 0000054b: ISZERO 0000054c: PUSH2 0x0554 0000054f: JUMPI 00000550: PUSH1 0x00 00000552: DUP1 00000553: REVERT 00000554: JUMPDEST 00000555: POP 00000556: GAS 00000557: STATICCALL 00000558: ISZERO 00000559: DUP1 0000055a: ISZERO 0000055b: PUSH2 0x0568 0000055e: JUMPI 0000055f: RETURNDATASIZE 00000560: PUSH1 0x00 00000562: DUP1 00000563: RETURNDATACOPY 00000564: RETURNDATASIZE 00000565: PUSH1 0x00 00000567: REVERT 00000568: JUMPDEST 00000569: POP 0000056a: POP 0000056b: POP 0000056c: POP 0000056d: PUSH1 0x40 0000056f: MLOAD 00000570: RETURNDATASIZE 00000571: PUSH1 0x1f 00000573: NOT 00000574: PUSH1 0x1f 00000576: DUP3 00000577: ADD 00000578: AND 00000579: DUP3 0000057a: ADD 0000057b: DUP1 0000057c: PUSH1 0x40 0000057e: MSTORE 0000057f: POP 00000580: DUP2 00000581: ADD 00000582: SWAP1 00000583: PUSH2 0x058c 00000586: SWAP2 00000587: SWAP1 00000588: PUSH2 0x09c4 0000058b: JUMP 0000058c: JUMPDEST 0000058d: SWAP1 0000058e: POP 0000058f: DUP1 00000590: ISZERO 00000591: PUSH2 0x0628 00000594: JUMPI 00000595: PUSH1 0x40 00000597: MLOAD 00000598: PUSH32 0x2e1a7d4d00000000000000000000000000000000000000000000000000000000 000005b9: DUP2 000005ba: MSTORE 000005bb: PUSH1 0x04 000005bd: DUP2 000005be: ADD 000005bf: DUP3 000005c0: SWAP1 000005c1: MSTORE 000005c2: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 000005e3: PUSH1 0x01 000005e5: PUSH1 0x01 000005e7: PUSH1 0xa0 000005e9: SHL 000005ea: SUB 000005eb: AND 000005ec: SWAP1 000005ed: PUSH4 0x2e1a7d4d 000005f2: SWAP1 000005f3: PUSH1 0x24 000005f5: ADD 000005f6: PUSH1 0x00 000005f8: PUSH1 0x40 000005fa: MLOAD 000005fb: DUP1 000005fc: DUP4 000005fd: SUB 000005fe: DUP2 000005ff: PUSH1 0x00 00000601: DUP8 00000602: DUP1 00000603: EXTCODESIZE 00000604: ISZERO 00000605: DUP1 00000606: ISZERO 00000607: PUSH2 0x060f 0000060a: JUMPI 0000060b: PUSH1 0x00 0000060d: DUP1 0000060e: REVERT 0000060f: JUMPDEST 00000610: POP 00000611: GAS 00000612: CALL 00000613: ISZERO 00000614: DUP1 00000615: ISZERO 00000616: PUSH2 0x0623 00000619: JUMPI 0000061a: RETURNDATASIZE 0000061b: PUSH1 0x00 0000061d: DUP1 0000061e: RETURNDATACOPY 0000061f: RETURNDATASIZE 00000620: PUSH1 0x00 00000622: REVERT 00000623: JUMPDEST 00000624: POP 00000625: POP 00000626: POP 00000627: POP 00000628: JUMPDEST 00000629: PUSH1 0x00 0000062b: PUSH1 0x01 0000062d: SLOAD 0000062e: SELFBALANCE 0000062f: PUSH2 0x0638 00000632: SWAP2 00000633: SWAP1 00000634: PUSH2 0x0920 00000637: JUMP 00000638: JUMPDEST 00000639: PUSH1 0x01 0000063b: PUSH1 0x01 0000063d: PUSH1 0xa0 0000063f: SHL 00000640: SUB 00000641: DUP5 00000642: AND 00000643: PUSH1 0x00 00000645: SWAP1 00000646: DUP2 00000647: MSTORE 00000648: PUSH1 0x03 0000064a: PUSH1 0x20 0000064c: SWAP1 0000064d: DUP2 0000064e: MSTORE 0000064f: PUSH1 0x40 00000651: DUP1 00000652: DUP4 00000653: KECCAK256 00000654: SLOAD 00000655: DUP4 00000656: SLOAD 00000657: PUSH1 0x02 00000659: SWAP1 0000065a: SWAP4 0000065b: MSTORE 0000065c: SWAP1 0000065d: DUP4 0000065e: KECCAK256 0000065f: SLOAD 00000660: SWAP4 00000661: SWAP5 00000662: POP 00000663: SWAP2 00000664: SWAP3 00000665: PUSH2 0x066e 00000668: SWAP1 00000669: DUP6 0000066a: PUSH2 0x0938 0000066d: JUMP 0000066e: JUMPDEST 0000066f: PUSH2 0x0678 00000672: SWAP2 00000673: SWAP1 00000674: PUSH2 0x0975 00000677: JUMP 00000678: JUMPDEST 00000679: PUSH2 0x0682 0000067c: SWAP2 0000067d: SWAP1 0000067e: PUSH2 0x0997 00000681: JUMP 00000682: JUMPDEST 00000683: SWAP1 00000684: POP 00000685: DUP1 00000686: PUSH2 0x06f7 00000689: JUMPI 0000068a: PUSH1 0x40 0000068c: MLOAD 0000068d: PUSH3 0x461bcd 00000691: PUSH1 0xe5 00000693: SHL 00000694: DUP2 00000695: MSTORE 00000696: PUSH1 0x20 00000698: PUSH1 0x04 0000069a: DUP3 0000069b: ADD 0000069c: MSTORE 0000069d: PUSH1 0x2b 0000069f: PUSH1 0x24 000006a1: DUP3 000006a2: ADD 000006a3: MSTORE 000006a4: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420 000006c5: PUSH1 0x44 000006c7: DUP3 000006c8: ADD 000006c9: MSTORE 000006ca: PUSH32 0x647565207061796d656e74000000000000000000000000000000000000000000 000006eb: PUSH1 0x64 000006ed: DUP3 000006ee: ADD 000006ef: MSTORE 000006f0: PUSH1 0x84 000006f2: ADD 000006f3: PUSH2 0x02a7 000006f6: JUMP 000006f7: JUMPDEST 000006f8: PUSH1 0x01 000006fa: PUSH1 0x01 000006fc: PUSH1 0xa0 000006fe: SHL 000006ff: SUB 00000700: DUP5 00000701: AND 00000702: PUSH1 0x00 00000704: SWAP1 00000705: DUP2 00000706: MSTORE 00000707: PUSH1 0x03 00000709: PUSH1 0x20 0000070b: MSTORE 0000070c: PUSH1 0x40 0000070e: SWAP1 0000070f: KECCAK256 00000710: SLOAD 00000711: PUSH2 0x071b 00000714: SWAP1 00000715: DUP3 00000716: SWAP1 00000717: PUSH2 0x0920 0000071a: JUMP 0000071b: JUMPDEST 0000071c: PUSH1 0x01 0000071e: PUSH1 0x01 00000720: PUSH1 0xa0 00000722: SHL 00000723: SUB 00000724: DUP6 00000725: AND 00000726: PUSH1 0x00 00000728: SWAP1 00000729: DUP2 0000072a: MSTORE 0000072b: PUSH1 0x03 0000072d: PUSH1 0x20 0000072f: MSTORE 00000730: PUSH1 0x40 00000732: SWAP1 00000733: KECCAK256 00000734: SSTORE 00000735: PUSH1 0x01 00000737: SLOAD 00000738: PUSH2 0x0742 0000073b: SWAP1 0000073c: DUP3 0000073d: SWAP1 0000073e: PUSH2 0x0920 00000741: JUMP 00000742: JUMPDEST 00000743: PUSH1 0x01 00000745: SSTORE 00000746: PUSH2 0x074f 00000749: DUP5 0000074a: DUP3 0000074b: PUSH2 0x0797 0000074e: JUMP 0000074f: JUMPDEST 00000750: PUSH1 0x40 00000752: DUP1 00000753: MLOAD 00000754: PUSH1 0x01 00000756: PUSH1 0x01 00000758: PUSH1 0xa0 0000075a: SHL 0000075b: SUB 0000075c: DUP7 0000075d: AND 0000075e: DUP2 0000075f: MSTORE 00000760: PUSH1 0x20 00000762: DUP2 00000763: ADD 00000764: DUP4 00000765: SWAP1 00000766: MSTORE 00000767: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056 00000788: SWAP2 00000789: ADD 0000078a: PUSH1 0x40 0000078c: MLOAD 0000078d: DUP1 0000078e: SWAP2 0000078f: SUB 00000790: SWAP1 00000791: LOG1 00000792: POP 00000793: POP 00000794: POP 00000795: POP 00000796: JUMP 00000797: JUMPDEST 00000798: DUP1 00000799: SELFBALANCE 0000079a: LT 0000079b: ISZERO 0000079c: PUSH2 0x07e7 0000079f: JUMPI 000007a0: PUSH1 0x40 000007a2: MLOAD 000007a3: PUSH3 0x461bcd 000007a7: PUSH1 0xe5 000007a9: SHL 000007aa: DUP2 000007ab: MSTORE 000007ac: PUSH1 0x20 000007ae: PUSH1 0x04 000007b0: DUP3 000007b1: ADD 000007b2: MSTORE 000007b3: PUSH1 0x1d 000007b5: PUSH1 0x24 000007b7: DUP3 000007b8: ADD 000007b9: MSTORE 000007ba: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 000007db: PUSH1 0x44 000007dd: DUP3 000007de: ADD 000007df: MSTORE 000007e0: PUSH1 0x64 000007e2: ADD 000007e3: PUSH2 0x02a7 000007e6: JUMP 000007e7: JUMPDEST 000007e8: PUSH1 0x00 000007ea: DUP3 000007eb: PUSH1 0x01 000007ed: PUSH1 0x01 000007ef: PUSH1 0xa0 000007f1: SHL 000007f2: SUB 000007f3: AND 000007f4: DUP3 000007f5: PUSH1 0x40 000007f7: MLOAD 000007f8: PUSH1 0x00 000007fa: PUSH1 0x40 000007fc: MLOAD 000007fd: DUP1 000007fe: DUP4 000007ff: SUB 00000800: DUP2 00000801: DUP6 00000802: DUP8 00000803: GAS 00000804: CALL 00000805: SWAP3 00000806: POP 00000807: POP 00000808: POP 00000809: RETURNDATASIZE 0000080a: DUP1 0000080b: PUSH1 0x00 0000080d: DUP2 0000080e: EQ 0000080f: PUSH2 0x0834 00000812: JUMPI 00000813: PUSH1 0x40 00000815: MLOAD 00000816: SWAP2 00000817: POP 00000818: PUSH1 0x1f 0000081a: NOT 0000081b: PUSH1 0x3f 0000081d: RETURNDATASIZE 0000081e: ADD 0000081f: AND 00000820: DUP3 00000821: ADD 00000822: PUSH1 0x40 00000824: MSTORE 00000825: RETURNDATASIZE 00000826: DUP3 00000827: MSTORE 00000828: RETURNDATASIZE 00000829: PUSH1 0x00 0000082b: PUSH1 0x20 0000082d: DUP5 0000082e: ADD 0000082f: RETURNDATACOPY 00000830: PUSH2 0x0839 00000833: JUMP 00000834: JUMPDEST 00000835: PUSH1 0x60 00000837: SWAP2 00000838: POP 00000839: JUMPDEST 0000083a: POP 0000083b: POP 0000083c: SWAP1 0000083d: POP 0000083e: DUP1 0000083f: PUSH2 0x08b0 00000842: JUMPI 00000843: PUSH1 0x40 00000845: MLOAD 00000846: PUSH3 0x461bcd 0000084a: PUSH1 0xe5 0000084c: SHL 0000084d: DUP2 0000084e: MSTORE 0000084f: PUSH1 0x20 00000851: PUSH1 0x04 00000853: DUP3 00000854: ADD 00000855: MSTORE 00000856: PUSH1 0x3a 00000858: PUSH1 0x24 0000085a: DUP3 0000085b: ADD 0000085c: MSTORE 0000085d: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 0000087e: PUSH1 0x44 00000880: DUP3 00000881: ADD 00000882: MSTORE 00000883: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 000008a4: PUSH1 0x64 000008a6: DUP3 000008a7: ADD 000008a8: MSTORE 000008a9: PUSH1 0x84 000008ab: ADD 000008ac: PUSH2 0x02a7 000008af: JUMP 000008b0: JUMPDEST 000008b1: POP 000008b2: POP 000008b3: POP 000008b4: JUMP 000008b5: JUMPDEST 000008b6: PUSH1 0x01 000008b8: PUSH1 0x01 000008ba: PUSH1 0xa0 000008bc: SHL 000008bd: SUB 000008be: DUP2 000008bf: AND 000008c0: DUP2 000008c1: EQ 000008c2: PUSH2 0x08ca 000008c5: JUMPI 000008c6: PUSH1 0x00 000008c8: DUP1 000008c9: REVERT 000008ca: JUMPDEST 000008cb: POP 000008cc: JUMP 000008cd: JUMPDEST 000008ce: PUSH1 0x00 000008d0: PUSH1 0x20 000008d2: DUP3 000008d3: DUP5 000008d4: SUB 000008d5: SLT 000008d6: ISZERO 000008d7: PUSH2 0x08df 000008da: JUMPI 000008db: PUSH1 0x00 000008dd: DUP1 000008de: REVERT 000008df: JUMPDEST 000008e0: DUP2 000008e1: CALLDATALOAD 000008e2: PUSH2 0x08ea 000008e5: DUP2 000008e6: PUSH2 0x08b5 000008e9: JUMP 000008ea: JUMPDEST 000008eb: SWAP4 000008ec: SWAP3 000008ed: POP 000008ee: POP 000008ef: POP 000008f0: JUMP 000008f1: JUMPDEST 000008f2: PUSH1 0x00 000008f4: PUSH1 0x20 000008f6: DUP3 000008f7: DUP5 000008f8: SUB 000008f9: SLT 000008fa: ISZERO 000008fb: PUSH2 0x0903 000008fe: JUMPI 000008ff: PUSH1 0x00 00000901: DUP1 00000902: REVERT 00000903: JUMPDEST 00000904: POP 00000905: CALLDATALOAD 00000906: SWAP2 00000907: SWAP1 00000908: POP 00000909: JUMP 0000090a: JUMPDEST 0000090b: PUSH4 0x4e487b71 00000910: PUSH1 0xe0 00000912: SHL 00000913: PUSH1 0x00 00000915: MSTORE 00000916: PUSH1 0x11 00000918: PUSH1 0x04 0000091a: MSTORE 0000091b: PUSH1 0x24 0000091d: PUSH1 0x00 0000091f: REVERT 00000920: JUMPDEST 00000921: PUSH1 0x00 00000923: DUP3 00000924: NOT 00000925: DUP3 00000926: GT 00000927: ISZERO 00000928: PUSH2 0x0933 0000092b: JUMPI 0000092c: PUSH2 0x0933 0000092f: PUSH2 0x090a 00000932: JUMP 00000933: JUMPDEST 00000934: POP 00000935: ADD 00000936: SWAP1 00000937: JUMP 00000938: JUMPDEST 00000939: PUSH1 0x00 0000093b: DUP2 0000093c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000095d: DIV 0000095e: DUP4 0000095f: GT 00000960: DUP3 00000961: ISZERO 00000962: ISZERO 00000963: AND 00000964: ISZERO 00000965: PUSH2 0x0970 00000968: JUMPI 00000969: PUSH2 0x0970 0000096c: PUSH2 0x090a 0000096f: JUMP 00000970: JUMPDEST 00000971: POP 00000972: MUL 00000973: SWAP1 00000974: JUMP 00000975: JUMPDEST 00000976: PUSH1 0x00 00000978: DUP3 00000979: PUSH2 0x0992 0000097c: JUMPI 0000097d: PUSH4 0x4e487b71 00000982: PUSH1 0xe0 00000984: SHL 00000985: PUSH1 0x00 00000987: MSTORE 00000988: PUSH1 0x12 0000098a: PUSH1 0x04 0000098c: MSTORE 0000098d: PUSH1 0x24 0000098f: PUSH1 0x00 00000991: REVERT 00000992: JUMPDEST 00000993: POP 00000994: DIV 00000995: SWAP1 00000996: JUMP 00000997: JUMPDEST 00000998: PUSH1 0x00 0000099a: DUP3 0000099b: DUP3 0000099c: LT 0000099d: ISZERO 0000099e: PUSH2 0x09a9 000009a1: JUMPI 000009a2: PUSH2 0x09a9 000009a5: PUSH2 0x090a 000009a8: JUMP 000009a9: JUMPDEST 000009aa: POP 000009ab: SUB 000009ac: SWAP1 000009ad: JUMP 000009ae: JUMPDEST 000009af: PUSH4 0x4e487b71 000009b4: PUSH1 0xe0 000009b6: SHL 000009b7: PUSH1 0x00 000009b9: MSTORE 000009ba: PUSH1 0x32 000009bc: PUSH1 0x04 000009be: MSTORE 000009bf: PUSH1 0x24 000009c1: PUSH1 0x00 000009c3: REVERT 000009c4: JUMPDEST 000009c5: PUSH1 0x00 000009c7: PUSH1 0x20 000009c9: DUP3 000009ca: DUP5 000009cb: SUB 000009cc: SLT 000009cd: ISZERO 000009ce: PUSH2 0x09d6 000009d1: JUMPI 000009d2: PUSH1 0x00 000009d4: DUP1 000009d5: REVERT 000009d6: JUMPDEST 000009d7: POP 000009d8: MLOAD 000009d9: SWAP2 000009da: SWAP1 000009db: POP 000009dc: JUMP 000009dd: INVALID 000009de: LOG2 000009df: PUSH5 0x6970667358 000009e5: UNKNOWN(0x22) 000009e6: SLT 000009e7: KECCAK256 000009e8: UNKNOWN(0x26) 000009e9: AND 000009ea: UNKNOWN(0x1F) 000009eb: UNKNOWN(0xD6) 000009ec: EXTCODEHASH 000009ed: PUSH5 0xd8e69fffa6 000009f3: UNKNOWN(0x26) 000009f4: DUP5 000009f5: DUP9 000009f6: UNKNOWN(0xAC) 000009f7: CALLER 000009f8: SWAP7 000009f9: LT 000009fa: SUB 000009fb: SWAP6 000009fc: DUP14 000009fd: UNKNOWN(0xC1) 000009fe: UNKNOWN(0xCA) 000009ff: UNKNOWN(0xE2) 00000a00: SSTORE 00000a01: UNKNOWN(0xAB) 00000a02: UNKNOWN(0xD1) 00000a03: CALLDATACOPY 00000a04: UNKNOWN(0xD1) 00000a05: DIFFICULTY 00000a06: DUP12 00000a07: UNKNOWN(0x23) 00000a08: PUSH5 0x736f6c6343 00000a0e: STOP 00000a0f: ADDMOD 00000a10: MULMOD 00000a11: STOP 00000a12: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xfc94dd247d2150a42d99d47dde2b0de66d67b8b4e9dc71e99f00c1f8ee2be85b
call_targets:
0x51ae948e4c71d972d740c44377492c203a41616e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xfc94dd247d2150a42d99d47dde2b0de66d67b8b4e9dc71e99f00c1f8ee2be85b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x51ae948e4c71d972d740c44377492c203a41616e"
],
"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": "0x918c5071",
"selector": "0x918c5071",
"calldata_variants": [
"0x918c5071",
"0x918c50710000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9852595c",
"selector": "0x9852595c",
"calldata_variants": [
"0x9852595c",
"0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19165587",
"selector": "0x19165587",
"calldata_variants": [
"0x19165587",
"0x191655870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a98ef39",
"selector": "0x3a98ef39",
"calldata_variants": [
"0x3a98ef39",
"0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3fc8cef3",
"selector": "0x3fc8cef3",
"calldata_variants": [
"0x3fc8cef3",
"0x3fc8cef30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b83209b",
"selector": "0x8b83209b",
"calldata_variants": [
"0x8b83209b",
"0x8b83209b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1554,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2052,
"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: 0xfc94dd247d2150a42d99d47dde2b0de66d67b8b4e9dc71e99f00c1f8ee2be85b
call_targets:
0x51ae948e4c71d972d740c44377492c203a41616e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xfc94dd247d2150a42d99d47dde2b0de66d67b8b4e9dc71e99f00c1f8ee2be85b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x51ae948e4c71d972d740c44377492c203a41616e"
],
"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": "0x918c5071",
"selector": "0x918c5071",
"calldata_variants": [
"0x918c5071",
"0x918c50710000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9852595c",
"selector": "0x9852595c",
"calldata_variants": [
"0x9852595c",
"0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19165587",
"selector": "0x19165587",
"calldata_variants": [
"0x19165587",
"0x191655870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a98ef39",
"selector": "0x3a98ef39",
"calldata_variants": [
"0x3a98ef39",
"0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3fc8cef3",
"selector": "0x3fc8cef3",
"calldata_variants": [
"0x3fc8cef3",
"0x3fc8cef30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b83209b",
"selector": "0x8b83209b",
"calldata_variants": [
"0x8b83209b",
"0x8b83209b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1554,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2052,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|