svf-tools 1.0.915 → 1.0.916

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 (18) hide show
  1. package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +7 -7
  2. package/SVF-doxygen/html/SVFIR2AbsState_8cpp_source.html +20 -20
  3. package/SVF-doxygen/html/SVFIR2AbsState_8h_source.html +29 -29
  4. package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation.html +11 -11
  5. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +3 -3
  6. package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState-members.html +14 -14
  7. package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState.html +120 -120
  8. package/SVF-doxygen/html/functions_func_g.html +10 -10
  9. package/SVF-doxygen/html/functions_func_i.html +4 -4
  10. package/SVF-doxygen/html/functions_g.html +10 -10
  11. package/SVF-doxygen/html/functions_i.html +4 -4
  12. package/SVF-doxygen/html/search/all_7.js +10 -10
  13. package/SVF-doxygen/html/search/all_9.js +4 -4
  14. package/SVF-doxygen/html/search/functions_7.js +10 -10
  15. package/SVF-doxygen/html/search/functions_9.js +4 -4
  16. package/package.json +1 -1
  17. package/svf/include/AE/Svfexe/SVFIR2AbsState.h +14 -14
  18. package/svf/lib/AE/Svfexe/SVFIR2AbsState.cpp +10 -10
package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html CHANGED
@@ -215,7 +215,7 @@ $(function() {
215
215
  <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; <span class="keywordflow">if</span> (cs.arg_size() &lt; 2) <span class="keywordflow">return</span>;</div>
216
216
  <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; </div>
217
217
  <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> dst_id = <a class="code" href="classSVF_1_1AbstractInterpretation.html#a618fc324a6c205d7e1b471bd850377a9">_svfir</a>-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(cs.getArgument(1));</div>
218
- <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1AbstractInterpretation.html#a9c592b91a1e3d72ada730387232a2fcf">_svfir2AbsState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2AbsState.html#ad42ca3cab47612c78a5d99cedea2f4ba">inVarToAddrsTable</a>(as, dst_id))</div>
218
+ <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1AbstractInterpretation.html#a9c592b91a1e3d72ada730387232a2fcf">_svfir2AbsState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2AbsState.html#a2b930632e8121b43c0173567790d9f95">inVarToAddrsTable</a>(as, dst_id))</div>
219
219
  <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; {</div>
220
220
  <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; <a class="code" href="structSVF_1_1BufOverflowException.html">BufOverflowException</a> bug(<span class="stringliteral">&quot;scanf may cause buffer overflow.\n&quot;</span>, 0, 0, 0, 0, cs.getArgument(1));</div>
221
221
  <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; <a class="code" href="classSVF_1_1BufOverflowChecker.html#a7c11b81809cb087317cbea654a589f75">addBugToRecoder</a>(bug, <a class="code" href="classSVF_1_1AbstractInterpretation.html#a618fc324a6c205d7e1b471bd850377a9">_svfir</a>-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>()-&gt;<a class="code" href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">getICFGNode</a>(cs.getInstruction()));</div>
@@ -239,7 +239,7 @@ $(function() {
239
239
  <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* callNode = SVFUtil::dyn_cast&lt;CallICFGNode&gt;(<a class="code" href="classSVF_1_1AbstractInterpretation.html#a618fc324a6c205d7e1b471bd850377a9">_svfir</a>-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>()-&gt;<a class="code" href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">getICFGNode</a>(cs.getInstruction()));</div>
240
240
  <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; as = <a class="code" href="classSVF_1_1AbstractInterpretation.html#a57e4ee3fde79c408dffe98894210d7c9">getAbsState</a>(callNode);</div>
241
241
  <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> dst_id = <a class="code" href="classSVF_1_1AbstractInterpretation.html#a618fc324a6c205d7e1b471bd850377a9">_svfir</a>-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(cs.getArgument(2));</div>
242
- <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1AbstractInterpretation.html#a9c592b91a1e3d72ada730387232a2fcf">_svfir2AbsState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2AbsState.html#ad42ca3cab47612c78a5d99cedea2f4ba">inVarToAddrsTable</a>(as, dst_id))</div>
242
+ <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1AbstractInterpretation.html#a9c592b91a1e3d72ada730387232a2fcf">_svfir2AbsState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2AbsState.html#a2b930632e8121b43c0173567790d9f95">inVarToAddrsTable</a>(as, dst_id))</div>
243
243
  <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; {</div>
244
244
  <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; <a class="code" href="structSVF_1_1BufOverflowException.html">BufOverflowException</a> bug(<span class="stringliteral">&quot;scanf may cause buffer overflow.\n&quot;</span>, 0, 0, 0, 0, cs.getArgument(2));</div>
245
245
  <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; <a class="code" href="classSVF_1_1BufOverflowChecker.html#a7c11b81809cb087317cbea654a589f75">addBugToRecoder</a>(bug, <a class="code" href="classSVF_1_1AbstractInterpretation.html#a618fc324a6c205d7e1b471bd850377a9">_svfir</a>-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>()-&gt;<a class="code" href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">getICFGNode</a>(cs.getInstruction()));</div>
@@ -633,7 +633,7 @@ $(function() {
633
633
  <div class="line"><a name="l00569"></a><span class="lineno"> 569</span>&#160; <span class="keywordflow">else</span></div>
634
634
  <div class="line"><a name="l00570"></a><span class="lineno"> 570</span>&#160; {</div>
635
635
  <div class="line"><a name="l00571"></a><span class="lineno"> 571</span>&#160; byteOffset =</div>
636
- <div class="line"><a name="l00572"></a><span class="lineno"> 572</span>&#160; <a class="code" href="classSVF_1_1AbstractInterpretation.html#a9c592b91a1e3d72ada730387232a2fcf">_svfir2AbsState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2AbsState.html#aec9a351850857fa3c6fb23c58317cb0d">getByteOffset</a>(as, gep).<a class="code" href="structSVF_1_1AbstractValue.html#acbcec6f55d23e6cd278fe8572a68f393">getInterval</a>();</div>
636
+ <div class="line"><a name="l00572"></a><span class="lineno"> 572</span>&#160; <a class="code" href="classSVF_1_1AbstractInterpretation.html#a9c592b91a1e3d72ada730387232a2fcf">_svfir2AbsState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2AbsState.html#a22254bb0857b153817bda64913aecfb6">getByteOffset</a>(as, gep).<a class="code" href="structSVF_1_1AbstractValue.html#acbcec6f55d23e6cd278fe8572a68f393">getInterval</a>();</div>
637
637
  <div class="line"><a name="l00573"></a><span class="lineno"> 573</span>&#160; }</div>
638
638
  <div class="line"><a name="l00574"></a><span class="lineno"> 574</span>&#160; <span class="comment">// for variable offset, join with accumulate gep offset</span></div>
639
639
  <div class="line"><a name="l00575"></a><span class="lineno"> 575</span>&#160; gep_offsets[gep-&gt;getICFGNode()] = byteOffset;</div>
@@ -838,7 +838,7 @@ $(function() {
838
838
  <div class="line"><a name="l00774"></a><span class="lineno"> 774</span>&#160; }</div>
839
839
  <div class="line"><a name="l00775"></a><span class="lineno"> 775</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> LoadStmt* load = SVFUtil::dyn_cast&lt;LoadStmt&gt;(stmt))</div>
840
840
  <div class="line"><a name="l00776"></a><span class="lineno"> 776</span>&#160; {</div>
841
- <div class="line"><a name="l00777"></a><span class="lineno"> 777</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AbstractInterpretation.html#a9c592b91a1e3d72ada730387232a2fcf">_svfir2AbsState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2AbsState.html#ad42ca3cab47612c78a5d99cedea2f4ba">inVarToAddrsTable</a>(as, load-&gt;getRHSVarID()))</div>
841
+ <div class="line"><a name="l00777"></a><span class="lineno"> 777</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AbstractInterpretation.html#a9c592b91a1e3d72ada730387232a2fcf">_svfir2AbsState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2AbsState.html#a2b930632e8121b43c0173567790d9f95">inVarToAddrsTable</a>(as, load-&gt;getRHSVarID()))</div>
842
842
  <div class="line"><a name="l00778"></a><span class="lineno"> 778</span>&#160; {</div>
843
843
  <div class="line"><a name="l00779"></a><span class="lineno"> 779</span>&#160; AbstractValue Addrs =</div>
844
844
  <div class="line"><a name="l00780"></a><span class="lineno"> 780</span>&#160; <a class="code" href="classSVF_1_1AbstractInterpretation.html#a9c592b91a1e3d72ada730387232a2fcf">_svfir2AbsState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2AbsState.html#a611ac228efd661b301ea1dd675cd1c0c">getAddrs</a>(as, load-&gt;getRHSVarID());</div>
@@ -855,7 +855,7 @@ $(function() {
855
855
  <div class="line"><a name="l00791"></a><span class="lineno"> 791</span>&#160; }</div>
856
856
  <div class="line"><a name="l00792"></a><span class="lineno"> 792</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> StoreStmt* store = SVFUtil::dyn_cast&lt;StoreStmt&gt;(stmt))</div>
857
857
  <div class="line"><a name="l00793"></a><span class="lineno"> 793</span>&#160; {</div>
858
- <div class="line"><a name="l00794"></a><span class="lineno"> 794</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AbstractInterpretation.html#a9c592b91a1e3d72ada730387232a2fcf">_svfir2AbsState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2AbsState.html#ad42ca3cab47612c78a5d99cedea2f4ba">inVarToAddrsTable</a>(as, store-&gt;getLHSVarID()))</div>
858
+ <div class="line"><a name="l00794"></a><span class="lineno"> 794</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AbstractInterpretation.html#a9c592b91a1e3d72ada730387232a2fcf">_svfir2AbsState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2AbsState.html#a2b930632e8121b43c0173567790d9f95">inVarToAddrsTable</a>(as, store-&gt;getLHSVarID()))</div>
859
859
  <div class="line"><a name="l00795"></a><span class="lineno"> 795</span>&#160; {</div>
860
860
  <div class="line"><a name="l00796"></a><span class="lineno"> 796</span>&#160; AbstractValue Addrs =</div>
861
861
  <div class="line"><a name="l00797"></a><span class="lineno"> 797</span>&#160; <a class="code" href="classSVF_1_1AbstractInterpretation.html#a9c592b91a1e3d72ada730387232a2fcf">_svfir2AbsState</a>-&gt;<a class="code" href="classSVF_1_1SVFIR2AbsState.html#a611ac228efd661b301ea1dd675cd1c0c">getAddrs</a>(as, store-&gt;getLHSVarID());</div>
@@ -930,6 +930,7 @@ $(function() {
930
930
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a9815a5b31ac7dc21239d08e5b9f61106"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a9815a5b31ac7dc21239d08e5b9f61106">SVF::SVFUtil::getSVFCallSite</a></div><div class="ttdeci">CallSite getSVFCallSite(const SVFInstruction *inst)</div><div class="ttdoc">Return LLVM callsite given an instruction.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00196">SVFUtil.h:196</a></div></div>
931
931
  <div class="ttc" id="aclassSVF_1_1ICFGNode_html_a6c68f52dd90728073fb79141df9b0661"><div class="ttname"><a href="classSVF_1_1ICFGNode.html#a6c68f52dd90728073fb79141df9b0661">SVF::ICFGNode::getSVFStmts</a></div><div class="ttdeci">const SVFStmtList &amp; getSVFStmts() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00127">ICFGNode.h:127</a></div></div>
932
932
  <div class="ttc" id="astructSVF_1_1BufOverflowException_html"><div class="ttname"><a href="structSVF_1_1BufOverflowException.html">SVF::BufOverflowException</a></div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00036">BufOverflowChecker.h:36</a></div></div>
933
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a2b930632e8121b43c0173567790d9f95"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a2b930632e8121b43c0173567790d9f95">SVF::SVFIR2AbsState::inVarToAddrsTable</a></div><div class="ttdeci">bool inVarToAddrsTable(const AbstractState &amp;es, u32_t id) const</div><div class="ttdoc">whether the variable is in varToAddrs table</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00120">SVFIR2AbsState.h:120</a></div></div>
933
934
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ac71522e8c55f84cfc6c13a0ddff18436"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ac71522e8c55f84cfc6c13a0ddff18436">SVF::SVFUtil::wrnMsg</a></div><div class="ttdeci">std::string wrnMsg(const std::string &amp;msg)</div><div class="ttdoc">Returns warning message by converting a string into yellow string output.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00061">SVFUtil.cpp:61</a></div></div>
934
935
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_a11f2d9b6e969ede6fca2c204cc15b821"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">SVF::SVFValue::getType</a></div><div class="ttdeci">virtual const SVFType * getType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00256">SVFValue.h:256</a></div></div>
935
936
  <div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_ad8b2f2fa6f22b9d1655135c819cbad8a"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#ad8b2f2fa6f22b9d1655135c819cbad8a">SVF::BufOverflowChecker::detectStrcpy</a></div><div class="ttdeci">bool detectStrcpy(const CallICFGNode *call)</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8cpp_source.html#l00125">BufOverflowChecker.cpp:125</a></div></div>
@@ -967,10 +968,8 @@ $(function() {
967
968
  <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_a13fdb4a6a6d09e3504fdad16b88616daa9cc269dadf9cff7d399c54d9570a6614"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#a13fdb4a6a6d09e3504fdad16b88616daa9cc269dadf9cff7d399c54d9570a6614">SVF::AbstractInterpretation::MEMCPY</a></div><div class="ttdeci">@ MEMCPY</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8h_source.html#l00113">AbstractInterpretation.h:113</a></div></div>
968
969
  <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#l00156">SVFType.h:156</a></div></div>
969
970
  <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_a048e203517ac727e6fe0653e1f24052c"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#a048e203517ac727e6fe0653e1f24052c">SVF::AbstractInterpretation::AccessMemoryViaCallArgs</a></div><div class="ttdeci">void AccessMemoryViaCallArgs(const SVF::SVFArgument *arg, SVF::FILOWorkList&lt; const SVFValue * &gt; &amp;worklist, Set&lt; const SVFValue * &gt; &amp;visited)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8cpp_source.html#l01735">AbstractInterpretation.cpp:1735</a></div></div>
970
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_aec9a351850857fa3c6fb23c58317cb0d"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#aec9a351850857fa3c6fb23c58317cb0d">SVF::SVFIR2AbsState::getByteOffset</a></div><div class="ttdeci">AbstractValue getByteOffset(AbstractState &amp;es, const GepStmt *gep)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00403">SVFIR2AbsState.cpp:403</a></div></div>
971
971
  <div class="ttc" id="aclassSVF_1_1ICFG_html_a5f2c0aaba07d6fdd63058da0fb60ca8b"><div class="ttname"><a href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">SVF::ICFG::getICFGNode</a></div><div class="ttdeci">ICFGNode * getICFGNode(NodeID id) const</div><div class="ttdoc">Get a ICFG node.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00092">ICFG.h:92</a></div></div>
972
972
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00297">SVFValue.h:297</a></div></div>
973
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ad42ca3cab47612c78a5d99cedea2f4ba"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ad42ca3cab47612c78a5d99cedea2f4ba">SVF::SVFIR2AbsState::inVarToAddrsTable</a></div><div class="ttdeci">bool inVarToAddrsTable(AbstractState &amp;es, u32_t id) const</div><div class="ttdoc">whether the variable is in varToAddrs table</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00120">SVFIR2AbsState.h:120</a></div></div>
974
973
  <div class="ttc" id="aclassSVF_1_1FILOWorkList_html_afcf3fcda18e8d3e2bad70a51376c0ce1"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html#afcf3fcda18e8d3e2bad70a51376c0ce1">SVF::FILOWorkList::push</a></div><div class="ttdeci">bool push(const Data &amp;data)</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00257">WorkList.h:257</a></div></div>
975
974
  <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_a550c12360c2149ba0e55bdf4cf7b8dd0"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#a550c12360c2149ba0e55bdf4cf7b8dd0">SVF::AbstractInterpretation::AccessMemoryViaCopyStmt</a></div><div class="ttdeci">void AccessMemoryViaCopyStmt(const CopyStmt *copy, SVF::FILOWorkList&lt; const SVFValue * &gt; &amp;worklist, Set&lt; const SVFValue * &gt; &amp;visited)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8cpp_source.html#l01705">AbstractInterpretation.cpp:1705</a></div></div>
976
975
  <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#l00966">SVFValue.h:966</a></div></div>
@@ -984,6 +983,7 @@ $(function() {
984
983
  <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_a57e4ee3fde79c408dffe98894210d7c9"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#a57e4ee3fde79c408dffe98894210d7c9">SVF::AbstractInterpretation::getAbsState</a></div><div class="ttdeci">AbstractState &amp; getAbsState(const ICFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8h_source.html#l00372">AbstractInterpretation.h:372</a></div></div>
985
984
  <div class="ttc" id="aclassSVF_1_1LoadStmt_html"><div class="ttname"><a href="classSVF_1_1LoadStmt.html">SVF::LoadStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00489">SVFStatements.h:489</a></div></div>
986
985
  <div class="ttc" id="aclassSVF_1_1IntervalValue_html"><div class="ttname"><a href="classSVF_1_1IntervalValue.html">SVF::IntervalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00043">IntervalValue.h:43</a></div></div>
986
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a22254bb0857b153817bda64913aecfb6"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a22254bb0857b153817bda64913aecfb6">SVF::SVFIR2AbsState::getByteOffset</a></div><div class="ttdeci">AbstractValue getByteOffset(const AbstractState &amp;es, const GepStmt *gep)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00403">SVFIR2AbsState.cpp:403</a></div></div>
987
987
  <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_a60a21908a08864f01a66a3ac113c4a35"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#a60a21908a08864f01a66a3ac113c4a35">SVF::AbstractInterpretation::getAllocaInstByteSize</a></div><div class="ttdeci">u32_t getAllocaInstByteSize(AbstractState &amp;as, const AddrStmt *addr)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8cpp_source.html#l01284">AbstractInterpretation.cpp:1284</a></div></div>
988
988
  <div class="ttc" id="aclassSVF_1_1AbstractInterpretation_html_a6cac9b69d85111a5a26373ec848a3282"><div class="ttname"><a href="classSVF_1_1AbstractInterpretation.html#a6cac9b69d85111a5a26373ec848a3282">SVF::AbstractInterpretation::handleExtAPI</a></div><div class="ttdeci">virtual void handleExtAPI(const CallICFGNode *call)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractInterpretation_8cpp_source.html#l01166">AbstractInterpretation.cpp:1166</a></div></div>
989
989
  <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>
package/SVF-doxygen/html/SVFIR2AbsState_8cpp_source.html CHANGED
@@ -168,7 +168,7 @@ $(function() {
168
168
  <div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160; }</div>
169
169
  <div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160;}</div>
170
170
  <div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; </div>
171
- <div class="line"><a name="l00111"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a037e4c0e35b1fd45df3a969c6d054a1e"> 111</a></span>&#160;<a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a037e4c0e35b1fd45df3a969c6d054a1e">SVFIR2AbsState::getZExtValue</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a>* var)</div>
171
+ <div class="line"><a name="l00111"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#ac9d2fc847e4f026d5f5084ff38cf896e"> 111</a></span>&#160;<a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ac9d2fc847e4f026d5f5084ff38cf896e">SVFIR2AbsState::getZExtValue</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a>* var)</div>
172
172
  <div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160;{</div>
173
173
  <div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a> = var-&gt;<a class="code" href="classSVF_1_1SVFVar.html#ab6f95d3e7e099d75cfc9645ebc037047">getType</a>();</div>
174
174
  <div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160; <span class="keywordflow">if</span> (SVFUtil::isa&lt;SVFIntegerType&gt;(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>))</div>
@@ -213,12 +213,12 @@ $(function() {
213
213
  <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;cannot support non-integer type&quot;</span>);</div>
214
214
  <div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160;}</div>
215
215
  <div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; </div>
216
- <div class="line"><a name="l00156"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a7dbb2fcda16a2879d4b508ab41d6919d"> 156</a></span>&#160;<a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a7dbb2fcda16a2879d4b508ab41d6919d">SVFIR2AbsState::getSExtValue</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a>* var)</div>
216
+ <div class="line"><a name="l00156"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#ae484a9957c4a11b254882411b3b7fc8b"> 156</a></span>&#160;<a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ae484a9957c4a11b254882411b3b7fc8b">SVFIR2AbsState::getSExtValue</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a>* var)</div>
217
217
  <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160;{</div>
218
218
  <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; <span class="keywordflow">return</span> es[var-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>()].getInterval();</div>
219
219
  <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160;}</div>
220
220
  <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; </div>
221
- <div class="line"><a name="l00161"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#accc3a4574ab5dd71149b4266dd19ca2f"> 161</a></span>&#160;<a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#accc3a4574ab5dd71149b4266dd19ca2f">SVFIR2AbsState::getFPToSIntValue</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a>* var)</div>
221
+ <div class="line"><a name="l00161"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a7745ef5b0382254b1ba1e4bcdf49d37c"> 161</a></span>&#160;<a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a7745ef5b0382254b1ba1e4bcdf49d37c">SVFIR2AbsState::getFPToSIntValue</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a>* var)</div>
222
222
  <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160;{</div>
223
223
  <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; <span class="keywordflow">if</span> (es[var-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>()].getInterval().is_real())</div>
224
224
  <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; {</div>
@@ -236,7 +236,7 @@ $(function() {
236
236
  <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; }</div>
237
237
  <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160;}</div>
238
238
  <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; </div>
239
- <div class="line"><a name="l00179"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a8ceffd42b533a28fffa665537e14d4e8"> 179</a></span>&#160;<a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a8ceffd42b533a28fffa665537e14d4e8">SVFIR2AbsState::getFPToUIntValue</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a>* var)</div>
239
+ <div class="line"><a name="l00179"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#aae16d09e4c5db0da58248ef6b1596bbf"> 179</a></span>&#160;<a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#aae16d09e4c5db0da58248ef6b1596bbf">SVFIR2AbsState::getFPToUIntValue</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a>* var)</div>
240
240
  <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160;{</div>
241
241
  <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; <span class="keywordflow">if</span> (es[var-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>()].getInterval().is_real())</div>
242
242
  <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; {</div>
@@ -254,7 +254,7 @@ $(function() {
254
254
  <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; }</div>
255
255
  <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160;}</div>
256
256
  <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; </div>
257
- <div class="line"><a name="l00197"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#aba8911ddb22a7e9736f7676ed1d99a82"> 197</a></span>&#160;<a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#aba8911ddb22a7e9736f7676ed1d99a82">SVFIR2AbsState::getSIntToFPValue</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a>* var)</div>
257
+ <div class="line"><a name="l00197"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a5c9b18425ad04e0c82c8cf794d1af84d"> 197</a></span>&#160;<a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a5c9b18425ad04e0c82c8cf794d1af84d">SVFIR2AbsState::getSIntToFPValue</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a>* var)</div>
258
258
  <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160;{</div>
259
259
  <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; <span class="comment">// get the sint value of ub and lb</span></div>
260
260
  <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> sint_lb = es[var-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>()].getInterval().lb().getIntNumeral();</div>
@@ -265,7 +265,7 @@ $(function() {
265
265
  <div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(float_lb, float_ub);</div>
266
266
  <div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160;}</div>
267
267
  <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; </div>
268
- <div class="line"><a name="l00208"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#ab6c5effe0a781740bdee4d12583c5c8e"> 208</a></span>&#160;<a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ab6c5effe0a781740bdee4d12583c5c8e">SVFIR2AbsState::getUIntToFPValue</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a>* var)</div>
268
+ <div class="line"><a name="l00208"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a03723b2d9b900ddfb14b60922c534a64"> 208</a></span>&#160;<a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a03723b2d9b900ddfb14b60922c534a64">SVFIR2AbsState::getUIntToFPValue</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a>* var)</div>
269
269
  <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160;{</div>
270
270
  <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; <span class="comment">// get the uint value of ub and lb</span></div>
271
271
  <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; <a class="code" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">u64_t</a> uint_lb = es[var-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>()].getInterval().lb().getIntNumeral();</div>
@@ -276,7 +276,7 @@ $(function() {
276
276
  <div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(float_lb, float_ub);</div>
277
277
  <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160;}</div>
278
278
  <div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; </div>
279
- <div class="line"><a name="l00219"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a8bc2d298ea7a239cd06f5462045da14f"> 219</a></span>&#160;<a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a8bc2d298ea7a239cd06f5462045da14f">SVFIR2AbsState::getTruncValue</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a>* var, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* dstType)</div>
279
+ <div class="line"><a name="l00219"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a6603962aa96f2b71673ac16579529ab1"> 219</a></span>&#160;<a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a6603962aa96f2b71673ac16579529ab1">SVFIR2AbsState::getTruncValue</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a>* var, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* dstType)</div>
280
280
  <div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160;{</div>
281
281
  <div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; <span class="comment">// get the value of ub and lb</span></div>
282
282
  <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> int_lb = es[var-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>()].getInterval().lb().getIntNumeral();</div>
@@ -325,7 +325,7 @@ $(function() {
325
325
  <div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; }</div>
326
326
  <div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160;}</div>
327
327
  <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; </div>
328
- <div class="line"><a name="l00268"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a0bdeaa3dac43c85cfac9195592db3fc9"> 268</a></span>&#160;<a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a0bdeaa3dac43c85cfac9195592db3fc9">SVFIR2AbsState::getFPTruncValue</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a>* var, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* dstType)</div>
328
+ <div class="line"><a name="l00268"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#ab7ecdafea261f755c44623d0eb2155b2"> 268</a></span>&#160;<a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ab7ecdafea261f755c44623d0eb2155b2">SVFIR2AbsState::getFPTruncValue</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a>* var, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* dstType)</div>
329
329
  <div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160;{</div>
330
330
  <div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160; <span class="comment">// TODO: now we do not really handle fptrunc</span></div>
331
331
  <div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; <span class="keywordflow">return</span> es[var-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>()].getInterval();</div>
@@ -438,7 +438,7 @@ $(function() {
438
438
  <div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; <span class="keywordflow">return</span> ret;</div>
439
439
  <div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160;}</div>
440
440
  <div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; </div>
441
- <div class="line"><a name="l00403"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#aec9a351850857fa3c6fb23c58317cb0d"> 403</a></span>&#160;<a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#aec9a351850857fa3c6fb23c58317cb0d">SVFIR2AbsState::getByteOffset</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1GepStmt.html">GepStmt</a> *gep)</div>
441
+ <div class="line"><a name="l00403"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a22254bb0857b153817bda64913aecfb6"> 403</a></span>&#160;<a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a22254bb0857b153817bda64913aecfb6">SVFIR2AbsState::getByteOffset</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1GepStmt.html">GepStmt</a> *gep)</div>
442
442
  <div class="line"><a name="l00404"></a><span class="lineno"> 404</span>&#160;{</div>
443
443
  <div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160; <span class="keywordflow">if</span> (gep-&gt;<a class="code" href="classSVF_1_1GepStmt.html#ab6f37c073e4755c4b8bb3ed6365687f4">isConstantOffset</a>())</div>
444
444
  <div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>)gep-&gt;<a class="code" href="classSVF_1_1GepStmt.html#a28a7ca818584abdc2d345b41d592c5dc">accumulateConstantByteOffset</a>());</div>
@@ -500,7 +500,7 @@ $(function() {
500
500
  <div class="line"><a name="l00462"></a><span class="lineno"> 462</span>&#160; <span class="keywordflow">return</span> res; <span class="comment">// Return the resulting byte offset as an IntervalValue.</span></div>
501
501
  <div class="line"><a name="l00463"></a><span class="lineno"> 463</span>&#160;}</div>
502
502
  <div class="line"><a name="l00464"></a><span class="lineno"> 464</span>&#160; </div>
503
- <div class="line"><a name="l00473"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#af3f15bd1ccf90a4e11a4dcfda2f2aa47"> 473</a></span>&#160;<a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#af3f15bd1ccf90a4e11a4dcfda2f2aa47">SVFIR2AbsState::getItvOfFlattenedElemIndex</a>(<a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1GepStmt.html">GepStmt</a> *gep)</div>
503
+ <div class="line"><a name="l00473"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2AbsState.html#a058edb3d4e0324b2d020dde5f12a1757"> 473</a></span>&#160;<a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#a058edb3d4e0324b2d020dde5f12a1757">SVFIR2AbsState::getItvOfFlattenedElemIndex</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; es, <span class="keyword">const</span> <a class="code" href="classSVF_1_1GepStmt.html">GepStmt</a> *gep)</div>
504
504
  <div class="line"><a name="l00474"></a><span class="lineno"> 474</span>&#160;{</div>
505
505
  <div class="line"><a name="l00475"></a><span class="lineno"> 475</span>&#160; <span class="keywordflow">if</span> (gep-&gt;<a class="code" href="classSVF_1_1GepStmt.html#ab6f37c073e4755c4b8bb3ed6365687f4">isConstantOffset</a>())</div>
506
506
  <div class="line"><a name="l00476"></a><span class="lineno"> 476</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>)gep-&gt;<a class="code" href="classSVF_1_1GepStmt.html#a1dd264b9f3b43d04aa1396443ad6ad33">accumulateConstantOffset</a>());</div>
@@ -1151,18 +1151,14 @@ $(function() {
1151
1151
  <div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVF::SVFType::SVFIntegerTy</a></div><div class="ttdeci">@ SVFIntegerTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00169">SVFType.h:169</a></div></div>
1152
1152
  <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#l00067">BasicTypes.h:67</a></div></div>
1153
1153
  <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6ac89b793572db14a3c018122cf9fc79d6"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac89b793572db14a3c018122cf9fc79d6">SVF::BinaryOPStmt::Xor</a></div><div class="ttdeci">@ Xor</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01055">SVFStatements.h:1055</a></div></div>
1154
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a8bc2d298ea7a239cd06f5462045da14f"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a8bc2d298ea7a239cd06f5462045da14f">SVF::SVFIR2AbsState::getTruncValue</a></div><div class="ttdeci">AbstractValue getTruncValue(AbstractState &amp;es, const SVFVar *var, const SVFType *dstType)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00219">SVFIR2AbsState.cpp:219</a></div></div>
1154
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a5c9b18425ad04e0c82c8cf794d1af84d"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a5c9b18425ad04e0c82c8cf794d1af84d">SVF::SVFIR2AbsState::getSIntToFPValue</a></div><div class="ttdeci">AbstractValue getSIntToFPValue(const AbstractState &amp;es, const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00197">SVFIR2AbsState.cpp:197</a></div></div>
1155
1155
  <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_af09515297cb9c31153ed7f32bc3febd2"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#af09515297cb9c31153ed7f32bc3febd2">SVF::SVFIR2AbsState::handleAddr</a></div><div class="ttdeci">void handleAddr(AbstractState &amp;es, const AddrStmt *addr)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00601">SVFIR2AbsState.cpp:601</a></div></div>
1156
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_aba8911ddb22a7e9736f7676ed1d99a82"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#aba8911ddb22a7e9736f7676ed1d99a82">SVF::SVFIR2AbsState::getSIntToFPValue</a></div><div class="ttdeci">AbstractValue getSIntToFPValue(AbstractState &amp;es, const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00197">SVFIR2AbsState.cpp:197</a></div></div>
1157
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_af3f15bd1ccf90a4e11a4dcfda2f2aa47"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#af3f15bd1ccf90a4e11a4dcfda2f2aa47">SVF::SVFIR2AbsState::getItvOfFlattenedElemIndex</a></div><div class="ttdeci">AbstractValue getItvOfFlattenedElemIndex(AbstractState &amp;es, const GepStmt *gep)</div><div class="ttdoc">Return the offset expression of a GepStmt.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00473">SVFIR2AbsState.cpp:473</a></div></div>
1158
1156
  <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a758382a3b40e116175ca321fa4449d7f"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a758382a3b40e116175ca321fa4449d7f">SVF::BinaryOPStmt::Sub</a></div><div class="ttdeci">@ Sub</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01040">SVFStatements.h:1040</a></div></div>
1159
1157
  <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca3428808abe683bfc6bb0267077cdb128"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3428808abe683bfc6bb0267077cdb128">SVF::CmpStmt::ICMP_UGE</a></div><div class="ttdeci">@ ICMP_UGE</div><div class="ttdoc">unsigned greater or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00976">SVFStatements.h:976</a></div></div>
1160
1158
  <div class="ttc" id="aclassSVF_1_1CopyStmt_html_ae041bbd93e3839193fd7ffe9611a4ca1a77433e71effbacec14da8f658523fb3e"><div class="ttname"><a href="classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1a77433e71effbacec14da8f658523fb3e">SVF::CopyStmt::BITCAST</a></div><div class="ttdeci">@ BITCAST</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00379">SVFStatements.h:379</a></div></div>
1161
1159
  <div class="ttc" id="aclassSVF_1_1SelectStmt_html"><div class="ttname"><a href="classSVF_1_1SelectStmt.html">SVF::SelectStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00881">SVFStatements.h:881</a></div></div>
1162
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_accc3a4574ab5dd71149b4266dd19ca2f"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#accc3a4574ab5dd71149b4266dd19ca2f">SVF::SVFIR2AbsState::getFPToSIntValue</a></div><div class="ttdeci">AbstractValue getFPToSIntValue(AbstractState &amp;es, const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00161">SVFIR2AbsState.cpp:161</a></div></div>
1163
1160
  <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_abce457a32553584eb656ff0fa4e52a64"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#abce457a32553584eb656ff0fa4e52a64">SVF::SVFIR2AbsState::handleCopy</a></div><div class="ttdeci">void handleCopy(AbstractState &amp;es, const CopyStmt *copy)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00925">SVFIR2AbsState.cpp:925</a></div></div>
1164
1161
  <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_aa992d91842053a6a651976cdb49199e4"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#aa992d91842053a6a651976cdb49199e4">SVF::SVFIR2AbsState::initSVFVar</a></div><div class="ttdeci">void initSVFVar(AbstractState &amp;es, u32_t varId)</div><div class="ttdoc">Init SVFVar.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00583">SVFIR2AbsState.cpp:583</a></div></div>
1165
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a8ceffd42b533a28fffa665537e14d4e8"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a8ceffd42b533a28fffa665537e14d4e8">SVF::SVFIR2AbsState::getFPToUIntValue</a></div><div class="ttdeci">AbstractValue getFPToUIntValue(AbstractState &amp;es, const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00179">SVFIR2AbsState.cpp:179</a></div></div>
1166
1162
  <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a46a2f2eedd729f4764f630d72391ec97"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a46a2f2eedd729f4764f630d72391ec97">SVF::SVFIR2AbsState::globalNulladdrs</a></div><div class="ttdeci">static AbstractValue globalNulladdrs</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8h_source.html#l00045">SVFIR2AbsState.h:45</a></div></div>
1167
1163
  <div class="ttc" id="aclassSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00670">SVFStatements.h:670</a></div></div>
1168
1164
  <div class="ttc" id="aclassSVF_1_1CmpStmt_html"><div class="ttname"><a href="classSVF_1_1CmpStmt.html">SVF::CmpStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00936">SVFStatements.h:936</a></div></div>
@@ -1174,11 +1170,13 @@ $(function() {
1174
1170
  <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a4478a7e793920ec543d32314f13a5bb9"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a4478a7e793920ec543d32314f13a5bb9">SVF::SVFIR2AbsState::handleLoad</a></div><div class="ttdeci">void handleLoad(AbstractState &amp;es, const LoadStmt *load)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00874">SVFIR2AbsState.cpp:874</a></div></div>
1175
1171
  <div class="ttc" id="anamespaceSVF_html_a366625858f450a1ea5f985a3c83e0f14"><div class="ttname"><a href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">SVF::u64_t</a></div><div class="ttdeci">unsigned long long u64_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00048">GeneralType.h:48</a></div></div>
1176
1172
  <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca900bbc9c7824294c3a69c2cb006c27ee"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca900bbc9c7824294c3a69c2cb006c27ee">SVF::CmpStmt::FCMP_OEQ</a></div><div class="ttdeci">@ FCMP_OEQ</div><div class="ttdoc">0 0 0 1 True if ordered and equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00955">SVFStatements.h:955</a></div></div>
1173
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ae484a9957c4a11b254882411b3b7fc8b"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ae484a9957c4a11b254882411b3b7fc8b">SVF::SVFIR2AbsState::getSExtValue</a></div><div class="ttdeci">AbstractValue getSExtValue(const AbstractState &amp;es, const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00156">SVFIR2AbsState.cpp:156</a></div></div>
1177
1174
  <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6ad2f8b02de2c62175d3341be92a925250"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ad2f8b02de2c62175d3341be92a925250">SVF::BinaryOPStmt::UDiv</a></div><div class="ttdeci">@ UDiv</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01044">SVFStatements.h:1044</a></div></div>
1178
1175
  <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a553540425a63724c8b7f2fd0ca25b567"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a553540425a63724c8b7f2fd0ca25b567">SVF::BinaryOPStmt::FDiv</a></div><div class="ttdeci">@ FDiv</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01046">SVFStatements.h:1046</a></div></div>
1179
1176
  <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486">SVF::CmpStmt::FCMP_OGT</a></div><div class="ttdeci">@ FCMP_OGT</div><div class="ttdoc">0 0 1 0 True if ordered and greater than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00956">SVFStatements.h:956</a></div></div>
1180
1177
  <div class="ttc" id="aclassSVF_1_1AbstractState_html_aa34516a95191c5ec56ce44a117e8b018"><div class="ttname"><a href="classSVF_1_1AbstractState.html#aa34516a95191c5ec56ce44a117e8b018">SVF::AbstractState::inVarToAddrsTable</a></div><div class="ttdeci">bool inVarToAddrsTable(u32_t id) const</div><div class="ttdoc">whether the variable is in varToAddrs table</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00201">AbstractState.h:201</a></div></div>
1181
1178
  <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca229d105d0841dc895811b29af62a91ee"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca229d105d0841dc895811b29af62a91ee">SVF::CmpStmt::ICMP_SGT</a></div><div class="ttdeci">@ ICMP_SGT</div><div class="ttdoc">signed greater than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00979">SVFStatements.h:979</a></div></div>
1179
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a058edb3d4e0324b2d020dde5f12a1757"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a058edb3d4e0324b2d020dde5f12a1757">SVF::SVFIR2AbsState::getItvOfFlattenedElemIndex</a></div><div class="ttdeci">AbstractValue getItvOfFlattenedElemIndex(const AbstractState &amp;es, const GepStmt *gep)</div><div class="ttdoc">Return the offset expression of a GepStmt.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00473">SVFIR2AbsState.cpp:473</a></div></div>
1182
1180
  <div class="ttc" id="aclassSVF_1_1MemObj_html_a1a4ff4aaaf2573240a318e1b79328cd0"><div class="ttname"><a href="classSVF_1_1MemObj.html#a1a4ff4aaaf2573240a318e1b79328cd0">SVF::MemObj::isConstDataOrConstGlobal</a></div><div class="ttdeci">bool isConstDataOrConstGlobal() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00501">SymbolTableInfo.cpp:501</a></div></div>
1183
1181
  <div class="ttc" id="aclassSVF_1_1AbstractState_html_a6a49c75fb6b35159dcf1763b4484d335"><div class="ttname"><a href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">SVF::AbstractState::_varToAbsVal</a></div><div class="ttdeci">VarToAbsValMap _varToAbsVal</div><div class="ttdoc">Map a variable (symbol) to its abstract value.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00167">AbstractState.h:167</a></div></div>
1184
1182
  <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6ac988853383e1588cf568687848e73576"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac988853383e1588cf568687848e73576">SVF::BinaryOPStmt::AShr</a></div><div class="ttdeci">@ AShr</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01052">SVFStatements.h:1052</a></div></div>
@@ -1209,11 +1207,11 @@ $(function() {
1209
1207
  <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a5dc699aa85fe879eb4b2c9109cf3030d"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a5dc699aa85fe879eb4b2c9109cf3030d">SVF::SymbolTableInfo::getTypeInfo</a></div><div class="ttdeci">const StInfo * getTypeInfo(const SVFType *T) const</div><div class="ttdoc">Get struct info.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00056">SymbolTableInfo.cpp:56</a></div></div>
1210
1208
  <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>
1211
1209
  <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#l00156">SVFType.h:156</a></div></div>
1210
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a03723b2d9b900ddfb14b60922c534a64"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a03723b2d9b900ddfb14b60922c534a64">SVF::SVFIR2AbsState::getUIntToFPValue</a></div><div class="ttdeci">AbstractValue getUIntToFPValue(const AbstractState &amp;es, const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00208">SVFIR2AbsState.cpp:208</a></div></div>
1212
1211
  <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acaa6b852204a4d0758ebd632d8a88b966d"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa6b852204a4d0758ebd632d8a88b966d">SVF::CmpStmt::FCMP_ULT</a></div><div class="ttdeci">@ FCMP_ULT</div><div class="ttdoc">1 1 0 0 True if unordered or less than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00966">SVFStatements.h:966</a></div></div>
1213
1212
  <div class="ttc" id="aclassSVF_1_1GepStmt_html_a6c74f234a6b40bc5292bb14874c2e600"><div class="ttname"><a href="classSVF_1_1GepStmt.html#a6c74f234a6b40bc5292bb14874c2e600">SVF::GepStmt::getAccessPath</a></div><div class="ttdeci">const AccessPath &amp; getAccessPath() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00556">SVFStatements.h:556</a></div></div>
1214
1213
  <div class="ttc" id="astructSVF_1_1AbstractValue_html_a61516b8cd3550afd29f80fbe8c9146ff"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a61516b8cd3550afd29f80fbe8c9146ff">SVF::AbstractValue::isUnknown</a></div><div class="ttdeci">bool isUnknown() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00083">AbstractValue.h:83</a></div></div>
1215
1214
  <div class="ttc" id="aclassSVF_1_1SVFStructType_html"><div class="ttname"><a href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00344">SVFType.h:344</a></div></div>
1216
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_aec9a351850857fa3c6fb23c58317cb0d"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#aec9a351850857fa3c6fb23c58317cb0d">SVF::SVFIR2AbsState::getByteOffset</a></div><div class="ttdeci">AbstractValue getByteOffset(AbstractState &amp;es, const GepStmt *gep)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00403">SVFIR2AbsState.cpp:403</a></div></div>
1217
1215
  <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a97c70ced12e0f1c5e3c3708b13727e8e"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a97c70ced12e0f1c5e3c3708b13727e8e">SVF::BinaryOPStmt::FAdd</a></div><div class="ttdeci">@ FAdd</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01039">SVFStatements.h:1039</a></div></div>
1218
1216
  <div class="ttc" id="aclassSVF_1_1SelectStmt_html_ad4c3e9529176478bb726279a76050e8c"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#ad4c3e9529176478bb726279a76050e8c">SVF::SelectStmt::getCondition</a></div><div class="ttdeci">const SVFVar * getCondition() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00919">SVFStatements.h:919</a></div></div>
1219
1217
  <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a4abde8e78108675a6980c362857cc7f0"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a4abde8e78108675a6980c362857cc7f0">SVF::SVFIR2AbsState::narrowAddrs</a></div><div class="ttdeci">void narrowAddrs(AbstractState &amp;es, AbstractState &amp;lhs, const AbstractState &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00320">SVFIR2AbsState.cpp:320</a></div></div>
@@ -1226,7 +1224,6 @@ $(function() {
1226
1224
  <div class="ttc" id="aclassSVF_1_1AccessPath_html_a4f482ca73cc6e7b8d946651e2b2ea2ae"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a4f482ca73cc6e7b8d946651e2b2ea2ae">SVF::AccessPath::IdxOperandPair</a></div><div class="ttdeci">std::pair&lt; const SVFVar *, const SVFType * &gt; IdxOperandPair</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00064">AccessPath.h:64</a></div></div>
1227
1225
  <div class="ttc" id="aclassSVF_1_1IntervalValue_html_adac2dc2c9f744a071ad3f0175ed40cd9"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">SVF::IntervalValue::ub</a></div><div class="ttdeci">const NumericLiteral &amp; ub() const</div><div class="ttdoc">Return the upper bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00213">IntervalValue.h:213</a></div></div>
1228
1226
  <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ac5d31c2e3387c04749195d6cdb417a7a"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ac5d31c2e3387c04749195d6cdb417a7a">SVF::SVFIR2AbsState::handleCall</a></div><div class="ttdeci">void handleCall(AbstractState &amp;es, const CallPE *callPE)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l01077">SVFIR2AbsState.cpp:1077</a></div></div>
1229
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a0bdeaa3dac43c85cfac9195592db3fc9"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a0bdeaa3dac43c85cfac9195592db3fc9">SVF::SVFIR2AbsState::getFPTruncValue</a></div><div class="ttdeci">AbstractValue getFPTruncValue(AbstractState &amp;es, const SVFVar *var, const SVFType *dstType)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00268">SVFIR2AbsState.cpp:268</a></div></div>
1230
1227
  <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021">SVF::CmpStmt::FCMP_UEQ</a></div><div class="ttdeci">@ FCMP_UEQ</div><div class="ttdoc">1 0 0 1 True if unordered or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00963">SVFStatements.h:963</a></div></div>
1231
1228
  <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acafa5a0ab60aff74a8d653c3f9fac04936"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acafa5a0ab60aff74a8d653c3f9fac04936">SVF::CmpStmt::ICMP_EQ</a></div><div class="ttdeci">@ ICMP_EQ</div><div class="ttdoc">equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00973">SVFStatements.h:973</a></div></div>
1232
1229
  <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca2a3ce0c02931984d92d70356efc49193"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2a3ce0c02931984d92d70356efc49193">SVF::CmpStmt::FCMP_ONE</a></div><div class="ttdeci">@ FCMP_ONE</div><div class="ttdoc">0 1 1 0 True if ordered and operands are unequal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00960">SVFStatements.h:960</a></div></div>
@@ -1234,7 +1231,9 @@ $(function() {
1234
1231
  <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>
1235
1232
  <div class="ttc" id="aclassSVF_1_1LoadStmt_html"><div class="ttname"><a href="classSVF_1_1LoadStmt.html">SVF::LoadStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00489">SVFStatements.h:489</a></div></div>
1236
1233
  <div class="ttc" id="aclassSVF_1_1CopyStmt_html_ae041bbd93e3839193fd7ffe9611a4ca1ab2b2f7dffed3d446a147fc7a27e66dd8"><div class="ttname"><a href="classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1ab2b2f7dffed3d446a147fc7a27e66dd8">SVF::CopyStmt::TRUNC</a></div><div class="ttdeci">@ TRUNC</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00380">SVFStatements.h:380</a></div></div>
1234
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ac9d2fc847e4f026d5f5084ff38cf896e"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ac9d2fc847e4f026d5f5084ff38cf896e">SVF::SVFIR2AbsState::getZExtValue</a></div><div class="ttdeci">AbstractValue getZExtValue(const AbstractState &amp;es, const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00111">SVFIR2AbsState.cpp:111</a></div></div>
1237
1235
  <div class="ttc" id="aclassSVF_1_1IntervalValue_html"><div class="ttname"><a href="classSVF_1_1IntervalValue.html">SVF::IntervalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00043">IntervalValue.h:43</a></div></div>
1236
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a22254bb0857b153817bda64913aecfb6"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a22254bb0857b153817bda64913aecfb6">SVF::SVFIR2AbsState::getByteOffset</a></div><div class="ttdeci">AbstractValue getByteOffset(const AbstractState &amp;es, const GepStmt *gep)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00403">SVFIR2AbsState.cpp:403</a></div></div>
1238
1237
  <div class="ttc" id="aclassSVF_1_1AddressValue_html_a269a73753a7b495eb08bb0c9c0a58dc0"><div class="ttname"><a href="classSVF_1_1AddressValue.html#a269a73753a7b495eb08bb0c9c0a58dc0">SVF::AddressValue::hasIntersect</a></div><div class="ttdeci">bool hasIntersect(const AddressValue &amp;other)</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00164">AddressValue.h:164</a></div></div>
1239
1238
  <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#l00080">SymbolTableInfo.cpp:80</a></div></div>
1240
1239
  <div class="ttc" id="aclassSVF_1_1AbstractState_html_aa057c4c27e613d239161c04daf3a46d0"><div class="ttname"><a href="classSVF_1_1AbstractState.html#aa057c4c27e613d239161c04daf3a46d0">SVF::AbstractState::load</a></div><div class="ttdeci">virtual AbstractValue &amp; load(u32_t addr)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00329">AbstractState.h:329</a></div></div>
@@ -1246,6 +1245,7 @@ $(function() {
1246
1245
  <div class="ttc" id="aclassSVF_1_1AddressValue_html_aa7291f4b74bb824fb38b8c383fa0b6a0"><div class="ttname"><a href="classSVF_1_1AddressValue.html#aa7291f4b74bb824fb38b8c383fa0b6a0">SVF::AddressValue::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00102">AddressValue.h:102</a></div></div>
1247
1246
  <div class="ttc" id="aclassSVF_1_1MemObj_html_a2f70e9c830b18f25c56b530722f106c4"><div class="ttname"><a href="classSVF_1_1MemObj.html#a2f70e9c830b18f25c56b530722f106c4">SVF::MemObj::getValue</a></div><div class="ttdeci">const SVFValue * getValue() const</div><div class="ttdoc">Get the reference value to this object.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00406">SymbolTableInfo.h:406</a></div></div>
1248
1247
  <div class="ttc" id="aclassSVF_1_1GepStmt_html"><div class="ttname"><a href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00526">SVFStatements.h:526</a></div></div>
1248
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_aae16d09e4c5db0da58248ef6b1596bbf"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#aae16d09e4c5db0da58248ef6b1596bbf">SVF::SVFIR2AbsState::getFPToUIntValue</a></div><div class="ttdeci">AbstractValue getFPToUIntValue(const AbstractState &amp;es, const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00179">SVFIR2AbsState.cpp:179</a></div></div>
1249
1249
  <div class="ttc" id="aclassSVF_1_1Options_html_a429c3000ee2ac45119b8c241aa06762c"><div class="ttname"><a href="classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c">SVF::Options::ModelArrays</a></div><div class="ttdeci">static const Option&lt; bool &gt; ModelArrays</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00207">Options.h:207</a></div></div>
1250
1250
  <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a74c008c44d3181d20819323aa83ec0ae"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a74c008c44d3181d20819323aa83ec0ae">SVF::SVFIR2AbsState::handleGep</a></div><div class="ttdeci">void handleGep(AbstractState &amp;es, const GepStmt *gep)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l01006">SVFIR2AbsState.cpp:1006</a></div></div>
1251
1251
  <div class="ttc" id="aclassSVF_1_1AddressValue_html_a40c67147606ab95dd3318d0fe821d8c0"><div class="ttname"><a href="classSVF_1_1AddressValue.html#a40c67147606ab95dd3318d0fe821d8c0">SVF::AddressValue::insert</a></div><div class="ttdeci">std::pair&lt; AddressValue::AddrSet::iterator, bool &gt; insert(u32_t id)</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00112">AddressValue.h:112</a></div></div>
@@ -1259,13 +1259,12 @@ $(function() {
1259
1259
  <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca3873c41e060b95cb37eac587402b597c"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3873c41e060b95cb37eac587402b597c">SVF::CmpStmt::FCMP_UGT</a></div><div class="ttdeci">@ FCMP_UGT</div><div class="ttdoc">1 0 1 0 True if unordered or greater than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00964">SVFStatements.h:964</a></div></div>
1260
1260
  <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6ad2db0456c9943dd75aa091cb19040448"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ad2db0456c9943dd75aa091cb19040448">SVF::BinaryOPStmt::SRem</a></div><div class="ttdeci">@ SRem</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01048">SVFStatements.h:1048</a></div></div>
1261
1261
  <div class="ttc" id="aclassSVF_1_1CopyStmt_html_ae041bbd93e3839193fd7ffe9611a4ca1a78bc561098a07651f94e72bffa895e16"><div class="ttname"><a href="classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1a78bc561098a07651f94e72bffa895e16">SVF::CopyStmt::SITOFP</a></div><div class="ttdeci">@ SITOFP</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00385">SVFStatements.h:385</a></div></div>
1262
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a7dbb2fcda16a2879d4b508ab41d6919d"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a7dbb2fcda16a2879d4b508ab41d6919d">SVF::SVFIR2AbsState::getSExtValue</a></div><div class="ttdeci">AbstractValue getSExtValue(AbstractState &amp;es, const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00156">SVFIR2AbsState.cpp:156</a></div></div>
1263
1262
  <div class="ttc" id="aclassSVF_1_1SVFIntegerType_html"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html">SVF::SVFIntegerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00291">SVFType.h:291</a></div></div>
1264
1263
  <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca6eef834451ec753add639be49c51f03f"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6eef834451ec753add639be49c51f03f">SVF::CmpStmt::ICMP_NE</a></div><div class="ttdeci">@ ICMP_NE</div><div class="ttdoc">not equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00974">SVFStatements.h:974</a></div></div>
1265
1264
  <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a674f9bb98053f8658e246863d6561072"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a674f9bb98053f8658e246863d6561072">SVF::IntervalValue::isBottom</a></div><div class="ttdeci">bool isBottom() const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00060">IntervalValue.h:60</a></div></div>
1266
1265
  <div class="ttc" id="aclassSVF_1_1MemObj_html_a7f828731597450f1d43b61413ab0e7bb"><div class="ttname"><a href="classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb">SVF::MemObj::isConstantArray</a></div><div class="ttdeci">bool isConstantArray() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00496">SymbolTableInfo.cpp:496</a></div></div>
1266
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a6603962aa96f2b71673ac16579529ab1"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a6603962aa96f2b71673ac16579529ab1">SVF::SVFIR2AbsState::getTruncValue</a></div><div class="ttdeci">AbstractValue getTruncValue(const AbstractState &amp;es, const SVFVar *var, const SVFType *dstType)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00219">SVFIR2AbsState.cpp:219</a></div></div>
1267
1267
  <div class="ttc" id="aclassSVF_1_1CmpStmt_html_aa6a21fb1cfbc263bb38651176c495632"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt::getPredicate</a></div><div class="ttdeci">u32_t getPredicate() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01011">SVFStatements.h:1011</a></div></div>
1268
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ab6c5effe0a781740bdee4d12583c5c8e"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ab6c5effe0a781740bdee4d12583c5c8e">SVF::SVFIR2AbsState::getUIntToFPValue</a></div><div class="ttdeci">AbstractValue getUIntToFPValue(AbstractState &amp;es, const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00208">SVFIR2AbsState.cpp:208</a></div></div>
1269
1268
  <div class="ttc" id="aclassSVF_1_1AddressValue_html"><div class="ttname"><a href="classSVF_1_1AddressValue.html">SVF::AddressValue</a></div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00043">AddressValue.h:43</a></div></div>
1270
1269
  <div class="ttc" id="aclassSVF_1_1SelectStmt_html_a537c03b08444da34c26b9e989bb0e568"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#a537c03b08444da34c26b9e989bb0e568">SVF::SelectStmt::getTrueValue</a></div><div class="ttdeci">const SVFVar * getTrueValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00923">SVFStatements.h:923</a></div></div>
1271
1270
  <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a8e19113913c2aa236ab35d3bdd49541c"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a8e19113913c2aa236ab35d3bdd49541c">SVF::NumericLiteral::getIntNumeral</a></div><div class="ttdeci">s64_t getIntNumeral() const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00148">NumericLiteral.h:148</a></div></div>
@@ -1274,8 +1273,8 @@ $(function() {
1274
1273
  <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_ad0a7c5e87355d7a83176343322db448f"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#ad0a7c5e87355d7a83176343322db448f">SVF::BinaryOPStmt::getOpcode</a></div><div class="ttdeci">u32_t getOpcode() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01081">SVFStatements.h:1081</a></div></div>
1275
1274
  <div class="ttc" id="aclassSVF_1_1ObjVar_html_a6a4feb73b54e602407e35eeb09f55930"><div class="ttname"><a href="classSVF_1_1ObjVar.html#a6a4feb73b54e602407e35eeb09f55930">SVF::ObjVar::getMemObj</a></div><div class="ttdeci">const MemObj * getMemObj() const</div><div class="ttdoc">Return memory object.</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00353">SVFVariables.h:353</a></div></div>
1276
1275
  <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>
1277
- <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a037e4c0e35b1fd45df3a969c6d054a1e"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a037e4c0e35b1fd45df3a969c6d054a1e">SVF::SVFIR2AbsState::getZExtValue</a></div><div class="ttdeci">AbstractValue getZExtValue(AbstractState &amp;es, const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00111">SVFIR2AbsState.cpp:111</a></div></div>
1278
1276
  <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a7a4ce4e97992d92ac044456e66821552"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a7a4ce4e97992d92ac044456e66821552">SVF::BinaryOPStmt::SDiv</a></div><div class="ttdeci">@ SDiv</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01045">SVFStatements.h:1045</a></div></div>
1277
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_ab7ecdafea261f755c44623d0eb2155b2"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#ab7ecdafea261f755c44623d0eb2155b2">SVF::SVFIR2AbsState::getFPTruncValue</a></div><div class="ttdeci">AbstractValue getFPTruncValue(const AbstractState &amp;es, const SVFVar *var, const SVFType *dstType)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00268">SVFIR2AbsState.cpp:268</a></div></div>
1279
1278
  <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_aaca7dc6ee9a3c8ea6e3eca094c7c3045"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#aaca7dc6ee9a3c8ea6e3eca094c7c3045">SVF::SVFIR2AbsState::getGepObjAddress</a></div><div class="ttdeci">AbstractValue getGepObjAddress(AbstractState &amp;es, u32_t pointer, APOffset offset)</div><div class="ttdoc">Return the field address given a pointer points to a struct object and an offset.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00360">SVFIR2AbsState.cpp:360</a></div></div>
1280
1279
  <div class="ttc" id="aclassSVF_1_1AssignStmt_html_a98f731be7be9bc8e7fd09f5c2204c840"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">SVF::AssignStmt::getLHSVarID</a></div><div class="ttdeci">NodeID getLHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00302">SVFStatements.h:302</a></div></div>
1281
1280
  <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_af300571886b7aa2d84b0a70851c99bc3"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#af300571886b7aa2d84b0a70851c99bc3">SVF::MultiOpndStmt::getOpVarNum</a></div><div class="ttdeci">u32_t getOpVarNum() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00790">SVFStatements.h:790</a></div></div>
@@ -1291,6 +1290,7 @@ $(function() {
1291
1290
  <div class="ttc" id="astructSVF_1_1AbstractValue_html_a8b1af972fa8a4e40347990d179ec1c52"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a8b1af972fa8a4e40347990d179ec1c52">SVF::AbstractValue::isBottom</a></div><div class="ttdeci">bool isBottom() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00192">AbstractValue.h:192</a></div></div>
1292
1291
  <div class="ttc" id="astructSVF_1_1AbstractValue_html_a5cc67e56c658a6833b1bf9235f2a73ba"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a5cc67e56c658a6833b1bf9235f2a73ba">SVF::AbstractValue::insertAddr</a></div><div class="ttdeci">std::pair&lt; AddressValue::AddrSet::iterator, bool &gt; insertAddr(u32_t id)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00456">AbstractValue.h:456</a></div></div>
1293
1292
  <div class="ttc" id="astructSVF_1_1AbstractValue_html"><div class="ttname"><a href="structSVF_1_1AbstractValue.html">SVF::AbstractValue</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00029">AbstractValue.h:29</a></div></div>
1293
+ <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a7745ef5b0382254b1ba1e4bcdf49d37c"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a7745ef5b0382254b1ba1e4bcdf49d37c">SVF::SVFIR2AbsState::getFPToSIntValue</a></div><div class="ttdeci">AbstractValue getFPToSIntValue(const AbstractState &amp;es, const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00161">SVFIR2AbsState.cpp:161</a></div></div>
1294
1294
  <div class="ttc" id="aclassSVF_1_1SVFIR2AbsState_html_a75204b54b40f1402d670691c0355d6b5"><div class="ttname"><a href="classSVF_1_1SVFIR2AbsState.html#a75204b54b40f1402d670691c0355d6b5">SVF::SVFIR2AbsState::handleStore</a></div><div class="ttdeci">void handleStore(AbstractState &amp;es, const StoreStmt *store)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2AbsState_8cpp_source.html#l00900">SVFIR2AbsState.cpp:900</a></div></div>
1295
1295
  <div class="ttc" id="aclassSVF_1_1CopyStmt_html_ae041bbd93e3839193fd7ffe9611a4ca1a16c9ba88473e39f9a105b74b016af046"><div class="ttname"><a href="classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1a16c9ba88473e39f9a105b74b016af046">SVF::CopyStmt::ZEXT</a></div><div class="ttdeci">@ ZEXT</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00377">SVFStatements.h:377</a></div></div>
1296
1296
  <div class="ttc" id="aclassSVF_1_1MemObj_html"><div class="ttname"><a href="classSVF_1_1MemObj.html">SVF::MemObj</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00380">SymbolTableInfo.h:380</a></div></div>