svf-tools 1.0.320 → 1.0.324

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 (460) hide show
  1. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +7 -7
  3. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +3 -3
  4. package/SVF-doxygen/html/html/Andersen_8h_source.html +2 -2
  5. package/SVF-doxygen/html/html/CHG_8h_source.html +1 -1
  6. package/SVF-doxygen/html/html/ConsGNode_8h_source.html +5 -5
  7. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +8 -8
  8. package/SVF-doxygen/html/html/ConsG_8h_source.html +15 -15
  9. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +6 -6
  10. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +2 -2
  11. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +3 -3
  12. package/SVF-doxygen/html/html/DDAClient_8h_source.html +1 -1
  13. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +1 -1
  14. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +3 -3
  15. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +8 -8
  16. package/SVF-doxygen/html/html/FSMPTA_8h_source.html +1 -1
  17. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +2 -2
  18. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +2 -2
  19. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +8 -8
  20. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +5 -5
  21. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8h_source.html +2 -2
  22. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +2 -2
  23. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +4 -4
  24. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +4 -4
  25. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +4 -4
  26. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +2 -2
  27. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +3 -3
  28. package/SVF-doxygen/html/html/IRGraph_8h_source.html +7 -7
  29. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +6 -6
  30. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +9 -9
  31. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +6 -6
  32. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +24 -24
  33. package/SVF-doxygen/html/html/MemRegion_8h_source.html +13 -13
  34. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +13 -13
  35. package/SVF-doxygen/html/html/MemSSA_8h_source.html +13 -13
  36. package/SVF-doxygen/html/html/OfflineConsG_8cpp_source.html +2 -2
  37. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +3 -3
  38. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +8 -8
  39. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +8 -8
  40. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +3 -3
  41. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +7 -7
  42. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +17 -17
  43. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +3 -3
  44. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +18 -18
  45. package/SVF-doxygen/html/html/SVFG_8h_source.html +1 -1
  46. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +5 -5
  47. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +42 -42
  48. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +58 -58
  49. package/SVF-doxygen/html/html/SVFIR_8h_source.html +153 -154
  50. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +22 -22
  51. package/SVF-doxygen/html/html/SVFStatements_8h.html +11 -11
  52. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +133 -132
  53. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +9 -9
  54. package/SVF-doxygen/html/html/SVFVariables_8h.html +9 -9
  55. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +78 -78
  56. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +6 -6
  57. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
  58. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +3 -3
  59. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +2 -2
  60. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +13 -13
  61. package/SVF-doxygen/html/html/VFGNode_8h_source.html +17 -17
  62. package/SVF-doxygen/html/html/VFG_8cpp_source.html +48 -48
  63. package/SVF-doxygen/html/html/VFG_8h_source.html +35 -35
  64. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +5 -5
  65. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +5 -5
  66. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +1 -1
  67. package/SVF-doxygen/html/html/annotated.html +21 -21
  68. package/SVF-doxygen/html/html/classSVF_1_1AddrCGEdge.html +2 -2
  69. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt-members.html +137 -0
  70. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +500 -0
  71. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.png +0 -0
  72. package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode-members.html +1 -1
  73. package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode.html +7 -7
  74. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +3 -3
  75. package/SVF-doxygen/html/html/classSVF_1_1Andersen-members.html +4 -4
  76. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +34 -34
  77. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase-members.html +4 -4
  78. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +12 -12
  79. package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD-members.html +4 -4
  80. package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD.html +8 -8
  81. package/SVF-doxygen/html/html/classSVF_1_1AndersenHLCD-members.html +4 -4
  82. package/SVF-doxygen/html/html/classSVF_1_1AndersenHLCD.html +8 -8
  83. package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD-members.html +4 -4
  84. package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD.html +8 -8
  85. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD-members.html +4 -4
  86. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +8 -8
  87. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR-members.html +4 -4
  88. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +11 -11
  89. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +9 -9
  90. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff-members.html +4 -4
  91. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +8 -8
  92. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl-members.html +4 -4
  93. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +26 -26
  94. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt-members.html +155 -0
  95. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +756 -0
  96. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.png +0 -0
  97. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt-members.html +20 -19
  98. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +33 -31
  99. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +3 -3
  100. package/SVF-doxygen/html/html/classSVF_1_1CallBlockNode-members.html +8 -8
  101. package/SVF-doxygen/html/html/classSVF_1_1CallBlockNode.html +6 -6
  102. package/SVF-doxygen/html/html/classSVF_1_1CallPE-members.html +20 -19
  103. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +24 -22
  104. package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar-members.html +169 -0
  105. package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar.html +537 -0
  106. package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar.png +0 -0
  107. package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjVar-members.html +169 -0
  108. package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjVar.html +547 -0
  109. package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjVar.png +0 -0
  110. package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar-members.html +172 -0
  111. package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar.html +556 -0
  112. package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar.png +0 -0
  113. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt-members.html +75 -22
  114. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +479 -93
  115. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.png +0 -0
  116. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl-members.html +4 -4
  117. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +11 -11
  118. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph-members.html +5 -5
  119. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +46 -46
  120. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode-members.html +26 -26
  121. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +43 -43
  122. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA-members.html +4 -4
  123. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +17 -17
  124. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt-members.html +57 -21
  125. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +253 -89
  126. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.png +0 -0
  127. package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode-members.html +1 -1
  128. package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +7 -7
  129. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +1 -1
  130. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +3 -3
  131. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +10 -10
  132. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG-members.html +19 -19
  133. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +27 -27
  134. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar-members.html +167 -0
  135. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html +531 -0
  136. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.png +0 -0
  137. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar-members.html +165 -0
  138. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.html +502 -0
  139. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.png +0 -0
  140. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar-members.html +167 -0
  141. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +577 -0
  142. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.png +0 -0
  143. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA-members.html +4 -4
  144. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +8 -8
  145. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA-members.html +4 -4
  146. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +15 -15
  147. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive-members.html +4 -4
  148. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +25 -25
  149. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +8 -8
  150. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC-members.html +8 -8
  151. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +26 -26
  152. package/SVF-doxygen/html/html/classSVF_1_1FunEntryBlockNode-members.html +6 -6
  153. package/SVF-doxygen/html/html/classSVF_1_1FunEntryBlockNode.html +6 -6
  154. package/SVF-doxygen/html/html/classSVF_1_1FunExitBlockNode-members.html +6 -6
  155. package/SVF-doxygen/html/html/classSVF_1_1FunExitBlockNode.html +6 -6
  156. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +1 -1
  157. package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.html +6 -6
  158. package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.png +0 -0
  159. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +23 -22
  160. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
  161. package/SVF-doxygen/html/html/classSVF_1_1GepObjPN-members.html +12 -12
  162. package/SVF-doxygen/html/html/classSVF_1_1GepObjPN.html +61 -61
  163. package/SVF-doxygen/html/html/classSVF_1_1GepObjPN.png +0 -0
  164. package/SVF-doxygen/html/html/classSVF_1_1GepStmt-members.html +57 -22
  165. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +259 -118
  166. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.png +0 -0
  167. package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode-members.html +1 -1
  168. package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +7 -7
  169. package/SVF-doxygen/html/html/classSVF_1_1GepValVar-members.html +170 -0
  170. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +752 -0
  171. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.png +0 -0
  172. package/SVF-doxygen/html/html/classSVF_1_1GlobalBlockNode-members.html +6 -6
  173. package/SVF-doxygen/html/html/classSVF_1_1GlobalBlockNode.html +6 -6
  174. package/SVF-doxygen/html/html/classSVF_1_1ICFGNode-members.html +6 -6
  175. package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.html +22 -22
  176. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +6 -6
  177. package/SVF-doxygen/html/html/classSVF_1_1IRAnnotator.html +1 -1
  178. package/SVF-doxygen/html/html/classSVF_1_1IRGraph-members.html +8 -8
  179. package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +43 -43
  180. package/SVF-doxygen/html/html/classSVF_1_1InterBlockNode-members.html +6 -6
  181. package/SVF-doxygen/html/html/classSVF_1_1InterBlockNode.html +6 -6
  182. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG-members.html +20 -20
  183. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +27 -27
  184. package/SVF-doxygen/html/html/classSVF_1_1IntraBlockNode-members.html +6 -6
  185. package/SVF-doxygen/html/html/classSVF_1_1IntraBlockNode.html +6 -6
  186. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG-members.html +20 -20
  187. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +27 -27
  188. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +6 -6
  189. package/SVF-doxygen/html/html/classSVF_1_1LoadMU-members.html +3 -3
  190. package/SVF-doxygen/html/html/classSVF_1_1LoadMU.html +20 -20
  191. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt-members.html +57 -21
  192. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +253 -89
  193. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.png +0 -0
  194. package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode-members.html +1 -1
  195. package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +7 -7
  196. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator-members.html +23 -23
  197. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +147 -147
  198. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +6 -6
  199. package/SVF-doxygen/html/html/classSVF_1_1MemSSA-members.html +25 -25
  200. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +102 -102
  201. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt-members.html +24 -23
  202. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +36 -34
  203. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.png +0 -0
  204. package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt-members.html +142 -0
  205. package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt.html +649 -0
  206. package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt.png +0 -0
  207. package/SVF-doxygen/html/html/classSVF_1_1ObjVar-members.html +165 -0
  208. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +644 -0
  209. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.png +0 -0
  210. package/SVF-doxygen/html/html/classSVF_1_1OfflineConsG-members.html +5 -5
  211. package/SVF-doxygen/html/html/classSVF_1_1OfflineConsG.html +13 -13
  212. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +15 -15
  213. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +8 -8
  214. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt-members.html +74 -22
  215. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +447 -98
  216. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.png +0 -0
  217. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis-members.html +4 -4
  218. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +53 -53
  219. package/SVF-doxygen/html/html/classSVF_1_1RetBlockNode-members.html +7 -7
  220. package/SVF-doxygen/html/html/classSVF_1_1RetBlockNode.html +6 -6
  221. package/SVF-doxygen/html/html/classSVF_1_1RetPE-members.html +20 -19
  222. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +24 -22
  223. package/SVF-doxygen/html/html/classSVF_1_1RetPN-members.html +8 -8
  224. package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +24 -24
  225. package/SVF-doxygen/html/html/classSVF_1_1SVFG-members.html +56 -56
  226. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +58 -58
  227. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT-members.html +68 -68
  228. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +36 -36
  229. package/SVF-doxygen/html/html/classSVF_1_1SVFIR-members.html +132 -133
  230. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +730 -748
  231. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +12 -12
  232. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +180 -180
  233. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt-members.html +23 -22
  234. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +57 -39
  235. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.png +0 -0
  236. package/SVF-doxygen/html/html/classSVF_1_1SVFVar-members.html +8 -8
  237. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +82 -82
  238. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.png +0 -0
  239. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +9 -9
  240. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +1 -1
  241. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard-members.html +4 -4
  242. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +8 -8
  243. package/SVF-doxygen/html/html/classSVF_1_1StoreCHI-members.html +3 -3
  244. package/SVF-doxygen/html/html/classSVF_1_1StoreCHI.html +20 -20
  245. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt-members.html +57 -21
  246. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +260 -89
  247. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.png +0 -0
  248. package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode-members.html +1 -1
  249. package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +7 -7
  250. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE-members.html +23 -22
  251. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +18 -16
  252. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE-members.html +23 -22
  253. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +18 -16
  254. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +3 -3
  255. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis-members.html +4 -4
  256. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +10 -10
  257. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +28 -28
  258. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt-members.html +147 -0
  259. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +794 -0
  260. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.png +0 -0
  261. package/SVF-doxygen/html/html/classSVF_1_1VFG-members.html +42 -42
  262. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +145 -145
  263. package/SVF-doxygen/html/html/classSVF_1_1ValVar-members.html +163 -0
  264. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +521 -0
  265. package/SVF-doxygen/html/html/classSVF_1_1ValVar.png +0 -0
  266. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN-members.html +8 -8
  267. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +24 -24
  268. package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt-members.html +139 -0
  269. package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt.html +544 -0
  270. package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt.png +0 -0
  271. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive-members.html +4 -4
  272. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +16 -16
  273. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +4 -4
  274. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +3 -3
  275. package/SVF-doxygen/html/html/classes.html +18 -18
  276. package/SVF-doxygen/html/html/functions_a.html +55 -55
  277. package/SVF-doxygen/html/html/functions_b.html +2 -2
  278. package/SVF-doxygen/html/html/functions_c.html +52 -57
  279. package/SVF-doxygen/html/html/functions_d.html +4 -4
  280. package/SVF-doxygen/html/html/functions_f.html +5 -5
  281. package/SVF-doxygen/html/html/functions_func.html +54 -54
  282. package/SVF-doxygen/html/html/functions_func_b.html +2 -2
  283. package/SVF-doxygen/html/html/functions_func_c.html +30 -30
  284. package/SVF-doxygen/html/html/functions_func_d.html +4 -4
  285. package/SVF-doxygen/html/html/functions_func_f.html +2 -2
  286. package/SVF-doxygen/html/html/functions_func_g.html +107 -105
  287. package/SVF-doxygen/html/html/functions_func_h.html +6 -6
  288. package/SVF-doxygen/html/html/functions_func_l.html +3 -3
  289. package/SVF-doxygen/html/html/functions_func_n.html +2 -2
  290. package/SVF-doxygen/html/html/functions_func_o.html +15 -15
  291. package/SVF-doxygen/html/html/functions_func_p.html +2 -2
  292. package/SVF-doxygen/html/html/functions_func_s.html +4 -4
  293. package/SVF-doxygen/html/html/functions_func_t.html +20 -20
  294. package/SVF-doxygen/html/html/functions_func_u.html +2 -2
  295. package/SVF-doxygen/html/html/functions_func_v.html +5 -5
  296. package/SVF-doxygen/html/html/functions_g.html +123 -121
  297. package/SVF-doxygen/html/html/functions_h.html +6 -6
  298. package/SVF-doxygen/html/html/functions_i.html +15 -15
  299. package/SVF-doxygen/html/html/functions_k.html +9 -0
  300. package/SVF-doxygen/html/html/functions_l.html +11 -11
  301. package/SVF-doxygen/html/html/functions_m.html +1 -1
  302. package/SVF-doxygen/html/html/functions_n.html +2 -2
  303. package/SVF-doxygen/html/html/functions_o.html +32 -35
  304. package/SVF-doxygen/html/html/functions_p.html +34 -51
  305. package/SVF-doxygen/html/html/functions_r.html +1 -1
  306. package/SVF-doxygen/html/html/functions_s.html +32 -16
  307. package/SVF-doxygen/html/html/functions_t.html +24 -24
  308. package/SVF-doxygen/html/html/functions_type_c.html +1 -4
  309. package/SVF-doxygen/html/html/functions_type_f.html +2 -2
  310. package/SVF-doxygen/html/html/functions_type_g.html +2 -2
  311. package/SVF-doxygen/html/html/functions_type_i.html +3 -3
  312. package/SVF-doxygen/html/html/functions_type_k.html +3 -0
  313. package/SVF-doxygen/html/html/functions_type_l.html +3 -3
  314. package/SVF-doxygen/html/html/functions_type_p.html +3 -19
  315. package/SVF-doxygen/html/html/functions_type_s.html +19 -3
  316. package/SVF-doxygen/html/html/functions_type_v.html +1 -1
  317. package/SVF-doxygen/html/html/functions_u.html +2 -2
  318. package/SVF-doxygen/html/html/functions_v.html +10 -10
  319. package/SVF-doxygen/html/html/functions_vars_f.html +1 -1
  320. package/SVF-doxygen/html/html/functions_vars_g.html +8 -8
  321. package/SVF-doxygen/html/html/functions_vars_i.html +9 -9
  322. package/SVF-doxygen/html/html/functions_vars_k.html +6 -0
  323. package/SVF-doxygen/html/html/functions_vars_l.html +2 -2
  324. package/SVF-doxygen/html/html/functions_vars_m.html +1 -1
  325. package/SVF-doxygen/html/html/functions_vars_o.html +3 -4
  326. package/SVF-doxygen/html/html/functions_vars_p.html +4 -7
  327. package/SVF-doxygen/html/html/functions_w.html +5 -9
  328. package/SVF-doxygen/html/html/hierarchy.html +65 -65
  329. package/SVF-doxygen/html/html/namespaceSVF.html +24 -24
  330. package/SVF-doxygen/html/html/search/all_1.js +39 -39
  331. package/SVF-doxygen/html/html/search/all_10.js +12 -17
  332. package/SVF-doxygen/html/html/search/all_12.js +1 -1
  333. package/SVF-doxygen/html/html/search/all_13.js +15 -11
  334. package/SVF-doxygen/html/html/search/all_14.js +7 -7
  335. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  336. package/SVF-doxygen/html/html/search/all_16.js +4 -4
  337. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  338. package/SVF-doxygen/html/html/search/all_2.js +1 -1
  339. package/SVF-doxygen/html/html/search/all_3.js +8 -9
  340. package/SVF-doxygen/html/html/search/all_4.js +2 -2
  341. package/SVF-doxygen/html/html/search/all_6.js +4 -4
  342. package/SVF-doxygen/html/html/search/all_7.js +54 -53
  343. package/SVF-doxygen/html/html/search/all_8.js +2 -2
  344. package/SVF-doxygen/html/html/search/all_9.js +4 -4
  345. package/SVF-doxygen/html/html/search/all_b.js +3 -0
  346. package/SVF-doxygen/html/html/search/all_c.js +7 -7
  347. package/SVF-doxygen/html/html/search/all_d.js +1 -1
  348. package/SVF-doxygen/html/html/search/all_e.js +4 -4
  349. package/SVF-doxygen/html/html/search/all_f.js +6 -6
  350. package/SVF-doxygen/html/html/search/classes_0.js +1 -1
  351. package/SVF-doxygen/html/html/search/classes_1.js +1 -1
  352. package/SVF-doxygen/html/html/search/classes_11.js +1 -1
  353. package/SVF-doxygen/html/html/search/classes_12.js +2 -2
  354. package/SVF-doxygen/html/html/search/classes_2.js +5 -5
  355. package/SVF-doxygen/html/html/search/classes_3.js +2 -2
  356. package/SVF-doxygen/html/html/search/classes_5.js +1 -1
  357. package/SVF-doxygen/html/html/search/classes_6.js +2 -2
  358. package/SVF-doxygen/html/html/search/classes_9.js +1 -1
  359. package/SVF-doxygen/html/html/search/classes_b.js +1 -1
  360. package/SVF-doxygen/html/html/search/classes_c.js +1 -1
  361. package/SVF-doxygen/html/html/search/classes_d.js +1 -1
  362. package/SVF-doxygen/html/html/search/classes_f.js +1 -1
  363. package/SVF-doxygen/html/html/search/functions_0.js +39 -39
  364. package/SVF-doxygen/html/html/search/functions_1.js +1 -1
  365. package/SVF-doxygen/html/html/search/functions_10.js +4 -4
  366. package/SVF-doxygen/html/html/search/functions_11.js +1 -1
  367. package/SVF-doxygen/html/html/search/functions_12.js +1 -1
  368. package/SVF-doxygen/html/html/search/functions_13.js +2 -2
  369. package/SVF-doxygen/html/html/search/functions_2.js +7 -7
  370. package/SVF-doxygen/html/html/search/functions_3.js +2 -2
  371. package/SVF-doxygen/html/html/search/functions_5.js +1 -1
  372. package/SVF-doxygen/html/html/search/functions_6.js +49 -48
  373. package/SVF-doxygen/html/html/search/functions_7.js +2 -2
  374. package/SVF-doxygen/html/html/search/functions_a.js +3 -3
  375. package/SVF-doxygen/html/html/search/functions_c.js +1 -1
  376. package/SVF-doxygen/html/html/search/functions_d.js +2 -2
  377. package/SVF-doxygen/html/html/search/functions_e.js +1 -1
  378. package/SVF-doxygen/html/html/search/typedefs_11.js +7 -3
  379. package/SVF-doxygen/html/html/search/typedefs_14.js +1 -1
  380. package/SVF-doxygen/html/html/search/typedefs_2.js +1 -2
  381. package/SVF-doxygen/html/html/search/typedefs_5.js +2 -2
  382. package/SVF-doxygen/html/html/search/typedefs_6.js +1 -1
  383. package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
  384. package/SVF-doxygen/html/html/search/typedefs_a.js +2 -1
  385. package/SVF-doxygen/html/html/search/typedefs_b.js +3 -3
  386. package/SVF-doxygen/html/html/search/typedefs_f.js +3 -7
  387. package/SVF-doxygen/html/html/search/variables_10.js +2 -3
  388. package/SVF-doxygen/html/html/search/variables_14.js +4 -4
  389. package/SVF-doxygen/html/html/search/variables_6.js +1 -1
  390. package/SVF-doxygen/html/html/search/variables_7.js +4 -4
  391. package/SVF-doxygen/html/html/search/variables_9.js +4 -4
  392. package/SVF-doxygen/html/html/search/variables_b.js +3 -1
  393. package/SVF-doxygen/html/html/search/variables_c.js +1 -1
  394. package/SVF-doxygen/html/html/search/variables_d.js +1 -1
  395. package/SVF-doxygen/html/html/search/variables_e.js +2 -2
  396. package/SVF-doxygen/html/html/search/variables_f.js +2 -2
  397. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +2 -2
  398. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +2 -2
  399. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +4 -4
  400. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html +2 -2
  401. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +1 -1
  402. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html +1 -1
  403. package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
  404. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
  405. package/include/DDA/ContextDDA.h +1 -1
  406. package/include/DDA/FlowDDA.h +1 -1
  407. package/include/Graphs/CHG.h +2 -2
  408. package/include/Graphs/ConsG.h +10 -10
  409. package/include/Graphs/ICFGNode.h +4 -4
  410. package/include/Graphs/IRGraph.h +7 -7
  411. package/include/Graphs/VFG.h +13 -13
  412. package/include/Graphs/VFGNode.h +6 -6
  413. package/include/MSSA/MSSAMuChi.h +6 -6
  414. package/include/MSSA/MemRegion.h +11 -11
  415. package/include/MSSA/MemSSA.h +11 -11
  416. package/include/MemoryModel/PointerAnalysis.h +9 -9
  417. package/include/MemoryModel/PointerAnalysisImpl.h +4 -4
  418. package/include/MemoryModel/SVFIR.h +82 -83
  419. package/include/MemoryModel/SVFStatements.h +97 -92
  420. package/include/MemoryModel/SVFVariables.h +71 -71
  421. package/include/SVF-FE/SVFIRBuilder.h +24 -24
  422. package/include/Util/IRAnnotator.h +1 -1
  423. package/include/Util/TypeBasedHeapCloning.h +2 -2
  424. package/include/WPA/Andersen.h +1 -1
  425. package/include/WPA/FlowSensitiveTBHC.h +1 -1
  426. package/lib/DDA/ContextDDA.cpp +6 -6
  427. package/lib/DDA/DDAClient.cpp +6 -6
  428. package/lib/DDA/DDAStat.cpp +2 -2
  429. package/lib/DDA/FlowDDA.cpp +4 -4
  430. package/lib/Graphs/ConsG.cpp +34 -34
  431. package/lib/Graphs/ICFG.cpp +4 -4
  432. package/lib/Graphs/IRGraph.cpp +21 -21
  433. package/lib/Graphs/OfflineConsG.cpp +8 -8
  434. package/lib/Graphs/SVFG.cpp +14 -14
  435. package/lib/Graphs/ThreadCallGraph.cpp +2 -2
  436. package/lib/Graphs/VFG.cpp +52 -52
  437. package/lib/MSSA/MemRegion.cpp +23 -23
  438. package/lib/MSSA/MemSSA.cpp +15 -15
  439. package/lib/MTA/MTAAnnotator.cpp +5 -5
  440. package/lib/MemoryModel/PAGBuilderFromFile.cpp +13 -13
  441. package/lib/MemoryModel/PointerAnalysis.cpp +9 -9
  442. package/lib/MemoryModel/PointerAnalysisImpl.cpp +14 -14
  443. package/lib/MemoryModel/SVFIR.cpp +95 -95
  444. package/lib/MemoryModel/SVFStatements.cpp +24 -24
  445. package/lib/MemoryModel/SVFVariables.cpp +19 -19
  446. package/lib/SABER/LeakChecker.cpp +2 -2
  447. package/lib/SABER/SaberSVFGBuilder.cpp +5 -5
  448. package/lib/SVF-FE/Graph2Json.cpp +3 -3
  449. package/lib/SVF-FE/SVFIRBuilder.cpp +22 -22
  450. package/lib/Util/PTAStat.cpp +8 -8
  451. package/lib/Util/TypeBasedHeapCloning.cpp +22 -22
  452. package/lib/WPA/Andersen.cpp +13 -13
  453. package/lib/WPA/AndersenSFR.cpp +2 -2
  454. package/lib/WPA/AndersenStat.cpp +6 -6
  455. package/lib/WPA/FlowSensitive.cpp +8 -8
  456. package/lib/WPA/FlowSensitiveStat.cpp +4 -4
  457. package/lib/WPA/FlowSensitiveTBHC.cpp +9 -9
  458. package/lib/WPA/VersionedFlowSensitive.cpp +2 -2
  459. package/lib/WPA/VersionedFlowSensitiveStat.cpp +1 -1
  460. package/package.json +1 -1
