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); 456StackSlot slot = new StackSlot(new KnownStringValue((string)operation.Operand)); 549currentStack.Push(new StackSlot(ArrayValue.Create(count.Value, arrayElementType))); 761catchStack.Push(new StackSlot()); 791StackSlot slot = new StackSlot( 831newSlot = new StackSlot(new LocalVariableReferenceValue(localDef)); 834newSlot = new StackSlot(localValue.Value); 836newSlot = new StackSlot(UnknownValue.Instance); 846currentStack.Push(new StackSlot(param)); 857currentStack.Push(new StackSlot(nullableDam)); 861currentStack.Push(new StackSlot(nullableType)); 871currentStack.Push(new StackSlot(typeHandle)); 879currentStack.Push(new StackSlot(method)); 1011currentStack.Push(new StackSlot(value)); 1205currentStack.Push(new StackSlot(methodReturnValue)); 1297currentStack.Push(new StackSlot(arrayOfAnnotated.GetAnyElementValue())); 1324currentStack.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); 456StackSlot slot = new StackSlot(new KnownStringValue((string)operation.Operand)); 546StackSlot count = PopUnknown(currentStack, 1, methodIL, operation.Offset); 685NewKnownStack(knownStacks, ((Instruction)operation.Operand).Offset, new Stack<StackSlot>(methodBody.MaxStackSize)); 706StackSlot retStackSlot = PopUnknown(currentStack, 1, methodIL, operation.Offset); 756private static void ScanExceptionInformation(Dictionary<int, Stack<StackSlot>> knownStacks, MethodIL methodIL) 760Stack<StackSlot> catchStack = new Stack<StackSlot>(1); 779private void ScanLdarg(Instruction operation, Stack<StackSlot> currentStack, MethodDefinition thisMethod) 791StackSlot slot = new StackSlot( 801Stack<StackSlot> currentStack) 803var valueToStore = PopUnknown(currentStack, 1, methodIL, operation.Offset); 816Stack<StackSlot> currentStack, 828StackSlot newSlot; 840void ScanLdtoken(MethodIL methodIL, Instruction operation, Stack<StackSlot> currentStack) 898Stack<StackSlot> currentStack, 902StackSlot valueToStore = PopUnknown(currentStack, 1, methodIL, operation.Offset); 916Stack<StackSlot> currentStack, 921StackSlot valueToStore = PopUnknown(currentStack, 1, methodIL, operation.Offset); 922StackSlot destination = PopUnknown(currentStack, 1, methodIL, operation.Offset); 982Stack<StackSlot> currentStack, 1035Stack<StackSlot> currentStack, 1039StackSlot valueToStoreSlot = PopUnknown(currentStack, 1, methodIL, operation.Offset); 1080Stack<StackSlot> currentStack, 1093StackSlot slot = PopUnknown(currentStack, 1, containingMethodIL, ilOffset); 1185Stack<StackSlot> currentStack, 1249Stack<StackSlot> currentStack, 1253StackSlot valueToStore = PopUnknown(currentStack, 1, methodIL, operation.Offset); 1254StackSlot indexToStoreAt = PopUnknown(currentStack, 1, methodIL, operation.Offset); 1255StackSlot arrayToStoreIn = PopUnknown(currentStack, 1, methodIL, operation.Offset); 1280Stack<StackSlot> currentStack, 1284StackSlot indexToLoadFrom = PopUnknown(currentStack, 1, methodIL, operation.Offset); 1285StackSlot arrayToLoadFrom = PopUnknown(currentStack, 1, methodIL, operation.Offset);