67stack.Push(new StackSlot()); // Push dummy values to avoid crashes. 74stack.Push(new StackSlot()); 102return new StackSlot(MultiValueLattice.Meet(a.Value, b.Value)); 113a.Push(new StackSlot()); 116b.Push(new StackSlot()); 369currentStack.Push(new StackSlot(NullValue.Instance)); 385StackSlot slot = new StackSlot(civ); 393StackSlot slot = new StackSlot(civ); 402StackSlot slot = new StackSlot(civ); 411StackSlot slot = new StackSlot(civ); 454StackSlot slot = new StackSlot(new KnownStringValue((string)operation.Operand)); 540currentStack.Push(new StackSlot(ArrayValue.Create(count.Value, (TypeReference)operation.Operand))); 752catchStack.Push(new StackSlot()); 782StackSlot slot = new StackSlot( 823newSlot = new StackSlot(new LocalVariableReferenceValue(localDef)); 826newSlot = new StackSlot(localValue.Value); 828newSlot = new StackSlot(UnknownValue.Instance); 838currentStack.Push(new StackSlot(param)); 849currentStack.Push(new StackSlot(nullableDam)); 853currentStack.Push(new StackSlot(nullableType)); 863currentStack.Push(new StackSlot(typeHandle)); 868currentStack.Push(new StackSlot(method)); 992currentStack.Push(new StackSlot(value)); 1180currentStack.Push(new StackSlot(methodReturnValue)); 1272currentStack.Push(new StackSlot(arrayOfAnnotated.GetAnyElementValue())); 1299currentStack.Push(new StackSlot(arrayIndexValue.Value));

61private void CheckForInvalidStack(Stack<StackSlot> stack, int depthRequired, MethodBody method, int ilOffset) 72private static void PushUnknown(Stack<StackSlot> stack) 77private void PushUnknownAndWarnAboutInvalidIL(Stack<StackSlot> stack, MethodBody methodBody, int offset) 83private StackSlot PopUnknown(Stack<StackSlot> stack, int count, MethodBody method, int ilOffset) 88StackSlot topOfStack = default; 93StackSlot slot = stack.Pop(); 100private static StackSlot MergeStackElement(StackSlot a, StackSlot b) 106private static Stack<StackSlot> MergeStack(Stack<StackSlot> a, Stack<StackSlot> b) 119Stack<StackSlot> newStack = new Stack<StackSlot>(a.Count); 120Stack<StackSlot>.Enumerator aEnum = a.GetEnumerator(); 121Stack<StackSlot>.Enumerator bEnum = b.GetEnumerator(); 128return new Stack<StackSlot>(newStack); 131private static void ClearStack(ref Stack<StackSlot>? stack) 136private static void NewKnownStack(Dictionary<int, Stack<StackSlot>> knownStacks, int newOffset, Stack<StackSlot> newStack) 144if (knownStacks.TryGetValue(newOffset, out Stack<StackSlot>? value)) 150knownStacks.Add(newOffset, new Stack<StackSlot>(newStack.Reverse())); 308Dictionary<int, Stack<StackSlot>> knownStacks = new Dictionary<int, Stack<StackSlot>>(); 309Stack<StackSlot>? currentStack = new Stack<StackSlot>(methodBody.MaxStackSize); 319if (knownStacks.TryGetValue(operation.Offset, out Stack<StackSlot>? knownValue)) 324currentStack = new Stack<StackSlot>(knownValue.Reverse()); 332currentStack ??= new Stack<StackSlot>(methodBody.MaxStackSize); 385StackSlot slot = new StackSlot(civ); 393StackSlot slot = new StackSlot(civ); 402StackSlot slot = new StackSlot(civ); 411StackSlot slot = new StackSlot(civ); 454StackSlot slot = new StackSlot(new KnownStringValue((string)operation.Operand)); 539StackSlot count = PopUnknown(currentStack, 1, methodBody, operation.Offset); 676NewKnownStack(knownStacks, ((Instruction)operation.Operand).Offset, new Stack<StackSlot>(methodBody.MaxStackSize)); 697StackSlot retStackSlot = PopUnknown(currentStack, 1, methodBody, operation.Offset); 747private static void ScanExceptionInformation(Dictionary<int, Stack<StackSlot>> knownStacks, MethodIL methodIL) 751Stack<StackSlot> catchStack = new Stack<StackSlot>(1); 770private void ScanLdarg(Instruction operation, Stack<StackSlot> currentStack, MethodDefinition thisMethod) 782StackSlot slot = new StackSlot( 791Stack<StackSlot> currentStack, 795var valueToStore = PopUnknown(currentStack, 1, methodBody, operation.Offset); 807Stack<StackSlot> currentStack, 820StackSlot newSlot; 832void ScanLdtoken(Instruction operation, Stack<StackSlot> currentStack) 878Stack<StackSlot> currentStack, 883StackSlot valueToStore = PopUnknown(currentStack, 1, methodIL.Body, operation.Offset); 896Stack<StackSlot> currentStack, 902StackSlot valueToStore = PopUnknown(currentStack, 1, methodBody, operation.Offset); 903StackSlot destination = PopUnknown(currentStack, 1, methodBody, operation.Offset); 962Stack<StackSlot> currentStack, 1009Stack<StackSlot> currentStack, 1015StackSlot valueToStoreSlot = PopUnknown(currentStack, 1, methodBody, operation.Offset); 1055Stack<StackSlot> currentStack, 1068StackSlot slot = PopUnknown(currentStack, 1, containingMethodBody, ilOffset); 1160Stack<StackSlot> currentStack, 1224Stack<StackSlot> currentStack, 1228StackSlot valueToStore = PopUnknown(currentStack, 1, methodBody, operation.Offset); 1229StackSlot indexToStoreAt = PopUnknown(currentStack, 1, methodBody, operation.Offset); 1230StackSlot arrayToStoreIn = PopUnknown(currentStack, 1, methodBody, operation.Offset); 1255Stack<StackSlot> currentStack, 1259StackSlot indexToLoadFrom = PopUnknown(currentStack, 1, methodBody, operation.Offset); 1260StackSlot arrayToLoadFrom = PopUnknown(currentStack, 1, methodBody, operation.Offset);