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); }
public StorageValueSetter(SymbolicEvaluationContext ctx) { this.ctx = ctx; }