Description
Definition at line 106 of file dataflow.h.
Inheritance diagram for IntraUnitDataflow:
Collaboration diagram for IntraUnitDataflow:
Classes | |
| class | DefaultTransfer |
Public Member Functions | |
| virtual bool | transfer (const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo)=0 |
| virtual boost::shared_ptr< IntraDFTransferVisitor > | getTransferVisitor (const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo) |
 Public Member Functions inherited from IntraProceduralDataflow | |
| 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) |
| virtual bool | runAnalysis (const Function &func, NodeState *state, bool analyzeDueToCallers, std::set< Function > calleesUpdated)=0 |
| bool | runAnalysis (const Function &func, NodeState *state) |
| InterProceduralDataflow * | getInterAnalysis () const |
| Public Member Functions inherited from IntraProceduralAnalysis | |
| void | setInterAnalysis (InterProceduralAnalysis *interAnalysis) |
| Public Member Functions inherited from Analysis | |
| Analysis (bool(*f)(CFGNode)=defaultFilter) | |
Additional Inherited Members | |
| Public Attributes inherited from IntraProceduralDataflow | |
| std::set< Function > | visited |
| Public Attributes inherited from Analysis | |
| bool(* | filter )(CFGNode cfgn) |
| Protected Attributes inherited from IntraProceduralAnalysis | |
| InterProceduralAnalysis * | interAnalysis |
Member Function Documentation
◆ transfer()
|
pure virtual |
Implemented in TaintAnalysis.
◆ getTransferVisitor()
|
inlinevirtual |
Definition at line 149 of file dataflow.h.
The documentation for this class was generated from the following file:
