svf-tools 1.0.461 → 1.0.462
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/AndersenStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ConsG_8h_source.html +4 -4
- package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/DDAClient_8h_source.html +1 -1
- package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +2 -2
- package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +1 -1
- package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +2 -2
- package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +5 -5
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +8 -1
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +4 -3
- package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +20 -22
- package/SVF-doxygen/html/html/SVFIR_8h_source.html +44 -45
- package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1OfflineConsG.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR-members.html +94 -95
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +119 -160
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +56 -55
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +70 -26
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +2 -2
- package/SVF-doxygen/html/html/functions_func_g.html +1 -1
- package/SVF-doxygen/html/html/functions_g.html +1 -1
- package/SVF-doxygen/html/html/functions_o.html +3 -3
- package/SVF-doxygen/html/html/functions_p.html +6 -6
- package/SVF-doxygen/html/html/functions_r.html +4 -6
- package/SVF-doxygen/html/html/functions_s.html +9 -9
- package/SVF-doxygen/html/html/functions_t.html +5 -7
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/functions_w.html +10 -6
- package/SVF-doxygen/html/html/namespaceSVF.html +1 -1
- package/SVF-doxygen/html/html/search/all_10.js +3 -3
- package/SVF-doxygen/html/html/search/all_12.js +3 -3
- package/SVF-doxygen/html/html/search/all_13.js +5 -5
- package/SVF-doxygen/html/html/search/all_14.js +5 -5
- package/SVF-doxygen/html/html/search/all_15.js +1 -1
- package/SVF-doxygen/html/html/search/all_16.js +1 -1
- package/SVF-doxygen/html/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/html/search/all_7.js +1 -1
- package/SVF-doxygen/html/html/search/all_d.js +1 -1
- package/SVF-doxygen/html/html/search/all_e.js +1 -1
- package/SVF-doxygen/html/html/search/all_f.js +1 -1
- package/SVF-doxygen/html/html/search/functions_10.js +1 -1
- package/SVF-doxygen/html/html/search/functions_6.js +1 -1
- package/SVF-doxygen/html/html/search/variables_14.js +3 -3
- package/SVF-doxygen/html/html/search/variables_15.js +1 -1
- package/include/MemoryModel/SVFIR.h +0 -1
- package/include/SVF-FE/SVFIRBuilder.h +1 -0
- package/lib/MemoryModel/SVFIR.cpp +4 -28
- package/lib/SVF-FE/SVFIRBuilder.cpp +25 -2
- package/package.json +1 -1
|
@@ -188,102 +188,101 @@ $(function() {
|
|
|
188
188
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2d2131128ceb3362b5dc89317cfd88a0">getIndirectCallsites</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
189
189
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6f41676ae91ba7fad38cc7387dd1c255">getIntraPAGEdge</a>(NodeID src, NodeID dst, SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
190
190
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac1dbd64071f9822b0404f4ed9c8bd2cd">getIntraPAGEdge</a>(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
191
|
-
<tr><td class="entry"><a class="el" href="
|
|
192
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
193
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
194
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
195
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
196
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
197
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
198
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
199
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
200
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
201
|
-
<tr><td class="entry"><a class="el" href="
|
|
202
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
203
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
204
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
205
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
206
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
207
|
-
<tr><td class="entry"><a class="el" href="
|
|
208
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
209
|
-
<tr><td class="entry"><a class="el" href="
|
|
210
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#
|
|
211
|
-
<tr><td class="entry"><a class="el" href="
|
|
212
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
213
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
214
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
215
|
-
<tr><td class="entry"><a class="el" href="
|
|
216
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
217
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
218
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
219
|
-
<tr><td class="entry"><a class="el" href="
|
|
220
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
221
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
222
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
223
|
-
<tr><td class="entry"><a class="el" href="
|
|
224
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
225
|
-
<tr><td class="entry"><a class="el" href="
|
|
226
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
227
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
228
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
229
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
230
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
231
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#
|
|
232
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#
|
|
233
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#
|
|
234
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
235
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
236
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
237
|
-
<tr><td class="entry"><a class="el" href="
|
|
238
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
239
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
240
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
241
|
-
<tr><td class="entry"><a class="el" href="
|
|
242
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
243
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
244
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
245
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
246
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
247
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
248
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
249
|
-
<tr><td class="entry"><a class="el" href="
|
|
250
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
251
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
252
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
253
|
-
<tr><td class="entry"><a class="el" href="
|
|
254
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
255
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
256
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
257
|
-
<tr><td class="entry"><a class="el" href="
|
|
258
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
259
|
-
<tr><td class="entry"><a class="el" href="
|
|
260
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
261
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
262
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
263
|
-
<tr><td class="entry"><a class="el" href="
|
|
264
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
265
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
266
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a639210db7230cea2eeaf2d08c953d827">PAGBuilderFromFile</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
267
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9">phiNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
191
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a4f5792216c6f38c32dac5074862ffc50">getMemObj</a>(const Value *val) const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
192
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6f46446d667258b32ddc1ccab48f651c">getMemToFieldsMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
193
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ad6e18f520f6b559f2304002792f6b701">getModule</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
194
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a0a18bca50f7cd3a1882754f19303d257">getNodeNumAfterPAGBuild</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
195
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a3de9a2a565c303f68a90c32dc59febd5">getNullPtr</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
196
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2dd4d5f704906270af13e7a07f900eb1">getObject</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
197
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a25b86c16d11b4d50ccc28ead525687ae">getObject</a>(const ObjVar *node) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
198
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#aba13ca47865614e45321c1ae53e640c1">getObjectNode</a>(const Value *V)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
199
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a82528aff779ccf8f723f57507dd2d991">getObjectNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
200
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">getPAG</a>(bool buildFromFile=false)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
201
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a821df0fcb66e4f0a5b10c295c24b7c2c">getPAGEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
202
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#afa015e79aa68b102db44b5a0fd653dc6">getPAGNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
203
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a51485004eb28aab6620801205d13ef1b">getPTAPAGEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
204
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abb91ed47d5c13d0ad7eec35164e37988">getPTASVFStmtList</a>(const ICFGNode *inst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
205
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a65a4af3d6f0bfc11e31f020bb2966576">getPTASVFStmtSet</a>(SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
206
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a96010999a4e5013beb1c37ef753ff910">getReturnNode</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
207
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a570ad42ad516e3fabb91a3563b618c0b">getSVFStmtList</a>(const ICFGNode *inst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
208
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae2006820c0d00482b85e7ae3adcb5744">getSVFStmtSet</a>(SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
209
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a29cab1426b0000bd87c026ab8c9979c0">getTotalEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
210
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a8c8d16036008f87c7811586047599858">getTotalNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
211
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a7710f6795d971d7a8b5683835c4c0fb8">getValueEdges</a>(const Value *V)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
212
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#abffddd41cc308b9b3bd5ad4a7f8f1624">getValueNode</a>(const Value *V)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
213
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a0212f3fe2f37363e8060f292c8cf7668">getValueNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
214
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a8b10c318674a47035d617b3ade4f069b">getVarargNode</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
215
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a71b51492b00e66e36266b9a76a842323">globSVFStmtSet</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
216
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a2375f49c77f2285a6316e7540b051a0f">handleBlackHole</a>(bool b)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
217
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a95f77211550ec2374d57779d88cf5138">hasCallSiteArgsMap</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
218
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac359813747b4f75920c5f395ba74f410">hasFunArgsList</a>(const SVFFunction *func) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
219
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
220
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a192e584440eb141e0d35d8fed671bbe0">hasLabeledEdge</a>(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind, const ICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
221
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a1c999e2fd771e4fda192af096e3ec92c">hasLabeledEdge</a>(SVFVar *src, SVFVar *op1, SVFStmt::PEDGEK kind, const SVFVar *op2)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
222
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#abe0ab797a3da420e4d2f9136d64fb407">hasNonlabeledEdge</a>(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
223
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a0552d565633ee22abe03085134a871c0">hasPTASVFStmtList</a>(const ICFGNode *inst) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
224
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a63acb4d86d93ad1e88860ac839a8c654">hasSVFStmtList</a>(const ICFGNode *inst) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
225
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#aceb17dfbe137658625e16291127267d1">hasValueNode</a>(const Value *V)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
226
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abe8aa0d325b35dd59ce4a7f302760e51">icfg</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
227
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aaae756185bbd5b7175e96f8928a989c2">icfgNode2PTASVFStmtsMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
228
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7">icfgNode2SVFStmtsMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
229
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a4666dabcbeb3f40f96a0694ce2f07eb0">ICFGNode2SVFStmtsMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
230
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">IDToNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
231
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#ab9027b190f50ceefc90094e4f967f269">IDToNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"></td></tr>
|
|
232
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a2f2bca8219c7d769f6d2937e5cd40d14">incEdgeNum</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
233
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a7388dabef7300e77adf33f3999639f21">incNodeNum</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
234
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a0a5f88766b7e11f1ea35befcbcea62dc">indCallSiteToFunPtrMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
235
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#af6a2c401d5c7582a4a958b1fe40838e5">initialiseCandidatePointers</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
236
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a34f7644ccf88fc0911c0b4f625dc1f28">IRGraph</a>(bool buildFromFile)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
237
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a17527c55d35ae5c18f00fd4dabe6acad">isBlkObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
238
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ad9895f2d075eb402390e3b01ed68e001">isBlkObjOrConstantObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
239
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6a71d2716530607d66d9e9035199d997">isBlkPtr</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
240
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a41423da58a07b344bc7ca8dd96d48f98">isBuiltFromFile</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
241
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5d15e4b09784f438568ebe61f8aa5156">isConstantObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
242
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a9235a60e7332c8416e113e7360441d97">isFunPtr</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
243
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3dbe0b17694daa74f648a70e77efaf23">isIndirectCallSites</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
244
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a980e54129ece0757d7f0373f37428507">isNonPointerObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
245
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a18ca66c199b910b15f1bfa77dcc98c30">isNullPtr</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
246
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5de67390d38bfacd5b63b776a0ecbfff">isPhiNode</a>(const SVFVar *node) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
247
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#addc84dae75be8e8b9deccdb4360736d3">isValidPointer</a>(NodeID nodeId) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
248
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139">isValidTopLevelPtr</a>(const SVFVar *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
249
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"></td></tr>
|
|
250
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#ae0a9b81717fd834bbd109c4b69aaff9d">KindToPTASVFStmtSetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
251
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1">KindToSVFStmtSetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
252
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#aefe3143b33cee00c3c2611fea577c1ac">mapValueToEdge</a>(const Value *V, SVFStmt *edge)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
253
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ab6abb822445c9b3f5cb2b7206042e940">MemObjToFieldsMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
254
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3c014227661d8976714772205611c252">memToFieldsMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
255
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a323e459ca43e239ddcdc8d00c6a8db6d">NodeLocationSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
256
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aa5b08d987b37d35e73de88da10a97bc4">NodeLocationSetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
257
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e">nodeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"></td></tr>
|
|
258
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a80cf14bf43accb89cb82490b4f173598">nodeNumAfterPAGBuild</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
259
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a7e908658e66155313c3fbf5a52612b6a">NodeOffset</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
260
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ae683914bce36e2d387bc0bc97dfcb14d">NodeOffsetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
261
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ab715a8e83a4ec45fb86298fef3eda95a">NodePairSetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
262
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a654236d64abc2ca95982da7b4408b52d">NodeToNodeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
263
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"></td></tr>
|
|
264
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#aaf86146b5e765d1f278b6d812bf913f5">pag</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">static</span></td></tr>
|
|
265
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a639210db7230cea2eeaf2d08c953d827">PAGBuilderFromFile</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
268
266
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a08a05dfa6b9734936bb92b3969dbce3b">PHINodeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
269
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
270
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
271
|
-
<tr><td class="entry"><a class="el" href="
|
|
272
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
273
|
-
<tr><td class="entry"><a class="el" href="
|
|
274
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
275
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#
|
|
276
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
277
|
-
<tr><td class="entry"><a class="el" href="
|
|
278
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
279
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
280
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
281
|
-
<tr><td class="entry"><a class="el" href="
|
|
282
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
283
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#
|
|
284
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
285
|
-
<tr><td class="entry"><a class="el" href="
|
|
286
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
267
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9">phiNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
268
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a236b4fefd16e9c793c5bd6d576290841">print</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
269
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a007c86e5d2d541d08815547a5492731e">releaseSVFIR</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
270
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915">removeGNode</a>(NodeType *node)</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
271
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a5fe12445ed0528183775747dec356db0">setNodeNumAfterPAGBuild</a>(u32_t num)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
272
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#abf511f82cdbf7a6d9b6da167aee57636">SVFIR</a>(bool buildFromFile)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
273
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a46fadea4d08baefc8fbc1d8928da7f6b">SVFIRBuilder</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
274
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a6bc360d2604ae4a0af74530b263b10d9">SVFStmtList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
275
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a28ea8f85b0923d00364a010c1fd4e416">SVFStmtSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"></td></tr>
|
|
276
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVFVarList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"></td></tr>
|
|
277
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a679145e7bf818b0a19005dc8e2845fe1">symInfo</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
278
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a9f68ffe75e3d9457092ac2368aa08a27">totalPTAPAGEdge</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
279
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#ac7f1349df526a5a50741e9303f3bd446">TypeBasedHeapCloning</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
280
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#addfc2131699f5ecee3a45d65cda46c24">ValueToEdgeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"></td></tr>
|
|
281
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">valueToEdgeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
282
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a3a656bb310ba0f42e525995a480a5b67">view</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"></td></tr>
|
|
283
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a3b94850d788a1b8da45e9b8bf2f2df2c">~GenericGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
284
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a2085d6895363c2ff7b757eb58f3f4cea">~IRGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
285
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html#a3d62b2a06fe1ec531cbde12131fa31df">~SVFIR</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
287
286
|
</table></div><!-- contents -->
|
|
288
287
|
<!-- start footer part -->
|
|
289
288
|
<hr class="footer"/><address class="footer"><small>
|