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;
}