svf-tools 1.0.363 → 1.0.367

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 (197) hide show
  1. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/html/Andersen_8h_source.html +1 -1
  3. package/SVF-doxygen/html/html/ConsGNode_8h_source.html +5 -5
  4. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +35 -33
  5. package/SVF-doxygen/html/html/ConsG_8h_source.html +20 -20
  6. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/html/DDAClient_8h_source.html +1 -1
  8. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +1 -1
  9. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +1 -1
  10. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +1 -1
  11. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +1 -1
  13. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +1 -1
  14. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +2 -2
  15. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +2 -2
  16. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +1 -1
  17. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +2 -2
  18. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +2 -2
  19. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +4 -4
  20. package/SVF-doxygen/html/html/SVFG_8h_source.html +1 -1
  21. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +9 -6
  22. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +70 -62
  23. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +48 -40
  24. package/SVF-doxygen/html/html/SVFIR_8h_source.html +44 -40
  25. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +21 -20
  26. package/SVF-doxygen/html/html/SVFStatements_8h.html +2 -0
  27. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +107 -83
  28. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +1 -1
  29. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +13 -13
  30. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +12 -12
  31. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +1 -1
  32. package/SVF-doxygen/html/html/VFGNode_8h_source.html +6 -6
  33. package/SVF-doxygen/html/html/VFG_8cpp_source.html +45 -43
  34. package/SVF-doxygen/html/html/VFG_8h_source.html +26 -26
  35. package/SVF-doxygen/html/html/annotated.html +58 -57
  36. package/SVF-doxygen/html/html/classSVF_1_1AddrCGEdge.html +2 -2
  37. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt-members.html +14 -13
  38. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +4 -3
  39. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +1 -1
  40. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +3 -3
  41. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +1 -1
  42. package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +2 -2
  43. package/SVF-doxygen/html/html/classSVF_1_1AssignStmt-members.html +14 -13
  44. package/SVF-doxygen/html/html/classSVF_1_1AssignStmt.html +4 -3
  45. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +3 -3
  46. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt-members.html +30 -28
  47. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +26 -22
  48. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +2 -2
  49. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt-members.html +16 -15
  50. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +41 -40
  51. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +4 -4
  52. package/SVF-doxygen/html/html/classSVF_1_1CallPE-members.html +38 -35
  53. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +97 -32
  54. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt-members.html +30 -28
  55. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +27 -23
  56. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +2 -2
  57. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +1 -1
  58. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +80 -78
  59. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode-members.html +26 -26
  60. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +43 -43
  61. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt-members.html +14 -13
  62. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +4 -3
  63. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +2 -2
  64. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +2 -2
  65. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +3 -3
  66. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +1 -1
  67. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +20 -21
  68. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
  69. package/SVF-doxygen/html/html/classSVF_1_1GepStmt-members.html +15 -14
  70. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +6 -5
  71. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt-members.html +14 -13
  72. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +6 -5
  73. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +1 -1
  74. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +1 -1
  75. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +1 -1
  76. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt-members.html +33 -31
  77. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +74 -32
  78. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.png +0 -0
  79. package/SVF-doxygen/html/html/classSVF_1_1OfflineConsG.html +4 -4
  80. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +9 -10
  81. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +2 -2
  82. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt-members.html +21 -16
  83. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +186 -73
  84. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +2 -2
  85. package/SVF-doxygen/html/html/classSVF_1_1RetPE-members.html +37 -34
  86. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +99 -32
  87. package/SVF-doxygen/html/html/classSVF_1_1SVFG-members.html +1 -1
  88. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +10 -10
  89. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +1 -1
  90. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT-members.html +1 -1
  91. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +8 -8
  92. package/SVF-doxygen/html/html/classSVF_1_1SVFIR-members.html +179 -178
  93. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +208 -114
  94. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +74 -73
  95. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +288 -175
  96. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt-members.html +17 -16
  97. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +9 -5
  98. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.png +0 -0
  99. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +3 -3
  100. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt-members.html +154 -0
  101. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +704 -0
  102. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.png +0 -0
  103. package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +2 -2
  104. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt-members.html +17 -16
  105. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +6 -5
  106. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +39 -39
  107. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE-members.html +27 -25
  108. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +34 -24
  109. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE-members.html +27 -25
  110. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +33 -24
  111. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +1 -1
  112. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt-members.html +17 -16
  113. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +29 -28
  114. package/SVF-doxygen/html/html/classSVF_1_1VFG-members.html +1 -1
  115. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +64 -62
  116. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +1 -1
  117. package/SVF-doxygen/html/html/classes.html +70 -70
  118. package/SVF-doxygen/html/html/functions_a.html +20 -16
  119. package/SVF-doxygen/html/html/functions_b.html +4 -2
  120. package/SVF-doxygen/html/html/functions_c.html +28 -20
  121. package/SVF-doxygen/html/html/functions_e.html +6 -2
  122. package/SVF-doxygen/html/html/functions_eval_s.html +3 -0
  123. package/SVF-doxygen/html/html/functions_f.html +3 -3
  124. package/SVF-doxygen/html/html/functions_func.html +20 -16
  125. package/SVF-doxygen/html/html/functions_func_c.html +19 -18
  126. package/SVF-doxygen/html/html/functions_func_g.html +23 -8
  127. package/SVF-doxygen/html/html/functions_func_o.html +2 -1
  128. package/SVF-doxygen/html/html/functions_func_r.html +1 -1
  129. package/SVF-doxygen/html/html/functions_func_s.html +8 -5
  130. package/SVF-doxygen/html/html/functions_func_t.html +1 -0
  131. package/SVF-doxygen/html/html/functions_g.html +24 -9
  132. package/SVF-doxygen/html/html/functions_i.html +8 -10
  133. package/SVF-doxygen/html/html/functions_l.html +5 -5
  134. package/SVF-doxygen/html/html/functions_m.html +1 -1
  135. package/SVF-doxygen/html/html/functions_n.html +3 -3
  136. package/SVF-doxygen/html/html/functions_o.html +17 -10
  137. package/SVF-doxygen/html/html/functions_p.html +6 -6
  138. package/SVF-doxygen/html/html/functions_s.html +21 -15
  139. package/SVF-doxygen/html/html/functions_t.html +9 -8
  140. package/SVF-doxygen/html/html/functions_type_o.html +3 -0
  141. package/SVF-doxygen/html/html/functions_v.html +3 -3
  142. package/SVF-doxygen/html/html/functions_vars_c.html +7 -0
  143. package/SVF-doxygen/html/html/functions_vars_e.html +4 -0
  144. package/SVF-doxygen/html/html/functions_vars_i.html +1 -3
  145. package/SVF-doxygen/html/html/functions_vars_o.html +3 -0
  146. package/SVF-doxygen/html/html/hierarchy.html +55 -54
  147. package/SVF-doxygen/html/html/namespaceSVF.html +3 -1
  148. package/SVF-doxygen/html/html/search/all_1.js +12 -11
  149. package/SVF-doxygen/html/html/search/all_10.js +6 -6
  150. package/SVF-doxygen/html/html/search/all_12.js +2 -2
  151. package/SVF-doxygen/html/html/search/all_13.js +10 -8
  152. package/SVF-doxygen/html/html/search/all_14.js +9 -9
  153. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  154. package/SVF-doxygen/html/html/search/all_16.js +1 -1
  155. package/SVF-doxygen/html/html/search/all_2.js +1 -1
  156. package/SVF-doxygen/html/html/search/all_3.js +5 -5
  157. package/SVF-doxygen/html/html/search/all_5.js +2 -2
  158. package/SVF-doxygen/html/html/search/all_6.js +1 -1
  159. package/SVF-doxygen/html/html/search/all_7.js +7 -3
  160. package/SVF-doxygen/html/html/search/all_9.js +1 -1
  161. package/SVF-doxygen/html/html/search/all_c.js +2 -2
  162. package/SVF-doxygen/html/html/search/all_d.js +1 -1
  163. package/SVF-doxygen/html/html/search/all_e.js +6 -6
  164. package/SVF-doxygen/html/html/search/all_f.js +4 -2
  165. package/SVF-doxygen/html/html/search/classes_f.js +1 -0
  166. package/SVF-doxygen/html/html/search/enumvalues_f.js +1 -0
  167. package/SVF-doxygen/html/html/search/functions_0.js +12 -11
  168. package/SVF-doxygen/html/html/search/functions_10.js +2 -1
  169. package/SVF-doxygen/html/html/search/functions_11.js +3 -3
  170. package/SVF-doxygen/html/html/search/functions_2.js +2 -2
  171. package/SVF-doxygen/html/html/search/functions_6.js +7 -3
  172. package/SVF-doxygen/html/html/search/functions_d.js +1 -1
  173. package/SVF-doxygen/html/html/search/functions_e.js +1 -1
  174. package/SVF-doxygen/html/html/search/functions_f.js +1 -1
  175. package/SVF-doxygen/html/html/search/typedefs_e.js +1 -0
  176. package/SVF-doxygen/html/html/search/variables_14.js +4 -4
  177. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  178. package/SVF-doxygen/html/html/search/variables_3.js +2 -0
  179. package/SVF-doxygen/html/html/search/variables_5.js +2 -1
  180. package/SVF-doxygen/html/html/search/variables_9.js +1 -1
  181. package/SVF-doxygen/html/html/search/variables_e.js +4 -4
  182. package/SVF-doxygen/html/html/search/variables_f.js +1 -0
  183. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +16 -16
  184. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +1 -1
  185. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html +18 -18
  186. package/include/Graphs/VFG.h +1 -1
  187. package/include/MemoryModel/SVFIR.h +7 -5
  188. package/include/MemoryModel/SVFStatements.h +100 -18
  189. package/include/SVF-FE/SVFIRBuilder.h +17 -10
  190. package/lib/Graphs/ConsG.cpp +9 -0
  191. package/lib/Graphs/VFG.cpp +9 -0
  192. package/lib/MemoryModel/PAGBuilderFromFile.cpp +5 -3
  193. package/lib/MemoryModel/SVFIR.cpp +32 -11
  194. package/lib/MemoryModel/SVFStatements.cpp +14 -0
  195. package/lib/SVF-FE/SVFIRBuilder.cpp +43 -22
  196. package/lib/SVF-FE/SymbolTableBuilder.cpp +1 -0
  197. package/package.json +1 -1
