Utils (B2R2)

Utils Module

Function or value	Description
`computeStackShift rt blk` Full Usage: `computeStackShift rt blk` Parameters: rt : `RegType` blk : `SSAVertex` Returns: `BitVector`	rt : `RegType` blk : `SSAVertex` Returns: `BitVector`
`extractUses stmt` Full Usage: `extractUses stmt` Parameters: stmt : `Stmt` Returns: `Set<VarExpr>`	stmt : `Stmt` Returns: `Set<VarExpr>`
`filterRegularVars vars` Full Usage: `filterRegularVars vars` Parameters: vars : `Set<VarExpr>` Returns: `Set<VarExpr>`	vars : `Set<VarExpr>` Returns: `Set<VarExpr>`
`initMemory ()` Full Usage: `initMemory ()` Parameters: () : `unit` Returns: `Dictionary<int, (Map<'a, 'b> * Set<'c>)>`	() : `unit` Returns: `Dictionary<int, (Map<'a, 'b> * Set<'c>)>`
`initialStackPointer` Full Usage: `initialStackPointer` Returns: `uint64`	We use this constant for our data-flow analyses. Returns: `uint64`