svf-tools 1.0.507 → 1.0.508

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 (52) hide show
  1. package/SVF-doxygen/html/html/ExeState_8cpp_source.html +14 -15
  2. package/SVF-doxygen/html/html/ExeState_8h_source.html +16 -16
  3. package/SVF-doxygen/html/html/ProgSlice_8h_source.html +4 -4
  4. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +28 -30
  5. package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +33 -33
  6. package/SVF-doxygen/html/html/Z3Expr_8cpp_source.html +13 -12
  7. package/SVF-doxygen/html/html/Z3Expr_8h_source.html +48 -47
  8. package/SVF-doxygen/html/html/classSVF_1_1ExeState.html +33 -33
  9. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +4 -4
  10. package/SVF-doxygen/html/html/classSVF_1_1SaberCondAllocator.html +91 -91
  11. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +1 -1
  12. package/SVF-doxygen/html/html/classSVF_1_1Z3Expr-members.html +13 -12
  13. package/SVF-doxygen/html/html/classSVF_1_1Z3Expr.html +148 -115
  14. package/SVF-doxygen/html/html/functions_c.html +1 -1
  15. package/SVF-doxygen/html/html/functions_func_r.html +6 -3
  16. package/SVF-doxygen/html/html/functions_o.html +3 -3
  17. package/SVF-doxygen/html/html/functions_p.html +10 -6
  18. package/SVF-doxygen/html/html/functions_r.html +10 -11
  19. package/SVF-doxygen/html/html/functions_s.html +8 -10
  20. package/SVF-doxygen/html/html/functions_t.html +10 -8
  21. package/SVF-doxygen/html/html/functions_v.html +3 -3
  22. package/SVF-doxygen/html/html/functions_vars_c.html +1 -1
  23. package/SVF-doxygen/html/html/functions_vars_s.html +1 -1
  24. package/SVF-doxygen/html/html/search/all_10.js +4 -4
  25. package/SVF-doxygen/html/html/search/all_11.js +4 -3
  26. package/SVF-doxygen/html/html/search/all_12.js +6 -6
  27. package/SVF-doxygen/html/html/search/all_13.js +4 -4
  28. package/SVF-doxygen/html/html/search/all_14.js +1 -1
  29. package/SVF-doxygen/html/html/search/all_15.js +2 -2
  30. package/SVF-doxygen/html/html/search/all_16.js +1 -1
  31. package/SVF-doxygen/html/html/search/all_3.js +1 -1
  32. package/SVF-doxygen/html/html/search/all_9.js +1 -1
  33. package/SVF-doxygen/html/html/search/all_b.js +1 -1
  34. package/SVF-doxygen/html/html/search/all_c.js +1 -1
  35. package/SVF-doxygen/html/html/search/all_e.js +1 -1
  36. package/SVF-doxygen/html/html/search/all_f.js +1 -1
  37. package/SVF-doxygen/html/html/search/functions_10.js +1 -0
  38. package/SVF-doxygen/html/html/search/functions_f.js +1 -1
  39. package/SVF-doxygen/html/html/search/variables_12.js +1 -1
  40. package/SVF-doxygen/html/html/search/variables_13.js +2 -2
  41. package/SVF-doxygen/html/html/search/variables_14.js +1 -1
  42. package/SVF-doxygen/html/html/search/variables_3.js +1 -1
  43. package/SVF-doxygen/html/html/search/variables_9.js +1 -1
  44. package/SVF-doxygen/html/html/search/variables_c.js +1 -1
  45. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  46. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html +1 -1
  47. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1Z3Expr_01_4.html +3 -3
  48. package/include/Util/Z3Expr.h +4 -1
  49. package/lib/SABER/SaberCondAllocator.cpp +0 -2
  50. package/lib/Util/ExeState.cpp +0 -1
  51. package/lib/Util/Z3Expr.cpp +15 -1
  52. package/package.json +1 -1
package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html CHANGED
@@ -760,7 +760,7 @@ Private Attributes</h2></td></tr>
760
760
  </div><div class="memdoc">
761
761
 
762
762
  <p class="definition">Definition at line <a class="el" href="ProgSlice_8h_source.html#l00246">246</a> of file <a class="el" href="ProgSlice_8h_source.html">ProgSlice.h</a>.</p>