package/SVF-doxygen/html/html/classSVF_1_1TDForkPE-members.html CHANGED
@@ -74,7 +74,7 @@ $(function() {
74
74
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13">BinaryOp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
75
75
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">Branch</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
76
76
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">Call</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
77
- <tr><td class="entry"><a class="el" href="classSVF_1_1CallPE.html#af84a1badb8734b54bf01b2b5b89af091">CallPE</a>(SVFVar *s, SVFVar *d, const CallICFGNode *i, GEdgeKind k=SVFStmt::Call)</td><td class="entry"><a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
77
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CallPE.html#a6b907624482ae697680c747e9b41fdab">CallPE</a>(SVFVar *s, SVFVar *d, const CallICFGNode *i, const FunEntryICFGNode *e, GEdgeKind k=SVFStmt::Call)</td><td class="entry"><a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</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_1TDForkPE.html#a79317f2ac92ace129a1ccf802406498d">classof</a>(const TDForkPE *)</td><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
79
79
  <tr><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#a68f16df5a9b44dd2492c33fb0a1b5f0c">classof</a>(const SVFStmt *edge)</td><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
80
80
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#a9e160158fe61958bcd6ef2a7da559018">classof</a>(const GenericPAGEdgeTy *edge)</td><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
@@ -96,29 +96,31 @@ $(function() {
96
96
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::SVFStmt::getDstNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
97
97
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#af7bb0d687fc61cae1de639c88e472491">getEdgeID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
98
98
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
99
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#aa809a57c8cdaaa35dfc3cc0f3b33b52b">getICFGNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
100
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a86628ea173dec4934322f5d1caf2e1db">getInst</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
101
- <tr><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#a973a2b79da223275ed6a1831837b89c7">getLHSVar</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
102
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
103
- <tr><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#ad03d28d16754c9049dd4d0ad3b6c1e28">getRHSVar</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
104
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
105
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::SVFStmt::getSrcID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
106
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::SVFStmt::getSrcNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
107
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
108
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0b6c03af568b70903da6b200ac86c951">isPTAEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
109
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66">KindToSVFStmtMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
110
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5">Load</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
111
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b">makeEdgeFlagWithAddionalOpnd</a>(GEdgeKind k, const SVFVar *var)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
112
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00">makeEdgeFlagWithCallInst</a>(GEdgeKind k, const ICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
113
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#ad61722f886afaaee722ac55a4eed4d18">makeEdgeFlagWithStoreInst</a>(GEdgeKind k, const ICFGNode *store)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
114
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
115
- <tr><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#a3c6cc8db894e2c4cb62262fdd556e58f">operator=</a>(const TDForkPE &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
116
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">operator==</a>(const GenericEdge&lt; NodeType &gt; *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
117
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a2bdfa37167b5496629e5cae62705d5f2">PAGEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
118
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a229c78147511f2a581c761552179b6fa">PAGEdgeToSetMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
119
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">PEDGEK</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
120
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">Phi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
121
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af">Ret</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
99
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CallPE.html#a9c9821c4e7dd031e3f82f2b29427e53e">getFunEntryICFGNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
100
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#aa809a57c8cdaaa35dfc3cc0f3b33b52b">getICFGNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
101
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a86628ea173dec4934322f5d1caf2e1db">getInst</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
102
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#a973a2b79da223275ed6a1831837b89c7">getLHSVar</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
103
+ <tr><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
104
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#ad03d28d16754c9049dd4d0ad3b6c1e28">getRHSVar</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
105
+ <tr><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
106
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::SVFStmt::getSrcID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
107
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::SVFStmt::getSrcNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
108
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
109
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0b6c03af568b70903da6b200ac86c951">isPTAEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
110
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66">KindToSVFStmtMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
111
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5">Load</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
112
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b">makeEdgeFlagWithAddionalOpnd</a>(GEdgeKind k, const SVFVar *var)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
113
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00">makeEdgeFlagWithCallInst</a>(GEdgeKind k, const ICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
114
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#ad61722f886afaaee722ac55a4eed4d18">makeEdgeFlagWithStoreInst</a>(GEdgeKind k, const ICFGNode *store)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
115
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
116
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#a3c6cc8db894e2c4cb62262fdd556e58f">operator=</a>(const TDForkPE &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
117
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">operator==</a>(const GenericEdge&lt; NodeType &gt; *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
118
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a2bdfa37167b5496629e5cae62705d5f2">PAGEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
119
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a229c78147511f2a581c761552179b6fa">PAGEdgeToSetMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
120
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">PEDGEK</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
121
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">Phi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
122
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af">Ret</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
123
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa">Select</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
122
124
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a852730edf374d18a3fb3985211ed7623">setBB</a>(const BasicBlock *bb)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
123
125
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#adb92a92f5c878576dff26cb38eab8c8c">setICFGNode</a>(ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
124
126
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a24dddb4e346a6e569908e3efe8a6ecc0">setValue</a>(const Value *val)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -127,7 +129,7 @@ $(function() {
127
129
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVFStmtSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
128
130
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#a8d474c87f2f641336064270536fae8ae">TDForkPE</a>()</td><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
129
131
  <tr><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#ad55687afd603a027c4d7124061fce40b">TDForkPE</a>(const TDForkPE &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
130
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#ae84750b6511817b2db33d11c59d0f5bc">TDForkPE</a>(SVFVar *s, SVFVar *d, const CallICFGNode *i)</td><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
132
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#ae28fa8ad500a11208410adbfd0d19ea5">TDForkPE</a>(SVFVar *s, SVFVar *d, const CallICFGNode *i, const FunEntryICFGNode *entry)</td><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
131
133
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">ThreadFork</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
132
134
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">ThreadJoin</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
133
135
  <tr><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#aa385dc7e7e439cb4d8ee1524c8fbf9fe">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html CHANGED
@@ -87,20 +87,22 @@ Inheritance diagram for SVF::TDForkPE:</div>
87
87
  <table class="memberdecls">
88
88
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
89
89
  Public Member Functions</h2></td></tr>
90
- <tr class="memitem:ae84750b6511817b2db33d11c59d0f5bc"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1TDForkPE.html#ae84750b6511817b2db33d11c59d0f5bc">TDForkPE</a> (<a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *s, <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *d, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *i)</td></tr>
91
- <tr class="memdesc:ae84750b6511817b2db33d11c59d0f5bc"><td class="mdescLeft">&#160;</td><td class="mdescRight">constructor <a href="#ae84750b6511817b2db33d11c59d0f5bc">More...</a><br /></td></tr>
92
- <tr class="separator:ae84750b6511817b2db33d11c59d0f5bc"><td class="memSeparator" colspan="2">&#160;</td></tr>
90
+ <tr class="memitem:ae28fa8ad500a11208410adbfd0d19ea5"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1TDForkPE.html#ae28fa8ad500a11208410adbfd0d19ea5">TDForkPE</a> (<a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *s, <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *d, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *i, const <a class="el" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a> *<a class="el" href="classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372">entry</a>)</td></tr>
91
+ <tr class="memdesc:ae28fa8ad500a11208410adbfd0d19ea5"><td class="mdescLeft">&#160;</td><td class="mdescRight">constructor <a href="#ae28fa8ad500a11208410adbfd0d19ea5">More...</a><br /></td></tr>
92
+ <tr class="separator:ae28fa8ad500a11208410adbfd0d19ea5"><td class="memSeparator" colspan="2">&#160;</td></tr>
93
93
  <tr class="memitem:aa385dc7e7e439cb4d8ee1524c8fbf9fe"><td class="memItemLeft" align="right" valign="top">virtual const std::string&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1TDForkPE.html#aa385dc7e7e439cb4d8ee1524c8fbf9fe">toString</a> () const</td></tr>
94
94
  <tr class="separator:aa385dc7e7e439cb4d8ee1524c8fbf9fe"><td class="memSeparator" colspan="2">&#160;</td></tr>
95
95
  <tr class="inherit_header pub_methods_classSVF_1_1CallPE"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1CallPE')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td></tr>
96
- <tr class="memitem:af84a1badb8734b54bf01b2b5b89af091 inherit pub_methods_classSVF_1_1CallPE"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#af84a1badb8734b54bf01b2b5b89af091">CallPE</a> (<a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *s, <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *d, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *i, <a class="el" href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">GEdgeKind</a> k=<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">SVFStmt::Call</a>)</td></tr>
97
- <tr class="memdesc:af84a1badb8734b54bf01b2b5b89af091 inherit pub_methods_classSVF_1_1CallPE"><td class="mdescLeft">&#160;</td><td class="mdescRight">constructor <a href="classSVF_1_1CallPE.html#af84a1badb8734b54bf01b2b5b89af091">More...</a><br /></td></tr>
98
- <tr class="separator:af84a1badb8734b54bf01b2b5b89af091 inherit pub_methods_classSVF_1_1CallPE"><td class="memSeparator" colspan="2">&#160;</td></tr>
96
+ <tr class="memitem:a6b907624482ae697680c747e9b41fdab inherit pub_methods_classSVF_1_1CallPE"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#a6b907624482ae697680c747e9b41fdab">CallPE</a> (<a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *s, <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *d, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *i, const <a class="el" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a> *e, <a class="el" href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">GEdgeKind</a> k=<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">SVFStmt::Call</a>)</td></tr>
97
+ <tr class="memdesc:a6b907624482ae697680c747e9b41fdab inherit pub_methods_classSVF_1_1CallPE"><td class="mdescLeft">&#160;</td><td class="mdescRight">constructor <a href="classSVF_1_1CallPE.html#a6b907624482ae697680c747e9b41fdab">More...</a><br /></td></tr>
98
+ <tr class="separator:a6b907624482ae697680c747e9b41fdab inherit pub_methods_classSVF_1_1CallPE"><td class="memSeparator" colspan="2">&#160;</td></tr>
99
99
  <tr class="memitem:aa50cca8bd91ffb135a7998b58ad7966f inherit pub_methods_classSVF_1_1CallPE"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#aa50cca8bd91ffb135a7998b58ad7966f">getCallInst</a> () const</td></tr>
100
100
  <tr class="memdesc:aa50cca8bd91ffb135a7998b58ad7966f inherit pub_methods_classSVF_1_1CallPE"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get method for the call instruction. <a href="classSVF_1_1CallPE.html#aa50cca8bd91ffb135a7998b58ad7966f">More...</a><br /></td></tr>
101
101
  <tr class="separator:aa50cca8bd91ffb135a7998b58ad7966f inherit pub_methods_classSVF_1_1CallPE"><td class="memSeparator" colspan="2">&#160;</td></tr>
102
102
  <tr class="memitem:ab548c22dfbfeeaeb8ffe83417b396c09 inherit pub_methods_classSVF_1_1CallPE"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#ab548c22dfbfeeaeb8ffe83417b396c09">getCallSite</a> () const</td></tr>
103
103
  <tr class="separator:ab548c22dfbfeeaeb8ffe83417b396c09 inherit pub_methods_classSVF_1_1CallPE"><td class="memSeparator" colspan="2">&#160;</td></tr>
104
+ <tr class="memitem:a9c9821c4e7dd031e3f82f2b29427e53e inherit pub_methods_classSVF_1_1CallPE"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#a9c9821c4e7dd031e3f82f2b29427e53e">getFunEntryICFGNode</a> () const</td></tr>
105
+ <tr class="separator:a9c9821c4e7dd031e3f82f2b29427e53e inherit pub_methods_classSVF_1_1CallPE"><td class="memSeparator" colspan="2">&#160;</td></tr>
104
106
  <tr class="inherit_header pub_methods_classSVF_1_1AssignStmt"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1AssignStmt')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td></tr>
105
107
  <tr class="memitem:ad03d28d16754c9049dd4d0ad3b6c1e28 inherit pub_methods_classSVF_1_1AssignStmt"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AssignStmt.html#ad03d28d16754c9049dd4d0ad3b6c1e28">getRHSVar</a> () const</td></tr>
106
108
  <tr class="separator:ad03d28d16754c9049dd4d0ad3b6c1e28 inherit pub_methods_classSVF_1_1AssignStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -171,7 +173,7 @@ Static Public Member Functions</h2></td></tr>
171
173
  <tr class="separator:a9e160158fe61958bcd6ef2a7da559018"><td class="memSeparator" colspan="2">&#160;</td></tr>
172
174
  <tr class="inherit_header pub_static_methods_classSVF_1_1CallPE"><td colspan="2" onclick="javascript:toggleInherit('pub_static_methods_classSVF_1_1CallPE')"><img src="closed.png" alt="-"/>&#160;Static Public Member Functions inherited from <a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td></tr>
173
175
  <tr class="memitem:a6df0149f79122c5a7d517f75d0235e73 inherit pub_static_methods_classSVF_1_1CallPE"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#a6df0149f79122c5a7d517f75d0235e73">classof</a> (const <a class="el" href="classSVF_1_1CallPE.html">CallPE</a> *)</td></tr>
174
- <tr class="memdesc:a6df0149f79122c5a7d517f75d0235e73 inherit pub_static_methods_classSVF_1_1CallPE"><td class="mdescLeft">&#160;</td><td class="mdescRight">Methods for support type inquiry through isa, cast, and dyn_cast: <a href="classSVF_1_1CallPE.html#a6df0149f79122c5a7d517f75d0235e73">More...</a><br /></td></tr>
176
+ <tr class="memdesc:a6df0149f79122c5a7d517f75d0235e73 inherit pub_static_methods_classSVF_1_1CallPE"><td class="mdescLeft">&#160;</td><td class="mdescRight">the function exit statement calling to <a href="classSVF_1_1CallPE.html#a6df0149f79122c5a7d517f75d0235e73">More...</a><br /></td></tr>
175
177
  <tr class="separator:a6df0149f79122c5a7d517f75d0235e73 inherit pub_static_methods_classSVF_1_1CallPE"><td class="memSeparator" colspan="2">&#160;</td></tr>
176
178
  <tr class="memitem:a188c51f3e378c451d34e90c96cca0cf5 inherit pub_static_methods_classSVF_1_1CallPE"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#a188c51f3e378c451d34e90c96cca0cf5">classof</a> (const <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *edge)</td></tr>
177
179
  <tr class="separator:a188c51f3e378c451d34e90c96cca0cf5 inherit pub_static_methods_classSVF_1_1CallPE"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -226,12 +228,13 @@ Additional Inherited Members</h2></td></tr>
226
228
  <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8">Gep</a>,
227
229
  <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">Phi</a>,
228
230
  <br />
229
- &#160;&#160;<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">Cmp</a>,
231
+ &#160;&#160;<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa">Select</a>,
232
+ <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">Cmp</a>,
230
233
  <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13">BinaryOp</a>,
231
234
  <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">UnaryOp</a>,
232
- <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">Branch</a>,
233
235
  <br />
234
- &#160;&#160;<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">ThreadFork</a>,
236
+ &#160;&#160;<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">Branch</a>,
237
+ <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">ThreadFork</a>,
235
238
  <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">ThreadJoin</a>
236
239
  <br />
237
240
  }</td></tr>
@@ -273,7 +276,7 @@ Additional Inherited Members</h2></td></tr>
273
276
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
274
277
  <div class="textblock"><p>Thread Fork </p>
275
278
 
276
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00928">928</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
279
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01010">1010</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
277
280
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
278
281
  <a id="a8d474c87f2f641336064270536fae8ae"></a>
279
282
  <h2 class="memtitle"><span class="permalink"><a href="#a8d474c87f2f641336064270536fae8ae">&#9670;&nbsp;</a></span>TDForkPE() <span class="overload">[1/3]</span></h2>
@@ -330,8 +333,8 @@ Additional Inherited Members</h2></td></tr>
330
333
 
331
334
  </div>
332
335
  </div>
333
- <a id="ae84750b6511817b2db33d11c59d0f5bc"></a>
334
- <h2 class="memtitle"><span class="permalink"><a href="#ae84750b6511817b2db33d11c59d0f5bc">&#9670;&nbsp;</a></span>TDForkPE() <span class="overload">[3/3]</span></h2>
336
+ <a id="ae28fa8ad500a11208410adbfd0d19ea5"></a>
337
+ <h2 class="memtitle"><span class="permalink"><a href="#ae28fa8ad500a11208410adbfd0d19ea5">&#9670;&nbsp;</a></span>TDForkPE() <span class="overload">[3/3]</span></h2>
335
338
 
336
339
  <div class="memitem">
337
340
  <div class="memproto">
@@ -355,7 +358,13 @@ Additional Inherited Members</h2></td></tr>
355
358
  <td class="paramkey"></td>
356
359
  <td></td>
357
360
  <td class="paramtype">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *&#160;</td>
358
- <td class="paramname"><em>i</em>&#160;</td>
361
+ <td class="paramname"><em>i</em>, </td>
362
+ </tr>
363
+ <tr>
364
+ <td class="paramkey"></td>
365
+ <td></td>
366
+ <td class="paramtype">const <a class="el" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a> *&#160;</td>
367
+ <td class="paramname"><em>entry</em>&#160;</td>
359
368
  </tr>
360
369
  <tr>
361
370
  <td></td>
@@ -372,8 +381,9 @@ Additional Inherited Members</h2></td></tr>
372
381
 
373
382
  <p>constructor </p>
374
383
 
375
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00953">953</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
376
- <div class="fragment"><div class="line"><a name="l00953"></a><span class="lineno"> 953</span>&#160; :</div><div class="line"><a name="l00954"></a><span class="lineno"> 954</span>&#160; <a class="code" href="classSVF_1_1CallPE.html#a5e6271f5697a32b57efeccfedc61e331">CallPE</a>(s,d,i,<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVFStmt::ThreadFork</a>)</div><div class="line"><a name="l00955"></a><span class="lineno"> 955</span>&#160; {</div><div class="line"><a name="l00956"></a><span class="lineno"> 956</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallPE_html_a5e6271f5697a32b57efeccfedc61e331"><div class="ttname"><a href="classSVF_1_1CallPE.html#a5e6271f5697a32b57efeccfedc61e331">SVF::CallPE::CallPE</a></div><div class="ttdeci">CallPE()</div><div class="ttdoc">place holder </div></div>
384
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01035">1035</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
385
+ <div class="fragment"><div class="line"><a name="l01035"></a><span class="lineno"> 1035</span>&#160; :</div><div class="line"><a name="l01036"></a><span class="lineno"> 1036</span>&#160; <a class="code" href="classSVF_1_1CallPE.html#a5e6271f5697a32b57efeccfedc61e331">CallPE</a>(s,d,i,<a class="code" href="classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372">entry</a>,<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVFStmt::ThreadFork</a>)</div><div class="line"><a name="l01037"></a><span class="lineno"> 1037</span>&#160; {</div><div class="line"><a name="l01038"></a><span class="lineno"> 1038</span>&#160; }</div><div class="ttc" id="classSVF_1_1CallPE_html_a5e6271f5697a32b57efeccfedc61e331"><div class="ttname"><a href="classSVF_1_1CallPE.html#a5e6271f5697a32b57efeccfedc61e331">SVF::CallPE::CallPE</a></div><div class="ttdeci">CallPE()</div><div class="ttdoc">place holder </div></div>
386
+ <div class="ttc" id="classSVF_1_1CallPE_html_a88e420e259b8d7d34c9850ddde53d372"><div class="ttname"><a href="classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372">SVF::CallPE::entry</a></div><div class="ttdeci">const FunEntryICFGNode * entry</div><div class="ttdoc">the callsite statement calling from </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00485">SVFStatements.h:485</a></div></div>
377
387
  <div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVF::SVFStmt::ThreadFork</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
378
388
  </div><!-- fragment -->
379
389
  </div>
@@ -405,8 +415,8 @@ Additional Inherited Members</h2></td></tr>
405
415
 
406
416
  <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
407
417
 
408
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00938">938</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
409
- <div class="fragment"><div class="line"><a name="l00939"></a><span class="lineno"> 939</span>&#160; {</div><div class="line"><a name="l00940"></a><span class="lineno"> 940</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00941"></a><span class="lineno"> 941</span>&#160; }</div></div><!-- fragment -->
418
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01020">1020</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
419
+ <div class="fragment"><div class="line"><a name="l01021"></a><span class="lineno"> 1021</span>&#160; {</div><div class="line"><a name="l01022"></a><span class="lineno"> 1022</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l01023"></a><span class="lineno"> 1023</span>&#160; }</div></div><!-- fragment -->
410
420
  </div>
411
421
  </div>
412
422
  <a id="a68f16df5a9b44dd2492c33fb0a1b5f0c"></a>
@@ -433,8 +443,8 @@ Additional Inherited Members</h2></td></tr>
433
443
  </table>
434
444
  </div><div class="memdoc">
435
445
 
436
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00942">942</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
437
- <div class="fragment"><div class="line"><a name="l00943"></a><span class="lineno"> 943</span>&#160; {</div><div class="line"><a name="l00944"></a><span class="lineno"> 944</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVFStmt::ThreadFork</a>;</div><div class="line"><a name="l00945"></a><span class="lineno"> 945</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVF::SVFStmt::ThreadFork</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
446
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01024">1024</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
447
+ <div class="fragment"><div class="line"><a name="l01025"></a><span class="lineno"> 1025</span>&#160; {</div><div class="line"><a name="l01026"></a><span class="lineno"> 1026</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVFStmt::ThreadFork</a>;</div><div class="line"><a name="l01027"></a><span class="lineno"> 1027</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVF::SVFStmt::ThreadFork</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
438
448
  </div><!-- fragment -->
439
449
  </div>
440
450
  </div>
@@ -462,8 +472,8 @@ Additional Inherited Members</h2></td></tr>
462
472
  </table>
463
473
  </div><div class="memdoc">
464
474
 
465
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00946">946</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
466
- <div class="fragment"><div class="line"><a name="l00947"></a><span class="lineno"> 947</span>&#160; {</div><div class="line"><a name="l00948"></a><span class="lineno"> 948</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVFStmt::ThreadFork</a>;</div><div class="line"><a name="l00949"></a><span class="lineno"> 949</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVF::SVFStmt::ThreadFork</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
475
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01028">1028</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
476
+ <div class="fragment"><div class="line"><a name="l01029"></a><span class="lineno"> 1029</span>&#160; {</div><div class="line"><a name="l01030"></a><span class="lineno"> 1030</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVFStmt::ThreadFork</a>;</div><div class="line"><a name="l01031"></a><span class="lineno"> 1031</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVF::SVFStmt::ThreadFork</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
467
477
  </div><!-- fragment -->
468
478
  </div>
469
479
  </div>
@@ -520,8 +530,8 @@ Additional Inherited Members</h2></td></tr>
520
530
 
521
531
  <p>Reimplemented from <a class="el" href="classSVF_1_1CallPE.html#aecdf349bde9547dae7eb88c6cfd34bab">SVF::CallPE</a>.</p>
522
532
 
523
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#l00211">211</a> of file <a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a>.</p>
524
- <div class="fragment"><div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; {</div><div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; std::string str;</div><div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;TDForkPE: [Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot; &lt;-- Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot;]\t&quot;</span>;</div><div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">Options::ShowSVFIRValue</a>) {</div><div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; rawstr &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>());</div><div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; }</div><div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a65ee8b43a3a4999eb112a197d1a9f882"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00115">SVFStatements.h:115</a></div></div>
533
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#l00225">225</a> of file <a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a>.</p>
534
+ <div class="fragment"><div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; {</div><div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; std::string str;</div><div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;TDForkPE: [Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot; &lt;-- Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot;]\t&quot;</span>;</div><div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">Options::ShowSVFIRValue</a>) {</div><div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; rawstr &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>());</div><div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; }</div><div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a65ee8b43a3a4999eb112a197d1a9f882"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00115">SVFStatements.h:115</a></div></div>
525
535
  <div class="ttc" id="classSVF_1_1AssignStmt_html_a4cec89489e82c60c287cae3327f3f01d"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">SVF::AssignStmt::getRHSVarID</a></div><div class="ttdeci">NodeID getRHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00253">SVFStatements.h:253</a></div></div>
526
536
  <div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
527
537
  <div class="ttc" id="classSVF_1_1AssignStmt_html_a98f731be7be9bc8e7fd09f5c2204c840"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">SVF::AssignStmt::getLHSVarID</a></div><div class="ttdeci">NodeID getLHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00256">SVFStatements.h:256</a></div></div>
package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE-members.html CHANGED
@@ -95,30 +95,32 @@ $(function() {
95
95
  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::SVFStmt::getDstNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
96
96
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#af7bb0d687fc61cae1de639c88e472491">getEdgeID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
97
97
  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
98
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#aa809a57c8cdaaa35dfc3cc0f3b33b52b">getICFGNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
99
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a86628ea173dec4934322f5d1caf2e1db">getInst</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
100
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#a973a2b79da223275ed6a1831837b89c7">getLHSVar</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
101
- <tr><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
102
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#ad03d28d16754c9049dd4d0ad3b6c1e28">getRHSVar</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
103
- <tr><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
104
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::SVFStmt::getSrcID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
105
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::SVFStmt::getSrcNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
106
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
107
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0b6c03af568b70903da6b200ac86c951">isPTAEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
108
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66">KindToSVFStmtMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
109
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5">Load</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
110
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b">makeEdgeFlagWithAddionalOpnd</a>(GEdgeKind k, const SVFVar *var)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
111
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00">makeEdgeFlagWithCallInst</a>(GEdgeKind k, const ICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
112
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#ad61722f886afaaee722ac55a4eed4d18">makeEdgeFlagWithStoreInst</a>(GEdgeKind k, const ICFGNode *store)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
113
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
114
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1TDJoinPE.html#a4e4d2ac2888d9e1c02bb62f0a40bd0e2">operator=</a>(const TDJoinPE &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1TDJoinPE.html">SVF::TDJoinPE</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
115
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">operator==</a>(const GenericEdge&lt; NodeType &gt; *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
116
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a2bdfa37167b5496629e5cae62705d5f2">PAGEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
117
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a229c78147511f2a581c761552179b6fa">PAGEdgeToSetMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
118
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">PEDGEK</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
119
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">Phi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
120
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af">Ret</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
121
- <tr><td class="entry"><a class="el" href="classSVF_1_1RetPE.html#afed855f9ee0dfddc4808672ae32263b2">RetPE</a>(SVFVar *s, SVFVar *d, const CallICFGNode *i, GEdgeKind k=SVFStmt::Ret)</td><td class="entry"><a class="el" href="classSVF_1_1RetPE.html">SVF::RetPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
98
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RetPE.html#a274adbd91750d8d6de8ba997285c1c49">getFunExitICFGNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1RetPE.html">SVF::RetPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
99
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#aa809a57c8cdaaa35dfc3cc0f3b33b52b">getICFGNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
100
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a86628ea173dec4934322f5d1caf2e1db">getInst</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
101
+ <tr><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#a973a2b79da223275ed6a1831837b89c7">getLHSVar</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
102
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
103
+ <tr><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#ad03d28d16754c9049dd4d0ad3b6c1e28">getRHSVar</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
104
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
105
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::SVFStmt::getSrcID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
106
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::SVFStmt::getSrcNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
107
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
108
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0b6c03af568b70903da6b200ac86c951">isPTAEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
109
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66">KindToSVFStmtMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
110
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5">Load</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
111
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b">makeEdgeFlagWithAddionalOpnd</a>(GEdgeKind k, const SVFVar *var)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
112
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00">makeEdgeFlagWithCallInst</a>(GEdgeKind k, const ICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
113
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#ad61722f886afaaee722ac55a4eed4d18">makeEdgeFlagWithStoreInst</a>(GEdgeKind k, const ICFGNode *store)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
114
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
115
+ <tr><td class="entry"><a class="el" href="classSVF_1_1TDJoinPE.html#a4e4d2ac2888d9e1c02bb62f0a40bd0e2">operator=</a>(const TDJoinPE &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1TDJoinPE.html">SVF::TDJoinPE</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
116
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">operator==</a>(const GenericEdge&lt; NodeType &gt; *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
117
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a2bdfa37167b5496629e5cae62705d5f2">PAGEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
118
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a229c78147511f2a581c761552179b6fa">PAGEdgeToSetMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
119
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">PEDGEK</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
120
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">Phi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
121
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af">Ret</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
122
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1RetPE.html#a60cb8a19e352547b22f197f4ca8e19d8">RetPE</a>(SVFVar *s, SVFVar *d, const CallICFGNode *i, const FunExitICFGNode *e, GEdgeKind k=SVFStmt::Ret)</td><td class="entry"><a class="el" href="classSVF_1_1RetPE.html">SVF::RetPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
123
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa">Select</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
122
124
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a852730edf374d18a3fb3985211ed7623">setBB</a>(const BasicBlock *bb)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
123
125
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#adb92a92f5c878576dff26cb38eab8c8c">setICFGNode</a>(ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
124
126
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a24dddb4e346a6e569908e3efe8a6ecc0">setValue</a>(const Value *val)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -127,7 +129,7 @@ $(function() {
127
129
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVFStmtSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
128
130
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1TDJoinPE.html#a3a7edc9b921598336ff2bbb6412e2160">TDJoinPE</a>()</td><td class="entry"><a class="el" href="classSVF_1_1TDJoinPE.html">SVF::TDJoinPE</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
129
131
  <tr><td class="entry"><a class="el" href="classSVF_1_1TDJoinPE.html#a6f1714c9ef2483173ee6026b34eb10ae">TDJoinPE</a>(const TDJoinPE &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1TDJoinPE.html">SVF::TDJoinPE</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
130
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1TDJoinPE.html#afb9137169d75204a09975a219334b752">TDJoinPE</a>(SVFVar *s, SVFVar *d, const CallICFGNode *i)</td><td class="entry"><a class="el" href="classSVF_1_1TDJoinPE.html">SVF::TDJoinPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
132
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1TDJoinPE.html#ad836475c24cb395175291df3f1ddfee0">TDJoinPE</a>(SVFVar *s, SVFVar *d, const CallICFGNode *i, const FunExitICFGNode *e)</td><td class="entry"><a class="el" href="classSVF_1_1TDJoinPE.html">SVF::TDJoinPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
131
133
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">ThreadFork</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
132
134
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">ThreadJoin</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
133
135
  <tr><td class="entry"><a class="el" href="classSVF_1_1TDJoinPE.html#accac29adba7ca4883ae161c223a1703d">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1TDJoinPE.html">SVF::TDJoinPE</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>