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( 822newSlot = new StackSlot(new LocalVariableReferenceValue(localDef)); 825newSlot = new StackSlot(localValue.Value); 827newSlot = new StackSlot(UnknownValue.Instance); 837currentStack.Push(new StackSlot(param)); 848currentStack.Push(new StackSlot(nullableDam)); 852currentStack.Push(new StackSlot(nullableType)); 862currentStack.Push(new StackSlot(typeHandle)); 867currentStack.Push(new StackSlot(method)); 991currentStack.Push(new StackSlot(value)); 1178currentStack.Push(new StackSlot(methodReturnValue)); 1270currentStack.Push(new StackSlot(arrayOfAnnotated.GetAnyElementValue())); 1297currentStack.Push(new StackSlot(arrayIndexValue.Value));

61private void CheckForInvalidStack(Stack<StackSlot> stack, int depthRequired, MethodIL methodIL, int ilOffset) 72private static void PushUnknown(Stack<StackSlot> stack) 77private void PushUnknownAndWarnAboutInvalidIL(Stack<StackSlot> stack, MethodIL methodIL, int offset) 83private StackSlot PopUnknown(Stack<StackSlot> stack, int count, MethodIL methodIL, 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, methodIL, operation.Offset); 676NewKnownStack(knownStacks, ((Instruction)operation.Operand).Offset, new Stack<StackSlot>(methodBody.MaxStackSize)); 697StackSlot retStackSlot = PopUnknown(currentStack, 1, methodIL, 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( 792Stack<StackSlot> currentStack) 794var valueToStore = PopUnknown(currentStack, 1, methodIL, operation.Offset); 807Stack<StackSlot> currentStack, 819StackSlot newSlot; 831void ScanLdtoken(Instruction operation, Stack<StackSlot> currentStack) 878Stack<StackSlot> currentStack, 882StackSlot valueToStore = PopUnknown(currentStack, 1, methodIL, operation.Offset); 896Stack<StackSlot> currentStack, 901StackSlot valueToStore = PopUnknown(currentStack, 1, methodIL, operation.Offset); 902StackSlot destination = PopUnknown(currentStack, 1, methodIL, operation.Offset); 962Stack<StackSlot> currentStack, 1009Stack<StackSlot> currentStack, 1013StackSlot valueToStoreSlot = PopUnknown(currentStack, 1, methodIL, operation.Offset); 1053Stack<StackSlot> currentStack, 1066StackSlot slot = PopUnknown(currentStack, 1, containingMethodIL, ilOffset); 1158Stack<StackSlot> currentStack, 1222Stack<StackSlot> currentStack, 1226StackSlot valueToStore = PopUnknown(currentStack, 1, methodIL, operation.Offset); 1227StackSlot indexToStoreAt = PopUnknown(currentStack, 1, methodIL, operation.Offset); 1228StackSlot arrayToStoreIn = PopUnknown(currentStack, 1, methodIL, operation.Offset); 1253Stack<StackSlot> currentStack, 1257StackSlot indexToLoadFrom = PopUnknown(currentStack, 1, methodIL, operation.Offset); 1258StackSlot arrayToLoadFrom = PopUnknown(currentStack, 1, methodIL, operation.Offset);