763
- <div class="fragment"><div class="line"><a name="l00247"></a><span class="lineno"> 247</span>&#160; {</div><div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ProgSlice.html#aaf001b6abc4ecb466ab74b26981ea7ef">pathAllocator</a>-&gt;<a class="code" href="classSVF_1_1SaberCondAllocator.html#a25f4b168340871cf5641fb79d008685a">ComputeInterCallVFGGuard</a>(src,dst,callBB);</div><div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; }</div><div class="ttc" id="classSVF_1_1SaberCondAllocator_html_a25f4b168340871cf5641fb79d008685a"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#a25f4b168340871cf5641fb79d008685a">SVF::SaberCondAllocator::ComputeInterCallVFGGuard</a></div><div class="ttdeci">virtual Condition ComputeInterCallVFGGuard(const BasicBlock *src, const BasicBlock *dst, const BasicBlock *callBB)</div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8cpp_source.html#l00478">SaberCondAllocator.cpp:478</a></div></div>
763
+ <div class="fragment"><div class="line"><a name="l00247"></a><span class="lineno"> 247</span>&#160; {</div><div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ProgSlice.html#aaf001b6abc4ecb466ab74b26981ea7ef">pathAllocator</a>-&gt;<a class="code" href="classSVF_1_1SaberCondAllocator.html#a25f4b168340871cf5641fb79d008685a">ComputeInterCallVFGGuard</a>(src,dst,callBB);</div><div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; }</div><div class="ttc" id="classSVF_1_1SaberCondAllocator_html_a25f4b168340871cf5641fb79d008685a"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#a25f4b168340871cf5641fb79d008685a">SVF::SaberCondAllocator::ComputeInterCallVFGGuard</a></div><div class="ttdeci">virtual Condition ComputeInterCallVFGGuard(const BasicBlock *src, const BasicBlock *dst, const BasicBlock *callBB)</div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8cpp_source.html#l00476">SaberCondAllocator.cpp:476</a></div></div>
764
764
  <div class="ttc" id="classSVF_1_1ProgSlice_html_aaf001b6abc4ecb466ab74b26981ea7ef"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#aaf001b6abc4ecb466ab74b26981ea7ef">SVF::ProgSlice::pathAllocator</a></div><div class="ttdeci">SaberCondAllocator * pathAllocator</div><div class="ttdoc">path condition allocator </div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8h_source.html#l00301">ProgSlice.h:301</a></div></div>
765
765
  </div><!-- fragment -->
766
766
  </div>
@@ -807,7 +807,7 @@ Private Attributes</h2></td></tr>
807
807
 
808
808
  <p class="definition">Definition at line <a class="el" href="ProgSlice_8h_source.html#l00250">250</a> of file <a class="el" href="ProgSlice_8h_source.html">ProgSlice.h</a>.</p>
