svf-tools 1.0.366 → 1.0.370

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 (156) hide show
  1. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +6 -6
  3. package/SVF-doxygen/html/html/ConsG_8h_source.html +2 -2
  4. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +1 -1
  5. package/SVF-doxygen/html/html/DDAClient_8h_source.html +1 -1
  6. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +1 -1
  8. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +2 -2
  9. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +2 -2
  10. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +8 -6
  11. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +4 -4
  12. package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +26 -24
  13. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +6 -5
  14. package/SVF-doxygen/html/html/ICFG_8h_source.html +3 -2
  15. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +1 -1
  16. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +1 -1
  17. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +1 -1
  18. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +1 -1
  19. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +2 -2
  20. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +2 -2
  21. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +1 -1
  22. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +2 -2
  23. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +10 -6
  24. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +52 -48
  25. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +45 -41
  26. package/SVF-doxygen/html/html/SVFIR_8h_source.html +42 -40
  27. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +1 -1
  28. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +104 -98
  29. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +1 -1
  30. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +1 -1
  31. package/SVF-doxygen/html/html/VFGNode_8h_source.html +6 -6
  32. package/SVF-doxygen/html/html/VFG_8cpp_source.html +14 -14
  33. package/SVF-doxygen/html/html/VFG_8h_source.html +10 -10
  34. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +1 -1
  35. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +3 -3
  36. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt-members.html +42 -43
  37. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +15 -18
  38. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +31 -31
  39. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +3 -3
  40. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +13 -13
  41. package/SVF-doxygen/html/html/classSVF_1_1CallPE-members.html +24 -22
  42. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +91 -27
  43. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt-members.html +42 -43
  44. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +16 -19
  45. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +1 -1
  46. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +8 -8
  47. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +2 -2
  48. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +2 -2
  49. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +4 -4
  50. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +1 -1
  51. package/SVF-doxygen/html/html/classSVF_1_1ICFG-members.html +1 -1
  52. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +10 -10
  53. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +21 -16
  54. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter-members.html +1 -1
  55. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +4 -4
  56. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge-members.html +27 -26
  57. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +120 -81
  58. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +1 -1
  59. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +1 -1
  60. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt-members.html +45 -46
  61. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +25 -63
  62. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +9 -9
  63. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt-members.html +47 -48
  64. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +34 -35
  65. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +2 -2
  66. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +14 -14
  67. package/SVF-doxygen/html/html/classSVF_1_1RetPE-members.html +23 -21
  68. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +93 -27
  69. package/SVF-doxygen/html/html/classSVF_1_1SVFIR-members.html +4 -4
  70. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +135 -110
  71. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +4 -4
  72. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +177 -139
  73. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
  74. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt-members.html +44 -45
  75. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +21 -24
  76. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE-members.html +42 -41
  77. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +28 -19
  78. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE-members.html +42 -41
  79. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +27 -19
  80. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +1 -1
  81. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +20 -20
  82. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +16 -16
  83. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +1 -1
  84. package/SVF-doxygen/html/html/functions_a.html +9 -9
  85. package/SVF-doxygen/html/html/functions_b.html +7 -12
  86. package/SVF-doxygen/html/html/functions_c.html +30 -23
  87. package/SVF-doxygen/html/html/functions_e.html +6 -2
  88. package/SVF-doxygen/html/html/functions_func.html +9 -9
  89. package/SVF-doxygen/html/html/functions_func_c.html +1 -1
  90. package/SVF-doxygen/html/html/functions_func_g.html +18 -20
  91. package/SVF-doxygen/html/html/functions_func_r.html +1 -1
  92. package/SVF-doxygen/html/html/functions_func_s.html +2 -2
  93. package/SVF-doxygen/html/html/functions_g.html +20 -22
  94. package/SVF-doxygen/html/html/functions_i.html +11 -13
  95. package/SVF-doxygen/html/html/functions_l.html +3 -3
  96. package/SVF-doxygen/html/html/functions_m.html +1 -1
  97. package/SVF-doxygen/html/html/functions_n.html +4 -4
  98. package/SVF-doxygen/html/html/functions_o.html +3 -3
  99. package/SVF-doxygen/html/html/functions_p.html +9 -9
  100. package/SVF-doxygen/html/html/functions_r.html +3 -5
  101. package/SVF-doxygen/html/html/functions_s.html +20 -22
  102. package/SVF-doxygen/html/html/functions_t.html +5 -5
  103. package/SVF-doxygen/html/html/functions_type_b.html +0 -3
  104. package/SVF-doxygen/html/html/functions_v.html +6 -6
  105. package/SVF-doxygen/html/html/functions_vars_b.html +2 -2
  106. package/SVF-doxygen/html/html/functions_vars_c.html +7 -0
  107. package/SVF-doxygen/html/html/functions_vars_e.html +4 -0
  108. package/SVF-doxygen/html/html/functions_vars_i.html +1 -3
  109. package/SVF-doxygen/html/html/functions_w.html +5 -9
  110. package/SVF-doxygen/html/html/search/all_1.js +9 -9
  111. package/SVF-doxygen/html/html/search/all_10.js +5 -5
  112. package/SVF-doxygen/html/html/search/all_12.js +3 -3
  113. package/SVF-doxygen/html/html/search/all_13.js +8 -8
  114. package/SVF-doxygen/html/html/search/all_14.js +6 -6
  115. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  116. package/SVF-doxygen/html/html/search/all_16.js +3 -3
  117. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  118. package/SVF-doxygen/html/html/search/all_2.js +2 -3
  119. package/SVF-doxygen/html/html/search/all_3.js +3 -2
  120. package/SVF-doxygen/html/html/search/all_5.js +2 -2
  121. package/SVF-doxygen/html/html/search/all_7.js +5 -7
  122. package/SVF-doxygen/html/html/search/all_9.js +2 -2
  123. package/SVF-doxygen/html/html/search/all_c.js +2 -2
  124. package/SVF-doxygen/html/html/search/all_d.js +2 -2
  125. package/SVF-doxygen/html/html/search/all_e.js +2 -2
  126. package/SVF-doxygen/html/html/search/all_f.js +1 -1
  127. package/SVF-doxygen/html/html/search/functions_0.js +9 -9
  128. package/SVF-doxygen/html/html/search/functions_10.js +1 -1
  129. package/SVF-doxygen/html/html/search/functions_11.js +2 -2
  130. package/SVF-doxygen/html/html/search/functions_2.js +1 -1
  131. package/SVF-doxygen/html/html/search/functions_6.js +5 -7
  132. package/SVF-doxygen/html/html/search/functions_f.js +1 -1
  133. package/SVF-doxygen/html/html/search/typedefs_1.js +0 -1
  134. package/SVF-doxygen/html/html/search/variables_14.js +2 -2
  135. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  136. package/SVF-doxygen/html/html/search/variables_2.js +1 -1
  137. package/SVF-doxygen/html/html/search/variables_3.js +2 -0
  138. package/SVF-doxygen/html/html/search/variables_5.js +2 -1
  139. package/SVF-doxygen/html/html/search/variables_9.js +1 -1
  140. package/SVF-doxygen/html/html/search/variables_d.js +1 -1
  141. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +2 -2
  142. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +1 -1
  143. package/include/Graphs/ICFG.h +1 -1
  144. package/include/Graphs/ICFGEdge.h +17 -14
  145. package/include/MemoryModel/SVFIR.h +4 -4
  146. package/include/MemoryModel/SVFStatements.h +26 -25
  147. package/include/SVF-FE/SVFIRBuilder.h +11 -9
  148. package/include/Util/ExtAPI.h +1 -1
  149. package/lib/Graphs/ICFG.cpp +4 -4
  150. package/lib/MemoryModel/PAGBuilderFromFile.cpp +2 -2
  151. package/lib/MemoryModel/SVFIR.cpp +10 -9
  152. package/lib/MemoryModel/SVFStatements.cpp +6 -6
  153. package/lib/SVF-FE/ICFGBuilder.cpp +8 -3
  154. package/lib/SVF-FE/SVFIRBuilder.cpp +14 -9
  155. package/lib/Util/ExtAPI.cpp +0 -1
  156. package/package.json +1 -1
