svf-tools 1.0.528 → 1.0.531

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 (175) hide show
  1. package/CMakeLists.txt +1 -1
  2. package/SVF-doxygen/html/html/BreakConstantExpr_8cpp.html +10 -10
  3. package/SVF-doxygen/html/html/BreakConstantExpr_8cpp_source.html +3 -3
  4. package/SVF-doxygen/html/html/BreakConstantExpr_8h_source.html +3 -3
  5. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +6 -6
  6. package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +1 -1
  7. package/SVF-doxygen/html/html/CPPUtil_8cpp_source.html +3 -3
  8. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +3 -3
  9. package/SVF-doxygen/html/html/CoreBitVector_8h_source.html +1 -1
  10. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +15 -15
  11. package/SVF-doxygen/html/html/DCHG_8h_source.html +6 -6
  12. package/SVF-doxygen/html/html/DPItem_8h_source.html +1 -1
  13. package/SVF-doxygen/html/html/DataFlowUtil_8h_source.html +3 -3
  14. package/SVF-doxygen/html/html/ExeState_8h_source.html +1 -1
  15. package/SVF-doxygen/html/html/GEPTypeBridgeIterator_8h.html +4 -4
  16. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +4 -4
  17. package/SVF-doxygen/html/html/ICFG_8h_source.html +1 -1
  18. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +2 -2
  19. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +5 -5
  20. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8h_source.html +1 -1
  21. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +5 -5
  22. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +2 -2
  23. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +7 -7
  24. package/SVF-doxygen/html/html/LLVMUtil_8h.html +10 -10
  25. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +4 -4
  26. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +2 -2
  27. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +5 -5
  28. package/SVF-doxygen/html/html/MHP_8cpp.html +5 -5
  29. package/SVF-doxygen/html/html/MHP_8cpp_source.html +6 -6
  30. package/SVF-doxygen/html/html/MHP_8h_source.html +2 -2
  31. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +2 -2
  32. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +5 -5
  33. package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +2 -2
  34. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +2 -2
  35. package/SVF-doxygen/html/html/MTA_8cpp_source.html +3 -3
  36. package/SVF-doxygen/html/html/MTA_8h_source.html +4 -4
  37. package/SVF-doxygen/html/html/PCG_8cpp_source.html +2 -2
  38. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +2 -2
  39. package/SVF-doxygen/html/html/PointsTo_8h_source.html +1 -1
  40. package/SVF-doxygen/html/html/SVF-FE_2BasicTypes_8h.html +157 -1351
  41. package/SVF-doxygen/html/html/SVF-FE_2BasicTypes_8h_source.html +76 -75
  42. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +24 -24
  43. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +34 -34
  44. package/SVF-doxygen/html/html/SVFLoop_8h_source.html +32 -32
  45. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +2 -2
  46. package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +2 -2
  47. package/SVF-doxygen/html/html/SparseBitVector_8h_source.html +1 -1
  48. package/SVF-doxygen/html/html/SymState_8h_source.html +1 -1
  49. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +17 -17
  50. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +2 -2
  51. package/SVF-doxygen/html/html/TCT_8cpp_source.html +2 -2
  52. package/SVF-doxygen/html/html/TCT_8h_source.html +2 -2
  53. package/SVF-doxygen/html/html/WPAPass_8h_source.html +2 -2
  54. package/SVF-doxygen/html/html/Z3Expr_8h_source.html +1 -1
  55. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +2 -2
  56. package/SVF-doxygen/html/html/classSVF_1_1BreakConstantGEPs.html +5 -5
  57. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +12 -12
  58. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +2 -2
  59. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +149 -149
  60. package/SVF-doxygen/html/html/classSVF_1_1DCHNode.html +12 -12
  61. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +5 -5
  62. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +5 -5
  63. package/SVF-doxygen/html/html/classSVF_1_1IRAnnotator.html +18 -18
  64. package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +5 -5
  65. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +10 -10
  66. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +2 -2
  67. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +7 -7
  68. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +2 -2
  69. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +12 -12
  70. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +2 -2
  71. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +10 -10
  72. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +2 -2
  73. package/SVF-doxygen/html/html/classSVF_1_1MergeFunctionRets.html +3 -3
  74. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +2 -2
  75. package/SVF-doxygen/html/html/classSVF_1_1PTASCEV.html +5 -5
  76. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +2 -2
  77. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +88 -88
  78. package/SVF-doxygen/html/html/classSVF_1_1SVFLoop.html +57 -57
  79. package/SVF-doxygen/html/html/classSVF_1_1SaberCondAllocator.html +10 -10
  80. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +25 -25
  81. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +2 -2
  82. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +2 -2
  83. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +2 -2
  84. package/SVF-doxygen/html/html/globals_a.html +0 -9
  85. package/SVF-doxygen/html/html/globals_b.html +4 -19
  86. package/SVF-doxygen/html/html/globals_c.html +8 -50
  87. package/SVF-doxygen/html/html/globals_d.html +0 -33
  88. package/SVF-doxygen/html/html/globals_e.html +0 -6
  89. package/SVF-doxygen/html/html/globals_f.html +2 -8
  90. package/SVF-doxygen/html/html/globals_g.html +0 -9
  91. package/SVF-doxygen/html/html/globals_i.html +4 -22
  92. package/SVF-doxygen/html/html/globals_l.html +2 -8
  93. package/SVF-doxygen/html/html/globals_m.html +1 -13
  94. package/SVF-doxygen/html/html/globals_p.html +0 -3
  95. package/SVF-doxygen/html/html/globals_r.html +4 -10
  96. package/SVF-doxygen/html/html/globals_s.html +0 -30
  97. package/SVF-doxygen/html/html/globals_type.html +1 -284
  98. package/SVF-doxygen/html/html/globals_u.html +0 -15
  99. package/SVF-doxygen/html/html/globals_v.html +2 -17
  100. package/SVF-doxygen/html/html/menudata.js +19 -34
  101. package/SVF-doxygen/html/html/namespaceSVF.html +1825 -475
  102. package/SVF-doxygen/html/html/namespaceSVF_1_1LLVMUtil.html +45 -45
  103. package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +10 -10
  104. package/SVF-doxygen/html/html/namespacellvm.html +4 -8
  105. package/SVF-doxygen/html/html/namespacemembers.html +9 -0
  106. package/SVF-doxygen/html/html/namespacemembers_b.html +13 -0
  107. package/SVF-doxygen/html/html/namespacemembers_c.html +43 -1
  108. package/SVF-doxygen/html/html/namespacemembers_d.html +34 -1
  109. package/SVF-doxygen/html/html/namespacemembers_e.html +6 -0
  110. package/SVF-doxygen/html/html/namespacemembers_f.html +6 -0
  111. package/SVF-doxygen/html/html/namespacemembers_g.html +13 -4
  112. package/SVF-doxygen/html/html/namespacemembers_i.html +26 -8
  113. package/SVF-doxygen/html/html/namespacemembers_l.html +6 -0
  114. package/SVF-doxygen/html/html/namespacemembers_m.html +12 -0
  115. package/SVF-doxygen/html/html/namespacemembers_p.html +3 -0
  116. package/SVF-doxygen/html/html/namespacemembers_r.html +6 -0
  117. package/SVF-doxygen/html/html/namespacemembers_s.html +30 -0
  118. package/SVF-doxygen/html/html/namespacemembers_type.html +7 -436
  119. package/SVF-doxygen/html/html/namespacemembers_type_b.html +3 -0
  120. package/SVF-doxygen/html/html/namespacemembers_type_c.html +8 -8
  121. package/SVF-doxygen/html/html/namespacemembers_type_e.html +6 -0
  122. package/SVF-doxygen/html/html/namespacemembers_type_g.html +9 -0
  123. package/SVF-doxygen/html/html/namespacemembers_type_l.html +0 -3
  124. package/SVF-doxygen/html/html/namespacemembers_type_m.html +3 -0
  125. package/SVF-doxygen/html/html/namespacemembers_type_n.html +1 -1
  126. package/SVF-doxygen/html/html/namespacemembers_type_p.html +0 -6
  127. package/SVF-doxygen/html/html/namespacemembers_type_s.html +3 -18
  128. package/SVF-doxygen/html/html/namespacemembers_type_t.html +0 -3
  129. package/SVF-doxygen/html/html/namespacemembers_type_v.html +0 -6
  130. package/SVF-doxygen/html/html/namespacemembers_u.html +15 -0
  131. package/SVF-doxygen/html/html/namespacemembers_v.html +15 -0
  132. package/SVF-doxygen/html/html/search/all_1.js +3 -3
  133. package/SVF-doxygen/html/html/search/all_10.js +1 -1
  134. package/SVF-doxygen/html/html/search/all_11.js +2 -2
  135. package/SVF-doxygen/html/html/search/all_12.js +10 -10
  136. package/SVF-doxygen/html/html/search/all_14.js +5 -5
  137. package/SVF-doxygen/html/html/search/all_15.js +5 -5
  138. package/SVF-doxygen/html/html/search/all_2.js +5 -5
  139. package/SVF-doxygen/html/html/search/all_3.js +14 -14
  140. package/SVF-doxygen/html/html/search/all_4.js +11 -11
  141. package/SVF-doxygen/html/html/search/all_5.js +2 -2
  142. package/SVF-doxygen/html/html/search/all_6.js +2 -2
  143. package/SVF-doxygen/html/html/search/all_7.js +3 -3
  144. package/SVF-doxygen/html/html/search/all_9.js +6 -6
  145. package/SVF-doxygen/html/html/search/all_c.js +2 -2
  146. package/SVF-doxygen/html/html/search/all_d.js +4 -4
  147. package/SVF-doxygen/html/html/search/typedefs_0.js +3 -3
  148. package/SVF-doxygen/html/html/search/typedefs_1.js +5 -5
  149. package/SVF-doxygen/html/html/search/typedefs_10.js +10 -10
  150. package/SVF-doxygen/html/html/search/typedefs_12.js +5 -5
  151. package/SVF-doxygen/html/html/search/typedefs_13.js +5 -5
  152. package/SVF-doxygen/html/html/search/typedefs_2.js +14 -14
  153. package/SVF-doxygen/html/html/search/typedefs_3.js +11 -11
  154. package/SVF-doxygen/html/html/search/typedefs_4.js +2 -2
  155. package/SVF-doxygen/html/html/search/typedefs_5.js +2 -2
  156. package/SVF-doxygen/html/html/search/typedefs_6.js +3 -3
  157. package/SVF-doxygen/html/html/search/typedefs_7.js +6 -6
  158. package/SVF-doxygen/html/html/search/typedefs_a.js +2 -2
  159. package/SVF-doxygen/html/html/search/typedefs_b.js +4 -4
  160. package/SVF-doxygen/html/html/search/typedefs_e.js +1 -1
  161. package/SVF-doxygen/html/html/search/typedefs_f.js +2 -2
  162. package/include/MemoryModel/PointsTo.h +1 -1
  163. package/include/MemoryModel/SVFLoop.h +2 -1
  164. package/include/SVF-FE/BasicTypes.h +5 -0
  165. package/include/SVF-FE/CHGBuilder.h +2 -1
  166. package/include/SVF-FE/LLVMLoopAnalysis.h +1 -1
  167. package/include/SVF-FE/SymbolTableBuilder.h +1 -1
  168. package/include/Util/CoreBitVector.h +1 -1
  169. package/include/Util/DPItem.h +1 -1
  170. package/include/Util/ExeState.h +1 -1
  171. package/include/Util/SparseBitVector.h +1 -1
  172. package/include/Util/SymState.h +1 -1
  173. package/include/Util/Z3Expr.h +3 -2
  174. package/lib/MemoryModel/PointerAnalysisImpl.cpp +1 -1
  175. package/package.json +1 -1