809
809
  <div class="fragment"><div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160; {</div><div class="line"><a name="l00252"></a><span class="lineno"> 252</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ProgSlice.html#aaf001b6abc4ecb466ab74b26981ea7ef">pathAllocator</a>-&gt;<a class="code" href="classSVF_1_1SaberCondAllocator.html#a3934d1ebdc728a89db9cec42436004c4">ComputeInterRetVFGGuard</a>(src,dst,retBB);</div><div class="line"><a name="l00253"></a><span class="lineno"> 253</span>&#160; }</div><div class="ttc" id="classSVF_1_1ProgSlice_html_aaf001b6abc4ecb466ab74b26981ea7ef"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#aaf001b6abc4ecb466ab74b26981ea7ef">SVF::ProgSlice::pathAllocator</a></div><div class="ttdeci">SaberCondAllocator * pathAllocator</div><div class="ttdoc">path condition allocator </div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8h_source.html#l00301">ProgSlice.h:301</a></div></div>
810
- <div class="ttc" id="classSVF_1_1SaberCondAllocator_html_a3934d1ebdc728a89db9cec42436004c4"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#a3934d1ebdc728a89db9cec42436004c4">SVF::SaberCondAllocator::ComputeInterRetVFGGuard</a></div><div class="ttdeci">virtual Condition ComputeInterRetVFGGuard(const BasicBlock *src, const BasicBlock *dst, const BasicBlock *retBB)</div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8cpp_source.html#l00495">SaberCondAllocator.cpp:495</a></div></div>
810
+ <div class="ttc" id="classSVF_1_1SaberCondAllocator_html_a3934d1ebdc728a89db9cec42436004c4"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#a3934d1ebdc728a89db9cec42436004c4">SVF::SaberCondAllocator::ComputeInterRetVFGGuard</a></div><div class="ttdeci">virtual Condition ComputeInterRetVFGGuard(const BasicBlock *src, const BasicBlock *dst, const BasicBlock *retBB)</div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8cpp_source.html#l00493">SaberCondAllocator.cpp:493</a></div></div>
811
811
  </div><!-- fragment -->
812
812
  </div>
813
813
  </div>
@@ -848,7 +848,7 @@ Private Attributes</h2></td></tr>
848
848
  <p>Compute guards for value-flows. </p>
849
849
 
850
850
  <p class="definition">Definition at line <a class="el" href="ProgSlice_8h_source.html#l00242">242</a> of file <a class="el" href="ProgSlice_8h_source.html">ProgSlice.h</a>.</p>
851
- <div class="fragment"><div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160; {</div><div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ProgSlice.html#aaf001b6abc4ecb466ab74b26981ea7ef">pathAllocator</a>-&gt;<a class="code" href="classSVF_1_1SaberCondAllocator.html#a94ef09be5ef07f4d5222059b99619bc2">ComputeIntraVFGGuard</a>(src,dst);</div><div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160; }</div><div class="ttc" id="classSVF_1_1SaberCondAllocator_html_a94ef09be5ef07f4d5222059b99619bc2"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#a94ef09be5ef07f4d5222059b99619bc2">SVF::SaberCondAllocator::ComputeIntraVFGGuard</a></div><div class="ttdeci">virtual Condition ComputeIntraVFGGuard(const BasicBlock *src, const BasicBlock *dst)</div><div class="ttdoc">Guard Computation for a value-flow (between two basic blocks) </div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8cpp_source.html#l00508">SaberCondAllocator.cpp:508</a></div></div>
851
+ <div class="fragment"><div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160; {</div><div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ProgSlice.html#aaf001b6abc4ecb466ab74b26981ea7ef">pathAllocator</a>-&gt;<a class="code" href="classSVF_1_1SaberCondAllocator.html#a94ef09be5ef07f4d5222059b99619bc2">ComputeIntraVFGGuard</a>(src,dst);</div><div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160; }</div><div class="ttc" id="classSVF_1_1SaberCondAllocator_html_a94ef09be5ef07f4d5222059b99619bc2"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#a94ef09be5ef07f4d5222059b99619bc2">SVF::SaberCondAllocator::ComputeIntraVFGGuard</a></div><div class="ttdeci">virtual Condition ComputeIntraVFGGuard(const BasicBlock *src, const BasicBlock *dst)</div><div class="ttdoc">Guard Computation for a value-flow (between two basic blocks) </div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8cpp_source.html#l00506">SaberCondAllocator.cpp:506</a></div></div>
852
852
  <div class="ttc" id="classSVF_1_1ProgSlice_html_aaf001b6abc4ecb466ab74b26981ea7ef"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#aaf001b6abc4ecb466ab74b26981ea7ef">SVF::ProgSlice::pathAllocator</a></div><div class="ttdeci">SaberCondAllocator * pathAllocator</div><div class="ttdoc">path condition allocator </div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8h_source.html#l00301">ProgSlice.h:301</a></div></div>
853
853
  </div><!-- fragment -->
854
854
  </div>
@@ -1581,7 +1581,7 @@ Private Attributes</h2></td></tr>
1581
1581
  </div><div class="memdoc">
1582
1582
 
1583
1583
  <p class="definition">Definition at line <a class="el" href="ProgSlice_8h_source.html#l00256">256</a> of file <a class="el" href="ProgSlice_8h_source.html">ProgSlice.h</a>.</p>
1584
- <div class="fragment"><div class="line"><a name="l00257"></a><span class="lineno"> 257</span>&#160; {</div><div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ProgSlice.html#aaf001b6abc4ecb466ab74b26981ea7ef">pathAllocator</a>-&gt;<a class="code" href="classSVF_1_1SaberCondAllocator.html#aa9027574586fd4fbb12039f595ecec71">isEquivalentBranchCond</a>(lhs, rhs);</div><div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; };</div><div class="ttc" id="classSVF_1_1SaberCondAllocator_html_aa9027574586fd4fbb12039f595ecec71"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#aa9027574586fd4fbb12039f595ecec71">SVF::SaberCondAllocator::isEquivalentBranchCond</a></div><div class="ttdeci">bool isEquivalentBranchCond(const Condition &amp;lhs, const Condition &amp;rhs) const</div><div class="ttdoc">Whether lhs and rhs are equivalent branch conditions. </div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8cpp_source.html#l00606">SaberCondAllocator.cpp:606</a></div></div>
1584
+ <div class="fragment"><div class="line"><a name="l00257"></a><span class="lineno"> 257</span>&#160; {</div><div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ProgSlice.html#aaf001b6abc4ecb466ab74b26981ea7ef">pathAllocator</a>-&gt;<a class="code" href="classSVF_1_1SaberCondAllocator.html#aa9027574586fd4fbb12039f595ecec71">isEquivalentBranchCond</a>(lhs, rhs);</div><div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; };</div><div class="ttc" id="classSVF_1_1SaberCondAllocator_html_aa9027574586fd4fbb12039f595ecec71"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#aa9027574586fd4fbb12039f595ecec71">SVF::SaberCondAllocator::isEquivalentBranchCond</a></div><div class="ttdeci">bool isEquivalentBranchCond(const Condition &amp;lhs, const Condition &amp;rhs) const</div><div class="ttdoc">Whether lhs and rhs are equivalent branch conditions. </div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8cpp_source.html#l00604">SaberCondAllocator.cpp:604</a></div></div>
1585
1585
  <div class="ttc" id="classSVF_1_1ProgSlice_html_aaf001b6abc4ecb466ab74b26981ea7ef"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#aaf001b6abc4ecb466ab74b26981ea7ef">SVF::ProgSlice::pathAllocator</a></div><div class="ttdeci">SaberCondAllocator * pathAllocator</div><div class="ttdoc">path condition allocator </div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8h_source.html#l00301">ProgSlice.h:301</a></div></div>
1586
1586
  </div><!-- fragment -->
1587
1587
  </div>