svf-tools 1.0.829 → 1.0.830
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 +225 -224
- package/SVF-doxygen/html/AccessPath_8h_source.html +11 -11
- package/SVF-doxygen/html/AndersenSFR_8cpp_source.html +1 -1
- package/SVF-doxygen/html/Andersen_8cpp_source.html +1 -1
- package/SVF-doxygen/html/BasicTypes_8h.html +2 -0
- package/SVF-doxygen/html/BasicTypes_8h_source.html +123 -121
- package/SVF-doxygen/html/CFLAlias_8cpp_source.html +1 -1
- package/SVF-doxygen/html/CFLGraphBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/CHGBuilder_8cpp_source.html +11 -11
- package/SVF-doxygen/html/ConsG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/ConsG_8h_source.html +1 -1
- package/SVF-doxygen/html/ContextDDA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/ContextDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/CxtStmt_8h_source.html +1 -1
- package/SVF-doxygen/html/DCHG_8cpp_source.html +12 -12
- package/SVF-doxygen/html/DCHG_8h_source.html +5 -5
- package/SVF-doxygen/html/DDAClient_8cpp_source.html +2 -2
- package/SVF-doxygen/html/DDAStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/DDAVFSolver_8h_source.html +4 -4
- package/SVF-doxygen/html/FlowDDA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/FlowDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/FlowSensitiveStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/ICFGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/ICFG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/IRGraph_8h_source.html +2 -2
- package/SVF-doxygen/html/LLVMModule_8cpp_source.html +145 -144
- package/SVF-doxygen/html/LLVMModule_8h_source.html +3 -3
- package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +1138 -1066
- package/SVF-doxygen/html/LLVMUtil_8h.html +2 -0
- package/SVF-doxygen/html/LLVMUtil_8h_source.html +419 -414
- package/SVF-doxygen/html/LockResultValidator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/MHP_8cpp_source.html +1 -1
- package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/MemRegion_8cpp_source.html +3 -3
- package/SVF-doxygen/html/MemSSA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/PointerAnalysisImpl_8cpp_source.html +4 -4
- package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +363 -362
- package/SVF-doxygen/html/PointerAnalysis_8h_source.html +13 -13
- package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +7 -7
- package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +11 -10
- package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +927 -924
- package/SVF-doxygen/html/SVFIRBuilder_8h_source.html +35 -34
- package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SVFIR_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFIR_8h_source.html +1 -1
- package/SVF-doxygen/html/SVFStat_8cpp_source.html +12 -12
- package/SVF-doxygen/html/SVFStatements_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFStatements_8h_source.html +2 -2
- package/SVF-doxygen/html/SVFType_8cpp_source.html +38 -37
- package/SVF-doxygen/html/SVFType_8h_source.html +5 -5
- package/SVF-doxygen/html/SVFValue_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFValue_8h_source.html +1 -1
- package/SVF-doxygen/html/SVFVariables_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFVariables_8h_source.html +1 -1
- package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/Steensgaard_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +653 -651
- package/SVF-doxygen/html/SymbolTableBuilder_8h_source.html +17 -17
- package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +339 -338
- package/SVF-doxygen/html/SymbolTableInfo_8h_source.html +33 -33
- package/SVF-doxygen/html/ThreadCallGraph_8cpp_source.html +1 -1
- package/SVF-doxygen/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1AccessPath-members.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1AccessPath.html +236 -235
- 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 +1 -1
- package/SVF-doxygen/html/classSVF_1_1Andersen.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1AndersenSFR.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +4 -4
- 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 +3 -3
- package/SVF-doxygen/html/classSVF_1_1CHGBuilder.html +11 -11
- 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_1ContextDDA.html +2 -2
- 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_1DCHGraph.html +12 -12
- package/SVF-doxygen/html/classSVF_1_1DDAStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1DDAVFSolver.html +1 -1
- 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 +2 -2
- package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ForkJoinAnalysis.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1FunptrDDAClient.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1GepObjVar.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1GepStmt.html +3 -3
- 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 +1 -1
- 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_1LLVMModuleSet.html +141 -140
- package/SVF-doxygen/html/classSVF_1_1LeakChecker.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1LoadStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1LockResultValidator.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MHP.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MTAResultValidator.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MemObj.html +121 -121
- package/SVF-doxygen/html/classSVF_1_1MemSSA.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ObjTypeInfo.html +29 -29
- package/SVF-doxygen/html/classSVF_1_1ObjVar.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 +342 -341
- 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.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1SVFFunctionType.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1SVFIR.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +6 -6
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +11 -10
- package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +868 -864
- package/SVF-doxygen/html/classSVF_1_1SVFIntegerType.html +7 -7
- package/SVF-doxygen/html/classSVF_1_1SVFOtherType.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1SVFPointerType.html +3 -2
- package/SVF-doxygen/html/classSVF_1_1SVFStat.html +12 -12
- package/SVF-doxygen/html/classSVF_1_1SVFStructType.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1SVFValue.html +23 -23
- package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1StoreStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +634 -631
- package/SVF-doxygen/html/classSVF_1_1SymbolTableInfo.html +125 -124
- package/SVF-doxygen/html/classSVF_1_1TCT.html +1 -1
- 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 +1 -1
- package/SVF-doxygen/html/classSVF_1_1TypeAnalysis.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_1ValVar.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +1 -1
- package/SVF-doxygen/html/functions_func_g.html +10 -10
- package/SVF-doxygen/html/functions_func_p.html +1 -1
- package/SVF-doxygen/html/functions_g.html +6 -6
- package/SVF-doxygen/html/functions_r.html +2 -2
- package/SVF-doxygen/html/functions_s.html +5 -5
- package/SVF-doxygen/html/functions_t.html +7 -7
- package/SVF-doxygen/html/functions_v.html +3 -1
- package/SVF-doxygen/html/functions_w.html +8 -8
- package/SVF-doxygen/html/namespaceSVF.html +43 -25
- package/SVF-doxygen/html/namespaceSVF_1_1LLVMUtil.html +1233 -1138
- package/SVF-doxygen/html/namespacemembers_func_g.html +6 -3
- package/SVF-doxygen/html/namespacemembers_g.html +10 -4
- package/SVF-doxygen/html/namespacemembers_type_g.html +3 -0
- package/SVF-doxygen/html/search/all_10.js +324 -324
- package/SVF-doxygen/html/search/all_11.js +223 -223
- package/SVF-doxygen/html/search/all_12.js +553 -553
- package/SVF-doxygen/html/search/all_13.js +192 -192
- package/SVF-doxygen/html/search/all_14.js +67 -67
- package/SVF-doxygen/html/search/all_15.js +167 -167
- 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_7.js +895 -893
- package/SVF-doxygen/html/search/all_8.js +198 -198
- package/SVF-doxygen/html/search/all_9.js +607 -607
- 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 +115 -115
- package/SVF-doxygen/html/search/all_d.js +198 -198
- 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 +34 -34
- 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 +13 -13
- package/SVF-doxygen/html/search/functions_1.js +360 -360
- package/SVF-doxygen/html/search/functions_10.js +140 -140
- package/SVF-doxygen/html/search/functions_11.js +139 -139
- package/SVF-doxygen/html/search/functions_12.js +288 -288
- package/SVF-doxygen/html/search/functions_13.js +59 -59
- package/SVF-doxygen/html/search/functions_14.js +39 -39
- package/SVF-doxygen/html/search/functions_15.js +71 -71
- package/SVF-doxygen/html/search/functions_16.js +32 -32
- package/SVF-doxygen/html/search/functions_17.js +3 -3
- package/SVF-doxygen/html/search/functions_18.js +172 -172
- package/SVF-doxygen/html/search/functions_2.js +89 -89
- package/SVF-doxygen/html/search/functions_3.js +258 -258
- package/SVF-doxygen/html/search/functions_4.js +78 -78
- package/SVF-doxygen/html/search/functions_5.js +53 -53
- package/SVF-doxygen/html/search/functions_6.js +60 -60
- package/SVF-doxygen/html/search/functions_7.js +857 -856
- package/SVF-doxygen/html/search/functions_8.js +149 -149
- package/SVF-doxygen/html/search/functions_9.js +423 -423
- 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 +25 -25
- package/SVF-doxygen/html/search/functions_d.js +79 -79
- 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 +2 -2
- package/SVF-doxygen/html/search/related_d.js +12 -12
- 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 +19 -19
- 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 +33 -33
- 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 +56 -55
- package/SVF-doxygen/html/search/typedefs_7.js +44 -44
- package/SVF-doxygen/html/search/typedefs_8.js +1 -1
- package/SVF-doxygen/html/search/typedefs_9.js +6 -6
- package/SVF-doxygen/html/search/typedefs_a.js +29 -29
- package/SVF-doxygen/html/search/typedefs_b.js +29 -29
- package/SVF-doxygen/html/search/typedefs_c.js +41 -41
- package/SVF-doxygen/html/search/typedefs_d.js +14 -14
- package/SVF-doxygen/html/search/typedefs_e.js +52 -52
- package/SVF-doxygen/html/search/typedefs_f.js +14 -14
- package/SVF-doxygen/html/search/variables_0.js +151 -151
- package/SVF-doxygen/html/search/variables_1.js +75 -75
- package/SVF-doxygen/html/search/variables_10.js +97 -97
- package/SVF-doxygen/html/search/variables_11.js +44 -44
- package/SVF-doxygen/html/search/variables_12.js +92 -92
- package/SVF-doxygen/html/search/variables_13.js +76 -76
- package/SVF-doxygen/html/search/variables_14.js +14 -14
- package/SVF-doxygen/html/search/variables_15.js +48 -48
- package/SVF-doxygen/html/search/variables_16.js +9 -9
- package/SVF-doxygen/html/search/variables_17.js +1 -1
- package/SVF-doxygen/html/search/variables_18.js +2 -2
- package/SVF-doxygen/html/search/variables_2.js +38 -38
- package/SVF-doxygen/html/search/variables_3.js +142 -142
- package/SVF-doxygen/html/search/variables_4.js +55 -55
- package/SVF-doxygen/html/search/variables_5.js +37 -37
- package/SVF-doxygen/html/search/variables_6.js +66 -66
- package/SVF-doxygen/html/search/variables_7.js +34 -34
- package/SVF-doxygen/html/search/variables_8.js +7 -7
- package/SVF-doxygen/html/search/variables_9.js +78 -78
- 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/svf-ex_8cpp.html +1 -1
- package/SVF-doxygen/html/svf-ex_8cpp_source.html +1 -1
- package/package.json +1 -1
- package/svf/include/MemoryModel/AccessPath.h +2 -2
- package/svf/lib/AbstractExecution/SVFIR2ConsExeState.cpp +2 -2
- package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +4 -4
- package/svf/lib/MemoryModel/AccessPath.cpp +6 -5
- package/svf/lib/MemoryModel/PointerAnalysis.cpp +1 -0
- package/svf/lib/SVFIR/SVFType.cpp +1 -0
- package/svf/lib/SVFIR/SymbolTableInfo.cpp +1 -0
- package/svf-llvm/include/SVF-LLVM/BasicTypes.h +1 -0
- package/svf-llvm/include/SVF-LLVM/LLVMUtil.h +6 -0
- package/svf-llvm/lib/LLVMModule.cpp +1 -0
- package/svf-llvm/lib/LLVMUtil.cpp +70 -0
- package/svf-llvm/lib/SVFIRBuilder.cpp +3 -1
- package/svf-llvm/lib/SymbolTableBuilder.cpp +4 -1
|
@@ -243,108 +243,109 @@ $(function() {
|
|
|
243
243
|
<div class="line"><a name="l00177"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22"> 177</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22">llvm::BinaryOperator</a> <a class="code" href="namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22">BinaryOperator</a>;</div>
|
|
244
244
|
<div class="line"><a name="l00178"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62"> 178</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62">llvm::UnaryOperator</a> <a class="code" href="namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62">UnaryOperator</a>;</div>
|
|
245
245
|
<div class="line"><a name="l00179"></a><span class="lineno"><a class="line" href="namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec"> 179</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec">llvm::UndefValue</a> <a class="code" href="namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec">UndefValue</a>;</div>
|
|
246
|
-
<div class="line"><a name="l00180"></a><span class="lineno"> 180</span> 
|
|
247
|
-
<div class="line"><a name="l00181"></a><span class="lineno"> 181</span> 
|
|
248
|
-
<div class="line"><a name="l00182"></a><span class="lineno"
|
|
249
|
-
<div class="line"><a name="l00183"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
250
|
-
<div class="line"><a name="l00184"></a><span class="lineno"> 184</span>  </div>
|
|
251
|
-
<div class="line"><a name="l00185"></a><span class="lineno"> 185</span> 
|
|
252
|
-
<div class="line"><a name="l00186"></a><span class="lineno"> 186</span> <span class="
|
|
253
|
-
<div class="line"><a name="l00187"></a><span class="lineno"> 187</span> <span class="
|
|
254
|
-
<div class="line"><a name="l00188"></a><span class="lineno"> 188</span> <span class="keyword">typedef</span> llvm::
|
|
255
|
-
<div class="line"><a name="l00189"></a><span class="lineno"> 189</span> <span class="keyword">typedef</span> llvm::
|
|
256
|
-
<div class="line"><a name="l00190"></a><span class="lineno"> 190</span> <span class="keyword">typedef</span> llvm::
|
|
257
|
-
<div class="line"><a name="l00191"></a><span class="lineno"> 191</span> <span class="keyword">typedef</span> llvm::
|
|
258
|
-
<div class="line"><a name="l00192"></a><span class="lineno"> 192</span> <span class="keyword">typedef</span> llvm::
|
|
259
|
-
<div class="line"><a name="l00193"></a><span class="lineno"> 193</span> <span class="keyword">typedef</span> llvm::
|
|
260
|
-
<div class="line"><a name="l00194"></a><span class="lineno"> 194</span> <span class="keyword">typedef</span> llvm::
|
|
261
|
-
<div class="line"><a name="l00195"></a><span class="lineno"> 195</span> <span class="keyword">typedef</span> llvm::
|
|
262
|
-
<div class="line"><a name="l00196"></a><span class="lineno"> 196</span> <span class="keyword">typedef</span> llvm::
|
|
263
|
-
<div class="line"><a name="l00197"></a><span class="lineno"> 197</span> <span class="keyword">typedef</span> llvm::
|
|
264
|
-
<div class="line"><a name="l00198"></a><span class="lineno"> 198</span> <span class="keyword">typedef</span> llvm::
|
|
265
|
-
<div class="line"><a name="l00199"></a><span class="lineno"> 199</span> <span class="keyword">typedef</span> llvm::
|
|
266
|
-
<div class="line"><a name="l00200"></a><span class="lineno"> 200</span> <span class="keyword">typedef</span> llvm::
|
|
267
|
-
<div class="line"><a name="l00201"></a><span class="lineno"> 201</span> <span class="keyword">typedef</span> llvm::
|
|
268
|
-
<div class="line"><a name="l00202"></a><span class="lineno"> 202</span> <span class="keyword">typedef</span> llvm::
|
|
269
|
-
<div class="line"><a name="l00203"></a><span class="lineno"> 203</span> <span class="keyword">typedef</span> llvm::
|
|
270
|
-
<div class="line"><a name="l00204"></a><span class="lineno"> 204</span> <span class="keyword">typedef</span> llvm::
|
|
271
|
-
<div class="line"><a name="l00205"></a><span class="lineno"> 205</span> <span class="keyword">typedef</span> llvm::
|
|
272
|
-
<div class="line"><a name="l00206"></a><span class="lineno"> 206</span> <span class="keyword">typedef</span> llvm::
|
|
273
|
-
<div class="line"><a name="l00207"></a><span class="lineno"> 207</span> <span class="keyword">typedef</span> llvm::
|
|
274
|
-
<div class="line"><a name="l00208"></a><span class="lineno"> 208</span> <span class="keyword">typedef</span> llvm::
|
|
275
|
-
<div class="line"><a name="l00209"></a><span class="lineno"> 209</span> <span class="keyword">typedef</span> llvm::
|
|
276
|
-
<div class="line"><a name="l00210"></a><span class="lineno"> 210</span> <span class="keyword">typedef</span> llvm::
|
|
277
|
-
<div class="line"><a name="l00211"></a><span class="lineno"> 211</span> <span class="keyword">typedef</span> llvm::
|
|
278
|
-
<div class="line"><a name="l00212"></a><span class="lineno"> 212</span> <span class="keyword">typedef</span> llvm::
|
|
279
|
-
<div class="line"><a name="l00213"></a><span class="lineno"> 213</span> <span class="keyword">typedef</span> llvm::
|
|
280
|
-
<div class="line"><a name="l00214"></a><span class="lineno"> 214</span> <span class="keyword">typedef</span> llvm::
|
|
281
|
-
<div class="line"><a name="l00215"></a><span class="lineno"> 215</span> <span class="keyword">typedef</span> llvm::
|
|
282
|
-
<div class="line"><a name="l00216"></a><span class="lineno"> 216</span> <span class="keyword">typedef</span> llvm::
|
|
283
|
-
<div class="line"><a name="l00217"></a><span class="lineno"> 217</span> <span class="keyword">typedef</span>
|
|
284
|
-
<div class="line"><a name="l00218"></a><span class="lineno"> 218</span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#
|
|
285
|
-
<div class="line"><a name="l00219"></a><span class="lineno"> 219</span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#
|
|
286
|
-
<div class="line"><a name="l00220"></a><span class="lineno"> 220</span> <span class="keyword">typedef</span> llvm::
|
|
287
|
-
<div class="line"><a name="l00221"></a><span class="lineno"> 221</span> <span class="keyword">typedef</span> llvm::
|
|
288
|
-
<div class="line"><a name="l00222"></a><span class="lineno"> 222</span> <span class="keyword">typedef</span> llvm::
|
|
289
|
-
<div class="line"><a name="l00223"></a><span class="lineno"> 223</span> <span class="keyword">typedef</span> llvm::
|
|
290
|
-
<div class="line"><a name="l00224"></a><span class="lineno"> 224</span> <span class="keyword">typedef</span> llvm::
|
|
291
|
-
<div class="line"><a name="l00225"></a><span class="lineno"> 225</span> <span class="keyword">typedef</span> llvm::
|
|
292
|
-
<div class="line"><a name="l00226"></a><span class="lineno"> 226</span> <span class="keyword">typedef</span> llvm::
|
|
293
|
-
<div class="line"><a name="l00227"></a><span class="lineno"> 227</span> <span class="keyword">typedef</span> llvm::
|
|
294
|
-
<div class="line"><a name="l00228"></a><span class="lineno"> 228</span> <span class="keyword">typedef</span> llvm::
|
|
295
|
-
<div class="line"><a name="l00229"></a><span class="lineno"> 229</span> <span class="keyword">typedef</span> llvm::
|
|
296
|
-
<div class="line"><a name="l00230"></a><span class="lineno"> 230</span> <span class="
|
|
297
|
-
<div class="line"><a name="l00231"></a><span class="lineno"> 231</span> 
|
|
298
|
-
<div class="line"><a name="l00232"></a><span class="lineno"> 232</span> 
|
|
299
|
-
<div class="line"><a name="l00233"></a><span class="lineno"
|
|
300
|
-
<div class="line"><a name="l00234"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
301
|
-
<div class="line"><a name="l00235"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
302
|
-
<div class="line"><a name="l00236"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
303
|
-
<div class="line"><a name="l00237"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
304
|
-
<div class="line"><a name="l00238"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
305
|
-
<div class="line"><a name="l00239"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
306
|
-
<div class="line"><a name="l00240"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
307
|
-
<div class="line"><a name="l00241"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
308
|
-
<div class="line"><a name="l00242"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
309
|
-
<div class="line"><a name="l00243"></a><span class="lineno"> 243</span> <span class="keyword">
|
|
310
|
-
<div class="line"><a name="l00244"></a><span class="lineno"> 244</span> 
|
|
311
|
-
<div class="line"><a name="l00245"></a><span class="lineno"> 245</span> 
|
|
312
|
-
<div class="line"><a name="l00246"></a><span class="lineno"
|
|
313
|
-
<div class="line"><a name="l00247"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
314
|
-
<div class="line"><a name="l00248"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
315
|
-
<div class="line"><a name="l00249"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
316
|
-
<div class="line"><a name="l00250"></a><span class="lineno"> 250</span> <span class="keyword">typedef</span> <a class="code" href="
|
|
317
|
-
<div class="line"><a name="l00251"></a><span class="lineno"
|
|
318
|
-
<div class="line"><a name="l00252"></a><span class="lineno"> 252</span> 
|
|
319
|
-
<div class="line"><a name="l00253"></a><span class="lineno"> 253</span> 
|
|
320
|
-
<div class="line"><a name="l00254"></a><span class="lineno"
|
|
321
|
-
<div class="line"><a name="l00255"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
322
|
-
<div class="line"><a name="l00256"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
323
|
-
<div class="line"><a name="l00257"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
324
|
-
<div class="line"><a name="l00258"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
325
|
-
<div class="line"><a name="l00259"></a><span class="lineno"> 259</span> 
|
|
326
|
-
<div class="line"><a name="
|
|
327
|
-
<div class="line"><a name="l00262"></a><span class="lineno"> 262</span> 
|
|
328
|
-
<div class="line"><a name="l00263"></a><span class="lineno"> 263</span> 
|
|
329
|
-
<div class="line"><a name="l00264"></a><span class="lineno"
|
|
330
|
-
<div class="line"><a name="l00265"></a><span class="lineno"> 265</span> <span class="
|
|
331
|
-
<div class="line"><a name="l00266"></a><span class="lineno"> 266</span> <span class="
|
|
332
|
-
<div class="line"><a name="l00267"></a><span class="lineno"> 267</span> <span class="
|
|
333
|
-
<div class="line"><a name="l00268"></a><span class="lineno"> 268</span> 
|
|
334
|
-
<div class="line"><a name="
|
|
335
|
-
<div class="line"><a name="l00271"></a><span class="lineno"> 271</span> <span class="
|
|
336
|
-
<div class="line"><a name="l00272"></a><span class="lineno"> 272</span> <span class="
|
|
337
|
-
<div class="line"><a name="l00273"></a><span class="lineno"
|
|
338
|
-
<div class="line"><a name="l00274"></a><span class="lineno"> 274</span> <span class="
|
|
339
|
-
<div class="line"><a name="l00275"></a><span class="lineno"> 275</span> 
|
|
340
|
-
<div class="line"><a name="l00276"></a><span class="lineno"> 276</span>  </div>
|
|
341
|
-
<div class="line"><a name="l00277"></a><span class="lineno"> 277</span> 
|
|
246
|
+
<div class="line"><a name="l00180"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a893c345ff98bb2808ae905cf9f3671c5"> 180</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a893c345ff98bb2808ae905cf9f3671c5">llvm::GEPOperator</a> <a class="code" href="namespaceSVF.html#a893c345ff98bb2808ae905cf9f3671c5">GEPOperator</a>;</div>
|
|
247
|
+
<div class="line"><a name="l00181"></a><span class="lineno"> 181</span>  </div>
|
|
248
|
+
<div class="line"><a name="l00182"></a><span class="lineno"> 182</span> <span class="comment">// Related to Switch Case</span></div>
|
|
249
|
+
<div class="line"><a name="l00183"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a255efa5be786996cbdd0c1f3d98b8400"> 183</a></span> <span class="keyword">typedef</span> std::pair<const BasicBlock*, const ConstantInt*> <a class="code" href="namespaceSVF.html#a255efa5be786996cbdd0c1f3d98b8400">SuccBBAndCondValPair</a>;</div>
|
|
250
|
+
<div class="line"><a name="l00184"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a8de26e1810ea0c3b1e8ad62f1c8a864d"> 184</a></span> <span class="keyword">typedef</span> std::vector<SuccBBAndCondValPair> <a class="code" href="namespaceSVF.html#a8de26e1810ea0c3b1e8ad62f1c8a864d">SuccBBAndCondValPairVec</a>;</div>
|
|
251
|
+
<div class="line"><a name="l00185"></a><span class="lineno"> 185</span>  </div>
|
|
252
|
+
<div class="line"><a name="l00186"></a><span class="lineno"> 186</span> <span class="comment">// LLVM Intrinsic Instructions</span></div>
|
|
253
|
+
<div class="line"><a name="l00187"></a><span class="lineno"> 187</span> <span class="preprocessor">#if LLVM_VERSION_MAJOR >= 13</span></div>
|
|
254
|
+
<div class="line"><a name="l00188"></a><span class="lineno"> 188</span> <span class="keyword">typedef</span> llvm::IntrinsicInst IntrinsicInst;</div>
|
|
255
|
+
<div class="line"><a name="l00189"></a><span class="lineno"> 189</span> <span class="keyword">typedef</span> llvm::DbgInfoIntrinsic DbgInfoIntrinsic;</div>
|
|
256
|
+
<div class="line"><a name="l00190"></a><span class="lineno"> 190</span> <span class="keyword">typedef</span> llvm::DbgVariableIntrinsic DbgVariableIntrinsic;</div>
|
|
257
|
+
<div class="line"><a name="l00191"></a><span class="lineno"> 191</span> <span class="keyword">typedef</span> llvm::DbgDeclareInst DbgDeclareInst;</div>
|
|
258
|
+
<div class="line"><a name="l00192"></a><span class="lineno"> 192</span> <span class="keyword">typedef</span> llvm::DbgAddrIntrinsic DbgAddrIntrinsic;</div>
|
|
259
|
+
<div class="line"><a name="l00193"></a><span class="lineno"> 193</span> <span class="keyword">typedef</span> llvm::DbgValueInst DbgValueInst;</div>
|
|
260
|
+
<div class="line"><a name="l00194"></a><span class="lineno"> 194</span> <span class="keyword">typedef</span> llvm::DbgLabelInst DbgLabelInst;</div>
|
|
261
|
+
<div class="line"><a name="l00195"></a><span class="lineno"> 195</span> <span class="keyword">typedef</span> llvm::VPIntrinsic VPIntrinsic;</div>
|
|
262
|
+
<div class="line"><a name="l00196"></a><span class="lineno"> 196</span> <span class="keyword">typedef</span> llvm::ConstrainedFPIntrinsic ConstrainedFPIntrinsic;</div>
|
|
263
|
+
<div class="line"><a name="l00197"></a><span class="lineno"> 197</span> <span class="keyword">typedef</span> llvm::ConstrainedFPCmpIntrinsic ConstrainedFPCmpIntrinsic;</div>
|
|
264
|
+
<div class="line"><a name="l00198"></a><span class="lineno"> 198</span> <span class="keyword">typedef</span> llvm::MinMaxIntrinsic MinMaxIntrinsic;</div>
|
|
265
|
+
<div class="line"><a name="l00199"></a><span class="lineno"> 199</span> <span class="keyword">typedef</span> llvm::BinaryOpIntrinsic BinaryOpIntrinsic;</div>
|
|
266
|
+
<div class="line"><a name="l00200"></a><span class="lineno"> 200</span> <span class="keyword">typedef</span> llvm::WithOverflowInst WithOverflowInst;</div>
|
|
267
|
+
<div class="line"><a name="l00201"></a><span class="lineno"> 201</span> <span class="keyword">typedef</span> llvm::SaturatingInst SaturatingInst;</div>
|
|
268
|
+
<div class="line"><a name="l00202"></a><span class="lineno"> 202</span> <span class="keyword">typedef</span> llvm::AtomicMemIntrinsic AtomicMemIntrinsic;</div>
|
|
269
|
+
<div class="line"><a name="l00203"></a><span class="lineno"> 203</span> <span class="keyword">typedef</span> llvm::AtomicMemSetInst AtomicMemSetInst;</div>
|
|
270
|
+
<div class="line"><a name="l00204"></a><span class="lineno"> 204</span> <span class="keyword">typedef</span> llvm::AtomicMemTransferInst AtomicMemTransferInst;</div>
|
|
271
|
+
<div class="line"><a name="l00205"></a><span class="lineno"> 205</span> <span class="keyword">typedef</span> llvm::AtomicMemCpyInst AtomicMemCpyInst;</div>
|
|
272
|
+
<div class="line"><a name="l00206"></a><span class="lineno"> 206</span> <span class="keyword">typedef</span> llvm::AtomicMemMoveInst AtomicMemMoveInst;</div>
|
|
273
|
+
<div class="line"><a name="l00207"></a><span class="lineno"> 207</span> <span class="keyword">typedef</span> llvm::MemIntrinsic MemIntrinsic;</div>
|
|
274
|
+
<div class="line"><a name="l00208"></a><span class="lineno"> 208</span> <span class="keyword">typedef</span> llvm::MemSetInst MemSetInst;</div>
|
|
275
|
+
<div class="line"><a name="l00209"></a><span class="lineno"> 209</span> <span class="keyword">typedef</span> llvm::MemTransferInst MemTransferInst;</div>
|
|
276
|
+
<div class="line"><a name="l00210"></a><span class="lineno"> 210</span> <span class="keyword">typedef</span> llvm::MemCpyInst MemCpyInst;</div>
|
|
277
|
+
<div class="line"><a name="l00211"></a><span class="lineno"> 211</span> <span class="keyword">typedef</span> llvm::MemMoveInst MemMoveInst;</div>
|
|
278
|
+
<div class="line"><a name="l00212"></a><span class="lineno"> 212</span> <span class="keyword">typedef</span> llvm::MemCpyInlineInst MemCpyInlineInst;</div>
|
|
279
|
+
<div class="line"><a name="l00213"></a><span class="lineno"> 213</span> <span class="keyword">typedef</span> llvm::AnyMemIntrinsic AnyMemIntrinsic;</div>
|
|
280
|
+
<div class="line"><a name="l00214"></a><span class="lineno"> 214</span> <span class="keyword">typedef</span> llvm::AnyMemSetInst AnyMemSetInst;</div>
|
|
281
|
+
<div class="line"><a name="l00215"></a><span class="lineno"> 215</span> <span class="keyword">typedef</span> llvm::AnyMemTransferInst AnyMemTransferInst;</div>
|
|
282
|
+
<div class="line"><a name="l00216"></a><span class="lineno"> 216</span> <span class="keyword">typedef</span> llvm::AnyMemCpyInst AnyMemCpyInst;</div>
|
|
283
|
+
<div class="line"><a name="l00217"></a><span class="lineno"> 217</span> <span class="keyword">typedef</span> llvm::AnyMemMoveInst AnyMemMoveInst;</div>
|
|
284
|
+
<div class="line"><a name="l00218"></a><span class="lineno"> 218</span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc">llvm::VAStartInst</a> <a class="code" href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc">VAStartInst</a>;</div>
|
|
285
|
+
<div class="line"><a name="l00219"></a><span class="lineno"> 219</span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913">llvm::VAEndInst</a> <a class="code" href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913">VAEndInst</a>;</div>
|
|
286
|
+
<div class="line"><a name="l00220"></a><span class="lineno"> 220</span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295">llvm::VACopyInst</a> <a class="code" href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295">VACopyInst</a>;</div>
|
|
287
|
+
<div class="line"><a name="l00221"></a><span class="lineno"> 221</span> <span class="keyword">typedef</span> llvm::InstrProfIncrementInst InstrProfIncrementInst;</div>
|
|
288
|
+
<div class="line"><a name="l00222"></a><span class="lineno"> 222</span> <span class="keyword">typedef</span> llvm::InstrProfIncrementInstStep InstrProfIncrementInstStep;</div>
|
|
289
|
+
<div class="line"><a name="l00223"></a><span class="lineno"> 223</span> <span class="keyword">typedef</span> llvm::InstrProfValueProfileInst InstrProfValueProfileInst;</div>
|
|
290
|
+
<div class="line"><a name="l00224"></a><span class="lineno"> 224</span> <span class="keyword">typedef</span> llvm::PseudoProbeInst PseudoProbeInst;</div>
|
|
291
|
+
<div class="line"><a name="l00225"></a><span class="lineno"> 225</span> <span class="keyword">typedef</span> llvm::NoAliasScopeDeclInst NoAliasScopeDeclInst;</div>
|
|
292
|
+
<div class="line"><a name="l00226"></a><span class="lineno"> 226</span> <span class="keyword">typedef</span> llvm::GCStatepointInst GCStatepointInst;</div>
|
|
293
|
+
<div class="line"><a name="l00227"></a><span class="lineno"> 227</span> <span class="keyword">typedef</span> llvm::GCProjectionInst GCProjectionInst;</div>
|
|
294
|
+
<div class="line"><a name="l00228"></a><span class="lineno"> 228</span> <span class="keyword">typedef</span> llvm::GCRelocateInst GCRelocateInst;</div>
|
|
295
|
+
<div class="line"><a name="l00229"></a><span class="lineno"> 229</span> <span class="keyword">typedef</span> llvm::GCResultInst GCResultInst;</div>
|
|
296
|
+
<div class="line"><a name="l00230"></a><span class="lineno"> 230</span> <span class="keyword">typedef</span> llvm::AssumeInst AssumeInst;</div>
|
|
297
|
+
<div class="line"><a name="l00231"></a><span class="lineno"> 231</span> <span class="preprocessor">#endif</span></div>
|
|
298
|
+
<div class="line"><a name="l00232"></a><span class="lineno"> 232</span>  </div>
|
|
299
|
+
<div class="line"><a name="l00233"></a><span class="lineno"> 233</span> <span class="comment">// LLVM Debug Information</span></div>
|
|
300
|
+
<div class="line"><a name="l00234"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632"> 234</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">llvm::DIType</a> <a class="code" href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">DIType</a>;</div>
|
|
301
|
+
<div class="line"><a name="l00235"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1"> 235</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">llvm::DICompositeType</a> <a class="code" href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">DICompositeType</a>;</div>
|
|
302
|
+
<div class="line"><a name="l00236"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6"> 236</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6">llvm::DIDerivedType</a> <a class="code" href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6">DIDerivedType</a>;</div>
|
|
303
|
+
<div class="line"><a name="l00237"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321"> 237</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321">llvm::DebugInfoFinder</a> <a class="code" href="namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321">DebugInfoFinder</a>;</div>
|
|
304
|
+
<div class="line"><a name="l00238"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129"> 238</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129">llvm::DISubroutineType</a> <a class="code" href="namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129">DISubroutineType</a>;</div>
|
|
305
|
+
<div class="line"><a name="l00239"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ada0513be7e25325325ccc9183aeca278"> 239</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ada0513be7e25325325ccc9183aeca278">llvm::DIBasicType</a> <a class="code" href="namespaceSVF.html#ada0513be7e25325325ccc9183aeca278">DIBasicType</a>;</div>
|
|
306
|
+
<div class="line"><a name="l00240"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a99bc1228f07429855c81a720be862dc6"> 240</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a99bc1228f07429855c81a720be862dc6">llvm::DISubrange</a> <a class="code" href="namespaceSVF.html#a99bc1228f07429855c81a720be862dc6">DISubrange</a>;</div>
|
|
307
|
+
<div class="line"><a name="l00241"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d"> 241</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d">llvm::DINode</a> <a class="code" href="namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d">DINode</a>;</div>
|
|
308
|
+
<div class="line"><a name="l00242"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003"> 242</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003">llvm::DINodeArray</a> <a class="code" href="namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003">DINodeArray</a>;</div>
|
|
309
|
+
<div class="line"><a name="l00243"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc"> 243</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc">llvm::DITypeRefArray</a> <a class="code" href="namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc">DITypeRefArray</a>;</div>
|
|
310
|
+
<div class="line"><a name="l00244"></a><span class="lineno"> 244</span> <span class="keyword">namespace </span>dwarf = llvm::dwarf;</div>
|
|
311
|
+
<div class="line"><a name="l00245"></a><span class="lineno"> 245</span>  </div>
|
|
312
|
+
<div class="line"><a name="l00246"></a><span class="lineno"> 246</span> <span class="comment">// Iterators.</span></div>
|
|
313
|
+
<div class="line"><a name="l00247"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b"> 247</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">llvm::inst_iterator</a> <a class="code" href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">inst_iterator</a>;</div>
|
|
314
|
+
<div class="line"><a name="l00248"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91"> 248</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91">llvm::const_inst_iterator</a> <a class="code" href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91">const_inst_iterator</a>;</div>
|
|
315
|
+
<div class="line"><a name="l00249"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b"> 249</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b">llvm::gep_type_iterator</a> <a class="code" href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b">gep_type_iterator</a>;</div>
|
|
316
|
+
<div class="line"><a name="l00250"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc"> 250</a></span> <span class="keyword">typedef</span> <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html">llvm::bridge_gep_iterator</a> <a class="code" href="namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc">bridge_gep_iterator</a>;</div>
|
|
317
|
+
<div class="line"><a name="l00251"></a><span class="lineno"> 251</span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91">llvm::const_inst_iterator</a> <a class="code" href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91">const_inst_iterator</a>;</div>
|
|
318
|
+
<div class="line"><a name="l00252"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e"> 252</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e">llvm::const_pred_iterator</a> <a class="code" href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e">const_pred_iterator</a>;</div>
|
|
319
|
+
<div class="line"><a name="l00253"></a><span class="lineno"> 253</span>  </div>
|
|
320
|
+
<div class="line"><a name="l00254"></a><span class="lineno"> 254</span> <span class="comment">// LLVM Scalar Evolution.</span></div>
|
|
321
|
+
<div class="line"><a name="l00255"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01"> 255</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01">llvm::ScalarEvolutionWrapperPass</a> <a class="code" href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01">ScalarEvolutionWrapperPass</a>;</div>
|
|
322
|
+
<div class="line"><a name="l00256"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8"> 256</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8">llvm::SCEVAddRecExpr</a> <a class="code" href="namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8">SCEVAddRecExpr</a>;</div>
|
|
323
|
+
<div class="line"><a name="l00257"></a><span class="lineno"><a class="line" href="namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63"> 257</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63">llvm::SCEVConstant</a> <a class="code" href="namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63">SCEVConstant</a>;</div>
|
|
324
|
+
<div class="line"><a name="l00258"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42"> 258</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">llvm::ScalarEvolution</a> <a class="code" href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">ScalarEvolution</a>;</div>
|
|
325
|
+
<div class="line"><a name="l00259"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6"> 259</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6">llvm::SCEV</a> <a class="code" href="namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6">SCEV</a>;</div>
|
|
326
|
+
<div class="line"><a name="l00260"></a><span class="lineno"> 260</span>  </div>
|
|
327
|
+
<div class="line"><a name="l00262"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba"> 262</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba">llvm::raw_fd_ostream</a> <a class="code" href="namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba">raw_fd_ostream</a>;</div>
|
|
328
|
+
<div class="line"><a name="l00263"></a><span class="lineno"> 263</span>  </div>
|
|
329
|
+
<div class="line"><a name="l00264"></a><span class="lineno"> 264</span> <span class="comment">// LLVM Types.</span></div>
|
|
330
|
+
<div class="line"><a name="l00265"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418"> 265</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418">llvm::VectorType</a> <a class="code" href="namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418">VectorType</a>;</div>
|
|
331
|
+
<div class="line"><a name="l00266"></a><span class="lineno"> 266</span> <span class="preprocessor">#if (LLVM_VERSION_MAJOR >= 9)</span></div>
|
|
332
|
+
<div class="line"><a name="l00267"></a><span class="lineno"> 267</span> <span class="keyword">typedef</span> llvm::FunctionCallee FunctionCallee;</div>
|
|
333
|
+
<div class="line"><a name="l00268"></a><span class="lineno"> 268</span> <span class="preprocessor">#endif</span></div>
|
|
334
|
+
<div class="line"><a name="l00269"></a><span class="lineno"> 269</span>  </div>
|
|
335
|
+
<div class="line"><a name="l00271"></a><span class="lineno"> 271</span> <span class="preprocessor">#if LLVM_VERSION_MAJOR >= 11</span></div>
|
|
336
|
+
<div class="line"><a name="l00272"></a><span class="lineno"> 272</span> <span class="keyword">typedef</span> llvm::const_succ_iterator <a class="code" href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">succ_const_iterator</a>;</div>
|
|
337
|
+
<div class="line"><a name="l00273"></a><span class="lineno"> 273</span> <span class="preprocessor">#else</span></div>
|
|
338
|
+
<div class="line"><a name="l00274"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5"> 274</a></span> <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">llvm::succ_const_iterator</a> <a class="code" href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">succ_const_iterator</a>;</div>
|
|
339
|
+
<div class="line"><a name="l00275"></a><span class="lineno"> 275</span> <span class="preprocessor">#endif</span></div>
|
|
340
|
+
<div class="line"><a name="l00276"></a><span class="lineno"> 276</span> } <span class="comment">// End namespace SVF</span></div>
|
|
341
|
+
<div class="line"><a name="l00277"></a><span class="lineno"> 277</span>  </div>
|
|
342
|
+
<div class="line"><a name="l00278"></a><span class="lineno"> 278</span> <span class="preprocessor">#endif // SVF_FE_BASIC_TYPES_H</span></div>
|
|
342
343
|
</div><!-- fragment --></div><!-- contents -->
|
|
343
344
|
<div class="ttc" id="anamespaceSVF_html_a827d09974dc7bf0849f96823cc2fee89"><div class="ttname"><a href="namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89">SVF::DomTreeNode</a></div><div class="ttdeci">llvm::DomTreeNode DomTreeNode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00132">BasicTypes.h:132</a></div></div>
|
|
344
345
|
<div class="ttc" id="anamespaceSVF_html_a07578c424e9d3c07a54e65404a0a6abb"><div class="ttname"><a href="namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb">SVF::IntToPtrInst</a></div><div class="ttdeci">llvm::IntToPtrInst IntToPtrInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00164">BasicTypes.h:164</a></div></div>
|
|
345
|
-
<div class="ttc" id="anamespaceSVF_html_a0f825e73d115173b05ca54fb8ec65003"><div class="ttname"><a href="namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003">SVF::DINodeArray</a></div><div class="ttdeci">llvm::DINodeArray DINodeArray</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#
|
|
346
|
-
<div class="ttc" id="anamespaceSVF_html_ada0513be7e25325325ccc9183aeca278"><div class="ttname"><a href="namespaceSVF.html#ada0513be7e25325325ccc9183aeca278">SVF::DIBasicType</a></div><div class="ttdeci">llvm::DIBasicType DIBasicType</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#
|
|
347
|
-
<div class="ttc" id="anamespaceSVF_html_a8de26e1810ea0c3b1e8ad62f1c8a864d"><div class="ttname"><a href="namespaceSVF.html#a8de26e1810ea0c3b1e8ad62f1c8a864d">SVF::SuccBBAndCondValPairVec</a></div><div class="ttdeci">std::vector< SuccBBAndCondValPair > SuccBBAndCondValPairVec</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#
|
|
346
|
+
<div class="ttc" id="anamespaceSVF_html_a0f825e73d115173b05ca54fb8ec65003"><div class="ttname"><a href="namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003">SVF::DINodeArray</a></div><div class="ttdeci">llvm::DINodeArray DINodeArray</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00242">BasicTypes.h:242</a></div></div>
|
|
347
|
+
<div class="ttc" id="anamespaceSVF_html_ada0513be7e25325325ccc9183aeca278"><div class="ttname"><a href="namespaceSVF.html#ada0513be7e25325325ccc9183aeca278">SVF::DIBasicType</a></div><div class="ttdeci">llvm::DIBasicType DIBasicType</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00239">BasicTypes.h:239</a></div></div>
|
|
348
|
+
<div class="ttc" id="anamespaceSVF_html_a8de26e1810ea0c3b1e8ad62f1c8a864d"><div class="ttname"><a href="namespaceSVF.html#a8de26e1810ea0c3b1e8ad62f1c8a864d">SVF::SuccBBAndCondValPairVec</a></div><div class="ttdeci">std::vector< SuccBBAndCondValPair > SuccBBAndCondValPairVec</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00184">BasicTypes.h:184</a></div></div>
|
|
348
349
|
<div class="ttc" id="anamespaceSVF_html_aecbb42b8e9d17fa0189c50dda9fd5fdd"><div class="ttname"><a href="namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd">SVF::DominatorTree</a></div><div class="ttdeci">llvm::DominatorTree DominatorTree</div><div class="ttdoc">LLVM Dominators.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00131">BasicTypes.h:131</a></div></div>
|
|
349
350
|
<div class="ttc" id="anamespaceSVF_html_a94824519e439aeef1568d415b6f7331c"><div class="ttname"><a href="namespaceSVF.html#a94824519e439aeef1568d415b6f7331c">SVF::IRBuilder</a></div><div class="ttdeci">llvm::IRBuilder IRBuilder</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00072">BasicTypes.h:72</a></div></div>
|
|
350
351
|
<div class="ttc" id="anamespaceSVF_html_ab696aab940eb187dc81217efe8649af5"><div class="ttname"><a href="namespaceSVF.html#ab696aab940eb187dc81217efe8649af5">SVF::StoreInst</a></div><div class="ttdeci">llvm::StoreInst StoreInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00146">BasicTypes.h:146</a></div></div>
|
|
@@ -354,27 +355,28 @@ $(function() {
|
|
|
354
355
|
<div class="ttc" id="anamespaceSVF_html_a292a6e8c5b4f2023b5575879c57eca62"><div class="ttname"><a href="namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62">SVF::UnaryOperator</a></div><div class="ttdeci">llvm::UnaryOperator UnaryOperator</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00178">BasicTypes.h:178</a></div></div>
|
|
355
356
|
<div class="ttc" id="anamespaceSVF_html_af157dc77830b6cc804338df7430cbbb3"><div class="ttname"><a href="namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3">SVF::GlobalObject</a></div><div class="ttdeci">llvm::GlobalObject GlobalObject</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00069">BasicTypes.h:69</a></div></div>
|
|
356
357
|
<div class="ttc" id="anamespaceSVF_html_a77e088bfe47c0b0ddcbbe0693dec6fe5"><div class="ttname"><a href="namespaceSVF.html#a77e088bfe47c0b0ddcbbe0693dec6fe5">SVF::LoopInfo</a></div><div class="ttdeci">llvm::LoopInfo LoopInfo</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00139">BasicTypes.h:139</a></div></div>
|
|
357
|
-
<div class="ttc" id="anamespaceSVF_html_a758f3bee97ed46a719d64a2d4f2bc62d"><div class="ttname"><a href="namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d">SVF::DINode</a></div><div class="ttdeci">llvm::DINode DINode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#
|
|
358
|
+
<div class="ttc" id="anamespaceSVF_html_a758f3bee97ed46a719d64a2d4f2bc62d"><div class="ttname"><a href="namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d">SVF::DINode</a></div><div class="ttdeci">llvm::DINode DINode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00241">BasicTypes.h:241</a></div></div>
|
|
359
|
+
<div class="ttc" id="anamespaceSVF_html_a893c345ff98bb2808ae905cf9f3671c5"><div class="ttname"><a href="namespaceSVF.html#a893c345ff98bb2808ae905cf9f3671c5">SVF::GEPOperator</a></div><div class="ttdeci">llvm::GEPOperator GEPOperator</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00180">BasicTypes.h:180</a></div></div>
|
|
358
360
|
<div class="ttc" id="anamespaceSVF_html_aad5d26ab07a5d1314bdb8f54e0fcdb22"><div class="ttname"><a href="namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22">SVF::BinaryOperator</a></div><div class="ttdeci">llvm::BinaryOperator BinaryOperator</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00177">BasicTypes.h:177</a></div></div>
|
|
359
|
-
<div class="ttc" id="anamespaceSVF_html_a1eaed46fa67cf1a51e438c5f8f523418"><div class="ttname"><a href="namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418">SVF::VectorType</a></div><div class="ttdeci">llvm::VectorType VectorType</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#
|
|
361
|
+
<div class="ttc" id="anamespaceSVF_html_a1eaed46fa67cf1a51e438c5f8f523418"><div class="ttname"><a href="namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418">SVF::VectorType</a></div><div class="ttdeci">llvm::VectorType VectorType</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00265">BasicTypes.h:265</a></div></div>
|
|
360
362
|
<div class="ttc" id="anamespaceSVF_html_a23bf614858f168b6ad76e0233cec9965"><div class="ttname"><a href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">SVF::BasicBlock</a></div><div class="ttdeci">llvm::BasicBlock BasicBlock</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00084">BasicTypes.h:84</a></div></div>
|
|
361
363
|
<div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
|
|
362
364
|
<div class="ttc" id="anamespaceSVF_html_ad92e392a50e7c6c1f635fe2dcebd1adc"><div class="ttname"><a href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc">SVF::VAStartInst</a></div><div class="ttdeci">llvm::VAStartInst VAStartInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00176">BasicTypes.h:176</a></div></div>
|
|
363
365
|
<div class="ttc" id="anamespaceSVF_html_a3d9e7f32dc17fe8d40f8d6a011403b91"><div class="ttname"><a href="namespaceSVF.html#a3d9e7f32dc17fe8d40f8d6a011403b91">SVF::IntegerType</a></div><div class="ttdeci">llvm::IntegerType IntegerType</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00095">BasicTypes.h:95</a></div></div>
|
|
364
|
-
<div class="ttc" id="anamespaceSVF_html_a090e0791e8c200104ed3ab6bab157129"><div class="ttname"><a href="namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129">SVF::DISubroutineType</a></div><div class="ttdeci">llvm::DISubroutineType DISubroutineType</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#
|
|
366
|
+
<div class="ttc" id="anamespaceSVF_html_a090e0791e8c200104ed3ab6bab157129"><div class="ttname"><a href="namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129">SVF::DISubroutineType</a></div><div class="ttdeci">llvm::DISubroutineType DISubroutineType</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00238">BasicTypes.h:238</a></div></div>
|
|
365
367
|
<div class="ttc" id="anamespaceSVF_html_aa962cc1d782cc46553251e96b64a754b"><div class="ttname"><a href="namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b">SVF::PointerType</a></div><div class="ttdeci">llvm::PointerType PointerType</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00094">BasicTypes.h:94</a></div></div>
|
|
366
368
|
<div class="ttc" id="anamespaceSVF_html_a03db82b8a7914367024723dba4d6ca3c"><div class="ttname"><a href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">SVF::DataLayout</a></div><div class="ttdeci">llvm::DataLayout DataLayout</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00106">BasicTypes.h:106</a></div></div>
|
|
367
369
|
<div class="ttc" id="anamespaceSVF_html_a2f60343a6839b9cc893bbf77e8a19915"><div class="ttname"><a href="namespaceSVF.html#a2f60343a6839b9cc893bbf77e8a19915">SVF::DominanceFrontierBase</a></div><div class="ttdeci">llvm::DominanceFrontierBase< llvm::BasicBlock, false > DominanceFrontierBase</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00135">BasicTypes.h:135</a></div></div>
|
|
368
|
-
<div class="ttc" id="anamespaceSVF_html_a3b6e84470681a9f731a81e8cf54680cc"><div class="ttname"><a href="namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc">SVF::bridge_gep_iterator</a></div><div class="ttdeci">llvm::bridge_gep_iterator bridge_gep_iterator</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#
|
|
370
|
+
<div class="ttc" id="anamespaceSVF_html_a3b6e84470681a9f731a81e8cf54680cc"><div class="ttname"><a href="namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc">SVF::bridge_gep_iterator</a></div><div class="ttdeci">llvm::bridge_gep_iterator bridge_gep_iterator</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00250">BasicTypes.h:250</a></div></div>
|
|
369
371
|
<div class="ttc" id="anamespaceSVF_html_a412280b134578905248ce0122c5db7c9"><div class="ttname"><a href="namespaceSVF.html#a412280b134578905248ce0122c5db7c9">SVF::SwitchInst</a></div><div class="ttdeci">llvm::SwitchInst SwitchInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00153">BasicTypes.h:153</a></div></div>
|
|
370
372
|
<div class="ttc" id="anamespaceSVF_html_a52c8654c221bb53a59f70ea3cb1e5c45"><div class="ttname"><a href="namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45">SVF::StructLayout</a></div><div class="ttdeci">llvm::StructLayout StructLayout</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00103">BasicTypes.h:103</a></div></div>
|
|
371
373
|
<div class="ttc" id="anamespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdoc">LLVM Basic classes.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00080">BasicTypes.h:80</a></div></div>
|
|
372
|
-
<div class="ttc" id="anamespaceSVF_html_abe745006fa40399d8a13613a3e0dfc63"><div class="ttname"><a href="namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63">SVF::SCEVConstant</a></div><div class="ttdeci">llvm::SCEVConstant SCEVConstant</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#
|
|
374
|
+
<div class="ttc" id="anamespaceSVF_html_abe745006fa40399d8a13613a3e0dfc63"><div class="ttname"><a href="namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63">SVF::SCEVConstant</a></div><div class="ttdeci">llvm::SCEVConstant SCEVConstant</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00257">BasicTypes.h:257</a></div></div>
|
|
373
375
|
<div class="ttc" id="anamespaceSVF_html_a8b30cfb9315dda33907175da4db63a07"><div class="ttname"><a href="namespaceSVF.html#a8b30cfb9315dda33907175da4db63a07">SVF::ConstantAggregateZero</a></div><div class="ttdeci">llvm::ConstantAggregateZero ConstantAggregateZero</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00116">BasicTypes.h:116</a></div></div>
|
|
374
|
-
<div class="ttc" id="anamespaceSVF_html_aac5262378e41a3414a20cc9a41d4adc6"><div class="ttname"><a href="namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6">SVF::SCEV</a></div><div class="ttdeci">llvm::SCEV SCEV</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#
|
|
376
|
+
<div class="ttc" id="anamespaceSVF_html_aac5262378e41a3414a20cc9a41d4adc6"><div class="ttname"><a href="namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6">SVF::SCEV</a></div><div class="ttdeci">llvm::SCEV SCEV</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00259">BasicTypes.h:259</a></div></div>
|
|
375
377
|
<div class="ttc" id="anamespaceSVF_html_a7cbe1c6567039e72958fd70e423d3597"><div class="ttname"><a href="namespaceSVF.html#a7cbe1c6567039e72958fd70e423d3597">SVF::ConstantAggregate</a></div><div class="ttdeci">llvm::ConstantAggregate ConstantAggregate</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00115">BasicTypes.h:115</a></div></div>
|
|
376
378
|
<div class="ttc" id="anamespaceSVF_html_a61f0d928e58d4f7e21616f770ae1080b"><div class="ttname"><a href="namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b">SVF::FenceInst</a></div><div class="ttdeci">llvm::FenceInst FenceInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00166">BasicTypes.h:166</a></div></div>
|
|
377
|
-
<div class="ttc" id="anamespaceSVF_html_a5c943191dc4e242704943e5f594ae99e"><div class="ttname"><a href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e">SVF::const_pred_iterator</a></div><div class="ttdeci">llvm::const_pred_iterator const_pred_iterator</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#
|
|
379
|
+
<div class="ttc" id="anamespaceSVF_html_a5c943191dc4e242704943e5f594ae99e"><div class="ttname"><a href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e">SVF::const_pred_iterator</a></div><div class="ttdeci">llvm::const_pred_iterator const_pred_iterator</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00252">BasicTypes.h:252</a></div></div>
|
|
378
380
|
<div class="ttc" id="anamespaceSVF_html_a5faee14fa1dd41447bc73ac365fe33c1"><div class="ttname"><a href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">SVF::Function</a></div><div class="ttdeci">llvm::Function Function</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00083">BasicTypes.h:83</a></div></div>
|
|
379
381
|
<div class="ttc" id="anamespaceSVF_html_affba423b674a0aba723e33101826e297"><div class="ttname"><a href="namespaceSVF.html#affba423b674a0aba723e33101826e297">SVF::LLVMContext</a></div><div class="ttdeci">llvm::LLVMContext LLVMContext</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00068">BasicTypes.h:68</a></div></div>
|
|
380
382
|
<div class="ttc" id="anamespaceSVF_html_a1f4624771922dc8c2447ad7433588c73"><div class="ttname"><a href="namespaceSVF.html#a1f4624771922dc8c2447ad7433588c73">SVF::CallBase</a></div><div class="ttdeci">llvm::CallBase CallBase</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00144">BasicTypes.h:144</a></div></div>
|
|
@@ -393,7 +395,7 @@ $(function() {
|
|
|
393
395
|
<div class="ttc" id="anamespaceSVF_html_a146d286041987860388da3d8bc85cee3"><div class="ttname"><a href="namespaceSVF.html#a146d286041987860388da3d8bc85cee3">SVF::ArrayType</a></div><div class="ttdeci">llvm::ArrayType ArrayType</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00093">BasicTypes.h:93</a></div></div>
|
|
394
396
|
<div class="ttc" id="anamespaceSVF_html_a334998718813a19a7697daf4ba282faf"><div class="ttname"><a href="namespaceSVF.html#a334998718813a19a7697daf4ba282faf">SVF::Use</a></div><div class="ttdeci">llvm::Use Use</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00070">BasicTypes.h:70</a></div></div>
|
|
395
397
|
<div class="ttc" id="aGEPTypeBridgeIterator_8h_html"><div class="ttname"><a href="GEPTypeBridgeIterator_8h.html">GEPTypeBridgeIterator.h</a></div></div>
|
|
396
|
-
<div class="ttc" id="anamespaceSVF_html_a5ae98f122c64b0114df2e5861b341321"><div class="ttname"><a href="namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321">SVF::DebugInfoFinder</a></div><div class="ttdeci">llvm::DebugInfoFinder DebugInfoFinder</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#
|
|
398
|
+
<div class="ttc" id="anamespaceSVF_html_a5ae98f122c64b0114df2e5861b341321"><div class="ttname"><a href="namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321">SVF::DebugInfoFinder</a></div><div class="ttdeci">llvm::DebugInfoFinder DebugInfoFinder</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00237">BasicTypes.h:237</a></div></div>
|
|
397
399
|
<div class="ttc" id="anamespaceSVF_html_a485b10fc29e76fdb6f31a56ebbde8f24"><div class="ttname"><a href="namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24">SVF::InsertValueInst</a></div><div class="ttdeci">llvm::InsertValueInst InsertValueInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00165">BasicTypes.h:165</a></div></div>
|
|
398
400
|
<div class="ttc" id="anamespaceSVF_html_ac8d4990439af7a2ecca7e15383119674"><div class="ttname"><a href="namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674">SVF::PHINode</a></div><div class="ttdeci">llvm::PHINode PHINode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00163">BasicTypes.h:163</a></div></div>
|
|
399
401
|
<div class="ttc" id="anamespaceSVF_html_a582e3736a2bbb0540364c1693d831b49"><div class="ttname"><a href="namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49">SVF::AtomicCmpXchgInst</a></div><div class="ttdeci">llvm::AtomicCmpXchgInst AtomicCmpXchgInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00149">BasicTypes.h:149</a></div></div>
|
|
@@ -401,19 +403,19 @@ $(function() {
|
|
|
401
403
|
<div class="ttc" id="anamespaceSVF_html_a2bf58575ac7d068e0f1a4cf953b9e6cb"><div class="ttname"><a href="namespaceSVF.html#a2bf58575ac7d068e0f1a4cf953b9e6cb">SVF::StructType</a></div><div class="ttdeci">llvm::StructType StructType</div><div class="ttdoc">LLVM types.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00092">BasicTypes.h:92</a></div></div>
|
|
402
404
|
<div class="ttc" id="anamespaceSVF_html_ae5853f7df76735b195ff93949ca4256b"><div class="ttname"><a href="namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b">SVF::UnifyFunctionExitNodes</a></div><div class="ttdeci">llvm::UnifyFunctionExitNodes UnifyFunctionExitNodes</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00076">BasicTypes.h:76</a></div></div>
|
|
403
405
|
<div class="ttc" id="anamespaceSVF_html_a2b28f48dde0a9a91d251e654ce1f9477"><div class="ttname"><a href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477">SVF::ConstantStruct</a></div><div class="ttdeci">llvm::ConstantStruct ConstantStruct</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00104">BasicTypes.h:104</a></div></div>
|
|
404
|
-
<div class="ttc" id="anamespaceSVF_html_aded9b991c77acc5284ccead0739e84f1"><div class="ttname"><a href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">SVF::DICompositeType</a></div><div class="ttdeci">llvm::DICompositeType DICompositeType</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#
|
|
406
|
+
<div class="ttc" id="anamespaceSVF_html_aded9b991c77acc5284ccead0739e84f1"><div class="ttname"><a href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">SVF::DICompositeType</a></div><div class="ttdeci">llvm::DICompositeType DICompositeType</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00235">BasicTypes.h:235</a></div></div>
|
|
405
407
|
<div class="ttc" id="anamespaceSVF_html_abcafc32093ff5ee038b5fcf6e4076ed4"><div class="ttname"><a href="namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4">SVF::VAArgInst</a></div><div class="ttdeci">llvm::VAArgInst VAArgInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00173">BasicTypes.h:173</a></div></div>
|
|
406
|
-
<div class="ttc" id="anamespaceSVF_html_a4f7c400fbf2fa03db8cf61cb9a7dd3e8"><div class="ttname"><a href="namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8">SVF::SCEVAddRecExpr</a></div><div class="ttdeci">llvm::SCEVAddRecExpr SCEVAddRecExpr</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#
|
|
407
|
-
<div class="ttc" id="anamespaceSVF_html_a852e75c562139237fcc754c7461533e6"><div class="ttname"><a href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6">SVF::DIDerivedType</a></div><div class="ttdeci">llvm::DIDerivedType DIDerivedType</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#
|
|
408
|
+
<div class="ttc" id="anamespaceSVF_html_a4f7c400fbf2fa03db8cf61cb9a7dd3e8"><div class="ttname"><a href="namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8">SVF::SCEVAddRecExpr</a></div><div class="ttdeci">llvm::SCEVAddRecExpr SCEVAddRecExpr</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00256">BasicTypes.h:256</a></div></div>
|
|
409
|
+
<div class="ttc" id="anamespaceSVF_html_a852e75c562139237fcc754c7461533e6"><div class="ttname"><a href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6">SVF::DIDerivedType</a></div><div class="ttdeci">llvm::DIDerivedType DIDerivedType</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00236">BasicTypes.h:236</a></div></div>
|
|
408
410
|
<div class="ttc" id="anamespaceSVF_html_a3bacb4f95c73e6d794901d01c6b65a83"><div class="ttname"><a href="namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83">SVF::AllocaInst</a></div><div class="ttdeci">llvm::AllocaInst AllocaInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00148">BasicTypes.h:148</a></div></div>
|
|
409
411
|
<div class="ttc" id="anamespaceSVF_html_ab7fac9d4a4839be445c89777e21bc307"><div class="ttname"><a href="namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307">SVF::SelectInst</a></div><div class="ttdeci">llvm::SelectInst SelectInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00172">BasicTypes.h:172</a></div></div>
|
|
410
412
|
<div class="ttc" id="anamespaceSVF_html_a5d875a9d726bb9f68a17efa528dec0b4"><div class="ttname"><a href="namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4">SVF::CmpInst</a></div><div class="ttdeci">llvm::CmpInst CmpInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00157">BasicTypes.h:157</a></div></div>
|
|
411
|
-
<div class="ttc" id="anamespaceSVF_html_a9f1aca0384166e42d14e2608009ebc01"><div class="ttname"><a href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01">SVF::ScalarEvolutionWrapperPass</a></div><div class="ttdeci">llvm::ScalarEvolutionWrapperPass ScalarEvolutionWrapperPass</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#
|
|
413
|
+
<div class="ttc" id="anamespaceSVF_html_a9f1aca0384166e42d14e2608009ebc01"><div class="ttname"><a href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01">SVF::ScalarEvolutionWrapperPass</a></div><div class="ttdeci">llvm::ScalarEvolutionWrapperPass ScalarEvolutionWrapperPass</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00255">BasicTypes.h:255</a></div></div>
|
|
412
414
|
<div class="ttc" id="anamespaceSVF_html_ad3d3cec1813411f039211c86236f7adb"><div class="ttname"><a href="namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb">SVF::MDNode</a></div><div class="ttdeci">llvm::MDNode MDNode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00110">BasicTypes.h:110</a></div></div>
|
|
413
|
-
<div class="ttc" id="anamespaceSVF_html_aa508c087703240dad69a9827e85ebd0b"><div class="ttname"><a href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b">SVF::gep_type_iterator</a></div><div class="ttdeci">llvm::gep_type_iterator gep_type_iterator</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#
|
|
414
|
-
<div class="ttc" id="anamespaceSVF_html_a032e8478a7b6a8bb0b7755c98a7bce91"><div class="ttname"><a href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91">SVF::const_inst_iterator</a></div><div class="ttdeci">llvm::const_inst_iterator const_inst_iterator</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#
|
|
415
|
-
<div class="ttc" id="anamespaceSVF_html_a99bc1228f07429855c81a720be862dc6"><div class="ttname"><a href="namespaceSVF.html#a99bc1228f07429855c81a720be862dc6">SVF::DISubrange</a></div><div class="ttdeci">llvm::DISubrange DISubrange</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#
|
|
416
|
-
<div class="ttc" id="anamespaceSVF_html_a9d3ee421789884473bfacfaa9ec007cc"><div class="ttname"><a href="namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc">SVF::DITypeRefArray</a></div><div class="ttdeci">llvm::DITypeRefArray DITypeRefArray</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#
|
|
415
|
+
<div class="ttc" id="anamespaceSVF_html_aa508c087703240dad69a9827e85ebd0b"><div class="ttname"><a href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b">SVF::gep_type_iterator</a></div><div class="ttdeci">llvm::gep_type_iterator gep_type_iterator</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00249">BasicTypes.h:249</a></div></div>
|
|
416
|
+
<div class="ttc" id="anamespaceSVF_html_a032e8478a7b6a8bb0b7755c98a7bce91"><div class="ttname"><a href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91">SVF::const_inst_iterator</a></div><div class="ttdeci">llvm::const_inst_iterator const_inst_iterator</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00248">BasicTypes.h:248</a></div></div>
|
|
417
|
+
<div class="ttc" id="anamespaceSVF_html_a99bc1228f07429855c81a720be862dc6"><div class="ttname"><a href="namespaceSVF.html#a99bc1228f07429855c81a720be862dc6">SVF::DISubrange</a></div><div class="ttdeci">llvm::DISubrange DISubrange</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00240">BasicTypes.h:240</a></div></div>
|
|
418
|
+
<div class="ttc" id="anamespaceSVF_html_a9d3ee421789884473bfacfaa9ec007cc"><div class="ttname"><a href="namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc">SVF::DITypeRefArray</a></div><div class="ttdeci">llvm::DITypeRefArray DITypeRefArray</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00243">BasicTypes.h:243</a></div></div>
|
|
417
419
|
<div class="ttc" id="anamespaceSVF_html_a962e9a9044a46fc4bd2367384f6e0827"><div class="ttname"><a href="namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827">SVF::CastInst</a></div><div class="ttdeci">llvm::CastInst CastInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00156">BasicTypes.h:156</a></div></div>
|
|
418
420
|
<div class="ttc" id="anamespaceSVF_html_ace1fd4c32134018e2f6d5da193524986"><div class="ttname"><a href="namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986">SVF::ExtractValueInst</a></div><div class="ttdeci">llvm::ExtractValueInst ExtractValueInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00158">BasicTypes.h:158</a></div></div>
|
|
419
421
|
<div class="ttc" id="anamespaceSVF_html_aa7a770b5dd5cd0e37d06a1088f252906"><div class="ttname"><a href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">SVF::Module</a></div><div class="ttdeci">llvm::Module Module</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00082">BasicTypes.h:82</a></div></div>
|
|
@@ -422,15 +424,15 @@ $(function() {
|
|
|
422
424
|
<div class="ttc" id="anamespaceSVF_html_ab34383ee87cd45eb485fa29db482ffef"><div class="ttname"><a href="namespaceSVF.html#ab34383ee87cd45eb485fa29db482ffef">SVF::PostDominatorTree</a></div><div class="ttdeci">llvm::PostDominatorTree PostDominatorTree</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00134">BasicTypes.h:134</a></div></div>
|
|
423
425
|
<div class="ttc" id="anamespaceSVF_html_ac4e93e1fec646ff222940a663843921b"><div class="ttname"><a href="namespaceSVF.html#ac4e93e1fec646ff222940a663843921b">SVF::GetElementPtrInst</a></div><div class="ttdeci">llvm::GetElementPtrInst GetElementPtrInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00160">BasicTypes.h:160</a></div></div>
|
|
424
426
|
<div class="ttc" id="anamespaceSVF_html_a8ad3aa124fabddc2fdd07c50403d70a9"><div class="ttname"><a href="namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9">SVF::ConstantDataSequential</a></div><div class="ttdeci">llvm::ConstantDataSequential ConstantDataSequential</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00117">BasicTypes.h:117</a></div></div>
|
|
425
|
-
<div class="ttc" id="anamespaceSVF_html_a1c7c7ac12791c0ae386283c0a4f127ba"><div class="ttname"><a href="namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba">SVF::raw_fd_ostream</a></div><div class="ttdeci">llvm::raw_fd_ostream raw_fd_ostream</div><div class="ttdoc">LLVM outputs.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#
|
|
427
|
+
<div class="ttc" id="anamespaceSVF_html_a1c7c7ac12791c0ae386283c0a4f127ba"><div class="ttname"><a href="namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba">SVF::raw_fd_ostream</a></div><div class="ttdeci">llvm::raw_fd_ostream raw_fd_ostream</div><div class="ttdoc">LLVM outputs.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00262">BasicTypes.h:262</a></div></div>
|
|
426
428
|
<div class="ttc" id="anamespaceSVF_html_afa513a3c76371907221ee2b1ef289c71"><div class="ttname"><a href="namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71">SVF::LandingPadInst</a></div><div class="ttdeci">llvm::LandingPadInst LandingPadInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00170">BasicTypes.h:170</a></div></div>
|
|
427
429
|
<div class="ttc" id="anamespaceSVF_html_a7e230c0cba2e3a7c2e5a5f2ee7d88af9"><div class="ttname"><a href="namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9">SVF::Constant</a></div><div class="ttdeci">llvm::Constant Constant</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00122">BasicTypes.h:122</a></div></div>
|
|
428
430
|
<div class="ttc" id="anamespaceSVF_html_adefcb50414ea999d70cea5ccdbcb98d7"><div class="ttname"><a href="namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7">SVF::ConstantInt</a></div><div class="ttdeci">llvm::ConstantInt ConstantInt</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00123">BasicTypes.h:123</a></div></div>
|
|
429
|
-
<div class="ttc" id="anamespaceSVF_html_ad127b0ad478640ede3d426e3a58d2632"><div class="ttname"><a href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">SVF::DIType</a></div><div class="ttdeci">llvm::DIType DIType</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#
|
|
431
|
+
<div class="ttc" id="anamespaceSVF_html_ad127b0ad478640ede3d426e3a58d2632"><div class="ttname"><a href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">SVF::DIType</a></div><div class="ttdeci">llvm::DIType DIType</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00234">BasicTypes.h:234</a></div></div>
|
|
430
432
|
<div class="ttc" id="anamespaceSVF_html_afc50da46a6ea7c2cf61683bbec4d7c8d"><div class="ttname"><a href="namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d">SVF::BitCastInst</a></div><div class="ttdeci">llvm::BitCastInst BitCastInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00151">BasicTypes.h:151</a></div></div>
|
|
431
433
|
<div class="ttc" id="anamespaceSVF_html_adc8b60ca7d60cf6c81feae20e4a04c63"><div class="ttname"><a href="namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63">SVF::CallInst</a></div><div class="ttdeci">llvm::CallInst CallInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00145">BasicTypes.h:145</a></div></div>
|
|
432
434
|
<div class="ttc" id="anamespaceSVF_html_a8c685f6bff3a67bf7fe3557dbfa84caa"><div class="ttname"><a href="namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa">SVF::ResumeInst</a></div><div class="ttdeci">llvm::ResumeInst ResumeInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00171">BasicTypes.h:171</a></div></div>
|
|
433
|
-
<div class="ttc" id="anamespaceSVF_html_a3436a988bf80c021cd8022fb445b66d5"><div class="ttname"><a href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">SVF::succ_const_iterator</a></div><div class="ttdeci">llvm::succ_const_iterator succ_const_iterator</div><div class="ttdoc">LLVM Iterators.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#
|
|
435
|
+
<div class="ttc" id="anamespaceSVF_html_a3436a988bf80c021cd8022fb445b66d5"><div class="ttname"><a href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">SVF::succ_const_iterator</a></div><div class="ttdeci">llvm::succ_const_iterator succ_const_iterator</div><div class="ttdoc">LLVM Iterators.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00274">BasicTypes.h:274</a></div></div>
|
|
434
436
|
<div class="ttc" id="anamespaceSVF_html_ad9ebd847ed5d901cd30b1cfcdaec3462"><div class="ttname"><a href="namespaceSVF.html#ad9ebd847ed5d901cd30b1cfcdaec3462">SVF::ConstantDataArray</a></div><div class="ttdeci">llvm::ConstantDataArray ConstantDataArray</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00119">BasicTypes.h:119</a></div></div>
|
|
435
437
|
<div class="ttc" id="anamespaceSVF_html_a8ac6a8ff90f47a93166fbdf15be2d721"><div class="ttname"><a href="namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721">SVF::UnreachableInst</a></div><div class="ttdeci">llvm::UnreachableInst UnreachableInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00168">BasicTypes.h:168</a></div></div>
|
|
436
438
|
<div class="ttc" id="anamespaceSVF_html_a0f3339f5241441c7e6023df9e0cfa295"><div class="ttname"><a href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295">SVF::VACopyInst</a></div><div class="ttdeci">llvm::VACopyInst VACopyInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00174">BasicTypes.h:174</a></div></div>
|
|
@@ -446,15 +448,15 @@ $(function() {
|
|
|
446
448
|
<div class="ttc" id="anamespaceSVF_html_a3011dbac9102f044ad5f36a4ad3d4a71"><div class="ttname"><a href="namespaceSVF.html#a3011dbac9102f044ad5f36a4ad3d4a71">SVF::NamedMDNode</a></div><div class="ttdeci">llvm::NamedMDNode NamedMDNode</div><div class="ttdoc">LLVM metadata and debug information.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00109">BasicTypes.h:109</a></div></div>
|
|
447
449
|
<div class="ttc" id="anamespaceSVF_html_a28eec26ec8edaa5e96aecfeb01f6c0d4"><div class="ttname"><a href="namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4">SVF::MDString</a></div><div class="ttdeci">llvm::MDString MDString</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00099">BasicTypes.h:99</a></div></div>
|
|
448
450
|
<div class="ttc" id="anamespaceSVF_html_ad49e4222ba46d9490b87a80df8b46800"><div class="ttname"><a href="namespaceSVF.html#ad49e4222ba46d9490b87a80df8b46800">SVF::ConstantFP</a></div><div class="ttdeci">llvm::ConstantFP ConstantFP</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00124">BasicTypes.h:124</a></div></div>
|
|
449
|
-
<div class="ttc" id="anamespaceSVF_html_ad8794eb3c00de3d3b5c5e43dded3fb42"><div class="ttname"><a href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">SVF::ScalarEvolution</a></div><div class="ttdeci">llvm::ScalarEvolution ScalarEvolution</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#
|
|
451
|
+
<div class="ttc" id="anamespaceSVF_html_ad8794eb3c00de3d3b5c5e43dded3fb42"><div class="ttname"><a href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">SVF::ScalarEvolution</a></div><div class="ttdeci">llvm::ScalarEvolution ScalarEvolution</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00258">BasicTypes.h:258</a></div></div>
|
|
450
452
|
<div class="ttc" id="anamespaceSVF_html_adb305e32f35af19b870b07711ba5b913"><div class="ttname"><a href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913">SVF::VAEndInst</a></div><div class="ttdeci">llvm::VAEndInst VAEndInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00175">BasicTypes.h:175</a></div></div>
|
|
451
|
-
<div class="ttc" id="anamespaceSVF_html_a255af6ff30782cb9a548feadb0fe7d6b"><div class="ttname"><a href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">SVF::inst_iterator</a></div><div class="ttdeci">llvm::inst_iterator inst_iterator</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#
|
|
453
|
+
<div class="ttc" id="anamespaceSVF_html_a255af6ff30782cb9a548feadb0fe7d6b"><div class="ttname"><a href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">SVF::inst_iterator</a></div><div class="ttdeci">llvm::inst_iterator inst_iterator</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00247">BasicTypes.h:247</a></div></div>
|
|
452
454
|
<div class="ttc" id="anamespaceSVF_html_a7332f8059ea95472dcc231de884a5768"><div class="ttname"><a href="namespaceSVF.html#a7332f8059ea95472dcc231de884a5768">SVF::ConstantData</a></div><div class="ttdeci">llvm::ConstantData ConstantData</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00114">BasicTypes.h:114</a></div></div>
|
|
453
455
|
<div class="ttc" id="anamespaceSVF_html_a58cdfbc4160cae08745b67844ac29801"><div class="ttname"><a href="namespaceSVF.html#a58cdfbc4160cae08745b67844ac29801">SVF::Argument</a></div><div class="ttdeci">llvm::Argument Argument</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00143">BasicTypes.h:143</a></div></div>
|
|
454
456
|
<div class="ttc" id="anamespaceSVF_html_a64e69f438b8c302c4cae27735319fa49"><div class="ttname"><a href="namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49">SVF::ShuffleVectorInst</a></div><div class="ttdeci">llvm::ShuffleVectorInst ShuffleVectorInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00162">BasicTypes.h:162</a></div></div>
|
|
455
457
|
<div class="ttc" id="anamespaceSVF_html_aacffd97ab4cb45aeae2e67ec479889aa"><div class="ttname"><a href="namespaceSVF.html#aacffd97ab4cb45aeae2e67ec479889aa">SVF::GlobalIFunc</a></div><div class="ttdeci">llvm::GlobalIFunc GlobalIFunc</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00127">BasicTypes.h:127</a></div></div>
|
|
456
458
|
<div class="ttc" id="anamespaceSVF_html_a6b857824fb3c39ff6de953651260a326"><div class="ttname"><a href="namespaceSVF.html#a6b857824fb3c39ff6de953651260a326">SVF::InsertElementInst</a></div><div class="ttdeci">llvm::InsertElementInst InsertElementInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00169">BasicTypes.h:169</a></div></div>
|
|
457
|
-
<div class="ttc" id="anamespaceSVF_html_a255efa5be786996cbdd0c1f3d98b8400"><div class="ttname"><a href="namespaceSVF.html#a255efa5be786996cbdd0c1f3d98b8400">SVF::SuccBBAndCondValPair</a></div><div class="ttdeci">std::pair< const BasicBlock *, const ConstantInt * > SuccBBAndCondValPair</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#
|
|
459
|
+
<div class="ttc" id="anamespaceSVF_html_a255efa5be786996cbdd0c1f3d98b8400"><div class="ttname"><a href="namespaceSVF.html#a255efa5be786996cbdd0c1f3d98b8400">SVF::SuccBBAndCondValPair</a></div><div class="ttdeci">std::pair< const BasicBlock *, const ConstantInt * > SuccBBAndCondValPair</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00183">BasicTypes.h:183</a></div></div>
|
|
458
460
|
<div class="ttc" id="anamespaceSVF_html_a90f6c91ba7a3c31c84b5c25277d83fca"><div class="ttname"><a href="namespaceSVF.html#a90f6c91ba7a3c31c84b5c25277d83fca">SVF::ConstantPointerNull</a></div><div class="ttdeci">llvm::ConstantPointerNull ConstantPointerNull</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00125">BasicTypes.h:125</a></div></div>
|
|
459
461
|
<!-- start footer part -->
|
|
460
462
|
<hr class="footer"/><address class="footer"><small>
|
|
@@ -353,7 +353,7 @@ $(function() {
|
|
|
353
353
|
<div class="ttc" id="aclassSVF_1_1POCRHybridSolver_html"><div class="ttname"><a href="classSVF_1_1POCRHybridSolver.html">SVF::POCRHybridSolver</a></div><div class="ttdoc">Solver Utilize Hybrid Representation of Graph.</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00294">CFLSolver.h:294</a></div></div>
|
|
354
354
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream & outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
|
|
355
355
|
<div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01108">SVFValue.h:1108</a></div></div>
|
|
356
|
-
<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#
|
|
356
|
+
<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01385">LLVMUtil.cpp:1385</a></div></div>
|
|
357
357
|
<div class="ttc" id="aCFLAlias_8h_html"><div class="ttname"><a href="CFLAlias_8h.html">CFLAlias.h</a></div></div>
|
|
358
358
|
<div class="ttc" id="aclassSVF_1_1CFLAlias_html_a1b7e49b3f42d625f1f25258044f8b885"><div class="ttname"><a href="classSVF_1_1CFLAlias.html#a1b7e49b3f42d625f1f25258044f8b885">SVF::CFLAlias::finalize</a></div><div class="ttdeci">virtual void finalize()</div><div class="ttdoc">Print grammar and graph.</div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8cpp_source.html#l00215">CFLAlias.cpp:215</a></div></div>
|
|
359
359
|
<div class="ttc" id="aclassSVF_1_1CallSite_html_ac2a0091dab3543a398da890b947e42ef"><div class="ttname"><a href="classSVF_1_1CallSite.html#ac2a0091dab3543a398da890b947e42ef">SVF::CallSite::getInstruction</a></div><div class="ttdeci">const SVFInstruction * getInstruction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01123">SVFValue.h:1123</a></div></div>
|