svf-tools 1.0.595 → 1.0.596
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/Andersen_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/Andersen_8h_source.html +3 -3
- package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CFLAlias_8h_source.html +3 -3
- package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +8 -8
- package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +4 -4
- package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html +8 -5
- package/SVF-doxygen/html/html/CFLGraph_8h.html +1 -1
- package/SVF-doxygen/html/html/CFLGraph_8h_source.html +18 -16
- package/SVF-doxygen/html/html/CFLSolver_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/CFLStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/CHG_8cpp.html +1 -1
- package/SVF-doxygen/html/html/CHG_8cpp_source.html +11 -8
- package/SVF-doxygen/html/html/CHG_8h.html +1 -1
- package/SVF-doxygen/html/html/CHG_8h_source.html +9 -7
- package/SVF-doxygen/html/html/ConsGEdge_8h_source.html +3 -3
- package/SVF-doxygen/html/html/ConsGNode_8h_source.html +7 -7
- package/SVF-doxygen/html/html/ConsG_8cpp_source.html +18 -16
- package/SVF-doxygen/html/html/ConsG_8h.html +1 -1
- package/SVF-doxygen/html/html/ConsG_8h_source.html +8 -6
- package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/ContextDDA_8h_source.html +2 -2
- package/SVF-doxygen/html/html/DCHG_8cpp_source.html +15 -13
- package/SVF-doxygen/html/html/DCHG_8h.html +1 -1
- package/SVF-doxygen/html/html/DCHG_8h_source.html +12 -10
- package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/DDAClient_8h_source.html +1 -1
- package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +8 -8
- package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +7 -7
- package/SVF-doxygen/html/html/DOTGraphTraits_8h.html +96 -0
- package/SVF-doxygen/html/html/DOTGraphTraits_8h_source.html +102 -0
- package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +11 -11
- package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +1 -1
- package/SVF-doxygen/html/html/GenericGraph_8h.html +11 -1
- package/SVF-doxygen/html/html/GenericGraph_8h_source.html +127 -114
- package/SVF-doxygen/html/html/GraphPrinter_8h.html +2 -4
- package/SVF-doxygen/html/html/GraphPrinter_8h_source.html +8 -5
- package/SVF-doxygen/html/html/GraphReachSolver_8h_source.html +2 -1
- package/SVF-doxygen/html/html/GraphTraits_8h.html +117 -0
- package/SVF-doxygen/html/html/GraphTraits_8h_source.html +91 -0
- package/SVF-doxygen/html/html/GraphWriter_8cpp.html +81 -0
- package/SVF-doxygen/html/html/GraphWriter_8cpp_source.html +80 -0
- package/SVF-doxygen/html/html/GraphWriter_8h.html +137 -0
- package/SVF-doxygen/html/html/GraphWriter_8h_source.html +129 -0
- package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +6 -6
- package/SVF-doxygen/html/html/ICFGNode_8h_source.html +2 -2
- package/SVF-doxygen/html/html/ICFGStat_8h_source.html +3 -3
- package/SVF-doxygen/html/html/ICFG_8cpp_source.html +9 -7
- package/SVF-doxygen/html/html/ICFG_8h.html +1 -1
- package/SVF-doxygen/html/html/ICFG_8h_source.html +11 -9
- package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +2 -2
- package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +8 -5
- package/SVF-doxygen/html/html/IRGraph_8h.html +1 -1
- package/SVF-doxygen/html/html/IRGraph_8h_source.html +7 -5
- package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +4 -3
- package/SVF-doxygen/html/html/LLVMModule_8cpp.html +4 -3
- package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +31 -31
- package/SVF-doxygen/html/html/LLVMModule_8h_source.html +28 -28
- package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/MHP_8cpp_source.html +9 -9
- package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +8 -8
- package/SVF-doxygen/html/html/PCG_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +17 -14
- package/SVF-doxygen/html/html/PTACallGraph_8h.html +1 -1
- package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +15 -13
- package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +2 -2
- package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +2 -2
- package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/SCC_8h_source.html +3 -1
- package/SVF-doxygen/html/html/SVFGEdge_8h_source.html +3 -3
- package/SVF-doxygen/html/html/SVFGNode_8h_source.html +2 -2
- package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +14 -14
- package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +8 -8
- package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +10 -9
- package/SVF-doxygen/html/html/SVFG_8h_source.html +11 -10
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +8 -8
- package/SVF-doxygen/html/html/SVFIR_8h_source.html +3 -3
- package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +8 -8
- package/SVF-doxygen/html/html/SVFStatements_8h_source.html +10 -10
- package/SVF-doxygen/html/html/SVFValue_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/SVFVariables_8h_source.html +7 -7
- package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/SparseBitVector_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/SrcSnkSolver_8h_source.html +2 -1
- package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/TCT_8cpp_source.html +18 -16
- package/SVF-doxygen/html/html/TCT_8h.html +1 -1
- package/SVF-doxygen/html/html/TCT_8h_source.html +19 -17
- package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ThreadCallGraph_8h_source.html +6 -6
- package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/VFGEdge_8h_source.html +6 -6
- package/SVF-doxygen/html/html/VFGNode_8h_source.html +6 -6
- package/SVF-doxygen/html/html/VFG_8cpp_source.html +10 -8
- package/SVF-doxygen/html/html/VFG_8h.html +1 -1
- package/SVF-doxygen/html/html/VFG_8h_source.html +11 -9
- package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +9 -9
- package/SVF-doxygen/html/html/WPAFSSolver_8h_source.html +3 -2
- package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/WPASolver_8h_source.html +3 -1
- package/SVF-doxygen/html/html/annotated.html +55 -42
- package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1AddrCGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +25 -25
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +15 -15
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AssignStmt.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1CFLEdge.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraph.html +4 -3
- package/SVF-doxygen/html/html/classSVF_1_1CFLNode.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1CFLSolver.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1CFLStat.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +10 -9
- package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CallDirSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +30 -29
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode-members.html +26 -26
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +43 -43
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DCHEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +27 -24
- package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +14 -14
- package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1DirectSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FileChecker.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +17 -17
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +15 -15
- package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.html +31 -31
- package/SVF-doxygen/html/html/classSVF_1_1GenericGraph.html +44 -44
- package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +96 -97
- package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GlobalICFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GraphReachSolver.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +16 -15
- package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ICFGEdge.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ICFGStat.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +11 -10
- package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1IntraDirSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +4 -3
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +103 -103
- package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1MHP.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +28 -28
- package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1PCG.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +23 -22
- package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphEdge.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetDirSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SCCDetection.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +43 -43
- package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +35 -35
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +19 -19
- package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1SVFType.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SparseBitVector-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SparseBitVector.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1SrcSnkSolver.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1TCT.html +35 -35
- package/SVF-doxygen/html/html/classSVF_1_1TCTNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ThreadForkEdge.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1ThreadJoinEdge.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1VFG.html +19 -18
- package/SVF-doxygen/html/html/classSVF_1_1VFGEdge.html +13 -13
- package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +32 -32
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive_1_1SCC.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1WPAFSSolver.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1WPAMinimumSolver.html +4 -3
- package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1WPASCCSolver.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1WPASolver.html +4 -4
- package/SVF-doxygen/html/html/classes.html +105 -102
- package/SVF-doxygen/html/html/classllvm_1_1GraphPrinter.html +9 -7
- package/SVF-doxygen/html/html/classllvm_1_1GraphWriter-members.html +100 -0
- package/SVF-doxygen/html/html/classllvm_1_1GraphWriter.html +882 -0
- package/SVF-doxygen/html/html/classllvm_1_1iterator__adaptor__base-members.html +112 -0
- package/SVF-doxygen/html/html/classllvm_1_1iterator__adaptor__base.html +633 -0
- package/SVF-doxygen/html/html/classllvm_1_1iterator__adaptor__base.png +0 -0
- package/SVF-doxygen/html/html/classllvm_1_1iterator__facade__base-members.html +102 -0
- package/SVF-doxygen/html/html/classllvm_1_1iterator__facade__base.html +787 -0
- package/SVF-doxygen/html/html/classllvm_1_1iterator__facade__base.png +0 -0
- package/SVF-doxygen/html/html/classllvm_1_1iterator__facade__base_1_1ReferenceProxy-members.html +84 -0
- package/SVF-doxygen/html/html/classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html +229 -0
- package/SVF-doxygen/html/html/classllvm_1_1iterator__range-members.html +87 -0
- package/SVF-doxygen/html/html/classllvm_1_1iterator__range.html +342 -0
- package/SVF-doxygen/html/html/classllvm_1_1mapped__iter-members.html +112 -0
- package/SVF-doxygen/html/html/classllvm_1_1mapped__iter.html +322 -0
- package/SVF-doxygen/html/html/classllvm_1_1mapped__iter.png +0 -0
- package/SVF-doxygen/html/html/classllvm_1_1pointer__iterator-members.html +113 -0
- package/SVF-doxygen/html/html/classllvm_1_1pointer__iterator.html +343 -0
- package/SVF-doxygen/html/html/classllvm_1_1pointer__iterator.png +0 -0
- package/SVF-doxygen/html/html/dir_1870ebf480d659cc38d2dd7ac3aa8993.html +2 -0
- package/SVF-doxygen/html/html/dir_95e22971b5dbae2382075a3453e365b4.html +4 -0
- package/SVF-doxygen/html/html/dir_fa02919a30fec2d2c2d591b4d920d648.html +6 -0
- package/SVF-doxygen/html/html/fastcluster__R__dm_8cpp_8inc_source.html +2 -1
- package/SVF-doxygen/html/html/files.html +42 -36
- package/SVF-doxygen/html/html/functions_a.html +11 -8
- package/SVF-doxygen/html/html/functions_b.html +20 -13
- package/SVF-doxygen/html/html/functions_c.html +36 -37
- package/SVF-doxygen/html/html/functions_d.html +16 -4
- package/SVF-doxygen/html/html/functions_e.html +16 -2
- package/SVF-doxygen/html/html/functions_eval_b.html +4 -4
- package/SVF-doxygen/html/html/functions_eval_i.html +6 -0
- package/SVF-doxygen/html/html/functions_f.html +21 -18
- package/SVF-doxygen/html/html/functions_func.html +13 -10
- package/SVF-doxygen/html/html/functions_func_b.html +3 -2
- package/SVF-doxygen/html/html/functions_func_d.html +7 -3
- package/SVF-doxygen/html/html/functions_func_e.html +12 -1
- package/SVF-doxygen/html/html/functions_func_g.html +54 -22
- package/SVF-doxygen/html/html/functions_func_h.html +7 -4
- package/SVF-doxygen/html/html/functions_func_i.html +22 -8
- package/SVF-doxygen/html/html/functions_func_m.html +3 -0
- package/SVF-doxygen/html/html/functions_func_n.html +3 -0
- package/SVF-doxygen/html/html/functions_func_o.html +42 -8
- package/SVF-doxygen/html/html/functions_func_p.html +7 -1
- package/SVF-doxygen/html/html/functions_func_r.html +7 -1
- package/SVF-doxygen/html/html/functions_func_w.html +21 -0
- package/SVF-doxygen/html/html/functions_g.html +60 -21
- package/SVF-doxygen/html/html/functions_h.html +8 -5
- package/SVF-doxygen/html/html/functions_i.html +50 -19
- package/SVF-doxygen/html/html/functions_l.html +3 -3
- package/SVF-doxygen/html/html/functions_m.html +4 -1
- package/SVF-doxygen/html/html/functions_n.html +9 -3
- package/SVF-doxygen/html/html/functions_o.html +53 -20
- package/SVF-doxygen/html/html/functions_p.html +31 -21
- package/SVF-doxygen/html/html/functions_r.html +13 -10
- package/SVF-doxygen/html/html/functions_rela.html +6 -3
- package/SVF-doxygen/html/html/functions_s.html +8 -10
- package/SVF-doxygen/html/html/functions_t.html +9 -9
- package/SVF-doxygen/html/html/functions_type_b.html +3 -0
- package/SVF-doxygen/html/html/functions_type_c.html +4 -3
- package/SVF-doxygen/html/html/functions_type_d.html +6 -1
- package/SVF-doxygen/html/html/functions_type_g.html +2 -1
- package/SVF-doxygen/html/html/functions_type_i.html +2 -1
- package/SVF-doxygen/html/html/functions_type_n.html +6 -3
- package/SVF-doxygen/html/html/functions_type_p.html +2 -1
- package/SVF-doxygen/html/html/functions_type_r.html +2 -1
- package/SVF-doxygen/html/html/functions_type_v.html +2 -1
- package/SVF-doxygen/html/html/functions_v.html +6 -5
- package/SVF-doxygen/html/html/functions_vars_b.html +3 -0
- package/SVF-doxygen/html/html/functions_vars_d.html +3 -0
- package/SVF-doxygen/html/html/functions_vars_e.html +3 -0
- package/SVF-doxygen/html/html/functions_vars_f.html +3 -0
- package/SVF-doxygen/html/html/functions_vars_g.html +6 -0
- package/SVF-doxygen/html/html/functions_vars_i.html +10 -0
- package/SVF-doxygen/html/html/functions_vars_o.html +3 -0
- package/SVF-doxygen/html/html/functions_vars_p.html +3 -0
- package/SVF-doxygen/html/html/functions_w.html +30 -9
- package/SVF-doxygen/html/html/hierarchy.html +444 -397
- package/SVF-doxygen/html/html/include_2MTA_2MTAResultValidator_8h_source.html +1 -1
- package/SVF-doxygen/html/html/iterator_8h.html +123 -0
- package/SVF-doxygen/html/html/iterator_8h_source.html +134 -0
- package/SVF-doxygen/html/html/iterator__range_8h.html +109 -0
- package/SVF-doxygen/html/html/iterator__range_8h_source.html +90 -0
- package/SVF-doxygen/html/html/menudata.js +17 -16
- package/SVF-doxygen/html/html/namespacellvm.html +488 -11
- package/SVF-doxygen/html/html/namespacellvm_1_1DOT.html +107 -0
- package/SVF-doxygen/html/html/namespacellvm_1_1GraphProgram.html +122 -0
- package/SVF-doxygen/html/html/namespacemembers_c.html +9 -0
- package/SVF-doxygen/html/html/namespacemembers_d.html +5 -2
- package/SVF-doxygen/html/html/namespacemembers_e.html +3 -0
- package/SVF-doxygen/html/html/namespacemembers_enum.html +3 -0
- package/SVF-doxygen/html/html/namespacemembers_eval.html +15 -0
- package/SVF-doxygen/html/html/namespacemembers_f.html +3 -0
- package/SVF-doxygen/html/html/namespacemembers_func.html +0 -495
- package/SVF-doxygen/html/html/namespacemembers_func_b.html +88 -0
- package/SVF-doxygen/html/html/namespacemembers_func_c.html +97 -0
- package/SVF-doxygen/html/html/namespacemembers_func_d.html +97 -0
- package/SVF-doxygen/html/html/namespacemembers_func_e.html +82 -0
- package/SVF-doxygen/html/html/namespacemembers_func_f.html +76 -0
- package/SVF-doxygen/html/html/namespacemembers_func_g.html +186 -0
- package/SVF-doxygen/html/html/namespacemembers_func_h.html +76 -0
- package/SVF-doxygen/html/html/namespacemembers_func_i.html +250 -0
- package/SVF-doxygen/html/html/namespacemembers_func_m.html +91 -0
- package/SVF-doxygen/html/html/namespacemembers_func_n.html +76 -0
- package/SVF-doxygen/html/html/namespacemembers_func_o.html +94 -0
- package/SVF-doxygen/html/html/namespacemembers_func_p.html +82 -0
- package/SVF-doxygen/html/html/namespacemembers_func_r.html +79 -0
- package/SVF-doxygen/html/html/namespacemembers_func_s.html +91 -0
- package/SVF-doxygen/html/html/namespacemembers_func_t.html +76 -0
- package/SVF-doxygen/html/html/namespacemembers_func_v.html +85 -0
- package/SVF-doxygen/html/html/namespacemembers_func_w.html +82 -0
- package/SVF-doxygen/html/html/namespacemembers_i.html +8 -2
- package/SVF-doxygen/html/html/namespacemembers_m.html +12 -0
- package/SVF-doxygen/html/html/namespacemembers_n.html +9 -0
- package/SVF-doxygen/html/html/namespacemembers_r.html +4 -1
- package/SVF-doxygen/html/html/namespacemembers_t.html +3 -0
- package/SVF-doxygen/html/html/namespacemembers_type_r.html +3 -0
- package/SVF-doxygen/html/html/namespacemembers_v.html +3 -0
- package/SVF-doxygen/html/html/namespacemembers_w.html +3 -0
- package/SVF-doxygen/html/html/namespaces.html +3 -1
- package/SVF-doxygen/html/html/search/all_1.js +1 -0
- package/SVF-doxygen/html/html/search/all_10.js +13 -10
- package/SVF-doxygen/html/html/search/all_11.js +5 -2
- package/SVF-doxygen/html/html/search/all_12.js +4 -4
- package/SVF-doxygen/html/html/search/all_13.js +7 -6
- package/SVF-doxygen/html/html/search/all_15.js +4 -3
- package/SVF-doxygen/html/html/search/all_16.js +9 -2
- package/SVF-doxygen/html/html/search/all_2.js +6 -4
- package/SVF-doxygen/html/html/search/all_3.js +8 -5
- package/SVF-doxygen/html/html/search/all_4.js +9 -2
- package/SVF-doxygen/html/html/search/all_5.js +7 -2
- package/SVF-doxygen/html/html/search/all_6.js +3 -1
- package/SVF-doxygen/html/html/search/all_7.js +51 -7
- package/SVF-doxygen/html/html/search/all_8.js +1 -0
- package/SVF-doxygen/html/html/search/all_9.js +24 -6
- package/SVF-doxygen/html/html/search/all_c.js +4 -2
- package/SVF-doxygen/html/html/search/all_d.js +6 -1
- package/SVF-doxygen/html/html/search/all_e.js +7 -4
- package/SVF-doxygen/html/html/search/all_f.js +17 -13
- package/SVF-doxygen/html/html/search/classes_3.js +4 -0
- package/SVF-doxygen/html/html/search/classes_6.js +33 -1
- package/SVF-doxygen/html/html/search/classes_8.js +11 -1
- package/SVF-doxygen/html/html/search/classes_a.js +1 -0
- package/SVF-doxygen/html/html/search/classes_d.js +2 -0
- package/SVF-doxygen/html/html/search/classes_e.js +1 -0
- package/SVF-doxygen/html/html/search/enums_8.js +1 -6
- package/SVF-doxygen/html/html/search/enums_9.js +6 -1
- package/SVF-doxygen/html/html/search/enums_a.js +1 -4
- package/SVF-doxygen/html/html/search/enums_b.js +4 -2
- package/SVF-doxygen/html/html/search/enums_c.js +2 -4
- package/SVF-doxygen/html/html/search/enums_d.js +4 -1
- package/SVF-doxygen/html/html/search/enums_e.html +26 -0
- package/SVF-doxygen/html/html/search/enums_e.js +4 -0
- package/SVF-doxygen/html/html/search/enumvalues_1.js +3 -3
- package/SVF-doxygen/html/html/search/enumvalues_10.js +1 -0
- package/SVF-doxygen/html/html/search/enumvalues_2.js +1 -0
- package/SVF-doxygen/html/html/search/enumvalues_3.js +1 -0
- package/SVF-doxygen/html/html/search/enumvalues_5.js +1 -0
- package/SVF-doxygen/html/html/search/enumvalues_8.js +3 -1
- package/SVF-doxygen/html/html/search/enumvalues_b.js +1 -0
- package/SVF-doxygen/html/html/search/files_3.js +1 -0
- package/SVF-doxygen/html/html/search/files_6.js +4 -1
- package/SVF-doxygen/html/html/search/files_7.js +3 -1
- package/SVF-doxygen/html/html/search/functions_0.js +1 -0
- package/SVF-doxygen/html/html/search/functions_1.js +1 -1
- package/SVF-doxygen/html/html/search/functions_10.js +2 -0
- package/SVF-doxygen/html/html/search/functions_14.js +1 -0
- package/SVF-doxygen/html/html/search/functions_15.js +7 -0
- package/SVF-doxygen/html/html/search/functions_2.js +2 -0
- package/SVF-doxygen/html/html/search/functions_3.js +2 -1
- package/SVF-doxygen/html/html/search/functions_4.js +6 -2
- package/SVF-doxygen/html/html/search/functions_6.js +15 -6
- package/SVF-doxygen/html/html/search/functions_7.js +1 -0
- package/SVF-doxygen/html/html/search/functions_8.js +9 -3
- package/SVF-doxygen/html/html/search/functions_c.js +5 -0
- package/SVF-doxygen/html/html/search/functions_d.js +2 -0
- package/SVF-doxygen/html/html/search/functions_e.js +14 -8
- package/SVF-doxygen/html/html/search/functions_f.js +3 -1
- package/SVF-doxygen/html/html/search/namespaces_0.js +2 -0
- package/SVF-doxygen/html/html/search/related_9.js +3 -3
- package/SVF-doxygen/html/html/search/searchdata.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_1.js +1 -0
- package/SVF-doxygen/html/html/search/typedefs_13.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_2.js +2 -2
- package/SVF-doxygen/html/html/search/typedefs_3.js +2 -1
- package/SVF-doxygen/html/html/search/typedefs_6.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_7.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_c.js +3 -3
- package/SVF-doxygen/html/html/search/typedefs_e.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_f.js +2 -1
- package/SVF-doxygen/html/html/search/variables_10.js +1 -0
- package/SVF-doxygen/html/html/search/variables_13.js +2 -2
- package/SVF-doxygen/html/html/search/variables_2.js +1 -0
- package/SVF-doxygen/html/html/search/variables_3.js +1 -1
- package/SVF-doxygen/html/html/search/variables_4.js +1 -0
- package/SVF-doxygen/html/html/search/variables_5.js +1 -0
- package/SVF-doxygen/html/html/search/variables_6.js +1 -0
- package/SVF-doxygen/html/html/search/variables_7.js +2 -1
- package/SVF-doxygen/html/html/search/variables_9.js +5 -2
- package/SVF-doxygen/html/html/search/variables_c.js +1 -1
- package/SVF-doxygen/html/html/search/variables_f.js +1 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericEdge_1_1equalGEdge.html +3 -3
- package/SVF-doxygen/html/html/structSVF_1_1SparseBitVectorElement-members.html +3 -3
- package/SVF-doxygen/html/html/structSVF_1_1SparseBitVectorElement.html +46 -46
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits-members.html +99 -0
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits.html +193 -0
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4-members.html +22 -4
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html +67 -10
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4-members.html +21 -3
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html +65 -8
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4-members.html +22 -4
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +72 -12
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4-members.html +23 -5
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +70 -10
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4-members.html +23 -5
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +68 -11
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4-members.html +23 -5
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html +68 -11
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4-members.html +24 -6
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +76 -15
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4-members.html +22 -4
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html +67 -10
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4-members.html +24 -6
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html +73 -12
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1DefaultDOTGraphTraits-members.html +99 -0
- package/SVF-doxygen/html/html/structllvm_1_1DefaultDOTGraphTraits.html +855 -0
- package/SVF-doxygen/html/html/structllvm_1_1DefaultDOTGraphTraits.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits-members.html +81 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits.html +116 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4.html +106 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.html +12 -2
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.html +12 -2
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html +12 -2
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.html +12 -2
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4-members.html +1 -1
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html +33 -31
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.html +12 -2
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.html +12 -2
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.html +12 -2
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html +12 -2
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.html +12 -2
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html +5 -1
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLNode_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.html +10 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html +5 -1
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CHNode_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CHNode_01_5_01_4.html +10 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CHNode_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html +5 -1
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.html +10 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html +5 -1
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1DCHNode_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.html +10 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4-members.html +2 -2
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html +46 -44
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4-members.html +1 -1
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html +38 -34
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.html +10 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html +5 -1
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFG_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.html +5 -1
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4.html +10 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.html +5 -1
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html +5 -1
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFG_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFVar_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.html +10 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCTNode_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.html +10 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCT_01_5_01_4.html +5 -1
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCT_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1VFGNode_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.html +10 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1VFG_01_5_01_4.html +5 -1
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1VFG_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structllvm_1_1Inverse-members.html +82 -0
- package/SVF-doxygen/html/html/structllvm_1_1Inverse.html +154 -0
- package/SVF-doxygen/html/html/structllvm_1_1pointee__iterator-members.html +111 -0
- package/SVF-doxygen/html/html/structllvm_1_1pointee__iterator.html +279 -0
- package/SVF-doxygen/html/html/structllvm_1_1pointee__iterator.png +0 -0
- package/SVF-doxygen/html/html/svf-ex_8cpp.html +8 -8
- package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/tools_2MTA_2MTAResultValidator_8h_source.html +1 -1
- package/include/Graphs/DOTGraphTraits.h +188 -0
- package/include/Graphs/GenericGraph.h +50 -11
- package/include/Graphs/GraphPrinter.h +12 -20
- package/include/Graphs/GraphTraits.h +150 -0
- package/include/Graphs/GraphWriter.h +380 -0
- package/include/Util/iterator.h +407 -0
- package/include/Util/iterator_range.h +76 -0
- package/lib/Graphs/GraphWriter.cpp +53 -0
- package/lib/SVF-LLVM/LLVMModule.cpp +1 -0
- package/package.json +1 -1
|
@@ -62,12 +62,14 @@ $(function() {
|
|
|
62
62
|
</div>
|
|
63
63
|
</div><!-- top -->
|
|
64
64
|
<div class="header">
|
|
65
|
+
<div class="summary">
|
|
66
|
+
<a href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4-members.html">List of all members</a> </div>
|
|
65
67
|
<div class="headertitle">
|
|
66
68
|
<div class="title">llvm::GraphTraits< Inverse< SVF::CHNode * > > Struct Template Reference</div> </div>
|
|
67
69
|
</div><!--header-->
|
|
68
70
|
<div class="contents">
|
|
69
71
|
|
|
70
|
-
<p>Inverse GraphTraits specializations for call graph node, it is used for inverse traversal.
|
|
72
|
+
<p><a class="el" href="structllvm_1_1Inverse.html">Inverse</a> <a class="el" href="structllvm_1_1GraphTraits.html">GraphTraits</a> specializations for call graph node, it is used for inverse traversal.
|
|
71
73
|
<a href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.html#details">More...</a></p>
|
|
72
74
|
|
|
73
75
|
<p><code>#include <<a class="el" href="CHG_8h_source.html">CHG.h</a>></code></p>
|
|
@@ -77,13 +79,21 @@ Inheritance diagram for llvm::GraphTraits< Inverse< SVF::CHNode * > >
|
|
|
77
79
|
<div class="center">
|
|
78
80
|
<img src="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.png" usemap="#llvm::GraphTraits_3C_20Inverse_3C_20SVF::CHNode_20_2A_20_3E_20_3E_map" alt=""/>
|
|
79
81
|
<map id="llvm::GraphTraits_3C_20Inverse_3C_20SVF::CHNode_20_2A_20_3E_20_3E_map" name="llvm::GraphTraits_3C_20Inverse_3C_20SVF::CHNode_20_2A_20_3E_20_3E_map">
|
|
82
|
+
<area href="structllvm_1_1GraphTraits.html" alt="llvm::GraphTraits< Inverse< SVF::GenericNode< SVF::CHNode, SVF::CHEdge > * > >" shape="rect" coords="0,0,504,24"/>
|
|
80
83
|
</map>
|
|
81
84
|
</div></div>
|
|
85
|
+
<table class="memberdecls">
|
|
86
|
+
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
|
|
87
|
+
Additional Inherited Members</h2></td></tr>
|
|
88
|
+
<tr class="inherit_header pub_types_structllvm_1_1GraphTraits"><td colspan="2" onclick="javascript:toggleInherit('pub_types_structllvm_1_1GraphTraits')"><img src="closed.png" alt="-"/> Public Types inherited from <a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits< Inverse< SVF::GenericNode< SVF::CHNode, SVF::CHEdge > * > ></a></td></tr>
|
|
89
|
+
<tr class="memitem:a741f7d63af17a7bd0bcf63f68e8658bd inherit pub_types_structllvm_1_1GraphTraits"><td class="memItemLeft" align="right" valign="top">using </td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1GraphTraits.html#a741f7d63af17a7bd0bcf63f68e8658bd">NodeRef</a> = typename <a class="el" href="structllvm_1_1Inverse.html">Inverse</a>< <a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode</a>< <a class="el" href="classSVF_1_1CHNode.html">SVF::CHNode</a>, <a class="el" href="classSVF_1_1CHEdge.html">SVF::CHEdge</a> > *> ::UnknownGraphTypeError</td></tr>
|
|
90
|
+
<tr class="separator:a741f7d63af17a7bd0bcf63f68e8658bd inherit pub_types_structllvm_1_1GraphTraits"><td class="memSeparator" colspan="2"> </td></tr>
|
|
91
|
+
</table>
|
|
82
92
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
83
93
|
<div class="textblock"><h3>template<><br />
|
|
84
94
|
struct llvm::GraphTraits< Inverse< SVF::CHNode * > ></h3>
|
|
85
95
|
|
|
86
|
-
<p>Inverse GraphTraits specializations for call graph node, it is used for inverse traversal. </p>
|
|
96
|
+
<p><a class="el" href="structllvm_1_1Inverse.html">Inverse</a> <a class="el" href="structllvm_1_1GraphTraits.html">GraphTraits</a> specializations for call graph node, it is used for inverse traversal. </p>
|
|
87
97
|
|
|
88
98
|
<p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00340">340</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
|
|
89
99
|
</div><hr/>The documentation for this struct was generated from the following file:<ul>
|
|
Binary file
|
|
@@ -0,0 +1,81 @@
|
|
|
1
|
+
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
|
2
|
+
<html xmlns="http://www.w3.org/1999/xhtml">
|
|
3
|
+
<head>
|
|
4
|
+
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
|
|
5
|
+
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
|
|
6
|
+
<meta name="generator" content="Doxygen 1.8.13"/>
|
|
7
|
+
<meta name="viewport" content="width=device-width, initial-scale=1"/>
|
|
8
|
+
<title>Static Value-Flow Analysis: Member List</title>
|
|
9
|
+
<link href="tabs.css" rel="stylesheet" type="text/css"/>
|
|
10
|
+
<script type="text/javascript" src="jquery.js"></script>
|
|
11
|
+
<script type="text/javascript" src="dynsections.js"></script>
|
|
12
|
+
<link href="search/search.css" rel="stylesheet" type="text/css"/>
|
|
13
|
+
<script type="text/javascript" src="search/searchdata.js"></script>
|
|
14
|
+
<script type="text/javascript" src="search/search.js"></script>
|
|
15
|
+
<link href="doxygen.css" rel="stylesheet" type="text/css" />
|
|
16
|
+
</head>
|
|
17
|
+
<body>
|
|
18
|
+
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
|
|
19
|
+
<div id="titlearea">
|
|
20
|
+
<table cellspacing="0" cellpadding="0">
|
|
21
|
+
<tbody>
|
|
22
|
+
<tr style="height: 56px;">
|
|
23
|
+
<td id="projectalign" style="padding-left: 0.5em;">
|
|
24
|
+
<div id="projectname">Static Value-Flow Analysis
|
|
25
|
+
</div>
|
|
26
|
+
</td>
|
|
27
|
+
</tr>
|
|
28
|
+
</tbody>
|
|
29
|
+
</table>
|
|
30
|
+
</div>
|
|
31
|
+
<!-- end header part -->
|
|
32
|
+
<!-- Generated by Doxygen 1.8.13 -->
|
|
33
|
+
<script type="text/javascript">
|
|
34
|
+
var searchBox = new SearchBox("searchBox", "search",false,'Search');
|
|
35
|
+
</script>
|
|
36
|
+
<script type="text/javascript" src="menudata.js"></script>
|
|
37
|
+
<script type="text/javascript" src="menu.js"></script>
|
|
38
|
+
<script type="text/javascript">
|
|
39
|
+
$(function() {
|
|
40
|
+
initMenu('',true,false,'search.php','Search');
|
|
41
|
+
$(document).ready(function() { init_search(); });
|
|
42
|
+
});
|
|
43
|
+
</script>
|
|
44
|
+
<div id="main-nav"></div>
|
|
45
|
+
<!-- window showing the filter options -->
|
|
46
|
+
<div id="MSearchSelectWindow"
|
|
47
|
+
onmouseover="return searchBox.OnSearchSelectShow()"
|
|
48
|
+
onmouseout="return searchBox.OnSearchSelectHide()"
|
|
49
|
+
onkeydown="return searchBox.OnSearchSelectKey(event)">
|
|
50
|
+
</div>
|
|
51
|
+
|
|
52
|
+
<!-- iframe showing the search results (closed by default) -->
|
|
53
|
+
<div id="MSearchResultsWindow">
|
|
54
|
+
<iframe src="javascript:void(0)" frameborder="0"
|
|
55
|
+
name="MSearchResults" id="MSearchResults">
|
|
56
|
+
</iframe>
|
|
57
|
+
</div>
|
|
58
|
+
|
|
59
|
+
<div id="nav-path" class="navpath">
|
|
60
|
+
<ul>
|
|
61
|
+
<li class="navelem"><a class="el" href="namespacellvm.html">llvm</a></li><li class="navelem"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html">GraphTraits< Inverse< SVF::ConstraintNode * > ></a></li> </ul>
|
|
62
|
+
</div>
|
|
63
|
+
</div><!-- top -->
|
|
64
|
+
<div class="header">
|
|
65
|
+
<div class="headertitle">
|
|
66
|
+
<div class="title">llvm::GraphTraits< Inverse< SVF::ConstraintNode * > > Member List</div> </div>
|
|
67
|
+
</div><!--header-->
|
|
68
|
+
<div class="contents">
|
|
69
|
+
|
|
70
|
+
<p>This is the complete list of members for <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html">llvm::GraphTraits< Inverse< SVF::ConstraintNode * > ></a>, including all inherited members.</p>
|
|
71
|
+
<table class="directory">
|
|
72
|
+
<tr class="even"><td class="entry"><a class="el" href="structllvm_1_1GraphTraits.html#a741f7d63af17a7bd0bcf63f68e8658bd">NodeRef</a> typedef</td><td class="entry"><a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits< Inverse< SVF::GenericNode< SVF::ConstraintNode, SVF::ConstraintEdge > * > ></a></td><td class="entry"></td></tr>
|
|
73
|
+
</table></div><!-- contents -->
|
|
74
|
+
<!-- start footer part -->
|
|
75
|
+
<hr class="footer"/><address class="footer"><small>
|
|
76
|
+
Generated by  <a href="http://www.doxygen.org/index.html">
|
|
77
|
+
<img class="footer" src="doxygen.png" alt="doxygen"/>
|
|
78
|
+
</a> 1.8.13
|
|
79
|
+
</small></address>
|
|
80
|
+
</body>
|
|
81
|
+
</html>
|
|
@@ -62,12 +62,14 @@ $(function() {
|
|
|
62
62
|
</div>
|
|
63
63
|
</div><!-- top -->
|
|
64
64
|
<div class="header">
|
|
65
|
+
<div class="summary">
|
|
66
|
+
<a href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4-members.html">List of all members</a> </div>
|
|
65
67
|
<div class="headertitle">
|
|
66
68
|
<div class="title">llvm::GraphTraits< Inverse< SVF::ConstraintNode * > > Struct Template Reference</div> </div>
|
|
67
69
|
</div><!--header-->
|
|
68
70
|
<div class="contents">
|
|
69
71
|
|
|
70
|
-
<p>Inverse GraphTraits specializations for Value flow node, it is used for inverse traversal.
|
|
72
|
+
<p><a class="el" href="structllvm_1_1Inverse.html">Inverse</a> <a class="el" href="structllvm_1_1GraphTraits.html">GraphTraits</a> specializations for Value flow node, it is used for inverse traversal.
|
|
71
73
|
<a href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html#details">More...</a></p>
|
|
72
74
|
|
|
73
75
|
<p><code>#include <<a class="el" href="ConsG_8h_source.html">ConsG.h</a>></code></p>
|
|
@@ -77,13 +79,21 @@ Inheritance diagram for llvm::GraphTraits< Inverse< SVF::ConstraintNode *
|
|
|
77
79
|
<div class="center">
|
|
78
80
|
<img src="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.png" usemap="#llvm::GraphTraits_3C_20Inverse_3C_20SVF::ConstraintNode_20_2A_20_3E_20_3E_map" alt=""/>
|
|
79
81
|
<map id="llvm::GraphTraits_3C_20Inverse_3C_20SVF::ConstraintNode_20_2A_20_3E_20_3E_map" name="llvm::GraphTraits_3C_20Inverse_3C_20SVF::ConstraintNode_20_2A_20_3E_20_3E_map">
|
|
82
|
+
<area href="structllvm_1_1GraphTraits.html" alt="llvm::GraphTraits< Inverse< SVF::GenericNode< SVF::ConstraintNode, SVF::ConstraintEdge > * > >" shape="rect" coords="0,0,582,24"/>
|
|
80
83
|
</map>
|
|
81
84
|
</div></div>
|
|
85
|
+
<table class="memberdecls">
|
|
86
|
+
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
|
|
87
|
+
Additional Inherited Members</h2></td></tr>
|
|
88
|
+
<tr class="inherit_header pub_types_structllvm_1_1GraphTraits"><td colspan="2" onclick="javascript:toggleInherit('pub_types_structllvm_1_1GraphTraits')"><img src="closed.png" alt="-"/> Public Types inherited from <a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits< Inverse< SVF::GenericNode< SVF::ConstraintNode, SVF::ConstraintEdge > * > ></a></td></tr>
|
|
89
|
+
<tr class="memitem:a741f7d63af17a7bd0bcf63f68e8658bd inherit pub_types_structllvm_1_1GraphTraits"><td class="memItemLeft" align="right" valign="top">using </td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1GraphTraits.html#a741f7d63af17a7bd0bcf63f68e8658bd">NodeRef</a> = typename <a class="el" href="structllvm_1_1Inverse.html">Inverse</a>< <a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode</a>< <a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a>, <a class="el" href="classSVF_1_1ConstraintEdge.html">SVF::ConstraintEdge</a> > *> ::UnknownGraphTypeError</td></tr>
|
|
90
|
+
<tr class="separator:a741f7d63af17a7bd0bcf63f68e8658bd inherit pub_types_structllvm_1_1GraphTraits"><td class="memSeparator" colspan="2"> </td></tr>
|
|
91
|
+
</table>
|
|
82
92
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
83
93
|
<div class="textblock"><h3>template<><br />
|
|
84
94
|
struct llvm::GraphTraits< Inverse< SVF::ConstraintNode * > ></h3>
|
|
85
95
|
|
|
86
|
-
<p>Inverse GraphTraits specializations for Value flow node, it is used for inverse traversal. </p>
|
|
96
|
+
<p><a class="el" href="structllvm_1_1Inverse.html">Inverse</a> <a class="el" href="structllvm_1_1GraphTraits.html">GraphTraits</a> specializations for Value flow node, it is used for inverse traversal. </p>
|
|
87
97
|
|
|
88
98
|
<p class="definition">Definition at line <a class="el" href="ConsG_8h_source.html#l00397">397</a> of file <a class="el" href="ConsG_8h_source.html">ConsG.h</a>.</p>
|
|
89
99
|
</div><hr/>The documentation for this struct was generated from the following file:<ul>
|
|
Binary file
|
|
@@ -0,0 +1,81 @@
|
|
|
1
|
+
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
|
2
|
+
<html xmlns="http://www.w3.org/1999/xhtml">
|
|
3
|
+
<head>
|
|
4
|
+
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
|
|
5
|
+
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
|
|
6
|
+
<meta name="generator" content="Doxygen 1.8.13"/>
|
|
7
|
+
<meta name="viewport" content="width=device-width, initial-scale=1"/>
|
|
8
|
+
<title>Static Value-Flow Analysis: Member List</title>
|
|
9
|
+
<link href="tabs.css" rel="stylesheet" type="text/css"/>
|
|
10
|
+
<script type="text/javascript" src="jquery.js"></script>
|
|
11
|
+
<script type="text/javascript" src="dynsections.js"></script>
|
|
12
|
+
<link href="search/search.css" rel="stylesheet" type="text/css"/>
|
|
13
|
+
<script type="text/javascript" src="search/searchdata.js"></script>
|
|
14
|
+
<script type="text/javascript" src="search/search.js"></script>
|
|
15
|
+
<link href="doxygen.css" rel="stylesheet" type="text/css" />
|
|
16
|
+
</head>
|
|
17
|
+
<body>
|
|
18
|
+
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
|
|
19
|
+
<div id="titlearea">
|
|
20
|
+
<table cellspacing="0" cellpadding="0">
|
|
21
|
+
<tbody>
|
|
22
|
+
<tr style="height: 56px;">
|
|
23
|
+
<td id="projectalign" style="padding-left: 0.5em;">
|
|
24
|
+
<div id="projectname">Static Value-Flow Analysis
|
|
25
|
+
</div>
|
|
26
|
+
</td>
|
|
27
|
+
</tr>
|
|
28
|
+
</tbody>
|
|
29
|
+
</table>
|
|
30
|
+
</div>
|
|
31
|
+
<!-- end header part -->
|
|
32
|
+
<!-- Generated by Doxygen 1.8.13 -->
|
|
33
|
+
<script type="text/javascript">
|
|
34
|
+
var searchBox = new SearchBox("searchBox", "search",false,'Search');
|
|
35
|
+
</script>
|
|
36
|
+
<script type="text/javascript" src="menudata.js"></script>
|
|
37
|
+
<script type="text/javascript" src="menu.js"></script>
|
|
38
|
+
<script type="text/javascript">
|
|
39
|
+
$(function() {
|
|
40
|
+
initMenu('',true,false,'search.php','Search');
|
|
41
|
+
$(document).ready(function() { init_search(); });
|
|
42
|
+
});
|
|
43
|
+
</script>
|
|
44
|
+
<div id="main-nav"></div>
|
|
45
|
+
<!-- window showing the filter options -->
|
|
46
|
+
<div id="MSearchSelectWindow"
|
|
47
|
+
onmouseover="return searchBox.OnSearchSelectShow()"
|
|
48
|
+
onmouseout="return searchBox.OnSearchSelectHide()"
|
|
49
|
+
onkeydown="return searchBox.OnSearchSelectKey(event)">
|
|
50
|
+
</div>
|
|
51
|
+
|
|
52
|
+
<!-- iframe showing the search results (closed by default) -->
|
|
53
|
+
<div id="MSearchResultsWindow">
|
|
54
|
+
<iframe src="javascript:void(0)" frameborder="0"
|
|
55
|
+
name="MSearchResults" id="MSearchResults">
|
|
56
|
+
</iframe>
|
|
57
|
+
</div>
|
|
58
|
+
|
|
59
|
+
<div id="nav-path" class="navpath">
|
|
60
|
+
<ul>
|
|
61
|
+
<li class="navelem"><a class="el" href="namespacellvm.html">llvm</a></li><li class="navelem"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.html">GraphTraits< Inverse< SVF::DCHNode * > ></a></li> </ul>
|
|
62
|
+
</div>
|
|
63
|
+
</div><!-- top -->
|
|
64
|
+
<div class="header">
|
|
65
|
+
<div class="headertitle">
|
|
66
|
+
<div class="title">llvm::GraphTraits< Inverse< SVF::DCHNode * > > Member List</div> </div>
|
|
67
|
+
</div><!--header-->
|
|
68
|
+
<div class="contents">
|
|
69
|
+
|
|
70
|
+
<p>This is the complete list of members for <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.html">llvm::GraphTraits< Inverse< SVF::DCHNode * > ></a>, including all inherited members.</p>
|
|
71
|
+
<table class="directory">
|
|
72
|
+
<tr class="even"><td class="entry"><a class="el" href="structllvm_1_1GraphTraits.html#a741f7d63af17a7bd0bcf63f68e8658bd">NodeRef</a> typedef</td><td class="entry"><a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits< Inverse< SVF::GenericNode< SVF::DCHNode, SVF::DCHEdge > * > ></a></td><td class="entry"></td></tr>
|
|
73
|
+
</table></div><!-- contents -->
|
|
74
|
+
<!-- start footer part -->
|
|
75
|
+
<hr class="footer"/><address class="footer"><small>
|
|
76
|
+
Generated by  <a href="http://www.doxygen.org/index.html">
|
|
77
|
+
<img class="footer" src="doxygen.png" alt="doxygen"/>
|
|
78
|
+
</a> 1.8.13
|
|
79
|
+
</small></address>
|
|
80
|
+
</body>
|
|
81
|
+
</html>
|
|
@@ -62,12 +62,14 @@ $(function() {
|
|
|
62
62
|
</div>
|
|
63
63
|
</div><!-- top -->
|
|
64
64
|
<div class="header">
|
|
65
|
+
<div class="summary">
|
|
66
|
+
<a href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4-members.html">List of all members</a> </div>
|
|
65
67
|
<div class="headertitle">
|
|
66
68
|
<div class="title">llvm::GraphTraits< Inverse< SVF::DCHNode * > > Struct Template Reference</div> </div>
|
|
67
69
|
</div><!--header-->
|
|
68
70
|
<div class="contents">
|
|
69
71
|
|
|
70
|
-
<p>Inverse GraphTraits specializations for call graph node, it is used for inverse traversal.
|
|
72
|
+
<p><a class="el" href="structllvm_1_1Inverse.html">Inverse</a> <a class="el" href="structllvm_1_1GraphTraits.html">GraphTraits</a> specializations for call graph node, it is used for inverse traversal.
|
|
71
73
|
<a href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.html#details">More...</a></p>
|
|
72
74
|
|
|
73
75
|
<p><code>#include <<a class="el" href="DCHG_8h_source.html">DCHG.h</a>></code></p>
|
|
@@ -77,13 +79,21 @@ Inheritance diagram for llvm::GraphTraits< Inverse< SVF::DCHNode * > &g
|
|
|
77
79
|
<div class="center">
|
|
78
80
|
<img src="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.png" usemap="#llvm::GraphTraits_3C_20Inverse_3C_20SVF::DCHNode_20_2A_20_3E_20_3E_map" alt=""/>
|
|
79
81
|
<map id="llvm::GraphTraits_3C_20Inverse_3C_20SVF::DCHNode_20_2A_20_3E_20_3E_map" name="llvm::GraphTraits_3C_20Inverse_3C_20SVF::DCHNode_20_2A_20_3E_20_3E_map">
|
|
82
|
+
<area href="structllvm_1_1GraphTraits.html" alt="llvm::GraphTraits< Inverse< SVF::GenericNode< SVF::DCHNode, SVF::DCHEdge > * > >" shape="rect" coords="0,0,522,24"/>
|
|
80
83
|
</map>
|
|
81
84
|
</div></div>
|
|
85
|
+
<table class="memberdecls">
|
|
86
|
+
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
|
|
87
|
+
Additional Inherited Members</h2></td></tr>
|
|
88
|
+
<tr class="inherit_header pub_types_structllvm_1_1GraphTraits"><td colspan="2" onclick="javascript:toggleInherit('pub_types_structllvm_1_1GraphTraits')"><img src="closed.png" alt="-"/> Public Types inherited from <a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits< Inverse< SVF::GenericNode< SVF::DCHNode, SVF::DCHEdge > * > ></a></td></tr>
|
|
89
|
+
<tr class="memitem:a741f7d63af17a7bd0bcf63f68e8658bd inherit pub_types_structllvm_1_1GraphTraits"><td class="memItemLeft" align="right" valign="top">using </td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1GraphTraits.html#a741f7d63af17a7bd0bcf63f68e8658bd">NodeRef</a> = typename <a class="el" href="structllvm_1_1Inverse.html">Inverse</a>< <a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode</a>< <a class="el" href="classSVF_1_1DCHNode.html">SVF::DCHNode</a>, <a class="el" href="classSVF_1_1DCHEdge.html">SVF::DCHEdge</a> > *> ::UnknownGraphTypeError</td></tr>
|
|
90
|
+
<tr class="separator:a741f7d63af17a7bd0bcf63f68e8658bd inherit pub_types_structllvm_1_1GraphTraits"><td class="memSeparator" colspan="2"> </td></tr>
|
|
91
|
+
</table>
|
|
82
92
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
83
93
|
<div class="textblock"><h3>template<><br />
|
|
84
94
|
struct llvm::GraphTraits< Inverse< SVF::DCHNode * > ></h3>
|
|
85
95
|
|
|
86
|
-
<p>Inverse GraphTraits specializations for call graph node, it is used for inverse traversal. </p>
|
|
96
|
+
<p><a class="el" href="structllvm_1_1Inverse.html">Inverse</a> <a class="el" href="structllvm_1_1GraphTraits.html">GraphTraits</a> specializations for call graph node, it is used for inverse traversal. </p>
|
|
87
97
|
|
|
88
98
|
<p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00470">470</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
|
|
89
99
|
</div><hr/>The documentation for this struct was generated from the following file:<ul>
|
|
Binary file
|
|
@@ -71,7 +71,7 @@ $(function() {
|
|
|
71
71
|
<table class="directory">
|
|
72
72
|
<tr class="even"><td class="entry"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a40de5c2e7ac24421cc93b2235d00089c">child_begin</a>(const NodeType *N)</td><td class="entry"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html">llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
73
73
|
<tr><td class="entry"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab82e90ae6e1f1b39e5c33f9c9a6cfcf9">child_end</a>(const NodeType *N)</td><td class="entry"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html">llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
74
|
-
<tr class="even"><td class="entry"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#
|
|
74
|
+
<tr class="even"><td class="entry"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a62d135bf75ae93de38cf6f7f326967e6">ChildIteratorType</a> typedef</td><td class="entry"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html">llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> ></a></td><td class="entry"></td></tr>
|
|
75
75
|
<tr><td class="entry"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a1b463e94c43d2966b8d6cf096b3d04cd">edge_dest</a>(const EdgeType *E)</td><td class="entry"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html">llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
76
76
|
<tr class="even"><td class="entry"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a279f6f463a31f98fe8e1d5f4c78f9e6d">EdgeType</a> typedef</td><td class="entry"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html">llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> ></a></td><td class="entry"></td></tr>
|
|
77
77
|
<tr><td class="entry"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#afbe31ee2733b5990ab5b1f8c344fa3e0">getEntryNode</a>(Inverse< NodeType * > G)</td><td class="entry"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html">llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
@@ -79,18 +79,18 @@ Public Types</h2></td></tr>
|
|
|
79
79
|
<tr class="separator:ab7627f7ad0d6ea6dbe89132031ef732c"><td class="memSeparator" colspan="2"> </td></tr>
|
|
80
80
|
<tr class="memitem:a279f6f463a31f98fe8e1d5f4c78f9e6d"><td class="memItemLeft" align="right" valign="top">typedef EdgeTy </td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a279f6f463a31f98fe8e1d5f4c78f9e6d">EdgeType</a></td></tr>
|
|
81
81
|
<tr class="separator:a279f6f463a31f98fe8e1d5f4c78f9e6d"><td class="memSeparator" colspan="2"> </td></tr>
|
|
82
|
-
<tr class="memitem:
|
|
83
|
-
<tr class="separator:
|
|
82
|
+
<tr class="memitem:a62d135bf75ae93de38cf6f7f326967e6"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classllvm_1_1mapped__iter.html">mapped_iter</a>< typename <a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode</a>< NodeTy, EdgeTy >::iterator, decltype(&edge_dest)> </td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a62d135bf75ae93de38cf6f7f326967e6">ChildIteratorType</a></td></tr>
|
|
83
|
+
<tr class="separator:a62d135bf75ae93de38cf6f7f326967e6"><td class="memSeparator" colspan="2"> </td></tr>
|
|
84
84
|
</table><table class="memberdecls">
|
|
85
85
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-static-methods"></a>
|
|
86
86
|
Static Public Member Functions</h2></td></tr>
|
|
87
87
|
<tr class="memitem:a1b463e94c43d2966b8d6cf096b3d04cd"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab7627f7ad0d6ea6dbe89132031ef732c">NodeType</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a1b463e94c43d2966b8d6cf096b3d04cd">edge_dest</a> (const <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a279f6f463a31f98fe8e1d5f4c78f9e6d">EdgeType</a> *E)</td></tr>
|
|
88
88
|
<tr class="separator:a1b463e94c43d2966b8d6cf096b3d04cd"><td class="memSeparator" colspan="2"> </td></tr>
|
|
89
|
-
<tr class="memitem:afbe31ee2733b5990ab5b1f8c344fa3e0"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab7627f7ad0d6ea6dbe89132031ef732c">NodeType</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#afbe31ee2733b5990ab5b1f8c344fa3e0">getEntryNode</a> (Inverse
|
|
89
|
+
<tr class="memitem:afbe31ee2733b5990ab5b1f8c344fa3e0"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab7627f7ad0d6ea6dbe89132031ef732c">NodeType</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#afbe31ee2733b5990ab5b1f8c344fa3e0">getEntryNode</a> (<a class="el" href="structllvm_1_1Inverse.html">Inverse</a>< <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab7627f7ad0d6ea6dbe89132031ef732c">NodeType</a> * > G)</td></tr>
|
|
90
90
|
<tr class="separator:afbe31ee2733b5990ab5b1f8c344fa3e0"><td class="memSeparator" colspan="2"> </td></tr>
|
|
91
|
-
<tr class="memitem:a40de5c2e7ac24421cc93b2235d00089c"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#
|
|
91
|
+
<tr class="memitem:a40de5c2e7ac24421cc93b2235d00089c"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a62d135bf75ae93de38cf6f7f326967e6">ChildIteratorType</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a40de5c2e7ac24421cc93b2235d00089c">child_begin</a> (const <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab7627f7ad0d6ea6dbe89132031ef732c">NodeType</a> *N)</td></tr>
|
|
92
92
|
<tr class="separator:a40de5c2e7ac24421cc93b2235d00089c"><td class="memSeparator" colspan="2"> </td></tr>
|
|
93
|
-
<tr class="memitem:ab82e90ae6e1f1b39e5c33f9c9a6cfcf9"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#
|
|
93
|
+
<tr class="memitem:ab82e90ae6e1f1b39e5c33f9c9a6cfcf9"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a62d135bf75ae93de38cf6f7f326967e6">ChildIteratorType</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab82e90ae6e1f1b39e5c33f9c9a6cfcf9">child_end</a> (const <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab7627f7ad0d6ea6dbe89132031ef732c">NodeType</a> *N)</td></tr>
|
|
94
94
|
<tr class="separator:ab82e90ae6e1f1b39e5c33f9c9a6cfcf9"><td class="memSeparator" colspan="2"> </td></tr>
|
|
95
95
|
<tr class="memitem:ac79255244b6b59876be19266ff214afb"><td class="memItemLeft" align="right" valign="top">static unsigned </td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ac79255244b6b59876be19266ff214afb">getNodeID</a> (const <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab7627f7ad0d6ea6dbe89132031ef732c">NodeType</a> *N)</td></tr>
|
|
96
96
|
<tr class="separator:ac79255244b6b59876be19266ff214afb"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -99,12 +99,12 @@ Static Public Member Functions</h2></td></tr>
|
|
|
99
99
|
<div class="textblock"><h3>template<class NodeTy, class EdgeTy><br />
|
|
100
100
|
struct llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> ></h3>
|
|
101
101
|
|
|
102
|
-
<p>Inverse GraphTraits for node which is used for inverse traversal. </p>
|
|
102
|
+
<p><a class="el" href="structllvm_1_1Inverse.html">Inverse</a> <a class="el" href="structllvm_1_1GraphTraits.html">GraphTraits</a> for node which is used for inverse traversal. </p>
|
|
103
103
|
|
|
104
|
-
<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#
|
|
104
|
+
<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00537">537</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
|
|
105
105
|
</div><h2 class="groupheader">Member Typedef Documentation</h2>
|
|
106
|
-
<a id="
|
|
107
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
106
|
+
<a id="a62d135bf75ae93de38cf6f7f326967e6"></a>
|
|
107
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a62d135bf75ae93de38cf6f7f326967e6">◆ </a></span>ChildIteratorType</h2>
|
|
108
108
|
|
|
109
109
|
<div class="memitem">
|
|
110
110
|
<div class="memproto">
|
|
@@ -112,12 +112,12 @@ struct llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy >
|
|
|
112
112
|
template<class NodeTy , class EdgeTy > </div>
|
|
113
113
|
<table class="memname">
|
|
114
114
|
<tr>
|
|
115
|
-
<td class="memname">typedef
|
|
115
|
+
<td class="memname">typedef <a class="el" href="classllvm_1_1mapped__iter.html">mapped_iter</a><typename <a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode</a><NodeTy,EdgeTy>::iterator, decltype(&edge_dest)> <a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits</a>< <a class="el" href="structllvm_1_1Inverse.html">Inverse</a>< <a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode</a>< NodeTy, EdgeTy > *> >::<a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a62d135bf75ae93de38cf6f7f326967e6">ChildIteratorType</a></td>
|
|
116
116
|
</tr>
|
|
117
117
|
</table>
|
|
118
118
|
</div><div class="memdoc">
|
|
119
119
|
|
|
120
|
-
<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#
|
|
120
|
+
<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00548">548</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
|
|
121
121
|
|
|
122
122
|
</div>
|
|
123
123
|
</div>
|
|
@@ -130,12 +130,12 @@ template<class NodeTy , class EdgeTy > </div>
|
|
|
130
130
|
template<class NodeTy , class EdgeTy > </div>
|
|
131
131
|
<table class="memname">
|
|
132
132
|
<tr>
|
|
133
|
-
<td class="memname">typedef EdgeTy llvm::GraphTraits
|
|
133
|
+
<td class="memname">typedef EdgeTy <a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits</a>< <a class="el" href="structllvm_1_1Inverse.html">Inverse</a>< <a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode</a>< NodeTy, EdgeTy > *> >::<a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a279f6f463a31f98fe8e1d5f4c78f9e6d">EdgeType</a></td>
|
|
134
134
|
</tr>
|
|
135
135
|
</table>
|
|
136
136
|
</div><div class="memdoc">
|
|
137
137
|
|
|
138
|
-
<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#
|
|
138
|
+
<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00540">540</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
|
|
139
139
|
|
|
140
140
|
</div>
|
|
141
141
|
</div>
|
|
@@ -148,12 +148,12 @@ template<class NodeTy , class EdgeTy > </div>
|
|
|
148
148
|
template<class NodeTy , class EdgeTy > </div>
|
|
149
149
|
<table class="memname">
|
|
150
150
|
<tr>
|
|
151
|
-
<td class="memname">typedef NodeTy llvm::GraphTraits
|
|
151
|
+
<td class="memname">typedef NodeTy <a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits</a>< <a class="el" href="structllvm_1_1Inverse.html">Inverse</a>< <a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode</a>< NodeTy, EdgeTy > *> >::<a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab7627f7ad0d6ea6dbe89132031ef732c">NodeType</a></td>
|
|
152
152
|
</tr>
|
|
153
153
|
</table>
|
|
154
154
|
</div><div class="memdoc">
|
|
155
155
|
|
|
156
|
-
<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#
|
|
156
|
+
<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00539">539</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
|
|
157
157
|
|
|
158
158
|
</div>
|
|
159
159
|
</div>
|
|
@@ -170,7 +170,7 @@ template<class NodeTy , class EdgeTy > </div>
|
|
|
170
170
|
<td class="mlabels-left">
|
|
171
171
|
<table class="memname">
|
|
172
172
|
<tr>
|
|
173
|
-
<td class="memname">static <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#
|
|
173
|
+
<td class="memname">static <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a62d135bf75ae93de38cf6f7f326967e6">ChildIteratorType</a> <a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits</a>< <a class="el" href="structllvm_1_1Inverse.html">Inverse</a>< <a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode</a>< NodeTy, EdgeTy > *> >::child_begin </td>
|
|
174
174
|
<td>(</td>
|
|
175
175
|
<td class="paramtype">const <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab7627f7ad0d6ea6dbe89132031ef732c">NodeType</a> * </td>
|
|
176
176
|
<td class="paramname"><em>N</em></td><td>)</td>
|
|
@@ -184,8 +184,9 @@ template<class NodeTy , class EdgeTy > </div>
|
|
|
184
184
|
</table>
|
|
185
185
|
</div><div class="memdoc">
|
|
186
186
|
|
|
187
|
-
<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#
|
|
188
|
-
<div class="fragment"><div class="line"><a name="
|
|
187
|
+
<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00555">555</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
|
|
188
|
+
<div class="fragment"><div class="line"><a name="l00556"></a><span class="lineno"> 556</span>  {</div><div class="line"><a name="l00557"></a><span class="lineno"> 557</span>  <span class="keywordflow">return</span> <a class="code" href="namespacellvm.html#a5c9e26cd5f9790cad19af6af0d0e2925">map_iter</a>(N->InEdgeBegin(), &edge_dest);</div><div class="line"><a name="l00558"></a><span class="lineno"> 558</span>  }</div><div class="ttc" id="namespacellvm_html_a5c9e26cd5f9790cad19af6af0d0e2925"><div class="ttname"><a href="namespacellvm.html#a5c9e26cd5f9790cad19af6af0d0e2925">llvm::map_iter</a></div><div class="ttdeci">mapped_iter< ItTy, FuncTy > map_iter(ItTy I, FuncTy F)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00489">GenericGraph.h:489</a></div></div>
|
|
189
|
+
</div><!-- fragment -->
|
|
189
190
|
</div>
|
|
190
191
|
</div>
|
|
191
192
|
<a id="ab82e90ae6e1f1b39e5c33f9c9a6cfcf9"></a>
|
|
@@ -200,7 +201,7 @@ template<class NodeTy , class EdgeTy > </div>
|
|
|
200
201
|
<td class="mlabels-left">
|
|
201
202
|
<table class="memname">
|
|
202
203
|
<tr>
|
|
203
|
-
<td class="memname">static <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#
|
|
204
|
+
<td class="memname">static <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a62d135bf75ae93de38cf6f7f326967e6">ChildIteratorType</a> <a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits</a>< <a class="el" href="structllvm_1_1Inverse.html">Inverse</a>< <a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode</a>< NodeTy, EdgeTy > *> >::child_end </td>
|
|
204
205
|
<td>(</td>
|
|
205
206
|
<td class="paramtype">const <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab7627f7ad0d6ea6dbe89132031ef732c">NodeType</a> * </td>
|
|
206
207
|
<td class="paramname"><em>N</em></td><td>)</td>
|
|
@@ -214,8 +215,9 @@ template<class NodeTy , class EdgeTy > </div>
|
|
|
214
215
|
</table>
|
|
215
216
|
</div><div class="memdoc">
|
|
216
217
|
|
|
217
|
-
<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#
|
|
218
|
-
<div class="fragment"><div class="line"><a name="
|
|
218
|
+
<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00559">559</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
|
|
219
|
+
<div class="fragment"><div class="line"><a name="l00560"></a><span class="lineno"> 560</span>  {</div><div class="line"><a name="l00561"></a><span class="lineno"> 561</span>  <span class="keywordflow">return</span> <a class="code" href="namespacellvm.html#a5c9e26cd5f9790cad19af6af0d0e2925">map_iter</a>(N->InEdgeEnd(), &edge_dest);</div><div class="line"><a name="l00562"></a><span class="lineno"> 562</span>  }</div><div class="ttc" id="namespacellvm_html_a5c9e26cd5f9790cad19af6af0d0e2925"><div class="ttname"><a href="namespacellvm.html#a5c9e26cd5f9790cad19af6af0d0e2925">llvm::map_iter</a></div><div class="ttdeci">mapped_iter< ItTy, FuncTy > map_iter(ItTy I, FuncTy F)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00489">GenericGraph.h:489</a></div></div>
|
|
220
|
+
</div><!-- fragment -->
|
|
219
221
|
</div>
|
|
220
222
|
</div>
|
|
221
223
|
<a id="a1b463e94c43d2966b8d6cf096b3d04cd"></a>
|
|
@@ -230,7 +232,7 @@ template<class NodeTy , class EdgeTy > </div>
|
|
|
230
232
|
<td class="mlabels-left">
|
|
231
233
|
<table class="memname">
|
|
232
234
|
<tr>
|
|
233
|
-
<td class="memname">static <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab7627f7ad0d6ea6dbe89132031ef732c">NodeType</a>* llvm::GraphTraits
|
|
235
|
+
<td class="memname">static <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab7627f7ad0d6ea6dbe89132031ef732c">NodeType</a>* <a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits</a>< <a class="el" href="structllvm_1_1Inverse.html">Inverse</a>< <a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode</a>< NodeTy, EdgeTy > *> >::edge_dest </td>
|
|
234
236
|
<td>(</td>
|
|
235
237
|
<td class="paramtype">const <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a279f6f463a31f98fe8e1d5f4c78f9e6d">EdgeType</a> * </td>
|
|
236
238
|
<td class="paramname"><em>E</em></td><td>)</td>
|
|
@@ -244,8 +246,8 @@ template<class NodeTy , class EdgeTy > </div>
|
|
|
244
246
|
</table>
|
|
245
247
|
</div><div class="memdoc">
|
|
246
248
|
|
|
247
|
-
<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#
|
|
248
|
-
<div class="fragment"><div class="line"><a name="
|
|
249
|
+
<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00542">542</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
|
|
250
|
+
<div class="fragment"><div class="line"><a name="l00543"></a><span class="lineno"> 543</span>  {</div><div class="line"><a name="l00544"></a><span class="lineno"> 544</span>  <span class="keywordflow">return</span> E->getSrcNode();</div><div class="line"><a name="l00545"></a><span class="lineno"> 545</span>  }</div></div><!-- fragment -->
|
|
249
251
|
</div>
|
|
250
252
|
</div>
|
|
251
253
|
<a id="afbe31ee2733b5990ab5b1f8c344fa3e0"></a>
|
|
@@ -260,9 +262,9 @@ template<class NodeTy , class EdgeTy > </div>
|
|
|
260
262
|
<td class="mlabels-left">
|
|
261
263
|
<table class="memname">
|
|
262
264
|
<tr>
|
|
263
|
-
<td class="memname">static <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab7627f7ad0d6ea6dbe89132031ef732c">NodeType</a>* llvm::GraphTraits
|
|
265
|
+
<td class="memname">static <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab7627f7ad0d6ea6dbe89132031ef732c">NodeType</a>* <a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits</a>< <a class="el" href="structllvm_1_1Inverse.html">Inverse</a>< <a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode</a>< NodeTy, EdgeTy > *> >::getEntryNode </td>
|
|
264
266
|
<td>(</td>
|
|
265
|
-
<td class="paramtype">Inverse
|
|
267
|
+
<td class="paramtype"><a class="el" href="structllvm_1_1Inverse.html">Inverse</a>< <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab7627f7ad0d6ea6dbe89132031ef732c">NodeType</a> * > </td>
|
|
266
268
|
<td class="paramname"><em>G</em></td><td>)</td>
|
|
267
269
|
<td></td>
|
|
268
270
|
</tr>
|
|
@@ -274,8 +276,8 @@ template<class NodeTy , class EdgeTy > </div>
|
|
|
274
276
|
</table>
|
|
275
277
|
</div><div class="memdoc">
|
|
276
278
|
|
|
277
|
-
<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#
|
|
278
|
-
<div class="fragment"><div class="line"><a name="
|
|
279
|
+
<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00550">550</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
|
|
280
|
+
<div class="fragment"><div class="line"><a name="l00551"></a><span class="lineno"> 551</span>  {</div><div class="line"><a name="l00552"></a><span class="lineno"> 552</span>  <span class="keywordflow">return</span> G.Graph;</div><div class="line"><a name="l00553"></a><span class="lineno"> 553</span>  }</div></div><!-- fragment -->
|
|
279
281
|
</div>
|
|
280
282
|
</div>
|
|
281
283
|
<a id="ac79255244b6b59876be19266ff214afb"></a>
|
|
@@ -290,7 +292,7 @@ template<class NodeTy , class EdgeTy > </div>
|
|
|
290
292
|
<td class="mlabels-left">
|
|
291
293
|
<table class="memname">
|
|
292
294
|
<tr>
|
|
293
|
-
<td class="memname">static unsigned llvm::GraphTraits
|
|
295
|
+
<td class="memname">static unsigned <a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits</a>< <a class="el" href="structllvm_1_1Inverse.html">Inverse</a>< <a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode</a>< NodeTy, EdgeTy > *> >::getNodeID </td>
|
|
294
296
|
<td>(</td>
|
|
295
297
|
<td class="paramtype">const <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab7627f7ad0d6ea6dbe89132031ef732c">NodeType</a> * </td>
|
|
296
298
|
<td class="paramname"><em>N</em></td><td>)</td>
|
|
@@ -304,8 +306,8 @@ template<class NodeTy , class EdgeTy > </div>
|
|
|
304
306
|
</table>
|
|
305
307
|
</div><div class="memdoc">
|
|
306
308
|
|
|
307
|
-
<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#
|
|
308
|
-
<div class="fragment"><div class="line"><a name="
|
|
309
|
+
<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00564">564</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
|
|
310
|
+
<div class="fragment"><div class="line"><a name="l00565"></a><span class="lineno"> 565</span>  {</div><div class="line"><a name="l00566"></a><span class="lineno"> 566</span>  <span class="keywordflow">return</span> N->getId();</div><div class="line"><a name="l00567"></a><span class="lineno"> 567</span>  }</div></div><!-- fragment -->
|
|
309
311
|
</div>
|
|
310
312
|
</div>
|
|
311
313
|
<hr/>The documentation for this struct was generated from the following file:<ul>
|