svf-tools 1.0.306 → 1.0.307

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 (88) hide show
  1. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +2 -2
  2. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +2 -2
  3. package/SVF-doxygen/html/html/BasicTypes_8h_source.html +2 -2
  4. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +1 -1
  5. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +2 -2
  6. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +2 -2
  7. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +2 -2
  8. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +1 -1
  9. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +1 -1
  10. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +1 -1
  11. package/SVF-doxygen/html/html/PAG_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +7 -6
  13. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +1 -1
  14. package/SVF-doxygen/html/html/PointsTo_8cpp_source.html +1 -1
  15. package/SVF-doxygen/html/html/SVFBasicTypes_8h.html +1 -1
  16. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +1 -1
  17. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +8 -7
  18. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +4 -4
  19. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +1 -1
  20. package/SVF-doxygen/html/html/VFG_8cpp_source.html +1 -1
  21. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +2 -2
  22. package/SVF-doxygen/html/html/classSVF_1_1AddrPE.html +1 -1
  23. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +2 -2
  24. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +3 -3
  25. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPPE.html +1 -1
  26. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  27. package/SVF-doxygen/html/html/classSVF_1_1CallBlockNode.html +1 -1
  28. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +1 -1
  29. package/SVF-doxygen/html/html/classSVF_1_1CmpPE.html +1 -1
  30. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +1 -1
  31. package/SVF-doxygen/html/html/classSVF_1_1CopyPE.html +1 -1
  32. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +2 -2
  33. package/SVF-doxygen/html/html/classSVF_1_1FIObjPN.html +1 -1
  34. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +2 -2
  35. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +2 -2
  36. package/SVF-doxygen/html/html/classSVF_1_1GepObjPN.html +1 -1
  37. package/SVF-doxygen/html/html/classSVF_1_1GepPE.html +1 -1
  38. package/SVF-doxygen/html/html/classSVF_1_1GepValPN.html +1 -1
  39. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  40. package/SVF-doxygen/html/html/classSVF_1_1IntraBlockNode.html +1 -1
  41. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  42. package/SVF-doxygen/html/html/classSVF_1_1LoadPE.html +1 -1
  43. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +1 -1
  44. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +4 -4
  45. package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html +1 -1
  46. package/SVF-doxygen/html/html/classSVF_1_1NormalGepPE.html +1 -1
  47. package/SVF-doxygen/html/html/classSVF_1_1ObjPN.html +1 -1
  48. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +1 -1
  49. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +17 -16
  50. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +1 -1
  51. package/SVF-doxygen/html/html/classSVF_1_1PointsTo.html +2 -1
  52. package/SVF-doxygen/html/html/classSVF_1_1RetBlockNode.html +1 -1
  53. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +1 -1
  54. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +4 -4
  55. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +2 -2
  56. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +1 -1
  57. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +2 -2
  58. package/SVF-doxygen/html/html/classSVF_1_1StorePE.html +1 -1
  59. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +1 -1
  60. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +1 -1
  61. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +1 -1
  62. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +1 -1
  63. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPPE.html +1 -1
  64. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  65. package/SVF-doxygen/html/html/classSVF_1_1ValPN.html +1 -1
  66. package/SVF-doxygen/html/html/classSVF_1_1VariantGepPE.html +1 -1
  67. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +2 -2
  68. package/SVF-doxygen/html/html/globals_func_i.html +8 -8
  69. package/SVF-doxygen/html/html/globals_func_s.html +6 -6
  70. package/SVF-doxygen/html/html/globals_s.html +12 -14
  71. package/SVF-doxygen/html/html/namespaceSVF.html +2 -2
  72. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +10 -9
  73. package/SVF-doxygen/html/html/search/all_13.js +1 -1
  74. package/SVF-doxygen/html/html/search/all_9.js +1 -1
  75. package/SVF-doxygen/html/html/search/functions_10.js +1 -1
  76. package/SVF-doxygen/html/html/search/functions_8.js +1 -1
  77. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  78. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +1 -1
  79. package/SVF-doxygen/html/html/tools_2DDA_2CMakeLists_8txt.html +1 -1
  80. package/SVF-doxygen/html/html/tools_2Example_2CMakeLists_8txt.html +1 -1
  81. package/SVF-doxygen/html/html/tools_2MTA_2CMakeLists_8txt.html +1 -1
  82. package/SVF-doxygen/html/html/tools_2SABER_2CMakeLists_8txt.html +1 -1
  83. package/SVF-doxygen/html/html/tools_2WPA_2CMakeLists_8txt.html +9 -9
  84. package/lib/MemoryModel/PointsTo.cpp +3 -3
  85. package/lib/Util/PTAStat.cpp +3 -4
  86. package/lib/Util/SVFUtil.cpp +1 -0
  87. package/package.json +1 -1
  88. package/tools/WPA/CMakeLists.txt +3 -1
@@ -184,7 +184,7 @@ $(function() {
184
184
  <div class="ttc" id="classSVF_1_1CallGraphBuilder_html"><div class="ttname"><a href="classSVF_1_1CallGraphBuilder.html">SVF::CallGraphBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="CallGraphBuilder_8h_source.html#l00042">CallGraphBuilder.h:42</a></div></div>
185
185
  <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a85ab6b592fefc45a0674d3295e01638f"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVF::SVFUtil::outs</a></div><div class="ttdeci">raw_ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00049">SVFUtil.h:49</a></div></div>
186
186
  <div class="ttc" id="PointerAnalysisImpl_8h_html"><div class="ttname"><a href="PointerAnalysisImpl_8h.html">PointerAnalysisImpl.h</a></div></div>
187
- <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>
187
+ <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>
188
188
  <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a40738643202ca6301671f51da3fc1137"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a40738643202ca6301671f51da3fc1137">SVF::PointerAnalysis::resolveIndCalls</a></div><div class="ttdeci">virtual void resolveIndCalls(const CallBlockNode *cs, const PointsTo &amp;target, CallEdgeMap &amp;newEdges, LLVMCallGraph *callgraph=nullptr)</div><div class="ttdoc">Resolve indirect call edges. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8cpp_source.html#l00439">PointerAnalysis.cpp:439</a></div></div>
189
189
  <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a83b0a51d88fa7aadff6e9267765d07a5"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a83b0a51d88fa7aadff6e9267765d07a5">SVF::PointerAnalysis::aliasTestPartialAlias</a></div><div class="ttdeci">static const std::string aliasTestPartialAlias</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00121">PointerAnalysis.h:121</a></div></div>
190
190
  <div class="ttc" id="Options_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>