npm - svf-tools - Versions diffs - 1.0.757 → 1.0.759 - Mend

svf-tools 1.0.757 → 1.0.759

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.

Files changed (844) hide show

package/SVF-doxygen/html/html/VFG_8cpp_source.html CHANGED Viewed

@@ -520,7 +520,7 @@ $(function() {
 <div class="line"><a name="l00463"></a><span class="lineno"><a class="line" href="classSVF_1_1VFG.html#a3544cc0380964f238c964a0e7b417862">  463</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1VFG.html#a3544cc0380964f238c964a0e7b417862">VFG::addVFGNodes</a>()</div>
 <div class="line"><a name="l00464"></a><span class="lineno">  464</span>&#160;{</div>
 <div class="line"><a name="l00465"></a><span class="lineno">  465</span>&#160; </div>
-<div class="line"><a name="l00466"></a><span class="lineno">  466</span>&#160;    <span class="comment">// initialize dummy definition  null pointers in order to uniform the construction</span></div>
+<div class="line"><a name="l00466"></a><span class="lineno">  466</span>&#160;    <span class="comment">// initialize dummy definition null pointers in order to uniform the construction</span></div>
 <div class="line"><a name="l00467"></a><span class="lineno">  467</span>&#160;    <span class="comment">// to be noted for black hole pointer it has already has address edge connected,</span></div>
 <div class="line"><a name="l00468"></a><span class="lineno">  468</span>&#160;    <span class="comment">// and its definition will be set when processing addr SVFIR edge.</span></div>
 <div class="line"><a name="l00469"></a><span class="lineno">  469</span>&#160;    <a class="code" href="classSVF_1_1VFG.html#a59bc855eb8591d88e0898e14d4f4b607">addNullPtrVFGNode</a>(<a class="code" href="classSVF_1_1VFG.html#a25c2bbbc2e966e2aaa59a5b83363557a">pag</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(<a class="code" href="classSVF_1_1VFG.html#a25c2bbbc2e966e2aaa59a5b83363557a">pag</a>-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a3de9a2a565c303f68a90c32dc59febd5">getNullPtr</a>()));</div>
@@ -712,7 +712,7 @@ $(function() {
 <div class="line"><a name="l00658"></a><span class="lineno">  658</span>&#160;        <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1VFG.html#a85360d0242ea7d2ec7da670f2cc17962">isInterestedPAGNode</a>(edge-&gt;<a class="code" href="classSVF_1_1BranchStmt.html#a2c6fe09027838f9e0ad9ab8193ce8e9b">getBranchInst</a>()))</div>
 <div class="line"><a name="l00659"></a><span class="lineno">  659</span>&#160;            <a class="code" href="classSVF_1_1VFG.html#a18afc4baf33eb700e0510928016019f5">addBranchVFGNode</a>(edge);</div>
 <div class="line"><a name="l00660"></a><span class="lineno">  660</span>&#160;    }</div>
-<div class="line"><a name="l00661"></a><span class="lineno">  661</span>&#160;    <span class="comment">// initialize llvm cmp nodes (comparision)</span></div>
+<div class="line"><a name="l00661"></a><span class="lineno">  661</span>&#160;    <span class="comment">// initialize llvm cmp nodes (comparison)</span></div>
 <div class="line"><a name="l00662"></a><span class="lineno">  662</span>&#160;    <a class="code" href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVFStmt::SVFStmtSetTy</a>&amp; cmps = <a class="code" href="classSVF_1_1VFG.html#a2e182f7e90a3519a2147a300470a88f1">getPAGEdgeSet</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVFStmt::Cmp</a>);</div>
 <div class="line"><a name="l00663"></a><span class="lineno">  663</span>&#160;    <span class="keywordflow">for</span> (SVFStmt::SVFStmtSetTy::iterator iter = cmps.begin(), eiter =</div>
 <div class="line"><a name="l00664"></a><span class="lineno">  664</span>&#160;                cmps.end(); iter != eiter; ++iter)</div>

package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html CHANGED Viewed

@@ -386,7 +386,7 @@ $(function() {
 <div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160; </div>
 <div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;                    <span class="keywordtype">int</span> mSCC = partOf[m];</div>
 <div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160; </div>
-<div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;                    <span class="comment">// There is an edge from the SCC n belongs to to that m belongs to.</span></div>
+<div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;                    <span class="comment">// There is an edge from the SCC n belongs to that m belongs to.</span></div>
 <div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;                    sccReliance[nSCC].insert(mSCC);</div>
 <div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160; </div>
 <div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;                    <span class="comment">// Ignore edges to delta nodes (prelabeled consume).</span></div>
@@ -456,7 +456,7 @@ $(function() {
 <div class="line"><a name="l00385"></a><span class="lineno">  385</span>&#160; </div>
 <div class="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;            <span class="comment">// 7. a. Save versions for nodes which need them.</span></div>
 <div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;            <span class="comment">//    b. Fill in stmtReliance.</span></div>
-<div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;            <span class="comment">// TODO: maybe randomise iteration order for less contention? Needs profiling.</span></div>
+<div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;            <span class="comment">// TODO: maybe randomize iteration order for less contention? Needs profiling.</span></div>
 <div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;            <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;Version, NodeBS&gt;</a> &amp;osStmtReliance = this-&gt;<a class="code" href="classSVF_1_1VersionedFlowSensitive.html#af0859eb2a5b46c45aa4314e6e54f4438">stmtReliance</a>.at(o);</div>
 <div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;            <span class="keywordflow">for</span> (<span class="keywordtype">size_t</span> i = 0; i &lt; nodesWhichNeedVersions.size(); ++i)</div>
 <div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;            {</div>

package/SVF-doxygen/html/html/WPAPass_8cpp_source.html CHANGED Viewed

@@ -350,7 +350,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a0d9744b1b0e7a09a6f7af29188e243b7"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">SVF::GenericGraph::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdoc">Iterators.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00380">GenericGraph.h:380</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85accfa4ed42d3a3ac5e4abc403e738427b"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85accfa4ed42d3a3ac5e4abc403e738427b">SVF::PointerAnalysis::AndersenSFR_WPA</a></div><div class="ttdeci">@ AndersenSFR_WPA</div><div class="ttdoc">Stride-based field representation.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00069">PointerAnalysis.h:69</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01069">SVFValue.h:1069</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01075">SVFValue.h:1075</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFG_html_a49a910bc4ea6e98d1584e74a018badc9"><div class="ttname"><a href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">SVF::SVFG::getMSSA</a></div><div class="ttdeci">MemSSA * getMSSA() const</div><div class="ttdoc">Get SVFG memory SSA.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00137">SVFG.h:137</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_ac213302cf5c7cdf3b66f7b18649d0fbc"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;::iterator</a></div><div class="ttdeci">IDToNodeMapTy::iterator iterator</div><div class="ttdoc">Node Iterators.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00359">GenericGraph.h:359</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_aea9e5e0cc5de48f3b959fa25d6ef5e1f"><div class="ttname"><a href="classSVF_1_1Options.html#aea9e5e0cc5de48f3b959fa25d6ef5e1f">SVF::Options::AnderSVFG</a></div><div class="ttdeci">static const Option&lt; bool &gt; AnderSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00252">Options.h:252</a></div></div>
@@ -361,7 +361,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85">SVF::PointerAnalysis::PTATY</a></div><div class="ttdeci">PTATY</div><div class="ttdoc">Pointer analysis type list.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00063">PointerAnalysis.h:63</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFG_html_a7622e381fbc1601b3f9a8384df2751bd"><div class="ttname"><a href="classSVF_1_1VFG.html#a7622e381fbc1601b3f9a8384df2751bd">SVF::VFG::getPAG</a></div><div class="ttdeci">SVFIR * getPAG() const</div><div class="ttdoc">Return SVFIR.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00133">VFG.h:133</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html_ac2a0091dab3543a398da890b947e42ef"><div class="ttname"><a href="classSVF_1_1CallSite.html#ac2a0091dab3543a398da890b947e42ef">SVF::CallSite::getInstruction</a></div><div class="ttdeci">const SVFInstruction * getInstruction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01084">SVFValue.h:1084</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html_ac2a0091dab3543a398da890b947e42ef"><div class="ttname"><a href="classSVF_1_1CallSite.html#ac2a0091dab3543a398da890b947e42ef">SVF::CallSite::getInstruction</a></div><div class="ttdeci">const SVFInstruction * getInstruction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01090">SVFValue.h:1090</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AndersenSFR_html"><div class="ttname"><a href="classSVF_1_1AndersenSFR.html">SVF::AndersenSFR</a></div><div class="ttdef"><b>Definition:</b> <a href="AndersenPWC_8h_source.html#l00102">AndersenPWC.h:102</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPAPass_html_a0b57d86a5305aefcd6c8ae4e328d3ab0"><div class="ttname"><a href="classSVF_1_1WPAPass.html#a0b57d86a5305aefcd6c8ae4e328d3ab0">SVF::WPAPass::_pta</a></div><div class="ttdeci">PointerAnalysis * _pta</div><div class="ttdoc">pointer analysis to be executed.</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00117">WPAPass.h:117</a></div></div>

package/SVF-doxygen/html/html/WPAPass_8h_source.html CHANGED Viewed

@@ -200,7 +200,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1WPAPass_html_a4505a1882956feda3cf83c788149394da498ba80d25733b291f391a94500dd4c7"><div class="ttname"><a href="classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394da498ba80d25733b291f391a94500dd4c7">SVF::WPAPass::Conservative</a></div><div class="ttdeci">@ Conservative</div><div class="ttdoc">return MayAlias if any pta says alias</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00064">WPAPass.h:64</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPAPass_html_a3fc957e01a3ac7c242c030c6f6846fa9"><div class="ttname"><a href="classSVF_1_1WPAPass.html#a3fc957e01a3ac7c242c030c6f6846fa9">SVF::WPAPass::WPAPass</a></div><div class="ttdeci">WPAPass()</div><div class="ttdoc">Constructor needs TargetLibraryInfo to be passed to the AliasAnalysis.</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00070">WPAPass.h:70</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPAPass_html_a4d27be04d38089e86b8b6a1d22e9d8f8"><div class="ttname"><a href="classSVF_1_1WPAPass.html#a4d27be04d38089e86b8b6a1d22e9d8f8">SVF::WPAPass::getPts</a></div><div class="ttdeci">virtual const PointsTo &amp; getPts(const SVFValue *value)</div><div class="ttdoc">Retrieve points-to set information.</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8cpp_source.html#l00157">WPAPass.cpp:157</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01069">SVFValue.h:1069</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01075">SVFValue.h:1075</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPAPass_html_abb6e0c5cc5de312ee0285d1854550752"><div class="ttname"><a href="classSVF_1_1WPAPass.html#abb6e0c5cc5de312ee0285d1854550752">SVF::WPAPass::PrintAliasPairs</a></div><div class="ttdeci">virtual void PrintAliasPairs(PointerAnalysis *pta)</div><div class="ttdoc">Print all alias pairs.</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8cpp_source.html#l00133">WPAPass.cpp:133</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>

package/SVF-doxygen/html/html/WPASolver_8h_source.html CHANGED Viewed

@@ -273,7 +273,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1WPASolver_html_a0c5616b0e340955dafc2ab2f21740abd"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a0c5616b0e340955dafc2ab2f21740abd">SVF::WPASolver::WPASolver</a></div><div class="ttdeci">WPASolver()</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00060">WPASolver.h:60</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPASolver_html_a904c056bcad2bdaff13763a48d372420"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a904c056bcad2bdaff13763a48d372420">SVF::WPASolver::propFromSrcToDst</a></div><div class="ttdeci">virtual bool propFromSrcToDst(GEDGE *)</div><div class="ttdoc">Propagate information from source to destination node, to be implemented in the child class.</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00138">WPASolver.h:138</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPASolver_html_aa7c0636780a86f376e9222bce771e859"><div class="ttname"><a href="classSVF_1_1WPASolver.html#aa7c0636780a86f376e9222bce771e859">SVF::WPASolver::iterationForPrintStat</a></div><div class="ttdeci">u32_t iterationForPrintStat</div><div class="ttdoc">print out statistics for i-th iteration</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00173">WPASolver.h:173</a></div></div>
-<div class="ttc" id="aclassSVF_1_1WPASolver_html_ab3369caa278da03e6e6697a839985cd6"><div class="ttname"><a href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">SVF::WPASolver::numOfIteration</a></div><div class="ttdeci">u32_t numOfIteration</div><div class="ttdoc">num of iterations during constaint solving</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00200">WPASolver.h:200</a></div></div>
+<div class="ttc" id="aclassSVF_1_1WPASolver_html_ab3369caa278da03e6e6697a839985cd6"><div class="ttname"><a href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">SVF::WPASolver::numOfIteration</a></div><div class="ttdeci">u32_t numOfIteration</div><div class="ttdoc">num of iterations during constraint solving</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00200">WPASolver.h:200</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPASolver_html_a992b105a0ec126050a123e24db3bd45b"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a992b105a0ec126050a123e24db3bd45b">SVF::WPASolver::isWorklistEmpty</a></div><div class="ttdeci">bool isWorklistEmpty()</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00160">WPASolver.h:160</a></div></div>
 <div class="ttc" id="astructSVF_1_1GenericGraphTraits_html_a05654ab9615d75bc8e5f8c5cf9297205"><div class="ttname"><a href="structSVF_1_1GenericGraphTraits.html#a05654ab9615d75bc8e5f8c5cf9297205">SVF::GenericGraphTraits::NodeRef</a></div><div class="ttdeci">typename GraphType::UnknownGraphTypeError NodeRef</div><div class="ttdef"><b>Definition:</b> <a href="GraphTraits_8h_source.html#l00080">GraphTraits.h:80</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPASolver_html_a541ef7fda44ce79086c30b07a5f6126c"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a541ef7fda44ce79086c30b07a5f6126c">SVF::WPASolver::propagate</a></div><div class="ttdeci">virtual void propagate(GNODE *v)</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00127">WPASolver.h:127</a></div></div>

package/SVF-doxygen/html/html/WTO_8h_source.html CHANGED Viewed

@@ -887,7 +887,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1WTOVisitor_html_a78a0b2d508d8591126203f8b5d6e22cd"><div class="ttname"><a href="classSVF_1_1WTOVisitor.html#a78a0b2d508d8591126203f8b5d6e22cd">SVF::WTOVisitor::WTOVisitor</a></div><div class="ttdeci">WTOVisitor()=default</div><div class="ttdoc">Default Constructor.</div></div>
 <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a371c7416c88df3c0b70addf9b88b305a"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a371c7416c88df3c0b70addf9b88b305a">SVF::CFBasicBlockGWTO::build_tails</a></div><div class="ttdeci">virtual void build_tails()</div><div class="ttdoc">Build the tails for each cycle.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00829">WTO.h:829</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOComp_html_a83d5f4a0d2c4efc9840d30f1a1c3b300aca33b5832e3fca1c5966ecc4ce695f96"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300aca33b5832e3fca1c5966ecc4ce695f96">SVF::CFBasicBlockGWTOComp::Cycle</a></div><div class="ttdeci">@ Cycle</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00291">WTO.h:291</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00670">SVFUtil.h:670</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00655">SVFUtil.h:655</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a622b439ca78cc523abe308b26daa337b"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a622b439ca78cc523abe308b26daa337b">SVF::CFBasicBlockGWTO::operator&lt;&lt;</a></div><div class="ttdeci">friend std::ostream &amp; operator&lt;&lt;(std::ostream &amp;o, const CFBasicBlockGWTO &amp;CFBasicBlockGWTO)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00595">WTO.h:595</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOCycle_html_ac1093f863214966bd24e3696d276856f"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOCycle.html#ac1093f863214966bd24e3696d276856f">SVF::CFBasicBlockGWTOCycle::_components</a></div><div class="ttdeci">WtoComponentRefList _components</div><div class="ttdoc">List of components.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00397">WTO.h:397</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a6cc2cb7b203e16b9cc8f5e121f39bd9f"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a6cc2cb7b203e16b9cc8f5e121f39bd9f">SVF::CFBasicBlockGWTO::build</a></div><div class="ttdeci">void build(const CFBasicBlockNode *entry)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00603">WTO.h:603</a></div></div>

package/SVF-doxygen/html/html/annotated.html CHANGED Viewed

@@ -143,7 +143,7 @@ $(function() {
 <tr id="row_2_1_38_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5const_01_4.html" target="_self">isa_impl_cl&lt; To, From *const &gt;</a></td><td class="desc"></td></tr>
 <tr id="row_2_1_39_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html" target="_self">isa_impl_wrap</a></td><td class="desc"></td></tr>
 <tr id="row_2_1_40_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html" target="_self">isa_impl_wrap&lt; To, FromTy, FromTy &gt;</a></td><td class="desc"></td></tr>
-<tr id="row_2_1_41_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1make__void.html" target="_self">make_void</a></td><td class="desc">Void_t is not avaiable until C++17. We define it here for C++11/14 </td></tr>
+<tr id="row_2_1_41_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1make__void.html" target="_self">make_void</a></td><td class="desc">Void_t is not available until C++17. We define it here for C++11/14 </td></tr>
 <tr id="row_2_1_42_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1simplify__type.html" target="_self">simplify_type</a></td><td class="desc"></td></tr>
 <tr id="row_2_1_43_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html" target="_self">simplify_type&lt; const From &gt;</a></td><td class="desc"></td></tr>
 <tr id="row_2_2_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AbstractValue.html" target="_self">AbstractValue</a></td><td class="desc"></td></tr>
@@ -270,10 +270,7 @@ $(function() {
 <tr id="row_2_119_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html" target="_self">DummyVersionPropSVFGNode</a></td><td class="desc"></td></tr>
 <tr id="row_2_120_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1EntryCHI.html" target="_self">EntryCHI</a></td><td class="desc"></td></tr>
 <tr id="row_2_121_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ExeState.html" target="_self">ExeState</a></td><td class="desc"></td></tr>
-<tr id="row_2_122_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_122_" class="arrow" onclick="toggleFolder('2_122_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ExtAPI.html" target="_self">ExtAPI</a></td><td class="desc"></td></tr>
-<tr id="row_2_122_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html" target="_self">ExtFunctionOps</a></td><td class="desc"></td></tr>
-<tr id="row_2_122_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html" target="_self">ExtOperation</a></td><td class="desc"></td></tr>
-<tr id="row_2_122_2_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html" target="_self">Operand</a></td><td class="desc"></td></tr>
+<tr id="row_2_122_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ExtAPI.html" target="_self">ExtAPI</a></td><td class="desc"></td></tr>
 <tr id="row_2_123_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FIFOWorkList.html" target="_self">FIFOWorkList</a></td><td class="desc"></td></tr>
 <tr id="row_2_124_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FileChecker.html" target="_self">FileChecker</a></td><td class="desc"></td></tr>
 <tr id="row_2_125_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FileNeverCloseBug.html" target="_self">FileNeverCloseBug</a></td><td class="desc"></td></tr>

package/SVF-doxygen/html/html/cJSON_8cpp.html CHANGED Viewed

@@ -3114,7 +3114,7 @@ Variables</h2></td></tr>
 <div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;loop_end:</div>
 <div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;    number_c_string[i] = <span class="charliteral">&#39;\0&#39;</span>;</div>
 <div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160; </div>
-<div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;    <a class="code" href="cJSON_8cpp.html#a0b3e94800c28aaf801bbbf0b9b69fee4">number</a> = strtod((<span class="keyword">const</span> <span class="keywordtype">char</span>*)number_c_string, (<span class="keywordtype">char</span>**)&amp;after_end);</div>
+<div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;    <a class="code" href="cJSON_8cpp.html#a0b3e94800c28aaf801bbbf0b9b69fee4">number</a> = <a class="code" href="extapi_8c.html#ab017280f95ea769b9422688105f02653">strtod</a>((<span class="keyword">const</span> <span class="keywordtype">char</span>*)number_c_string, (<span class="keywordtype">char</span>**)&amp;after_end);</div>
 <div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;    <span class="keywordflow">if</span> (number_c_string == after_end)</div>
 <div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;    {</div>
 <div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>; <span class="comment">/* parse_error */</span></div>
@@ -5688,6 +5688,7 @@ Variables</h2></td></tr>
 <div class="ttc" id="acJSON_8cpp_html_a855c7241e836a5b2d87577df8c113faf"><div class="ttname"><a href="cJSON_8cpp.html#a855c7241e836a5b2d87577df8c113faf">global_hooks</a></div><div class="ttdeci">static internal_hooks global_hooks</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l00187">cJSON.cpp:187</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ad3d18116aae3bfa46f13bcfd7fd6d4e7"><div class="ttname"><a href="cJSON_8h.html#ad3d18116aae3bfa46f13bcfd7fd6d4e7">cJSON_IsReference</a></div><div class="ttdeci">#define cJSON_IsReference</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00099">cJSON.h:99</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_a5714bac836668a1b9af55465b78531ef"><div class="ttname"><a href="cJSON_8cpp.html#a5714bac836668a1b9af55465b78531ef">static_strlen</a></div><div class="ttdeci">#define static_strlen(string_literal)</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l00185">cJSON.cpp:185</a></div></div>
+<div class="ttc" id="aextapi_8c_html_ab017280f95ea769b9422688105f02653"><div class="ttname"><a href="extapi_8c.html#ab017280f95ea769b9422688105f02653">strtod</a></div><div class="ttdeci">double strtod(const char *str, char **endptr)</div><div class="ttdef"><b>Definition:</b> <a href="extapi_8c_source.html#l01281">extapi.c:1281</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ae9ddc931ea84908d12f48c5b7f8731a1"><div class="ttname"><a href="cJSON_8h.html#ae9ddc931ea84908d12f48c5b7f8731a1">cJSON_Raw</a></div><div class="ttdeci">#define cJSON_Raw</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00097">cJSON.h:97</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_a2257377f8b81f4f76a16b698f681af34"><div class="ttname"><a href="cJSON_8cpp.html#a2257377f8b81f4f76a16b698f681af34">can_read</a></div><div class="ttdeci">#define can_read(buffer, size)</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l00298">cJSON.cpp:298</a></div></div>
 <div class="ttc" id="astructcJSON_html_a4b21817d0fd2919901abadac73214e7f"><div class="ttname"><a href="structcJSON.html#a4b21817d0fd2919901abadac73214e7f">cJSON::valuedouble</a></div><div class="ttdeci">double valuedouble</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00119">cJSON.h:119</a></div></div>

package/SVF-doxygen/html/html/cJSON_8cpp_source.html CHANGED Viewed

@@ -422,7 +422,7 @@ $(function() {
 <div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;loop_end:</div>
 <div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;    number_c_string[i] = <span class="charliteral">&#39;\0&#39;</span>;</div>
 <div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160; </div>
-<div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;    <a class="code" href="cJSON_8cpp.html#a0b3e94800c28aaf801bbbf0b9b69fee4">number</a> = strtod((<span class="keyword">const</span> <span class="keywordtype">char</span>*)number_c_string, (<span class="keywordtype">char</span>**)&amp;after_end);</div>
+<div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;    <a class="code" href="cJSON_8cpp.html#a0b3e94800c28aaf801bbbf0b9b69fee4">number</a> = <a class="code" href="extapi_8c.html#ab017280f95ea769b9422688105f02653">strtod</a>((<span class="keyword">const</span> <span class="keywordtype">char</span>*)number_c_string, (<span class="keywordtype">char</span>**)&amp;after_end);</div>
 <div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;    <span class="keywordflow">if</span> (number_c_string == after_end)</div>
 <div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;    {</div>
 <div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>; <span class="comment">/* parse_error */</span></div>
@@ -3243,6 +3243,7 @@ $(function() {
 <div class="ttc" id="acJSON_8cpp_html_a7fd7640617f7ffead7a9b1408c9d0ae8"><div class="ttname"><a href="cJSON_8cpp.html#a7fd7640617f7ffead7a9b1408c9d0ae8">internal_malloc</a></div><div class="ttdeci">#define internal_malloc</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l00179">cJSON.cpp:179</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ad3d18116aae3bfa46f13bcfd7fd6d4e7"><div class="ttname"><a href="cJSON_8h.html#ad3d18116aae3bfa46f13bcfd7fd6d4e7">cJSON_IsReference</a></div><div class="ttdeci">#define cJSON_IsReference</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00099">cJSON.h:99</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_a5714bac836668a1b9af55465b78531ef"><div class="ttname"><a href="cJSON_8cpp.html#a5714bac836668a1b9af55465b78531ef">static_strlen</a></div><div class="ttdeci">#define static_strlen(string_literal)</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l00185">cJSON.cpp:185</a></div></div>
+<div class="ttc" id="aextapi_8c_html_ab017280f95ea769b9422688105f02653"><div class="ttname"><a href="extapi_8c.html#ab017280f95ea769b9422688105f02653">strtod</a></div><div class="ttdeci">double strtod(const char *str, char **endptr)</div><div class="ttdef"><b>Definition:</b> <a href="extapi_8c_source.html#l01281">extapi.c:1281</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_ac3d010a5f321146bc39a696b90a35c37"><div class="ttname"><a href="cJSON_8cpp.html#ac3d010a5f321146bc39a696b90a35c37">json</a></div><div class="ttdeci">global_error json</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01103">cJSON.cpp:1103</a></div></div>
 <div class="ttc" id="acJSON_8h_html"><div class="ttname"><a href="cJSON_8h.html">cJSON.h</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ae9ddc931ea84908d12f48c5b7f8731a1"><div class="ttname"><a href="cJSON_8h.html#ae9ddc931ea84908d12f48c5b7f8731a1">cJSON_Raw</a></div><div class="ttdeci">#define cJSON_Raw</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00097">cJSON.h:97</a></div></div>

package/SVF-doxygen/html/html/cJSON_8h_source.html CHANGED Viewed

@@ -182,7 +182,7 @@ $(function() {
 <div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;    <span class="comment">/* The type of the item, as above. */</span></div>
 <div class="line"><a name="l00112"></a><span class="lineno"><a class="line" href="structcJSON.html#ab13084c574681593b12f6e0a3db0dcfc">  112</a></span>&#160;    <span class="keywordtype">int</span> <a class="code" href="structcJSON.html#ab13084c574681593b12f6e0a3db0dcfc">type</a>;</div>
 <div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160; </div>
-<div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    <span class="comment">/* The item&#39;s string, if type==cJSON_String  and type == cJSON_Raw */</span></div>
+<div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    <span class="comment">/* The item&#39;s string, if type==cJSON_String and type == cJSON_Raw */</span></div>
 <div class="line"><a name="l00115"></a><span class="lineno"><a class="line" href="structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1">  115</a></span>&#160;    <span class="keywordtype">char</span> *<a class="code" href="structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1">valuestring</a>;</div>
 <div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    <span class="comment">/* writing to valueint is DEPRECATED, use cJSON_SetNumberValue instead */</span></div>
 <div class="line"><a name="l00117"></a><span class="lineno"><a class="line" href="structcJSON.html#a369cea49494eb5d4409d532a731a0fbf">  117</a></span>&#160;    <span class="keywordtype">int</span> <a class="code" href="structcJSON.html#a369cea49494eb5d4409d532a731a0fbf">valueint</a>;</div>

package/SVF-doxygen/html/html/cfl_8cpp.html CHANGED Viewed

@@ -162,10 +162,10 @@ Functions</h2></td></tr>
 </div>
 </div>
 </div><!-- contents -->
-<div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a2f8e91c075d90be66412a079fe73e936"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936">SVF::LLVMModuleSet::releaseLLVMModuleSet</a></div><div class="ttdeci">static void releaseLLVMModuleSet()</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00105">LLVMModule.h:105</a></div></div>
+<div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a2f8e91c075d90be66412a079fe73e936"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936">SVF::LLVMModuleSet::releaseLLVMModuleSet</a></div><div class="ttdeci">static void releaseLLVMModuleSet()</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00108">LLVMModule.h:108</a></div></div>
 <div class="ttc" id="aclassOptionBase_html_a4fb6c6e4a1754d702c6c1730f54457e5"><div class="ttname"><a href="classOptionBase.html#a4fb6c6e4a1754d702c6c1730f54457e5">OptionBase::parseOptions</a></div><div class="ttdeci">static std::vector&lt; std::string &gt; parseOptions(int argc, char *argv[], std::string description, std::string callFormat)</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00075">CommandLine.h:75</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRBuilder_html"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00046">SVFIRBuilder.h:46</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00041">SVFModule.h:41</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00040">SVFModule.h:40</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>

package/SVF-doxygen/html/html/cfl_8cpp_source.html CHANGED Viewed

@@ -162,11 +162,11 @@ $(function() {
 <div class="ttc" id="anamespacellvm_html"><div class="ttname"><a href="namespacellvm.html">llvm</a></div><div class="ttdef"><b>Definition:</b> <a href="GEPTypeBridgeIterator_8h_source.html#l00013">GEPTypeBridgeIterator.h:13</a></div></div>
 <div class="ttc" id="aLLVMUtil_8h_html"><div class="ttname"><a href="LLVMUtil_8h.html">LLVMUtil.h</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
-<div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a2f8e91c075d90be66412a079fe73e936"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936">SVF::LLVMModuleSet::releaseLLVMModuleSet</a></div><div class="ttdeci">static void releaseLLVMModuleSet()</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00105">LLVMModule.h:105</a></div></div>
+<div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a2f8e91c075d90be66412a079fe73e936"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936">SVF::LLVMModuleSet::releaseLLVMModuleSet</a></div><div class="ttdeci">static void releaseLLVMModuleSet()</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00108">LLVMModule.h:108</a></div></div>
 <div class="ttc" id="acfl_8cpp_html_a3c04138a5bfe5d72780bb7e82a18e627"><div class="ttname"><a href="cfl_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a></div><div class="ttdeci">int main(int argc, char **argv)</div><div class="ttdef"><b>Definition:</b> <a href="cfl_8cpp_source.html#l00041">cfl.cpp:41</a></div></div>
 <div class="ttc" id="aclassOptionBase_html_a4fb6c6e4a1754d702c6c1730f54457e5"><div class="ttname"><a href="classOptionBase.html#a4fb6c6e4a1754d702c6c1730f54457e5">OptionBase::parseOptions</a></div><div class="ttdeci">static std::vector&lt; std::string &gt; parseOptions(int argc, char *argv[], std::string description, std::string callFormat)</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00075">CommandLine.h:75</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRBuilder_html"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00046">SVFIRBuilder.h:46</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00041">SVFModule.h:41</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00040">SVFModule.h:40</a></div></div>
 <div class="ttc" id="aCFLAlias_8h_html"><div class="ttname"><a href="CFLAlias_8h.html">CFLAlias.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
 <div class="ttc" id="aCFLVF_8h_html"><div class="ttname"><a href="CFLVF_8h.html">CFLVF.h</a></div></div>

package/SVF-doxygen/html/html/classOption.html CHANGED Viewed

@@ -389,7 +389,7 @@ template&lt;typename T &gt; </div>
 <div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160; </div>
 <div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;        <span class="comment">// Use strtoul because we&#39;re not using exceptions.</span></div>
 <div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;        assert(<span class="keyword">sizeof</span>(<span class="keywordtype">unsigned</span> <span class="keywordtype">long</span>) &gt;= <span class="keyword">sizeof</span>(<a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a>));</div>
-<div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;        <span class="keyword">const</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">long</span> sv = std::strtoul(s.c_str(), <span class="keyword">nullptr</span>, 10);</div>
+<div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;        <span class="keyword">const</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">long</span> sv = <a class="code" href="extapi_8c.html#aa7d767d03ce3929978c28f64e3a4b222">std::strtoul</a>(s.c_str(), <span class="keyword">nullptr</span>, 10);</div>
 <div class="line"><a name="l00394"></a><span class="lineno">  394</span>&#160; </div>
 <div class="line"><a name="l00395"></a><span class="lineno">  395</span>&#160;        <span class="comment">// Out of range according to strtoul, or according to us compared to u32_t.</span></div>
 <div class="line"><a name="l00396"></a><span class="lineno">  396</span>&#160;        <span class="keywordflow">if</span> (errno == ERANGE || sv &gt; std::numeric_limits&lt;u32_t&gt;::max()) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
@@ -599,6 +599,7 @@ template&lt;typename T &gt; </div>
 <div class="ttc" id="aCommandLine_8h_html_a2429346d37bd4c40889bd7c6d319d9da"><div class="ttname"><a href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00018">CommandLine.h:18</a></div></div>
 <div class="ttc" id="aclassOption_html_a1a2432713251f4422296c0c42efb9d9c"><div class="ttname"><a href="classOption.html#a1a2432713251f4422296c0c42efb9d9c">Option::fromString</a></div><div class="ttdeci">static bool fromString(const std::string &amp;s, bool &amp;value)</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00363">CommandLine.h:363</a></div></div>
 <div class="ttc" id="aclassOptionBase_html_ae99500409f218ce63d4dbce537884c7f"><div class="ttname"><a href="classOptionBase.html#ae99500409f218ce63d4dbce537884c7f">OptionBase::OptionBase</a></div><div class="ttdeci">OptionBase(std::string name, std::string description)</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00033">CommandLine.h:33</a></div></div>
+<div class="ttc" id="aextapi_8c_html_aa7d767d03ce3929978c28f64e3a4b222"><div class="ttname"><a href="extapi_8c.html#aa7d767d03ce3929978c28f64e3a4b222">strtoul</a></div><div class="ttdeci">unsigned long int strtoul(const char *str, char **endptr, int base)</div><div class="ttdef"><b>Definition:</b> <a href="extapi_8c_source.html#l01305">extapi.c:1305</a></div></div>
 <div class="ttc" id="aclassOption_html_a067413be0c747358947c539a4179d489"><div class="ttname"><a href="classOption.html#a067413be0c747358947c539a4179d489">Option::value</a></div><div class="ttdeci">T value</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00403">CommandLine.h:403</a></div></div>
 <div class="ttc" id="aclassOptionBase_html_a494ea256d6484e4f7e8751de499889fc"><div class="ttname"><a href="classOptionBase.html#a494ea256d6484e4f7e8751de499889fc">OptionBase::name</a></div><div class="ttdeci">std::string name</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00316">CommandLine.h:316</a></div></div>
 <div class="ttc" id="aclassOption_html_a980a99e59afae6419a9b15f7606d83dc"><div class="ttname"><a href="classOption.html#a980a99e59afae6419a9b15f7606d83dc">Option::isExplicitlySet</a></div><div class="ttdeci">bool isExplicitlySet</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00402">CommandLine.h:402</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1AccessPath.html CHANGED Viewed

@@ -596,8 +596,8 @@ Friends</h2></td></tr>
 </div><div class="memdoc">
 <p>Return element number of a type. </p>
-<p>Return element number of a type (1) StructType or Array, return flatterned number elements. (2) PointerType, return the element number of the pointee (3) non-pointer SingleValueType, return 1 </p>
-<p>This is a pointer arithmic</p>
+<p>Return element number of a type (1) StructType or Array, return flattened number elements. (2) PointerType, return the element number of the pointee (3) non-pointer SingleValueType, return 1 </p>
+<p>This is a pointer arithmetic</p>
 <p class="definition">Definition at line <a class="el" href="AccessPath_8cpp_source.html#l00063">63</a> of file <a class="el" href="AccessPath_8cpp_source.html">AccessPath.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;{</div>
@@ -1031,7 +1031,7 @@ Friends</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1AccessPath_html_a76222b6571e46e8a8bd5c8c597c8ffaf"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a76222b6571e46e8a8bd5c8c597c8ffaf">SVF::AccessPath::computeAllLocations</a></div><div class="ttdeci">NodeBS computeAllLocations() const</div><div class="ttdoc">Compute all possible locations according to offset and number-stride pairs.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00153">AccessPath.cpp:153</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AccessPath_html_a3c98f0c5f07109f9da0a8a897aa51d18"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a3c98f0c5f07109f9da0a8a897aa51d18">SVF::AccessPath::getElementNum</a></div><div class="ttdeci">u32_t getElementNum(const SVFType *type) const</div><div class="ttdoc">Return element number of a type.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00063">AccessPath.cpp:63</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AccessPath_html_aabb6c9600fac408f36b9fde013597245ab1ba3a42758473e5ff427ba36147a56a"><div class="ttname"><a href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245ab1ba3a42758473e5ff427ba36147a56a">SVF::AccessPath::Same</a></div><div class="ttdeci">@ Same</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00061">AccessPath.h:61</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a24df52313f8093bb651ae9da972cd663"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a24df52313f8093bb651ae9da972cd663">SVF::SymbolTableInfo::getFlattenedElemIdx</a></div><div class="ttdeci">u32_t getFlattenedElemIdx(const SVFType *T, u32_t origId)</div><div class="ttdoc">Flatterned element idx of an array or struct by considering stride.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00181">SymbolTableInfo.cpp:181</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a24df52313f8093bb651ae9da972cd663"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a24df52313f8093bb651ae9da972cd663">SVF::SymbolTableInfo::getFlattenedElemIdx</a></div><div class="ttdeci">u32_t getFlattenedElemIdx(const SVFType *T, u32_t origId)</div><div class="ttdoc">Flattened element idx of an array or struct by considering stride.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00181">SymbolTableInfo.cpp:181</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AccessPath_html_a68e49bb797a84ea035ea338549f2e054"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a68e49bb797a84ea035ea338549f2e054">SVF::AccessPath::getConstantFieldIdx</a></div><div class="ttdeci">APOffset getConstantFieldIdx() const</div><div class="ttdoc">Get methods.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00098">AccessPath.h:98</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html"><div class="ttname"><a href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00150">SVFValue.h:150</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
@@ -1039,7 +1039,7 @@ Friends</h2></td></tr>
 <div class="ttc" id="acJSON_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>
 <div class="ttc" id="aclassSVF_1_1SVFType_html"><div class="ttname"><a href="classSVF_1_1SVFType.html">SVF::SVFType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00242">SVFType.h:242</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AccessPath_html_aabb6c9600fac408f36b9fde013597245acb3c4a3f685068e391025eb01ebf061d"><div class="ttname"><a href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245acb3c4a3f685068e391025eb01ebf061d">SVF::AccessPath::NonOverlap</a></div><div class="ttdeci">@ NonOverlap</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00061">AccessPath.h:61</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFConstantInt_html"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html">SVF::SVFConstantInt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00922">SVFValue.h:922</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFConstantInt_html"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html">SVF::SVFConstantInt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00928">SVFValue.h:928</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFType_html_a9035ac13134de4647d63507cd80ca3d6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a9035ac13134de4647d63507cd80ca3d6">SVF::SVFType::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00006">SVFType.cpp:6</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AccessPath_html_ab0641554924d44f16c2831cac63ccf8b"><div class="ttname"><a href="classSVF_1_1AccessPath.html#ab0641554924d44f16c2831cac63ccf8b">SVF::AccessPath::getOffsetVarAndGepTypePairVec</a></div><div class="ttdeci">const OffsetVarAndGepTypePairs &amp; getOffsetVarAndGepTypePairVec() const</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00106">AccessPath.h:106</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a267169023fc4f8dd66b145f7231fec11"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo::SymbolInfo</a></div><div class="ttdeci">static SymbolTableInfo * SymbolInfo()</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00081">SymbolTableInfo.cpp:81</a></div></div>
@@ -1050,9 +1050,9 @@ Friends</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1AccessPath_html_a403312192a96a9fd5e7d071481592a7f"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a403312192a96a9fd5e7d071481592a7f">SVF::AccessPath::isConstantOffset</a></div><div class="ttdeci">bool isConstantOffset() const</div><div class="ttdoc">Return TRUE if this is a constant location set.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00049">AccessPath.cpp:49</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AccessPath_html_aa1747064a0833855a5848ebf4a4d65fa"><div class="ttname"><a href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">SVF::AccessPath::fldIdx</a></div><div class="ttdeci">APOffset fldIdx</div><div class="ttdoc">Accumulated Constant Offsets.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00141">AccessPath.h:141</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AccessPath_html_aabb6c9600fac408f36b9fde013597245a45bfb1e14fd39a700dba1243afe022e4"><div class="ttname"><a href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245a45bfb1e14fd39a700dba1243afe022e4">SVF::AccessPath::Subset</a></div><div class="ttdeci">@ Subset</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00061">AccessPath.h:61</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFConstantInt_html_a73f04bdfc19261b65164b98787bc2ed4"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">SVF::SVFConstantInt::getSExtValue</a></div><div class="ttdeci">s64_t getSExtValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00950">SVFValue.h:950</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFConstantInt_html_a73f04bdfc19261b65164b98787bc2ed4"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">SVF::SVFConstantInt::getSExtValue</a></div><div class="ttdeci">s64_t getSExtValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00956">SVFValue.h:956</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a811a3489df0f793c7a5482d31d470a4c"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a811a3489df0f793c7a5482d31d470a4c">SVF::SymbolTableInfo::getNumOfFlattenElements</a></div><div class="ttdeci">u32_t getNumOfFlattenElements(const SVFType *T)</div><div class="ttdoc">Number of flattenned elements of an array or struct.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00172">SymbolTableInfo.cpp:172</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a811a3489df0f793c7a5482d31d470a4c"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a811a3489df0f793c7a5482d31d470a4c">SVF::SymbolTableInfo::getNumOfFlattenElements</a></div><div class="ttdeci">u32_t getNumOfFlattenElements(const SVFType *T)</div><div class="ttdoc">Number of flattened elements of an array or struct.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00172">SymbolTableInfo.cpp:172</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>
 Generated by &#160;<a href="http://www.doxygen.org/index.html">

package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html CHANGED Viewed

@@ -160,7 +160,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a> () const</td></tr>
 <tr class="separator:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">directOutEdgeBegin</a> ()</td></tr>
-<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessory.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
+<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessary.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
 <tr class="separator:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">directOutEdgeEnd</a> ()</td></tr>
 <tr class="separator:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -613,7 +613,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemRegion_html_a7d38f6ef18106eb388b3a289aad79802"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">SVF::MemRegion::getMRID</a></div><div class="ttdeci">MRID getMRID() const</div><div class="ttdoc">Return memory region ID.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00078">MemRegion.h:78</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad">SVF::VFGNode::APIN</a></div><div class="ttdeci">@ APIN</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00056">VFGNode.h:56</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01038">LLVMUtil.cpp:1038</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01159">LLVMUtil.cpp:1159</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MRVer_html_a170a933f25684bda23321ba05c7a7d88"><div class="ttname"><a href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">SVF::MRVer::getSSAVersion</a></div><div class="ttdeci">MRVERSION getSSAVersion() const</div><div class="ttdoc">Return SSA version.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00069">MSSAMuChi.h:69</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_a7effb0f37f486745e0cdc3ae5e9c732b"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">SVF::SVFValue::getSourceLoc</a></div><div class="ttdeci">virtual const std::string getSourceLoc() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00253">SVFValue.h:253</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ActualINSVFGNode_html_aa92b36228a6f42496984cfea32f3415c"><div class="ttname"><a href="classSVF_1_1ActualINSVFGNode.html#aa92b36228a6f42496984cfea32f3415c">SVF::ActualINSVFGNode::getMRVer</a></div><div class="ttdeci">const MRVer * getMRVer() const</div><div class="ttdoc">Ver.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00200">SVFGNode.h:200</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html CHANGED Viewed

@@ -160,7 +160,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a> () const</td></tr>
 <tr class="separator:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">directOutEdgeBegin</a> ()</td></tr>
-<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessory.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
+<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessary.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
 <tr class="separator:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">directOutEdgeEnd</a> ()</td></tr>
 <tr class="separator:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -614,7 +614,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f">SVF::VFGNode::APOUT</a></div><div class="ttdeci">@ APOUT</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00056">VFGNode.h:56</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemRegion_html_a7d38f6ef18106eb388b3a289aad79802"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">SVF::MemRegion::getMRID</a></div><div class="ttdeci">MRID getMRID() const</div><div class="ttdoc">Return memory region ID.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00078">MemRegion.h:78</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ActualOUTSVFGNode_html_a3e3a14a042d75e5613eb049a9eb4fac5"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5">SVF::ActualOUTSVFGNode::getMRVer</a></div><div class="ttdeci">const MRVer * getMRVer() const</div><div class="ttdoc">Ver.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00249">SVFGNode.h:249</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01038">LLVMUtil.cpp:1038</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01159">LLVMUtil.cpp:1159</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MRVer_html_a170a933f25684bda23321ba05c7a7d88"><div class="ttname"><a href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">SVF::MRVer::getSSAVersion</a></div><div class="ttdeci">MRVERSION getSSAVersion() const</div><div class="ttdoc">Return SSA version.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00069">MSSAMuChi.h:69</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ActualOUTSVFGNode_html_a9b0ad566d3fab6336d84ba07f541370f"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html#a9b0ad566d3fab6336d84ba07f541370f">SVF::ActualOUTSVFGNode::ver</a></div><div class="ttdeci">const MRVer * ver</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00233">SVFGNode.h:233</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_a7effb0f37f486745e0cdc3ae5e9c732b"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">SVF::SVFValue::getSourceLoc</a></div><div class="ttdeci">virtual const std::string getSourceLoc() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00253">SVFValue.h:253</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html CHANGED Viewed

@@ -163,7 +163,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a> () const</td></tr>
 <tr class="separator:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">directOutEdgeBegin</a> ()</td></tr>
-<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessory.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
+<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessary.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
 <tr class="separator:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">directOutEdgeEnd</a> ()</td></tr>
 <tr class="separator:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>

package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html CHANGED Viewed

@@ -167,7 +167,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a> () const</td></tr>
 <tr class="separator:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">directOutEdgeBegin</a> ()</td></tr>
-<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessory.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
+<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessary.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
 <tr class="separator:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">directOutEdgeEnd</a> ()</td></tr>
 <tr class="separator:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -308,7 +308,7 @@ Additional Inherited Members</h2></td></tr>
 <tr class="separator:a54c631f1e39be144c0cd25373f6b98b8 inherit pro_attribs_classSVF_1_1VFGNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
-<div class="textblock"><p>Callsite receive paramter </p>
+<div class="textblock"><p>Callsite receive parameter </p>
 <p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00967">967</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>

package/SVF-doxygen/html/html/classSVF_1_1AddrCGEdge.html CHANGED Viewed

@@ -427,7 +427,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00180">GenericGraph.h:180</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00113">SVFIR.h:113</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintEdge_html_a2b2b7206af6463b82441ac7a5c78e637"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#a2b2b7206af6463b82441ac7a5c78e637">SVF::ConstraintEdge::ConstraintEdge</a></div><div class="ttdeci">ConstraintEdge(ConstraintNode *s, ConstraintNode *d, ConstraintEdgeK k, EdgeID id=0)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00062">ConsGEdge.h:62</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFModule_html_a1357c876eccedd58b3abe68875b3a570"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">SVF::SVFModule::pagReadFromTXT</a></div><div class="ttdeci">static bool pagReadFromTXT()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00099">SVFModule.h:99</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFModule_html_a1357c876eccedd58b3abe68875b3a570"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">SVF::SVFModule::pagReadFromTXT</a></div><div class="ttdeci">static bool pagReadFromTXT()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00098">SVFModule.h:98</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00045">SVFVariables.h:45</a></div></div>
 <div class="ttc" id="aclassSVF_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#l00406">GenericGraph.h:406</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintEdge_html_a663af27955ba0c545f34fa1f076b7375aed68bc43e8aae49e8590e140eb0ffaf3"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375aed68bc43e8aae49e8590e140eb0ffaf3">SVF::ConstraintEdge::Addr</a></div><div class="ttdeci">@ Addr</div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00056">ConsGEdge.h:56</a></div></div>