svf-tools 1.0.332 → 1.0.333

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 (126) hide show
  1. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/html/CSC_8cpp_source.html +2 -2
  3. package/SVF-doxygen/html/html/ConsGEdge_8h_source.html +3 -3
  4. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +4 -4
  5. package/SVF-doxygen/html/html/ConsG_8h_source.html +1 -1
  6. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +2 -2
  8. package/SVF-doxygen/html/html/DCHG_8h_source.html +5 -4
  9. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +1 -1
  10. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +2 -2
  11. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +3 -3
  13. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +2 -2
  14. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +2 -2
  15. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +1 -1
  16. package/SVF-doxygen/html/html/LocationSet_8h_source.html +2 -2
  17. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +3 -3
  18. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +1 -1
  19. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +2 -2
  20. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +9 -9
  21. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +11 -11
  22. package/SVF-doxygen/html/html/SVFIR_8h_source.html +8 -8
  23. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +46 -47
  24. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +1 -1
  25. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +4 -4
  26. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +2 -2
  27. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +1 -1
  28. package/SVF-doxygen/html/html/VFGNode_8h_source.html +2 -2
  29. package/SVF-doxygen/html/html/VFG_8cpp_source.html +6 -6
  30. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +2 -2
  31. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +1 -1
  32. package/SVF-doxygen/html/html/classSVF_1_1CSC.html +2 -2
  33. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +15 -15
  34. package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar-members.html +10 -10
  35. package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar.html +3 -3
  36. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +6 -6
  37. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +1 -1
  38. package/SVF-doxygen/html/html/classSVF_1_1DCHEdge-members.html +3 -3
  39. package/SVF-doxygen/html/html/classSVF_1_1DCHEdge.html +19 -19
  40. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +2 -2
  41. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +1 -1
  42. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +1 -1
  43. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +3 -3
  44. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar-members.html +10 -10
  45. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +20 -20
  46. package/SVF-doxygen/html/html/classSVF_1_1GepStmt-members.html +9 -7
  47. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +137 -62
  48. package/SVF-doxygen/html/html/classSVF_1_1GepValVar-members.html +8 -8
  49. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +12 -12
  50. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +3 -3
  51. package/SVF-doxygen/html/html/classSVF_1_1IRAnnotator.html +1 -1
  52. package/SVF-doxygen/html/html/classSVF_1_1LocationSet-members.html +1 -1
  53. package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +12 -12
  54. package/SVF-doxygen/html/html/classSVF_1_1NormalGepCGEdge-members.html +2 -2
  55. package/SVF-doxygen/html/html/classSVF_1_1NormalGepCGEdge.html +14 -14
  56. package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt-members.html +34 -35
  57. package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt.html +27 -89
  58. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +1 -1
  59. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +3 -3
  60. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +15 -15
  61. package/SVF-doxygen/html/html/classSVF_1_1SVFIR-members.html +1 -1
  62. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +33 -25
  63. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +1 -1
  64. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +17 -11
  65. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +2 -2
  66. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +9 -9
  67. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +9 -9
  68. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +2 -2
  69. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +8 -8
  70. package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt-members.html +37 -36
  71. package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt.html +30 -21
  72. package/SVF-doxygen/html/html/functions_a.html +4 -4
  73. package/SVF-doxygen/html/html/functions_func.html +4 -4
  74. package/SVF-doxygen/html/html/functions_func_g.html +20 -20
  75. package/SVF-doxygen/html/html/functions_func_s.html +1 -1
  76. package/SVF-doxygen/html/html/functions_g.html +17 -17
  77. package/SVF-doxygen/html/html/functions_l.html +1 -1
  78. package/SVF-doxygen/html/html/functions_o.html +1 -1
  79. package/SVF-doxygen/html/html/functions_s.html +13 -13
  80. package/SVF-doxygen/html/html/functions_t.html +6 -4
  81. package/SVF-doxygen/html/html/functions_v.html +3 -3
  82. package/SVF-doxygen/html/html/functions_vars_l.html +1 -1
  83. package/SVF-doxygen/html/html/functions_vars_o.html +1 -1
  84. package/SVF-doxygen/html/html/search/all_1.js +3 -3
  85. package/SVF-doxygen/html/html/search/all_12.js +1 -1
  86. package/SVF-doxygen/html/html/search/all_13.js +5 -5
  87. package/SVF-doxygen/html/html/search/all_14.js +3 -3
  88. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  89. package/SVF-doxygen/html/html/search/all_16.js +2 -2
  90. package/SVF-doxygen/html/html/search/all_7.js +3 -3
  91. package/SVF-doxygen/html/html/search/all_c.js +1 -1
  92. package/SVF-doxygen/html/html/search/all_f.js +1 -1
  93. package/SVF-doxygen/html/html/search/functions_0.js +3 -3
  94. package/SVF-doxygen/html/html/search/functions_10.js +1 -1
  95. package/SVF-doxygen/html/html/search/functions_13.js +1 -1
  96. package/SVF-doxygen/html/html/search/functions_6.js +3 -3
  97. package/SVF-doxygen/html/html/search/variables_14.js +2 -2
  98. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  99. package/SVF-doxygen/html/html/search/variables_c.js +1 -1
  100. package/SVF-doxygen/html/html/search/variables_f.js +1 -1
  101. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +2 -2
  102. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html +2 -2
  103. package/include/Graphs/ConsG.h +1 -1
  104. package/include/Graphs/ConsGEdge.h +2 -2
  105. package/include/MemoryModel/LocationSet.h +3 -3
  106. package/include/MemoryModel/SVFIR.h +1 -1
  107. package/include/MemoryModel/SVFStatements.h +16 -15
  108. package/include/MemoryModel/SVFVariables.h +9 -9
  109. package/include/SVF-FE/DCHG.h +3 -3
  110. package/include/SVF-FE/SVFIRBuilder.h +2 -2
  111. package/include/Util/IRAnnotator.h +1 -1
  112. package/lib/Graphs/ConsG.cpp +1 -1
  113. package/lib/MemoryModel/LocationSet.cpp +2 -2
  114. package/lib/MemoryModel/PAGBuilderFromFile.cpp +1 -1
  115. package/lib/MemoryModel/PointerAnalysisImpl.cpp +1 -1
  116. package/lib/MemoryModel/SVFIR.cpp +8 -8
  117. package/lib/MemoryModel/SVFVariables.cpp +2 -2
  118. package/lib/MemoryModel/SymbolTableInfo.cpp +2 -2
  119. package/lib/SVF-FE/DCHG.cpp +1 -1
  120. package/lib/SVF-FE/Graph2Json.cpp +1 -1
  121. package/lib/SVF-FE/SVFIRBuilder.cpp +3 -3
  122. package/lib/Util/TypeBasedHeapCloning.cpp +5 -5
  123. package/lib/WPA/AndersenSFR.cpp +2 -2
  124. package/lib/WPA/CSC.cpp +2 -2
  125. package/lib/WPA/FlowSensitiveTBHC.cpp +3 -3
  126. package/package.json +1 -1
