019b477e-ba8a-724c-82ab-e52034c0d7eb
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 |
|---|---|---|---|---|
| 23761 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23762 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 90145 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 90146 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 90147 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 90148 | 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 0x0043 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x01ffc9a7 00000019: EQ 0000001a: PUSH2 0x009a 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x73d4a13a 00000024: EQ 00000025: PUSH2 0x00e2 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xbc197c81 0000002f: EQ 00000030: PUSH2 0x011d 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf23a6e61 0000003a: EQ 0000003b: PUSH2 0x0308 0000003e: JUMPI 0000003f: PUSH2 0x0095 00000042: JUMP 00000043: JUMPDEST 00000044: CALLDATASIZE 00000045: PUSH2 0x0095 00000048: JUMPI 00000049: PUSH1 0x05 0000004b: SLOAD 0000004c: NUMBER 0000004d: LT 0000004e: PUSH2 0x0083 00000051: JUMPI 00000052: PUSH1 0x40 00000054: MLOAD 00000055: CALLER 00000056: SWAP1 00000057: CALLVALUE 00000058: DUP1 00000059: ISZERO 0000005a: PUSH2 0x08fc 0000005d: MUL 0000005e: SWAP2 0000005f: PUSH1 0x00 00000061: DUP2 00000062: DUP2 00000063: DUP2 00000064: DUP6 00000065: DUP9 00000066: DUP9 00000067: CALL 00000068: SWAP4 00000069: POP 0000006a: POP 0000006b: POP 0000006c: POP 0000006d: ISZERO 0000006e: DUP1 0000006f: ISZERO 00000070: PUSH2 0x007d 00000073: JUMPI 00000074: RETURNDATASIZE 00000075: PUSH1 0x00 00000077: DUP1 00000078: RETURNDATACOPY 00000079: RETURNDATASIZE 0000007a: PUSH1 0x00 0000007c: REVERT 0000007d: JUMPDEST 0000007e: POP 0000007f: PUSH2 0x0093 00000082: JUMP 00000083: JUMPDEST 00000084: PUSH1 0x04 00000086: SLOAD 00000087: SELFBALANCE 00000088: DUP2 00000089: PUSH2 0x008e 0000008c: JUMPI 0000008d: INVALID 0000008e: JUMPDEST 0000008f: DIV 00000090: PUSH1 0x03 00000092: SSTORE 00000093: JUMPDEST 00000094: STOP 00000095: JUMPDEST 00000096: PUSH1 0x00 00000098: DUP1 00000099: REVERT 0000009a: JUMPDEST 0000009b: CALLVALUE 0000009c: DUP1 0000009d: ISZERO 0000009e: PUSH2 0x00a6 000000a1: JUMPI 000000a2: PUSH1 0x00 000000a4: DUP1 000000a5: REVERT 000000a6: JUMPDEST 000000a7: POP 000000a8: PUSH2 0x00ce 000000ab: PUSH1 0x04 000000ad: DUP1 000000ae: CALLDATASIZE 000000af: SUB 000000b0: PUSH1 0x20 000000b2: DUP2 000000b3: LT 000000b4: ISZERO 000000b5: PUSH2 0x00bd 000000b8: JUMPI 000000b9: PUSH1 0x00 000000bb: DUP1 000000bc: REVERT 000000bd: JUMPDEST 000000be: POP 000000bf: CALLDATALOAD 000000c0: PUSH1 0x01 000000c2: PUSH1 0x01 000000c4: PUSH1 0xe0 000000c6: SHL 000000c7: SUB 000000c8: NOT 000000c9: AND 000000ca: PUSH2 0x03de 000000cd: JUMP 000000ce: JUMPDEST 000000cf: PUSH1 0x40 000000d1: DUP1 000000d2: MLOAD 000000d3: SWAP2 000000d4: ISZERO 000000d5: ISZERO 000000d6: DUP3 000000d7: MSTORE 000000d8: MLOAD 000000d9: SWAP1 000000da: DUP2 000000db: SWAP1 000000dc: SUB 000000dd: PUSH1 0x20 000000df: ADD 000000e0: SWAP1 000000e1: RETURN 000000e2: JUMPDEST 000000e3: CALLVALUE 000000e4: DUP1 000000e5: ISZERO 000000e6: PUSH2 0x00ee 000000e9: JUMPI 000000ea: PUSH1 0x00 000000ec: DUP1 000000ed: REVERT 000000ee: JUMPDEST 000000ef: POP 000000f0: PUSH2 0x00f7 000000f3: PUSH2 0x03fd 000000f6: JUMP 000000f7: JUMPDEST 000000f8: PUSH1 0x40 000000fa: DUP1 000000fb: MLOAD 000000fc: SWAP5 000000fd: DUP6 000000fe: MSTORE 000000ff: PUSH1 0x20 00000101: DUP6 00000102: ADD 00000103: SWAP4 00000104: SWAP1 00000105: SWAP4 00000106: MSTORE 00000107: DUP4 00000108: DUP4 00000109: ADD 0000010a: SWAP2 0000010b: SWAP1 0000010c: SWAP2 0000010d: MSTORE 0000010e: PUSH1 0x60 00000110: DUP4 00000111: ADD 00000112: MSTORE 00000113: MLOAD 00000114: SWAP1 00000115: DUP2 00000116: SWAP1 00000117: SUB 00000118: PUSH1 0x80 0000011a: ADD 0000011b: SWAP1 0000011c: RETURN 0000011d: JUMPDEST 0000011e: CALLVALUE 0000011f: DUP1 00000120: ISZERO 00000121: PUSH2 0x0129 00000124: JUMPI 00000125: PUSH1 0x00 00000127: DUP1 00000128: REVERT 00000129: JUMPDEST 0000012a: POP 0000012b: PUSH2 0x02eb 0000012e: PUSH1 0x04 00000130: DUP1 00000131: CALLDATASIZE 00000132: SUB 00000133: PUSH1 0xa0 00000135: DUP2 00000136: LT 00000137: ISZERO 00000138: PUSH2 0x0140 0000013b: JUMPI 0000013c: PUSH1 0x00 0000013e: DUP1 0000013f: REVERT 00000140: JUMPDEST 00000141: PUSH1 0x01 00000143: PUSH1 0x01 00000145: PUSH1 0xa0 00000147: SHL 00000148: SUB 00000149: DUP3 0000014a: CALLDATALOAD 0000014b: DUP2 0000014c: AND 0000014d: SWAP3 0000014e: PUSH1 0x20 00000150: DUP2 00000151: ADD 00000152: CALLDATALOAD 00000153: SWAP1 00000154: SWAP2 00000155: AND 00000156: SWAP2 00000157: DUP2 00000158: ADD 00000159: SWAP1 0000015a: PUSH1 0x60 0000015c: DUP2 0000015d: ADD 0000015e: PUSH1 0x40 00000160: DUP3 00000161: ADD 00000162: CALLDATALOAD 00000163: PUSH1 0x01 00000165: PUSH1 0x20 00000167: SHL 00000168: DUP2 00000169: GT 0000016a: ISZERO 0000016b: PUSH2 0x0173 0000016e: JUMPI 0000016f: PUSH1 0x00 00000171: DUP1 00000172: REVERT 00000173: JUMPDEST 00000174: DUP3 00000175: ADD 00000176: DUP4 00000177: PUSH1 0x20 00000179: DUP3 0000017a: ADD 0000017b: GT 0000017c: ISZERO 0000017d: PUSH2 0x0185 00000180: JUMPI 00000181: PUSH1 0x00 00000183: DUP1 00000184: REVERT 00000185: JUMPDEST 00000186: DUP1 00000187: CALLDATALOAD 00000188: SWAP1 00000189: PUSH1 0x20 0000018b: ADD 0000018c: SWAP2 0000018d: DUP5 0000018e: PUSH1 0x20 00000190: DUP4 00000191: MUL 00000192: DUP5 00000193: ADD 00000194: GT 00000195: PUSH1 0x01 00000197: PUSH1 0x20 00000199: SHL 0000019a: DUP4 0000019b: GT 0000019c: OR 0000019d: ISZERO 0000019e: PUSH2 0x01a6 000001a1: JUMPI 000001a2: PUSH1 0x00 000001a4: DUP1 000001a5: REVERT 000001a6: JUMPDEST 000001a7: SWAP2 000001a8: SWAP1 000001a9: DUP1 000001aa: DUP1 000001ab: PUSH1 0x20 000001ad: MUL 000001ae: PUSH1 0x20 000001b0: ADD 000001b1: PUSH1 0x40 000001b3: MLOAD 000001b4: SWAP1 000001b5: DUP2 000001b6: ADD 000001b7: PUSH1 0x40 000001b9: MSTORE 000001ba: DUP1 000001bb: SWAP4 000001bc: SWAP3 000001bd: SWAP2 000001be: SWAP1 000001bf: DUP2 000001c0: DUP2 000001c1: MSTORE 000001c2: PUSH1 0x20 000001c4: ADD 000001c5: DUP4 000001c6: DUP4 000001c7: PUSH1 0x20 000001c9: MUL 000001ca: DUP1 000001cb: DUP3 000001cc: DUP5 000001cd: CALLDATACOPY 000001ce: PUSH1 0x00 000001d0: SWAP3 000001d1: ADD 000001d2: SWAP2 000001d3: SWAP1 000001d4: SWAP2 000001d5: MSTORE 000001d6: POP 000001d7: SWAP3 000001d8: SWAP6 000001d9: SWAP5 000001da: SWAP4 000001db: PUSH1 0x20 000001dd: DUP2 000001de: ADD 000001df: SWAP4 000001e0: POP 000001e1: CALLDATALOAD 000001e2: SWAP2 000001e3: POP 000001e4: POP 000001e5: PUSH1 0x01 000001e7: PUSH1 0x20 000001e9: SHL 000001ea: DUP2 000001eb: GT 000001ec: ISZERO 000001ed: PUSH2 0x01f5 000001f0: JUMPI 000001f1: PUSH1 0x00 000001f3: DUP1 000001f4: REVERT 000001f5: JUMPDEST 000001f6: DUP3 000001f7: ADD 000001f8: DUP4 000001f9: PUSH1 0x20 000001fb: DUP3 000001fc: ADD 000001fd: GT 000001fe: ISZERO 000001ff: PUSH2 0x0207 00000202: JUMPI 00000203: PUSH1 0x00 00000205: DUP1 00000206: REVERT 00000207: JUMPDEST 00000208: DUP1 00000209: CALLDATALOAD 0000020a: SWAP1 0000020b: PUSH1 0x20 0000020d: ADD 0000020e: SWAP2 0000020f: DUP5 00000210: PUSH1 0x20 00000212: DUP4 00000213: MUL 00000214: DUP5 00000215: ADD 00000216: GT 00000217: PUSH1 0x01 00000219: PUSH1 0x20 0000021b: SHL 0000021c: DUP4 0000021d: GT 0000021e: OR 0000021f: ISZERO 00000220: PUSH2 0x0228 00000223: JUMPI 00000224: PUSH1 0x00 00000226: DUP1 00000227: REVERT 00000228: JUMPDEST 00000229: SWAP2 0000022a: SWAP1 0000022b: DUP1 0000022c: DUP1 0000022d: PUSH1 0x20 0000022f: MUL 00000230: PUSH1 0x20 00000232: ADD 00000233: PUSH1 0x40 00000235: MLOAD 00000236: SWAP1 00000237: DUP2 00000238: ADD 00000239: PUSH1 0x40 0000023b: MSTORE 0000023c: DUP1 0000023d: SWAP4 0000023e: SWAP3 0000023f: SWAP2 00000240: SWAP1 00000241: DUP2 00000242: DUP2 00000243: MSTORE 00000244: PUSH1 0x20 00000246: ADD 00000247: DUP4 00000248: DUP4 00000249: PUSH1 0x20 0000024b: MUL 0000024c: DUP1 0000024d: DUP3 0000024e: DUP5 0000024f: CALLDATACOPY 00000250: PUSH1 0x00 00000252: SWAP3 00000253: ADD 00000254: SWAP2 00000255: SWAP1 00000256: SWAP2 00000257: MSTORE 00000258: POP 00000259: SWAP3 0000025a: SWAP6 0000025b: SWAP5 0000025c: SWAP4 0000025d: PUSH1 0x20 0000025f: DUP2 00000260: ADD 00000261: SWAP4 00000262: POP 00000263: CALLDATALOAD 00000264: SWAP2 00000265: POP 00000266: POP 00000267: PUSH1 0x01 00000269: PUSH1 0x20 0000026b: SHL 0000026c: DUP2 0000026d: GT 0000026e: ISZERO 0000026f: PUSH2 0x0277 00000272: JUMPI 00000273: PUSH1 0x00 00000275: DUP1 00000276: REVERT 00000277: JUMPDEST 00000278: DUP3 00000279: ADD 0000027a: DUP4 0000027b: PUSH1 0x20 0000027d: DUP3 0000027e: ADD 0000027f: GT 00000280: ISZERO 00000281: PUSH2 0x0289 00000284: JUMPI 00000285: PUSH1 0x00 00000287: DUP1 00000288: REVERT 00000289: JUMPDEST 0000028a: DUP1 0000028b: CALLDATALOAD 0000028c: SWAP1 0000028d: PUSH1 0x20 0000028f: ADD 00000290: SWAP2 00000291: DUP5 00000292: PUSH1 0x01 00000294: DUP4 00000295: MUL 00000296: DUP5 00000297: ADD 00000298: GT 00000299: PUSH1 0x01 0000029b: PUSH1 0x20 0000029d: SHL 0000029e: DUP4 0000029f: GT 000002a0: OR 000002a1: ISZERO 000002a2: PUSH2 0x02aa 000002a5: JUMPI 000002a6: PUSH1 0x00 000002a8: DUP1 000002a9: REVERT 000002aa: JUMPDEST 000002ab: SWAP2 000002ac: SWAP1 000002ad: DUP1 000002ae: DUP1 000002af: PUSH1 0x1f 000002b1: ADD 000002b2: PUSH1 0x20 000002b4: DUP1 000002b5: SWAP2 000002b6: DIV 000002b7: MUL 000002b8: PUSH1 0x20 000002ba: ADD 000002bb: PUSH1 0x40 000002bd: MLOAD 000002be: SWAP1 000002bf: DUP2 000002c0: ADD 000002c1: PUSH1 0x40 000002c3: MSTORE 000002c4: DUP1 000002c5: SWAP4 000002c6: SWAP3 000002c7: SWAP2 000002c8: SWAP1 000002c9: DUP2 000002ca: DUP2 000002cb: MSTORE 000002cc: PUSH1 0x20 000002ce: ADD 000002cf: DUP4 000002d0: DUP4 000002d1: DUP1 000002d2: DUP3 000002d3: DUP5 000002d4: CALLDATACOPY 000002d5: PUSH1 0x00 000002d7: SWAP3 000002d8: ADD 000002d9: SWAP2 000002da: SWAP1 000002db: SWAP2 000002dc: MSTORE 000002dd: POP 000002de: SWAP3 000002df: SWAP6 000002e0: POP 000002e1: PUSH2 0x040a 000002e4: SWAP5 000002e5: POP 000002e6: POP 000002e7: POP 000002e8: POP 000002e9: POP 000002ea: JUMP 000002eb: JUMPDEST 000002ec: PUSH1 0x40 000002ee: DUP1 000002ef: MLOAD 000002f0: PUSH1 0x01 000002f2: PUSH1 0x01 000002f4: PUSH1 0xe0 000002f6: SHL 000002f7: SUB 000002f8: NOT 000002f9: SWAP1 000002fa: SWAP3 000002fb: AND 000002fc: DUP3 000002fd: MSTORE 000002fe: MLOAD 000002ff: SWAP1 00000300: DUP2 00000301: SWAP1 00000302: SUB 00000303: PUSH1 0x20 00000305: ADD 00000306: SWAP1 00000307: RETURN 00000308: JUMPDEST 00000309: CALLVALUE 0000030a: DUP1 0000030b: ISZERO 0000030c: PUSH2 0x0314 0000030f: JUMPI 00000310: PUSH1 0x00 00000312: DUP1 00000313: REVERT 00000314: JUMPDEST 00000315: POP 00000316: PUSH2 0x02eb 00000319: PUSH1 0x04 0000031b: DUP1 0000031c: CALLDATASIZE 0000031d: SUB 0000031e: PUSH1 0xa0 00000320: DUP2 00000321: LT 00000322: ISZERO 00000323: PUSH2 0x032b 00000326: JUMPI 00000327: PUSH1 0x00 00000329: DUP1 0000032a: REVERT 0000032b: JUMPDEST 0000032c: PUSH1 0x01 0000032e: PUSH1 0x01 00000330: PUSH1 0xa0 00000332: SHL 00000333: SUB 00000334: DUP3 00000335: CALLDATALOAD 00000336: DUP2 00000337: AND 00000338: SWAP3 00000339: PUSH1 0x20 0000033b: DUP2 0000033c: ADD 0000033d: CALLDATALOAD 0000033e: SWAP1 0000033f: SWAP2 00000340: AND 00000341: SWAP2 00000342: PUSH1 0x40 00000344: DUP3 00000345: ADD 00000346: CALLDATALOAD 00000347: SWAP2 00000348: PUSH1 0x60 0000034a: DUP2 0000034b: ADD 0000034c: CALLDATALOAD 0000034d: SWAP2 0000034e: DUP2 0000034f: ADD 00000350: SWAP1 00000351: PUSH1 0xa0 00000353: DUP2 00000354: ADD 00000355: PUSH1 0x80 00000357: DUP3 00000358: ADD 00000359: CALLDATALOAD 0000035a: PUSH1 0x01 0000035c: PUSH1 0x20 0000035e: SHL 0000035f: DUP2 00000360: GT 00000361: ISZERO 00000362: PUSH2 0x036a 00000365: JUMPI 00000366: PUSH1 0x00 00000368: DUP1 00000369: REVERT 0000036a: JUMPDEST 0000036b: DUP3 0000036c: ADD 0000036d: DUP4 0000036e: PUSH1 0x20 00000370: DUP3 00000371: ADD 00000372: GT 00000373: ISZERO 00000374: PUSH2 0x037c 00000377: JUMPI 00000378: PUSH1 0x00 0000037a: DUP1 0000037b: REVERT 0000037c: JUMPDEST 0000037d: DUP1 0000037e: CALLDATALOAD 0000037f: SWAP1 00000380: PUSH1 0x20 00000382: ADD 00000383: SWAP2 00000384: DUP5 00000385: PUSH1 0x01 00000387: DUP4 00000388: MUL 00000389: DUP5 0000038a: ADD 0000038b: GT 0000038c: PUSH1 0x01 0000038e: PUSH1 0x20 00000390: SHL 00000391: DUP4 00000392: GT 00000393: OR 00000394: ISZERO 00000395: PUSH2 0x039d 00000398: JUMPI 00000399: PUSH1 0x00 0000039b: DUP1 0000039c: REVERT 0000039d: JUMPDEST 0000039e: SWAP2 0000039f: SWAP1 000003a0: DUP1 000003a1: DUP1 000003a2: PUSH1 0x1f 000003a4: ADD 000003a5: PUSH1 0x20 000003a7: DUP1 000003a8: SWAP2 000003a9: DIV 000003aa: MUL 000003ab: PUSH1 0x20 000003ad: ADD 000003ae: PUSH1 0x40 000003b0: MLOAD 000003b1: SWAP1 000003b2: DUP2 000003b3: ADD 000003b4: PUSH1 0x40 000003b6: MSTORE 000003b7: DUP1 000003b8: SWAP4 000003b9: SWAP3 000003ba: SWAP2 000003bb: SWAP1 000003bc: DUP2 000003bd: DUP2 000003be: MSTORE 000003bf: PUSH1 0x20 000003c1: ADD 000003c2: DUP4 000003c3: DUP4 000003c4: DUP1 000003c5: DUP3 000003c6: DUP5 000003c7: CALLDATACOPY 000003c8: PUSH1 0x00 000003ca: SWAP3 000003cb: ADD 000003cc: SWAP2 000003cd: SWAP1 000003ce: SWAP2 000003cf: MSTORE 000003d0: POP 000003d1: SWAP3 000003d2: SWAP6 000003d3: POP 000003d4: PUSH2 0x0429 000003d7: SWAP5 000003d8: POP 000003d9: POP 000003da: POP 000003db: POP 000003dc: POP 000003dd: JUMP 000003de: JUMPDEST 000003df: PUSH1 0x01 000003e1: PUSH1 0x01 000003e3: PUSH1 0xe0 000003e5: SHL 000003e6: SUB 000003e7: NOT 000003e8: AND 000003e9: PUSH1 0x00 000003eb: SWAP1 000003ec: DUP2 000003ed: MSTORE 000003ee: PUSH1 0x20 000003f0: DUP2 000003f1: SWAP1 000003f2: MSTORE 000003f3: PUSH1 0x40 000003f5: SWAP1 000003f6: KECCAK256 000003f7: SLOAD 000003f8: PUSH1 0xff 000003fa: AND 000003fb: SWAP1 000003fc: JUMP 000003fd: JUMPDEST 000003fe: PUSH1 0x03 00000400: SLOAD 00000401: PUSH1 0x05 00000403: SLOAD 00000404: PUSH1 0x06 00000406: SLOAD 00000407: SELFBALANCE 00000408: SWAP4 00000409: JUMP 0000040a: JUMPDEST 0000040b: PUSH1 0x00 0000040d: PUSH2 0x0417 00000410: DUP6 00000411: DUP6 00000412: DUP6 00000413: PUSH2 0x04c5 00000416: JUMP 00000417: JUMPDEST 00000418: POP 00000419: PUSH4 0xbc197c81 0000041e: PUSH1 0xe0 00000420: SHL 00000421: SWAP6 00000422: SWAP5 00000423: POP 00000424: POP 00000425: POP 00000426: POP 00000427: POP 00000428: JUMP 00000429: JUMPDEST 0000042a: PUSH1 0x40 0000042c: DUP1 0000042d: MLOAD 0000042e: PUSH1 0x01 00000430: DUP1 00000431: DUP3 00000432: MSTORE 00000433: DUP2 00000434: DUP4 00000435: ADD 00000436: SWAP1 00000437: SWAP3 00000438: MSTORE 00000439: PUSH1 0x00 0000043b: SWAP2 0000043c: PUSH1 0x60 0000043e: SWAP2 0000043f: SWAP1 00000440: PUSH1 0x20 00000442: DUP1 00000443: DUP4 00000444: ADD 00000445: SWAP1 00000446: DUP1 00000447: CALLDATASIZE 00000448: DUP4 00000449: CALLDATACOPY 0000044a: ADD 0000044b: SWAP1 0000044c: POP 0000044d: POP 0000044e: SWAP1 0000044f: POP 00000450: DUP5 00000451: DUP2 00000452: PUSH1 0x00 00000454: DUP2 00000455: MLOAD 00000456: DUP2 00000457: LT 00000458: PUSH2 0x045d 0000045b: JUMPI 0000045c: INVALID 0000045d: JUMPDEST 0000045e: PUSH1 0x20 00000460: SWAP1 00000461: DUP2 00000462: MUL 00000463: SWAP2 00000464: SWAP1 00000465: SWAP2 00000466: ADD 00000467: ADD 00000468: MSTORE 00000469: PUSH1 0x40 0000046b: DUP1 0000046c: MLOAD 0000046d: PUSH1 0x01 0000046f: DUP1 00000470: DUP3 00000471: MSTORE 00000472: DUP2 00000473: DUP4 00000474: ADD 00000475: SWAP1 00000476: SWAP3 00000477: MSTORE 00000478: PUSH1 0x60 0000047a: SWAP2 0000047b: DUP2 0000047c: PUSH1 0x20 0000047e: ADD 0000047f: PUSH1 0x20 00000481: DUP3 00000482: MUL 00000483: DUP1 00000484: CALLDATASIZE 00000485: DUP4 00000486: CALLDATACOPY 00000487: ADD 00000488: SWAP1 00000489: POP 0000048a: POP 0000048b: SWAP1 0000048c: POP 0000048d: DUP5 0000048e: DUP2 0000048f: PUSH1 0x00 00000491: DUP2 00000492: MLOAD 00000493: DUP2 00000494: LT 00000495: PUSH2 0x049a 00000498: JUMPI 00000499: INVALID 0000049a: JUMPDEST 0000049b: PUSH1 0x20 0000049d: MUL 0000049e: PUSH1 0x20 000004a0: ADD 000004a1: ADD 000004a2: DUP2 000004a3: DUP2 000004a4: MSTORE 000004a5: POP 000004a6: POP 000004a7: PUSH2 0x04b1 000004aa: DUP8 000004ab: DUP4 000004ac: DUP4 000004ad: PUSH2 0x04c5 000004b0: JUMP 000004b1: JUMPDEST 000004b2: POP 000004b3: PUSH4 0xf23a6e61 000004b8: PUSH1 0xe0 000004ba: SHL 000004bb: SWAP8 000004bc: SWAP7 000004bd: POP 000004be: POP 000004bf: POP 000004c0: POP 000004c1: POP 000004c2: POP 000004c3: POP 000004c4: JUMP 000004c5: JUMPDEST 000004c6: PUSH1 0x01 000004c8: SLOAD 000004c9: PUSH1 0x01 000004cb: PUSH1 0x01 000004cd: PUSH1 0xa0 000004cf: SHL 000004d0: SUB 000004d1: AND 000004d2: CALLER 000004d3: EQ 000004d4: PUSH2 0x051a 000004d7: JUMPI 000004d8: PUSH1 0x40 000004da: DUP1 000004db: MLOAD 000004dc: PUSH3 0x461bcd 000004e0: PUSH1 0xe5 000004e2: SHL 000004e3: DUP2 000004e4: MSTORE 000004e5: PUSH1 0x20 000004e7: PUSH1 0x04 000004e9: DUP3 000004ea: ADD 000004eb: MSTORE 000004ec: PUSH1 0x13 000004ee: PUSH1 0x24 000004f0: DUP3 000004f1: ADD 000004f2: MSTORE 000004f3: PUSH19 0x2ab730baba3437b934bd32b21020b1ba34b7b7 00000507: PUSH1 0x69 00000509: SHL 0000050a: PUSH1 0x44 0000050c: DUP3 0000050d: ADD 0000050e: MSTORE 0000050f: SWAP1 00000510: MLOAD 00000511: SWAP1 00000512: DUP2 00000513: SWAP1 00000514: SUB 00000515: PUSH1 0x64 00000517: ADD 00000518: SWAP1 00000519: REVERT 0000051a: JUMPDEST 0000051b: PUSH1 0x05 0000051d: SLOAD 0000051e: NUMBER 0000051f: LT 00000520: ISZERO 00000521: PUSH2 0x0571 00000524: JUMPI 00000525: PUSH1 0x40 00000527: DUP1 00000528: MLOAD 00000529: PUSH3 0x461bcd 0000052d: PUSH1 0xe5 0000052f: SHL 00000530: DUP2 00000531: MSTORE 00000532: PUSH1 0x20 00000534: PUSH1 0x04 00000536: DUP3 00000537: ADD 00000538: MSTORE 00000539: PUSH1 0x1f 0000053b: PUSH1 0x24 0000053d: DUP3 0000053e: ADD 0000053f: MSTORE 00000540: PUSH32 0x52656465656d20506572696f64207374696c6c206e6f74207374617274656400 00000561: PUSH1 0x44 00000563: DUP3 00000564: ADD 00000565: MSTORE 00000566: SWAP1 00000567: MLOAD 00000568: SWAP1 00000569: DUP2 0000056a: SWAP1 0000056b: SUB 0000056c: PUSH1 0x64 0000056e: ADD 0000056f: SWAP1 00000570: REVERT 00000571: JUMPDEST 00000572: PUSH1 0x00 00000574: JUMPDEST 00000575: DUP3 00000576: MLOAD 00000577: DUP2 00000578: LT 00000579: ISZERO 0000057a: PUSH2 0x0650 0000057d: JUMPI 0000057e: PUSH1 0x02 00000580: SLOAD 00000581: DUP4 00000582: DUP3 00000583: DUP2 00000584: MLOAD 00000585: DUP2 00000586: LT 00000587: PUSH2 0x058c 0000058a: JUMPI 0000058b: INVALID 0000058c: JUMPDEST 0000058d: PUSH1 0x20 0000058f: MUL 00000590: PUSH1 0x20 00000592: ADD 00000593: ADD 00000594: MLOAD 00000595: EQ 00000596: PUSH2 0x05d4 00000599: JUMPI 0000059a: PUSH1 0x40 0000059c: DUP1 0000059d: MLOAD 0000059e: PUSH3 0x461bcd 000005a2: PUSH1 0xe5 000005a4: SHL 000005a5: DUP2 000005a6: MSTORE 000005a7: PUSH1 0x20 000005a9: PUSH1 0x04 000005ab: DUP3 000005ac: ADD 000005ad: MSTORE 000005ae: PUSH1 0x0b 000005b0: PUSH1 0x24 000005b2: DUP3 000005b3: ADD 000005b4: MSTORE 000005b5: PUSH11 0x57726f6e67204361726421 000005c1: PUSH1 0xa8 000005c3: SHL 000005c4: PUSH1 0x44 000005c6: DUP3 000005c7: ADD 000005c8: MSTORE 000005c9: SWAP1 000005ca: MLOAD 000005cb: SWAP1 000005cc: DUP2 000005cd: SWAP1 000005ce: SUB 000005cf: PUSH1 0x64 000005d1: ADD 000005d2: SWAP1 000005d3: REVERT 000005d4: JUMPDEST 000005d5: DUP2 000005d6: DUP2 000005d7: DUP2 000005d8: MLOAD 000005d9: DUP2 000005da: LT 000005db: PUSH2 0x05e0 000005de: JUMPI 000005df: INVALID 000005e0: JUMPDEST 000005e1: PUSH1 0x20 000005e3: MUL 000005e4: PUSH1 0x20 000005e6: ADD 000005e7: ADD 000005e8: MLOAD 000005e9: PUSH1 0x06 000005eb: PUSH1 0x00 000005ed: DUP3 000005ee: DUP3 000005ef: SLOAD 000005f0: ADD 000005f1: SWAP3 000005f2: POP 000005f3: POP 000005f4: DUP2 000005f5: SWAP1 000005f6: SSTORE 000005f7: POP 000005f8: DUP4 000005f9: PUSH1 0x01 000005fb: PUSH1 0x01 000005fd: PUSH1 0xa0 000005ff: SHL 00000600: SUB 00000601: AND 00000602: PUSH2 0x08fc 00000605: DUP4 00000606: DUP4 00000607: DUP2 00000608: MLOAD 00000609: DUP2 0000060a: LT 0000060b: PUSH2 0x0610 0000060e: JUMPI 0000060f: INVALID 00000610: JUMPDEST 00000611: PUSH1 0x20 00000613: MUL 00000614: PUSH1 0x20 00000616: ADD 00000617: ADD 00000618: MLOAD 00000619: PUSH1 0x03 0000061b: SLOAD 0000061c: MUL 0000061d: SWAP1 0000061e: DUP2 0000061f: ISZERO 00000620: MUL 00000621: SWAP1 00000622: PUSH1 0x40 00000624: MLOAD 00000625: PUSH1 0x00 00000627: PUSH1 0x40 00000629: MLOAD 0000062a: DUP1 0000062b: DUP4 0000062c: SUB 0000062d: DUP2 0000062e: DUP6 0000062f: DUP9 00000630: DUP9 00000631: CALL 00000632: SWAP4 00000633: POP 00000634: POP 00000635: POP 00000636: POP 00000637: ISZERO 00000638: DUP1 00000639: ISZERO 0000063a: PUSH2 0x0647 0000063d: JUMPI 0000063e: RETURNDATASIZE 0000063f: PUSH1 0x00 00000641: DUP1 00000642: RETURNDATACOPY 00000643: RETURNDATASIZE 00000644: PUSH1 0x00 00000646: REVERT 00000647: JUMPDEST 00000648: POP 00000649: PUSH1 0x01 0000064b: ADD 0000064c: PUSH2 0x0574 0000064f: JUMP 00000650: JUMPDEST 00000651: POP 00000652: PUSH1 0x01 00000654: SLOAD 00000655: PUSH1 0x40 00000657: DUP1 00000658: MLOAD 00000659: PUSH4 0x83ca4b6f 0000065e: PUSH1 0xe0 00000660: SHL 00000661: DUP2 00000662: MSTORE 00000663: PUSH1 0x04 00000665: DUP2 00000666: ADD 00000667: SWAP2 00000668: DUP3 00000669: MSTORE 0000066a: DUP5 0000066b: MLOAD 0000066c: PUSH1 0x44 0000066e: DUP3 0000066f: ADD 00000670: MSTORE 00000671: DUP5 00000672: MLOAD 00000673: PUSH1 0x01 00000675: PUSH1 0x01 00000677: PUSH1 0xa0 00000679: SHL 0000067a: SUB 0000067b: SWAP1 0000067c: SWAP4 0000067d: AND 0000067e: SWAP3 0000067f: PUSH4 0x83ca4b6f 00000684: SWAP3 00000685: DUP7 00000686: SWAP3 00000687: DUP7 00000688: SWAP3 00000689: DUP3 0000068a: SWAP2 0000068b: PUSH1 0x24 0000068d: DUP2 0000068e: ADD 0000068f: SWAP2 00000690: PUSH1 0x64 00000692: SWAP1 00000693: SWAP2 00000694: ADD 00000695: SWAP1 00000696: PUSH1 0x20 00000698: DUP1 00000699: DUP9 0000069a: ADD 0000069b: SWAP2 0000069c: MUL 0000069d: DUP1 0000069e: DUP4 0000069f: DUP4 000006a0: PUSH1 0x00 000006a2: JUMPDEST 000006a3: DUP4 000006a4: DUP2 000006a5: LT 000006a6: ISZERO 000006a7: PUSH2 0x06ba 000006aa: JUMPI 000006ab: DUP2 000006ac: DUP2 000006ad: ADD 000006ae: MLOAD 000006af: DUP4 000006b0: DUP3 000006b1: ADD 000006b2: MSTORE 000006b3: PUSH1 0x20 000006b5: ADD 000006b6: PUSH2 0x06a2 000006b9: JUMP 000006ba: JUMPDEST 000006bb: POP 000006bc: POP 000006bd: POP 000006be: POP 000006bf: SWAP1 000006c0: POP 000006c1: ADD 000006c2: DUP4 000006c3: DUP2 000006c4: SUB 000006c5: DUP3 000006c6: MSTORE 000006c7: DUP5 000006c8: DUP2 000006c9: DUP2 000006ca: MLOAD 000006cb: DUP2 000006cc: MSTORE 000006cd: PUSH1 0x20 000006cf: ADD 000006d0: SWAP2 000006d1: POP 000006d2: DUP1 000006d3: MLOAD 000006d4: SWAP1 000006d5: PUSH1 0x20 000006d7: ADD 000006d8: SWAP1 000006d9: PUSH1 0x20 000006db: MUL 000006dc: DUP1 000006dd: DUP4 000006de: DUP4 000006df: PUSH1 0x00 000006e1: JUMPDEST 000006e2: DUP4 000006e3: DUP2 000006e4: LT 000006e5: ISZERO 000006e6: PUSH2 0x06f9 000006e9: JUMPI 000006ea: DUP2 000006eb: DUP2 000006ec: ADD 000006ed: MLOAD 000006ee: DUP4 000006ef: DUP3 000006f0: ADD 000006f1: MSTORE 000006f2: PUSH1 0x20 000006f4: ADD 000006f5: PUSH2 0x06e1 000006f8: JUMP 000006f9: JUMPDEST 000006fa: POP 000006fb: POP 000006fc: POP 000006fd: POP 000006fe: SWAP1 000006ff: POP 00000700: ADD 00000701: SWAP5 00000702: POP 00000703: POP 00000704: POP 00000705: POP 00000706: POP 00000707: PUSH1 0x00 00000709: PUSH1 0x40 0000070b: MLOAD 0000070c: DUP1 0000070d: DUP4 0000070e: SUB 0000070f: DUP2 00000710: PUSH1 0x00 00000712: DUP8 00000713: DUP1 00000714: EXTCODESIZE 00000715: ISZERO 00000716: DUP1 00000717: ISZERO 00000718: PUSH2 0x0720 0000071b: JUMPI 0000071c: PUSH1 0x00 0000071e: DUP1 0000071f: REVERT 00000720: JUMPDEST 00000721: POP 00000722: GAS 00000723: CALL 00000724: ISZERO 00000725: DUP1 00000726: ISZERO 00000727: PUSH2 0x0734 0000072a: JUMPI 0000072b: RETURNDATASIZE 0000072c: PUSH1 0x00 0000072e: DUP1 0000072f: RETURNDATACOPY 00000730: RETURNDATASIZE 00000731: PUSH1 0x00 00000733: REVERT 00000734: JUMPDEST 00000735: POP 00000736: POP 00000737: POP 00000738: POP 00000739: POP 0000073a: POP 0000073b: POP 0000073c: JUMP 0000073d: INVALID 0000073e: LOG2 0000073f: PUSH5 0x6970667358 00000745: UNKNOWN(0x22) 00000746: SLT 00000747: KECCAK256 00000748: UNKNOWN(0xA7) 00000749: UNKNOWN(0xD3) 0000074a: UNKNOWN(0xFB) 0000074b: MOD 0000074c: UNKNOWN(0xEF) 0000074d: SWAP13 0000074e: PUSH12 0x1647d296c2db9c56917fc170 0000075b: UNKNOWN(0xC4) 0000075c: MLOAD 0000075d: UNKNOWN(0xCC) 0000075e: TSTORE 0000075f: PUSH28
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x0d5defc02af8c76cb60aab98c7541c32341ab3ca3c9f968e7b379c755ef4f791
call_targets:
0x32c87193c2cc9961f2283fca3ca11a483d8e426b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0d5defc02af8c76cb60aab98c7541c32341ab3ca3c9f968e7b379c755ef4f791",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x32c87193c2cc9961f2283fca3ca11a483d8e426b"
],
"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": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x73d4a13a",
"selector": "0x73d4a13a",
"calldata_variants": [
"0x73d4a13a",
"0x73d4a13a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc197c81",
"selector": "0xbc197c81",
"calldata_variants": [
"0xbc197c81",
"0xbc197c810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf23a6e61",
"selector": "0xf23a6e61",
"calldata_variants": [
"0xf23a6e61",
"0xf23a6e610000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 103,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1585,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1827,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x0d5defc02af8c76cb60aab98c7541c32341ab3ca3c9f968e7b379c755ef4f791
call_targets:
0x32c87193c2cc9961f2283fca3ca11a483d8e426b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0d5defc02af8c76cb60aab98c7541c32341ab3ca3c9f968e7b379c755ef4f791",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x32c87193c2cc9961f2283fca3ca11a483d8e426b"
],
"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": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x73d4a13a",
"selector": "0x73d4a13a",
"calldata_variants": [
"0x73d4a13a",
"0x73d4a13a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc197c81",
"selector": "0xbc197c81",
"calldata_variants": [
"0xbc197c81",
"0xbc197c810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf23a6e61",
"selector": "0xf23a6e61",
"calldata_variants": [
"0xf23a6e61",
"0xf23a6e610000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 103,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1585,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1827,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|