svf-tools 1.0.339 → 1.0.340
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/Andersen_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/ContextDDA_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 +3 -3
- package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/SVFIR_8h_source.html +8 -8
- package/SVF-doxygen/html/html/SVFVariables_8h_source.html +91 -87
- package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +5 -5
- package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar.html +13 -11
- package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjVar.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html +46 -14
- package/SVF-doxygen/html/html/classSVF_1_1DummyValVar-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.html +45 -14
- package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +14 -14
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +1 -3
- package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +32 -32
- package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +27 -27
- package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +18 -18
- package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetPN-members.html +75 -73
- package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +60 -16
- package/SVF-doxygen/html/html/classSVF_1_1RetPN.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SVFVar.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +18 -18
- package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +15 -15
- package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +17 -11
- package/SVF-doxygen/html/html/classSVF_1_1ValVar.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1VarArgPN-members.html +74 -72
- package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +60 -16
- package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.png +0 -0
- package/SVF-doxygen/html/html/functions_c.html +12 -12
- package/SVF-doxygen/html/html/functions_func_c.html +19 -19
- package/SVF-doxygen/html/html/hierarchy.html +5 -5
- package/SVF-doxygen/html/html/search/all_3.js +1 -1
- package/SVF-doxygen/html/html/search/functions_2.js +1 -1
- package/include/MemoryModel/SVFVariables.h +25 -4
- package/include/MemoryModel/SymbolTableInfo.h +2 -2
- package/lib/SVF-FE/SymbolTableBuilder.cpp +8 -8
- package/package.json +1 -1
|
@@ -327,7 +327,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
327
327
|
</table>
|
|
328
328
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
329
329
|
<div class="textblock">
|
|
330
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
330
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00456">456</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
331
331
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
332
332
|
<a id="ae80d95a4d90ca64eca819e140445004c"></a>
|
|
333
333
|
<h2 class="memtitle"><span class="permalink"><a href="#ae80d95a4d90ca64eca819e140445004c">◆ </a></span>GepObjVar()</h2>
|
|
@@ -377,11 +377,11 @@ Additional Inherited Members</h2></td></tr>
|
|
|
377
377
|
|
|
378
378
|
<p>Constructor. </p>
|
|
379
379
|
|
|
380
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
381
|
-
<div class="fragment"><div class="line"><a name="
|
|
382
|
-
<div class="ttc" id="classSVF_1_1ObjVar_html_a3ccbe6bbe3f565641e0cf46c5ecbb6bb"><div class="ttname"><a href="classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb">SVF::ObjVar::ObjVar</a></div><div class="ttdeci">ObjVar(const Value *val, NodeID i, const MemObj *m, PNODEK ty=ObjNode)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#
|
|
383
|
-
<div class="ttc" id="classSVF_1_1ObjVar_html_a3d08dc1d15a449ff4b7018da4bfdcb88"><div class="ttname"><a href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">SVF::ObjVar::mem</a></div><div class="ttdeci">const MemObj * mem</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#
|
|
384
|
-
<div class="ttc" id="classSVF_1_1GepObjVar_html_a55b057663180420c6bb09bf849d83f6b"><div class="ttname"><a href="classSVF_1_1GepObjVar.html#a55b057663180420c6bb09bf849d83f6b">SVF::GepObjVar::ls</a></div><div class="ttdeci">LocationSet ls</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#
|
|
380
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00487">487</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
381
|
+
<div class="fragment"><div class="line"><a name="l00487"></a><span class="lineno"> 487</span>  :</div><div class="line"><a name="l00488"></a><span class="lineno"> 488</span>  <a class="code" href="classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb">ObjVar</a>(<a class="code" href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">mem</a>-><a class="code" href="classSVF_1_1MemObj.html#a4da54ef60231d2e6c26669226b99d2f3">getValue</a>(), i, <a class="code" href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">mem</a>, ty), <a class="code" href="classSVF_1_1GepObjVar.html#a55b057663180420c6bb09bf849d83f6b">ls</a>(l)</div><div class="line"><a name="l00489"></a><span class="lineno"> 489</span>  {</div><div class="line"><a name="l00490"></a><span class="lineno"> 490</span>  <a class="code" href="classSVF_1_1GepObjVar.html#aff50e1d96403eeacaa64f7adb07ce0a5">base</a> = mem->getId();</div><div class="line"><a name="l00491"></a><span class="lineno"> 491</span>  }</div><div class="ttc" id="classSVF_1_1GepObjVar_html_aff50e1d96403eeacaa64f7adb07ce0a5"><div class="ttname"><a href="classSVF_1_1GepObjVar.html#aff50e1d96403eeacaa64f7adb07ce0a5">SVF::GepObjVar::base</a></div><div class="ttdeci">NodeID base</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00460">SVFVariables.h:460</a></div></div>
|
|
382
|
+
<div class="ttc" id="classSVF_1_1ObjVar_html_a3ccbe6bbe3f565641e0cf46c5ecbb6bb"><div class="ttname"><a href="classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb">SVF::ObjVar::ObjVar</a></div><div class="ttdeci">ObjVar(const Value *val, NodeID i, const MemObj *m, PNODEK ty=ObjNode)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00328">SVFVariables.h:328</a></div></div>
|
|
383
|
+
<div class="ttc" id="classSVF_1_1ObjVar_html_a3d08dc1d15a449ff4b7018da4bfdcb88"><div class="ttname"><a href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">SVF::ObjVar::mem</a></div><div class="ttdeci">const MemObj * mem</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00326">SVFVariables.h:326</a></div></div>
|
|
384
|
+
<div class="ttc" id="classSVF_1_1GepObjVar_html_a55b057663180420c6bb09bf849d83f6b"><div class="ttname"><a href="classSVF_1_1GepObjVar.html#a55b057663180420c6bb09bf849d83f6b">SVF::GepObjVar::ls</a></div><div class="ttdeci">LocationSet ls</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00459">SVFVariables.h:459</a></div></div>
|
|
385
385
|
<div class="ttc" id="classSVF_1_1MemObj_html_a4da54ef60231d2e6c26669226b99d2f3"><div class="ttname"><a href="classSVF_1_1MemObj.html#a4da54ef60231d2e6c26669226b99d2f3">SVF::MemObj::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdoc">Get the reference value to this object. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00442">SymbolTableInfo.h:442</a></div></div>
|
|
386
386
|
</div><!-- fragment -->
|
|
387
387
|
</div>
|
|
@@ -413,8 +413,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
413
413
|
|
|
414
414
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
415
415
|
|
|
416
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
417
|
-
<div class="fragment"><div class="line"><a name="
|
|
416
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00465">465</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
417
|
+
<div class="fragment"><div class="line"><a name="l00466"></a><span class="lineno"> 466</span>  {</div><div class="line"><a name="l00467"></a><span class="lineno"> 467</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00468"></a><span class="lineno"> 468</span>  }</div></div><!-- fragment -->
|
|
418
418
|
</div>
|
|
419
419
|
</div>
|
|
420
420
|
<a id="ab6105a2f7bbd9a4e611d96f0bcac0e6c"></a>
|
|
@@ -441,8 +441,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
441
441
|
</table>
|
|
442
442
|
</div><div class="memdoc">
|
|
443
443
|
|
|
444
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
445
|
-
<div class="fragment"><div class="line"><a name="
|
|
444
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00469">469</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
445
|
+
<div class="fragment"><div class="line"><a name="l00470"></a><span class="lineno"> 470</span>  {</div><div class="line"><a name="l00471"></a><span class="lineno"> 471</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f">SVFVar::GepObjNode</a></div><div class="line"><a name="l00472"></a><span class="lineno"> 472</span>  || node->getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">SVFVar::CloneGepObjNode</a>;</div><div class="line"><a name="l00473"></a><span class="lineno"> 473</span>  }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">SVF::SVFVar::CloneGepObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00074">SVFVariables.h:74</a></div></div>
|
|
446
446
|
<div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f">SVF::SVFVar::GepObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00070">SVFVariables.h:70</a></div></div>
|
|
447
447
|
</div><!-- fragment -->
|
|
448
448
|
</div>
|
|
@@ -471,8 +471,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
471
471
|
</table>
|
|
472
472
|
</div><div class="memdoc">
|
|
473
473
|
|
|
474
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
475
|
-
<div class="fragment"><div class="line"><a name="
|
|
474
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00474">474</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
475
|
+
<div class="fragment"><div class="line"><a name="l00475"></a><span class="lineno"> 475</span>  {</div><div class="line"><a name="l00476"></a><span class="lineno"> 476</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f">SVFVar::GepObjNode</a></div><div class="line"><a name="l00477"></a><span class="lineno"> 477</span>  || node->getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">SVFVar::CloneGepObjNode</a>;</div><div class="line"><a name="l00478"></a><span class="lineno"> 478</span>  }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">SVF::SVFVar::CloneGepObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00074">SVFVariables.h:74</a></div></div>
|
|
476
476
|
<div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f">SVF::SVFVar::GepObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00070">SVFVariables.h:70</a></div></div>
|
|
477
477
|
</div><!-- fragment -->
|
|
478
478
|
</div>
|
|
@@ -501,8 +501,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
501
501
|
</table>
|
|
502
502
|
</div><div class="memdoc">
|
|
503
503
|
|
|
504
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
505
|
-
<div class="fragment"><div class="line"><a name="
|
|
504
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00479">479</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
505
|
+
<div class="fragment"><div class="line"><a name="l00480"></a><span class="lineno"> 480</span>  {</div><div class="line"><a name="l00481"></a><span class="lineno"> 481</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f">SVFVar::GepObjNode</a></div><div class="line"><a name="l00482"></a><span class="lineno"> 482</span>  || node->getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">SVFVar::CloneGepObjNode</a>;</div><div class="line"><a name="l00483"></a><span class="lineno"> 483</span>  }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">SVF::SVFVar::CloneGepObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00074">SVFVariables.h:74</a></div></div>
|
|
506
506
|
<div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f">SVF::SVFVar::GepObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00070">SVFVariables.h:70</a></div></div>
|
|
507
507
|
</div><!-- fragment -->
|
|
508
508
|
</div>
|
|
@@ -533,8 +533,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
533
533
|
|
|
534
534
|
<p>Return the base object from which this GEP node came from. </p>
|
|
535
535
|
|
|
536
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
537
|
-
<div class="fragment"><div class="line"><a name="
|
|
536
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00512">512</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
537
|
+
<div class="fragment"><div class="line"><a name="l00513"></a><span class="lineno"> 513</span>  {</div><div class="line"><a name="l00514"></a><span class="lineno"> 514</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GepObjVar.html#aff50e1d96403eeacaa64f7adb07ce0a5">base</a>;</div><div class="line"><a name="l00515"></a><span class="lineno"> 515</span>  }</div><div class="ttc" id="classSVF_1_1GepObjVar_html_aff50e1d96403eeacaa64f7adb07ce0a5"><div class="ttname"><a href="classSVF_1_1GepObjVar.html#aff50e1d96403eeacaa64f7adb07ce0a5">SVF::GepObjVar::base</a></div><div class="ttdeci">NodeID base</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00460">SVFVariables.h:460</a></div></div>
|
|
538
538
|
</div><!-- fragment -->
|
|
539
539
|
</div>
|
|
540
540
|
</div>
|
|
@@ -563,8 +563,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
563
563
|
|
|
564
564
|
<p>offset of the mem object </p>
|
|
565
565
|
|
|
566
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
567
|
-
<div class="fragment"><div class="line"><a name="
|
|
566
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00500">500</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
567
|
+
<div class="fragment"><div class="line"><a name="l00501"></a><span class="lineno"> 501</span>  {</div><div class="line"><a name="l00502"></a><span class="lineno"> 502</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GepObjVar.html#a55b057663180420c6bb09bf849d83f6b">ls</a>.<a class="code" href="classSVF_1_1LocationSet.html#a43de212ce81a29391cee13d8dbaa93eb">accumulateConstantFieldIdx</a>();</div><div class="line"><a name="l00503"></a><span class="lineno"> 503</span>  }</div><div class="ttc" id="classSVF_1_1GepObjVar_html_a55b057663180420c6bb09bf849d83f6b"><div class="ttname"><a href="classSVF_1_1GepObjVar.html#a55b057663180420c6bb09bf849d83f6b">SVF::GepObjVar::ls</a></div><div class="ttdeci">LocationSet ls</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00459">SVFVariables.h:459</a></div></div>
|
|
568
568
|
<div class="ttc" id="classSVF_1_1LocationSet_html_a43de212ce81a29391cee13d8dbaa93eb"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a43de212ce81a29391cee13d8dbaa93eb">SVF::LocationSet::accumulateConstantFieldIdx</a></div><div class="ttdeci">Size_t accumulateConstantFieldIdx() const</div><div class="ttdoc">Get methods. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00154">LocationSet.h:154</a></div></div>
|
|
569
569
|
</div><!-- fragment -->
|
|
570
570
|
</div>
|
|
@@ -594,8 +594,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
594
594
|
|
|
595
595
|
<p>offset of the mem object </p>
|
|
596
596
|
|
|
597
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
598
|
-
<div class="fragment"><div class="line"><a name="
|
|
597
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00494">494</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
598
|
+
<div class="fragment"><div class="line"><a name="l00495"></a><span class="lineno"> 495</span>  {</div><div class="line"><a name="l00496"></a><span class="lineno"> 496</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GepObjVar.html#a55b057663180420c6bb09bf849d83f6b">ls</a>;</div><div class="line"><a name="l00497"></a><span class="lineno"> 497</span>  }</div><div class="ttc" id="classSVF_1_1GepObjVar_html_a55b057663180420c6bb09bf849d83f6b"><div class="ttname"><a href="classSVF_1_1GepObjVar.html#a55b057663180420c6bb09bf849d83f6b">SVF::GepObjVar::ls</a></div><div class="ttdeci">LocationSet ls</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00459">SVFVariables.h:459</a></div></div>
|
|
599
599
|
</div><!-- fragment -->
|
|
600
600
|
</div>
|
|
601
601
|
</div>
|
|
@@ -626,12 +626,12 @@ Additional Inherited Members</h2></td></tr>
|
|
|
626
626
|
|
|
627
627
|
<p>Reimplemented from <a class="el" href="classSVF_1_1ObjVar.html#aa1004c9973fb974ba1e52df80978321d">SVF::ObjVar</a>.</p>
|
|
628
628
|
|
|
629
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
630
|
-
<div class="fragment"><div class="line"><a name="
|
|
629
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00518">518</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
630
|
+
<div class="fragment"><div class="line"><a name="l00519"></a><span class="lineno"> 519</span>  {</div><div class="line"><a name="l00520"></a><span class="lineno"> 520</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>()-><a class="code" href="classSVF_1_1SymbolTableInfo.html#a866085ff37b7841606c523817c621f49">getOriginalFieldType</a>(<a class="code" href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">mem</a>-><a class="code" href="classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216">getType</a>(), <a class="code" href="classSVF_1_1GepObjVar.html#a55b057663180420c6bb09bf849d83f6b">ls</a>.<a class="code" href="classSVF_1_1LocationSet.html#a43de212ce81a29391cee13d8dbaa93eb">accumulateConstantFieldIdx</a>());</div><div class="line"><a name="l00521"></a><span class="lineno"> 521</span>  }</div><div class="ttc" id="classSVF_1_1MemObj_html_aa4fa7a1b86d66692ffffeaee0e187216"><div class="ttname"><a href="classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216">SVF::MemObj::getType</a></div><div class="ttdeci">const Type * getType() const</div><div class="ttdoc">Get obj type. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00619">SymbolTableInfo.cpp:619</a></div></div>
|
|
631
631
|
<div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a866085ff37b7841606c523817c621f49"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a866085ff37b7841606c523817c621f49">SVF::SymbolTableInfo::getOriginalFieldType</a></div><div class="ttdeci">const Type * getOriginalFieldType(const Type *baseType, u32_t field_idx)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00335">SymbolTableInfo.cpp:335</a></div></div>
|
|
632
|
-
<div class="ttc" id="classSVF_1_1ObjVar_html_a3d08dc1d15a449ff4b7018da4bfdcb88"><div class="ttname"><a href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">SVF::ObjVar::mem</a></div><div class="ttdeci">const MemObj * mem</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#
|
|
632
|
+
<div class="ttc" id="classSVF_1_1ObjVar_html_a3d08dc1d15a449ff4b7018da4bfdcb88"><div class="ttname"><a href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">SVF::ObjVar::mem</a></div><div class="ttdeci">const MemObj * mem</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00326">SVFVariables.h:326</a></div></div>
|
|
633
633
|
<div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a267169023fc4f8dd66b145f7231fec11"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo::SymbolInfo</a></div><div class="ttdeci">static SymbolTableInfo * SymbolInfo()</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis. ...</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00059">SymbolTableInfo.cpp:59</a></div></div>
|
|
634
|
-
<div class="ttc" id="classSVF_1_1GepObjVar_html_a55b057663180420c6bb09bf849d83f6b"><div class="ttname"><a href="classSVF_1_1GepObjVar.html#a55b057663180420c6bb09bf849d83f6b">SVF::GepObjVar::ls</a></div><div class="ttdeci">LocationSet ls</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#
|
|
634
|
+
<div class="ttc" id="classSVF_1_1GepObjVar_html_a55b057663180420c6bb09bf849d83f6b"><div class="ttname"><a href="classSVF_1_1GepObjVar.html#a55b057663180420c6bb09bf849d83f6b">SVF::GepObjVar::ls</a></div><div class="ttdeci">LocationSet ls</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00459">SVFVariables.h:459</a></div></div>
|
|
635
635
|
<div class="ttc" id="classSVF_1_1LocationSet_html_a43de212ce81a29391cee13d8dbaa93eb"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a43de212ce81a29391cee13d8dbaa93eb">SVF::LocationSet::accumulateConstantFieldIdx</a></div><div class="ttdeci">Size_t accumulateConstantFieldIdx() const</div><div class="ttdoc">Get methods. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00154">LocationSet.h:154</a></div></div>
|
|
636
636
|
</div><!-- fragment -->
|
|
637
637
|
</div>
|
|
@@ -665,9 +665,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
665
665
|
|
|
666
666
|
<p>Reimplemented in <a class="el" href="classSVF_1_1CloneGepObjVar.html#a9d4cf31155950c889b5965566ab3d45e">SVF::CloneGepObjVar</a>.</p>
|
|
667
667
|
|
|
668
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
669
|
-
<div class="fragment"><div class="line"><a name="
|
|
670
|
-
<div class="ttc" id="classSVF_1_1GepObjVar_html_a55b057663180420c6bb09bf849d83f6b"><div class="ttname"><a href="classSVF_1_1GepObjVar.html#a55b057663180420c6bb09bf849d83f6b">SVF::GepObjVar::ls</a></div><div class="ttdeci">LocationSet ls</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#
|
|
668
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00524">524</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
669
|
+
<div class="fragment"><div class="line"><a name="l00525"></a><span class="lineno"> 525</span>  {</div><div class="line"><a name="l00526"></a><span class="lineno"> 526</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a> && <a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a>->hasName())</div><div class="line"><a name="l00527"></a><span class="lineno"> 527</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a>->getName().str() + <span class="stringliteral">"_"</span> + llvm::itostr(<a class="code" href="classSVF_1_1GepObjVar.html#a55b057663180420c6bb09bf849d83f6b">ls</a>.<a class="code" href="classSVF_1_1LocationSet.html#a43de212ce81a29391cee13d8dbaa93eb">accumulateConstantFieldIdx</a>());</div><div class="line"><a name="l00528"></a><span class="lineno"> 528</span>  <span class="keywordflow">return</span> <span class="stringliteral">"offset_"</span> + llvm::itostr(<a class="code" href="classSVF_1_1GepObjVar.html#a55b057663180420c6bb09bf849d83f6b">ls</a>.<a class="code" href="classSVF_1_1LocationSet.html#a43de212ce81a29391cee13d8dbaa93eb">accumulateConstantFieldIdx</a>());</div><div class="line"><a name="l00529"></a><span class="lineno"> 529</span>  }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a7deb494ac20ed56fca31a4f1fd92deea"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">SVF::SVFVar::value</a></div><div class="ttdeci">const Value * value</div><div class="ttdoc">value of this SVFIR node </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00081">SVFVariables.h:81</a></div></div>
|
|
670
|
+
<div class="ttc" id="classSVF_1_1GepObjVar_html_a55b057663180420c6bb09bf849d83f6b"><div class="ttname"><a href="classSVF_1_1GepObjVar.html#a55b057663180420c6bb09bf849d83f6b">SVF::GepObjVar::ls</a></div><div class="ttdeci">LocationSet ls</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00459">SVFVariables.h:459</a></div></div>
|
|
671
671
|
<div class="ttc" id="classSVF_1_1LocationSet_html_a43de212ce81a29391cee13d8dbaa93eb"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a43de212ce81a29391cee13d8dbaa93eb">SVF::LocationSet::accumulateConstantFieldIdx</a></div><div class="ttdeci">Size_t accumulateConstantFieldIdx() const</div><div class="ttdoc">Get methods. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00154">LocationSet.h:154</a></div></div>
|
|
672
672
|
</div><!-- fragment -->
|
|
673
673
|
</div>
|
|
@@ -698,8 +698,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
698
698
|
|
|
699
699
|
<p>Set the base object from which this GEP node came from. </p>
|
|
700
700
|
|
|
701
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
702
|
-
<div class="fragment"><div class="line"><a name="
|
|
701
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00506">506</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
702
|
+
<div class="fragment"><div class="line"><a name="l00507"></a><span class="lineno"> 507</span>  {</div><div class="line"><a name="l00508"></a><span class="lineno"> 508</span>  this-><a class="code" href="classSVF_1_1GepObjVar.html#aff50e1d96403eeacaa64f7adb07ce0a5">base</a> = <a class="code" href="classSVF_1_1GepObjVar.html#aff50e1d96403eeacaa64f7adb07ce0a5">base</a>;</div><div class="line"><a name="l00509"></a><span class="lineno"> 509</span>  }</div><div class="ttc" id="classSVF_1_1GepObjVar_html_aff50e1d96403eeacaa64f7adb07ce0a5"><div class="ttname"><a href="classSVF_1_1GepObjVar.html#aff50e1d96403eeacaa64f7adb07ce0a5">SVF::GepObjVar::base</a></div><div class="ttdeci">NodeID base</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00460">SVFVariables.h:460</a></div></div>
|
|
703
703
|
</div><!-- fragment -->
|
|
704
704
|
</div>
|
|
705
705
|
</div>
|
|
@@ -736,7 +736,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
736
736
|
<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00388">SVFUtil.cpp:388</a></div></div>
|
|
737
737
|
<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
|
|
738
738
|
<div class="ttc" id="classSVF_1_1SVFVar_html_a7deb494ac20ed56fca31a4f1fd92deea"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">SVF::SVFVar::value</a></div><div class="ttdeci">const Value * value</div><div class="ttdoc">value of this SVFIR node </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00081">SVFVariables.h:81</a></div></div>
|
|
739
|
-
<div class="ttc" id="classSVF_1_1GepObjVar_html_a55b057663180420c6bb09bf849d83f6b"><div class="ttname"><a href="classSVF_1_1GepObjVar.html#a55b057663180420c6bb09bf849d83f6b">SVF::GepObjVar::ls</a></div><div class="ttdeci">LocationSet ls</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#
|
|
739
|
+
<div class="ttc" id="classSVF_1_1GepObjVar_html_a55b057663180420c6bb09bf849d83f6b"><div class="ttname"><a href="classSVF_1_1GepObjVar.html#a55b057663180420c6bb09bf849d83f6b">SVF::GepObjVar::ls</a></div><div class="ttdeci">LocationSet ls</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00459">SVFVariables.h:459</a></div></div>
|
|
740
740
|
<div class="ttc" id="classSVF_1_1LocationSet_html_a43de212ce81a29391cee13d8dbaa93eb"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a43de212ce81a29391cee13d8dbaa93eb">SVF::LocationSet::accumulateConstantFieldIdx</a></div><div class="ttdeci">Size_t accumulateConstantFieldIdx() const</div><div class="ttdoc">Get methods. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00154">LocationSet.h:154</a></div></div>
|
|
741
741
|
</div><!-- fragment -->
|
|
742
742
|
</div>
|
|
@@ -762,7 +762,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
762
762
|
</table>
|
|
763
763
|
</div><div class="memdoc">
|
|
764
764
|
|
|
765
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
765
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00460">460</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
766
766
|
|
|
767
767
|
</div>
|
|
768
768
|
</div>
|
|
@@ -786,7 +786,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
786
786
|
</table>
|
|
787
787
|
</div><div class="memdoc">
|
|
788
788
|
|
|
789
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
789
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00459">459</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
790
790
|
|
|
791
791
|
</div>
|
|
792
792
|
</div>
|
|
@@ -314,7 +314,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
314
314
|
</table>
|
|
315
315
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
316
316
|
<div class="textblock">
|
|
317
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
317
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00389">389</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
318
318
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
319
319
|
<a id="a9bad2709e0d82d2d4a8578cc57bdf9f5"></a>
|
|
320
320
|
<h2 class="memtitle"><span class="permalink"><a href="#a9bad2709e0d82d2d4a8578cc57bdf9f5">◆ </a></span>GepValVar()</h2>
|
|
@@ -370,12 +370,12 @@ Additional Inherited Members</h2></td></tr>
|
|
|
370
370
|
|
|
371
371
|
<p>Constructor. </p>
|
|
372
372
|
|
|
373
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
374
|
-
<div class="fragment"><div class="line"><a name="
|
|
373
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00419">419</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
374
|
+
<div class="fragment"><div class="line"><a name="l00419"></a><span class="lineno"> 419</span>  :</div><div class="line"><a name="l00420"></a><span class="lineno"> 420</span>  <a class="code" href="classSVF_1_1ValVar.html#ae5dc21b3327a100ffe3e0e2c876ba1bb">ValVar</a>(val, i, <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a">GepValNode</a>), <a class="code" href="classSVF_1_1GepValVar.html#a2ee5e9a2e5a92b32fd81fda09b560ad6">ls</a>(l), <a class="code" href="classSVF_1_1GepValVar.html#aaf5f5d3734e1db83c6d4f38d560b2f45">gepValType</a>(ty), <a class="code" href="classSVF_1_1GepValVar.html#a3a808d2401dd62833236b3466de6215d">fieldIdx</a>(idx)</div><div class="line"><a name="l00421"></a><span class="lineno"> 421</span>  {</div><div class="line"><a name="l00422"></a><span class="lineno"> 422</span>  }</div><div class="ttc" id="classSVF_1_1ValVar_html_ae5dc21b3327a100ffe3e0e2c876ba1bb"><div class="ttname"><a href="classSVF_1_1ValVar.html#ae5dc21b3327a100ffe3e0e2c876ba1bb">SVF::ValVar::ValVar</a></div><div class="ttdeci">ValVar(const Value *val, NodeID i, PNODEK ty=ValNode)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00303">SVFVariables.h:303</a></div></div>
|
|
375
375
|
<div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a">SVF::SVFVar::GepValNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00069">SVFVariables.h:69</a></div></div>
|
|
376
|
-
<div class="ttc" id="classSVF_1_1GepValVar_html_a2ee5e9a2e5a92b32fd81fda09b560ad6"><div class="ttname"><a href="classSVF_1_1GepValVar.html#a2ee5e9a2e5a92b32fd81fda09b560ad6">SVF::GepValVar::ls</a></div><div class="ttdeci">LocationSet ls</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#
|
|
377
|
-
<div class="ttc" id="classSVF_1_1GepValVar_html_aaf5f5d3734e1db83c6d4f38d560b2f45"><div class="ttname"><a href="classSVF_1_1GepValVar.html#aaf5f5d3734e1db83c6d4f38d560b2f45">SVF::GepValVar::gepValType</a></div><div class="ttdeci">const Type * gepValType</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#
|
|
378
|
-
<div class="ttc" id="classSVF_1_1GepValVar_html_a3a808d2401dd62833236b3466de6215d"><div class="ttname"><a href="classSVF_1_1GepValVar.html#a3a808d2401dd62833236b3466de6215d">SVF::GepValVar::fieldIdx</a></div><div class="ttdeci">u32_t fieldIdx</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#
|
|
376
|
+
<div class="ttc" id="classSVF_1_1GepValVar_html_a2ee5e9a2e5a92b32fd81fda09b560ad6"><div class="ttname"><a href="classSVF_1_1GepValVar.html#a2ee5e9a2e5a92b32fd81fda09b560ad6">SVF::GepValVar::ls</a></div><div class="ttdeci">LocationSet ls</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00393">SVFVariables.h:393</a></div></div>
|
|
377
|
+
<div class="ttc" id="classSVF_1_1GepValVar_html_aaf5f5d3734e1db83c6d4f38d560b2f45"><div class="ttname"><a href="classSVF_1_1GepValVar.html#aaf5f5d3734e1db83c6d4f38d560b2f45">SVF::GepValVar::gepValType</a></div><div class="ttdeci">const Type * gepValType</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00394">SVFVariables.h:394</a></div></div>
|
|
378
|
+
<div class="ttc" id="classSVF_1_1GepValVar_html_a3a808d2401dd62833236b3466de6215d"><div class="ttname"><a href="classSVF_1_1GepValVar.html#a3a808d2401dd62833236b3466de6215d">SVF::GepValVar::fieldIdx</a></div><div class="ttdeci">u32_t fieldIdx</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00395">SVFVariables.h:395</a></div></div>
|
|
379
379
|
</div><!-- fragment -->
|
|
380
380
|
</div>
|
|
381
381
|
</div>
|
|
@@ -406,8 +406,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
406
406
|
|
|
407
407
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
408
408
|
|
|
409
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
410
|
-
<div class="fragment"><div class="line"><a name="
|
|
409
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00400">400</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
410
|
+
<div class="fragment"><div class="line"><a name="l00401"></a><span class="lineno"> 401</span>  {</div><div class="line"><a name="l00402"></a><span class="lineno"> 402</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00403"></a><span class="lineno"> 403</span>  }</div></div><!-- fragment -->
|
|
411
411
|
</div>
|
|
412
412
|
</div>
|
|
413
413
|
<a id="aea2c58dc4124157a23c2cc0fe050f158"></a>
|
|
@@ -434,8 +434,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
434
434
|
</table>
|
|
435
435
|
</div><div class="memdoc">
|
|
436
436
|
|
|
437
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
438
|
-
<div class="fragment"><div class="line"><a name="
|
|
437
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00404">404</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
438
|
+
<div class="fragment"><div class="line"><a name="l00405"></a><span class="lineno"> 405</span>  {</div><div class="line"><a name="l00406"></a><span class="lineno"> 406</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a">SVFVar::GepValNode</a>;</div><div class="line"><a name="l00407"></a><span class="lineno"> 407</span>  }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a">SVF::SVFVar::GepValNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00069">SVFVariables.h:69</a></div></div>
|
|
439
439
|
</div><!-- fragment -->
|
|
440
440
|
</div>
|
|
441
441
|
</div>
|
|
@@ -463,8 +463,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
463
463
|
</table>
|
|
464
464
|
</div><div class="memdoc">
|
|
465
465
|
|
|
466
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
467
|
-
<div class="fragment"><div class="line"><a name="
|
|
466
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00408">408</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
467
|
+
<div class="fragment"><div class="line"><a name="l00409"></a><span class="lineno"> 409</span>  {</div><div class="line"><a name="l00410"></a><span class="lineno"> 410</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a">SVFVar::GepValNode</a>;</div><div class="line"><a name="l00411"></a><span class="lineno"> 411</span>  }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a">SVF::SVFVar::GepValNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00069">SVFVariables.h:69</a></div></div>
|
|
468
468
|
</div><!-- fragment -->
|
|
469
469
|
</div>
|
|
470
470
|
</div>
|
|
@@ -492,8 +492,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
492
492
|
</table>
|
|
493
493
|
</div><div class="memdoc">
|
|
494
494
|
|
|
495
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
496
|
-
<div class="fragment"><div class="line"><a name="
|
|
495
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00412">412</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
496
|
+
<div class="fragment"><div class="line"><a name="l00413"></a><span class="lineno"> 413</span>  {</div><div class="line"><a name="l00414"></a><span class="lineno"> 414</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a">SVFVar::GepValNode</a>;</div><div class="line"><a name="l00415"></a><span class="lineno"> 415</span>  }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a">SVF::SVFVar::GepValNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00069">SVFVariables.h:69</a></div></div>
|
|
497
497
|
</div><!-- fragment -->
|
|
498
498
|
</div>
|
|
499
499
|
</div>
|
|
@@ -520,8 +520,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
520
520
|
</table>
|
|
521
521
|
</div><div class="memdoc">
|
|
522
522
|
|
|
523
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
524
|
-
<div class="fragment"><div class="line"><a name="
|
|
523
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00443">443</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
524
|
+
<div class="fragment"><div class="line"><a name="l00444"></a><span class="lineno"> 444</span>  {</div><div class="line"><a name="l00445"></a><span class="lineno"> 445</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GepValVar.html#a3a808d2401dd62833236b3466de6215d">fieldIdx</a>;</div><div class="line"><a name="l00446"></a><span class="lineno"> 446</span>  }</div><div class="ttc" id="classSVF_1_1GepValVar_html_a3a808d2401dd62833236b3466de6215d"><div class="ttname"><a href="classSVF_1_1GepValVar.html#a3a808d2401dd62833236b3466de6215d">SVF::GepValVar::fieldIdx</a></div><div class="ttdeci">u32_t fieldIdx</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00395">SVFVariables.h:395</a></div></div>
|
|
525
525
|
</div><!-- fragment -->
|
|
526
526
|
</div>
|
|
527
527
|
</div>
|
|
@@ -550,8 +550,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
550
550
|
|
|
551
551
|
<p>offset of the base value variable </p>
|
|
552
552
|
|
|
553
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
554
|
-
<div class="fragment"><div class="line"><a name="
|
|
553
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00425">425</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
554
|
+
<div class="fragment"><div class="line"><a name="l00426"></a><span class="lineno"> 426</span>  {</div><div class="line"><a name="l00427"></a><span class="lineno"> 427</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GepValVar.html#a2ee5e9a2e5a92b32fd81fda09b560ad6">ls</a>.<a class="code" href="classSVF_1_1LocationSet.html#a43de212ce81a29391cee13d8dbaa93eb">accumulateConstantFieldIdx</a>();</div><div class="line"><a name="l00428"></a><span class="lineno"> 428</span>  }</div><div class="ttc" id="classSVF_1_1GepValVar_html_a2ee5e9a2e5a92b32fd81fda09b560ad6"><div class="ttname"><a href="classSVF_1_1GepValVar.html#a2ee5e9a2e5a92b32fd81fda09b560ad6">SVF::GepValVar::ls</a></div><div class="ttdeci">LocationSet ls</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00393">SVFVariables.h:393</a></div></div>
|
|
555
555
|
<div class="ttc" id="classSVF_1_1LocationSet_html_a43de212ce81a29391cee13d8dbaa93eb"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a43de212ce81a29391cee13d8dbaa93eb">SVF::LocationSet::accumulateConstantFieldIdx</a></div><div class="ttdeci">Size_t accumulateConstantFieldIdx() const</div><div class="ttdoc">Get methods. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00154">LocationSet.h:154</a></div></div>
|
|
556
556
|
</div><!-- fragment -->
|
|
557
557
|
</div>
|
|
@@ -583,8 +583,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
583
583
|
|
|
584
584
|
<p>Reimplemented from <a class="el" href="classSVF_1_1SVFVar.html#adaaf24b8b6ec06476cea112533c24066">SVF::SVFVar</a>.</p>
|
|
585
585
|
|
|
586
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
587
|
-
<div class="fragment"><div class="line"><a name="
|
|
586
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00438">438</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
587
|
+
<div class="fragment"><div class="line"><a name="l00439"></a><span class="lineno"> 439</span>  {</div><div class="line"><a name="l00440"></a><span class="lineno"> 440</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GepValVar.html#aaf5f5d3734e1db83c6d4f38d560b2f45">gepValType</a>;</div><div class="line"><a name="l00441"></a><span class="lineno"> 441</span>  }</div><div class="ttc" id="classSVF_1_1GepValVar_html_aaf5f5d3734e1db83c6d4f38d560b2f45"><div class="ttname"><a href="classSVF_1_1GepValVar.html#aaf5f5d3734e1db83c6d4f38d560b2f45">SVF::GepValVar::gepValType</a></div><div class="ttdeci">const Type * gepValType</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00394">SVFVariables.h:394</a></div></div>
|
|
588
588
|
</div><!-- fragment -->
|
|
589
589
|
</div>
|
|
590
590
|
</div>
|
|
@@ -615,9 +615,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
615
615
|
|
|
616
616
|
<p>Reimplemented from <a class="el" href="classSVF_1_1ValVar.html#aeaccfd3bf5f968ad12d7e1a2426e5faa">SVF::ValVar</a>.</p>
|
|
617
617
|
|
|
618
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
619
|
-
<div class="fragment"><div class="line"><a name="
|
|
620
|
-
<div class="ttc" id="classSVF_1_1GepValVar_html_a5592f18160d398ae126a67c193e5f09d"><div class="ttname"><a href="classSVF_1_1GepValVar.html#a5592f18160d398ae126a67c193e5f09d">SVF::GepValVar::getFieldOffset</a></div><div class="ttdeci">u32_t getFieldOffset() const</div><div class="ttdoc">offset of the base value variable </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#
|
|
618
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00431">431</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
619
|
+
<div class="fragment"><div class="line"><a name="l00432"></a><span class="lineno"> 432</span>  {</div><div class="line"><a name="l00433"></a><span class="lineno"> 433</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a> && <a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a>->hasName())</div><div class="line"><a name="l00434"></a><span class="lineno"> 434</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a>->getName().str() + <span class="stringliteral">"_"</span> + llvm::utostr(<a class="code" href="classSVF_1_1GepValVar.html#a5592f18160d398ae126a67c193e5f09d">getFieldOffset</a>());</div><div class="line"><a name="l00435"></a><span class="lineno"> 435</span>  <span class="keywordflow">return</span> <span class="stringliteral">"offset_"</span> + llvm::utostr(<a class="code" href="classSVF_1_1GepValVar.html#a5592f18160d398ae126a67c193e5f09d">getFieldOffset</a>());</div><div class="line"><a name="l00436"></a><span class="lineno"> 436</span>  }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a7deb494ac20ed56fca31a4f1fd92deea"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">SVF::SVFVar::value</a></div><div class="ttdeci">const Value * value</div><div class="ttdoc">value of this SVFIR node </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00081">SVFVariables.h:81</a></div></div>
|
|
620
|
+
<div class="ttc" id="classSVF_1_1GepValVar_html_a5592f18160d398ae126a67c193e5f09d"><div class="ttname"><a href="classSVF_1_1GepValVar.html#a5592f18160d398ae126a67c193e5f09d">SVF::GepValVar::getFieldOffset</a></div><div class="ttdeci">u32_t getFieldOffset() const</div><div class="ttdoc">offset of the base value variable </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00425">SVFVariables.h:425</a></div></div>
|
|
621
621
|
</div><!-- fragment -->
|
|
622
622
|
</div>
|
|
623
623
|
</div>
|
|
@@ -652,7 +652,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
652
652
|
<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00388">SVFUtil.cpp:388</a></div></div>
|
|
653
653
|
<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
|
|
654
654
|
<div class="ttc" id="classSVF_1_1SVFVar_html_a7deb494ac20ed56fca31a4f1fd92deea"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">SVF::SVFVar::value</a></div><div class="ttdeci">const Value * value</div><div class="ttdoc">value of this SVFIR node </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00081">SVFVariables.h:81</a></div></div>
|
|
655
|
-
<div class="ttc" id="classSVF_1_1GepValVar_html_a5592f18160d398ae126a67c193e5f09d"><div class="ttname"><a href="classSVF_1_1GepValVar.html#a5592f18160d398ae126a67c193e5f09d">SVF::GepValVar::getFieldOffset</a></div><div class="ttdeci">u32_t getFieldOffset() const</div><div class="ttdoc">offset of the base value variable </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#
|
|
655
|
+
<div class="ttc" id="classSVF_1_1GepValVar_html_a5592f18160d398ae126a67c193e5f09d"><div class="ttname"><a href="classSVF_1_1GepValVar.html#a5592f18160d398ae126a67c193e5f09d">SVF::GepValVar::getFieldOffset</a></div><div class="ttdeci">u32_t getFieldOffset() const</div><div class="ttdoc">offset of the base value variable </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00425">SVFVariables.h:425</a></div></div>
|
|
656
656
|
</div><!-- fragment -->
|
|
657
657
|
</div>
|
|
658
658
|
</div>
|
|
@@ -677,7 +677,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
677
677
|
</table>
|
|
678
678
|
</div><div class="memdoc">
|
|
679
679
|
|
|
680
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
680
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00395">395</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
681
681
|
|
|
682
682
|
</div>
|
|
683
683
|
</div>
|
|
@@ -701,7 +701,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
701
701
|
</table>
|
|
702
702
|
</div><div class="memdoc">
|
|
703
703
|
|
|
704
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
704
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00394">394</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
705
705
|
|
|
706
706
|
</div>
|
|
707
707
|
</div>
|
|
@@ -725,7 +725,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
725
725
|
</table>
|
|
726
726
|
</div><div class="memdoc">
|
|
727
727
|
|
|
728
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
728
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00393">393</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
729
729
|
|
|
730
730
|
</div>
|
|
731
731
|
</div>
|
|
@@ -1230,7 +1230,7 @@ Private Attributes</h2></td></tr>
|
|
|
1230
1230
|
|
|
1231
1231
|
<p class="definition">Definition at line <a class="el" href="MemRegion_8cpp_source.html#l00105">105</a> of file <a class="el" href="MemRegion_8cpp_source.html">MemRegion.cpp</a>.</p>
|
|
1232
1232
|
<div class="fragment"><div class="line"><a name="l00106"></a><span class="lineno"> 106</span> {</div><div class="line"><a name="l00107"></a><span class="lineno"> 107</span>  <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag = <a class="code" href="classSVF_1_1MRGenerator.html#afb7ce3a24edda14895999eb15231daff">pta</a>-><a class="code" href="classSVF_1_1PointerAnalysis.html#a240219c2dc4f5cc5f85445e18c79b83b">getPAG</a>();</div><div class="line"><a name="l00108"></a><span class="lineno"> 108</span>  <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">SVFIR::iterator</a> nIter = pag-><a class="code" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>(); nIter != pag-><a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>(); ++nIter)</div><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>  {</div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1ObjVar.html">ObjVar</a>* obj = SVFUtil::dyn_cast<ObjVar>(nIter->second))</div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>  {</div><div class="line"><a name="l00112"></a><span class="lineno"> 112</span>  <span class="keywordflow">if</span> (obj->getMemObj()->isGlobalObj())</div><div class="line"><a name="l00113"></a><span class="lineno"> 113</span>  {</div><div class="line"><a name="l00114"></a><span class="lineno"> 114</span>  <a class="code" href="classSVF_1_1MRGenerator.html#af46b82e45aa1ecdfb397325971206541">allGlobals</a>.set(nIter->first);</div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span>  <a class="code" href="classSVF_1_1MRGenerator.html#af46b82e45aa1ecdfb397325971206541">allGlobals</a> |= <a class="code" href="classSVF_1_1MRGenerator.html#a81bd687d34eea884dfcf68274fcec7b5">CollectPtsChain</a>(nIter->first);</div><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>  }</div><div class="line"><a name="l00117"></a><span class="lineno"> 117</span>  }</div><div class="line"><a name="l00118"></a><span class="lineno"> 118</span>  }</div><div class="line"><a name="l00119"></a><span class="lineno"> 119</span> }</div><div class="ttc" id="classSVF_1_1GenericGraph_html_a0d9744b1b0e7a09a6f7af29188e243b7"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">SVF::GenericGraph::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdoc">Iterators. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00361">GenericGraph.h:361</a></div></div>
|
|
1233
|
-
<div class="ttc" id="classSVF_1_1ObjVar_html"><div class="ttname"><a href="classSVF_1_1ObjVar.html">SVF::ObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#
|
|
1233
|
+
<div class="ttc" id="classSVF_1_1ObjVar_html"><div class="ttname"><a href="classSVF_1_1ObjVar.html">SVF::ObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00322">SVFVariables.h:322</a></div></div>
|
|
1234
1234
|
<div class="ttc" id="classSVF_1_1MRGenerator_html_a81bd687d34eea884dfcf68274fcec7b5"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a81bd687d34eea884dfcf68274fcec7b5">SVF::MRGenerator::CollectPtsChain</a></div><div class="ttdeci">NodeBS & CollectPtsChain(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8cpp_source.html#l00527">MemRegion.cpp:527</a></div></div>
|
|
1235
1235
|
<div class="ttc" id="classSVF_1_1MRGenerator_html_af46b82e45aa1ecdfb397325971206541"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#af46b82e45aa1ecdfb397325971206541">SVF::MRGenerator::allGlobals</a></div><div class="ttdeci">NodeBS allGlobals</div><div class="ttdoc">All global variable SVFIR node ids. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00239">MemRegion.h:239</a></div></div>
|
|
1236
1236
|
<div class="ttc" id="classSVF_1_1GenericGraph_html_a4bef15157423cef48dc7333a803cd27d"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">SVF::GenericGraph::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00365">GenericGraph.h:365</a></div></div>
|