svf-tools 1.0.347 → 1.0.348

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 (28) hide show
  1. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +2 -1
  2. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +73 -71
  3. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +46 -45
  4. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +275 -224
  5. package/SVF-doxygen/html/html/functions_func_i.html +13 -10
  6. package/SVF-doxygen/html/html/functions_i.html +13 -10
  7. package/SVF-doxygen/html/html/functions_o.html +3 -3
  8. package/SVF-doxygen/html/html/functions_p.html +9 -9
  9. package/SVF-doxygen/html/html/functions_r.html +8 -4
  10. package/SVF-doxygen/html/html/functions_s.html +6 -6
  11. package/SVF-doxygen/html/html/functions_t.html +3 -1
  12. package/SVF-doxygen/html/html/functions_v.html +6 -6
  13. package/SVF-doxygen/html/html/search/all_10.js +7 -7
  14. package/SVF-doxygen/html/html/search/all_12.js +2 -2
  15. package/SVF-doxygen/html/html/search/all_13.js +5 -5
  16. package/SVF-doxygen/html/html/search/all_14.js +4 -4
  17. package/SVF-doxygen/html/html/search/all_16.js +3 -3
  18. package/SVF-doxygen/html/html/search/all_9.js +2 -1
  19. package/SVF-doxygen/html/html/search/all_c.js +1 -1
  20. package/SVF-doxygen/html/html/search/all_d.js +2 -2
  21. package/SVF-doxygen/html/html/search/all_e.js +1 -1
  22. package/SVF-doxygen/html/html/search/all_f.js +1 -1
  23. package/SVF-doxygen/html/html/search/functions_8.js +1 -0
  24. package/SVF-doxygen/html/html/search/variables_14.js +2 -2
  25. package/SVF-doxygen/html/html/search/variables_d.js +1 -1
  26. package/include/SVF-FE/SVFIRBuilder.h +3 -0
  27. package/lib/SVF-FE/SVFIRBuilder.cpp +66 -30
  28. package/package.json +1 -1
