|
BOOL | LEVEL_CORE::INS_startbbl (INS x) |
|
LOCALINLINE VOID | LEVEL_CORE::INS_startbbl_set (INS x, BOOL y) |
|
LOCALINLINE VOID | LEVEL_CORE::INS_startrtn_set (INS x, BOOL y) |
|
VOID | LEVEL_CORE::INS_MarkBblStart (INS ins) |
|
VOID | LEVEL_CORE::INS_MarkRtnStart (INS ins) |
|
LOCALFUN VOID | LEVEL_CORE::SEC_MarkPcRelativeControlFlow (SEC sec) |
|
VOID | LEVEL_CORE::IMG_MarkPcRelativeControlFlow (IMG img) |
|
UINT32 | LEVEL_CORE::RTN_VerifyFallthroughs (RTN rtn) |
|
VOID | LEVEL_CORE::IMG_VerifyFallthroughs (IMG img) |
|
VOID | LEVEL_CORE::RTN_TypifyBblsAndCreateEdgs (RTN rtn) |
|
VOID | LEVEL_CORE::IMG_TypifyBblsAndCreateEdgs (IMG img) |
|
VOID | LEVEL_CORE::BBL_AddLinkEdge (BBL bbl, INS call) |
|
BOOL | LEVEL_CORE::BBL_IsCycle (BBL bbl) |
|
BBL_TYPE | LEVEL_CORE::BBL_TYPE_Unconditionalize (BBL_TYPE type) |
|
control flow graph related stuff