svf-tools 1.0.910 → 1.0.911
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/AbstractInterpretation_8cpp.html +5 -5
- package/SVF-doxygen/html/AbstractInterpretation_8cpp_source.html +1151 -1131
- package/SVF-doxygen/html/AbstractInterpretation_8h_source.html +31 -31
- package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +457 -450
- package/SVF-doxygen/html/BufOverflowChecker_8h_source.html +2 -2
- package/SVF-doxygen/html/SVFIR2AbsState_8h_source.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1AEStat.html +116 -114
- package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation-members.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation.html +1009 -991
- package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker-members.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +118 -115
- package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState-members.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState.html +32 -32
- package/SVF-doxygen/html/functions.html +2 -2
- package/SVF-doxygen/html/functions_func_g.html +13 -13
- package/SVF-doxygen/html/functions_g.html +9 -9
- package/SVF-doxygen/html/functions_p.html +6 -6
- package/SVF-doxygen/html/functions_s.html +7 -7
- package/SVF-doxygen/html/functions_t.html +2 -2
- package/SVF-doxygen/html/functions_v.html +6 -6
- package/SVF-doxygen/html/functions_vars.html +2 -2
- package/SVF-doxygen/html/functions_w.html +9 -17
- package/SVF-doxygen/html/search/all_0.js +1 -1
- package/SVF-doxygen/html/search/all_10.js +3 -3
- package/SVF-doxygen/html/search/all_12.js +5 -5
- package/SVF-doxygen/html/search/all_13.js +4 -4
- package/SVF-doxygen/html/search/all_15.js +3 -3
- package/SVF-doxygen/html/search/all_16.js +1 -1
- package/SVF-doxygen/html/search/all_7.js +248 -248
- package/SVF-doxygen/html/search/functions_10.js +1 -1
- package/SVF-doxygen/html/search/functions_7.js +247 -247
- package/SVF-doxygen/html/search/variables_0.js +1 -1
- package/SVF-doxygen/html/search/variables_12.js +1 -1
- package/SVF-doxygen/html/search/variables_13.js +2 -2
- package/package.json +1 -1
- package/svf/include/AE/Svfexe/AbstractInterpretation.h +1 -1
- package/svf/include/AE/Svfexe/SVFIR2AbsState.h +1 -1
- package/svf/lib/AE/Svfexe/AbstractInterpretation.cpp +88 -68
- package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +37 -30
|
@@ -33,253 +33,253 @@ var searchData=
|
|
|
33
33
|
['get_5fnumeral_5fint64_8392',['get_numeral_int64',['../classSVF_1_1Z3Expr.html#ad94bbaa31e6df4e8b8238d69b8f4ae06',1,'SVF::Z3Expr']]],
|
|
34
34
|
['get_5fobject_5fitem_8393',['get_object_item',['../cJSON_8cpp.html#a768303890e9be802d51b0e0a110302f4',1,'cJSON.cpp']]],
|
|
35
35
|
['get_5fsort_8394',['get_sort',['../classSVF_1_1Z3Expr.html#a8b2b5fa74704d776a2cd415b599a1393',1,'SVF::Z3Expr']]],
|
|
36
|
-
['
|
|
37
|
-
['
|
|
38
|
-
['
|
|
39
|
-
['
|
|
40
|
-
['
|
|
41
|
-
['
|
|
42
|
-
['
|
|
43
|
-
['
|
|
44
|
-
['
|
|
45
|
-
['
|
|
46
|
-
['
|
|
47
|
-
['
|
|
48
|
-
['
|
|
49
|
-
['
|
|
50
|
-
['
|
|
51
|
-
['
|
|
52
|
-
['
|
|
53
|
-
['
|
|
54
|
-
['
|
|
55
|
-
['
|
|
56
|
-
['
|
|
57
|
-
['
|
|
58
|
-
['
|
|
59
|
-
['
|
|
60
|
-
['
|
|
61
|
-
['
|
|
62
|
-
['
|
|
63
|
-
['
|
|
64
|
-
['
|
|
65
|
-
['
|
|
66
|
-
['
|
|
67
|
-
['
|
|
68
|
-
['
|
|
69
|
-
['
|
|
70
|
-
['
|
|
71
|
-
['
|
|
72
|
-
['
|
|
73
|
-
['
|
|
74
|
-
['
|
|
75
|
-
['
|
|
76
|
-
['
|
|
77
|
-
['
|
|
78
|
-
['
|
|
79
|
-
['
|
|
80
|
-
['
|
|
81
|
-
['
|
|
82
|
-
['
|
|
83
|
-
['
|
|
84
|
-
['
|
|
85
|
-
['
|
|
86
|
-
['
|
|
87
|
-
['
|
|
88
|
-
['
|
|
89
|
-
['
|
|
90
|
-
['
|
|
91
|
-
['
|
|
92
|
-
['
|
|
93
|
-
['
|
|
94
|
-
['
|
|
95
|
-
['
|
|
96
|
-
['
|
|
97
|
-
['
|
|
98
|
-
['
|
|
99
|
-
['
|
|
100
|
-
['
|
|
101
|
-
['
|
|
102
|
-
['
|
|
103
|
-
['
|
|
104
|
-
['
|
|
105
|
-
['
|
|
106
|
-
['
|
|
107
|
-
['
|
|
108
|
-
['
|
|
109
|
-
['
|
|
110
|
-
['
|
|
111
|
-
['
|
|
112
|
-
['
|
|
113
|
-
['
|
|
114
|
-
['
|
|
115
|
-
['
|
|
116
|
-
['
|
|
117
|
-
['
|
|
118
|
-
['
|
|
119
|
-
['
|
|
120
|
-
['
|
|
121
|
-
['
|
|
122
|
-
['
|
|
123
|
-
['
|
|
124
|
-
['
|
|
125
|
-
['
|
|
126
|
-
['
|
|
127
|
-
['
|
|
128
|
-
['
|
|
129
|
-
['
|
|
130
|
-
['
|
|
131
|
-
['
|
|
132
|
-
['
|
|
133
|
-
['
|
|
134
|
-
['
|
|
135
|
-
['
|
|
136
|
-
['
|
|
137
|
-
['
|
|
138
|
-
['
|
|
139
|
-
['
|
|
140
|
-
['
|
|
141
|
-
['
|
|
142
|
-
['
|
|
143
|
-
['
|
|
144
|
-
['
|
|
145
|
-
['
|
|
146
|
-
['
|
|
147
|
-
['
|
|
148
|
-
['
|
|
149
|
-
['
|
|
150
|
-
['
|
|
151
|
-
['
|
|
152
|
-
['
|
|
153
|
-
['
|
|
154
|
-
['
|
|
155
|
-
['
|
|
156
|
-
['
|
|
157
|
-
['
|
|
158
|
-
['
|
|
159
|
-
['
|
|
160
|
-
['
|
|
161
|
-
['
|
|
162
|
-
['
|
|
163
|
-
['
|
|
164
|
-
['
|
|
165
|
-
['
|
|
166
|
-
['
|
|
167
|
-
['
|
|
168
|
-
['
|
|
169
|
-
['
|
|
170
|
-
['
|
|
171
|
-
['
|
|
172
|
-
['
|
|
173
|
-
['
|
|
174
|
-
['
|
|
175
|
-
['
|
|
176
|
-
['
|
|
177
|
-
['
|
|
178
|
-
['
|
|
179
|
-
['
|
|
180
|
-
['
|
|
181
|
-
['
|
|
182
|
-
['
|
|
183
|
-
['
|
|
184
|
-
['
|
|
185
|
-
['
|
|
186
|
-
['
|
|
187
|
-
['
|
|
188
|
-
['
|
|
189
|
-
['
|
|
190
|
-
['
|
|
191
|
-
['
|
|
192
|
-
['
|
|
193
|
-
['
|
|
194
|
-
['
|
|
195
|
-
['
|
|
196
|
-
['
|
|
197
|
-
['
|
|
198
|
-
['
|
|
199
|
-
['
|
|
200
|
-
['
|
|
201
|
-
['
|
|
202
|
-
['
|
|
203
|
-
['
|
|
204
|
-
['
|
|
205
|
-
['
|
|
206
|
-
['
|
|
207
|
-
['
|
|
208
|
-
['
|
|
209
|
-
['
|
|
210
|
-
['
|
|
211
|
-
['
|
|
212
|
-
['
|
|
213
|
-
['
|
|
214
|
-
['
|
|
215
|
-
['
|
|
216
|
-
['
|
|
217
|
-
['
|
|
218
|
-
['
|
|
219
|
-
['
|
|
220
|
-
['
|
|
221
|
-
['
|
|
222
|
-
['
|
|
223
|
-
['
|
|
224
|
-
['
|
|
225
|
-
['
|
|
226
|
-
['
|
|
227
|
-
['
|
|
228
|
-
['
|
|
229
|
-
['
|
|
230
|
-
['
|
|
231
|
-
['
|
|
232
|
-
['
|
|
233
|
-
['
|
|
234
|
-
['
|
|
235
|
-
['
|
|
236
|
-
['
|
|
237
|
-
['
|
|
238
|
-
['
|
|
239
|
-
['
|
|
240
|
-
['
|
|
241
|
-
['
|
|
242
|
-
['
|
|
243
|
-
['
|
|
244
|
-
['
|
|
245
|
-
['
|
|
246
|
-
['
|
|
247
|
-
['
|
|
248
|
-
['
|
|
249
|
-
['
|
|
250
|
-
['
|
|
251
|
-
['
|
|
252
|
-
['
|
|
253
|
-
['
|
|
254
|
-
['
|
|
255
|
-
['
|
|
256
|
-
['
|
|
257
|
-
['
|
|
258
|
-
['
|
|
259
|
-
['
|
|
260
|
-
['
|
|
261
|
-
['
|
|
262
|
-
['
|
|
263
|
-
['
|
|
264
|
-
['
|
|
265
|
-
['
|
|
266
|
-
['
|
|
267
|
-
['
|
|
268
|
-
['
|
|
269
|
-
['
|
|
270
|
-
['
|
|
271
|
-
['
|
|
272
|
-
['
|
|
273
|
-
['
|
|
274
|
-
['
|
|
275
|
-
['
|
|
276
|
-
['
|
|
277
|
-
['
|
|
278
|
-
['
|
|
279
|
-
['
|
|
280
|
-
['
|
|
281
|
-
['
|
|
282
|
-
['
|
|
36
|
+
['getabsstate_8395',['getAbsState',['../classSVF_1_1SVFIR2AbsState.html#a99b526db536fb241ff755a82a45123fa',1,'SVF::SVFIR2AbsState']]],
|
|
37
|
+
['getaccesslb_8396',['getAccessLb',['../structSVF_1_1BufOverflowException.html#a9c169e68b0c793909d643e3e266434fe',1,'SVF::BufOverflowException']]],
|
|
38
|
+
['getaccesspath_8397',['getAccessPath',['../classSVF_1_1NormalGepCGEdge.html#aa9b33abf88b6dbaace1bea0fbbcef83f',1,'SVF::NormalGepCGEdge::getAccessPath()'],['../classSVF_1_1GepStmt.html#a6c74f234a6b40bc5292bb14874c2e600',1,'SVF::GepStmt::getAccessPath()']]],
|
|
39
|
+
['getaccesspathfrombasenode_8398',['getAccessPathFromBaseNode',['../classSVF_1_1SVFIRBuilder.html#a7c401d6929e583be734c0c4e9957d0d7',1,'SVF::SVFIRBuilder']]],
|
|
40
|
+
['getaccessub_8399',['getAccessUb',['../structSVF_1_1BufOverflowException.html#a95463e50b7e92f46cb095fd2a706257a',1,'SVF::BufOverflowException']]],
|
|
41
|
+
['getactualindef_8400',['getActualINDef',['../classSVF_1_1SVFGOPT.html#a550f93b640a6fd68773fbafd2944d7df',1,'SVF::SVFGOPT']]],
|
|
42
|
+
['getactualinsvfgnodes_8401',['getActualINSVFGNodes',['../classSVF_1_1SVFG.html#a475205e221890204c7770c414ee63975',1,'SVF::SVFG']]],
|
|
43
|
+
['getactualoutsvfgnodes_8402',['getActualOUTSVFGNodes',['../classSVF_1_1SVFG.html#a5b7ae610bee28acc2905ca82928e714f',1,'SVF::SVFG']]],
|
|
44
|
+
['getactualparmatforksite_8403',['getActualParmAtForkSite',['../classSVF_1_1ThreadAPI.html#ae63bd645cca6c9681fa1383cbbf08c94',1,'SVF::ThreadAPI::getActualParmAtForkSite(const SVFInstruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a4338fae70390a4e34ba8c889967d6104',1,'SVF::ThreadAPI::getActualParmAtForkSite(CallSite cs) const'],['../namespaceSVF_1_1SVFUtil.html#a8c64663b564eb7c399013389920ab500',1,'SVF::SVFUtil::getActualParmAtForkSite(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#abf35d3e0f808fbb5921f9a8d89cb8015',1,'SVF::SVFUtil::getActualParmAtForkSite(const SVFInstruction *inst)']]],
|
|
45
|
+
['getactualparms_8404',['getActualParms',['../classSVF_1_1CallICFGNode.html#ab43c000436d0f6d978f4fff831671d5c',1,'SVF::CallICFGNode']]],
|
|
46
|
+
['getactualparmvfgnode_8405',['getActualParmVFGNode',['../classSVF_1_1VFG.html#a6bbfe457dcc7104e6928323499ea964e',1,'SVF::VFG']]],
|
|
47
|
+
['getactualpts_8406',['getActualPts',['../classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa',1,'SVF::PersistentPointsToCache']]],
|
|
48
|
+
['getactualret_8407',['getActualRet',['../classSVF_1_1RetICFGNode.html#a9815b38f376af31b14ea2e0f3afd3427',1,'SVF::RetICFGNode']]],
|
|
49
|
+
['getactualretvfgnode_8408',['getActualRetVFGNode',['../classSVF_1_1VFG.html#a0b072e8e45899b89da0a466140563c38',1,'SVF::VFG']]],
|
|
50
|
+
['getaddrcgedges_8409',['getAddrCGEdges',['../classSVF_1_1ConstraintGraph.html#adee52f15f5ff58dd455e419c2643f89b',1,'SVF::ConstraintGraph']]],
|
|
51
|
+
['getaddrinedges_8410',['getAddrInEdges',['../classSVF_1_1ConstraintNode.html#ae6a98932b0f0732d4af1ca8266d58077',1,'SVF::ConstraintNode']]],
|
|
52
|
+
['getaddroutedges_8411',['getAddrOutEdges',['../classSVF_1_1ConstraintNode.html#a9058618987da9d21156cea72a5d5ddad',1,'SVF::ConstraintNode']]],
|
|
53
|
+
['getaddrs_8412',['getAddrs',['../classSVF_1_1AbstractState.html#a234d0b11624febec605bc028f093240b',1,'SVF::AbstractState::getAddrs()'],['../structSVF_1_1AbstractValue.html#ab1fe6a57f784971b3bc603dbfda746e8',1,'SVF::AbstractValue::getAddrs()'],['../structSVF_1_1AbstractValue.html#a8b2de4798013716c6cf420817fead0ac',1,'SVF::AbstractValue::getAddrs() const'],['../classSVF_1_1SVFIR2AbsState.html#aa3e62b9ef912def502b95992199f5d8c',1,'SVF::SVFIR2AbsState::getAddrs()']]],
|
|
54
|
+
['getaggs_8413',['getAggs',['../classSVF_1_1DCHGraph.html#a159e158c794fff115d5642b85963f43b',1,'SVF::DCHGraph']]],
|
|
55
|
+
['getaliasmemregions_8414',['getAliasMemRegions',['../classSVF_1_1MRGenerator.html#ad740188222439c089907fa6c6c951f02',1,'SVF::MRGenerator']]],
|
|
56
|
+
['getaliasset_8415',['getAliasSet',['../classSVF_1_1SVFModule.html#aceb9c743ba592836586f3cfb76e56108',1,'SVF::SVFModule']]],
|
|
57
|
+
['getallcallsitesinvokingcallee_8416',['getAllCallSitesInvokingCallee',['../classSVF_1_1PTACallGraph.html#a80070e2f50ed1036d334250841215ca8',1,'SVF::PTACallGraph']]],
|
|
58
|
+
['getallfieldsobjvars_8417',['getAllFieldsObjVars',['../classSVF_1_1ConstraintGraph.html#afd200919cf8742bb62bb0bde279a558a',1,'SVF::ConstraintGraph::getAllFieldsObjVars()'],['../classSVF_1_1PointerAnalysis.html#a5dddd53b4ca9d7cc23d88ed9f3de9fde',1,'SVF::PointerAnalysis::getAllFieldsObjVars()'],['../classSVF_1_1SVFIR.html#a7276e82b4648ed0e1b3d1b8b37b24089',1,'SVF::SVFIR::getAllFieldsObjVars(const MemObj *obj)'],['../classSVF_1_1SVFIR.html#a942072d153928e478c76e4b7f1fafa29',1,'SVF::SVFIR::getAllFieldsObjVars(NodeID id)']]],
|
|
59
|
+
['getallocainstbytesize_8418',['getAllocaInstByteSize',['../classSVF_1_1AbstractInterpretation.html#a0e8b546f608417e218c2fab5a5893135',1,'SVF::AbstractInterpretation']]],
|
|
60
|
+
['getalloclb_8419',['getAllocLb',['../structSVF_1_1BufOverflowException.html#af8a7272c33f826f0079d5a31f6c5d547',1,'SVF::BufOverflowException']]],
|
|
61
|
+
['getallocub_8420',['getAllocUb',['../structSVF_1_1BufOverflowException.html#a09144623a46e13e561db8b282440e6fc',1,'SVF::BufOverflowException']]],
|
|
62
|
+
['getallocvar_8421',['getAllocVar',['../structSVF_1_1BufOverflowException.html#a645203900fcf19bb3118d0eacb21f137',1,'SVF::BufOverflowException']]],
|
|
63
|
+
['getallpts_8422',['getAllPts',['../classSVF_1_1PTData.html#adbe2b955f119871b54dc502de84b94c4',1,'SVF::PTData::getAllPts()'],['../classSVF_1_1MutablePTData.html#ad20254ace6d9976da2099413f5790458',1,'SVF::MutablePTData::getAllPts()'],['../classSVF_1_1MutableDiffPTData.html#adb89579b46a478f6d0e30e790838dca9',1,'SVF::MutableDiffPTData::getAllPts()'],['../classSVF_1_1MutableDFPTData.html#ac9120fbb056e23cdf84646a37d809a8d',1,'SVF::MutableDFPTData::getAllPts()'],['../classSVF_1_1MutableVersionedPTData.html#a6cac338e74f869d0e708c7e2b356b5d7',1,'SVF::MutableVersionedPTData::getAllPts()'],['../classSVF_1_1PersistentPointsToCache.html#ab84d0806e87c982bf81ae309f28751e3',1,'SVF::PersistentPointsToCache::getAllPts()'],['../classSVF_1_1PersistentPTData.html#a3b1d6e55ccaf82cd03914a1c948c4577',1,'SVF::PersistentPTData::getAllPts()'],['../classSVF_1_1PersistentDiffPTData.html#a00d3ec19f1b669edee5af7757e03a0ef',1,'SVF::PersistentDiffPTData::getAllPts()'],['../classSVF_1_1PersistentDFPTData.html#abc8fbd41eddccddbbdc3316a3fd03276',1,'SVF::PersistentDFPTData::getAllPts()'],['../classSVF_1_1PersistentVersionedPTData.html#acfc73119798cb830a49f85ffab2654af',1,'SVF::PersistentVersionedPTData::getAllPts()']]],
|
|
64
|
+
['getallvalidptrs_8423',['getAllValidPtrs',['../classSVF_1_1PointerAnalysis.html#a60b111647e000cc983aa52513f90afbc',1,'SVF::PointerAnalysis::getAllValidPtrs()'],['../classSVF_1_1SVFIR.html#a7990c72dd6d645d713f19ed973841484',1,'SVF::SVFIR::getAllValidPtrs()']]],
|
|
65
|
+
['getanalysisty_8424',['getAnalysisTy',['../classSVF_1_1PointerAnalysis.html#ac23f71c1307cda9cba44acc40059f0a3',1,'SVF::PointerAnalysis']]],
|
|
66
|
+
['getancestorthread_8425',['getAncestorThread',['../classSVF_1_1TCT.html#aeb7dff0c02a90cb338c8d054d2b78984',1,'SVF::TCT']]],
|
|
67
|
+
['getandersenanalysis_8426',['getAndersenAnalysis',['../classSVF_1_1DDAVFSolver.html#ac39860015b45b9af6351d0343f8983bb',1,'SVF::DDAVFSolver']]],
|
|
68
|
+
['getannotations_8427',['getAnnotations',['../classSVF_1_1SVFFunction.html#a067bd6dbaf74a028d546fa56b095791b',1,'SVF::SVFFunction']]],
|
|
69
|
+
['getarg_8428',['getArg',['../classSVF_1_1SVFFunction.html#a10d9481ae41dce4f266dad5e64fffcee',1,'SVF::SVFFunction']]],
|
|
70
|
+
['getargno_8429',['getArgNo',['../classSVF_1_1SVFArgument.html#a978b4838cce84944c97c92e281859591',1,'SVF::SVFArgument']]],
|
|
71
|
+
['getargoperand_8430',['getArgOperand',['../classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14',1,'SVF::SVFCallInst::getArgOperand()'],['../classSVF_1_1CallSite.html#a93c083aa8f3f3ef28fe80e9aaf70dfb5',1,'SVF::CallSite::getArgOperand()']]],
|
|
72
|
+
['getargposincall_8431',['getArgPosInCall',['../classSVF_1_1ObjTypeInference.html#a72da2d7f06e8fee67dc5b3c451fa5dee',1,'SVF::ObjTypeInference']]],
|
|
73
|
+
['getargument_8432',['getArgument',['../classSVF_1_1CallSite.html#a9e7c94ee7f689466111487e03b2cebcc',1,'SVF::CallSite']]],
|
|
74
|
+
['getarrsize_8433',['getArrSize',['../classSVF_1_1AddrStmt.html#a7fe84b92317fb93914053cc48d313acc',1,'SVF::AddrStmt']]],
|
|
75
|
+
['getattributedkind_8434',['getAttributedKind',['../classSVF_1_1GrammarBase.html#af418e1033618da75e974a04ee1d7e275',1,'SVF::GrammarBase']]],
|
|
76
|
+
['getattrsyms_8435',['getAttrSyms',['../classSVF_1_1GrammarBase.html#a2620ded7573ebdb8b4595e199105ef0e',1,'SVF::GrammarBase']]],
|
|
77
|
+
['getbackwardslicesize_8436',['getBackwardSliceSize',['../classSVF_1_1ProgSlice.html#a967fa01a8baae0dd086b5c09ae0faa7b',1,'SVF::ProgSlice']]],
|
|
78
|
+
['getbasenode_8437',['getBaseNode',['../classSVF_1_1GepObjVar.html#a4c5e346db61f7e04c15bf8527d8eff3c',1,'SVF::GepObjVar']]],
|
|
79
|
+
['getbaseobj_8438',['getBaseObj',['../classSVF_1_1SVFIR.html#af76a55c3b8255a81a566bdce35ffc749',1,'SVF::SVFIR']]],
|
|
80
|
+
['getbaseobjvar_8439',['getBaseObjVar',['../classSVF_1_1ConstraintGraph.html#a6e8c46641da751fe3369c9d5407ce415',1,'SVF::ConstraintGraph::getBaseObjVar()'],['../classSVF_1_1PointerAnalysis.html#a9f1c599cb9f6e2ae83e29bb84ef6831c',1,'SVF::PointerAnalysis::getBaseObjVar()'],['../classSVF_1_1SVFIR.html#a77a6bb9335aa12d29825af1b5ea07e08',1,'SVF::SVFIR::getBaseObjVar()']]],
|
|
81
|
+
['getbasetypeandflattenedfields_8440',['getBaseTypeAndFlattenedFields',['../classSVF_1_1SVFIRBuilder.html#aa7e7b3dba00201972783f93c35cadad9',1,'SVF::SVFIRBuilder']]],
|
|
82
|
+
['getbasevalueforextarg_8441',['getBaseValueForExtArg',['../classSVF_1_1SVFIRBuilder.html#a892ab8cad098e9e9d8425e7f05e35c59',1,'SVF::SVFIRBuilder']]],
|
|
83
|
+
['getbasicblock_8442',['getBasicBlock',['../classSVF_1_1LoadMU.html#a11acf529725aba325062cdf2cc62caef',1,'SVF::LoadMU::getBasicBlock()'],['../classSVF_1_1CallMU.html#a5a45d48e3b776ad7785a690076134b36',1,'SVF::CallMU::getBasicBlock()'],['../classSVF_1_1StoreCHI.html#ae232efca311f75613b16c2a3195c0620',1,'SVF::StoreCHI::getBasicBlock()'],['../classSVF_1_1CallCHI.html#ac4f516d070475b92700713121db938b6',1,'SVF::CallCHI::getBasicBlock()'],['../classSVF_1_1MSSAPHI.html#af3f9d8d92286b914618dad108c233422',1,'SVF::MSSAPHI::getBasicBlock()']]],
|
|
84
|
+
['getbasicblocklist_8443',['getBasicBlockList',['../classSVF_1_1SVFFunction.html#a8f2aced2df91bf97d644d9a2de449c38',1,'SVF::SVFFunction']]],
|
|
85
|
+
['getbb_8444',['getBB',['../classSVF_1_1ICFGNode.html#ae7e734f4ceca40c6cf46f16d088780ca',1,'SVF::ICFGNode::getBB()'],['../classSVF_1_1SVFStmt.html#a456aaaef63d384d9789efbbec2837a33',1,'SVF::SVFStmt::getBB()']]],
|
|
86
|
+
['getbb2pidom_8445',['getBB2PIdom',['../classSVF_1_1SVFLoopAndDomInfo.html#ae8a308d5ee34c0eb4a6c1278565e5907',1,'SVF::SVFLoopAndDomInfo::getBB2PIdom() const'],['../classSVF_1_1SVFLoopAndDomInfo.html#a2ada6e195ad3a7e26c7e7dff7459cb34',1,'SVF::SVFLoopAndDomInfo::getBB2PIdom()']]],
|
|
87
|
+
['getbbpdomlevel_8446',['getBBPDomLevel',['../classSVF_1_1SVFLoopAndDomInfo.html#ac285502846c993f149b6bcc3e04f767e',1,'SVF::SVFLoopAndDomInfo::getBBPDomLevel() const'],['../classSVF_1_1SVFLoopAndDomInfo.html#a2f718b022db1b633c5be47fcb4dcaae9',1,'SVF::SVFLoopAndDomInfo::getBBPDomLevel()']]],
|
|
88
|
+
['getbbphinum_8447',['getBBPhiNum',['../classSVF_1_1MemSSA.html#a9bb6512999cbf9c7c03153be77c8af20',1,'SVF::MemSSA']]],
|
|
89
|
+
['getbbpredecessornum_8448',['getBBPredecessorNum',['../namespaceSVF_1_1LLVMUtil.html#ae617611b584e3d899984c376a6e91987',1,'SVF::LLVMUtil']]],
|
|
90
|
+
['getbbpredecessorpos_8449',['getBBPredecessorPos',['../classSVF_1_1SVFBasicBlock.html#a59a4b7d815f624e448afe3ac0e9d18f5',1,'SVF::SVFBasicBlock::getBBPredecessorPos(const SVFBasicBlock *succbb)'],['../classSVF_1_1SVFBasicBlock.html#a5fe2dae55581ff1cd6ef251a351d5c4f',1,'SVF::SVFBasicBlock::getBBPredecessorPos(const SVFBasicBlock *succbb) const']]],
|
|
91
|
+
['getbbsuccessorbranchid_8450',['getBBSuccessorBranchID',['../classSVF_1_1CDGBuilder.html#af65f6090142a61d13e1510c771baaeb1',1,'SVF::CDGBuilder']]],
|
|
92
|
+
['getbbsuccessorpos_8451',['getBBSuccessorPos',['../classSVF_1_1SVFBasicBlock.html#ab8a735b5d183f5190c4c45b313f1b174',1,'SVF::SVFBasicBlock::getBBSuccessorPos(const SVFBasicBlock *succbb)'],['../classSVF_1_1SVFBasicBlock.html#a104c66cdd4d88ba90eefd32bc9eef389',1,'SVF::SVFBasicBlock::getBBSuccessorPos(const SVFBasicBlock *succbb) const']]],
|
|
93
|
+
['getbbtophisetmap_8452',['getBBToPhiSetMap',['../classSVF_1_1MemSSA.html#a966477062a453901da3631015fcf737d',1,'SVF::MemSSA']]],
|
|
94
|
+
['getbeforebrackets_8453',['getBeforeBrackets',['../namespaceSVF_1_1cppUtil.html#a1cf2e4671b16b477cc779c72f2419234',1,'SVF::cppUtil']]],
|
|
95
|
+
['getbeforeparenthesis_8454',['getBeforeParenthesis',['../CppUtil_8cpp.html#a2bff9158f699b6fd11c8e116b91e4809',1,'CppUtil.cpp']]],
|
|
96
|
+
['getbinaryopvfgnode_8455',['getBinaryOPVFGNode',['../classSVF_1_1VFG.html#a27bd4d5ba75d65056d77882869b0c64d',1,'SVF::VFG']]],
|
|
97
|
+
['getblackholenode_8456',['getBlackHoleNode',['../classSVF_1_1ConstraintGraph.html#ab2b4725a8fcae8a1bc3c026d236005b8',1,'SVF::ConstraintGraph::getBlackHoleNode()'],['../classSVF_1_1IRGraph.html#a3ce34b9fcb651689bce44ab48fbcdff0',1,'SVF::IRGraph::getBlackHoleNode()']]],
|
|
98
|
+
['getblackholeobj_8457',['getBlackHoleObj',['../classSVF_1_1IRGraph.html#aafe9544b07a8c40bf915613df11df48e',1,'SVF::IRGraph']]],
|
|
99
|
+
['getblkobj_8458',['getBlkObj',['../classSVF_1_1SymbolTableInfo.html#aebf96274e1ad2a523981487839a3025e',1,'SVF::SymbolTableInfo']]],
|
|
100
|
+
['getblkptr_8459',['getBlkPtr',['../classSVF_1_1IRGraph.html#a3b417ee79560fd00f4cf80906044c198',1,'SVF::IRGraph']]],
|
|
101
|
+
['getblocktrace_8460',['getBlockTrace',['../classSVF_1_1AEStat.html#a4a08e449307cdcb56e8e32ca346d5349',1,'SVF::AEStat']]],
|
|
102
|
+
['getbranchcond_8461',['getBranchCond',['../classSVF_1_1SaberCondAllocator.html#a7d5ec3597ef0befe3b928c04db706d7a',1,'SVF::SaberCondAllocator']]],
|
|
103
|
+
['getbranchconditions_8462',['getBranchConditions',['../classSVF_1_1CDGEdge.html#aedf54ed1ce3b77c3565390ddc52bd438',1,'SVF::CDGEdge']]],
|
|
104
|
+
['getbranchinst_8463',['getBranchInst',['../classSVF_1_1BranchStmt.html#a2c6fe09027838f9e0ad9ab8193ce8e9b',1,'SVF::BranchStmt']]],
|
|
105
|
+
['getbranchstmt_8464',['getBranchStmt',['../classSVF_1_1BranchVFGNode.html#abbb429b521b54c2d7a6d8d7f52751455',1,'SVF::BranchVFGNode']]],
|
|
106
|
+
['getbranchvfgnode_8465',['getBranchVFGNode',['../classSVF_1_1VFG.html#a47609382fcd9ef36706e1d0f0531a843',1,'SVF::VFG']]],
|
|
107
|
+
['getbugdescription_8466',['getBugDescription',['../classSVF_1_1GenericBug.html#aed9feb57ffb0860cbdd13698fd4dbf6c',1,'SVF::GenericBug::getBugDescription()'],['../classSVF_1_1BufferOverflowBug.html#a192bb246ed947f33cf7b02493c8fded8',1,'SVF::BufferOverflowBug::getBugDescription()'],['../classSVF_1_1NeverFreeBug.html#a0e52a0f35ff4d536f2de27a22139e59c',1,'SVF::NeverFreeBug::getBugDescription()'],['../classSVF_1_1PartialLeakBug.html#abd956a30bc4f8b1e25826149d20ea2b5',1,'SVF::PartialLeakBug::getBugDescription()'],['../classSVF_1_1DoubleFreeBug.html#acf0d2ffb52d0b322421a5556d41a1d63',1,'SVF::DoubleFreeBug::getBugDescription()'],['../classSVF_1_1FileNeverCloseBug.html#a80257bc6a9cf4eecfa402def59993e6e',1,'SVF::FileNeverCloseBug::getBugDescription()'],['../classSVF_1_1FilePartialCloseBug.html#a16b96f3c79cf5edae0f0f02e52344283',1,'SVF::FilePartialCloseBug::getBugDescription()'],['../classSVF_1_1FullNullPtrDereferenceBug.html#a8f057178ee7182d691dbb3103d0d0d43',1,'SVF::FullNullPtrDereferenceBug::getBugDescription()'],['../classSVF_1_1PartialNullPtrDereferenceBug.html#a910f2e839e1e722655fbb2266c15f136',1,'SVF::PartialNullPtrDereferenceBug::getBugDescription()']]],
|
|
108
|
+
['getbugreport_8467',['getBugReport',['../classSVF_1_1SrcSnkDDA.html#a14b15c837ae7975f0a7ccf89ed94aed5',1,'SVF::SrcSnkDDA']]],
|
|
109
|
+
['getbugset_8468',['getBugSet',['../classSVF_1_1SVFBugReport.html#a7dbf4adc013615567b33b6e293b61c8e',1,'SVF::SVFBugReport']]],
|
|
110
|
+
['getbugtype_8469',['getBugType',['../classSVF_1_1GenericBug.html#a693839b33e167cd0688be2e1738198f2',1,'SVF::GenericBug']]],
|
|
111
|
+
['getbvpointsto_8470',['getBVPointsTo',['../classSVF_1_1CondPTAImpl.html#a94f3e4d073b8c5bab3c46058ddba3f43',1,'SVF::CondPTAImpl']]],
|
|
112
|
+
['getbyteoffset_8471',['getByteOffset',['../classSVF_1_1SVFIR2AbsState.html#a21e927af79c73460ff5629cbd4961163',1,'SVF::SVFIR2AbsState']]],
|
|
113
|
+
['getbytesize_8472',['getByteSize',['../classSVF_1_1SVFType.html#a95b8031f1e15d49c7d68628be1d05aae',1,'SVF::SVFType']]],
|
|
114
|
+
['getbytesizeofobj_8473',['getByteSizeOfObj',['../classSVF_1_1MemObj.html#ab993dcaf5bcc1d6144cd94bcb8e18c6d',1,'SVF::MemObj::getByteSizeOfObj()'],['../classSVF_1_1ObjTypeInfo.html#ad5c4590f26859a5004b612a335a61916',1,'SVF::ObjTypeInfo::getByteSizeOfObj()']]],
|
|
115
|
+
['getcachedadpointsto_8474',['getCachedADPointsTo',['../classSVF_1_1DDAVFSolver.html#a2a2b3783074c9f509fc265b97b979704',1,'SVF::DDAVFSolver']]],
|
|
116
|
+
['getcachedpointsto_8475',['getCachedPointsTo',['../classSVF_1_1DDAVFSolver.html#ae31e9281e4f1e0585fdf328b7339e1bf',1,'SVF::DDAVFSolver']]],
|
|
117
|
+
['getcachedtlpointsto_8476',['getCachedTLPointsTo',['../classSVF_1_1DDAVFSolver.html#aac432dfa7ccfc3434d9e0e2eb65afe7f',1,'SVF::DDAVFSolver::getCachedTLPointsTo()'],['../classSVF_1_1FlowDDA.html#a950d653b249cfc2d20932adb3498b99b',1,'SVF::FlowDDA::getCachedTLPointsTo()']]],
|
|
118
|
+
['getcallblock_8477',['getCallBlock',['../classSVF_1_1ICFG.html#a1490b28446b9d8efee567ec02e2abcf3',1,'SVF::ICFG']]],
|
|
119
|
+
['getcalledfunction_8478',['getCalledFunction',['../classSVF_1_1SVFCallInst.html#ab654651e3117e8480544615fb1574766',1,'SVF::SVFCallInst::getCalledFunction()'],['../classSVF_1_1CallSite.html#afa0f55d8fd4248bf6ed39892b3b37438',1,'SVF::CallSite::getCalledFunction()']]],
|
|
120
|
+
['getcalledfunctions_8479',['getCalledFunctions',['../namespaceSVF_1_1LLVMUtil.html#a47d2af43ff12d9e1014fa19256619466',1,'SVF::LLVMUtil']]],
|
|
121
|
+
['getcalledgebegin_8480',['getCallEdgeBegin',['../classSVF_1_1PTACallGraph.html#a4ed2fd37007de9c873d5e197a0b3bd4e',1,'SVF::PTACallGraph']]],
|
|
122
|
+
['getcalledgeend_8481',['getCallEdgeEnd',['../classSVF_1_1PTACallGraph.html#a170a33ac22673dfd363c3e3b96987737',1,'SVF::PTACallGraph']]],
|
|
123
|
+
['getcalledoperand_8482',['getCalledOperand',['../classSVF_1_1SVFCallInst.html#a61f00e0fde32e5dbe78958d172dd9fd3',1,'SVF::SVFCallInst']]],
|
|
124
|
+
['getcalledvalue_8483',['getCalledValue',['../classSVF_1_1CallSite.html#ac6f4bb7468ce33ba123ee67e49395fd2',1,'SVF::CallSite']]],
|
|
125
|
+
['getcallee_8484',['getCallee',['../classSVF_1_1MHP.html#a5a537e2f89e8cfe10a2d16ae1654be6e',1,'SVF::MHP::getCallee()'],['../classSVF_1_1ForkJoinAnalysis.html#a1c34a3617488e152104e3625c975f608',1,'SVF::ForkJoinAnalysis::getCallee()'],['../classSVF_1_1ThreadAPI.html#a3817cef291fee72ca902b0196225231e',1,'SVF::ThreadAPI::getCallee(const SVFInstruction *inst) const'],['../classSVF_1_1ThreadAPI.html#ab2c517ddae02fbb80f56ddc609b2f5ef',1,'SVF::ThreadAPI::getCallee(const CallSite cs) const'],['../namespaceSVF_1_1LLVMUtil.html#ad56c48be3ba6ebb95416623256524097',1,'SVF::LLVMUtil::getCallee()'],['../namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d',1,'SVF::SVFUtil::getCallee(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851',1,'SVF::SVFUtil::getCallee(const SVFInstruction *inst)']]],
|
|
126
|
+
['getcalleeofcallsite_8485',['getCalleeOfCallSite',['../classSVF_1_1PTACallGraph.html#aacd5f35171717cb4d758c17bef828a0f',1,'SVF::PTACallGraph']]],
|
|
127
|
+
['getcallees_8486',['getCallees',['../classSVF_1_1PTACallGraph.html#a317e09edb29b110cf4273009551d31ec',1,'SVF::PTACallGraph']]],
|
|
128
|
+
['getcaller_8487',['getCaller',['../classSVF_1_1CallICFGNode.html#a18f4077d42b23c3fed35efc793b6102e',1,'SVF::CallICFGNode::getCaller()'],['../classSVF_1_1ActualRetVFGNode.html#ac8b9a7d905022c57699b7ba1ad5e3e51',1,'SVF::ActualRetVFGNode::getCaller()'],['../classSVF_1_1SVFCallInst.html#a76a8bb676e8c99ca518cbdf704678558',1,'SVF::SVFCallInst::getCaller()'],['../classSVF_1_1CallSite.html#ac68071f8f021087b9e1ec6f3956555e0',1,'SVF::CallSite::getCaller()']]],
|
|
129
|
+
['getcallerofcallsite_8488',['getCallerOfCallSite',['../classSVF_1_1PTACallGraph.html#a42035e9669204ddd5d38583db21af3d7',1,'SVF::PTACallGraph']]],
|
|
130
|
+
['getcallgraph_8489',['getCallgraph',['../classSVF_1_1SrcSnkDDA.html#ad445032e9b2027b3c990ce2a250257f8',1,'SVF::SrcSnkDDA::getCallgraph()'],['../classSVF_1_1VFG.html#a1693ccdb6c1b57418316c29cde05cad2',1,'SVF::VFG::getCallGraph()']]],
|
|
131
|
+
['getcallgraphnode_8490',['getCallGraphNode',['../classSVF_1_1PTACallGraph.html#aaab54c670518d9d6790707f76ea76aa1',1,'SVF::PTACallGraph::getCallGraphNode(NodeID id) const'],['../classSVF_1_1PTACallGraph.html#ae3ee76be0e959a736c868dc7e0128077',1,'SVF::PTACallGraph::getCallGraphNode(const SVFFunction *fun) const']]],
|
|
132
|
+
['getcallgraphscc_8491',['getCallGraphSCC',['../classSVF_1_1PointerAnalysis.html#a0bddf297a2d8cd59ce9a232f0229f248',1,'SVF::PointerAnalysis']]],
|
|
133
|
+
['getcallgraphsccrepnode_8492',['getCallGraphSCCRepNode',['../classSVF_1_1PointerAnalysis.html#ae8190ce12fb0c6360953f4b05047fbe8',1,'SVF::PointerAnalysis']]],
|
|
134
|
+
['getcallgraphsccrevtopoorder_8493',['getCallGraphSCCRevTopoOrder',['../classSVF_1_1MRGenerator.html#ab3d3ca72d2cddf5336d00dc623f33401',1,'SVF::MRGenerator']]],
|
|
135
|
+
['getcallicfgnode_8494',['getCallICFGNode',['../classSVF_1_1ICFGBuilder.html#a237840a1fd5ba598cc8c1843bad86f86',1,'SVF::ICFGBuilder::getCallICFGNode()'],['../classSVF_1_1ICFG.html#aa41516cdd2be5066adf22798a4fe2213',1,'SVF::ICFG::getCallICFGNode()'],['../classSVF_1_1RetICFGNode.html#a98c5e8394aa337e53a5ba8f4b0a245d4',1,'SVF::RetICFGNode::getCallICFGNode()'],['../classSVF_1_1PCG.html#a916151cbbebd665c0a2ab754e8e58988',1,'SVF::PCG::getCallICFGNode()'],['../classSVF_1_1TCT.html#a90f5d399420894f087a24d315ad2ee8e',1,'SVF::TCT::getCallICFGNode()']]],
|
|
136
|
+
['getcallinst_8495',['getCallInst',['../classSVF_1_1CallPE.html#aa50cca8bd91ffb135a7998b58ad7966f',1,'SVF::CallPE::getCallInst()'],['../classSVF_1_1RetPE.html#a9bbf558ffc8e3c1136e20d18d4c95f42',1,'SVF::RetPE::getCallInst()']]],
|
|
137
|
+
['getcallinsttocallgraphedgesmap_8496',['getCallInstToCallGraphEdgesMap',['../classSVF_1_1PTACallGraph.html#a368306a46d84ccc6d07d94833aded629',1,'SVF::PTACallGraph']]],
|
|
138
|
+
['getcallpes_8497',['getCallPEs',['../classSVF_1_1CallCFGEdge.html#ad0891e5b6839b443691a68b11fce978b',1,'SVF::CallCFGEdge']]],
|
|
139
|
+
['getcallsite_8498',['getCallSite',['../classSVF_1_1CallCFGEdge.html#a4eef1ba1d5d7bcd906f8e5c50afc951a',1,'SVF::CallCFGEdge::getCallSite()'],['../classSVF_1_1RetCFGEdge.html#a9a683c1be6cfede369b44bd608693315',1,'SVF::RetCFGEdge::getCallSite()'],['../classSVF_1_1CallICFGNode.html#a90fd0b8e44fba1a7eb76d15bce085d66',1,'SVF::CallICFGNode::getCallSite()'],['../classSVF_1_1RetICFGNode.html#a189125c2e5c3927d1b70f68e6e4c4f2e',1,'SVF::RetICFGNode::getCallSite()'],['../classSVF_1_1PTACallGraph.html#a16e0017ad3a2d36d7efbc4383e394154',1,'SVF::PTACallGraph::getCallSite()'],['../classSVF_1_1ActualINSVFGNode.html#aab3b2931f60adeb9fd8c87087074d834',1,'SVF::ActualINSVFGNode::getCallSite()'],['../classSVF_1_1ActualOUTSVFGNode.html#a89cb274936513df411a75fb33a86702f',1,'SVF::ActualOUTSVFGNode::getCallSite()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a5b4ba4b7753d786ff2e3d834bda017ce',1,'SVF::InterMSSAPHISVFGNode::getCallSite()'],['../classSVF_1_1VFG.html#a246cce511b8e9164a7c1760d1983f492',1,'SVF::VFG::getCallSite()'],['../classSVF_1_1ActualParmVFGNode.html#ab153944a366488c5f7e91d61561e9c0e',1,'SVF::ActualParmVFGNode::getCallSite()'],['../classSVF_1_1ActualRetVFGNode.html#a06ea783375c18198b00121214c357c18',1,'SVF::ActualRetVFGNode::getCallSite()'],['../classSVF_1_1InterPHIVFGNode.html#a0b35e0c57fc0261d67e7080fa50fd581',1,'SVF::InterPHIVFGNode::getCallSite()'],['../classSVF_1_1CallMU.html#a57616dc30fb97c6dc64c9210b42bbeb7',1,'SVF::CallMU::getCallSite()'],['../classSVF_1_1CallCHI.html#af7f9fb3c01c487686453e25104a5bfc7',1,'SVF::CallCHI::getCallSite()'],['../classSVF_1_1ProgSlice.html#a8ae327bc7bf72f892d87730edfc67d0d',1,'SVF::ProgSlice::getCallSite()'],['../classSVF_1_1CallPE.html#ab548c22dfbfeeaeb8ffe83417b396c09',1,'SVF::CallPE::getCallSite()'],['../classSVF_1_1RetPE.html#ab03f10c0375846a733f3257736a84f9d',1,'SVF::RetPE::getCallSite()']]],
|
|
140
|
+
['getcallsiteargslist_8499',['getCallSiteArgsList',['../classSVF_1_1SVFIR.html#a2a1e8ce39bf8deace3c344d5f05fe6ac',1,'SVF::SVFIR']]],
|
|
141
|
+
['getcallsiteargsmap_8500',['getCallSiteArgsMap',['../classSVF_1_1SVFIR.html#a346b9300ad16ef65e3ab4e11f88193a7',1,'SVF::SVFIR']]],
|
|
142
|
+
['getcallsiteargspts_8501',['getCallSiteArgsPts',['../classSVF_1_1MRGenerator.html#ad402506c2938d4b5440119e6091e4057',1,'SVF::MRGenerator']]],
|
|
143
|
+
['getcallsitechinum_8502',['getCallSiteChiNum',['../classSVF_1_1MemSSA.html#a2c65795ca63a53c833f5ac17a752b6dc',1,'SVF::MemSSA']]],
|
|
144
|
+
['getcallsiteid_8503',['getCallSiteID',['../classSVF_1_1PTACallGraphEdge.html#af9ca9cfffbba3b68838d41be62c914ac',1,'SVF::PTACallGraphEdge::getCallSiteID()'],['../classSVF_1_1PTACallGraph.html#a711bd8ad385f8454fbfcd20f134efe1b',1,'SVF::PTACallGraph::getCallSiteID()'],['../classSVF_1_1VFG.html#a5f82b3c2e8e6412e2781b960ffa98387',1,'SVF::VFG::getCallSiteID()'],['../classSVF_1_1CallIndSVFGEdge.html#a3742b87170e0b48edc71ffdd6e5350aa',1,'SVF::CallIndSVFGEdge::getCallSiteId()'],['../classSVF_1_1RetIndSVFGEdge.html#a04f211a0e3e21f60a299a744d3d1e452',1,'SVF::RetIndSVFGEdge::getCallSiteId()'],['../classSVF_1_1CallDirSVFGEdge.html#ae6051f47731b62c456216554f7b7dba6',1,'SVF::CallDirSVFGEdge::getCallSiteId()'],['../classSVF_1_1RetDirSVFGEdge.html#a86ef0a34735096e86d3731cd6ecf769a',1,'SVF::RetDirSVFGEdge::getCallSiteId()']]],
|
|
145
|
+
['getcallsitemodmrset_8504',['getCallSiteModMRSet',['../classSVF_1_1MRGenerator.html#a4ee12b940608c34ee81b07cdc8d35538',1,'SVF::MRGenerator']]],
|
|
146
|
+
['getcallsitemunum_8505',['getCallSiteMuNum',['../classSVF_1_1MemSSA.html#a9e8c5b85957485635d0f72c2f48bb8b5',1,'SVF::MemSSA']]],
|
|
147
|
+
['getcallsitepair_8506',['getCallSitePair',['../classSVF_1_1PTACallGraph.html#a9155629ddc58f71c6a6f2aec978e4610',1,'SVF::PTACallGraph']]],
|
|
148
|
+
['getcallsiterefmrset_8507',['getCallSiteRefMRSet',['../classSVF_1_1MRGenerator.html#acd4694a030755b7491a6ef55d9ba2682',1,'SVF::MRGenerator']]],
|
|
149
|
+
['getcallsiteret_8508',['getCallSiteRet',['../classSVF_1_1SVFIR.html#a3145677c7a3763fc0d6aa7e21b264ab6',1,'SVF::SVFIR']]],
|
|
150
|
+
['getcallsiteretpts_8509',['getCallSiteRetPts',['../classSVF_1_1MRGenerator.html#ab19c541dd4c3a0e691287da5dd43540d',1,'SVF::MRGenerator']]],
|
|
151
|
+
['getcallsiterets_8510',['getCallSiteRets',['../classSVF_1_1SVFIR.html#a650b3931af337a92ffcb5dad5ab47b22',1,'SVF::SVFIR']]],
|
|
152
|
+
['getcallsiteset_8511',['getCallSiteSet',['../classSVF_1_1SVFIR.html#aa530e33657f68fc2e8eae9435ce430cb',1,'SVF::SVFIR']]],
|
|
153
|
+
['getcallsitetochisetmap_8512',['getCallSiteToChiSetMap',['../classSVF_1_1MemSSA.html#a8f88acad31782bfa962e4349d8f4185d',1,'SVF::MemSSA']]],
|
|
154
|
+
['getcallsitetomusetmap_8513',['getCallSiteToMuSetMap',['../classSVF_1_1MemSSA.html#a06081aa029b1fe3f9427f85a0261fd43',1,'SVF::MemSSA']]],
|
|
155
|
+
['getcandidatequeries_8514',['getCandidateQueries',['../classSVF_1_1DDAClient.html#a6f50b9a26f66e716acf163cc77030e5f',1,'SVF::DDAClient::getCandidateQueries()'],['../classSVF_1_1DDAVFSolver.html#a73bbf4f763316e8d5db62d163da35a18',1,'SVF::DDAVFSolver::getCandidateQueries()']]],
|
|
156
|
+
['getcandidates_8515',['getCandidates',['../classSVF_1_1WPAMinimumSolver.html#a2dc1f9588dd3ac376f8bb17a144c6fb2',1,'SVF::WPAMinimumSolver']]],
|
|
157
|
+
['getcanonicaltype_8516',['getCanonicalType',['../classSVF_1_1DCHGraph.html#a079feacdcc3783f4a9108a3b2d2aed2c',1,'SVF::DCHGraph']]],
|
|
158
|
+
['getcasevalue_8517',['getCaseValue',['../namespaceSVF_1_1LLVMUtil.html#a33e8378ae1a911169394e545a4ba2220',1,'SVF::LLVMUtil']]],
|
|
159
|
+
['getcbn_8518',['getCBN',['../classSVF_1_1LockResultValidator.html#a7638247e903414b084847b07a8bed78c',1,'SVF::LockResultValidator::getCBN()'],['../classSVF_1_1MHP.html#acd61be4be1b285fa333c5435912ece0e',1,'SVF::MHP::getCBN()'],['../classSVF_1_1ForkJoinAnalysis.html#a46bd73ec73cc17087f21e8c5b234d0bd',1,'SVF::ForkJoinAnalysis::getCBN()']]],
|
|
160
|
+
['getcdg_8519',['getCDG',['../classSVF_1_1CDG.html#aadc90afbdeff9aae0365cde7b96ae9bc',1,'SVF::CDG']]],
|
|
161
|
+
['getcdgedge_8520',['getCDGEdge',['../classSVF_1_1CDG.html#aede6e10b06e7f5581dd7c042d5304b37',1,'SVF::CDG']]],
|
|
162
|
+
['getcdgnode_8521',['getCDGNode',['../classSVF_1_1CDG.html#a61c0aa5c27014d3e20d7d6ec6ace9216',1,'SVF::CDG']]],
|
|
163
|
+
['getcdn_8522',['getCDN',['../classSVF_1_1WTO.html#a92034688db3f67feb6e997d4c03f769f',1,'SVF::WTO']]],
|
|
164
|
+
['getcfcond_8523',['getCFCond',['../classSVF_1_1SaberCondAllocator.html#ace1ef8c6e9bc369a6828e7220979e40b',1,'SVF::SaberCondAllocator']]],
|
|
165
|
+
['getcfledges_8524',['getCFLEdges',['../classSVF_1_1CFLGraph.html#afcf910a94a3b081067f5a55599475a16',1,'SVF::CFLGraph']]],
|
|
166
|
+
['getcflgraph_8525',['getCFLGraph',['../classSVF_1_1CFLBase.html#a22ab9bbaee16e06d04817db8c394cc0b',1,'SVF::CFLBase']]],
|
|
167
|
+
['getcflpts_8526',['getCFLPts',['../classSVF_1_1CFLAlias.html#acbbacca91cb85f67523aa8f84f6fe629',1,'SVF::CFLAlias']]],
|
|
168
|
+
['getcheckerapi_8527',['getCheckerAPI',['../classSVF_1_1SaberCheckerAPI.html#acf41a2b6de063da9ed492ef0da129036',1,'SVF::SaberCheckerAPI']]],
|
|
169
|
+
['getchg_8528',['getCHG',['../classSVF_1_1SVFIR.html#a7e8059ebd9bdeed8891fb231d148316d',1,'SVF::SVFIR']]],
|
|
170
|
+
['getchgraph_8529',['getCHGraph',['../classSVF_1_1PointerAnalysis.html#ae2cc7cd0803dbd90639140e71b06b1b5',1,'SVF::PointerAnalysis']]],
|
|
171
|
+
['getchildrenbegin_8530',['getChildrenBegin',['../classSVF_1_1TCT.html#a511c2ee4cfdc01a720135b2cd493fe3b',1,'SVF::TCT']]],
|
|
172
|
+
['getchildrenend_8531',['getChildrenEnd',['../classSVF_1_1TCT.html#af47837e30a80e8d6684f3ee6001afb7a',1,'SVF::TCT']]],
|
|
173
|
+
['getchiset_8532',['getCHISet',['../classSVF_1_1MemSSA.html#a2e656a50f8964fc3e99d1d436de64418',1,'SVF::MemSSA::getCHISet(const StoreStmt *st)'],['../classSVF_1_1MemSSA.html#a959e932912b924ec91e1526947493204',1,'SVF::MemSSA::getCHISet(const CallICFGNode *cs)']]],
|
|
174
|
+
['getclassnamefromtype_8533',['getClassNameFromType',['../namespaceSVF_1_1cppUtil.html#a6f78191ab37ac0d5c20923c5ab646011',1,'SVF::cppUtil']]],
|
|
175
|
+
['getclassnamefromvtblobj_8534',['getClassNameFromVtblObj',['../namespaceSVF_1_1cppUtil.html#ae0f374d110eefcfcf4c196c85db6c0d2',1,'SVF::cppUtil']]],
|
|
176
|
+
['getclassnameofthisptr_8535',['getClassNameOfThisPtr',['../namespaceSVF_1_1cppUtil.html#a8de9a0f0c400240b6cb433b4db3fb3d1',1,'SVF::cppUtil']]],
|
|
177
|
+
['getclk_8536',['getClk',['../classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d',1,'SVF::SVFStat']]],
|
|
178
|
+
['getcmpvfgnode_8537',['getCmpVFGNode',['../classSVF_1_1VFG.html#a9215c1d7f1152967f0731057a085e793',1,'SVF::VFG']]],
|
|
179
|
+
['getcompletenodelabel_8538',['getCompleteNodeLabel',['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#adef3b27c866d5d9ca38135e5c75d5e4f',1,'SVF::DOTGraphTraits< SVFG * >::getCompleteNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a3396c4d951a5a0c972561251d68b55c6',1,'SVF::DOTGraphTraits< VFG * >::getCompleteNodeLabel()']]],
|
|
180
|
+
['getcond_8539',['getCond',['../classSVF_1_1MSSAMU.html#ac51263250da06fd63b923a6771744f97',1,'SVF::MSSAMU::getCond()'],['../classSVF_1_1MSSACHI.html#a9673994f9db94e23984b132d4b533304',1,'SVF::MSSACHI::getCond()'],['../classSVF_1_1MSSAPHI.html#a06a5d63be38e6df36e1c28a6c0c789cc',1,'SVF::MSSAPHI::getCond()'],['../classSVF_1_1CxtStmtDPItem.html#ace41c90e66f6a85f12ff67540ad9d594',1,'SVF::CxtStmtDPItem::getCond() const'],['../classSVF_1_1CxtStmtDPItem.html#a987f57970d633acc10aa3f3e69b68cb0',1,'SVF::CxtStmtDPItem::getCond()']]],
|
|
181
|
+
['getcondinst_8540',['getCondInst',['../classSVF_1_1SaberCondAllocator.html#a1d8b90edf6ec679a97282ba60c07134d',1,'SVF::SaberCondAllocator']]],
|
|
182
|
+
['getcondition_8541',['getCondition',['../classSVF_1_1IntraCFGEdge.html#a2657751b285cb6db8084da38b00dcab9',1,'SVF::IntraCFGEdge::getCondition()'],['../classSVF_1_1SelectStmt.html#ad4c3e9529176478bb726279a76050e8c',1,'SVF::SelectStmt::getCondition()'],['../classSVF_1_1BranchStmt.html#a915384027ae53e99311f05a08edf99f0',1,'SVF::BranchStmt::getCondition()']]],
|
|
183
|
+
['getcondnum_8542',['getCondNum',['../classSVF_1_1SaberCondAllocator.html#a634376c35eceaf4dc995a71484d9bc7c',1,'SVF::SaberCondAllocator']]],
|
|
184
|
+
['getcondpointsto_8543',['getCondPointsTo',['../classSVF_1_1CondPTAImpl.html#a454a998ef5a866f2a6f270e3283c6ebd',1,'SVF::CondPTAImpl']]],
|
|
185
|
+
['getcondvar_8544',['getCondVar',['../classSVF_1_1CxtStmtDPItem.html#ab1098f5093419b62ea27a20933059270',1,'SVF::CxtStmtDPItem']]],
|
|
186
|
+
['getconservativecpts_8545',['getConservativeCPts',['../classSVF_1_1ContextDDA.html#a32ce0085cb99f92f63b54df0f2ea2523',1,'SVF::ContextDDA::getConservativeCPts()'],['../classSVF_1_1DDAVFSolver.html#a38f5a6b666b2a427d55f1217f9c5595f',1,'SVF::DDAVFSolver::getConservativeCPts()'],['../classSVF_1_1FlowDDA.html#a086e428c83c2c3ed7fdfbbfd17abdf78',1,'SVF::FlowDDA::getConservativeCPts()']]],
|
|
187
|
+
['getconstantfieldidx_8546',['getConstantFieldIdx',['../classSVF_1_1DCHEdge.html#a500ccfa8f8327ab792844698423d8578',1,'SVF::DCHEdge::getConstantFieldIdx()'],['../classSVF_1_1NormalGepCGEdge.html#ad00a9492e48686cb8a5d593a1a52e872',1,'SVF::NormalGepCGEdge::getConstantFieldIdx()'],['../classSVF_1_1GepValVar.html#ada19ed60cb6623867b00b0f59cf0453a',1,'SVF::GepValVar::getConstantFieldIdx()'],['../classSVF_1_1GepObjVar.html#a10790e82dbb00532d4aa171f592c54bc',1,'SVF::GepObjVar::getConstantFieldIdx()']]],
|
|
188
|
+
['getconstantnode_8547',['getConstantNode',['../classSVF_1_1IRGraph.html#ac5da3a0cbe040a45d719b6f6a23aed91',1,'SVF::IRGraph']]],
|
|
189
|
+
['getconstantobj_8548',['getConstantObj',['../classSVF_1_1IRGraph.html#aceae1e4e49a1d2e63ef3d71a7e5ef3eb',1,'SVF::IRGraph::getConstantObj()'],['../classSVF_1_1SymbolTableInfo.html#a661eb9ff1839c3af942517808414202b',1,'SVF::SymbolTableInfo::getConstantObj()']]],
|
|
190
|
+
['getconstantset_8549',['getConstantSet',['../classSVF_1_1SVFModule.html#aa29e64e29db6af2387dec987a5e1985b',1,'SVF::SVFModule']]],
|
|
191
|
+
['getconstantstructfldidx_8550',['getConstantStructFldIdx',['../classSVF_1_1AccessPath.html#a5427d08c9eb9d86e66c2bff6aeba6bac',1,'SVF::AccessPath::getConstantStructFldIdx()'],['../classSVF_1_1GepStmt.html#a71fcc6d100ce2a9785a02b8924261956',1,'SVF::GepStmt::getConstantStructFldIdx()']]],
|
|
192
|
+
['getconstraintgraph_8551',['getConstraintGraph',['../classSVF_1_1AndersenBase.html#aaec5125db063f8c1e7431ac7fe7a70f2',1,'SVF::AndersenBase']]],
|
|
193
|
+
['getconstraintnode_8552',['getConstraintNode',['../classSVF_1_1ConstraintGraph.html#a26722666cc8f2fce61bed73f086a0e87',1,'SVF::ConstraintGraph']]],
|
|
194
|
+
['getconstructorthisptr_8553',['getConstructorThisPtr',['../namespaceSVF_1_1cppUtil.html#a26c3ceb82a398663284690c898a5354d',1,'SVF::cppUtil']]],
|
|
195
|
+
['getconsume_8554',['getConsume',['../classSVF_1_1VersionedFlowSensitive.html#af93e65faae99459621ae45cf9d36005d',1,'SVF::VersionedFlowSensitive']]],
|
|
196
|
+
['getcontext_8555',['getContext',['../classSVF_1_1LLVMModuleSet.html#ac1a9d20d62066ec4e181fad223669e32',1,'SVF::LLVMModuleSet::getContext()'],['../classSymblicAbstractionTest.html#ab41926db0c2711a98319c8d544c7c7e2',1,'SymblicAbstractionTest::getContext()'],['../classSVF_1_1BoundedZ3Expr.html#af40c5e287f17eace7182557f46501b29',1,'SVF::BoundedZ3Expr::getContext()'],['../classSVF_1_1NumericLiteral.html#a32f68f45719c8be05357d7622dd66f6b',1,'SVF::NumericLiteral::getContext()'],['../classSVF_1_1RelExeState.html#a9f41158b546faa706bc40c061cfa79be',1,'SVF::RelExeState::getContext()'],['../classSVF_1_1SVFIR2AbsState.html#a36a428b990477a204cd73151680259a2',1,'SVF::SVFIR2AbsState::getContext()'],['../classSVF_1_1CxtStmt.html#a3ce19b8f2de2e199ed4165dbe9d21f28',1,'SVF::CxtStmt::getContext()'],['../classSVF_1_1CxtThread.html#a93d75593046e26eafcf1af3a596bba4a',1,'SVF::CxtThread::getContext()'],['../classSVF_1_1CxtProc.html#a99b0f68b4cbd733f91eea33aa3e64eb7',1,'SVF::CxtProc::getContext()'],['../classSVF_1_1Z3Expr.html#acfdff582a0188678c10939165a40df30',1,'SVF::Z3Expr::getContext()']]],
|
|
197
|
+
['getcontexts_8556',['getContexts',['../classSVF_1_1ContextCond.html#a73d4d6ed38898b912926d044268fd35b',1,'SVF::ContextCond::getContexts() const'],['../classSVF_1_1ContextCond.html#a2af7a9769d97ddb4a217d0baaf7c03a3',1,'SVF::ContextCond::getContexts()'],['../classSVF_1_1CxtDPItem.html#a1dea25cd5d72c52cef1cff23b832a196',1,'SVF::CxtDPItem::getContexts()']]],
|
|
198
|
+
['getcopyinedges_8557',['getCopyInEdges',['../classSVF_1_1ConstraintNode.html#aa7fda7753c353db3284e087270ab7cd0',1,'SVF::ConstraintNode']]],
|
|
199
|
+
['getcopykind_8558',['getCopyKind',['../classSVF_1_1SVFIRBuilder.html#a090378de3e320d9589d7847c0a6b1936',1,'SVF::SVFIRBuilder::getCopyKind()'],['../classSVF_1_1CopyStmt.html#a35cad8865b3d8d90b29e845a91c2eee1',1,'SVF::CopyStmt::getCopyKind()']]],
|
|
200
|
+
['getcopyoutedges_8559',['getCopyOutEdges',['../classSVF_1_1ConstraintNode.html#ab77173aa8af6155b569f20ff0cdcec72',1,'SVF::ConstraintNode']]],
|
|
201
|
+
['getcsclasses_8560',['getCSClasses',['../classSVF_1_1CHGBuilder.html#adc1b1f45e7000fa57e3a70ef9e4af853',1,'SVF::CHGBuilder']]],
|
|
202
|
+
['getcsidatcall_8561',['getCSIDAtCall',['../classSVF_1_1ContextDDA.html#a2ce589a1d63a5126e178fc47527e0f92',1,'SVF::ContextDDA']]],
|
|
203
|
+
['getcsidatret_8562',['getCSIDAtRet',['../classSVF_1_1ContextDDA.html#a7687f36ad3f27bb16069975f00a1a202',1,'SVF::ContextDDA']]],
|
|
204
|
+
['getcsstatictype_8563',['getCSStaticType',['../classSVF_1_1DCHGraph.html#a00f47cd888060e85e13003775c40f5ac',1,'SVF::DCHGraph::getCSStaticType(CallBase *cs) const'],['../classSVF_1_1DCHGraph.html#a236d785d728189c2026357ce837fcdc6',1,'SVF::DCHGraph::getCSStaticType(CallSite cs) const']]],
|
|
205
|
+
['getcstcls_8564',['getCSTCLS',['../classSVF_1_1LockAnalysis.html#a7faecaee57dbef533dc46b2708305ab2',1,'SVF::LockAnalysis']]],
|
|
206
|
+
['getcsvfsbasedoncha_8565',['getCSVFsBasedonCHA',['../classSVF_1_1DCHGraph.html#ad398e58286af020fb4dcc03644f2a24f',1,'SVF::DCHGraph::getCSVFsBasedonCHA()'],['../classSVF_1_1CommonCHGraph.html#abe9232b9cada361e0434f7c4390a7864',1,'SVF::CommonCHGraph::getCSVFsBasedonCHA()'],['../classSVF_1_1CHGraph.html#a1c0ca4e6a466ad317daf00a6c7de8e31',1,'SVF::CHGraph::getCSVFsBasedonCHA()']]],
|
|
207
|
+
['getcsvtblsbasedoncha_8566',['getCSVtblsBasedonCHA',['../classSVF_1_1DCHGraph.html#a3383b841bb79ee39cb108b9906fca6a9',1,'SVF::DCHGraph::getCSVtblsBasedonCHA()'],['../classSVF_1_1CommonCHGraph.html#ae90f9a2152ab07aa0df16badd733f1fd',1,'SVF::CommonCHGraph::getCSVtblsBasedonCHA()'],['../classSVF_1_1CHGraph.html#a9878df891d2e20d09b65096060d2c148',1,'SVF::CHGraph::getCSVtblsBasedonCHA()']]],
|
|
208
|
+
['getcurevalsvfgnode_8567',['getCurEvalSVFGNode',['../classSVF_1_1SaberCondAllocator.html#a9aec07a64b97d546cfa0efe10f888b6a',1,'SVF::SaberCondAllocator']]],
|
|
209
|
+
['getcurnodeid_8568',['getCurNodeID',['../classSVF_1_1DPItem.html#a03a90eca842c0e83d874902103f6fdb2',1,'SVF::DPItem']]],
|
|
210
|
+
['getcurrent_8569',['getCurrent',['../classSVF_1_1mapped__iter.html#a515d4ba2964e6779314a248d92b6d3fc',1,'SVF::mapped_iter']]],
|
|
211
|
+
['getcurrentbb_8570',['getCurrentBB',['../classSVF_1_1SVFIRBuilder.html#a6c0229120c8c96be35d2e8000b87384f',1,'SVF::SVFIRBuilder']]],
|
|
212
|
+
['getcurrentbestnodemapping_8571',['getCurrentBestNodeMapping',['../classSVF_1_1PointsTo.html#ae349a9ce6a8739925baffd83d1878b0e',1,'SVF::PointsTo']]],
|
|
213
|
+
['getcurrentbestreversenodemapping_8572',['getCurrentBestReverseNodeMapping',['../classSVF_1_1PointsTo.html#a19b84abf5e9c85e82ae18b77083467e9',1,'SVF::PointsTo']]],
|
|
214
|
+
['getcurrentvalue_8573',['getCurrentValue',['../classSVF_1_1SVFIRBuilder.html#a95fd13343636bcbc18db1ef8d630c52e',1,'SVF::SVFIRBuilder']]],
|
|
215
|
+
['getcurslice_8574',['getCurSlice',['../classSVF_1_1SrcSnkDDA.html#ad50e479db8f0733326974709d6ffe653',1,'SVF::SrcSnkDDA']]],
|
|
216
|
+
['getcursvfgnode_8575',['getCurSVFGNode',['../classSVF_1_1ProgSlice.html#afad8cd2f720bf01eedd825c3c418abc0',1,'SVF::ProgSlice']]],
|
|
217
|
+
['getcxtarg_8576',['getCxtArg',['../classSVF_1_1MTAResultValidator.html#afb110fec926967ba334bf2635d58a339',1,'SVF::MTAResultValidator::getCxtArg(const Instruction *inst, unsigned int arg_num)'],['../classSVF_1_1MTAResultValidator.html#ad21ce3a511a21333ea31bcd1767306e7',1,'SVF::MTAResultValidator::getCxtArg(const Instruction *inst, unsigned int arg_num)']]],
|
|
218
|
+
['getcxtlockfromcxtstmt_8577',['getCxtLockfromCxtStmt',['../classSVF_1_1LockAnalysis.html#a4b55036dae224c83b650389a409d9b96',1,'SVF::LockAnalysis::getCxtLockfromCxtStmt(const CxtStmt &cts) const'],['../classSVF_1_1LockAnalysis.html#a0809f300ab80173523b34226bb832bd2',1,'SVF::LockAnalysis::getCxtLockfromCxtStmt(const CxtStmt &cts)']]],
|
|
219
|
+
['getcxtofcxtthread_8578',['getCxtOfCxtThread',['../classSVF_1_1TCT.html#ab4bc72ca330b315df06f2d4d2c1a7b4f',1,'SVF::TCT']]],
|
|
220
|
+
['getcxtstmtfrominst_8579',['getCxtStmtfromInst',['../classSVF_1_1LockAnalysis.html#a53f42781e99dfb872f0528ef18b1f824',1,'SVF::LockAnalysis']]],
|
|
221
|
+
['getcxtthread_8580',['getCxtThread',['../classSVF_1_1TCTNode.html#a21591b19f6a9267151c31178f9543ee6',1,'SVF::TCTNode']]],
|
|
222
|
+
['getdatalayout_8581',['getDataLayout',['../namespaceSVF_1_1LLVMUtil.html#a151fd7fb2b2ebe72af7c417defbb4f4d',1,'SVF::LLVMUtil']]],
|
|
223
|
+
['getdeclaration_8582',['getDeclaration',['../classSVF_1_1LLVMModuleSet.html#aa4a604e47daaaf95babc7aca68991000',1,'SVF::LLVMModuleSet']]],
|
|
224
|
+
['getdef_8583',['getDef',['../classSVF_1_1SVFG.html#abd917826bf50ed409a307ce00562c97d',1,'SVF::SVFG::getDef(const PAGNode *pagNode) const'],['../classSVF_1_1SVFG.html#a55a26b88ffe786b04184a29ae72575e7',1,'SVF::SVFG::getDef(const MRVer *mvar) const'],['../classSVF_1_1VFG.html#a7343f970332391634f79b2023bba6650',1,'SVF::VFG::getDef()'],['../classSVF_1_1MRVer.html#a492211105abe8af8ed9ad7b30eabb852',1,'SVF::MRVer::getDef()']]],
|
|
225
|
+
['getdeffunformultiplemodule_8584',['getDefFunForMultipleModule',['../classSVF_1_1SVFFunction.html#a804a41f4eb078586f20f7d5755ea6fdd',1,'SVF::SVFFunction::getDefFunForMultipleModule()'],['../namespaceSVF_1_1LLVMUtil.html#a21636200f17c62034720c4287aa818b5',1,'SVF::LLVMUtil::getDefFunForMultipleModule()']]],
|
|
226
|
+
['getdefglobalformultiplemodule_8585',['getDefGlobalForMultipleModule',['../classSVF_1_1SVFGlobalValue.html#aa3331b344db3eb233d01ca4ee4bb5b01',1,'SVF::SVFGlobalValue']]],
|
|
227
|
+
['getdefinition_8586',['getDefinition',['../classSVF_1_1LLVMModuleSet.html#a6e670254385050b9a5e612f881b07b9c',1,'SVF::LLVMModuleSet']]],
|
|
228
|
+
['getdefsvfgnode_8587',['getDefSVFGNode',['../classSVF_1_1DDAVFSolver.html#a55803a2d30137b5ad15c5afeec7c6b28',1,'SVF::DDAVFSolver::getDefSVFGNode()'],['../classSVF_1_1SVFG.html#a8e7a945f4266e8dc7dcfff2ad6494bfb',1,'SVF::SVFG::getDefSVFGNode()']]],
|
|
229
|
+
['getdefsvfvars_8588',['getDefSVFVars',['../classSVF_1_1MRSVFGNode.html#ae09658fbaa1061a4c5bea1b326bb2870',1,'SVF::MRSVFGNode::getDefSVFVars()'],['../classSVF_1_1DummyVersionPropSVFGNode.html#aab2e783b23dcf4120e31986863e5888c',1,'SVF::DummyVersionPropSVFGNode::getDefSVFVars()'],['../classSVF_1_1VFGNode.html#ac2161154777d5bedfdb541658efdc651',1,'SVF::VFGNode::getDefSVFVars()'],['../classSVF_1_1LoadVFGNode.html#ab5f47aacf939e82b154c96451805938c',1,'SVF::LoadVFGNode::getDefSVFVars()'],['../classSVF_1_1StoreVFGNode.html#aab00d7dcada369b19f68887d8e886ac4',1,'SVF::StoreVFGNode::getDefSVFVars()'],['../classSVF_1_1CopyVFGNode.html#a09a111ff93faf69c775aab41542ddcc3',1,'SVF::CopyVFGNode::getDefSVFVars()'],['../classSVF_1_1CmpVFGNode.html#adba761312556c9a4cfc1ef9e5f3a7c10',1,'SVF::CmpVFGNode::getDefSVFVars()'],['../classSVF_1_1BinaryOPVFGNode.html#a868c1523cc717b69f9c5c3e825a7eb18',1,'SVF::BinaryOPVFGNode::getDefSVFVars()'],['../classSVF_1_1UnaryOPVFGNode.html#a446b7922ec2aa5f9a14216bdaec93807',1,'SVF::UnaryOPVFGNode::getDefSVFVars()'],['../classSVF_1_1BranchVFGNode.html#a83e99b58146bd2d80726622feb303d3f',1,'SVF::BranchVFGNode::getDefSVFVars()'],['../classSVF_1_1GepVFGNode.html#ab1a0ebf945b933e7d92ff5ca5cfb657f',1,'SVF::GepVFGNode::getDefSVFVars()'],['../classSVF_1_1PHIVFGNode.html#a600752db995e57d49894c3f89e87cb50',1,'SVF::PHIVFGNode::getDefSVFVars()'],['../classSVF_1_1AddrVFGNode.html#a9811e91aab1b49ca943ae0d382df2c1a',1,'SVF::AddrVFGNode::getDefSVFVars()'],['../classSVF_1_1ActualParmVFGNode.html#ac5bfddb8123fbe57590fcf2dc62c153b',1,'SVF::ActualParmVFGNode::getDefSVFVars()'],['../classSVF_1_1FormalParmVFGNode.html#a84792b8a380dc157487374ddaa24d62a',1,'SVF::FormalParmVFGNode::getDefSVFVars()'],['../classSVF_1_1ActualRetVFGNode.html#aa188986fc1aee4a7f2586a1ff479063b',1,'SVF::ActualRetVFGNode::getDefSVFVars()'],['../classSVF_1_1FormalRetVFGNode.html#ab0962e63ea87752caa136a169fa8f1c8',1,'SVF::FormalRetVFGNode::getDefSVFVars()'],['../classSVF_1_1NullPtrVFGNode.html#ae54d1078c5b909b9142189b8558f382e',1,'SVF::NullPtrVFGNode::getDefSVFVars()']]],
|
|
230
|
+
['getdefvfgnode_8589',['getDefVFGNode',['../classSVF_1_1VFG.html#ad28caacede7ab7f3a6676e37655ee84e',1,'SVF::VFG']]],
|
|
231
|
+
['getdescendants_8590',['getDescendants',['../classSVF_1_1CHGraph.html#a26f89a9b269cad3fc894110d25598715',1,'SVF::CHGraph']]],
|
|
232
|
+
['getdfin_8591',['getDFIn',['../classSVF_1_1MutableDFPTData.html#ae999df6f94a097f1fcb36979327790de',1,'SVF::MutableDFPTData']]],
|
|
233
|
+
['getdfinptidref_8592',['getDFInPtIdRef',['../classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b',1,'SVF::PersistentDFPTData']]],
|
|
234
|
+
['getdfinptsmap_8593',['getDFInPtsMap',['../classSVF_1_1MutableDFPTData.html#a7559810e1ad40588f5fd82123ea1f150',1,'SVF::MutableDFPTData']]],
|
|
235
|
+
['getdfinptsset_8594',['getDFInPtsSet',['../classSVF_1_1DFPTData.html#a259a92ea46f1d3a1dbd4a74ff07718d2',1,'SVF::DFPTData::getDFInPtsSet()'],['../classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53',1,'SVF::MutableDFPTData::getDFInPtsSet()'],['../classSVF_1_1PersistentDFPTData.html#aa00130defb8ab675fdc6ec3ecb48fd85',1,'SVF::PersistentDFPTData::getDFInPtsSet()'],['../classSVF_1_1FlowSensitive.html#a9379acbe349ee652416765b335dfdeab',1,'SVF::FlowSensitive::getDFInPtsSet()']]],
|
|
236
|
+
['getdfinputmap_8595',['getDFInputMap',['../classSVF_1_1FlowSensitive.html#a9717517387c14c2e64c7ae3c3149bb57',1,'SVF::FlowSensitive']]],
|
|
237
|
+
['getdfinupdatedvar_8596',['getDFInUpdatedVar',['../classSVF_1_1MutableIncDFPTData.html#ae4d0989cb98814f943bd4dfd09a37017',1,'SVF::MutableIncDFPTData::getDFInUpdatedVar()'],['../classSVF_1_1PersistentIncDFPTData.html#a1bd459f50c328974294930698fc61b8e',1,'SVF::PersistentIncDFPTData::getDFInUpdatedVar()']]],
|
|
238
|
+
['getdfout_8597',['getDFOut',['../classSVF_1_1MutableDFPTData.html#a6d02392602cf7956ff41e345518d683c',1,'SVF::MutableDFPTData']]],
|
|
239
|
+
['getdfoutptidref_8598',['getDFOutPtIdRef',['../classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1',1,'SVF::PersistentDFPTData']]],
|
|
240
|
+
['getdfoutptsmap_8599',['getDFOutPtsMap',['../classSVF_1_1MutableDFPTData.html#a034c1bf20ab8a73a97863073e08dcd4e',1,'SVF::MutableDFPTData']]],
|
|
241
|
+
['getdfoutptsset_8600',['getDFOutPtsSet',['../classSVF_1_1DFPTData.html#ad9b3bb99cfefb87424c408eae3ecfcec',1,'SVF::DFPTData::getDFOutPtsSet()'],['../classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2',1,'SVF::MutableDFPTData::getDFOutPtsSet()'],['../classSVF_1_1PersistentDFPTData.html#a22d61e046322d7315fed214bf75048e0',1,'SVF::PersistentDFPTData::getDFOutPtsSet()'],['../classSVF_1_1FlowSensitive.html#a808dc8a242f168174339d7ca3196bb58',1,'SVF::FlowSensitive::getDFOutPtsSet()']]],
|
|
242
|
+
['getdfoutputmap_8601',['getDFOutputMap',['../classSVF_1_1FlowSensitive.html#a661c4c1d5902c924060cc81219591d6f',1,'SVF::FlowSensitive']]],
|
|
243
|
+
['getdfoutupdatedvar_8602',['getDFOutUpdatedVar',['../classSVF_1_1MutableIncDFPTData.html#ad1ae7faf04ba10ac4ac6a6f1cc498547',1,'SVF::MutableIncDFPTData::getDFOutUpdatedVar()'],['../classSVF_1_1PersistentIncDFPTData.html#aa50d20f82143fd56cbe468b29bf9e11e',1,'SVF::PersistentIncDFPTData::getDFOutUpdatedVar()']]],
|
|
244
|
+
['getdfptdataty_8603',['getDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a642613e98982259183d3f34a97f05502',1,'SVF::BVDataPTAImpl']]],
|
|
245
|
+
['getdiffptdataty_8604',['getDiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ab9c0bb439f98ae11dd178148109697ab',1,'SVF::BVDataPTAImpl']]],
|
|
246
|
+
['getdiffpts_8605',['getDiffPts',['../classSVF_1_1DiffPTData.html#a7c4159d873a836b6f6d9b2d2c044921d',1,'SVF::DiffPTData::getDiffPts()'],['../classSVF_1_1MutableDiffPTData.html#a83dd3047c72cd1cd6ceb044cd1a924e4',1,'SVF::MutableDiffPTData::getDiffPts()'],['../classSVF_1_1PersistentDiffPTData.html#a34819020692e33777fec59082269e8b4',1,'SVF::PersistentDiffPTData::getDiffPts()'],['../classSVF_1_1Andersen.html#a106691684d8e7a69157d423393d83d66',1,'SVF::Andersen::getDiffPts()']]],
|
|
247
|
+
['getdirandindjoinedtid_8606',['getDirAndIndJoinedTid',['../classSVF_1_1MHP.html#aed0633101a35b43a1769261db14fb1a1',1,'SVF::MHP::getDirAndIndJoinedTid()'],['../classSVF_1_1ForkJoinAnalysis.html#a34ec31a6859cd94b525bfa26e549d8c1',1,'SVF::ForkJoinAnalysis::getDirAndIndJoinedTid()']]],
|
|
248
|
+
['getdircallsitesinvokingcallee_8607',['getDirCallSitesInvokingCallee',['../classSVF_1_1PTACallGraph.html#a0d2544130cc2cdc3ac418c975c278eb2',1,'SVF::PTACallGraph']]],
|
|
249
|
+
['getdirectcalls_8608',['getDirectCalls',['../classSVF_1_1PTACallGraphEdge.html#af0e9f86be3cf263b868f80d374641fc9',1,'SVF::PTACallGraphEdge::getDirectCalls()'],['../classSVF_1_1PTACallGraphEdge.html#a6310e7684d6b6ecd345f557eda899160',1,'SVF::PTACallGraphEdge::getDirectCalls() const']]],
|
|
250
|
+
['getdirectcgedges_8609',['getDirectCGEdges',['../classSVF_1_1ConstraintGraph.html#ad7196d5f05192d9468ee0ca93b6b66ee',1,'SVF::ConstraintGraph']]],
|
|
251
|
+
['getdirectinedges_8610',['getDirectInEdges',['../classSVF_1_1ConstraintNode.html#a2d37b9e477f8ddc9f9b517b9e2867d44',1,'SVF::ConstraintNode']]],
|
|
252
|
+
['getdirectlyjoinedtid_8611',['getDirectlyJoinedTid',['../classSVF_1_1ForkJoinAnalysis.html#a819ef18524ee9104b920d1a465c61da1',1,'SVF::ForkJoinAnalysis']]],
|
|
253
|
+
['getdirectoutedges_8612',['getDirectOutEdges',['../classSVF_1_1ConstraintNode.html#a06c9db0dcc96af4707ba29b9a959ae28',1,'SVF::ConstraintNode']]],
|
|
254
|
+
['getdistancematrix_8613',['getDistanceMatrix',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#adf415d244ef1fafe7a7de3c360553c0f',1,'SVF::NodeIDAllocator::Clusterer']]],
|
|
255
|
+
['getdomfrontiermap_8614',['getDomFrontierMap',['../classSVF_1_1SVFLoopAndDomInfo.html#ae37546be7304c66b4eca2654d995eaa7',1,'SVF::SVFLoopAndDomInfo::getDomFrontierMap() const'],['../classSVF_1_1SVFLoopAndDomInfo.html#a3fa100cdc0841b77ee14d35b78632b72',1,'SVF::SVFLoopAndDomInfo::getDomFrontierMap()'],['../classSVF_1_1SVFFunction.html#a65d9c963b658fbcc67bdf949d5644e65',1,'SVF::SVFFunction::getDomFrontierMap()']]],
|
|
256
|
+
['getdomtreemap_8615',['getDomTreeMap',['../classSVF_1_1SVFLoopAndDomInfo.html#a2fc6b806a436d8fa65863f6cef99e716',1,'SVF::SVFLoopAndDomInfo::getDomTreeMap()'],['../classSVF_1_1SVFLoopAndDomInfo.html#a1bf34bdba1c34c7298b8f914a552f7d8',1,'SVF::SVFLoopAndDomInfo::getDomTreeMap() const'],['../classSVF_1_1SVFFunction.html#a68f988a0db99bd36e53253cb88f9d09f',1,'SVF::SVFFunction::getDomTreeMap()']]],
|
|
257
|
+
['getdpim_8616',['getDPIm',['../classSVF_1_1DDAVFSolver.html#ad7d92fad8606d5512786a7b7a08930e2',1,'SVF::DDAVFSolver']]],
|
|
258
|
+
['getdpimwitholdcond_8617',['getDPImWithOldCond',['../classSVF_1_1DDAVFSolver.html#ac4cb0b666d68d135c5e385bfc880fd67',1,'SVF::DDAVFSolver']]],
|
|
259
|
+
['getdpmsetatloc_8618',['getDpmSetAtLoc',['../classSVF_1_1DDAVFSolver.html#a6c32a1cdcdbea0151c8cf17ffe598f29',1,'SVF::DDAVFSolver']]],
|
|
260
|
+
['getdstid_8619',['getDstID',['../classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e',1,'SVF::GenericEdge::getDstID()'],['../classSVF_1_1AssignStmt.html#a99963aa3c401031b040168284eee5f2e',1,'SVF::AssignStmt::getDstID()'],['../classSVF_1_1MultiOpndStmt.html#a4b5273864f38ae2e7337cdd624a351ab',1,'SVF::MultiOpndStmt::getDstID()'],['../classSVF_1_1UnaryOPStmt.html#ab6bbdbe6674680665f0f4b68169c81c1',1,'SVF::UnaryOPStmt::getDstID()'],['../classSVF_1_1BranchStmt.html#ad188174084e4d1e641de4c7270e15d71',1,'SVF::BranchStmt::getDstID()']]],
|
|
261
|
+
['getdstnode_8620',['getDstNode',['../classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86',1,'SVF::GenericEdge::getDstNode()'],['../classSVF_1_1AssignStmt.html#a52c818fa2a43f283e492cf687c23591b',1,'SVF::AssignStmt::getDstNode()'],['../classSVF_1_1MultiOpndStmt.html#aebcdd46f666ae9e6f0b0bf1a792a145a',1,'SVF::MultiOpndStmt::getDstNode()'],['../classSVF_1_1UnaryOPStmt.html#a46207ce57a8fb0551faad1f5ccc8b8ce',1,'SVF::UnaryOPStmt::getDstNode()'],['../classSVF_1_1BranchStmt.html#ade327625e74b717697340c9a78444757',1,'SVF::BranchStmt::getDstNode()']]],
|
|
262
|
+
['getebnfsigns_8621',['getEBNFSigns',['../classSVF_1_1GrammarBase.html#a51b55df841ae449ecf0888325c6e8c6a',1,'SVF::GrammarBase']]],
|
|
263
|
+
['getec_8622',['getEC',['../classSVF_1_1Steensgaard.html#af2afffc0617d588a68fdfa4fcfd24b70',1,'SVF::Steensgaard']]],
|
|
264
|
+
['getedge_8623',['getEdge',['../classSVF_1_1ConstraintGraph.html#a04a57ef9803917346cb966e05ecd0de4',1,'SVF::ConstraintGraph']]],
|
|
265
|
+
['getedgeattri_8624',['getEdgeAttri',['../classSVF_1_1CFLEdge.html#ae4c8562ff6801503de9e3cb0c4ebe2b8',1,'SVF::CFLEdge']]],
|
|
266
|
+
['getedgeattributes_8625',['getEdgeAttributes',['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html#af1b3645c9eb434b163c60e374d5428ab',1,'SVF::DOTGraphTraits< SVF::CDG * >::getEdgeAttributes()'],['../structSVF_1_1DefaultDOTGraphTraits.html#ad84c95525cf15f90848c2558fd28f43b',1,'SVF::DefaultDOTGraphTraits::getEdgeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#ac9483e81c382a3bb241cf59e7fdf7788',1,'SVF::DOTGraphTraits< CFLGraph * >::getEdgeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#ad74c870cc12035ecd3897f65ecc6d96d',1,'SVF::DOTGraphTraits< CHGraph * >::getEdgeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a74ed73ff248b33b274c87797e61ef15c',1,'SVF::DOTGraphTraits< ConstraintGraph * >::getEdgeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a9967092a5e97b6d684abcc718fe6e688',1,'SVF::DOTGraphTraits< ICFG * >::getEdgeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a00c28536a740906779c826d6797ea09e',1,'SVF::DOTGraphTraits< IRGraph * >::getEdgeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a274c4364c648cfb35deb9dda37f4a547',1,'SVF::DOTGraphTraits< PTACallGraph * >::getEdgeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#af43663ec79465f7860ffecd9584e0002',1,'SVF::DOTGraphTraits< SVFG * >::getEdgeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#ab279f3042677c2120a23d83bd0ed4039',1,'SVF::DOTGraphTraits< VFG * >::getEdgeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a3d08fde6e4bc42a6405e6104a833293f',1,'SVF::DOTGraphTraits< TCT * >::getEdgeAttributes()']]],
|
|
267
|
+
['getedgedestlabel_8626',['getEdgeDestLabel',['../structSVF_1_1DefaultDOTGraphTraits.html#a5e560e93632e0ed1934d4c4508ca1884',1,'SVF::DefaultDOTGraphTraits']]],
|
|
268
|
+
['getedgeid_8627',['getEdgeID',['../classSVF_1_1ConstraintEdge.html#ab201b7df925c12e6944516f4b87d7823',1,'SVF::ConstraintEdge::getEdgeID()'],['../classSVF_1_1GenericGraphWriter.html#a949ead8b0a9e2d345475977239ca6f3d',1,'SVF::GenericGraphWriter::getEdgeID()'],['../classSVF_1_1SVFStmt.html#af7bb0d687fc61cae1de639c88e472491',1,'SVF::SVFStmt::getEdgeID()']]],
|
|
269
|
+
['getedgekind_8628',['getEdgeKind',['../classSVF_1_1CFLEdge.html#acab367a1633d00afdafadf3f3a43e0c8',1,'SVF::CFLEdge::getEdgeKind()'],['../classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b',1,'SVF::GenericEdge::getEdgeKind()']]],
|
|
270
|
+
['getedgekindwithmask_8629',['getEdgeKindWithMask',['../classSVF_1_1CFLEdge.html#a5d11e42f5571287992362669fee9e159',1,'SVF::CFLEdge']]],
|
|
271
|
+
['getedgekindwithoutmask_8630',['getEdgeKindWithoutMask',['../classSVF_1_1GenericEdge.html#a20d8b844fc4bb0bb776d290b4e477fc5',1,'SVF::GenericEdge']]],
|
|
272
|
+
['getedgeptr_8631',['getEdgePtr',['../classSVF_1_1GenericGraphReader.html#a89b27c406d4afb9ed4d1745cc32a85c4',1,'SVF::GenericGraphReader']]],
|
|
273
|
+
['getedgesourcelabel_8632',['getEdgeSourceLabel',['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html#a66e40fd1741f5a5dd418bb73e7299be5',1,'SVF::DOTGraphTraits< SVF::CDG * >::getEdgeSourceLabel()'],['../structSVF_1_1DefaultDOTGraphTraits.html#a66f5994cdef8fa307c9ff69ca90a1d6c',1,'SVF::DefaultDOTGraphTraits::getEdgeSourceLabel()'],['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a28fcd691628f74955daf5180a1c197ed',1,'SVF::DOTGraphTraits< CFLGraph * >::getEdgeSourceLabel()'],['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a651568cd6c1f0771d8633a7ed7b1dfd2',1,'SVF::DOTGraphTraits< ConstraintGraph * >::getEdgeSourceLabel()'],['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a977a85211fc236f357f107b6721feaa0',1,'SVF::DOTGraphTraits< ICFG * >::getEdgeSourceLabel()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#aa7d274968bb2f8d43da9cb95cec8e833',1,'SVF::DOTGraphTraits< IRGraph * >::getEdgeSourceLabel()'],['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a22b5a3147fd8e7daa4a3dc703df135be',1,'SVF::DOTGraphTraits< PTACallGraph * >::getEdgeSourceLabel()'],['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a49fabf853f855b6d9041b91acd68bce2',1,'SVF::DOTGraphTraits< SVFG * >::getEdgeSourceLabel()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a59a5e6cd5edb423e927bd1d08bc78aa9',1,'SVF::DOTGraphTraits< VFG * >::getEdgeSourceLabel()']]],
|
|
274
|
+
['getedgesourcelabels_8633',['getEdgeSourceLabels',['../classSVF_1_1GraphWriter.html#aa2d0fada900a8e08af0539498905a74f',1,'SVF::GraphWriter']]],
|
|
275
|
+
['getedgetarget_8634',['getEdgeTarget',['../structSVF_1_1DefaultDOTGraphTraits.html#acfab6216e24999e92b2354e4f15b96b6',1,'SVF::DefaultDOTGraphTraits']]],
|
|
276
|
+
['getedgetype_8635',['getEdgeType',['../classSVF_1_1CHEdge.html#ae2b90913c6c5a30df2b285d31c694525',1,'SVF::CHEdge']]],
|
|
277
|
+
['getelementnum_8636',['getElementNum',['../classSVF_1_1AccessPath.html#a3c98f0c5f07109f9da0a8a897aa51d18',1,'SVF::AccessPath']]],
|
|
278
|
+
['getelementset_8637',['getElementSet',['../classSVF_1_1CondStdSet.html#a29892f43cc8420d4d2b4046140476320',1,'SVF::CondStdSet']]],
|
|
279
|
+
['getentryblock_8638',['getEntryBlock',['../classSVF_1_1SVFFunction.html#a793f485e92d12cf407f2ffa41861eb3d',1,'SVF::SVFFunction']]],
|
|
280
|
+
['getentrynode_8639',['getEntryNode',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#ab7af22908f08a12b02cc606ea0937d04',1,'SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::getEntryNode()'],['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html#ae6085754367486582775e31cf01d5c0b',1,'SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >::getEntryNode()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#afd56c0eaf0be71f254adbb2788bc66fb',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >::getEntryNode()']]],
|
|
281
|
+
['getentryprocs_8640',['getEntryProcs',['../classSVF_1_1TCT.html#a692a74188f141ffbdbb859ecae8b07ab',1,'SVF::TCT']]],
|
|
282
|
+
['getepsilonprods_8641',['getEpsilonProds',['../classSVF_1_1CFGrammar.html#a79d4babef29a8206379a0fc4017d5f29',1,'SVF::CFGrammar']]],
|
|
283
283
|
['getescapobjviaglobals_8642',['getEscapObjviaGlobals',['../classSVF_1_1MRGenerator.html#add22c9a95478dea21148e87c8dfc584a',1,'SVF::MRGenerator']]],
|
|
284
284
|
['getevalbrcond_8643',['getEvalBrCond',['../classSVF_1_1SaberCondAllocator.html#aeaac2e7be66c26cc10b0cad7d2040874',1,'SVF::SaberCondAllocator']]],
|
|
285
285
|
['geteventdescription_8644',['getEventDescription',['../classSVF_1_1SVFBugEvent.html#a7c5d28996f9715d0f90d664b93477a23',1,'SVF::SVFBugEvent']]],
|