019b477e-d0d3-7155-946c-293e2ddd5dba
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 |
|---|---|---|---|---|
| 27645 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27646 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 91945 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 91946 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 91947 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 91948 | 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 0x0074 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0xa8397ddc 00000019: GT 0000001a: PUSH2 0x004e 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xa8397ddc 00000024: EQ 00000025: PUSH2 0x010f 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xc3ae1e59 0000002f: EQ 00000030: PUSH2 0x012f 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc5a15ec8 0000003a: EQ 0000003b: PUSH2 0x0144 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xead50da3 00000045: EQ 00000046: PUSH2 0x0157 00000049: JUMPI 0000004a: PUSH1 0x00 0000004c: DUP1 0000004d: REVERT 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0x19c87f1f 00000055: EQ 00000056: PUSH2 0x0098 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x355274ea 00000060: EQ 00000061: PUSH2 0x00d5 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x47799da8 0000006b: EQ 0000006c: PUSH2 0x00f9 0000006f: JUMPI 00000070: PUSH1 0x00 00000072: DUP1 00000073: REVERT 00000074: JUMPDEST 00000075: CALLDATASIZE 00000076: PUSH2 0x0093 00000079: JUMPI 0000007a: PUSH2 0x0091 0000007d: PUSH1 0x40 0000007f: MLOAD 00000080: DUP1 00000081: PUSH1 0x20 00000083: ADD 00000084: PUSH1 0x40 00000086: MSTORE 00000087: DUP1 00000088: PUSH1 0x00 0000008a: DUP2 0000008b: MSTORE 0000008c: POP 0000008d: PUSH2 0x016d 00000090: JUMP 00000091: JUMPDEST 00000092: STOP 00000093: JUMPDEST 00000094: PUSH1 0x00 00000096: DUP1 00000097: REVERT 00000098: JUMPDEST 00000099: CALLVALUE 0000009a: DUP1 0000009b: ISZERO 0000009c: PUSH2 0x00a4 0000009f: JUMPI 000000a0: PUSH1 0x00 000000a2: DUP1 000000a3: REVERT 000000a4: JUMPDEST 000000a5: POP 000000a6: PUSH1 0x00 000000a8: SLOAD 000000a9: PUSH2 0x00b8 000000ac: SWAP1 000000ad: PUSH1 0x01 000000af: PUSH1 0x01 000000b1: PUSH1 0xa0 000000b3: SHL 000000b4: SUB 000000b5: AND 000000b6: DUP2 000000b7: JUMP 000000b8: JUMPDEST 000000b9: PUSH1 0x40 000000bb: MLOAD 000000bc: PUSH1 0x01 000000be: PUSH1 0x01 000000c0: PUSH1 0xa0 000000c2: SHL 000000c3: SUB 000000c4: SWAP1 000000c5: SWAP2 000000c6: AND 000000c7: DUP2 000000c8: MSTORE 000000c9: PUSH1 0x20 000000cb: ADD 000000cc: JUMPDEST 000000cd: PUSH1 0x40 000000cf: MLOAD 000000d0: DUP1 000000d1: SWAP2 000000d2: SUB 000000d3: SWAP1 000000d4: RETURN 000000d5: JUMPDEST 000000d6: CALLVALUE 000000d7: DUP1 000000d8: ISZERO 000000d9: PUSH2 0x00e1 000000dc: JUMPI 000000dd: PUSH1 0x00 000000df: DUP1 000000e0: REVERT 000000e1: JUMPDEST 000000e2: POP 000000e3: PUSH2 0x00eb 000000e6: PUSH1 0x01 000000e8: SLOAD 000000e9: DUP2 000000ea: JUMP 000000eb: JUMPDEST 000000ec: PUSH1 0x40 000000ee: MLOAD 000000ef: SWAP1 000000f0: DUP2 000000f1: MSTORE 000000f2: PUSH1 0x20 000000f4: ADD 000000f5: PUSH2 0x00cc 000000f8: JUMP 000000f9: JUMPDEST 000000fa: CALLVALUE 000000fb: DUP1 000000fc: ISZERO 000000fd: PUSH2 0x0105 00000100: JUMPI 00000101: PUSH1 0x00 00000103: DUP1 00000104: REVERT 00000105: JUMPDEST 00000106: POP 00000107: PUSH2 0x00eb 0000010a: PUSH1 0x03 0000010c: SLOAD 0000010d: DUP2 0000010e: JUMP 0000010f: JUMPDEST 00000110: CALLVALUE 00000111: DUP1 00000112: ISZERO 00000113: PUSH2 0x011b 00000116: JUMPI 00000117: PUSH1 0x00 00000119: DUP1 0000011a: REVERT 0000011b: JUMPDEST 0000011c: POP 0000011d: PUSH2 0x0091 00000120: PUSH2 0x012a 00000123: CALLDATASIZE 00000124: PUSH1 0x04 00000126: PUSH2 0x044e 00000129: JUMP 0000012a: JUMPDEST 0000012b: PUSH2 0x01b3 0000012e: JUMP 0000012f: JUMPDEST 00000130: CALLVALUE 00000131: DUP1 00000132: ISZERO 00000133: PUSH2 0x013b 00000136: JUMPI 00000137: PUSH1 0x00 00000139: DUP1 0000013a: REVERT 0000013b: JUMPDEST 0000013c: POP 0000013d: PUSH2 0x00eb 00000140: PUSH2 0x0340 00000143: JUMP 00000144: JUMPDEST 00000145: PUSH2 0x0091 00000148: PUSH2 0x0152 0000014b: CALLDATASIZE 0000014c: PUSH1 0x04 0000014e: PUSH2 0x0413 00000151: JUMP 00000152: JUMPDEST 00000153: PUSH2 0x016d 00000156: JUMP 00000157: JUMPDEST 00000158: CALLVALUE 00000159: DUP1 0000015a: ISZERO 0000015b: PUSH2 0x0163 0000015e: JUMPI 0000015f: PUSH1 0x00 00000161: DUP1 00000162: REVERT 00000163: JUMPDEST 00000164: POP 00000165: PUSH2 0x00eb 00000168: PUSH1 0x02 0000016a: SLOAD 0000016b: DUP2 0000016c: JUMP 0000016d: JUMPDEST 0000016e: CALLER 0000016f: PUSH1 0x01 00000171: PUSH1 0x01 00000173: PUSH1 0xa0 00000175: SHL 00000176: SUB 00000177: AND 00000178: PUSH32 0x643e927b32d5bfd08eccd2fcbd97057ad413850f857a2359639114e8e8dd3d7b 00000199: CALLVALUE 0000019a: DUP4 0000019b: PUSH1 0x40 0000019d: MLOAD 0000019e: PUSH2 0x01a8 000001a1: SWAP3 000001a2: SWAP2 000001a3: SWAP1 000001a4: PUSH2 0x0493 000001a7: JUMP 000001a8: JUMPDEST 000001a9: PUSH1 0x40 000001ab: MLOAD 000001ac: DUP1 000001ad: SWAP2 000001ae: SUB 000001af: SWAP1 000001b0: LOG2 000001b1: POP 000001b2: JUMP 000001b3: JUMPDEST 000001b4: PUSH1 0x00 000001b6: SLOAD 000001b7: PUSH1 0x01 000001b9: PUSH1 0x01 000001bb: PUSH1 0xa0 000001bd: SHL 000001be: SUB 000001bf: AND 000001c0: CALLER 000001c1: EQ 000001c2: PUSH2 0x0212 000001c5: JUMPI 000001c6: PUSH1 0x40 000001c8: MLOAD 000001c9: PUSH3 0x461bcd 000001cd: PUSH1 0xe5 000001cf: SHL 000001d0: DUP2 000001d1: MSTORE 000001d2: PUSH1 0x20 000001d4: PUSH1 0x04 000001d6: DUP3 000001d7: ADD 000001d8: MSTORE 000001d9: PUSH1 0x1a 000001db: PUSH1 0x24 000001dd: DUP3 000001de: ADD 000001df: MSTORE 000001e0: PUSH32 0x746869732073747265616d206973206e6f7420666f7220796f75000000000000 00000201: PUSH1 0x44 00000203: DUP3 00000204: ADD 00000205: MSTORE 00000206: PUSH1 0x64 00000208: ADD 00000209: JUMPDEST 0000020a: PUSH1 0x40 0000020c: MLOAD 0000020d: DUP1 0000020e: SWAP2 0000020f: SUB 00000210: SWAP1 00000211: REVERT 00000212: JUMPDEST 00000213: PUSH1 0x00 00000215: PUSH2 0x021c 00000218: PUSH2 0x0340 0000021b: JUMP 0000021c: JUMPDEST 0000021d: SWAP1 0000021e: POP 0000021f: DUP3 00000220: DUP2 00000221: LT 00000222: ISZERO 00000223: PUSH2 0x026e 00000226: JUMPI 00000227: PUSH1 0x40 00000229: MLOAD 0000022a: PUSH3 0x461bcd 0000022e: PUSH1 0xe5 00000230: SHL 00000231: DUP2 00000232: MSTORE 00000233: PUSH1 0x20 00000235: PUSH1 0x04 00000237: DUP3 00000238: ADD 00000239: MSTORE 0000023a: PUSH1 0x18 0000023c: PUSH1 0x24 0000023e: DUP3 0000023f: ADD 00000240: MSTORE 00000241: PUSH32 0x6e6f7420656e6f75676820696e207468652073747265616d0000000000000000 00000262: PUSH1 0x44 00000264: DUP3 00000265: ADD 00000266: MSTORE 00000267: PUSH1 0x64 00000269: ADD 0000026a: PUSH2 0x0209 0000026d: JUMP 0000026e: JUMPDEST 0000026f: PUSH1 0x00 00000271: PUSH1 0x02 00000273: SLOAD 00000274: TIMESTAMP 00000275: PUSH2 0x027e 00000278: SWAP2 00000279: SWAP1 0000027a: PUSH2 0x0545 0000027d: JUMP 0000027e: JUMPDEST 0000027f: SWAP1 00000280: POP 00000281: DUP1 00000282: PUSH1 0x03 00000284: SLOAD 00000285: LT 00000286: ISZERO 00000287: PUSH2 0x0290 0000028a: JUMPI 0000028b: PUSH1 0x03 0000028d: DUP2 0000028e: SWAP1 0000028f: SSTORE 00000290: JUMPDEST 00000291: DUP2 00000292: DUP5 00000293: PUSH1 0x03 00000295: SLOAD 00000296: TIMESTAMP 00000297: PUSH2 0x02a0 0000029a: SWAP2 0000029b: SWAP1 0000029c: PUSH2 0x0545 0000029f: JUMP 000002a0: JUMPDEST 000002a1: PUSH2 0x02aa 000002a4: SWAP2 000002a5: SWAP1 000002a6: PUSH2 0x0526 000002a9: JUMP 000002aa: JUMPDEST 000002ab: PUSH2 0x02b4 000002ae: SWAP2 000002af: SWAP1 000002b0: PUSH2 0x0506 000002b3: JUMP 000002b4: JUMPDEST 000002b5: PUSH1 0x03 000002b7: SLOAD 000002b8: PUSH2 0x02c1 000002bb: SWAP2 000002bc: SWAP1 000002bd: PUSH2 0x04ee 000002c0: JUMP 000002c1: JUMPDEST 000002c2: PUSH1 0x03 000002c4: SSTORE 000002c5: PUSH1 0x40 000002c7: MLOAD 000002c8: CALLER 000002c9: SWAP1 000002ca: PUSH32 0x485f1bb6524c663555797e00171a10f341656e59b02d6b557a0a38ba7d5d9751 000002eb: SWAP1 000002ec: PUSH2 0x02f8 000002ef: SWAP1 000002f0: DUP8 000002f1: SWAP1 000002f2: DUP8 000002f3: SWAP1 000002f4: PUSH2 0x0493 000002f7: JUMP 000002f8: JUMPDEST 000002f9: PUSH1 0x40 000002fb: MLOAD 000002fc: DUP1 000002fd: SWAP2 000002fe: SUB 000002ff: SWAP1 00000300: LOG2 00000301: PUSH1 0x00 00000303: DUP1 00000304: SLOAD 00000305: PUSH1 0x40 00000307: MLOAD 00000308: PUSH1 0x01 0000030a: PUSH1 0x01 0000030c: PUSH1 0xa0 0000030e: SHL 0000030f: SUB 00000310: SWAP1 00000311: SWAP2 00000312: AND 00000313: SWAP2 00000314: DUP7 00000315: ISZERO 00000316: PUSH2 0x08fc 00000319: MUL 0000031a: SWAP2 0000031b: DUP8 0000031c: SWAP2 0000031d: DUP2 0000031e: DUP2 0000031f: DUP2 00000320: DUP6 00000321: DUP9 00000322: DUP9 00000323: CALL 00000324: SWAP4 00000325: POP 00000326: POP 00000327: POP 00000328: POP 00000329: ISZERO 0000032a: DUP1 0000032b: ISZERO 0000032c: PUSH2 0x0339 0000032f: JUMPI 00000330: RETURNDATASIZE 00000331: PUSH1 0x00 00000333: DUP1 00000334: RETURNDATACOPY 00000335: RETURNDATASIZE 00000336: PUSH1 0x00 00000338: REVERT 00000339: JUMPDEST 0000033a: POP 0000033b: POP 0000033c: POP 0000033d: POP 0000033e: POP 0000033f: JUMP 00000340: JUMPDEST 00000341: PUSH1 0x00 00000343: PUSH1 0x02 00000345: SLOAD 00000346: PUSH1 0x03 00000348: SLOAD 00000349: TIMESTAMP 0000034a: PUSH2 0x0353 0000034d: SWAP2 0000034e: SWAP1 0000034f: PUSH2 0x0545 00000352: JUMP 00000353: JUMPDEST 00000354: GT 00000355: ISZERO 00000356: PUSH2 0x0360 00000359: JUMPI 0000035a: POP 0000035b: PUSH1 0x01 0000035d: SLOAD 0000035e: SWAP1 0000035f: JUMP 00000360: JUMPDEST 00000361: PUSH1 0x02 00000363: SLOAD 00000364: PUSH1 0x03 00000366: SLOAD 00000367: PUSH2 0x0370 0000036a: SWAP1 0000036b: TIMESTAMP 0000036c: PUSH2 0x0545 0000036f: JUMP 00000370: JUMPDEST 00000371: PUSH1 0x01 00000373: SLOAD 00000374: PUSH2 0x037d 00000377: SWAP2 00000378: SWAP1 00000379: PUSH2 0x0526 0000037c: JUMP 0000037d: JUMPDEST 0000037e: PUSH2 0x0387 00000381: SWAP2 00000382: SWAP1 00000383: PUSH2 0x0506 00000386: JUMP 00000387: JUMPDEST 00000388: SWAP1 00000389: POP 0000038a: SWAP1 0000038b: JUMP 0000038c: JUMPDEST 0000038d: PUSH1 0x00 0000038f: DUP3 00000390: PUSH1 0x1f 00000392: DUP4 00000393: ADD 00000394: SLT 00000395: PUSH2 0x039c 00000398: JUMPI 00000399: DUP1 0000039a: DUP2 0000039b: REVERT 0000039c: JUMPDEST 0000039d: DUP2 0000039e: CALLDATALOAD 0000039f: PUSH8 0xffffffffffffffff 000003a8: DUP1 000003a9: DUP3 000003aa: GT 000003ab: ISZERO 000003ac: PUSH2 0x03b7 000003af: JUMPI 000003b0: PUSH2 0x03b7 000003b3: PUSH2 0x0572 000003b6: JUMP 000003b7: JUMPDEST 000003b8: PUSH1 0x40 000003ba: MLOAD 000003bb: PUSH1 0x1f 000003bd: DUP4 000003be: ADD 000003bf: PUSH1 0x1f 000003c1: NOT 000003c2: SWAP1 000003c3: DUP2 000003c4: AND 000003c5: PUSH1 0x3f 000003c7: ADD 000003c8: AND 000003c9: DUP2 000003ca: ADD 000003cb: SWAP1 000003cc: DUP3 000003cd: DUP3 000003ce: GT 000003cf: DUP2 000003d0: DUP4 000003d1: LT 000003d2: OR 000003d3: ISZERO 000003d4: PUSH2 0x03df 000003d7: JUMPI 000003d8: PUSH2 0x03df 000003db: PUSH2 0x0572 000003de: JUMP 000003df: JUMPDEST 000003e0: DUP2 000003e1: PUSH1 0x40 000003e3: MSTORE 000003e4: DUP4 000003e5: DUP2 000003e6: MSTORE 000003e7: DUP7 000003e8: PUSH1 0x20 000003ea: DUP6 000003eb: DUP9 000003ec: ADD 000003ed: ADD 000003ee: GT 000003ef: ISZERO 000003f0: PUSH2 0x03f7 000003f3: JUMPI 000003f4: DUP5 000003f5: DUP6 000003f6: REVERT 000003f7: JUMPDEST 000003f8: DUP4 000003f9: PUSH1 0x20 000003fb: DUP8 000003fc: ADD 000003fd: PUSH1 0x20 000003ff: DUP4 00000400: ADD 00000401: CALLDATACOPY 00000402: SWAP3 00000403: DUP4 00000404: ADD 00000405: PUSH1 0x20 00000407: ADD 00000408: SWAP4 00000409: SWAP1 0000040a: SWAP4 0000040b: MSTORE 0000040c: POP 0000040d: SWAP4 0000040e: SWAP3 0000040f: POP 00000410: POP 00000411: POP 00000412: JUMP 00000413: JUMPDEST 00000414: PUSH1 0x00 00000416: PUSH1 0x20 00000418: DUP3 00000419: DUP5 0000041a: SUB 0000041b: SLT 0000041c: ISZERO 0000041d: PUSH2 0x0424 00000420: JUMPI 00000421: DUP1 00000422: DUP2 00000423: REVERT 00000424: JUMPDEST 00000425: DUP2 00000426: CALLDATALOAD 00000427: PUSH8 0xffffffffffffffff 00000430: DUP2 00000431: GT 00000432: ISZERO 00000433: PUSH2 0x043a 00000436: JUMPI 00000437: DUP2 00000438: DUP3 00000439: REVERT 0000043a: JUMPDEST 0000043b: PUSH2 0x0446 0000043e: DUP5 0000043f: DUP3 00000440: DUP6 00000441: ADD 00000442: PUSH2 0x038c 00000445: JUMP 00000446: JUMPDEST 00000447: SWAP5 00000448: SWAP4 00000449: POP 0000044a: POP 0000044b: POP 0000044c: POP 0000044d: JUMP 0000044e: JUMPDEST 0000044f: PUSH1 0x00 00000451: DUP1 00000452: PUSH1 0x40 00000454: DUP4 00000455: DUP6 00000456: SUB 00000457: SLT 00000458: ISZERO 00000459: PUSH2 0x0460 0000045c: JUMPI 0000045d: DUP1 0000045e: DUP2 0000045f: REVERT 00000460: JUMPDEST 00000461: DUP3 00000462: CALLDATALOAD 00000463: SWAP2 00000464: POP 00000465: PUSH1 0x20 00000467: DUP4 00000468: ADD 00000469: CALLDATALOAD 0000046a: PUSH8 0xffffffffffffffff 00000473: DUP2 00000474: GT 00000475: ISZERO 00000476: PUSH2 0x047d 00000479: JUMPI 0000047a: DUP2 0000047b: DUP3 0000047c: REVERT 0000047d: JUMPDEST 0000047e: PUSH2 0x0489 00000481: DUP6 00000482: DUP3 00000483: DUP7 00000484: ADD 00000485: PUSH2 0x038c 00000488: JUMP 00000489: JUMPDEST 0000048a: SWAP2 0000048b: POP 0000048c: POP 0000048d: SWAP3 0000048e: POP 0000048f: SWAP3 00000490: SWAP1 00000491: POP 00000492: JUMP 00000493: JUMPDEST 00000494: DUP3 00000495: DUP2 00000496: MSTORE 00000497: PUSH1 0x00 00000499: PUSH1 0x20 0000049b: PUSH1 0x40 0000049d: DUP2 0000049e: DUP5 0000049f: ADD 000004a0: MSTORE 000004a1: DUP4 000004a2: MLOAD 000004a3: DUP1 000004a4: PUSH1 0x40 000004a6: DUP6 000004a7: ADD 000004a8: MSTORE 000004a9: DUP3 000004aa: JUMPDEST 000004ab: DUP2 000004ac: DUP2 000004ad: LT 000004ae: ISZERO 000004af: PUSH2 0x04c6 000004b2: JUMPI 000004b3: DUP6 000004b4: DUP2 000004b5: ADD 000004b6: DUP4 000004b7: ADD 000004b8: MLOAD 000004b9: DUP6 000004ba: DUP3 000004bb: ADD 000004bc: PUSH1 0x60 000004be: ADD 000004bf: MSTORE 000004c0: DUP3 000004c1: ADD 000004c2: PUSH2 0x04aa 000004c5: JUMP 000004c6: JUMPDEST 000004c7: DUP2 000004c8: DUP2 000004c9: GT 000004ca: ISZERO 000004cb: PUSH2 0x04d7 000004ce: JUMPI 000004cf: DUP4 000004d0: PUSH1 0x60 000004d2: DUP4 000004d3: DUP8 000004d4: ADD 000004d5: ADD 000004d6: MSTORE 000004d7: JUMPDEST 000004d8: POP 000004d9: PUSH1 0x1f 000004db: ADD 000004dc: PUSH1 0x1f 000004de: NOT 000004df: AND 000004e0: SWAP3 000004e1: SWAP1 000004e2: SWAP3 000004e3: ADD 000004e4: PUSH1 0x60 000004e6: ADD 000004e7: SWAP5 000004e8: SWAP4 000004e9: POP 000004ea: POP 000004eb: POP 000004ec: POP 000004ed: JUMP 000004ee: JUMPDEST 000004ef: PUSH1 0x00 000004f1: DUP3 000004f2: NOT 000004f3: DUP3 000004f4: GT 000004f5: ISZERO 000004f6: PUSH2 0x0501 000004f9: JUMPI 000004fa: PUSH2 0x0501 000004fd: PUSH2 0x055c 00000500: JUMP 00000501: JUMPDEST 00000502: POP 00000503: ADD 00000504: SWAP1 00000505: JUMP 00000506: JUMPDEST 00000507: PUSH1 0x00 00000509: DUP3 0000050a: PUSH2 0x0521 0000050d: JUMPI 0000050e: PUSH4 0x4e487b71 00000513: PUSH1 0xe0 00000515: SHL 00000516: DUP2 00000517: MSTORE 00000518: PUSH1 0x12 0000051a: PUSH1 0x04 0000051c: MSTORE 0000051d: PUSH1 0x24 0000051f: DUP2 00000520: REVERT 00000521: JUMPDEST 00000522: POP 00000523: DIV 00000524: SWAP1 00000525: JUMP 00000526: JUMPDEST 00000527: PUSH1 0x00 00000529: DUP2 0000052a: PUSH1 0x00 0000052c: NOT 0000052d: DIV 0000052e: DUP4 0000052f: GT 00000530: DUP3 00000531: ISZERO 00000532: ISZERO 00000533: AND 00000534: ISZERO 00000535: PUSH2 0x0540 00000538: JUMPI 00000539: PUSH2 0x0540 0000053c: PUSH2 0x055c 0000053f: JUMP 00000540: JUMPDEST 00000541: POP 00000542: MUL 00000543: SWAP1 00000544: JUMP 00000545: JUMPDEST 00000546: PUSH1 0x00 00000548: DUP3 00000549: DUP3 0000054a: LT 0000054b: ISZERO 0000054c: PUSH2 0x0557 0000054f: JUMPI 00000550: PUSH2 0x0557 00000553: PUSH2 0x055c 00000556: JUMP 00000557: JUMPDEST 00000558: POP 00000559: SUB 0000055a: SWAP1 0000055b: JUMP 0000055c: JUMPDEST 0000055d: PUSH4 0x4e487b71 00000562: PUSH1 0xe0 00000564: SHL 00000565: PUSH1 0x00 00000567: MSTORE 00000568: PUSH1 0x11 0000056a: PUSH1 0x04 0000056c: MSTORE 0000056d: PUSH1 0x24 0000056f: PUSH1 0x00 00000571: REVERT 00000572: JUMPDEST 00000573: PUSH4 0x4e487b71 00000578: PUSH1 0xe0 0000057a: SHL 0000057b: PUSH1 0x00 0000057d: MSTORE 0000057e: PUSH1 0x41 00000580: PUSH1 0x04 00000582: MSTORE 00000583: PUSH1 0x24 00000585: PUSH1 0x00 00000587: REVERT 00000588: INVALID 00000589: LOG2 0000058a: PUSH5 0x6970667358 00000590: UNKNOWN(0x22) 00000591: SLT 00000592: KECCAK256 00000593: SWAP10 00000594: DUP16 00000595: UNKNOWN(0xD3) 00000596: UNKNOWN(0x29) 00000597: PUSH11 0x17e6fc1e79b14215371f2a 000005a3: UNKNOWN(0xE9) 000005a4: BYTE 000005a5: EXP 000005a6: DUP9 000005a7: LOG0 000005a8: UNKNOWN(0xCA) 000005a9: SDIV 000005aa: EXTCODECOPY 000005ab: XOR 000005ac: UNKNOWN(0xE4) 000005ad: UNKNOWN(0xBB) 000005ae: UNKNOWN(0xB8) 000005af: DUP8 000005b0: UNKNOWN(0x22) 000005b1: AND 000005b2: UNKNOWN(0xB6) 000005b3: PUSH5 0x736f6c6343 000005b9: STOP 000005ba: ADDMOD 000005bb: DIV 000005bc: STOP 000005bd: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xeb9dd8a16045ac9db0358a018619712e6a9cdd651ce9a40b34701f32e2d4d3bd
call_targets:
0x1100a8bf26fd3123990eefe29f8a58569cbfd4bd
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xeb9dd8a16045ac9db0358a018619712e6a9cdd651ce9a40b34701f32e2d4d3bd",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1100a8bf26fd3123990eefe29f8a58569cbfd4bd"
],
"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": "0xa8397ddc",
"selector": "0xa8397ddc",
"calldata_variants": [
"0xa8397ddc",
"0xa8397ddc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3ae1e59",
"selector": "0xc3ae1e59",
"calldata_variants": [
"0xc3ae1e59",
"0xc3ae1e590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc5a15ec8",
"selector": "0xc5a15ec8",
"calldata_variants": [
"0xc5a15ec8",
"0xc5a15ec80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xead50da3",
"selector": "0xead50da3",
"calldata_variants": [
"0xead50da3",
"0xead50da30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19c87f1f",
"selector": "0x19c87f1f",
"calldata_variants": [
"0x19c87f1f",
"0x19c87f1f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x355274ea",
"selector": "0x355274ea",
"calldata_variants": [
"0x355274ea",
"0x355274ea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x47799da8",
"selector": "0x47799da8",
"calldata_variants": [
"0x47799da8",
"0x47799da80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 803,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xeb9dd8a16045ac9db0358a018619712e6a9cdd651ce9a40b34701f32e2d4d3bd
call_targets:
0x1100a8bf26fd3123990eefe29f8a58569cbfd4bd
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xeb9dd8a16045ac9db0358a018619712e6a9cdd651ce9a40b34701f32e2d4d3bd",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1100a8bf26fd3123990eefe29f8a58569cbfd4bd"
],
"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": "0xa8397ddc",
"selector": "0xa8397ddc",
"calldata_variants": [
"0xa8397ddc",
"0xa8397ddc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3ae1e59",
"selector": "0xc3ae1e59",
"calldata_variants": [
"0xc3ae1e59",
"0xc3ae1e590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc5a15ec8",
"selector": "0xc5a15ec8",
"calldata_variants": [
"0xc5a15ec8",
"0xc5a15ec80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xead50da3",
"selector": "0xead50da3",
"calldata_variants": [
"0xead50da3",
"0xead50da30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19c87f1f",
"selector": "0x19c87f1f",
"calldata_variants": [
"0x19c87f1f",
"0x19c87f1f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x355274ea",
"selector": "0x355274ea",
"calldata_variants": [
"0x355274ea",
"0x355274ea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x47799da8",
"selector": "0x47799da8",
"calldata_variants": [
"0x47799da8",
"0x47799da80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 803,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|