fix: HLIL member_index masking + operand-count table (root cause)

HighLevelIL/HLILDerefField.cs

@@ -27,11 +27,16 @@ public long Offset
 			}
 		}
 
-		public ulong MemoryIndex
+		/// <summary>
+		/// The named-member index, or null when there is no named member. Mirrors Python
+		/// <c>_get_member_index</c> (renamed from <c>MemoryIndex</c> for parity with
+		/// <see cref="HLILStructField.MemberIndex"/> and <see cref="HLILDerefFieldSSA"/>).
+		/// </summary>
+		public long? MemberIndex
 		{
 			get
 			{
-				return this.RawOperands[2];
+				return HighLevelILInstruction.MemberIndexFromRawOperand(this.RawOperands[2]);
 			}
 		}
 	}

HighLevelIL/HLILDerefFieldSSA.cs

@@ -35,11 +35,16 @@ public long Offset
 			}
 		}
 
-		public ulong MemoryIndex
+		/// <summary>
+		/// The named-member index, or null when there is no named member. Mirrors Python
+		/// <c>_get_member_index</c> (renamed from <c>MemoryIndex</c> for parity with
+		/// <see cref="HLILStructField.MemberIndex"/> and <see cref="HLILDerefField"/>).
+		/// </summary>
+		public long? MemberIndex
 		{
 			get
 			{
-				return this.RawOperands[3];
+				return HighLevelILInstruction.MemberIndexFromRawOperand(this.RawOperands[3]);
 			}
 		}
 	}

HighLevelIL/HLILStructField.cs

@@ -27,11 +27,15 @@ public long Offset
 			}
 		}
 
-		public ulong MemberIndex
+		/// <summary>
+		/// The named-member index, or null when there is no named member. Mirrors Python
+		/// <c>_get_member_index</c>: the sentinel (1&lt;&lt;63) means no named member.
+		/// </summary>
+		public long? MemberIndex
 		{
 			get
 			{
-				return this.RawOperands[2];
+				return HighLevelILInstruction.MemberIndexFromRawOperand(this.RawOperands[2]);
 			}
 		}
 	}

Struct/BNHighLevelILInstruction.cs

@@ -94,11 +94,11 @@ public abstract class HighLevelILInstruction :
 			{ HighLevelILOperation.HLIL_ASSERT, 1 },                // cond
 
 			{ HighLevelILOperation.HLIL_VAR, 1 },                   // var
-			{ HighLevelILOperation.HLIL_STRUCT_FIELD, 2 },          // base, fieldOffset/index
+			{ HighLevelILOperation.HLIL_STRUCT_FIELD, 3 },          // base, fieldOffset, memberIndex
 			{ HighLevelILOperation.HLIL_ARRAY_INDEX, 2 },           // base, index
 			{ HighLevelILOperation.HLIL_SPLIT, 2 },                 // hi, lo
 			{ HighLevelILOperation.HLIL_DEREF, 1 },                 // addr
-			{ HighLevelILOperation.HLIL_DEREF_FIELD, 2 },           // addr, fieldOffset/index
+			{ HighLevelILOperation.HLIL_DEREF_FIELD, 3 },           // addr, fieldOffset, memberIndex
 			{ HighLevelILOperation.HLIL_ADDRESS_OF, 1 },            // var/expr
 
 			{ HighLevelILOperation.HLIL_CONST, 1 },                 // value
@@ -201,7 +201,7 @@ public abstract class HighLevelILInstruction :
 			{ HighLevelILOperation.HLIL_VAR_SSA, 2 },               // var, version
 			{ HighLevelILOperation.HLIL_ARRAY_INDEX_SSA, 3 },       // base, index, srcMem
 			{ HighLevelILOperation.HLIL_DEREF_SSA, 2 },             // addr, srcMem
-			{ HighLevelILOperation.HLIL_DEREF_FIELD_SSA, 3 },       // addr, field, srcMem
+			{ HighLevelILOperation.HLIL_DEREF_FIELD_SSA, 4 },       // addr, srcMem, fieldOffset, memberIndex
 
 			{ HighLevelILOperation.HLIL_CALL_SSA, 4 },              // dest, params(list), outputs(list), srcMem
 			{ HighLevelILOperation.HLIL_SYSCALL_SSA, 3 },           // params(list), outputs(list), srcMem
@@ -986,6 +986,19 @@ public double GetOperandAsDouble(OperandIndex operand)
 		{
 			return BitConverter.UInt64BitsToDouble(this.RawOperands[(ulong)operand]);
 		}
+
+		// member_index mask: mirrors Python HighLevelILInstruction._get_member_index. The sentinel
+		// (1<<63) means "no named member" and is returned as null; otherwise the (non-negative)
+		// named-member index. Callers pass the already-extracted raw operand value.
+		internal static long? MemberIndexFromRawOperand(ulong rawOperand)
+		{
+			if (0UL != (rawOperand & (1UL << 63)))
+			{
+				return null;
+			}
+
+			return (long)rawOperand;
+		}
 
 		public RegisterValue GetOperandAsConstantData(
 			OperandIndex operand1 ,