019b477e-c50b-724f-bdbf-4db30a01357b
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 |
|---|---|---|---|---|
| 25513 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25514 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 91097 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 91098 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 91099 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 91100 | 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 0x00c7 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0xab5a1887 00000019: GT 0000001a: PUSH2 0x0074 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xf522122a 00000024: GT 00000025: PUSH2 0x004e 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xf522122a 0000002f: EQ 00000030: PUSH2 0x01e2 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf71143ca 0000003a: EQ 0000003b: PUSH2 0x0202 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xfc402453 00000045: EQ 00000046: PUSH2 0x0233 00000049: JUMPI 0000004a: PUSH1 0x00 0000004c: DUP1 0000004d: REVERT 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0xab5a1887 00000055: EQ 00000056: PUSH2 0x0182 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0xbc7dce06 00000060: EQ 00000061: PUSH2 0x01a2 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xf2fde38b 0000006b: EQ 0000006c: PUSH2 0x01c2 0000006f: JUMPI 00000070: PUSH1 0x00 00000072: DUP1 00000073: REVERT 00000074: JUMPDEST 00000075: DUP1 00000076: PUSH4 0x853828b6 0000007b: GT 0000007c: PUSH2 0x00a5 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x853828b6 00000086: EQ 00000087: PUSH2 0x0116 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x8da5cb5b 00000091: EQ 00000092: PUSH2 0x012b 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0xa7ccabdf 0000009c: EQ 0000009d: PUSH2 0x0162 000000a0: JUMPI 000000a1: PUSH1 0x00 000000a3: DUP1 000000a4: REVERT 000000a5: JUMPDEST 000000a6: DUP1 000000a7: PUSH4 0x3c4c7bb4 000000ac: EQ 000000ad: PUSH2 0x00cc 000000b0: JUMPI 000000b1: DUP1 000000b2: PUSH4 0x3e328218 000000b7: EQ 000000b8: PUSH2 0x00ee 000000bb: JUMPI 000000bc: DUP1 000000bd: PUSH4 0x715018a6 000000c2: EQ 000000c3: PUSH2 0x0101 000000c6: JUMPI 000000c7: JUMPDEST 000000c8: PUSH1 0x00 000000ca: DUP1 000000cb: REVERT 000000cc: JUMPDEST 000000cd: CALLVALUE 000000ce: DUP1 000000cf: ISZERO 000000d0: PUSH2 0x00d8 000000d3: JUMPI 000000d4: PUSH1 0x00 000000d6: DUP1 000000d7: REVERT 000000d8: JUMPDEST 000000d9: POP 000000da: PUSH2 0x00ec 000000dd: PUSH2 0x00e7 000000e0: CALLDATASIZE 000000e1: PUSH1 0x04 000000e3: PUSH2 0x08c0 000000e6: JUMP 000000e7: JUMPDEST 000000e8: PUSH2 0x0257 000000eb: JUMP 000000ec: JUMPDEST 000000ed: STOP 000000ee: JUMPDEST 000000ef: PUSH2 0x00ec 000000f2: PUSH2 0x00fc 000000f5: CALLDATASIZE 000000f6: PUSH1 0x04 000000f8: PUSH2 0x08e2 000000fb: JUMP 000000fc: JUMPDEST 000000fd: PUSH2 0x032c 00000100: JUMP 00000101: JUMPDEST 00000102: CALLVALUE 00000103: DUP1 00000104: ISZERO 00000105: PUSH2 0x010d 00000108: JUMPI 00000109: PUSH1 0x00 0000010b: DUP1 0000010c: REVERT 0000010d: JUMPDEST 0000010e: POP 0000010f: PUSH2 0x00ec 00000112: PUSH2 0x0514 00000115: JUMP 00000116: JUMPDEST 00000117: CALLVALUE 00000118: DUP1 00000119: ISZERO 0000011a: PUSH2 0x0122 0000011d: JUMPI 0000011e: PUSH1 0x00 00000120: DUP1 00000121: REVERT 00000122: JUMPDEST 00000123: POP 00000124: PUSH2 0x00ec 00000127: PUSH2 0x057a 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: PUSH1 0x00 0000013b: SLOAD 0000013c: PUSH1 0x01 0000013e: PUSH1 0x01 00000140: PUSH1 0xa0 00000142: SHL 00000143: SUB 00000144: AND 00000145: JUMPDEST 00000146: PUSH1 0x40 00000148: MLOAD 00000149: PUSH1 0x01 0000014b: PUSH1 0x01 0000014d: PUSH1 0xa0 0000014f: SHL 00000150: SUB 00000151: SWAP1 00000152: SWAP2 00000153: AND 00000154: DUP2 00000155: MSTORE 00000156: PUSH1 0x20 00000158: ADD 00000159: JUMPDEST 0000015a: PUSH1 0x40 0000015c: MLOAD 0000015d: DUP1 0000015e: SWAP2 0000015f: SUB 00000160: SWAP1 00000161: RETURN 00000162: JUMPDEST 00000163: CALLVALUE 00000164: DUP1 00000165: ISZERO 00000166: PUSH2 0x016e 00000169: JUMPI 0000016a: PUSH1 0x00 0000016c: DUP1 0000016d: REVERT 0000016e: JUMPDEST 0000016f: POP 00000170: PUSH2 0x00ec 00000173: PUSH2 0x017d 00000176: CALLDATASIZE 00000177: PUSH1 0x04 00000179: PUSH2 0x0890 0000017c: JUMP 0000017d: JUMPDEST 0000017e: PUSH2 0x0611 00000181: JUMP 00000182: JUMPDEST 00000183: CALLVALUE 00000184: DUP1 00000185: ISZERO 00000186: PUSH2 0x018e 00000189: JUMPI 0000018a: PUSH1 0x00 0000018c: DUP1 0000018d: REVERT 0000018e: JUMPDEST 0000018f: POP 00000190: PUSH2 0x00ec 00000193: PUSH2 0x019d 00000196: CALLDATASIZE 00000197: PUSH1 0x04 00000199: PUSH2 0x08e2 0000019c: JUMP 0000019d: JUMPDEST 0000019e: PUSH2 0x069a 000001a1: JUMP 000001a2: JUMPDEST 000001a3: CALLVALUE 000001a4: DUP1 000001a5: ISZERO 000001a6: PUSH2 0x01ae 000001a9: JUMPI 000001aa: PUSH1 0x00 000001ac: DUP1 000001ad: REVERT 000001ae: JUMPDEST 000001af: POP 000001b0: PUSH2 0x00ec 000001b3: PUSH2 0x01bd 000001b6: CALLDATASIZE 000001b7: PUSH1 0x04 000001b9: PUSH2 0x08e2 000001bc: JUMP 000001bd: JUMPDEST 000001be: PUSH2 0x06f9 000001c1: JUMP 000001c2: JUMPDEST 000001c3: CALLVALUE 000001c4: DUP1 000001c5: ISZERO 000001c6: PUSH2 0x01ce 000001c9: JUMPI 000001ca: PUSH1 0x00 000001cc: DUP1 000001cd: REVERT 000001ce: JUMPDEST 000001cf: POP 000001d0: PUSH2 0x00ec 000001d3: PUSH2 0x01dd 000001d6: CALLDATASIZE 000001d7: PUSH1 0x04 000001d9: PUSH2 0x0890 000001dc: JUMP 000001dd: JUMPDEST 000001de: PUSH2 0x0758 000001e1: JUMP 000001e2: JUMPDEST 000001e3: CALLVALUE 000001e4: DUP1 000001e5: ISZERO 000001e6: PUSH2 0x01ee 000001e9: JUMPI 000001ea: PUSH1 0x00 000001ec: DUP1 000001ed: REVERT 000001ee: JUMPDEST 000001ef: POP 000001f0: PUSH1 0x03 000001f2: SLOAD 000001f3: PUSH2 0x0145 000001f6: SWAP1 000001f7: PUSH1 0x01 000001f9: PUSH1 0x01 000001fb: PUSH1 0xa0 000001fd: SHL 000001fe: SUB 000001ff: AND 00000200: DUP2 00000201: JUMP 00000202: JUMPDEST 00000203: CALLVALUE 00000204: DUP1 00000205: ISZERO 00000206: PUSH2 0x020e 00000209: JUMPI 0000020a: PUSH1 0x00 0000020c: DUP1 0000020d: REVERT 0000020e: JUMPDEST 0000020f: POP 00000210: PUSH1 0x00 00000212: SLOAD 00000213: PUSH2 0x0223 00000216: SWAP1 00000217: PUSH1 0x01 00000219: PUSH1 0xa0 0000021b: SHL 0000021c: SWAP1 0000021d: DIV 0000021e: PUSH1 0xff 00000220: AND 00000221: DUP2 00000222: JUMP 00000223: JUMPDEST 00000224: PUSH1 0x40 00000226: MLOAD 00000227: SWAP1 00000228: ISZERO 00000229: ISZERO 0000022a: DUP2 0000022b: MSTORE 0000022c: PUSH1 0x20 0000022e: ADD 0000022f: PUSH2 0x0159 00000232: JUMP 00000233: JUMPDEST 00000234: CALLVALUE 00000235: DUP1 00000236: ISZERO 00000237: PUSH2 0x023f 0000023a: JUMPI 0000023b: PUSH1 0x00 0000023d: DUP1 0000023e: REVERT 0000023f: JUMPDEST 00000240: POP 00000241: PUSH2 0x0249 00000244: PUSH1 0x01 00000246: SLOAD 00000247: DUP2 00000248: JUMP 00000249: JUMPDEST 0000024a: PUSH1 0x40 0000024c: MLOAD 0000024d: SWAP1 0000024e: DUP2 0000024f: MSTORE 00000250: PUSH1 0x20 00000252: ADD 00000253: PUSH2 0x0159 00000256: JUMP 00000257: JUMPDEST 00000258: PUSH1 0x00 0000025a: SLOAD 0000025b: PUSH1 0x01 0000025d: PUSH1 0x01 0000025f: PUSH1 0xa0 00000261: SHL 00000262: SUB 00000263: AND 00000264: CALLER 00000265: EQ 00000266: PUSH2 0x02b6 00000269: JUMPI 0000026a: PUSH1 0x40 0000026c: MLOAD 0000026d: PUSH3 0x461bcd 00000271: PUSH1 0xe5 00000273: SHL 00000274: DUP2 00000275: MSTORE 00000276: PUSH1 0x20 00000278: PUSH1 0x04 0000027a: DUP3 0000027b: ADD 0000027c: DUP2 0000027d: SWAP1 0000027e: MSTORE 0000027f: PUSH1 0x24 00000281: DUP3 00000282: ADD 00000283: MSTORE 00000284: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000002a5: PUSH1 0x44 000002a7: DUP3 000002a8: ADD 000002a9: MSTORE 000002aa: PUSH1 0x64 000002ac: ADD 000002ad: JUMPDEST 000002ae: PUSH1 0x40 000002b0: MLOAD 000002b1: DUP1 000002b2: SWAP2 000002b3: SUB 000002b4: SWAP1 000002b5: REVERT 000002b6: JUMPDEST 000002b7: PUSH1 0x00 000002b9: DUP1 000002ba: SLOAD 000002bb: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff 000002dc: AND 000002dd: PUSH1 0x01 000002df: PUSH1 0xa0 000002e1: SHL 000002e2: DUP4 000002e3: ISZERO 000002e4: ISZERO 000002e5: DUP2 000002e6: MUL 000002e7: SWAP2 000002e8: SWAP1 000002e9: SWAP2 000002ea: OR 000002eb: SWAP2 000002ec: DUP3 000002ed: SWAP1 000002ee: SSTORE 000002ef: PUSH1 0x40 000002f1: MLOAD 000002f2: PUSH1 0xff 000002f4: SWAP2 000002f5: SWAP1 000002f6: SWAP3 000002f7: DIV 000002f8: AND 000002f9: ISZERO 000002fa: ISZERO 000002fb: DUP2 000002fc: MSTORE 000002fd: PUSH32 0x594ac0b4ca8d0faa4c24b7ed4da22de236720d3eaf3ea347542cff512938d37e 0000031e: SWAP1 0000031f: PUSH1 0x20 00000321: ADD 00000322: PUSH1 0x40 00000324: MLOAD 00000325: DUP1 00000326: SWAP2 00000327: SUB 00000328: SWAP1 00000329: LOG1 0000032a: POP 0000032b: JUMP 0000032c: JUMPDEST 0000032d: PUSH1 0x00 0000032f: SLOAD 00000330: PUSH1 0x01 00000332: PUSH1 0xa0 00000334: SHL 00000335: SWAP1 00000336: DIV 00000337: PUSH1 0xff 00000339: AND 0000033a: PUSH2 0x0385 0000033d: JUMPI 0000033e: PUSH1 0x40 00000340: MLOAD 00000341: PUSH3 0x461bcd 00000345: PUSH1 0xe5 00000347: SHL 00000348: DUP2 00000349: MSTORE 0000034a: PUSH1 0x20 0000034c: PUSH1 0x04 0000034e: DUP3 0000034f: ADD 00000350: MSTORE 00000351: PUSH1 0x10 00000353: PUSH1 0x24 00000355: DUP3 00000356: ADD 00000357: MSTORE 00000358: PUSH32 0x4372656174696f6e20436c6f7365642e00000000000000000000000000000000 00000379: PUSH1 0x44 0000037b: DUP3 0000037c: ADD 0000037d: MSTORE 0000037e: PUSH1 0x64 00000380: ADD 00000381: PUSH2 0x02ad 00000384: JUMP 00000385: JUMPDEST 00000386: PUSH1 0x00 00000388: DUP2 00000389: GT 0000038a: PUSH2 0x03d5 0000038d: JUMPI 0000038e: PUSH1 0x40 00000390: MLOAD 00000391: PUSH3 0x461bcd 00000395: PUSH1 0xe5 00000397: SHL 00000398: DUP2 00000399: MSTORE 0000039a: PUSH1 0x20 0000039c: PUSH1 0x04 0000039e: DUP3 0000039f: ADD 000003a0: MSTORE 000003a1: PUSH1 0x12 000003a3: PUSH1 0x24 000003a5: DUP3 000003a6: ADD 000003a7: MSTORE 000003a8: PUSH32 0x5a65726f206973206120636f6e636570742e0000000000000000000000000000 000003c9: PUSH1 0x44 000003cb: DUP3 000003cc: ADD 000003cd: MSTORE 000003ce: PUSH1 0x64 000003d0: ADD 000003d1: PUSH2 0x02ad 000003d4: JUMP 000003d5: JUMPDEST 000003d6: PUSH1 0x02 000003d8: SLOAD 000003d9: PUSH2 0x03e3 000003dc: SWAP1 000003dd: PUSH1 0x01 000003df: PUSH2 0x08fb 000003e2: JUMP 000003e3: JUMPDEST 000003e4: DUP2 000003e5: LT 000003e6: PUSH2 0x0431 000003e9: JUMPI 000003ea: PUSH1 0x40 000003ec: MLOAD 000003ed: PUSH3 0x461bcd 000003f1: PUSH1 0xe5 000003f3: SHL 000003f4: DUP2 000003f5: MSTORE 000003f6: PUSH1 0x20 000003f8: PUSH1 0x04 000003fa: DUP3 000003fb: ADD 000003fc: MSTORE 000003fd: PUSH1 0x06 000003ff: PUSH1 0x24 00000401: DUP3 00000402: ADD 00000403: MSTORE 00000404: PUSH32 0x47726565642e0000000000000000000000000000000000000000000000000000 00000425: PUSH1 0x44 00000427: DUP3 00000428: ADD 00000429: MSTORE 0000042a: PUSH1 0x64 0000042c: ADD 0000042d: PUSH2 0x02ad 00000430: JUMP 00000431: JUMPDEST 00000432: PUSH1 0x00 00000434: DUP2 00000435: PUSH1 0x01 00000437: SLOAD 00000438: PUSH2 0x0441 0000043b: SWAP2 0000043c: SWAP1 0000043d: PUSH2 0x0913 00000440: JUMP 00000441: JUMPDEST 00000442: SWAP1 00000443: POP 00000444: DUP1 00000445: CALLVALUE 00000446: LT 00000447: ISZERO 00000448: PUSH2 0x0493 0000044b: JUMPI 0000044c: PUSH1 0x40 0000044e: MLOAD 0000044f: PUSH3 0x461bcd 00000453: PUSH1 0xe5 00000455: SHL 00000456: DUP2 00000457: MSTORE 00000458: PUSH1 0x20 0000045a: PUSH1 0x04 0000045c: DUP3 0000045d: ADD 0000045e: MSTORE 0000045f: PUSH1 0x0e 00000461: PUSH1 0x24 00000463: DUP3 00000464: ADD 00000465: MSTORE 00000466: PUSH32 0x4e6f7420656e6f75676820455448000000000000000000000000000000000000 00000487: PUSH1 0x44 00000489: DUP3 0000048a: ADD 0000048b: MSTORE 0000048c: PUSH1 0x64 0000048e: ADD 0000048f: PUSH2 0x02ad 00000492: JUMP 00000493: JUMPDEST 00000494: PUSH1 0x03 00000496: SLOAD 00000497: PUSH1 0x40 00000499: MLOAD 0000049a: PUSH32 0xf3cea54900000000000000000000000000000000000000000000000000000000 000004bb: DUP2 000004bc: MSTORE 000004bd: PUSH1 0x04 000004bf: DUP2 000004c0: ADD 000004c1: DUP5 000004c2: SWAP1 000004c3: MSTORE 000004c4: CALLER 000004c5: PUSH1 0x24 000004c7: DUP3 000004c8: ADD 000004c9: MSTORE 000004ca: PUSH1 0x01 000004cc: PUSH1 0x01 000004ce: PUSH1 0xa0 000004d0: SHL 000004d1: SUB 000004d2: SWAP1 000004d3: SWAP2 000004d4: AND 000004d5: SWAP1 000004d6: PUSH4 0xf3cea549 000004db: SWAP1 000004dc: PUSH1 0x44 000004de: ADD 000004df: PUSH1 0x00 000004e1: PUSH1 0x40 000004e3: MLOAD 000004e4: DUP1 000004e5: DUP4 000004e6: SUB 000004e7: DUP2 000004e8: PUSH1 0x00 000004ea: DUP8 000004eb: DUP1 000004ec: EXTCODESIZE 000004ed: ISZERO 000004ee: DUP1 000004ef: ISZERO 000004f0: PUSH2 0x04f8 000004f3: JUMPI 000004f4: PUSH1 0x00 000004f6: DUP1 000004f7: REVERT 000004f8: JUMPDEST 000004f9: POP 000004fa: GAS 000004fb: CALL 000004fc: ISZERO 000004fd: DUP1 000004fe: ISZERO 000004ff: PUSH2 0x050c 00000502: JUMPI 00000503: RETURNDATASIZE 00000504: PUSH1 0x00 00000506: DUP1 00000507: RETURNDATACOPY 00000508: RETURNDATASIZE 00000509: PUSH1 0x00 0000050b: REVERT 0000050c: JUMPDEST 0000050d: POP 0000050e: POP 0000050f: POP 00000510: POP 00000511: POP 00000512: POP 00000513: JUMP 00000514: JUMPDEST 00000515: PUSH1 0x00 00000517: SLOAD 00000518: PUSH1 0x01 0000051a: PUSH1 0x01 0000051c: PUSH1 0xa0 0000051e: SHL 0000051f: SUB 00000520: AND 00000521: CALLER 00000522: EQ 00000523: PUSH2 0x056e 00000526: JUMPI 00000527: PUSH1 0x40 00000529: MLOAD 0000052a: PUSH3 0x461bcd 0000052e: PUSH1 0xe5 00000530: SHL 00000531: DUP2 00000532: MSTORE 00000533: PUSH1 0x20 00000535: PUSH1 0x04 00000537: DUP3 00000538: ADD 00000539: DUP2 0000053a: SWAP1 0000053b: MSTORE 0000053c: PUSH1 0x24 0000053e: DUP3 0000053f: ADD 00000540: MSTORE 00000541: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000562: PUSH1 0x44 00000564: DUP3 00000565: ADD 00000566: MSTORE 00000567: PUSH1 0x64 00000569: ADD 0000056a: PUSH2 0x02ad 0000056d: JUMP 0000056e: JUMPDEST 0000056f: PUSH2 0x0578 00000572: PUSH1 0x00 00000574: PUSH2 0x0833 00000577: JUMP 00000578: JUMPDEST 00000579: JUMP 0000057a: JUMPDEST 0000057b: PUSH1 0x00 0000057d: SLOAD 0000057e: PUSH1 0x01 00000580: PUSH1 0x01 00000582: PUSH1 0xa0 00000584: SHL 00000585: SUB 00000586: AND 00000587: CALLER 00000588: EQ 00000589: PUSH2 0x05d4 0000058c: JUMPI 0000058d: PUSH1 0x40 0000058f: MLOAD 00000590: PUSH3 0x461bcd 00000594: PUSH1 0xe5 00000596: SHL 00000597: DUP2 00000598: MSTORE 00000599: PUSH1 0x20 0000059b: PUSH1 0x04 0000059d: DUP3 0000059e: ADD 0000059f: DUP2 000005a0: SWAP1 000005a1: MSTORE 000005a2: PUSH1 0x24 000005a4: DUP3 000005a5: ADD 000005a6: MSTORE 000005a7: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000005c8: PUSH1 0x44 000005ca: DUP3 000005cb: ADD 000005cc: MSTORE 000005cd: PUSH1 0x64 000005cf: ADD 000005d0: PUSH2 0x02ad 000005d3: JUMP 000005d4: JUMPDEST 000005d5: PUSH1 0x00 000005d7: DUP1 000005d8: SLOAD 000005d9: PUSH1 0x40 000005db: MLOAD 000005dc: PUSH1 0x01 000005de: PUSH1 0x01 000005e0: PUSH1 0xa0 000005e2: SHL 000005e3: SUB 000005e4: SWAP1 000005e5: SWAP2 000005e6: AND 000005e7: SWAP2 000005e8: SELFBALANCE 000005e9: DUP1 000005ea: ISZERO 000005eb: PUSH2 0x08fc 000005ee: MUL 000005ef: SWAP3 000005f0: SWAP1 000005f1: SWAP2 000005f2: DUP2 000005f3: DUP2 000005f4: DUP2 000005f5: DUP6 000005f6: DUP9 000005f7: DUP9 000005f8: CALL 000005f9: SWAP4 000005fa: POP 000005fb: POP 000005fc: POP 000005fd: POP 000005fe: ISZERO 000005ff: DUP1 00000600: ISZERO 00000601: PUSH2 0x060e 00000604: JUMPI 00000605: RETURNDATASIZE 00000606: PUSH1 0x00 00000608: DUP1 00000609: RETURNDATACOPY 0000060a: RETURNDATASIZE 0000060b: PUSH1 0x00 0000060d: REVERT 0000060e: JUMPDEST 0000060f: POP 00000610: JUMP 00000611: JUMPDEST 00000612: PUSH1 0x00 00000614: SLOAD 00000615: PUSH1 0x01 00000617: PUSH1 0x01 00000619: PUSH1 0xa0 0000061b: SHL 0000061c: SUB 0000061d: AND 0000061e: CALLER 0000061f: EQ 00000620: PUSH2 0x066b 00000623: JUMPI 00000624: PUSH1 0x40 00000626: MLOAD 00000627: PUSH3 0x461bcd 0000062b: PUSH1 0xe5 0000062d: SHL 0000062e: DUP2 0000062f: MSTORE 00000630: PUSH1 0x20 00000632: PUSH1 0x04 00000634: DUP3 00000635: ADD 00000636: DUP2 00000637: SWAP1 00000638: MSTORE 00000639: PUSH1 0x24 0000063b: DUP3 0000063c: ADD 0000063d: MSTORE 0000063e: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000065f: PUSH1 0x44 00000661: DUP3 00000662: ADD 00000663: MSTORE 00000664: PUSH1 0x64 00000666: ADD 00000667: PUSH2 0x02ad 0000066a: JUMP 0000066b: JUMPDEST 0000066c: PUSH1 0x03 0000066e: DUP1 0000066f: SLOAD 00000670: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000685: NOT 00000686: AND 00000687: PUSH1 0x01 00000689: PUSH1 0x01 0000068b: PUSH1 0xa0 0000068d: SHL 0000068e: SUB 0000068f: SWAP3 00000690: SWAP1 00000691: SWAP3 00000692: AND 00000693: SWAP2 00000694: SWAP1 00000695: SWAP2 00000696: OR 00000697: SWAP1 00000698: SSTORE 00000699: JUMP 0000069a: JUMPDEST 0000069b: PUSH1 0x00 0000069d: SLOAD 0000069e: PUSH1 0x01 000006a0: PUSH1 0x01 000006a2: PUSH1 0xa0 000006a4: SHL 000006a5: SUB 000006a6: AND 000006a7: CALLER 000006a8: EQ 000006a9: PUSH2 0x06f4 000006ac: JUMPI 000006ad: PUSH1 0x40 000006af: MLOAD 000006b0: PUSH3 0x461bcd 000006b4: PUSH1 0xe5 000006b6: SHL 000006b7: DUP2 000006b8: MSTORE 000006b9: PUSH1 0x20 000006bb: PUSH1 0x04 000006bd: DUP3 000006be: ADD 000006bf: DUP2 000006c0: SWAP1 000006c1: MSTORE 000006c2: PUSH1 0x24 000006c4: DUP3 000006c5: ADD 000006c6: MSTORE 000006c7: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000006e8: PUSH1 0x44 000006ea: DUP3 000006eb: ADD 000006ec: MSTORE 000006ed: PUSH1 0x64 000006ef: ADD 000006f0: PUSH2 0x02ad 000006f3: JUMP 000006f4: JUMPDEST 000006f5: PUSH1 0x02 000006f7: SSTORE 000006f8: JUMP 000006f9: JUMPDEST 000006fa: PUSH1 0x00 000006fc: SLOAD 000006fd: PUSH1 0x01 000006ff: PUSH1 0x01 00000701: PUSH1 0xa0 00000703: SHL 00000704: SUB 00000705: AND 00000706: CALLER 00000707: EQ 00000708: PUSH2 0x0753 0000070b: JUMPI 0000070c: PUSH1 0x40 0000070e: MLOAD 0000070f: PUSH3 0x461bcd 00000713: PUSH1 0xe5 00000715: SHL 00000716: DUP2 00000717: MSTORE 00000718: PUSH1 0x20 0000071a: PUSH1 0x04 0000071c: DUP3 0000071d: ADD 0000071e: DUP2 0000071f: SWAP1 00000720: MSTORE 00000721: PUSH1 0x24 00000723: DUP3 00000724: ADD 00000725: MSTORE 00000726: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000747: PUSH1 0x44 00000749: DUP3 0000074a: ADD 0000074b: MSTORE 0000074c: PUSH1 0x64 0000074e: ADD 0000074f: PUSH2 0x02ad 00000752: JUMP 00000753: JUMPDEST 00000754: PUSH1 0x01 00000756: SSTORE 00000757: JUMP 00000758: JUMPDEST 00000759: PUSH1 0x00 0000075b: SLOAD 0000075c: PUSH1 0x01 0000075e: PUSH1 0x01 00000760: PUSH1 0xa0 00000762: SHL 00000763: SUB 00000764: AND 00000765: CALLER 00000766: EQ 00000767: PUSH2 0x07b2 0000076a: JUMPI 0000076b: PUSH1 0x40 0000076d: MLOAD 0000076e: PUSH3 0x461bcd 00000772: PUSH1 0xe5 00000774: SHL 00000775: DUP2 00000776: MSTORE 00000777: PUSH1 0x20 00000779: PUSH1 0x04 0000077b: DUP3 0000077c: ADD 0000077d: DUP2 0000077e: SWAP1 0000077f: MSTORE 00000780: PUSH1 0x24 00000782: DUP3 00000783: ADD 00000784: MSTORE 00000785: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000007a6: PUSH1 0x44 000007a8: DUP3 000007a9: ADD 000007aa: MSTORE 000007ab: PUSH1 0x64 000007ad: ADD 000007ae: PUSH2 0x02ad 000007b1: JUMP 000007b2: JUMPDEST 000007b3: PUSH1 0x01 000007b5: PUSH1 0x01 000007b7: PUSH1 0xa0 000007b9: SHL 000007ba: SUB 000007bb: DUP2 000007bc: AND 000007bd: PUSH2 0x082e 000007c0: JUMPI 000007c1: PUSH1 0x40 000007c3: MLOAD 000007c4: PUSH3 0x461bcd 000007c8: PUSH1 0xe5 000007ca: SHL 000007cb: DUP2 000007cc: MSTORE 000007cd: PUSH1 0x20 000007cf: PUSH1 0x04 000007d1: DUP3 000007d2: ADD 000007d3: MSTORE 000007d4: PUSH1 0x26 000007d6: PUSH1 0x24 000007d8: DUP3 000007d9: ADD 000007da: MSTORE 000007db: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 000007fc: PUSH1 0x44 000007fe: DUP3 000007ff: ADD 00000800: MSTORE 00000801: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 00000822: PUSH1 0x64 00000824: DUP3 00000825: ADD 00000826: MSTORE 00000827: PUSH1 0x84 00000829: ADD 0000082a: PUSH2 0x02ad 0000082d: JUMP 0000082e: JUMPDEST 0000082f: PUSH2 0x060e 00000832: DUP2 00000833: JUMPDEST 00000834: PUSH1 0x00 00000836: DUP1 00000837: SLOAD 00000838: PUSH1 0x01 0000083a: PUSH1 0x01 0000083c: PUSH1 0xa0 0000083e: SHL 0000083f: SUB 00000840: DUP4 00000841: DUP2 00000842: AND 00000843: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000858: NOT 00000859: DUP4 0000085a: AND 0000085b: DUP2 0000085c: OR 0000085d: DUP5 0000085e: SSTORE 0000085f: PUSH1 0x40 00000861: MLOAD 00000862: SWAP2 00000863: SWAP1 00000864: SWAP3 00000865: AND 00000866: SWAP3 00000867: DUP4 00000868: SWAP2 00000869: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000088a: SWAP2 0000088b: SWAP1 0000088c: LOG3 0000088d: POP 0000088e: POP 0000088f: JUMP 00000890: JUMPDEST 00000891: PUSH1 0x00 00000893: PUSH1 0x20 00000895: DUP3 00000896: DUP5 00000897: SUB 00000898: SLT 00000899: ISZERO 0000089a: PUSH2 0x08a2 0000089d: JUMPI 0000089e: PUSH1 0x00 000008a0: DUP1 000008a1: REVERT 000008a2: JUMPDEST 000008a3: DUP2 000008a4: CALLDATALOAD 000008a5: PUSH1 0x01 000008a7: PUSH1 0x01 000008a9: PUSH1 0xa0 000008ab: SHL 000008ac: SUB 000008ad: DUP2 000008ae: AND 000008af: DUP2 000008b0: EQ 000008b1: PUSH2 0x08b9 000008b4: JUMPI 000008b5: PUSH1 0x00 000008b7: DUP1 000008b8: REVERT 000008b9: JUMPDEST 000008ba: SWAP4 000008bb: SWAP3 000008bc: POP 000008bd: POP 000008be: POP 000008bf: JUMP 000008c0: JUMPDEST 000008c1: PUSH1 0x00 000008c3: PUSH1 0x20 000008c5: DUP3 000008c6: DUP5 000008c7: SUB 000008c8: SLT 000008c9: ISZERO 000008ca: PUSH2 0x08d2 000008cd: JUMPI 000008ce: PUSH1 0x00 000008d0: DUP1 000008d1: REVERT 000008d2: JUMPDEST 000008d3: DUP2 000008d4: CALLDATALOAD 000008d5: DUP1 000008d6: ISZERO 000008d7: ISZERO 000008d8: DUP2 000008d9: EQ 000008da: PUSH2 0x08b9 000008dd: JUMPI 000008de: PUSH1 0x00 000008e0: DUP1 000008e1: REVERT 000008e2: JUMPDEST 000008e3: PUSH1 0x00 000008e5: PUSH1 0x20 000008e7: DUP3 000008e8: DUP5 000008e9: SUB 000008ea: SLT 000008eb: ISZERO 000008ec: PUSH2 0x08f4 000008ef: JUMPI 000008f0: PUSH1 0x00 000008f2: DUP1 000008f3: REVERT 000008f4: JUMPDEST 000008f5: POP 000008f6: CALLDATALOAD 000008f7: SWAP2 000008f8: SWAP1 000008f9: POP 000008fa: JUMP 000008fb: JUMPDEST 000008fc: PUSH1 0x00 000008fe: DUP3 000008ff: NOT 00000900: DUP3 00000901: GT 00000902: ISZERO 00000903: PUSH2 0x090e 00000906: JUMPI 00000907: PUSH2 0x090e 0000090a: PUSH2 0x0932 0000090d: JUMP 0000090e: JUMPDEST 0000090f: POP 00000910: ADD 00000911: SWAP1 00000912: JUMP 00000913: JUMPDEST 00000914: PUSH1 0x00 00000916: DUP2 00000917: PUSH1 0x00 00000919: NOT 0000091a: DIV 0000091b: DUP4 0000091c: GT 0000091d: DUP3 0000091e: ISZERO 0000091f: ISZERO 00000920: AND 00000921: ISZERO 00000922: PUSH2 0x092d 00000925: JUMPI 00000926: PUSH2 0x092d 00000929: PUSH2 0x0932 0000092c: JUMP 0000092d: JUMPDEST 0000092e: POP 0000092f: MUL 00000930: SWAP1 00000931: JUMP 00000932: JUMPDEST 00000933: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000954: PUSH1 0x00 00000956: MSTORE 00000957: PUSH1 0x11 00000959: PUSH1 0x04 0000095b: MSTORE 0000095c: PUSH1 0x24 0000095e: PUSH1 0x00 00000960: REVERT 00000961: INVALID 00000962: LOG2 00000963: PUSH5 0x6970667358 00000969: UNKNOWN(0x22) 0000096a: SLT 0000096b: KECCAK256 0000096c: GASLIMIT 0000096d: SWAP16 0000096e: UNKNOWN(0xDA) 0000096f: UNKNOWN(0x2F) 00000970: SGT 00000971: PUSH4 0x5779330e 00000976: MSTORE 00000977: SSTORE 00000978: PUSH16 0x96d6013ecb83b00f633d81106542554f 00000989: UNKNOWN(0xD2) 0000098a: PUSH22
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x6d47b14e5f7920986c062e077248b7851d57243b3ef6cae1b80d5efcd6b3592a
call_targets:
0xb39ffbe529f7df5ed4185d7b5d57da2d74a7e08f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6d47b14e5f7920986c062e077248b7851d57243b3ef6cae1b80d5efcd6b3592a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb39ffbe529f7df5ed4185d7b5d57da2d74a7e08f"
],
"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": "0xf522122a",
"selector": "0xf522122a",
"calldata_variants": [
"0xf522122a",
"0xf522122a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf71143ca",
"selector": "0xf71143ca",
"calldata_variants": [
"0xf71143ca",
"0xf71143ca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc402453",
"selector": "0xfc402453",
"calldata_variants": [
"0xfc402453",
"0xfc4024530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xab5a1887",
"selector": "0xab5a1887",
"calldata_variants": [
"0xab5a1887",
"0xab5a18870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc7dce06",
"selector": "0xbc7dce06",
"calldata_variants": [
"0xbc7dce06",
"0xbc7dce060000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x853828b6",
"selector": "0x853828b6",
"calldata_variants": [
"0x853828b6",
"0x853828b60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1275,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1528,
"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: 0x6d47b14e5f7920986c062e077248b7851d57243b3ef6cae1b80d5efcd6b3592a
call_targets:
0xb39ffbe529f7df5ed4185d7b5d57da2d74a7e08f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6d47b14e5f7920986c062e077248b7851d57243b3ef6cae1b80d5efcd6b3592a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb39ffbe529f7df5ed4185d7b5d57da2d74a7e08f"
],
"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": "0xf522122a",
"selector": "0xf522122a",
"calldata_variants": [
"0xf522122a",
"0xf522122a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf71143ca",
"selector": "0xf71143ca",
"calldata_variants": [
"0xf71143ca",
"0xf71143ca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc402453",
"selector": "0xfc402453",
"calldata_variants": [
"0xfc402453",
"0xfc4024530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xab5a1887",
"selector": "0xab5a1887",
"calldata_variants": [
"0xab5a1887",
"0xab5a18870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc7dce06",
"selector": "0xbc7dce06",
"calldata_variants": [
"0xbc7dce06",
"0xbc7dce060000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x853828b6",
"selector": "0x853828b6",
"calldata_variants": [
"0x853828b6",
"0x853828b60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1275,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1528,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|