@@ -108,51 +108,52 @@ $(function() {
108
108
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#afd3125974393d68b4b8f5298ef699ab3">handleDirectCall</a>(CallSite cs, const SVFFunction *F)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
109
109
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#aff08d65b1411d1db81f80b9d4228c65d">handleExtCall</a>(CallSite cs, const SVFFunction *F)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
110
110
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#aa21ed35656d26eec22c53dc41019adc4">handleIndCall</a>(CallSite cs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
111
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ae7fcd2050a57a43bfed2c7fd1c41d250">InitialGlobal</a>(const GlobalVariable *gvar, Constant *C, u32_t offset)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
112
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#af4b18e8e1fdfb117cb5dd1a81cea4b71">initialiseNodes</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
113
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
114
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a5adf8baa546292434ba1fec48db2d0a7">processCE</a>(const Value *val)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
115
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a09baa8c7246853c3faaed85b38f0da60">sanityCheck</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
116
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#abc394c99f0905c958a230412134eda01">setCurrentBBAndValueForPAGEdge</a>(PAGEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
117
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a15105737c91d01ba9daf2161fad220ef">setCurrentLocation</a>(const Value *val, const BasicBlock *bb)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
118
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a8c25c3903cda26312f182014f29069fc">SVFIRBuilder</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
119
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#aa67bbd366b93fb1ec7a540c83566c977">svfMod</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
120
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a4be150eb37b75e4c081dfe38429f2089">visitAllocaInst</a>(AllocaInst &amp;AI)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
121
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ac5ae89051b0775ed209dcc654691958b">visitAtomicCmpXchgInst</a>(AtomicCmpXchgInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
122
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#adea9fdfead89d700d0453fd685355ff4">visitAtomicRMWInst</a>(AtomicRMWInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
123
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#aeb5f3cc92ef2d146c7c9cc86375b4c1e">visitBinaryOperator</a>(BinaryOperator &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
124
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a4ad832691784cf4cb93017792ea3d9af">visitBranchInst</a>(BranchInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
125
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ae714d5f9550b81066fc4071616d46a64">visitCallBrInst</a>(CallBrInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
126
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#af04a62de066da44d76c8068085df9e5f">visitCallInst</a>(CallInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
127
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a6b52906a617f088b1077ba0387a846ab">visitCallSite</a>(CallSite cs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
128
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#acf5a61d45c1abc1206f6e6c813f8634b">visitCastInst</a>(CastInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
129
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ac61e0c5f667ebeb4788d07253e6a733c">visitCmpInst</a>(CmpInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
130
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ac6b24fcbd1e1b31141c27167d49a56ec">visitExtractElementInst</a>(ExtractElementInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
131
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a7a17ca95a5435b498fc875eb9a290800">visitExtractValueInst</a>(ExtractValueInst &amp;EVI)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
132
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a87a34334a50071e6061ee5dd1d34c9ed">visitFenceInst</a>(FenceInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
133
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a870ea33a335a7036555dd24171cf8f22">visitFreezeInst</a>(FreezeInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
134
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a4a945eafd262f81b4f9cc1fa61b57371">visitGetElementPtrInst</a>(GetElementPtrInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
135
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a4c6cd51def26ebd8e839df9fdc4b64b8">visitGlobal</a>(SVFModule *svfModule)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
136
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a9db09a2c74f2489648b0282769488a17">visitInsertElementInst</a>(InsertElementInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
137
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a4e6025dcd8af2f35e3cc33d280fde497">visitInsertValueInst</a>(InsertValueInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
138
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a91c8f9dc6e7cb225c2ed4b8f0322a2b3">visitInstruction</a>(Instruction &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
139
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#aff20ebd69049759b2de910c0a9d7785f">visitInvokeInst</a>(InvokeInst &amp;II)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
140
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a0bc35bb64bbf3b494c0ac93b99c5a6d2">visitLandingPadInst</a>(LandingPadInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
141
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a17638b08f85d4543e663eeb739915bdc">visitLoadInst</a>(LoadInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
142
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#aade60fa102a29f332af36a8615c75471">visitPHINode</a>(PHINode &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
143
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a97b96b72e7b334f3aa732dfa5c35c3cb">visitResumeInst</a>(ResumeInst &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
144
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#aca31431b70e2fb360caa1140e29c0c9d">visitReturnInst</a>(ReturnInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
145
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#abc836736ea16d99921c0e734cf0a3c72">visitSelectInst</a>(SelectInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
146
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#acb52462a8a004654c8819017dc029c44">visitShuffleVectorInst</a>(ShuffleVectorInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
147
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a51d75ff7f490ddfef3d4f8779872633c">visitStoreInst</a>(StoreInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
148
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a83bc9c1dbc95156a68f139ff16faca2a">visitSwitchInst</a>(SwitchInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
149
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ae80891bb2a162b3ad24fa7cf6380df30">visitUnaryOperator</a>(UnaryOperator &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
150
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ae4f8f902265b0c39547aabbfdaded795">visitUnreachableInst</a>(UnreachableInst &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
151
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ac26e0714728df0beca278eb405596775">visitVAArgInst</a>(VAArgInst &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
152
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#afa10748f345ee53f417690cf125b0851">visitVACopyInst</a>(VACopyInst &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
153
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#aa2e07d018323c9d06393266970a0c340">visitVAEndInst</a>(VAEndInst &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
154
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a5321cd4eabcccd72c198966de1ab1ea2">visitVAStartInst</a>(VAStartInst &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
155
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a5a04b9d97ad5f6e761bcc4779c96104e">~SVFIRBuilder</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
111
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a0a45cfcf052feef11a716c4ed3d49406">inferFieldIdxFromByteOffset</a>(const llvm::GEPOperator *gepOp, DataLayout *dl, LocationSet &amp;ls, Size_t idx)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
112
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ae7fcd2050a57a43bfed2c7fd1c41d250">InitialGlobal</a>(const GlobalVariable *gvar, Constant *C, u32_t offset)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
113
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#af4b18e8e1fdfb117cb5dd1a81cea4b71">initialiseNodes</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
114
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
115
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a5adf8baa546292434ba1fec48db2d0a7">processCE</a>(const Value *val)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
116
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a09baa8c7246853c3faaed85b38f0da60">sanityCheck</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
117
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#abc394c99f0905c958a230412134eda01">setCurrentBBAndValueForPAGEdge</a>(PAGEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
118
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a15105737c91d01ba9daf2161fad220ef">setCurrentLocation</a>(const Value *val, const BasicBlock *bb)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
119
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a8c25c3903cda26312f182014f29069fc">SVFIRBuilder</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
120
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#aa67bbd366b93fb1ec7a540c83566c977">svfMod</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
121
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a4be150eb37b75e4c081dfe38429f2089">visitAllocaInst</a>(AllocaInst &amp;AI)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
122
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ac5ae89051b0775ed209dcc654691958b">visitAtomicCmpXchgInst</a>(AtomicCmpXchgInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
123
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#adea9fdfead89d700d0453fd685355ff4">visitAtomicRMWInst</a>(AtomicRMWInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
124
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#aeb5f3cc92ef2d146c7c9cc86375b4c1e">visitBinaryOperator</a>(BinaryOperator &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
125
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a4ad832691784cf4cb93017792ea3d9af">visitBranchInst</a>(BranchInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
126
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ae714d5f9550b81066fc4071616d46a64">visitCallBrInst</a>(CallBrInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
127
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#af04a62de066da44d76c8068085df9e5f">visitCallInst</a>(CallInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
128
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a6b52906a617f088b1077ba0387a846ab">visitCallSite</a>(CallSite cs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
129
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#acf5a61d45c1abc1206f6e6c813f8634b">visitCastInst</a>(CastInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
130
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ac61e0c5f667ebeb4788d07253e6a733c">visitCmpInst</a>(CmpInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
131
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ac6b24fcbd1e1b31141c27167d49a56ec">visitExtractElementInst</a>(ExtractElementInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
132
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a7a17ca95a5435b498fc875eb9a290800">visitExtractValueInst</a>(ExtractValueInst &amp;EVI)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
133
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a87a34334a50071e6061ee5dd1d34c9ed">visitFenceInst</a>(FenceInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
134
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a870ea33a335a7036555dd24171cf8f22">visitFreezeInst</a>(FreezeInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
135
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a4a945eafd262f81b4f9cc1fa61b57371">visitGetElementPtrInst</a>(GetElementPtrInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
136
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a4c6cd51def26ebd8e839df9fdc4b64b8">visitGlobal</a>(SVFModule *svfModule)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
137
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a9db09a2c74f2489648b0282769488a17">visitInsertElementInst</a>(InsertElementInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
138
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a4e6025dcd8af2f35e3cc33d280fde497">visitInsertValueInst</a>(InsertValueInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
139
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a91c8f9dc6e7cb225c2ed4b8f0322a2b3">visitInstruction</a>(Instruction &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
140
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#aff20ebd69049759b2de910c0a9d7785f">visitInvokeInst</a>(InvokeInst &amp;II)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
141
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a0bc35bb64bbf3b494c0ac93b99c5a6d2">visitLandingPadInst</a>(LandingPadInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
142
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a17638b08f85d4543e663eeb739915bdc">visitLoadInst</a>(LoadInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
143
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#aade60fa102a29f332af36a8615c75471">visitPHINode</a>(PHINode &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
144
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a97b96b72e7b334f3aa732dfa5c35c3cb">visitResumeInst</a>(ResumeInst &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
145
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#aca31431b70e2fb360caa1140e29c0c9d">visitReturnInst</a>(ReturnInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
146
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#abc836736ea16d99921c0e734cf0a3c72">visitSelectInst</a>(SelectInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
147
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#acb52462a8a004654c8819017dc029c44">visitShuffleVectorInst</a>(ShuffleVectorInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
148
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a51d75ff7f490ddfef3d4f8779872633c">visitStoreInst</a>(StoreInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
149
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a83bc9c1dbc95156a68f139ff16faca2a">visitSwitchInst</a>(SwitchInst &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
150
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ae80891bb2a162b3ad24fa7cf6380df30">visitUnaryOperator</a>(UnaryOperator &amp;I)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
151
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ae4f8f902265b0c39547aabbfdaded795">visitUnreachableInst</a>(UnreachableInst &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
152
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ac26e0714728df0beca278eb405596775">visitVAArgInst</a>(VAArgInst &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
153
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#afa10748f345ee53f417690cf125b0851">visitVACopyInst</a>(VACopyInst &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
154
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#aa2e07d018323c9d06393266970a0c340">visitVAEndInst</a>(VAEndInst &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
155
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a5321cd4eabcccd72c198966de1ab1ea2">visitVAStartInst</a>(VAStartInst &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
156
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a5a04b9d97ad5f6e761bcc4779c96104e">~SVFIRBuilder</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
156
157
  </table></div><!-- contents -->
157
158
  <!-- start footer part -->
158
159
  <hr class="footer"/><address class="footer"><small>