ICFGAnalysis<'Fn> (B2R2)

ICFGAnalysis<'Fn> Type

Namespace: B2R2.MiddleEnd.ControlFlowAnalysis.Strategies
Assembly: B2R2.MiddleEnd.ControlFlowAnalysis.dll
Base Type: obj
All Interfaces: ICFGAnalysis<'Fn>

The interface for a CFG-based analysis, which is performed on a CFG. This interface wraps an analysis function, which can be unwrapped and executed later.

Instance members

Instance member	Description
`this.Unwrap` Full Usage: `this.Unwrap` Parameters: arg0 : `CFGAnalysisEnv<'FnCtx, 'GlCtx>` Returns: `'Fn` Modifiers: abstract Type parameters: 'GlCtx	Unwrap the CFG-based analysis (`'Fn`). arg0 : `CFGAnalysisEnv<'FnCtx, 'GlCtx>` Returns: `'Fn`

Static members

Static member Description

Static member	Description
`a <+> b` Full Usage: `a <+> b` Parameters: a : `ICFGAnalysis<('a -> 'b)>` b : `ICFGAnalysis<('b -> 'c)>` Returns: `ICFGAnalysis<('a -> 'c)>` Modifiers: inline Type parameters: 'b, 'c	a : `ICFGAnalysis<('a -> 'b)>` b : `ICFGAnalysis<('b -> 'c)>` Returns: `ICFGAnalysis<('a -> 'c)>`

Full Usage: a <+> b

Parameters:

a : ICFGAnalysis<('a -> 'b)>

b : ICFGAnalysis<('b -> 'c)>

Returns: ICFGAnalysis<('a -> 'c)>
Modifiers: inline
Type parameters: 'b, 'c

a : ICFGAnalysis<('a -> 'b)>
b : ICFGAnalysis<('b -> 'c)>

Returns: ICFGAnalysis<('a -> 'c)>