svf-tools 1.0.474 → 1.0.475
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +8 -7
- package/SVF-doxygen/html/html/Andersen_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/Andersen_8h_source.html +1 -1
- package/SVF-doxygen/html/html/CFLAlias_8h_source.html +2 -2
- package/SVF-doxygen/html/html/CHGBuilder_8cpp.html +2 -2
- package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +20 -19
- package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +15 -15
- package/SVF-doxygen/html/html/CPPUtil_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/Casting_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ConsG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/ContextDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +4 -4
- package/SVF-doxygen/html/html/ExeState_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/FlowDDA_8h_source.html +2 -2
- package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +11 -10
- package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +11 -10
- package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +7 -7
- package/SVF-doxygen/html/html/ICFG_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/IRGraph_8h_source.html +3 -3
- package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +24 -24
- package/SVF-doxygen/html/html/LLVMUtil_8h.html +111 -111
- package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +41 -40
- package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +11 -10
- package/SVF-doxygen/html/html/LeakChecker_8h_source.html +8 -8
- package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +14 -13
- package/SVF-doxygen/html/html/LocationSet_8h_source.html +9 -9
- package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +31 -30
- package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +23 -23
- package/SVF-doxygen/html/html/MHP_8h_source.html +2 -2
- package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +1 -1
- package/SVF-doxygen/html/html/MTA_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/MemPartition_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +35 -34
- package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +28 -27
- package/SVF-doxygen/html/html/MemSSA_8h_source.html +19 -19
- package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +14 -14
- package/SVF-doxygen/html/html/PathCondAllocator_8cpp_source.html +26 -25
- package/SVF-doxygen/html/html/PathCondAllocator_8h_source.html +22 -22
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +2 -2
- package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +27 -26
- package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +24 -24
- package/SVF-doxygen/html/html/ProgSlice_8h_source.html +3 -3
- package/SVF-doxygen/html/html/SVFBasicTypes_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +17 -16
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +37 -37
- package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/SVFIR_8h_source.html +3 -3
- package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFVariables_8h_source.html +3 -3
- package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +40 -39
- package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +16 -16
- package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +58 -57
- package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +24 -24
- package/SVF-doxygen/html/html/TCT_8h_source.html +2 -2
- package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/WPAStat_8h_source.html +5 -5
- package/SVF-doxygen/html/html/cfl_8cpp.html +3 -3
- package/SVF-doxygen/html/html/cfl_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +14 -14
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +48 -48
- package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ExeState.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +23 -23
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +23 -23
- package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +22 -22
- package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +28 -28
- package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +78 -78
- package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +100 -100
- package/SVF-doxygen/html/html/classSVF_1_1MTA.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +54 -54
- package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +56 -56
- package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +15 -15
- package/SVF-doxygen/html/html/classSVF_1_1PathCondAllocator.html +71 -71
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +59 -59
- package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1RaceValidator.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +148 -148
- package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1StInfo.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +88 -88
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +65 -65
- package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +4 -4
- package/SVF-doxygen/html/html/dda_8cpp.html +2 -2
- package/SVF-doxygen/html/html/dda_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/mta_8cpp.html +2 -2
- package/SVF-doxygen/html/html/mta_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/namespaceSVF.html +4 -2
- package/SVF-doxygen/html/html/namespaceSVF_1_1LLVMUtil.html +1452 -0
- package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +41 -1409
- package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +4 -4
- package/SVF-doxygen/html/html/namespacemembers.html +3 -3
- package/SVF-doxygen/html/html/namespacemembers_f.html +1 -1
- package/SVF-doxygen/html/html/namespacemembers_func.html +39 -39
- package/SVF-doxygen/html/html/namespacemembers_g.html +14 -14
- package/SVF-doxygen/html/html/namespacemembers_i.html +18 -18
- package/SVF-doxygen/html/html/namespacemembers_p.html +1 -1
- package/SVF-doxygen/html/html/namespacemembers_s.html +2 -2
- package/SVF-doxygen/html/html/namespaces.html +2 -1
- package/SVF-doxygen/html/html/saber_8cpp.html +2 -2
- package/SVF-doxygen/html/html/saber_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/search/all_1.js +3 -3
- package/SVF-doxygen/html/html/search/all_10.js +1 -1
- package/SVF-doxygen/html/html/search/all_13.js +3 -2
- package/SVF-doxygen/html/html/search/all_6.js +1 -1
- package/SVF-doxygen/html/html/search/all_7.js +14 -14
- package/SVF-doxygen/html/html/search/all_9.js +18 -18
- package/SVF-doxygen/html/html/search/functions_0.js +3 -3
- package/SVF-doxygen/html/html/search/functions_11.js +2 -2
- package/SVF-doxygen/html/html/search/functions_5.js +1 -1
- package/SVF-doxygen/html/html/search/functions_6.js +14 -14
- package/SVF-doxygen/html/html/search/functions_8.js +18 -18
- package/SVF-doxygen/html/html/search/functions_f.js +1 -1
- package/SVF-doxygen/html/html/search/namespaces_1.js +1 -0
- package/SVF-doxygen/html/html/svf-ex_8cpp.html +3 -3
- package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/wpa_8cpp.html +2 -2
- package/SVF-doxygen/html/html/wpa_8cpp_source.html +2 -2
- package/include/MTA/MHP.h +1 -1
- package/include/SVF-FE/LLVMUtil.h +7 -7
- package/lib/Graphs/ICFG.cpp +2 -2
- package/lib/MSSA/MemRegion.cpp +1 -0
- package/lib/MSSA/MemSSA.cpp +1 -0
- package/lib/MTA/LockAnalysis.cpp +1 -0
- package/lib/MemoryModel/LocationSet.cpp +1 -0
- package/lib/MemoryModel/PointerAnalysis.cpp +1 -0
- package/lib/MemoryModel/SVFIR.cpp +1 -1
- package/lib/MemoryModel/SymbolTableInfo.cpp +1 -0
- package/lib/SABER/LeakChecker.cpp +1 -0
- package/lib/SABER/PathCondAllocator.cpp +1 -0
- package/lib/SVF-FE/CHGBuilder.cpp +1 -0
- package/lib/SVF-FE/CPPUtil.cpp +2 -2
- package/lib/SVF-FE/ICFGBuilder.cpp +1 -0
- package/lib/SVF-FE/LLVMUtil.cpp +32 -32
- package/lib/SVF-FE/SVFIRBuilder.cpp +2 -1
- package/lib/SVF-FE/SymbolTableBuilder.cpp +8 -7
- package/lib/WPA/AndersenStat.cpp +1 -0
- package/lib/WPA/FlowSensitiveStat.cpp +1 -0
- package/package.json +1 -1
- package/tools/CFL/cfl.cpp +1 -1
- package/tools/DDA/dda.cpp +1 -1
- package/tools/Example/svf-ex.cpp +1 -1
- package/tools/MTA/mta.cpp +1 -1
- package/tools/SABER/saber.cpp +1 -1
- package/tools/WPA/wpa.cpp +1 -1
|
@@ -82,126 +82,126 @@ Namespaces</h2></td></tr>
|
|
|
82
82
|
<tr class="memitem:namespaceSVF"><td class="memItemLeft" align="right" valign="top">  </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html">SVF</a></td></tr>
|
|
83
83
|
<tr class="memdesc:namespaceSVF"><td class="mdescLeft"> </td><td class="mdescRight">for isBitcode <br /></td></tr>
|
|
84
84
|
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
|
85
|
-
<tr class="memitem:
|
|
85
|
+
<tr class="memitem:namespaceSVF_1_1LLVMUtil"><td class="memItemLeft" align="right" valign="top">  </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html">SVF::LLVMUtil</a></td></tr>
|
|
86
86
|
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
|
87
87
|
</table><table class="memberdecls">
|
|
88
88
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="func-members"></a>
|
|
89
89
|
Functions</h2></td></tr>
|
|
90
|
-
<tr class="memitem:
|
|
91
|
-
<tr class="memdesc:
|
|
92
|
-
<tr class="separator:
|
|
93
|
-
<tr class="memitem:
|
|
94
|
-
<tr class="memdesc:
|
|
95
|
-
<tr class="separator:
|
|
96
|
-
<tr class="memitem:
|
|
97
|
-
<tr class="memdesc:
|
|
98
|
-
<tr class="separator:
|
|
99
|
-
<tr class="memitem:
|
|
100
|
-
<tr class="memdesc:
|
|
101
|
-
<tr class="separator:
|
|
102
|
-
<tr class="memitem:
|
|
103
|
-
<tr class="separator:
|
|
104
|
-
<tr class="memitem:
|
|
105
|
-
<tr class="memdesc:
|
|
106
|
-
<tr class="separator:
|
|
107
|
-
<tr class="memitem:
|
|
108
|
-
<tr class="memdesc:
|
|
109
|
-
<tr class="separator:
|
|
110
|
-
<tr class="memitem:
|
|
111
|
-
<tr class="memdesc:
|
|
112
|
-
<tr class="separator:
|
|
113
|
-
<tr class="memitem:
|
|
114
|
-
<tr class="memdesc:
|
|
115
|
-
<tr class="separator:
|
|
116
|
-
<tr class="memitem:
|
|
117
|
-
<tr class="memdesc:
|
|
118
|
-
<tr class="separator:
|
|
119
|
-
<tr class="memitem:
|
|
120
|
-
<tr class="separator:
|
|
121
|
-
<tr class="memitem:
|
|
122
|
-
<tr class="memdesc:
|
|
123
|
-
<tr class="separator:
|
|
124
|
-
<tr class="memitem:
|
|
125
|
-
<tr class="memdesc:
|
|
126
|
-
<tr class="separator:
|
|
127
|
-
<tr class="memitem:
|
|
128
|
-
<tr class="memdesc:
|
|
129
|
-
<tr class="separator:
|
|
130
|
-
<tr class="memitem:
|
|
131
|
-
<tr class="memdesc:
|
|
132
|
-
<tr class="separator:
|
|
133
|
-
<tr class="memitem:
|
|
134
|
-
<tr class="separator:
|
|
135
|
-
<tr class="memitem:
|
|
136
|
-
<tr class="memdesc:
|
|
137
|
-
<tr class="separator:
|
|
138
|
-
<tr class="memitem:
|
|
139
|
-
<tr class="memdesc:
|
|
140
|
-
<tr class="separator:
|
|
141
|
-
<tr class="memitem:
|
|
142
|
-
<tr class="memdesc:
|
|
143
|
-
<tr class="separator:
|
|
144
|
-
<tr class="memitem:
|
|
145
|
-
<tr class="memdesc:
|
|
146
|
-
<tr class="separator:
|
|
147
|
-
<tr class="memitem:
|
|
148
|
-
<tr class="memdesc:
|
|
149
|
-
<tr class="separator:
|
|
150
|
-
<tr class="memitem:
|
|
151
|
-
<tr class="memdesc:
|
|
152
|
-
<tr class="separator:
|
|
153
|
-
<tr class="memitem:
|
|
154
|
-
<tr class="memdesc:
|
|
155
|
-
<tr class="separator:
|
|
156
|
-
<tr class="memitem:
|
|
157
|
-
<tr class="memdesc:
|
|
158
|
-
<tr class="separator:
|
|
90
|
+
<tr class="memitem:abf4e75ba6236136399d45c85be2328fe"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#abf4e75ba6236136399d45c85be2328fe">SVF::LLVMUtil::isBlackholeSym</a> (const Value *val)</td></tr>
|
|
91
|
+
<tr class="memdesc:abf4e75ba6236136399d45c85be2328fe"><td class="mdescLeft"> </td><td class="mdescRight">Check whether this value is a black hole. <a href="namespaceSVF_1_1LLVMUtil.html#abf4e75ba6236136399d45c85be2328fe">More...</a><br /></td></tr>
|
|
92
|
+
<tr class="separator:abf4e75ba6236136399d45c85be2328fe"><td class="memSeparator" colspan="2"> </td></tr>
|
|
93
|
+
<tr class="memitem:a847fb0c433b5d3611151636ca4bc5bc5"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a847fb0c433b5d3611151636ca4bc5bc5">SVF::LLVMUtil::isNullPtrSym</a> (const Value *val)</td></tr>
|
|
94
|
+
<tr class="memdesc:a847fb0c433b5d3611151636ca4bc5bc5"><td class="mdescLeft"> </td><td class="mdescRight">Check whether this value is a black hole. <a href="namespaceSVF_1_1LLVMUtil.html#a847fb0c433b5d3611151636ca4bc5bc5">More...</a><br /></td></tr>
|
|
95
|
+
<tr class="separator:a847fb0c433b5d3611151636ca4bc5bc5"><td class="memSeparator" colspan="2"> </td></tr>
|
|
96
|
+
<tr class="memitem:a2fd5c626b818ac22a9c845227e1461c4"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a2fd5c626b818ac22a9c845227e1461c4">SVF::LLVMUtil::isConstantObjSym</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *val)</td></tr>
|
|
97
|
+
<tr class="memdesc:a2fd5c626b818ac22a9c845227e1461c4"><td class="mdescLeft"> </td><td class="mdescRight">Check whether this value points-to a constant object. <a href="namespaceSVF_1_1LLVMUtil.html#a2fd5c626b818ac22a9c845227e1461c4">More...</a><br /></td></tr>
|
|
98
|
+
<tr class="separator:a2fd5c626b818ac22a9c845227e1461c4"><td class="memSeparator" colspan="2"> </td></tr>
|
|
99
|
+
<tr class="memitem:a832b1306f23e0f3db8cf5c0a35dc4561"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a832b1306f23e0f3db8cf5c0a35dc4561">SVF::LLVMUtil::isReturn</a> (const Instruction *inst)</td></tr>
|
|
100
|
+
<tr class="memdesc:a832b1306f23e0f3db8cf5c0a35dc4561"><td class="mdescLeft"> </td><td class="mdescRight">Whether an instruction is a return instruction. <a href="namespaceSVF_1_1LLVMUtil.html#a832b1306f23e0f3db8cf5c0a35dc4561">More...</a><br /></td></tr>
|
|
101
|
+
<tr class="separator:a832b1306f23e0f3db8cf5c0a35dc4561"><td class="memSeparator" colspan="2"> </td></tr>
|
|
102
|
+
<tr class="memitem:abba4111230f6009bbf50518ee36a9870"><td class="memItemLeft" align="right" valign="top">static Type * </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#abba4111230f6009bbf50518ee36a9870">SVF::LLVMUtil::getPtrElementType</a> (const PointerType *pty)</td></tr>
|
|
103
|
+
<tr class="separator:abba4111230f6009bbf50518ee36a9870"><td class="memSeparator" colspan="2"> </td></tr>
|
|
104
|
+
<tr class="memitem:aca11801ed6ef6ff8d2a1e85bc0fc5794"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#aca11801ed6ef6ff8d2a1e85bc0fc5794">SVF::LLVMUtil::isObject</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *ref)</td></tr>
|
|
105
|
+
<tr class="memdesc:aca11801ed6ef6ff8d2a1e85bc0fc5794"><td class="mdescLeft"> </td><td class="mdescRight">Return true if this value refers to a object. <a href="namespaceSVF_1_1LLVMUtil.html#aca11801ed6ef6ff8d2a1e85bc0fc5794">More...</a><br /></td></tr>
|
|
106
|
+
<tr class="separator:aca11801ed6ef6ff8d2a1e85bc0fc5794"><td class="memSeparator" colspan="2"> </td></tr>
|
|
107
|
+
<tr class="memitem:adad59a953dd81e213db71babbbc9df2f"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#adad59a953dd81e213db71babbbc9df2f">SVF::LLVMUtil::ArgInProgEntryFunction</a> (const Value *val)</td></tr>
|
|
108
|
+
<tr class="memdesc:adad59a953dd81e213db71babbbc9df2f"><td class="mdescLeft"> </td><td class="mdescRight">Return true if this is an argument of a program entry function (e.g. main) <a href="namespaceSVF_1_1LLVMUtil.html#adad59a953dd81e213db71babbbc9df2f">More...</a><br /></td></tr>
|
|
109
|
+
<tr class="separator:adad59a953dd81e213db71babbbc9df2f"><td class="memSeparator" colspan="2"> </td></tr>
|
|
110
|
+
<tr class="memitem:a0649699433c2fe299ecde41c93f3e4bf"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a0649699433c2fe299ecde41c93f3e4bf">SVF::LLVMUtil::isPtrInDeadFunction</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *value)</td></tr>
|
|
111
|
+
<tr class="memdesc:a0649699433c2fe299ecde41c93f3e4bf"><td class="mdescLeft"> </td><td class="mdescRight">Return true if this is value in a dead function (function without any caller) <a href="namespaceSVF_1_1LLVMUtil.html#a0649699433c2fe299ecde41c93f3e4bf">More...</a><br /></td></tr>
|
|
112
|
+
<tr class="separator:a0649699433c2fe299ecde41c93f3e4bf"><td class="memSeparator" colspan="2"> </td></tr>
|
|
113
|
+
<tr class="memitem:a651b6a1cf3665277d2241220bb145aed"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a651b6a1cf3665277d2241220bb145aed">SVF::LLVMUtil::functionDoesNotRet</a> (const <a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *fun)</td></tr>
|
|
114
|
+
<tr class="memdesc:a651b6a1cf3665277d2241220bb145aed"><td class="mdescLeft"> </td><td class="mdescRight">Return true if the function has a return instruction reachable from function entry. <a href="namespaceSVF_1_1LLVMUtil.html#a651b6a1cf3665277d2241220bb145aed">More...</a><br /></td></tr>
|
|
115
|
+
<tr class="separator:a651b6a1cf3665277d2241220bb145aed"><td class="memSeparator" colspan="2"> </td></tr>
|
|
116
|
+
<tr class="memitem:a6e741146121afbb7114aadf3146d403a"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a6e741146121afbb7114aadf3146d403a">SVF::LLVMUtil::getFunReachableBBs</a> (const <a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *fun, <a class="el" href="namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd">DominatorTree</a> *dt, std::vector< const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *> &bbs)</td></tr>
|
|
117
|
+
<tr class="memdesc:a6e741146121afbb7114aadf3146d403a"><td class="mdescLeft"> </td><td class="mdescRight">Get reachable basic block from function entry. <a href="namespaceSVF_1_1LLVMUtil.html#a6e741146121afbb7114aadf3146d403a">More...</a><br /></td></tr>
|
|
118
|
+
<tr class="separator:a6e741146121afbb7114aadf3146d403a"><td class="memSeparator" colspan="2"> </td></tr>
|
|
119
|
+
<tr class="memitem:aa0e78f2e1c9c04aee478a7ecbf354800"><td class="memItemLeft" align="right" valign="top">const BasicBlock * </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#aa0e78f2e1c9c04aee478a7ecbf354800">SVF::LLVMUtil::getFunExitBB</a> (const Function *fun)</td></tr>
|
|
120
|
+
<tr class="separator:aa0e78f2e1c9c04aee478a7ecbf354800"><td class="memSeparator" colspan="2"> </td></tr>
|
|
121
|
+
<tr class="memitem:a07bd47ccfd02c5a2a6db26b537b2184f"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a07bd47ccfd02c5a2a6db26b537b2184f">SVF::LLVMUtil::stripConstantCasts</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *val)</td></tr>
|
|
122
|
+
<tr class="memdesc:a07bd47ccfd02c5a2a6db26b537b2184f"><td class="mdescLeft"> </td><td class="mdescRight">Strip off the constant casts. <a href="namespaceSVF_1_1LLVMUtil.html#a07bd47ccfd02c5a2a6db26b537b2184f">More...</a><br /></td></tr>
|
|
123
|
+
<tr class="separator:a07bd47ccfd02c5a2a6db26b537b2184f"><td class="memSeparator" colspan="2"> </td></tr>
|
|
124
|
+
<tr class="memitem:a38ce45ae5f017c90115ce444b44d478c"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a38ce45ae5f017c90115ce444b44d478c">SVF::LLVMUtil::stripAllCasts</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *val)</td></tr>
|
|
125
|
+
<tr class="memdesc:a38ce45ae5f017c90115ce444b44d478c"><td class="mdescLeft"> </td><td class="mdescRight">Strip off the all casts. <a href="namespaceSVF_1_1LLVMUtil.html#a38ce45ae5f017c90115ce444b44d478c">More...</a><br /></td></tr>
|
|
126
|
+
<tr class="separator:a38ce45ae5f017c90115ce444b44d478c"><td class="memSeparator" colspan="2"> </td></tr>
|
|
127
|
+
<tr class="memitem:a2fff71a75bb595865e1ff32d1addda71"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a2fff71a75bb595865e1ff32d1addda71">SVF::LLVMUtil::getTypeOfHeapAlloc</a> (const llvm::Instruction *inst)</td></tr>
|
|
128
|
+
<tr class="memdesc:a2fff71a75bb595865e1ff32d1addda71"><td class="mdescLeft"> </td><td class="mdescRight">Get the type of the heap allocation. <a href="namespaceSVF_1_1LLVMUtil.html#a2fff71a75bb595865e1ff32d1addda71">More...</a><br /></td></tr>
|
|
129
|
+
<tr class="separator:a2fff71a75bb595865e1ff32d1addda71"><td class="memSeparator" colspan="2"> </td></tr>
|
|
130
|
+
<tr class="memitem:a837d19c740902c419206287bdb21273b"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a837d19c740902c419206287bdb21273b">SVF::LLVMUtil::getUniqueUseViaCastInst</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *val)</td></tr>
|
|
131
|
+
<tr class="memdesc:a837d19c740902c419206287bdb21273b"><td class="mdescLeft"> </td><td class="mdescRight">Return the bitcast instruction which is val's only use site, otherwise return nullptr. <a href="namespaceSVF_1_1LLVMUtil.html#a837d19c740902c419206287bdb21273b">More...</a><br /></td></tr>
|
|
132
|
+
<tr class="separator:a837d19c740902c419206287bdb21273b"><td class="memSeparator" colspan="2"> </td></tr>
|
|
133
|
+
<tr class="memitem:a151fd7fb2b2ebe72af7c417defbb4f4d"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="SVF-FE_2BasicTypes_8h.html#aa81a27b9c6b2a354437417162220fb14">DataLayout</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a151fd7fb2b2ebe72af7c417defbb4f4d">SVF::LLVMUtil::getDataLayout</a> (Module *mod)</td></tr>
|
|
134
|
+
<tr class="separator:a151fd7fb2b2ebe72af7c417defbb4f4d"><td class="memSeparator" colspan="2"> </td></tr>
|
|
135
|
+
<tr class="memitem:a752d53b6b65d892d0e579aafe70083b4"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a752d53b6b65d892d0e579aafe70083b4">SVF::LLVMUtil::getNextInsts</a> (const <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *curInst, std::vector< const <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *> &instList)</td></tr>
|
|
136
|
+
<tr class="memdesc:a752d53b6b65d892d0e579aafe70083b4"><td class="mdescLeft"> </td><td class="mdescRight">Get the next instructions following control flow. <a href="namespaceSVF_1_1LLVMUtil.html#a752d53b6b65d892d0e579aafe70083b4">More...</a><br /></td></tr>
|
|
137
|
+
<tr class="separator:a752d53b6b65d892d0e579aafe70083b4"><td class="memSeparator" colspan="2"> </td></tr>
|
|
138
|
+
<tr class="memitem:af904cd58192dccb85572cfa95f5ea670"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#af904cd58192dccb85572cfa95f5ea670">SVF::LLVMUtil::getPrevInsts</a> (const <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *curInst, std::vector< const <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *> &instList)</td></tr>
|
|
139
|
+
<tr class="memdesc:af904cd58192dccb85572cfa95f5ea670"><td class="mdescLeft"> </td><td class="mdescRight">Get the previous instructions following control flow. <a href="namespaceSVF_1_1LLVMUtil.html#af904cd58192dccb85572cfa95f5ea670">More...</a><br /></td></tr>
|
|
140
|
+
<tr class="separator:af904cd58192dccb85572cfa95f5ea670"><td class="memSeparator" colspan="2"> </td></tr>
|
|
141
|
+
<tr class="memitem:a5d911cede2f514e87b030e2a93919515"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a5d911cede2f514e87b030e2a93919515">SVF::LLVMUtil::getBBSuccessorPos</a> (const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *BB, const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *Succ)</td></tr>
|
|
142
|
+
<tr class="memdesc:a5d911cede2f514e87b030e2a93919515"><td class="mdescLeft"> </td><td class="mdescRight">Get basic block successor position. <a href="namespaceSVF_1_1LLVMUtil.html#a5d911cede2f514e87b030e2a93919515">More...</a><br /></td></tr>
|
|
143
|
+
<tr class="separator:a5d911cede2f514e87b030e2a93919515"><td class="memSeparator" colspan="2"> </td></tr>
|
|
144
|
+
<tr class="memitem:a6d9205380948e1bd00708581a64301e1"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a6d9205380948e1bd00708581a64301e1">SVF::LLVMUtil::getBBSuccessorNum</a> (const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *BB)</td></tr>
|
|
145
|
+
<tr class="memdesc:a6d9205380948e1bd00708581a64301e1"><td class="mdescLeft"> </td><td class="mdescRight">Get num of BB's successors. <a href="namespaceSVF_1_1LLVMUtil.html#a6d9205380948e1bd00708581a64301e1">More...</a><br /></td></tr>
|
|
146
|
+
<tr class="separator:a6d9205380948e1bd00708581a64301e1"><td class="memSeparator" colspan="2"> </td></tr>
|
|
147
|
+
<tr class="memitem:a87277ee77eceaf80922d54d46103c509"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a87277ee77eceaf80922d54d46103c509">SVF::LLVMUtil::getBBPredecessorPos</a> (const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *BB, const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *Pred)</td></tr>
|
|
148
|
+
<tr class="memdesc:a87277ee77eceaf80922d54d46103c509"><td class="mdescLeft"> </td><td class="mdescRight">Get basic block predecessor positin. <a href="namespaceSVF_1_1LLVMUtil.html#a87277ee77eceaf80922d54d46103c509">More...</a><br /></td></tr>
|
|
149
|
+
<tr class="separator:a87277ee77eceaf80922d54d46103c509"><td class="memSeparator" colspan="2"> </td></tr>
|
|
150
|
+
<tr class="memitem:ae617611b584e3d899984c376a6e91987"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#ae617611b584e3d899984c376a6e91987">SVF::LLVMUtil::getBBPredecessorNum</a> (const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *BB)</td></tr>
|
|
151
|
+
<tr class="memdesc:ae617611b584e3d899984c376a6e91987"><td class="mdescLeft"> </td><td class="mdescRight">Get num of BB's predecessors. <a href="namespaceSVF_1_1LLVMUtil.html#ae617611b584e3d899984c376a6e91987">More...</a><br /></td></tr>
|
|
152
|
+
<tr class="separator:ae617611b584e3d899984c376a6e91987"><td class="memSeparator" colspan="2"> </td></tr>
|
|
153
|
+
<tr class="memitem:ad8a8c32a09340f491fffffcb07dd7a41"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#ad8a8c32a09340f491fffffcb07dd7a41">SVF::LLVMUtil::isIRFile</a> (const std::string &filename)</td></tr>
|
|
154
|
+
<tr class="memdesc:ad8a8c32a09340f491fffffcb07dd7a41"><td class="mdescLeft"> </td><td class="mdescRight">Check whether a file is an LLVM IR file. <a href="namespaceSVF_1_1LLVMUtil.html#ad8a8c32a09340f491fffffcb07dd7a41">More...</a><br /></td></tr>
|
|
155
|
+
<tr class="separator:ad8a8c32a09340f491fffffcb07dd7a41"><td class="memSeparator" colspan="2"> </td></tr>
|
|
156
|
+
<tr class="memitem:accdd44093d6d145dc92edeaaff3f5732"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#accdd44093d6d145dc92edeaaff3f5732">SVF::LLVMUtil::processArguments</a> (int argc, char **argv, int &arg_num, char **arg_value, std::vector< std::string > &moduleNameVec)</td></tr>
|
|
157
|
+
<tr class="memdesc:accdd44093d6d145dc92edeaaff3f5732"><td class="mdescLeft"> </td><td class="mdescRight">Parse argument for multi-module analysis. <a href="namespaceSVF_1_1LLVMUtil.html#accdd44093d6d145dc92edeaaff3f5732">More...</a><br /></td></tr>
|
|
158
|
+
<tr class="separator:accdd44093d6d145dc92edeaaff3f5732"><td class="memSeparator" colspan="2"> </td></tr>
|
|
159
159
|
<tr><td colspan="2"><div class="groupHeader"></div></td></tr>
|
|
160
|
-
<tr class="memitem:
|
|
161
|
-
<tr class="memdesc:
|
|
162
|
-
<tr class="separator:
|
|
163
|
-
<tr class="memitem:
|
|
164
|
-
<tr class="separator:
|
|
160
|
+
<tr class="memitem:a3e94ca73410d21c1a852123e44961ff9"><td class="memItemLeft" align="right" valign="top">const PointerType * </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a3e94ca73410d21c1a852123e44961ff9">SVF::LLVMUtil::getRefTypeOfHeapAllocOrStatic</a> (const CallSite cs)</td></tr>
|
|
161
|
+
<tr class="memdesc:a3e94ca73410d21c1a852123e44961ff9"><td class="mdescLeft"> </td><td class="mdescRight">Get the reference type of heap/static object from an allocation site. <a href="namespaceSVF_1_1LLVMUtil.html#a3e94ca73410d21c1a852123e44961ff9">More...</a><br /></td></tr>
|
|
162
|
+
<tr class="separator:a3e94ca73410d21c1a852123e44961ff9"><td class="memSeparator" colspan="2"> </td></tr>
|
|
163
|
+
<tr class="memitem:aa81614cdb6a2a912638d5dc980480af7"><td class="memItemLeft" align="right" valign="top">const PointerType * </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#aa81614cdb6a2a912638d5dc980480af7">SVF::LLVMUtil::getRefTypeOfHeapAllocOrStatic</a> (const Instruction *inst)</td></tr>
|
|
164
|
+
<tr class="separator:aa81614cdb6a2a912638d5dc980480af7"><td class="memSeparator" colspan="2"> </td></tr>
|
|
165
165
|
<tr><td colspan="2"><div class="groupHeader"></div></td></tr>
|
|
166
|
-
<tr class="memitem:
|
|
167
|
-
<tr class="memdesc:
|
|
168
|
-
<tr class="separator:
|
|
169
|
-
<tr class="memitem:
|
|
170
|
-
<tr class="memdesc:
|
|
171
|
-
<tr class="separator:
|
|
166
|
+
<tr class="memitem:ab775c1aeb5a4e2d18a96c6785d71cb41"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#ab775c1aeb5a4e2d18a96c6785d71cb41">SVF::LLVMUtil::isDeadFunction</a> (const <a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *fun)</td></tr>
|
|
167
|
+
<tr class="memdesc:ab775c1aeb5a4e2d18a96c6785d71cb41"><td class="mdescLeft"> </td><td class="mdescRight">whether this is a function without any possible caller? <a href="namespaceSVF_1_1LLVMUtil.html#ab775c1aeb5a4e2d18a96c6785d71cb41">More...</a><br /></td></tr>
|
|
168
|
+
<tr class="separator:ab775c1aeb5a4e2d18a96c6785d71cb41"><td class="memSeparator" colspan="2"> </td></tr>
|
|
169
|
+
<tr class="memitem:a5cbde00eef789f682df972ae71b44449"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a5cbde00eef789f682df972ae71b44449">SVF::LLVMUtil::ArgInDeadFunction</a> (const Value *val)</td></tr>
|
|
170
|
+
<tr class="memdesc:a5cbde00eef789f682df972ae71b44449"><td class="mdescLeft"> </td><td class="mdescRight">whether this is an argument in dead function <a href="namespaceSVF_1_1LLVMUtil.html#a5cbde00eef789f682df972ae71b44449">More...</a><br /></td></tr>
|
|
171
|
+
<tr class="separator:a5cbde00eef789f682df972ae71b44449"><td class="memSeparator" colspan="2"> </td></tr>
|
|
172
172
|
<tr><td colspan="2"><div class="groupHeader"></div></td></tr>
|
|
173
|
-
<tr class="memitem:
|
|
174
|
-
<tr class="memdesc:
|
|
175
|
-
<tr class="separator:
|
|
176
|
-
<tr class="memitem:
|
|
177
|
-
<tr class="memdesc:
|
|
178
|
-
<tr class="separator:
|
|
173
|
+
<tr class="memitem:a17cce1a11e1bfc342a9e3e79fe35deef"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a17cce1a11e1bfc342a9e3e79fe35deef">SVF::LLVMUtil::isNoCallerFunction</a> (const Function *fun)</td></tr>
|
|
174
|
+
<tr class="memdesc:a17cce1a11e1bfc342a9e3e79fe35deef"><td class="mdescLeft"> </td><td class="mdescRight">Function does not have any possible caller in the call graph. <a href="namespaceSVF_1_1LLVMUtil.html#a17cce1a11e1bfc342a9e3e79fe35deef">More...</a><br /></td></tr>
|
|
175
|
+
<tr class="separator:a17cce1a11e1bfc342a9e3e79fe35deef"><td class="memSeparator" colspan="2"> </td></tr>
|
|
176
|
+
<tr class="memitem:ab34319e843527c98c1b34ce23ecb2d49"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#ab34319e843527c98c1b34ce23ecb2d49">SVF::LLVMUtil::ArgInNoCallerFunction</a> (const Value *val)</td></tr>
|
|
177
|
+
<tr class="memdesc:ab34319e843527c98c1b34ce23ecb2d49"><td class="mdescLeft"> </td><td class="mdescRight">Return true if the argument in a function does not have a caller. <a href="namespaceSVF_1_1LLVMUtil.html#ab34319e843527c98c1b34ce23ecb2d49">More...</a><br /></td></tr>
|
|
178
|
+
<tr class="separator:ab34319e843527c98c1b34ce23ecb2d49"><td class="memSeparator" colspan="2"> </td></tr>
|
|
179
179
|
<tr><td colspan="2"><div class="groupHeader"></div></td></tr>
|
|
180
|
-
<tr class="memitem:
|
|
181
|
-
<tr class="memdesc:
|
|
182
|
-
<tr class="separator:
|
|
183
|
-
<tr class="memitem:
|
|
184
|
-
<tr class="separator:
|
|
185
|
-
<tr class="memitem:
|
|
186
|
-
<tr class="separator:
|
|
187
|
-
<tr class="memitem:
|
|
188
|
-
<tr class="separator:
|
|
189
|
-
<tr class="memitem:
|
|
190
|
-
<tr class="separator:
|
|
191
|
-
<tr class="memitem:
|
|
192
|
-
<tr class="separator:
|
|
193
|
-
<tr class="memitem:
|
|
194
|
-
<tr class="separator:
|
|
195
|
-
<tr class="memitem:
|
|
196
|
-
<tr class="separator:
|
|
197
|
-
<tr class="memitem:
|
|
198
|
-
<tr class="separator:
|
|
180
|
+
<tr class="memitem:ab5fc50624b5fe83b676b14bec4b99685"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="SVF-FE_2BasicTypes_8h.html#a60115de303225d173fb935cf7619a2cb">ConstantExpr</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#ab5fc50624b5fe83b676b14bec4b99685">SVF::LLVMUtil::isGepConstantExpr</a> (const Value *val)</td></tr>
|
|
181
|
+
<tr class="memdesc:ab5fc50624b5fe83b676b14bec4b99685"><td class="mdescLeft"> </td><td class="mdescRight">Return corresponding constant expression, otherwise return nullptr. <a href="namespaceSVF_1_1LLVMUtil.html#ab5fc50624b5fe83b676b14bec4b99685">More...</a><br /></td></tr>
|
|
182
|
+
<tr class="separator:ab5fc50624b5fe83b676b14bec4b99685"><td class="memSeparator" colspan="2"> </td></tr>
|
|
183
|
+
<tr class="memitem:adfa4a4e6d13004d14137d9168bd32463"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="SVF-FE_2BasicTypes_8h.html#a60115de303225d173fb935cf7619a2cb">ConstantExpr</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#adfa4a4e6d13004d14137d9168bd32463">SVF::LLVMUtil::isInt2PtrConstantExpr</a> (const Value *val)</td></tr>
|
|
184
|
+
<tr class="separator:adfa4a4e6d13004d14137d9168bd32463"><td class="memSeparator" colspan="2"> </td></tr>
|
|
185
|
+
<tr class="memitem:a2834d135a2385efff783e6e22d2eff1f"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="SVF-FE_2BasicTypes_8h.html#a60115de303225d173fb935cf7619a2cb">ConstantExpr</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a2834d135a2385efff783e6e22d2eff1f">SVF::LLVMUtil::isPtr2IntConstantExpr</a> (const Value *val)</td></tr>
|
|
186
|
+
<tr class="separator:a2834d135a2385efff783e6e22d2eff1f"><td class="memSeparator" colspan="2"> </td></tr>
|
|
187
|
+
<tr class="memitem:af983b0e1fbd371d8672e8f03f63084fc"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="SVF-FE_2BasicTypes_8h.html#a60115de303225d173fb935cf7619a2cb">ConstantExpr</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#af983b0e1fbd371d8672e8f03f63084fc">SVF::LLVMUtil::isCastConstantExpr</a> (const Value *val)</td></tr>
|
|
188
|
+
<tr class="separator:af983b0e1fbd371d8672e8f03f63084fc"><td class="memSeparator" colspan="2"> </td></tr>
|
|
189
|
+
<tr class="memitem:ae59b0dc7f29dbd2018e819f77465f66e"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="SVF-FE_2BasicTypes_8h.html#a60115de303225d173fb935cf7619a2cb">ConstantExpr</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#ae59b0dc7f29dbd2018e819f77465f66e">SVF::LLVMUtil::isSelectConstantExpr</a> (const Value *val)</td></tr>
|
|
190
|
+
<tr class="separator:ae59b0dc7f29dbd2018e819f77465f66e"><td class="memSeparator" colspan="2"> </td></tr>
|
|
191
|
+
<tr class="memitem:a946a2b51b848c45c6c52f03581ee05b8"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="SVF-FE_2BasicTypes_8h.html#a60115de303225d173fb935cf7619a2cb">ConstantExpr</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a946a2b51b848c45c6c52f03581ee05b8">SVF::LLVMUtil::isTruncConstantExpr</a> (const Value *val)</td></tr>
|
|
192
|
+
<tr class="separator:a946a2b51b848c45c6c52f03581ee05b8"><td class="memSeparator" colspan="2"> </td></tr>
|
|
193
|
+
<tr class="memitem:aa0b3e34188f721ff7145e47cb607c79a"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="SVF-FE_2BasicTypes_8h.html#a60115de303225d173fb935cf7619a2cb">ConstantExpr</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#aa0b3e34188f721ff7145e47cb607c79a">SVF::LLVMUtil::isCmpConstantExpr</a> (const Value *val)</td></tr>
|
|
194
|
+
<tr class="separator:aa0b3e34188f721ff7145e47cb607c79a"><td class="memSeparator" colspan="2"> </td></tr>
|
|
195
|
+
<tr class="memitem:a35b36394af726c679fe2c1b6051db7c4"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="SVF-FE_2BasicTypes_8h.html#a60115de303225d173fb935cf7619a2cb">ConstantExpr</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a35b36394af726c679fe2c1b6051db7c4">SVF::LLVMUtil::isBinaryConstantExpr</a> (const Value *val)</td></tr>
|
|
196
|
+
<tr class="separator:a35b36394af726c679fe2c1b6051db7c4"><td class="memSeparator" colspan="2"> </td></tr>
|
|
197
|
+
<tr class="memitem:a215cc9fd716798bbb7f96f5b64e01349"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="SVF-FE_2BasicTypes_8h.html#a60115de303225d173fb935cf7619a2cb">ConstantExpr</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a215cc9fd716798bbb7f96f5b64e01349">SVF::LLVMUtil::isUnaryConstantExpr</a> (const Value *val)</td></tr>
|
|
198
|
+
<tr class="separator:a215cc9fd716798bbb7f96f5b64e01349"><td class="memSeparator" colspan="2"> </td></tr>
|
|
199
199
|
<tr><td colspan="2"><div class="groupHeader"></div></td></tr>
|
|
200
|
-
<tr class="memitem:
|
|
201
|
-
<tr class="memdesc:
|
|
202
|
-
<tr class="separator:
|
|
203
|
-
<tr class="memitem:
|
|
204
|
-
<tr class="separator:
|
|
200
|
+
<tr class="memitem:a09683d4d88a50fa621809c734465f94d"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a09683d4d88a50fa621809c734465f94d">SVF::LLVMUtil::getTypeSizeInBytes</a> (const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *type)</td></tr>
|
|
201
|
+
<tr class="memdesc:a09683d4d88a50fa621809c734465f94d"><td class="mdescLeft"> </td><td class="mdescRight">Helper method to get the size of the type from target data layout. <a href="namespaceSVF_1_1LLVMUtil.html#a09683d4d88a50fa621809c734465f94d">More...</a><br /></td></tr>
|
|
202
|
+
<tr class="separator:a09683d4d88a50fa621809c734465f94d"><td class="memSeparator" colspan="2"> </td></tr>
|
|
203
|
+
<tr class="memitem:a2b5fdf455c5dd40c0baa60185e5e41c6"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html#a2b5fdf455c5dd40c0baa60185e5e41c6">SVF::LLVMUtil::getTypeSizeInBytes</a> (const <a class="el" href="namespaceSVF.html#a2bf58575ac7d068e0f1a4cf953b9e6cb">StructType</a> *sty, <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> field_index)</td></tr>
|
|
204
|
+
<tr class="separator:a2b5fdf455c5dd40c0baa60185e5e41c6"><td class="memSeparator" colspan="2"> </td></tr>
|
|
205
205
|
</table>
|
|
206
206
|
</div><!-- contents -->
|
|
207
207
|
<!-- start footer part -->
|