svf-tools 1.0.826 → 1.0.828

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 (165) hide show
  1. package/SVF-doxygen/html/Andersen_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/CFLAlias_8cpp_source.html +1 -1
  3. package/SVF-doxygen/html/CHGBuilder_8cpp_source.html +10 -10
  4. package/SVF-doxygen/html/ConsG_8cpp_source.html +1 -1
  5. package/SVF-doxygen/html/CxtStmt_8h_source.html +1 -1
  6. package/SVF-doxygen/html/DCHG_8cpp_source.html +2 -2
  7. package/SVF-doxygen/html/DDAClient_8cpp_source.html +1 -1
  8. package/SVF-doxygen/html/ICFGBuilder_8cpp_source.html +3 -3
  9. package/SVF-doxygen/html/ICFG_8cpp_source.html +1 -1
  10. package/SVF-doxygen/html/LLVMLoopAnalysis_8cpp_source.html +2 -2
  11. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +1432 -1412
  12. package/SVF-doxygen/html/LLVMModule_8h_source.html +312 -310
  13. package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +938 -932
  14. package/SVF-doxygen/html/LLVMUtil_8h.html +2 -2
  15. package/SVF-doxygen/html/LLVMUtil_8h_source.html +41 -41
  16. package/SVF-doxygen/html/LockResultValidator_8cpp_source.html +2 -2
  17. package/SVF-doxygen/html/LockResultValidator_8h_source.html +1 -1
  18. package/SVF-doxygen/html/MHP_8cpp_source.html +1 -1
  19. package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +2 -2
  20. package/SVF-doxygen/html/MTAAnnotator_8h_source.html +1 -1
  21. package/SVF-doxygen/html/MTAResultValidator_8cpp_source.html +1 -1
  22. package/SVF-doxygen/html/MemSSA_8cpp_source.html +1 -1
  23. package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +1 -1
  24. package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +1 -1
  25. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +1 -1
  26. package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +8 -8
  27. package/SVF-doxygen/html/SVFIRBuilder_8h_source.html +3 -3
  28. package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +1 -1
  29. package/SVF-doxygen/html/SVFStatements_8cpp_source.html +1 -1
  30. package/SVF-doxygen/html/SVFValue_8cpp_source.html +1 -1
  31. package/SVF-doxygen/html/SVFValue_8h_source.html +1 -1
  32. package/SVF-doxygen/html/SVFVariables_8cpp_source.html +1 -1
  33. package/SVF-doxygen/html/Steensgaard_8cpp_source.html +1 -1
  34. package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +9 -9
  35. package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +1 -1
  36. package/SVF-doxygen/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  37. package/SVF-doxygen/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  38. package/SVF-doxygen/html/classSVF_1_1AddrStmt.html +1 -1
  39. package/SVF-doxygen/html/classSVF_1_1AliasDDAClient.html +1 -1
  40. package/SVF-doxygen/html/classSVF_1_1Andersen.html +1 -1
  41. package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +1 -1
  42. package/SVF-doxygen/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  43. package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +1 -1
  44. package/SVF-doxygen/html/classSVF_1_1CFLAlias.html +1 -1
  45. package/SVF-doxygen/html/classSVF_1_1CHGBuilder.html +10 -10
  46. package/SVF-doxygen/html/classSVF_1_1CallCFGEdge.html +1 -1
  47. package/SVF-doxygen/html/classSVF_1_1CallPE.html +1 -1
  48. package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +1 -1
  49. package/SVF-doxygen/html/classSVF_1_1CmpVFGNode.html +1 -1
  50. package/SVF-doxygen/html/classSVF_1_1CopyStmt.html +1 -1
  51. package/SVF-doxygen/html/classSVF_1_1CxtStmt.html +1 -1
  52. package/SVF-doxygen/html/classSVF_1_1CxtThread.html +1 -1
  53. package/SVF-doxygen/html/classSVF_1_1CxtThreadStmt.html +1 -1
  54. package/SVF-doxygen/html/classSVF_1_1DCHGraph.html +2 -2
  55. package/SVF-doxygen/html/classSVF_1_1DoubleFreeChecker.html +1 -1
  56. package/SVF-doxygen/html/classSVF_1_1FIObjVar.html +1 -1
  57. package/SVF-doxygen/html/classSVF_1_1ForkJoinAnalysis.html +1 -1
  58. package/SVF-doxygen/html/classSVF_1_1GepObjVar.html +1 -1
  59. package/SVF-doxygen/html/classSVF_1_1GepStmt.html +1 -1
  60. package/SVF-doxygen/html/classSVF_1_1GepValVar.html +1 -1
  61. package/SVF-doxygen/html/classSVF_1_1ICFG.html +1 -1
  62. package/SVF-doxygen/html/classSVF_1_1ICFGBuilder.html +3 -3
  63. package/SVF-doxygen/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  64. package/SVF-doxygen/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  65. package/SVF-doxygen/html/classSVF_1_1IntraCFGEdge.html +1 -1
  66. package/SVF-doxygen/html/classSVF_1_1IntraICFGNode.html +1 -1
  67. package/SVF-doxygen/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  68. package/SVF-doxygen/html/classSVF_1_1LLVMLoopAnalysis.html +2 -2
  69. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet-members.html +63 -63
  70. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +1563 -1554
  71. package/SVF-doxygen/html/classSVF_1_1LeakChecker.html +1 -1
  72. package/SVF-doxygen/html/classSVF_1_1LoadStmt.html +1 -1
  73. package/SVF-doxygen/html/classSVF_1_1LockResultValidator.html +2 -2
  74. package/SVF-doxygen/html/classSVF_1_1MHP.html +1 -1
  75. package/SVF-doxygen/html/classSVF_1_1MHPValidator.html +1 -1
  76. package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +2 -2
  77. package/SVF-doxygen/html/classSVF_1_1MTAResultValidator.html +2 -2
  78. package/SVF-doxygen/html/classSVF_1_1MemObj.html +1 -1
  79. package/SVF-doxygen/html/classSVF_1_1MemSSA.html +1 -1
  80. package/SVF-doxygen/html/classSVF_1_1ObjVar.html +1 -1
  81. package/SVF-doxygen/html/classSVF_1_1PHIVFGNode.html +1 -1
  82. package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +1 -1
  83. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +1 -1
  84. package/SVF-doxygen/html/classSVF_1_1RaceResultValidator.html +2 -2
  85. package/SVF-doxygen/html/classSVF_1_1RaceValidator.html +1 -1
  86. package/SVF-doxygen/html/classSVF_1_1RetCFGEdge.html +1 -1
  87. package/SVF-doxygen/html/classSVF_1_1RetPE.html +1 -1
  88. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +1 -1
  89. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +13 -13
  90. package/SVF-doxygen/html/classSVF_1_1SVFValue.html +24 -24
  91. package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +1 -1
  92. package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +1 -1
  93. package/SVF-doxygen/html/classSVF_1_1StoreStmt.html +1 -1
  94. package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +9 -9
  95. package/SVF-doxygen/html/classSVF_1_1TCT.html +1 -1
  96. package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +1 -1
  97. package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +1 -1
  98. package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +1 -1
  99. package/SVF-doxygen/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  100. package/SVF-doxygen/html/classSVF_1_1ValVar.html +1 -1
  101. package/SVF-doxygen/html/functions_b.html +1 -1
  102. package/SVF-doxygen/html/functions_c.html +27 -32
  103. package/SVF-doxygen/html/functions_func_b.html +1 -1
  104. package/SVF-doxygen/html/functions_func_l.html +1 -1
  105. package/SVF-doxygen/html/functions_l.html +1 -1
  106. package/SVF-doxygen/html/functions_o.html +22 -19
  107. package/SVF-doxygen/html/functions_p.html +4 -4
  108. package/SVF-doxygen/html/functions_r.html +8 -4
  109. package/SVF-doxygen/html/functions_s.html +12 -10
  110. package/SVF-doxygen/html/functions_t.html +6 -6
  111. package/SVF-doxygen/html/functions_v.html +6 -6
  112. package/SVF-doxygen/html/functions_vars_c.html +0 -3
  113. package/SVF-doxygen/html/functions_vars_o.html +3 -0
  114. package/SVF-doxygen/html/functions_w.html +1 -1
  115. package/SVF-doxygen/html/namespaceSVF_1_1LLVMUtil.html +850 -844
  116. package/SVF-doxygen/html/namespacemembers_func_g.html +8 -8
  117. package/SVF-doxygen/html/namespacemembers_g.html +8 -8
  118. package/SVF-doxygen/html/search/all_10.js +2 -2
  119. package/SVF-doxygen/html/search/all_11.js +3 -3
  120. package/SVF-doxygen/html/search/all_12.js +8 -8
  121. package/SVF-doxygen/html/search/all_13.js +2 -2
  122. package/SVF-doxygen/html/search/all_15.js +4 -4
  123. package/SVF-doxygen/html/search/all_16.js +1 -1
  124. package/SVF-doxygen/html/search/all_2.js +1 -1
  125. package/SVF-doxygen/html/search/all_3.js +28 -29
  126. package/SVF-doxygen/html/search/all_4.js +234 -234
  127. package/SVF-doxygen/html/search/all_5.js +119 -119
  128. package/SVF-doxygen/html/search/all_6.js +226 -226
  129. package/SVF-doxygen/html/search/all_7.js +553 -553
  130. package/SVF-doxygen/html/search/all_8.js +198 -198
  131. package/SVF-doxygen/html/search/all_9.js +607 -607
  132. package/SVF-doxygen/html/search/all_a.js +46 -46
  133. package/SVF-doxygen/html/search/all_b.js +26 -26
  134. package/SVF-doxygen/html/search/all_c.js +116 -116
  135. package/SVF-doxygen/html/search/all_d.js +198 -198
  136. package/SVF-doxygen/html/search/all_e.js +207 -207
  137. package/SVF-doxygen/html/search/all_f.js +115 -114
  138. package/SVF-doxygen/html/search/functions_2.js +1 -1
  139. package/SVF-doxygen/html/search/functions_7.js +493 -493
  140. package/SVF-doxygen/html/search/functions_c.js +1 -1
  141. package/SVF-doxygen/html/search/variables_3.js +4 -5
  142. package/SVF-doxygen/html/search/variables_4.js +55 -55
  143. package/SVF-doxygen/html/search/variables_5.js +37 -37
  144. package/SVF-doxygen/html/search/variables_6.js +66 -66
  145. package/SVF-doxygen/html/search/variables_7.js +34 -34
  146. package/SVF-doxygen/html/search/variables_8.js +7 -7
  147. package/SVF-doxygen/html/search/variables_9.js +78 -78
  148. package/SVF-doxygen/html/search/variables_a.js +4 -4
  149. package/SVF-doxygen/html/search/variables_b.js +10 -10
  150. package/SVF-doxygen/html/search/variables_c.js +45 -45
  151. package/SVF-doxygen/html/search/variables_d.js +56 -56
  152. package/SVF-doxygen/html/search/variables_e.js +123 -123
  153. package/SVF-doxygen/html/search/variables_f.js +29 -28
  154. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  155. package/SVF-doxygen/html/svf-ex_8cpp.html +1 -1
  156. package/SVF-doxygen/html/svf-ex_8cpp_source.html +1 -1
  157. package/SVF-doxygen/html/svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html +2 -2
  158. package/SVF-doxygen/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html +2 -2
  159. package/package.json +1 -1
  160. package/svf-llvm/include/SVF-LLVM/LLVMModule.h +7 -5
  161. package/svf-llvm/include/SVF-LLVM/LLVMUtil.h +2 -2
  162. package/svf-llvm/lib/LLVMModule.cpp +37 -17
  163. package/svf-llvm/lib/LLVMUtil.cpp +13 -6
  164. package/svf-llvm/lib/SVFIRBuilder.cpp +1 -1
  165. package/svf-llvm/lib/SymbolTableBuilder.cpp +2 -2

There are too many changes on this page to be displayed.

The amount of changes on this page would crash your brower.

You can still verify the content by downloading the package file manually.