BBL: Single entrance, single exit sequence of instructions

Functions
UINT32	LEVEL_CORE::BBL_NumIns (BBL bbl)
INS	LEVEL_PINCLIENT::BBL_InsHead (BBL x)
INS	LEVEL_PINCLIENT::BBL_InsTail (BBL x)
BBL	LEVEL_PINCLIENT::BBL_Next (BBL x)
BBL	LEVEL_PINCLIENT::BBL_Prev (BBL x)
BOOL	LEVEL_PINCLIENT::BBL_Valid (BBL x)
BOOL	LEVEL_PINCLIENT::BBL_Original (BBL bbl)
ADDRINT	LEVEL_PINCLIENT::BBL_Address (BBL bbl)
USIZE	LEVEL_PINCLIENT::BBL_Size (BBL bbl)
VOID	LEVEL_PINCLIENT::BBL_InsertCall (BBL bbl, IPOINT action, AFUNPTR funptr,...)
VOID	LEVEL_PINCLIENT::BBL_InsertIfCall (BBL bbl, IPOINT action, AFUNPTR funptr,...)
VOID	LEVEL_PINCLIENT::BBL_InsertThenCall (BBL bbl, IPOINT action, AFUNPTR funptr,...)
BOOL	LEVEL_PINCLIENT::BBL_HasFallThrough (BBL bbl)

---

Detailed Description

Sequence of instructions that is always entered at the bottom by a fall through and/or taken branch. If Pin detects a jump to an instruction in the middle of a bbl, it will create a new bbl beginning at the target. See Instrumentation Granularity.

---

Function Documentation

ADDRINT LEVEL_PINCLIENT::BBL_Address (  BBL  bbl  )

Returns: Address of a bbl

BOOL LEVEL_PINCLIENT::BBL_HasFallThrough (  BBL  bbl  )

Refer INS_HasFallThrough for checking if an instruction could have a fall-through path based on the opcode. Returns: True if the BBL has a fall-through bbl within the trace else return FALSE.

VOID LEVEL_PINCLIENT::BBL_InsertCall (  BBL  bbl, IPOINT  action, AFUNPTR  funptr,   ... )

Insert call relative to a bbl. Parameters: bbl  BBL to instrument action  Specifies before, after, etc. IPOINT_BEFORE is always valid for all instructions. IPOINT_AFTER is valid only when a fall-through exists (e.g. Calls and unconditional branches will fail). IPOINT_ANYWHERE will put the instrumentation at a place inside the bbl for best performance IPOINT_TAKEN_BRANCH is invalid for non-branches. funptr  Analysis function to call ...  Arguments to pass to funptr

VOID LEVEL_PINCLIENT::BBL_InsertIfCall (  BBL  bbl, IPOINT  action, AFUNPTR  funptr,   ... )

Insert call relative to a bbl and pass the result to the immediate following "then" analysis call. Parameters: bbl  BBL to instrument action  Specifies before, after, etc. IPOINT_BEFORE is always valid for all instructions. IPOINT_AFTER is valid only when a fall-through exists (e.g. Calls and unconditional branches will fail). IPOINT_TAKEN_BRANCH is invalid for non-branches. funptr  Analysis function to call ...  Arguments to pass to funptr

VOID LEVEL_PINCLIENT::BBL_InsertThenCall (  BBL  bbl, IPOINT  action, AFUNPTR  funptr,   ... )

Insert call relative to a bbl, which will be invoked only if the immediate preceeding "if" analysis call returns a non-zero value. Parameters: bbl  BBL to instrument action  Specifies before, after, etc. IPOINT_BEFORE is always valid for all instructions. IPOINT_AFTER is valid only when a fall-through exists (e.g. Calls and unconditional branches will fail). IPOINT_TAKEN_BRANCH is invalid for non-branches. funptr  Analysis function to call ...  Arguments to pass to funptr

INS LEVEL_PINCLIENT::BBL_InsHead (  BBL  x  )

Returns: First instruction of bbl

INS LEVEL_PINCLIENT::BBL_InsTail (  BBL  x  )

Returns: Last instruction of bbl

BBL LEVEL_PINCLIENT::BBL_Next (  BBL  x  )

Returns: Next bbl or BBL_INVALID() if this is the end of trace or rtn

UINT32 LEVEL_CORE::BBL_NumIns (  BBL  bbl  )

Number of INSs within a BBL.

BOOL LEVEL_PINCLIENT::BBL_Original (  BBL  bbl  )

Returns: Whether the BBL data structure has been instrumented or optimized since it was created

BBL LEVEL_PINCLIENT::BBL_Prev (  BBL  x  )

Returns: Previous bbl or BBL_INVALID() if this is the beginning of trace or rtn

USIZE LEVEL_PINCLIENT::BBL_Size (  BBL  bbl  )

Returns: Size of bbl code, in bytes

BOOL LEVEL_PINCLIENT::BBL_Valid (  BBL  x  )

Returns: True if x is not BBL_INVALID()

---