svf-tools 1.0.336 → 1.0.337

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 (167) hide show
  1. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +3 -3
  2. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +1 -1
  3. package/SVF-doxygen/html/html/Andersen_8h_source.html +2 -2
  4. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +3 -3
  5. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +6 -6
  6. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +4 -4
  7. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +1 -1
  8. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +2 -2
  9. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +3 -3
  10. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +1 -1
  11. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +3 -3
  12. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +4 -4
  13. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +1 -1
  14. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +5 -2
  15. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +1 -1
  16. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +17 -17
  17. package/SVF-doxygen/html/html/ICFG_8h_source.html +38 -37
  18. package/SVF-doxygen/html/html/MTA_8cpp_source.html +2 -2
  19. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +1 -1
  20. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +1 -1
  21. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +7 -7
  22. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +4 -4
  23. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +21 -24
  24. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +42 -43
  25. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +1 -1
  26. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp.html +1 -0
  27. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +6 -5
  28. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +40 -40
  29. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +6 -6
  30. package/SVF-doxygen/html/html/SVFIR_8h_source.html +6 -6
  31. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +22 -21
  32. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +47 -47
  33. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +4 -4
  34. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +1 -1
  35. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +1 -1
  36. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +2 -2
  37. package/SVF-doxygen/html/html/VFGNode_8h_source.html +4 -4
  38. package/SVF-doxygen/html/html/VFG_8cpp_source.html +9 -9
  39. package/SVF-doxygen/html/html/VFG_8h_source.html +8 -8
  40. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +2 -2
  41. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +1 -1
  42. package/SVF-doxygen/html/html/classSVF_1_1Andersen-members.html +187 -188
  43. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +7 -10
  44. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase-members.html +160 -161
  45. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +2 -5
  46. package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD-members.html +199 -200
  47. package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD.html +0 -3
  48. package/SVF-doxygen/html/html/classSVF_1_1AndersenHLCD-members.html +202 -203
  49. package/SVF-doxygen/html/html/classSVF_1_1AndersenHLCD.html +0 -3
  50. package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD-members.html +195 -196
  51. package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD.html +0 -3
  52. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD-members.html +196 -197
  53. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +0 -3
  54. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR-members.html +205 -206
  55. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +0 -3
  56. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +3 -3
  57. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff-members.html +193 -194
  58. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +0 -3
  59. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl-members.html +116 -117
  60. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +9 -12
  61. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +18 -18
  62. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +32 -32
  63. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +4 -4
  64. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +2 -2
  65. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +19 -19
  66. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl-members.html +104 -105
  67. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +5 -8
  68. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +3 -3
  69. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA-members.html +182 -183
  70. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +11 -14
  71. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +5 -5
  72. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +3 -3
  73. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA-members.html +219 -220
  74. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +0 -3
  75. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA-members.html +180 -181
  76. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +9 -12
  77. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive-members.html +212 -213
  78. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +17 -20
  79. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +2 -2
  80. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC-members.html +244 -245
  81. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +5 -8
  82. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +1 -1
  83. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +2 -2
  84. package/SVF-doxygen/html/html/classSVF_1_1ICFG-members.html +27 -26
  85. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +183 -116
  86. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +10 -5
  87. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter-members.html +9 -9
  88. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +26 -25
  89. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +2 -2
  90. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +2 -2
  91. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +1 -1
  92. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +1 -1
  93. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +4 -4
  94. package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt.html +2 -2
  95. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +1 -1
  96. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt-members.html +37 -36
  97. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +27 -3
  98. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis-members.html +78 -79
  99. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +104 -144
  100. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +2 -2
  101. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +1 -1
  102. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +6 -6
  103. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +122 -115
  104. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +4 -4
  105. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +1 -1
  106. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard-members.html +171 -172
  107. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +0 -3
  108. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +2 -2
  109. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +11 -11
  110. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +11 -11
  111. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +1 -1
  112. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis-members.html +161 -162
  113. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +3 -6
  114. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +2 -2
  115. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +25 -25
  116. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +11 -11
  117. package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt.html +2 -2
  118. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive-members.html +254 -255
  119. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +2 -5
  120. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +1 -1
  121. package/SVF-doxygen/html/html/functions_d.html +0 -3
  122. package/SVF-doxygen/html/html/functions_func_d.html +0 -3
  123. package/SVF-doxygen/html/html/functions_func_i.html +13 -10
  124. package/SVF-doxygen/html/html/functions_i.html +10 -6
  125. package/SVF-doxygen/html/html/functions_l.html +6 -6
  126. package/SVF-doxygen/html/html/functions_n.html +3 -3
  127. package/SVF-doxygen/html/html/functions_p.html +9 -9
  128. package/SVF-doxygen/html/html/functions_r.html +1 -1
  129. package/SVF-doxygen/html/html/functions_rela.html +3 -0
  130. package/SVF-doxygen/html/html/functions_s.html +14 -12
  131. package/SVF-doxygen/html/html/functions_t.html +7 -5
  132. package/SVF-doxygen/html/html/functions_v.html +6 -6
  133. package/SVF-doxygen/html/html/search/all_10.js +7 -7
  134. package/SVF-doxygen/html/html/search/all_12.js +1 -1
  135. package/SVF-doxygen/html/html/search/all_13.js +10 -10
  136. package/SVF-doxygen/html/html/search/all_14.js +3 -3
  137. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  138. package/SVF-doxygen/html/html/search/all_16.js +3 -3
  139. package/SVF-doxygen/html/html/search/all_4.js +0 -1
  140. package/SVF-doxygen/html/html/search/all_9.js +2 -1
  141. package/SVF-doxygen/html/html/search/all_c.js +3 -3
  142. package/SVF-doxygen/html/html/search/all_d.js +3 -3
  143. package/SVF-doxygen/html/html/search/all_e.js +2 -2
  144. package/SVF-doxygen/html/html/search/functions_10.js +1 -1
  145. package/SVF-doxygen/html/html/search/functions_3.js +0 -1
  146. package/SVF-doxygen/html/html/search/functions_8.js +1 -0
  147. package/SVF-doxygen/html/html/search/functions_e.js +1 -1
  148. package/SVF-doxygen/html/html/search/related_4.js +1 -0
  149. package/SVF-doxygen/html/html/search/variables_14.js +1 -1
  150. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  151. package/SVF-doxygen/html/html/search/variables_d.js +1 -1
  152. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  153. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +1 -1
  154. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.html +1 -1
  155. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.html +1 -1
  156. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html +2 -2
  157. package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
  158. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
  159. package/include/Graphs/ICFG.h +5 -3
  160. package/include/MemoryModel/PointerAnalysis.h +0 -3
  161. package/include/MemoryModel/SVFStatements.h +5 -0
  162. package/lib/Graphs/ICFG.cpp +2 -2
  163. package/lib/MemoryModel/PointerAnalysis.cpp +1 -21
  164. package/lib/MemoryModel/SVFStatements.cpp +10 -1
  165. package/lib/SVF-FE/ICFGBuilder.cpp +17 -2
  166. package/lib/SVF-FE/SVFIRBuilder.cpp +13 -0
  167. package/package.json +1 -1