@@ -95,7 +95,7 @@ $(function() {
95
95
  <div class="ttc" id="classSVF_1_1StmtDPItem_html"><div class="ttname"><a href="classSVF_1_1StmtDPItem.html">SVF::StmtDPItem</a></div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00119">DPItem.h:119</a></div></div>
96
96
  <div class="ttc" id="classSVF_1_1CallBlockNode_html_ad3d50024efcfa94b1246c982b43aff2f"><div class="ttname"><a href="classSVF_1_1CallBlockNode.html#ad3d50024efcfa94b1246c982b43aff2f">SVF::CallBlockNode::getCallSite</a></div><div class="ttdeci">const Instruction * getCallSite() const</div><div class="ttdoc">Return callsite. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00381">ICFGNode.h:381</a></div></div>
97
97
  <div class="ttc" id="namespaceSVF_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="ContextDDA_8h_source.html#l00016">ContextDDA.h:16</a></div></div>
98
- <div class="ttc" id="classSVF_1_1NormalGepStmt_html"><div class="ttname"><a href="classSVF_1_1NormalGepStmt.html">SVF::NormalGepStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00709">SVFStatements.h:709</a></div></div>
98
+ <div class="ttc" id="classSVF_1_1NormalGepStmt_html"><div class="ttname"><a href="classSVF_1_1NormalGepStmt.html">SVF::NormalGepStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00716">SVFStatements.h:716</a></div></div>
99
99
  <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
100
100
  <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a220f4c09e4c09c58d018719d44ec1dc3"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a220f4c09e4c09c58d018719d44ec1dc3">SVF::SVFUtil::dumpSet</a></div><div class="ttdeci">void dumpSet(NodeBS To, raw_ostream &amp;O=SVFUtil::outs())</div><div class="ttdoc">Dump sparse bitvector set. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00149">SVFUtil.cpp:149</a></div></div>
101
101
  <div class="ttc" id="classSVF_1_1CallBlockNode_html"><div class="ttname"><a href="classSVF_1_1CallBlockNode.html">SVF::CallBlockNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00364">ICFGNode.h:364</a></div></div>