, including all inherited members.
| CFGDFProblem() | OA::DataFlow::CFGDFProblem | [inline] |
| initializeBottom() | OA::ReachDefs::ManagerReachDefsStandard | [protected, virtual] |
| initializeNodeIN(OA_ptr< CFG::NodeInterface > n) | OA::ReachDefs::ManagerReachDefsStandard | [protected, virtual] |
| initializeNodeOUT(OA_ptr< CFG::NodeInterface > n) | OA::ReachDefs::ManagerReachDefsStandard | [protected, virtual] |
| initializeTop() | OA::ReachDefs::ManagerReachDefsStandard | [protected, virtual] |
| mAlias | OA::ReachDefs::ManagerReachDefsStandard | [protected] |
| ManagerReachDefsOverwriteStandard(OA_ptr< ReachDefs::ReachDefsIRInterface > _ir) | OA::ReachDefsOverwrite::ManagerReachDefsOverwriteStandard | |
| ManagerReachDefsStandard(OA_ptr< ReachDefsIRInterface > _ir) | OA::ReachDefs::ManagerReachDefsStandard | |
| meet(OA_ptr< DataFlow::DataFlowSet > set1, OA_ptr< DataFlow::DataFlowSet > set2) | OA::ReachDefs::ManagerReachDefsStandard | [protected, virtual] |
| mIR | OA::ReachDefs::ManagerReachDefsStandard | [protected] |
| mReachDefMap | OA::ReachDefs::ManagerReachDefsStandard | [protected] |
| mReachDefOverwriteMap | OA::ReachDefsOverwrite::ManagerReachDefsOverwriteStandard | [private] |
| mSolver | OA::ReachDefs::ManagerReachDefsStandard | [protected] |
| mStmtAllDefMap | OA::ReachDefsOverwrite::ManagerReachDefsOverwriteStandard | [private] |
| mStmtMayDefMap | OA::ReachDefs::ManagerReachDefsStandard | [protected] |
| mStmtMustDefMap | OA::ReachDefs::ManagerReachDefsStandard | [protected] |
| performAnalysis(ProcHandle, OA_ptr< CFG::CFGInterface > cfg, OA_ptr< Alias::Interface > alias, OA_ptr< SideEffect::InterSideEffectInterface > interSE, DataFlow::DFPImplement algorithm) | OA::ReachDefsOverwrite::ManagerReachDefsOverwriteStandard | |
| transfer(OA_ptr< DataFlow::DataFlowSet > in, OA::StmtHandle stmt) | OA::ReachDefsOverwrite::ManagerReachDefsOverwriteStandard | [private, virtual] |
| ~CFGDFProblem() | OA::DataFlow::CFGDFProblem | [inline, virtual] |
| ~ManagerReachDefsOverwriteStandard() | OA::ReachDefsOverwrite::ManagerReachDefsOverwriteStandard | [inline] |
| ~ManagerReachDefsStandard() | OA::ReachDefs::ManagerReachDefsStandard | [inline] |
