|
| IntraPartitionFWDataflow (PartitionedAnalysis *parent) |
|
| IntraPartitionFWDataflow (const IntraPartitionFWDataflow &that) |
|
virtual bool | transfer (const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo, splitType &splitAnalysis, std::vector< printable * > &splitConditions, bool &joinNode)=0 |
|
bool | runAnalysis (const Function &func, NodeState *fState, bool analyzeDueToCallers, std::set< Function > calleesUpdated) |
|
bool | runAnalysis (const Function &func, NodeState *fState, bool &splitPart, bool &joinPart, IntraPartitionDataflowCheckpoint *&outChkpt) |
|
bool | runAnalysisResume (const Function &func, NodeState *fState, IntraPartitionDataflowCheckpoint *chkpt, bool &splitPart, bool &joinPart, IntraPartitionDataflowCheckpoint *&outChkpt) |
|
partitionTranferRet | partitionTranfer (const Function &func, NodeState *fState, const DataflowNode &n, NodeState *state, VirtualCFG::dataflow &dfIt, const std::vector< Lattice * > &dfInfoBelow, bool &splitPart, std::set< DataflowNode > &joinNodes, IntraPartitionDataflowCheckpoint *&outChkpt) |
|
bool | propagateFWStateToNextNode (const std::vector< Lattice * > &curNodeState, DataflowNode curDFNode, int nodeIndex, const std::vector< Lattice * > &nextNodeState, DataflowNode nextDFNode) |
|
| IntraPartitionDataflow (const IntraPartitionDataflow &that) |
|
| IntraPartitionDataflow (PartitionedAnalysis *parent) |
|
| ~IntraPartitionDataflow () |
|
PartitionedAnalysis * | getParent () const |
|
virtual IntraPartitionDataflow * | copy ()=0 |
|
virtual void | initDFfromPartCond (const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo, const std::vector< NodeFact * > &facts, printable *partitionCond) |
|
virtual void | genInitState (const Function &func, const DataflowNode &n, const NodeState &state, std::vector< Lattice * > &initLattices, std::vector< NodeFact * > &initFacts)=0 |
|
void | setInterAnalysis (InterProceduralDataflow *interDataflowAnalysis) |
|
void | setInterAnalysis (IntraProceduralDataflow *intraDFAnalysis) |
|
bool | runAnalysis (const Function &func, NodeState *state) |
|
InterProceduralDataflow * | getInterAnalysis () const |
|
void | setInterAnalysis (InterProceduralAnalysis *interAnalysis) |
|
virtual | ~IntraProceduralAnalysis () |
|
| Analysis (bool(*f)(CFGNode)=defaultFilter) |
|
Definition at line 367 of file partitionedAnalysis.h.