019b477e-cb44-721c-a932-f435224af288
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 |
|---|---|---|---|---|
| 26659 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26660 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 70054 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 70055 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 70056 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 70057 | 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 0x6c02a931 00000019: EQ 0000001a: PUSH2 0x004f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x7b61c320 00000024: EQ 00000025: PUSH2 0x00df 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xbe9a6555 0000002f: EQ 00000030: PUSH2 0x016f 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd4e93292 0000003a: EQ 0000003b: PUSH2 0x0179 0000003e: JUMPI 0000003f: PUSH2 0x004a 00000042: JUMP 00000043: JUMPDEST 00000044: CALLDATASIZE 00000045: PUSH2 0x004a 00000048: JUMPI 00000049: STOP 0000004a: JUMPDEST 0000004b: PUSH1 0x00 0000004d: DUP1 0000004e: REVERT 0000004f: JUMPDEST 00000050: CALLVALUE 00000051: DUP1 00000052: ISZERO 00000053: PUSH2 0x005b 00000056: JUMPI 00000057: PUSH1 0x00 00000059: DUP1 0000005a: REVERT 0000005b: JUMPDEST 0000005c: POP 0000005d: PUSH2 0x0064 00000060: PUSH2 0x0183 00000063: JUMP 00000064: JUMPDEST 00000065: PUSH1 0x40 00000067: MLOAD 00000068: DUP1 00000069: DUP1 0000006a: PUSH1 0x20 0000006c: ADD 0000006d: DUP3 0000006e: DUP2 0000006f: SUB 00000070: DUP3 00000071: MSTORE 00000072: DUP4 00000073: DUP2 00000074: DUP2 00000075: MLOAD 00000076: DUP2 00000077: MSTORE 00000078: PUSH1 0x20 0000007a: ADD 0000007b: SWAP2 0000007c: POP 0000007d: DUP1 0000007e: MLOAD 0000007f: SWAP1 00000080: PUSH1 0x20 00000082: ADD 00000083: SWAP1 00000084: DUP1 00000085: DUP4 00000086: DUP4 00000087: PUSH1 0x00 00000089: JUMPDEST 0000008a: DUP4 0000008b: DUP2 0000008c: LT 0000008d: ISZERO 0000008e: PUSH2 0x00a4 00000091: JUMPI 00000092: DUP1 00000093: DUP3 00000094: ADD 00000095: MLOAD 00000096: DUP2 00000097: DUP5 00000098: ADD 00000099: MSTORE 0000009a: PUSH1 0x20 0000009c: DUP2 0000009d: ADD 0000009e: SWAP1 0000009f: POP 000000a0: PUSH2 0x0089 000000a3: JUMP 000000a4: JUMPDEST 000000a5: POP 000000a6: POP 000000a7: POP 000000a8: POP 000000a9: SWAP1 000000aa: POP 000000ab: SWAP1 000000ac: DUP2 000000ad: ADD 000000ae: SWAP1 000000af: PUSH1 0x1f 000000b1: AND 000000b2: DUP1 000000b3: ISZERO 000000b4: PUSH2 0x00d1 000000b7: JUMPI 000000b8: DUP1 000000b9: DUP3 000000ba: SUB 000000bb: DUP1 000000bc: MLOAD 000000bd: PUSH1 0x01 000000bf: DUP4 000000c0: PUSH1 0x20 000000c2: SUB 000000c3: PUSH2 0x0100 000000c6: EXP 000000c7: SUB 000000c8: NOT 000000c9: AND 000000ca: DUP2 000000cb: MSTORE 000000cc: PUSH1 0x20 000000ce: ADD 000000cf: SWAP2 000000d0: POP 000000d1: JUMPDEST 000000d2: POP 000000d3: SWAP3 000000d4: POP 000000d5: POP 000000d6: POP 000000d7: PUSH1 0x40 000000d9: MLOAD 000000da: DUP1 000000db: SWAP2 000000dc: SUB 000000dd: SWAP1 000000de: RETURN 000000df: JUMPDEST 000000e0: CALLVALUE 000000e1: DUP1 000000e2: ISZERO 000000e3: PUSH2 0x00eb 000000e6: JUMPI 000000e7: PUSH1 0x00 000000e9: DUP1 000000ea: REVERT 000000eb: JUMPDEST 000000ec: POP 000000ed: PUSH2 0x00f4 000000f0: PUSH2 0x0221 000000f3: JUMP 000000f4: JUMPDEST 000000f5: PUSH1 0x40 000000f7: MLOAD 000000f8: DUP1 000000f9: DUP1 000000fa: PUSH1 0x20 000000fc: ADD 000000fd: DUP3 000000fe: DUP2 000000ff: SUB 00000100: DUP3 00000101: MSTORE 00000102: DUP4 00000103: DUP2 00000104: DUP2 00000105: MLOAD 00000106: DUP2 00000107: MSTORE 00000108: PUSH1 0x20 0000010a: ADD 0000010b: SWAP2 0000010c: POP 0000010d: DUP1 0000010e: MLOAD 0000010f: SWAP1 00000110: PUSH1 0x20 00000112: ADD 00000113: SWAP1 00000114: DUP1 00000115: DUP4 00000116: DUP4 00000117: PUSH1 0x00 00000119: JUMPDEST 0000011a: DUP4 0000011b: DUP2 0000011c: LT 0000011d: ISZERO 0000011e: PUSH2 0x0134 00000121: JUMPI 00000122: DUP1 00000123: DUP3 00000124: ADD 00000125: MLOAD 00000126: DUP2 00000127: DUP5 00000128: ADD 00000129: MSTORE 0000012a: PUSH1 0x20 0000012c: DUP2 0000012d: ADD 0000012e: SWAP1 0000012f: POP 00000130: PUSH2 0x0119 00000133: JUMP 00000134: JUMPDEST 00000135: POP 00000136: POP 00000137: POP 00000138: POP 00000139: SWAP1 0000013a: POP 0000013b: SWAP1 0000013c: DUP2 0000013d: ADD 0000013e: SWAP1 0000013f: PUSH1 0x1f 00000141: AND 00000142: DUP1 00000143: ISZERO 00000144: PUSH2 0x0161 00000147: JUMPI 00000148: DUP1 00000149: DUP3 0000014a: SUB 0000014b: DUP1 0000014c: MLOAD 0000014d: PUSH1 0x01 0000014f: DUP4 00000150: PUSH1 0x20 00000152: SUB 00000153: PUSH2 0x0100 00000156: EXP 00000157: SUB 00000158: NOT 00000159: AND 0000015a: DUP2 0000015b: MSTORE 0000015c: PUSH1 0x20 0000015e: ADD 0000015f: SWAP2 00000160: POP 00000161: JUMPDEST 00000162: POP 00000163: SWAP3 00000164: POP 00000165: POP 00000166: POP 00000167: PUSH1 0x40 00000169: MLOAD 0000016a: DUP1 0000016b: SWAP2 0000016c: SUB 0000016d: SWAP1 0000016e: RETURN 0000016f: JUMPDEST 00000170: PUSH2 0x0177 00000173: PUSH2 0x02bf 00000176: JUMP 00000177: JUMPDEST 00000178: STOP 00000179: JUMPDEST 0000017a: PUSH2 0x0181 0000017d: PUSH2 0x032a 00000180: JUMP 00000181: JUMPDEST 00000182: STOP 00000183: JUMPDEST 00000184: PUSH1 0x00 00000186: DUP1 00000187: SLOAD 00000188: PUSH1 0x01 0000018a: DUP2 0000018b: PUSH1 0x01 0000018d: AND 0000018e: ISZERO 0000018f: PUSH2 0x0100 00000192: MUL 00000193: SUB 00000194: AND 00000195: PUSH1 0x02 00000197: SWAP1 00000198: DIV 00000199: DUP1 0000019a: PUSH1 0x1f 0000019c: ADD 0000019d: PUSH1 0x20 0000019f: DUP1 000001a0: SWAP2 000001a1: DIV 000001a2: MUL 000001a3: PUSH1 0x20 000001a5: ADD 000001a6: PUSH1 0x40 000001a8: MLOAD 000001a9: SWAP1 000001aa: DUP2 000001ab: ADD 000001ac: PUSH1 0x40 000001ae: MSTORE 000001af: DUP1 000001b0: SWAP3 000001b1: SWAP2 000001b2: SWAP1 000001b3: DUP2 000001b4: DUP2 000001b5: MSTORE 000001b6: PUSH1 0x20 000001b8: ADD 000001b9: DUP3 000001ba: DUP1 000001bb: SLOAD 000001bc: PUSH1 0x01 000001be: DUP2 000001bf: PUSH1 0x01 000001c1: AND 000001c2: ISZERO 000001c3: PUSH2 0x0100 000001c6: MUL 000001c7: SUB 000001c8: AND 000001c9: PUSH1 0x02 000001cb: SWAP1 000001cc: DIV 000001cd: DUP1 000001ce: ISZERO 000001cf: PUSH2 0x0219 000001d2: JUMPI 000001d3: DUP1 000001d4: PUSH1 0x1f 000001d6: LT 000001d7: PUSH2 0x01ee 000001da: JUMPI 000001db: PUSH2 0x0100 000001de: DUP1 000001df: DUP4 000001e0: SLOAD 000001e1: DIV 000001e2: MUL 000001e3: DUP4 000001e4: MSTORE 000001e5: SWAP2 000001e6: PUSH1 0x20 000001e8: ADD 000001e9: SWAP2 000001ea: PUSH2 0x0219 000001ed: JUMP 000001ee: JUMPDEST 000001ef: DUP3 000001f0: ADD 000001f1: SWAP2 000001f2: SWAP1 000001f3: PUSH1 0x00 000001f5: MSTORE 000001f6: PUSH1 0x20 000001f8: PUSH1 0x00 000001fa: KECCAK256 000001fb: SWAP1 000001fc: JUMPDEST 000001fd: DUP2 000001fe: SLOAD 000001ff: DUP2 00000200: MSTORE 00000201: SWAP1 00000202: PUSH1 0x01 00000204: ADD 00000205: SWAP1 00000206: PUSH1 0x20 00000208: ADD 00000209: DUP1 0000020a: DUP4 0000020b: GT 0000020c: PUSH2 0x01fc 0000020f: JUMPI 00000210: DUP3 00000211: SWAP1 00000212: SUB 00000213: PUSH1 0x1f 00000215: AND 00000216: DUP3 00000217: ADD 00000218: SWAP2 00000219: JUMPDEST 0000021a: POP 0000021b: POP 0000021c: POP 0000021d: POP 0000021e: POP 0000021f: DUP2 00000220: JUMP 00000221: JUMPDEST 00000222: PUSH1 0x01 00000224: DUP1 00000225: SLOAD 00000226: PUSH1 0x01 00000228: DUP2 00000229: PUSH1 0x01 0000022b: AND 0000022c: ISZERO 0000022d: PUSH2 0x0100 00000230: MUL 00000231: SUB 00000232: AND 00000233: PUSH1 0x02 00000235: SWAP1 00000236: DIV 00000237: DUP1 00000238: PUSH1 0x1f 0000023a: ADD 0000023b: PUSH1 0x20 0000023d: DUP1 0000023e: SWAP2 0000023f: DIV 00000240: MUL 00000241: PUSH1 0x20 00000243: ADD 00000244: PUSH1 0x40 00000246: MLOAD 00000247: SWAP1 00000248: DUP2 00000249: ADD 0000024a: PUSH1 0x40 0000024c: MSTORE 0000024d: DUP1 0000024e: SWAP3 0000024f: SWAP2 00000250: SWAP1 00000251: DUP2 00000252: DUP2 00000253: MSTORE 00000254: PUSH1 0x20 00000256: ADD 00000257: DUP3 00000258: DUP1 00000259: SLOAD 0000025a: PUSH1 0x01 0000025c: DUP2 0000025d: PUSH1 0x01 0000025f: AND 00000260: ISZERO 00000261: PUSH2 0x0100 00000264: MUL 00000265: SUB 00000266: AND 00000267: PUSH1 0x02 00000269: SWAP1 0000026a: DIV 0000026b: DUP1 0000026c: ISZERO 0000026d: PUSH2 0x02b7 00000270: JUMPI 00000271: DUP1 00000272: PUSH1 0x1f 00000274: LT 00000275: PUSH2 0x028c 00000278: JUMPI 00000279: PUSH2 0x0100 0000027c: DUP1 0000027d: DUP4 0000027e: SLOAD 0000027f: DIV 00000280: MUL 00000281: DUP4 00000282: MSTORE 00000283: SWAP2 00000284: PUSH1 0x20 00000286: ADD 00000287: SWAP2 00000288: PUSH2 0x02b7 0000028b: JUMP 0000028c: JUMPDEST 0000028d: DUP3 0000028e: ADD 0000028f: SWAP2 00000290: SWAP1 00000291: PUSH1 0x00 00000293: MSTORE 00000294: PUSH1 0x20 00000296: PUSH1 0x00 00000298: KECCAK256 00000299: SWAP1 0000029a: JUMPDEST 0000029b: DUP2 0000029c: SLOAD 0000029d: DUP2 0000029e: MSTORE 0000029f: SWAP1 000002a0: PUSH1 0x01 000002a2: ADD 000002a3: SWAP1 000002a4: PUSH1 0x20 000002a6: ADD 000002a7: DUP1 000002a8: DUP4 000002a9: GT 000002aa: PUSH2 0x029a 000002ad: JUMPI 000002ae: DUP3 000002af: SWAP1 000002b0: SUB 000002b1: PUSH1 0x1f 000002b3: AND 000002b4: DUP3 000002b5: ADD 000002b6: SWAP2 000002b7: JUMPDEST 000002b8: POP 000002b9: POP 000002ba: POP 000002bb: POP 000002bc: POP 000002bd: DUP2 000002be: JUMP 000002bf: JUMPDEST 000002c0: PUSH1 0x03 000002c2: PUSH1 0x00 000002c4: SWAP1 000002c5: SLOAD 000002c6: SWAP1 000002c7: PUSH2 0x0100 000002ca: EXP 000002cb: SWAP1 000002cc: DIV 000002cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002e2: AND 000002e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002f8: AND 000002f9: PUSH2 0x08fc 000002fc: SELFBALANCE 000002fd: SWAP1 000002fe: DUP2 000002ff: ISZERO 00000300: MUL 00000301: SWAP1 00000302: PUSH1 0x40 00000304: MLOAD 00000305: PUSH1 0x00 00000307: PUSH1 0x40 00000309: MLOAD 0000030a: DUP1 0000030b: DUP4 0000030c: SUB 0000030d: DUP2 0000030e: DUP6 0000030f: DUP9 00000310: DUP9 00000311: CALL 00000312: SWAP4 00000313: POP 00000314: POP 00000315: POP 00000316: POP 00000317: ISZERO 00000318: DUP1 00000319: ISZERO 0000031a: PUSH2 0x0327 0000031d: JUMPI 0000031e: RETURNDATASIZE 0000031f: PUSH1 0x00 00000321: DUP1 00000322: RETURNDATACOPY 00000323: RETURNDATASIZE 00000324: PUSH1 0x00 00000326: REVERT 00000327: JUMPDEST 00000328: POP 00000329: JUMP 0000032a: JUMPDEST 0000032b: PUSH1 0x03 0000032d: PUSH1 0x00 0000032f: SWAP1 00000330: SLOAD 00000331: SWAP1 00000332: PUSH2 0x0100 00000335: EXP 00000336: SWAP1 00000337: DIV 00000338: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000034d: AND 0000034e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000363: AND 00000364: PUSH2 0x08fc 00000367: SELFBALANCE 00000368: SWAP1 00000369: DUP2 0000036a: ISZERO 0000036b: MUL 0000036c: SWAP1 0000036d: PUSH1 0x40 0000036f: MLOAD 00000370: PUSH1 0x00 00000372: PUSH1 0x40 00000374: MLOAD 00000375: DUP1 00000376: DUP4 00000377: SUB 00000378: DUP2 00000379: DUP6 0000037a: DUP9 0000037b: DUP9 0000037c: CALL 0000037d: SWAP4 0000037e: POP 0000037f: POP 00000380: POP 00000381: POP 00000382: ISZERO 00000383: DUP1 00000384: ISZERO 00000385: PUSH2 0x0392 00000388: JUMPI 00000389: RETURNDATASIZE 0000038a: PUSH1 0x00 0000038c: DUP1 0000038d: RETURNDATACOPY 0000038e: RETURNDATASIZE 0000038f: PUSH1 0x00 00000391: REVERT 00000392: JUMPDEST 00000393: POP 00000394: JUMP 00000395: INVALID 00000396: LOG2 00000397: PUSH5 0x6970667358 0000039d: UNKNOWN(0x22) 0000039e: SLT 0000039f: KECCAK256 000003a0: PUSH31 0x054d7d4d08ee23d9e0f6c6ff9dde7fc7131dd39083cc28211a08403b8cb9e7 000003c0: PUSH5 0x736f6c6343 000003c6: STOP 000003c7: MOD 000003c8: MOD 000003c9: STOP 000003ca: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x939169f913c60379bbefbc264b17b0aad1d6d2a7ffcd312b87e4ee039e146dcf
call_targets:
0x9ed30ae1a5441f75194e43b1835185d6d50a6b8a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x939169f913c60379bbefbc264b17b0aad1d6d2a7ffcd312b87e4ee039e146dcf",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9ed30ae1a5441f75194e43b1835185d6d50a6b8a"
],
"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": "0x6c02a931",
"selector": "0x6c02a931",
"calldata_variants": [
"0x6c02a931",
"0x6c02a9310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7b61c320",
"selector": "0x7b61c320",
"calldata_variants": [
"0x7b61c320",
"0x7b61c3200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbe9a6555",
"selector": "0xbe9a6555",
"calldata_variants": [
"0xbe9a6555",
"0xbe9a65550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd4e93292",
"selector": "0xd4e93292",
"calldata_variants": [
"0xd4e93292",
"0xd4e932920000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 785,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 892,
"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: 0x939169f913c60379bbefbc264b17b0aad1d6d2a7ffcd312b87e4ee039e146dcf
call_targets:
0x9ed30ae1a5441f75194e43b1835185d6d50a6b8a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x939169f913c60379bbefbc264b17b0aad1d6d2a7ffcd312b87e4ee039e146dcf",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9ed30ae1a5441f75194e43b1835185d6d50a6b8a"
],
"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": "0x6c02a931",
"selector": "0x6c02a931",
"calldata_variants": [
"0x6c02a931",
"0x6c02a9310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7b61c320",
"selector": "0x7b61c320",
"calldata_variants": [
"0x7b61c320",
"0x7b61c3200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbe9a6555",
"selector": "0xbe9a6555",
"calldata_variants": [
"0xbe9a6555",
"0xbe9a65550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd4e93292",
"selector": "0xd4e93292",
"calldata_variants": [
"0xd4e93292",
"0xd4e932920000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 785,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 892,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|