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