svf-tools 1.0.795 → 1.0.796
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 +167 -161
- package/SVF-doxygen/html/AccessPath_8h_source.html +51 -51
- 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 +1 -1
- package/SVF-doxygen/html/ContextDDA_8cpp_source.html +5 -5
- 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 +5 -5
- 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 +5 -5
- package/SVF-doxygen/html/ICFGBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/ICFG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/IRGraph_8cpp_source.html +2 -2
- package/SVF-doxygen/html/LLVMLoopAnalysis_8cpp_source.html +2 -2
- package/SVF-doxygen/html/LLVMModule_8cpp_source.html +10 -10
- package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +40 -27
- 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/MTAAnnotator_8cpp_source.html +2 -2
- package/SVF-doxygen/html/MTA_8cpp_source.html +5 -5
- package/SVF-doxygen/html/MemRegion_8cpp_source.html +7 -7
- package/SVF-doxygen/html/MemRegion_8h_source.html +1 -1
- package/SVF-doxygen/html/MemSSA_8cpp_source.html +4 -4
- package/SVF-doxygen/html/NodeIDAllocator_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 +6 -6
- package/SVF-doxygen/html/SVFFileSystem_8h_source.html +6 -6
- package/SVF-doxygen/html/SVFGBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SVFGOPT_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SVFGStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFG_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +3 -3
- package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +773 -777
- package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +20 -20
- package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +5 -5
- package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFStatements_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFStatements_8h_source.html +5 -5
- package/SVF-doxygen/html/SVFType_8cpp.html +2 -2
- package/SVF-doxygen/html/SVFType_8cpp_source.html +70 -61
- package/SVF-doxygen/html/SVFType_8h.html +23 -23
- package/SVF-doxygen/html/SVFType_8h_source.html +401 -378
- 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 +3 -3
- 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 +4 -4
- 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/VFG_8cpp_source.html +2 -2
- 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 +1 -1
- package/SVF-doxygen/html/classSVF_1_1AccessPath.html +167 -161
- 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 +1 -1
- package/SVF-doxygen/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +1 -1
- 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 +1 -1
- package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +1 -1
- 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_1ContextDDA.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1CopyStmt.html +1 -1
- 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 +5 -5
- package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +5 -5
- 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 +9 -10
- package/SVF-doxygen/html/classSVF_1_1GepValVar.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ICFG.html +1 -1
- 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 +10 -10
- package/SVF-doxygen/html/classSVF_1_1LeakChecker.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1LoadStmt.html +1 -1
- 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 +6 -6
- 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 +4 -4
- package/SVF-doxygen/html/classSVF_1_1MemSSAStat.html +1 -1
- 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_1PCG.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1PHIVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +1 -1
- 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 +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFArrayType-members.html +11 -7
- package/SVF-doxygen/html/classSVF_1_1SVFArrayType.html +65 -27
- package/SVF-doxygen/html/classSVF_1_1SVFFunction.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFFunctionType-members.html +30 -27
- package/SVF-doxygen/html/classSVF_1_1SVFFunctionType.html +28 -22
- package/SVF-doxygen/html/classSVF_1_1SVFG.html +2 -2
- 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_1SVFIR2ConsExeState.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +749 -769
- package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +6 -6
- package/SVF-doxygen/html/classSVF_1_1SVFIntegerType-members.html +30 -27
- package/SVF-doxygen/html/classSVF_1_1SVFIntegerType.html +32 -26
- package/SVF-doxygen/html/classSVF_1_1SVFOtherType-members.html +32 -29
- package/SVF-doxygen/html/classSVF_1_1SVFOtherType.html +33 -27
- package/SVF-doxygen/html/classSVF_1_1SVFPointerType-members.html +30 -27
- package/SVF-doxygen/html/classSVF_1_1SVFPointerType.html +28 -22
- package/SVF-doxygen/html/classSVF_1_1SVFStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFStructType-members.html +32 -29
- package/SVF-doxygen/html/classSVF_1_1SVFStructType.html +33 -27
- package/SVF-doxygen/html/classSVF_1_1SVFType-members.html +27 -24
- package/SVF-doxygen/html/classSVF_1_1SVFType.html +120 -23
- 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 +3 -3
- package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +1 -1
- 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 +1 -1
- package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +4 -4
- 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 +1 -1
- package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ThreadCallGraph.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1VFG.html +2 -2
- 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_a.html +1 -1
- package/SVF-doxygen/html/functions_c.html +1 -1
- package/SVF-doxygen/html/functions_func.html +1 -1
- package/SVF-doxygen/html/functions_func_c.html +1 -1
- package/SVF-doxygen/html/functions_func_g.html +24 -18
- package/SVF-doxygen/html/functions_func_i.html +17 -11
- package/SVF-doxygen/html/functions_g.html +25 -19
- package/SVF-doxygen/html/functions_i.html +16 -10
- package/SVF-doxygen/html/functions_p.html +19 -23
- package/SVF-doxygen/html/functions_r.html +5 -5
- package/SVF-doxygen/html/functions_s.html +14 -12
- package/SVF-doxygen/html/functions_t.html +7 -7
- package/SVF-doxygen/html/functions_v.html +3 -3
- package/SVF-doxygen/html/globals_func_t.html +3 -0
- package/SVF-doxygen/html/globals_t.html +3 -0
- package/SVF-doxygen/html/namespaceSVF.html +45 -36
- 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_1.js +1 -1
- package/SVF-doxygen/html/search/all_10.js +324 -324
- package/SVF-doxygen/html/search/all_11.js +224 -224
- package/SVF-doxygen/html/search/all_12.js +541 -541
- package/SVF-doxygen/html/search/all_13.js +191 -190
- package/SVF-doxygen/html/search/all_14.js +67 -67
- package/SVF-doxygen/html/search/all_15.js +170 -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_3.js +1 -1
- package/SVF-doxygen/html/search/all_7.js +457 -455
- package/SVF-doxygen/html/search/all_8.js +194 -194
- package/SVF-doxygen/html/search/all_9.js +610 -608
- 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 +359 -359
- 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 +276 -276
- package/SVF-doxygen/html/search/functions_13.js +59 -58
- 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 +851 -849
- package/SVF-doxygen/html/search/functions_8.js +146 -146
- package/SVF-doxygen/html/search/functions_9.js +428 -426
- 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 +35 -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 +42 -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 +15 -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 +46 -46
- 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 +37 -37
- 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 +39 -39
- 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_1Hash_3_01NodePair_01_4.html +11 -11
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1AccessPath_01_4.html +8 -8
- 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 +235 -125
- package/SVF-doxygen/html/svf-ex_8cpp_source.html +234 -144
- package/package.json +1 -1
- package/svf/include/AbstractExecution/SVFIR2ItvExeState.h +5 -5
- package/svf/include/MemoryModel/AccessPath.h +24 -6
- package/svf/include/SVFIR/SVFStatements.h +2 -2
- package/svf/include/SVFIR/SVFType.h +19 -0
- package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +16 -21
- package/svf/lib/MemoryModel/AccessPath.cpp +15 -14
- package/svf/lib/SVFIR/SVFType.cpp +7 -0
- package/svf-llvm/lib/LLVMUtil.cpp +10 -0
- package/svf-llvm/tools/Example/svf-ex.cpp +65 -0
|
@@ -245,7 +245,7 @@ var searchData=
|
|
|
245
245
|
['getbugset_2280',['getBugSet',['../classSVF_1_1SVFBugReport.html#a7dbf4adc013615567b33b6e293b61c8e',1,'SVF::SVFBugReport']]],
|
|
246
246
|
['getbugtype_2281',['getBugType',['../classSVF_1_1GenericBug.html#a693839b33e167cd0688be2e1738198f2',1,'SVF::GenericBug']]],
|
|
247
247
|
['getbvpointsto_2282',['getBVPointsTo',['../classSVF_1_1CondPTAImpl.html#a94f3e4d073b8c5bab3c46058ddba3f43',1,'SVF::CondPTAImpl']]],
|
|
248
|
-
['getbytefromgeptypepair_2283',['getBytefromGepTypePair',['../classSVF_1_1SVFIR2ItvExeState.html#
|
|
248
|
+
['getbytefromgeptypepair_2283',['getBytefromGepTypePair',['../classSVF_1_1SVFIR2ItvExeState.html#aab58bfb31793026bc54b8996371e90f4',1,'SVF::SVFIR2ItvExeState']]],
|
|
249
249
|
['getcachedadpointsto_2284',['getCachedADPointsTo',['../classSVF_1_1DDAVFSolver.html#a2a2b3783074c9f509fc265b97b979704',1,'SVF::DDAVFSolver']]],
|
|
250
250
|
['getcachedpointsto_2285',['getCachedPointsTo',['../classSVF_1_1DDAVFSolver.html#ae31e9281e4f1e0585fdf328b7339e1bf',1,'SVF::DDAVFSolver']]],
|
|
251
251
|
['getcachedtlpointsto_2286',['getCachedTLPointsTo',['../classSVF_1_1DDAVFSolver.html#aac432dfa7ccfc3434d9e0e2eb65afe7f',1,'SVF::DDAVFSolver::getCachedTLPointsTo()'],['../classSVF_1_1FlowDDA.html#a950d653b249cfc2d20932adb3498b99b',1,'SVF::FlowDDA::getCachedTLPointsTo()']]],
|
|
@@ -497,7 +497,7 @@ var searchData=
|
|
|
497
497
|
['getfuntoentrychisetmap_2532',['getFunToEntryChiSetMap',['../classSVF_1_1MemSSA.html#afd4787df4466c24948d8384e3a756198',1,'SVF::MemSSA']]],
|
|
498
498
|
['getfuntopointstolist_2533',['getFunToPointsToList',['../classSVF_1_1MRGenerator.html#a1331e6f0941838064d77a5adaa5c6303',1,'SVF::MRGenerator']]],
|
|
499
499
|
['getfuntoretmusetmap_2534',['getFunToRetMuSetMap',['../classSVF_1_1MemSSA.html#a44cbdb1231c2709c24d19ad2bae2475a',1,'SVF::MemSSA']]],
|
|
500
|
-
['getgepbyteoffset_2535',['getGepByteOffset',['../classSVF_1_1SVFIR2ItvExeState.html#
|
|
500
|
+
['getgepbyteoffset_2535',['getGepByteOffset',['../classSVF_1_1SVFIR2ItvExeState.html#ae7d4ea045ddf4d49230065ff3bf07f61',1,'SVF::SVFIR2ItvExeState']]],
|
|
501
501
|
['getgepinedges_2536',['getGepInEdges',['../classSVF_1_1ConstraintNode.html#ac645cf2114161981cd4465c83cbc31f5',1,'SVF::ConstraintNode']]],
|
|
502
502
|
['getgepobjaddress_2537',['getGepObjAddress',['../classSVF_1_1SVFIR2ConsExeState.html#afc9c3372eb142afdb3eb8956adf53c33',1,'SVF::SVFIR2ConsExeState::getGepObjAddress()'],['../classSVF_1_1SVFIR2ItvExeState.html#a67532bdc1e4a49cf4d9da4b99b38e69a',1,'SVF::SVFIR2ItvExeState::getGepObjAddress()']]],
|
|
503
503
|
['getgepobjnodemap_2538',['getGepObjNodeMap',['../classSVF_1_1SVFIR.html#ac1674bd25a17cae24141e6bff24a411e',1,'SVF::SVFIR']]],
|
|
@@ -585,457 +585,459 @@ var searchData=
|
|
|
585
585
|
['getlhstoplevptr_2620',['getLHSTopLevPtr',['../classSVF_1_1VFG.html#a1fff5a365e5aa2d99f07f7f64cc35fac',1,'SVF::VFG']]],
|
|
586
586
|
['getlhsvar_2621',['getLHSVar',['../classSVF_1_1AssignStmt.html#a973a2b79da223275ed6a1831837b89c7',1,'SVF::AssignStmt']]],
|
|
587
587
|
['getlhsvarid_2622',['getLHSVarID',['../classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840',1,'SVF::AssignStmt']]],
|
|
588
|
-
['
|
|
589
|
-
['
|
|
590
|
-
['
|
|
591
|
-
['
|
|
592
|
-
['
|
|
593
|
-
['
|
|
594
|
-
['
|
|
595
|
-
['
|
|
596
|
-
['
|
|
597
|
-
['
|
|
598
|
-
['
|
|
599
|
-
['
|
|
600
|
-
['
|
|
601
|
-
['
|
|
602
|
-
['
|
|
603
|
-
['
|
|
604
|
-
['
|
|
605
|
-
['
|
|
606
|
-
['
|
|
607
|
-
['
|
|
608
|
-
['
|
|
609
|
-
['
|
|
610
|
-
['
|
|
611
|
-
['
|
|
612
|
-
['
|
|
613
|
-
['
|
|
614
|
-
['
|
|
615
|
-
['
|
|
616
|
-
['
|
|
617
|
-
['
|
|
618
|
-
['
|
|
619
|
-
['
|
|
620
|
-
['
|
|
621
|
-
['
|
|
622
|
-
['
|
|
623
|
-
['
|
|
624
|
-
['
|
|
625
|
-
['
|
|
626
|
-
['
|
|
627
|
-
['
|
|
628
|
-
['
|
|
629
|
-
['
|
|
630
|
-
['
|
|
631
|
-
['
|
|
632
|
-
['
|
|
633
|
-
['
|
|
634
|
-
['
|
|
635
|
-
['
|
|
636
|
-
['
|
|
637
|
-
['
|
|
638
|
-
['
|
|
639
|
-
['
|
|
640
|
-
['
|
|
641
|
-
['
|
|
642
|
-
['
|
|
643
|
-
['
|
|
644
|
-
['
|
|
645
|
-
['
|
|
646
|
-
['
|
|
647
|
-
['
|
|
648
|
-
['
|
|
649
|
-
['
|
|
650
|
-
['
|
|
651
|
-
['
|
|
652
|
-
['
|
|
653
|
-
['
|
|
654
|
-
['
|
|
655
|
-
['
|
|
656
|
-
['
|
|
657
|
-
['
|
|
658
|
-
['
|
|
659
|
-
['
|
|
660
|
-
['
|
|
661
|
-
['
|
|
662
|
-
['
|
|
663
|
-
['
|
|
664
|
-
['
|
|
665
|
-
['
|
|
666
|
-
['
|
|
667
|
-
['
|
|
668
|
-
['
|
|
669
|
-
['
|
|
670
|
-
['
|
|
671
|
-
['
|
|
672
|
-
['
|
|
673
|
-
['
|
|
674
|
-
['
|
|
675
|
-
['
|
|
676
|
-
['
|
|
677
|
-
['
|
|
678
|
-
['
|
|
679
|
-
['
|
|
680
|
-
['
|
|
681
|
-
['
|
|
682
|
-
['
|
|
683
|
-
['
|
|
684
|
-
['
|
|
685
|
-
['
|
|
686
|
-
['
|
|
687
|
-
['
|
|
688
|
-
['
|
|
689
|
-
['
|
|
690
|
-
['
|
|
691
|
-
['
|
|
692
|
-
['
|
|
693
|
-
['
|
|
694
|
-
['
|
|
695
|
-
['
|
|
696
|
-
['
|
|
697
|
-
['
|
|
698
|
-
['
|
|
699
|
-
['
|
|
700
|
-
['
|
|
701
|
-
['
|
|
702
|
-
['
|
|
703
|
-
['
|
|
704
|
-
['
|
|
705
|
-
['
|
|
706
|
-
['
|
|
707
|
-
['
|
|
708
|
-
['
|
|
709
|
-
['
|
|
710
|
-
['
|
|
711
|
-
['
|
|
712
|
-
['
|
|
713
|
-
['
|
|
714
|
-
['
|
|
715
|
-
['
|
|
716
|
-
['
|
|
717
|
-
['
|
|
718
|
-
['
|
|
719
|
-
['
|
|
720
|
-
['
|
|
721
|
-
['
|
|
722
|
-
['
|
|
723
|
-
['
|
|
724
|
-
['
|
|
725
|
-
['
|
|
726
|
-
['
|
|
727
|
-
['
|
|
728
|
-
['
|
|
729
|
-
['
|
|
730
|
-
['
|
|
731
|
-
['
|
|
732
|
-
['
|
|
733
|
-
['
|
|
734
|
-
['
|
|
735
|
-
['
|
|
736
|
-
['
|
|
737
|
-
['
|
|
738
|
-
['
|
|
739
|
-
['
|
|
740
|
-
['
|
|
741
|
-
['
|
|
742
|
-
['
|
|
743
|
-
['
|
|
744
|
-
['
|
|
745
|
-
['
|
|
746
|
-
['
|
|
747
|
-
['
|
|
748
|
-
['
|
|
749
|
-
['
|
|
750
|
-
['
|
|
751
|
-
['
|
|
752
|
-
['
|
|
753
|
-
['
|
|
754
|
-
['
|
|
755
|
-
['
|
|
756
|
-
['
|
|
757
|
-
['
|
|
758
|
-
['
|
|
759
|
-
['
|
|
760
|
-
['
|
|
761
|
-
['
|
|
762
|
-
['
|
|
763
|
-
['
|
|
764
|
-
['
|
|
765
|
-
['
|
|
766
|
-
['
|
|
767
|
-
['
|
|
768
|
-
['
|
|
769
|
-
['
|
|
770
|
-
['
|
|
771
|
-
['
|
|
772
|
-
['
|
|
773
|
-
['
|
|
774
|
-
['
|
|
775
|
-
['
|
|
776
|
-
['
|
|
777
|
-
['
|
|
778
|
-
['
|
|
779
|
-
['
|
|
780
|
-
['
|
|
781
|
-
['
|
|
782
|
-
['
|
|
783
|
-
['
|
|
784
|
-
['
|
|
785
|
-
['
|
|
786
|
-
['
|
|
787
|
-
['
|
|
788
|
-
['
|
|
789
|
-
['
|
|
790
|
-
['
|
|
791
|
-
['
|
|
792
|
-
['
|
|
793
|
-
['
|
|
794
|
-
['
|
|
795
|
-
['
|
|
796
|
-
['
|
|
797
|
-
['
|
|
798
|
-
['
|
|
799
|
-
['
|
|
800
|
-
['
|
|
801
|
-
['
|
|
802
|
-
['
|
|
803
|
-
['
|
|
804
|
-
['
|
|
805
|
-
['
|
|
806
|
-
['
|
|
807
|
-
['
|
|
808
|
-
['
|
|
809
|
-
['
|
|
810
|
-
['
|
|
811
|
-
['
|
|
812
|
-
['
|
|
813
|
-
['
|
|
814
|
-
['
|
|
815
|
-
['
|
|
816
|
-
['
|
|
817
|
-
['
|
|
818
|
-
['
|
|
819
|
-
['
|
|
820
|
-
['
|
|
821
|
-
['
|
|
822
|
-
['
|
|
823
|
-
['
|
|
824
|
-
['
|
|
825
|
-
['
|
|
826
|
-
['
|
|
827
|
-
['
|
|
828
|
-
['
|
|
829
|
-
['
|
|
830
|
-
['
|
|
831
|
-
['
|
|
832
|
-
['
|
|
833
|
-
['
|
|
834
|
-
['
|
|
835
|
-
['
|
|
836
|
-
['
|
|
837
|
-
['
|
|
838
|
-
['
|
|
839
|
-
['
|
|
840
|
-
['
|
|
841
|
-
['
|
|
842
|
-
['
|
|
843
|
-
['
|
|
844
|
-
['
|
|
845
|
-
['
|
|
846
|
-
['
|
|
847
|
-
['
|
|
848
|
-
['
|
|
849
|
-
['
|
|
850
|
-
['
|
|
851
|
-
['
|
|
852
|
-
['
|
|
853
|
-
['
|
|
854
|
-
['
|
|
855
|
-
['
|
|
856
|
-
['
|
|
857
|
-
['
|
|
858
|
-
['
|
|
859
|
-
['
|
|
860
|
-
['
|
|
861
|
-
['
|
|
862
|
-
['
|
|
863
|
-
['
|
|
864
|
-
['
|
|
865
|
-
['
|
|
866
|
-
['
|
|
867
|
-
['
|
|
868
|
-
['
|
|
869
|
-
['
|
|
870
|
-
['
|
|
871
|
-
['
|
|
872
|
-
['
|
|
873
|
-
['
|
|
874
|
-
['
|
|
875
|
-
['
|
|
876
|
-
['
|
|
877
|
-
['
|
|
878
|
-
['
|
|
879
|
-
['
|
|
880
|
-
['
|
|
881
|
-
['
|
|
882
|
-
['
|
|
883
|
-
['
|
|
884
|
-
['
|
|
885
|
-
['
|
|
886
|
-
['
|
|
887
|
-
['
|
|
888
|
-
['
|
|
889
|
-
['
|
|
890
|
-
['
|
|
891
|
-
['
|
|
892
|
-
['
|
|
893
|
-
['
|
|
894
|
-
['
|
|
895
|
-
['
|
|
896
|
-
['
|
|
897
|
-
['
|
|
898
|
-
['
|
|
899
|
-
['
|
|
900
|
-
['
|
|
901
|
-
['
|
|
902
|
-
['
|
|
903
|
-
['
|
|
904
|
-
['
|
|
905
|
-
['
|
|
906
|
-
['
|
|
907
|
-
['
|
|
908
|
-
['
|
|
909
|
-
['
|
|
910
|
-
['
|
|
911
|
-
['
|
|
912
|
-
['
|
|
913
|
-
['
|
|
914
|
-
['
|
|
915
|
-
['
|
|
916
|
-
['
|
|
917
|
-
['
|
|
918
|
-
['
|
|
919
|
-
['
|
|
920
|
-
['
|
|
921
|
-
['
|
|
922
|
-
['
|
|
923
|
-
['
|
|
924
|
-
['
|
|
925
|
-
['
|
|
926
|
-
['
|
|
927
|
-
['
|
|
928
|
-
['
|
|
929
|
-
['
|
|
930
|
-
['
|
|
931
|
-
['
|
|
932
|
-
['
|
|
933
|
-
['
|
|
934
|
-
['
|
|
935
|
-
['
|
|
936
|
-
['
|
|
937
|
-
['
|
|
938
|
-
['
|
|
939
|
-
['
|
|
940
|
-
['
|
|
941
|
-
['
|
|
942
|
-
['
|
|
943
|
-
['
|
|
944
|
-
['
|
|
945
|
-
['
|
|
946
|
-
['
|
|
947
|
-
['
|
|
948
|
-
['
|
|
949
|
-
['
|
|
950
|
-
['
|
|
951
|
-
['
|
|
952
|
-
['
|
|
953
|
-
['
|
|
954
|
-
['
|
|
955
|
-
['
|
|
956
|
-
['
|
|
957
|
-
['
|
|
958
|
-
['
|
|
959
|
-
['
|
|
960
|
-
['
|
|
961
|
-
['
|
|
962
|
-
['
|
|
963
|
-
['
|
|
964
|
-
['
|
|
965
|
-
['
|
|
966
|
-
['
|
|
967
|
-
['
|
|
968
|
-
['
|
|
969
|
-
['
|
|
970
|
-
['
|
|
971
|
-
['
|
|
972
|
-
['
|
|
973
|
-
['
|
|
974
|
-
['
|
|
975
|
-
['
|
|
976
|
-
['
|
|
977
|
-
['
|
|
978
|
-
['
|
|
979
|
-
['
|
|
980
|
-
['
|
|
981
|
-
['
|
|
982
|
-
['
|
|
983
|
-
['
|
|
984
|
-
['
|
|
985
|
-
['
|
|
986
|
-
['
|
|
987
|
-
['
|
|
988
|
-
['
|
|
989
|
-
['
|
|
990
|
-
['
|
|
991
|
-
['
|
|
992
|
-
['
|
|
993
|
-
['
|
|
994
|
-
['
|
|
995
|
-
['
|
|
996
|
-
['
|
|
997
|
-
['
|
|
998
|
-
['
|
|
999
|
-
['
|
|
1000
|
-
['
|
|
1001
|
-
['
|
|
1002
|
-
['
|
|
1003
|
-
['
|
|
1004
|
-
['
|
|
1005
|
-
['
|
|
1006
|
-
['
|
|
1007
|
-
['
|
|
1008
|
-
['
|
|
1009
|
-
['
|
|
1010
|
-
['
|
|
1011
|
-
['
|
|
1012
|
-
['
|
|
1013
|
-
['
|
|
1014
|
-
['
|
|
1015
|
-
['
|
|
1016
|
-
['
|
|
1017
|
-
['
|
|
1018
|
-
['
|
|
1019
|
-
['
|
|
1020
|
-
['
|
|
1021
|
-
['
|
|
1022
|
-
['
|
|
1023
|
-
['
|
|
1024
|
-
['
|
|
1025
|
-
['
|
|
1026
|
-
['
|
|
1027
|
-
['
|
|
1028
|
-
['
|
|
1029
|
-
['
|
|
1030
|
-
['
|
|
1031
|
-
['
|
|
1032
|
-
['
|
|
1033
|
-
['
|
|
1034
|
-
['
|
|
1035
|
-
['
|
|
1036
|
-
['
|
|
1037
|
-
['
|
|
1038
|
-
['
|
|
1039
|
-
['
|
|
1040
|
-
['
|
|
588
|
+
['getllvmbytesize_2623',['getLLVMByteSize',['../classSVF_1_1SVFType.html#a0091b8b186ad359a1b54ac7e0ee1e5d0',1,'SVF::SVFType']]],
|
|
589
|
+
['getllvmcallsite_2624',['getLLVMCallSite',['../namespaceSVF_1_1LLVMUtil.html#a0095d23a9c9d5d62ec4a23c56824b5f0',1,'SVF::LLVMUtil']]],
|
|
590
|
+
['getllvmfunction_2625',['getLLVMFunction',['../namespaceSVF_1_1LLVMUtil.html#af629cd4994be83b34a3a38464783f54e',1,'SVF::LLVMUtil']]],
|
|
591
|
+
['getllvmglobalfunctions_2626',['getLLVMGlobalFunctions',['../classSVF_1_1LLVMModuleSet.html#a0b46a2a5ff2165d17993a071d9cc82c1',1,'SVF::LLVMModuleSet']]],
|
|
592
|
+
['getllvmmodules_2627',['getLLVMModules',['../classSVF_1_1LLVMModuleSet.html#a4091b12bdfe4423d8114612a199bc480',1,'SVF::LLVMModuleSet']]],
|
|
593
|
+
['getllvmmoduleset_2628',['getLLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160',1,'SVF::LLVMModuleSet']]],
|
|
594
|
+
['getllvmtype_2629',['getLLVMType',['../classSVF_1_1LLVMModuleSet.html#a610a7777a48132caadec167c8109f044',1,'SVF::LLVMModuleSet']]],
|
|
595
|
+
['getllvmvalue_2630',['getLLVMValue',['../classSVF_1_1LLVMModuleSet.html#aaf9b679407f12b93afc53c157d37b444',1,'SVF::LLVMModuleSet']]],
|
|
596
|
+
['getloadcgedges_2631',['getLoadCGEdges',['../classSVF_1_1ConstraintGraph.html#afb849d8f3425ff36497d062ecefd2cc1',1,'SVF::ConstraintGraph']]],
|
|
597
|
+
['getloadcvar_2632',['getLoadCVar',['../classSVF_1_1DDAVFSolver.html#ad42efad8e857290459689833c224e467',1,'SVF::DDAVFSolver']]],
|
|
598
|
+
['getloaddpm_2633',['getLoadDpm',['../classSVF_1_1DDAVFSolver.html#a630aad14a285c954a50c632f9cb13fa9',1,'SVF::DDAVFSolver']]],
|
|
599
|
+
['getloadinedges_2634',['getLoadInEdges',['../classSVF_1_1ConstraintNode.html#abd8d146e9b30b6d9757021a84bcab158',1,'SVF::ConstraintNode']]],
|
|
600
|
+
['getloadmrset_2635',['getLoadMRSet',['../classSVF_1_1MRGenerator.html#a19da5768681a21c52a6c43761814a157',1,'SVF::MRGenerator']]],
|
|
601
|
+
['getloadmunum_2636',['getLoadMuNum',['../classSVF_1_1MemSSA.html#aafc83f7f22ebf3b3683607440c488bef',1,'SVF::MemSSA']]],
|
|
602
|
+
['getloadoperand_2637',['getLoadOperand',['../classSVF_1_1MTAAnnotator.html#a399e53d065bc34af428a1ba89a04972b',1,'SVF::MTAAnnotator']]],
|
|
603
|
+
['getloadoutedges_2638',['getLoadOutEdges',['../classSVF_1_1ConstraintNode.html#a59ab1cea514100c63ee179e3e9a5aa0a',1,'SVF::ConstraintNode']]],
|
|
604
|
+
['getloadstmt_2639',['getLoadStmt',['../classSVF_1_1LoadMU.html#ab1533c4c25427a6acc1be6f867f3c882',1,'SVF::LoadMU']]],
|
|
605
|
+
['getloadtomusetmap_2640',['getLoadToMUSetMap',['../classSVF_1_1MemSSA.html#a70dd35ef458c452330dfebcdde17b84c',1,'SVF::MemSSA']]],
|
|
606
|
+
['getloc_2641',['getLoc',['../classSVF_1_1StmtDPItem.html#a3616c94c4394b61c757ffcd39888d5b9',1,'SVF::StmtDPItem::getLoc()'],['../classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20',1,'SVF::GenericBug::getLoc()']]],
|
|
607
|
+
['getlockanalysis_2642',['getLockAnalysis',['../classSVF_1_1MTA.html#a76ea96c430365132011f1a4edf0d5570',1,'SVF::MTA']]],
|
|
608
|
+
['getlockspan_2643',['getLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a4e6207b3b64a60993e1e02f6ef125452',1,'SVF::SVFGNodeLockSpan']]],
|
|
609
|
+
['getlockval_2644',['getLockVal',['../classSVF_1_1LockAnalysis.html#aa3c4548e8f8e47cd716081bda2574ff3',1,'SVF::LockAnalysis::getLockVal()'],['../classSVF_1_1ThreadAPI.html#a758955bf256ab9c16fb9f17e23cc25e0',1,'SVF::ThreadAPI::getLockVal(const SVFInstruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a3b81d6d51c286adf406d7597f9d51edc',1,'SVF::ThreadAPI::getLockVal(CallSite cs) const']]],
|
|
610
|
+
['getloctodpmvecmap_2645',['getLocToDPMVecMap',['../classSVF_1_1DDAVFSolver.html#ad849ae4509e88832f784c748468ab959',1,'SVF::DDAVFSolver']]],
|
|
611
|
+
['getloctoitv_2646',['getLocToItv',['../classSVF_1_1IntervalExeState.html#a653efb144c1f508a91142540b9023de3',1,'SVF::IntervalExeState']]],
|
|
612
|
+
['getloctovaddrs_2647',['getLocToVAddrs',['../classSVF_1_1ExeState.html#afcb9e71dc8686d5c125d63596bd4f442',1,'SVF::ExeState']]],
|
|
613
|
+
['getloctoval_2648',['getLocToVal',['../classSVF_1_1ConsExeState.html#adf45b2d4b73220e80a1265f4e1b1ee35',1,'SVF::ConsExeState::getLocToVal()'],['../classSVF_1_1IntervalExeState.html#ae0d4b22023ce63327f55484cffb051cf',1,'SVF::IntervalExeState::getLocToVal()'],['../classSVF_1_1RelExeState.html#a3eb51c26ae9c87e1457d6515e6d537f9',1,'SVF::RelExeState::getLocToVal()']]],
|
|
614
|
+
['getlocvaddrs_2649',['getLocVAddrs',['../classSVF_1_1IntervalExeState.html#aea4e2221b11824ac6b37667ac0bf25f3',1,'SVF::IntervalExeState']]],
|
|
615
|
+
['getloop_2650',['getLoop',['../classSVF_1_1TCT.html#a35f0fd73e0d752a426284eb4406ecca2',1,'SVF::TCT::getLoop(const SVFInstruction *inst)'],['../classSVF_1_1TCT.html#af227b820ee93765e6b5c9eb9aad30c91',1,'SVF::TCT::getLoop(const SVFBasicBlock *bb)']]],
|
|
616
|
+
['getloopanddominfo_2651',['getLoopAndDomInfo',['../classSVF_1_1SVFFunction.html#a5798ecc742ee74e357d13eea751258c4',1,'SVF::SVFFunction']]],
|
|
617
|
+
['getloopbound_2652',['getLoopBound',['../classSVF_1_1SVFLoop.html#ae772c9aab10b88d3c53cdf2cdb23d713',1,'SVF::SVFLoop']]],
|
|
618
|
+
['getloopheader_2653',['getLoopHeader',['../classSVF_1_1SVFLoopAndDomInfo.html#ac29e502080635ed47b72d471b48b5a8d',1,'SVF::SVFLoopAndDomInfo::getLoopHeader()'],['../classSVF_1_1SVFFunction.html#a767f18ea3a573aafc46b17aabcdc0c8b',1,'SVF::SVFFunction::getLoopHeader()']]],
|
|
619
|
+
['getloopinfo_2654',['getLoopInfo',['../classSVF_1_1SVFLoopAndDomInfo.html#a0fb893485fc3df088d921762514faf66',1,'SVF::SVFLoopAndDomInfo::getLoopInfo()'],['../classSVF_1_1SVFFunction.html#af45eeeae0d73ec53f4fa44e5e1222942',1,'SVF::SVFFunction::getLoopInfo()']]],
|
|
620
|
+
['getmainllvmmodule_2655',['getMainLLVMModule',['../classSVF_1_1LLVMModuleSet.html#a9fe3fa15a6a0ec25864cb8439a45596e',1,'SVF::LLVMModuleSet']]],
|
|
621
|
+
['getmakredprocs_2656',['getMakredProcs',['../classSVF_1_1TCT.html#a54cceb577b4fb89c1d84011ec4d2fe2c',1,'SVF::TCT']]],
|
|
622
|
+
['getmarkedflag_2657',['getMarkedFlag',['../classSVF_1_1ForkJoinAnalysis.html#a149114898b13e1430c8fbb60978ca4f5',1,'SVF::ForkJoinAnalysis']]],
|
|
623
|
+
['getmaxbudget_2658',['getMaxBudget',['../classSVF_1_1DPItem.html#af9d8f95249190e164131dc19b6db1b67',1,'SVF::DPItem']]],
|
|
624
|
+
['getmaxcxtsize_2659',['getMaxCxtSize',['../classSVF_1_1TCT.html#a49f0672760c29b9be7b6f99a4c82ab7e',1,'SVF::TCT']]],
|
|
625
|
+
['getmaxfieldoffsetlimit_2660',['getMaxFieldOffsetLimit',['../classSVF_1_1MemObj.html#a51be7ad70bc2c6a4230bd2f6b86bdc88',1,'SVF::MemObj::getMaxFieldOffsetLimit()'],['../classSVF_1_1ObjTypeInfo.html#a81bc3d785062c7e527ecf8e564cd52a4',1,'SVF::ObjTypeInfo::getMaxFieldOffsetLimit()']]],
|
|
626
|
+
['getmaxpathlen_2661',['getMaxPathLen',['../classSVF_1_1ContextCond.html#a935415951bfc6f5089663980bf8e324d',1,'SVF::ContextCond']]],
|
|
627
|
+
['getmaxstructsize_2662',['getMaxStructSize',['../classSVF_1_1SymbolTableInfo.html#abc7e567209010286a68634c700d76cca',1,'SVF::SymbolTableInfo']]],
|
|
628
|
+
['getmemobj_2663',['getMemObj',['../classSVF_1_1IRGraph.html#ad5a06a57d64c54ec6e7e92b7e0acfad8',1,'SVF::IRGraph::getMemObj()'],['../classSVF_1_1ObjVar.html#a6a4feb73b54e602407e35eeb09f55930',1,'SVF::ObjVar::getMemObj()']]],
|
|
629
|
+
['getmemobjptr_2664',['getMemObjPtr',['../classSVF_1_1SymbolTableInfoReader.html#ae2d05807978b81bf9d439e676875c1e1',1,'SVF::SymbolTableInfoReader']]],
|
|
630
|
+
['getmemoryusagekb_2665',['getMemoryUsageKB',['../namespaceSVF_1_1SVFUtil.html#a630ff9c47f58f9b8df7c8a2b3711477c',1,'SVF::SVFUtil']]],
|
|
631
|
+
['getmemtofieldsmap_2666',['getMemToFieldsMap',['../classSVF_1_1SVFIR.html#a6f46446d667258b32ddc1ccab48f651c',1,'SVF::SVFIR']]],
|
|
632
|
+
['getmemusage_2667',['getMemUsage',['../classSVF_1_1SaberCondAllocator.html#ac0060d6660cb022e599dbcb9eabc5aaa',1,'SVF::SaberCondAllocator']]],
|
|
633
|
+
['getmhp_2668',['getMHP',['../classSVF_1_1FSMPTA.html#a2d0cfa271848bc9a20fda25f12b2a4f2',1,'SVF::FSMPTA::getMHP()'],['../classSVF_1_1MTA.html#a8cfcfb26e22cc40260f6df6d50701bdb',1,'SVF::MTA::getMHP()']]],
|
|
634
|
+
['getmhpfunctions_2669',['getMHPFunctions',['../classSVF_1_1PCG.html#a3106e03b7df8b34f50c769e1417f341c',1,'SVF::PCG']]],
|
|
635
|
+
['getmntent_2670',['getmntent',['../extapi_8c.html#a97efc429c3b2da31963e723f0f6956c9',1,'extapi.c']]],
|
|
636
|
+
['getmntent_5fr_2671',['getmntent_r',['../extapi_8c.html#a0467c34eaa7dd0434c17762177dd08bf',1,'extapi.c']]],
|
|
637
|
+
['getmodelconstants_2672',['getModelConstants',['../classSVF_1_1SymbolTableInfo.html#a89e9c6da843e5eef25c51afd5d0937e5',1,'SVF::SymbolTableInfo']]],
|
|
638
|
+
['getmodinfoforcall_2673',['getModInfoForCall',['../classSVF_1_1MRGenerator.html#ae487d7b800d7536b578095c9f140ac80',1,'SVF::MRGenerator']]],
|
|
639
|
+
['getmodrefinfo_2674',['getModRefInfo',['../classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702',1,'SVF::MRGenerator::getModRefInfo(const CallICFGNode *cs)'],['../classSVF_1_1MRGenerator.html#a3604b6e29860be15ea5b5dc028b84af8',1,'SVF::MRGenerator::getModRefInfo(const CallICFGNode *cs, const SVFValue *V)'],['../classSVF_1_1MRGenerator.html#a7e1c258e120d89d7b9d6e414f91c6e4a',1,'SVF::MRGenerator::getModRefInfo(const CallICFGNode *cs1, const CallICFGNode *cs2)'],['../classSVF_1_1WPAPass.html#a2e9bdaf8789eed5af34cc70e7eb0ba01',1,'SVF::WPAPass::getModRefInfo(const CallSite callInst)'],['../classSVF_1_1WPAPass.html#af402037fa1a5cffee0db9b97f49d3473',1,'SVF::WPAPass::getModRefInfo(const CallSite callInst, const SVFValue *V)'],['../classSVF_1_1WPAPass.html#a081be672a9fc1b1fd93f00d390b8fc95',1,'SVF::WPAPass::getModRefInfo(const CallSite callInst1, const CallSite callInst2)']]],
|
|
640
|
+
['getmodsideeffectofcallsite_2675',['getModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a1535832f5b1ae3178fea950bf71fdd99',1,'SVF::MRGenerator']]],
|
|
641
|
+
['getmodsideeffectoffunction_2676',['getModSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a7d47fbc3dbe8fd19ca5e4210bdecf914',1,'SVF::MRGenerator']]],
|
|
642
|
+
['getmodule_2677',['getModule',['../classSVF_1_1LLVMModuleSet.html#a8afb7ab3ee4632e78d546e549110e74c',1,'SVF::LLVMModuleSet::getModule()'],['../classSVF_1_1LockResultValidator.html#a7b8a2bf9962bd57e103039ead85821d2',1,'SVF::LockResultValidator::getModule()'],['../classSVF_1_1MTAResultValidator.html#aecaf875c6c88f7ba6fa45540e8436f57',1,'SVF::MTAResultValidator::getModule()'],['../classSVF_1_1DDAClient.html#ad9484fac56de8beaf120b1611d23dddc',1,'SVF::DDAClient::getModule()'],['../classSVF_1_1PointerAnalysis.html#ad8b71cebf46deaf60e2cd4f6d6bb9433',1,'SVF::PointerAnalysis::getModule()'],['../classSVF_1_1MTAResultValidator.html#aecaf875c6c88f7ba6fa45540e8436f57',1,'SVF::MTAResultValidator::getModule()'],['../classSVF_1_1SVFIR.html#ad6e18f520f6b559f2304002792f6b701',1,'SVF::SVFIR::getModule()'],['../classSVF_1_1SymbolTableInfo.html#a40387a4893ae5caf58d6f786533d2f44',1,'SVF::SymbolTableInfo::getModule()']]],
|
|
643
|
+
['getmoduleidentifier_2678',['getModuleIdentifier',['../classSVF_1_1SVFModule.html#aa8bab1ad6cab332fe24066b9cf487344',1,'SVF::SVFModule']]],
|
|
644
|
+
['getmodulenum_2679',['getModuleNum',['../classSVF_1_1LLVMModuleSet.html#ae265a7f3cc7367d62013e0f15cf3d233',1,'SVF::LLVMModuleSet']]],
|
|
645
|
+
['getmoduleref_2680',['getModuleRef',['../classSVF_1_1LLVMModuleSet.html#ad647d73d2e1bda61348eff658e32f481',1,'SVF::LLVMModuleSet']]],
|
|
646
|
+
['getmodulusoffset_2681',['getModulusOffset',['../classSVF_1_1SymbolTableInfo.html#a54418613d6492e80f644f3db86abc9ad',1,'SVF::SymbolTableInfo']]],
|
|
647
|
+
['getmr_2682',['getMR',['../classSVF_1_1MRGenerator.html#a55d38020bbece70847f7e72bb02bc4af',1,'SVF::MRGenerator::getMR()'],['../classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825',1,'SVF::MRVer::getMR()'],['../classSVF_1_1MSSAMU.html#a6bd671839ec0376439ccd81d5b2eff30',1,'SVF::MSSAMU::getMR()'],['../classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c',1,'SVF::MSSADEF::getMR()']]],
|
|
648
|
+
['getmrgenerator_2683',['getMRGenerator',['../classSVF_1_1MemSSA.html#ab2dfdcf6fb50ba6cacad1254350a5b09',1,'SVF::MemSSA']]],
|
|
649
|
+
['getmrid_2684',['getMRID',['../classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802',1,'SVF::MemRegion']]],
|
|
650
|
+
['getmrnum_2685',['getMRNum',['../classSVF_1_1MRGenerator.html#aff53860ef2b0effb9250dc7348640085',1,'SVF::MRGenerator']]],
|
|
651
|
+
['getmrset_2686',['getMRSet',['../classSVF_1_1MRGenerator.html#a1f69924c587c4e68a029fd4e86cffacf',1,'SVF::MRGenerator']]],
|
|
652
|
+
['getmrsforcallsiteref_2687',['getMRsForCallSiteRef',['../classSVF_1_1DistinctMRG.html#a74c36d4c98b95c2d40c9970e5f6aecc1',1,'SVF::DistinctMRG::getMRsForCallSiteRef()'],['../classSVF_1_1IntraDisjointMRG.html#a89ca36aaf82f17963abaa67c88415272',1,'SVF::IntraDisjointMRG::getMRsForCallSiteRef()'],['../classSVF_1_1MRGenerator.html#a02c60ceb7c9c37bcf83c739aa4083acc',1,'SVF::MRGenerator::getMRsForCallSiteRef()']]],
|
|
653
|
+
['getmrsforload_2688',['getMRsForLoad',['../classSVF_1_1DistinctMRG.html#a1a4fa7e9fb42a59fac2104b208a1e66b',1,'SVF::DistinctMRG::getMRsForLoad()'],['../classSVF_1_1IntraDisjointMRG.html#ae577d4d6f3a6e6fb62f6eff49ca6be88',1,'SVF::IntraDisjointMRG::getMRsForLoad()'],['../classSVF_1_1InterDisjointMRG.html#ae7846579fc473ae5eb6c9a8fac712d9a',1,'SVF::InterDisjointMRG::getMRsForLoad()'],['../classSVF_1_1MRGenerator.html#abe8d6217250d227e743e4b581497aae8',1,'SVF::MRGenerator::getMRsForLoad()']]],
|
|
654
|
+
['getmrsforloadfrominterlist_2689',['getMRsForLoadFromInterList',['../classSVF_1_1IntraDisjointMRG.html#a8d390306f30e8b9736a3d1228ef5bf3a',1,'SVF::IntraDisjointMRG']]],
|
|
655
|
+
['getmrver_2690',['getMRVer',['../classSVF_1_1FormalINSVFGNode.html#a07e23637c89164add5fc3ea52b250735',1,'SVF::FormalINSVFGNode::getMRVer()'],['../classSVF_1_1FormalOUTSVFGNode.html#ad2e841a18b777220c2b13f38289d6168',1,'SVF::FormalOUTSVFGNode::getMRVer()'],['../classSVF_1_1ActualINSVFGNode.html#aa92b36228a6f42496984cfea32f3415c',1,'SVF::ActualINSVFGNode::getMRVer()'],['../classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5',1,'SVF::ActualOUTSVFGNode::getMRVer()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a9d4b2b8d343796bb465cc5a138eb3f18',1,'SVF::IntraMSSAPHISVFGNode::getMRVer()'],['../classSVF_1_1MSSAMU.html#ad120dfc87b90b26649bcd8d0c0d3ca80',1,'SVF::MSSAMU::getMRVer()']]],
|
|
656
|
+
['getmrverfromstring_2691',['getMRVERFromString',['../classSVF_1_1SVFG.html#a910298ed854a6b88b9dae44181ca72de',1,'SVF::SVFG']]],
|
|
657
|
+
['getmssa_2692',['getMSSA',['../classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9',1,'SVF::SVFG']]],
|
|
658
|
+
['getmuset_2693',['getMUSet',['../classSVF_1_1MemSSA.html#af4d11a0c7da0ddd7dff8d75a00279847',1,'SVF::MemSSA::getMUSet(const LoadStmt *ld)'],['../classSVF_1_1MemSSA.html#af1a7b3ca0144ebff3747715e89646fbb',1,'SVF::MemSSA::getMUSet(const CallICFGNode *cs)']]],
|
|
659
|
+
['getmutdfptdataty_2694',['getMutDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#acbb979edee9427efa2a7c0dbd881c483',1,'SVF::BVDataPTAImpl']]],
|
|
660
|
+
['getmutptdataty_2695',['getMutPTDataTy',['../classSVF_1_1CondPTAImpl.html#ab582d46731c06a7fa022bf301d6008c1',1,'SVF::CondPTAImpl']]],
|
|
661
|
+
['getname_2696',['getName',['../classSVF_1_1DCHNode.html#a089af6085dec833b58133a9e834dab54',1,'SVF::DCHNode::getName()'],['../classSVF_1_1CFBasicBlockNode.html#a4ed32455eaafc3bd1a06ed9b417b329d',1,'SVF::CFBasicBlockNode::getName()'],['../classSVF_1_1CHNode.html#af6e71c1a932464b1b615fc177f5af089',1,'SVF::CHNode::getName()'],['../classSVF_1_1SVFStructType.html#acf9690a279fb50ff2ac635fbad617da8',1,'SVF::SVFStructType::getName()'],['../classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e',1,'SVF::SVFValue::getName()']]],
|
|
662
|
+
['getnextcollapsenode_2697',['getNextCollapseNode',['../classSVF_1_1ConstraintGraph.html#a006667ed55132ca0909c0e9118fea704',1,'SVF::ConstraintGraph']]],
|
|
663
|
+
['getnextinsts_2698',['getNextInsts',['../namespaceSVF_1_1LLVMUtil.html#afbd60d5443c7fa1448813d00bb5d0fa7',1,'SVF::LLVMUtil::getNextInsts(const Instruction *curInst, std::vector< const SVFInstruction * > &instList)'],['../namespaceSVF_1_1LLVMUtil.html#a7fa1f910598426330f08da19e9efdfa3',1,'SVF::LLVMUtil::getNextInsts(const Instruction *curInst, std::vector< const Instruction * > &instList)']]],
|
|
664
|
+
['getnode_2699',['getNode',['../classSVF_1_1DCHGraph.html#a96c68bbb5ee5e939158ce0b67da2c61d',1,'SVF::DCHGraph::getNode()'],['../classSVF_1_1CHGraph.html#a7beec68a60036c93a741a7152e8198b6',1,'SVF::CHGraph::getNode()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#aeefa37ea906724788126edfb45a80564',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >::getNode()'],['../classSVF_1_1SrcSnkSolver.html#a18008d5496010aa5f54aade230bd64ff',1,'SVF::SrcSnkSolver::getNode()'],['../classSVF_1_1GraphReachSolver.html#a0b7f0923105dfb198a2a8428d6c1ca98',1,'SVF::GraphReachSolver::getNode()']]],
|
|
665
|
+
['getnode_5fh_2700',['getNode_h',['../classSVF_1_1POCRHybridSolver.html#a6a1bf7bbf1b28aa762af4b51bff10afb',1,'SVF::POCRHybridSolver']]],
|
|
666
|
+
['getnodeattributes_2701',['getNodeAttributes',['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html#a6a127e760a76f581b57edcdbe607eab6',1,'SVF::DOTGraphTraits< SVF::CDG * >::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a97e3cbb530c0b4c0dcb9aa0de9406ed3',1,'SVF::DOTGraphTraits< SVF::CFBasicBlockGraph * >::getNodeAttributes()'],['../structSVF_1_1DefaultDOTGraphTraits.html#a3438f5f1ed763f2f7818535f212ff43b',1,'SVF::DefaultDOTGraphTraits::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a35499a5e7010339f4333cead3b2c4cfc',1,'SVF::DOTGraphTraits< CFLGraph * >::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a8109531ce97bb08828b06f2203c3b347',1,'SVF::DOTGraphTraits< CHGraph * >::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a646cb350726d62532cda229aaf6af9cc',1,'SVF::DOTGraphTraits< ConstraintGraph * >::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#ada6dd55df689908741823e8e3a3cf289',1,'SVF::DOTGraphTraits< ICFG * >::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a3f073b3b89256914a1582dabebd308e9',1,'SVF::DOTGraphTraits< IRGraph * >::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#ab35af67d234b32aeb2bed4336058cb57',1,'SVF::DOTGraphTraits< PTACallGraph * >::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ad851a3820df828f0598046e0c953330c',1,'SVF::DOTGraphTraits< SVFG * >::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a58fa641de3db32b97edcb60a64004270',1,'SVF::DOTGraphTraits< VFG * >::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a61074356d304d9f1e4a2b9870f6e0fcd',1,'SVF::DOTGraphTraits< TCT * >::getNodeAttributes()']]],
|
|
667
|
+
['getnodedescription_2702',['getNodeDescription',['../structSVF_1_1DefaultDOTGraphTraits.html#af5800f2d8efa24fee85f03871c07df21',1,'SVF::DefaultDOTGraphTraits']]],
|
|
668
|
+
['getnodeid_2703',['getNodeID',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html#ae620329c06aec6369ed5403900705728',1,'SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >::getNodeID()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a0157251724c0ccab190f1199899df717',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >::getNodeID()']]],
|
|
669
|
+
['getnodeidentifierlabel_2704',['getNodeIdentifierLabel',['../structSVF_1_1DefaultDOTGraphTraits.html#a0f81b82658f62589ec429c601538f6e9',1,'SVF::DefaultDOTGraphTraits']]],
|
|
670
|
+
['getnodeidfromitem_2705',['getNodeIDFromItem',['../classSVF_1_1SrcSnkSolver.html#ab37d80b1c7a1ebfa0e19c70792c5129e',1,'SVF::SrcSnkSolver::getNodeIDFromItem()'],['../classSVF_1_1GraphReachSolver.html#a84f39b3234ddf8198c793ff8c5d59cdf',1,'SVF::GraphReachSolver::getNodeIDFromItem()']]],
|
|
671
|
+
['getnodekind_2706',['getNodeKind',['../classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e',1,'SVF::GenericNode']]],
|
|
672
|
+
['getnodelabel_2707',['getNodeLabel',['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html#a23e6aa55ef0b0e4ca3573c2bf0185dcf',1,'SVF::DOTGraphTraits< SVF::CDG * >::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a120207fca1bca1b08817bdec4ff39610',1,'SVF::DOTGraphTraits< SVF::CFBasicBlockGraph * >::getNodeLabel()'],['../structSVF_1_1DefaultDOTGraphTraits.html#a07487bbf691110420c680250994a6eba',1,'SVF::DefaultDOTGraphTraits::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a6aef2b3f8e4e6f843724613ad7100932',1,'SVF::DOTGraphTraits< CFLGraph * >::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a18f64ddaaa6da45e247ee44ad03cac3d',1,'SVF::DOTGraphTraits< CHGraph * >::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a9e45113303655dd4b3951f975cc7790f',1,'SVF::DOTGraphTraits< ConstraintGraph * >::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a04de29b725e362137f9469850cf24eed',1,'SVF::DOTGraphTraits< ICFG * >::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a32b24e38559d65b4aaf0473cbda94038',1,'SVF::DOTGraphTraits< IRGraph * >::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a7b17561e1c7aa483611ec69293a86595',1,'SVF::DOTGraphTraits< PTACallGraph * >::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a408191812417e4cf67c63197498e8bff',1,'SVF::DOTGraphTraits< SVFG * >::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#ab891ea12cf363b28d15cc6cbbc6ca205',1,'SVF::DOTGraphTraits< VFG * >::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#ab0babde1e6a0d3a96149236c19bea756',1,'SVF::DOTGraphTraits< TCT * >::getNodeLabel()']]],
|
|
673
|
+
['getnodemapping_2708',['getNodeMapping',['../classSVF_1_1PointsTo.html#a5fd783872908d85e9192f4348ac0b493',1,'SVF::PointsTo']]],
|
|
674
|
+
['getnodenumafterpagbuild_2709',['getNodeNumAfterPAGBuild',['../classSVF_1_1IRGraph.html#a0a18bca50f7cd3a1882754f19303d257',1,'SVF::IRGraph']]],
|
|
675
|
+
['getnodeptr_2710',['getNodePtr',['../classSVF_1_1GenericGraphReader.html#ab09fa674af96a107ac14306eae021381',1,'SVF::GenericGraphReader']]],
|
|
676
|
+
['getnonterminals_2711',['getNonterminals',['../classSVF_1_1GrammarBase.html#a04140ef06feee613506529fd8c23665e',1,'SVF::GrammarBase']]],
|
|
677
|
+
['getnullptr_2712',['getNullPtr',['../classSVF_1_1IRGraph.html#a3de9a2a565c303f68a90c32dc59febd5',1,'SVF::IRGraph']]],
|
|
678
|
+
['getnumargoperands_2713',['getNumArgOperands',['../classSVF_1_1SVFCallInst.html#ab8ea07e329ce09b1874d482465724121',1,'SVF::SVFCallInst::getNumArgOperands()'],['../classSVF_1_1CallSite.html#a6b7a7e6da24425a3b15aa1803c673288',1,'SVF::CallSite::getNumArgOperands()']]],
|
|
679
|
+
['getnumber_2714',['getNumber',['../classSVF_1_1ConsExeState.html#a3efeeb8311b868c4a7fc2df69f061317',1,'SVF::ConsExeState']]],
|
|
680
|
+
['getnumeral_2715',['getNumeral',['../classSVF_1_1BoundedZ3Expr.html#af62c2d6bc40080b9728c107cf317184b',1,'SVF::BoundedZ3Expr::getNumeral()'],['../classSVF_1_1IntervalValue.html#ae081b5c462f8ed5b306719822e35cea9',1,'SVF::IntervalValue::getNumeral()'],['../classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576',1,'SVF::NumericLiteral::getNumeral()']]],
|
|
681
|
+
['getnumfields_2716',['getNumFields',['../classSVF_1_1DCHGraph.html#a0788694fbff155949fc4f4d6487c223e',1,'SVF::DCHGraph']]],
|
|
682
|
+
['getnumobjects_2717',['getNumObjects',['../classSVF_1_1NodeIDAllocator.html#ad63e43c65cb7d7cac7824f5cede5ec89',1,'SVF::NodeIDAllocator']]],
|
|
683
|
+
['getnumofcxtlocks_2718',['getNumOfCxtLocks',['../classSVF_1_1LockAnalysis.html#a3df63f936d488166109d73bdcf0437d5',1,'SVF::LockAnalysis']]],
|
|
684
|
+
['getnumofelements_2719',['getNumOfElements',['../classSVF_1_1MemObj.html#aa14b59ba9e14140bf158f3c4ebef9fa5',1,'SVF::MemObj::getNumOfElements()'],['../classSVF_1_1ObjTypeInfo.html#a9329740d5db9212c69ed28ca6410559e',1,'SVF::ObjTypeInfo::getNumOfElements()']]],
|
|
685
|
+
['getnumofflattenelements_2720',['getNumOfFlattenElements',['../classSVF_1_1SymbolTableBuilder.html#a603cf580467b32df5fad94ade3287b0f',1,'SVF::SymbolTableBuilder::getNumOfFlattenElements()'],['../classSVF_1_1StInfo.html#a518c82138fcadc6634980566c1c0f762',1,'SVF::StInfo::getNumOfFlattenElements()'],['../classSVF_1_1SymbolTableInfo.html#a811a3489df0f793c7a5482d31d470a4c',1,'SVF::SymbolTableInfo::getNumOfFlattenElements()']]],
|
|
686
|
+
['getnumofflattenfields_2721',['getNumOfFlattenFields',['../classSVF_1_1StInfo.html#ae5fad367673315da57a604e64b5889f0',1,'SVF::StInfo']]],
|
|
687
|
+
['getnumofforksite_2722',['getNumOfForksite',['../classSVF_1_1ThreadCallGraph.html#aa847760765aae18bcb93b260a881441b',1,'SVF::ThreadCallGraph']]],
|
|
688
|
+
['getnumofjoinsite_2723',['getNumOfJoinsite',['../classSVF_1_1ThreadCallGraph.html#a733bf08c7a496435ad09a41e6b0343ff',1,'SVF::ThreadCallGraph']]],
|
|
689
|
+
['getnumofoobquery_2724',['getNumOfOOBQuery',['../classSVF_1_1DDAStat.html#ab508281a78749ec5d7b5dc8231a4be11',1,'SVF::DDAStat']]],
|
|
690
|
+
['getnumofparforsite_2725',['getNumOfParForSite',['../classSVF_1_1ThreadCallGraph.html#ad883eb92aece6818a3a0a261fa3407ce',1,'SVF::ThreadCallGraph']]],
|
|
691
|
+
['getnumofresolvedindcalledge_2726',['getNumOfResolvedIndCallEdge',['../classSVF_1_1PTACallGraph.html#a12c899013f8a9ddd895bfb5027a84d4c',1,'SVF::PTACallGraph::getNumOfResolvedIndCallEdge()'],['../classSVF_1_1PointerAnalysis.html#ad2c8654a6672472f9bf17681aa9b60bb',1,'SVF::PointerAnalysis::getNumOfResolvedIndCallEdge()']]],
|
|
692
|
+
['getnumsuccessors_2727',['getNumSuccessors',['../classSVF_1_1BranchVFGNode.html#ad070e36a440deb982779cec18aa03ee6',1,'SVF::BranchVFGNode::getNumSuccessors()'],['../classSVF_1_1BranchStmt.html#a022d355bde3d0d0a9471cd125b24583b',1,'SVF::BranchStmt::getNumSuccessors()'],['../classSVF_1_1SVFBasicBlock.html#aebc0d1aa674dec207a99c7fc148c9c36',1,'SVF::SVFBasicBlock::getNumSuccessors()']]],
|
|
693
|
+
['getobj_2728',['getObj',['../classSVF_1_1SymbolTableInfo.html#a65f49178a948380c2d6105178509a906',1,'SVF::SymbolTableInfo']]],
|
|
694
|
+
['getobject_2729',['getObject',['../classSVF_1_1DummyVersionPropSVFGNode.html#ac10a4b9c2ee536cfcb74120d86c0619f',1,'SVF::DummyVersionPropSVFGNode::getObject()'],['../classSVF_1_1SVFIR.html#a2dd4d5f704906270af13e7a07f900eb1',1,'SVF::SVFIR::getObject(NodeID id) const'],['../classSVF_1_1SVFIR.html#a25b86c16d11b4d50ccc28ead525687ae',1,'SVF::SVFIR::getObject(const ObjVar *node) const']]],
|
|
695
|
+
['getobjectnode_2730',['getObjectNode',['../classSVF_1_1SVFIRBuilder.html#a5a93f3d13e2b3df126fbc42b1bd09006',1,'SVF::SVFIRBuilder::getObjectNode()'],['../classSVF_1_1IRGraph.html#ab1e2f58c350ec14763b4d8a424984d47',1,'SVF::IRGraph::getObjectNode()']]],
|
|
696
|
+
['getobjectnodenum_2731',['getObjectNodeNum',['../classSVF_1_1IRGraph.html#a82528aff779ccf8f723f57507dd2d991',1,'SVF::IRGraph']]],
|
|
697
|
+
['getobjsize_2732',['getObjSize',['../classSVF_1_1SymbolTableBuilder.html#abcc05a5ffa5fcddb7220e1c691d3ed87',1,'SVF::SymbolTableBuilder']]],
|
|
698
|
+
['getobjsym_2733',['getObjSym',['../classSVF_1_1SymbolTableInfo.html#a7cf19b236d4e44f8ae8da9b303466b36',1,'SVF::SymbolTableInfo']]],
|
|
699
|
+
['getoffsetvarandgeptypepairvec_2734',['getOffsetVarAndGepTypePairVec',['../classSVF_1_1AccessPath.html#ab0641554924d44f16c2831cac63ccf8b',1,'SVF::AccessPath::getOffsetVarAndGepTypePairVec()'],['../classSVF_1_1GepStmt.html#acce9e813dbca30e0264dac6c89ea72af',1,'SVF::GepStmt::getOffsetVarAndGepTypePairVec()']]],
|
|
700
|
+
['getopcode_2735',['getOpcode',['../classSVF_1_1BinaryOPStmt.html#ad0a7c5e87355d7a83176343322db448f',1,'SVF::BinaryOPStmt::getOpcode()'],['../classSVF_1_1UnaryOPStmt.html#af29723d5e777b10d53d48263a786f5b6',1,'SVF::UnaryOPStmt::getOpcode()']]],
|
|
701
|
+
['getoperand_2736',['getOperand',['../classllvm_1_1generic__bridge__gep__type__iterator.html#a9494bbdc909dab98dd3fd23a416f3a31',1,'llvm::generic_bridge_gep_type_iterator']]],
|
|
702
|
+
['getopicfgnode_2737',['getOpICFGNode',['../classSVF_1_1PhiStmt.html#a0b97394bc1946c0185d2c11fbc2181f4',1,'SVF::PhiStmt']]],
|
|
703
|
+
['getopincomingbb_2738',['getOpIncomingBB',['../classSVF_1_1IntraPHIVFGNode.html#a3a6ef9d2b10a6f2f1ac1b25590f56a70',1,'SVF::IntraPHIVFGNode']]],
|
|
704
|
+
['getopndvars_2739',['getOpndVars',['../classSVF_1_1MultiOpndStmt.html#a0441f2646fed28830439c41a0704ed4b',1,'SVF::MultiOpndStmt']]],
|
|
705
|
+
['getoption_2740',['getOption',['../classOptionBase.html#abf205790830ba8c3bb7097701ca86a69',1,'OptionBase']]],
|
|
706
|
+
['getoptionsmap_2741',['getOptionsMap',['../classOptionBase.html#ac68017dd45d05c5fe26ae04bb58f903c',1,'OptionBase']]],
|
|
707
|
+
['getopvar_2742',['getOpVar',['../classSVF_1_1UnaryOPVFGNode.html#adb0928a2547397d0ac2bbc2cf261d595',1,'SVF::UnaryOPVFGNode::getOpVar()'],['../classSVF_1_1MultiOpndStmt.html#a18f9d9ea87def35d4eaa707a339316b8',1,'SVF::MultiOpndStmt::getOpVar()'],['../classSVF_1_1UnaryOPStmt.html#abde2b32d5bbd37df0e194b1a4e78483b',1,'SVF::UnaryOPStmt::getOpVar()']]],
|
|
708
|
+
['getopvarid_2743',['getOpVarID',['../classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59',1,'SVF::MultiOpndStmt::getOpVarID()'],['../classSVF_1_1UnaryOPStmt.html#a8029b46bccda153ca2e677686c2655e2',1,'SVF::UnaryOPStmt::getOpVarID()']]],
|
|
709
|
+
['getopvarnum_2744',['getOpVarNum',['../classSVF_1_1MultiOpndStmt.html#af300571886b7aa2d84b0a70851c99bc3',1,'SVF::MultiOpndStmt']]],
|
|
710
|
+
['getopver_2745',['getOpVer',['../classSVF_1_1MSSAPHISVFGNode.html#a9ff8a58538d4df8e06e8d16dd58f02a3',1,'SVF::MSSAPHISVFGNode::getOpVer()'],['../classSVF_1_1CmpVFGNode.html#a62a87f7ee66c51302e093bbaf5d0901b',1,'SVF::CmpVFGNode::getOpVer()'],['../classSVF_1_1BinaryOPVFGNode.html#a4c71d3d586a5389f524f93ca82ffe0e5',1,'SVF::BinaryOPVFGNode::getOpVer()'],['../classSVF_1_1UnaryOPVFGNode.html#a1582b9fe65306c3fcd8c5390f5c07e5d',1,'SVF::UnaryOPVFGNode::getOpVer()'],['../classSVF_1_1PHIVFGNode.html#a4277e367a10362ddc14dbe219a88353a',1,'SVF::PHIVFGNode::getOpVer()'],['../classSVF_1_1MSSACHI.html#a7af6f73ff1432d4adb5ee8493fbe73fb',1,'SVF::MSSACHI::getOpVer()'],['../classSVF_1_1MSSAPHI.html#aeb5a948499f913264de749001f605a4e',1,'SVF::MSSAPHI::getOpVer()']]],
|
|
711
|
+
['getopvernum_2746',['getOpVerNum',['../classSVF_1_1MSSAPHISVFGNode.html#af7bd2cd776dcdbd1aee11569ec9f4a4f',1,'SVF::MSSAPHISVFGNode::getOpVerNum()'],['../classSVF_1_1CmpVFGNode.html#ad95b04c10a54b38344863e6552fc7775',1,'SVF::CmpVFGNode::getOpVerNum()'],['../classSVF_1_1BinaryOPVFGNode.html#a16511457605363135685cf3cf3a474dd',1,'SVF::BinaryOPVFGNode::getOpVerNum()'],['../classSVF_1_1UnaryOPVFGNode.html#aeb8722a2efdc4bf4e79d65230dc41fd5',1,'SVF::UnaryOPVFGNode::getOpVerNum()'],['../classSVF_1_1PHIVFGNode.html#aa147f43ddf3efac3e0143235ab611cf2',1,'SVF::PHIVFGNode::getOpVerNum()'],['../classSVF_1_1MSSAPHI.html#adbefc58750f87cf1c30dd5d445b50feb',1,'SVF::MSSAPHI::getOpVerNum()']]],
|
|
712
|
+
['getoraddblockicfgnode_2747',['getOrAddBlockICFGNode',['../classSVF_1_1ICFGBuilder.html#ae832950bae16346dd25f9e47ee13c34c',1,'SVF::ICFGBuilder']]],
|
|
713
|
+
['getoraddinterblockicfgnode_2748',['getOrAddInterBlockICFGNode',['../classSVF_1_1ICFGBuilder.html#a5d7c24a1bf3300f784741ed8dba5a683',1,'SVF::ICFGBuilder']]],
|
|
714
|
+
['getoraddintrablockicfgnode_2749',['getOrAddIntraBlockICFGNode',['../classSVF_1_1ICFGBuilder.html#a151a19548cfed20501ddbeb786417b8b',1,'SVF::ICFGBuilder']]],
|
|
715
|
+
['getoraddsvftypeinfo_2750',['getOrAddSVFTypeInfo',['../classSVF_1_1SymbolTableBuilder.html#af7aae2e2851c948f85600066a5a394ca',1,'SVF::SymbolTableBuilder']]],
|
|
716
|
+
['getorcreatenode_2751',['getOrCreateNode',['../classSVF_1_1DCHGraph.html#a9ed6b91fad334605f514049a2072b538',1,'SVF::DCHGraph']]],
|
|
717
|
+
['getorcreatetctnode_2752',['getOrCreateTCTNode',['../classSVF_1_1TCT.html#a5d890da8d9d91b8cc4c529eb427192c4',1,'SVF::TCT']]],
|
|
718
|
+
['getoriginalelemtype_2753',['getOriginalElemType',['../classSVF_1_1StInfo.html#a055697f565cb9d73b41110090fe50159',1,'SVF::StInfo::getOriginalElemType()'],['../classSVF_1_1SymbolTableInfo.html#a4bf84ef15f3b4cc865ac64ca0aae84e7',1,'SVF::SymbolTableInfo::getOriginalElemType()']]],
|
|
719
|
+
['getostream_2754',['getOStream',['../classSVF_1_1GraphWriter.html#afa5d94effc56067e44eba9a11afd5284',1,'SVF::GraphWriter']]],
|
|
720
|
+
['getothersvfconstant_2755',['getOtherSVFConstant',['../classSVF_1_1LLVMModuleSet.html#a74256f36f0fdc242df9729906c34efbc',1,'SVF::LLVMModuleSet']]],
|
|
721
|
+
['getothervalueset_2756',['getOtherValueSet',['../classSVF_1_1SVFModule.html#af22af3a6d54bb510e5c4805eff3d12cd',1,'SVF::SVFModule']]],
|
|
722
|
+
['getoutedges_2757',['getOutEdges',['../classSVF_1_1CFBasicBlockNode.html#a48c0b6643c481afb15d4c4f89d00eecb',1,'SVF::CFBasicBlockNode::getOutEdges()'],['../classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009',1,'SVF::GenericNode::getOutEdges()']]],
|
|
723
|
+
['getoutedgewithty_2758',['getOutEdgeWithTy',['../classSVF_1_1CFLNode.html#a0a1b7384a42cad855bddf881e0e09542',1,'SVF::CFLNode']]],
|
|
724
|
+
['getoutgoingedges_2759',['getOutgoingEdges',['../classSVF_1_1SVFVar.html#a927733580b47be5ffcfced44ba9fd6c3',1,'SVF::SVFVar']]],
|
|
725
|
+
['getoutgoingedgesbegin_2760',['getOutgoingEdgesBegin',['../classSVF_1_1SVFVar.html#a9e40eafe55a2c1448b830b56ae72e17f',1,'SVF::SVFVar']]],
|
|
726
|
+
['getoutgoingedgesend_2761',['getOutgoingEdgesEnd',['../classSVF_1_1SVFVar.html#aa5176fce9746bc585d43ebb4c8c824e5',1,'SVF::SVFVar']]],
|
|
727
|
+
['getoutput_2762',['getOutput',['../classSVF_1_1LockResultValidator.html#ab71d89c954395df7d108263b3fa87330',1,'SVF::LockResultValidator::getOutput()'],['../classSVF_1_1MTAResultValidator.html#a9c9baeb57a645b57cc9053b3071f0602',1,'SVF::MTAResultValidator::getOutput()'],['../classSVF_1_1RaceResultValidator.html#afdd89e26a7c168762bfe85746252827f',1,'SVF::RaceResultValidator::getOutput()'],['../classSVF_1_1MTAResultValidator.html#a829e59b4f8cf01c125cf8a9b45f7b7d0',1,'SVF::MTAResultValidator::getOutput()'],['../classSVF_1_1RaceResultValidator.html#afdd89e26a7c168762bfe85746252827f',1,'SVF::RaceResultValidator::getOutput()']]],
|
|
728
|
+
['getoutputforinterlevanalysis_2763',['getOutputforInterlevAnalysis',['../classSVF_1_1MTAResultValidator.html#ac24a8a6922d9dc9edecab3bc45bc9204',1,'SVF::MTAResultValidator::getOutputforInterlevAnalysis(const char *scenario, INTERLEV_FLAG analysisRes)'],['../classSVF_1_1MTAResultValidator.html#a9f7c30f6bb29630101b034009f7d944c',1,'SVF::MTAResultValidator::getOutputforInterlevAnalysis(const char *scenario, INTERLEV_FLAG analysisRes)']]],
|
|
729
|
+
['getpag_2764',['getPAG',['../classSVF_1_1SVFIRBuilder.html#af44d4587defa76f1e7f2645f9711558a',1,'SVF::SVFIRBuilder::getPAG()'],['../classSVF_1_1VFG.html#a7622e381fbc1601b3f9a8384df2751bd',1,'SVF::VFG::getPAG()'],['../classSVF_1_1PointerAnalysis.html#a240219c2dc4f5cc5f85445e18c79b83b',1,'SVF::PointerAnalysis::getPAG()'],['../classSVF_1_1MemSSA.html#a41b153f2f8f3a27be63750e73a290569',1,'SVF::MemSSA::getPAG()'],['../classSVF_1_1FSMPTA.html#ad93ee6450a9eb498369bf63acc9f6578',1,'SVF::FSMPTA::getPAG()'],['../classSVF_1_1SrcSnkDDA.html#a4f37c66db2588cd691353a9ad1a4d5b1',1,'SVF::SrcSnkDDA::getPAG()'],['../classSVF_1_1PAGBuilderFromFile.html#ae016c545a237beea35c4ed8fd3ad037a',1,'SVF::PAGBuilderFromFile::getPAG()'],['../classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362',1,'SVF::SVFIR::getPAG()']]],
|
|
730
|
+
['getpagdstnode_2765',['getPAGDstNode',['../classSVF_1_1StmtVFGNode.html#a8ba0e783f7fcbfa7cbd1d3a709ffa07f',1,'SVF::StmtVFGNode']]],
|
|
731
|
+
['getpagdstnodeid_2766',['getPAGDstNodeID',['../classSVF_1_1StmtVFGNode.html#a04986961ad507be9fcf141ab51787da8',1,'SVF::StmtVFGNode']]],
|
|
732
|
+
['getpagedge_2767',['getPAGEdge',['../classSVF_1_1StmtVFGNode.html#a4dd7615f42971da9b6ec1dc04f0ec4e6',1,'SVF::StmtVFGNode']]],
|
|
733
|
+
['getpagedgenum_2768',['getPAGEdgeNum',['../classSVF_1_1IRGraph.html#a821df0fcb66e4f0a5b10c295c24b7c2c',1,'SVF::IRGraph']]],
|
|
734
|
+
['getpagedgeset_2769',['getPAGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a4dd7feb1ed62883dd35ced962ba6b59e',1,'SVF::ConstraintGraph::getPAGEdgeSet()'],['../classSVF_1_1VFG.html#a2e182f7e90a3519a2147a300470a88f1',1,'SVF::VFG::getPAGEdgeSet()']]],
|
|
735
|
+
['getpagedgesfrominst_2770',['getPAGEdgesFromInst',['../classSVF_1_1MRGenerator.html#a7465657df2a376abc79147893d5e62aa',1,'SVF::MRGenerator']]],
|
|
736
|
+
['getpagnode_2771',['getPAGNode',['../classSVF_1_1NullPtrVFGNode.html#a116af5e66665c56b9ca1e734bc3719c5',1,'SVF::NullPtrVFGNode']]],
|
|
737
|
+
['getpagnodenum_2772',['getPAGNodeNum',['../classSVF_1_1IRGraph.html#afa015e79aa68b102db44b5a0fd653dc6',1,'SVF::IRGraph']]],
|
|
738
|
+
['getpagsrcnode_2773',['getPAGSrcNode',['../classSVF_1_1StmtVFGNode.html#a837da5917c31e14aa51c6fa3e2640849',1,'SVF::StmtVFGNode']]],
|
|
739
|
+
['getpagsrcnodeid_2774',['getPAGSrcNodeID',['../classSVF_1_1StmtVFGNode.html#a791a01f5d3528f8a8bf19369b5c61c37',1,'SVF::StmtVFGNode']]],
|
|
740
|
+
['getparam_2775',['getParam',['../classSVF_1_1ActualParmVFGNode.html#a8932b197a076ab3069a9fe8b73e7fc32',1,'SVF::ActualParmVFGNode::getParam()'],['../classSVF_1_1FormalParmVFGNode.html#ab1a9031c1fc5102e072b5035151c131c',1,'SVF::FormalParmVFGNode::getParam()']]],
|
|
741
|
+
['getparent_2776',['getParent',['../classSVF_1_1CallICFGNode.html#a93d79e863a3a9bc42cf881f243833bda',1,'SVF::CallICFGNode::getParent()'],['../classSVF_1_1SVFBasicBlock.html#af48d08d3adf7dd3ed69d97e4df360059',1,'SVF::SVFBasicBlock::getParent()'],['../classSVF_1_1SVFInstruction.html#ae009f41cbf48d949d4325e08fe8d7198',1,'SVF::SVFInstruction::getParent()'],['../classSVF_1_1SVFArgument.html#a59d1389a296abc4bf17434c1cd7b6f57',1,'SVF::SVFArgument::getParent()']]],
|
|
742
|
+
['getparentsbegin_2777',['getParentsBegin',['../classSVF_1_1TCT.html#afa5bd475c4dc068a0ecc0ec5caab77a9',1,'SVF::TCT']]],
|
|
743
|
+
['getparentsend_2778',['getParentsEnd',['../classSVF_1_1TCT.html#a5d6a06c7daff36a14fa1f371a477784d',1,'SVF::TCT']]],
|
|
744
|
+
['getparentthread_2779',['getParentThread',['../classSVF_1_1TCT.html#a516578af1f8666ff672e6611e61d7152',1,'SVF::TCT']]],
|
|
745
|
+
['getpassname_2780',['getPassName',['../classSVF_1_1BreakConstantGEPs.html#a182830d0a9d07015628211ec5eb0d4c6',1,'SVF::BreakConstantGEPs::getPassName()'],['../classSVF_1_1MergeFunctionRets.html#a436a61f00b607dd0e5728daad9dd2e93',1,'SVF::MergeFunctionRets::getPassName()'],['../classSVF_1_1DDAPass.html#aeac7209ad169cc2aea2022494031069f',1,'SVF::DDAPass::getPassName()'],['../classSVF_1_1WPAPass.html#a8f6bbf39ea2848ff3b6d105aeb5a31b1',1,'SVF::WPAPass::getPassName()']]],
|
|
746
|
+
['getphicomplementcond_2781',['getPHIComplementCond',['../classSVF_1_1SaberCondAllocator.html#a59f2e92299ea13284f4f2d724bddd8d7',1,'SVF::SaberCondAllocator']]],
|
|
747
|
+
['getphiset_2782',['getPHISet',['../classSVF_1_1MemSSA.html#a82ab0d35c95aeefbc4dfc8eb59033dca',1,'SVF::MemSSA']]],
|
|
748
|
+
['getpointerto_2783',['getPointerTo',['../classSVF_1_1SVFType.html#a3672b4797c400aac90c6d36ce29e0e57',1,'SVF::SVFType']]],
|
|
749
|
+
['getpointertoty_2784',['getPointerToTy',['../classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33',1,'SVF::SVFType']]],
|
|
750
|
+
['getpointsto_2785',['getPointsTo',['../classSVF_1_1IndirectSVFGEdge.html#a30aca718d25924f1babdf348bb0ace71',1,'SVF::IndirectSVFGEdge::getPointsTo()'],['../classSVF_1_1MRSVFGNode.html#a28fe266d0e4618aa4448aa218495a332',1,'SVF::MRSVFGNode::getPointsTo()'],['../classSVF_1_1MemRegion.html#a1e5befaa1a46943e101b33adaf141ca1',1,'SVF::MemRegion::getPointsTo()']]],
|
|
751
|
+
['getpointstolist_2786',['getPointsToList',['../classSVF_1_1MRGenerator.html#a6d86c8ebe87cb54f39e52daa7ffb0e2e',1,'SVF::MRGenerator']]],
|
|
752
|
+
['getpool_2787',['getPool',['../classSVF_1_1WriterPtrPool.html#a5df00a28f394187fee526a96a4065a78',1,'SVF::WriterPtrPool']]],
|
|
753
|
+
['getpostdomtreemap_2788',['getPostDomTreeMap',['../classSVF_1_1SVFLoopAndDomInfo.html#ad07f95e790b5c3a50c864155aa20a083',1,'SVF::SVFLoopAndDomInfo::getPostDomTreeMap() const'],['../classSVF_1_1SVFLoopAndDomInfo.html#a6b87fa0530b6d94f201a0989b35c2277',1,'SVF::SVFLoopAndDomInfo::getPostDomTreeMap()']]],
|
|
754
|
+
['getpredecessors_2789',['getPredecessors',['../classSVF_1_1SVFBasicBlock.html#ac6fabc508f6b64127bb597f7b2110231',1,'SVF::SVFBasicBlock']]],
|
|
755
|
+
['getpredicate_2790',['getPredicate',['../classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632',1,'SVF::CmpStmt']]],
|
|
756
|
+
['getpredinstructions_2791',['getPredInstructions',['../classSVF_1_1SVFInstruction.html#acc18d048b6f6b07bf1786980bb2d74f8',1,'SVF::SVFInstruction::getPredInstructions()'],['../classSVF_1_1SVFInstruction.html#a51c967b9e808b077562fbf25a04bafdc',1,'SVF::SVFInstruction::getPredInstructions() const']]],
|
|
757
|
+
['getpredmap_2792',['getPredMap',['../classSVF_1_1POCRSolver.html#a9cb6c06d4e9ede63c22637d9a230a584',1,'SVF::POCRSolver::getPredMap()'],['../classSVF_1_1POCRSolver.html#a585aa205c1da08d33aac52552a8a1a75',1,'SVF::POCRSolver::getPredMap(const NodeID key)']]],
|
|
758
|
+
['getpreds_2793',['getPreds',['../classSVF_1_1POCRSolver.html#a7445cae0169e04f898798a75aa737177',1,'SVF::POCRSolver']]],
|
|
759
|
+
['getprevinsts_2794',['getPrevInsts',['../namespaceSVF_1_1LLVMUtil.html#a4c94a6c02fb89c1a1604c87414956acd',1,'SVF::LLVMUtil::getPrevInsts(const Instruction *curInst, std::vector< const SVFInstruction * > &instList)'],['../namespaceSVF_1_1LLVMUtil.html#a08876cc07f9b9dbe84f87aea09e9824f',1,'SVF::LLVMUtil::getPrevInsts(const Instruction *curInst, std::vector< const Instruction * > &instList)']]],
|
|
760
|
+
['getpreviousmemoryaccessinst_2795',['getPreviousMemoryAccessInst',['../classSVF_1_1LockResultValidator.html#a0be1cdab3c36835044e3b26d5d8402e6',1,'SVF::LockResultValidator::getPreviousMemoryAccessInst()'],['../classSVF_1_1MTAResultValidator.html#ab3ba3c6d9c40e97febdab0e7d4ad9a3e',1,'SVF::MTAResultValidator::getPreviousMemoryAccessInst()'],['../classSVF_1_1RaceResultValidator.html#ad029f7a9a5161191a44d1e841f9d6114',1,'SVF::RaceResultValidator::getPreviousMemoryAccessInst()'],['../classSVF_1_1MTAResultValidator.html#a2ddf3189b3f90986752282b1c6bd003d',1,'SVF::MTAResultValidator::getPreviousMemoryAccessInst()'],['../classSVF_1_1RaceResultValidator.html#ad029f7a9a5161191a44d1e841f9d6114',1,'SVF::RaceResultValidator::getPreviousMemoryAccessInst()']]],
|
|
761
|
+
['getprevnodes_2796',['getPrevNodes',['../classSVF_1_1MTASVFGBuilder.html#a7b034f9f8f01823ecfb7f6c17e47b502',1,'SVF::MTASVFGBuilder']]],
|
|
762
|
+
['getproc_2797',['getProc',['../classSVF_1_1CxtProc.html#ab9ac6459c90873b7dea35e0a22700189',1,'SVF::CxtProc']]],
|
|
763
|
+
['getprodsfromfirstrhs_2798',['getProdsFromFirstRHS',['../classSVF_1_1CFGrammar.html#a0c436fdc35825a0f5c244b3f3441ae1a',1,'SVF::CFGrammar']]],
|
|
764
|
+
['getprodsfromsecondrhs_2799',['getProdsFromSecondRHS',['../classSVF_1_1CFGrammar.html#a39ee3733b247f40ea27ddc7e17334544',1,'SVF::CFGrammar']]],
|
|
765
|
+
['getprodsfromsinglerhs_2800',['getProdsFromSingleRHS',['../classSVF_1_1CFGrammar.html#a09bb0c9e5e626555273193e437de2b70',1,'SVF::CFGrammar']]],
|
|
766
|
+
['getprogentryfunction_2801',['getProgEntryFunction',['../namespaceSVF_1_1SVFUtil.html#aa8017e3e5100b3f63ee338b66118d266',1,'SVF::SVFUtil']]],
|
|
767
|
+
['getprogfunction_2802',['getProgFunction',['../namespaceSVF_1_1LLVMUtil.html#a76b0d0ac69c170838cfc8ee26f4518a0',1,'SVF::LLVMUtil::getProgFunction()'],['../namespaceSVF_1_1SVFUtil.html#a6f82e03d880257527bd9cb5978e05604',1,'SVF::SVFUtil::getProgFunction()']]],
|
|
768
|
+
['getpropapts_2803',['getPropaPts',['../classSVF_1_1MutableDiffPTData.html#a450ed4470b1d83d44218904dd391fd75',1,'SVF::MutableDiffPTData']]],
|
|
769
|
+
['getprotobyname_2804',['getprotobyname',['../extapi_8c.html#a83ac8a97dd9d895cda658af3aa46fd55',1,'extapi.c']]],
|
|
770
|
+
['getprotobynumber_2805',['getprotobynumber',['../extapi_8c.html#a6adb569732e5880ffb2d4cc28d9cfc96',1,'extapi.c']]],
|
|
771
|
+
['getpta_2806',['getPTA',['../classSVF_1_1DDAStat.html#a55fa3ce574d128a89c1aa5f6a7dc17c6',1,'SVF::DDAStat::getPTA()'],['../classSVF_1_1SVFG.html#ab6c337637ccc9bbf0bcc7153b427f7ca',1,'SVF::SVFG::getPTA()'],['../classSVF_1_1MemSSA.html#ad40617a1907b9a6b8cc24888ce54a0ac',1,'SVF::MemSSA::getPTA()'],['../classSVF_1_1TCT.html#a5b087b42340d1a1b2ee37339637709d3',1,'SVF::TCT::getPTA()']]],
|
|
772
|
+
['getptacallgraph_2807',['getPTACallGraph',['../classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df',1,'SVF::PointerAnalysis']]],
|
|
773
|
+
['getptapagedgenum_2808',['getPTAPAGEdgeNum',['../classSVF_1_1IRGraph.html#a51485004eb28aab6620801205d13ef1b',1,'SVF::IRGraph']]],
|
|
774
|
+
['getptasvfstmtlist_2809',['getPTASVFStmtList',['../classSVF_1_1SVFIR.html#abb91ed47d5c13d0ad7eec35164e37988',1,'SVF::SVFIR']]],
|
|
775
|
+
['getptasvfstmtset_2810',['getPTASVFStmtSet',['../classSVF_1_1SVFIR.html#a65a4af3d6f0bfc11e31f020bb2966576',1,'SVF::SVFIR']]],
|
|
776
|
+
['getptcache_2811',['getPtCache',['../classSVF_1_1BVDataPTAImpl.html#afaeae813ff38e010bbe8fe61befb345c',1,'SVF::BVDataPTAImpl']]],
|
|
777
|
+
['getptdataty_2812',['getPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ae94cea78b71fb75837ee2a17b5ed0e81',1,'SVF::BVDataPTAImpl::getPTDataTy()'],['../classSVF_1_1CondPTAImpl.html#a35cb1fd6e18cdc8e8466ee94846bc553',1,'SVF::CondPTAImpl::getPTDataTy()']]],
|
|
778
|
+
['getptdty_2813',['getPTDTY',['../classSVF_1_1PTData.html#adfcbaefe1c058d9ddf14aa3da07e1daf',1,'SVF::PTData']]],
|
|
779
|
+
['getptr_2814',['getPtr',['../classSVF_1_1WriterPtrPool.html#a79e9999b60a988f221e3483114f69e58',1,'SVF::WriterPtrPool::getPtr()'],['../classSVF_1_1ReaderIDToObjMap.html#a9cc37ac09c3c95aa7aa664d668319a76',1,'SVF::ReaderIDToObjMap::getPtr()'],['../classSVF_1_1ReaderPtrPool.html#ab8243a35957fbae27825ec666c8f7560',1,'SVF::ReaderPtrPool::getPtr()']]],
|
|
780
|
+
['getptrelementtype_2815',['getPtrElementType',['../classSVF_1_1SVFPointerType.html#a067e8f095942e095aa1721dee3a241ea',1,'SVF::SVFPointerType::getPtrElementType()'],['../namespaceSVF_1_1LLVMUtil.html#abba4111230f6009bbf50518ee36a9870',1,'SVF::LLVMUtil::getPtrElementType()']]],
|
|
781
|
+
['getptrnodeid_2816',['getPtrNodeID',['../classSVF_1_1ContextDDA.html#a6ae16be6774994932aaa594c9b9cb397',1,'SVF::ContextDDA::getPtrNodeID()'],['../classSVF_1_1DDAVFSolver.html#a3fa002d4ba4194ffde62ecbdd361a24d',1,'SVF::DDAVFSolver::getPtrNodeID()'],['../classSVF_1_1FlowDDA.html#a9749c82c1164adb17e2ae53e725ded9a',1,'SVF::FlowDDA::getPtrNodeID()']]],
|
|
782
|
+
['getpts_2817',['getPts',['../classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d',1,'SVF::PTData::getPts()'],['../classSVF_1_1VersionedPTData.html#adcba3355f96357493d8a7520ff00cc97',1,'SVF::VersionedPTData::getPts()'],['../classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62',1,'SVF::MutablePTData::getPts()'],['../classSVF_1_1MutableDiffPTData.html#ac2f494da9379c336bb81a0dc438b5af9',1,'SVF::MutableDiffPTData::getPts()'],['../classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b',1,'SVF::MutableDFPTData::getPts()'],['../classSVF_1_1MutableVersionedPTData.html#aaf519166d2e0ca3c81088b52a1cf3066',1,'SVF::MutableVersionedPTData::getPts(const Key &vk) override'],['../classSVF_1_1MutableVersionedPTData.html#afcc34f6cedca6a8f151b1a7251832818',1,'SVF::MutableVersionedPTData::getPts(const VersionedKey &vk) override'],['../classSVF_1_1PersistentPTData.html#a82621bb9b53ccb479cb7278df9a4e366',1,'SVF::PersistentPTData::getPts()'],['../classSVF_1_1PersistentDiffPTData.html#ab1246073bd0e0395528f8ec53281e315',1,'SVF::PersistentDiffPTData::getPts()'],['../classSVF_1_1PersistentDFPTData.html#a2adbaa59c46d611a448594b74745e986',1,'SVF::PersistentDFPTData::getPts()'],['../classSVF_1_1PersistentVersionedPTData.html#abcfcbbb3fab89b89168409c1f714e1ed',1,'SVF::PersistentVersionedPTData::getPts(const Key &vk) override'],['../classSVF_1_1PersistentVersionedPTData.html#ae705d46ac78d39f0779c0bf05e39f8b3',1,'SVF::PersistentVersionedPTData::getPts(const VersionedKey &vk) override'],['../classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec',1,'SVF::PointerAnalysis::getPts()'],['../classSVF_1_1BVDataPTAImpl.html#ac9897a09cad8a99169f2da2116807b1b',1,'SVF::BVDataPTAImpl::getPts()'],['../classSVF_1_1CondPTAImpl.html#a63fa2b3a96696ffc67a119c1ba5ce748',1,'SVF::CondPTAImpl::getPts(CVar id)'],['../classSVF_1_1CondPTAImpl.html#a0b96ba98239186d6d676f9540da9e590',1,'SVF::CondPTAImpl::getPts(NodeID ptr)'],['../classSVF_1_1Andersen.html#a187285a5bdf9422d9188b2b11b667639',1,'SVF::Andersen::getPts()'],['../classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486',1,'SVF::Steensgaard::getPts()'],['../classSVF_1_1WPAPass.html#a4d27be04d38089e86b8b6a1d22e9d8f8',1,'SVF::WPAPass::getPts(const SVFValue *value)'],['../classSVF_1_1WPAPass.html#ab4680948b690b4e04d19a133d825b849',1,'SVF::WPAPass::getPts(NodeID var)']]],
|
|
783
|
+
['getptsmap_2818',['getPtsMap',['../classSVF_1_1MutablePTData.html#a8838058efe94b62553bb5416fdc2ec5b',1,'SVF::MutablePTData::getPtsMap()'],['../classSVF_1_1MutableDiffPTData.html#a8261a24cfb34056f3720cd6fbc0a4870',1,'SVF::MutableDiffPTData::getPtsMap()'],['../classSVF_1_1MutableDFPTData.html#a8b1814326e71f6c6fd31d5aef0592a1d',1,'SVF::MutableDFPTData::getPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a979486e35b529fbc62b2974899627113',1,'SVF::CondPTAImpl::getPtsMap()']]],
|
|
784
|
+
['getptssubsetmap_2819',['getPtsSubSetMap',['../classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1',1,'SVF::IntraDisjointMRG::getPtsSubSetMap(const SVFFunction *func)'],['../classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53',1,'SVF::IntraDisjointMRG::getPtsSubSetMap(const SVFFunction *func) const']]],
|
|
785
|
+
['getpwent_2820',['getpwent',['../extapi_8c.html#a6c9819b8d04fd2807a7a017801b76d17',1,'extapi.c']]],
|
|
786
|
+
['getpwnam_2821',['getpwnam',['../extapi_8c.html#a08249b8fcd2bf95afbddd22fdc86814c',1,'extapi.c']]],
|
|
787
|
+
['getpwnam_5fr_2822',['getpwnam_r',['../extapi_8c.html#a9d2e8fbff1b6a171809af5ff4d9faf93',1,'extapi.c']]],
|
|
788
|
+
['getpwuid_2823',['getpwuid',['../extapi_8c.html#a795924df224a37a85b08eb0786973c81',1,'extapi.c']]],
|
|
789
|
+
['getpwuid_5fr_2824',['getpwuid_r',['../extapi_8c.html#a8d45eda5c086f3f4bf394644c3af43b7',1,'extapi.c']]],
|
|
790
|
+
['getrawproductions_2825',['getRawProductions',['../classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae',1,'SVF::GrammarBase']]],
|
|
791
|
+
['getreachablebbs_2826',['getReachableBBs',['../classSVF_1_1SVFLoopAndDomInfo.html#a95099f1b621c4f0d6d53798d7eab4e3b',1,'SVF::SVFLoopAndDomInfo::getReachableBBs()'],['../classSVF_1_1SVFFunction.html#a90e39f78f4908f8a8ef3948d9158791c',1,'SVF::SVFFunction::getReachableBBs()']]],
|
|
792
|
+
['getrefinfoforcall_2827',['getRefInfoForCall',['../classSVF_1_1MRGenerator.html#a965a31712341b1fc02e667f325423ca2',1,'SVF::MRGenerator']]],
|
|
793
|
+
['getrefsideeffectofcallsite_2828',['getRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a62757aa995a6a01b484c60df2f51c53d',1,'SVF::MRGenerator']]],
|
|
794
|
+
['getrefsideeffectoffunction_2829',['getRefSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#ac0007c8808654ca74feef0d8568378b9',1,'SVF::MRGenerator']]],
|
|
795
|
+
['getreftypeofheapallocorstatic_2830',['getRefTypeOfHeapAllocOrStatic',['../namespaceSVF_1_1LLVMUtil.html#a6c5f2f951463494af2e7b0d3267f2772',1,'SVF::LLVMUtil::getRefTypeOfHeapAllocOrStatic(const CallBase *cs)'],['../namespaceSVF_1_1LLVMUtil.html#aa81614cdb6a2a912638d5dc980480af7',1,'SVF::LLVMUtil::getRefTypeOfHeapAllocOrStatic(const Instruction *inst)']]],
|
|
796
|
+
['getregionsize_2831',['getRegionSize',['../classSVF_1_1MemRegion.html#a99f106d47fd67f1ae53e144d72a223c9',1,'SVF::MemRegion']]],
|
|
797
|
+
['getreles_2832',['getRelEs',['../classSVF_1_1SVFIR2ItvExeState.html#a26f2ed7999321f7037be625a9ebef226',1,'SVF::SVFIR2ItvExeState']]],
|
|
798
|
+
['getreliantversions_2833',['getReliantVersions',['../classSVF_1_1VersionedFlowSensitive.html#ae83c62a01196991d116ef5c36cb51e31',1,'SVF::VersionedFlowSensitive']]],
|
|
799
|
+
['getrep_2834',['getRep',['../classSVF_1_1ConstraintGraph.html#acd1f0ce7936ced59bfaf04956a0f8214',1,'SVF::ConstraintGraph']]],
|
|
800
|
+
['getrepnodes_2835',['getRepNodes',['../classSVF_1_1SCCDetection.html#a457973fa38fad89bbd2dc41ba041703e',1,'SVF::SCCDetection']]],
|
|
801
|
+
['getreppointsto_2836',['getRepPointsTo',['../classSVF_1_1MRGenerator.html#a98b3481580be48cff7e93bf3c8a29dac',1,'SVF::MRGenerator']]],
|
|
802
|
+
['getrepr_2837',['getRepr',['../classSVF_1_1SVFOtherType.html#ad9cbb0a4ffefe248977850d9aa17f9c1',1,'SVF::SVFOtherType']]],
|
|
803
|
+
['getres_2838',['getRes',['../classSVF_1_1CmpVFGNode.html#aa972ecfb264d447fecf0326037bbccbe',1,'SVF::CmpVFGNode::getRes()'],['../classSVF_1_1BinaryOPVFGNode.html#a1fa8795102bc6c1d6bac1b55b7542eea',1,'SVF::BinaryOPVFGNode::getRes()'],['../classSVF_1_1UnaryOPVFGNode.html#ae7947adec032ed072c50cf49f9d12259',1,'SVF::UnaryOPVFGNode::getRes()'],['../classSVF_1_1PHIVFGNode.html#abd54e567a0826bbec277302e0c4f78a2',1,'SVF::PHIVFGNode::getRes()'],['../classSVF_1_1MultiOpndStmt.html#a00a14ad8f49912b876fd9d729fea4601',1,'SVF::MultiOpndStmt::getRes()'],['../classSVF_1_1UnaryOPStmt.html#a919db9b8c9287c3802f563840b56c4f1',1,'SVF::UnaryOPStmt::getRes()']]],
|
|
804
|
+
['getresid_2839',['getResID',['../classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e',1,'SVF::MultiOpndStmt::getResID()'],['../classSVF_1_1UnaryOPStmt.html#ae2ffeaec2d2e4de69826495006c35856',1,'SVF::UnaryOPStmt::getResID()']]],
|
|
805
|
+
['getresver_2840',['getResVer',['../classSVF_1_1MSSAPHISVFGNode.html#a9ea963b7773c7d0b42ccf81e58a54a50',1,'SVF::MSSAPHISVFGNode::getResVer()'],['../classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282',1,'SVF::MSSADEF::getResVer()']]],
|
|
806
|
+
['getret_2841',['getRet',['../classSVF_1_1FormalRetVFGNode.html#a62a894e71fcf7a3db19c0488d96a7262',1,'SVF::FormalRetVFGNode']]],
|
|
807
|
+
['getretblock_2842',['getRetBlock',['../classSVF_1_1ICFG.html#a5ad71237256b2a8ce94a7d79a84afe55',1,'SVF::ICFG']]],
|
|
808
|
+
['getreticfgnode_2843',['getRetICFGNode',['../classSVF_1_1ICFGBuilder.html#a31a2810fe664f45da147f4bd0a0410d6',1,'SVF::ICFGBuilder::getRetICFGNode()'],['../classSVF_1_1ICFG.html#a881fe977f3a6fde223bd786121e35fcf',1,'SVF::ICFG::getRetICFGNode()'],['../classSVF_1_1CallICFGNode.html#ae23a7540609879ac0379fc53b4e7eead',1,'SVF::CallICFGNode::getRetICFGNode()']]],
|
|
809
|
+
['getretparmatjoinedsite_2844',['getRetParmAtJoinedSite',['../classSVF_1_1ThreadAPI.html#a24e1734230ec053c218d4d4774b9bfd0',1,'SVF::ThreadAPI::getRetParmAtJoinedSite(const SVFInstruction *inst) const'],['../classSVF_1_1ThreadAPI.html#acbd4d2403cc9ebb01b82844d8c4eeb54',1,'SVF::ThreadAPI::getRetParmAtJoinedSite(CallSite cs) const']]],
|
|
810
|
+
['getretpe_2845',['getRetPE',['../classSVF_1_1RetCFGEdge.html#af84bf360ca641711a3c625de86feb603',1,'SVF::RetCFGEdge']]],
|
|
811
|
+
['getretsite_2846',['getRetSite',['../classSVF_1_1ProgSlice.html#a07ce77afbf69d5e2a47afaa39eaea886',1,'SVF::ProgSlice']]],
|
|
812
|
+
['getretsym_2847',['getRetSym',['../classSVF_1_1SymbolTableInfo.html#afb06da4d5f8c75c039b0a05a31d4beb3',1,'SVF::SymbolTableInfo']]],
|
|
813
|
+
['getreturnmuset_2848',['getReturnMuSet',['../classSVF_1_1MemSSA.html#af8c38a7ff8da4206f19c038024606d93',1,'SVF::MemSSA']]],
|
|
814
|
+
['getreturnnode_2849',['getReturnNode',['../classSVF_1_1SVFIRBuilder.html#aff99c8de4acf4eeaf01803dadf459b92',1,'SVF::SVFIRBuilder::getReturnNode()'],['../classSVF_1_1ConstraintGraph.html#a802d7aa5c5bdc5c8720120f71d316b68',1,'SVF::ConstraintGraph::getReturnNode()'],['../classSVF_1_1IRGraph.html#a96010999a4e5013beb1c37ef753ff910',1,'SVF::IRGraph::getReturnNode()']]],
|
|
815
|
+
['getreturntype_2850',['getReturnType',['../classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3',1,'SVF::SVFFunctionType::getReturnType()'],['../classSVF_1_1SVFFunction.html#af264312f0020bde9151697bccfde3263',1,'SVF::SVFFunction::getReturnType()']]],
|
|
816
|
+
['getrev_2851',['getRev',['../classSVF_1_1ActualRetVFGNode.html#a4bcfddf05da46729c670b4f450f9d606',1,'SVF::ActualRetVFGNode']]],
|
|
817
|
+
['getreversenodemapping_2852',['getReverseNodeMapping',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a36b25188130f4c21d145c950a70d616f',1,'SVF::NodeIDAllocator::Clusterer']]],
|
|
818
|
+
['getrevpts_2853',['getRevPts',['../classSVF_1_1CFLAlias.html#abcb07a089b7b1036d070c451a81cef5d',1,'SVF::CFLAlias::getRevPts()'],['../classSVF_1_1PTData.html#ab6146f5582946c08568f3a8d45e57b03',1,'SVF::PTData::getRevPts()'],['../classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096',1,'SVF::MutablePTData::getRevPts()'],['../classSVF_1_1MutableDiffPTData.html#ad9bd6762fc6525afaed4a6c6da63688d',1,'SVF::MutableDiffPTData::getRevPts()'],['../classSVF_1_1MutableDFPTData.html#a2f98940bd8266ad37a975c6d30d948b4',1,'SVF::MutableDFPTData::getRevPts()'],['../classSVF_1_1MutableVersionedPTData.html#a7de508c0d83895aee785524d28eac8b9',1,'SVF::MutableVersionedPTData::getRevPts()'],['../classSVF_1_1PersistentPTData.html#a2f4fe676fdb5c749aa9b3f68e45e26de',1,'SVF::PersistentPTData::getRevPts()'],['../classSVF_1_1PersistentDiffPTData.html#a7c34a171565b7eb45a54b6a8336a321d',1,'SVF::PersistentDiffPTData::getRevPts()'],['../classSVF_1_1PersistentDFPTData.html#a1cd608254a5d4a59b507bb6508e3560d',1,'SVF::PersistentDFPTData::getRevPts()'],['../classSVF_1_1PersistentVersionedPTData.html#a4faa0f91fa8acbd8c818f3abf5db8b5f',1,'SVF::PersistentVersionedPTData::getRevPts()'],['../classSVF_1_1PointerAnalysis.html#ad9af9655a13f3faeaf265ba370d1f280',1,'SVF::PointerAnalysis::getRevPts()'],['../classSVF_1_1BVDataPTAImpl.html#aa30608bc36dcfde45c896d4a15a08ca1',1,'SVF::BVDataPTAImpl::getRevPts()'],['../classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3',1,'SVF::CondPTAImpl::getRevPts(CVar nodeId)'],['../classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9',1,'SVF::CondPTAImpl::getRevPts(NodeID obj)']]],
|
|
819
|
+
['getrhsvar_2854',['getRHSVar',['../classSVF_1_1AssignStmt.html#ad03d28d16754c9049dd4d0ad3b6c1e28',1,'SVF::AssignStmt']]],
|
|
820
|
+
['getrhsvarid_2855',['getRHSVarID',['../classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d',1,'SVF::AssignStmt']]],
|
|
821
|
+
['getsabercondallocator_2856',['getSaberCondAllocator',['../classSVF_1_1SrcSnkDDA.html#af4f725606567ce8cc66b805df87a7afb',1,'SVF::SrcSnkDDA']]],
|
|
822
|
+
['getsccdetector_2857',['getSCCDetector',['../classSVF_1_1WPASolver.html#a37ca8a99b8f83fba796293e6e13b0953',1,'SVF::WPASolver']]],
|
|
823
|
+
['getsccrep_2858',['getSCCRep',['../classSVF_1_1SVFGStat.html#a947dcd586a9ccf8b60243153769aaf31',1,'SVF::SVFGStat']]],
|
|
824
|
+
['getsecondrhssymbol_2859',['getSecondRHSSymbol',['../classSVF_1_1CFGrammar.html#ae5219be7a1d646a0246f7dad560b4f4b',1,'SVF::CFGrammar']]],
|
|
825
|
+
['getsecondrhstoprods_2860',['getSecondRHSToProds',['../classSVF_1_1CFGrammar.html#a2506ec7098c676466744e87d1eb8dd3d',1,'SVF::CFGrammar']]],
|
|
826
|
+
['getservbyname_2861',['getservbyname',['../extapi_8c.html#aaa29998f05105541c3572935ee4008e5',1,'extapi.c']]],
|
|
827
|
+
['getservbyport_2862',['getservbyport',['../extapi_8c.html#a099394fe0553f8ecb44e704298d5812f',1,'extapi.c']]],
|
|
828
|
+
['getsextvalue_2863',['getSExtValue',['../classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4',1,'SVF::SVFConstantInt']]],
|
|
829
|
+
['getsiblingthread_2864',['getSiblingThread',['../classSVF_1_1TCT.html#a60e63f6ddfe78c4cf4fd3a70875b727f',1,'SVF::TCT']]],
|
|
830
|
+
['getsimplenodelabel_2865',['getSimpleNodeLabel',['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html#a5aa39463364e34edd365d8eb743d93c6',1,'SVF::DOTGraphTraits< SVF::CDG * >::getSimpleNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a66e6c63670681d78c6bd42f828b274c0',1,'SVF::DOTGraphTraits< SVF::CFBasicBlockGraph * >::getSimpleNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a8964f2454b3e0887de6a0f3c9731e0aa',1,'SVF::DOTGraphTraits< ICFG * >::getSimpleNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a80aace686045f098dde4acb2087f8541',1,'SVF::DOTGraphTraits< SVFG * >::getSimpleNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#adffdd760b14329018faabd8c523bbb01',1,'SVF::DOTGraphTraits< VFG * >::getSimpleNodeLabel()']]],
|
|
831
|
+
['getsimplifiedvalue_2866',['getSimplifiedValue',['../structSVF_1_1SVFUtil_1_1simplify__type.html#a8046f044d895a5c9aee85de9705161f9',1,'SVF::SVFUtil::simplify_type::getSimplifiedValue()'],['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#ac64f5d9a2ec97aebd7b377319d7f043b',1,'SVF::SVFUtil::simplify_type< const From >::getSimplifiedValue()']]],
|
|
832
|
+
['getsinglerhstoprods_2867',['getSingleRHSToProds',['../classSVF_1_1CFGrammar.html#a8c853ad1e1b30c3ba4efe66b1d0dddf6',1,'SVF::CFGrammar']]],
|
|
833
|
+
['getsinks_2868',['getSinks',['../classSVF_1_1ProgSlice.html#a03a1ef4d56958fa4a0c3a3a95806203d',1,'SVF::ProgSlice::getSinks()'],['../classSVF_1_1SrcSnkDDA.html#a1145c601df2e3dec1e32e43613447b96',1,'SVF::SrcSnkDDA::getSinks()']]],
|
|
834
|
+
['getsolver_2869',['getSolver',['../classSVF_1_1Z3Expr.html#a16721e960145864d0835eb95f2ae4681',1,'SVF::Z3Expr']]],
|
|
835
|
+
['getsource_2870',['getSource',['../classSVF_1_1ProgSlice.html#ac1dc48ea64a89ce37394a22e609a0cd0',1,'SVF::ProgSlice']]],
|
|
836
|
+
['getsourceloc_2871',['getSourceLoc',['../classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b',1,'SVF::SVFValue::getSourceLoc()'],['../namespaceSVF_1_1LLVMUtil.html#a8e4add30bd0ce00d3f2aa2e31c64fef8',1,'SVF::LLVMUtil::getSourceLoc()']]],
|
|
837
|
+
['getsourcelocoffunction_2872',['getSourceLocOfFunction',['../namespaceSVF_1_1LLVMUtil.html#a2b32283ee2dbb9cef1d17ab6f2719e0c',1,'SVF::LLVMUtil']]],
|
|
838
|
+
['getsources_2873',['getSources',['../classSVF_1_1SrcSnkDDA.html#a0c3d3b5ac74aa933178fa46b949d8bef',1,'SVF::SrcSnkDDA']]],
|
|
839
|
+
['getspanfromcxtlock_2874',['getSpanfromCxtLock',['../classSVF_1_1LockAnalysis.html#ae7942c801e05357bb63f08c24489daf6',1,'SVF::LockAnalysis']]],
|
|
840
|
+
['getspawnees_2875',['getSpawnees',['../classSVF_1_1PCG.html#a4aee985ede8e6ed6dd92574494101df9',1,'SVF::PCG']]],
|
|
841
|
+
['getspawners_2876',['getSpawners',['../classSVF_1_1PCG.html#a6efd56a0a1810cf9036dd9203ea5e71e',1,'SVF::PCG']]],
|
|
842
|
+
['getspnam_2877',['getspnam',['../extapi_8c.html#aa1665720390f5730514cc8dd5c4c7bf2',1,'extapi.c']]],
|
|
843
|
+
['getsrccsid_2878',['getSrcCSID',['../classSVF_1_1LeakChecker.html#a8cc561fddf3435b3b40ff4aace23b846',1,'SVF::LeakChecker']]],
|
|
844
|
+
['getsrcid_2879',['getSrcID',['../classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7',1,'SVF::GenericEdge::getSrcID()'],['../classSVF_1_1AssignStmt.html#aa9e1367635f51e5fb456ac885406c990',1,'SVF::AssignStmt::getSrcID()'],['../classSVF_1_1MultiOpndStmt.html#acb793282c0abdef799b02658eebe1b79',1,'SVF::MultiOpndStmt::getSrcID()'],['../classSVF_1_1UnaryOPStmt.html#a38d60ea63e064f8a581f72f64642976d',1,'SVF::UnaryOPStmt::getSrcID()'],['../classSVF_1_1BranchStmt.html#a9425d660cc5a51b720463adc71f4c1f5',1,'SVF::BranchStmt::getSrcID()']]],
|
|
845
|
+
['getsrcnode_2880',['getSrcNode',['../classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589',1,'SVF::GenericEdge::getSrcNode()'],['../classSVF_1_1AssignStmt.html#af4edf3314705e3b589b856b07049edcd',1,'SVF::AssignStmt::getSrcNode()'],['../classSVF_1_1MultiOpndStmt.html#a09cc241c2cb1c89a7d89ef6c605eaed8',1,'SVF::MultiOpndStmt::getSrcNode()'],['../classSVF_1_1UnaryOPStmt.html#ab80b5be6506812c9d58f63478de42e92',1,'SVF::UnaryOPStmt::getSrcNode()'],['../classSVF_1_1BranchStmt.html#af772610e425e2a67f7152bd8d53bf3c5',1,'SVF::BranchStmt::getSrcNode()']]],
|
|
846
|
+
['getssaversion_2881',['getSSAVersion',['../classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88',1,'SVF::MRVer']]],
|
|
847
|
+
['getstartkind_2882',['getStartKind',['../classSVF_1_1GrammarBase.html#a8921a7d7a006e31f13d88b8c808c931b',1,'SVF::GrammarBase::getStartKind()'],['../classSVF_1_1CFLGraph.html#a685fb852b2cd3767258225aa3b87caa4',1,'SVF::CFLGraph::getStartKind()']]],
|
|
848
|
+
['getstartroutineofcxtthread_2883',['getStartRoutineOfCxtThread',['../classSVF_1_1TCT.html#ae25bbfc9c8616186f03c1555d5009ce3',1,'SVF::TCT']]],
|
|
849
|
+
['getstat_2884',['getStat',['../classSVF_1_1SVFG.html#a8ba934714a7f2caf2e041002fdb66137',1,'SVF::SVFG::getStat()'],['../classSVF_1_1PointerAnalysis.html#a0ebf1138011aa526d92470c1931313ad',1,'SVF::PointerAnalysis::getStat()']]],
|
|
850
|
+
['getstdoutfromcommand_2885',['GetStdoutFromCommand',['../ExtAPI_8cpp.html#a424940f91f234b23bcc633f12269f935',1,'ExtAPI.cpp']]],
|
|
851
|
+
['getstinfoid_2886',['getStInfoID',['../classSVF_1_1SVFModuleWriter.html#aad7c19516219f22ea0496e8f042b1b56',1,'SVF::SVFModuleWriter']]],
|
|
852
|
+
['getstinfoptr_2887',['getStInfoPtr',['../classSVF_1_1SVFModuleReader.html#a6cf051df9f75ca42a51ee5b238b7550c',1,'SVF::SVFModuleReader']]],
|
|
853
|
+
['getstinfos_2888',['getStInfos',['../classSVF_1_1SymbolTableInfo.html#a3f33f57ab3acf91156e96ada04f34b5d',1,'SVF::SymbolTableInfo']]],
|
|
854
|
+
['getstmt_2889',['getStmt',['../classSVF_1_1CxtStmt.html#a0b593c4ba425937212e2889e64ce4791',1,'SVF::CxtStmt']]],
|
|
855
|
+
['getstmtreliance_2890',['getStmtReliance',['../classSVF_1_1VersionedFlowSensitive.html#a3489def8e16e4d7c83d2c909d3287fc0',1,'SVF::VersionedFlowSensitive']]],
|
|
856
|
+
['getstmtvfgnode_2891',['getStmtVFGNode',['../classSVF_1_1VFG.html#a32b1586d326fbe47080bd1fa2d3270e6',1,'SVF::VFG']]],
|
|
857
|
+
['getstorecgedges_2892',['getStoreCGEdges',['../classSVF_1_1ConstraintGraph.html#a61ef90be6ccc01634e5440f22a0f746e',1,'SVF::ConstraintGraph']]],
|
|
858
|
+
['getstorechinum_2893',['getStoreChiNum',['../classSVF_1_1MemSSA.html#aa8c45b455e6fc60cab955534c3e50bfa',1,'SVF::MemSSA']]],
|
|
859
|
+
['getstoreinedges_2894',['getStoreInEdges',['../classSVF_1_1ConstraintNode.html#aed5e1f0345aab58031daecfa0c6aac0b',1,'SVF::ConstraintNode']]],
|
|
860
|
+
['getstoremrset_2895',['getStoreMRSet',['../classSVF_1_1MRGenerator.html#a364ad1e34d09a92cdc0cfe530c84880f',1,'SVF::MRGenerator']]],
|
|
861
|
+
['getstoreoperand_2896',['getStoreOperand',['../classSVF_1_1MTAAnnotator.html#a49434afd0d7beb9f5d6580e8f672889c',1,'SVF::MTAAnnotator']]],
|
|
862
|
+
['getstoreoutedges_2897',['getStoreOutEdges',['../classSVF_1_1ConstraintNode.html#a85e67f52e9cda75704e6b5a46af289e7',1,'SVF::ConstraintNode']]],
|
|
863
|
+
['getstorestmt_2898',['getStoreStmt',['../classSVF_1_1StoreCHI.html#a0faba82bc86a12011407f4af00b2d0ad',1,'SVF::StoreCHI']]],
|
|
864
|
+
['getstoretochisetmap_2899',['getStoreToChiSetMap',['../classSVF_1_1MemSSA.html#a97166aa7102816a16734d7e2f1c130b0',1,'SVF::MemSSA']]],
|
|
865
|
+
['getstride_2900',['getStride',['../classSVF_1_1StInfo.html#af5094ec542f345d214a682d4138cf690',1,'SVF::StInfo']]],
|
|
866
|
+
['getstringarg_2901',['getStringArg',['../classSVF_1_1LockResultValidator.html#a1b1b841451fe51cb58417e864a28cbfc',1,'SVF::LockResultValidator::getStringArg()'],['../classSVF_1_1MTAResultValidator.html#a1ac51d2847f9bdee27092ab22211bb61',1,'SVF::MTAResultValidator::getStringArg(const Instruction *inst, unsigned int arg_num)'],['../classSVF_1_1MTAResultValidator.html#a75057911bf08c167ead4232c4a2b25f4',1,'SVF::MTAResultValidator::getStringArg(const Instruction *inst, unsigned int arg_num)']]],
|
|
867
|
+
['getstrongupdatestores_2902',['getStrongUpdateStores',['../classSVF_1_1DDAStat.html#a26b018fc5677e33876bee1200c270e60',1,'SVF::DDAStat']]],
|
|
868
|
+
['getsubnodes_2903',['getSubNodes',['../classSVF_1_1Steensgaard.html#a95ed4be99e201058cb6d994250d2629f',1,'SVF::Steensgaard']]],
|
|
869
|
+
['getsubs_2904',['getSubs',['../classSVF_1_1ConstraintGraph.html#ade6a90ed5e0a9e8615bafec54d9d1d73',1,'SVF::ConstraintGraph']]],
|
|
870
|
+
['getsuccbbandcondvalpairvec_2905',['getSuccBBandCondValPairVec',['../namespaceSVF_1_1LLVMUtil.html#a9001722dd27bf487351725c3d7b65f2f',1,'SVF::LLVMUtil']]],
|
|
871
|
+
['getsuccessor_2906',['getSuccessor',['../classSVF_1_1BranchVFGNode.html#ae611eb1d27846c15b7301017e1864a30',1,'SVF::BranchVFGNode::getSuccessor()'],['../classSVF_1_1BranchStmt.html#a7d9a6ebb2d95942c453864b5327b1ae8',1,'SVF::BranchStmt::getSuccessor()']]],
|
|
872
|
+
['getsuccessorcondvalue_2907',['getSuccessorCondValue',['../classSVF_1_1IntraCFGEdge.html#a106513578790247f9d96e34c8385b3d8',1,'SVF::IntraCFGEdge::getSuccessorCondValue()'],['../classSVF_1_1BranchStmt.html#a7d2fa666602e0444d3e019563c0e7556',1,'SVF::BranchStmt::getSuccessorCondValue()']]],
|
|
873
|
+
['getsuccessors_2908',['getSuccessors',['../classSVF_1_1BranchVFGNode.html#a2ef5951de4760d28adb9d82b22067360',1,'SVF::BranchVFGNode::getSuccessors()'],['../classSVF_1_1BranchStmt.html#a93040c884df211ac62d53ceafdd9c4dd',1,'SVF::BranchStmt::getSuccessors()'],['../classSVF_1_1SVFBasicBlock.html#a66f51cd41e93ad055c4a0c2874e73fae',1,'SVF::SVFBasicBlock::getSuccessors()']]],
|
|
874
|
+
['getsuccinstructions_2909',['getSuccInstructions',['../classSVF_1_1SVFInstruction.html#a281d6b024afeeb96bac281eb23ce3f1f',1,'SVF::SVFInstruction::getSuccInstructions()'],['../classSVF_1_1SVFInstruction.html#a6364671e823166d1192bf791a8dd412b',1,'SVF::SVFInstruction::getSuccInstructions() const']]],
|
|
875
|
+
['getsuccmap_2910',['getSuccMap',['../classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652',1,'SVF::POCRSolver::getSuccMap()'],['../classSVF_1_1POCRSolver.html#ab0c8049934aab960ee734db76086016a',1,'SVF::POCRSolver::getSuccMap(const NodeID key)']]],
|
|
876
|
+
['getsuccnodes_2911',['getSuccNodes',['../classSVF_1_1MTASVFGBuilder.html#a7033805052c8fae5cd0104fdd9e345c0',1,'SVF::MTASVFGBuilder::getSuccNodes(const StmtSVFGNode *n)'],['../classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53',1,'SVF::MTASVFGBuilder::getSuccNodes(const StmtSVFGNode *n, NodeID o)']]],
|
|
877
|
+
['getsuccs_2912',['getSuccs',['../classSVF_1_1POCRSolver.html#ac3ee0745b684b851c3bac9b55bcbb7b9',1,'SVF::POCRSolver']]],
|
|
878
|
+
['getsvfargument_2913',['getSVFArgument',['../classSVF_1_1LLVMModuleSet.html#ad3f66b40ad360003845253f452d6a711',1,'SVF::LLVMModuleSet']]],
|
|
879
|
+
['getsvfbasicblock_2914',['getSVFBasicBlock',['../classSVF_1_1LLVMModuleSet.html#ab0c0f321b6bfbfab2e4ff06d81920ab9',1,'SVF::LLVMModuleSet']]],
|
|
880
|
+
['getsvfcallsite_2915',['getSVFCallSite',['../classSVF_1_1ThreadAPI.html#a9c1e40279cc3b13a3b449b31131d88bc',1,'SVF::ThreadAPI::getSVFCallSite()'],['../namespaceSVF_1_1SVFUtil.html#a9815a5b31ac7dc21239d08e5b9f61106',1,'SVF::SVFUtil::getSVFCallSite(const SVFInstruction *inst)'],['../namespaceSVF_1_1SVFUtil.html#af985ceea64e3e61cf1b5c78467248c2d',1,'SVF::SVFUtil::getSVFCallSite(const SVFValue *value)']]],
|
|
881
|
+
['getsvfconstantdata_2916',['getSVFConstantData',['../classSVF_1_1LLVMModuleSet.html#a25821b0feeb3b08e00ec9d444520b727',1,'SVF::LLVMModuleSet']]],
|
|
882
|
+
['getsvffunction_2917',['getSVFFunction',['../classSVF_1_1LLVMModuleSet.html#a50fc24901350df9db890ba16a9b87e33',1,'SVF::LLVMModuleSet::getSVFFunction(const Function *fun) const'],['../classSVF_1_1LLVMModuleSet.html#a6ff4127e778810f613e594782643ad22',1,'SVF::LLVMModuleSet::getSVFFunction(const std::string &name)'],['../classSVF_1_1SVFModule.html#afdb11f5fcbb6e7ed2689e3387bb78850',1,'SVF::SVFModule::getSVFFunction()']]],
|
|
883
|
+
['getsvfg_2918',['getSVFG',['../classSVF_1_1DDAStat.html#a519cde27934fec9bbe28b4110948a418',1,'SVF::DDAStat::getSVFG()'],['../classSVF_1_1DDAVFSolver.html#acb7980c7e0d1d8ad6abab0b80831d2a9',1,'SVF::DDAVFSolver::getSVFG()'],['../classSVF_1_1SVFGBuilder.html#ad70dc4134a6290223b4168bde146b6d5',1,'SVF::SVFGBuilder::getSVFG()'],['../classSVF_1_1ProgSlice.html#a32ffd130984483b201c485da91ec467f',1,'SVF::ProgSlice::getSVFG()'],['../classSVF_1_1SrcSnkDDA.html#a529b40c870c74309440f025e490bb161',1,'SVF::SrcSnkDDA::getSVFG()'],['../classSVF_1_1FlowSensitive.html#a74f35ec76e2c7cf39355e0c148d973be',1,'SVF::FlowSensitive::getSVFG()']]],
|
|
884
|
+
['getsvfglobalvalue_2919',['getSVFGlobalValue',['../classSVF_1_1LLVMModuleSet.html#a3cbba2eb702a3481478b2590dfffa352',1,'SVF::LLVMModuleSet']]],
|
|
885
|
+
['getsvfgnode_2920',['getSVFGNode',['../classSVF_1_1SVFG.html#a7ace06b6c893b31f7dec2abe54e33e11',1,'SVF::SVFG::getSVFGNode()'],['../classSVF_1_1SVFGNodeLockSpan.html#ac6b8a2fd39afa60cdb8379c0377eb50f',1,'SVF::SVFGNodeLockSpan::getSVFGNode()']]],
|
|
886
|
+
['getsvfgnodebb_2921',['getSVFGNodeBB',['../classSVF_1_1ProgSlice.html#abca08cad9cadc72caf6743df3ff934e7',1,'SVF::ProgSlice']]],
|
|
887
|
+
['getsvfgnodenum_2922',['getSVFGNodeNum',['../classSVF_1_1SVFG.html#ac965abfbe9bdc872f98b36a171a7b5aa',1,'SVF::SVFG']]],
|
|
888
|
+
['getsvfgscc_2923',['getSVFGSCC',['../classSVF_1_1DDAVFSolver.html#a1fdd7c0efa8f0506edfba2da8f2b3cc0',1,'SVF::DDAVFSolver']]],
|
|
889
|
+
['getsvfgsccrepnode_2924',['getSVFGSCCRepNode',['../classSVF_1_1DDAVFSolver.html#a1583ed2eb1d4b88dc2a5b4c0b6842496',1,'SVF::DDAVFSolver']]],
|
|
890
|
+
['getsvfinstruction_2925',['getSVFInstruction',['../classSVF_1_1LLVMModuleSet.html#ae74f307b6f96950ceedb2c375ef1c3a3',1,'SVF::LLVMModuleSet']]],
|
|
891
|
+
['getsvfloopid_2926',['getSvfLoopID',['../classSVF_1_1ICFGWriter.html#a7c041629b3863525ded06ffe7d971940',1,'SVF::ICFGWriter']]],
|
|
892
|
+
['getsvfloopptr_2927',['getSVFLoopPtr',['../classSVF_1_1ICFGReader.html#a59f46288e7dad3ba31d106faeca277ef',1,'SVF::ICFGReader']]],
|
|
893
|
+
['getsvfloops_2928',['getSVFLoops',['../classSVF_1_1ICFG.html#a490e7f2a5a0452d513895d5f24c72d8e',1,'SVF::ICFG']]],
|
|
894
|
+
['getsvfmodule_2929',['getSVFModule',['../classSVF_1_1LLVMModuleSet.html#a16572a3d7639fa65c699b6c3982fa20e',1,'SVF::LLVMModuleSet::getSVFModule()'],['../classSVF_1_1TCT.html#aabc2c84e951ed9ae64207e379acb3074',1,'SVF::TCT::getSVFModule()'],['../classSVF_1_1SVFModule.html#ab930bb5449538c4d0da1297a103788a1',1,'SVF::SVFModule::getSVFModule()']]],
|
|
895
|
+
['getsvfothervalue_2930',['getSVFOtherValue',['../classSVF_1_1LLVMModuleSet.html#a0ef17c1d5e6a95c597d2334ea577a965',1,'SVF::LLVMModuleSet']]],
|
|
896
|
+
['getsvfstmtlist_2931',['getSVFStmtList',['../classSVF_1_1SVFIR.html#a570ad42ad516e3fabb91a3563b618c0b',1,'SVF::SVFIR']]],
|
|
897
|
+
['getsvfstmts_2932',['getSVFStmts',['../classSVF_1_1ICFGNode.html#a6c68f52dd90728073fb79141df9b0661',1,'SVF::ICFGNode']]],
|
|
898
|
+
['getsvfstmtset_2933',['getSVFStmtSet',['../classSVF_1_1SVFIR.html#ae2006820c0d00482b85e7ae3adcb5744',1,'SVF::SVFIR']]],
|
|
899
|
+
['getsvftype_2934',['getSVFType',['../classSVF_1_1LLVMModuleSet.html#a5f0bd932f3129a9c565f3a09711f7b99',1,'SVF::LLVMModuleSet']]],
|
|
900
|
+
['getsvftypeid_2935',['getSVFTypeID',['../classSVF_1_1SVFModuleWriter.html#ab03e007e2417f90f8030d1f5923087d8',1,'SVF::SVFModuleWriter']]],
|
|
901
|
+
['getsvftypeptr_2936',['getSVFTypePtr',['../classSVF_1_1SVFModuleReader.html#af5d3ac82ce9e4dbd72b5ed07e18c790f',1,'SVF::SVFModuleReader']]],
|
|
902
|
+
['getsvftypes_2937',['getSVFTypes',['../classSVF_1_1SymbolTableInfo.html#ae89711eedd0011cf9219604dab4f71d8',1,'SVF::SymbolTableInfo']]],
|
|
903
|
+
['getsvfvalue_2938',['getSVFValue',['../classSVF_1_1LLVMModuleSet.html#afdd77bc1fca91f70b2ec362f1dacd392',1,'SVF::LLVMModuleSet']]],
|
|
904
|
+
['getsvfvalueid_2939',['getSVFValueID',['../classSVF_1_1SVFModuleWriter.html#a0598a4c2af139b600a44360849933c38',1,'SVF::SVFModuleWriter']]],
|
|
905
|
+
['getsvfvalueptr_2940',['getSVFValuePtr',['../classSVF_1_1SVFModuleWriter.html#a285cf97ecb4fd1cdbc19e67779ef84ee',1,'SVF::SVFModuleWriter::getSVFValuePtr()'],['../classSVF_1_1SVFModuleReader.html#ab24ead498f61498c68a726f1b192936d',1,'SVF::SVFModuleReader::getSVFValuePtr()']]],
|
|
906
|
+
['getsymbol_2941',['getSymbol',['../classSVF_1_1GrammarBase.html#afb21efe07e3451ad8284cab384963f06',1,'SVF::GrammarBase']]],
|
|
907
|
+
['getsymbolinfo_2942',['getSymbolInfo',['../classSVF_1_1IRGraph.html#a9f7c24325d897b598d6b989fdc4aae1e',1,'SVF::IRGraph']]],
|
|
908
|
+
['gettails_2943',['getTails',['../classSVF_1_1CFBasicBlockGWTO.html#a4fb40a0bed7cad99e9be5480455a6a71',1,'SVF::CFBasicBlockGWTO']]],
|
|
909
|
+
['gettaskdataathareparforsite_2944',['getTaskDataAtHareParForSite',['../classSVF_1_1ThreadAPI.html#a8c6617f2df59ff166b13242060707013',1,'SVF::ThreadAPI::getTaskDataAtHareParForSite(const SVFInstruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a34ea034a2bd7b7cb51317ed441ca5b38',1,'SVF::ThreadAPI::getTaskDataAtHareParForSite(CallSite cs) const'],['../namespaceSVF_1_1SVFUtil.html#a2f74db48793a0db76c000ffecf9e1bd2',1,'SVF::SVFUtil::getTaskDataAtHareParForSite(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a4ace2d63934e97fd8b8dbbdf378c534c',1,'SVF::SVFUtil::getTaskDataAtHareParForSite(const SVFInstruction *inst)']]],
|
|
910
|
+
['gettaskfuncathareparforsite_2945',['getTaskFuncAtHareParForSite',['../classSVF_1_1ThreadAPI.html#ab15b12637a557b53b92e9087eaf66cd6',1,'SVF::ThreadAPI::getTaskFuncAtHareParForSite(const SVFInstruction *inst) const'],['../classSVF_1_1ThreadAPI.html#ae72d7dcd1e0836e5d1c5a2c682abe31c',1,'SVF::ThreadAPI::getTaskFuncAtHareParForSite(CallSite cs) const'],['../namespaceSVF_1_1SVFUtil.html#a5cee46f58bdab3f9b1c698e97290152f',1,'SVF::SVFUtil::getTaskFuncAtHareParForSite(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#aa45cda6380bdd53ba88268aa8cf336e5',1,'SVF::SVFUtil::getTaskFuncAtHareParForSite(const SVFInstruction *inst)']]],
|
|
911
|
+
['gettcg_2946',['getTCG',['../classSVF_1_1LockAnalysis.html#a96a6cfddc8f7115294e8ad49a097b938',1,'SVF::LockAnalysis::getTCG()'],['../classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6',1,'SVF::ForkJoinAnalysis::getTCG()']]],
|
|
912
|
+
['gettct_2947',['getTCT',['../classSVF_1_1LockAnalysis.html#a3e0bdc0a404d0b77ae0a1dde49c6b43d',1,'SVF::LockAnalysis::getTCT()'],['../classSVF_1_1MHP.html#a033936547612c54326a604f0ff1e39a6',1,'SVF::MHP::getTCT()']]],
|
|
913
|
+
['gettctedgenum_2948',['getTCTEdgeNum',['../classSVF_1_1TCT.html#a6ac3c91742a6e9088c4e9cf1b7d2f42e',1,'SVF::TCT']]],
|
|
914
|
+
['gettctnode_2949',['getTCTNode',['../classSVF_1_1TCT.html#a7b4ad0b052e1f8b6869733eef15f4e4d',1,'SVF::TCT::getTCTNode(NodeID id) const'],['../classSVF_1_1TCT.html#aac9d98a33fbaa6defa3f847d0bbe76d6',1,'SVF::TCT::getTCTNode(const CxtThread &ct) const']]],
|
|
915
|
+
['gettctnodenum_2950',['getTCTNodeNum',['../classSVF_1_1TCT.html#af03bfeae7e09a9f62d96ba59632e588f',1,'SVF::TCT']]],
|
|
916
|
+
['getterminals_2951',['getTerminals',['../classSVF_1_1GrammarBase.html#a44232dfc5b9a13dfe9b72ff18634ab37',1,'SVF::GrammarBase']]],
|
|
917
|
+
['getterminator_2952',['getTerminator',['../classSVF_1_1SVFBasicBlock.html#a10707086ce21999f415c479706abbd38',1,'SVF::SVFBasicBlock']]],
|
|
918
|
+
['gettext_2953',['gettext',['../extapi_8c.html#a1d8bce957bf9aadbd0eb67f5c8fc77d3',1,'extapi.c']]],
|
|
919
|
+
['getthread_2954',['getThread',['../classSVF_1_1CxtThread.html#addee4e560a470eec9fbbf17efee906a9',1,'SVF::CxtThread']]],
|
|
920
|
+
['getthreadapi_2955',['getThreadAPI',['../classSVF_1_1ThreadCallGraph.html#adcad8524a53baf256cd45503ec568c10',1,'SVF::ThreadCallGraph::getThreadAPI()'],['../classSVF_1_1ThreadAPI.html#a6852ff1eedc1117e95e45e4a90c80d53',1,'SVF::ThreadAPI::getThreadAPI()']]],
|
|
921
|
+
['getthreadcallgraph_2956',['getThreadCallGraph',['../classSVF_1_1MHP.html#a20e740d4b96ef086b6b5778acd38ca88',1,'SVF::MHP::getThreadCallGraph()'],['../classSVF_1_1TCT.html#a1602d02773578bca73dcbd29b95c67d0',1,'SVF::TCT::getThreadCallGraph()']]],
|
|
922
|
+
['getthreadstmtset_2957',['getThreadStmtSet',['../classSVF_1_1MHP.html#a4ce3b9ad740aa7b74a1ae2192aeeb9d8',1,'SVF::MHP']]],
|
|
923
|
+
['getthunktarget_2958',['getThunkTarget',['../namespaceSVF_1_1LLVMUtil.html#aab1cb59036d181e20a477bf1eebd81ff',1,'SVF::LLVMUtil']]],
|
|
924
|
+
['gettid_2959',['getTid',['../classSVF_1_1CxtThreadStmt.html#a3b8f641f2fb7ade7052cae1ee6463884',1,'SVF::CxtThreadStmt::getTid()'],['../classSVF_1_1CxtThreadProc.html#a61d950c7469f4bb9d2152b0e7d892ebf',1,'SVF::CxtThreadProc::getTid()']]],
|
|
925
|
+
['gettopstackver_2960',['getTopStackVer',['../classSVF_1_1MemSSA.html#ad550a453d5b2daa6c72e7752f6b5ea79',1,'SVF::MemSSA']]],
|
|
926
|
+
['gettotalcallsitenumber_2961',['getTotalCallSiteNumber',['../classSVF_1_1PTACallGraph.html#aab4214b734d00f5db59385535419ca58',1,'SVF::PTACallGraph']]],
|
|
927
|
+
['gettotaledgenum_2962',['getTotalEdgeNum',['../classSVF_1_1GenericGraph.html#a29cab1426b0000bd87c026ab8c9979c0',1,'SVF::GenericGraph']]],
|
|
928
|
+
['gettotalkind_2963',['getTotalKind',['../classSVF_1_1GrammarBase.html#a76e0969670709e24532756e56aafab19',1,'SVF::GrammarBase']]],
|
|
929
|
+
['gettotalnodenum_2964',['getTotalNodeNum',['../classSVF_1_1GenericGraph.html#a8c8d16036008f87c7811586047599858',1,'SVF::GenericGraph']]],
|
|
930
|
+
['gettotalsymnum_2965',['getTotalSymNum',['../classSVF_1_1SymbolTableInfo.html#a26eb45eab3da4695a6e5bad51b01ddc5',1,'SVF::SymbolTableInfo']]],
|
|
931
|
+
['gettruecond_2966',['getTrueCond',['../classSVF_1_1ProgSlice.html#a59cbb196069a863830b05904f16a190e',1,'SVF::ProgSlice::getTrueCond()'],['../classSVF_1_1SaberCondAllocator.html#ab9d7f1f5c5f22b190ec34255dead41b3',1,'SVF::SaberCondAllocator::getTrueCond()'],['../classSVF_1_1Z3Expr.html#aaa0c9122f34208235a2d830432665752',1,'SVF::Z3Expr::getTrueCond()']]],
|
|
932
|
+
['gettruevalue_2967',['getTrueValue',['../classSVF_1_1SelectStmt.html#a537c03b08444da34c26b9e989bb0e568',1,'SVF::SelectStmt']]],
|
|
933
|
+
['gettruez3expr_2968',['getTrueZ3Expr',['../classSVF_1_1ConsExeState.html#a823502a869baf70a07294e265601cf2f',1,'SVF::ConsExeState']]],
|
|
934
|
+
['gettype_2969',['getType',['../classSVF_1_1DCHNode.html#aaf4036d892bdae02a01d31bfe3db2153',1,'SVF::DCHNode::getType()'],['../classSVF_1_1MSSAMU.html#a9a542febe746d1389d34e5e31a3253c9',1,'SVF::MSSAMU::getType()'],['../classSVF_1_1MSSADEF.html#a4cabef62b821efb0c88efb304fd0a70c',1,'SVF::MSSADEF::getType()'],['../classSVF_1_1SaberCheckerAPI.html#ab0cdd9671c406e8d881f0a057fe44081',1,'SVF::SaberCheckerAPI::getType()'],['../classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821',1,'SVF::SVFValue::getType()'],['../classSVF_1_1CallSite.html#a93e70225ce9c55ca65ea9d5cf737206f',1,'SVF::CallSite::getType()'],['../classSVF_1_1SVFVar.html#ab6f95d3e7e099d75cfc9645ebc037047',1,'SVF::SVFVar::getType()'],['../classSVF_1_1ObjVar.html#a211bd0b8520af2ceb769aba1d7631ff8',1,'SVF::ObjVar::getType()'],['../classSVF_1_1GepValVar.html#a1e2309d2f36422a15216f9916325e554',1,'SVF::GepValVar::getType()'],['../classSVF_1_1GepObjVar.html#a1134621fcfa81732f882784aa4197e11',1,'SVF::GepObjVar::getType()'],['../classSVF_1_1MemObj.html#a16dbca26cbb5af9be4a0b0aa04325810',1,'SVF::MemObj::getType()'],['../classSVF_1_1ObjTypeInfo.html#aaffd94b311238f183031a525376c55a2',1,'SVF::ObjTypeInfo::getType()'],['../classSVF_1_1ThreadAPI.html#a768a655dffc5fcf1d63e2a0b3f2930f4',1,'SVF::ThreadAPI::getType()']]],
|
|
935
|
+
['gettypedefs_2970',['getTypedefs',['../classSVF_1_1DCHNode.html#ac77edc44c3c5acc185c27c018837d066',1,'SVF::DCHNode']]],
|
|
936
|
+
['gettypeinfo_2971',['getTypeInfo',['../classSVF_1_1SVFType.html#a05850c17c2dbe42e5602dc8c9a70f3bd',1,'SVF::SVFType::getTypeInfo()'],['../classSVF_1_1SVFType.html#af25ae6ae537f65f96917a66ce1bb3cf1',1,'SVF::SVFType::getTypeInfo() const'],['../classSVF_1_1SymbolTableInfo.html#a5dc699aa85fe879eb4b2c9109cf3030d',1,'SVF::SymbolTableInfo::getTypeInfo()']]],
|
|
937
|
+
['gettypelocsetsmap_2972',['getTypeLocSetsMap',['../classSVF_1_1SVFIR.html#adb6db6407bdc9a39e5bf8cd941f0ad15',1,'SVF::SVFIR']]],
|
|
938
|
+
['gettypeofelement_2973',['getTypeOfElement',['../classSVF_1_1SVFArrayType.html#a28da1169748e38b891133b76568a2759',1,'SVF::SVFArrayType']]],
|
|
939
|
+
['gettypeofheapalloc_2974',['getTypeOfHeapAlloc',['../namespaceSVF_1_1LLVMUtil.html#ae368713463c84425f9a1ad27ff401a47',1,'SVF::LLVMUtil']]],
|
|
940
|
+
['gettypesizeinbytes_2975',['getTypeSizeInBytes',['../namespaceSVF_1_1LLVMUtil.html#a09683d4d88a50fa621809c734465f94d',1,'SVF::LLVMUtil::getTypeSizeInBytes(const Type *type)'],['../namespaceSVF_1_1LLVMUtil.html#a2b5fdf455c5dd40c0baa60185e5e41c6',1,'SVF::LLVMUtil::getTypeSizeInBytes(const StructType *sty, u32_t field_index)']]],
|
|
941
|
+
['gettypesystem_2976',['getTypeSystem',['../classSVF_1_1PointerAnalysis.html#ae615dd279fbf681e3c15e7209e3adfbe',1,'SVF::PointerAnalysis']]],
|
|
942
|
+
['getunaryopvfgnode_2977',['getUnaryOPVFGNode',['../classSVF_1_1VFG.html#a1ba67eb17437a1a47c230614c1e3d9fd',1,'SVF::VFG']]],
|
|
943
|
+
['getunifyexit_2978',['getUnifyExit',['../classSVF_1_1MergeFunctionRets.html#a0644ac0f560911632855d9129f3d71ca',1,'SVF::MergeFunctionRets']]],
|
|
944
|
+
['getuniqueuseviacastinst_2979',['getUniqueUseViaCastInst',['../namespaceSVF_1_1LLVMUtil.html#a837d19c740902c419206287bdb21273b',1,'SVF::LLVMUtil']]],
|
|
945
|
+
['getvaddrs_2980',['getVAddrs',['../classSVF_1_1ConsExeState.html#a6205eb8ceaba400a2ad5a554abaed096',1,'SVF::ConsExeState::getVAddrs()'],['../classSVF_1_1ExeState.html#a789f023e4b5938324993b37021265f53',1,'SVF::ExeState::getVAddrs()'],['../classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe',1,'SVF::IntervalExeState::getVAddrs()'],['../classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270',1,'SVF::SVFIR2ItvExeState::getVAddrs()']]],
|
|
946
|
+
['getvals_2981',['getVals',['../classSVF_1_1AddressValue.html#a3115c89c7f98cc2e737ce87fd7420ca3',1,'SVF::AddressValue']]],
|
|
947
|
+
['getvalsym_2982',['getValSym',['../classSVF_1_1SymbolTableInfo.html#a72be51342f633844f59c5a46b7e01583',1,'SVF::SymbolTableInfo']]],
|
|
948
|
+
['getvalue_2983',['getValue',['../classSVF_1_1VFGNode.html#aec9bb5040f30ab722ce917af41b006f0',1,'SVF::VFGNode::getValue()'],['../classSVF_1_1StmtVFGNode.html#a8c9af51d2f3425f6b8de70ffe1795292',1,'SVF::StmtVFGNode::getValue()'],['../classSVF_1_1CmpVFGNode.html#a644e48dbbd5a97f54f6d586e7d168297',1,'SVF::CmpVFGNode::getValue()'],['../classSVF_1_1BinaryOPVFGNode.html#a1e0dba35433edfc8f1e57a02209734cc',1,'SVF::BinaryOPVFGNode::getValue()'],['../classSVF_1_1PHIVFGNode.html#aef22470b2a3c18ac99fd912fc906fd00',1,'SVF::PHIVFGNode::getValue()'],['../classSVF_1_1ArgumentVFGNode.html#ac142fd44a7a344e24cad0de7a217f93e',1,'SVF::ArgumentVFGNode::getValue()'],['../classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2',1,'SVF::SVFStmt::getValue()'],['../classSVF_1_1SVFVar.html#ac2db6304ea5526fb446ae882983beeb0',1,'SVF::SVFVar::getValue()'],['../classSVF_1_1MemObj.html#a2f70e9c830b18f25c56b530722f106c4',1,'SVF::MemObj::getValue()']]],
|
|
949
|
+
['getvalueedges_2984',['getValueEdges',['../classSVF_1_1IRGraph.html#a617f328b84d09974c81563cca3938b84',1,'SVF::IRGraph']]],
|
|
950
|
+
['getvaluename_2985',['getValueName',['../classSVF_1_1SVFVar.html#a54b2a5ed3ed21e54eaf04182f0338333',1,'SVF::SVFVar::getValueName()'],['../classSVF_1_1ValVar.html#aeaccfd3bf5f968ad12d7e1a2426e5faa',1,'SVF::ValVar::getValueName()'],['../classSVF_1_1ObjVar.html#ac1609e2e3b6843c6f7992e425771fce3',1,'SVF::ObjVar::getValueName()'],['../classSVF_1_1GepValVar.html#ae89482e674768298f49e51df4ebe63e3',1,'SVF::GepValVar::getValueName()'],['../classSVF_1_1GepObjVar.html#a88f86fe8abcb0550d838e5de11ae3ef7',1,'SVF::GepObjVar::getValueName()'],['../classSVF_1_1FIObjVar.html#a330b28f8488de9e186bedf73e5576a08',1,'SVF::FIObjVar::getValueName()'],['../classSVF_1_1RetPN.html#a48c099d2b441b4cc298166e2c5866c8f',1,'SVF::RetPN::getValueName()'],['../classSVF_1_1VarArgPN.html#aec7ac87f5fff58b24daea998aaf0cc2a',1,'SVF::VarArgPN::getValueName()'],['../classSVF_1_1DummyValVar.html#a188ddcb95f842245fb97362ff8a06efd',1,'SVF::DummyValVar::getValueName()'],['../classSVF_1_1DummyObjVar.html#aec23bc498cf78ed065565681e14dd2dd',1,'SVF::DummyObjVar::getValueName()']]],
|
|
951
|
+
['getvaluenode_2986',['getValueNode',['../classSVF_1_1SVFIRBuilder.html#acc69fc638380f34164db649d9bf2a7d6',1,'SVF::SVFIRBuilder::getValueNode()'],['../classSVF_1_1ConstraintGraph.html#a095fc7d429d792a5c4c3c67dc40240d5',1,'SVF::ConstraintGraph::getValueNode()'],['../classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc',1,'SVF::IRGraph::getValueNode()']]],
|
|
952
|
+
['getvaluenodenum_2987',['getValueNodeNum',['../classSVF_1_1IRGraph.html#a0212f3fe2f37363e8060f292c8cf7668',1,'SVF::IRGraph']]],
|
|
953
|
+
['getvarargnode_2988',['getVarargNode',['../classSVF_1_1SVFIRBuilder.html#a3fe99644b2bf5f0f9b2b21a56a400ad4',1,'SVF::SVFIRBuilder::getVarargNode()'],['../classSVF_1_1ConstraintGraph.html#a527342ce5ac3b9491d7ad4302145cec5',1,'SVF::ConstraintGraph::getVarargNode()'],['../classSVF_1_1IRGraph.html#a8b10c318674a47035d617b3ade4f069b',1,'SVF::IRGraph::getVarargNode()']]],
|
|
954
|
+
['getvarargsym_2989',['getVarargSym',['../classSVF_1_1SymbolTableInfo.html#a6b0e0b41f3dbc095e8dd8472bbbb5baf',1,'SVF::SymbolTableInfo']]],
|
|
955
|
+
['getvariabledkind_2990',['getVariabledKind',['../classSVF_1_1GrammarBase.html#ad7321168f53baa55098f7c714ec53f1e',1,'SVF::GrammarBase']]],
|
|
956
|
+
['getvartovaddrs_2991',['getVarToVAddrs',['../classSVF_1_1ExeState.html#aebbcf15653f00e07cb7a754d1e314d69',1,'SVF::ExeState']]],
|
|
957
|
+
['getvartoval_2992',['getVarToVal',['../classSVF_1_1ConsExeState.html#a990f50ae338a2e332d333bb3fc04c520',1,'SVF::ConsExeState::getVarToVal()'],['../classSVF_1_1IntervalExeState.html#a4e3e495118c907a29d7705904273f6d3',1,'SVF::IntervalExeState::getVarToVal()'],['../classSVF_1_1RelExeState.html#a9c64d2699cb67cdf8d1c3c23aebf2c4a',1,'SVF::RelExeState::getVarToVal()']]],
|
|
958
|
+
['getvcallidx_2993',['getVCallIdx',['../namespaceSVF_1_1LLVMUtil.html#a718c8ec79f36cef5df2f4530541f2770',1,'SVF::LLVMUtil']]],
|
|
959
|
+
['getvcallthisptr_2994',['getVCallThisPtr',['../namespaceSVF_1_1LLVMUtil.html#a68e7bad8eb537039559d8ddc851032e0',1,'SVF::LLVMUtil']]],
|
|
960
|
+
['getvcallvtblptr_2995',['getVCallVtblPtr',['../namespaceSVF_1_1LLVMUtil.html#a3a23aa54459a068e16c96e5b5eb72f77',1,'SVF::LLVMUtil']]],
|
|
961
|
+
['getversion_2996',['getVersion',['../classSVF_1_1DummyVersionPropSVFGNode.html#af9f0eaf33502af1533dd1244a383d561',1,'SVF::DummyVersionPropSVFGNode::getVersion()'],['../classSVF_1_1VersionedFlowSensitive.html#a6b398d59fc276980dd2d6d48a8675068',1,'SVF::VersionedFlowSensitive::getVersion()']]],
|
|
962
|
+
['getversionedkeyrevpts_2997',['getVersionedKeyRevPts',['../classSVF_1_1VersionedPTData.html#a69ebef10b60b15f813b498607b6059d6',1,'SVF::VersionedPTData::getVersionedKeyRevPts()'],['../classSVF_1_1MutableVersionedPTData.html#afaef5c61bee74cbd649c787cfdef2a03',1,'SVF::MutableVersionedPTData::getVersionedKeyRevPts()'],['../classSVF_1_1PersistentVersionedPTData.html#acabb81409a3767f31227f46e106cb2d0',1,'SVF::PersistentVersionedPTData::getVersionedKeyRevPts()']]],
|
|
963
|
+
['getversionedptdataty_2998',['getVersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a4859864a4c72d5e04c10305e4579e8ee',1,'SVF::BVDataPTAImpl']]],
|
|
964
|
+
['getvfcond_2999',['getVFCond',['../classSVF_1_1ProgSlice.html#aeb1924daad67a0b7ed9e5b4974755261',1,'SVF::ProgSlice']]],
|
|
965
|
+
['getvfgnode_3000',['getVFGNode',['../classSVF_1_1VFG.html#a915fa50effaeea10716b86528b15c6dc',1,'SVF::VFG']]],
|
|
966
|
+
['getvfgnodebegin_3001',['getVFGNodeBegin',['../classSVF_1_1VFG.html#a5166be2c1231a93c9b9ce5f272797b94',1,'SVF::VFG']]],
|
|
967
|
+
['getvfgnodeend_3002',['getVFGNodeEnd',['../classSVF_1_1VFG.html#a28f2bdcbbc0bab00e93df62ea11647a2',1,'SVF::VFG']]],
|
|
968
|
+
['getvfgnodes_3003',['getVFGNodes',['../classSVF_1_1ICFGNode.html#abcc53637a634f7ec92b9c7861b941601',1,'SVF::ICFGNode::getVFGNodes()'],['../classSVF_1_1VFG.html#a18ec674e8ab0285ec086df87e5c591c9',1,'SVF::VFG::getVFGNodes()']]],
|
|
969
|
+
['getvfnsfromcha_3004',['getVFnsFromCHA',['../classSVF_1_1PointerAnalysis.html#ade41f3562704d56c7490dcfc941b3437',1,'SVF::PointerAnalysis']]],
|
|
970
|
+
['getvfnsfrompts_3005',['getVFnsFromPts',['../classSVF_1_1PointerAnalysis.html#a011b8401f5ed5fdb6cd507053465a7a2',1,'SVF::PointerAnalysis']]],
|
|
971
|
+
['getvfnsfromvtbls_3006',['getVFnsFromVtbls',['../classSVF_1_1DCHGraph.html#a6a5d012fda005d45bf3196d1a7d2c6fa',1,'SVF::DCHGraph::getVFnsFromVtbls()'],['../classSVF_1_1CommonCHGraph.html#aae511b2ee7c2c7ea7be70c7884e92021',1,'SVF::CommonCHGraph::getVFnsFromVtbls()'],['../classSVF_1_1CHGraph.html#ac5f5646db24455609cd86c421774dd3e',1,'SVF::CHGraph::getVFnsFromVtbls()']]],
|
|
972
|
+
['getvfnvector_3007',['getVfnVector',['../classSVF_1_1DCHNode.html#a41ba902b643e2aec828be1a89f4536af',1,'SVF::DCHNode']]],
|
|
973
|
+
['getvfnvectors_3008',['getVfnVectors',['../classSVF_1_1DCHNode.html#a806a65f35c9f4ea118c1ef44ddb46079',1,'SVF::DCHNode']]],
|
|
974
|
+
['getvirtualfunctionbasedonid_3009',['getVirtualFunctionBasedonID',['../classSVF_1_1CHGraph.html#a7b678b4362a93e969f11b110b85d35ca',1,'SVF::CHGraph']]],
|
|
975
|
+
['getvirtualfunctionid_3010',['getVirtualFunctionID',['../classSVF_1_1CHGraph.html#a7151563857b7b6bdf8195aa571df7516',1,'SVF::CHGraph']]],
|
|
976
|
+
['getvirtualfunctions_3011',['getVirtualFunctions',['../classSVF_1_1CHNode.html#a1abfdc91ec77cab40d6894f471f0733d',1,'SVF::CHNode']]],
|
|
977
|
+
['getvirtualfunctionvectors_3012',['getVirtualFunctionVectors',['../classSVF_1_1CHNode.html#a5df1cf4d51bf3406d188c96bc9aae0af',1,'SVF::CHNode']]],
|
|
978
|
+
['getvirtualmemaddress_3013',['getVirtualMemAddress',['../classSVF_1_1AddressValue.html#aa6ccc9882f89804cd6566e3dfe3dfdc8',1,'SVF::AddressValue::getVirtualMemAddress()'],['../classSVF_1_1ExeState.html#a2f01e583abcdeb236a11e85c7a8aafdc',1,'SVF::ExeState::getVirtualMemAddress()'],['../classSVF_1_1RelExeState.html#a24408ea140a8d0b5a9fdd1d9d2fbd296',1,'SVF::RelExeState::getVirtualMemAddress()'],['../classSVF_1_1SVFIR2ConsExeState.html#a83b1f0b78e6cd7e45721d32a0998c3a7',1,'SVF::SVFIR2ConsExeState::getVirtualMemAddress()'],['../classSVF_1_1SVFIR2ItvExeState.html#a0c4be1dd8e7a2877c0cc76c404f6945a',1,'SVF::SVFIR2ItvExeState::getVirtualMemAddress()']]],
|
|
979
|
+
['getvtable_3014',['getVTable',['../classSVF_1_1DCHNode.html#a9184a71cd5dae94843ac89f4235d4fa2',1,'SVF::DCHNode::getVTable()'],['../classSVF_1_1CHNode.html#aa49ae91e2dd45c94f3d7694eb7e6737b',1,'SVF::CHNode::getVTable()']]],
|
|
980
|
+
['getvtableptr_3015',['getVtablePtr',['../classSVF_1_1SVFVirtualCallInst.html#a0a012c8124abb103852e081fd5dead7a',1,'SVF::SVFVirtualCallInst::getVtablePtr()'],['../classSVF_1_1CallSite.html#a9b04a0f24be915a6e124106060225a3d',1,'SVF::CallSite::getVtablePtr()']]],
|
|
981
|
+
['getvtblstruct_3016',['getVtblStruct',['../namespaceSVF_1_1LLVMUtil.html#a4f803756f0a73e8564d9544ce27be1c9',1,'SVF::LLVMUtil']]],
|
|
982
|
+
['getwtocycledepth_3017',['getWTOCycleDepth',['../classSVF_1_1CFBasicBlockGWTO.html#a47b0a759cac2b4264b8c01dbe9f1c63f',1,'SVF::CFBasicBlockGWTO::getWTOCycleDepth()'],['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a0efb4902bc6933e28b042edf6fc3f94c',1,'SVF::CFBasicBlockGWTO::TailBuilder::getWTOCycleDepth()']]],
|
|
983
|
+
['getyield_3018',['getYield',['../classSVF_1_1VersionedFlowSensitive.html#a01a199e9fdb5759c7f78ee344dbc413c',1,'SVF::VersionedFlowSensitive']]],
|
|
984
|
+
['getz3expr_3019',['getZ3Expr',['../classSVF_1_1RelExeState.html#ace3b86d12ed10af211d5902ec3fa2e5a',1,'SVF::RelExeState']]],
|
|
985
|
+
['getzextvalue_3020',['getZExtValue',['../classSVF_1_1SVFConstantInt.html#aabc3c47a6e4036bf993fe29fa195bf1e',1,'SVF::SVFConstantInt']]],
|
|
986
|
+
['global_5fbegin_3021',['global_begin',['../classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e',1,'SVF::SVFModule::global_begin()'],['../classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2',1,'SVF::SVFModule::global_begin() const']]],
|
|
987
|
+
['global_5fend_3022',['global_end',['../classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b',1,'SVF::SVFModule::global_end()'],['../classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2',1,'SVF::SVFModule::global_end() const']]],
|
|
988
|
+
['global_5ferror_3023',['global_error',['../cJSON_8cpp.html#a6ff6e9678e47cf5347872008661d5846',1,'cJSON.cpp']]],
|
|
989
|
+
['global_5fhooks_3024',['global_hooks',['../cJSON_8cpp.html#a855c7241e836a5b2d87577df8c113faf',1,'cJSON.cpp']]],
|
|
990
|
+
['global_5fiterator_3025',['global_iterator',['../classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2',1,'SVF::SVFModule']]],
|
|
991
|
+
['global_5fleak_3026',['GLOBAL_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da20b4563d5fc09a0a076800cd02f238f1',1,'SVF::LeakChecker']]],
|
|
992
|
+
['globalalias_3027',['GlobalAlias',['../namespaceSVF.html#a0fd33072b099f61eaa642e94ed0c03fc',1,'SVF']]],
|
|
993
|
+
['globalblock_3028',['GlobalBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ac93cf90864e69a21cbaefccbd48b8648',1,'SVF::ICFGNode']]],
|
|
994
|
+
['globalblocknode_3029',['globalBlockNode',['../classSVF_1_1ICFG.html#a8e43b27d4484a4acb575e4c1c6c8fd02',1,'SVF::ICFG']]],
|
|
995
|
+
['globalconses_3030',['globalConsES',['../classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06',1,'SVF::ConsExeState']]],
|
|
996
|
+
['globaldeftorepmap_3031',['GlobalDefToRepMap',['../classSVF_1_1LLVMModuleSet.html#ae2a1fa0b908cf372c50af90e62c4bf2b',1,'SVF::LLVMModuleSet']]],
|
|
997
|
+
['globaldeftorepmapty_3032',['GlobalDefToRepMapTy',['../classSVF_1_1LLVMModuleSet.html#a4dc808f3f69a87c74933d1f6183d1459',1,'SVF::LLVMModuleSet']]],
|
|
998
|
+
['globales_3033',['globalES',['../classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05',1,'SVF::IntervalExeState']]],
|
|
999
|
+
['globalicfgnode_3034',['GlobalICFGNode',['../classSVF_1_1GlobalICFGNode.html',1,'SVF::GlobalICFGNode'],['../classSVF_1_1GlobalICFGNode.html#a01e8a9844fcad1cc5faa22d8b0e0efd7',1,'SVF::GlobalICFGNode::GlobalICFGNode()']]],
|
|
1000
|
+
['globalifunc_3035',['GlobalIFunc',['../namespaceSVF.html#aacffd97ab4cb45aeae2e67ec479889aa',1,'SVF']]],
|
|
1001
|
+
['globalnullvaddrs_3036',['globalNullVaddrs',['../classSVF_1_1SVFIR2ItvExeState.html#a75d5dfbc8252ef0994951af32aa53b74',1,'SVF::SVFIR2ItvExeState']]],
|
|
1002
|
+
['globalobject_3037',['GlobalObject',['../namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3',1,'SVF']]],
|
|
1003
|
+
['globalset_3038',['GlobalSet',['../classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30',1,'SVF::SVFModule']]],
|
|
1004
|
+
['globalsettype_3039',['GlobalSetType',['../classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f',1,'SVF::SVFModule']]],
|
|
1005
|
+
['globalvalue_3040',['GlobalValue',['../namespaceSVF.html#a67f3f86344f028cacfbeb08caaf7bb0f',1,'SVF']]],
|
|
1006
|
+
['globalvariable_3041',['GlobalVariable',['../namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e',1,'SVF']]],
|
|
1007
|
+
['globalvfgnodes_3042',['globalVFGNodes',['../classSVF_1_1VFG.html#a6c3daf2777cc5f76ce07241f803720f3',1,'SVF::VFG']]],
|
|
1008
|
+
['globalvfgnodeset_3043',['GlobalVFGNodeSet',['../classSVF_1_1VFG.html#a113185086912213257b04daa4590bf13',1,'SVF::VFG']]],
|
|
1009
|
+
['globs_3044',['globs',['../classSVF_1_1SaberSVFGBuilder.html#a967dba864a6032e448222525aedb1f2a',1,'SVF::SaberSVFGBuilder']]],
|
|
1010
|
+
['globsvfgnodes_3045',['globSVFGNodes',['../classSVF_1_1SaberSVFGBuilder.html#a9431a9dcbcf88b78e721b0347046e997',1,'SVF::SaberSVFGBuilder']]],
|
|
1011
|
+
['globsvfstmtset_3046',['globSVFStmtSet',['../classSVF_1_1SVFIR.html#a71b51492b00e66e36266b9a76a842323',1,'SVF::SVFIR']]],
|
|
1012
|
+
['globvar_5fobj_3047',['GLOBVAR_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad2ba0edfac1460f3fd89e7a6c4c4691b',1,'SVF::ObjTypeInfo']]],
|
|
1013
|
+
['gmtime_3048',['gmtime',['../extapi_8c.html#a4c538a7b2efe7d8dfb7bf5956e91a0ad',1,'extapi.c']]],
|
|
1014
|
+
['gmtime_5fr_3049',['gmtime_r',['../extapi_8c.html#a78301bb1e43ee4dda8a7cfd04d99f9e5',1,'extapi.c']]],
|
|
1015
|
+
['gnode_3050',['GNODE',['../classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385',1,'SVF::SrcSnkSolver::GNODE()'],['../classSVF_1_1GraphReachSolver.html#af499845fe35ebe782f660146808506de',1,'SVF::GraphReachSolver::GNODE()'],['../classSVF_1_1SCCDetection.html#a7d7b354d8a7ce69b27dc775ccd192a62',1,'SVF::SCCDetection::GNODE()'],['../classSVF_1_1WPASCCSolver.html#aa40ff9a4090744e66034f9de38f7f45f',1,'SVF::WPASCCSolver::GNODE()'],['../classSVF_1_1WPAMinimumSolver.html#ab694f375b6b15991bc6a7c228db3242b',1,'SVF::WPAMinimumSolver::GNODE()'],['../classSVF_1_1WPASolver.html#a2b0c0c4d1f172e8eeae0230fa09f365e',1,'SVF::WPASolver::GNODE()']]],
|
|
1016
|
+
['gnodek_3051',['GNodeK',['../classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b',1,'SVF::GenericNode::GNodeK()'],['../classSVF_1_1SVFIRReader.html#a5057eb1d6b5f4d91556e6649e1d9e0fe',1,'SVF::SVFIRReader::GNodeK()'],['../classSVF_1_1SVFType.html#a503a35534b72dbea065816f42ebfa9f0',1,'SVF::SVFType::GNodeK()'],['../classSVF_1_1SVFValue.html#a96b29b0f3f0048278b3ec9aa6b6540c4',1,'SVF::SVFValue::GNodeK()']]],
|
|
1017
|
+
['gnodesccinfo_3052',['GNodeSCCInfo',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html',1,'SVF::SCCDetection< GraphType >::GNodeSCCInfo'],['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a4b8c555a11e9eae2065ec1549ce537de',1,'SVF::SCCDetection::GNodeSCCInfo::GNodeSCCInfo()'],['../classSVF_1_1SCCDetection.html#ab3bdd1e73f95735a8f37566c3793bb36',1,'SVF::SCCDetection::GNodeSCCInfo()']]],
|
|
1018
|
+
['gnodesccinfomap_3053',['GNODESCCInfoMap',['../classSVF_1_1SCCDetection.html#a56c28264d14062354e3272a4a993a1ec',1,'SVF::SCCDetection']]],
|
|
1019
|
+
['gnodestack_3054',['GNodeStack',['../classSVF_1_1SCCDetection.html#a84fc3aef6f950471a539b7d9fa3c1289',1,'SVF::SCCDetection']]],
|
|
1020
|
+
['gnu_5fget_5flibc_5fversion_3055',['gnu_get_libc_version',['../extapi_8c.html#abccccf00b2d20e810f04ae4133abaded',1,'extapi.c']]],
|
|
1021
|
+
['gnutls_5fcheck_5fversion_3056',['gnutls_check_version',['../extapi_8c.html#a81b6ce96363d37bbf41acb26ae8b25eb',1,'extapi.c']]],
|
|
1022
|
+
['grammar_3057',['grammar',['../classSVF_1_1CFLBase.html#a8dd040c7078b7f1a61da76849c89a640',1,'SVF::CFLBase::grammar()'],['../classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d',1,'SVF::CFLSolver::grammar()'],['../classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa',1,'SVF::GrammarBuilder::grammar()']]],
|
|
1023
|
+
['grammarbase_3058',['GrammarBase',['../classSVF_1_1GrammarBase.html',1,'SVF::GrammarBase'],['../classSVF_1_1CFLBase.html#aef3da4ce970597586757cafd2a435c1f',1,'SVF::CFLBase::grammarBase()']]],
|
|
1024
|
+
['grammarbuilder_3059',['GrammarBuilder',['../classSVF_1_1GrammarBuilder.html',1,'SVF::GrammarBuilder'],['../classSVF_1_1GrammarBuilder.html#a423310118382fa2d5afe169a290a355b',1,'SVF::GrammarBuilder::GrammarBuilder()']]],
|
|
1025
|
+
['grammarbuilder_2ecpp_3060',['GrammarBuilder.cpp',['../GrammarBuilder_8cpp.html',1,'']]],
|
|
1026
|
+
['grammarbuilder_2eh_3061',['GrammarBuilder.h',['../GrammarBuilder_8h.html',1,'']]],
|
|
1027
|
+
['grammarfilename_3062',['GrammarFilename',['../classSVF_1_1Options.html#ad09017ae2e1010fbba5c086a4772750f',1,'SVF::Options']]],
|
|
1028
|
+
['graph_3063',['graph',['../classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f',1,'SVF::CFLBase::graph()'],['../classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2',1,'SVF::CFLSolver::graph()'],['../classSVF_1_1SVFGStat.html#a3d06ead4c3222ce8a0535d9f3d504c3d',1,'SVF::SVFGStat::graph()'],['../classSVF_1_1SrcSnkSolver.html#ae66ed69eb3412c2eef14ef2f86a34c6c',1,'SVF::SrcSnkSolver::graph()'],['../classSVF_1_1GraphReachSolver.html#a88775eedbbc3039caac1e350b48aa838',1,'SVF::GraphReachSolver::graph()'],['../classSVF_1_1SCCDetection.html#a1b8b57a3ea3740f36a19afc8bd42033d',1,'SVF::SCCDetection::graph()'],['../classSVF_1_1WPASolver.html#abe0a304039d1bd2cfd7befd32fdcde2b',1,'SVF::WPASolver::graph()'],['../structSVF_1_1Inverse.html#a2037408b7047e9265b4b14e54bb584a2',1,'SVF::Inverse::Graph()']]],
|
|
1029
|
+
['graphfieldjson_3064',['graphFieldJson',['../classSVF_1_1GenericGraphReader.html#a2438233e46ad0a052ec1352de977df88',1,'SVF::GenericGraphReader']]],
|
|
1030
|
+
['graphprinter_3065',['GraphPrinter',['../classSVF_1_1GraphPrinter.html',1,'SVF::GraphPrinter'],['../classSVF_1_1GraphPrinter.html#a5adb844506085e9ba66c1688f9548a25',1,'SVF::GraphPrinter::GraphPrinter()'],['../namespaceSVF.html#ac8f90a58fd0d8e775e290b31f8ea9ce9',1,'SVF::GraphPrinter()']]],
|
|
1031
|
+
['graphprinter_2eh_3066',['GraphPrinter.h',['../GraphPrinter_8h.html',1,'']]],
|
|
1032
|
+
['graphreachsolver_3067',['GraphReachSolver',['../classSVF_1_1GraphReachSolver.html',1,'SVF::GraphReachSolver< GraphType, DPIm >'],['../classSVF_1_1GraphReachSolver.html#a766dc60e7ce7b24b829ba591d069c174',1,'SVF::GraphReachSolver::GraphReachSolver()']]],
|
|
1033
|
+
['graphreachsolver_2eh_3068',['GraphReachSolver.h',['../GraphReachSolver_8h.html',1,'']]],
|
|
1034
|
+
['graphsize_3069',['graphSize',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a309cc7faf9df46d2c9bfeaa2bdcd4601',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >']]],
|
|
1035
|
+
['graphtraits_2eh_3070',['GraphTraits.h',['../GraphTraits_8h.html',1,'']]],
|
|
1036
|
+
['graphtxt_3071',['Graphtxt',['../classSVF_1_1Options.html#a53f783c80f368bcdca6c7620229d6f8e',1,'SVF::Options']]],
|
|
1037
|
+
['graphtype_3072',['GraphType',['../classSVF_1_1GenericGraphWriter.html#a2c6d4c492b073f1b11440f606ed3cc92',1,'SVF::GenericGraphWriter']]],
|
|
1038
|
+
['graphwriter_3073',['GraphWriter',['../classSVF_1_1GraphWriter.html',1,'SVF::GraphWriter< GraphType >'],['../classSVF_1_1GraphWriter.html#afd8fec784307b919d1cb89b49533600e',1,'SVF::GraphWriter::GraphWriter()']]],
|
|
1039
|
+
['graphwriter_2ecpp_3074',['GraphWriter.cpp',['../GraphWriter_8cpp.html',1,'']]],
|
|
1040
|
+
['graphwriter_2eh_3075',['GraphWriter.h',['../GraphWriter_8h.html',1,'']]],
|
|
1041
|
+
['gtraits_3076',['GTraits',['../classSVF_1_1GraphWriter.html#a65144f9ff432d21ad2751287a7237b3f',1,'SVF::GraphWriter::GTraits()'],['../classSVF_1_1SrcSnkSolver.html#aa786e629a4f1f64291a1de168e597ff6',1,'SVF::SrcSnkSolver::GTraits()'],['../classSVF_1_1GraphReachSolver.html#a70b93c20acbf28603b472d93dd602b7b',1,'SVF::GraphReachSolver::GTraits()'],['../classSVF_1_1SCCDetection.html#a862d30c661897fb8a5d60abcfa45da12',1,'SVF::SCCDetection::GTraits()'],['../classSVF_1_1WPASCCSolver.html#a1ae985e2ff1a63320f6cbbb20053d808',1,'SVF::WPASCCSolver::GTraits()'],['../classSVF_1_1WPAMinimumSolver.html#a659448a7dbf9e39e7aef785540088324',1,'SVF::WPAMinimumSolver::GTraits()'],['../classSVF_1_1WPASolver.html#a6be76c9bcdfc254a8973a444c369bd23',1,'SVF::WPASolver::GTraits()']]],
|
|
1042
|
+
['gzgets_3077',['gzgets',['../extapi_8c.html#ac84ce7ca37e7c4e94aec43868a755cac',1,'extapi.c']]]
|
|
1041
1043
|
];
|