svf-tools 1.0.587 → 1.0.588
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-doxygen/html/html/AbstractPointsToDS_8h_source.html +1 -1
- package/SVF-doxygen/html/html/AndersenPWC_8h_source.html +5 -5
- package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +9 -9
- package/SVF-doxygen/html/html/AndersenWaveDiff_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/Andersen_8cpp_source.html +18 -18
- package/SVF-doxygen/html/html/Andersen_8h_source.html +10 -10
- package/SVF-doxygen/html/html/Annotator_8h_source.html +3 -3
- package/SVF-doxygen/html/html/BasicTypes_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/BreakConstantExpr_8cpp.html +2 -2
- package/SVF-doxygen/html/html/BreakConstantExpr_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/BreakConstantExpr_8h_source.html +4 -4
- package/SVF-doxygen/html/html/CFGNormalizer_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +3 -3
- package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +12 -12
- package/SVF-doxygen/html/html/CFLAlias_8h_source.html +10 -10
- package/SVF-doxygen/html/html/CFLBase_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/CFLGrammar_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/CFLGrammar_8h_source.html +6 -6
- package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +2 -2
- package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CFLGraph_8h_source.html +1 -1
- package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +25 -25
- package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +5 -5
- package/SVF-doxygen/html/html/CHG_8cpp.html +3 -3
- package/SVF-doxygen/html/html/CHG_8cpp_source.html +12 -12
- package/SVF-doxygen/html/html/CHG_8h_source.html +6 -6
- package/SVF-doxygen/html/html/CPPUtil_8cpp.html +2 -2
- package/SVF-doxygen/html/html/CPPUtil_8cpp_source.html +26 -26
- package/SVF-doxygen/html/html/CPPUtil_8h_source.html +4 -4
- package/SVF-doxygen/html/html/CSC_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/CSC_8h_source.html +4 -4
- package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/Casting_8h.html +1 -0
- package/SVF-doxygen/html/html/Casting_8h_source.html +42 -42
- package/SVF-doxygen/html/html/ConditionalPT_8h_source.html +6 -6
- package/SVF-doxygen/html/html/ConsGEdge_8h_source.html +2 -2
- package/SVF-doxygen/html/html/ConsGNode_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ConsG_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/ConsG_8h_source.html +4 -4
- package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +21 -21
- package/SVF-doxygen/html/html/ContextDDA_8h_source.html +11 -11
- package/SVF-doxygen/html/html/CoreBitVector_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CoreBitVector_8h_source.html +2 -2
- package/SVF-doxygen/html/html/CxtStmt_8h_source.html +5 -5
- package/SVF-doxygen/html/html/DCHG_8cpp_source.html +27 -27
- package/SVF-doxygen/html/html/DCHG_8h_source.html +13 -13
- package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +12 -12
- package/SVF-doxygen/html/html/DDAClient_8h_source.html +3 -3
- package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +9 -9
- package/SVF-doxygen/html/html/DDAPass_8h_source.html +4 -4
- package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/DDAStat_8h_source.html +2 -2
- package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +9 -9
- package/SVF-doxygen/html/html/DPItem_8h_source.html +5 -5
- package/SVF-doxygen/html/html/DataFlowUtil_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/DataFlowUtil_8h_source.html +11 -11
- package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/DoubleFreeChecker_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ExeState_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/ExeState_8h_source.html +4 -4
- package/SVF-doxygen/html/html/ExtAPI_8cpp.html +1 -1
- package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +8 -8
- package/SVF-doxygen/html/html/ExtAPI_8h_source.html +3 -3
- package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +8 -8
- package/SVF-doxygen/html/html/FSMPTA_8h_source.html +6 -6
- package/SVF-doxygen/html/html/FileChecker_8h_source.html +1 -1
- package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/FlowDDA_8h_source.html +13 -13
- package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +13 -13
- package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +7 -7
- package/SVF-doxygen/html/html/GEPTypeBridgeIterator_8h_source.html +3 -3
- package/SVF-doxygen/html/html/GenericGraph_8h_source.html +5 -5
- package/SVF-doxygen/html/html/GrammarBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/GraphPrinter_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +12 -12
- package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +3 -3
- package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +5 -5
- package/SVF-doxygen/html/html/ICFGNode_8h_source.html +5 -5
- package/SVF-doxygen/html/html/ICFGStat_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ICFG_8cpp_source.html +10 -10
- package/SVF-doxygen/html/html/ICFG_8h_source.html +5 -5
- package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +12 -12
- package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/IRGraph_8h_source.html +6 -6
- package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +8 -8
- package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +28 -28
- package/SVF-doxygen/html/html/LLVMModule_8h_source.html +7 -7
- package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +26 -26
- package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +18 -18
- package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/LeakChecker_8h_source.html +2 -2
- package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +8 -8
- package/SVF-doxygen/html/html/LocationSet_8h_source.html +5 -5
- package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +16 -16
- package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +10 -10
- package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +15 -15
- package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +5 -5
- package/SVF-doxygen/html/html/MHP_8cpp.html +3 -3
- package/SVF-doxygen/html/html/MHP_8cpp_source.html +25 -26
- package/SVF-doxygen/html/html/MHP_8h_source.html +10 -10
- package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +4 -4
- package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +9 -9
- package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +8 -8
- package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +21 -21
- package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +10 -10
- package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/MTAStat_8h_source.html +1 -1
- package/SVF-doxygen/html/html/MTA_8cpp_source.html +14 -14
- package/SVF-doxygen/html/html/MTA_8h_source.html +7 -7
- package/SVF-doxygen/html/html/MemPartition_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MemPartition_8h_source.html +3 -3
- package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +20 -20
- package/SVF-doxygen/html/html/MemRegion_8h_source.html +8 -8
- package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +17 -17
- package/SVF-doxygen/html/html/MemSSA_8h_source.html +7 -7
- package/SVF-doxygen/html/html/MutablePointsToDS_8h_source.html +2 -2
- package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/NodeIDAllocator_8h_source.html +3 -3
- package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/PAGBuilderFromFile_8h_source.html +1 -1
- package/SVF-doxygen/html/html/PCG_8cpp_source.html +11 -11
- package/SVF-doxygen/html/html/PCG_8h_source.html +7 -7
- package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +7 -7
- package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/PersistentPointsToCache_8h_source.html +3 -3
- package/SVF-doxygen/html/html/PersistentPointsToDS_8h_source.html +2 -2
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +18 -18
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +19 -19
- package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +59 -59
- package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +81 -82
- package/SVF-doxygen/html/html/PointsTo_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/PointsTo_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/ProgSlice_8h_source.html +4 -4
- package/SVF-doxygen/html/html/SCC_8h_source.html +2 -2
- package/SVF-doxygen/html/html/SVF-FE_2BasicTypes_8h.html +5 -1
- package/SVF-doxygen/html/html/SVF-FE_2BasicTypes_8h_source.html +85 -85
- package/SVF-doxygen/html/html/SVFBasicTypes_8h.html +23 -27
- package/SVF-doxygen/html/html/SVFBasicTypes_8h_source.html +69 -70
- package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/SVFGBuilder_8h_source.html +3 -3
- package/SVF-doxygen/html/html/SVFGEdge_8h_source.html +2 -2
- package/SVF-doxygen/html/html/SVFGNode_8h_source.html +4 -4
- package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +4 -4
- package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/SVFGStat_8h_source.html +4 -4
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +8 -8
- package/SVF-doxygen/html/html/SVFG_8h_source.html +4 -4
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +56 -56
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +47 -47
- package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/SVFIR_8h_source.html +8 -8
- package/SVF-doxygen/html/html/SVFLoop_8h_source.html +2 -2
- package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/SVFModule_8h_source.html +13 -13
- package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/SVFStat_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/SVFStatements_8h_source.html +10 -10
- package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +14 -14
- package/SVF-doxygen/html/html/SVFUtil_8h_source.html +16 -16
- package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/SVFVariables_8h_source.html +8 -8
- package/SVF-doxygen/html/html/SaberAnnotator_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/SaberAnnotator_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +4 -4
- package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +14 -14
- package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +8 -8
- package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +10 -10
- package/SVF-doxygen/html/html/SaberSVFGBuilder_8h_source.html +2 -2
- package/SVF-doxygen/html/html/SparseBitVector_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +3 -3
- package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/Steensgaard_8h_source.html +3 -3
- package/SVF-doxygen/html/html/SymState_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +40 -40
- package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +6 -6
- package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +16 -16
- package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +13 -13
- package/SVF-doxygen/html/html/TCT_8cpp_source.html +20 -21
- package/SVF-doxygen/html/html/TCT_8h_source.html +16 -16
- package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +8 -8
- package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +9 -9
- package/SVF-doxygen/html/html/ThreadCallGraph_8h_source.html +6 -6
- package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +8 -8
- package/SVF-doxygen/html/html/TypeAnalysis_8h_source.html +5 -5
- package/SVF-doxygen/html/html/Util_2BasicTypes_8h.html +1 -14
- package/SVF-doxygen/html/html/Util_2BasicTypes_8h_source.html +97 -97
- package/SVF-doxygen/html/html/VFGEdge_8h_source.html +2 -2
- package/SVF-doxygen/html/html/VFGNode_8h_source.html +7 -7
- package/SVF-doxygen/html/html/VFG_8cpp_source.html +10 -10
- package/SVF-doxygen/html/html/VFG_8h_source.html +6 -6
- package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +13 -13
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8h_source.html +6 -6
- package/SVF-doxygen/html/html/WPAFSSolver_8h_source.html +1 -1
- package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +9 -9
- package/SVF-doxygen/html/html/WPAPass_8h_source.html +6 -6
- package/SVF-doxygen/html/html/WPASolver_8h_source.html +3 -3
- package/SVF-doxygen/html/html/WPAStat_8h_source.html +1 -1
- package/SVF-doxygen/html/html/WorkList_8h_source.html +2 -2
- package/SVF-doxygen/html/html/Z3Expr_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/Z3Expr_8h_source.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +1 -1
- 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 +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Andersen-members.html +249 -250
- package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +37 -39
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase-members.html +216 -217
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +9 -11
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD-members.html +259 -260
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +15 -17
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR-members.html +271 -272
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +8 -10
- package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +14 -14
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff-members.html +257 -258
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +6 -8
- package/SVF-doxygen/html/html/classSVF_1_1Annotator.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl-members.html +164 -165
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +31 -33
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1BreakConstantGEPs.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias-members.html +191 -192
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +17 -19
- package/SVF-doxygen/html/html/classSVF_1_1CFLBase-members.html +185 -186
- package/SVF-doxygen/html/html/classSVF_1_1CFLBase.html +9 -11
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFLNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CFLVF-members.html +189 -190
- package/SVF-doxygen/html/html/classSVF_1_1CFLVF.html +2 -4
- package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +50 -50
- package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1CSC.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CallDirSVFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CallSite.html +36 -36
- package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl-members.html +153 -154
- package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +17 -19
- package/SVF-doxygen/html/html/classSVF_1_1CondStdSet.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CondVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1ContextCond.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA-members.html +255 -256
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +46 -48
- 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_1CoreBitVector.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1CxtProc.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CxtStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CxtThread.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CxtThreadProc.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +72 -72
- package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +15 -15
- package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +27 -27
- package/SVF-doxygen/html/html/classSVF_1_1DirectSVFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +3 -3
- 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_1ExeState.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FSMPTA-members.html +283 -284
- package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +3 -5
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA-members.html +249 -250
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +27 -29
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive-members.html +274 -275
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +67 -69
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +14 -14
- package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +35 -36
- 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 +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +1 -1
- 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 +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GlobalICFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase_1_1SymbolHash.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +17 -17
- package/SVF-doxygen/html/html/classSVF_1_1ICFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1IRAnnotator.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IntraDirSVFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IteratedDominanceFrontier.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +51 -51
- package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +5 -5
- 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 +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +67 -67
- package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +19 -19
- package/SVF-doxygen/html/html/classSVF_1_1MHP.html +50 -51
- package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +38 -38
- package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MTA.html +16 -16
- package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +15 -15
- package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +44 -44
- package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +25 -25
- package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +50 -50
- package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MergeFunctionRets.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1MutableDFPTData.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1PCG.html +26 -26
- package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PTACFInfoBuilder.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1PersistentDFPTData.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1PersistentDiffPTData.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1PersistentPTData.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1PersistentPointsToCache.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis-members.html +120 -121
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +249 -267
- package/SVF-doxygen/html/html/classSVF_1_1PointsTo.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1RetDirSVFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +97 -97
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SVFGlobal.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +142 -142
- package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1SVFValue.html +33 -33
- package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SaberAnnotator.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1SaberCondAllocator.html +35 -35
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1StInfo.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Steensgaard-members.html +228 -229
- package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +2 -4
- package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +71 -71
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +29 -29
- package/SVF-doxygen/html/html/classSVF_1_1TCT.html +50 -51
- 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 +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +21 -21
- package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1ThreadForkEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ThreadJoinEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis-members.html +221 -222
- package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +16 -18
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1VFCFLGraphBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1VFG.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1VFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive-members.html +324 -325
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +39 -41
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive_1_1SCC.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1WPAFSSolver.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1WPAMinimumSolver.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1WPASCCSolver.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1WPASolver.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Z3Expr.html +1 -1
- package/SVF-doxygen/html/html/classllvm_1_1generic__bridge__gep__type__iterator.html +3 -3
- package/SVF-doxygen/html/html/functions_a.html +5 -8
- package/SVF-doxygen/html/html/functions_func_i.html +3 -3
- package/SVF-doxygen/html/html/functions_func_s.html +1 -1
- package/SVF-doxygen/html/html/functions_i.html +2 -2
- package/SVF-doxygen/html/html/functions_l.html +8 -8
- package/SVF-doxygen/html/html/functions_n.html +4 -4
- package/SVF-doxygen/html/html/functions_o.html +8 -8
- package/SVF-doxygen/html/html/functions_p.html +14 -16
- package/SVF-doxygen/html/html/functions_r.html +2 -4
- package/SVF-doxygen/html/html/functions_s.html +7 -7
- package/SVF-doxygen/html/html/functions_type.html +0 -3
- package/SVF-doxygen/html/html/functions_v.html +6 -6
- package/SVF-doxygen/html/html/functions_w.html +11 -11
- package/SVF-doxygen/html/html/namespaceSVF.html +156 -174
- package/SVF-doxygen/html/html/namespaceSVF_1_1LLVMUtil.html +55 -55
- package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +40 -40
- package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +46 -46
- package/SVF-doxygen/html/html/namespacemembers_s.html +0 -3
- package/SVF-doxygen/html/html/namespacemembers_type_s.html +0 -3
- package/SVF-doxygen/html/html/search/all_1.js +0 -1
- package/SVF-doxygen/html/html/search/all_10.js +6 -6
- package/SVF-doxygen/html/html/search/all_11.js +2 -2
- package/SVF-doxygen/html/html/search/all_12.js +5 -6
- package/SVF-doxygen/html/html/search/all_13.js +4 -4
- package/SVF-doxygen/html/html/search/all_15.js +3 -3
- package/SVF-doxygen/html/html/search/all_16.js +2 -2
- package/SVF-doxygen/html/html/search/all_9.js +2 -2
- package/SVF-doxygen/html/html/search/all_c.js +5 -5
- package/SVF-doxygen/html/html/search/all_e.js +2 -2
- package/SVF-doxygen/html/html/search/all_f.js +1 -1
- package/SVF-doxygen/html/html/search/functions_11.js +1 -1
- package/SVF-doxygen/html/html/search/functions_8.js +1 -1
- package/SVF-doxygen/html/html/search/functions_f.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_0.js +0 -1
- package/SVF-doxygen/html/html/search/typedefs_10.js +0 -1
- package/SVF-doxygen/html/html/search/variables_13.js +2 -2
- package/SVF-doxygen/html/html/search/variables_9.js +1 -1
- package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1Symbol.html +4 -4
- package/SVF-doxygen/html/html/structSVF_1_1Hash.html +3 -3
- package/SVF-doxygen/html/html/structSVF_1_1Hash_3_01NodePair_01_4.html +3 -3
- package/SVF-doxygen/html/html/structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html +5 -5
- package/SVF-doxygen/html/html/structSVF_1_1PopulationCounter.html +1 -1
- package/SVF-doxygen/html/html/structSVF_1_1PopulationCounter_3_01T_00_018_01_4.html +1 -1
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__convert__val.html +5 -5
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__convert__val_3_01To_00_01FromTy_00_01FromTy_01_4.html +3 -3
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty.html +2 -2
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__impl.html +2 -2
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01From_01_5_01_4.html +2 -2
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_4.html +2 -2
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5_01_4.html +2 -2
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5const_01_4.html +2 -2
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html +4 -4
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__wrap.html +2 -2
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html +2 -2
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__simple__type.html +2 -2
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl.html +3 -3
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl_3_01To_00_01From_00_01typename_01std_1_1enable__if_3_01std_1_1101a002941fb8432b76e90258f1ec6b7.html +3 -3
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl__cl.html +3 -3
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5_01_4.html +3 -3
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5const_01_4.html +3 -3
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_4.html +3 -3
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4.html +3 -3
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5const_01_4.html +3 -3
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01std_1_1unique__ptr_3_01From_01_4_01_4.html +3 -3
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl__wrap.html +5 -5
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html +3 -3
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1simplify__type.html +4 -4
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html +6 -6
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html +3 -3
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +2 -2
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +2 -2
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html +2 -2
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +4 -4
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html +4 -4
- 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_1CondStdSet_3_01Element_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtDPItem_01_4.html +1 -1
- 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_1CxtStmtDPItem_3_01LocCond_01_4_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/structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html +1 -1
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html +1 -1
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html +3 -3
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html +4 -4
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1SymState_01_4.html +1 -1
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html +3 -3
- package/SVF-doxygen/html/html/svf-ex_8cpp.html +5 -5
- package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +7 -7
- package/include/MemoryModel/PointerAnalysis.h +0 -1
- package/include/SVF-FE/BasicTypes.h +7 -1
- package/include/Util/BasicTypes.h +1 -22
- package/include/Util/Casting.h +1 -0
- package/include/Util/SVFBasicTypes.h +0 -5
- package/lib/MTA/MHP.cpp +4 -4
- package/lib/MTA/TCT.cpp +1 -1
- package/package.json +1 -1
|
@@ -213,7 +213,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
213
213
|
</table>
|
|
214
214
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
215
215
|
<div class="textblock">
|
|
216
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
216
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00093">93</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
217
217
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
218
218
|
<a id="ae7a55d86a87088f7d70254980e4325b3"></a>
|
|
219
219
|
<h2 class="memtitle"><span class="permalink"><a href="#ae7a55d86a87088f7d70254980e4325b3">◆ </a></span>SVFFunction() <span class="overload">[1/2]</span></h2>
|
|
@@ -239,15 +239,15 @@ Additional Inherited Members</h2></td></tr>
|
|
|
239
239
|
</table>
|
|
240
240
|
</div><div class="memdoc">
|
|
241
241
|
|
|
242
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
243
|
-
<div class="fragment"><div class="line"><a name="
|
|
244
|
-
<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="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#
|
|
245
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_a2215730d8469cc3f4bf0c0f16b47a7fc"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">SVF::SVFFunction::exitBB</a></div><div class="ttdeci">BasicBlock * exitBB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#
|
|
246
|
-
<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="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#
|
|
247
|
-
<div class="ttc" id="classSVF_1_1SVFValue_html_ac42927fed1c213852daceb902478d9c8"><div class="ttname"><a href="classSVF_1_1SVFValue.html#ac42927fed1c213852daceb902478d9c8">SVF::SVFValue::SVFValue</a></div><div class="ttdeci">SVFValue(const std::string &val, SVFValKind k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#
|
|
248
|
-
<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="SVFBasicTypes_8h_source.html#
|
|
249
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_a29f016522d91f1b78ea05a9334b1c3e3"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a29f016522d91f1b78ea05a9334b1c3e3">SVF::SVFFunction::isIntri</a></div><div class="ttdeci">bool isIntri</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#
|
|
250
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_af33c2824b5ca3a44e0467655ae890623"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">SVF::SVFFunction::fun</a></div><div class="ttdeci">Function * fun</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#
|
|
242
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00109">109</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
243
|
+
<div class="fragment"><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>  : <a class="code" href="classSVF_1_1SVFValue.html#ac42927fed1c213852daceb902478d9c8">SVFValue</a>(f->getName().str(),<a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVFValue::SVFFunc</a>),</div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span>  <a class="code" href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">isDecl</a>(f->isDeclaration()), <a class="code" href="classSVF_1_1SVFFunction.html#a29f016522d91f1b78ea05a9334b1c3e3">isIntri</a>(f->isIntrinsic()), <a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a>(f), <a class="code" href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">exitBB</a>(<span class="keyword">nullptr</span>), <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>)</div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>  {</div><div class="line"><a name="l00112"></a><span class="lineno"> 112</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="Util_2BasicTypes_8h_source.html#l00096">BasicTypes.h:96</a></div></div>
|
|
244
|
+
<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="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00102">BasicTypes.h:102</a></div></div>
|
|
245
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_a2215730d8469cc3f4bf0c0f16b47a7fc"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">SVF::SVFFunction::exitBB</a></div><div class="ttdeci">BasicBlock * exitBB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00099">BasicTypes.h:99</a></div></div>
|
|
246
|
+
<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="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00101">BasicTypes.h:101</a></div></div>
|
|
247
|
+
<div class="ttc" id="classSVF_1_1SVFValue_html_ac42927fed1c213852daceb902478d9c8"><div class="ttname"><a href="classSVF_1_1SVFValue.html#ac42927fed1c213852daceb902478d9c8">SVF::SVFValue::SVFValue</a></div><div class="ttdeci">SVFValue(const std::string &val, SVFValKind k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00219">SVFBasicTypes.h:219</a></div></div>
|
|
248
|
+
<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="SVFBasicTypes_8h_source.html#l00208">SVFBasicTypes.h:208</a></div></div>
|
|
249
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_a29f016522d91f1b78ea05a9334b1c3e3"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a29f016522d91f1b78ea05a9334b1c3e3">SVF::SVFFunction::isIntri</a></div><div class="ttdeci">bool isIntri</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00097">BasicTypes.h:97</a></div></div>
|
|
250
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_af33c2824b5ca3a44e0467655ae890623"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">SVF::SVFFunction::fun</a></div><div class="ttdeci">Function * fun</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00098">BasicTypes.h:98</a></div></div>
|
|
251
251
|
</div><!-- fragment -->
|
|
252
252
|
</div>
|
|
253
253
|
</div>
|
|
@@ -291,16 +291,16 @@ Additional Inherited Members</h2></td></tr>
|
|
|
291
291
|
</table>
|
|
292
292
|
</div><div class="memdoc">
|
|
293
293
|
|
|
294
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
295
|
-
<div class="fragment"><div class="line"><a name="
|
|
296
|
-
<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="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#
|
|
297
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_a2215730d8469cc3f4bf0c0f16b47a7fc"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">SVF::SVFFunction::exitBB</a></div><div class="ttdeci">BasicBlock * exitBB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#
|
|
298
|
-
<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="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#
|
|
299
|
-
<div class="ttc" id="classSVF_1_1SVFValue_html_ac42927fed1c213852daceb902478d9c8"><div class="ttname"><a href="classSVF_1_1SVFValue.html#ac42927fed1c213852daceb902478d9c8">SVF::SVFValue::SVFValue</a></div><div class="ttdeci">SVFValue(const std::string &val, SVFValKind k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#
|
|
300
|
-
<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="SVFBasicTypes_8h_source.html#
|
|
301
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_a29f016522d91f1b78ea05a9334b1c3e3"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a29f016522d91f1b78ea05a9334b1c3e3">SVF::SVFFunction::isIntri</a></div><div class="ttdeci">bool isIntri</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#
|
|
302
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_a9e58567eeb41a608a580a492d195ec60"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">SVF::SVFFunction::reachableBBs</a></div><div class="ttdeci">std::vector< const BasicBlock * > reachableBBs</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#
|
|
303
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_af33c2824b5ca3a44e0467655ae890623"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">SVF::SVFFunction::fun</a></div><div class="ttdeci">Function * fun</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#
|
|
294
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00114">114</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
295
|
+
<div class="fragment"><div class="line"><a name="l00114"></a><span class="lineno"> 114</span>  : <a class="code" href="classSVF_1_1SVFValue.html#ac42927fed1c213852daceb902478d9c8">SVFValue</a>(f->getName().str(),<a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVFValue::SVFFunc</a>),</div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span>  <a class="code" href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">isDecl</a>(f->isDeclaration()), <a class="code" href="classSVF_1_1SVFFunction.html#a29f016522d91f1b78ea05a9334b1c3e3">isIntri</a>(f->isIntrinsic()), <a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a>(f), <a class="code" href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">exitBB</a>(<a class="code" href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">exitBB</a>), <a class="code" href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">reachableBBs</a>(<a class="code" href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">reachableBBs</a>), <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>)</div><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>  {</div><div class="line"><a name="l00117"></a><span class="lineno"> 117</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="Util_2BasicTypes_8h_source.html#l00096">BasicTypes.h:96</a></div></div>
|
|
296
|
+
<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="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00102">BasicTypes.h:102</a></div></div>
|
|
297
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_a2215730d8469cc3f4bf0c0f16b47a7fc"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">SVF::SVFFunction::exitBB</a></div><div class="ttdeci">BasicBlock * exitBB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00099">BasicTypes.h:99</a></div></div>
|
|
298
|
+
<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="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00101">BasicTypes.h:101</a></div></div>
|
|
299
|
+
<div class="ttc" id="classSVF_1_1SVFValue_html_ac42927fed1c213852daceb902478d9c8"><div class="ttname"><a href="classSVF_1_1SVFValue.html#ac42927fed1c213852daceb902478d9c8">SVF::SVFValue::SVFValue</a></div><div class="ttdeci">SVFValue(const std::string &val, SVFValKind k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00219">SVFBasicTypes.h:219</a></div></div>
|
|
300
|
+
<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="SVFBasicTypes_8h_source.html#l00208">SVFBasicTypes.h:208</a></div></div>
|
|
301
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_a29f016522d91f1b78ea05a9334b1c3e3"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a29f016522d91f1b78ea05a9334b1c3e3">SVF::SVFFunction::isIntri</a></div><div class="ttdeci">bool isIntri</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00097">BasicTypes.h:97</a></div></div>
|
|
302
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_a9e58567eeb41a608a580a492d195ec60"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">SVF::SVFFunction::reachableBBs</a></div><div class="ttdeci">std::vector< const BasicBlock * > reachableBBs</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
|
|
303
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_af33c2824b5ca3a44e0467655ae890623"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">SVF::SVFFunction::fun</a></div><div class="ttdeci">Function * fun</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00098">BasicTypes.h:98</a></div></div>
|
|
304
304
|
</div><!-- fragment -->
|
|
305
305
|
</div>
|
|
306
306
|
</div>
|
|
@@ -339,8 +339,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
339
339
|
</table>
|
|
340
340
|
</div><div class="memdoc">
|
|
341
341
|
|
|
342
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
343
|
-
<div class="fragment"><div class="line"><a name="
|
|
342
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00197">197</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
343
|
+
<div class="fragment"><div class="line"><a name="l00198"></a><span class="lineno"> 198</span>  {</div><div class="line"><a name="l00199"></a><span class="lineno"> 199</span>  <a class="code" href="classSVF_1_1SVFFunction.html#a3ce143c5204cbed737fc18276ae90788">bb2LoopMap</a>[bb].push_back(loopBB);</div><div class="line"><a name="l00200"></a><span class="lineno"> 200</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a3ce143c5204cbed737fc18276ae90788"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a3ce143c5204cbed737fc18276ae90788">SVF::SVFFunction::bb2LoopMap</a></div><div class="ttdeci">Map< const BasicBlock *, std::vector< const BasicBlock * > > bb2LoopMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00106">BasicTypes.h:106</a></div></div>
|
|
344
344
|
</div><!-- fragment -->
|
|
345
345
|
</div>
|
|
346
346
|
</div>
|
|
@@ -367,8 +367,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
367
367
|
</table>
|
|
368
368
|
</div><div class="memdoc">
|
|
369
369
|
|
|
370
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
371
|
-
<div class="fragment"><div class="line"><a name="
|
|
370
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00135">135</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
371
|
+
<div class="fragment"><div class="line"><a name="l00136"></a><span class="lineno"> 136</span>  {</div><div class="line"><a name="l00137"></a><span class="lineno"> 137</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ac4ae917ae35ac6fca652fe2dd90a8ac2">getLLVMFun</a>()->arg_size();</div><div class="line"><a name="l00138"></a><span class="lineno"> 138</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_ac4ae917ae35ac6fca652fe2dd90a8ac2"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac4ae917ae35ac6fca652fe2dd90a8ac2">SVF::SVFFunction::getLLVMFun</a></div><div class="ttdeci">Function * getLLVMFun() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00119">BasicTypes.h:119</a></div></div>
|
|
372
372
|
</div><!-- fragment -->
|
|
373
373
|
</div>
|
|
374
374
|
</div>
|
|
@@ -399,11 +399,11 @@ Additional Inherited Members</h2></td></tr>
|
|
|
399
399
|
</div><div class="memdoc">
|
|
400
400
|
|
|
401
401
|
<p class="definition">Definition at line <a class="el" href="BasicTypes_8cpp_source.html#l00040">40</a> of file <a class="el" href="BasicTypes_8cpp_source.html">BasicTypes.cpp</a>.</p>
|
|
402
|
-
<div class="fragment"><div class="line"><a name="l00041"></a><span class="lineno"> 41</span> {</div><div class="line"><a name="l00042"></a><span class="lineno"> 42</span>  <span class="keywordflow">if</span> (bbKey == bbValue)</div><div class="line"><a name="l00043"></a><span class="lineno"> 43</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00044"></a><span class="lineno"> 44</span> </div><div class="line"><a name="l00045"></a><span class="lineno"> 45</span>  <span class="comment">// An unreachable node is dominated by anything.</span></div><div class="line"><a name="l00046"></a><span class="lineno"> 46</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#a14831b73bbf2db0d180748f39bd83519">isUnreachable</a>(bbValue))</div><div class="line"><a name="l00047"></a><span class="lineno"> 47</span>  {</div><div class="line"><a name="l00048"></a><span class="lineno"> 48</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00049"></a><span class="lineno"> 49</span>  }</div><div class="line"><a name="l00050"></a><span class="lineno"> 50</span> </div><div class="line"><a name="l00051"></a><span class="lineno"> 51</span>  <span class="comment">// And dominates nothing.</span></div><div class="line"><a name="l00052"></a><span class="lineno"> 52</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#a14831b73bbf2db0d180748f39bd83519">isUnreachable</a>(bbKey))</div><div class="line"><a name="l00053"></a><span class="lineno"> 53</span>  {</div><div class="line"><a name="l00054"></a><span class="lineno"> 54</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00055"></a><span class="lineno"> 55</span>  }</div><div class="line"><a name="l00056"></a><span class="lineno"> 56</span> </div><div class="line"><a name="l00057"></a><span class="lineno"> 57</span>  <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<const BasicBlock*,Set<const BasicBlock*></a>>& <a class="code" href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">dtBBsMap</a> = <a class="code" href="classSVF_1_1SVFFunction.html#a52358a4814f16dc8db4d62f92968f70e">getDomTreeMap</a>();</div><div class="line"><a name="l00058"></a><span class="lineno"> 58</span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<const BasicBlock*,Set<const BasicBlock*></a>>::const_iterator mapIter = dtBBsMap.find(bbKey);</div><div class="line"><a name="l00059"></a><span class="lineno"> 59</span>  <span class="keywordflow">if</span> (mapIter != dtBBsMap.end())</div><div class="line"><a name="l00060"></a><span class="lineno"> 60</span>  {</div><div class="line"><a name="l00061"></a><span class="lineno"> 61</span>  <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set<const BasicBlock*></a> & dtBBs = mapIter->second;</div><div class="line"><a name="l00062"></a><span class="lineno"> 62</span>  <span class="keywordflow">if</span> (dtBBs.find(bbValue) != dtBBs.end())</div><div class="line"><a name="l00063"></a><span class="lineno"> 63</span>  {</div><div class="line"><a name="l00064"></a><span class="lineno"> 64</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00065"></a><span class="lineno"> 65</span>  }</div><div class="line"><a name="l00066"></a><span class="lineno"> 66</span>  }</div><div class="line"><a name="l00067"></a><span class="lineno"> 67</span> </div><div class="line"><a name="l00068"></a><span class="lineno"> 68</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00069"></a><span class="lineno"> 69</span> }</div><div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map< Key, Value, Hash, KeyEqual, Allocator > Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#
|
|
403
|
-
<div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set< Key, Hash, KeyEqual, Allocator > Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#
|
|
404
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_a52358a4814f16dc8db4d62f92968f70e"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a52358a4814f16dc8db4d62f92968f70e">SVF::SVFFunction::getDomTreeMap</a></div><div class="ttdeci">Map< const BasicBlock *, Set< const BasicBlock * > > & getDomTreeMap()</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#
|
|
405
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_a2fd6f9d86754ebacdd75c4fa8a699c6b"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">SVF::SVFFunction::dtBBsMap</a></div><div class="ttdeci">Map< const BasicBlock *, Set< const BasicBlock * > > dtBBsMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#
|
|
406
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_a14831b73bbf2db0d180748f39bd83519"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a14831b73bbf2db0d180748f39bd83519">SVF::SVFFunction::isUnreachable</a></div><div class="ttdeci">bool isUnreachable(const BasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#
|
|
402
|
+
<div class="fragment"><div class="line"><a name="l00041"></a><span class="lineno"> 41</span> {</div><div class="line"><a name="l00042"></a><span class="lineno"> 42</span>  <span class="keywordflow">if</span> (bbKey == bbValue)</div><div class="line"><a name="l00043"></a><span class="lineno"> 43</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00044"></a><span class="lineno"> 44</span> </div><div class="line"><a name="l00045"></a><span class="lineno"> 45</span>  <span class="comment">// An unreachable node is dominated by anything.</span></div><div class="line"><a name="l00046"></a><span class="lineno"> 46</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#a14831b73bbf2db0d180748f39bd83519">isUnreachable</a>(bbValue))</div><div class="line"><a name="l00047"></a><span class="lineno"> 47</span>  {</div><div class="line"><a name="l00048"></a><span class="lineno"> 48</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00049"></a><span class="lineno"> 49</span>  }</div><div class="line"><a name="l00050"></a><span class="lineno"> 50</span> </div><div class="line"><a name="l00051"></a><span class="lineno"> 51</span>  <span class="comment">// And dominates nothing.</span></div><div class="line"><a name="l00052"></a><span class="lineno"> 52</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#a14831b73bbf2db0d180748f39bd83519">isUnreachable</a>(bbKey))</div><div class="line"><a name="l00053"></a><span class="lineno"> 53</span>  {</div><div class="line"><a name="l00054"></a><span class="lineno"> 54</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00055"></a><span class="lineno"> 55</span>  }</div><div class="line"><a name="l00056"></a><span class="lineno"> 56</span> </div><div class="line"><a name="l00057"></a><span class="lineno"> 57</span>  <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<const BasicBlock*,Set<const BasicBlock*></a>>& <a class="code" href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">dtBBsMap</a> = <a class="code" href="classSVF_1_1SVFFunction.html#a52358a4814f16dc8db4d62f92968f70e">getDomTreeMap</a>();</div><div class="line"><a name="l00058"></a><span class="lineno"> 58</span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<const BasicBlock*,Set<const BasicBlock*></a>>::const_iterator mapIter = dtBBsMap.find(bbKey);</div><div class="line"><a name="l00059"></a><span class="lineno"> 59</span>  <span class="keywordflow">if</span> (mapIter != dtBBsMap.end())</div><div class="line"><a name="l00060"></a><span class="lineno"> 60</span>  {</div><div class="line"><a name="l00061"></a><span class="lineno"> 61</span>  <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set<const BasicBlock*></a> & dtBBs = mapIter->second;</div><div class="line"><a name="l00062"></a><span class="lineno"> 62</span>  <span class="keywordflow">if</span> (dtBBs.find(bbValue) != dtBBs.end())</div><div class="line"><a name="l00063"></a><span class="lineno"> 63</span>  {</div><div class="line"><a name="l00064"></a><span class="lineno"> 64</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00065"></a><span class="lineno"> 65</span>  }</div><div class="line"><a name="l00066"></a><span class="lineno"> 66</span>  }</div><div class="line"><a name="l00067"></a><span class="lineno"> 67</span> </div><div class="line"><a name="l00068"></a><span class="lineno"> 68</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00069"></a><span class="lineno"> 69</span> }</div><div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map< Key, Value, Hash, KeyEqual, Allocator > Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00106">SVFBasicTypes.h:106</a></div></div>
|
|
403
|
+
<div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set< Key, Hash, KeyEqual, Allocator > Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00101">SVFBasicTypes.h:101</a></div></div>
|
|
404
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_a52358a4814f16dc8db4d62f92968f70e"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a52358a4814f16dc8db4d62f92968f70e">SVF::SVFFunction::getDomTreeMap</a></div><div class="ttdeci">Map< const BasicBlock *, Set< const BasicBlock * > > & getDomTreeMap()</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00212">BasicTypes.h:212</a></div></div>
|
|
405
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_a2fd6f9d86754ebacdd75c4fa8a699c6b"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">SVF::SVFFunction::dtBBsMap</a></div><div class="ttdeci">Map< const BasicBlock *, Set< const BasicBlock * > > dtBBsMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00103">BasicTypes.h:103</a></div></div>
|
|
406
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_a14831b73bbf2db0d180748f39bd83519"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a14831b73bbf2db0d180748f39bd83519">SVF::SVFFunction::isUnreachable</a></div><div class="ttdeci">bool isUnreachable(const BasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00222">BasicTypes.h:222</a></div></div>
|
|
407
407
|
</div><!-- fragment -->
|
|
408
408
|
</div>
|
|
409
409
|
</div>
|
|
@@ -431,8 +431,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
431
431
|
</table>
|
|
432
432
|
</div><div class="memdoc">
|
|
433
433
|
|
|
434
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
435
|
-
<div class="fragment"><div class="line"><a name="
|
|
434
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00140">140</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
435
|
+
<div class="fragment"><div class="line"><a name="l00141"></a><span class="lineno"> 141</span>  {</div><div class="line"><a name="l00142"></a><span class="lineno"> 142</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ac4ae917ae35ac6fca652fe2dd90a8ac2">getLLVMFun</a>()->getArg(idx);</div><div class="line"><a name="l00143"></a><span class="lineno"> 143</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_ac4ae917ae35ac6fca652fe2dd90a8ac2"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac4ae917ae35ac6fca652fe2dd90a8ac2">SVF::SVFFunction::getLLVMFun</a></div><div class="ttdeci">Function * getLLVMFun() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00119">BasicTypes.h:119</a></div></div>
|
|
436
436
|
</div><!-- fragment -->
|
|
437
437
|
</div>
|
|
438
438
|
</div>
|
|
@@ -459,8 +459,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
459
459
|
</table>
|
|
460
460
|
</div><div class="memdoc">
|
|
461
461
|
|
|
462
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
463
|
-
<div class="fragment"><div class="line"><a name="
|
|
462
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00180">180</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
463
|
+
<div class="fragment"><div class="line"><a name="l00181"></a><span class="lineno"> 181</span>  {</div><div class="line"><a name="l00182"></a><span class="lineno"> 182</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa54fb9214e4c1a8b11daaa3e0edd0a6b">dfBBsMap</a>;</div><div class="line"><a name="l00183"></a><span class="lineno"> 183</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_aa54fb9214e4c1a8b11daaa3e0edd0a6b"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aa54fb9214e4c1a8b11daaa3e0edd0a6b">SVF::SVFFunction::dfBBsMap</a></div><div class="ttdeci">Map< const BasicBlock *, Set< const BasicBlock * > > dfBBsMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00104">BasicTypes.h:104</a></div></div>
|
|
464
464
|
</div><!-- fragment -->
|
|
465
465
|
</div>
|
|
466
466
|
</div>
|
|
@@ -487,8 +487,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
487
487
|
</table>
|
|
488
488
|
</div><div class="memdoc">
|
|
489
489
|
|
|
490
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
491
|
-
<div class="fragment"><div class="line"><a name="
|
|
490
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00185">185</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
491
|
+
<div class="fragment"><div class="line"><a name="l00186"></a><span class="lineno"> 186</span>  {</div><div class="line"><a name="l00187"></a><span class="lineno"> 187</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa54fb9214e4c1a8b11daaa3e0edd0a6b">dfBBsMap</a>;</div><div class="line"><a name="l00188"></a><span class="lineno"> 188</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_aa54fb9214e4c1a8b11daaa3e0edd0a6b"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aa54fb9214e4c1a8b11daaa3e0edd0a6b">SVF::SVFFunction::dfBBsMap</a></div><div class="ttdeci">Map< const BasicBlock *, Set< const BasicBlock * > > dfBBsMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00104">BasicTypes.h:104</a></div></div>
|
|
492
492
|
</div><!-- fragment -->
|
|
493
493
|
</div>
|
|
494
494
|
</div>
|
|
@@ -515,8 +515,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
515
515
|
</table>
|
|
516
516
|
</div><div class="memdoc">
|
|
517
517
|
|
|
518
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
519
|
-
<div class="fragment"><div class="line"><a name="
|
|
518
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00212">212</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
519
|
+
<div class="fragment"><div class="line"><a name="l00213"></a><span class="lineno"> 213</span>  {</div><div class="line"><a name="l00214"></a><span class="lineno"> 214</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">dtBBsMap</a>;</div><div class="line"><a name="l00215"></a><span class="lineno"> 215</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a2fd6f9d86754ebacdd75c4fa8a699c6b"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">SVF::SVFFunction::dtBBsMap</a></div><div class="ttdeci">Map< const BasicBlock *, Set< const BasicBlock * > > dtBBsMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00103">BasicTypes.h:103</a></div></div>
|
|
520
520
|
</div><!-- fragment -->
|
|
521
521
|
</div>
|
|
522
522
|
</div>
|
|
@@ -543,8 +543,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
543
543
|
</table>
|
|
544
544
|
</div><div class="memdoc">
|
|
545
545
|
|
|
546
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
547
|
-
<div class="fragment"><div class="line"><a name="
|
|
546
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00217">217</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
547
|
+
<div class="fragment"><div class="line"><a name="l00218"></a><span class="lineno"> 218</span>  {</div><div class="line"><a name="l00219"></a><span class="lineno"> 219</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">dtBBsMap</a>;</div><div class="line"><a name="l00220"></a><span class="lineno"> 220</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a2fd6f9d86754ebacdd75c4fa8a699c6b"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">SVF::SVFFunction::dtBBsMap</a></div><div class="ttdeci">Map< const BasicBlock *, Set< const BasicBlock * > > dtBBsMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00103">BasicTypes.h:103</a></div></div>
|
|
548
548
|
</div><!-- fragment -->
|
|
549
549
|
</div>
|
|
550
550
|
</div>
|
|
@@ -571,8 +571,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
571
571
|
</table>
|
|
572
572
|
</div><div class="memdoc">
|
|
573
573
|
|
|
574
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
575
|
-
<div class="fragment"><div class="line"><a name="
|
|
574
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00232">232</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
575
|
+
<div class="fragment"><div class="line"><a name="l00233"></a><span class="lineno"> 233</span>  {</div><div class="line"><a name="l00234"></a><span class="lineno"> 234</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">exitBB</a>;</div><div class="line"><a name="l00235"></a><span class="lineno"> 235</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a2215730d8469cc3f4bf0c0f16b47a7fc"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">SVF::SVFFunction::exitBB</a></div><div class="ttdeci">BasicBlock * exitBB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00099">BasicTypes.h:99</a></div></div>
|
|
576
576
|
</div><!-- fragment -->
|
|
577
577
|
</div>
|
|
578
578
|
</div>
|
|
@@ -603,9 +603,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
603
603
|
</div><div class="memdoc">
|
|
604
604
|
|
|
605
605
|
<p class="definition">Definition at line <a class="el" href="BasicTypes_8cpp_source.html#l00020">20</a> of file <a class="el" href="BasicTypes_8cpp_source.html">BasicTypes.cpp</a>.</p>
|
|
606
|
-
<div class="fragment"><div class="line"><a name="l00021"></a><span class="lineno"> 21</span> {</div><div class="line"><a name="l00022"></a><span class="lineno"> 22</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#a8d9140ca8da3d17135faa9dfcc6ecc43">SVFFunction::hasLoopInfo</a>(bb))</div><div class="line"><a name="l00023"></a><span class="lineno"> 23</span>  {</div><div class="line"><a name="l00024"></a><span class="lineno"> 24</span>  <span class="keyword">const</span> std::vector<const BasicBlock*> blocks = <a class="code" href="classSVF_1_1SVFFunction.html#a5e68fc5ef70bddb78fece39fdea37d41">getLoopInfo</a>(bb);</div><div class="line"><a name="l00025"></a><span class="lineno"> 25</span>  <span class="keywordflow">if</span> (!blocks.empty())</div><div class="line"><a name="l00026"></a><span class="lineno"> 26</span>  {</div><div class="line"><a name="l00027"></a><span class="lineno"> 27</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a>* block : blocks)</div><div class="line"><a name="l00028"></a><span class="lineno"> 28</span>  {</div><div class="line"><a name="l00029"></a><span class="lineno"> 29</span>  <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">succ_const_iterator</a> succIt = succ_begin(block); succIt != succ_end(block); succIt++)</div><div class="line"><a name="l00030"></a><span class="lineno"> 30</span>  {</div><div class="line"><a name="l00031"></a><span class="lineno"> 31</span>  <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a>* succ = *succIt;</div><div class="line"><a name="l00032"></a><span class="lineno"> 32</span>  <span class="keywordflow">if</span> ((std::find(blocks.begin(), blocks.end(), succ)==blocks.end()))</div><div class="line"><a name="l00033"></a><span class="lineno"> 33</span>  exitbbs.insert(succ);</div><div class="line"><a name="l00034"></a><span class="lineno"> 34</span>  }</div><div class="line"><a name="l00035"></a><span class="lineno"> 35</span>  }</div><div class="line"><a name="l00036"></a><span class="lineno"> 36</span>  }</div><div class="line"><a name="l00037"></a><span class="lineno"> 37</span>  }</div><div class="line"><a name="l00038"></a><span class="lineno"> 38</span> }</div><div class="ttc" id="namespaceSVF_html_a23bf614858f168b6ad76e0233cec9965"><div class="ttname"><a href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">SVF::BasicBlock</a></div><div class="ttdeci">llvm::BasicBlock BasicBlock</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#
|
|
607
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_a8d9140ca8da3d17135faa9dfcc6ecc43"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a8d9140ca8da3d17135faa9dfcc6ecc43">SVF::SVFFunction::hasLoopInfo</a></div><div class="ttdeci">bool hasLoopInfo(const BasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#
|
|
608
|
-
<div class="ttc" id="namespaceSVF_html_a3436a988bf80c021cd8022fb445b66d5"><div class="ttname"><a href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">SVF::succ_const_iterator</a></div><div class="ttdeci">llvm::succ_const_iterator succ_const_iterator</div><div class="ttdoc">LLVM Iterators. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#
|
|
606
|
+
<div class="fragment"><div class="line"><a name="l00021"></a><span class="lineno"> 21</span> {</div><div class="line"><a name="l00022"></a><span class="lineno"> 22</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#a8d9140ca8da3d17135faa9dfcc6ecc43">SVFFunction::hasLoopInfo</a>(bb))</div><div class="line"><a name="l00023"></a><span class="lineno"> 23</span>  {</div><div class="line"><a name="l00024"></a><span class="lineno"> 24</span>  <span class="keyword">const</span> std::vector<const BasicBlock*> blocks = <a class="code" href="classSVF_1_1SVFFunction.html#a5e68fc5ef70bddb78fece39fdea37d41">getLoopInfo</a>(bb);</div><div class="line"><a name="l00025"></a><span class="lineno"> 25</span>  <span class="keywordflow">if</span> (!blocks.empty())</div><div class="line"><a name="l00026"></a><span class="lineno"> 26</span>  {</div><div class="line"><a name="l00027"></a><span class="lineno"> 27</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a>* block : blocks)</div><div class="line"><a name="l00028"></a><span class="lineno"> 28</span>  {</div><div class="line"><a name="l00029"></a><span class="lineno"> 29</span>  <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">succ_const_iterator</a> succIt = succ_begin(block); succIt != succ_end(block); succIt++)</div><div class="line"><a name="l00030"></a><span class="lineno"> 30</span>  {</div><div class="line"><a name="l00031"></a><span class="lineno"> 31</span>  <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a>* succ = *succIt;</div><div class="line"><a name="l00032"></a><span class="lineno"> 32</span>  <span class="keywordflow">if</span> ((std::find(blocks.begin(), blocks.end(), succ)==blocks.end()))</div><div class="line"><a name="l00033"></a><span class="lineno"> 33</span>  exitbbs.insert(succ);</div><div class="line"><a name="l00034"></a><span class="lineno"> 34</span>  }</div><div class="line"><a name="l00035"></a><span class="lineno"> 35</span>  }</div><div class="line"><a name="l00036"></a><span class="lineno"> 36</span>  }</div><div class="line"><a name="l00037"></a><span class="lineno"> 37</span>  }</div><div class="line"><a name="l00038"></a><span class="lineno"> 38</span> }</div><div class="ttc" id="namespaceSVF_html_a23bf614858f168b6ad76e0233cec9965"><div class="ttname"><a href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">SVF::BasicBlock</a></div><div class="ttdeci">llvm::BasicBlock BasicBlock</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00049">BasicTypes.h:49</a></div></div>
|
|
607
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_a8d9140ca8da3d17135faa9dfcc6ecc43"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a8d9140ca8da3d17135faa9dfcc6ecc43">SVF::SVFFunction::hasLoopInfo</a></div><div class="ttdeci">bool hasLoopInfo(const BasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00190">BasicTypes.h:190</a></div></div>
|
|
608
|
+
<div class="ttc" id="namespaceSVF_html_a3436a988bf80c021cd8022fb445b66d5"><div class="ttname"><a href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">SVF::succ_const_iterator</a></div><div class="ttdeci">llvm::succ_const_iterator succ_const_iterator</div><div class="ttdoc">LLVM Iterators. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00085">BasicTypes.h:85</a></div></div>
|
|
609
609
|
<div class="ttc" id="classSVF_1_1SVFFunction_html_a5e68fc5ef70bddb78fece39fdea37d41"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a5e68fc5ef70bddb78fece39fdea37d41">SVF::SVFFunction::getLoopInfo</a></div><div class="ttdeci">const std::vector< const BasicBlock * > & getLoopInfo(const BasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8cpp_source.html#l00008">BasicTypes.cpp:8</a></div></div>
|
|
610
610
|
</div><!-- fragment -->
|
|
611
611
|
</div>
|
|
@@ -633,8 +633,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
633
633
|
</table>
|
|
634
634
|
</div><div class="memdoc">
|
|
635
635
|
|
|
636
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
637
|
-
<div class="fragment"><div class="line"><a name="
|
|
636
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00119">119</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
637
|
+
<div class="fragment"><div class="line"><a name="l00120"></a><span class="lineno"> 120</span>  {</div><div class="line"><a name="l00121"></a><span class="lineno"> 121</span>  assert(<a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a> && <span class="stringliteral">"no LLVM Function found!"</span>);</div><div class="line"><a name="l00122"></a><span class="lineno"> 122</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a>;</div><div class="line"><a name="l00123"></a><span class="lineno"> 123</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_af33c2824b5ca3a44e0467655ae890623"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">SVF::SVFFunction::fun</a></div><div class="ttdeci">Function * fun</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00098">BasicTypes.h:98</a></div></div>
|
|
638
638
|
</div><!-- fragment -->
|
|
639
639
|
</div>
|
|
640
640
|
</div>
|
|
@@ -655,9 +655,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
655
655
|
</div><div class="memdoc">
|
|
656
656
|
|
|
657
657
|
<p class="definition">Definition at line <a class="el" href="BasicTypes_8cpp_source.html#l00008">8</a> of file <a class="el" href="BasicTypes_8cpp_source.html">BasicTypes.cpp</a>.</p>
|
|
658
|
-
<div class="fragment"><div class="line"><a name="l00009"></a><span class="lineno"> 9</span> {</div><div class="line"><a name="l00010"></a><span class="lineno"> 10</span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<const BasicBlock*, std::vector<const BasicBlock*></a>>::const_iterator mapIter = <a class="code" href="classSVF_1_1SVFFunction.html#a3ce143c5204cbed737fc18276ae90788">bb2LoopMap</a>.find(bb);</div><div class="line"><a name="l00011"></a><span class="lineno"> 11</span>  <span class="keywordflow">if</span>(mapIter != <a class="code" href="classSVF_1_1SVFFunction.html#a3ce143c5204cbed737fc18276ae90788">bb2LoopMap</a>.end())</div><div class="line"><a name="l00012"></a><span class="lineno"> 12</span>  <span class="keywordflow">return</span> mapIter->second;</div><div class="line"><a name="l00013"></a><span class="lineno"> 13</span>  <span class="keywordflow">else</span></div><div class="line"><a name="l00014"></a><span class="lineno"> 14</span>  {</div><div class="line"><a name="l00015"></a><span class="lineno"> 15</span>  assert(<a class="code" href="classSVF_1_1SVFFunction.html#a8d9140ca8da3d17135faa9dfcc6ecc43">SVFFunction::hasLoopInfo</a>(bb) && <span class="stringliteral">"loopinfo does not exit(bb not in a loop)"</span>);</div><div class="line"><a name="l00016"></a><span class="lineno"> 16</span>  abort();</div><div class="line"><a name="l00017"></a><span class="lineno"> 17</span>  }</div><div class="line"><a name="l00018"></a><span class="lineno"> 18</span> }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a8d9140ca8da3d17135faa9dfcc6ecc43"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a8d9140ca8da3d17135faa9dfcc6ecc43">SVF::SVFFunction::hasLoopInfo</a></div><div class="ttdeci">bool hasLoopInfo(const BasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#
|
|
659
|
-
<div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map< Key, Value, Hash, KeyEqual, Allocator > Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#
|
|
660
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_a3ce143c5204cbed737fc18276ae90788"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a3ce143c5204cbed737fc18276ae90788">SVF::SVFFunction::bb2LoopMap</a></div><div class="ttdeci">Map< const BasicBlock *, std::vector< const BasicBlock * > > bb2LoopMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#
|
|
658
|
+
<div class="fragment"><div class="line"><a name="l00009"></a><span class="lineno"> 9</span> {</div><div class="line"><a name="l00010"></a><span class="lineno"> 10</span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<const BasicBlock*, std::vector<const BasicBlock*></a>>::const_iterator mapIter = <a class="code" href="classSVF_1_1SVFFunction.html#a3ce143c5204cbed737fc18276ae90788">bb2LoopMap</a>.find(bb);</div><div class="line"><a name="l00011"></a><span class="lineno"> 11</span>  <span class="keywordflow">if</span>(mapIter != <a class="code" href="classSVF_1_1SVFFunction.html#a3ce143c5204cbed737fc18276ae90788">bb2LoopMap</a>.end())</div><div class="line"><a name="l00012"></a><span class="lineno"> 12</span>  <span class="keywordflow">return</span> mapIter->second;</div><div class="line"><a name="l00013"></a><span class="lineno"> 13</span>  <span class="keywordflow">else</span></div><div class="line"><a name="l00014"></a><span class="lineno"> 14</span>  {</div><div class="line"><a name="l00015"></a><span class="lineno"> 15</span>  assert(<a class="code" href="classSVF_1_1SVFFunction.html#a8d9140ca8da3d17135faa9dfcc6ecc43">SVFFunction::hasLoopInfo</a>(bb) && <span class="stringliteral">"loopinfo does not exit(bb not in a loop)"</span>);</div><div class="line"><a name="l00016"></a><span class="lineno"> 16</span>  abort();</div><div class="line"><a name="l00017"></a><span class="lineno"> 17</span>  }</div><div class="line"><a name="l00018"></a><span class="lineno"> 18</span> }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a8d9140ca8da3d17135faa9dfcc6ecc43"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a8d9140ca8da3d17135faa9dfcc6ecc43">SVF::SVFFunction::hasLoopInfo</a></div><div class="ttdeci">bool hasLoopInfo(const BasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00190">BasicTypes.h:190</a></div></div>
|
|
659
|
+
<div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map< Key, Value, Hash, KeyEqual, Allocator > Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00106">SVFBasicTypes.h:106</a></div></div>
|
|
660
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_a3ce143c5204cbed737fc18276ae90788"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a3ce143c5204cbed737fc18276ae90788">SVF::SVFFunction::bb2LoopMap</a></div><div class="ttdeci">Map< const BasicBlock *, std::vector< const BasicBlock * > > bb2LoopMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00106">BasicTypes.h:106</a></div></div>
|
|
661
661
|
</div><!-- fragment -->
|
|
662
662
|
</div>
|
|
663
663
|
</div>
|
|
@@ -684,8 +684,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
684
684
|
</table>
|
|
685
685
|
</div><div class="memdoc">
|
|
686
686
|
|
|
687
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
688
|
-
<div class="fragment"><div class="line"><a name="
|
|
687
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00202">202</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
688
|
+
<div class="fragment"><div class="line"><a name="l00203"></a><span class="lineno"> 203</span>  {</div><div class="line"><a name="l00204"></a><span class="lineno"> 204</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#afa46555a912e591eaf7b8057c41dc4fe">pdtBBsMap</a>;</div><div class="line"><a name="l00205"></a><span class="lineno"> 205</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_afa46555a912e591eaf7b8057c41dc4fe"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#afa46555a912e591eaf7b8057c41dc4fe">SVF::SVFFunction::pdtBBsMap</a></div><div class="ttdeci">Map< const BasicBlock *, Set< const BasicBlock * > > pdtBBsMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00105">BasicTypes.h:105</a></div></div>
|
|
689
689
|
</div><!-- fragment -->
|
|
690
690
|
</div>
|
|
691
691
|
</div>
|
|
@@ -712,8 +712,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
712
712
|
</table>
|
|
713
713
|
</div><div class="memdoc">
|
|
714
714
|
|
|
715
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
716
|
-
<div class="fragment"><div class="line"><a name="
|
|
715
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00207">207</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
716
|
+
<div class="fragment"><div class="line"><a name="l00208"></a><span class="lineno"> 208</span>  {</div><div class="line"><a name="l00209"></a><span class="lineno"> 209</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#afa46555a912e591eaf7b8057c41dc4fe">pdtBBsMap</a>;</div><div class="line"><a name="l00210"></a><span class="lineno"> 210</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_afa46555a912e591eaf7b8057c41dc4fe"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#afa46555a912e591eaf7b8057c41dc4fe">SVF::SVFFunction::pdtBBsMap</a></div><div class="ttdeci">Map< const BasicBlock *, Set< const BasicBlock * > > pdtBBsMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00105">BasicTypes.h:105</a></div></div>
|
|
717
717
|
</div><!-- fragment -->
|
|
718
718
|
</div>
|
|
719
719
|
</div>
|
|
@@ -740,8 +740,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
740
740
|
</table>
|
|
741
741
|
</div><div class="memdoc">
|
|
742
742
|
|
|
743
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
744
|
-
<div class="fragment"><div class="line"><a name="
|
|
743
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00150">150</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
744
|
+
<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#a9e58567eeb41a608a580a492d195ec60">reachableBBs</a>;</div><div class="line"><a name="l00153"></a><span class="lineno"> 153</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a9e58567eeb41a608a580a492d195ec60"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">SVF::SVFFunction::reachableBBs</a></div><div class="ttdeci">std::vector< const BasicBlock * > reachableBBs</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
|
|
745
745
|
</div><!-- fragment -->
|
|
746
746
|
</div>
|
|
747
747
|
</div>
|
|
@@ -769,8 +769,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
769
769
|
</table>
|
|
770
770
|
</div><div class="memdoc">
|
|
771
771
|
|
|
772
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
773
|
-
<div class="fragment"><div class="line"><a name="
|
|
772
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00190">190</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
773
|
+
<div class="fragment"><div class="line"><a name="l00191"></a><span class="lineno"> 191</span>  {</div><div class="line"><a name="l00192"></a><span class="lineno"> 192</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a3ce143c5204cbed737fc18276ae90788">bb2LoopMap</a>.find(bb)!=<a class="code" href="classSVF_1_1SVFFunction.html#a3ce143c5204cbed737fc18276ae90788">bb2LoopMap</a>.end();</div><div class="line"><a name="l00193"></a><span class="lineno"> 193</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a3ce143c5204cbed737fc18276ae90788"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a3ce143c5204cbed737fc18276ae90788">SVF::SVFFunction::bb2LoopMap</a></div><div class="ttdeci">Map< const BasicBlock *, std::vector< const BasicBlock * > > bb2LoopMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00106">BasicTypes.h:106</a></div></div>
|
|
774
774
|
</div><!-- fragment -->
|
|
775
775
|
</div>
|
|
776
776
|
</div>
|
|
@@ -797,8 +797,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
797
797
|
</table>
|
|
798
798
|
</div><div class="memdoc">
|
|
799
799
|
|
|
800
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
801
|
-
<div class="fragment"><div class="line"><a name="
|
|
800
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00125">125</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
801
|
+
<div class="fragment"><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  {</div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">isDecl</a>;</div><div class="line"><a name="l00128"></a><span class="lineno"> 128</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="Util_2BasicTypes_8h_source.html#l00096">BasicTypes.h:96</a></div></div>
|
|
802
802
|
</div><!-- fragment -->
|
|
803
803
|
</div>
|
|
804
804
|
</div>
|
|
@@ -825,8 +825,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
825
825
|
</table>
|
|
826
826
|
</div><div class="memdoc">
|
|
827
827
|
|
|
828
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
829
|
-
<div class="fragment"><div class="line"><a name="
|
|
828
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00130">130</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
829
|
+
<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">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a29f016522d91f1b78ea05a9334b1c3e3">isIntri</a>;</div><div class="line"><a name="l00133"></a><span class="lineno"> 133</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a29f016522d91f1b78ea05a9334b1c3e3"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a29f016522d91f1b78ea05a9334b1c3e3">SVF::SVFFunction::isIntri</a></div><div class="ttdeci">bool isIntri</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00097">BasicTypes.h:97</a></div></div>
|
|
830
830
|
</div><!-- fragment -->
|
|
831
831
|
</div>
|
|
832
832
|
</div>
|
|
@@ -847,7 +847,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
847
847
|
</div><div class="memdoc">
|
|
848
848
|
|
|
849
849
|
<p class="definition">Definition at line <a class="el" href="BasicTypes_8cpp_source.html#l00101">101</a> of file <a class="el" href="BasicTypes_8cpp_source.html">BasicTypes.cpp</a>.</p>
|
|
850
|
-
<div class="fragment"><div class="line"><a name="l00102"></a><span class="lineno"> 102</span> {</div><div class="line"><a name="l00103"></a><span class="lineno"> 103</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#a8d9140ca8da3d17135faa9dfcc6ecc43">hasLoopInfo</a>(bb))</div><div class="line"><a name="l00104"></a><span class="lineno"> 104</span>  {</div><div class="line"><a name="l00105"></a><span class="lineno"> 105</span>  <span class="keyword">const</span> std::vector<const BasicBlock*>& blocks = <a class="code" href="classSVF_1_1SVFFunction.html#a5e68fc5ef70bddb78fece39fdea37d41">getLoopInfo</a>(bb);</div><div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  assert(!blocks.empty() && <span class="stringliteral">"no available loop info?"</span>);</div><div class="line"><a name="l00107"></a><span class="lineno"> 107</span>  <span class="keywordflow">return</span> blocks.front() == bb;</div><div class="line"><a name="l00108"></a><span class="lineno"> 108</span>  }</div><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span> }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a8d9140ca8da3d17135faa9dfcc6ecc43"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a8d9140ca8da3d17135faa9dfcc6ecc43">SVF::SVFFunction::hasLoopInfo</a></div><div class="ttdeci">bool hasLoopInfo(const BasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#
|
|
850
|
+
<div class="fragment"><div class="line"><a name="l00102"></a><span class="lineno"> 102</span> {</div><div class="line"><a name="l00103"></a><span class="lineno"> 103</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#a8d9140ca8da3d17135faa9dfcc6ecc43">hasLoopInfo</a>(bb))</div><div class="line"><a name="l00104"></a><span class="lineno"> 104</span>  {</div><div class="line"><a name="l00105"></a><span class="lineno"> 105</span>  <span class="keyword">const</span> std::vector<const BasicBlock*>& blocks = <a class="code" href="classSVF_1_1SVFFunction.html#a5e68fc5ef70bddb78fece39fdea37d41">getLoopInfo</a>(bb);</div><div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  assert(!blocks.empty() && <span class="stringliteral">"no available loop info?"</span>);</div><div class="line"><a name="l00107"></a><span class="lineno"> 107</span>  <span class="keywordflow">return</span> blocks.front() == bb;</div><div class="line"><a name="l00108"></a><span class="lineno"> 108</span>  }</div><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span> }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a8d9140ca8da3d17135faa9dfcc6ecc43"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a8d9140ca8da3d17135faa9dfcc6ecc43">SVF::SVFFunction::hasLoopInfo</a></div><div class="ttdeci">bool hasLoopInfo(const BasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00190">BasicTypes.h:190</a></div></div>
|
|
851
851
|
<div class="ttc" id="classSVF_1_1SVFFunction_html_a5e68fc5ef70bddb78fece39fdea37d41"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a5e68fc5ef70bddb78fece39fdea37d41">SVF::SVFFunction::getLoopInfo</a></div><div class="ttdeci">const std::vector< const BasicBlock * > & getLoopInfo(const BasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8cpp_source.html#l00008">BasicTypes.cpp:8</a></div></div>
|
|
852
852
|
</div><!-- fragment -->
|
|
853
853
|
</div>
|
|
@@ -875,8 +875,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
875
875
|
</table>
|
|
876
876
|
</div><div class="memdoc">
|
|
877
877
|
|
|
878
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
879
|
-
<div class="fragment"><div class="line"><a name="
|
|
878
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00227">227</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
879
|
+
<div class="fragment"><div class="line"><a name="l00228"></a><span class="lineno"> 228</span>  {</div><div class="line"><a name="l00229"></a><span class="lineno"> 229</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a>;</div><div class="line"><a name="l00230"></a><span class="lineno"> 230</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="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00102">BasicTypes.h:102</a></div></div>
|
|
880
880
|
</div><!-- fragment -->
|
|
881
881
|
</div>
|
|
882
882
|
</div>
|
|
@@ -903,8 +903,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
903
903
|
</table>
|
|
904
904
|
</div><div class="memdoc">
|
|
905
905
|
|
|
906
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
907
|
-
<div class="fragment"><div class="line"><a name="
|
|
906
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00155">155</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
907
|
+
<div class="fragment"><div class="line"><a name="l00156"></a><span class="lineno"> 156</span>  {</div><div class="line"><a name="l00157"></a><span class="lineno"> 157</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a>;</div><div class="line"><a name="l00158"></a><span class="lineno"> 158</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="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00101">BasicTypes.h:101</a></div></div>
|
|
908
908
|
</div><!-- fragment -->
|
|
909
909
|
</div>
|
|
910
910
|
</div>
|
|
@@ -932,8 +932,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
932
932
|
</table>
|
|
933
933
|
</div><div class="memdoc">
|
|
934
934
|
|
|
935
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
936
|
-
<div class="fragment"><div class="line"><a name="
|
|
935
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00222">222</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
936
|
+
<div class="fragment"><div class="line"><a name="l00223"></a><span class="lineno"> 223</span>  {</div><div class="line"><a name="l00224"></a><span class="lineno"> 224</span>  <span class="keywordflow">return</span> std::find(<a class="code" href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">reachableBBs</a>.begin(), <a class="code" href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">reachableBBs</a>.end(), bb)==<a class="code" href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">reachableBBs</a>.end();</div><div class="line"><a name="l00225"></a><span class="lineno"> 225</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a9e58567eeb41a608a580a492d195ec60"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">SVF::SVFFunction::reachableBBs</a></div><div class="ttdeci">std::vector< const BasicBlock * > reachableBBs</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
|
|
937
937
|
</div><!-- fragment -->
|
|
938
938
|
</div>
|
|
939
939
|
</div>
|
|
@@ -960,8 +960,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
960
960
|
</table>
|
|
961
961
|
</div><div class="memdoc">
|
|
962
962
|
|
|
963
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
964
|
-
<div class="fragment"><div class="line"><a name="
|
|
963
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00145">145</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
964
|
+
<div class="fragment"><div class="line"><a name="l00146"></a><span class="lineno"> 146</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#ac4ae917ae35ac6fca652fe2dd90a8ac2">getLLVMFun</a>()->isVarArg();</div><div class="line"><a name="l00148"></a><span class="lineno"> 148</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_ac4ae917ae35ac6fca652fe2dd90a8ac2"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac4ae917ae35ac6fca652fe2dd90a8ac2">SVF::SVFFunction::getLLVMFun</a></div><div class="ttdeci">Function * getLLVMFun() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00119">BasicTypes.h:119</a></div></div>
|
|
965
965
|
</div><!-- fragment -->
|
|
966
966
|
</div>
|
|
967
967
|
</div>
|
|
@@ -992,11 +992,11 @@ Additional Inherited Members</h2></td></tr>
|
|
|
992
992
|
</div><div class="memdoc">
|
|
993
993
|
|
|
994
994
|
<p class="definition">Definition at line <a class="el" href="BasicTypes_8cpp_source.html#l00071">71</a> of file <a class="el" href="BasicTypes_8cpp_source.html">BasicTypes.cpp</a>.</p>
|
|
995
|
-
<div class="fragment"><div class="line"><a name="l00072"></a><span class="lineno"> 72</span> {</div><div class="line"><a name="l00073"></a><span class="lineno"> 73</span>  <span class="keywordflow">if</span> (bbKey == bbValue)</div><div class="line"><a name="l00074"></a><span class="lineno"> 74</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00075"></a><span class="lineno"> 75</span> </div><div class="line"><a name="l00076"></a><span class="lineno"> 76</span>  <span class="comment">// An unreachable node is dominated by anything.</span></div><div class="line"><a name="l00077"></a><span class="lineno"> 77</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#a14831b73bbf2db0d180748f39bd83519">isUnreachable</a>(bbValue))</div><div class="line"><a name="l00078"></a><span class="lineno"> 78</span>  {</div><div class="line"><a name="l00079"></a><span class="lineno"> 79</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>  }</div><div class="line"><a name="l00081"></a><span class="lineno"> 81</span> </div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  <span class="comment">// And dominates nothing.</span></div><div class="line"><a name="l00083"></a><span class="lineno"> 83</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#a14831b73bbf2db0d180748f39bd83519">isUnreachable</a>(bbKey))</div><div class="line"><a name="l00084"></a><span class="lineno"> 84</span>  {</div><div class="line"><a name="l00085"></a><span class="lineno"> 85</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>  }</div><div class="line"><a name="l00087"></a><span class="lineno"> 87</span> </div><div class="line"><a name="l00088"></a><span class="lineno"> 88</span>  <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<const BasicBlock*,Set<const BasicBlock*></a>>& <a class="code" href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">dtBBsMap</a> = <a class="code" href="classSVF_1_1SVFFunction.html#ae2592f5b8166779cbd1b2542fdcd6d7d">getPostDomTreeMap</a>();</div><div class="line"><a name="l00089"></a><span class="lineno"> 89</span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<const BasicBlock*,Set<const BasicBlock*></a>>::const_iterator mapIter = dtBBsMap.find(bbKey);</div><div class="line"><a name="l00090"></a><span class="lineno"> 90</span>  <span class="keywordflow">if</span> (mapIter != dtBBsMap.end())</div><div class="line"><a name="l00091"></a><span class="lineno"> 91</span>  {</div><div class="line"><a name="l00092"></a><span class="lineno"> 92</span>  <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set<const BasicBlock*></a> & dtBBs = mapIter->second;</div><div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  <span class="keywordflow">if</span> (dtBBs.find(bbValue) != dtBBs.end())</div><div class="line"><a name="l00094"></a><span class="lineno"> 94</span>  {</div><div class="line"><a name="l00095"></a><span class="lineno"> 95</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00096"></a><span class="lineno"> 96</span>  }</div><div class="line"><a name="l00097"></a><span class="lineno"> 97</span>  }</div><div class="line"><a name="l00098"></a><span class="lineno"> 98</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00099"></a><span class="lineno"> 99</span> }</div><div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map< Key, Value, Hash, KeyEqual, Allocator > Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#
|
|
996
|
-
<div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set< Key, Hash, KeyEqual, Allocator > Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#
|
|
997
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_ae2592f5b8166779cbd1b2542fdcd6d7d"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ae2592f5b8166779cbd1b2542fdcd6d7d">SVF::SVFFunction::getPostDomTreeMap</a></div><div class="ttdeci">const Map< const BasicBlock *, Set< const BasicBlock * > > & getPostDomTreeMap() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#
|
|
998
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_a2fd6f9d86754ebacdd75c4fa8a699c6b"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">SVF::SVFFunction::dtBBsMap</a></div><div class="ttdeci">Map< const BasicBlock *, Set< const BasicBlock * > > dtBBsMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#
|
|
999
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_a14831b73bbf2db0d180748f39bd83519"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a14831b73bbf2db0d180748f39bd83519">SVF::SVFFunction::isUnreachable</a></div><div class="ttdeci">bool isUnreachable(const BasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#
|
|
995
|
+
<div class="fragment"><div class="line"><a name="l00072"></a><span class="lineno"> 72</span> {</div><div class="line"><a name="l00073"></a><span class="lineno"> 73</span>  <span class="keywordflow">if</span> (bbKey == bbValue)</div><div class="line"><a name="l00074"></a><span class="lineno"> 74</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00075"></a><span class="lineno"> 75</span> </div><div class="line"><a name="l00076"></a><span class="lineno"> 76</span>  <span class="comment">// An unreachable node is dominated by anything.</span></div><div class="line"><a name="l00077"></a><span class="lineno"> 77</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#a14831b73bbf2db0d180748f39bd83519">isUnreachable</a>(bbValue))</div><div class="line"><a name="l00078"></a><span class="lineno"> 78</span>  {</div><div class="line"><a name="l00079"></a><span class="lineno"> 79</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>  }</div><div class="line"><a name="l00081"></a><span class="lineno"> 81</span> </div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  <span class="comment">// And dominates nothing.</span></div><div class="line"><a name="l00083"></a><span class="lineno"> 83</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#a14831b73bbf2db0d180748f39bd83519">isUnreachable</a>(bbKey))</div><div class="line"><a name="l00084"></a><span class="lineno"> 84</span>  {</div><div class="line"><a name="l00085"></a><span class="lineno"> 85</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>  }</div><div class="line"><a name="l00087"></a><span class="lineno"> 87</span> </div><div class="line"><a name="l00088"></a><span class="lineno"> 88</span>  <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<const BasicBlock*,Set<const BasicBlock*></a>>& <a class="code" href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">dtBBsMap</a> = <a class="code" href="classSVF_1_1SVFFunction.html#ae2592f5b8166779cbd1b2542fdcd6d7d">getPostDomTreeMap</a>();</div><div class="line"><a name="l00089"></a><span class="lineno"> 89</span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<const BasicBlock*,Set<const BasicBlock*></a>>::const_iterator mapIter = dtBBsMap.find(bbKey);</div><div class="line"><a name="l00090"></a><span class="lineno"> 90</span>  <span class="keywordflow">if</span> (mapIter != dtBBsMap.end())</div><div class="line"><a name="l00091"></a><span class="lineno"> 91</span>  {</div><div class="line"><a name="l00092"></a><span class="lineno"> 92</span>  <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set<const BasicBlock*></a> & dtBBs = mapIter->second;</div><div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  <span class="keywordflow">if</span> (dtBBs.find(bbValue) != dtBBs.end())</div><div class="line"><a name="l00094"></a><span class="lineno"> 94</span>  {</div><div class="line"><a name="l00095"></a><span class="lineno"> 95</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00096"></a><span class="lineno"> 96</span>  }</div><div class="line"><a name="l00097"></a><span class="lineno"> 97</span>  }</div><div class="line"><a name="l00098"></a><span class="lineno"> 98</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00099"></a><span class="lineno"> 99</span> }</div><div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map< Key, Value, Hash, KeyEqual, Allocator > Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00106">SVFBasicTypes.h:106</a></div></div>
|
|
996
|
+
<div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set< Key, Hash, KeyEqual, Allocator > Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00101">SVFBasicTypes.h:101</a></div></div>
|
|
997
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_ae2592f5b8166779cbd1b2542fdcd6d7d"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ae2592f5b8166779cbd1b2542fdcd6d7d">SVF::SVFFunction::getPostDomTreeMap</a></div><div class="ttdeci">const Map< const BasicBlock *, Set< const BasicBlock * > > & getPostDomTreeMap() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00202">BasicTypes.h:202</a></div></div>
|
|
998
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_a2fd6f9d86754ebacdd75c4fa8a699c6b"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">SVF::SVFFunction::dtBBsMap</a></div><div class="ttdeci">Map< const BasicBlock *, Set< const BasicBlock * > > dtBBsMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00103">BasicTypes.h:103</a></div></div>
|
|
999
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_a14831b73bbf2db0d180748f39bd83519"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a14831b73bbf2db0d180748f39bd83519">SVF::SVFFunction::isUnreachable</a></div><div class="ttdeci">bool isUnreachable(const BasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00222">BasicTypes.h:222</a></div></div>
|
|
1000
1000
|
</div><!-- fragment -->
|
|
1001
1001
|
</div>
|
|
1002
1002
|
</div>
|
|
@@ -1024,8 +1024,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1024
1024
|
</table>
|
|
1025
1025
|
</div><div class="memdoc">
|
|
1026
1026
|
|
|
1027
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
1028
|
-
<div class="fragment"><div class="line"><a name="
|
|
1027
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00170">170</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
1028
|
+
<div class="fragment"><div class="line"><a name="l00171"></a><span class="lineno"> 171</span>  {</div><div class="line"><a name="l00172"></a><span class="lineno"> 172</span>  this-><a class="code" href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">exitBB</a> = <a class="code" href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">exitBB</a>;</div><div class="line"><a name="l00173"></a><span class="lineno"> 173</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a2215730d8469cc3f4bf0c0f16b47a7fc"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">SVF::SVFFunction::exitBB</a></div><div class="ttdeci">BasicBlock * exitBB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00099">BasicTypes.h:99</a></div></div>
|
|
1029
1029
|
</div><!-- fragment -->
|
|
1030
1030
|
</div>
|
|
1031
1031
|
</div>
|
|
@@ -1053,8 +1053,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1053
1053
|
</table>
|
|
1054
1054
|
</div><div class="memdoc">
|
|
1055
1055
|
|
|
1056
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
1057
|
-
<div class="fragment"><div class="line"><a name="
|
|
1056
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00165">165</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
1057
|
+
<div class="fragment"><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>  {</div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span>  this-><a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a> = doesNotRet;</div><div class="line"><a name="l00168"></a><span class="lineno"> 168</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="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00102">BasicTypes.h:102</a></div></div>
|
|
1058
1058
|
</div><!-- fragment -->
|
|
1059
1059
|
</div>
|
|
1060
1060
|
</div>
|
|
@@ -1082,9 +1082,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1082
1082
|
</table>
|
|
1083
1083
|
</div><div class="memdoc">
|
|
1084
1084
|
|
|
1085
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
1086
|
-
<div class="fragment"><div class="line"><a name="
|
|
1087
|
-
<div class="ttc" id="classSVF_1_1SVFFunction_html_a325fa699852fdcbcfccfc2112ee29845"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a325fa699852fdcbcfccfc2112ee29845">SVF::SVFFunction::isUncalledFunction</a></div><div class="ttdeci">const bool isUncalledFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#
|
|
1085
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00160">160</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
1086
|
+
<div class="fragment"><div class="line"><a name="l00161"></a><span class="lineno"> 161</span>  {</div><div class="line"><a name="l00162"></a><span class="lineno"> 162</span>  this-><a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a> = <a class="code" href="classSVF_1_1SVFFunction.html#a325fa699852fdcbcfccfc2112ee29845">isUncalledFunction</a>;</div><div class="line"><a name="l00163"></a><span class="lineno"> 163</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="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00101">BasicTypes.h:101</a></div></div>
|
|
1087
|
+
<div class="ttc" id="classSVF_1_1SVFFunction_html_a325fa699852fdcbcfccfc2112ee29845"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a325fa699852fdcbcfccfc2112ee29845">SVF::SVFFunction::isUncalledFunction</a></div><div class="ttdeci">const bool isUncalledFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00155">BasicTypes.h:155</a></div></div>
|
|
1088
1088
|
</div><!-- fragment -->
|
|
1089
1089
|
</div>
|
|
1090
1090
|
</div>
|
|
@@ -1112,8 +1112,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1112
1112
|
</table>
|
|
1113
1113
|
</div><div class="memdoc">
|
|
1114
1114
|
|
|
1115
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
1116
|
-
<div class="fragment"><div class="line"><a name="
|
|
1115
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00175">175</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
1116
|
+
<div class="fragment"><div class="line"><a name="l00176"></a><span class="lineno"> 176</span>  {</div><div class="line"><a name="l00177"></a><span class="lineno"> 177</span>  this-><a class="code" href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">reachableBBs</a> = <a class="code" href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">reachableBBs</a>;</div><div class="line"><a name="l00178"></a><span class="lineno"> 178</span>  }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a9e58567eeb41a608a580a492d195ec60"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">SVF::SVFFunction::reachableBBs</a></div><div class="ttdeci">std::vector< const BasicBlock * > reachableBBs</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
|
|
1117
1117
|
</div><!-- fragment -->
|
|
1118
1118
|
</div>
|
|
1119
1119
|
</div>
|
|
@@ -1133,7 +1133,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1133
1133
|
</div><div class="memdoc">
|
|
1134
1134
|
|
|
1135
1135
|
<p class="definition">Definition at line <a class="el" href="SVFUtil_8cpp_source.html#l00405">405</a> of file <a class="el" href="SVFUtil_8cpp_source.html">SVFUtil.cpp</a>.</p>
|
|
1136
|
-
<div class="fragment"><div class="line"><a name="l00406"></a><span class="lineno"> 406</span> {</div><div class="line"><a name="l00407"></a><span class="lineno"> 407</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a> != <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00408"></a><span class="lineno"> 408</span>  {</div><div class="line"><a name="l00409"></a><span class="lineno"> 409</span>  <a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a>->viewCFG();</div><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> }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_af33c2824b5ca3a44e0467655ae890623"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">SVF::SVFFunction::fun</a></div><div class="ttdeci">Function * fun</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#
|
|
1136
|
+
<div class="fragment"><div class="line"><a name="l00406"></a><span class="lineno"> 406</span> {</div><div class="line"><a name="l00407"></a><span class="lineno"> 407</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a> != <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00408"></a><span class="lineno"> 408</span>  {</div><div class="line"><a name="l00409"></a><span class="lineno"> 409</span>  <a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a>->viewCFG();</div><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> }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_af33c2824b5ca3a44e0467655ae890623"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">SVF::SVFFunction::fun</a></div><div class="ttdeci">Function * fun</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00098">BasicTypes.h:98</a></div></div>
|
|
1137
1137
|
</div><!-- fragment -->
|
|
1138
1138
|
</div>
|
|
1139
1139
|
</div>
|
|
@@ -1153,7 +1153,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1153
1153
|
</div><div class="memdoc">
|
|
1154
1154
|
|
|
1155
1155
|
<p class="definition">Definition at line <a class="el" href="SVFUtil_8cpp_source.html#l00413">413</a> of file <a class="el" href="SVFUtil_8cpp_source.html">SVFUtil.cpp</a>.</p>
|
|
1156
|
-
<div class="fragment"><div class="line"><a name="l00414"></a><span class="lineno"> 414</span> {</div><div class="line"><a name="l00415"></a><span class="lineno"> 415</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a> != <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00416"></a><span class="lineno"> 416</span>  {</div><div class="line"><a name="l00417"></a><span class="lineno"> 417</span>  <a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a>->viewCFGOnly();</div><div class="line"><a name="l00418"></a><span class="lineno"> 418</span>  }</div><div class="line"><a name="l00419"></a><span class="lineno"> 419</span> }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_af33c2824b5ca3a44e0467655ae890623"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">SVF::SVFFunction::fun</a></div><div class="ttdeci">Function * fun</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#
|
|
1156
|
+
<div class="fragment"><div class="line"><a name="l00414"></a><span class="lineno"> 414</span> {</div><div class="line"><a name="l00415"></a><span class="lineno"> 415</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a> != <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00416"></a><span class="lineno"> 416</span>  {</div><div class="line"><a name="l00417"></a><span class="lineno"> 417</span>  <a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a>->viewCFGOnly();</div><div class="line"><a name="l00418"></a><span class="lineno"> 418</span>  }</div><div class="line"><a name="l00419"></a><span class="lineno"> 419</span> }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_af33c2824b5ca3a44e0467655ae890623"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">SVF::SVFFunction::fun</a></div><div class="ttdeci">Function * fun</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00098">BasicTypes.h:98</a></div></div>
|
|
1157
1157
|
</div><!-- fragment -->
|
|
1158
1158
|
</div>
|
|
1159
1159
|
</div>
|
|
@@ -1178,7 +1178,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1178
1178
|
</table>
|
|
1179
1179
|
</div><div class="memdoc">
|
|
1180
1180
|
|
|
1181
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
1181
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00106">106</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
1182
1182
|
|
|
1183
1183
|
</div>
|
|
1184
1184
|
</div>
|
|
@@ -1202,7 +1202,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1202
1202
|
</table>
|
|
1203
1203
|
</div><div class="memdoc">
|
|
1204
1204
|
|
|
1205
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
1205
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00104">104</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
1206
1206
|
|
|
1207
1207
|
</div>
|
|
1208
1208
|
</div>
|
|
@@ -1226,7 +1226,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1226
1226
|
</table>
|
|
1227
1227
|
</div><div class="memdoc">
|
|
1228
1228
|
|
|
1229
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
1229
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00103">103</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
1230
1230
|
|
|
1231
1231
|
</div>
|
|
1232
1232
|
</div>
|
|
@@ -1250,7 +1250,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1250
1250
|
</table>
|
|
1251
1251
|
</div><div class="memdoc">
|
|
1252
1252
|
|
|
1253
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
1253
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00099">99</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
1254
1254
|
|
|
1255
1255
|
</div>
|
|
1256
1256
|
</div>
|
|
@@ -1274,7 +1274,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1274
1274
|
</table>
|
|
1275
1275
|
</div><div class="memdoc">
|
|
1276
1276
|
|
|
1277
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
1277
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00098">98</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
1278
1278
|
|
|
1279
1279
|
</div>
|
|
1280
1280
|
</div>
|
|
@@ -1298,7 +1298,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1298
1298
|
</table>
|
|
1299
1299
|
</div><div class="memdoc">
|
|
1300
1300
|
|
|
1301
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
1301
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00096">96</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
1302
1302
|
|
|
1303
1303
|
</div>
|
|
1304
1304
|
</div>
|
|
@@ -1322,7 +1322,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1322
1322
|
</table>
|
|
1323
1323
|
</div><div class="memdoc">
|
|
1324
1324
|
|
|
1325
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
1325
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00097">97</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
1326
1326
|
|
|
1327
1327
|
</div>
|
|
1328
1328
|
</div>
|
|
@@ -1346,7 +1346,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1346
1346
|
</table>
|
|
1347
1347
|
</div><div class="memdoc">
|
|
1348
1348
|
|
|
1349
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
1349
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00102">102</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
1350
1350
|
|
|
1351
1351
|
</div>
|
|
1352
1352
|
</div>
|
|
@@ -1370,7 +1370,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1370
1370
|
</table>
|
|
1371
1371
|
</div><div class="memdoc">
|
|
1372
1372
|
|
|
1373
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
1373
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00101">101</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
1374
1374
|
|
|
1375
1375
|
</div>
|
|
1376
1376
|
</div>
|
|
@@ -1394,7 +1394,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1394
1394
|
</table>
|
|
1395
1395
|
</div><div class="memdoc">
|
|
1396
1396
|
|
|
1397
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
1397
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00105">105</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
1398
1398
|
|
|
1399
1399
|
</div>
|
|
1400
1400
|
</div>
|
|
@@ -1418,7 +1418,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1418
1418
|
</table>
|
|
1419
1419
|
</div><div class="memdoc">
|
|
1420
1420
|
|
|
1421
|
-
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#
|
|
1421
|
+
<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00100">100</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
|
|
1422
1422
|
|
|
1423
1423
|
</div>
|
|
1424
1424
|
</div>
|