svf-tools 1.0.807 → 1.0.809
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/AccessPath_8cpp_source.html +143 -141
- package/SVF-doxygen/html/AccessPath_8h_source.html +36 -35
- package/SVF-doxygen/html/AndersenSCD_8cpp_source.html +1 -1
- package/SVF-doxygen/html/AndersenStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/AndersenWaveDiff_8cpp_source.html +1 -1
- package/SVF-doxygen/html/Andersen_8cpp_source.html +6 -6
- package/SVF-doxygen/html/CFLAlias_8cpp_source.html +5 -5
- package/SVF-doxygen/html/CFLAlias_8h_source.html +3 -3
- package/SVF-doxygen/html/CFLBase_8cpp_source.html +1 -1
- package/SVF-doxygen/html/CHGBuilder_8cpp_source.html +4 -4
- package/SVF-doxygen/html/ConsG_8cpp_source.html +14 -14
- package/SVF-doxygen/html/ContextDDA_8cpp_source.html +8 -8
- package/SVF-doxygen/html/ContextDDA_8h_source.html +2 -2
- package/SVF-doxygen/html/CxtStmt_8h_source.html +1 -1
- package/SVF-doxygen/html/DDAClient_8cpp_source.html +5 -5
- package/SVF-doxygen/html/DDAPass_8cpp_source.html +2 -2
- package/SVF-doxygen/html/DDAPass_8h_source.html +1 -1
- package/SVF-doxygen/html/DDAStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/DDAVFSolver_8h_source.html +4 -4
- package/SVF-doxygen/html/FSMPTA_8cpp_source.html +3 -3
- package/SVF-doxygen/html/FlowDDA_8cpp_source.html +8 -8
- package/SVF-doxygen/html/FlowDDA_8h_source.html +2 -2
- package/SVF-doxygen/html/FlowSensitiveStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/FlowSensitive_8cpp_source.html +8 -8
- package/SVF-doxygen/html/ICFGBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/ICFGEdge_8h_source.html +2 -2
- package/SVF-doxygen/html/ICFG_8cpp_source.html +3 -3
- package/SVF-doxygen/html/IRGraph_8cpp_source.html +4 -4
- package/SVF-doxygen/html/IntervalValue_8h_source.html +3 -3
- package/SVF-doxygen/html/LLVMLoopAnalysis_8cpp_source.html +2 -2
- package/SVF-doxygen/html/LLVMModule_8cpp_source.html +190 -177
- package/SVF-doxygen/html/LLVMModule_8h_source.html +3 -3
- package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +26 -38
- package/SVF-doxygen/html/LeakChecker_8cpp_source.html +1 -1
- package/SVF-doxygen/html/LockAnalysis_8cpp_source.html +5 -5
- package/SVF-doxygen/html/LockAnalysis_8h_source.html +2 -2
- package/SVF-doxygen/html/LockResultValidator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/MHP_8cpp_source.html +6 -6
- package/SVF-doxygen/html/MSSAMuChi_8h_source.html +2 -2
- package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +2 -2
- package/SVF-doxygen/html/MTA_8cpp_source.html +5 -5
- package/SVF-doxygen/html/MemRegion_8cpp_source.html +9 -9
- package/SVF-doxygen/html/MemRegion_8h_source.html +3 -3
- package/SVF-doxygen/html/MemSSA_8cpp_source.html +6 -6
- package/SVF-doxygen/html/MemSSA_8h_source.html +2 -2
- package/SVF-doxygen/html/NodeIDAllocator_8cpp_source.html +2 -2
- package/SVF-doxygen/html/PAGBuilderFromFile_8cpp_source.html +2 -2
- package/SVF-doxygen/html/PCG_8cpp_source.html +2 -2
- package/SVF-doxygen/html/PointerAnalysisImpl_8cpp_source.html +3 -3
- package/SVF-doxygen/html/PointerAnalysisImpl_8h_source.html +4 -4
- package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +7 -7
- package/SVF-doxygen/html/PointerAnalysis_8h_source.html +1 -1
- package/SVF-doxygen/html/ProgSlice_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SVFFileSystem_8cpp_source.html +26 -26
- package/SVF-doxygen/html/SVFFileSystem_8h_source.html +21 -21
- package/SVF-doxygen/html/SVFGBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SVFGOPT_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SVFGReadWrite_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFGStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFG_8cpp_source.html +3 -3
- package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +68 -68
- package/SVF-doxygen/html/SVFIR2ConsExeState_8h_source.html +10 -10
- package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +822 -848
- package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +34 -33
- package/SVF-doxygen/html/SVFIR2Relation_8cpp_source.html +36 -36
- package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +12 -12
- package/SVF-doxygen/html/SVFIRBuilder_8h_source.html +15 -15
- package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFIR_8cpp_source.html +18 -18
- package/SVF-doxygen/html/SVFIR_8h_source.html +15 -15
- package/SVF-doxygen/html/SVFStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFStatements_8cpp_source.html +21 -21
- package/SVF-doxygen/html/SVFStatements_8h_source.html +967 -965
- package/SVF-doxygen/html/SVFType_8cpp.html +2 -2
- package/SVF-doxygen/html/SVFType_8cpp_source.html +61 -70
- package/SVF-doxygen/html/SVFType_8h.html +23 -23
- package/SVF-doxygen/html/SVFType_8h_source.html +431 -425
- package/SVF-doxygen/html/SVFUtil_8h_source.html +1 -1
- package/SVF-doxygen/html/SVFValue_8cpp_source.html +4 -4
- package/SVF-doxygen/html/SVFValue_8h_source.html +3 -3
- package/SVF-doxygen/html/SVFVariables_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +10 -10
- package/SVF-doxygen/html/SaberCondAllocator_8h_source.html +2 -2
- package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SrcSnkDDA_8cpp_source.html +3 -3
- package/SVF-doxygen/html/Steensgaard_8cpp_source.html +5 -5
- package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +8 -8
- package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +7 -7
- package/SVF-doxygen/html/SymbolTableInfo_8h_source.html +1 -1
- package/SVF-doxygen/html/TCT_8cpp_source.html +2 -2
- package/SVF-doxygen/html/ThreadCallGraph_8cpp_source.html +2 -2
- package/SVF-doxygen/html/VFGNode_8h_source.html +11 -11
- package/SVF-doxygen/html/VFG_8cpp_source.html +19 -19
- package/SVF-doxygen/html/VFG_8h_source.html +14 -14
- package/SVF-doxygen/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/VersionedFlowSensitive_8cpp_source.html +1 -1
- package/SVF-doxygen/html/WPAPass_8cpp_source.html +4 -4
- package/SVF-doxygen/html/WPAPass_8h_source.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1AccessPath-members.html +16 -16
- package/SVF-doxygen/html/classSVF_1_1AccessPath.html +162 -160
- package/SVF-doxygen/html/classSVF_1_1ActualINSVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1AddrStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1AliasDDAClient.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1Andersen.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1AndersenBase.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1AndersenSCD.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1AndersenStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1AndersenWaveDiff.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +69 -69
- package/SVF-doxygen/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +52 -52
- package/SVF-doxygen/html/classSVF_1_1BranchVFGNode.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1CFLAlias.html +7 -7
- package/SVF-doxygen/html/classSVF_1_1CFLBase.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CHGBuilder.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1CallCFGEdge.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CallPE.html +36 -36
- package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +98 -98
- package/SVF-doxygen/html/classSVF_1_1CmpVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CondPTAImpl.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1ConstraintGraph.html +13 -13
- package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +8 -8
- package/SVF-doxygen/html/classSVF_1_1CopyStmt.html +20 -20
- package/SVF-doxygen/html/classSVF_1_1CxtStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CxtThread.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CxtThreadStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1DDAClient.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1DDAPass.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1DDAStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1DDAVFSolver.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1DoubleFreeChecker.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1FIObjVar.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +8 -8
- package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +8 -8
- package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ForkJoinAnalysis.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1GepObjVar.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1GepStmt-members.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1GepStmt.html +64 -64
- package/SVF-doxygen/html/classSVF_1_1GepValVar.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ICFG.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1ICFGBuilder.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1IRGraph.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1InterPHIVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1IntraCFGEdge.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1IntraICFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1LLVMLoopAnalysis.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +185 -173
- package/SVF-doxygen/html/classSVF_1_1LeakChecker.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1LoadStmt.html +20 -20
- package/SVF-doxygen/html/classSVF_1_1LockAnalysis.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1LockResultValidator.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MHP.html +6 -6
- package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +8 -8
- package/SVF-doxygen/html/classSVF_1_1MTA.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1MTAResultValidator.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MTASVFGBuilder.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1MemObj.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MemSSA.html +6 -6
- package/SVF-doxygen/html/classSVF_1_1MemSSAStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MultiOpndStmt.html +48 -48
- package/SVF-doxygen/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1ObjTypeInfo.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ObjVar.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PAGBuilderFromFile.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1PCG.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1PHIVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +47 -47
- package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +7 -7
- package/SVF-doxygen/html/classSVF_1_1ProgSlice.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1RetCFGEdge.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1RetPE.html +36 -36
- package/SVF-doxygen/html/classSVF_1_1SVFArrayType-members.html +38 -37
- package/SVF-doxygen/html/classSVF_1_1SVFArrayType.html +43 -41
- package/SVF-doxygen/html/classSVF_1_1SVFFunction.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFFunctionType-members.html +35 -34
- package/SVF-doxygen/html/classSVF_1_1SVFFunctionType.html +26 -26
- package/SVF-doxygen/html/classSVF_1_1SVFG.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1SVFGBuilder.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1SVFGOPT.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1SVFGStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFIR.html +17 -17
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +57 -57
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState-members.html +6 -6
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +908 -893
- package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +13 -13
- package/SVF-doxygen/html/classSVF_1_1SVFIntegerType-members.html +36 -35
- package/SVF-doxygen/html/classSVF_1_1SVFIntegerType.html +37 -35
- package/SVF-doxygen/html/classSVF_1_1SVFOtherType-members.html +37 -36
- package/SVF-doxygen/html/classSVF_1_1SVFOtherType.html +48 -37
- package/SVF-doxygen/html/classSVF_1_1SVFPointerType-members.html +36 -35
- package/SVF-doxygen/html/classSVF_1_1SVFPointerType.html +38 -36
- package/SVF-doxygen/html/classSVF_1_1SVFStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFStructType-members.html +37 -36
- package/SVF-doxygen/html/classSVF_1_1SVFStructType.html +38 -36
- package/SVF-doxygen/html/classSVF_1_1SVFType-members.html +31 -30
- package/SVF-doxygen/html/classSVF_1_1SVFType.html +103 -67
- package/SVF-doxygen/html/classSVF_1_1SVFValue.html +23 -23
- package/SVF-doxygen/html/classSVF_1_1SVFVar.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +10 -10
- package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +39 -39
- package/SVF-doxygen/html/classSVF_1_1SrcSnkDDA.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1StoreStmt.html +18 -18
- package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +8 -8
- package/SVF-doxygen/html/classSVF_1_1SymbolTableInfo.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1TCT.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +23 -23
- package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +22 -22
- package/SVF-doxygen/html/classSVF_1_1ThreadCallGraph.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +45 -45
- package/SVF-doxygen/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1VFG.html +19 -19
- package/SVF-doxygen/html/classSVF_1_1ValVar.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitive.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1WPAPass.html +3 -3
- package/SVF-doxygen/html/functions_b.html +10 -9
- package/SVF-doxygen/html/functions_func_g.html +22 -20
- package/SVF-doxygen/html/functions_func_i.html +3 -3
- package/SVF-doxygen/html/functions_func_s.html +6 -6
- package/SVF-doxygen/html/functions_g.html +22 -20
- package/SVF-doxygen/html/functions_i.html +22 -16
- package/SVF-doxygen/html/functions_n.html +4 -4
- package/SVF-doxygen/html/functions_o.html +18 -19
- package/SVF-doxygen/html/functions_p.html +7 -7
- package/SVF-doxygen/html/functions_s.html +18 -16
- package/SVF-doxygen/html/functions_t.html +4 -4
- package/SVF-doxygen/html/functions_type_i.html +6 -0
- package/SVF-doxygen/html/functions_type_o.html +0 -3
- package/SVF-doxygen/html/functions_type_v.html +0 -3
- package/SVF-doxygen/html/functions_v.html +9 -12
- package/SVF-doxygen/html/functions_vars_b.html +1 -0
- package/SVF-doxygen/html/functions_vars_o.html +1 -1
- package/SVF-doxygen/html/functions_w.html +8 -8
- package/SVF-doxygen/html/namespaceSVF.html +44 -53
- package/SVF-doxygen/html/namespacemembers.html +1 -1
- package/SVF-doxygen/html/namespacemembers_func.html +1 -1
- package/SVF-doxygen/html/search/all_0.js +1 -1
- package/SVF-doxygen/html/search/all_10.js +324 -324
- package/SVF-doxygen/html/search/all_11.js +222 -222
- package/SVF-doxygen/html/search/all_12.js +543 -543
- package/SVF-doxygen/html/search/all_13.js +191 -191
- package/SVF-doxygen/html/search/all_14.js +67 -67
- package/SVF-doxygen/html/search/all_15.js +169 -170
- package/SVF-doxygen/html/search/all_16.js +63 -63
- package/SVF-doxygen/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/search/all_18.js +1 -1
- package/SVF-doxygen/html/search/all_19.js +11 -11
- package/SVF-doxygen/html/search/all_1a.js +172 -172
- package/SVF-doxygen/html/search/all_2.js +1 -1
- package/SVF-doxygen/html/search/all_7.js +766 -765
- package/SVF-doxygen/html/search/all_8.js +196 -196
- package/SVF-doxygen/html/search/all_9.js +613 -611
- package/SVF-doxygen/html/search/all_a.js +46 -46
- package/SVF-doxygen/html/search/all_b.js +26 -26
- package/SVF-doxygen/html/search/all_c.js +116 -116
- package/SVF-doxygen/html/search/all_d.js +196 -196
- package/SVF-doxygen/html/search/all_e.js +207 -207
- package/SVF-doxygen/html/search/all_f.js +116 -116
- package/SVF-doxygen/html/search/classes_0.js +26 -26
- package/SVF-doxygen/html/search/classes_1.js +9 -9
- package/SVF-doxygen/html/search/classes_10.js +73 -73
- package/SVF-doxygen/html/search/classes_11.js +15 -15
- package/SVF-doxygen/html/search/classes_12.js +2 -2
- package/SVF-doxygen/html/search/classes_13.js +10 -10
- package/SVF-doxygen/html/search/classes_14.js +14 -14
- package/SVF-doxygen/html/search/classes_15.js +1 -1
- package/SVF-doxygen/html/search/classes_2.js +80 -80
- package/SVF-doxygen/html/search/classes_3.js +37 -37
- package/SVF-doxygen/html/search/classes_4.js +9 -9
- package/SVF-doxygen/html/search/classes_5.js +28 -28
- package/SVF-doxygen/html/search/classes_6.js +104 -104
- package/SVF-doxygen/html/search/classes_7.js +33 -33
- package/SVF-doxygen/html/search/classes_8.js +56 -56
- package/SVF-doxygen/html/search/classes_9.js +1 -1
- package/SVF-doxygen/html/search/classes_a.js +12 -12
- package/SVF-doxygen/html/search/classes_b.js +29 -29
- package/SVF-doxygen/html/search/classes_c.js +6 -6
- package/SVF-doxygen/html/search/classes_d.js +18 -18
- package/SVF-doxygen/html/search/classes_e.js +36 -36
- package/SVF-doxygen/html/search/classes_f.js +25 -25
- package/SVF-doxygen/html/search/defines_0.js +3 -3
- package/SVF-doxygen/html/search/defines_1.js +2 -2
- package/SVF-doxygen/html/search/defines_2.js +30 -30
- package/SVF-doxygen/html/search/defines_3.js +21 -21
- package/SVF-doxygen/html/search/defines_4.js +2 -2
- package/SVF-doxygen/html/search/defines_5.js +4 -4
- package/SVF-doxygen/html/search/defines_6.js +2 -2
- package/SVF-doxygen/html/search/defines_7.js +5 -5
- package/SVF-doxygen/html/search/defines_8.js +11 -11
- package/SVF-doxygen/html/search/defines_9.js +9 -9
- package/SVF-doxygen/html/search/defines_a.js +2 -2
- package/SVF-doxygen/html/search/defines_b.js +1 -1
- package/SVF-doxygen/html/search/defines_c.js +3 -3
- package/SVF-doxygen/html/search/defines_d.js +2 -2
- package/SVF-doxygen/html/search/defines_e.js +7 -7
- package/SVF-doxygen/html/search/defines_f.js +3 -3
- package/SVF-doxygen/html/search/enums_0.js +3 -3
- package/SVF-doxygen/html/search/enums_1.js +2 -2
- package/SVF-doxygen/html/search/enums_10.js +1 -1
- package/SVF-doxygen/html/search/enums_11.js +1 -1
- package/SVF-doxygen/html/search/enums_2.js +8 -8
- package/SVF-doxygen/html/search/enums_3.js +1 -1
- package/SVF-doxygen/html/search/enums_4.js +3 -3
- package/SVF-doxygen/html/search/enums_5.js +1 -1
- package/SVF-doxygen/html/search/enums_6.js +2 -2
- package/SVF-doxygen/html/search/enums_7.js +2 -2
- package/SVF-doxygen/html/search/enums_8.js +4 -4
- package/SVF-doxygen/html/search/enums_9.js +1 -1
- package/SVF-doxygen/html/search/enums_a.js +1 -1
- package/SVF-doxygen/html/search/enums_b.js +7 -7
- package/SVF-doxygen/html/search/enums_c.js +1 -1
- package/SVF-doxygen/html/search/enums_d.js +4 -4
- package/SVF-doxygen/html/search/enums_e.js +2 -2
- package/SVF-doxygen/html/search/enums_f.js +4 -4
- package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
- package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
- package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
- package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
- package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
- package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
- package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
- package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
- package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
- package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
- package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
- package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
- package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
- package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
- package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
- package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
- package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
- package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
- package/SVF-doxygen/html/search/files_0.js +13 -13
- package/SVF-doxygen/html/search/files_1.js +7 -7
- package/SVF-doxygen/html/search/files_10.js +8 -8
- package/SVF-doxygen/html/search/files_11.js +8 -8
- package/SVF-doxygen/html/search/files_12.js +2 -2
- package/SVF-doxygen/html/search/files_2.js +55 -55
- package/SVF-doxygen/html/search/files_3.js +14 -14
- package/SVF-doxygen/html/search/files_4.js +5 -5
- package/SVF-doxygen/html/search/files_5.js +13 -13
- package/SVF-doxygen/html/search/files_6.js +9 -9
- package/SVF-doxygen/html/search/files_7.js +14 -14
- package/SVF-doxygen/html/search/files_8.js +13 -13
- package/SVF-doxygen/html/search/files_9.js +18 -18
- package/SVF-doxygen/html/search/files_a.js +3 -3
- package/SVF-doxygen/html/search/files_b.js +2 -2
- package/SVF-doxygen/html/search/files_c.js +20 -20
- package/SVF-doxygen/html/search/files_d.js +4 -4
- package/SVF-doxygen/html/search/files_e.js +62 -62
- package/SVF-doxygen/html/search/files_f.js +8 -8
- package/SVF-doxygen/html/search/functions_0.js +12 -12
- package/SVF-doxygen/html/search/functions_1.js +360 -360
- package/SVF-doxygen/html/search/functions_10.js +140 -140
- package/SVF-doxygen/html/search/functions_11.js +138 -138
- package/SVF-doxygen/html/search/functions_12.js +278 -278
- package/SVF-doxygen/html/search/functions_13.js +59 -59
- package/SVF-doxygen/html/search/functions_14.js +39 -39
- package/SVF-doxygen/html/search/functions_15.js +71 -71
- package/SVF-doxygen/html/search/functions_16.js +32 -32
- package/SVF-doxygen/html/search/functions_17.js +3 -3
- package/SVF-doxygen/html/search/functions_18.js +172 -172
- package/SVF-doxygen/html/search/functions_2.js +86 -86
- package/SVF-doxygen/html/search/functions_3.js +257 -257
- package/SVF-doxygen/html/search/functions_4.js +75 -75
- package/SVF-doxygen/html/search/functions_5.js +53 -53
- package/SVF-doxygen/html/search/functions_6.js +59 -59
- package/SVF-doxygen/html/search/functions_7.js +852 -851
- package/SVF-doxygen/html/search/functions_8.js +148 -148
- package/SVF-doxygen/html/search/functions_9.js +429 -429
- package/SVF-doxygen/html/search/functions_a.js +30 -30
- package/SVF-doxygen/html/search/functions_b.js +2 -2
- package/SVF-doxygen/html/search/functions_c.js +26 -26
- package/SVF-doxygen/html/search/functions_d.js +77 -77
- package/SVF-doxygen/html/search/functions_e.js +35 -35
- package/SVF-doxygen/html/search/functions_f.js +56 -56
- package/SVF-doxygen/html/search/namespaces_0.js +1 -1
- package/SVF-doxygen/html/search/namespaces_1.js +7 -7
- package/SVF-doxygen/html/search/related_0.js +2 -2
- package/SVF-doxygen/html/search/related_1.js +2 -2
- package/SVF-doxygen/html/search/related_2.js +2 -2
- package/SVF-doxygen/html/search/related_3.js +2 -2
- package/SVF-doxygen/html/search/related_4.js +2 -2
- package/SVF-doxygen/html/search/related_5.js +1 -1
- package/SVF-doxygen/html/search/related_6.js +2 -2
- package/SVF-doxygen/html/search/related_7.js +4 -4
- package/SVF-doxygen/html/search/related_8.js +2 -2
- package/SVF-doxygen/html/search/related_9.js +4 -4
- package/SVF-doxygen/html/search/related_a.js +19 -19
- package/SVF-doxygen/html/search/related_b.js +4 -4
- package/SVF-doxygen/html/search/related_c.js +1 -1
- package/SVF-doxygen/html/search/related_d.js +11 -11
- package/SVF-doxygen/html/search/related_e.js +2 -2
- package/SVF-doxygen/html/search/related_f.js +2 -2
- package/SVF-doxygen/html/search/typedefs_0.js +18 -18
- package/SVF-doxygen/html/search/typedefs_1.js +26 -26
- package/SVF-doxygen/html/search/typedefs_10.js +61 -61
- package/SVF-doxygen/html/search/typedefs_11.js +13 -13
- package/SVF-doxygen/html/search/typedefs_12.js +11 -11
- package/SVF-doxygen/html/search/typedefs_13.js +34 -35
- package/SVF-doxygen/html/search/typedefs_14.js +8 -8
- package/SVF-doxygen/html/search/typedefs_2.js +129 -129
- package/SVF-doxygen/html/search/typedefs_3.js +39 -39
- package/SVF-doxygen/html/search/typedefs_4.js +17 -17
- package/SVF-doxygen/html/search/typedefs_5.js +41 -41
- package/SVF-doxygen/html/search/typedefs_6.js +55 -55
- package/SVF-doxygen/html/search/typedefs_7.js +44 -42
- package/SVF-doxygen/html/search/typedefs_8.js +1 -1
- package/SVF-doxygen/html/search/typedefs_9.js +6 -6
- package/SVF-doxygen/html/search/typedefs_a.js +29 -29
- package/SVF-doxygen/html/search/typedefs_b.js +29 -29
- package/SVF-doxygen/html/search/typedefs_c.js +41 -41
- package/SVF-doxygen/html/search/typedefs_d.js +14 -15
- package/SVF-doxygen/html/search/typedefs_e.js +52 -52
- package/SVF-doxygen/html/search/typedefs_f.js +14 -14
- package/SVF-doxygen/html/search/variables_0.js +151 -151
- package/SVF-doxygen/html/search/variables_1.js +75 -75
- package/SVF-doxygen/html/search/variables_10.js +97 -97
- package/SVF-doxygen/html/search/variables_11.js +44 -44
- package/SVF-doxygen/html/search/variables_12.js +92 -92
- package/SVF-doxygen/html/search/variables_13.js +75 -75
- package/SVF-doxygen/html/search/variables_14.js +14 -14
- package/SVF-doxygen/html/search/variables_15.js +48 -48
- package/SVF-doxygen/html/search/variables_16.js +9 -9
- package/SVF-doxygen/html/search/variables_17.js +1 -1
- package/SVF-doxygen/html/search/variables_18.js +2 -2
- package/SVF-doxygen/html/search/variables_2.js +38 -38
- package/SVF-doxygen/html/search/variables_3.js +142 -142
- package/SVF-doxygen/html/search/variables_4.js +55 -55
- package/SVF-doxygen/html/search/variables_5.js +36 -36
- package/SVF-doxygen/html/search/variables_6.js +66 -66
- package/SVF-doxygen/html/search/variables_7.js +33 -33
- package/SVF-doxygen/html/search/variables_8.js +7 -7
- package/SVF-doxygen/html/search/variables_9.js +77 -77
- package/SVF-doxygen/html/search/variables_a.js +4 -4
- package/SVF-doxygen/html/search/variables_b.js +10 -10
- package/SVF-doxygen/html/search/variables_c.js +45 -45
- package/SVF-doxygen/html/search/variables_d.js +56 -56
- package/SVF-doxygen/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/search/variables_f.js +30 -30
- package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
- package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +2 -2
- package/SVF-doxygen/html/structSVF_1_1Hash_3_01NodePair_01_4.html +11 -11
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1AccessPath_01_4.html +9 -9
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html +11 -11
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html +7 -7
- package/SVF-doxygen/html/structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html +14 -14
- package/SVF-doxygen/html/svf-ex_8cpp.html +22 -22
- package/SVF-doxygen/html/svf-ex_8cpp_source.html +23 -23
- package/package.json +1 -1
- package/svf/include/AbstractExecution/IntervalValue.h +3 -3
- package/svf/include/AbstractExecution/SVFIR2ItvExeState.h +5 -5
- package/svf/include/MemoryModel/AccessPath.h +6 -5
- package/svf/include/SVFIR/SVFStatements.h +3 -1
- package/svf/include/SVFIR/SVFType.h +18 -11
- package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +212 -185
- package/svf/lib/MemoryModel/AccessPath.cpp +10 -9
- package/svf/lib/SVFIR/SVFFileSystem.cpp +5 -5
- package/svf/lib/SVFIR/SVFType.cpp +0 -7
- package/svf-llvm/lib/LLVMModule.cpp +16 -5
- package/svf-llvm/lib/LLVMUtil.cpp +0 -9
- package/svf-llvm/lib/SymbolTableBuilder.cpp +4 -4
|
@@ -1238,7 +1238,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1238
1238
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream & outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
|
|
1239
1239
|
<div class="ttc" id="aclassSVF_1_1SrcSnkDDA_html_a19ab6f6df2a67b294268cfe7f4287fd7"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#a19ab6f6df2a67b294268cfe7f4287fd7">SVF::SrcSnkDDA::isSomePathReachable</a></div><div class="ttdeci">virtual bool isSomePathReachable()</div><div class="ttdoc">Whether it is some path reachable from a source.</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8h_source.html#l00312">SrcSnkDDA.h:312</a></div></div>
|
|
1240
1240
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a05dc00b2bd9a8176aae31b6cfffe725d"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a05dc00b2bd9a8176aae31b6cfffe725d">SVF::SVFUtil::sucMsg</a></div><div class="ttdeci">std::string sucMsg(const std::string &msg)</div><div class="ttdoc">Returns successful message by converting a string into green string output.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00053">SVFUtil.cpp:53</a></div></div>
|
|
1241
|
-
<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#
|
|
1241
|
+
<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01272">LLVMUtil.cpp:1272</a></div></div>
|
|
1242
1242
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_a3145677c7a3763fc0d6aa7e21b264ab6"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a3145677c7a3763fc0d6aa7e21b264ab6">SVF::SVFIR::getCallSiteRet</a></div><div class="ttdeci">const SVFVar * getCallSiteRet(const RetICFGNode *cs) const</div><div class="ttdoc">Get callsite return.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00291">SVFIR.h:291</a></div></div>
|
|
1243
1243
|
<div class="ttc" id="aclassSVF_1_1ICFG_html"><div class="ttname"><a href="classSVF_1_1ICFG.html">SVF::ICFG</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00047">ICFG.h:47</a></div></div>
|
|
1244
1244
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
|
|
@@ -1246,7 +1246,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1246
1246
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_a64939d7ecfd8e2cf862782954a56596b"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVF::SVFIR::SVFVarList</a></div><div class="ttdeci">std::vector< const SVFVar * > SVFVarList</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00059">SVFIR.h:59</a></div></div>
|
|
1247
1247
|
<div class="ttc" id="aclassSVF_1_1LeakChecker_html_a155da7c60f3232b43a3996313b0496c7"><div class="ttname"><a href="classSVF_1_1LeakChecker.html#a155da7c60f3232b43a3996313b0496c7">SVF::LeakChecker::addSrcToCSID</a></div><div class="ttdeci">void addSrcToCSID(const SVFGNode *src, const CallICFGNode *cs)</div><div class="ttdoc">Record a source to its callsite.</div><div class="ttdef"><b>Definition:</b> <a href="LeakChecker_8h_source.html#l00105">LeakChecker.h:105</a></div></div>
|
|
1248
1248
|
<div class="ttc" id="aclassSVF_1_1SrcSnkDDA_html_a529b40c870c74309440f025e490bb161"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#a529b40c870c74309440f025e490bb161">SVF::SrcSnkDDA::getSVFG</a></div><div class="ttdeci">const SVFG * getSVFG() const</div><div class="ttdoc">Get SVFG.</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8h_source.html#l00126">SrcSnkDDA.h:126</a></div></div>
|
|
1249
|
-
<div class="ttc" id="aclassSVF_1_1SVFType_html_a870b63af2bf9fe43cdf1df3d56b20f6c"><div class="ttname"><a href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">SVF::SVFType::isPointerTy</a></div><div class="ttdeci">bool isPointerTy() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
1249
|
+
<div class="ttc" id="aclassSVF_1_1SVFType_html_a870b63af2bf9fe43cdf1df3d56b20f6c"><div class="ttname"><a href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">SVF::SVFType::isPointerTy</a></div><div class="ttdeci">bool isPointerTy() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00328">SVFType.h:328</a></div></div>
|
|
1250
1250
|
<div class="ttc" id="aclassSVF_1_1SaberCheckerAPI_html_acf41a2b6de063da9ed492ef0da129036"><div class="ttname"><a href="classSVF_1_1SaberCheckerAPI.html#acf41a2b6de063da9ed492ef0da129036">SVF::SaberCheckerAPI::getCheckerAPI</a></div><div class="ttdeci">static SaberCheckerAPI * getCheckerAPI()</div><div class="ttdoc">Return a static reference.</div><div class="ttdef"><b>Definition:</b> <a href="SaberCheckerAPI_8h_source.html#l00089">SaberCheckerAPI.h:89</a></div></div>
|
|
1251
1251
|
<div class="ttc" id="aclassSVF_1_1SVFBugEvent_html"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html">SVF::SVFBugEvent</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00051">SVFBugReport.h:51</a></div></div>
|
|
1252
1252
|
<div class="ttc" id="aclassSVF_1_1SVFInstruction_html_ae009f41cbf48d949d4325e08fe8d7198"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ae009f41cbf48d949d4325e08fe8d7198">SVF::SVFInstruction::getParent</a></div><div class="ttdeci">const SVFBasicBlock * getParent() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00647">SVFValue.h:647</a></div></div>
|
|
@@ -274,7 +274,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
274
274
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
275
275
|
<div class="textblock"><p>Load statement </p>
|
|
276
276
|
|
|
277
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
277
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00424">424</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
278
278
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
279
279
|
<a id="a4bd939005c7c6a5da4ed3b6be6ef1a22"></a>
|
|
280
280
|
<h2 class="memtitle"><span class="permalink"><a href="#a4bd939005c7c6a5da4ed3b6be6ef1a22">◆ </a></span>LoadStmt() <span class="overload">[1/3]</span></h2>
|
|
@@ -301,8 +301,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
301
301
|
|
|
302
302
|
<p>Constructs empty <a class="el" href="classSVF_1_1LoadStmt.html">LoadStmt</a> (for SVFIRReader/serialization) </p>
|
|
303
303
|
|
|
304
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
305
|
-
<div class="fragment"><div class="line"><a name="
|
|
304
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00431">431</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
305
|
+
<div class="fragment"><div class="line"><a name="l00431"></a><span class="lineno"> 431</span> : <a class="code" href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">AssignStmt</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5">SVFStmt::Load</a>) {}</div>
|
|
306
306
|
</div><!-- fragment -->
|
|
307
307
|
</div>
|
|
308
308
|
</div>
|
|
@@ -370,8 +370,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
370
370
|
|
|
371
371
|
<p>constructor </p>
|
|
372
372
|
|
|
373
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
374
|
-
<div class="fragment"><div class="line"><a name="
|
|
373
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00453">453</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
374
|
+
<div class="fragment"><div class="line"><a name="l00453"></a><span class="lineno"> 453</span> : <a class="code" href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">AssignStmt</a>(s, d, <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5">SVFStmt::Load</a>) {}</div>
|
|
375
375
|
</div><!-- fragment -->
|
|
376
376
|
</div>
|
|
377
377
|
</div>
|
|
@@ -400,10 +400,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
400
400
|
</table>
|
|
401
401
|
</div><div class="memdoc">
|
|
402
402
|
|
|
403
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
404
|
-
<div class="fragment"><div class="line"><a name="
|
|
405
|
-
<div class="line"><a name="
|
|
406
|
-
<div class="line"><a name="
|
|
403
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00446">446</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
404
|
+
<div class="fragment"><div class="line"><a name="l00447"></a><span class="lineno"> 447</span>  {</div>
|
|
405
|
+
<div class="line"><a name="l00448"></a><span class="lineno"> 448</span>  <span class="keywordflow">return</span> edge->getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5">SVFStmt::Load</a>;</div>
|
|
406
|
+
<div class="line"><a name="l00449"></a><span class="lineno"> 449</span>  }</div>
|
|
407
407
|
</div><!-- fragment -->
|
|
408
408
|
</div>
|
|
409
409
|
</div>
|
|
@@ -433,10 +433,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
433
433
|
|
|
434
434
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
435
435
|
|
|
436
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
437
|
-
<div class="fragment"><div class="line"><a name="
|
|
438
|
-
<div class="line"><a name="
|
|
439
|
-
<div class="line"><a name="
|
|
436
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00438">438</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
437
|
+
<div class="fragment"><div class="line"><a name="l00439"></a><span class="lineno"> 439</span>  {</div>
|
|
438
|
+
<div class="line"><a name="l00440"></a><span class="lineno"> 440</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
|
|
439
|
+
<div class="line"><a name="l00441"></a><span class="lineno"> 441</span>  }</div>
|
|
440
440
|
</div><!-- fragment -->
|
|
441
441
|
</div>
|
|
442
442
|
</div>
|
|
@@ -464,10 +464,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
464
464
|
</table>
|
|
465
465
|
</div><div class="memdoc">
|
|
466
466
|
|
|
467
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
468
|
-
<div class="fragment"><div class="line"><a name="
|
|
469
|
-
<div class="line"><a name="
|
|
470
|
-
<div class="line"><a name="
|
|
467
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00442">442</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
468
|
+
<div class="fragment"><div class="line"><a name="l00443"></a><span class="lineno"> 443</span>  {</div>
|
|
469
|
+
<div class="line"><a name="l00444"></a><span class="lineno"> 444</span>  <span class="keywordflow">return</span> edge->getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5">SVFStmt::Load</a>;</div>
|
|
470
|
+
<div class="line"><a name="l00445"></a><span class="lineno"> 445</span>  }</div>
|
|
471
471
|
</div><!-- fragment -->
|
|
472
472
|
</div>
|
|
473
473
|
</div>
|
|
@@ -560,7 +560,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
560
560
|
</table>
|
|
561
561
|
</div><div class="memdoc">
|
|
562
562
|
|
|
563
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
563
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00427">427</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
564
564
|
|
|
565
565
|
</div>
|
|
566
566
|
</div>
|
|
@@ -584,7 +584,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
584
584
|
</table>
|
|
585
585
|
</div><div class="memdoc">
|
|
586
586
|
|
|
587
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
587
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00426">426</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
588
588
|
|
|
589
589
|
</div>
|
|
590
590
|
</div>
|
|
@@ -598,7 +598,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
598
598
|
<div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
|
|
599
599
|
<div class="ttc" id="aclassSVF_1_1AssignStmt_html_abc65520cc2b9608c97374829eb475c57"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">SVF::AssignStmt::AssignStmt</a></div><div class="ttdeci">AssignStmt()</div><div class="ttdoc">place holder</div></div>
|
|
600
600
|
<div class="ttc" id="aclassSVF_1_1SVFStmt_html_abb784290c90d26f35897fa15bae277d2"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const SVFValue * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00147">SVFStatements.h:147</a></div></div>
|
|
601
|
-
<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#
|
|
601
|
+
<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01272">LLVMUtil.cpp:1272</a></div></div>
|
|
602
602
|
<div class="ttc" id="aclassSVF_1_1AssignStmt_html_a98f731be7be9bc8e7fd09f5c2204c840"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">SVF::AssignStmt::getLHSVarID</a></div><div class="ttdeci">NodeID getLHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00302">SVFStatements.h:302</a></div></div>
|
|
603
603
|
<div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5">SVF::SVFStmt::Load</a></div><div class="ttdeci">@ Load</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00066">SVFStatements.h:66</a></div></div>
|
|
604
604
|
<!-- start footer part -->
|
|
@@ -4050,7 +4050,7 @@ Private Attributes</h2></td></tr>
|
|
|
4050
4050
|
<div class="ttc" id="aclassSVF_1_1LockAnalysis_html_a96a6cfddc8f7115294e8ad49a097b938"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#a96a6cfddc8f7115294e8ad49a097b938">SVF::LockAnalysis::getTCG</a></div><div class="ttdeci">ThreadCallGraph * getTCG() const</div><div class="ttdoc">ThreadCallGraph.</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8h_source.html#l00458">LockAnalysis.h:458</a></div></div>
|
|
4051
4051
|
<div class="ttc" id="aclassSVF_1_1LockAnalysis_html_a53f42781e99dfb872f0528ef18b1f824"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#a53f42781e99dfb872f0528ef18b1f824">SVF::LockAnalysis::getCxtStmtfromInst</a></div><div class="ttdeci">const CxtStmtSet & getCxtStmtfromInst(const SVFInstruction *inst) const</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8h_source.html#l00208">LockAnalysis.h:208</a></div></div>
|
|
4052
4052
|
<div class="ttc" id="aclassSVF_1_1LockAnalysis_html_aeb4b15ecc4ba1a0ca8794d304d1895cb"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#aeb4b15ecc4ba1a0ca8794d304d1895cb">SVF::LockAnalysis::InstVec</a></div><div class="ttdeci">TCT::InstVec InstVec</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8h_source.html#l00060">LockAnalysis.h:60</a></div></div>
|
|
4053
|
-
<div class="ttc" id="aSVFType_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
4053
|
+
<div class="ttc" id="aSVFType_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00604">SVFType.h:604</a></div></div>
|
|
4054
4054
|
<div class="ttc" id="aclassSVF_1_1LockAnalysis_html_ac2fbbabca4506e28f706cf54b1614791ae16d4995f32298086fd37b4759ec069c"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791ae16d4995f32298086fd37b4759ec069c">SVF::LockAnalysis::Empty</a></div><div class="ttdeci">@ Empty</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8h_source.html#l00051">LockAnalysis.h:51</a></div></div>
|
|
4055
4055
|
<div class="ttc" id="aclassSVF_1_1LockAnalysis_html_a271506d5032033efae684b0d729f5b3e"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#a271506d5032033efae684b0d729f5b3e">SVF::LockAnalysis::buildCandidateFuncSetforLock</a></div><div class="ttdeci">void buildCandidateFuncSetforLock()</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8cpp_source.html#l00094">LockAnalysis.cpp:94</a></div></div>
|
|
4056
4056
|
<div class="ttc" id="aclassSVF_1_1LockAnalysis_html_a52e79d50288bfa2d146072be53ed058b"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#a52e79d50288bfa2d146072be53ed058b">SVF::LockAnalysis::handleFork</a></div><div class="ttdeci">void handleFork(const CxtStmt &cts)</div><div class="ttdoc">Handle fork.</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8cpp_source.html#l00402">LockAnalysis.cpp:402</a></div></div>
|
|
@@ -4066,7 +4066,7 @@ Private Attributes</h2></td></tr>
|
|
|
4066
4066
|
<div class="ttc" id="aclassSVF_1_1LockAnalysis_html_afc4212873c3e05ac9506aac0a25f515a"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#afc4212873c3e05ac9506aac0a25f515a">SVF::LockAnalysis::ciLocktoSpan</a></div><div class="ttdeci">CILockToSpan ciLocktoSpan</div><div class="ttdoc">Used for context-insensitive intra-procedural locks.</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8h_source.html#l00502">LockAnalysis.h:502</a></div></div>
|
|
4067
4067
|
<div class="ttc" id="aclassSVF_1_1LockAnalysis_html_ae256a84fd63947a6f81bee030bdbe7fc"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc">SVF::LockAnalysis::cxtStmtToCxtLockSet</a></div><div class="ttdeci">CxtStmtToCxtLockSet cxtStmtToCxtLockSet</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8h_source.html#l00480">LockAnalysis.h:480</a></div></div>
|
|
4068
4068
|
<div class="ttc" id="aclassSVF_1_1LockAnalysis_html_a78eb13118f947fb1d84e274bb0f46695"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#a78eb13118f947fb1d84e274bb0f46695">SVF::LockAnalysis::matchCxt</a></div><div class="ttdeci">bool matchCxt(CallStrCxt &cxt, const SVFInstruction *call, const SVFFunction *callee)</div><div class="ttdoc">Match context.</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8cpp_source.html#l00527">LockAnalysis.cpp:527</a></div></div>
|
|
4069
|
-
<div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
4069
|
+
<div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00582">SVFType.h:582</a></div></div>
|
|
4070
4070
|
<div class="ttc" id="aclassSVF_1_1PTACallGraphEdge_html_a494bc8bacca5ca8d266286f3fb303495"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#a494bc8bacca5ca8d266286f3fb303495">SVF::PTACallGraphEdge::indirectCallsEnd</a></div><div class="ttdeci">CallInstSet::const_iterator indirectCallsEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00135">PTACallGraph.h:135</a></div></div>
|
|
4071
4071
|
<div class="ttc" id="aclassSVF_1_1LockAnalysis_html_a2fd796765f16cc7094f36d68c0ff70a0"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0">SVF::LockAnalysis::cxtLocktoSpan</a></div><div class="ttdeci">CxtLockToSpan cxtLocktoSpan</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8h_source.html#l00479">LockAnalysis.h:479</a></div></div>
|
|
4072
4072
|
<div class="ttc" id="aclassSVF_1_1LockAnalysis_html_af45f3c22edce16913ccbdd7015a06076"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#af45f3c22edce16913ccbdd7015a06076">SVF::LockAnalysis::intersects</a></div><div class="ttdeci">bool intersects(const CxtLockSet &lockset1, const CxtLockSet &lockset2) const</div><div class="ttdoc">Return true if the intersection of two locksets is not empty.</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8h_source.html#l00165">LockAnalysis.h:165</a></div></div>
|
|
@@ -4078,7 +4078,7 @@ Private Attributes</h2></td></tr>
|
|
|
4078
4078
|
<div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_ad05f85ce931d4479f71d1947a25599dc"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#ad05f85ce931d4479f71d1947a25599dc">SVF::SVFBasicBlock::back</a></div><div class="ttdeci">const SVFInstruction * back() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00592">SVFValue.h:592</a></div></div>
|
|
4079
4079
|
<div class="ttc" id="aclassSVF_1_1SVFStat_html_ac9d390c417df6f6af6b274618b87010d"><div class="ttname"><a href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">SVF::SVFStat::getClk</a></div><div class="ttdeci">static double getClk(bool mark=false)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8cpp_source.html#l00047">SVFStat.cpp:47</a></div></div>
|
|
4080
4080
|
<div class="ttc" id="aclassSVF_1_1LockAnalysis_html_acc3d402c68b9c22ab6d576b38c994fc6"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#acc3d402c68b9c22ab6d576b38c994fc6">SVF::LockAnalysis::handleRet</a></div><div class="ttdeci">void handleRet(const CxtStmt &cts)</div><div class="ttdoc">Handle return.</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8cpp_source.html#l00448">LockAnalysis.cpp:448</a></div></div>
|
|
4081
|
-
<div class="ttc" id="aSVFType_8h_html_a217a1ccdaec1abb103cf6b0373631234"><div class="ttname"><a href="SVFType_8h.html#a217a1ccdaec1abb103cf6b0373631234">DMTA</a></div><div class="ttdeci">#define DMTA</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
4081
|
+
<div class="ttc" id="aSVFType_8h_html_a217a1ccdaec1abb103cf6b0373631234"><div class="ttname"><a href="SVFType_8h.html#a217a1ccdaec1abb103cf6b0373631234">DMTA</a></div><div class="ttdeci">#define DMTA</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00597">SVFType.h:597</a></div></div>
|
|
4082
4082
|
<div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00517">SVFValue.h:517</a></div></div>
|
|
4083
4083
|
<div class="ttc" id="aclassSVF_1_1SVFFunction_html_a8ca4fa87f4c26b71c6e03c8f32db1071"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a8ca4fa87f4c26b71c6e03c8f32db1071">SVF::SVFFunction::getExitBB</a></div><div class="ttdeci">const SVFBasicBlock * getExitBB() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00415">SVFValue.h:415</a></div></div>
|
|
4084
4084
|
<div class="ttc" id="aclassSVF_1_1LockAnalysis_html_a711760ebaed0437176f4f9d314e9929c"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#a711760ebaed0437176f4f9d314e9929c">SVF::LockAnalysis::handleIntra</a></div><div class="ttdeci">void handleIntra(const CxtStmt &cts)</div><div class="ttdoc">Handle intra.</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8cpp_source.html#l00495">LockAnalysis.cpp:495</a></div></div>
|
|
@@ -4103,7 +4103,7 @@ Private Attributes</h2></td></tr>
|
|
|
4103
4103
|
<div class="ttc" id="aclassSVF_1_1CxtStmt_html_a56e2767c327a383db09dca96edb19614"><div class="ttname"><a href="classSVF_1_1CxtStmt.html#a56e2767c327a383db09dca96edb19614">SVF::CxtStmt::dump</a></div><div class="ttdeci">void dump() const</div><div class="ttdoc">Dump CxtStmt.</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00109">CxtStmt.h:109</a></div></div>
|
|
4104
4104
|
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ae1323233941cdc9b99332e4b954a2217"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ae1323233941cdc9b99332e4b954a2217">SVF::PointerAnalysis::alias</a></div><div class="ttdeci">virtual AliasResult alias(const SVFValue *V1, const SVFValue *V2)=0</div><div class="ttdoc">Interface exposed to users of our pointer analysis, given Value infos.</div></div>
|
|
4105
4105
|
<div class="ttc" id="aclassSVF_1_1LockAnalysis_html_aec459af1d1624df55ffc95cd75655780"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780">SVF::LockAnalysis::unlocksites</a></div><div class="ttdeci">InstSet unlocksites</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8h_source.html#l00492">LockAnalysis.h:492</a></div></div>
|
|
4106
|
-
<div class="ttc" id="aSVFType_8h_html_ab6f41e9db3675dc689c5492418885041"><div class="ttname"><a href="SVFType_8h.html#ab6f41e9db3675dc689c5492418885041">DOTIMESTAT</a></div><div class="ttdeci">#define DOTIMESTAT(X)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
4106
|
+
<div class="ttc" id="aSVFType_8h_html_ab6f41e9db3675dc689c5492418885041"><div class="ttname"><a href="SVFType_8h.html#ab6f41e9db3675dc689c5492418885041">DOTIMESTAT</a></div><div class="ttdeci">#define DOTIMESTAT(X)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00578">SVFType.h:578</a></div></div>
|
|
4107
4107
|
<div class="ttc" id="aclassSVF_1_1LockAnalysis_html_a3fd595637d248213c650889d6e2d07ad"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#a3fd595637d248213c650889d6e2d07ad">SVF::LockAnalysis::isInsideIntraLock</a></div><div class="ttdeci">bool isInsideIntraLock(const SVFInstruction *stmt) const</div><div class="ttdoc">Return true if a statement is inside an intra-procedural lock.</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8h_source.html#l00129">LockAnalysis.h:129</a></div></div>
|
|
4108
4108
|
<div class="ttc" id="aclassSVF_1_1TCT_html_a5b087b42340d1a1b2ee37339637709d3"><div class="ttname"><a href="classSVF_1_1TCT.html#a5b087b42340d1a1b2ee37339637709d3">SVF::TCT::getPTA</a></div><div class="ttdeci">PointerAnalysis * getPTA() const</div><div class="ttdoc">Get PTA.</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00187">TCT.h:187</a></div></div>
|
|
4109
4109
|
<div class="ttc" id="aclassSVF_1_1LockAnalysis_html_a00ccd89eff3fe8fec397df101f927cbe"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#a00ccd89eff3fe8fec397df101f927cbe">SVF::LockAnalysis::analyzeLockSpanCxtStmt</a></div><div class="ttdeci">void analyzeLockSpanCxtStmt()</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8cpp_source.html#l00325">LockAnalysis.cpp:325</a></div></div>
|
|
@@ -4146,7 +4146,7 @@ Private Attributes</h2></td></tr>
|
|
|
4146
4146
|
<div class="ttc" id="aclassSVF_1_1LockAnalysis_html_aa759d7cf2aa537a375daef4c637e597e"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#aa759d7cf2aa537a375daef4c637e597e">SVF::LockAnalysis::isInSameCISpan</a></div><div class="ttdeci">bool isInSameCISpan(const SVFInstruction *i1, const SVFInstruction *i2) const</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8cpp_source.html#l00649">LockAnalysis.cpp:649</a></div></div>
|
|
4147
4147
|
<div class="ttc" id="aclassSVF_1_1LockAnalysis_html_ad1184e1c2d583fa0b03bd1892152925a"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#ad1184e1c2d583fa0b03bd1892152925a">SVF::LockAnalysis::isTDRelease</a></div><div class="ttdeci">bool isTDRelease(const SVFInstruction *call)</div><div class="ttdoc">Whether it is a unlock site.</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8h_source.html#l00448">LockAnalysis.h:448</a></div></div>
|
|
4148
4148
|
<div class="ttc" id="aclassSVF_1_1SVFFunction_html_a793f485e92d12cf407f2ffa41861eb3d"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a793f485e92d12cf407f2ffa41861eb3d">SVF::SVFFunction::getEntryBlock</a></div><div class="ttdeci">const SVFBasicBlock * getEntryBlock() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00409">SVFValue.h:409</a></div></div>
|
|
4149
|
-
<div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
4149
|
+
<div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00576">SVFType.h:576</a></div></div>
|
|
4150
4150
|
<div class="ttc" id="aclassSVF_1_1LockAnalysis_html_ae8715683c7dfddc7b30caf6bf2b78296"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#ae8715683c7dfddc7b30caf6bf2b78296">SVF::LockAnalysis::instToCxtStmtSet</a></div><div class="ttdeci">InstToCxtStmtSet instToCxtStmtSet</div><div class="ttdoc">Map a statement to all its context-sensitive statements.</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8h_source.html#l00470">LockAnalysis.h:470</a></div></div>
|
|
4151
4151
|
<div class="ttc" id="aclassSVF_1_1SVFInstruction_html_ae009f41cbf48d949d4325e08fe8d7198"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ae009f41cbf48d949d4325e08fe8d7198">SVF::SVFInstruction::getParent</a></div><div class="ttdeci">const SVFBasicBlock * getParent() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00647">SVFValue.h:647</a></div></div>
|
|
4152
4152
|
<div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00620">SVFValue.h:620</a></div></div>
|
|
@@ -1154,7 +1154,7 @@ Static Private Attributes</h2></td></tr>
|
|
|
1154
1154
|
<div class="ttc" id="aclassSVF_1_1LockResultValidator_html_a70cdb993b3e90c70cc083fb8ed93fb91"><div class="ttname"><a href="classSVF_1_1LockResultValidator.html#a70cdb993b3e90c70cc083fb8ed93fb91">SVF::LockResultValidator::filterFun</a></div><div class="ttdeci">Set< std::string > filterFun</div><div class="ttdef"><b>Definition:</b> <a href="LockResultValidator_8h_source.html#l00116">LockResultValidator.h:116</a></div></div>
|
|
1155
1155
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a05dc00b2bd9a8176aae31b6cfffe725d"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a05dc00b2bd9a8176aae31b6cfffe725d">SVF::SVFUtil::sucMsg</a></div><div class="ttdeci">std::string sucMsg(const std::string &msg)</div><div class="ttdoc">Returns successful message by converting a string into green string output.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00053">SVFUtil.cpp:53</a></div></div>
|
|
1156
1156
|
<div class="ttc" id="aclassSVF_1_1LockResultValidator_html_afec6058866fe334646db78227fb4d6a6"><div class="ttname"><a href="classSVF_1_1LockResultValidator.html#afec6058866fe334646db78227fb4d6a6">SVF::LockResultValidator::CxtLockSetStr</a></div><div class="ttdeci">Set< std::string > CxtLockSetStr</div><div class="ttdef"><b>Definition:</b> <a href="LockResultValidator_8h_source.html#l00022">LockResultValidator.h:22</a></div></div>
|
|
1157
|
-
<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#
|
|
1157
|
+
<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01272">LLVMUtil.cpp:1272</a></div></div>
|
|
1158
1158
|
<div class="ttc" id="aclassSVF_1_1LockResultValidator_html_ae68afb4d129dc6cecfc3561f6a17c798"><div class="ttname"><a href="classSVF_1_1LockResultValidator.html#ae68afb4d129dc6cecfc3561f6a17c798">SVF::LockResultValidator::_la</a></div><div class="ttdeci">LockAnalysis * _la</div><div class="ttdef"><b>Definition:</b> <a href="LockResultValidator_8h_source.html#l00107">LockResultValidator.h:107</a></div></div>
|
|
1159
1159
|
<div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_ae74f307b6f96950ceedb2c375ef1c3a3"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#ae74f307b6f96950ceedb2c375ef1c3a3">SVF::LLVMModuleSet::getSVFInstruction</a></div><div class="ttdeci">SVFInstruction * getSVFInstruction(const Instruction *inst) const</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00213">LLVMModule.h:213</a></div></div>
|
|
1160
1160
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a4550f2fb815882edfb666ac818792064"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a4550f2fb815882edfb666ac818792064">SVF::SVFUtil::pasMsg</a></div><div class="ttdeci">std::string pasMsg(const std::string &msg)</div><div class="ttdoc">Print each pass/phase message by converting a string into blue string output.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00099">SVFUtil.cpp:99</a></div></div>
|
|
@@ -2727,7 +2727,7 @@ Private Attributes</h2></td></tr>
|
|
|
2727
2727
|
<div class="ttc" id="aclassSVF_1_1MHP_html_a2c1e4fac7b810021939ed26307d37816"><div class="ttname"><a href="classSVF_1_1MHP.html#a2c1e4fac7b810021939ed26307d37816">SVF::MHP::handleNonCandidateFun</a></div><div class="ttdeci">void handleNonCandidateFun(const CxtThreadStmt &cts)</div><div class="ttdoc">Handle non-candidate function.</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00180">MHP.cpp:180</a></div></div>
|
|
2728
2728
|
<div class="ttc" id="aclassSVF_1_1ThreadAPI_html_a4bacbfb6648de8196217c83b5d73b876"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#a4bacbfb6648de8196217c83b5d73b876">SVF::ThreadAPI::isTDFork</a></div><div class="ttdeci">bool isTDFork(const SVFInstruction *inst) const</div><div class="ttdoc">Return true if this call create a new thread.</div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8h_source.html#l00129">ThreadAPI.h:129</a></div></div>
|
|
2729
2729
|
<div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a61bd86909a141f9de873d92c0f904832"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">SVF::SparseBitVector::set</a></div><div class="ttdeci">void set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00747">SparseBitVector.h:747</a></div></div>
|
|
2730
|
-
<div class="ttc" id="aSVFType_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
2730
|
+
<div class="ttc" id="aSVFType_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00604">SVFType.h:604</a></div></div>
|
|
2731
2731
|
<div class="ttc" id="aclassSVF_1_1SVFFunction_html_a61505b528343c7d728eba3a705930a16"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a61505b528343c7d728eba3a705930a16">SVF::SVFFunction::getExitBlocksOfLoop</a></div><div class="ttdeci">void getExitBlocksOfLoop(const SVFBasicBlock *bb, BBList &exitbbs) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00466">SVFValue.h:466</a></div></div>
|
|
2732
2732
|
<div class="ttc" id="aclassSVF_1_1PTACallGraph_html_aaab54c670518d9d6790707f76ea76aa1"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#aaab54c670518d9d6790707f76ea76aa1">SVF::PTACallGraph::getCallGraphNode</a></div><div class="ttdeci">PTACallGraphNode * getCallGraphNode(NodeID id) const</div><div class="ttdoc">Get call graph node.</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00315">PTACallGraph.h:315</a></div></div>
|
|
2733
2733
|
<div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_adcad8524a53baf256cd45503ec568c10"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#adcad8524a53baf256cd45503ec568c10">SVF::ThreadCallGraph::getThreadAPI</a></div><div class="ttdeci">ThreadAPI * getThreadAPI() const</div><div class="ttdoc">Thread API.</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00324">ThreadCallGraph.h:324</a></div></div>
|
|
@@ -2737,7 +2737,7 @@ Private Attributes</h2></td></tr>
|
|
|
2737
2737
|
<div class="ttc" id="aclassSVF_1_1MHP_html_a28031502c4f8f0d4012c0827c57efb32"><div class="ttname"><a href="classSVF_1_1MHP.html#a28031502c4f8f0d4012c0827c57efb32">SVF::MHP::CxtThreadStmtSet</a></div><div class="ttdeci">Set< CxtThreadStmt > CxtThreadStmtSet</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00053">MHP.h:53</a></div></div>
|
|
2738
2738
|
<div class="ttc" id="aclassSVF_1_1TCT_html_a516578af1f8666ff672e6611e61d7152"><div class="ttname"><a href="classSVF_1_1TCT.html#a516578af1f8666ff672e6611e61d7152">SVF::TCT::getParentThread</a></div><div class="ttdeci">NodeID getParentThread(NodeID tid) const</div><div class="ttdoc">Get parent thread.</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00293">TCT.h:293</a></div></div>
|
|
2739
2739
|
<div class="ttc" id="aclassSVF_1_1FIFOWorkList_html_a7056704c224dfb4b57287fe90c004aa8"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">SVF::FIFOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00146">WorkList.h:146</a></div></div>
|
|
2740
|
-
<div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
2740
|
+
<div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00582">SVFType.h:582</a></div></div>
|
|
2741
2741
|
<div class="ttc" id="aclassSVF_1_1MHP_html_aed7f65ea3f046774eef36602cb41f178"><div class="ttname"><a href="classSVF_1_1MHP.html#aed7f65ea3f046774eef36602cb41f178">SVF::MHP::pushToCTSWorkList</a></div><div class="ttdeci">bool pushToCTSWorkList(const CxtThreadStmt &cs)</div><div class="ttdoc">WorkList helper functions.</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00234">MHP.h:234</a></div></div>
|
|
2742
2742
|
<div class="ttc" id="aclassSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00459">SparseBitVector.h:459</a></div></div>
|
|
2743
2743
|
<div class="ttc" id="aclassSVF_1_1MHP_html_a02b4ab18067c9b911b4bd53f0426aec3"><div class="ttname"><a href="classSVF_1_1MHP.html#a02b4ab18067c9b911b4bd53f0426aec3">SVF::MHP::rmInterleavingThread</a></div><div class="ttdeci">void rmInterleavingThread(const CxtThreadStmt &tgr, const NodeBS &tids, const SVFInstruction *joinsite)</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00189">MHP.h:189</a></div></div>
|
|
@@ -2762,7 +2762,7 @@ Private Attributes</h2></td></tr>
|
|
|
2762
2762
|
<div class="ttc" id="aclassSVF_1_1MHP_html_a1f057ef082484a1997cb02287e063f00"><div class="ttname"><a href="classSVF_1_1MHP.html#a1f057ef082484a1997cb02287e063f00">SVF::MHP::nonCandidateFuncMHPRelMap</a></div><div class="ttdeci">FuncPairToBool nonCandidateFuncMHPRelMap</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00273">MHP.h:273</a></div></div>
|
|
2763
2763
|
<div class="ttc" id="aclassSVF_1_1MHP_html_a6343dd11dd75d3730dc463321a11445e"><div class="ttname"><a href="classSVF_1_1MHP.html#a6343dd11dd75d3730dc463321a11445e">SVF::MHP::addInterleavingThread</a></div><div class="ttdeci">void addInterleavingThread(const CxtThreadStmt &tgr, NodeID tid)</div><div class="ttdoc">Add/Remove interleaving thread for statement inst.</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00172">MHP.h:172</a></div></div>
|
|
2764
2764
|
<div class="ttc" id="aclassSVF_1_1MHP_html_a8a95f8ae419b66310ce6f572caea2ca5"><div class="ttname"><a href="classSVF_1_1MHP.html#a8a95f8ae419b66310ce6f572caea2ca5">SVF::MHP::handleFork</a></div><div class="ttdeci">void handleFork(const CxtThreadStmt &cts, NodeID rootTid)</div><div class="ttdoc">Handle fork.</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00202">MHP.cpp:202</a></div></div>
|
|
2765
|
-
<div class="ttc" id="aSVFType_8h_html_a217a1ccdaec1abb103cf6b0373631234"><div class="ttname"><a href="SVFType_8h.html#a217a1ccdaec1abb103cf6b0373631234">DMTA</a></div><div class="ttdeci">#define DMTA</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
2765
|
+
<div class="ttc" id="aSVFType_8h_html_a217a1ccdaec1abb103cf6b0373631234"><div class="ttname"><a href="SVFType_8h.html#a217a1ccdaec1abb103cf6b0373631234">DMTA</a></div><div class="ttdeci">#define DMTA</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00597">SVFType.h:597</a></div></div>
|
|
2766
2766
|
<div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00517">SVFValue.h:517</a></div></div>
|
|
2767
2767
|
<div class="ttc" id="aclassSVF_1_1MHP_html_a0cb1db9943ddc0928afa8e370cbf60c6"><div class="ttname"><a href="classSVF_1_1MHP.html#a0cb1db9943ddc0928afa8e370cbf60c6">SVF::MHP::mayHappenInParallelInst</a></div><div class="ttdeci">virtual bool mayHappenInParallelInst(const SVFInstruction *i1, const SVFInstruction *i2)</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00544">MHP.cpp:544</a></div></div>
|
|
2768
2768
|
<div class="ttc" id="aclassSVF_1_1PTACallGraph_html_a5f5a5ec7e707a21994d301cc07d32a5a"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a5f5a5ec7e707a21994d301cc07d32a5a">SVF::PTACallGraph::FunctionSet</a></div><div class="ttdeci">Set< const SVFFunction * > FunctionSet</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00228">PTACallGraph.h:228</a></div></div>
|
|
@@ -2791,7 +2791,7 @@ Private Attributes</h2></td></tr>
|
|
|
2791
2791
|
<div class="ttc" id="aclassSVF_1_1MHP_html_af4d6f0884ce18ea5caf0dfd9799d1aae"><div class="ttname"><a href="classSVF_1_1MHP.html#af4d6f0884ce18ea5caf0dfd9799d1aae">SVF::MHP::handleIntra</a></div><div class="ttdeci">void handleIntra(const CxtThreadStmt &cts)</div><div class="ttdoc">Handle intra.</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00359">MHP.cpp:359</a></div></div>
|
|
2792
2792
|
<div class="ttc" id="aclassSVF_1_1TCT_html_a90f5d399420894f087a24d315ad2ee8e"><div class="ttname"><a href="classSVF_1_1TCT.html#a90f5d399420894f087a24d315ad2ee8e">SVF::TCT::getCallICFGNode</a></div><div class="ttdeci">CallICFGNode * getCallICFGNode(const SVFInstruction *inst)</div><div class="ttdoc">Get CallICFGNode given inst.</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00171">TCT.h:171</a></div></div>
|
|
2793
2793
|
<div class="ttc" id="aclassSVF_1_1MHP_html_a3a535274cd3349a05eeccf3c9231396a"><div class="ttname"><a href="classSVF_1_1MHP.html#a3a535274cd3349a05eeccf3c9231396a">SVF::MHP::handleJoin</a></div><div class="ttdeci">void handleJoin(const CxtThreadStmt &cts, NodeID rootTid)</div><div class="ttdoc">Handle join.</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00232">MHP.cpp:232</a></div></div>
|
|
2794
|
-
<div class="ttc" id="aSVFType_8h_html_ab6f41e9db3675dc689c5492418885041"><div class="ttname"><a href="SVFType_8h.html#ab6f41e9db3675dc689c5492418885041">DOTIMESTAT</a></div><div class="ttdeci">#define DOTIMESTAT(X)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
2794
|
+
<div class="ttc" id="aSVFType_8h_html_ab6f41e9db3675dc689c5492418885041"><div class="ttname"><a href="SVFType_8h.html#ab6f41e9db3675dc689c5492418885041">DOTIMESTAT</a></div><div class="ttdeci">#define DOTIMESTAT(X)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00578">SVFType.h:578</a></div></div>
|
|
2795
2795
|
<div class="ttc" id="aclassSVF_1_1MHP_html_a6b238ee6342da990840162845bba547f"><div class="ttname"><a href="classSVF_1_1MHP.html#a6b238ee6342da990840162845bba547f">SVF::MHP::instToTSMap</a></div><div class="ttdeci">InstToThreadStmtSetMap instToTSMap</div><div class="ttdoc">Map a statement to its thread interleavings.</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00272">MHP.h:272</a></div></div>
|
|
2796
2796
|
<div class="ttc" id="aclassSVF_1_1MHP_html_ab8bd382e0c70b0feb2a291ecc4043106"><div class="ttname"><a href="classSVF_1_1MHP.html#ab8bd382e0c70b0feb2a291ecc4043106">SVF::MHP::numOfMHPQueries</a></div><div class="ttdeci">u32_t numOfMHPQueries</div><div class="ttdoc">Number of queries are answered as may-happen-in-parallel.</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00278">MHP.h:278</a></div></div>
|
|
2797
2797
|
<div class="ttc" id="aclassSVF_1_1CxtStmt_html_a0b593c4ba425937212e2889e64ce4791"><div class="ttname"><a href="classSVF_1_1CxtStmt.html#a0b593c4ba425937212e2889e64ce4791">SVF::CxtStmt::getStmt</a></div><div class="ttdeci">const SVFInstruction * getStmt() const</div><div class="ttdoc">Return current statement.</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00062">CxtStmt.h:62</a></div></div>
|
|
@@ -2817,7 +2817,7 @@ Private Attributes</h2></td></tr>
|
|
|
2817
2817
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream & outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
|
|
2818
2818
|
<div class="ttc" id="aclassSVF_1_1TCT_html_ab4bc72ca330b315df06f2d4d2c1a7b4f"><div class="ttname"><a href="classSVF_1_1TCT.html#ab4bc72ca330b315df06f2d4d2c1a7b4f">SVF::TCT::getCxtOfCxtThread</a></div><div class="ttdeci">const CallStrCxt & getCxtOfCxtThread(const CxtThread &ct) const</div><div class="ttdoc">get the context of a thread at its spawning site (fork site)</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00342">TCT.h:342</a></div></div>
|
|
2819
2819
|
<div class="ttc" id="aclassSVF_1_1TCT_html_a7b4ad0b052e1f8b6869733eef15f4e4d"><div class="ttname"><a href="classSVF_1_1TCT.html#a7b4ad0b052e1f8b6869733eef15f4e4d">SVF::TCT::getTCTNode</a></div><div class="ttdeci">TCTNode * getTCTNode(NodeID id) const</div><div class="ttdoc">Get TCT node.</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00192">TCT.h:192</a></div></div>
|
|
2820
|
-
<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#
|
|
2820
|
+
<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01272">LLVMUtil.cpp:1272</a></div></div>
|
|
2821
2821
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a4550f2fb815882edfb666ac818792064"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a4550f2fb815882edfb666ac818792064">SVF::SVFUtil::pasMsg</a></div><div class="ttdeci">std::string pasMsg(const std::string &msg)</div><div class="ttdoc">Print each pass/phase message by converting a string into blue string output.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00099">SVFUtil.cpp:99</a></div></div>
|
|
2822
2822
|
<div class="ttc" id="aclassSVF_1_1MHP_html_a7585f40b80c5488828576eb2f035ac61"><div class="ttname"><a href="classSVF_1_1MHP.html#a7585f40b80c5488828576eb2f035ac61">SVF::MHP::hasJoinInSymmetricLoop</a></div><div class="ttdeci">bool hasJoinInSymmetricLoop(const CallStrCxt &cxt, const SVFInstruction *call) const</div><div class="ttdoc">Whether a context-sensitive join satisfies symmetric loop pattern.</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00488">MHP.cpp:488</a></div></div>
|
|
2823
2823
|
<div class="ttc" id="aclassSVF_1_1PTACallGraph_html_af8df9ca6d906453fa3f7168aa84fd087"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#af8df9ca6d906453fa3f7168aa84fd087">SVF::PTACallGraph::hasCallGraphEdge</a></div><div class="ttdeci">bool hasCallGraphEdge(const CallICFGNode *inst) const</div><div class="ttdoc">Get call graph edge via call instruction.</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00397">PTACallGraph.h:397</a></div></div>
|
|
@@ -2835,7 +2835,7 @@ Private Attributes</h2></td></tr>
|
|
|
2835
2835
|
<div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
|
|
2836
2836
|
<div class="ttc" id="aclassSVF_1_1MHP_html_a5a537e2f89e8cfe10a2d16ae1654be6e"><div class="ttname"><a href="classSVF_1_1MHP.html#a5a537e2f89e8cfe10a2d16ae1654be6e">SVF::MHP::getCallee</a></div><div class="ttdeci">const PTACallGraph::FunctionSet & getCallee(const SVFInstruction *inst, PTACallGraph::FunctionSet &callees)</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00143">MHP.h:143</a></div></div>
|
|
2837
2837
|
<div class="ttc" id="aclassSVF_1_1SVFFunction_html_a793f485e92d12cf407f2ffa41861eb3d"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a793f485e92d12cf407f2ffa41861eb3d">SVF::SVFFunction::getEntryBlock</a></div><div class="ttdeci">const SVFBasicBlock * getEntryBlock() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00409">SVFValue.h:409</a></div></div>
|
|
2838
|
-
<div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
2838
|
+
<div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00576">SVFType.h:576</a></div></div>
|
|
2839
2839
|
<div class="ttc" id="aclassSVF_1_1SVFInstruction_html_ae009f41cbf48d949d4325e08fe8d7198"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ae009f41cbf48d949d4325e08fe8d7198">SVF::SVFInstruction::getParent</a></div><div class="ttdeci">const SVFBasicBlock * getParent() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00647">SVFValue.h:647</a></div></div>
|
|
2840
2840
|
<div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00620">SVFValue.h:620</a></div></div>
|
|
2841
2841
|
<div class="ttc" id="aclassSVF_1_1TCT_html_afb579a5bdcc0a1c6b075bb9aae36c237"><div class="ttname"><a href="classSVF_1_1TCT.html#afb579a5bdcc0a1c6b075bb9aae36c237">SVF::TCT::PTACGNodeSet</a></div><div class="ttdeci">Set< const PTACallGraphNode * > PTACGNodeSet</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00145">TCT.h:145</a></div></div>
|
|
@@ -4042,7 +4042,7 @@ Private Attributes</h2></td></tr>
|
|
|
4042
4042
|
<div class="ttc" id="aclassSVF_1_1MRGenerator_html_a2c94bfa19ad8d1d6360b12693c8b891d"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a2c94bfa19ad8d1d6360b12693c8b891d">SVF::MRGenerator::funToModsMap</a></div><div class="ttdeci">FunToPointsToMap funToModsMap</div><div class="ttdoc">Map a function to its indirect defs of memory objects.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00229">MemRegion.h:229</a></div></div>
|
|
4043
4043
|
<div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a16756e0545fd3d50ab89f45a2e83bb79"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a16756e0545fd3d50ab89f45a2e83bb79">SVF::SparseBitVector::intersects</a></div><div class="ttdeci">bool intersects(const SparseBitVector< ElementSize > *RHS) const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01031">SparseBitVector.h:1031</a></div></div>
|
|
4044
4044
|
<div class="ttc" id="aclassSVF_1_1MRGenerator_html_ad402506c2938d4b5440119e6091e4057"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#ad402506c2938d4b5440119e6091e4057">SVF::MRGenerator::getCallSiteArgsPts</a></div><div class="ttdeci">NodeBS & getCallSiteArgsPts(const CallICFGNode *cs)</div><div class="ttdoc">Return the pts chain of all callsite arguments.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00255">MemRegion.h:255</a></div></div>
|
|
4045
|
-
<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76">SVF::Ref</a></div><div class="ttdeci">@ Ref</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
4045
|
+
<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76">SVF::Ref</a></div><div class="ttdeci">@ Ref</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00613">SVFType.h:613</a></div></div>
|
|
4046
4046
|
<div class="ttc" id="aclassSVF_1_1IRGraph_html_a401ec65771a3d2dcc8eb60574aadd354"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a401ec65771a3d2dcc8eb60574aadd354">SVF::IRGraph::hasValueNode</a></div><div class="ttdeci">bool hasValueNode(const SVFValue *V)</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00142">IRGraph.h:142</a></div></div>
|
|
4047
4047
|
<div class="ttc" id="aclassSVF_1_1SparseBitVector_html_abbd0e0cf759fad7858224ed8a63aade8"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#abbd0e0cf759fad7858224ed8a63aade8">SVF::SparseBitVector::contains</a></div><div class="ttdeci">bool contains(const SparseBitVector< ElementSize > &RHS) const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01073">SparseBitVector.h:1073</a></div></div>
|
|
4048
4048
|
<div class="ttc" id="aclassSVF_1_1AddrStmt_html"><div class="ttname"><a href="classSVF_1_1AddrStmt.html">SVF::AddrStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00313">SVFStatements.h:313</a></div></div>
|
|
@@ -4051,7 +4051,7 @@ Private Attributes</h2></td></tr>
|
|
|
4051
4051
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a4bef15157423cef48dc7333a803cd27d"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">SVF::GenericGraph::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00384">GenericGraph.h:384</a></div></div>
|
|
4052
4052
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_a570ad42ad516e3fabb91a3563b618c0b"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a570ad42ad516e3fabb91a3563b618c0b">SVF::SVFIR::getSVFStmtList</a></div><div class="ttdeci">SVFStmtList & getSVFStmtList(const ICFGNode *inst)</div><div class="ttdoc">Given an instruction, get all its PAGEdges.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00208">SVFIR.h:208</a></div></div>
|
|
4053
4053
|
<div class="ttc" id="aclassSVF_1_1MRGenerator_html_a965a31712341b1fc02e667f325423ca2"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a965a31712341b1fc02e667f325423ca2">SVF::MRGenerator::getRefInfoForCall</a></div><div class="ttdeci">NodeBS getRefInfoForCall(const CallICFGNode *cs)</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8cpp_source.html#l00692">MemRegion.cpp:692</a></div></div>
|
|
4054
|
-
<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f">SVF::NoModRef</a></div><div class="ttdeci">@ NoModRef</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
4054
|
+
<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f">SVF::NoModRef</a></div><div class="ttdeci">@ NoModRef</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00615">SVFType.h:615</a></div></div>
|
|
4055
4055
|
<div class="ttc" id="aclassSVF_1_1MRGenerator_html_a39604645ca9ba10607ada3872b14705a"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a39604645ca9ba10607ada3872b14705a">SVF::MRGenerator::addModSideEffectOfFunction</a></div><div class="ttdeci">void addModSideEffectOfFunction(const SVFFunction *fun, const NodeBS &mods)</div><div class="ttdoc">Add indirect def an memory object in the function.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8cpp_source.html#l00417">MemRegion.cpp:417</a></div></div>
|
|
4056
4056
|
<div class="ttc" id="aclassSVF_1_1MRGenerator_html_afb7ce3a24edda14895999eb15231daff"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#afb7ce3a24edda14895999eb15231daff">SVF::MRGenerator::pta</a></div><div class="ttdeci">BVDataPTAImpl * pta</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00197">MemRegion.h:197</a></div></div>
|
|
4057
4057
|
<div class="ttc" id="aclassSVF_1_1RetICFGNode_html"><div class="ttname"><a href="classSVF_1_1RetICFGNode.html">SVF::RetICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00487">ICFGNode.h:487</a></div></div>
|
|
@@ -4074,12 +4074,12 @@ Private Attributes</h2></td></tr>
|
|
|
4074
4074
|
<div class="ttc" id="aclassSVF_1_1MRGenerator_html_ab250a4950269f57027d8e8ef10089f58"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58">SVF::MRGenerator::pagEdgeToFunMap</a></div><div class="ttdeci">PAGEdgeToFunMap pagEdgeToFunMap</div><div class="ttdoc">Map a PAGEdge to its fun.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00224">MemRegion.h:224</a></div></div>
|
|
4075
4075
|
<div class="ttc" id="aclassSVF_1_1MRGenerator_html_a1331e6f0941838064d77a5adaa5c6303"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a1331e6f0941838064d77a5adaa5c6303">SVF::MRGenerator::getFunToPointsToList</a></div><div class="ttdeci">FunToPointsTosMap & getFunToPointsToList()</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00371">MemRegion.h:371</a></div></div>
|
|
4076
4076
|
<div class="ttc" id="aclassSVF_1_1SparseBitVector_html_abf76d8157c49ddba24bdc9dab3655772"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#abf76d8157c49ddba24bdc9dab3655772">SVF::SparseBitVector::begin</a></div><div class="ttdeci">iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01115">SparseBitVector.h:1115</a></div></div>
|
|
4077
|
-
<div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
4077
|
+
<div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00582">SVFType.h:582</a></div></div>
|
|
4078
4078
|
<div class="ttc" id="aclassSVF_1_1SCCDetection_html_a123b5006a6da7053e5e357140da3c5a3"><div class="ttname"><a href="classSVF_1_1SCCDetection.html#a123b5006a6da7053e5e357140da3c5a3">SVF::SCCDetection::find</a></div><div class="ttdeci">void find(void)</div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00308">SCC.h:308</a></div></div>
|
|
4079
4079
|
<div class="ttc" id="aclassSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00459">SparseBitVector.h:459</a></div></div>
|
|
4080
4080
|
<div class="ttc" id="aclassSVF_1_1MRGenerator_html_ac0b966ee2065607a24920dd9067b40e9"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#ac0b966ee2065607a24920dd9067b40e9">SVF::MRGenerator::partitionMRs</a></div><div class="ttdeci">virtual void partitionMRs()</div><div class="ttdoc">Partition regions.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8cpp_source.html#l00315">MemRegion.cpp:315</a></div></div>
|
|
4081
4081
|
<div class="ttc" id="aclassSVF_1_1SVFModule_html_a58d03edb6ff85f4943135478f113df31"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31">SVF::SVFModule::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00141">SVFModule.h:141</a></div></div>
|
|
4082
|
-
<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30">SVF::ModRef</a></div><div class="ttdeci">@ ModRef</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
4082
|
+
<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30">SVF::ModRef</a></div><div class="ttdeci">@ ModRef</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00612">SVFType.h:612</a></div></div>
|
|
4083
4083
|
<div class="ttc" id="aclassSVF_1_1ICFG_html_aa41516cdd2be5066adf22798a4fe2213"><div class="ttname"><a href="classSVF_1_1ICFG.html#aa41516cdd2be5066adf22798a4fe2213">SVF::ICFG::getCallICFGNode</a></div><div class="ttdeci">CallICFGNode * getCallICFGNode(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00235">ICFG.cpp:235</a></div></div>
|
|
4084
4084
|
<div class="ttc" id="aclassSVF_1_1MRGenerator_html_ac14c99ee6064fc9cf30120a83c78e702"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702">SVF::MRGenerator::getModRefInfo</a></div><div class="ttdeci">ModRefInfo getModRefInfo(const CallICFGNode *cs)</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8cpp_source.html#l00717">MemRegion.cpp:717</a></div></div>
|
|
4085
4085
|
<div class="ttc" id="aclassSVF_1_1SVFVar_html_a3b61042079a6c9dc395f38925c6a1271"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a3b61042079a6c9dc395f38925c6a1271">SVF::SVFVar::isPointer</a></div><div class="ttdeci">virtual bool isPointer() const</div><div class="ttdoc">Whether it is a pointer.</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00117">SVFVariables.h:117</a></div></div>
|
|
@@ -4103,7 +4103,7 @@ Private Attributes</h2></td></tr>
|
|
|
4103
4103
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_a63acb4d86d93ad1e88860ac839a8c654"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a63acb4d86d93ad1e88860ac839a8c654">SVF::SVFIR::hasSVFStmtList</a></div><div class="ttdeci">bool hasSVFStmtList(const ICFGNode *inst) const</div><div class="ttdoc">Whether this instruction has SVFIR Edge.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00198">SVFIR.h:198</a></div></div>
|
|
4104
4104
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_a77a6bb9335aa12d29825af1b5ea07e08"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a77a6bb9335aa12d29825af1b5ea07e08">SVF::SVFIR::getBaseObjVar</a></div><div class="ttdeci">NodeID getBaseObjVar(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00445">SVFIR.h:445</a></div></div>
|
|
4105
4105
|
<div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00517">SVFValue.h:517</a></div></div>
|
|
4106
|
-
<div class="ttc" id="aclassSVF_1_1StoreStmt_html"><div class="ttname"><a href="classSVF_1_1StoreStmt.html">SVF::StoreStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
4106
|
+
<div class="ttc" id="aclassSVF_1_1StoreStmt_html"><div class="ttname"><a href="classSVF_1_1StoreStmt.html">SVF::StoreStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00387">SVFStatements.h:387</a></div></div>
|
|
4107
4107
|
<div class="ttc" id="aclassSVF_1_1PTACallGraphEdge_html_af0e9f86be3cf263b868f80d374641fc9"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#af0e9f86be3cf263b868f80d374641fc9">SVF::PTACallGraphEdge::getDirectCalls</a></div><div class="ttdeci">CallInstSet & getDirectCalls()</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00095">PTACallGraph.h:95</a></div></div>
|
|
4108
4108
|
<div class="ttc" id="aclassSVF_1_1MRGenerator_html_a34967cda51699f948a581b9f88fa3b10"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a34967cda51699f948a581b9f88fa3b10">SVF::MRGenerator::callsiteToRefPointsToMap</a></div><div class="ttdeci">CallSiteToPointsToMap callsiteToRefPointsToMap</div><div class="ttdoc">Map a callsite to it refs cpts set.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00217">MemRegion.h:217</a></div></div>
|
|
4109
4109
|
<div class="ttc" id="aclassSVF_1_1MRGenerator_html_adf8d477e5f622855799842134145ecc4"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#adf8d477e5f622855799842134145ecc4">SVF::MRGenerator::callsiteToModMRsMap</a></div><div class="ttdeci">CallSiteToMRsMap callsiteToModMRsMap</div><div class="ttdoc">Map a callsite to its mods regions.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00211">MemRegion.h:211</a></div></div>
|
|
@@ -4133,7 +4133,7 @@ Private Attributes</h2></td></tr>
|
|
|
4133
4133
|
<div class="ttc" id="aclassSVF_1_1SVFStmt_html"><div class="ttname"><a href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00051">SVFStatements.h:51</a></div></div>
|
|
4134
4134
|
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ad8b71cebf46deaf60e2cd4f6d6bb9433"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ad8b71cebf46deaf60e2cd4f6d6bb9433">SVF::PointerAnalysis::getModule</a></div><div class="ttdeci">SVFModule * getModule() const</div><div class="ttdoc">Module.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00213">PointerAnalysis.h:213</a></div></div>
|
|
4135
4135
|
<div class="ttc" id="aclassSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00045">SVFVariables.h:45</a></div></div>
|
|
4136
|
-
<div class="ttc" id="aclassSVF_1_1LoadStmt_html"><div class="ttname"><a href="classSVF_1_1LoadStmt.html">SVF::LoadStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
4136
|
+
<div class="ttc" id="aclassSVF_1_1LoadStmt_html"><div class="ttname"><a href="classSVF_1_1LoadStmt.html">SVF::LoadStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00424">SVFStatements.h:424</a></div></div>
|
|
4137
4137
|
<div class="ttc" id="aclassSVF_1_1MRGenerator_html_a187d82895b2e1156c6dd5ae28795944f"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a187d82895b2e1156c6dd5ae28795944f">SVF::MRGenerator::hasModSideEffectOfCallSite</a></div><div class="ttdeci">bool hasModSideEffectOfCallSite(const CallICFGNode *cs)</div><div class="ttdoc">Has indirect mods of a callsite.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00413">MemRegion.h:413</a></div></div>
|
|
4138
4138
|
<div class="ttc" id="aclassSVF_1_1MRGenerator_html_a28130cc55ab317d383ba6593f323b12a"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a28130cc55ab317d383ba6593f323b12a">SVF::MRGenerator::isAliasedMR</a></div><div class="ttdeci">virtual bool isAliasedMR(const NodeBS &cpts, const MemRegion *mr)</div><div class="ttdoc">Whether a region is aliased with a conditional points-to.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00304">MemRegion.h:304</a></div></div>
|
|
4139
4139
|
<div class="ttc" id="aclassSVF_1_1MRGenerator_html_af94bd8155a23273aab2396334d905119"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119">SVF::MRGenerator::memRegSet</a></div><div class="ttdeci">MRSet memRegSet</div><div class="ttdoc">A set of All memory regions.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00278">MemRegion.h:278</a></div></div>
|
|
@@ -4191,7 +4191,7 @@ Private Attributes</h2></td></tr>
|
|
|
4191
4191
|
<div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_ac9cb2f17e42c40ca81b49c8b63a855fc"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#ac9cb2f17e42c40ca81b49c8b63a855fc">SVF::SVFBasicBlock::begin</a></div><div class="ttdeci">const_iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00567">SVFValue.h:567</a></div></div>
|
|
4192
4192
|
<div class="ttc" id="aclassSVF_1_1MRGenerator_html_a0d8229b1f0b8428708e923d19096e4ba"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba">SVF::MRGenerator::loadsToMRsMap</a></div><div class="ttdeci">LoadsToMRsMap loadsToMRsMap</div><div class="ttdoc">Map a load SVFIR Edge to its memory regions sets in order for inserting mus in Memory SSA.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00205">MemRegion.h:205</a></div></div>
|
|
4193
4193
|
<div class="ttc" id="aclassSVF_1_1BVDataPTAImpl_html_ac9897a09cad8a99169f2da2116807b1b"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html#ac9897a09cad8a99169f2da2116807b1b">SVF::BVDataPTAImpl::getPts</a></div><div class="ttdeci">const PointsTo & getPts(NodeID id) override</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00088">PointerAnalysisImpl.h:88</a></div></div>
|
|
4194
|
-
<div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
4194
|
+
<div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00576">SVFType.h:576</a></div></div>
|
|
4195
4195
|
<div class="ttc" id="aclassSVF_1_1MRGenerator_html_ab3d3ca72d2cddf5336d00dc623f33401"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#ab3d3ca72d2cddf5336d00dc623f33401">SVF::MRGenerator::getCallGraphSCCRevTopoOrder</a></div><div class="ttdeci">void getCallGraphSCCRevTopoOrder(WorkList &worklist)</div><div class="ttdoc">Get reverse topo call graph scc.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8cpp_source.html#l00462">MemRegion.cpp:462</a></div></div>
|
|
4196
4196
|
<div class="ttc" id="aclassSVF_1_1MRGenerator_html_a603f993995e7d6961e203a195bb56029"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a603f993995e7d6961e203a195bb56029">SVF::MRGenerator::csToModsMap</a></div><div class="ttdeci">CallSiteToPointsToMap csToModsMap</div><div class="ttdoc">Map a callsite to its indirect defs of memory objects.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00233">MemRegion.h:233</a></div></div>
|
|
4197
4197
|
<div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00620">SVFValue.h:620</a></div></div>
|
|
@@ -4207,7 +4207,7 @@ Private Attributes</h2></td></tr>
|
|
|
4207
4207
|
<div class="ttc" id="aclassSVF_1_1MRGenerator_html_a98ac3bf264e6a85d172c2c4264ea908f"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">SVF::MRGenerator::MRSet</a></div><div class="ttdeci">OrderedSet< const MemRegion *, MemRegion::equalMemRegion > MRSet</div><div class="ttdoc">Get typedef from Pointer Analysis.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00141">MemRegion.h:141</a></div></div>
|
|
4208
4208
|
<div class="ttc" id="aclassSVF_1_1MRGenerator_html_a9de695122660c1d8b65e1f3dab8a7ece"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a9de695122660c1d8b65e1f3dab8a7ece">SVF::MRGenerator::collectCallSitePts</a></div><div class="ttdeci">void collectCallSitePts(const CallICFGNode *cs)</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8cpp_source.html#l00477">MemRegion.cpp:477</a></div></div>
|
|
4209
4209
|
<div class="ttc" id="aclassSVF_1_1MRGenerator_html_a98b3481580be48cff7e93bf3c8a29dac"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a98b3481580be48cff7e93bf3c8a29dac">SVF::MRGenerator::getRepPointsTo</a></div><div class="ttdeci">const NodeBS & getRepPointsTo(const NodeBS &cpts) const</div><div class="ttdoc">Get superset cpts set.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00186">MemRegion.h:186</a></div></div>
|
|
4210
|
-
<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0">SVF::Mod</a></div><div class="ttdeci">@ Mod</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
4210
|
+
<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0">SVF::Mod</a></div><div class="ttdeci">@ Mod</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00614">SVFType.h:614</a></div></div>
|
|
4211
4211
|
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a240219c2dc4f5cc5f85445e18c79b83b"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a240219c2dc4f5cc5f85445e18c79b83b">SVF::PointerAnalysis::getPAG</a></div><div class="ttdeci">SVFIR * getPAG() const</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00201">PointerAnalysis.h:201</a></div></div>
|
|
4212
4212
|
<div class="ttc" id="aclassSVF_1_1MRGenerator_html_a3121380139c7ae96d2045d66203253b6"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a3121380139c7ae96d2045d66203253b6">SVF::MRGenerator::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction(const PAGEdge *pagEdge) const</div><div class="ttdoc">Get the function which SVFIR Edge located.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00435">MemRegion.h:435</a></div></div>
|
|
4213
4213
|
<div class="ttc" id="aclassSVF_1_1SCCDetection_html_a6502c0a765ac1653474ffee651949f93"><div class="ttname"><a href="classSVF_1_1SCCDetection.html#a6502c0a765ac1653474ffee651949f93">SVF::SCCDetection::topoNodeStack</a></div><div class="ttdeci">GNodeStack & topoNodeStack()</div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00128">SCC.h:128</a></div></div>
|
|
@@ -619,17 +619,17 @@ Private Attributes</h2></td></tr>
|
|
|
619
619
|
</div><!-- contents -->
|
|
620
620
|
<div class="ttc" id="aclassSVF_1_1MHP_html_a033936547612c54326a604f0ff1e39a6"><div class="ttname"><a href="classSVF_1_1MHP.html#a033936547612c54326a604f0ff1e39a6">SVF::MHP::getTCT</a></div><div class="ttdeci">TCT * getTCT() const</div><div class="ttdoc">Get Thread Creation Tree.</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00082">MHP.h:82</a></div></div>
|
|
621
621
|
<div class="ttc" id="aclassSVF_1_1MHP_html"><div class="ttname"><a href="classSVF_1_1MHP.html">SVF::MHP</a></div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00045">MHP.h:45</a></div></div>
|
|
622
|
-
<div class="ttc" id="aSVFType_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
622
|
+
<div class="ttc" id="aSVFType_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00604">SVFType.h:604</a></div></div>
|
|
623
623
|
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a7c9b7e5fe37ae31ba84d167945ca57df"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">SVF::PointerAnalysis::getPTACallGraph</a></div><div class="ttdeci">PTACallGraph * getPTACallGraph() const</div><div class="ttdoc">Return call graph.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00174">PointerAnalysis.h:174</a></div></div>
|
|
624
624
|
<div class="ttc" id="aclassSVF_1_1MTA_html_a308ca0fa99b3c95f3e62b27522b6aeaa"><div class="ttname"><a href="classSVF_1_1MTA.html#a308ca0fa99b3c95f3e62b27522b6aeaa">SVF::MTA::tcg</a></div><div class="ttdeci">ThreadCallGraph * tcg</div><div class="ttdef"><b>Definition:</b> <a href="MTA_8h_source.html#l00092">MTA.h:92</a></div></div>
|
|
625
625
|
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00058">PointerAnalysis.h:58</a></div></div>
|
|
626
|
-
<div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
626
|
+
<div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00582">SVFType.h:582</a></div></div>
|
|
627
627
|
<div class="ttc" id="aclassSVF_1_1LockAnalysis_html_ad1516b6cb1dbd06b8dff04ae3c944621"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#ad1516b6cb1dbd06b8dff04ae3c944621">SVF::LockAnalysis::analyze</a></div><div class="ttdeci">void analyze()</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8cpp_source.html#l00041">LockAnalysis.cpp:41</a></div></div>
|
|
628
|
-
<div class="ttc" id="aSVFType_8h_html_a217a1ccdaec1abb103cf6b0373631234"><div class="ttname"><a href="SVFType_8h.html#a217a1ccdaec1abb103cf6b0373631234">DMTA</a></div><div class="ttdeci">#define DMTA</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
628
|
+
<div class="ttc" id="aSVFType_8h_html_a217a1ccdaec1abb103cf6b0373631234"><div class="ttname"><a href="SVFType_8h.html#a217a1ccdaec1abb103cf6b0373631234">DMTA</a></div><div class="ttdeci">#define DMTA</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00597">SVFType.h:597</a></div></div>
|
|
629
629
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00114">SVFIR.h:114</a></div></div>
|
|
630
630
|
<div class="ttc" id="aclassSVF_1_1MTA_html_abd4addbfd11a9479edd8625ed1947b9f"><div class="ttname"><a href="classSVF_1_1MTA.html#abd4addbfd11a9479edd8625ed1947b9f">SVF::MTA::stat</a></div><div class="ttdeci">std::unique_ptr< MTAStat > stat</div><div class="ttdef"><b>Definition:</b> <a href="MTA_8h_source.html#l00094">MTA.h:94</a></div></div>
|
|
631
631
|
<div class="ttc" id="aclassSVF_1_1MTA_html_a4f2f17975aabd2c4b9a3b2fbf3b1a487"><div class="ttname"><a href="classSVF_1_1MTA.html#a4f2f17975aabd2c4b9a3b2fbf3b1a487">SVF::MTA::computeMHP</a></div><div class="ttdeci">virtual MHP * computeMHP(SVFModule *module)</div><div class="ttdoc">Compute MHP.</div><div class="ttdef"><b>Definition:</b> <a href="MTA_8cpp_source.html#l00120">MTA.cpp:120</a></div></div>
|
|
632
|
-
<div class="ttc" id="aSVFType_8h_html_ab6f41e9db3675dc689c5492418885041"><div class="ttname"><a href="SVFType_8h.html#ab6f41e9db3675dc689c5492418885041">DOTIMESTAT</a></div><div class="ttdeci">#define DOTIMESTAT(X)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
632
|
+
<div class="ttc" id="aSVFType_8h_html_ab6f41e9db3675dc689c5492418885041"><div class="ttname"><a href="SVFType_8h.html#ab6f41e9db3675dc689c5492418885041">DOTIMESTAT</a></div><div class="ttdeci">#define DOTIMESTAT(X)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00578">SVFType.h:578</a></div></div>
|
|
633
633
|
<div class="ttc" id="aclassSVF_1_1MTA_html_a80a44f3aa41d4259523c94044983c509"><div class="ttname"><a href="classSVF_1_1MTA.html#a80a44f3aa41d4259523c94044983c509">SVF::MTA::lsa</a></div><div class="ttdeci">LockAnalysis * lsa</div><div class="ttdef"><b>Definition:</b> <a href="MTA_8h_source.html#l00096">MTA.h:96</a></div></div>
|
|
634
634
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_ad6e18f520f6b559f2304002792f6b701"><div class="ttname"><a href="classSVF_1_1SVFIR.html#ad6e18f520f6b559f2304002792f6b701">SVF::SVFIR::getModule</a></div><div class="ttdeci">SVFModule * getModule()</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00160">SVFIR.h:160</a></div></div>
|
|
635
635
|
<div class="ttc" id="aclassSVF_1_1MTA_html_a0f4805f195ebd42d81127b1a79333c75"><div class="ttname"><a href="classSVF_1_1MTA.html#a0f4805f195ebd42d81127b1a79333c75">SVF::MTA::computeLocksets</a></div><div class="ttdeci">virtual LockAnalysis * computeLocksets(TCT *tct)</div><div class="ttdoc">Compute locksets.</div><div class="ttdef"><b>Definition:</b> <a href="MTA_8cpp_source.html#l00113">MTA.cpp:113</a></div></div>
|
|
@@ -640,7 +640,7 @@ Private Attributes</h2></td></tr>
|
|
|
640
640
|
<div class="ttc" id="aclassSVF_1_1PTACallGraph_html_a841be22581a7896d8924564e7199f62b"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a841be22581a7896d8924564e7199f62b">SVF::PTACallGraph::dump</a></div><div class="ttdeci">void dump(const std::string &filename)</div><div class="ttdoc">Dump the graph.</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8cpp_source.html#l00317">PTACallGraph.cpp:317</a></div></div>
|
|
641
641
|
<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a4880571f57542afc50da506dfe273183"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a4880571f57542afc50da506dfe273183">SVF::PointerAnalysis::printStat</a></div><div class="ttdeci">bool printStat()</div><div class="ttdoc">Whether print statistics.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00362">PointerAnalysis.h:362</a></div></div>
|
|
642
642
|
<div class="ttc" id="aclassSVF_1_1AndersenWaveDiff_html_a48ff6fc4badc79ad3204ae9bd95cc540"><div class="ttname"><a href="classSVF_1_1AndersenWaveDiff.html#a48ff6fc4badc79ad3204ae9bd95cc540">SVF::AndersenWaveDiff::createAndersenWaveDiff</a></div><div class="ttdeci">static AndersenWaveDiff * createAndersenWaveDiff(SVFIR *_pag)</div><div class="ttdoc">Create an singleton instance directly instead of invoking llvm pass manager.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00395">Andersen.h:395</a></div></div>
|
|
643
|
-
<div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
643
|
+
<div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00576">SVFType.h:576</a></div></div>
|
|
644
644
|
<div class="ttc" id="aclassSVF_1_1MTA_html_a957925a4ae00e48f77a58697853f3cc3"><div class="ttname"><a href="classSVF_1_1MTA.html#a957925a4ae00e48f77a58697853f3cc3">SVF::MTA::mhp</a></div><div class="ttdeci">MHP * mhp</div><div class="ttdef"><b>Definition:</b> <a href="MTA_8h_source.html#l00095">MTA.h:95</a></div></div>
|
|
645
645
|
<div class="ttc" id="aclassSVF_1_1LockAnalysis_html"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html">SVF::LockAnalysis</a></div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8h_source.html#l00044">LockAnalysis.h:44</a></div></div>
|
|
646
646
|
<div class="ttc" id="aclassSVF_1_1MTA_html_a3f5c5c6689491beb8edfa25c0ad871d9"><div class="ttname"><a href="classSVF_1_1MTA.html#a3f5c5c6689491beb8edfa25c0ad871d9">SVF::MTA::tct</a></div><div class="ttdeci">std::unique_ptr< TCT > tct</div><div class="ttdef"><b>Definition:</b> <a href="MTA_8h_source.html#l00093">MTA.h:93</a></div></div>
|