svf-tools 1.0.305 → 1.0.309

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 (149) hide show
  1. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +2 -2
  2. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +4 -4
  3. package/SVF-doxygen/html/html/Andersen_8h_source.html +2 -2
  4. package/SVF-doxygen/html/html/BasicTypes_8h_source.html +2 -2
  5. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +4 -4
  7. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +4 -4
  8. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +4 -4
  9. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +2 -2
  10. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +2 -2
  11. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +2 -2
  12. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +4 -4
  13. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +2 -2
  14. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +1 -1
  15. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +1 -1
  16. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +1 -1
  17. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +1 -1
  18. package/SVF-doxygen/html/html/PAG_8cpp_source.html +1 -1
  19. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +7 -6
  20. package/SVF-doxygen/html/html/PersistentPointsToCache_8h_source.html +25 -22
  21. package/SVF-doxygen/html/html/PersistentPointsToDS_8h_source.html +1 -1
  22. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +18 -14
  23. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +68 -68
  24. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +1 -1
  25. package/SVF-doxygen/html/html/PointsTo_8cpp_source.html +1 -1
  26. package/SVF-doxygen/html/html/SVFBasicTypes_8h.html +1 -1
  27. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +1 -1
  28. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +8 -7
  29. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +4 -4
  30. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +1 -1
  31. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +1 -1
  32. package/SVF-doxygen/html/html/VFG_8cpp_source.html +1 -1
  33. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +2 -2
  34. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +34 -33
  35. package/SVF-doxygen/html/html/VersionedFlowSensitive_8h_source.html +31 -31
  36. package/SVF-doxygen/html/html/classSVF_1_1AddrPE.html +1 -1
  37. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +5 -5
  38. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +7 -7
  39. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +1 -1
  40. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +3 -3
  41. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiffWithType.html +2 -2
  42. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl-members.html +1 -1
  43. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +81 -78
  44. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPPE.html +1 -1
  45. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  46. package/SVF-doxygen/html/html/classSVF_1_1CallBlockNode.html +1 -1
  47. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +1 -1
  48. package/SVF-doxygen/html/html/classSVF_1_1CmpPE.html +1 -1
  49. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +1 -1
  50. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +115 -115
  51. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +8 -8
  52. package/SVF-doxygen/html/html/classSVF_1_1CopyPE.html +1 -1
  53. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +4 -4
  54. package/SVF-doxygen/html/html/classSVF_1_1FIObjPN.html +1 -1
  55. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +2 -2
  56. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +21 -21
  57. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +2 -2
  58. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +8 -8
  59. package/SVF-doxygen/html/html/classSVF_1_1GepObjPN.html +1 -1
  60. package/SVF-doxygen/html/html/classSVF_1_1GepPE.html +1 -1
  61. package/SVF-doxygen/html/html/classSVF_1_1GepValPN.html +1 -1
  62. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  63. package/SVF-doxygen/html/html/classSVF_1_1IntraBlockNode.html +1 -1
  64. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  65. package/SVF-doxygen/html/html/classSVF_1_1LoadPE.html +1 -1
  66. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +1 -1
  67. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +2 -2
  68. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +4 -4
  69. package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html +1 -1
  70. package/SVF-doxygen/html/html/classSVF_1_1NormalGepPE.html +1 -1
  71. package/SVF-doxygen/html/html/classSVF_1_1ObjPN.html +1 -1
  72. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +1 -1
  73. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +17 -16
  74. package/SVF-doxygen/html/html/classSVF_1_1PersistentDFPTData.html +1 -1
  75. package/SVF-doxygen/html/html/classSVF_1_1PersistentPTData.html +1 -1
  76. package/SVF-doxygen/html/html/classSVF_1_1PersistentPointsToCache-members.html +19 -16
  77. package/SVF-doxygen/html/html/classSVF_1_1PersistentPointsToCache.html +188 -95
  78. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +2 -2
  79. package/SVF-doxygen/html/html/classSVF_1_1PointsTo.html +2 -1
  80. package/SVF-doxygen/html/html/classSVF_1_1RetBlockNode.html +1 -1
  81. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +1 -1
  82. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +4 -4
  83. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +2 -2
  84. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +1 -1
  85. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +2 -2
  86. package/SVF-doxygen/html/html/classSVF_1_1StorePE.html +1 -1
  87. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +1 -1
  88. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +1 -1
  89. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +1 -1
  90. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +1 -1
  91. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +1 -1
  92. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPPE.html +1 -1
  93. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  94. package/SVF-doxygen/html/html/classSVF_1_1ValPN.html +1 -1
  95. package/SVF-doxygen/html/html/classSVF_1_1VariantGepPE.html +1 -1
  96. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +93 -91
  97. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +2 -2
  98. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive_1_1SCC.html +8 -8
  99. package/SVF-doxygen/html/html/functions_c.html +10 -10
  100. package/SVF-doxygen/html/html/functions_f.html +1 -1
  101. package/SVF-doxygen/html/html/functions_func_f.html +1 -1
  102. package/SVF-doxygen/html/html/functions_i.html +5 -5
  103. package/SVF-doxygen/html/html/functions_o.html +3 -3
  104. package/SVF-doxygen/html/html/functions_p.html +23 -20
  105. package/SVF-doxygen/html/html/functions_r.html +6 -4
  106. package/SVF-doxygen/html/html/functions_s.html +8 -8
  107. package/SVF-doxygen/html/html/functions_t.html +6 -6
  108. package/SVF-doxygen/html/html/functions_u.html +3 -3
  109. package/SVF-doxygen/html/html/functions_v.html +3 -3
  110. package/SVF-doxygen/html/html/functions_vars_p.html +9 -0
  111. package/SVF-doxygen/html/html/globals_func_i.html +8 -8
  112. package/SVF-doxygen/html/html/globals_func_s.html +6 -6
  113. package/SVF-doxygen/html/html/globals_s.html +12 -14
  114. package/SVF-doxygen/html/html/namespaceSVF.html +2 -2
  115. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +10 -9
  116. package/SVF-doxygen/html/html/search/all_10.js +12 -9
  117. package/SVF-doxygen/html/html/search/all_12.js +1 -1
  118. package/SVF-doxygen/html/html/search/all_13.js +7 -7
  119. package/SVF-doxygen/html/html/search/all_14.js +4 -4
  120. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  121. package/SVF-doxygen/html/html/search/all_16.js +1 -1
  122. package/SVF-doxygen/html/html/search/all_3.js +1 -1
  123. package/SVF-doxygen/html/html/search/all_6.js +1 -1
  124. package/SVF-doxygen/html/html/search/all_9.js +3 -3
  125. package/SVF-doxygen/html/html/search/all_e.js +4 -4
  126. package/SVF-doxygen/html/html/search/all_f.js +1 -1
  127. package/SVF-doxygen/html/html/search/functions_10.js +2 -2
  128. package/SVF-doxygen/html/html/search/functions_5.js +1 -1
  129. package/SVF-doxygen/html/html/search/functions_8.js +1 -1
  130. package/SVF-doxygen/html/html/search/variables_10.js +3 -0
  131. package/SVF-doxygen/html/html/search/variables_14.js +2 -2
  132. package/SVF-doxygen/html/html/search/variables_e.js +3 -3
  133. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  134. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +1 -1
  135. package/SVF-doxygen/html/html/tools_2DDA_2CMakeLists_8txt.html +1 -1
  136. package/SVF-doxygen/html/html/tools_2Example_2CMakeLists_8txt.html +1 -1
  137. package/SVF-doxygen/html/html/tools_2MTA_2CMakeLists_8txt.html +1 -1
  138. package/SVF-doxygen/html/html/tools_2SABER_2CMakeLists_8txt.html +1 -1
  139. package/SVF-doxygen/html/html/tools_2WPA_2CMakeLists_8txt.html +9 -9
  140. package/include/MemoryModel/PersistentPointsToCache.h +43 -34
  141. package/include/MemoryModel/PointerAnalysisImpl.h +1 -5
  142. package/lib/MemoryModel/PointerAnalysisImpl.cpp +7 -0
  143. package/lib/MemoryModel/PointsTo.cpp +3 -3
  144. package/lib/Util/PTAStat.cpp +3 -4
  145. package/lib/Util/SVFUtil.cpp +1 -0
  146. package/lib/WPA/FlowSensitive.cpp +1 -1
  147. package/lib/WPA/VersionedFlowSensitive.cpp +2 -0
  148. package/package.json +1 -1
  149. package/tools/WPA/CMakeLists.txt +3 -1
