svf-tools 1.0.596 → 1.0.598
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/README.md +1 -1
- package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/Andersen_8cpp_source.html +11 -11
- package/SVF-doxygen/html/html/Andersen_8h_source.html +5 -5
- package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/CFLAlias_8h_source.html +5 -5
- 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.html +3 -2
- package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html +15 -16
- package/SVF-doxygen/html/html/CFLGraph_8h.html +4 -6
- package/SVF-doxygen/html/html/CFLGraph_8h_source.html +19 -20
- 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 +8 -8
- package/SVF-doxygen/html/html/CHG_8cpp.html +6 -5
- package/SVF-doxygen/html/html/CHG_8cpp_source.html +26 -27
- package/SVF-doxygen/html/html/CHG_8h.html +4 -6
- package/SVF-doxygen/html/html/CHG_8h_source.html +13 -14
- package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +3 -3
- 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.html +3 -2
- package/SVF-doxygen/html/html/ConsG_8cpp_source.html +27 -28
- package/SVF-doxygen/html/html/ConsG_8h.html +4 -6
- package/SVF-doxygen/html/html/ConsG_8h_source.html +10 -11
- package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/ContextDDA_8h_source.html +3 -3
- package/SVF-doxygen/html/html/CxtStmt_8h_source.html +4 -4
- package/SVF-doxygen/html/html/DCHG_8cpp_source.html +21 -21
- package/SVF-doxygen/html/html/DCHG_8h.html +4 -6
- package/SVF-doxygen/html/html/DCHG_8h_source.html +15 -16
- package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/DDAClient_8h_source.html +1 -1
- package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +9 -9
- package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +8 -8
- package/SVF-doxygen/html/html/DOTGraphTraits_8h.html +4 -3
- package/SVF-doxygen/html/html/DOTGraphTraits_8h_source.html +24 -24
- package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/DoubleFreeChecker_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/ExtAPI_8h_source.html +1 -1
- package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +12 -12
- package/SVF-doxygen/html/html/FileChecker_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/FileChecker_8h_source.html +1 -1
- package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/FlowDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +8 -8
- package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +1 -1
- package/SVF-doxygen/html/html/GEPTypeBridgeIterator_8h_source.html +2 -2
- package/SVF-doxygen/html/html/GenericGraph_8h.html +8 -9
- package/SVF-doxygen/html/html/GenericGraph_8h_source.html +125 -125
- package/SVF-doxygen/html/html/GraphPrinter_8h.html +3 -2
- package/SVF-doxygen/html/html/GraphPrinter_8h_source.html +7 -7
- package/SVF-doxygen/html/html/GraphReachSolver_8h_source.html +4 -4
- package/SVF-doxygen/html/html/GraphTraits_8h.html +20 -19
- package/SVF-doxygen/html/html/GraphTraits_8h_source.html +13 -13
- package/SVF-doxygen/html/html/GraphWriter_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/GraphWriter_8h.html +23 -22
- package/SVF-doxygen/html/html/GraphWriter_8h_source.html +48 -48
- package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +2 -2
- package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +7 -7
- package/SVF-doxygen/html/html/ICFGNode_8h_source.html +7 -7
- package/SVF-doxygen/html/html/ICFGStat_8h_source.html +3 -3
- package/SVF-doxygen/html/html/ICFG_8cpp.html +3 -2
- package/SVF-doxygen/html/html/ICFG_8cpp_source.html +27 -28
- package/SVF-doxygen/html/html/ICFG_8h.html +4 -6
- package/SVF-doxygen/html/html/ICFG_8h_source.html +14 -15
- package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +2 -2
- package/SVF-doxygen/html/html/IRGraph_8cpp.html +3 -2
- package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +20 -21
- package/SVF-doxygen/html/html/IRGraph_8h.html +4 -6
- package/SVF-doxygen/html/html/IRGraph_8h_source.html +9 -10
- package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +38 -39
- package/SVF-doxygen/html/html/LLVMModule_8h_source.html +19 -19
- package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +16 -9
- package/SVF-doxygen/html/html/LLVMUtil_8h.html +6 -0
- package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +6 -4
- package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/LeakChecker_8h_source.html +1 -1
- package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +23 -23
- package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +3 -3
- package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +3 -3
- package/SVF-doxygen/html/html/MHP_8cpp_source.html +23 -23
- package/SVF-doxygen/html/html/MHP_8h_source.html +4 -4
- package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +3 -3
- package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +3 -3
- package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +8 -8
- package/SVF-doxygen/html/html/MTA_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/MemPartition_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MemPartition_8h_source.html +1 -1
- package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +18 -18
- package/SVF-doxygen/html/html/MemRegion_8h_source.html +2 -2
- package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +21 -21
- package/SVF-doxygen/html/html/MemSSA_8h_source.html +2 -2
- package/SVF-doxygen/html/html/PCG_8cpp_source.html +18 -18
- package/SVF-doxygen/html/html/PCG_8h_source.html +3 -3
- package/SVF-doxygen/html/html/PTACallGraph_8cpp.html +3 -2
- package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +27 -28
- package/SVF-doxygen/html/html/PTACallGraph_8h.html +4 -6
- package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +17 -18
- 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 +3 -3
- package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +18 -18
- package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +3 -3
- package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/ProgSlice_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SCC_8h_source.html +4 -4
- package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFGEdge_8h_source.html +3 -3
- package/SVF-doxygen/html/html/SVFGNode_8h_source.html +3 -3
- package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +14 -14
- package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +9 -9
- package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/SVFG_8cpp.html +3 -2
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +23 -24
- package/SVF-doxygen/html/html/SVFG_8h.html +1 -3
- package/SVF-doxygen/html/html/SVFG_8h_source.html +13 -14
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +15 -14
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +4 -4
- package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +8 -8
- package/SVF-doxygen/html/html/SVFIR_8h_source.html +4 -4
- package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/SVFModule_8h_source.html +4 -4
- package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +9 -9
- package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +9 -9
- package/SVF-doxygen/html/html/SVFStatements_8h_source.html +12 -12
- package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/SVFUtil_8h_source.html +9 -9
- package/SVF-doxygen/html/html/SVFValue_8cpp_source.html +16 -19
- package/SVF-doxygen/html/html/SVFValue_8h.html +3 -3
- package/SVF-doxygen/html/html/SVFValue_8h_source.html +210 -213
- package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/SVFVariables_8h_source.html +13 -14
- package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +3 -3
- package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +17 -17
- package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +6 -6
- package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +8 -8
- package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SrcSnkSolver_8h_source.html +3 -4
- package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +7 -10
- package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +3 -4
- package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +2 -2
- package/SVF-doxygen/html/html/TCT_8cpp.html +3 -2
- package/SVF-doxygen/html/html/TCT_8cpp_source.html +38 -39
- package/SVF-doxygen/html/html/TCT_8h.html +4 -6
- package/SVF-doxygen/html/html/TCT_8h_source.html +27 -28
- package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +10 -10
- package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +6 -6
- package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/ThreadCallGraph_8h_source.html +7 -7
- package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +8 -8
- package/SVF-doxygen/html/html/VFGEdge_8h_source.html +6 -6
- package/SVF-doxygen/html/html/VFGNode_8h_source.html +8 -8
- package/SVF-doxygen/html/html/VFG_8cpp.html +3 -2
- package/SVF-doxygen/html/html/VFG_8cpp_source.html +20 -21
- package/SVF-doxygen/html/html/VFG_8h.html +4 -6
- package/SVF-doxygen/html/html/VFG_8h_source.html +14 -15
- package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +10 -10
- package/SVF-doxygen/html/html/WPAFSSolver_8h_source.html +3 -3
- package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +8 -8
- package/SVF-doxygen/html/html/WPAPass_8h_source.html +1 -1
- package/SVF-doxygen/html/html/WPASolver_8h_source.html +4 -4
- package/SVF-doxygen/html/html/annotated.html +291 -291
- package/SVF-doxygen/html/html/cfl_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1AddrCGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +1 -1
- 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 +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1Andersen-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +33 -33
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +17 -17
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +4 -4
- 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_1BinaryOPStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1CFLEdge.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraph.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1CFLNode-members.html +45 -44
- package/SVF-doxygen/html/html/classSVF_1_1CFLNode.html +29 -29
- 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 +16 -16
- package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +17 -17
- package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1CallCHI.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CallDirSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CallMU.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CallSite.html +56 -56
- package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +30 -30
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +18 -18
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CxtProc.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CxtStmt.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CxtThread.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CxtThreadProc.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CxtThreadStmt.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1DCHEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +35 -35
- package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +16 -16
- 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_1DistinctMRG.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +16 -16
- 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_1ExtAPI.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +3 -4
- package/SVF-doxygen/html/html/classSVF_1_1FSMPTA-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1FileChecker-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FileChecker.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +21 -21
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +17 -17
- package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +29 -29
- package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +8 -8
- 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 +98 -97
- package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +3 -4
- package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +3 -4
- package/SVF-doxygen/html/html/classSVF_1_1GlobalICFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GraphPrinter-members.html +83 -0
- package/SVF-doxygen/html/html/classSVF_1_1GraphPrinter.html +236 -0
- package/SVF-doxygen/html/html/classSVF_1_1GraphReachSolver-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1GraphReachSolver.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1GraphWriter-members.html +100 -0
- package/SVF-doxygen/html/html/classSVF_1_1GraphWriter.html +882 -0
- package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +19 -19
- package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +12 -12
- 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 -11
- package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1IntraDirSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +69 -69
- package/SVF-doxygen/html/html/classSVF_1_1LeakChecker-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +22 -22
- package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +50 -50
- package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1MHP.html +55 -55
- package/SVF-doxygen/html/html/classSVF_1_1MHPValidator.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +22 -22
- package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1MTA.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +37 -37
- package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +36 -36
- 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 +3 -4
- package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1PCG.html +28 -28
- package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +25 -25
- package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphEdge.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +40 -40
- package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1RaceValidator.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1RetDirSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SCCDetection-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SCCDetection.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1SVFArgument-members.html +7 -9
- package/SVF-doxygen/html/html/classSVF_1_1SVFArgument.html +16 -20
- package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock-members.html +8 -10
- package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock.html +56 -63
- package/SVF-doxygen/html/html/classSVF_1_1SVFBlackHoleValue-members.html +6 -8
- package/SVF-doxygen/html/html/classSVF_1_1SVFBlackHoleValue.html +7 -11
- package/SVF-doxygen/html/html/classSVF_1_1SVFCallInst-members.html +12 -14
- package/SVF-doxygen/html/html/classSVF_1_1SVFCallInst.html +34 -38
- package/SVF-doxygen/html/html/classSVF_1_1SVFConstant-members.html +6 -8
- package/SVF-doxygen/html/html/classSVF_1_1SVFConstant.html +5 -9
- package/SVF-doxygen/html/html/classSVF_1_1SVFConstantData-members.html +6 -8
- package/SVF-doxygen/html/html/classSVF_1_1SVFConstantData.html +7 -11
- package/SVF-doxygen/html/html/classSVF_1_1SVFConstantFP-members.html +6 -8
- package/SVF-doxygen/html/html/classSVF_1_1SVFConstantFP.html +10 -14
- package/SVF-doxygen/html/html/classSVF_1_1SVFConstantInt-members.html +6 -8
- package/SVF-doxygen/html/html/classSVF_1_1SVFConstantInt.html +14 -18
- package/SVF-doxygen/html/html/classSVF_1_1SVFConstantNullPtr-members.html +6 -8
- package/SVF-doxygen/html/html/classSVF_1_1SVFConstantNullPtr.html +7 -11
- package/SVF-doxygen/html/html/classSVF_1_1SVFFunction-members.html +23 -25
- package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +115 -119
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +16 -16
- package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +1 -1
- 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_1SVFGlobalValue-members.html +9 -11
- package/SVF-doxygen/html/html/classSVF_1_1SVFGlobalValue.html +14 -18
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +35 -35
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +48 -47
- package/SVF-doxygen/html/html/classSVF_1_1SVFInstruction-members.html +11 -13
- package/SVF-doxygen/html/html/classSVF_1_1SVFInstruction.html +31 -35
- package/SVF-doxygen/html/html/classSVF_1_1SVFLoopAndDomInfo.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SVFMetadataAsValue-members.html +6 -8
- package/SVF-doxygen/html/html/classSVF_1_1SVFMetadataAsValue.html +7 -11
- package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SVFOtherValue-members.html +6 -8
- package/SVF-doxygen/html/html/classSVF_1_1SVFOtherValue.html +5 -9
- package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1SVFType.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SVFValue-members.html +25 -28
- package/SVF-doxygen/html/html/classSVF_1_1SVFValue.html +38 -128
- package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1SVFVirtualCallInst-members.html +14 -16
- package/SVF-doxygen/html/html/classSVF_1_1SVFVirtualCallInst.html +29 -33
- package/SVF-doxygen/html/html/classSVF_1_1SaberCondAllocator.html +46 -46
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +13 -13
- package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +16 -16
- package/SVF-doxygen/html/html/classSVF_1_1SrcSnkSolver-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SrcSnkSolver.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1Steensgaard-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder-members.html +2 -3
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +21 -54
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1TCT.html +72 -72
- package/SVF-doxygen/html/html/classSVF_1_1TCTNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +3 -3
- 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-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1VFG.html +21 -21
- 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 +3 -4
- package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +35 -35
- 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-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1WPAFSSolver.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1WPAMinimumSolver.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1WPASCCSolver.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1WPASolver-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1WPASolver.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1iter__adaptor__base-members.html +112 -0
- package/SVF-doxygen/html/html/classSVF_1_1iter__adaptor__base.html +633 -0
- package/SVF-doxygen/html/html/classSVF_1_1iter__adaptor__base.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1iter__facade__base-members.html +102 -0
- package/SVF-doxygen/html/html/classSVF_1_1iter__facade__base.html +787 -0
- package/SVF-doxygen/html/html/classSVF_1_1iter__facade__base.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1iter__facade__base_1_1ReferenceProxy-members.html +84 -0
- package/SVF-doxygen/html/html/classSVF_1_1iter__facade__base_1_1ReferenceProxy.html +229 -0
- package/SVF-doxygen/html/html/classSVF_1_1iter__range-members.html +87 -0
- package/SVF-doxygen/html/html/classSVF_1_1iter__range.html +342 -0
- package/SVF-doxygen/html/html/classSVF_1_1mapped__iter-members.html +112 -0
- package/SVF-doxygen/html/html/classSVF_1_1mapped__iter.html +322 -0
- package/SVF-doxygen/html/html/classSVF_1_1mapped__iter.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1pointer__iterator-members.html +113 -0
- package/SVF-doxygen/html/html/classSVF_1_1pointer__iterator.html +343 -0
- package/SVF-doxygen/html/html/classSVF_1_1pointer__iterator.png +0 -0
- package/SVF-doxygen/html/html/classes.html +59 -59
- package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/fastcluster__R__dm_8cpp_8inc_source.html +2 -2
- package/SVF-doxygen/html/html/functions_a.html +1 -1
- package/SVF-doxygen/html/html/functions_b.html +4 -4
- package/SVF-doxygen/html/html/functions_c.html +20 -18
- package/SVF-doxygen/html/html/functions_d.html +20 -20
- package/SVF-doxygen/html/html/functions_e.html +14 -16
- package/SVF-doxygen/html/html/functions_eval_i.html +2 -2
- package/SVF-doxygen/html/html/functions_f.html +1 -1
- package/SVF-doxygen/html/html/functions_func.html +1 -1
- package/SVF-doxygen/html/html/functions_func_b.html +2 -2
- package/SVF-doxygen/html/html/functions_func_c.html +4 -4
- package/SVF-doxygen/html/html/functions_func_d.html +14 -14
- package/SVF-doxygen/html/html/functions_func_e.html +8 -8
- package/SVF-doxygen/html/html/functions_func_g.html +72 -72
- package/SVF-doxygen/html/html/functions_func_h.html +4 -7
- package/SVF-doxygen/html/html/functions_func_i.html +17 -20
- package/SVF-doxygen/html/html/functions_func_m.html +1 -1
- package/SVF-doxygen/html/html/functions_func_n.html +3 -3
- package/SVF-doxygen/html/html/functions_func_o.html +24 -24
- package/SVF-doxygen/html/html/functions_func_p.html +4 -4
- package/SVF-doxygen/html/html/functions_func_r.html +2 -2
- package/SVF-doxygen/html/html/functions_func_s.html +15 -18
- package/SVF-doxygen/html/html/functions_func_w.html +8 -8
- package/SVF-doxygen/html/html/functions_g.html +84 -82
- package/SVF-doxygen/html/html/functions_h.html +6 -12
- package/SVF-doxygen/html/html/functions_i.html +40 -43
- package/SVF-doxygen/html/html/functions_l.html +3 -3
- package/SVF-doxygen/html/html/functions_m.html +1 -1
- package/SVF-doxygen/html/html/functions_n.html +30 -30
- package/SVF-doxygen/html/html/functions_o.html +39 -43
- package/SVF-doxygen/html/html/functions_p.html +16 -16
- package/SVF-doxygen/html/html/functions_r.html +8 -6
- package/SVF-doxygen/html/html/functions_rela.html +3 -3
- package/SVF-doxygen/html/html/functions_s.html +22 -25
- package/SVF-doxygen/html/html/functions_t.html +3 -3
- package/SVF-doxygen/html/html/functions_type_b.html +1 -1
- package/SVF-doxygen/html/html/functions_type_c.html +7 -7
- package/SVF-doxygen/html/html/functions_type_d.html +4 -4
- package/SVF-doxygen/html/html/functions_type_e.html +4 -4
- package/SVF-doxygen/html/html/functions_type_g.html +6 -6
- package/SVF-doxygen/html/html/functions_type_i.html +4 -4
- package/SVF-doxygen/html/html/functions_type_n.html +27 -27
- package/SVF-doxygen/html/html/functions_type_p.html +3 -3
- package/SVF-doxygen/html/html/functions_type_r.html +2 -2
- package/SVF-doxygen/html/html/functions_type_v.html +2 -2
- package/SVF-doxygen/html/html/functions_v.html +5 -5
- package/SVF-doxygen/html/html/functions_vars_b.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_d.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_e.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_f.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_g.html +7 -5
- package/SVF-doxygen/html/html/functions_vars_h.html +0 -3
- package/SVF-doxygen/html/html/functions_vars_i.html +6 -6
- package/SVF-doxygen/html/html/functions_vars_o.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_p.html +1 -1
- package/SVF-doxygen/html/html/functions_w.html +17 -17
- package/SVF-doxygen/html/html/hierarchy.html +159 -159
- package/SVF-doxygen/html/html/include_2MTA_2MTAResultValidator_8h_source.html +4 -4
- package/SVF-doxygen/html/html/iterator_8h.html +16 -15
- package/SVF-doxygen/html/html/iterator_8h_source.html +53 -53
- package/SVF-doxygen/html/html/iterator__range_8h.html +9 -8
- package/SVF-doxygen/html/html/iterator__range_8h_source.html +11 -11
- package/SVF-doxygen/html/html/mta_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/namespaceSVF.html +575 -9
- package/SVF-doxygen/html/html/namespaceSVF_1_1DOT.html +107 -0
- package/SVF-doxygen/html/html/namespaceSVF_1_1GraphProgram.html +122 -0
- package/SVF-doxygen/html/html/namespaceSVF_1_1LLVMUtil.html +65 -7
- package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +3 -3
- package/SVF-doxygen/html/html/namespacellvm.html +1 -572
- package/SVF-doxygen/html/html/namespacemembers_c.html +3 -3
- package/SVF-doxygen/html/html/namespacemembers_d.html +1 -1
- package/SVF-doxygen/html/html/namespacemembers_e.html +1 -1
- package/SVF-doxygen/html/html/namespacemembers_enum.html +1 -1
- package/SVF-doxygen/html/html/namespacemembers_eval.html +5 -5
- package/SVF-doxygen/html/html/namespacemembers_f.html +1 -1
- package/SVF-doxygen/html/html/namespacemembers_func_c.html +2 -2
- package/SVF-doxygen/html/html/namespacemembers_func_e.html +1 -1
- package/SVF-doxygen/html/html/namespacemembers_func_i.html +8 -5
- package/SVF-doxygen/html/html/namespacemembers_func_m.html +4 -4
- package/SVF-doxygen/html/html/namespacemembers_func_n.html +1 -1
- package/SVF-doxygen/html/html/namespacemembers_func_v.html +1 -1
- package/SVF-doxygen/html/html/namespacemembers_func_w.html +1 -1
- package/SVF-doxygen/html/html/namespacemembers_g.html +1 -1
- package/SVF-doxygen/html/html/namespacemembers_i.html +6 -3
- package/SVF-doxygen/html/html/namespacemembers_m.html +4 -4
- package/SVF-doxygen/html/html/namespacemembers_n.html +3 -3
- package/SVF-doxygen/html/html/namespacemembers_r.html +1 -1
- package/SVF-doxygen/html/html/namespacemembers_t.html +1 -1
- package/SVF-doxygen/html/html/namespacemembers_type_g.html +1 -1
- package/SVF-doxygen/html/html/namespacemembers_type_r.html +1 -1
- package/SVF-doxygen/html/html/namespacemembers_v.html +1 -1
- package/SVF-doxygen/html/html/namespacemembers_w.html +1 -1
- package/SVF-doxygen/html/html/namespaces.html +5 -5
- package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/search/all_1.js +1 -1
- package/SVF-doxygen/html/html/search/all_10.js +12 -12
- package/SVF-doxygen/html/html/search/all_11.js +7 -7
- package/SVF-doxygen/html/html/search/all_12.js +7 -6
- package/SVF-doxygen/html/html/search/all_13.js +7 -7
- package/SVF-doxygen/html/html/search/all_15.js +4 -4
- package/SVF-doxygen/html/html/search/all_16.js +10 -10
- package/SVF-doxygen/html/html/search/all_2.js +3 -3
- package/SVF-doxygen/html/html/search/all_3.js +7 -7
- package/SVF-doxygen/html/html/search/all_4.js +20 -20
- package/SVF-doxygen/html/html/search/all_5.js +9 -9
- package/SVF-doxygen/html/html/search/all_6.js +2 -2
- package/SVF-doxygen/html/html/search/all_7.js +87 -87
- package/SVF-doxygen/html/html/search/all_8.js +1 -3
- package/SVF-doxygen/html/html/search/all_9.js +23 -23
- package/SVF-doxygen/html/html/search/all_c.js +2 -4
- package/SVF-doxygen/html/html/search/all_d.js +5 -5
- package/SVF-doxygen/html/html/search/all_e.js +11 -11
- package/SVF-doxygen/html/html/search/all_f.js +19 -19
- package/SVF-doxygen/html/html/search/classes_3.js +13 -13
- package/SVF-doxygen/html/html/search/classes_6.js +64 -64
- package/SVF-doxygen/html/html/search/classes_8.js +10 -10
- package/SVF-doxygen/html/html/search/classes_a.js +1 -1
- package/SVF-doxygen/html/html/search/classes_d.js +2 -2
- package/SVF-doxygen/html/html/search/classes_e.js +1 -1
- package/SVF-doxygen/html/html/search/enums_8.js +1 -1
- package/SVF-doxygen/html/html/search/enumvalues_10.js +1 -1
- package/SVF-doxygen/html/html/search/enumvalues_2.js +1 -1
- package/SVF-doxygen/html/html/search/enumvalues_3.js +1 -1
- package/SVF-doxygen/html/html/search/enumvalues_5.js +1 -1
- package/SVF-doxygen/html/html/search/enumvalues_8.js +2 -2
- package/SVF-doxygen/html/html/search/enumvalues_b.js +1 -1
- package/SVF-doxygen/html/html/search/functions_0.js +1 -1
- package/SVF-doxygen/html/html/search/functions_1.js +1 -1
- package/SVF-doxygen/html/html/search/functions_10.js +2 -2
- package/SVF-doxygen/html/html/search/functions_11.js +1 -2
- package/SVF-doxygen/html/html/search/functions_14.js +1 -1
- package/SVF-doxygen/html/html/search/functions_15.js +8 -8
- package/SVF-doxygen/html/html/search/functions_2.js +4 -4
- package/SVF-doxygen/html/html/search/functions_3.js +5 -5
- package/SVF-doxygen/html/html/search/functions_4.js +7 -7
- package/SVF-doxygen/html/html/search/functions_6.js +21 -21
- package/SVF-doxygen/html/html/search/functions_7.js +1 -2
- package/SVF-doxygen/html/html/search/functions_8.js +8 -8
- package/SVF-doxygen/html/html/search/functions_c.js +5 -5
- package/SVF-doxygen/html/html/search/functions_d.js +4 -4
- package/SVF-doxygen/html/html/search/functions_e.js +14 -14
- package/SVF-doxygen/html/html/search/functions_f.js +4 -4
- package/SVF-doxygen/html/html/search/namespaces_0.js +0 -2
- package/SVF-doxygen/html/html/search/namespaces_1.js +2 -0
- package/SVF-doxygen/html/html/search/related_9.js +3 -3
- package/SVF-doxygen/html/html/search/typedefs_1.js +1 -1
- 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 -2
- package/SVF-doxygen/html/html/search/typedefs_4.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_6.js +3 -3
- package/SVF-doxygen/html/html/search/typedefs_7.js +2 -2
- package/SVF-doxygen/html/html/search/typedefs_c.js +4 -4
- package/SVF-doxygen/html/html/search/typedefs_e.js +2 -2
- package/SVF-doxygen/html/html/search/typedefs_f.js +2 -2
- package/SVF-doxygen/html/html/search/variables_10.js +1 -1
- package/SVF-doxygen/html/html/search/variables_13.js +3 -3
- package/SVF-doxygen/html/html/search/variables_2.js +1 -1
- package/SVF-doxygen/html/html/search/variables_4.js +1 -1
- package/SVF-doxygen/html/html/search/variables_5.js +1 -1
- package/SVF-doxygen/html/html/search/variables_6.js +1 -1
- package/SVF-doxygen/html/html/search/variables_7.js +2 -2
- package/SVF-doxygen/html/html/search/variables_8.js +0 -1
- package/SVF-doxygen/html/html/search/variables_9.js +5 -5
- package/SVF-doxygen/html/html/search/variables_c.js +1 -1
- package/SVF-doxygen/html/html/search/variables_e.js +1 -1
- package/SVF-doxygen/html/html/search/variables_f.js +1 -1
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits-members.html +99 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits.html +193 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4-members.html +105 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html +443 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4-members.html +104 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html +388 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4-members.html +106 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +481 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4-members.html +106 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +475 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4-members.html +107 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +486 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4-members.html +106 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html +457 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4-members.html +108 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +595 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4-members.html +105 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html +409 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4-members.html +107 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html +543 -0
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1DefaultDOTGraphTraits-members.html +99 -0
- package/SVF-doxygen/html/html/structSVF_1_1DefaultDOTGraphTraits.html +855 -0
- package/SVF-doxygen/html/html/structSVF_1_1DefaultDOTGraphTraits.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericEdge_1_1equalGEdge.html +3 -3
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits.html +116 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4.html +106 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.html +110 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.html +110 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html +110 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.html +110 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4-members.html +88 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html +324 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.html +110 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.html +110 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.html +110 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html +110 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.html +110 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html +126 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLNode_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.html +106 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHGraph_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html +126 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHNode_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHNode_01_5_01_4.html +106 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHNode_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html +126 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.html +106 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html +126 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHNode_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.html +106 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4-members.html +99 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html +467 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4-members.html +89 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html +367 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.html +106 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFG_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html +126 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFG_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1IRGraph_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.html +126 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4.html +106 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.html +126 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html +126 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFVar_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.html +106 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCTNode_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.html +106 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCT_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCT_01_5_01_4.html +126 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCT_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFGNode_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.html +106 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFG_01_5_01_4-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFG_01_5_01_4.html +126 -0
- package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFG_01_5_01_4.png +0 -0
- package/SVF-doxygen/html/html/structSVF_1_1Inverse-members.html +82 -0
- package/SVF-doxygen/html/html/structSVF_1_1Inverse.html +154 -0
- package/SVF-doxygen/html/html/structSVF_1_1pointee__iter-members.html +111 -0
- package/SVF-doxygen/html/html/structSVF_1_1pointee__iter.html +279 -0
- package/SVF-doxygen/html/html/structSVF_1_1pointee__iter.png +0 -0
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html +3 -3
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html +1 -1
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html +1 -1
- package/SVF-doxygen/html/html/svf-ex_8cpp.html +9 -9
- package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/tools_2MTA_2MTAResultValidator_8h_source.html +4 -4
- package/SVF-doxygen/html/html/wpa_8cpp_source.html +1 -1
- package/include/Graphs/CFLGraph.h +6 -6
- package/include/Graphs/CHG.h +6 -6
- package/include/Graphs/ConsG.h +6 -6
- package/include/Graphs/DOTGraphTraits.h +3 -3
- package/include/Graphs/GenericGraph.h +10 -9
- package/include/Graphs/GraphPrinter.h +2 -2
- package/include/Graphs/GraphTraits.h +29 -29
- package/include/Graphs/GraphWriter.h +6 -6
- package/include/Graphs/ICFG.h +6 -6
- package/include/Graphs/IRGraph.h +6 -7
- package/include/Graphs/PTACallGraph.h +6 -6
- package/include/Graphs/SVFG.h +6 -6
- package/include/Graphs/VFG.h +6 -6
- package/include/MTA/TCT.h +6 -6
- package/include/SABER/SrcSnkSolver.h +2 -2
- package/include/SVF-LLVM/DCHG.h +6 -6
- package/include/SVF-LLVM/LLVMUtil.h +5 -0
- package/include/SVF-LLVM/SymbolTableBuilder.h +0 -3
- package/include/SVFIR/SVFValue.h +2 -11
- package/include/SVFIR/SVFVariables.h +5 -5
- package/include/Util/GraphReachSolver.h +2 -2
- package/include/Util/SCC.h +1 -1
- package/include/Util/iterator.h +32 -32
- package/include/Util/iterator_range.h +11 -11
- package/include/WPA/WPASolver.h +1 -1
- package/lib/Graphs/CFLGraph.cpp +2 -2
- package/lib/Graphs/CHG.cpp +2 -2
- package/lib/Graphs/ConsG.cpp +2 -2
- package/lib/Graphs/GraphWriter.cpp +1 -1
- package/lib/Graphs/ICFG.cpp +2 -2
- package/lib/Graphs/IRGraph.cpp +2 -2
- package/lib/Graphs/PTACallGraph.cpp +2 -2
- package/lib/Graphs/SVFG.cpp +1 -1
- package/lib/Graphs/VFG.cpp +2 -2
- package/lib/MTA/TCT.cpp +1 -1
- package/lib/SVF-LLVM/LLVMModule.cpp +0 -2
- package/lib/SVF-LLVM/LLVMUtil.cpp +40 -0
- package/lib/SVF-LLVM/SVFIRBuilder.cpp +1 -1
- package/lib/SVF-LLVM/SymbolTableBuilder.cpp +0 -34
- package/lib/SVFIR/SVFValue.cpp +0 -1
- package/package.json +1 -1
|
@@ -216,8 +216,6 @@ Public Member Functions</h2></td></tr>
|
|
|
216
216
|
<tr class="separator:acb5d0311477899abb4c222cd44376c73 inherit pub_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2"> </td></tr>
|
|
217
217
|
<tr class="memitem:ac29e2f5e75cc6916be6a663ca6d51177 inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#ac29e2f5e75cc6916be6a663ca6d51177">isNullPtr</a> () const</td></tr>
|
|
218
218
|
<tr class="separator:ac29e2f5e75cc6916be6a663ca6d51177 inherit pub_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2"> </td></tr>
|
|
219
|
-
<tr class="memitem:a4c46c11c4b1c0f43c80818cf7408703a inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a4c46c11c4b1c0f43c80818cf7408703a">hasName</a> () const</td></tr>
|
|
220
|
-
<tr class="separator:a4c46c11c4b1c0f43c80818cf7408703a inherit pub_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2"> </td></tr>
|
|
221
219
|
<tr class="memitem:a588acec1904d440797ca4500f63f7d28 inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">virtual void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a588acec1904d440797ca4500f63f7d28">setSourceLoc</a> (const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &sourceCodeInfo)</td></tr>
|
|
222
220
|
<tr class="separator:a588acec1904d440797ca4500f63f7d28 inherit pub_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2"> </td></tr>
|
|
223
221
|
<tr class="memitem:a7effb0f37f486745e0cdc3ae5e9c732b inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">virtual const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">getSourceLoc</a> () const</td></tr>
|
|
@@ -254,8 +252,6 @@ Protected Member Functions</h2></td></tr>
|
|
|
254
252
|
<tr class="separator:afe1de41ca3215b325d0ca61814c6bd6b inherit pro_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2"> </td></tr>
|
|
255
253
|
<tr class="memitem:ac2e5c42d0ac92375c88ef5b3f1b65dc4 inherit pro_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#ac2e5c42d0ac92375c88ef5b3f1b65dc4">setPtrInUncalledFunction</a> ()</td></tr>
|
|
256
254
|
<tr class="separator:ac2e5c42d0ac92375c88ef5b3f1b65dc4 inherit pro_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2"> </td></tr>
|
|
257
|
-
<tr class="memitem:afe3fb992ad104c32520172ebd92c2588 inherit pro_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#afe3fb992ad104c32520172ebd92c2588">setHasName</a> ()</td></tr>
|
|
258
|
-
<tr class="separator:afe3fb992ad104c32520172ebd92c2588 inherit pro_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2"> </td></tr>
|
|
259
255
|
</table><table class="memberdecls">
|
|
260
256
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
|
|
261
257
|
Private Attributes</h2></td></tr>
|
|
@@ -311,7 +307,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
311
307
|
</table>
|
|
312
308
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
313
309
|
<div class="textblock">
|
|
314
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
310
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00257">257</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
315
311
|
</div><h2 class="groupheader">Member Typedef Documentation</h2>
|
|
316
312
|
<a id="ad09ea0c680c88732c08d655e0afbead3"></a>
|
|
317
313
|
<h2 class="memtitle"><span class="permalink"><a href="#ad09ea0c680c88732c08d655e0afbead3">◆ </a></span>BBList</h2>
|
|
@@ -325,7 +321,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
325
321
|
</table>
|
|
326
322
|
</div><div class="memdoc">
|
|
327
323
|
|
|
328
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
324
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00264">264</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
329
325
|
|
|
330
326
|
</div>
|
|
331
327
|
</div>
|
|
@@ -341,7 +337,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
341
337
|
</table>
|
|
342
338
|
</div><div class="memdoc">
|
|
343
339
|
|
|
344
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
340
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00263">263</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
345
341
|
|
|
346
342
|
</div>
|
|
347
343
|
</div>
|
|
@@ -357,7 +353,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
357
353
|
</table>
|
|
358
354
|
</div><div class="memdoc">
|
|
359
355
|
|
|
360
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
356
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00262">262</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
361
357
|
|
|
362
358
|
</div>
|
|
363
359
|
</div>
|
|
@@ -373,7 +369,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
373
369
|
</table>
|
|
374
370
|
</div><div class="memdoc">
|
|
375
371
|
|
|
376
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
372
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00265">265</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
377
373
|
|
|
378
374
|
</div>
|
|
379
375
|
</div>
|
|
@@ -441,17 +437,17 @@ Additional Inherited Members</h2></td></tr>
|
|
|
441
437
|
</div><div class="memdoc">
|
|
442
438
|
|
|
443
439
|
<p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00125">125</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
|
|
444
|
-
<div class="fragment"><div class="line"><a name="l00125"></a><span class="lineno"> 125</span>  :</div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  <a class="code" href="classSVF_1_1SVFValue.html#a2be7a19ba121affa81c29a91cd9ecad9">SVFValue</a>(f,ty,<a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVFValue::SVFFunc</a>),<a class="code" href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">isDecl</a>(declare), <a class="code" href="classSVF_1_1SVFFunction.html#a7a17b7f6f74fd54dd19323b46fa1dfe5">intricsic</a>(intric), <a class="code" href="classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1">addrTaken</a>(adt), <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a>(<span class="keyword">false</span>), <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a>(<span class="keyword">false</span>), <a class="code" href="classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad">varArg</a>(varg), <a class="code" href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">funcType</a>(ft), <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>(ld), <a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a>(<span class="keyword">nullptr</span>)</div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span> {</div><div class="line"><a name="l00128"></a><span class="lineno"> 128</span> }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a7a17b7f6f74fd54dd19323b46fa1dfe5"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a7a17b7f6f74fd54dd19323b46fa1dfe5">SVF::SVFFunction::intricsic</a></div><div class="ttdeci">bool intricsic</div><div class="ttdoc">return true if this function does not have a body </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
445
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_a52581d00177fd5853d6f9de50b3e7fb9"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">SVF::SVFFunction::isDecl</a></div><div class="ttdeci">bool isDecl</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
446
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_ac85bdf04fd784e22a89426955d28e3d6"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">SVF::SVFFunction::isNotRet</a></div><div class="ttdeci">bool isNotRet</div><div class="ttdoc">return true if this function is never called </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
440
|
+
<div class="fragment"><div class="line"><a name="l00125"></a><span class="lineno"> 125</span>  :</div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  <a class="code" href="classSVF_1_1SVFValue.html#a2be7a19ba121affa81c29a91cd9ecad9">SVFValue</a>(f,ty,<a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVFValue::SVFFunc</a>),<a class="code" href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">isDecl</a>(declare), <a class="code" href="classSVF_1_1SVFFunction.html#a7a17b7f6f74fd54dd19323b46fa1dfe5">intricsic</a>(intric), <a class="code" href="classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1">addrTaken</a>(adt), <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a>(<span class="keyword">false</span>), <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a>(<span class="keyword">false</span>), <a class="code" href="classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad">varArg</a>(varg), <a class="code" href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">funcType</a>(ft), <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>(ld), <a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a>(<span class="keyword">nullptr</span>)</div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span> {</div><div class="line"><a name="l00128"></a><span class="lineno"> 128</span> }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a7a17b7f6f74fd54dd19323b46fa1dfe5"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a7a17b7f6f74fd54dd19323b46fa1dfe5">SVF::SVFFunction::intricsic</a></div><div class="ttdeci">bool intricsic</div><div class="ttdoc">return true if this function does not have a body </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00269">SVFValue.h:269</a></div></div>
|
|
441
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_a52581d00177fd5853d6f9de50b3e7fb9"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">SVF::SVFFunction::isDecl</a></div><div class="ttdeci">bool isDecl</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00268">SVFValue.h:268</a></div></div>
|
|
442
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_ac85bdf04fd784e22a89426955d28e3d6"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">SVF::SVFFunction::isNotRet</a></div><div class="ttdeci">bool isNotRet</div><div class="ttdoc">return true if this function is never called </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00272">SVFValue.h:272</a></div></div>
|
|
447
443
|
<div class="ttc" id="classSVF_1_1SVFValue_html_a2be7a19ba121affa81c29a91cd9ecad9"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2be7a19ba121affa81c29a91cd9ecad9">SVF::SVFValue::SVFValue</a></div><div class="ttdeci">SVFValue(void)=delete</div></div>
|
|
448
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_ad1c1ca2a7d4a681f24712345222e9ddc"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">SVF::SVFFunction::funcType</a></div><div class="ttdeci">const SVFFunctionType * funcType</div><div class="ttdoc">return true if this function supports variable arguments </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
449
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_a1e9dc1d660e3626540b7501194bb12ea"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">SVF::SVFFunction::isUncalled</a></div><div class="ttdeci">bool isUncalled</div><div class="ttdoc">return true if this function is address-taken (for indirect call purposes) </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
450
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_a3b93a04e82233f64b1c463f6cece8ea1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1">SVF::SVFFunction::addrTaken</a></div><div class="ttdeci">bool addrTaken</div><div class="ttdoc">return true if this function is an intricsic function (e.g., llvm.dbg), which does not reside in the ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
444
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_ad1c1ca2a7d4a681f24712345222e9ddc"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">SVF::SVFFunction::funcType</a></div><div class="ttdeci">const SVFFunctionType * funcType</div><div class="ttdoc">return true if this function supports variable arguments </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00274">SVFValue.h:274</a></div></div>
|
|
445
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_a1e9dc1d660e3626540b7501194bb12ea"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">SVF::SVFFunction::isUncalled</a></div><div class="ttdeci">bool isUncalled</div><div class="ttdoc">return true if this function is address-taken (for indirect call purposes) </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00271">SVFValue.h:271</a></div></div>
|
|
446
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_a3b93a04e82233f64b1c463f6cece8ea1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1">SVF::SVFFunction::addrTaken</a></div><div class="ttdeci">bool addrTaken</div><div class="ttdoc">return true if this function is an intricsic function (e.g., llvm.dbg), which does not reside in the ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00270">SVFValue.h:270</a></div></div>
|
|
451
447
|
<div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVF::SVFValue::SVFFunc</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00157">SVFValue.h:157</a></div></div>
|
|
452
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_a78f8e3238be991bf5cc42a84c29b9007"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">SVF::SVFFunction::realDefFun</a></div><div class="ttdeci">const SVFFunction * realDefFun</div><div class="ttdoc">the loop and dominate information </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
453
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_a11aaa0ffaf7fa3d220c9af5d4537eaad"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad">SVF::SVFFunction::varArg</a></div><div class="ttdeci">bool varArg</div><div class="ttdoc">return true if this function never returns </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
454
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
448
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_a78f8e3238be991bf5cc42a84c29b9007"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">SVF::SVFFunction::realDefFun</a></div><div class="ttdeci">const SVFFunction * realDefFun</div><div class="ttdoc">the loop and dominate information </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00276">SVFValue.h:276</a></div></div>
|
|
449
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_a11aaa0ffaf7fa3d220c9af5d4537eaad"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad">SVF::SVFFunction::varArg</a></div><div class="ttdeci">bool varArg</div><div class="ttdoc">return true if this function never returns </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00273">SVFValue.h:273</a></div></div>
|
|
450
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00275">SVFValue.h:275</a></div></div>
|
|
455
451
|
</div><!-- fragment -->
|
|
456
452
|
</div>
|
|
457
453
|
</div>
|
|
@@ -531,11 +527,11 @@ Additional Inherited Members</h2></td></tr>
|
|
|
531
527
|
</div><div class="memdoc">
|
|
532
528
|
|
|
533
529
|
<p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00130">130</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
|
|
534
|
-
<div class="fragment"><div class="line"><a name="l00131"></a><span class="lineno"> 131</span> {</div><div class="line"><a name="l00132"></a><span class="lineno"> 132</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* bb : <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>)</div><div class="line"><a name="l00133"></a><span class="lineno"> 133</span>  <span class="keyword">delete</span> bb;</div><div class="line"><a name="l00134"></a><span class="lineno"> 134</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFArgument.html">SVFArgument</a>* arg : <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>)</div><div class="line"><a name="l00135"></a><span class="lineno"> 135</span>  <span class="keyword">delete</span> arg;</div><div class="line"><a name="l00136"></a><span class="lineno"> 136</span>  <span class="keyword">delete</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>;</div><div class="line"><a name="l00137"></a><span class="lineno"> 137</span> }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_aa61307a21647def105677d36bfbaf32f"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">SVF::SVFFunction::allBBs</a></div><div class="ttdeci">std::vector< const SVFBasicBlock * > allBBs</div><div class="ttdoc">the definition of a function across multiple modules </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
535
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_a625bef2b92c8e62df547bd2758b59c75"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">SVF::SVFFunction::allArgs</a></div><div class="ttdeci">std::vector< const SVFArgument * > allArgs</div><div class="ttdoc">all BasicBlocks of this function </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
536
|
-
<div class="ttc" id="classSVF_1_1SVFArgument_html"><div class="ttname"><a href="classSVF_1_1SVFArgument.html">SVF::SVFArgument</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
537
|
-
<div class="ttc" id="classSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
538
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
530
|
+
<div class="fragment"><div class="line"><a name="l00131"></a><span class="lineno"> 131</span> {</div><div class="line"><a name="l00132"></a><span class="lineno"> 132</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* bb : <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>)</div><div class="line"><a name="l00133"></a><span class="lineno"> 133</span>  <span class="keyword">delete</span> bb;</div><div class="line"><a name="l00134"></a><span class="lineno"> 134</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFArgument.html">SVFArgument</a>* arg : <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>)</div><div class="line"><a name="l00135"></a><span class="lineno"> 135</span>  <span class="keyword">delete</span> arg;</div><div class="line"><a name="l00136"></a><span class="lineno"> 136</span>  <span class="keyword">delete</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>;</div><div class="line"><a name="l00137"></a><span class="lineno"> 137</span> }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_aa61307a21647def105677d36bfbaf32f"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">SVF::SVFFunction::allBBs</a></div><div class="ttdeci">std::vector< const SVFBasicBlock * > allBBs</div><div class="ttdoc">the definition of a function across multiple modules </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00277">SVFValue.h:277</a></div></div>
|
|
531
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_a625bef2b92c8e62df547bd2758b59c75"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">SVF::SVFFunction::allArgs</a></div><div class="ttdeci">std::vector< const SVFArgument * > allArgs</div><div class="ttdoc">all BasicBlocks of this function </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00278">SVFValue.h:278</a></div></div>
|
|
532
|
+
<div class="ttc" id="classSVF_1_1SVFArgument_html"><div class="ttname"><a href="classSVF_1_1SVFArgument.html">SVF::SVFArgument</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00819">SVFValue.h:819</a></div></div>
|
|
533
|
+
<div class="ttc" id="classSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00471">SVFValue.h:471</a></div></div>
|
|
534
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00275">SVFValue.h:275</a></div></div>
|
|
539
535
|
</div><!-- fragment -->
|
|
540
536
|
</div>
|
|
541
537
|
</div>
|
|
@@ -564,8 +560,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
564
560
|
</table>
|
|
565
561
|
</div><div class="memdoc">
|
|
566
562
|
|
|
567
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
568
|
-
<div class="fragment"><div class="line"><a name="
|
|
563
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00288">288</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
564
|
+
<div class="fragment"><div class="line"><a name="l00289"></a><span class="lineno"> 289</span>  {</div><div class="line"><a name="l00290"></a><span class="lineno"> 290</span>  <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>.push_back(arg);</div><div class="line"><a name="l00291"></a><span class="lineno"> 291</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a625bef2b92c8e62df547bd2758b59c75"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">SVF::SVFFunction::allArgs</a></div><div class="ttdeci">std::vector< const SVFArgument * > allArgs</div><div class="ttdoc">all BasicBlocks of this function </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00278">SVFValue.h:278</a></div></div>
|
|
569
565
|
</div><!-- fragment -->
|
|
570
566
|
</div>
|
|
571
567
|
</div>
|
|
@@ -596,8 +592,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
596
592
|
<p>all formal arguments of this function </p>
|
|
597
593
|
<p>attributes to be set only through Module builders e.g., LLVMModule </p>
|
|
598
594
|
|
|
599
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
600
|
-
<div class="fragment"><div class="line"><a name="
|
|
595
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00283">283</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
596
|
+
<div class="fragment"><div class="line"><a name="l00284"></a><span class="lineno"> 284</span>  {</div><div class="line"><a name="l00285"></a><span class="lineno"> 285</span>  <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.push_back(bb);</div><div class="line"><a name="l00286"></a><span class="lineno"> 286</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_aa61307a21647def105677d36bfbaf32f"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">SVF::SVFFunction::allBBs</a></div><div class="ttdeci">std::vector< const SVFBasicBlock * > allBBs</div><div class="ttdoc">the definition of a function across multiple modules </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00277">SVFValue.h:277</a></div></div>
|
|
601
597
|
</div><!-- fragment -->
|
|
602
598
|
</div>
|
|
603
599
|
</div>
|
|
@@ -617,7 +613,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
617
613
|
</div><div class="memdoc">
|
|
618
614
|
|
|
619
615
|
<p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00139">139</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
|
|
620
|
-
<div class="fragment"><div class="line"><a name="l00140"></a><span class="lineno"> 140</span> {</div><div class="line"><a name="l00141"></a><span class="lineno"> 141</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>.size();</div><div class="line"><a name="l00142"></a><span class="lineno"> 142</span> }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a625bef2b92c8e62df547bd2758b59c75"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">SVF::SVFFunction::allArgs</a></div><div class="ttdeci">std::vector< const SVFArgument * > allArgs</div><div class="ttdoc">all BasicBlocks of this function </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
616
|
+
<div class="fragment"><div class="line"><a name="l00140"></a><span class="lineno"> 140</span> {</div><div class="line"><a name="l00141"></a><span class="lineno"> 141</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>.size();</div><div class="line"><a name="l00142"></a><span class="lineno"> 142</span> }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a625bef2b92c8e62df547bd2758b59c75"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">SVF::SVFFunction::allArgs</a></div><div class="ttdeci">std::vector< const SVFArgument * > allArgs</div><div class="ttdoc">all BasicBlocks of this function </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00278">SVFValue.h:278</a></div></div>
|
|
621
617
|
</div><!-- fragment -->
|
|
622
618
|
</div>
|
|
623
619
|
</div>
|
|
@@ -644,8 +640,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
644
640
|
</table>
|
|
645
641
|
</div><div class="memdoc">
|
|
646
642
|
|
|
647
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
648
|
-
<div class="fragment"><div class="line"><a name="
|
|
643
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00384">384</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
644
|
+
<div class="fragment"><div class="line"><a name="l00385"></a><span class="lineno"> 385</span>  {</div><div class="line"><a name="l00386"></a><span class="lineno"> 386</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a8ca4fa87f4c26b71c6e03c8f32db1071">getExitBB</a>();</div><div class="line"><a name="l00387"></a><span class="lineno"> 387</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a8ca4fa87f4c26b71c6e03c8f32db1071"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a8ca4fa87f4c26b71c6e03c8f32db1071">SVF::SVFFunction::getExitBB</a></div><div class="ttdeci">const SVFBasicBlock * getExitBB() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00373">SVFValue.h:373</a></div></div>
|
|
649
645
|
</div><!-- fragment -->
|
|
650
646
|
</div>
|
|
651
647
|
</div>
|
|
@@ -673,8 +669,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
673
669
|
</table>
|
|
674
670
|
</div><div class="memdoc">
|
|
675
671
|
|
|
676
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
677
|
-
<div class="fragment"><div class="line"><a name="
|
|
672
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00389">389</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
673
|
+
<div class="fragment"><div class="line"><a name="l00390"></a><span class="lineno"> 390</span>  {</div><div class="line"><a name="l00391"></a><span class="lineno"> 391</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.begin();</div><div class="line"><a name="l00392"></a><span class="lineno"> 392</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_aa61307a21647def105677d36bfbaf32f"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">SVF::SVFFunction::allBBs</a></div><div class="ttdeci">std::vector< const SVFBasicBlock * > allBBs</div><div class="ttdoc">the definition of a function across multiple modules </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00277">SVFValue.h:277</a></div></div>
|
|
678
674
|
</div><!-- fragment -->
|
|
679
675
|
</div>
|
|
680
676
|
</div>
|
|
@@ -702,8 +698,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
702
698
|
</table>
|
|
703
699
|
</div><div class="memdoc">
|
|
704
700
|
|
|
705
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
706
|
-
<div class="fragment"><div class="line"><a name="
|
|
701
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00315">315</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
702
|
+
<div class="fragment"><div class="line"><a name="l00316"></a><span class="lineno"> 316</span>  {</div><div class="line"><a name="l00317"></a><span class="lineno"> 317</span>  <span class="keywordflow">return</span> node->getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVFFunc</a>;</div><div class="line"><a name="l00318"></a><span class="lineno"> 318</span>  }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVF::SVFValue::SVFFunc</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00157">SVFValue.h:157</a></div></div>
|
|
707
703
|
</div><!-- fragment -->
|
|
708
704
|
</div>
|
|
709
705
|
</div>
|
|
@@ -741,9 +737,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
741
737
|
</table>
|
|
742
738
|
</div><div class="memdoc">
|
|
743
739
|
|
|
744
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
745
|
-
<div class="fragment"><div class="line"><a name="
|
|
746
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
740
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00459">459</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
741
|
+
<div class="fragment"><div class="line"><a name="l00460"></a><span class="lineno"> 460</span>  {</div><div class="line"><a name="l00461"></a><span class="lineno"> 461</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-><a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a342f2825d6b7e3289d0f0f4b7ee8247c">dominate</a>(bbKey,bbValue);</div><div class="line"><a name="l00462"></a><span class="lineno"> 462</span>  }</div><div class="ttc" id="classSVF_1_1SVFLoopAndDomInfo_html_a342f2825d6b7e3289d0f0f4b7ee8247c"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a342f2825d6b7e3289d0f0f4b7ee8247c">SVF::SVFLoopAndDomInfo::dominate</a></div><div class="ttdeci">bool dominate(const SVFBasicBlock *bbKey, const SVFBasicBlock *bbValue) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00053">SVFValue.cpp:53</a></div></div>
|
|
742
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00275">SVFValue.h:275</a></div></div>
|
|
747
743
|
</div><!-- fragment -->
|
|
748
744
|
</div>
|
|
749
745
|
</div>
|
|
@@ -771,8 +767,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
771
767
|
</table>
|
|
772
768
|
</div><div class="memdoc">
|
|
773
769
|
|
|
774
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
775
|
-
<div class="fragment"><div class="line"><a name="
|
|
770
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00394">394</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
771
|
+
<div class="fragment"><div class="line"><a name="l00395"></a><span class="lineno"> 395</span>  {</div><div class="line"><a name="l00396"></a><span class="lineno"> 396</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.end();</div><div class="line"><a name="l00397"></a><span class="lineno"> 397</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_aa61307a21647def105677d36bfbaf32f"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">SVF::SVFFunction::allBBs</a></div><div class="ttdeci">std::vector< const SVFBasicBlock * > allBBs</div><div class="ttdoc">the definition of a function across multiple modules </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00277">SVFValue.h:277</a></div></div>
|
|
776
772
|
</div><!-- fragment -->
|
|
777
773
|
</div>
|
|
778
774
|
</div>
|
|
@@ -799,8 +795,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
799
795
|
</table>
|
|
800
796
|
</div><div class="memdoc">
|
|
801
797
|
|
|
802
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
803
|
-
<div class="fragment"><div class="line"><a name="
|
|
798
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00379">379</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
799
|
+
<div class="fragment"><div class="line"><a name="l00380"></a><span class="lineno"> 380</span>  {</div><div class="line"><a name="l00381"></a><span class="lineno"> 381</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a793f485e92d12cf407f2ffa41861eb3d">getEntryBlock</a>();</div><div class="line"><a name="l00382"></a><span class="lineno"> 382</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a793f485e92d12cf407f2ffa41861eb3d"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a793f485e92d12cf407f2ffa41861eb3d">SVF::SVFFunction::getEntryBlock</a></div><div class="ttdeci">const SVFBasicBlock * getEntryBlock() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00367">SVFValue.h:367</a></div></div>
|
|
804
800
|
</div><!-- fragment -->
|
|
805
801
|
</div>
|
|
806
802
|
</div>
|
|
@@ -821,7 +817,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
821
817
|
</div><div class="memdoc">
|
|
822
818
|
|
|
823
819
|
<p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00144">144</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
|
|
824
|
-
<div class="fragment"><div class="line"><a name="l00145"></a><span class="lineno"> 145</span> {</div><div class="line"><a name="l00146"></a><span class="lineno"> 146</span>  assert (idx < <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>.size() && <span class="stringliteral">"getArg() out of range!"</span>);</div><div class="line"><a name="l00147"></a><span class="lineno"> 147</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>[idx];</div><div class="line"><a name="l00148"></a><span class="lineno"> 148</span> }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a625bef2b92c8e62df547bd2758b59c75"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">SVF::SVFFunction::allArgs</a></div><div class="ttdeci">std::vector< const SVFArgument * > allArgs</div><div class="ttdoc">all BasicBlocks of this function </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
820
|
+
<div class="fragment"><div class="line"><a name="l00145"></a><span class="lineno"> 145</span> {</div><div class="line"><a name="l00146"></a><span class="lineno"> 146</span>  assert (idx < <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>.size() && <span class="stringliteral">"getArg() out of range!"</span>);</div><div class="line"><a name="l00147"></a><span class="lineno"> 147</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>[idx];</div><div class="line"><a name="l00148"></a><span class="lineno"> 148</span> }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a625bef2b92c8e62df547bd2758b59c75"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">SVF::SVFFunction::allArgs</a></div><div class="ttdeci">std::vector< const SVFArgument * > allArgs</div><div class="ttdoc">all BasicBlocks of this function </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00278">SVFValue.h:278</a></div></div>
|
|
825
821
|
</div><!-- fragment -->
|
|
826
822
|
</div>
|
|
827
823
|
</div>
|
|
@@ -848,8 +844,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
848
844
|
</table>
|
|
849
845
|
</div><div class="memdoc">
|
|
850
846
|
|
|
851
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
852
|
-
<div class="fragment"><div class="line"><a name="
|
|
847
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00399">399</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
848
|
+
<div class="fragment"><div class="line"><a name="l00400"></a><span class="lineno"> 400</span>  {</div><div class="line"><a name="l00401"></a><span class="lineno"> 401</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>;</div><div class="line"><a name="l00402"></a><span class="lineno"> 402</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_aa61307a21647def105677d36bfbaf32f"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">SVF::SVFFunction::allBBs</a></div><div class="ttdeci">std::vector< const SVFBasicBlock * > allBBs</div><div class="ttdoc">the definition of a function across multiple modules </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00277">SVFValue.h:277</a></div></div>
|
|
853
849
|
</div><!-- fragment -->
|
|
854
850
|
</div>
|
|
855
851
|
</div>
|
|
@@ -876,8 +872,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
876
872
|
</table>
|
|
877
873
|
</div><div class="memdoc">
|
|
878
874
|
|
|
879
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
880
|
-
<div class="fragment"><div class="line"><a name="
|
|
875
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00351">351</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
876
|
+
<div class="fragment"><div class="line"><a name="l00352"></a><span class="lineno"> 352</span>  {</div><div class="line"><a name="l00353"></a><span class="lineno"> 353</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a>==<span class="keyword">nullptr</span>)</div><div class="line"><a name="l00354"></a><span class="lineno"> 354</span>  <span class="keywordflow">return</span> <span class="keyword">this</span>;</div><div class="line"><a name="l00355"></a><span class="lineno"> 355</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a>;</div><div class="line"><a name="l00356"></a><span class="lineno"> 356</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a78f8e3238be991bf5cc42a84c29b9007"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">SVF::SVFFunction::realDefFun</a></div><div class="ttdeci">const SVFFunction * realDefFun</div><div class="ttdoc">the loop and dominate information </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00276">SVFValue.h:276</a></div></div>
|
|
881
877
|
</div><!-- fragment -->
|
|
882
878
|
</div>
|
|
883
879
|
</div>
|
|
@@ -904,9 +900,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
904
900
|
</table>
|
|
905
901
|
</div><div class="memdoc">
|
|
906
902
|
|
|
907
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
908
|
-
<div class="fragment"><div class="line"><a name="
|
|
909
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
903
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00449">449</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
904
|
+
<div class="fragment"><div class="line"><a name="l00450"></a><span class="lineno"> 450</span>  {</div><div class="line"><a name="l00451"></a><span class="lineno"> 451</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-><a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ae37546be7304c66b4eca2654d995eaa7">getDomFrontierMap</a>();</div><div class="line"><a name="l00452"></a><span class="lineno"> 452</span>  }</div><div class="ttc" id="classSVF_1_1SVFLoopAndDomInfo_html_ae37546be7304c66b4eca2654d995eaa7"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#ae37546be7304c66b4eca2654d995eaa7">SVF::SVFLoopAndDomInfo::getDomFrontierMap</a></div><div class="ttdeci">const Map< const SVFBasicBlock *, BBSet > & getDomFrontierMap() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00070">SVFValue.h:70</a></div></div>
|
|
905
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00275">SVFValue.h:275</a></div></div>
|
|
910
906
|
</div><!-- fragment -->
|
|
911
907
|
</div>
|
|
912
908
|
</div>
|
|
@@ -933,9 +929,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
933
929
|
</table>
|
|
934
930
|
</div><div class="memdoc">
|
|
935
931
|
|
|
936
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
937
|
-
<div class="fragment"><div class="line"><a name="
|
|
938
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
932
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00444">444</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
933
|
+
<div class="fragment"><div class="line"><a name="l00445"></a><span class="lineno"> 445</span>  {</div><div class="line"><a name="l00446"></a><span class="lineno"> 446</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-><a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a2fc6b806a436d8fa65863f6cef99e716">getDomTreeMap</a>();</div><div class="line"><a name="l00447"></a><span class="lineno"> 447</span>  }</div><div class="ttc" id="classSVF_1_1SVFLoopAndDomInfo_html_a2fc6b806a436d8fa65863f6cef99e716"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a2fc6b806a436d8fa65863f6cef99e716">SVF::SVFLoopAndDomInfo::getDomTreeMap</a></div><div class="ttdeci">Map< const SVFBasicBlock *, BBSet > & getDomTreeMap()</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00113">SVFValue.h:113</a></div></div>
|
|
934
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00275">SVFValue.h:275</a></div></div>
|
|
939
935
|
</div><!-- fragment -->
|
|
940
936
|
</div>
|
|
941
937
|
</div>
|
|
@@ -962,9 +958,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
962
958
|
</table>
|
|
963
959
|
</div><div class="memdoc">
|
|
964
960
|
|
|
965
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
966
|
-
<div class="fragment"><div class="line"><a name="
|
|
967
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_a9a7f1f56b6cfc33e7fa241286a07fd63"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">SVF::SVFFunction::hasBasicBlock</a></div><div class="ttdeci">bool hasBasicBlock() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
961
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00367">367</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
962
|
+
<div class="fragment"><div class="line"><a name="l00368"></a><span class="lineno"> 368</span>  {</div><div class="line"><a name="l00369"></a><span class="lineno"> 369</span>  assert(<a class="code" href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">hasBasicBlock</a>() && <span class="stringliteral">"function does not have any Basicblock, external function?"</span>);</div><div class="line"><a name="l00370"></a><span class="lineno"> 370</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.front();</div><div class="line"><a name="l00371"></a><span class="lineno"> 371</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_aa61307a21647def105677d36bfbaf32f"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">SVF::SVFFunction::allBBs</a></div><div class="ttdeci">std::vector< const SVFBasicBlock * > allBBs</div><div class="ttdoc">the definition of a function across multiple modules </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00277">SVFValue.h:277</a></div></div>
|
|
963
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_a9a7f1f56b6cfc33e7fa241286a07fd63"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">SVF::SVFFunction::hasBasicBlock</a></div><div class="ttdeci">bool hasBasicBlock() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00362">SVFValue.h:362</a></div></div>
|
|
968
964
|
</div><!-- fragment -->
|
|
969
965
|
</div>
|
|
970
966
|
</div>
|
|
@@ -991,9 +987,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
991
987
|
</table>
|
|
992
988
|
</div><div class="memdoc">
|
|
993
989
|
|
|
994
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
995
|
-
<div class="fragment"><div class="line"><a name="
|
|
996
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_a9a7f1f56b6cfc33e7fa241286a07fd63"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">SVF::SVFFunction::hasBasicBlock</a></div><div class="ttdeci">bool hasBasicBlock() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
990
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00373">373</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
991
|
+
<div class="fragment"><div class="line"><a name="l00374"></a><span class="lineno"> 374</span>  {</div><div class="line"><a name="l00375"></a><span class="lineno"> 375</span>  assert(<a class="code" href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">hasBasicBlock</a>() && <span class="stringliteral">"function does not have any Basicblock, external function?"</span>);</div><div class="line"><a name="l00376"></a><span class="lineno"> 376</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.back();</div><div class="line"><a name="l00377"></a><span class="lineno"> 377</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_aa61307a21647def105677d36bfbaf32f"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">SVF::SVFFunction::allBBs</a></div><div class="ttdeci">std::vector< const SVFBasicBlock * > allBBs</div><div class="ttdoc">the definition of a function across multiple modules </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00277">SVFValue.h:277</a></div></div>
|
|
992
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_a9a7f1f56b6cfc33e7fa241286a07fd63"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">SVF::SVFFunction::hasBasicBlock</a></div><div class="ttdeci">bool hasBasicBlock() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00362">SVFValue.h:362</a></div></div>
|
|
997
993
|
</div><!-- fragment -->
|
|
998
994
|
</div>
|
|
999
995
|
</div>
|
|
@@ -1031,9 +1027,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1031
1027
|
</table>
|
|
1032
1028
|
</div><div class="memdoc">
|
|
1033
1029
|
|
|
1034
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1035
|
-
<div class="fragment"><div class="line"><a name="
|
|
1036
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
1030
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00419">419</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1031
|
+
<div class="fragment"><div class="line"><a name="l00420"></a><span class="lineno"> 420</span>  {</div><div class="line"><a name="l00421"></a><span class="lineno"> 421</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-><a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a48654f61a84ac5f93b02fb618cd0d045">getExitBlocksOfLoop</a>(bb,exitbbs);</div><div class="line"><a name="l00422"></a><span class="lineno"> 422</span>  }</div><div class="ttc" id="classSVF_1_1SVFLoopAndDomInfo_html_a48654f61a84ac5f93b02fb618cd0d045"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a48654f61a84ac5f93b02fb618cd0d045">SVF::SVFLoopAndDomInfo::getExitBlocksOfLoop</a></div><div class="ttdeci">void getExitBlocksOfLoop(const SVFBasicBlock *bb, BBList &exitbbs) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00034">SVFValue.cpp:34</a></div></div>
|
|
1032
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00275">SVFValue.h:275</a></div></div>
|
|
1037
1033
|
</div><!-- fragment -->
|
|
1038
1034
|
</div>
|
|
1039
1035
|
</div>
|
|
@@ -1062,8 +1058,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1062
1058
|
|
|
1063
1059
|
<p>Returns the FunctionType. </p>
|
|
1064
1060
|
|
|
1065
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1066
|
-
<div class="fragment"><div class="line"><a name="
|
|
1061
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00340">340</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1062
|
+
<div class="fragment"><div class="line"><a name="l00341"></a><span class="lineno"> 341</span>  {</div><div class="line"><a name="l00342"></a><span class="lineno"> 342</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">funcType</a>;</div><div class="line"><a name="l00343"></a><span class="lineno"> 343</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_ad1c1ca2a7d4a681f24712345222e9ddc"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">SVF::SVFFunction::funcType</a></div><div class="ttdeci">const SVFFunctionType * funcType</div><div class="ttdoc">return true if this function supports variable arguments </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00274">SVFValue.h:274</a></div></div>
|
|
1067
1063
|
</div><!-- fragment -->
|
|
1068
1064
|
</div>
|
|
1069
1065
|
</div>
|
|
@@ -1090,8 +1086,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1090
1086
|
</table>
|
|
1091
1087
|
</div><div class="memdoc">
|
|
1092
1088
|
|
|
1093
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1094
|
-
<div class="fragment"><div class="line"><a name="
|
|
1089
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00320">320</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1090
|
+
<div class="fragment"><div class="line"><a name="l00321"></a><span class="lineno"> 321</span>  {</div><div class="line"><a name="l00322"></a><span class="lineno"> 322</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>;</div><div class="line"><a name="l00323"></a><span class="lineno"> 323</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00275">SVFValue.h:275</a></div></div>
|
|
1095
1091
|
</div><!-- fragment -->
|
|
1096
1092
|
</div>
|
|
1097
1093
|
</div>
|
|
@@ -1119,9 +1115,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1119
1115
|
</table>
|
|
1120
1116
|
</div><div class="memdoc">
|
|
1121
1117
|
|
|
1122
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1123
|
-
<div class="fragment"><div class="line"><a name="
|
|
1124
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
1118
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00434">434</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1119
|
+
<div class="fragment"><div class="line"><a name="l00435"></a><span class="lineno"> 435</span>  {</div><div class="line"><a name="l00436"></a><span class="lineno"> 436</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-><a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ac29e502080635ed47b72d471b48b5a8d">getLoopHeader</a>(lp);</div><div class="line"><a name="l00437"></a><span class="lineno"> 437</span>  }</div><div class="ttc" id="classSVF_1_1SVFLoopAndDomInfo_html_ac29e502080635ed47b72d471b48b5a8d"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#ac29e502080635ed47b72d471b48b5a8d">SVF::SVFLoopAndDomInfo::getLoopHeader</a></div><div class="ttdeci">const SVFBasicBlock * getLoopHeader(const LoopBBs &lp) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00087">SVFValue.h:87</a></div></div>
|
|
1120
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00275">SVFValue.h:275</a></div></div>
|
|
1125
1121
|
</div><!-- fragment -->
|
|
1126
1122
|
</div>
|
|
1127
1123
|
</div>
|
|
@@ -1149,9 +1145,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1149
1145
|
</table>
|
|
1150
1146
|
</div><div class="memdoc">
|
|
1151
1147
|
|
|
1152
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1153
|
-
<div class="fragment"><div class="line"><a name="
|
|
1154
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
1148
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00429">429</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1149
|
+
<div class="fragment"><div class="line"><a name="l00430"></a><span class="lineno"> 430</span>  {</div><div class="line"><a name="l00431"></a><span class="lineno"> 431</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-><a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a0fb893485fc3df088d921762514faf66">getLoopInfo</a>(bb);</div><div class="line"><a name="l00432"></a><span class="lineno"> 432</span>  }</div><div class="ttc" id="classSVF_1_1SVFLoopAndDomInfo_html_a0fb893485fc3df088d921762514faf66"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a0fb893485fc3df088d921762514faf66">SVF::SVFLoopAndDomInfo::getLoopInfo</a></div><div class="ttdeci">const LoopBBs & getLoopInfo(const SVFBasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00027">SVFValue.cpp:27</a></div></div>
|
|
1150
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00275">SVFValue.h:275</a></div></div>
|
|
1155
1151
|
</div><!-- fragment -->
|
|
1156
1152
|
</div>
|
|
1157
1153
|
</div>
|
|
@@ -1178,9 +1174,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1178
1174
|
</table>
|
|
1179
1175
|
</div><div class="memdoc">
|
|
1180
1176
|
|
|
1181
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1182
|
-
<div class="fragment"><div class="line"><a name="
|
|
1183
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
1177
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00404">404</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1178
|
+
<div class="fragment"><div class="line"><a name="l00405"></a><span class="lineno"> 405</span>  {</div><div class="line"><a name="l00406"></a><span class="lineno"> 406</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-><a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a95099f1b621c4f0d6d53798d7eab4e3b">getReachableBBs</a>();</div><div class="line"><a name="l00407"></a><span class="lineno"> 407</span>  }</div><div class="ttc" id="classSVF_1_1SVFLoopAndDomInfo_html_a95099f1b621c4f0d6d53798d7eab4e3b"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a95099f1b621c4f0d6d53798d7eab4e3b">SVF::SVFLoopAndDomInfo::getReachableBBs</a></div><div class="ttdeci">const BBList & getReachableBBs() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00128">SVFValue.h:128</a></div></div>
|
|
1179
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00275">SVFValue.h:275</a></div></div>
|
|
1184
1180
|
</div><!-- fragment -->
|
|
1185
1181
|
</div>
|
|
1186
1182
|
</div>
|
|
@@ -1209,8 +1205,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1209
1205
|
|
|
1210
1206
|
<p>Returns the FunctionType. </p>
|
|
1211
1207
|
|
|
1212
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1213
|
-
<div class="fragment"><div class="line"><a name="
|
|
1208
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00346">346</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1209
|
+
<div class="fragment"><div class="line"><a name="l00347"></a><span class="lineno"> 347</span>  {</div><div class="line"><a name="l00348"></a><span class="lineno"> 348</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">funcType</a>-><a class="code" href="classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3">getReturnType</a>();</div><div class="line"><a name="l00349"></a><span class="lineno"> 349</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_ad1c1ca2a7d4a681f24712345222e9ddc"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">SVF::SVFFunction::funcType</a></div><div class="ttdeci">const SVFFunctionType * funcType</div><div class="ttdoc">return true if this function supports variable arguments </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00274">SVFValue.h:274</a></div></div>
|
|
1214
1210
|
<div class="ttc" id="classSVF_1_1SVFFunctionType_html_a74ce115a0fa958f259469b521468a2b3"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3">SVF::SVFFunctionType::getReturnType</a></div><div class="ttdeci">const SVFType * getReturnType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00360">SVFType.h:360</a></div></div>
|
|
1215
1211
|
</div><!-- fragment -->
|
|
1216
1212
|
</div>
|
|
@@ -1238,8 +1234,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1238
1234
|
</table>
|
|
1239
1235
|
</div><div class="memdoc">
|
|
1240
1236
|
|
|
1241
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1242
|
-
<div class="fragment"><div class="line"><a name="
|
|
1237
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00334">334</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1238
|
+
<div class="fragment"><div class="line"><a name="l00335"></a><span class="lineno"> 335</span>  {</div><div class="line"><a name="l00336"></a><span class="lineno"> 336</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1">addrTaken</a>;</div><div class="line"><a name="l00337"></a><span class="lineno"> 337</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a3b93a04e82233f64b1c463f6cece8ea1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1">SVF::SVFFunction::addrTaken</a></div><div class="ttdeci">bool addrTaken</div><div class="ttdoc">return true if this function is an intricsic function (e.g., llvm.dbg), which does not reside in the ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00270">SVFValue.h:270</a></div></div>
|
|
1243
1239
|
</div><!-- fragment -->
|
|
1244
1240
|
</div>
|
|
1245
1241
|
</div>
|
|
@@ -1266,8 +1262,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1266
1262
|
</table>
|
|
1267
1263
|
</div><div class="memdoc">
|
|
1268
1264
|
|
|
1269
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1270
|
-
<div class="fragment"><div class="line"><a name="
|
|
1265
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00362">362</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1266
|
+
<div class="fragment"><div class="line"><a name="l00363"></a><span class="lineno"> 363</span>  {</div><div class="line"><a name="l00364"></a><span class="lineno"> 364</span>  <span class="keywordflow">return</span> !<a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.empty();</div><div class="line"><a name="l00365"></a><span class="lineno"> 365</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_aa61307a21647def105677d36bfbaf32f"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">SVF::SVFFunction::allBBs</a></div><div class="ttdeci">std::vector< const SVFBasicBlock * > allBBs</div><div class="ttdoc">the definition of a function across multiple modules </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00277">SVFValue.h:277</a></div></div>
|
|
1271
1267
|
</div><!-- fragment -->
|
|
1272
1268
|
</div>
|
|
1273
1269
|
</div>
|
|
@@ -1295,9 +1291,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1295
1291
|
</table>
|
|
1296
1292
|
</div><div class="memdoc">
|
|
1297
1293
|
|
|
1298
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1299
|
-
<div class="fragment"><div class="line"><a name="
|
|
1300
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
1294
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00424">424</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1295
|
+
<div class="fragment"><div class="line"><a name="l00425"></a><span class="lineno"> 425</span>  {</div><div class="line"><a name="l00426"></a><span class="lineno"> 426</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-><a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#abe37f8896e2491a7a60be3fbfde8123c">hasLoopInfo</a>(bb);</div><div class="line"><a name="l00427"></a><span class="lineno"> 427</span>  }</div><div class="ttc" id="classSVF_1_1SVFLoopAndDomInfo_html_abe37f8896e2491a7a60be3fbfde8123c"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#abe37f8896e2491a7a60be3fbfde8123c">SVF::SVFLoopAndDomInfo::hasLoopInfo</a></div><div class="ttdeci">bool hasLoopInfo(const SVFBasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00080">SVFValue.h:80</a></div></div>
|
|
1296
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00275">SVFValue.h:275</a></div></div>
|
|
1301
1297
|
</div><!-- fragment -->
|
|
1302
1298
|
</div>
|
|
1303
1299
|
</div>
|
|
@@ -1324,8 +1320,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1324
1320
|
</table>
|
|
1325
1321
|
</div><div class="memdoc">
|
|
1326
1322
|
|
|
1327
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1328
|
-
<div class="fragment"><div class="line"><a name="
|
|
1323
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00324">324</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1324
|
+
<div class="fragment"><div class="line"><a name="l00325"></a><span class="lineno"> 325</span>  {</div><div class="line"><a name="l00326"></a><span class="lineno"> 326</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">isDecl</a>;</div><div class="line"><a name="l00327"></a><span class="lineno"> 327</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a52581d00177fd5853d6f9de50b3e7fb9"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">SVF::SVFFunction::isDecl</a></div><div class="ttdeci">bool isDecl</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00268">SVFValue.h:268</a></div></div>
|
|
1329
1325
|
</div><!-- fragment -->
|
|
1330
1326
|
</div>
|
|
1331
1327
|
</div>
|
|
@@ -1352,8 +1348,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1352
1348
|
</table>
|
|
1353
1349
|
</div><div class="memdoc">
|
|
1354
1350
|
|
|
1355
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1356
|
-
<div class="fragment"><div class="line"><a name="
|
|
1351
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00329">329</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1352
|
+
<div class="fragment"><div class="line"><a name="l00330"></a><span class="lineno"> 330</span>  {</div><div class="line"><a name="l00331"></a><span class="lineno"> 331</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a7a17b7f6f74fd54dd19323b46fa1dfe5">intricsic</a>;</div><div class="line"><a name="l00332"></a><span class="lineno"> 332</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a7a17b7f6f74fd54dd19323b46fa1dfe5"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a7a17b7f6f74fd54dd19323b46fa1dfe5">SVF::SVFFunction::intricsic</a></div><div class="ttdeci">bool intricsic</div><div class="ttdoc">return true if this function does not have a body </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00269">SVFValue.h:269</a></div></div>
|
|
1357
1353
|
</div><!-- fragment -->
|
|
1358
1354
|
</div>
|
|
1359
1355
|
</div>
|
|
@@ -1381,9 +1377,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1381
1377
|
</table>
|
|
1382
1378
|
</div><div class="memdoc">
|
|
1383
1379
|
|
|
1384
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1385
|
-
<div class="fragment"><div class="line"><a name="
|
|
1386
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
1380
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00454">454</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1381
|
+
<div class="fragment"><div class="line"><a name="l00455"></a><span class="lineno"> 455</span>  {</div><div class="line"><a name="l00456"></a><span class="lineno"> 456</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-><a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a39257282d3875b5d28c21f6c8b1caf43">isLoopHeader</a>(bb);</div><div class="line"><a name="l00457"></a><span class="lineno"> 457</span>  }</div><div class="ttc" id="classSVF_1_1SVFLoopAndDomInfo_html_a39257282d3875b5d28c21f6c8b1caf43"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a39257282d3875b5d28c21f6c8b1caf43">SVF::SVFLoopAndDomInfo::isLoopHeader</a></div><div class="ttdeci">bool isLoopHeader(const SVFBasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00114">SVFValue.cpp:114</a></div></div>
|
|
1382
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00275">SVFValue.h:275</a></div></div>
|
|
1387
1383
|
</div><!-- fragment -->
|
|
1388
1384
|
</div>
|
|
1389
1385
|
</div>
|
|
@@ -1410,8 +1406,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1410
1406
|
</table>
|
|
1411
1407
|
</div><div class="memdoc">
|
|
1412
1408
|
|
|
1413
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1414
|
-
<div class="fragment"><div class="line"><a name="
|
|
1409
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00414">414</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1410
|
+
<div class="fragment"><div class="line"><a name="l00415"></a><span class="lineno"> 415</span>  {</div><div class="line"><a name="l00416"></a><span class="lineno"> 416</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a>;</div><div class="line"><a name="l00417"></a><span class="lineno"> 417</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_ac85bdf04fd784e22a89426955d28e3d6"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">SVF::SVFFunction::isNotRet</a></div><div class="ttdeci">bool isNotRet</div><div class="ttdoc">return true if this function is never called </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00272">SVFValue.h:272</a></div></div>
|
|
1415
1411
|
</div><!-- fragment -->
|
|
1416
1412
|
</div>
|
|
1417
1413
|
</div>
|
|
@@ -1438,8 +1434,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1438
1434
|
</table>
|
|
1439
1435
|
</div><div class="memdoc">
|
|
1440
1436
|
|
|
1441
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1442
|
-
<div class="fragment"><div class="line"><a name="
|
|
1437
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00409">409</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1438
|
+
<div class="fragment"><div class="line"><a name="l00410"></a><span class="lineno"> 410</span>  {</div><div class="line"><a name="l00411"></a><span class="lineno"> 411</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a>;</div><div class="line"><a name="l00412"></a><span class="lineno"> 412</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a1e9dc1d660e3626540b7501194bb12ea"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">SVF::SVFFunction::isUncalled</a></div><div class="ttdeci">bool isUncalled</div><div class="ttdoc">return true if this function is address-taken (for indirect call purposes) </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00271">SVFValue.h:271</a></div></div>
|
|
1443
1439
|
</div><!-- fragment -->
|
|
1444
1440
|
</div>
|
|
1445
1441
|
</div>
|
|
@@ -1459,7 +1455,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1459
1455
|
</div><div class="memdoc">
|
|
1460
1456
|
|
|
1461
1457
|
<p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00150">150</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
|
|
1462
|
-
<div class="fragment"><div class="line"><a name="l00151"></a><span class="lineno"> 151</span> {</div><div class="line"><a name="l00152"></a><span class="lineno"> 152</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad">varArg</a>;</div><div class="line"><a name="l00153"></a><span class="lineno"> 153</span> }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a11aaa0ffaf7fa3d220c9af5d4537eaad"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad">SVF::SVFFunction::varArg</a></div><div class="ttdeci">bool varArg</div><div class="ttdoc">return true if this function never returns </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
1458
|
+
<div class="fragment"><div class="line"><a name="l00151"></a><span class="lineno"> 151</span> {</div><div class="line"><a name="l00152"></a><span class="lineno"> 152</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad">varArg</a>;</div><div class="line"><a name="l00153"></a><span class="lineno"> 153</span> }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a11aaa0ffaf7fa3d220c9af5d4537eaad"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad">SVF::SVFFunction::varArg</a></div><div class="ttdeci">bool varArg</div><div class="ttdoc">return true if this function never returns </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00273">SVFValue.h:273</a></div></div>
|
|
1463
1459
|
</div><!-- fragment -->
|
|
1464
1460
|
</div>
|
|
1465
1461
|
</div>
|
|
@@ -1497,9 +1493,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1497
1493
|
</table>
|
|
1498
1494
|
</div><div class="memdoc">
|
|
1499
1495
|
|
|
1500
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1501
|
-
<div class="fragment"><div class="line"><a name="
|
|
1502
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
1496
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00439">439</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1497
|
+
<div class="fragment"><div class="line"><a name="l00440"></a><span class="lineno"> 440</span>  {</div><div class="line"><a name="l00441"></a><span class="lineno"> 441</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-><a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#adc010d8c6b2a3fe1a99f39552be5b117">loopContainsBB</a>(lp,bb);</div><div class="line"><a name="l00442"></a><span class="lineno"> 442</span>  }</div><div class="ttc" id="classSVF_1_1SVFLoopAndDomInfo_html_adc010d8c6b2a3fe1a99f39552be5b117"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#adc010d8c6b2a3fe1a99f39552be5b117">SVF::SVFLoopAndDomInfo::loopContainsBB</a></div><div class="ttdeci">bool loopContainsBB(const LoopBBs &lp, const SVFBasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00093">SVFValue.h:93</a></div></div>
|
|
1498
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00275">SVFValue.h:275</a></div></div>
|
|
1503
1499
|
</div><!-- fragment -->
|
|
1504
1500
|
</div>
|
|
1505
1501
|
</div>
|
|
@@ -1537,9 +1533,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1537
1533
|
</table>
|
|
1538
1534
|
</div><div class="memdoc">
|
|
1539
1535
|
|
|
1540
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1541
|
-
<div class="fragment"><div class="line"><a name="
|
|
1542
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#
|
|
1536
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00464">464</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1537
|
+
<div class="fragment"><div class="line"><a name="l00465"></a><span class="lineno"> 465</span>  {</div><div class="line"><a name="l00466"></a><span class="lineno"> 466</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-><a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#af66c5a824f9fc2813e2d97e17f9a2e96">postDominate</a>(bbKey,bbValue);</div><div class="line"><a name="l00467"></a><span class="lineno"> 467</span>  }</div><div class="ttc" id="classSVF_1_1SVFLoopAndDomInfo_html_af66c5a824f9fc2813e2d97e17f9a2e96"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#af66c5a824f9fc2813e2d97e17f9a2e96">SVF::SVFLoopAndDomInfo::postDominate</a></div><div class="ttdeci">bool postDominate(const SVFBasicBlock *bbKey, const SVFBasicBlock *bbValue) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00084">SVFValue.cpp:84</a></div></div>
|
|
1538
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00275">SVFValue.h:275</a></div></div>
|
|
1543
1539
|
</div><!-- fragment -->
|
|
1544
1540
|
</div>
|
|
1545
1541
|
</div>
|
|
@@ -1567,8 +1563,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1567
1563
|
</table>
|
|
1568
1564
|
</div><div class="memdoc">
|
|
1569
1565
|
|
|
1570
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1571
|
-
<div class="fragment"><div class="line"><a name="
|
|
1566
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00303">303</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1567
|
+
<div class="fragment"><div class="line"><a name="l00304"></a><span class="lineno"> 304</span>  {</div><div class="line"><a name="l00305"></a><span class="lineno"> 305</span>  <a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a> = deffun;</div><div class="line"><a name="l00306"></a><span class="lineno"> 306</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a78f8e3238be991bf5cc42a84c29b9007"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">SVF::SVFFunction::realDefFun</a></div><div class="ttdeci">const SVFFunction * realDefFun</div><div class="ttdoc">the loop and dominate information </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00276">SVFValue.h:276</a></div></div>
|
|
1572
1568
|
</div><!-- fragment -->
|
|
1573
1569
|
</div>
|
|
1574
1570
|
</div>
|
|
@@ -1596,8 +1592,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1596
1592
|
</table>
|
|
1597
1593
|
</div><div class="memdoc">
|
|
1598
1594
|
|
|
1599
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1600
|
-
<div class="fragment"><div class="line"><a name="
|
|
1595
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00298">298</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1596
|
+
<div class="fragment"><div class="line"><a name="l00299"></a><span class="lineno"> 299</span>  {</div><div class="line"><a name="l00300"></a><span class="lineno"> 300</span>  <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a> = notRet;</div><div class="line"><a name="l00301"></a><span class="lineno"> 301</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_ac85bdf04fd784e22a89426955d28e3d6"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">SVF::SVFFunction::isNotRet</a></div><div class="ttdeci">bool isNotRet</div><div class="ttdoc">return true if this function is never called </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00272">SVFValue.h:272</a></div></div>
|
|
1601
1597
|
</div><!-- fragment -->
|
|
1602
1598
|
</div>
|
|
1603
1599
|
</div>
|
|
@@ -1625,8 +1621,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1625
1621
|
</table>
|
|
1626
1622
|
</div><div class="memdoc">
|
|
1627
1623
|
|
|
1628
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1629
|
-
<div class="fragment"><div class="line"><a name="
|
|
1624
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00293">293</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1625
|
+
<div class="fragment"><div class="line"><a name="l00294"></a><span class="lineno"> 294</span>  {</div><div class="line"><a name="l00295"></a><span class="lineno"> 295</span>  <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a> = uncalledFunction;</div><div class="line"><a name="l00296"></a><span class="lineno"> 296</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a1e9dc1d660e3626540b7501194bb12ea"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">SVF::SVFFunction::isUncalled</a></div><div class="ttdeci">bool isUncalled</div><div class="ttdoc">return true if this function is address-taken (for indirect call purposes) </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00271">SVFValue.h:271</a></div></div>
|
|
1630
1626
|
</div><!-- fragment -->
|
|
1631
1627
|
</div>
|
|
1632
1628
|
</div>
|
|
@@ -1651,7 +1647,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1651
1647
|
</table>
|
|
1652
1648
|
</div><div class="memdoc">
|
|
1653
1649
|
|
|
1654
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1650
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00259">259</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1655
1651
|
|
|
1656
1652
|
</div>
|
|
1657
1653
|
</div>
|
|
@@ -1678,7 +1674,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1678
1674
|
|
|
1679
1675
|
<p>return true if this function is an intricsic function (e.g., llvm.dbg), which does not reside in the application code </p>
|
|
1680
1676
|
|
|
1681
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1677
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00270">270</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1682
1678
|
|
|
1683
1679
|
</div>
|
|
1684
1680
|
</div>
|
|
@@ -1704,7 +1700,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1704
1700
|
|
|
1705
1701
|
<p>all BasicBlocks of this function </p>
|
|
1706
1702
|
|
|
1707
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1703
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00278">278</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1708
1704
|
|
|
1709
1705
|
</div>
|
|
1710
1706
|
</div>
|
|
@@ -1730,7 +1726,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1730
1726
|
|
|
1731
1727
|
<p>the definition of a function across multiple modules </p>
|
|
1732
1728
|
|
|
1733
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1729
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00277">277</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1734
1730
|
|
|
1735
1731
|
</div>
|
|
1736
1732
|
</div>
|
|
@@ -1756,7 +1752,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1756
1752
|
|
|
1757
1753
|
<p>return true if this function supports variable arguments </p>
|
|
1758
1754
|
|
|
1759
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1755
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00274">274</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1760
1756
|
|
|
1761
1757
|
</div>
|
|
1762
1758
|
</div>
|
|
@@ -1782,7 +1778,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1782
1778
|
|
|
1783
1779
|
<p>return true if this function does not have a body </p>
|
|
1784
1780
|
|
|
1785
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1781
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00269">269</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1786
1782
|
|
|
1787
1783
|
</div>
|
|
1788
1784
|
</div>
|
|
@@ -1806,7 +1802,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1806
1802
|
</table>
|
|
1807
1803
|
</div><div class="memdoc">
|
|
1808
1804
|
|
|
1809
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1805
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00268">268</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1810
1806
|
|
|
1811
1807
|
</div>
|
|
1812
1808
|
</div>
|
|
@@ -1832,7 +1828,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1832
1828
|
|
|
1833
1829
|
<p>return true if this function is never called </p>
|
|
1834
1830
|
|
|
1835
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1831
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00272">272</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1836
1832
|
|
|
1837
1833
|
</div>
|
|
1838
1834
|
</div>
|
|
@@ -1858,7 +1854,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1858
1854
|
|
|
1859
1855
|
<p>return true if this function is address-taken (for indirect call purposes) </p>
|
|
1860
1856
|
|
|
1861
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1857
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00271">271</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1862
1858
|
|
|
1863
1859
|
</div>
|
|
1864
1860
|
</div>
|
|
@@ -1884,7 +1880,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1884
1880
|
|
|
1885
1881
|
<p>FunctionType, which is different from the type (PointerType) of this <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a>. </p>
|
|
1886
1882
|
|
|
1887
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1883
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00275">275</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1888
1884
|
|
|
1889
1885
|
</div>
|
|
1890
1886
|
</div>
|
|
@@ -1910,7 +1906,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1910
1906
|
|
|
1911
1907
|
<p>the loop and dominate information </p>
|
|
1912
1908
|
|
|
1913
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1909
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00276">276</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1914
1910
|
|
|
1915
1911
|
</div>
|
|
1916
1912
|
</div>
|
|
@@ -1936,7 +1932,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1936
1932
|
|
|
1937
1933
|
<p>return true if this function never returns </p>
|
|
1938
1934
|
|
|
1939
|
-
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#
|
|
1935
|
+
<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00273">273</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
|
|
1940
1936
|
|
|
1941
1937
|
</div>
|
|
1942
1938
|
</div>
|