package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD.html CHANGED
@@ -650,9 +650,6 @@ Protected Member Functions</h2></td></tr>
650
650
  <tr class="memitem:a74df51017ceaa389de2c2f33f3522fc3 inherit pro_methods_classSVF_1_1PointerAnalysis"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PointerAnalysis.html#a74df51017ceaa389de2c2f33f3522fc3">getFunPtr</a> (const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs) const</td></tr>
651
651
  <tr class="memdesc:a74df51017ceaa389de2c2f33f3522fc3 inherit pro_methods_classSVF_1_1PointerAnalysis"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return function pointer PAGNode at a callsite cs. <a href="classSVF_1_1PointerAnalysis.html#a74df51017ceaa389de2c2f33f3522fc3">More...</a><br /></td></tr>
652
652
  <tr class="separator:a74df51017ceaa389de2c2f33f3522fc3 inherit pro_methods_classSVF_1_1PointerAnalysis"><td class="memSeparator" colspan="2">&#160;</td></tr>
653
- <tr class="memitem:a3fd44d3cfc3f4ab18506870c65df32f5 inherit pro_methods_classSVF_1_1PointerAnalysis"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PointerAnalysis.html#a3fd44d3cfc3f4ab18506870c65df32f5">dumpGraph</a> ()</td></tr>
654
- <tr class="memdesc:a3fd44d3cfc3f4ab18506870c65df32f5 inherit pro_methods_classSVF_1_1PointerAnalysis"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether to dump the graph for debugging purpose. <a href="classSVF_1_1PointerAnalysis.html#a3fd44d3cfc3f4ab18506870c65df32f5">More...</a><br /></td></tr>
655
- <tr class="separator:a3fd44d3cfc3f4ab18506870c65df32f5 inherit pro_methods_classSVF_1_1PointerAnalysis"><td class="memSeparator" colspan="2">&#160;</td></tr>
656
653
  <tr class="memitem:a73fb8e595473e0c7df1dd0de4968ad13 inherit pro_methods_classSVF_1_1PointerAnalysis"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PointerAnalysis.html#a73fb8e595473e0c7df1dd0de4968ad13">resetObjFieldSensitive</a> ()</td></tr>
657
654
  <tr class="memdesc:a73fb8e595473e0c7df1dd0de4968ad13 inherit pro_methods_classSVF_1_1PointerAnalysis"><td class="mdescLeft">&#160;</td><td class="mdescRight">Reset all object node as field-sensitive. <a href="classSVF_1_1PointerAnalysis.html#a73fb8e595473e0c7df1dd0de4968ad13">More...</a><br /></td></tr>
658
655
  <tr class="separator:a73fb8e595473e0c7df1dd0de4968ad13 inherit pro_methods_classSVF_1_1PointerAnalysis"><td class="memSeparator" colspan="2">&#160;</td></tr>