|
Static Value-Flow Analysis
|
This is the complete list of members for SVF::POCRHybridSolver, including all inherited members.
| addArc(NodeID src, NodeID dst) | SVF::POCRHybridSolver | |
| addArc_h(NodeID src, NodeID dst) | SVF::POCRHybridSolver | |
| addEdge(const NodeID src, const NodeID dst, const Label ty) | SVF::POCRSolver | inline |
| addEdges(const NodeID src, const NodeBS &dstData, const Label ty) | SVF::POCRSolver | inline |
| addEdges(const NodeBS &srcData, const NodeID dst, const Label ty) | SVF::POCRSolver | inline |
| addInd_h(NodeID src, NodeID dst) | SVF::POCRHybridSolver | |
| addPred(const NodeID key, const NodeID src, const Label ty) | SVF::POCRSolver | inlineprotected |
| addPreds(const NodeID key, const NodeBS &data, const Label ty) | SVF::POCRSolver | inlineprotected |
| addSucc(const NodeID key, const NodeID dst, const Label ty) | SVF::POCRSolver | inlineprotected |
| addSuccs(const NodeID key, const NodeBS &data, const Label ty) | SVF::POCRSolver | inlineprotected |
| begin() const | SVF::POCRSolver | inline |
| begin() | SVF::POCRSolver | inline |
| buildCFLData() | SVF::POCRSolver | virtual |
| CFLSolver(CFLGraph *_graph, CFGrammar *_grammar) | SVF::CFLSolver | inline |
| clear() | SVF::POCRSolver | inlinevirtual |
| clearEdges(const NodeID key) | SVF::POCRSolver | inline |
| const_iterator typedef | SVF::POCRSolver | |
| DataMap typedef | SVF::POCRSolver | |
| diff | SVF::POCRSolver | protected |
| emptyData | SVF::POCRSolver | protected |
| end() const | SVF::POCRSolver | inline |
| end() | SVF::POCRSolver | inline |
| getGrammar() const | SVF::CFLSolver | inline |
| getGraph() const | SVF::CFLSolver | inline |
| getNode_h(NodeID src, NodeID dst) | SVF::POCRHybridSolver | inline |
| getPredMap() | SVF::POCRSolver | inline |
| getPredMap(const NodeID key) | SVF::POCRSolver | inline |
| getPreds(const NodeID key, const Label ty) | SVF::POCRSolver | inline |
| getSuccMap() | SVF::POCRSolver | inline |
| getSuccMap(const NodeID key) | SVF::POCRSolver | inline |
| getSuccs(const NodeID key, const Label ty) | SVF::POCRSolver | inline |
| grammar | SVF::CFLSolver | protected |
| graph | SVF::CFLSolver | protected |
| hasEdge(const NodeID src, const NodeID dst, const Label ty) | SVF::POCRSolver | inline |
| hasInd_h(NodeID src, NodeID dst) | SVF::POCRHybridSolver | |
| indMap | SVF::POCRHybridSolver | |
| initialize() | SVF::POCRHybridSolver | virtual |
| insertEdge_h(TreeNode *u, TreeNode *v) | SVF::POCRHybridSolver | inline |
| isInWorklist(const CFLEdge *item) | SVF::CFLSolver | inlineprotected |
| isWorklistEmpty() | SVF::CFLSolver | inlinevirtual |
| iterator typedef | SVF::POCRSolver | |
| meld(NodeID x, TreeNode *uNode, TreeNode *vNode) | SVF::POCRHybridSolver | |
| meld_h(NodeID x, TreeNode *uNode, TreeNode *vNode) | SVF::POCRHybridSolver | |
| numOfChecks | SVF::CFLSolver | static |
| POCRHybridSolver(CFLGraph *_graph, CFGrammar *_grammar) | SVF::POCRHybridSolver | inline |
| POCRSolver(CFLGraph *_graph, CFGrammar *_grammar) | SVF::POCRSolver | inline |
| popFromWorklist() | SVF::CFLSolver | inlineprotected |
| predMap | SVF::POCRSolver | protected |
| processCFLEdge(const CFLEdge *Y_edge) | SVF::POCRHybridSolver | virtual |
| Production typedef | SVF::CFLSolver | |
| pushIntoWorklist(const CFLEdge *item) | SVF::CFLSolver | inlinevirtual |
| solve() | SVF::CFLSolver | virtual |
| succMap | SVF::POCRSolver | protected |
| Symbol typedef | SVF::CFLSolver | |
| TypeMap typedef | SVF::POCRSolver | |
| WorkList typedef | SVF::CFLSolver | |
| worklist | SVF::CFLSolver | protected |
| ~CFLSolver() | SVF::CFLSolver | inlinevirtual |
| ~POCRHybridSolver() | SVF::POCRHybridSolver | inlinevirtual |
| ~POCRSolver() | SVF::POCRSolver | inlinevirtual |
1.9.8