Summary (B2R2)

Summary Module

Namespace: B2R2.RearEnd.ROP
Assembly: B2R2.RearEnd.ROP.dll

Functions and values

Function or value	Description
`containKeys keys map` Full Usage: `containKeys keys map` Parameters: keys : `Set<'a>` map : `Map<'a, 'b>` Returns: `bool`	keys : `Set<'a>` map : `Map<'a, 'b>` Returns: `bool`
`getInput state e` Full Usage: `getInput state e` Parameters: state : `State` e : `Expr` Returns: `Set<string> * Set<Value>`	state : `State` e : `Expr` Returns: `Set<string> * Set<Value>`
`isEspAdder min _arg1` Full Usage: `isEspAdder min _arg1` Parameters: min : `int` _arg1 : `Result<Summary, 'a>` Returns: `bool * int option`	min : `int` _arg1 : `Result<Summary, 'a>` Returns: `bool * int option`
`isMemWriter regs _arg1` Full Usage: `isMemWriter regs _arg1` Parameters: regs : `Set<string>` _arg1 : `Result<Summary, 'a>` Returns: `bool * (int * ((string * uint32) * (string * uint32))) option`	regs : `Set<string>` _arg1 : `Result<Summary, 'a>` Returns: `bool * (int * ((string * uint32) * (string * uint32))) option`
`isSetter _arg1` Full Usage: `isSetter _arg1` Parameters: _arg1 : `Result<Summary, 'a>` Returns: `bool * (int * Map<Reg, int>) option`	_arg1 : `Result<Summary, 'a>` Returns: `bool * (int * Map<Reg, int>) option`
`isShellCode _arg1` Full Usage: `isShellCode _arg1` Parameters: _arg1 : `Result<Summary, 'a>` Returns: `bool`	_arg1 : `Result<Summary, 'a>` Returns: `bool`
`isStackPivotor regs _arg1` Full Usage: `isStackPivotor regs _arg1` Parameters: regs : `'a` _arg1 : `Result<Summary, 'b>` Returns: `bool * (string * uint32) option`	regs : `'a` _arg1 : `Result<Summary, 'b>` Returns: `bool * (string * uint32) option`
`isSysCall _arg1` Full Usage: `isSysCall _arg1` Parameters: _arg1 : `Result<Summary, 'a>` Returns: `bool`	_arg1 : `Result<Summary, 'a>` Returns: `bool`
`mergeInput (r1, m1) (r2, m2)` Full Usage: `mergeInput (r1, m1) (r2, m2)` Parameters: r1 : `^a` m1 : `^d` r2 : `^b` m2 : `^e` Returns: `^c * ^f`	r1 : `^a` m1 : `^d` r2 : `^b` m2 : `^e` Returns: `^c * ^f`
`pp s` Full Usage: `pp s` Parameters: s : `Summary`	s : `Summary`
`summary hdl gadget` Full Usage: `summary hdl gadget` Parameters: hdl : `BinHandle` gadget : `Gadget` Returns: `Summary`	hdl : `BinHandle` gadget : `Gadget` Returns: `Summary`