Header menu logo B2R2

IExprEvaluatable<'Ctx, 'AbsVal> Type

Namespace: B2R2.MiddleEnd.DataFlow
Assembly: B2R2.MiddleEnd.DataFlow.dll
Base Type: obj
All Interfaces: IExprEvaluatable<'Ctx, 'AbsVal>

Represents an interface for evaluating expressions in the given context.

Instance members

Instance member Description

this.EvalExpr

Full Usage: this.EvalExpr

Parameters:
    context : 'Ctx
    exp : Expr

Returns: 'AbsVal
Modifiers: abstract

Returns the abstract value of the given expression in the specified context.

context : 'Ctx
exp : Expr
Returns: 'AbsVal

Type something to start searching.