svf-tools 1.0.510 → 1.0.511
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/.gitignore +1 -0
- package/SVF-doxygen/html/html/AndersenHCD_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/AndersenHLCD_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/AndersenLCD_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/AndersenWaveDiff_8cpp_source.html +4 -13
- package/SVF-doxygen/html/html/Andersen_8h_source.html +34 -35
- package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +1 -3
- package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD.html +29 -29
- package/SVF-doxygen/html/html/classSVF_1_1AndersenHLCD.html +19 -19
- package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD.html +28 -28
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff-members.html +74 -75
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +14 -138
- package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +3 -3
- package/SVF-doxygen/html/html/functions_func_h.html +3 -4
- package/SVF-doxygen/html/html/functions_func_p.html +1 -5
- package/SVF-doxygen/html/html/functions_h.html +4 -5
- package/SVF-doxygen/html/html/functions_o.html +3 -3
- package/SVF-doxygen/html/html/functions_p.html +11 -19
- package/SVF-doxygen/html/html/functions_r.html +9 -5
- package/SVF-doxygen/html/html/functions_s.html +18 -16
- package/SVF-doxygen/html/html/functions_t.html +5 -7
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/functions_w.html +11 -11
- package/SVF-doxygen/html/html/search/all_10.js +6 -7
- package/SVF-doxygen/html/html/search/all_11.js +2 -2
- package/SVF-doxygen/html/html/search/all_12.js +9 -9
- package/SVF-doxygen/html/html/search/all_13.js +3 -3
- package/SVF-doxygen/html/html/search/all_15.js +1 -1
- package/SVF-doxygen/html/html/search/all_16.js +2 -2
- package/SVF-doxygen/html/html/search/all_8.js +1 -1
- package/SVF-doxygen/html/html/search/all_9.js +1 -1
- package/SVF-doxygen/html/html/search/all_b.js +1 -1
- package/SVF-doxygen/html/html/search/all_c.js +1 -1
- package/SVF-doxygen/html/html/search/all_e.js +1 -1
- package/SVF-doxygen/html/html/search/all_f.js +1 -1
- package/SVF-doxygen/html/html/search/functions_7.js +1 -1
- package/SVF-doxygen/html/html/search/functions_f.js +2 -3
- package/SVF-doxygen/html/html/search/variables_13.js +2 -2
- package/SVF-doxygen/html/html/search/variables_9.js +1 -1
- package/SVF-doxygen/html/html/search/variables_c.js +1 -1
- package/SVF-doxygen/html/html/search/variables_e.js +1 -1
- package/include/WPA/Andersen.h +0 -8
- package/lib/WPA/AndersenWaveDiff.cpp +0 -40
- package/package.json +1 -1
|
@@ -805,7 +805,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
805
805
|
</table>
|
|
806
806
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
807
807
|
<div class="textblock">
|
|
808
|
-
<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#
|
|
808
|
+
<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00461">461</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
|
|
809
809
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
810
810
|
<a id="aab4737557838799f52b64ceb2ec543a3"></a>
|
|
811
811
|
<h2 class="memtitle"><span class="permalink"><a href="#aab4737557838799f52b64ceb2ec543a3">◆ </a></span>AndersenLCD()</h2>
|
|
@@ -841,10 +841,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
841
841
|
</table>
|
|
842
842
|
</div><div class="memdoc">
|
|
843
843
|
|
|
844
|
-
<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#
|
|
845
|
-
<div class="fragment"><div class="line"><a name="
|
|
844
|
+
<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00470">470</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
|
|
845
|
+
<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>  <a class="code" href="classSVF_1_1Andersen.html#a680dc709c0263fc1a13aa5c81d95fc72">Andersen</a>(_pag, <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>), <a class="code" href="classSVF_1_1AndersenLCD.html#a501ff7f8648c735c4a896063128d9ccc">metEdges</a>({}), <a class="code" href="classSVF_1_1AndersenLCD.html#a63823aa384f1438917c3625befa30bad">lcdCandidates</a>( {})</div><div class="line"><a name="l00472"></a><span class="lineno"> 472</span>  {</div><div class="line"><a name="l00473"></a><span class="lineno"> 473</span>  }</div><div class="ttc" id="classSVF_1_1AndersenLCD_html_a63823aa384f1438917c3625befa30bad"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#a63823aa384f1438917c3625befa30bad">SVF::AndersenLCD::lcdCandidates</a></div><div class="ttdeci">NodeSet lcdCandidates</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00467">Andersen.h:467</a></div></div>
|
|
846
846
|
<div class="ttc" id="cJSON_8cpp_html_a3f9a0d3265a6254722587175dac3e4dc"><div class="ttname"><a href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a></div><div class="ttdeci">newitem type</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02739">cJSON.cpp:2739</a></div></div>
|
|
847
|
-
<div class="ttc" id="classSVF_1_1AndersenLCD_html_a501ff7f8648c735c4a896063128d9ccc"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#a501ff7f8648c735c4a896063128d9ccc">SVF::AndersenLCD::metEdges</a></div><div class="ttdeci">EdgeSet metEdges</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#
|
|
847
|
+
<div class="ttc" id="classSVF_1_1AndersenLCD_html_a501ff7f8648c735c4a896063128d9ccc"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#a501ff7f8648c735c4a896063128d9ccc">SVF::AndersenLCD::metEdges</a></div><div class="ttdeci">EdgeSet metEdges</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00466">Andersen.h:466</a></div></div>
|
|
848
848
|
<div class="ttc" id="classSVF_1_1Andersen_html_a680dc709c0263fc1a13aa5c81d95fc72"><div class="ttname"><a href="classSVF_1_1Andersen.html#a680dc709c0263fc1a13aa5c81d95fc72">SVF::Andersen::Andersen</a></div><div class="ttdeci">Andersen(SVFIR *_pag, PTATY type=Andersen_WPA, bool alias_check=true)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00158">Andersen.h:158</a></div></div>
|
|
849
849
|
</div><!-- fragment -->
|
|
850
850
|
</div>
|
|
@@ -874,8 +874,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
874
874
|
</table>
|
|
875
875
|
</div><div class="memdoc">
|
|
876
876
|
|
|
877
|
-
<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#
|
|
878
|
-
<div class="fragment"><div class="line"><a name="
|
|
877
|
+
<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00505">505</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
|
|
878
|
+
<div class="fragment"><div class="line"><a name="l00506"></a><span class="lineno"> 506</span>  {</div><div class="line"><a name="l00507"></a><span class="lineno"> 507</span>  <a class="code" href="classSVF_1_1AndersenLCD.html#a63823aa384f1438917c3625befa30bad">lcdCandidates</a>.insert(nodeId);</div><div class="line"><a name="l00508"></a><span class="lineno"> 508</span>  };</div><div class="ttc" id="classSVF_1_1AndersenLCD_html_a63823aa384f1438917c3625befa30bad"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#a63823aa384f1438917c3625befa30bad">SVF::AndersenLCD::lcdCandidates</a></div><div class="ttdeci">NodeSet lcdCandidates</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00467">Andersen.h:467</a></div></div>
|
|
879
879
|
</div><!-- fragment -->
|
|
880
880
|
</div>
|
|
881
881
|
</div>
|
|
@@ -903,8 +903,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
903
903
|
</table>
|
|
904
904
|
</div><div class="memdoc">
|
|
905
905
|
|
|
906
|
-
<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#
|
|
907
|
-
<div class="fragment"><div class="line"><a name="
|
|
906
|
+
<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00518">518</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
|
|
907
|
+
<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>  <a class="code" href="classSVF_1_1AndersenLCD.html#a501ff7f8648c735c4a896063128d9ccc">metEdges</a>.insert(edge->getEdgeID());</div><div class="line"><a name="l00521"></a><span class="lineno"> 521</span>  };</div><div class="ttc" id="classSVF_1_1AndersenLCD_html_a501ff7f8648c735c4a896063128d9ccc"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#a501ff7f8648c735c4a896063128d9ccc">SVF::AndersenLCD::metEdges</a></div><div class="ttdeci">EdgeSet metEdges</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00466">Andersen.h:466</a></div></div>
|
|
908
908
|
</div><!-- fragment -->
|
|
909
909
|
</div>
|
|
910
910
|
</div>
|
|
@@ -931,8 +931,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
931
931
|
</table>
|
|
932
932
|
</div><div class="memdoc">
|
|
933
933
|
|
|
934
|
-
<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#
|
|
935
|
-
<div class="fragment"><div class="line"><a name="
|
|
934
|
+
<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00501">501</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
|
|
935
|
+
<div class="fragment"><div class="line"><a name="l00502"></a><span class="lineno"> 502</span>  {</div><div class="line"><a name="l00503"></a><span class="lineno"> 503</span>  <a class="code" href="classSVF_1_1AndersenLCD.html#a63823aa384f1438917c3625befa30bad">lcdCandidates</a>.clear();</div><div class="line"><a name="l00504"></a><span class="lineno"> 504</span>  };</div><div class="ttc" id="classSVF_1_1AndersenLCD_html_a63823aa384f1438917c3625befa30bad"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#a63823aa384f1438917c3625befa30bad">SVF::AndersenLCD::lcdCandidates</a></div><div class="ttdeci">NodeSet lcdCandidates</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00467">Andersen.h:467</a></div></div>
|
|
936
936
|
</div><!-- fragment -->
|
|
937
937
|
</div>
|
|
938
938
|
</div>
|
|
@@ -962,10 +962,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
962
962
|
|
|
963
963
|
<p>Create an singleton instance directly instead of invoking llvm pass manager. </p>
|
|
964
964
|
|
|
965
|
-
<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#
|
|
966
|
-
<div class="fragment"><div class="line"><a name="
|
|
965
|
+
<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00476">476</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
|
|
966
|
+
<div class="fragment"><div class="line"><a name="l00477"></a><span class="lineno"> 477</span>  {</div><div class="line"><a name="l00478"></a><span class="lineno"> 478</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AndersenLCD.html#ae4e979d6e7fa83c8961d0caf0ca0f54e">lcdAndersen</a> == <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00479"></a><span class="lineno"> 479</span>  {</div><div class="line"><a name="l00480"></a><span class="lineno"> 480</span>  <a class="code" href="classSVF_1_1AndersenLCD.html#ae4e979d6e7fa83c8961d0caf0ca0f54e">lcdAndersen</a> = <span class="keyword">new</span> <a class="code" href="classSVF_1_1AndersenLCD.html#aab4737557838799f52b64ceb2ec543a3">AndersenLCD</a>(_pag);</div><div class="line"><a name="l00481"></a><span class="lineno"> 481</span>  <a class="code" href="classSVF_1_1AndersenLCD.html#ae4e979d6e7fa83c8961d0caf0ca0f54e">lcdAndersen</a>-><a class="code" href="classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751">analyze</a>();</div><div class="line"><a name="l00482"></a><span class="lineno"> 482</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AndersenLCD.html#ae4e979d6e7fa83c8961d0caf0ca0f54e">lcdAndersen</a>;</div><div class="line"><a name="l00483"></a><span class="lineno"> 483</span>  }</div><div class="line"><a name="l00484"></a><span class="lineno"> 484</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AndersenLCD.html#ae4e979d6e7fa83c8961d0caf0ca0f54e">lcdAndersen</a>;</div><div class="line"><a name="l00485"></a><span class="lineno"> 485</span>  }</div><div class="ttc" id="classSVF_1_1AndersenLCD_html_ae4e979d6e7fa83c8961d0caf0ca0f54e"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#ae4e979d6e7fa83c8961d0caf0ca0f54e">SVF::AndersenLCD::lcdAndersen</a></div><div class="ttdeci">static AndersenLCD * lcdAndersen</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00465">Andersen.h:465</a></div></div>
|
|
967
967
|
<div class="ttc" id="classSVF_1_1AndersenBase_html_a944966086ecb716184c8cdcc43db5751"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751">SVF::AndersenBase::analyze</a></div><div class="ttdeci">virtual void analyze() override</div><div class="ttdoc">Andersen analysis. </div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00102">Andersen.cpp:102</a></div></div>
|
|
968
|
-
<div class="ttc" id="classSVF_1_1AndersenLCD_html_aab4737557838799f52b64ceb2ec543a3"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#aab4737557838799f52b64ceb2ec543a3">SVF::AndersenLCD::AndersenLCD</a></div><div class="ttdeci">AndersenLCD(SVFIR *_pag, PTATY type=AndersenLCD_WPA)</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#
|
|
968
|
+
<div class="ttc" id="classSVF_1_1AndersenLCD_html_aab4737557838799f52b64ceb2ec543a3"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#aab4737557838799f52b64ceb2ec543a3">SVF::AndersenLCD::AndersenLCD</a></div><div class="ttdeci">AndersenLCD(SVFIR *_pag, PTATY type=AndersenLCD_WPA)</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00470">Andersen.h:470</a></div></div>
|
|
969
969
|
</div><!-- fragment -->
|
|
970
970
|
</div>
|
|
971
971
|
</div>
|
|
@@ -1005,9 +1005,9 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1005
1005
|
<div class="ttc" id="classSVF_1_1GepCGEdge_html"><div class="ttname"><a href="classSVF_1_1GepCGEdge.html">SVF::GepCGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00225">ConsGEdge.h:225</a></div></div>
|
|
1006
1006
|
<div class="ttc" id="classSVF_1_1PointsTo_html_ac4688413177b49b37dbbfd3ed188d59b"><div class="ttname"><a href="classSVF_1_1PointsTo.html#ac4688413177b49b37dbbfd3ed188d59b">SVF::PointsTo::empty</a></div><div class="ttdeci">bool empty(void) const</div><div class="ttdoc">Returns true if set is empty. </div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00094">PointsTo.cpp:94</a></div></div>
|
|
1007
1007
|
<div class="ttc" id="classSVF_1_1PointerAnalysis_html_a5ec3d9bf1fc81346c9df29638daedc0f"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a5ec3d9bf1fc81346c9df29638daedc0f">SVF::PointerAnalysis::stat</a></div><div class="ttdeci">PTAStat * stat</div><div class="ttdoc">Statistics. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00154">PointerAnalysis.h:154</a></div></div>
|
|
1008
|
-
<div class="ttc" id="classSVF_1_1AndersenLCD_html_aa830cfc0e46114751337e8ea3586d0bb"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#aa830cfc0e46114751337e8ea3586d0bb">SVF::AndersenLCD::addLCDCandidate</a></div><div class="ttdeci">void addLCDCandidate(NodeID nodeId)</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#
|
|
1008
|
+
<div class="ttc" id="classSVF_1_1AndersenLCD_html_aa830cfc0e46114751337e8ea3586d0bb"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#aa830cfc0e46114751337e8ea3586d0bb">SVF::AndersenLCD::addLCDCandidate</a></div><div class="ttdeci">void addLCDCandidate(NodeID nodeId)</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00505">Andersen.h:505</a></div></div>
|
|
1009
1009
|
<div class="ttc" id="classSVF_1_1Andersen_html_ac4afe532655c3f311143ebbe15175ca2"><div class="ttname"><a href="classSVF_1_1Andersen.html#ac4afe532655c3f311143ebbe15175ca2">SVF::Andersen::processCopy</a></div><div class="ttdeci">virtual bool processCopy(NodeID node, const ConstraintEdge *edge)</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00363">Andersen.cpp:363</a></div></div>
|
|
1010
|
-
<div class="ttc" id="classSVF_1_1AndersenLCD_html_a4f374bbd066f9e8b1480184a1416b68b"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#a4f374bbd066f9e8b1480184a1416b68b">SVF::AndersenLCD::isMetEdge</a></div><div class="ttdeci">bool isMetEdge(ConstraintEdge *edge) const</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#
|
|
1010
|
+
<div class="ttc" id="classSVF_1_1AndersenLCD_html_a4f374bbd066f9e8b1480184a1416b68b"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#a4f374bbd066f9e8b1480184a1416b68b">SVF::AndersenLCD::isMetEdge</a></div><div class="ttdeci">bool isMetEdge(ConstraintEdge *edge) const</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00513">Andersen.h:513</a></div></div>
|
|
1011
1011
|
<div class="ttc" id="SVFBasicTypes_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFBasicTypes_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00182">SVFBasicTypes.h:182</a></div></div>
|
|
1012
1012
|
<div class="ttc" id="classSVF_1_1ConstraintNode_html_ab77173aa8af6155b569f20ff0cdcec72"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#ab77173aa8af6155b569f20ff0cdcec72">SVF::ConstraintNode::getCopyOutEdges</a></div><div class="ttdeci">const ConstraintEdge::ConstraintEdgeSetTy & getCopyOutEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00128">ConsGNode.h:128</a></div></div>
|
|
1013
1013
|
<div class="ttc" id="classSVF_1_1ConstraintNode_html_a19d3d2c996ba821227a836717e5443c8"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a19d3d2c996ba821227a836717e5443c8">SVF::ConstraintNode::getGepOutEdges</a></div><div class="ttdeci">const ConstraintEdge::ConstraintEdgeSetTy & getGepOutEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00136">ConsGNode.h:136</a></div></div>
|
|
@@ -1016,7 +1016,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1016
1016
|
<div class="ttc" id="classSVF_1_1ConstraintEdge_html"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html">SVF::ConstraintEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00048">ConsGEdge.h:48</a></div></div>
|
|
1017
1017
|
<div class="ttc" id="classSVF_1_1PointsTo_html"><div class="ttname"><a href="classSVF_1_1PointsTo.html">SVF::PointsTo</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00028">PointsTo.h:28</a></div></div>
|
|
1018
1018
|
<div class="ttc" id="classSVF_1_1Andersen_html_aa697d4a6fe09dd6e50abb09228b3567f"><div class="ttname"><a href="classSVF_1_1Andersen.html#aa697d4a6fe09dd6e50abb09228b3567f">SVF::Andersen::processGep</a></div><div class="ttdeci">virtual bool processGep(NodeID node, const GepCGEdge *edge)</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00383">Andersen.cpp:383</a></div></div>
|
|
1019
|
-
<div class="ttc" id="classSVF_1_1AndersenLCD_html_a0c5adfc0876e9bea02fe8ded41baeb91"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#a0c5adfc0876e9bea02fe8ded41baeb91">SVF::AndersenLCD::addMetEdge</a></div><div class="ttdeci">void addMetEdge(ConstraintEdge *edge)</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#
|
|
1019
|
+
<div class="ttc" id="classSVF_1_1AndersenLCD_html_a0c5adfc0876e9bea02fe8ded41baeb91"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#a0c5adfc0876e9bea02fe8ded41baeb91">SVF::AndersenLCD::addMetEdge</a></div><div class="ttdeci">void addMetEdge(ConstraintEdge *edge)</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00518">Andersen.h:518</a></div></div>
|
|
1020
1020
|
<div class="ttc" id="classSVF_1_1PTAStat_html_a3c4eaa1695ea13405911ae1621f98edc"><div class="ttname"><a href="classSVF_1_1PTAStat.html#a3c4eaa1695ea13405911ae1621f98edc">SVF::PTAStat::getClk</a></div><div class="ttdeci">static double getClk(bool mark=false)</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8cpp_source.html#l00114">PTAStat.cpp:114</a></div></div>
|
|
1021
1021
|
</div><!-- fragment -->
|
|
1022
1022
|
</div>
|
|
@@ -1044,8 +1044,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1044
1044
|
</table>
|
|
1045
1045
|
</div><div class="memdoc">
|
|
1046
1046
|
|
|
1047
|
-
<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#
|
|
1048
|
-
<div class="fragment"><div class="line"><a name="
|
|
1047
|
+
<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00497">497</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
|
|
1048
|
+
<div class="fragment"><div class="line"><a name="l00498"></a><span class="lineno"> 498</span>  {</div><div class="line"><a name="l00499"></a><span class="lineno"> 499</span>  <span class="keywordflow">return</span> !<a class="code" href="classSVF_1_1AndersenLCD.html#a63823aa384f1438917c3625befa30bad">lcdCandidates</a>.empty();</div><div class="line"><a name="l00500"></a><span class="lineno"> 500</span>  };</div><div class="ttc" id="classSVF_1_1AndersenLCD_html_a63823aa384f1438917c3625befa30bad"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#a63823aa384f1438917c3625befa30bad">SVF::AndersenLCD::lcdCandidates</a></div><div class="ttdeci">NodeSet lcdCandidates</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00467">Andersen.h:467</a></div></div>
|
|
1049
1049
|
</div><!-- fragment -->
|
|
1050
1050
|
</div>
|
|
1051
1051
|
</div>
|
|
@@ -1073,8 +1073,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1073
1073
|
</table>
|
|
1074
1074
|
</div><div class="memdoc">
|
|
1075
1075
|
|
|
1076
|
-
<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#
|
|
1077
|
-
<div class="fragment"><div class="line"><a name="
|
|
1076
|
+
<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00513">513</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
|
|
1077
|
+
<div class="fragment"><div class="line"><a name="l00514"></a><span class="lineno"> 514</span>  {</div><div class="line"><a name="l00515"></a><span class="lineno"> 515</span>  EdgeSet::const_iterator it = <a class="code" href="classSVF_1_1AndersenLCD.html#a501ff7f8648c735c4a896063128d9ccc">metEdges</a>.find(edge->getEdgeID());</div><div class="line"><a name="l00516"></a><span class="lineno"> 516</span>  <span class="keywordflow">return</span> it != <a class="code" href="classSVF_1_1AndersenLCD.html#a501ff7f8648c735c4a896063128d9ccc">metEdges</a>.end();</div><div class="line"><a name="l00517"></a><span class="lineno"> 517</span>  };</div><div class="ttc" id="classSVF_1_1AndersenLCD_html_a501ff7f8648c735c4a896063128d9ccc"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#a501ff7f8648c735c4a896063128d9ccc">SVF::AndersenLCD::metEdges</a></div><div class="ttdeci">EdgeSet metEdges</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00466">Andersen.h:466</a></div></div>
|
|
1078
1078
|
</div><!-- fragment -->
|
|
1079
1079
|
</div>
|
|
1080
1080
|
</div>
|
|
@@ -1103,8 +1103,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1103
1103
|
<p>Collapse nodes and fields based on 'lcdCandidates' </p>
|
|
1104
1104
|
|
|
1105
1105
|
<p class="definition">Definition at line <a class="el" href="AndersenLCD_8cpp_source.html#l00091">91</a> of file <a class="el" href="AndersenLCD_8cpp_source.html">AndersenLCD.cpp</a>.</p>
|
|
1106
|
-
<div class="fragment"><div class="line"><a name="l00092"></a><span class="lineno"> 92</span> {</div><div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AndersenLCD.html#ad3f4bd35f98c43a0642b91c6b0e7acb3">hasLCDCandidate</a>())</div><div class="line"><a name="l00094"></a><span class="lineno"> 94</span>  {</div><div class="line"><a name="l00095"></a><span class="lineno"> 95</span>  <a class="code" href="classSVF_1_1AndersenLCD.html#a078a58b3b3f18cca4e09ff5a9a8ed791">SCCDetect</a>();</div><div class="line"><a name="l00096"></a><span class="lineno"> 96</span>  <a class="code" href="classSVF_1_1AndersenLCD.html#ab58bd928fbfcc56344dcaf82a9c360a2">cleanLCDCandidate</a>();</div><div class="line"><a name="l00097"></a><span class="lineno"> 97</span>  }</div><div class="line"><a name="l00098"></a><span class="lineno"> 98</span> }</div><div class="ttc" id="classSVF_1_1AndersenLCD_html_ad3f4bd35f98c43a0642b91c6b0e7acb3"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#ad3f4bd35f98c43a0642b91c6b0e7acb3">SVF::AndersenLCD::hasLCDCandidate</a></div><div class="ttdeci">bool hasLCDCandidate() const</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#
|
|
1107
|
-
<div class="ttc" id="classSVF_1_1AndersenLCD_html_ab58bd928fbfcc56344dcaf82a9c360a2"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#ab58bd928fbfcc56344dcaf82a9c360a2">SVF::AndersenLCD::cleanLCDCandidate</a></div><div class="ttdeci">void cleanLCDCandidate()</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#
|
|
1106
|
+
<div class="fragment"><div class="line"><a name="l00092"></a><span class="lineno"> 92</span> {</div><div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AndersenLCD.html#ad3f4bd35f98c43a0642b91c6b0e7acb3">hasLCDCandidate</a>())</div><div class="line"><a name="l00094"></a><span class="lineno"> 94</span>  {</div><div class="line"><a name="l00095"></a><span class="lineno"> 95</span>  <a class="code" href="classSVF_1_1AndersenLCD.html#a078a58b3b3f18cca4e09ff5a9a8ed791">SCCDetect</a>();</div><div class="line"><a name="l00096"></a><span class="lineno"> 96</span>  <a class="code" href="classSVF_1_1AndersenLCD.html#ab58bd928fbfcc56344dcaf82a9c360a2">cleanLCDCandidate</a>();</div><div class="line"><a name="l00097"></a><span class="lineno"> 97</span>  }</div><div class="line"><a name="l00098"></a><span class="lineno"> 98</span> }</div><div class="ttc" id="classSVF_1_1AndersenLCD_html_ad3f4bd35f98c43a0642b91c6b0e7acb3"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#ad3f4bd35f98c43a0642b91c6b0e7acb3">SVF::AndersenLCD::hasLCDCandidate</a></div><div class="ttdeci">bool hasLCDCandidate() const</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00497">Andersen.h:497</a></div></div>
|
|
1107
|
+
<div class="ttc" id="classSVF_1_1AndersenLCD_html_ab58bd928fbfcc56344dcaf82a9c360a2"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#ab58bd928fbfcc56344dcaf82a9c360a2">SVF::AndersenLCD::cleanLCDCandidate</a></div><div class="ttdeci">void cleanLCDCandidate()</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00501">Andersen.h:501</a></div></div>
|
|
1108
1108
|
<div class="ttc" id="classSVF_1_1AndersenLCD_html_a078a58b3b3f18cca4e09ff5a9a8ed791"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#a078a58b3b3f18cca4e09ff5a9a8ed791">SVF::AndersenLCD::SCCDetect</a></div><div class="ttdeci">NodeStack & SCCDetect()</div><div class="ttdef"><b>Definition:</b> <a href="AndersenLCD_8cpp_source.html#l00103">AndersenLCD.cpp:103</a></div></div>
|
|
1109
1109
|
</div><!-- fragment -->
|
|
1110
1110
|
</div>
|
|
@@ -1188,8 +1188,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1188
1188
|
</table>
|
|
1189
1189
|
</div><div class="memdoc">
|
|
1190
1190
|
|
|
1191
|
-
<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#
|
|
1192
|
-
<div class="fragment"><div class="line"><a name="
|
|
1191
|
+
<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00487">487</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
|
|
1192
|
+
<div class="fragment"><div class="line"><a name="l00488"></a><span class="lineno"> 488</span>  {</div><div class="line"><a name="l00489"></a><span class="lineno"> 489</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AndersenLCD.html#ae4e979d6e7fa83c8961d0caf0ca0f54e">lcdAndersen</a>)</div><div class="line"><a name="l00490"></a><span class="lineno"> 490</span>  <span class="keyword">delete</span> <a class="code" href="classSVF_1_1AndersenLCD.html#ae4e979d6e7fa83c8961d0caf0ca0f54e">lcdAndersen</a>;</div><div class="line"><a name="l00491"></a><span class="lineno"> 491</span>  <a class="code" href="classSVF_1_1AndersenLCD.html#ae4e979d6e7fa83c8961d0caf0ca0f54e">lcdAndersen</a> = <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00492"></a><span class="lineno"> 492</span>  }</div><div class="ttc" id="classSVF_1_1AndersenLCD_html_ae4e979d6e7fa83c8961d0caf0ca0f54e"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#ae4e979d6e7fa83c8961d0caf0ca0f54e">SVF::AndersenLCD::lcdAndersen</a></div><div class="ttdeci">static AndersenLCD * lcdAndersen</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00465">Andersen.h:465</a></div></div>
|
|
1193
1193
|
</div><!-- fragment -->
|
|
1194
1194
|
</div>
|
|
1195
1195
|
</div>
|
|
@@ -1226,7 +1226,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1226
1226
|
<div class="ttc" id="namespaceSVF_html_a212231734fa43d5c7414137deaac7df3"><div class="ttname"><a href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">SVF::NodeSet</a></div><div class="ttdeci">Set< NodeID > NodeSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00122">SVFBasicTypes.h:122</a></div></div>
|
|
1227
1227
|
<div class="ttc" id="classSVF_1_1SCCDetection_html_a123b5006a6da7053e5e357140da3c5a3"><div class="ttname"><a href="classSVF_1_1SCCDetection.html#a123b5006a6da7053e5e357140da3c5a3">SVF::SCCDetection::find</a></div><div class="ttdeci">void find(void)</div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00308">SCC.h:308</a></div></div>
|
|
1228
1228
|
<div class="ttc" id="classSVF_1_1AndersenBase_html_a02c5a50b214d36921e1404784e76704d"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d">SVF::AndersenBase::timeOfSCCMerges</a></div><div class="ttdeci">static double timeOfSCCMerges</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00132">Andersen.h:132</a></div></div>
|
|
1229
|
-
<div class="ttc" id="classSVF_1_1AndersenLCD_html_a63823aa384f1438917c3625befa30bad"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#a63823aa384f1438917c3625befa30bad">SVF::AndersenLCD::lcdCandidates</a></div><div class="ttdeci">NodeSet lcdCandidates</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#
|
|
1229
|
+
<div class="ttc" id="classSVF_1_1AndersenLCD_html_a63823aa384f1438917c3625befa30bad"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#a63823aa384f1438917c3625befa30bad">SVF::AndersenLCD::lcdCandidates</a></div><div class="ttdeci">NodeSet lcdCandidates</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00467">Andersen.h:467</a></div></div>
|
|
1230
1230
|
<div class="ttc" id="classSVF_1_1AndersenBase_html_a0d7298cbf83568f24fd2bd1926a32968"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a0d7298cbf83568f24fd2bd1926a32968">SVF::AndersenBase::numOfSCCDetection</a></div><div class="ttdeci">static u32_t numOfSCCDetection</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00130">Andersen.h:130</a></div></div>
|
|
1231
1231
|
<div class="ttc" id="classSVF_1_1AndersenBase_html_a6b7d0e57f741c446d0bf178939960143"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143">SVF::AndersenBase::timeOfSCCDetection</a></div><div class="ttdeci">static double timeOfSCCDetection</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00131">Andersen.h:131</a></div></div>
|
|
1232
1232
|
<div class="ttc" id="classSVF_1_1WPASolver_html_a37ca8a99b8f83fba796293e6e13b0953"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a37ca8a99b8f83fba796293e6e13b0953">SVF::WPASolver::getSCCDetector</a></div><div class="ttdeci">SCC * getSCCDetector() const</div><div class="ttdoc">Get SCC detector. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00071">WPASolver.h:71</a></div></div>
|
|
@@ -1297,7 +1297,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1297
1297
|
</table>
|
|
1298
1298
|
</div><div class="memdoc">
|
|
1299
1299
|
|
|
1300
|
-
<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#
|
|
1300
|
+
<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00465">465</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
|
|
1301
1301
|
|
|
1302
1302
|
</div>
|
|
1303
1303
|
</div>
|
|
@@ -1321,7 +1321,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1321
1321
|
</table>
|
|
1322
1322
|
</div><div class="memdoc">
|
|
1323
1323
|
|
|
1324
|
-
<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#
|
|
1324
|
+
<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00467">467</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
|
|
1325
1325
|
|
|
1326
1326
|
</div>
|
|
1327
1327
|
</div>
|
|
@@ -1345,7 +1345,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
1345
1345
|
</table>
|
|
1346
1346
|
</div><div class="memdoc">
|
|
1347
1347
|
|
|
1348
|
-
<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#
|
|
1348
|
+
<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00466">466</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
|
|
1349
1349
|
|
|
1350
1350
|
</div>
|
|
1351
1351
|
</div>
|