public SymbolicEvaluationContext(IProcessorArchitecture arch, Frame frame) { this.arch = arch; this.Frame = frame; this.RegisterState = new Dictionary <Storage, Expression>(); this.StackState = new SortedList <int, Expression>(); this.TemporaryState = new Dictionary <Storage, Expression>(); this.setter = new StorageValueSetter(this); }
private SymbolicEvaluationContext(SymbolicEvaluationContext old) { this.arch = old.arch; this.Frame = old.Frame; this.RegisterState = new Dictionary <Storage, Expression>(old.RegisterState); this.StackState = new SortedList <int, Expression>(old.StackState); this.TemporaryState = new Dictionary <Storage, Expression>(old.TemporaryState); this.TrashedFlags = old.TrashedFlags; this.setter = new StorageValueSetter(this); }