SensitiveDFHelper (B2R2)

SensitiveDFHelper Module

Namespace: B2R2.MiddleEnd.DataFlow
Assembly: B2R2.MiddleEnd.DataFlow.dll

Functions and values

Function or value	Description
`MaxExpansionDepth` Full Usage: `MaxExpansionDepth` Returns: `int`	Returns: `int`
`constantFoldSSAVars state vars` Full Usage: `constantFoldSSAVars state vars` Parameters: state : `State<Lattice, 'a>` vars : `Variable list` Returns: `Lattice`	state : `State<Lattice, 'a>` vars : `Variable list` Returns: `Lattice`
`constantFoldSensitiveVPs state vars` Full Usage: `constantFoldSensitiveVPs state vars` Parameters: state : `State<Lattice, 'a>` vars : `SensitiveVarPoint<'a> list` Returns: `Lattice`	state : `State<Lattice, 'a>` vars : `SensitiveVarPoint<'a> list` Returns: `Lattice`
`expandExpr state e` Full Usage: `expandExpr state e` Parameters: state : `State<'a, 'b>` e : `Expr` Returns: `Expr`	state : `State<'a, 'b>` e : `Expr` Returns: `Expr`
`expandExprAux visited depth state e` Full Usage: `expandExprAux visited depth state e` Parameters: visited : `Set<Variable>` depth : `int` state : `State<'a, 'b>` e : `Expr` Returns: `Expr`	visited : `Set<Variable>` depth : `int` state : `State<'a, 'b>` e : `Expr` Returns: `Expr`
`extractVarsFromExpr e` Full Usage: `extractVarsFromExpr e` Parameters: e : `Expr` Returns: `Variable list`	e : `Expr` Returns: `Variable list`
`findRootVars state acc worklist` Full Usage: `findRootVars state acc worklist` Parameters: state : `State<'a, 'b>` acc : `Variable list` worklist : `Variable list` Returns: `Variable list`	Returns the list of root variables for the given variables. state : `State<'a, 'b>` acc : `Variable list` worklist : `Variable list` Returns: `Variable list`
`findRootVarsFromExpr state e` Full Usage: `findRootVarsFromExpr state e` Parameters: state : `State<'a, 'b>` e : `Expr` Returns: `Variable list`	state : `State<'a, 'b>` e : `Expr` Returns: `Variable list`
`findRootVarsFromJumpDstExpr state e` Full Usage: `findRootVarsFromJumpDstExpr state e` Parameters: state : `State<'a, 'b>` e : `Expr` Returns: `Variable list`	state : `State<'a, 'b>` e : `Expr` Returns: `Variable list`
`findRootVarsFromJumpDstVar state acc worklist` Full Usage: `findRootVarsFromJumpDstVar state acc worklist` Parameters: state : `State<'a, 'b>` acc : `Variable list` worklist : `Variable list` Returns: `Variable list`	Returns the list of root variables, considering AND operators with jump destination addresses. Note that this function must be given a non-expanded expression. state : `State<'a, 'b>` acc : `Variable list` worklist : `Variable list` Returns: `Variable list`
`getDefSiteVertex g state var` Full Usage: `getDefSiteVertex g state var` Parameters: g : `IDiGraph<LowUIRBasicBlock, 'a>` state : `State<'b, 'c>` var : `Variable` Returns: `IVertex<LowUIRBasicBlock>`	g : `IDiGraph<LowUIRBasicBlock, 'a>` state : `State<'b, 'c>` var : `Variable` Returns: `IVertex<LowUIRBasicBlock>`
`getTerminator state v tag` Full Usage: `getTerminator state v tag` Parameters: state : `State<'a, 'b>` v : `IVertex<LowUIRBasicBlock>` tag : `'b` Returns: `Stmt`	state : `State<'a, 'b>` v : `IVertex<LowUIRBasicBlock>` tag : `'b` Returns: `Stmt`
`tryOverApproximateTerminator state v` Full Usage: `tryOverApproximateTerminator state v` Parameters: state : `State<'a, 'b>` v : `IVertex<LowUIRBasicBlock>` Returns: `Stmt option`	Over-approximates the terminator of a vertex `v` by considering all possible tags. This returns None if the vertex has inconsistent terminators for different tags. state : `State<'a, 'b>` v : `IVertex<LowUIRBasicBlock>` Returns: `Stmt option`