package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode-members.html CHANGED
@@ -148,7 +148,7 @@ $(function() {
148
148
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df1bb8732d5402a6f40209ea8b803e8">Store</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
149
149
  <tr><td class="entry"><a class="el" href="classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd">StoreVFGNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1StoreVFGNode.html">SVF::StoreVFGNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
150
150
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1StoreVFGNode.html#a496607cda1cc26a8753d6a7af620e95a">StoreVFGNode</a>(const StoreVFGNode &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1StoreVFGNode.html">SVF::StoreVFGNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
151
- <tr><td class="entry"><a class="el" href="classSVF_1_1StoreVFGNode.html#a9935b37ed646ac5c6989ed066468d61b">StoreVFGNode</a>(NodeID id, const StorePE *edge)</td><td class="entry"><a class="el" href="classSVF_1_1StoreVFGNode.html">SVF::StoreVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
151
+ <tr><td class="entry"><a class="el" href="classSVF_1_1StoreVFGNode.html#ae7ee09f0e965b6487a38a58c4f51b20b">StoreVFGNode</a>(NodeID id, const StoreStmt *edge)</td><td class="entry"><a class="el" href="classSVF_1_1StoreVFGNode.html">SVF::StoreVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
152
152
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">TInterPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
153
153
  <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727">TIntraPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
154
154
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1StoreVFGNode.html#aba7e8b8329caf412a55f5880f68414fe">toString</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1StoreVFGNode.html">SVF::StoreVFGNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html CHANGED
@@ -86,9 +86,9 @@ Inheritance diagram for SVF::StoreVFGNode:</div>
86
86
  <table class="memberdecls">
87
87
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
88
88
  Public Member Functions</h2></td></tr>
89
- <tr class="memitem:a9935b37ed646ac5c6989ed066468d61b"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StoreVFGNode.html#a9935b37ed646ac5c6989ed066468d61b">StoreVFGNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <a class="el" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a>, const <a class="el" href="classSVF_1_1StorePE.html">StorePE</a> *edge)</td></tr>
90
- <tr class="memdesc:a9935b37ed646ac5c6989ed066468d61b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor. <a href="#a9935b37ed646ac5c6989ed066468d61b">More...</a><br /></td></tr>
91
- <tr class="separator:a9935b37ed646ac5c6989ed066468d61b"><td class="memSeparator" colspan="2">&#160;</td></tr>
89
+ <tr class="memitem:ae7ee09f0e965b6487a38a58c4f51b20b"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StoreVFGNode.html#ae7ee09f0e965b6487a38a58c4f51b20b">StoreVFGNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <a class="el" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a>, const <a class="el" href="classSVF_1_1StoreStmt.html">StoreStmt</a> *edge)</td></tr>
90
+ <tr class="memdesc:ae7ee09f0e965b6487a38a58c4f51b20b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor. <a href="#ae7ee09f0e965b6487a38a58c4f51b20b">More...</a><br /></td></tr>
91
+ <tr class="separator:ae7ee09f0e965b6487a38a58c4f51b20b"><td class="memSeparator" colspan="2">&#160;</td></tr>
92
92
  <tr class="memitem:aba7e8b8329caf412a55f5880f68414fe"><td class="memItemLeft" align="right" valign="top">const std::string&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StoreVFGNode.html#aba7e8b8329caf412a55f5880f68414fe">toString</a> () const override</td></tr>
93
93
  <tr class="separator:aba7e8b8329caf412a55f5880f68414fe"><td class="memSeparator" colspan="2">&#160;</td></tr>
94
94
  <tr class="inherit_header pub_methods_classSVF_1_1StmtVFGNode"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1StmtVFGNode')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1StmtVFGNode.html">SVF::StmtVFGNode</a></td></tr>
@@ -355,8 +355,8 @@ Additional Inherited Members</h2></td></tr>
355
355
 
356
356
  </div>
357
357
  </div>
358
- <a id="a9935b37ed646ac5c6989ed066468d61b"></a>
359
- <h2 class="memtitle"><span class="permalink"><a href="#a9935b37ed646ac5c6989ed066468d61b">&#9670;&nbsp;</a></span>StoreVFGNode() <span class="overload">[3/3]</span></h2>
358
+ <a id="ae7ee09f0e965b6487a38a58c4f51b20b"></a>
359
+ <h2 class="memtitle"><span class="permalink"><a href="#ae7ee09f0e965b6487a38a58c4f51b20b">&#9670;&nbsp;</a></span>StoreVFGNode() <span class="overload">[3/3]</span></h2>
360
360
 
361
361
  <div class="memitem">
362
362
  <div class="memproto">
@@ -373,7 +373,7 @@ Additional Inherited Members</h2></td></tr>
373
373
  <tr>
374
374
  <td class="paramkey"></td>
375
375
  <td></td>
376
- <td class="paramtype">const <a class="el" href="classSVF_1_1StorePE.html">StorePE</a> *&#160;</td>
376
+ <td class="paramtype">const <a class="el" href="classSVF_1_1StoreStmt.html">StoreStmt</a> *&#160;</td>
377
377
  <td class="paramname"><em>edge</em>&#160;</td>
378
378
  </tr>
379
379
  <tr>
@@ -392,7 +392,7 @@ Additional Inherited Members</h2></td></tr>
392
392
  <p>Constructor. </p>
393
393
 
394
394
  <p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00244">244</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
395
- <div class="fragment"><div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160; : <a class="code" href="classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d">StmtVFGNode</a>(<span class="keywordtype">id</span>,edge,<a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df1bb8732d5402a6f40209ea8b803e8">Store</a>)</div><div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160; {</div><div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160;</div><div class="line"><a name="l00247"></a><span class="lineno"> 247</span>&#160; }</div><div class="ttc" id="classSVF_1_1StmtVFGNode_html_a03c4e0a31d2377ef4ffe46fe183ccd9d"><div class="ttname"><a href="classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d">SVF::StmtVFGNode::StmtVFGNode</a></div><div class="ttdeci">StmtVFGNode(NodeID id, const PAGEdge *e, VFGNodeK k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00121">VFGNode.h:121</a></div></div>
395
+ <div class="fragment"><div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160; : <a class="code" href="classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d">StmtVFGNode</a>(<span class="keywordtype">id</span>,edge,<a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df1bb8732d5402a6f40209ea8b803e8">Store</a>)</div><div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160; {</div><div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160;</div><div class="line"><a name="l00247"></a><span class="lineno"> 247</span>&#160; }</div><div class="ttc" id="classSVF_1_1StmtVFGNode_html_a03c4e0a31d2377ef4ffe46fe183ccd9d"><div class="ttname"><a href="classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d">SVF::StmtVFGNode::StmtVFGNode</a></div><div class="ttdeci">StmtVFGNode(NodeID id, const PAGEdge *e, VFGNodeK k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00121">VFGNode.h:121</a></div></div>
396
396
  <div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a6df1bb8732d5402a6f40209ea8b803e8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df1bb8732d5402a6f40209ea8b803e8">SVF::VFGNode::Store</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
397
397
  </div><!-- fragment -->
398
398
  </div>
package/SVF-doxygen/html/html/classSVF_1_1TDForkPE-members.html CHANGED
@@ -99,17 +99,17 @@ $(function() {
99
99
  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">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>
100
100
  <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>
101
101
  <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>
102
- <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>
103
- <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>
104
- <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>
105
- <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>
106
- <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>
107
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ac2089ffeab3f27354b2094758c805746">NormalGep</a> enum value</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_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>
109
- <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>
110
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#af02857ff13e61f81d332d83eb376bdb4">PAGEdgeSetTy</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#a79ef5ff6adebbbc13e5c8db6e622bc03">PAGEdgeToSetMapTy</a> typedef</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#a47a67e8aaae7059e353841a40b89e936">PAGKindToEdgeSetMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
102
+ <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>
103
+ <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>
104
+ <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>
105
+ <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>
106
+ <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>
107
+ <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>
108
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ac2089ffeab3f27354b2094758c805746">NormalGep</a> enum value</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_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>
110
+ <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>
111
+ <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>
112
+ <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>
113
113
  <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>
114
114
  <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>
115
115
  <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>
@@ -118,17 +118,18 @@ $(function() {
118
118
  <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>
119
119
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc">Store</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
120
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a47102f72115d41bff899b1b2ffec75b1">SVFStmt</a>(SVFVar *s, SVFVar *d, GEdgeFlag k)</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_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>
122
- <tr class="even"><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>
123
- <tr><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#ab9b4bb3ea203b7c444fad6187fe77682">TDForkPE</a>(SVFVar *s, SVFVar *d, const CallBlockNode *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>
124
- <tr class="even"><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>
125
- <tr><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>
126
- <tr class="even"><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>
127
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#aa306e817648ab5def47e83473e99b3d3">totalEdgeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
128
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">UnaryOp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
129
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3a8902fc2aa68428e271012861a2a2">VariantGep</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
130
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a548daea0cac6491de91d4840b7297741">~GenericEdge</a>()</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>
131
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#aac79c7e8d390f297002782afb0ba3ff0">~SVFStmt</a>()</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>
121
+ <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>
122
+ <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>
123
+ <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>
124
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1TDForkPE.html#ab9b4bb3ea203b7c444fad6187fe77682">TDForkPE</a>(SVFVar *s, SVFVar *d, const CallBlockNode *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>
125
+ <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>
126
+ <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>
127
+ <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>
128
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#aa306e817648ab5def47e83473e99b3d3">totalEdgeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
129
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">UnaryOp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
130
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3a8902fc2aa68428e271012861a2a2">VariantGep</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
131
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a548daea0cac6491de91d4840b7297741">~GenericEdge</a>()</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>
132
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#aac79c7e8d390f297002782afb0ba3ff0">~SVFStmt</a>()</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>
132
133
  </table></div><!-- contents -->
133
134
  <!-- start footer part -->
134
135
  <hr class="footer"/><address class="footer"><small>
package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html CHANGED
@@ -219,12 +219,14 @@ Additional Inherited Members</h2></td></tr>
219
219
  <br />
220
220
  }</td></tr>
221
221
  <tr class="separator:a0ab8621e75e75f03425c323b3ed62ce9 inherit pub_types_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
222
- <tr class="memitem:af02857ff13e61f81d332d83eb376bdb4 inherit pub_types_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1GenericNode.html">GenericNode</a>&lt; <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a>, <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> &gt;::GEdgeSetTy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#af02857ff13e61f81d332d83eb376bdb4">PAGEdgeSetTy</a></td></tr>
223
- <tr class="separator:af02857ff13e61f81d332d83eb376bdb4 inherit pub_types_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
224
- <tr class="memitem:a79ef5ff6adebbbc13e5c8db6e622bc03 inherit pub_types_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; <a class="el" href="namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94">EdgeID</a>, <a class="el" href="classSVF_1_1SVFStmt.html#af02857ff13e61f81d332d83eb376bdb4">PAGEdgeSetTy</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a79ef5ff6adebbbc13e5c8db6e622bc03">PAGEdgeToSetMapTy</a></td></tr>
225
- <tr class="separator:a79ef5ff6adebbbc13e5c8db6e622bc03 inherit pub_types_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
226
- <tr class="memitem:a47a67e8aaae7059e353841a40b89e936 inherit pub_types_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1SVFStmt.html#a79ef5ff6adebbbc13e5c8db6e622bc03">PAGEdgeToSetMapTy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a47a67e8aaae7059e353841a40b89e936">PAGKindToEdgeSetMapTy</a></td></tr>
227
- <tr class="separator:a47a67e8aaae7059e353841a40b89e936 inherit pub_types_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
222
+ <tr class="memitem:a8cd7b6c6fd8b030b1421d95a086359f4 inherit pub_types_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1GenericNode.html">GenericNode</a>&lt; <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a>, <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> &gt;::GEdgeSetTy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVFStmtSetTy</a></td></tr>
223
+ <tr class="separator:a8cd7b6c6fd8b030b1421d95a086359f4 inherit pub_types_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
224
+ <tr class="memitem:a229c78147511f2a581c761552179b6fa inherit pub_types_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; <a class="el" href="namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94">EdgeID</a>, <a class="el" href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVFStmtSetTy</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a229c78147511f2a581c761552179b6fa">PAGEdgeToSetMapTy</a></td></tr>
225
+ <tr class="separator:a229c78147511f2a581c761552179b6fa inherit pub_types_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
226
+ <tr class="memitem:a93fc6c4c991931c78c48500c2db50f66 inherit pub_types_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1SVFStmt.html#a229c78147511f2a581c761552179b6fa">PAGEdgeToSetMapTy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66">KindToSVFStmtMapTy</a></td></tr>
227
+ <tr class="separator:a93fc6c4c991931c78c48500c2db50f66 inherit pub_types_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
228
+ <tr class="memitem:a2bdfa37167b5496629e5cae62705d5f2 inherit pub_types_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVFStmtSetTy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a2bdfa37167b5496629e5cae62705d5f2">PAGEdgeSetTy</a></td></tr>
229
+ <tr class="separator:a2bdfa37167b5496629e5cae62705d5f2 inherit pub_types_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
228
230
  <tr class="inherit_header pub_types_classSVF_1_1GenericEdge"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1GenericEdge')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td></tr>
229
231
  <tr class="memitem:aff95460d4b859e657a9198b7c5e5c736 inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef NodeTy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a></td></tr>
230
232
  <tr class="memdesc:aff95460d4b859e657a9198b7c5e5c736 inherit pub_types_classSVF_1_1GenericEdge"><td class="mdescLeft">&#160;</td><td class="mdescRight">Node type. <a href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">More...</a><br /></td></tr>
@@ -248,9 +250,9 @@ Additional Inherited Members</h2></td></tr>
248
250
  <tr class="separator:a93dec4c27088242a4b1b6aa82cea46b9 inherit pro_static_attribs_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
249
251
  </table>
250
252
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
251
- <div class="textblock"><p>Thread Fork Edge </p>
253
+ <div class="textblock"><p>Thread Fork </p>
252
254
 
253
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00897">897</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
255
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00902">902</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
254
256
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
255
257
  <a id="a8d474c87f2f641336064270536fae8ae"></a>
256
258
  <h2 class="memtitle"><span class="permalink"><a href="#a8d474c87f2f641336064270536fae8ae">&#9670;&nbsp;</a></span>TDForkPE() <span class="overload">[1/3]</span></h2>
@@ -349,8 +351,8 @@ Additional Inherited Members</h2></td></tr>
349
351
 
350
352
  <p>constructor </p>
351
353
 
352
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00922">922</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
353
- <div class="fragment"><div class="line"><a name="l00922"></a><span class="lineno"> 922</span>&#160; :</div><div class="line"><a name="l00923"></a><span class="lineno"> 923</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="l00924"></a><span class="lineno"> 924</span>&#160; {</div><div class="line"><a name="l00925"></a><span class="lineno"> 925</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>
354
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00927">927</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
355
+ <div class="fragment"><div class="line"><a name="l00927"></a><span class="lineno"> 927</span>&#160; :</div><div class="line"><a name="l00928"></a><span class="lineno"> 928</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="l00929"></a><span class="lineno"> 929</span>&#160; {</div><div class="line"><a name="l00930"></a><span class="lineno"> 930</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>
354
356
  <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>
355
357
  </div><!-- fragment -->
356
358
  </div>
@@ -382,8 +384,8 @@ Additional Inherited Members</h2></td></tr>
382
384
 
383
385
  <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
384
386
 
385
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00907">907</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
386
- <div class="fragment"><div class="line"><a name="l00908"></a><span class="lineno"> 908</span>&#160; {</div><div class="line"><a name="l00909"></a><span class="lineno"> 909</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00910"></a><span class="lineno"> 910</span>&#160; }</div></div><!-- fragment -->
387
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00912">912</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
388
+ <div class="fragment"><div class="line"><a name="l00913"></a><span class="lineno"> 913</span>&#160; {</div><div class="line"><a name="l00914"></a><span class="lineno"> 914</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00915"></a><span class="lineno"> 915</span>&#160; }</div></div><!-- fragment -->
387
389
  </div>
388
390
  </div>
389
391
  <a id="a68f16df5a9b44dd2492c33fb0a1b5f0c"></a>
@@ -410,8 +412,8 @@ Additional Inherited Members</h2></td></tr>
410
412
  </table>
411
413
  </div><div class="memdoc">
412
414
 
413
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00911">911</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
414
- <div class="fragment"><div class="line"><a name="l00912"></a><span class="lineno"> 912</span>&#160; {</div><div class="line"><a name="l00913"></a><span class="lineno"> 913</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="l00914"></a><span class="lineno"> 914</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>
415
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00916">916</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
416
+ <div class="fragment"><div class="line"><a name="l00917"></a><span class="lineno"> 917</span>&#160; {</div><div class="line"><a name="l00918"></a><span class="lineno"> 918</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="l00919"></a><span class="lineno"> 919</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>
415
417
  </div><!-- fragment -->
416
418
  </div>
417
419
  </div>
@@ -439,8 +441,8 @@ Additional Inherited Members</h2></td></tr>
439
441
  </table>
440
442
  </div><div class="memdoc">
441
443
 
442
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00915">915</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
443
- <div class="fragment"><div class="line"><a name="l00916"></a><span class="lineno"> 916</span>&#160; {</div><div class="line"><a name="l00917"></a><span class="lineno"> 917</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="l00918"></a><span class="lineno"> 918</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>
444
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00920">920</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
445
+ <div class="fragment"><div class="line"><a name="l00921"></a><span class="lineno"> 921</span>&#160; {</div><div class="line"><a name="l00922"></a><span class="lineno"> 922</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="l00923"></a><span class="lineno"> 923</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>
444
446
  </div><!-- fragment -->
445
447
  </div>
446
448
  </div>
package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE-members.html CHANGED
@@ -98,17 +98,17 @@ $(function() {
98
98
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">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>
99
99
  <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>
100
100
  <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>
101
- <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>
102
- <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>
103
- <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>
104
- <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>
105
- <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>
106
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ac2089ffeab3f27354b2094758c805746">NormalGep</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
107
- <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>
108
- <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>
109
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#af02857ff13e61f81d332d83eb376bdb4">PAGEdgeSetTy</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#a79ef5ff6adebbbc13e5c8db6e622bc03">PAGEdgeToSetMapTy</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#a47a67e8aaae7059e353841a40b89e936">PAGKindToEdgeSetMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
101
+ <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>
102
+ <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>
103
+ <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>
104
+ <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>
105
+ <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>
106
+ <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>
107
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ac2089ffeab3f27354b2094758c805746">NormalGep</a> enum value</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_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>
109
+ <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>
110
+ <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>
111
+ <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>
112
112
  <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>
113
113
  <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>
114
114
  <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>
@@ -118,17 +118,18 @@ $(function() {
118
118
  <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>
119
119
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc">Store</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
120
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a47102f72115d41bff899b1b2ffec75b1">SVFStmt</a>(SVFVar *s, SVFVar *d, GEdgeFlag k)</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_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>
122
- <tr class="even"><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>
123
- <tr><td class="entry"><a class="el" href="classSVF_1_1TDJoinPE.html#a0f995bd01463f201d7760641275dc33a">TDJoinPE</a>(SVFVar *s, SVFVar *d, const CallBlockNode *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>
124
- <tr class="even"><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>
125
- <tr><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>
126
- <tr class="even"><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>
127
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#aa306e817648ab5def47e83473e99b3d3">totalEdgeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
128
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">UnaryOp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
129
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3a8902fc2aa68428e271012861a2a2">VariantGep</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
130
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a548daea0cac6491de91d4840b7297741">~GenericEdge</a>()</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>
131
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#aac79c7e8d390f297002782afb0ba3ff0">~SVFStmt</a>()</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>
121
+ <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>
122
+ <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>
123
+ <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>
124
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1TDJoinPE.html#a0f995bd01463f201d7760641275dc33a">TDJoinPE</a>(SVFVar *s, SVFVar *d, const CallBlockNode *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>
125
+ <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>
126
+ <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>
127
+ <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>
128
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#aa306e817648ab5def47e83473e99b3d3">totalEdgeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
129
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">UnaryOp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
130
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3a8902fc2aa68428e271012861a2a2">VariantGep</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
131
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a548daea0cac6491de91d4840b7297741">~GenericEdge</a>()</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>
132
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#aac79c7e8d390f297002782afb0ba3ff0">~SVFStmt</a>()</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>
132
133
  </table></div><!-- contents -->
133
134
  <!-- start footer part -->
134
135
  <hr class="footer"/><address class="footer"><small>
package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html CHANGED
@@ -219,12 +219,14 @@ Additional Inherited Members</h2></td></tr>
219
219
  <br />
220
220
  }</td></tr>
221
221
  <tr class="separator:a0ab8621e75e75f03425c323b3ed62ce9 inherit pub_types_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
222
- <tr class="memitem:af02857ff13e61f81d332d83eb376bdb4 inherit pub_types_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1GenericNode.html">GenericNode</a>&lt; <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a>, <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> &gt;::GEdgeSetTy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#af02857ff13e61f81d332d83eb376bdb4">PAGEdgeSetTy</a></td></tr>
223
- <tr class="separator:af02857ff13e61f81d332d83eb376bdb4 inherit pub_types_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
224
- <tr class="memitem:a79ef5ff6adebbbc13e5c8db6e622bc03 inherit pub_types_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; <a class="el" href="namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94">EdgeID</a>, <a class="el" href="classSVF_1_1SVFStmt.html#af02857ff13e61f81d332d83eb376bdb4">PAGEdgeSetTy</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a79ef5ff6adebbbc13e5c8db6e622bc03">PAGEdgeToSetMapTy</a></td></tr>
225
- <tr class="separator:a79ef5ff6adebbbc13e5c8db6e622bc03 inherit pub_types_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
226
- <tr class="memitem:a47a67e8aaae7059e353841a40b89e936 inherit pub_types_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1SVFStmt.html#a79ef5ff6adebbbc13e5c8db6e622bc03">PAGEdgeToSetMapTy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a47a67e8aaae7059e353841a40b89e936">PAGKindToEdgeSetMapTy</a></td></tr>
227
- <tr class="separator:a47a67e8aaae7059e353841a40b89e936 inherit pub_types_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
222
+ <tr class="memitem:a8cd7b6c6fd8b030b1421d95a086359f4 inherit pub_types_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1GenericNode.html">GenericNode</a>&lt; <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a>, <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> &gt;::GEdgeSetTy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVFStmtSetTy</a></td></tr>
223
+ <tr class="separator:a8cd7b6c6fd8b030b1421d95a086359f4 inherit pub_types_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
224
+ <tr class="memitem:a229c78147511f2a581c761552179b6fa inherit pub_types_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; <a class="el" href="namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94">EdgeID</a>, <a class="el" href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVFStmtSetTy</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a229c78147511f2a581c761552179b6fa">PAGEdgeToSetMapTy</a></td></tr>
225
+ <tr class="separator:a229c78147511f2a581c761552179b6fa inherit pub_types_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
226
+ <tr class="memitem:a93fc6c4c991931c78c48500c2db50f66 inherit pub_types_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1SVFStmt.html#a229c78147511f2a581c761552179b6fa">PAGEdgeToSetMapTy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66">KindToSVFStmtMapTy</a></td></tr>
227
+ <tr class="separator:a93fc6c4c991931c78c48500c2db50f66 inherit pub_types_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
228
+ <tr class="memitem:a2bdfa37167b5496629e5cae62705d5f2 inherit pub_types_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVFStmtSetTy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a2bdfa37167b5496629e5cae62705d5f2">PAGEdgeSetTy</a></td></tr>
229
+ <tr class="separator:a2bdfa37167b5496629e5cae62705d5f2 inherit pub_types_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
228
230
  <tr class="inherit_header pub_types_classSVF_1_1GenericEdge"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1GenericEdge')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td></tr>
229
231
  <tr class="memitem:aff95460d4b859e657a9198b7c5e5c736 inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef NodeTy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a></td></tr>
230
232
  <tr class="memdesc:aff95460d4b859e657a9198b7c5e5c736 inherit pub_types_classSVF_1_1GenericEdge"><td class="mdescLeft">&#160;</td><td class="mdescRight">Node type. <a href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">More...</a><br /></td></tr>
@@ -248,9 +250,9 @@ Additional Inherited Members</h2></td></tr>
248
250
  <tr class="separator:a93dec4c27088242a4b1b6aa82cea46b9 inherit pro_static_attribs_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
249
251
  </table>
250
252
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
251
- <div class="textblock"><p>Thread Join Edge </p>
253
+ <div class="textblock"><p>Thread Join </p>
252
254
 
253
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00935">935</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
255
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00940">940</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
254
256
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
255
257
  <a id="a3a7edc9b921598336ff2bbb6412e2160"></a>
256
258
  <h2 class="memtitle"><span class="permalink"><a href="#a3a7edc9b921598336ff2bbb6412e2160">&#9670;&nbsp;</a></span>TDJoinPE() <span class="overload">[1/3]</span></h2>
@@ -349,8 +351,8 @@ Additional Inherited Members</h2></td></tr>
349
351
 
350
352
  <p>Constructor. </p>
351
353
 
352
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00960">960</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
353
- <div class="fragment"><div class="line"><a name="l00960"></a><span class="lineno"> 960</span>&#160; :</div><div class="line"><a name="l00961"></a><span class="lineno"> 961</span>&#160; <a class="code" href="classSVF_1_1RetPE.html#ab4da5e54fec989eab5640acc8c4fe215">RetPE</a>(s,d,i,<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>)</div><div class="line"><a name="l00962"></a><span class="lineno"> 962</span>&#160; {</div><div class="line"><a name="l00963"></a><span class="lineno"> 963</span>&#160; }</div><div class="ttc" id="classSVF_1_1RetPE_html_ab4da5e54fec989eab5640acc8c4fe215"><div class="ttname"><a href="classSVF_1_1RetPE.html#ab4da5e54fec989eab5640acc8c4fe215">SVF::RetPE::RetPE</a></div><div class="ttdeci">RetPE()</div><div class="ttdoc">place holder </div></div>
354
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00965">965</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
355
+ <div class="fragment"><div class="line"><a name="l00965"></a><span class="lineno"> 965</span>&#160; :</div><div class="line"><a name="l00966"></a><span class="lineno"> 966</span>&#160; <a class="code" href="classSVF_1_1RetPE.html#ab4da5e54fec989eab5640acc8c4fe215">RetPE</a>(s,d,i,<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>)</div><div class="line"><a name="l00967"></a><span class="lineno"> 967</span>&#160; {</div><div class="line"><a name="l00968"></a><span class="lineno"> 968</span>&#160; }</div><div class="ttc" id="classSVF_1_1RetPE_html_ab4da5e54fec989eab5640acc8c4fe215"><div class="ttname"><a href="classSVF_1_1RetPE.html#ab4da5e54fec989eab5640acc8c4fe215">SVF::RetPE::RetPE</a></div><div class="ttdeci">RetPE()</div><div class="ttdoc">place holder </div></div>
354
356
  <div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVF::SVFStmt::ThreadJoin</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
355
357
  </div><!-- fragment -->
356
358
  </div>
@@ -382,8 +384,8 @@ Additional Inherited Members</h2></td></tr>
382
384
 
383
385
  <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
384
386
 
385
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00945">945</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
386
- <div class="fragment"><div class="line"><a name="l00946"></a><span class="lineno"> 946</span>&#160; {</div><div class="line"><a name="l00947"></a><span class="lineno"> 947</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00948"></a><span class="lineno"> 948</span>&#160; }</div></div><!-- fragment -->
387
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00950">950</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
388
+ <div class="fragment"><div class="line"><a name="l00951"></a><span class="lineno"> 951</span>&#160; {</div><div class="line"><a name="l00952"></a><span class="lineno"> 952</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00953"></a><span class="lineno"> 953</span>&#160; }</div></div><!-- fragment -->
387
389
  </div>
388
390
  </div>
389
391
  <a id="a18e24262f5be7835bc830ea410acc19d"></a>
@@ -410,8 +412,8 @@ Additional Inherited Members</h2></td></tr>
410
412
  </table>
411
413
  </div><div class="memdoc">
412
414
 
413
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00949">949</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
414
- <div class="fragment"><div class="line"><a name="l00950"></a><span class="lineno"> 950</span>&#160; {</div><div class="line"><a name="l00951"></a><span class="lineno"> 951</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>;</div><div class="line"><a name="l00952"></a><span class="lineno"> 952</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVF::SVFStmt::ThreadJoin</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
415
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00954">954</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
416
+ <div class="fragment"><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; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>;</div><div class="line"><a name="l00957"></a><span class="lineno"> 957</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVF::SVFStmt::ThreadJoin</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
415
417
  </div><!-- fragment -->
416
418
  </div>
417
419
  </div>
@@ -439,8 +441,8 @@ Additional Inherited Members</h2></td></tr>
439
441
  </table>
440
442
  </div><div class="memdoc">
441
443
 
442
- <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>
443
- <div class="fragment"><div class="line"><a name="l00954"></a><span class="lineno"> 954</span>&#160; {</div><div class="line"><a name="l00955"></a><span class="lineno"> 955</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>;</div><div class="line"><a name="l00956"></a><span class="lineno"> 956</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVF::SVFStmt::ThreadJoin</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
444
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00958">958</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
445
+ <div class="fragment"><div class="line"><a name="l00959"></a><span class="lineno"> 959</span>&#160; {</div><div class="line"><a name="l00960"></a><span class="lineno"> 960</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>;</div><div class="line"><a name="l00961"></a><span class="lineno"> 961</span>&#160; }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVF::SVFStmt::ThreadJoin</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
444
446
  </div><!-- fragment -->
445
447
  </div>
446
448
  </div>