svf-tools 1.0.432 → 1.0.433

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 (9) hide show
  1. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +1 -2
  2. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +29 -29
  3. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +7 -7
  4. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +6 -6
  5. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +93 -94
  6. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +21 -22
  7. package/lib/SVF-FE/SVFIRBuilder.cpp +0 -1
  8. package/lib/SVF-FE/SymbolTableBuilder.cpp +0 -1
  9. package/package.json +1 -1
package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html CHANGED
@@ -75,11 +75,11 @@ $(function() {
75
75
  <div class="ttc" id="util_8h_html_a43b6ea6be735bb828bc062c70cadeff8"><div class="ttname"><a href="util_8h.html#a43b6ea6be735bb828bc062c70cadeff8">exit</a></div><div class="ttdeci">VOID_OR_INT exit()</div></div>
76
76
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_adea9fdfead89d700d0453fd685355ff4"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#adea9fdfead89d700d0453fd685355ff4">SVF::SVFIRBuilder::visitAtomicRMWInst</a></div><div class="ttdeci">void visitAtomicRMWInst(AtomicRMWInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00197">SVFIRBuilder.h:197</a></div></div>
77
77
  <div class="ttc" id="classSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00534">SVFStatements.h:534</a></div></div>
78
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a4be150eb37b75e4c081dfe38429f2089"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a4be150eb37b75e4c081dfe38429f2089">SVF::SVFIRBuilder::visitAllocaInst</a></div><div class="ttdeci">virtual void visitAllocaInst(AllocaInst &amp;AI)</div><div class="ttdoc">Our visit overrides. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00564">SVFIRBuilder.cpp:564</a></div></div>
78
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a4be150eb37b75e4c081dfe38429f2089"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a4be150eb37b75e4c081dfe38429f2089">SVF::SVFIRBuilder::visitAllocaInst</a></div><div class="ttdeci">virtual void visitAllocaInst(AllocaInst &amp;AI)</div><div class="ttdoc">Our visit overrides. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00563">SVFIRBuilder.cpp:563</a></div></div>
79
79
  <div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a255d310b1b573ca5c69fd715d7815d79"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a255d310b1b573ca5c69fd715d7815d79">GetElementPtrInst</a></div><div class="ttdeci">llvm::GetElementPtrInst GetElementPtrInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00042">BasicTypes.h:42</a></div></div>
80
80
  <div class="ttc" id="classSVF_1_1SVFIR_html_aa7e98cd2fd599aedefa4c2e6fb659da0"><div class="ttname"><a href="classSVF_1_1SVFIR.html#aa7e98cd2fd599aedefa4c2e6fb659da0">SVF::SVFIR::addDummyValNode</a></div><div class="ttdeci">NodeID addDummyValNode()</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00429">SVFIR.h:429</a></div></div>
81
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a4a945eafd262f81b4f9cc1fa61b57371"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a4a945eafd262f81b4f9cc1fa61b57371">SVF::SVFIRBuilder::visitGetElementPtrInst</a></div><div class="ttdeci">void visitGetElementPtrInst(GetElementPtrInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00636">SVFIRBuilder.cpp:636</a></div></div>
82
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_aa21ed35656d26eec22c53dc41019adc4"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#aa21ed35656d26eec22c53dc41019adc4">SVF::SVFIRBuilder::handleIndCall</a></div><div class="ttdeci">void handleIndCall(CallSite cs)</div><div class="ttdoc">Handle indirect call. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l01516">SVFIRBuilder.cpp:1516</a></div></div>
81
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a4a945eafd262f81b4f9cc1fa61b57371"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a4a945eafd262f81b4f9cc1fa61b57371">SVF::SVFIRBuilder::visitGetElementPtrInst</a></div><div class="ttdeci">void visitGetElementPtrInst(GetElementPtrInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00635">SVFIRBuilder.cpp:635</a></div></div>
82
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_aa21ed35656d26eec22c53dc41019adc4"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#aa21ed35656d26eec22c53dc41019adc4">SVF::SVFIRBuilder::handleIndCall</a></div><div class="ttdeci">void handleIndCall(CallSite cs)</div><div class="ttdoc">Handle indirect call. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l01515">SVFIRBuilder.cpp:1515</a></div></div>
83
83
  <div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a41c335e8362a500085923e4742a53f57"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a41c335e8362a500085923e4742a53f57">ExtractValueInst</a></div><div class="ttdeci">llvm::ExtractValueInst ExtractValueInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00040">BasicTypes.h:40</a></div></div>
84
84
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a724198dcaf43730e1df814f15fe4e1e0"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a724198dcaf43730e1df814f15fe4e1e0">SVF::SVFIRBuilder::getCurrentBB</a></div><div class="ttdeci">const BasicBlock * getCurrentBB() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00256">SVFIRBuilder.h:256</a></div></div>
85
85
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a2a0711cb1fdd3c5c90b07ff107aff1ac"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a2a0711cb1fdd3c5c90b07ff107aff1ac">SVF::SVFIRBuilder::addAddrEdge</a></div><div class="ttdeci">AddrStmt * addAddrEdge(NodeID src, NodeID dst)</div><div class="ttdoc">Add Address edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00294">SVFIRBuilder.h:294</a></div></div>
@@ -94,16 +94,16 @@ $(function() {
94
94
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_afa10748f345ee53f417690cf125b0851"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#afa10748f345ee53f417690cf125b0851">SVF::SVFIRBuilder::visitVACopyInst</a></div><div class="ttdeci">void visitVACopyInst(VACopyInst &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00158">SVFIRBuilder.h:158</a></div></div>
95
95
  <div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a65732ea63bff4b444b225629ee7cf252"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a65732ea63bff4b444b225629ee7cf252">PHINode</a></div><div class="ttdeci">llvm::PHINode PHINode</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00045">BasicTypes.h:45</a></div></div>
96
96
  <div class="ttc" id="namespaceSVF_html_a1d008c0666c145622b81d427be64c52d"><div class="ttname"><a href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">SVF::Type</a></div><div class="ttdeci">llvm::Type Type</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00072">BasicTypes.h:72</a></div></div>
97
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a51d75ff7f490ddfef3d4f8779872633c"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a51d75ff7f490ddfef3d4f8779872633c">SVF::SVFIRBuilder::visitStoreInst</a></div><div class="ttdeci">void visitStoreInst(StoreInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00618">SVFIRBuilder.cpp:618</a></div></div>
97
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a51d75ff7f490ddfef3d4f8779872633c"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a51d75ff7f490ddfef3d4f8779872633c">SVF::SVFIRBuilder::visitStoreInst</a></div><div class="ttdeci">void visitStoreInst(StoreInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00617">SVFIRBuilder.cpp:617</a></div></div>
98
98
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a4469ae4c52c162d3fbbd559420045243"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a4469ae4c52c162d3fbbd559420045243">SVF::SVFIRBuilder::addLoadEdge</a></div><div class="ttdeci">void addLoadEdge(NodeID src, NodeID dst)</div><div class="ttdoc">Add Load edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00348">SVFIRBuilder.h:348</a></div></div>
99
99
  <div class="ttc" id="namespaceSVF_html_a09f5fa3bc44bf53612a085e3a611cc4e"><div class="ttname"><a href="namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e">SVF::GlobalVariable</a></div><div class="ttdeci">llvm::GlobalVariable GlobalVariable</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00080">BasicTypes.h:80</a></div></div>
100
100
  <div class="ttc" id="classSVF_1_1IRGraph_html_a8b10c318674a47035d617b3ade4f069b"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a8b10c318674a47035d617b3ade4f069b">SVF::IRGraph::getVarargNode</a></div><div class="ttdeci">NodeID getVarargNode(const SVFFunction *func) const</div><div class="ttdoc">getVarargNode - Return the unique node representing the variadic argument of a variadic function...</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00140">IRGraph.h:140</a></div></div>
101
101
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_ae4f8f902265b0c39547aabbfdaded795"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#ae4f8f902265b0c39547aabbfdaded795">SVF::SVFIRBuilder::visitUnreachableInst</a></div><div class="ttdeci">void visitUnreachableInst(UnreachableInst &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00186">SVFIRBuilder.h:186</a></div></div>
102
102
  <div class="ttc" id="classSVF_1_1GepStmt_html"><div class="ttname"><a href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00409">SVFStatements.h:409</a></div></div>
103
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_aeb5f3cc92ef2d146c7c9cc86375b4c1e"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#aeb5f3cc92ef2d146c7c9cc86375b4c1e">SVF::SVFIRBuilder::visitBinaryOperator</a></div><div class="ttdeci">void visitBinaryOperator(BinaryOperator &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00686">SVFIRBuilder.cpp:686</a></div></div>
103
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_aeb5f3cc92ef2d146c7c9cc86375b4c1e"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#aeb5f3cc92ef2d146c7c9cc86375b4c1e">SVF::SVFIRBuilder::visitBinaryOperator</a></div><div class="ttdeci">void visitBinaryOperator(BinaryOperator &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00685">SVFIRBuilder.cpp:685</a></div></div>
104
104
  <div class="ttc" id="classSVF_1_1SVFIR_html_ae61030da4a84b5c9c47903804af9d107"><div class="ttname"><a href="classSVF_1_1SVFIR.html#ae61030da4a84b5c9c47903804af9d107">SVF::SVFIR::addBranchStmt</a></div><div class="ttdeci">BranchStmt * addBranchStmt(NodeID br, NodeID cond, const BranchStmt::SuccAndCondPairVec &amp;succs)</div><div class="ttdoc">Add BranchStmt. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00189">SVFIR.cpp:189</a></div></div>
105
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_ac6b24fcbd1e1b31141c27167d49a56ec"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#ac6b24fcbd1e1b31141c27167d49a56ec">SVF::SVFIRBuilder::visitExtractElementInst</a></div><div class="ttdeci">void visitExtractElementInst(ExtractElementInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00835">SVFIRBuilder.cpp:835</a></div></div>
106
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a4ad832691784cf4cb93017792ea3d9af"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a4ad832691784cf4cb93017792ea3d9af">SVF::SVFIRBuilder::visitBranchInst</a></div><div class="ttdeci">void visitBranchInst(BranchInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00845">SVFIRBuilder.cpp:845</a></div></div>
105
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_ac6b24fcbd1e1b31141c27167d49a56ec"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#ac6b24fcbd1e1b31141c27167d49a56ec">SVF::SVFIRBuilder::visitExtractElementInst</a></div><div class="ttdeci">void visitExtractElementInst(ExtractElementInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00834">SVFIRBuilder.cpp:834</a></div></div>
106
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a4ad832691784cf4cb93017792ea3d9af"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a4ad832691784cf4cb93017792ea3d9af">SVF::SVFIRBuilder::visitBranchInst</a></div><div class="ttdeci">void visitBranchInst(BranchInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00844">SVFIRBuilder.cpp:844</a></div></div>
107
107
  <div class="ttc" id="classSVF_1_1SVFIR_html_a9eeab593b2f161ad268d27a7031aedbe"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a9eeab593b2f161ad268d27a7031aedbe">SVF::SVFIR::addGepStmt</a></div><div class="ttdeci">GepStmt * addGepStmt(NodeID src, NodeID dst, const LocationSet &amp;ls, bool constGep)</div><div class="ttdoc">Add Gep edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00330">SVFIR.cpp:330</a></div></div>
108
108
  <div class="ttc" id="classSVF_1_1SVFIR_html_a8abc436992aa3b6b636084ff5f9a8ef2"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a8abc436992aa3b6b636084ff5f9a8ef2">SVF::SVFIR::addUnaryOPStmt</a></div><div class="ttdeci">UnaryOPStmt * addUnaryOPStmt(NodeID src, NodeID dst, u32_t opcode)</div><div class="ttdoc">Add Unary edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00171">SVFIR.cpp:171</a></div></div>
109
109
  <div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00179">BasicTypes.h:179</a></div></div>
@@ -119,19 +119,19 @@ $(function() {
119
119
  <div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a5e06fe1b4b25113ac322dbeda71055dc"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a5e06fe1b4b25113ac322dbeda71055dc">AllocaInst</a></div><div class="ttdeci">llvm::AllocaInst AllocaInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00030">BasicTypes.h:30</a></div></div>
120
120
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a8bf1847f31ff90937ce76cd0c0af7edb"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a8bf1847f31ff90937ce76cd0c0af7edb">SVF::SVFIRBuilder::addBlackHoleAddrEdge</a></div><div class="ttdeci">void addBlackHoleAddrEdge(NodeID node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00287">SVFIRBuilder.h:287</a></div></div>
121
121
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_af44d4587defa76f1e7f2645f9711558a"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#af44d4587defa76f1e7f2645f9711558a">SVF::SVFIRBuilder::getPAG</a></div><div class="ttdeci">SVFIR * getPAG() const</div><div class="ttdoc">Return SVFIR. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00068">SVFIRBuilder.h:68</a></div></div>
122
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a6b52906a617f088b1077ba0387a846ab"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a6b52906a617f088b1077ba0387a846ab">SVF::SVFIRBuilder::visitCallSite</a></div><div class="ttdeci">void visitCallSite(CallSite cs)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00746">SVFIRBuilder.cpp:746</a></div></div>
123
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a09baa8c7246853c3faaed85b38f0da60"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a09baa8c7246853c3faaed85b38f0da60">SVF::SVFIRBuilder::sanityCheck</a></div><div class="ttdeci">void sanityCheck()</div><div class="ttdoc">Sanity check for SVFIR. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l01525">SVFIRBuilder.cpp:1525</a></div></div>
122
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a6b52906a617f088b1077ba0387a846ab"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a6b52906a617f088b1077ba0387a846ab">SVF::SVFIRBuilder::visitCallSite</a></div><div class="ttdeci">void visitCallSite(CallSite cs)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00745">SVFIRBuilder.cpp:745</a></div></div>
123
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a09baa8c7246853c3faaed85b38f0da60"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a09baa8c7246853c3faaed85b38f0da60">SVF::SVFIRBuilder::sanityCheck</a></div><div class="ttdeci">void sanityCheck()</div><div class="ttdoc">Sanity check for SVFIR. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l01524">SVFIRBuilder.cpp:1524</a></div></div>
124
124
  <div class="ttc" id="classSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00041">SVFModule.h:41</a></div></div>
125
125
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_ac70a2368d5e0d3fe4dff94fecb2455ef"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#ac70a2368d5e0d3fe4dff94fecb2455ef">SVF::SVFIRBuilder::addGepEdge</a></div><div class="ttdeci">void addGepEdge(NodeID src, NodeID dst, const LocationSet &amp;ls, bool constGep)</div><div class="ttdoc">Add Gep edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00377">SVFIRBuilder.h:377</a></div></div>
126
126
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a30f043eeca79259d84b97e265110f018"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a30f043eeca79259d84b97e265110f018">SVF::SVFIRBuilder::addStoreEdge</a></div><div class="ttdeci">void addStoreEdge(NodeID src, NodeID dst)</div><div class="ttdoc">Add Store edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00354">SVFIRBuilder.h:354</a></div></div>
127
127
  <div class="ttc" id="classSVF_1_1SVFIR_html_a33df5f5d9b7de3846cf973135b04f513"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a33df5f5d9b7de3846cf973135b04f513">SVF::SVFIR::addBlackHoleAddrStmt</a></div><div class="ttdeci">SVFStmt * addBlackHoleAddrStmt(NodeID node)</div><div class="ttdoc">Set a pointer points-to black hole (e.g. int2ptr) </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00280">SVFIR.cpp:280</a></div></div>
128
128
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a5adf8baa546292434ba1fec48db2d0a7"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a5adf8baa546292434ba1fec48db2d0a7">SVF::SVFIRBuilder::processCE</a></div><div class="ttdeci">void processCE(const Value *val)</div><div class="ttdoc">Process constant expression. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00293">SVFIRBuilder.cpp:293</a></div></div>
129
129
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_aac1cbf0cb2b402b5fd0e2324c89c31b0"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#aac1cbf0cb2b402b5fd0e2324c89c31b0">SVF::SVFIRBuilder::curBB</a></div><div class="ttdeci">const BasicBlock * curBB</div><div class="ttdoc">Current basic block during SVFIR construction when visiting the module. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00051">SVFIRBuilder.h:51</a></div></div>
130
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a74cff1c31f2fd1d23709b34ae988c29a"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a74cff1c31f2fd1d23709b34ae988c29a">SVF::SVFIRBuilder::getGepValVar</a></div><div class="ttdeci">NodeID getGepValVar(const Value *val, const LocationSet &amp;ls, const Type *baseType)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l01551">SVFIRBuilder.cpp:1551</a></div></div>
130
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a74cff1c31f2fd1d23709b34ae988c29a"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a74cff1c31f2fd1d23709b34ae988c29a">SVF::SVFIRBuilder::getGepValVar</a></div><div class="ttdeci">NodeID getGepValVar(const Value *val, const LocationSet &amp;ls, const Type *baseType)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l01550">SVFIRBuilder.cpp:1550</a></div></div>
131
131
  <div class="ttc" id="SVFIR_8h_html"><div class="ttname"><a href="SVFIR_8h.html">SVFIR.h</a></div></div>
132
132
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a8c25c3903cda26312f182014f29069fc"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a8c25c3903cda26312f182014f29069fc">SVF::SVFIRBuilder::SVFIRBuilder</a></div><div class="ttdeci">SVFIRBuilder()</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00056">SVFIRBuilder.h:56</a></div></div>
133
133
  <div class="ttc" id="classSVF_1_1IRGraph_html_a3b417ee79560fd00f4cf80906044c198"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a3b417ee79560fd00f4cf80906044c198">SVF::IRGraph::getBlkPtr</a></div><div class="ttdeci">NodeID getBlkPtr() const</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00152">IRGraph.h:152</a></div></div>
134
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a17638b08f85d4543e663eeb739915bdc"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a17638b08f85d4543e663eeb739915bdc">SVF::SVFIRBuilder::visitLoadInst</a></div><div class="ttdeci">void visitLoadInst(LoadInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00604">SVFIRBuilder.cpp:604</a></div></div>
134
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a17638b08f85d4543e663eeb739915bdc"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a17638b08f85d4543e663eeb739915bdc">SVF::SVFIRBuilder::visitLoadInst</a></div><div class="ttdeci">void visitLoadInst(LoadInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00603">SVFIRBuilder.cpp:603</a></div></div>
135
135
  <div class="ttc" id="classSVF_1_1ICFGNode_html"><div class="ttname"><a href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00054">ICFGNode.h:54</a></div></div>
136
136
  <div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00081">SVFBasicTypes.h:81</a></div></div>
137
137
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_ae714d5f9550b81066fc4071616d46a64"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#ae714d5f9550b81066fc4071616d46a64">SVF::SVFIRBuilder::visitCallBrInst</a></div><div class="ttdeci">void visitCallBrInst(CallBrInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00133">SVFIRBuilder.h:133</a></div></div>
@@ -151,7 +151,7 @@ $(function() {
151
151
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_abaf03c3031ef3940c73e3cd8e8ca17b6"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#abaf03c3031ef3940c73e3cd8e8ca17b6">SVF::SVFIRBuilder::addCallEdge</a></div><div class="ttdeci">void addCallEdge(NodeID src, NodeID dst, const CallICFGNode *cs, const FunEntryICFGNode *entry)</div><div class="ttdoc">Add Call edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00365">SVFIRBuilder.h:365</a></div></div>
152
152
  <div class="ttc" id="ICFGBuilder_8h_html"><div class="ttname"><a href="ICFGBuilder_8h.html">ICFGBuilder.h</a></div></div>
153
153
  <div class="ttc" id="SVF-FE_2BasicTypes_8h_html_ac81608d3ff4a58a9a5d8fd522860b96f"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#ac81608d3ff4a58a9a5d8fd522860b96f">UnreachableInst</a></div><div class="ttdeci">llvm::UnreachableInst UnreachableInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00050">BasicTypes.h:50</a></div></div>
154
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a892ab8cad098e9e9d8425e7f05e35c59"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a892ab8cad098e9e9d8425e7f05e35c59">SVF::SVFIRBuilder::getBaseValueForExtArg</a></div><div class="ttdeci">const Value * getBaseValueForExtArg(const Value *V)</div><div class="ttdoc">Get the base value of (i8* src and i8* dst) for external argument (e.g. memcpy(i8* dst...</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00977">SVFIRBuilder.cpp:977</a></div></div>
154
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a892ab8cad098e9e9d8425e7f05e35c59"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a892ab8cad098e9e9d8425e7f05e35c59">SVF::SVFIRBuilder::getBaseValueForExtArg</a></div><div class="ttdeci">const Value * getBaseValueForExtArg(const Value *V)</div><div class="ttdoc">Get the base value of (i8* src and i8* dst) for external argument (e.g. memcpy(i8* dst...</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00976">SVFIRBuilder.cpp:976</a></div></div>
155
155
  <div class="ttc" id="classSVF_1_1FunEntryICFGNode_html"><div class="ttname"><a href="classSVF_1_1FunEntryICFGNode.html">SVF::FunEntryICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00251">ICFGNode.h:251</a></div></div>
156
156
  <div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a487fbdac6711a95d28683e6644c457ac"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a487fbdac6711a95d28683e6644c457ac">VAStartInst</a></div><div class="ttdeci">llvm::VAStartInst VAStartInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00058">BasicTypes.h:58</a></div></div>
157
157
  <div class="ttc" id="SVF-FE_2BasicTypes_8h_html_af4efbd8e6f644628b41104e855b0541b"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#af4efbd8e6f644628b41104e855b0541b">ExtractElementInst</a></div><div class="ttdeci">llvm::ExtractElementInst ExtractElementInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00041">BasicTypes.h:41</a></div></div>
@@ -167,52 +167,52 @@ $(function() {
167
167
  <div class="ttc" id="SVF-FE_2BasicTypes_8h_html"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html">BasicTypes.h</a></div></div>
168
168
  <div class="ttc" id="classSVF_1_1IRGraph_html_a3de9a2a565c303f68a90c32dc59febd5"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a3de9a2a565c303f68a90c32dc59febd5">SVF::IRGraph::getNullPtr</a></div><div class="ttdeci">NodeID getNullPtr() const</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00156">IRGraph.h:156</a></div></div>
169
169
  <div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a02550b1e1110f4cfca868603ce243564"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a02550b1e1110f4cfca868603ce243564">CmpInst</a></div><div class="ttdeci">llvm::CmpInst CmpInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00039">BasicTypes.h:39</a></div></div>
170
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_acf5a61d45c1abc1206f6e6c813f8634b"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#acf5a61d45c1abc1206f6e6c813f8634b">SVF::SVFIRBuilder::visitCastInst</a></div><div class="ttdeci">void visitCastInst(CastInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00662">SVFIRBuilder.cpp:662</a></div></div>
170
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_acf5a61d45c1abc1206f6e6c813f8634b"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#acf5a61d45c1abc1206f6e6c813f8634b">SVF::SVFIRBuilder::visitCastInst</a></div><div class="ttdeci">void visitCastInst(CastInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00661">SVFIRBuilder.cpp:661</a></div></div>
171
171
  <div class="ttc" id="ExtAPI_8h_html"><div class="ttname"><a href="ExtAPI_8h.html">ExtAPI.h</a></div></div>
172
172
  <div class="ttc" id="namespaceSVF_html_a7875172ff434b2210eea7cecfbbd959e"><div class="ttname"><a href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF::Instruction</a></div><div class="ttdeci">llvm::Instruction Instruction</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00076">BasicTypes.h:76</a></div></div>
173
173
  <div class="ttc" id="classSVF_1_1PTACallGraph_html"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00218">PTACallGraph.h:218</a></div></div>
174
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_abc836736ea16d99921c0e734cf0a3c72"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#abc836736ea16d99921c0e734cf0a3c72">SVF::SVFIRBuilder::visitSelectInst</a></div><div class="ttdeci">void visitSelectInst(SelectInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00730">SVFIRBuilder.cpp:730</a></div></div>
174
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_abc836736ea16d99921c0e734cf0a3c72"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#abc836736ea16d99921c0e734cf0a3c72">SVF::SVFIRBuilder::visitSelectInst</a></div><div class="ttdeci">void visitSelectInst(SelectInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00729">SVFIRBuilder.cpp:729</a></div></div>
175
175
  <div class="ttc" id="classSVF_1_1LoadStmt_html"><div class="ttname"><a href="classSVF_1_1LoadStmt.html">SVF::LoadStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00373">SVFStatements.h:373</a></div></div>
176
176
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a3f954c61381fe31088e791772c334105"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a3f954c61381fe31088e791772c334105">SVF::SVFIRBuilder::addBinaryOPEdge</a></div><div class="ttdeci">void addBinaryOPEdge(NodeID op1, NodeID op2, NodeID dst, u32_t opcode)</div><div class="ttdoc">Add Copy edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00331">SVFIRBuilder.h:331</a></div></div>
177
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_aff08d65b1411d1db81f80b9d4228c65d"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#aff08d65b1411d1db81f80b9d4228c65d">SVF::SVFIRBuilder::handleExtCall</a></div><div class="ttdeci">virtual void handleExtCall(CallSite cs, const SVFFunction *F)</div><div class="ttdoc">Handle external call. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l01070">SVFIRBuilder.cpp:1070</a></div></div>
177
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_aff08d65b1411d1db81f80b9d4228c65d"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#aff08d65b1411d1db81f80b9d4228c65d">SVF::SVFIRBuilder::handleExtCall</a></div><div class="ttdeci">virtual void handleExtCall(CallSite cs, const SVFFunction *F)</div><div class="ttdoc">Handle external call. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l01069">SVFIRBuilder.cpp:1069</a></div></div>
178
178
  <div class="ttc" id="classSVF_1_1BranchStmt_html"><div class="ttname"><a href="classSVF_1_1BranchStmt.html">SVF::BranchStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00921">SVFStatements.h:921</a></div></div>
179
179
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_aa2e07d018323c9d06393266970a0c340"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#aa2e07d018323c9d06393266970a0c340">SVF::SVFIRBuilder::visitVAEndInst</a></div><div class="ttdeci">void visitVAEndInst(VAEndInst &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00159">SVFIRBuilder.h:159</a></div></div>
180
180
  <div class="ttc" id="classSVF_1_1PhiStmt_html"><div class="ttname"><a href="classSVF_1_1PhiStmt.html">SVF::PhiStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00668">SVFStatements.h:668</a></div></div>
181
181
  <div class="ttc" id="SVF-FE_2BasicTypes_8h_html_aa55dc13cb9e79b9c54d74234e0add670"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#aa55dc13cb9e79b9c54d74234e0add670">VAEndInst</a></div><div class="ttdeci">llvm::VAEndInst VAEndInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00057">BasicTypes.h:57</a></div></div>
182
182
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_acb52462a8a004654c8819017dc029c44"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#acb52462a8a004654c8819017dc029c44">SVF::SVFIRBuilder::visitShuffleVectorInst</a></div><div class="ttdeci">void visitShuffleVectorInst(ShuffleVectorInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00173">SVFIRBuilder.h:173</a></div></div>
183
183
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_aec565ef04a35b0be0d8275ae511cc7b1"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#aec565ef04a35b0be0d8275ae511cc7b1">SVF::SVFIRBuilder::addThreadJoinEdge</a></div><div class="ttdeci">void addThreadJoinEdge(NodeID src, NodeID dst, const CallICFGNode *cs, const FunExitICFGNode *exit)</div><div class="ttdoc">Add Thread join edge for parameter passing. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00401">SVFIRBuilder.h:401</a></div></div>
184
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_aca31431b70e2fb360caa1140e29c0c9d"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#aca31431b70e2fb360caa1140e29c0c9d">SVF::SVFIRBuilder::visitReturnInst</a></div><div class="ttdeci">void visitReturnInst(ReturnInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00792">SVFIRBuilder.cpp:792</a></div></div>
184
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_aca31431b70e2fb360caa1140e29c0c9d"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#aca31431b70e2fb360caa1140e29c0c9d">SVF::SVFIRBuilder::visitReturnInst</a></div><div class="ttdeci">void visitReturnInst(ReturnInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00791">SVFIRBuilder.cpp:791</a></div></div>
185
185
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a87b75f04942124711d5ea1366e866890"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a87b75f04942124711d5ea1366e866890">SVF::SVFIRBuilder::computeGepOffset</a></div><div class="ttdeci">bool computeGepOffset(const User *V, LocationSet &amp;ls)</div><div class="ttdoc">Compute offset of a gep instruction or gep constant expression. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00232">SVFIRBuilder.cpp:232</a></div></div>
186
186
  <div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a3fd88a8942ad6c871c63a90b780afbd0"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a3fd88a8942ad6c871c63a90b780afbd0">ResumeInst</a></div><div class="ttdeci">llvm::ResumeInst ResumeInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00053">BasicTypes.h:53</a></div></div>
187
187
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a4e6025dcd8af2f35e3cc33d280fde497"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a4e6025dcd8af2f35e3cc33d280fde497">SVF::SVFIRBuilder::visitInsertValueInst</a></div><div class="ttdeci">void visitInsertValueInst(InsertValueInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00143">SVFIRBuilder.h:143</a></div></div>
188
188
  <div class="ttc" id="classSVF_1_1TDForkPE_html"><div class="ttname"><a href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01001">SVFStatements.h:1001</a></div></div>
189
189
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a9e81039d17b70e6a3d7310d05fa73c45"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a9e81039d17b70e6a3d7310d05fa73c45">SVF::SVFIRBuilder::addUnaryOPEdge</a></div><div class="ttdeci">void addUnaryOPEdge(NodeID src, NodeID dst, u32_t opcode)</div><div class="ttdoc">Add Unary edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00337">SVFIRBuilder.h:337</a></div></div>
190
190
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a91c8f9dc6e7cb225c2ed4b8f0322a2b3"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a91c8f9dc6e7cb225c2ed4b8f0322a2b3">SVF::SVFIRBuilder::visitInstruction</a></div><div class="ttdeci">void visitInstruction(Instruction &amp;)</div><div class="ttdoc">Provide base case for our instruction visit. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00203">SVFIRBuilder.h:203</a></div></div>
191
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_ac61e0c5f667ebeb4788d07253e6a733c"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#ac61e0c5f667ebeb4788d07253e6a733c">SVF::SVFIRBuilder::visitCmpInst</a></div><div class="ttdeci">void visitCmpInst(CmpInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00714">SVFIRBuilder.cpp:714</a></div></div>
191
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_ac61e0c5f667ebeb4788d07253e6a733c"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#ac61e0c5f667ebeb4788d07253e6a733c">SVF::SVFIRBuilder::visitCmpInst</a></div><div class="ttdeci">void visitCmpInst(CmpInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00713">SVFIRBuilder.cpp:713</a></div></div>
192
192
  <div class="ttc" id="namespaceSVF_html_a7e230c0cba2e3a7c2e5a5f2ee7d88af9"><div class="ttname"><a href="namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9">SVF::Constant</a></div><div class="ttdeci">llvm::Constant Constant</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00111">BasicTypes.h:111</a></div></div>
193
193
  <div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a5b02d9efe63d84149e54736b81f922f1"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a5b02d9efe63d84149e54736b81f922f1">LandingPadInst</a></div><div class="ttdeci">llvm::LandingPadInst LandingPadInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00052">BasicTypes.h:52</a></div></div>
194
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_ad0e9f1dd1cba235a699c2b710a888d06"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#ad0e9f1dd1cba235a699c2b710a888d06">SVF::SVFIRBuilder::addComplexConsForExt</a></div><div class="ttdeci">void addComplexConsForExt(Value *D, Value *S, const Value *sz)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l01024">SVFIRBuilder.cpp:1024</a></div></div>
194
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_ad0e9f1dd1cba235a699c2b710a888d06"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#ad0e9f1dd1cba235a699c2b710a888d06">SVF::SVFIRBuilder::addComplexConsForExt</a></div><div class="ttdeci">void addComplexConsForExt(Value *D, Value *S, const Value *sz)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l01023">SVFIRBuilder.cpp:1023</a></div></div>
195
195
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_aa67bbd366b93fb1ec7a540c83566c977"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#aa67bbd366b93fb1ec7a540c83566c977">SVF::SVFIRBuilder::svfMod</a></div><div class="ttdeci">SVFModule * svfMod</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00050">SVFIRBuilder.h:50</a></div></div>
196
196
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_ac5ae89051b0775ed209dcc654691958b"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#ac5ae89051b0775ed209dcc654691958b">SVF::SVFIRBuilder::visitAtomicCmpXchgInst</a></div><div class="ttdeci">void visitAtomicCmpXchgInst(AtomicCmpXchgInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00193">SVFIRBuilder.h:193</a></div></div>
197
197
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a5afb07f2cf8d76f8db334250e0c96cc0"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a5afb07f2cf8d76f8db334250e0c96cc0">SVF::SVFIRBuilder::curVal</a></div><div class="ttdeci">const Value * curVal</div><div class="ttdoc">Current Value during SVFIR construction when visiting the module. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00052">SVFIRBuilder.h:52</a></div></div>
198
198
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a2bd394d9fe3b7a10080987b7a707f5c0"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a2bd394d9fe3b7a10080987b7a707f5c0">SVF::SVFIRBuilder::addPhiStmt</a></div><div class="ttdeci">void addPhiStmt(NodeID res, NodeID opnd, const ICFGNode *pred)</div><div class="ttdoc">Add Copy edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00312">SVFIRBuilder.h:312</a></div></div>
199
199
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_af04a62de066da44d76c8068085df9e5f"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#af04a62de066da44d76c8068085df9e5f">SVF::SVFIRBuilder::visitCallInst</a></div><div class="ttdeci">void visitCallInst(CallInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00125">SVFIRBuilder.h:125</a></div></div>
200
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_ae80891bb2a162b3ad24fa7cf6380df30"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#ae80891bb2a162b3ad24fa7cf6380df30">SVF::SVFIRBuilder::visitUnaryOperator</a></div><div class="ttdeci">void visitUnaryOperator(UnaryOperator &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00701">SVFIRBuilder.cpp:701</a></div></div>
200
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_ae80891bb2a162b3ad24fa7cf6380df30"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#ae80891bb2a162b3ad24fa7cf6380df30">SVF::SVFIRBuilder::visitUnaryOperator</a></div><div class="ttdeci">void visitUnaryOperator(UnaryOperator &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00700">SVFIRBuilder.cpp:700</a></div></div>
201
201
  <div class="ttc" id="SVF-FE_2BasicTypes_8h_html_abafbd655050c8c70dc8947997c369294"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#abafbd655050c8c70dc8947997c369294">AtomicCmpXchgInst</a></div><div class="ttdeci">llvm::AtomicCmpXchgInst AtomicCmpXchgInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00031">BasicTypes.h:31</a></div></div>
202
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_ac26e0714728df0beca278eb405596775"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#ac26e0714728df0beca278eb405596775">SVF::SVFIRBuilder::visitVAArgInst</a></div><div class="ttdeci">void visitVAArgInst(VAArgInst &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00887">SVFIRBuilder.cpp:887</a></div></div>
202
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_ac26e0714728df0beca278eb405596775"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#ac26e0714728df0beca278eb405596775">SVF::SVFIRBuilder::visitVAArgInst</a></div><div class="ttdeci">void visitVAArgInst(VAArgInst &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00886">SVFIRBuilder.cpp:886</a></div></div>
203
203
  <div class="ttc" id="SVF-FE_2BasicTypes_8h_html_aebd8814affe9b579237bd090561b4686"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#aebd8814affe9b579237bd090561b4686">ShuffleVectorInst</a></div><div class="ttdeci">llvm::ShuffleVectorInst ShuffleVectorInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00044">BasicTypes.h:44</a></div></div>
204
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a22bd51c6fe770d179867342164ec2767"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a22bd51c6fe770d179867342164ec2767">SVF::SVFIRBuilder::updateCallGraph</a></div><div class="ttdeci">void updateCallGraph(PTACallGraph *callgraph)</div><div class="ttdoc">Update SVFIR given a call graph (creating new CallPE and RetPE for resolved indirect calls) ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l01683">SVFIRBuilder.cpp:1683</a></div></div>
204
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a22bd51c6fe770d179867342164ec2767"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a22bd51c6fe770d179867342164ec2767">SVF::SVFIRBuilder::updateCallGraph</a></div><div class="ttdeci">void updateCallGraph(PTACallGraph *callgraph)</div><div class="ttdoc">Update SVFIR given a call graph (creating new CallPE and RetPE for resolved indirect calls) ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l01682">SVFIRBuilder.cpp:1682</a></div></div>
205
205
  <div class="ttc" id="classSVF_1_1CallICFGNode_html"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html">SVF::CallICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00364">ICFGNode.h:364</a></div></div>
206
206
  <div class="ttc" id="classSVF_1_1LLVMModuleSet_html_acf40310917909e4234282c0695a43160"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">SVF::LLVMModuleSet::getLLVMModuleSet</a></div><div class="ttdeci">static LLVMModuleSet * getLLVMModuleSet()</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00069">LLVMModule.h:69</a></div></div>
207
207
  <div class="ttc" id="namespaceSVF_html_affba423b674a0aba723e33101826e297"><div class="ttname"><a href="namespaceSVF.html#affba423b674a0aba723e33101826e297">SVF::LLVMContext</a></div><div class="ttdeci">llvm::LLVMContext LLVMContext</div><div class="ttdoc">LLVM Basic classes. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
208
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a870ea33a335a7036555dd24171cf8f22"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a870ea33a335a7036555dd24171cf8f22">SVF::SVFIRBuilder::visitFreezeInst</a></div><div class="ttdeci">void visitFreezeInst(FreezeInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00898">SVFIRBuilder.cpp:898</a></div></div>
209
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_afd3125974393d68b4b8f5298ef699ab3"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#afd3125974393d68b4b8f5298ef699ab3">SVF::SVFIRBuilder::handleDirectCall</a></div><div class="ttdeci">void handleDirectCall(CallSite cs, const SVFFunction *F)</div><div class="ttdoc">Handle direct call. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00912">SVFIRBuilder.cpp:912</a></div></div>
208
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a870ea33a335a7036555dd24171cf8f22"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a870ea33a335a7036555dd24171cf8f22">SVF::SVFIRBuilder::visitFreezeInst</a></div><div class="ttdeci">void visitFreezeInst(FreezeInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00897">SVFIRBuilder.cpp:897</a></div></div>
209
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_afd3125974393d68b4b8f5298ef699ab3"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#afd3125974393d68b4b8f5298ef699ab3">SVF::SVFIRBuilder::handleDirectCall</a></div><div class="ttdeci">void handleDirectCall(CallSite cs, const SVFFunction *F)</div><div class="ttdoc">Handle direct call. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00911">SVFIRBuilder.cpp:911</a></div></div>
210
210
  <div class="ttc" id="classSVF_1_1SVFIR_html_a1791652f578b6ab8aacb4d6e7c7fd05f"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a1791652f578b6ab8aacb4d6e7c7fd05f">SVF::SVFIR::addRetPE</a></div><div class="ttdeci">RetPE * addRetPE(NodeID src, NodeID dst, const CallICFGNode *cs, const FunExitICFGNode *exit)</div><div class="ttdoc">Add Return edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00262">SVFIR.cpp:262</a></div></div>
211
211
  <div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a17cb164afe37512fdd064acc8ee7cc66"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a17cb164afe37512fdd064acc8ee7cc66">FreezeInst</a></div><div class="ttdeci">llvm::FreezeInst FreezeInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00049">BasicTypes.h:49</a></div></div>
212
212
  <div class="ttc" id="SVF-FE_2BasicTypes_8h_html_af386dbc3b9c4325443a15b07038e8386"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#af386dbc3b9c4325443a15b07038e8386">ReturnInst</a></div><div class="ttdeci">llvm::ReturnInst ReturnInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00037">BasicTypes.h:37</a></div></div>
213
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_aade60fa102a29f332af36a8615c75471"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#aade60fa102a29f332af36a8615c75471">SVF::SVFIRBuilder::visitPHINode</a></div><div class="ttdeci">void visitPHINode(PHINode &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00582">SVFIRBuilder.cpp:582</a></div></div>
213
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_aade60fa102a29f332af36a8615c75471"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#aade60fa102a29f332af36a8615c75471">SVF::SVFIRBuilder::visitPHINode</a></div><div class="ttdeci">void visitPHINode(PHINode &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00581">SVFIRBuilder.cpp:581</a></div></div>
214
214
  <div class="ttc" id="classSVF_1_1CmpStmt_html"><div class="ttname"><a href="classSVF_1_1CmpStmt.html">SVF::CmpStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00776">SVFStatements.h:776</a></div></div>
215
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a7a17ca95a5435b498fc875eb9a290800"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a7a17ca95a5435b498fc875eb9a290800">SVF::SVFIRBuilder::visitExtractValueInst</a></div><div class="ttdeci">void visitExtractValueInst(ExtractValueInst &amp;EVI)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00821">SVFIRBuilder.cpp:821</a></div></div>
215
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a7a17ca95a5435b498fc875eb9a290800"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a7a17ca95a5435b498fc875eb9a290800">SVF::SVFIRBuilder::visitExtractValueInst</a></div><div class="ttdeci">void visitExtractValueInst(ExtractValueInst &amp;EVI)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00820">SVFIRBuilder.cpp:820</a></div></div>
216
216
  <div class="ttc" id="namespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8h_source.html#l00016">ContextDDA.h:16</a></div></div>
217
217
  <div class="ttc" id="classSVF_1_1SVFIR_html_af9804d78e4158d3c8961e1f84bbef91e"><div class="ttname"><a href="classSVF_1_1SVFIR.html#af9804d78e4158d3c8961e1f84bbef91e">SVF::SVFIR::addStoreStmt</a></div><div class="ttdeci">StoreStmt * addStoreStmt(NodeID src, NodeID dst, const IntraICFGNode *val)</div><div class="ttdoc">Add Store edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00226">SVFIR.cpp:226</a></div></div>
218
218
  <div class="ttc" id="namespaceSVF_html_a5a6e8ab900d5cd17ef72661006a7fbe0"><div class="ttname"><a href="namespaceSVF.html#a5a6e8ab900d5cd17ef72661006a7fbe0">SVF::LoadInst</a></div><div class="ttdeci">llvm::LoadInst LoadInst</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00128">BasicTypes.h:128</a></div></div>
@@ -225,22 +225,22 @@ $(function() {
225
225
  <div class="ttc" id="classSVF_1_1LocationSet_html"><div class="ttname"><a href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00048">LocationSet.h:48</a></div></div>
226
226
  <div class="ttc" id="classSVF_1_1SVFIR_html_a3837804b2622baf7e6991aa993286e9e"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a3837804b2622baf7e6991aa993286e9e">SVF::SVFIR::addLoadStmt</a></div><div class="ttdeci">LoadStmt * addLoadStmt(NodeID src, NodeID dst)</div><div class="ttdoc">Add Load edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00207">SVFIR.cpp:207</a></div></div>
227
227
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a5bf90e30bb591caba9ff85535e6a33f8"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a5bf90e30bb591caba9ff85535e6a33f8">SVF::SVFIRBuilder::addSelectStmt</a></div><div class="ttdeci">void addSelectStmt(NodeID res, NodeID op1, NodeID op2, NodeID cond)</div><div class="ttdoc">Add SelectStmt. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00319">SVFIRBuilder.h:319</a></div></div>
228
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_abc394c99f0905c958a230412134eda01"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#abc394c99f0905c958a230412134eda01">SVF::SVFIRBuilder::setCurrentBBAndValueForPAGEdge</a></div><div class="ttdeci">void setCurrentBBAndValueForPAGEdge(PAGEdge *edge)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l01596">SVFIRBuilder.cpp:1596</a></div></div>
228
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_abc394c99f0905c958a230412134eda01"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#abc394c99f0905c958a230412134eda01">SVF::SVFIRBuilder::setCurrentBBAndValueForPAGEdge</a></div><div class="ttdeci">void setCurrentBBAndValueForPAGEdge(PAGEdge *edge)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l01595">SVFIRBuilder.cpp:1595</a></div></div>
229
229
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a89e8cc23aad23d2c326b4a5ff12535ca"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a89e8cc23aad23d2c326b4a5ff12535ca">SVF::SVFIRBuilder::addRetEdge</a></div><div class="ttdeci">void addRetEdge(NodeID src, NodeID dst, const CallICFGNode *cs, const FunExitICFGNode *exit)</div><div class="ttdoc">Add Return edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00371">SVFIRBuilder.h:371</a></div></div>
230
230
  <div class="ttc" id="classSVF_1_1FunExitICFGNode_html"><div class="ttname"><a href="classSVF_1_1FunExitICFGNode.html">SVF::FunExitICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00308">ICFGNode.h:308</a></div></div>
231
231
  <div class="ttc" id="classSVF_1_1StoreStmt_html"><div class="ttname"><a href="classSVF_1_1StoreStmt.html">SVF::StoreStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00336">SVFStatements.h:336</a></div></div>
232
232
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a87a34334a50071e6061ee5dd1d34c9ed"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a87a34334a50071e6061ee5dd1d34c9ed">SVF::SVFIRBuilder::visitFenceInst</a></div><div class="ttdeci">void visitFenceInst(FenceInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00189">SVFIRBuilder.h:189</a></div></div>
233
233
  <div class="ttc" id="cuddInt_8c_html_a936a27e51e66afb57c2b3a12d78a238e"><div class="ttname"><a href="cuddInt_8c.html#a936a27e51e66afb57c2b3a12d78a238e">entry</a></div><div class="ttdeci">static int * entry</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l08422">cuddInt.c:8422</a></div></div>
234
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a4c6cd51def26ebd8e839df9fdc4b64b8"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a4c6cd51def26ebd8e839df9fdc4b64b8">SVF::SVFIRBuilder::visitGlobal</a></div><div class="ttdeci">void visitGlobal(SVFModule *svfModule)</div><div class="ttdoc">Handle globals including (global variable and functions) </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00514">SVFIRBuilder.cpp:514</a></div></div>
234
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a4c6cd51def26ebd8e839df9fdc4b64b8"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a4c6cd51def26ebd8e839df9fdc4b64b8">SVF::SVFIRBuilder::visitGlobal</a></div><div class="ttdeci">void visitGlobal(SVFModule *svfModule)</div><div class="ttdoc">Handle globals including (global variable and functions) </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00513">SVFIRBuilder.cpp:513</a></div></div>
235
235
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a4ea94b0a8d6da904ff9a6c1b0341b9cb"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">SVF::SVFIRBuilder::pag</a></div><div class="ttdeci">SVFIR * pag</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00049">SVFIRBuilder.h:49</a></div></div>
236
236
  <div class="ttc" id="classSVF_1_1BinaryOPStmt_html"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html">SVF::BinaryOPStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00822">SVFStatements.h:822</a></div></div>
237
237
  <div class="ttc" id="classSVF_1_1SelectStmt_html"><div class="ttname"><a href="classSVF_1_1SelectStmt.html">SVF::SelectStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00726">SVFStatements.h:726</a></div></div>
238
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a4cb5ac4a19002023683c4ee47aabb802"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a4cb5ac4a19002023683c4ee47aabb802">SVF::SVFIRBuilder::getBaseTypeAndFlattenedFields</a></div><div class="ttdeci">const Type * getBaseTypeAndFlattenedFields(const Value *V, std::vector&lt; LocationSet &gt; &amp;fields, const Value *sz)</div><div class="ttdoc">Get the base type and max offset. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00995">SVFIRBuilder.cpp:995</a></div></div>
238
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a4cb5ac4a19002023683c4ee47aabb802"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a4cb5ac4a19002023683c4ee47aabb802">SVF::SVFIRBuilder::getBaseTypeAndFlattenedFields</a></div><div class="ttdeci">const Type * getBaseTypeAndFlattenedFields(const Value *V, std::vector&lt; LocationSet &gt; &amp;fields, const Value *sz)</div><div class="ttdoc">Get the base type and max offset. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00994">SVFIRBuilder.cpp:994</a></div></div>
239
239
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a9db09a2c74f2489648b0282769488a17"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a9db09a2c74f2489648b0282769488a17">SVF::SVFIRBuilder::visitInsertElementInst</a></div><div class="ttdeci">void visitInsertElementInst(InsertElementInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00169">SVFIRBuilder.h:169</a></div></div>
240
240
  <div class="ttc" id="classSVF_1_1IRGraph_html_aba13ca47865614e45321c1ae53e640c1"><div class="ttname"><a href="classSVF_1_1IRGraph.html#aba13ca47865614e45321c1ae53e640c1">SVF::IRGraph::getObjectNode</a></div><div class="ttdeci">NodeID getObjectNode(const Value *V)</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00130">IRGraph.h:130</a></div></div>
241
241
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a5a04b9d97ad5f6e761bcc4779c96104e"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a5a04b9d97ad5f6e761bcc4779c96104e">SVF::SVFIRBuilder::~SVFIRBuilder</a></div><div class="ttdeci">virtual ~SVFIRBuilder()</div><div class="ttdoc">Destructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00060">SVFIRBuilder.h:60</a></div></div>
242
242
  <div class="ttc" id="classSVF_1_1IRGraph_html_a96010999a4e5013beb1c37ef753ff910"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a96010999a4e5013beb1c37ef753ff910">SVF::IRGraph::getReturnNode</a></div><div class="ttdeci">NodeID getReturnNode(const SVFFunction *func) const</div><div class="ttdoc">GetReturnNode - Return the unique node representing the return value of a function. </div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00135">IRGraph.h:135</a></div></div>
243
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a83bc9c1dbc95156a68f139ff16faca2a"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a83bc9c1dbc95156a68f139ff16faca2a">SVF::SVFIRBuilder::visitSwitchInst</a></div><div class="ttdeci">void visitSwitchInst(SwitchInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00865">SVFIRBuilder.cpp:865</a></div></div>
243
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a83bc9c1dbc95156a68f139ff16faca2a"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a83bc9c1dbc95156a68f139ff16faca2a">SVF::SVFIRBuilder::visitSwitchInst</a></div><div class="ttdeci">void visitSwitchInst(SwitchInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00864">SVFIRBuilder.cpp:864</a></div></div>
244
244
  <div class="ttc" id="classSVF_1_1IntraICFGNode_html"><div class="ttname"><a href="classSVF_1_1IntraICFGNode.html">SVF::IntraICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00175">ICFGNode.h:175</a></div></div>
245
245
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a5a93f3d13e2b3df126fbc42b1bd09006"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a5a93f3d13e2b3df126fbc42b1bd09006">SVF::SVFIRBuilder::getObjectNode</a></div><div class="ttdeci">NodeID getObjectNode(const Value *V)</div><div class="ttdoc">GetObject - Return the object node (stack/global/heap/function) according to a LLVM Value...</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00096">SVFIRBuilder.h:96</a></div></div>
246
246
  <div class="ttc" id="namespaceSVF_html_a03db82b8a7914367024723dba4d6ca3c"><div class="ttname"><a href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">SVF::DataLayout</a></div><div class="ttdeci">llvm::DataLayout DataLayout</div><div class="ttdoc">LLVM data layout. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00107">BasicTypes.h:107</a></div></div>