@@ -144,7 +144,7 @@ $(function() {
144
144
  <div class="ttc" id="classSVF_1_1ConstraintGraph_html_a39b973543acdcdc5493832cc9d0f586f"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#a39b973543acdcdc5493832cc9d0f586f">SVF::ConstraintGraph::sccRepNode</a></div><div class="ttdeci">NodeID sccRepNode(NodeID id) const</div><div class="ttdoc">SCC rep/sub nodes methods. </div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8h_source.html#l00232">ConsG.h:232</a></div></div>
145
145
  <div class="ttc" id="classSVF_1_1PTAStat_html"><div class="ttname"><a href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00049">PTAStat.h:49</a></div></div>
146
146
  <div class="ttc" id="SVFBasicTypes_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFBasicTypes_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00174">SVFBasicTypes.h:174</a></div></div>
147
- <div class="ttc" id="classSVF_1_1PTAStat_html_acfed70588cf921694db35990ec3c7497"><div class="ttname"><a href="classSVF_1_1PTAStat.html#acfed70588cf921694db35990ec3c7497">SVF::PTAStat::performStat</a></div><div class="ttdeci">virtual void performStat()</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8cpp_source.html#l00133">PTAStat.cpp:133</a></div></div>
147
+ <div class="ttc" id="classSVF_1_1PTAStat_html_acfed70588cf921694db35990ec3c7497"><div class="ttname"><a href="classSVF_1_1PTAStat.html#acfed70588cf921694db35990ec3c7497">SVF::PTAStat::performStat</a></div><div class="ttdeci">virtual void performStat()</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8cpp_source.html#l00132">PTAStat.cpp:132</a></div></div>
148
148
  <div class="ttc" id="classSVF_1_1AndersenStat_html_a38dfd00f384eea7899a29b2ec32a0ded"><div class="ttname"><a href="classSVF_1_1AndersenStat.html#a38dfd00f384eea7899a29b2ec32a0ded">SVF::AndersenStat::_NumOfNullPtr</a></div><div class="ttdeci">u32_t _NumOfNullPtr</div><div class="ttdef"><b>Definition:</b> <a href="WPAStat_8h_source.html#l00063">WPAStat.h:63</a></div></div>
149
149
  <div class="ttc" id="classSVF_1_1ConstraintGraph_html_a2337fa70dc5b0b13dbba4cd776404c6b"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#a2337fa70dc5b0b13dbba4cd776404c6b">SVF::ConstraintGraph::getBaseObjNode</a></div><div class="ttdeci">NodeID getBaseObjNode(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8h_source.html#l00317">ConsG.h:317</a></div></div>
150
150
  <div class="ttc" id="classSVF_1_1AndersenStat_html_a27d4e2bf145226f3c2b4d46fee2311e7"><div class="ttname"><a href="classSVF_1_1AndersenStat.html#a27d4e2bf145226f3c2b4d46fee2311e7">SVF::AndersenStat::_NumOfBlackholePtr</a></div><div class="ttdeci">u32_t _NumOfBlackholePtr</div><div class="ttdef"><b>Definition:</b> <a href="WPAStat_8h_source.html#l00065">WPAStat.h:65</a></div></div>
@@ -187,7 +187,7 @@ $(function() {
187
187
  <div class="ttc" id="LLVMUtil_8h_html"><div class="ttname"><a href="LLVMUtil_8h.html">LLVMUtil.h</a></div></div>
188
188
  <div class="ttc" id="classSVF_1_1PTAStat_html_ad4c1cf3750341f73987c37745f3bd2aa"><div class="ttname"><a href="classSVF_1_1PTAStat.html#ad4c1cf3750341f73987c37745f3bd2aa">SVF::PTAStat::SCCDetectionTime</a></div><div class="ttdeci">static const char * SCCDetectionTime</div><div class="ttdoc">Total SCC detection time. </div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00053">PTAStat.h:53</a></div></div>
189
189
  <div class="ttc" id="classSVF_1_1AndersenStat_html_a5ad75166a80052f9e6fdd14ff7c8b948"><div class="ttname"><a href="classSVF_1_1AndersenStat.html#a5ad75166a80052f9e6fdd14ff7c8b948">SVF::AndersenStat::constraintGraphStat</a></div><div class="ttdeci">void constraintGraphStat()</div><div class="ttdef"><b>Definition:</b> <a href="AndersenStat_8cpp_source.html#l00100">AndersenStat.cpp:100</a></div></div>
190
- <div class="ttc" id="classSVF_1_1PTAStat_html_aa5f455bfa79743b8e263431593d29bbf"><div class="ttname"><a href="classSVF_1_1PTAStat.html#aa5f455bfa79743b8e263431593d29bbf">SVF::PTAStat::printStat</a></div><div class="ttdeci">virtual void printStat(string str=&quot;&quot;)</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8cpp_source.html#l00291">PTAStat.cpp:291</a></div></div>
190
+ <div class="ttc" id="classSVF_1_1PTAStat_html_aa5f455bfa79743b8e263431593d29bbf"><div class="ttname"><a href="classSVF_1_1PTAStat.html#aa5f455bfa79743b8e263431593d29bbf">SVF::PTAStat::printStat</a></div><div class="ttdeci">virtual void printStat(string str=&quot;&quot;)</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8cpp_source.html#l00290">PTAStat.cpp:290</a></div></div>
191
191
  <div class="ttc" id="classSVF_1_1PTAStat_html_a8c4101e697057269def501d14a987287"><div class="ttname"><a href="classSVF_1_1PTAStat.html#a8c4101e697057269def501d14a987287">SVF::PTAStat::SCCMergeTime</a></div><div class="ttdeci">static const char * SCCMergeTime</div><div class="ttdoc">Total SCC merge time. </div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00054">PTAStat.h:54</a></div></div>
192
192
  <div class="ttc" id="classSVF_1_1AndersenBase_html_a6da6e1231a46fde6925493045b8b2490"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a6da6e1231a46fde6925493045b8b2490">SVF::AndersenBase::numOfSCCDetection</a></div><div class="ttdeci">static Size_t numOfSCCDetection</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00136">Andersen.h:136</a></div></div>
193
193
  </div><!-- fragment --></div><!-- contents -->