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
|
@@ -1648,7 +1648,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1648
1648
|
<div class="ttc" id="namespaceSVF_html_a5faee14fa1dd41447bc73ac365fe33c1"><div class="ttname"><a href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">SVF::Function</a></div><div class="ttdeci">llvm::Function Function</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00076">BasicTypes.h:76</a></div></div>
|
|
1649
1649
|
<div class="ttc" id="classSVF_1_1PTACFInfoBuilder_html_a418e6009760a7c9a048d2ffd9cd29956"><div class="ttname"><a href="classSVF_1_1PTACFInfoBuilder.html#a418e6009760a7c9a048d2ffd9cd29956">SVF::PTACFInfoBuilder::getLoopInfo</a></div><div class="ttdeci">LoopInfo * getLoopInfo(const Function *f)</div><div class="ttdoc">Get loop info of a function. </div><div class="ttdef"><b>Definition:</b> <a href="DataFlowUtil_8cpp_source.html#l00074">DataFlowUtil.cpp:74</a></div></div>
|
|
1650
1650
|
<div class="ttc" id="namespaceSVF_html_a7875172ff434b2210eea7cecfbbd959e"><div class="ttname"><a href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF::Instruction</a></div><div class="ttdeci">llvm::Instruction Instruction</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00079">BasicTypes.h:79</a></div></div>
|
|
1651
|
-
<div class="ttc" id="classSVF_1_1GepObjVar_html"><div class="ttname"><a href="classSVF_1_1GepObjVar.html">SVF::GepObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#
|
|
1651
|
+
<div class="ttc" id="classSVF_1_1GepObjVar_html"><div class="ttname"><a href="classSVF_1_1GepObjVar.html">SVF::GepObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00456">SVFVariables.h:456</a></div></div>
|
|
1652
1652
|
<div class="ttc" id="classSVF_1_1DDAVFSolver_html_a5521918cc06c182c821b9fae8136e4fe"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#a5521918cc06c182c821b9fae8136e4fe">SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem >::_pag</a></div><div class="ttdeci">SVFIR * _pag</div><div class="ttdoc">SVFIR. </div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00753">DDAVFSolver.h:753</a></div></div>
|
|
1653
1653
|
<div class="ttc" id="classSVF_1_1MemObj_html_a898c5bb3956402578266a6fb142e02b1"><div class="ttname"><a href="classSVF_1_1MemObj.html#a898c5bb3956402578266a6fb142e02b1">SVF::MemObj::isHeap</a></div><div class="ttdeci">bool isHeap() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00680">SymbolTableInfo.cpp:680</a></div></div>
|
|
1654
1654
|
<div class="ttc" id="classSVF_1_1LLVMModuleSet_html_acf40310917909e4234282c0695a43160"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">SVF::LLVMModuleSet::getLLVMModuleSet</a></div><div class="ttdeci">static LLVMModuleSet * getLLVMModuleSet()</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00069">LLVMModule.h:69</a></div></div>
|
|
@@ -73,8 +73,8 @@ $(function() {
|
|
|
73
73
|
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">addOutgoingEdge</a>(EdgeType *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
74
74
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DummyObjVar.html#a543ca59bd39740d1080fe4702bc2fd69">classof</a>(const DummyObjVar *)</td><td class="entry"><a class="el" href="classSVF_1_1DummyObjVar.html">SVF::DummyObjVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
75
75
|
<tr><td class="entry"><a class="el" href="classSVF_1_1DummyObjVar.html#a9552d717a869b0ec6678843a56fc8695">classof</a>(const SVFVar *node)</td><td class="entry"><a class="el" href="classSVF_1_1DummyObjVar.html">SVF::DummyObjVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
76
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DummyObjVar.html#
|
|
77
|
-
<tr><td class="entry"><a class="el" href="
|
|
76
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DummyObjVar.html#aabbc9127565b4c336b28d433297fa37f">classof</a>(const ObjVar *node)</td><td class="entry"><a class="el" href="classSVF_1_1DummyObjVar.html">SVF::DummyObjVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
77
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DummyObjVar.html#a6aefb8e6612cb6322e064ac3521fa849">classof</a>(const GenericPAGNodeTy *node)</td><td class="entry"><a class="el" href="classSVF_1_1DummyObjVar.html">SVF::DummyObjVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
78
78
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">CloneDummyObjNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
|
|
79
79
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">CloneFIObjNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
|
|
80
80
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">CloneGepObjNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
|
|
@@ -235,6 +235,8 @@ Static Public Member Functions</h2></td></tr>
|
|
|
235
235
|
<tr class="separator:a543ca59bd39740d1080fe4702bc2fd69"><td class="memSeparator" colspan="2"> </td></tr>
|
|
236
236
|
<tr class="memitem:a9552d717a869b0ec6678843a56fc8695"><td class="memItemLeft" align="right" valign="top">static bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DummyObjVar.html#a9552d717a869b0ec6678843a56fc8695">classof</a> (const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *node)</td></tr>
|
|
237
237
|
<tr class="separator:a9552d717a869b0ec6678843a56fc8695"><td class="memSeparator" colspan="2"> </td></tr>
|
|
238
|
+
<tr class="memitem:aabbc9127565b4c336b28d433297fa37f"><td class="memItemLeft" align="right" valign="top">static bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DummyObjVar.html#aabbc9127565b4c336b28d433297fa37f">classof</a> (const <a class="el" href="classSVF_1_1ObjVar.html">ObjVar</a> *node)</td></tr>
|
|
239
|
+
<tr class="separator:aabbc9127565b4c336b28d433297fa37f"><td class="memSeparator" colspan="2"> </td></tr>
|
|
238
240
|
<tr class="memitem:a6aefb8e6612cb6322e064ac3521fa849"><td class="memItemLeft" align="right" valign="top">static bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DummyObjVar.html#a6aefb8e6612cb6322e064ac3521fa849">classof</a> (const <a class="el" href="namespaceSVF.html#a8d5e9e5137b04659ded32330e128df34">GenericPAGNodeTy</a> *node)</td></tr>
|
|
239
241
|
<tr class="separator:a6aefb8e6612cb6322e064ac3521fa849"><td class="memSeparator" colspan="2"> </td></tr>
|
|
240
242
|
<tr class="inherit_header pub_static_methods_classSVF_1_1ObjVar"><td colspan="2" onclick="javascript:toggleInherit('pub_static_methods_classSVF_1_1ObjVar')"><img src="closed.png" alt="-"/> Static Public Member Functions inherited from <a class="el" href="classSVF_1_1ObjVar.html">SVF::ObjVar</a></td></tr>
|
|
@@ -304,7 +306,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
304
306
|
</table>
|
|
305
307
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
306
308
|
<div class="textblock">
|
|
307
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
309
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00716">716</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
308
310
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
309
311
|
<a id="a3dff74bbf50b6a901239d3fd31e0f36c"></a>
|
|
310
312
|
<h2 class="memtitle"><span class="permalink"><a href="#a3dff74bbf50b6a901239d3fd31e0f36c">◆ </a></span>DummyObjVar()</h2>
|
|
@@ -348,14 +350,14 @@ Additional Inherited Members</h2></td></tr>
|
|
|
348
350
|
|
|
349
351
|
<p>Constructor. </p>
|
|
350
352
|
|
|
351
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
352
|
-
<div class="fragment"><div class="line"><a name="
|
|
353
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00744">744</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
354
|
+
<div class="fragment"><div class="line"><a name="l00745"></a><span class="lineno"> 745</span>  : <a class="code" href="classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb">ObjVar</a>(<span class="keyword">nullptr</span>, i, m, ty)</div><div class="line"><a name="l00746"></a><span class="lineno"> 746</span>  {</div><div class="line"><a name="l00747"></a><span class="lineno"> 747</span>  }</div><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>
|
|
353
355
|
</div><!-- fragment -->
|
|
354
356
|
</div>
|
|
355
357
|
</div>
|
|
356
358
|
<h2 class="groupheader">Member Function Documentation</h2>
|
|
357
359
|
<a id="a543ca59bd39740d1080fe4702bc2fd69"></a>
|
|
358
|
-
<h2 class="memtitle"><span class="permalink"><a href="#a543ca59bd39740d1080fe4702bc2fd69">◆ </a></span>classof() <span class="overload">[1/
|
|
360
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a543ca59bd39740d1080fe4702bc2fd69">◆ </a></span>classof() <span class="overload">[1/4]</span></h2>
|
|
359
361
|
|
|
360
362
|
<div class="memitem">
|
|
361
363
|
<div class="memproto">
|
|
@@ -378,12 +380,12 @@ Additional Inherited Members</h2></td></tr>
|
|
|
378
380
|
</table>
|
|
379
381
|
</div><div class="memdoc">
|
|
380
382
|
|
|
381
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
382
|
-
<div class="fragment"><div class="line"><a name="
|
|
383
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00722">722</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
384
|
+
<div class="fragment"><div class="line"><a name="l00723"></a><span class="lineno"> 723</span>  {</div><div class="line"><a name="l00724"></a><span class="lineno"> 724</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00725"></a><span class="lineno"> 725</span>  }</div></div><!-- fragment -->
|
|
383
385
|
</div>
|
|
384
386
|
</div>
|
|
385
387
|
<a id="a9552d717a869b0ec6678843a56fc8695"></a>
|
|
386
|
-
<h2 class="memtitle"><span class="permalink"><a href="#a9552d717a869b0ec6678843a56fc8695">◆ </a></span>classof() <span class="overload">[2/
|
|
388
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a9552d717a869b0ec6678843a56fc8695">◆ </a></span>classof() <span class="overload">[2/4]</span></h2>
|
|
387
389
|
|
|
388
390
|
<div class="memitem">
|
|
389
391
|
<div class="memproto">
|
|
@@ -406,14 +408,44 @@ Additional Inherited Members</h2></td></tr>
|
|
|
406
408
|
</table>
|
|
407
409
|
</div><div class="memdoc">
|
|
408
410
|
|
|
409
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
410
|
-
<div class="fragment"><div class="line"><a name="
|
|
411
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00726">726</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
412
|
+
<div class="fragment"><div class="line"><a name="l00727"></a><span class="lineno"> 727</span>  {</div><div class="line"><a name="l00728"></a><span class="lineno"> 728</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVFVar::DummyObjNode</a></div><div class="line"><a name="l00729"></a><span class="lineno"> 729</span>  || node->getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVFVar::CloneDummyObjNode</a>;</div><div class="line"><a name="l00730"></a><span class="lineno"> 730</span>  }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVF::SVFVar::DummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00073">SVFVariables.h:73</a></div></div>
|
|
413
|
+
<div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVF::SVFVar::CloneDummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00076">SVFVariables.h:76</a></div></div>
|
|
414
|
+
</div><!-- fragment -->
|
|
415
|
+
</div>
|
|
416
|
+
</div>
|
|
417
|
+
<a id="aabbc9127565b4c336b28d433297fa37f"></a>
|
|
418
|
+
<h2 class="memtitle"><span class="permalink"><a href="#aabbc9127565b4c336b28d433297fa37f">◆ </a></span>classof() <span class="overload">[3/4]</span></h2>
|
|
419
|
+
|
|
420
|
+
<div class="memitem">
|
|
421
|
+
<div class="memproto">
|
|
422
|
+
<table class="mlabels">
|
|
423
|
+
<tr>
|
|
424
|
+
<td class="mlabels-left">
|
|
425
|
+
<table class="memname">
|
|
426
|
+
<tr>
|
|
427
|
+
<td class="memname">static bool SVF::DummyObjVar::classof </td>
|
|
428
|
+
<td>(</td>
|
|
429
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1ObjVar.html">ObjVar</a> * </td>
|
|
430
|
+
<td class="paramname"><em>node</em></td><td>)</td>
|
|
431
|
+
<td></td>
|
|
432
|
+
</tr>
|
|
433
|
+
</table>
|
|
434
|
+
</td>
|
|
435
|
+
<td class="mlabels-right">
|
|
436
|
+
<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span> </td>
|
|
437
|
+
</tr>
|
|
438
|
+
</table>
|
|
439
|
+
</div><div class="memdoc">
|
|
440
|
+
|
|
441
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00731">731</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
442
|
+
<div class="fragment"><div class="line"><a name="l00732"></a><span class="lineno"> 732</span>  {</div><div class="line"><a name="l00733"></a><span class="lineno"> 733</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVFVar::DummyObjNode</a></div><div class="line"><a name="l00734"></a><span class="lineno"> 734</span>  || node->getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVFVar::CloneDummyObjNode</a>;</div><div class="line"><a name="l00735"></a><span class="lineno"> 735</span>  }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVF::SVFVar::DummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00073">SVFVariables.h:73</a></div></div>
|
|
411
443
|
<div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVF::SVFVar::CloneDummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00076">SVFVariables.h:76</a></div></div>
|
|
412
444
|
</div><!-- fragment -->
|
|
413
445
|
</div>
|
|
414
446
|
</div>
|
|
415
447
|
<a id="a6aefb8e6612cb6322e064ac3521fa849"></a>
|
|
416
|
-
<h2 class="memtitle"><span class="permalink"><a href="#a6aefb8e6612cb6322e064ac3521fa849">◆ </a></span>classof() <span class="overload">[
|
|
448
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a6aefb8e6612cb6322e064ac3521fa849">◆ </a></span>classof() <span class="overload">[4/4]</span></h2>
|
|
417
449
|
|
|
418
450
|
<div class="memitem">
|
|
419
451
|
<div class="memproto">
|
|
@@ -436,8 +468,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
436
468
|
</table>
|
|
437
469
|
</div><div class="memdoc">
|
|
438
470
|
|
|
439
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
440
|
-
<div class="fragment"><div class="line"><a name="
|
|
471
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00736">736</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
472
|
+
<div class="fragment"><div class="line"><a name="l00737"></a><span class="lineno"> 737</span>  {</div><div class="line"><a name="l00738"></a><span class="lineno"> 738</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVFVar::DummyObjNode</a></div><div class="line"><a name="l00739"></a><span class="lineno"> 739</span>  || node->getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVFVar::CloneDummyObjNode</a>;</div><div class="line"><a name="l00740"></a><span class="lineno"> 740</span>  }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVF::SVFVar::DummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00073">SVFVariables.h:73</a></div></div>
|
|
441
473
|
<div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVF::SVFVar::CloneDummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00076">SVFVariables.h:76</a></div></div>
|
|
442
474
|
</div><!-- fragment -->
|
|
443
475
|
</div>
|
|
@@ -471,8 +503,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
471
503
|
|
|
472
504
|
<p>Reimplemented in <a class="el" href="classSVF_1_1CloneDummyObjVar.html#a2ddf5e4067c537a7dfd9bf74f7195931">SVF::CloneDummyObjVar</a>.</p>
|
|
473
505
|
|
|
474
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
475
|
-
<div class="fragment"><div class="line"><a name="
|
|
506
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00750">750</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
507
|
+
<div class="fragment"><div class="line"><a name="l00751"></a><span class="lineno"> 751</span>  {</div><div class="line"><a name="l00752"></a><span class="lineno"> 752</span>  <span class="keywordflow">return</span> <span class="stringliteral">"dummyObj"</span>;</div><div class="line"><a name="l00753"></a><span class="lineno"> 753</span>  }</div></div><!-- fragment -->
|
|
476
508
|
</div>
|
|
477
509
|
</div>
|
|
478
510
|
<a id="a0888335fe157af01e647b79043c7ae40"></a>
|
|
@@ -73,8 +73,8 @@ $(function() {
|
|
|
73
73
|
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">addOutgoingEdge</a>(EdgeType *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
74
74
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html#a06c603907dce56bea44f9a4f9da4d6c7">classof</a>(const DummyValVar *)</td><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html">SVF::DummyValVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
75
75
|
<tr><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html#ac09e183185b178f16547bb355ccb01f3">classof</a>(const SVFVar *node)</td><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html">SVF::DummyValVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
76
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html#
|
|
77
|
-
<tr><td class="entry"><a class="el" href="
|
|
76
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html#a3fbbb34ccb50e65d6d7aabe7e84e548f">classof</a>(const ValVar *node)</td><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html">SVF::DummyValVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
77
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html#abd4bbbbe43db12627923729a9d5a5442">classof</a>(const GenericPAGNodeTy *node)</td><td class="entry"><a class="el" href="classSVF_1_1DummyValVar.html">SVF::DummyValVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
78
78
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">CloneDummyObjNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
|
|
79
79
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">CloneFIObjNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
|
|
80
80
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">CloneGepObjNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
|
|
@@ -234,6 +234,8 @@ Static Public Member Functions</h2></td></tr>
|
|
|
234
234
|
<tr class="separator:a06c603907dce56bea44f9a4f9da4d6c7"><td class="memSeparator" colspan="2"> </td></tr>
|
|
235
235
|
<tr class="memitem:ac09e183185b178f16547bb355ccb01f3"><td class="memItemLeft" align="right" valign="top">static bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DummyValVar.html#ac09e183185b178f16547bb355ccb01f3">classof</a> (const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *node)</td></tr>
|
|
236
236
|
<tr class="separator:ac09e183185b178f16547bb355ccb01f3"><td class="memSeparator" colspan="2"> </td></tr>
|
|
237
|
+
<tr class="memitem:a3fbbb34ccb50e65d6d7aabe7e84e548f"><td class="memItemLeft" align="right" valign="top">static bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DummyValVar.html#a3fbbb34ccb50e65d6d7aabe7e84e548f">classof</a> (const <a class="el" href="classSVF_1_1ValVar.html">ValVar</a> *node)</td></tr>
|
|
238
|
+
<tr class="separator:a3fbbb34ccb50e65d6d7aabe7e84e548f"><td class="memSeparator" colspan="2"> </td></tr>
|
|
237
239
|
<tr class="memitem:abd4bbbbe43db12627923729a9d5a5442"><td class="memItemLeft" align="right" valign="top">static bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DummyValVar.html#abd4bbbbe43db12627923729a9d5a5442">classof</a> (const <a class="el" href="namespaceSVF.html#a8d5e9e5137b04659ded32330e128df34">GenericPAGNodeTy</a> *node)</td></tr>
|
|
238
240
|
<tr class="separator:abd4bbbbe43db12627923729a9d5a5442"><td class="memSeparator" colspan="2"> </td></tr>
|
|
239
241
|
<tr class="inherit_header pub_static_methods_classSVF_1_1ValVar"><td colspan="2" onclick="javascript:toggleInherit('pub_static_methods_classSVF_1_1ValVar')"><img src="closed.png" alt="-"/> Static Public Member Functions inherited from <a class="el" href="classSVF_1_1ValVar.html">SVF::ValVar</a></td></tr>
|
|
@@ -296,7 +298,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
296
298
|
</table>
|
|
297
299
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
298
300
|
<div class="textblock">
|
|
299
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
301
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00673">673</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
300
302
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
301
303
|
<a id="a39fb5acde002694e91599a67ff3ae99a"></a>
|
|
302
304
|
<h2 class="memtitle"><span class="permalink"><a href="#a39fb5acde002694e91599a67ff3ae99a">◆ </a></span>DummyValVar()</h2>
|
|
@@ -324,15 +326,15 @@ Additional Inherited Members</h2></td></tr>
|
|
|
324
326
|
|
|
325
327
|
<p>Constructor. </p>
|
|
326
328
|
|
|
327
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
328
|
-
<div class="fragment"><div class="line"><a name="
|
|
329
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00698">698</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
330
|
+
<div class="fragment"><div class="line"><a name="l00698"></a><span class="lineno"> 698</span>  : <a class="code" href="classSVF_1_1ValVar.html#ae5dc21b3327a100ffe3e0e2c876ba1bb">ValVar</a>(<span class="keyword">nullptr</span>, i, <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">DummyValNode</a>)</div><div class="line"><a name="l00699"></a><span class="lineno"> 699</span>  {</div><div class="line"><a name="l00700"></a><span class="lineno"> 700</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>
|
|
329
331
|
<div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">SVF::SVFVar::DummyValNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00072">SVFVariables.h:72</a></div></div>
|
|
330
332
|
</div><!-- fragment -->
|
|
331
333
|
</div>
|
|
332
334
|
</div>
|
|
333
335
|
<h2 class="groupheader">Member Function Documentation</h2>
|
|
334
336
|
<a id="a06c603907dce56bea44f9a4f9da4d6c7"></a>
|
|
335
|
-
<h2 class="memtitle"><span class="permalink"><a href="#a06c603907dce56bea44f9a4f9da4d6c7">◆ </a></span>classof() <span class="overload">[1/
|
|
337
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a06c603907dce56bea44f9a4f9da4d6c7">◆ </a></span>classof() <span class="overload">[1/4]</span></h2>
|
|
336
338
|
|
|
337
339
|
<div class="memitem">
|
|
338
340
|
<div class="memproto">
|
|
@@ -355,12 +357,12 @@ Additional Inherited Members</h2></td></tr>
|
|
|
355
357
|
</table>
|
|
356
358
|
</div><div class="memdoc">
|
|
357
359
|
|
|
358
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
359
|
-
<div class="fragment"><div class="line"><a name="
|
|
360
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00679">679</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
361
|
+
<div class="fragment"><div class="line"><a name="l00680"></a><span class="lineno"> 680</span>  {</div><div class="line"><a name="l00681"></a><span class="lineno"> 681</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00682"></a><span class="lineno"> 682</span>  }</div></div><!-- fragment -->
|
|
360
362
|
</div>
|
|
361
363
|
</div>
|
|
362
364
|
<a id="ac09e183185b178f16547bb355ccb01f3"></a>
|
|
363
|
-
<h2 class="memtitle"><span class="permalink"><a href="#ac09e183185b178f16547bb355ccb01f3">◆ </a></span>classof() <span class="overload">[2/
|
|
365
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ac09e183185b178f16547bb355ccb01f3">◆ </a></span>classof() <span class="overload">[2/4]</span></h2>
|
|
364
366
|
|
|
365
367
|
<div class="memitem">
|
|
366
368
|
<div class="memproto">
|
|
@@ -383,13 +385,42 @@ Additional Inherited Members</h2></td></tr>
|
|
|
383
385
|
</table>
|
|
384
386
|
</div><div class="memdoc">
|
|
385
387
|
|
|
386
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
387
|
-
<div class="fragment"><div class="line"><a name="
|
|
388
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00683">683</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
389
|
+
<div class="fragment"><div class="line"><a name="l00684"></a><span class="lineno"> 684</span>  {</div><div class="line"><a name="l00685"></a><span class="lineno"> 685</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">SVFVar::DummyValNode</a>;</div><div class="line"><a name="l00686"></a><span class="lineno"> 686</span>  }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">SVF::SVFVar::DummyValNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00072">SVFVariables.h:72</a></div></div>
|
|
390
|
+
</div><!-- fragment -->
|
|
391
|
+
</div>
|
|
392
|
+
</div>
|
|
393
|
+
<a id="a3fbbb34ccb50e65d6d7aabe7e84e548f"></a>
|
|
394
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a3fbbb34ccb50e65d6d7aabe7e84e548f">◆ </a></span>classof() <span class="overload">[3/4]</span></h2>
|
|
395
|
+
|
|
396
|
+
<div class="memitem">
|
|
397
|
+
<div class="memproto">
|
|
398
|
+
<table class="mlabels">
|
|
399
|
+
<tr>
|
|
400
|
+
<td class="mlabels-left">
|
|
401
|
+
<table class="memname">
|
|
402
|
+
<tr>
|
|
403
|
+
<td class="memname">static bool SVF::DummyValVar::classof </td>
|
|
404
|
+
<td>(</td>
|
|
405
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1ValVar.html">ValVar</a> * </td>
|
|
406
|
+
<td class="paramname"><em>node</em></td><td>)</td>
|
|
407
|
+
<td></td>
|
|
408
|
+
</tr>
|
|
409
|
+
</table>
|
|
410
|
+
</td>
|
|
411
|
+
<td class="mlabels-right">
|
|
412
|
+
<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span> </td>
|
|
413
|
+
</tr>
|
|
414
|
+
</table>
|
|
415
|
+
</div><div class="memdoc">
|
|
416
|
+
|
|
417
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00687">687</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
418
|
+
<div class="fragment"><div class="line"><a name="l00688"></a><span class="lineno"> 688</span>  {</div><div class="line"><a name="l00689"></a><span class="lineno"> 689</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">SVFVar::DummyValNode</a>;</div><div class="line"><a name="l00690"></a><span class="lineno"> 690</span>  }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">SVF::SVFVar::DummyValNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00072">SVFVariables.h:72</a></div></div>
|
|
388
419
|
</div><!-- fragment -->
|
|
389
420
|
</div>
|
|
390
421
|
</div>
|
|
391
422
|
<a id="abd4bbbbe43db12627923729a9d5a5442"></a>
|
|
392
|
-
<h2 class="memtitle"><span class="permalink"><a href="#abd4bbbbe43db12627923729a9d5a5442">◆ </a></span>classof() <span class="overload">[
|
|
423
|
+
<h2 class="memtitle"><span class="permalink"><a href="#abd4bbbbe43db12627923729a9d5a5442">◆ </a></span>classof() <span class="overload">[4/4]</span></h2>
|
|
393
424
|
|
|
394
425
|
<div class="memitem">
|
|
395
426
|
<div class="memproto">
|
|
@@ -412,8 +443,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
412
443
|
</table>
|
|
413
444
|
</div><div class="memdoc">
|
|
414
445
|
|
|
415
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
416
|
-
<div class="fragment"><div class="line"><a name="
|
|
446
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00691">691</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
447
|
+
<div class="fragment"><div class="line"><a name="l00692"></a><span class="lineno"> 692</span>  {</div><div class="line"><a name="l00693"></a><span class="lineno"> 693</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">SVFVar::DummyValNode</a>;</div><div class="line"><a name="l00694"></a><span class="lineno"> 694</span>  }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">SVF::SVFVar::DummyValNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00072">SVFVariables.h:72</a></div></div>
|
|
417
448
|
</div><!-- fragment -->
|
|
418
449
|
</div>
|
|
419
450
|
</div>
|
|
@@ -444,8 +475,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
444
475
|
|
|
445
476
|
<p>Reimplemented from <a class="el" href="classSVF_1_1ValVar.html#aeaccfd3bf5f968ad12d7e1a2426e5faa">SVF::ValVar</a>.</p>
|
|
446
477
|
|
|
447
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
448
|
-
<div class="fragment"><div class="line"><a name="
|
|
478
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00704">704</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
479
|
+
<div class="fragment"><div class="line"><a name="l00705"></a><span class="lineno"> 705</span>  {</div><div class="line"><a name="l00706"></a><span class="lineno"> 706</span>  <span class="keywordflow">return</span> <span class="stringliteral">"dummyVal"</span>;</div><div class="line"><a name="l00707"></a><span class="lineno"> 707</span>  }</div></div><!-- fragment -->
|
|
449
480
|
</div>
|
|
450
481
|
</div>
|
|
451
482
|
<a id="a4da61151fed6a64cc361d69276d00b84"></a>
|
|
@@ -307,7 +307,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
307
307
|
</table>
|
|
308
308
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
309
309
|
<div class="textblock">
|
|
310
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
310
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00538">538</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
311
311
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
312
312
|
<a id="ae77995bc46e4f7b1b17fa86aa601ffae"></a>
|
|
313
313
|
<h2 class="memtitle"><span class="permalink"><a href="#ae77995bc46e4f7b1b17fa86aa601ffae">◆ </a></span>FIObjVar()</h2>
|
|
@@ -357,9 +357,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
357
357
|
|
|
358
358
|
<p>Constructor. </p>
|
|
359
359
|
|
|
360
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
361
|
-
<div class="fragment"><div class="line"><a name="
|
|
362
|
-
<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#
|
|
360
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00566">566</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
361
|
+
<div class="fragment"><div class="line"><a name="l00566"></a><span class="lineno"> 566</span>  :</div><div class="line"><a name="l00567"></a><span class="lineno"> 567</span>  <a class="code" href="classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb">ObjVar</a>(val, i, <a class="code" href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">mem</a>, ty)</div><div class="line"><a name="l00568"></a><span class="lineno"> 568</span>  {</div><div class="line"><a name="l00569"></a><span class="lineno"> 569</span>  }</div><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>
|
|
362
|
+
<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>
|
|
363
363
|
</div><!-- fragment -->
|
|
364
364
|
</div>
|
|
365
365
|
</div>
|
|
@@ -390,8 +390,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
390
390
|
|
|
391
391
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
392
392
|
|
|
393
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
394
|
-
<div class="fragment"><div class="line"><a name="
|
|
393
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00544">544</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
394
|
+
<div class="fragment"><div class="line"><a name="l00545"></a><span class="lineno"> 545</span>  {</div><div class="line"><a name="l00546"></a><span class="lineno"> 546</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00547"></a><span class="lineno"> 547</span>  }</div></div><!-- fragment -->
|
|
395
395
|
</div>
|
|
396
396
|
</div>
|
|
397
397
|
<a id="a07ed7216777acb05861044542cc2fe66"></a>
|
|
@@ -418,8 +418,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
418
418
|
</table>
|
|
419
419
|
</div><div class="memdoc">
|
|
420
420
|
|
|
421
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
422
|
-
<div class="fragment"><div class="line"><a name="
|
|
421
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00548">548</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
422
|
+
<div class="fragment"><div class="line"><a name="l00549"></a><span class="lineno"> 549</span>  {</div><div class="line"><a name="l00550"></a><span class="lineno"> 550</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">SVFVar::FIObjNode</a></div><div class="line"><a name="l00551"></a><span class="lineno"> 551</span>  || node->getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVFVar::CloneFIObjNode</a>;</div><div class="line"><a name="l00552"></a><span class="lineno"> 552</span>  }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">SVF::SVFVar::FIObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00071">SVFVariables.h:71</a></div></div>
|
|
423
423
|
<div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVF::SVFVar::CloneFIObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00075">SVFVariables.h:75</a></div></div>
|
|
424
424
|
</div><!-- fragment -->
|
|
425
425
|
</div>
|
|
@@ -448,8 +448,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
448
448
|
</table>
|
|
449
449
|
</div><div class="memdoc">
|
|
450
450
|
|
|
451
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
452
|
-
<div class="fragment"><div class="line"><a name="
|
|
451
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00553">553</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
452
|
+
<div class="fragment"><div class="line"><a name="l00554"></a><span class="lineno"> 554</span>  {</div><div class="line"><a name="l00555"></a><span class="lineno"> 555</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">SVFVar::FIObjNode</a></div><div class="line"><a name="l00556"></a><span class="lineno"> 556</span>  || node->getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVFVar::CloneFIObjNode</a>;</div><div class="line"><a name="l00557"></a><span class="lineno"> 557</span>  }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">SVF::SVFVar::FIObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00071">SVFVariables.h:71</a></div></div>
|
|
453
453
|
<div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVF::SVFVar::CloneFIObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00075">SVFVariables.h:75</a></div></div>
|
|
454
454
|
</div><!-- fragment -->
|
|
455
455
|
</div>
|
|
@@ -478,8 +478,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
478
478
|
</table>
|
|
479
479
|
</div><div class="memdoc">
|
|
480
480
|
|
|
481
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
482
|
-
<div class="fragment"><div class="line"><a name="
|
|
481
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00558">558</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
482
|
+
<div class="fragment"><div class="line"><a name="l00559"></a><span class="lineno"> 559</span>  {</div><div class="line"><a name="l00560"></a><span class="lineno"> 560</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">SVFVar::FIObjNode</a></div><div class="line"><a name="l00561"></a><span class="lineno"> 561</span>  || node->getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVFVar::CloneFIObjNode</a>;</div><div class="line"><a name="l00562"></a><span class="lineno"> 562</span>  }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">SVF::SVFVar::FIObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00071">SVFVariables.h:71</a></div></div>
|
|
483
483
|
<div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVF::SVFVar::CloneFIObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00075">SVFVariables.h:75</a></div></div>
|
|
484
484
|
</div><!-- fragment -->
|
|
485
485
|
</div>
|
|
@@ -513,8 +513,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
513
513
|
|
|
514
514
|
<p>Reimplemented in <a class="el" href="classSVF_1_1CloneFIObjVar.html#abac4095a6a60c321caa40f837a752803">SVF::CloneFIObjVar</a>.</p>
|
|
515
515
|
|
|
516
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
517
|
-
<div class="fragment"><div class="line"><a name="
|
|
516
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00572">572</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
517
|
+
<div class="fragment"><div class="line"><a name="l00573"></a><span class="lineno"> 573</span>  {</div><div class="line"><a name="l00574"></a><span class="lineno"> 574</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="l00575"></a><span class="lineno"> 575</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a>->getName().str() + <span class="stringliteral">" (base object)"</span>;</div><div class="line"><a name="l00576"></a><span class="lineno"> 576</span>  <span class="keywordflow">return</span> <span class="stringliteral">" (base object)"</span>;</div><div class="line"><a name="l00577"></a><span class="lineno"> 577</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>
|
|
518
518
|
</div><!-- fragment -->
|
|
519
519
|
</div>
|
|
520
520
|
</div>
|
|
@@ -1304,7 +1304,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1304
1304
|
|
|
1305
1305
|
<p class="definition">Definition at line <a class="el" href="FlowSensitiveTBHC_8cpp_source.html#l00645">645</a> of file <a class="el" href="FlowSensitiveTBHC_8cpp_source.html">FlowSensitiveTBHC.cpp</a>.</p>
|
|
1306
1306
|
<div class="fragment"><div class="line"><a name="l00646"></a><span class="lineno"> 646</span> {</div><div class="line"><a name="l00647"></a><span class="lineno"> 647</span>  expandedPts = pts;</div><div class="line"><a name="l00648"></a><span class="lineno"> 648</span>  <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> o : pts)</div><div class="line"><a name="l00649"></a><span class="lineno"> 649</span>  {</div><div class="line"><a name="l00650"></a><span class="lineno"> 650</span>  expandedPts |= <a class="code" href="classSVF_1_1FlowSensitiveTBHC.html#a56dc95bb4b6d48f82c87c6280237990a">getAllFieldsObjVars</a>(o);</div><div class="line"><a name="l00651"></a><span class="lineno"> 651</span>  <span class="keywordflow">while</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1GepObjVar.html">GepObjVar</a> *gepObj = SVFUtil::dyn_cast<GepObjVar>(<a class="code" href="classSVF_1_1PointerAnalysis.html#adc7f5c71efb9cd1bec4f5ca9127654c3">pag</a>-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(o)))</div><div class="line"><a name="l00652"></a><span class="lineno"> 652</span>  {</div><div class="line"><a name="l00653"></a><span class="lineno"> 653</span>  expandedPts |= <a class="code" href="classSVF_1_1FlowSensitiveTBHC.html#a56dc95bb4b6d48f82c87c6280237990a">getAllFieldsObjVars</a>(o);</div><div class="line"><a name="l00654"></a><span class="lineno"> 654</span>  o = gepObj->getBaseNode();</div><div class="line"><a name="l00655"></a><span class="lineno"> 655</span>  }</div><div class="line"><a name="l00656"></a><span class="lineno"> 656</span>  }</div><div class="line"><a name="l00657"></a><span class="lineno"> 657</span> }</div><div class="ttc" id="namespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8h_source.html#l00018">MTAResultValidator.h:18</a></div></div>
|
|
1307
|
-
<div class="ttc" id="classSVF_1_1GepObjVar_html"><div class="ttname"><a href="classSVF_1_1GepObjVar.html">SVF::GepObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#
|
|
1307
|
+
<div class="ttc" id="classSVF_1_1GepObjVar_html"><div class="ttname"><a href="classSVF_1_1GepObjVar.html">SVF::GepObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00456">SVFVariables.h:456</a></div></div>
|
|
1308
1308
|
<div class="ttc" id="classSVF_1_1FlowSensitiveTBHC_html_a56dc95bb4b6d48f82c87c6280237990a"><div class="ttname"><a href="classSVF_1_1FlowSensitiveTBHC.html#a56dc95bb4b6d48f82c87c6280237990a">SVF::FlowSensitiveTBHC::getAllFieldsObjVars</a></div><div class="ttdeci">virtual const NodeBS & getAllFieldsObjVars(NodeID id) override</div><div class="ttdef"><b>Definition:</b> <a href="FlowSensitiveTBHC_8cpp_source.html#l00532">FlowSensitiveTBHC.cpp:532</a></div></div>
|
|
1309
1309
|
<div class="ttc" id="classSVF_1_1PointerAnalysis_html_adc7f5c71efb9cd1bec4f5ca9127654c3"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#adc7f5c71efb9cd1bec4f5ca9127654c3">SVF::PointerAnalysis::pag</a></div><div class="ttdeci">static SVFIR * pag</div><div class="ttdoc">SVFIR. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00147">PointerAnalysis.h:147</a></div></div>
|
|
1310
1310
|
<div class="ttc" id="classSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00387">GenericGraph.h:387</a></div></div>
|
|
@@ -1914,7 +1914,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1914
1914
|
<div class="ttc" id="classSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00089">GenericGraph.h:89</a></div></div>
|
|
1915
1915
|
<div class="ttc" id="classSVF_1_1BVDataPTAImpl_html_aee289e298e421448caaa604b7eb34fcb"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html#aee289e298e421448caaa604b7eb34fcb">SVF::BVDataPTAImpl::getPts</a></div><div class="ttdeci">virtual const PointsTo & getPts(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00099">PointerAnalysisImpl.h:99</a></div></div>
|
|
1916
1916
|
<div class="ttc" id="classSVF_1_1FlowSensitiveTBHC_html_a045ffbf7eea276d154be2cf883ea71f7"><div class="ttname"><a href="classSVF_1_1FlowSensitiveTBHC.html#a045ffbf7eea276d154be2cf883ea71f7">SVF::FlowSensitiveTBHC::getTypeFromCTirMetadata</a></div><div class="ttdeci">const DIType * getTypeFromCTirMetadata(const SVFGNode *)</div><div class="ttdef"><b>Definition:</b> <a href="FlowSensitiveTBHC_8cpp_source.html#l00631">FlowSensitiveTBHC.cpp:631</a></div></div>
|
|
1917
|
-
<div class="ttc" id="classSVF_1_1GepObjVar_html"><div class="ttname"><a href="classSVF_1_1GepObjVar.html">SVF::GepObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#
|
|
1917
|
+
<div class="ttc" id="classSVF_1_1GepObjVar_html"><div class="ttname"><a href="classSVF_1_1GepObjVar.html">SVF::GepObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00456">SVFVariables.h:456</a></div></div>
|
|
1918
1918
|
<div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_ad043ab95900849a5a894ca4bada4e032"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#ad043ab95900849a5a894ca4bada4e032">SVF::TypeBasedHeapCloning::getGepObjsFromMemObj</a></div><div class="ttdeci">const NodeBS & getGepObjsFromMemObj(const MemObj *memObj, unsigned offset)</div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8cpp_source.html#l00132">TypeBasedHeapCloning.cpp:132</a></div></div>
|
|
1919
1919
|
<div class="ttc" id="classSVF_1_1GenericEdge_html_ab47ca533c415841ef75456cbad439589"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::GenericEdge::getSrcNode</a></div><div class="ttdeci">NodeType * getSrcNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00085">GenericGraph.h:85</a></div></div>
|
|
1920
1920
|
<div class="ttc" id="classSVF_1_1PointsTo_html_ab196d86cfb48d1c5d27a0c03c7497afa"><div class="ttname"><a href="classSVF_1_1PointsTo.html#ab196d86cfb48d1c5d27a0c03c7497afa">SVF::PointsTo::set</a></div><div class="ttdeci">void set(u32_t n)</div><div class="ttdoc">Inserts n in the set. </div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00149">PointsTo.cpp:149</a></div></div>
|
|
@@ -89,9 +89,7 @@ Inheritance diagram for SVF::GenericNode< NodeTy, EdgeTy >:</div>
|
|
|
89
89
|
<area href="classSVF_1_1InterBlockNode.html" alt="SVF::InterBlockNode" shape="rect" coords="496,168,734,192"/>
|
|
90
90
|
<area href="classSVF_1_1IntraBlockNode.html" alt="SVF::IntraBlockNode" shape="rect" coords="496,224,734,248"/>
|
|
91
91
|
<area href="classSVF_1_1ObjVar.html" alt="SVF::ObjVar" shape="rect" coords="992,112,1230,136"/>
|
|
92
|
-
<area href="
|
|
93
|
-
<area href="classSVF_1_1ValVar.html" alt="SVF::ValVar" shape="rect" coords="992,224,1230,248"/>
|
|
94
|
-
<area href="classSVF_1_1VarArgPN.html" alt="SVF::VarArgPN" shape="rect" coords="992,280,1230,304"/>
|
|
92
|
+
<area href="classSVF_1_1ValVar.html" alt="SVF::ValVar" shape="rect" coords="992,168,1230,192"/>
|
|
95
93
|
<area href="classSVF_1_1ArgumentVFGNode.html" alt="SVF::ArgumentVFGNode" shape="rect" coords="1488,112,1726,136"/>
|
|
96
94
|
<area href="classSVF_1_1BinaryOPVFGNode.html" alt="SVF::BinaryOPVFGNode" shape="rect" coords="1488,168,1726,192"/>
|
|
97
95
|
<area href="classSVF_1_1BranchVFGNode.html" alt="SVF::BranchVFGNode" shape="rect" coords="1488,224,1726,248"/>
|
|
Binary file
|