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