@@ -61,30 +61,9 @@ $(function() {
61
61
  <div class="textblock">Here is a list of all file members with links to the files they belong to:</div>
62
62
 
63
63
  <h3><a id="index_s"></a>- s -</h3><ul>
64
- <li>ScalarEvolution
65
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a14e646200d8836461877804ee4a203d1">BasicTypes.h</a>
66
- </li>
67
- <li>ScalarEvolutionWrapperPass
68
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a26413e6481a8551035d13215b29ea779">BasicTypes.h</a>
69
- </li>
70
- <li>SCEV
71
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a926a4429043d19e5b5fb425a31631d12">BasicTypes.h</a>
72
- </li>
73
- <li>SCEVAddRecExpr
74
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a7182e2c93e2218f62abceae861a4e787">BasicTypes.h</a>
75
- </li>
76
- <li>SCEVConstant
77
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#aff62eefea1b967cc90608517891644eb">BasicTypes.h</a>
78
- </li>
79
- <li>SelectInst
80
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#abbb6cb29e5b213400fdb10525ee75504">BasicTypes.h</a>
81
- </li>
82
64
  <li>set()
83
65
  : <a class="el" href="tools_2WPA_2CMakeLists_8txt.html#ae39f71bb639d7a22f29d4bc42f72b57f">CMakeLists.txt</a>
84
66
  </li>
85
- <li>ShuffleVectorInst
86
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#aebd8814affe9b579237bd090561b4686">BasicTypes.h</a>
87
- </li>
88
67
  <li>skip_multiline_comment()
89
68
  : <a class="el" href="cJSON_8cpp.html#a4b9e22afcb0d33932c691b5af9f2560a">cJSON.cpp</a>
90
69
  </li>
@@ -94,9 +73,6 @@ $(function() {
94
73
  <li>skip_utf8_bom()
95
74
  : <a class="el" href="cJSON_8cpp.html#a13b2d9f17c3b80a8878405f2782cd916">cJSON.cpp</a>
96
75
  </li>
97
- <li>SMDiagnostic
98
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a312d4d865f87a9bff58ce66b087c13d0">BasicTypes.h</a>
99
- </li>
100
76
  <li>StandardCompileOpts()
101
77
  : <a class="el" href="cfl_8cpp.html#afffbd7760f0128b74c9dbfd517d0f99e">cfl.cpp</a>
102
78
  , <a class="el" href="dda_8cpp.html#afffbd7760f0128b74c9dbfd517d0f99e">dda.cpp</a>
@@ -117,9 +93,6 @@ $(function() {
117
93
  : <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">cJSON.cpp</a>
118
94
  , <a class="el" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">cJSON.h</a>
119
95
  </li>
120
- <li>StructLayout
121
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#aef8af3d6e4b75a3e3e108b636a48fbd3">BasicTypes.h</a>
122
- </li>
123
96
  <li>structName
124
97
  : <a class="el" href="CPPUtil_8cpp.html#a4f0d10054cce04a0f4dec52a337cdf3c">CPPUtil.cpp</a>
125
98
  </li>
@@ -135,9 +108,6 @@ $(function() {
135
108
  <li>SVF_MAIN_FUNC_NAME
136
109
  : <a class="el" href="LLVMModule_8cpp.html#a10ab7c7da3a458495d8528b9e90d714b">LLVMModule.cpp</a>
137
110
  </li>
138
- <li>SwitchInst
139
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a55ac065a1d559c907908492c6853dd53">BasicTypes.h</a>
140
- </li>
141
111
  </ul>
142
112
  </div><!-- contents -->
143
113
  <!-- start footer part -->
@@ -58,47 +58,7 @@ $(function() {
58
58
  </div>
59
59
 
60
60
  <div class="contents">
61
- &#160;
62
-
63
- <h3><a id="index_a"></a>- a -</h3><ul>
64
- <li>AllocaInst
65
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a5e06fe1b4b25113ac322dbeda71055dc">BasicTypes.h</a>
66
- </li>
67
- <li>AtomicCmpXchgInst
68
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#abafbd655050c8c70dc8947997c369294">BasicTypes.h</a>
69
- </li>
70
- <li>AtomicRMWInst
71
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#ab3bd63fdab8cc747227a32f88bd10370">BasicTypes.h</a>
72
- </li>
73
- </ul>
74
-
75
-
76
- <h3><a id="index_b"></a>- b -</h3><ul>
77
- <li>BinaryOperator
78
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#ab58e9b290ff1defcedad101c3da8d8fd">BasicTypes.h</a>
79
- </li>
80
- <li>BitCastInst
81
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#ab8cddf2ff868c0a9ae99483640c9ecef">BasicTypes.h</a>
82
- </li>
83
- <li>BlockAddress
84
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#ad29efa92ce4c6449b5ef7853994877bd">BasicTypes.h</a>
85
- </li>
86
- <li>BranchInst
87
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#adeac5db1db4ed03898d30f205fd02264">BasicTypes.h</a>
88
- </li>
89
- <li>bridge_gep_iterator
90
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#af43699df9f7bdcb9565574b588e3f5ae">BasicTypes.h</a>
91
- </li>
92
- </ul>
93
-
94
-
95
- <h3><a id="index_c"></a>- c -</h3><ul>
96
- <li>CallBrInst
97
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#ada7ea2b41c600e036569e18bd0719270">BasicTypes.h</a>
98
- </li>
99
- <li>CastInst
100
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a20b13f90796ee748f58e6c5faa7c63da">BasicTypes.h</a>
101
- </li>
61
+ &#160;<ul>
102
62
  <li>cJSON
103
63
  : <a class="el" href="cJSON_8h.html#a417c667b0692c463cf3c6c435f1d5978">cJSON.h</a>
104
64
  </li>
@@ -108,252 +68,9 @@ $(function() {
108
68
  <li>cJSON_Hooks
109
69
  : <a class="el" href="cJSON_8h.html#a4c24043be07442b38adc0ef79fcfb3f8">cJSON.h</a>
110
70
  </li>
111
- <li>CmpInst
112
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a02550b1e1110f4cfca868603ce243564">BasicTypes.h</a>
113
- </li>
114
- <li>const_inst_iterator
115
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a9a4df49ba7ca3ad32d65e5ecf2dad707">BasicTypes.h</a>
116
- </li>
117
- <li>const_pred_iterator
118
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a45136b941670180e9ba248bb4e52f09f">BasicTypes.h</a>
119
- </li>
120
- <li>Constant
121
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#aaca93e4092f0f73619d730f18b9e65de">BasicTypes.h</a>
122
- </li>
123
- <li>ConstantAggregate
124
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a586975ac48ba33219a901c5d9453da2c">BasicTypes.h</a>
125
- </li>
126
- <li>ConstantAggregateZero
127
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#ae4ed20ab05ea5735549d1ef4367735cd">BasicTypes.h</a>
128
- </li>
129
- <li>ConstantArray
130
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a9707880a0f9b41d3375e2feb7bc5ebc5">BasicTypes.h</a>
131
- </li>
132
- <li>ConstantData
133
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#aca8fd472027d8636b36713a7494c88d6">BasicTypes.h</a>
134
- </li>
135
- <li>ConstantDataArray
136
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a7d8006ceeea7c796af22da70c5cb93a0">BasicTypes.h</a>
137
- </li>
138
- <li>ConstantDataSequential
139
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a66b2dbc1be121511c3b5b264f94558d3">BasicTypes.h</a>
140
- </li>
141
- <li>ConstantExpr
142
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a60115de303225d173fb935cf7619a2cb">BasicTypes.h</a>
143
- </li>
144
- <li>ConstantStruct
145
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a39fea8c436d96d2b5a74f5e02cc5d952">BasicTypes.h</a>
146
- </li>
147
- </ul>
148
-
149
-
150
- <h3><a id="index_d"></a>- d -</h3><ul>
151
- <li>DataLayout
152
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#aa81a27b9c6b2a354437417162220fb14">BasicTypes.h</a>
153
- </li>
154
- <li>DebugInfoFinder
155
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a36ec1ba901eeebe7a242f18510831788">BasicTypes.h</a>
156
- </li>
157
- <li>DIBasicType
158
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a5f7968b31d2b29b589360067cf48e625">BasicTypes.h</a>
159
- </li>
160
- <li>DICompositeType
161
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a051267a17436de89e185c847afbb8db5">BasicTypes.h</a>
162
- </li>
163
- <li>DIDerivedType
164
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a39d93c8a98813f35c91375d1d40ae953">BasicTypes.h</a>
165
- </li>
166
- <li>DINode
167
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a358cd7e78ebc504972b73cd5ee80fac2">BasicTypes.h</a>
168
- </li>
169
- <li>DINodeArray
170
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a98bb9afb9385eac16d7c78da796fd601">BasicTypes.h</a>
171
- </li>
172
- <li>DISubrange
173
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#ab0e8955a3dbfb0a836bfe64466411e4e">BasicTypes.h</a>
174
- </li>
175
- <li>DISubroutineType
176
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#aad46bd16008ebbc81e632f4fc69b3ea9">BasicTypes.h</a>
177
- </li>
178
- <li>DIType
179
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a8e2336cbb1db8aa093afbb3290d5ba05">BasicTypes.h</a>
180
- </li>
181
- <li>DITypeRefArray
182
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#abfc3b60432a782f5eb5ea73f20d34333">BasicTypes.h</a>
183
- </li>
184
- </ul>
185
-
186
-
187
- <h3><a id="index_e"></a>- e -</h3><ul>
188
- <li>ExtractElementInst
189
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#af4efbd8e6f644628b41104e855b0541b">BasicTypes.h</a>
190
- </li>
191
- <li>ExtractValueInst
192
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a41c335e8362a500085923e4742a53f57">BasicTypes.h</a>
193
- </li>
194
- </ul>
195
-
196
-
197
- <h3><a id="index_f"></a>- f -</h3><ul>
198
- <li>FenceInst
199
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a43a430043d6520ceac623115ab2fbf56">BasicTypes.h</a>
200
- </li>
201
- <li>FreezeInst
202
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a17cb164afe37512fdd064acc8ee7cc66">BasicTypes.h</a>
203
- </li>
204
- </ul>
205
-
206
-
207
- <h3><a id="index_g"></a>- g -</h3><ul>
208
- <li>gep_type_iterator
209
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a61c08909930c80e172b5580fa0cc629f">BasicTypes.h</a>
210
- </li>
211
- <li>GetElementPtrInst
212
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a255d310b1b573ca5c69fd715d7815d79">BasicTypes.h</a>
213
- </li>
214
- <li>GlobalObject
215
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a16adea95b46c741a8990d92d29f33bb6">BasicTypes.h</a>
216
- </li>
217
- </ul>
218
-
219
-
220
- <h3><a id="index_i"></a>- i -</h3><ul>
221
- <li>InsertElementInst
222
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#aca8159b0dbaf5b71dc69b9d9c7b200ec">BasicTypes.h</a>
223
- </li>
224
- <li>InsertValueInst
225
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a5ef6dd0250254e2609a8f35ece1d57c5">BasicTypes.h</a>
226
- </li>
227
- <li>inst_iterator
228
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a160997c1a0fb1000445d04b89d9c1323">BasicTypes.h</a>
229
- </li>
230
71
  <li>internal_hooks
231
72
  : <a class="el" href="cJSON_8cpp.html#af27c741a35a02fe8937d3b4caca30c20">cJSON.cpp</a>
232
73
  </li>
233
- <li>IntToPtrInst
234
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a39fa3cd232776e9a7bd6337c6242b906">BasicTypes.h</a>
235
- </li>
236
- <li>InvokeInst
237
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#aa437c87b40ddb0d2b16631b00994ff75">BasicTypes.h</a>
238
- </li>
239
- <li>IRBuilder
240
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a71269a3564eca6be7bc0efb5202275f0">BasicTypes.h</a>
241
- </li>
242
- </ul>
243
-
244
-
245
- <h3><a id="index_l"></a>- l -</h3><ul>
246
- <li>LandingPadInst
247
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a5b02d9efe63d84149e54736b81f922f1">BasicTypes.h</a>
248
- </li>
249
- <li>LLVMContext
250
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a9f19a521d06397d1b6dc52c0388513d9">BasicTypes.h</a>
251
- </li>
252
- </ul>
253
-
254
-
255
- <h3><a id="index_m"></a>- m -</h3><ul>
256
- <li>MDString
257
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a79dfa1a3c9502e187c036ed3b41f937c">BasicTypes.h</a>
258
- </li>
259
- <li>MemoryLocation
260
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a8c9721de4c4754decc4f79d9f5b8c756">BasicTypes.h</a>
261
- </li>
262
- <li>MetadataAsValue
263
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#ae6439506f12c106932f8db434ebaa761">BasicTypes.h</a>
264
- </li>
265
- <li>ModulePass
266
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a2e0fa4afbccc902de3ae55c65fb8b007">BasicTypes.h</a>
267
- </li>
268
- </ul>
269
-
270
-
271
- <h3><a id="index_p"></a>- p -</h3><ul>
272
- <li>PHINode
273
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a65732ea63bff4b444b225629ee7cf252">BasicTypes.h</a>
274
- </li>
275
- </ul>
276
-
277
-
278
- <h3><a id="index_r"></a>- r -</h3><ul>
279
- <li>ResumeInst
280
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a3fd88a8942ad6c871c63a90b780afbd0">BasicTypes.h</a>
281
- </li>
282
- <li>ReturnInst
283
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#af386dbc3b9c4325443a15b07038e8386">BasicTypes.h</a>
284
- </li>
285
- </ul>
286
-
287
-
288
- <h3><a id="index_s"></a>- s -</h3><ul>
289
- <li>ScalarEvolution
290
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a14e646200d8836461877804ee4a203d1">BasicTypes.h</a>
291
- </li>
292
- <li>ScalarEvolutionWrapperPass
293
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a26413e6481a8551035d13215b29ea779">BasicTypes.h</a>
294
- </li>
295
- <li>SCEV
296
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a926a4429043d19e5b5fb425a31631d12">BasicTypes.h</a>
297
- </li>
298
- <li>SCEVAddRecExpr
299
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a7182e2c93e2218f62abceae861a4e787">BasicTypes.h</a>
300
- </li>
301
- <li>SCEVConstant
302
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#aff62eefea1b967cc90608517891644eb">BasicTypes.h</a>
303
- </li>
304
- <li>SelectInst
305
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#abbb6cb29e5b213400fdb10525ee75504">BasicTypes.h</a>
306
- </li>
307
- <li>ShuffleVectorInst
308
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#aebd8814affe9b579237bd090561b4686">BasicTypes.h</a>
309
- </li>
310
- <li>SMDiagnostic
311
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a312d4d865f87a9bff58ce66b087c13d0">BasicTypes.h</a>
312
- </li>
313
- <li>StructLayout
314
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#aef8af3d6e4b75a3e3e108b636a48fbd3">BasicTypes.h</a>
315
- </li>
316
- <li>SwitchInst
317
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a55ac065a1d559c907908492c6853dd53">BasicTypes.h</a>
318
- </li>
319
- </ul>
320
-
321
-
322
- <h3><a id="index_u"></a>- u -</h3><ul>
323
- <li>UnaryOperator
324
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#ab6cb332bc04ab932cba29fa9c9d5f3b2">BasicTypes.h</a>
325
- </li>
326
- <li>UndefValue
327
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a1ab5636908738dc0987bc642604cbb4a">BasicTypes.h</a>
328
- </li>
329
- <li>UnifyFunctionExitNodes
330
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a66384f66e64322087e7bdab0b50840f2">BasicTypes.h</a>
331
- </li>
332
- <li>UnreachableInst
333
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#ac81608d3ff4a58a9a5d8fd522860b96f">BasicTypes.h</a>
334
- </li>
335
- <li>Use
336
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a9c01c67684e99545d8e0403321594977">BasicTypes.h</a>
337
- </li>
338
- </ul>
339
-
340
-
341
- <h3><a id="index_v"></a>- v -</h3><ul>
342
- <li>VAArgInst
343
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a80c0a9085ca3ebff2760506df127f424">BasicTypes.h</a>
344
- </li>
345
- <li>VACopyInst
346
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a85650eac31e26c9635644600eca6901e">BasicTypes.h</a>
347
- </li>
348
- <li>VAEndInst
349
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#aa55dc13cb9e79b9c54d74234e0add670">BasicTypes.h</a>
350
- </li>
351
- <li>VAStartInst
352
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a487fbdac6711a95d28683e6644c457ac">BasicTypes.h</a>
353
- </li>
354
- <li>VectorType
355
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a720813d613d926a5963d6632532105ac">BasicTypes.h</a>
356
- </li>
357
74
  </ul>
358
75
  </div><!-- contents -->
359
76
  <!-- start footer part -->
@@ -61,24 +61,9 @@ $(function() {
61
61
  <div class="textblock">Here is a list of all file members with links to the files they belong to:</div>
62
62
 
63
63
  <h3><a id="index_u"></a>- u -</h3><ul>
64
- <li>UnaryOperator
65
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#ab6cb332bc04ab932cba29fa9c9d5f3b2">BasicTypes.h</a>
66
- </li>
67
- <li>UndefValue
68
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a1ab5636908738dc0987bc642604cbb4a">BasicTypes.h</a>
69
- </li>
70
- <li>UnifyFunctionExitNodes
71
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a66384f66e64322087e7bdab0b50840f2">BasicTypes.h</a>
72
- </li>
73
- <li>UnreachableInst
74
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#ac81608d3ff4a58a9a5d8fd522860b96f">BasicTypes.h</a>
75
- </li>
76
64
  <li>update_offset()
77
65
  : <a class="el" href="cJSON_8cpp.html#af5fb173126786c1e3f90b6df6e2500c5">cJSON.cpp</a>
78
66
  </li>
79
- <li>Use
80
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a9c01c67684e99545d8e0403321594977">BasicTypes.h</a>
81
- </li>
82
67
  <li>utf16_literal_to_utf8()
83
68
  : <a class="el" href="cJSON_8cpp.html#a0e2851b1b595b3b430fd186e7deaf987">cJSON.cpp</a>
84
69
  </li>
@@ -61,15 +61,6 @@ $(function() {
61
61
  <div class="textblock">Here is a list of all file members with links to the files they belong to:</div>
62
62
 
63
63
  <h3><a id="index_v"></a>- v -</h3><ul>
64
- <li>VAArgInst
65
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a80c0a9085ca3ebff2760506df127f424">BasicTypes.h</a>
66
- </li>
67
- <li>VACopyInst
68
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a85650eac31e26c9635644600eca6901e">BasicTypes.h</a>
69
- </li>
70
- <li>VAEndInst
71
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#aa55dc13cb9e79b9c54d74234e0add670">BasicTypes.h</a>
72
- </li>
73
64
  <li>valuedouble
74
65
  : <a class="el" href="cJSON_8cpp.html#a6ea693e884dae57fb36b03a8ba6cad27">cJSON.cpp</a>
75
66
  </li>
@@ -77,14 +68,8 @@ $(function() {
77
68
  : <a class="el" href="cJSON_8cpp.html#a467a5974a6eae3b3059a89ba909c2a9c">cJSON.cpp</a>
78
69
  </li>
79
70
  <li>valuestring
80
- : <a class="el" href="cJSON_8h.html#a7dc61ad7586ca3231e691514bad7cbc4">cJSON.h</a>
81
- , <a class="el" href="cJSON_8cpp.html#a7dc61ad7586ca3231e691514bad7cbc4">cJSON.cpp</a>
82
- </li>
83
- <li>VAStartInst
84
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a487fbdac6711a95d28683e6644c457ac">BasicTypes.h</a>
85
- </li>
86
- <li>VectorType
87
- : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a720813d613d926a5963d6632532105ac">BasicTypes.h</a>
71
+ : <a class="el" href="cJSON_8cpp.html#a7dc61ad7586ca3231e691514bad7cbc4">cJSON.cpp</a>
72
+ , <a class="el" href="cJSON_8h.html#a7dc61ad7586ca3231e691514bad7cbc4">cJSON.h</a>
88
73
  </li>
89
74
  <li>vfunPreLabel
90
75
  : <a class="el" href="CPPUtil_8cpp.html#a74958d1db4b08e58aee58557d386c24b">CPPUtil.cpp</a>
@@ -46,24 +46,24 @@ var menudata={children:[
46
46
  {text:"Variables",url:"namespacemembers_vars.html"},
47
47
  {text:"Typedefs",url:"namespacemembers_type.html",children:[
48
48
  {text:"a",url:"namespacemembers_type.html#index_a"},
49
- {text:"b",url:"namespacemembers_type.html#index_b"},
50
- {text:"c",url:"namespacemembers_type.html#index_c"},
51
- {text:"d",url:"namespacemembers_type.html#index_d"},
52
- {text:"e",url:"namespacemembers_type.html#index_e"},
53
- {text:"f",url:"namespacemembers_type.html#index_f"},
54
- {text:"g",url:"namespacemembers_type.html#index_g"},
55
- {text:"i",url:"namespacemembers_type.html#index_i"},
56
- {text:"l",url:"namespacemembers_type.html#index_l"},
57
- {text:"m",url:"namespacemembers_type.html#index_m"},
58
- {text:"n",url:"namespacemembers_type.html#index_n"},
59
- {text:"o",url:"namespacemembers_type.html#index_o"},
60
- {text:"p",url:"namespacemembers_type.html#index_p"},
61
- {text:"r",url:"namespacemembers_type.html#index_r"},
62
- {text:"s",url:"namespacemembers_type.html#index_s"},
63
- {text:"t",url:"namespacemembers_type.html#index_t"},
64
- {text:"u",url:"namespacemembers_type.html#index_u"},
65
- {text:"v",url:"namespacemembers_type.html#index_v"},
66
- {text:"w",url:"namespacemembers_type.html#index_w"}]},
49
+ {text:"b",url:"namespacemembers_type_b.html#index_b"},
50
+ {text:"c",url:"namespacemembers_type_c.html#index_c"},
51
+ {text:"d",url:"namespacemembers_type_d.html#index_d"},
52
+ {text:"e",url:"namespacemembers_type_e.html#index_e"},
53
+ {text:"f",url:"namespacemembers_type_f.html#index_f"},
54
+ {text:"g",url:"namespacemembers_type_g.html#index_g"},
55
+ {text:"i",url:"namespacemembers_type_i.html#index_i"},
56
+ {text:"l",url:"namespacemembers_type_l.html#index_l"},
57
+ {text:"m",url:"namespacemembers_type_m.html#index_m"},
58
+ {text:"n",url:"namespacemembers_type_n.html#index_n"},
59
+ {text:"o",url:"namespacemembers_type_o.html#index_o"},
60
+ {text:"p",url:"namespacemembers_type_p.html#index_p"},
61
+ {text:"r",url:"namespacemembers_type_r.html#index_r"},
62
+ {text:"s",url:"namespacemembers_type_s.html#index_s"},
63
+ {text:"t",url:"namespacemembers_type_t.html#index_t"},
64
+ {text:"u",url:"namespacemembers_type_u.html#index_u"},
65
+ {text:"v",url:"namespacemembers_type_v.html#index_v"},
66
+ {text:"w",url:"namespacemembers_type_w.html#index_w"}]},
67
67
  {text:"Enumerations",url:"namespacemembers_enum.html"},
68
68
  {text:"Enumerator",url:"namespacemembers_eval.html"}]}]},
69
69
  {text:"Classes",url:"annotated.html",children:[
@@ -288,22 +288,7 @@ var menudata={children:[
288
288
  {text:"v",url:"globals_vars.html#index_v"},
289
289
  {text:"w",url:"globals_vars.html#index_w"},
290
290
  {text:"z",url:"globals_vars.html#index_z"}]},
291
- {text:"Typedefs",url:"globals_type.html",children:[
292
- {text:"a",url:"globals_type.html#index_a"},
293
- {text:"b",url:"globals_type.html#index_b"},
294
- {text:"c",url:"globals_type.html#index_c"},
295
- {text:"d",url:"globals_type.html#index_d"},
296
- {text:"e",url:"globals_type.html#index_e"},
297
- {text:"f",url:"globals_type.html#index_f"},
298
- {text:"g",url:"globals_type.html#index_g"},
299
- {text:"i",url:"globals_type.html#index_i"},
300
- {text:"l",url:"globals_type.html#index_l"},
301
- {text:"m",url:"globals_type.html#index_m"},
302
- {text:"p",url:"globals_type.html#index_p"},
303
- {text:"r",url:"globals_type.html#index_r"},
304
- {text:"s",url:"globals_type.html#index_s"},
305
- {text:"u",url:"globals_type.html#index_u"},
306
- {text:"v",url:"globals_type.html#index_v"}]},
291
+ {text:"Typedefs",url:"globals_type.html"},
307
292
  {text:"Enumerations",url:"globals_enum.html"},
308
293
  {text:"Enumerator",url:"globals_eval.html"},
309
294
  {text:"Macros",url:"globals_defs.html",children:[