ProgramPoint (B2R2)

ProgramPoint Type

Namespace: B2R2
Assembly: B2R2.Core.dll
Base Type: obj
All Interfaces: IComparable<ProgramPoint> , IComparable

A program point (ProgramPoint) is a specific location in a lifted program. We represent it as a three-tuple: (Address of the instruction, Index of the IR stmt for the instruction, Address of a callsite). The third element is optional and only meaningful for abstract vertices.

Constructors

Constructor Description

Constructor	Description
`ProgramPoint(callsite, addr, pos)` Full Usage: `ProgramPoint(callsite, addr, pos)` Parameters: callsite : `Addr` addr : `Addr` pos : `int` Returns: `ProgramPoint`	callsite : `Addr` addr : `Addr` pos : `int` Returns: `ProgramPoint`
`ProgramPoint(addr, pos)` Full Usage: `ProgramPoint(addr, pos)` Parameters: addr : `Addr` pos : `int` Returns: `ProgramPoint`	addr : `Addr` pos : `int` Returns: `ProgramPoint`


                
                  
                    
                      ProgramPoint(callsite, addr, pos)

Full Usage: ProgramPoint(callsite, addr, pos)

Parameters:

callsite : Addr

addr : Addr

pos : int

Returns: ProgramPoint

callsite : Addr
addr : Addr
pos : int

Returns: ProgramPoint


                
                  
                    
                      ProgramPoint(addr, pos)

Full Usage: ProgramPoint(addr, pos)

Parameters:

addr : Addr

pos : int

Returns: ProgramPoint

addr : Addr
pos : int

Returns: ProgramPoint

Instance members

Instance member	Description
`this.Address` Full Usage: `this.Address` Returns: `Addr`	Address of the instruction. Returns: `Addr`
`this.CallSite` Full Usage: `this.CallSite` Returns: `Addr option`	Address of the callsite if this program point refers to an abstract vertex. Returns: `Addr option`
`this.CompareTo` Full Usage: `this.CompareTo` Parameters: rhs : `ProgramPoint` Returns: `int`	Compare against another program point. rhs : `ProgramPoint` Returns: `int`
`this.Position` Full Usage: `this.Position` Returns: `int`	Index of the IR statement within the instruction. Returns: `int`

Static members

Static member	Description
`ProgramPoint.GetFake()` Full Usage: `ProgramPoint.GetFake()` Returns: `ProgramPoint`	Get a fake program point to represent a fake vertex, which does not exist in a CFG. Fake vertices are useful for representing external function calls and their nodes in the SCFG. Returns: `ProgramPoint`
`ProgramPoint.IsFake(p)` Full Usage: `ProgramPoint.IsFake(p)` Parameters: p : `ProgramPoint` Returns: `bool`	p : `ProgramPoint` Returns: `bool`
`ProgramPoint.Next(p)` Full Usage: `ProgramPoint.Next(p)` Parameters: p : `ProgramPoint` Returns: `ProgramPoint`	p : `ProgramPoint` Returns: `ProgramPoint`