@@ -73,7 +73,7 @@ $(function() {
73
73
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a5832c14f0c8bf4d2f41921383c40340e">addBinaryOPEdge</a>(NodeID op1, NodeID op2, 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>
74
74
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a3e80511758692d2ad4e5dbee15beb719">addBlackHoleAddrEdge</a>(NodeID node)</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>
75
75
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a9a5334fc4133b2eeadb9b5104635cca2">addBranchStmt</a>(NodeID br, NodeID cond, const BranchStmt::SuccAndCondPairVec &amp;succs)</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>
76
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a5b41510e55eb48781a917e5a9c0e1462">addCallEdge</a>(NodeID src, NodeID dst, const CallICFGNode *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>
76
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#aec94aaebd392aa4facdbdc6bfef74bde">addCallEdge</a>(NodeID src, NodeID dst, const CallICFGNode *cs, const FunEntryICFGNode *entry)</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>
77
77
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a0a7183291291e3f91188607ead065c81">addCmpEdge</a>(NodeID op1, NodeID op2, NodeID dst, u32_t predict)</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>
78
78
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ab83a61a519cb0bb6fed823a938cf0602">addComplexConsForExt</a>(Value *D, Value *S, u32_t sz=0)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
79
79
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a140defeb309d895394822f8780deda16">addCopyEdge</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>
@@ -84,11 +84,11 @@ $(function() {
84
84
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#afb1520090d28e6a75f359d8f838dd831">addNormalGepEdge</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>
85
85
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a1717e26e29f50096b96d7e4c43fe1c76">addNullPtrNode</a>()</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>
86
86
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#aa26d69a4f6d6ecc93e91231c22c50dac">addPhiStmt</a>(NodeID res, NodeID opnd, const ICFGNode *pred)</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>
87
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#aaff4b288ac5f338fbe5dbc145d4087ba">addRetEdge</a>(NodeID src, NodeID dst, const CallICFGNode *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>
87
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#aff15a202dfa9419cec787d9acf6c35c2">addRetEdge</a>(NodeID src, NodeID dst, const CallICFGNode *cs, const FunExitICFGNode *exit)</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>
88
88
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a96d0878e2eaa0104a1b07fceb2b33c45">addSelectStmt</a>(NodeID res, NodeID op1, NodeID op2, NodeID cond)</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>
89
89
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ac5795471aff6ccb07a84ffe1277ff2d4">addStoreEdge</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>
90
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#acd0678f7f35abd7aee656c2a49167ae9">addThreadForkEdge</a>(NodeID src, NodeID dst, const CallICFGNode *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
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ab40720aeeeaf3be64cc65179f54e214d">addThreadJoinEdge</a>(NodeID src, NodeID dst, const CallICFGNode *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
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a013560b7d7d173e1558ae6dd404d1bba">addThreadForkEdge</a>(NodeID src, NodeID dst, const CallICFGNode *cs, const FunEntryICFGNode *entry)</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
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#af10d23b0ef64d3f4cd2543beabafe9df">addThreadJoinEdge</a>(NodeID src, NodeID dst, const CallICFGNode *cs, const FunExitICFGNode *exit)</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
92
  <tr class="even"><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>
93
93
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a76cf53044c3c939512c392cceb21d8a4">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>
94
94
  <tr class="even"><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>