public void EnsureEvaluationContext(BlockFlow bf)
{
this.ctx = bf.SymbolicIn.Clone();
var tes = new TrashedExpressionSimplifier(this, ctx);
this.se = new SymbolicEvaluator(tes, ctx);
}
private void CreateEvaluationState(Block block)
{
this.ctx = new SymbolicEvaluationContext(
block.Procedure.Architecture,
block.Procedure.Frame);
var tes = new TrashedExpressionSimplifier(
this.program.SegmentMap, this, ctx);
this.se = new SymbolicEvaluator(tes, ctx);
}
