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
package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html CHANGED
@@ -89,7 +89,7 @@ $(function() {
89
89
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a7a311f7789c6c7a028ad0f595c1e0295">addThreadForkEdge</a>(NodeID src, NodeID dst, const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
90
90
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a4acfddb8e683bbcc2e3949907361ea29">addThreadJoinEdge</a>(NodeID src, NodeID dst, const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
91
91
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a6102431dd8a8d7b050d5773e499d0fbf">addUnaryOPEdge</a>(NodeID src, NodeID dst, u32_t opcode)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
92
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a3fdaecda239de4e8d4178e01445c6ad2">addVariantGepEdge</a>(NodeID src, NodeID dst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
92
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a3727f2df1c8a935898b19dfe5ae6ba7a">addVariantGepEdge</a>(NodeID src, NodeID dst, const LocationSet &amp;ls)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
93
93
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#aa6d56f9580f76fd09d25ce6cf7541e98">build</a>(SVFModule *svfModule)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
94
94
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a87b75f04942124711d5ea1366e866890">computeGepOffset</a>(const User *V, LocationSet &amp;ls)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
95
95
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#aac1cbf0cb2b402b5fd0e2324c89c31b0">curBB</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">private</span></td></tr>