svf-tools 1.0.340 → 1.0.341

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 (49) hide show
  1. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +5 -5
  2. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +1 -1
  3. package/SVF-doxygen/html/html/SVFIR_8h_source.html +2 -2
  4. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +16 -15
  5. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +1 -1
  6. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +29 -27
  7. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +44 -42
  8. package/SVF-doxygen/html/html/classSVF_1_1MemObj-members.html +23 -22
  9. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +69 -46
  10. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo-members.html +17 -15
  11. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +141 -106
  12. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +5 -5
  13. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +2 -2
  14. package/SVF-doxygen/html/html/classSVF_1_1StInfo.html +24 -24
  15. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +17 -16
  16. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +15 -15
  17. package/SVF-doxygen/html/html/functions_c.html +21 -16
  18. package/SVF-doxygen/html/html/functions_eval_c.html +5 -2
  19. package/SVF-doxygen/html/html/functions_func_i.html +19 -17
  20. package/SVF-doxygen/html/html/functions_i.html +19 -17
  21. package/SVF-doxygen/html/html/functions_m.html +1 -1
  22. package/SVF-doxygen/html/html/functions_n.html +3 -3
  23. package/SVF-doxygen/html/html/functions_o.html +10 -10
  24. package/SVF-doxygen/html/html/functions_p.html +17 -23
  25. package/SVF-doxygen/html/html/functions_s.html +7 -9
  26. package/SVF-doxygen/html/html/functions_w.html +5 -9
  27. package/SVF-doxygen/html/html/search/all_10.js +11 -11
  28. package/SVF-doxygen/html/html/search/all_12.js +1 -1
  29. package/SVF-doxygen/html/html/search/all_13.js +4 -4
  30. package/SVF-doxygen/html/html/search/all_14.js +4 -4
  31. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  32. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  33. package/SVF-doxygen/html/html/search/all_3.js +2 -1
  34. package/SVF-doxygen/html/html/search/all_9.js +4 -4
  35. package/SVF-doxygen/html/html/search/all_c.js +1 -1
  36. package/SVF-doxygen/html/html/search/all_d.js +1 -1
  37. package/SVF-doxygen/html/html/search/all_e.js +1 -1
  38. package/SVF-doxygen/html/html/search/all_f.js +2 -2
  39. package/SVF-doxygen/html/html/search/enumvalues_2.js +2 -1
  40. package/SVF-doxygen/html/html/search/functions_8.js +4 -4
  41. package/SVF-doxygen/html/html/search/functions_e.js +1 -1
  42. package/SVF-doxygen/html/html/search/variables_14.js +3 -3
  43. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  44. package/include/MemoryModel/SVFIR.h +1 -1
  45. package/include/MemoryModel/SymbolTableInfo.h +15 -9
  46. package/lib/MemoryModel/SymbolTableInfo.cpp +12 -7
  47. package/lib/SVF-FE/SymbolTableBuilder.cpp +2 -2
  48. package/lib/Util/PTAStat.cpp +3 -3
  49. package/package.json +1 -1
package/SVF-doxygen/html/html/SVFIR_8cpp_source.html CHANGED
@@ -141,7 +141,7 @@ $(function() {
141
141
  <div class="ttc" id="classSVF_1_1SVFIR_html_addc84dae75be8e8b9deccdb4360736d3"><div class="ttname"><a href="classSVF_1_1SVFIR.html#addc84dae75be8e8b9deccdb4360736d3">SVF::SVFIR::isValidPointer</a></div><div class="ttdeci">bool isValidPointer(NodeID nodeId) const</div><div class="ttdoc">Whether a node is a valid pointer. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00662">SVFIR.cpp:662</a></div></div>
142
142
  <div class="ttc" id="classSVF_1_1PhiStmt_html_ae20d273a8afe603395b6621f04e6cb65"><div class="ttname"><a href="classSVF_1_1PhiStmt.html#ae20d273a8afe603395b6621f04e6cb65">SVF::PhiStmt::addOpVar</a></div><div class="ttdeci">void addOpVar(SVFVar *op)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00753">SVFStatements.h:753</a></div></div>
143
143
  <div class="ttc" id="classSVF_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#l00259">SVFStatements.h:259</a></div></div>
144
- <div class="ttc" id="classSVF_1_1StInfo_html_ad6e599717952f8ccc2771cd72254b6b2"><div class="ttname"><a href="classSVF_1_1StInfo.html#ad6e599717952f8ccc2771cd72254b6b2">SVF::StInfo::getMaxFieldLimit</a></div><div class="ttdeci">static u32_t getMaxFieldLimit()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00534">SymbolTableInfo.h:534</a></div></div>
144
+ <div class="ttc" id="classSVF_1_1StInfo_html_ad6e599717952f8ccc2771cd72254b6b2"><div class="ttname"><a href="classSVF_1_1StInfo.html#ad6e599717952f8ccc2771cd72254b6b2">SVF::StInfo::getMaxFieldLimit</a></div><div class="ttdeci">static u32_t getMaxFieldLimit()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00535">SymbolTableInfo.h:535</a></div></div>
145
145
  <div class="ttc" id="classSVF_1_1GepObjVar_html"><div class="ttname"><a href="classSVF_1_1GepObjVar.html">SVF::GepObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00456">SVFVariables.h:456</a></div></div>
146
146
  <div class="ttc" id="classSVF_1_1SVFVar_html_a1ace69053c2c4436fd78d5624bd0086a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">SVF::SVFVar::hasValue</a></div><div class="ttdeci">bool hasValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00113">SVFVariables.h:113</a></div></div>
147
147
  <div class="ttc" id="classSVF_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#l00059">SymbolTableInfo.cpp:59</a></div></div>