JumpTableMaintainer (B2R2)

JumpTableMaintainer Type

Namespace: B2R2.MiddleEnd.ControlFlowAnalysis
Assembly: B2R2.MiddleEnd.ControlFlowAnalysis.dll
Base Type: obj

Constructors

Constructor	Description
`JumpTableMaintainer()` Full Usage: `JumpTableMaintainer()` Returns: `JumpTableMaintainer`	Returns: `JumpTableMaintainer`

Instance members

Instance member	Description
`this.FindConfirmedEndPoint(tAddr)` Full Usage: `this.FindConfirmedEndPoint(tAddr)` Parameters: tAddr : `Addr` Returns: `Addr`	Find the currently confirmed end-point for the given table address. tAddr : `Addr` Returns: `Addr`
`this.FindPotentialEndPoint(tAddr)` Full Usage: `this.FindPotentialEndPoint(tAddr)` Parameters: tAddr : `Addr` Returns: `Addr`	Find the current potential end-point for the given table address. tAddr : `Addr` Returns: `Addr`
`this.[addr]` Full Usage: `this.[addr]` Returns: `Addr`	Returns: `Addr`
`this.Register(funcEntry) (insAddr) (bAddr) (tAddr) (rt)` Full Usage: `this.Register(funcEntry) (insAddr) (bAddr) (tAddr) (rt)` Parameters: funcEntry : `Addr` insAddr : `Addr` bAddr : `Addr` tAddr : `Addr` rt : `RegType` Returns: `Result<unit, JumpTable>`	Register a new jump table. funcEntry : `Addr` insAddr : `Addr` bAddr : `Addr` tAddr : `Addr` rt : `RegType` Returns: `Result<unit, JumpTable>`
`this.ToSeq()` Full Usage: `this.ToSeq()` Returns: `seq<KeyValuePair<Addr, JumpTable>>`	Returns: `seq<KeyValuePair<Addr, JumpTable>>`
`this.UpdateConfirmedEndPoint(tAddr) (epAddr)` Full Usage: `this.UpdateConfirmedEndPoint(tAddr) (epAddr)` Parameters: tAddr : `Addr` epAddr : `Addr`	Update the confirmed end-point of the jump table located at the tAddr. tAddr : `Addr` epAddr : `Addr`
`this.UpdatePotentialEndPoint(tAddr) (pAddr)` Full Usage: `this.UpdatePotentialEndPoint(tAddr) (pAddr)` Parameters: tAddr : `Addr` pAddr : `Addr`	Update the potential end-point information. tAddr : `Addr` pAddr : `Addr`