svf-tools 1.0.616 → 1.0.618

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 (53) hide show
  1. package/SVF-doxygen/html/html/CFGNormalizer_8cpp_source.html +8 -8
  2. package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +8 -8
  3. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +1 -1
  4. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +27 -26
  5. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +27 -26
  6. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +2 -2
  7. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +1 -1
  8. package/SVF-doxygen/html/html/NumericLiteral_8h_source.html +21 -21
  9. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +2 -2
  10. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +1 -1
  11. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +2 -2
  12. package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer.html +24 -24
  13. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +1 -1
  14. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet-members.html +82 -81
  15. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +139 -102
  16. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +2 -2
  17. package/SVF-doxygen/html/html/classSVF_1_1NumericLiteral.html +47 -47
  18. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +2 -2
  19. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +7 -7
  20. package/SVF-doxygen/html/html/classSVF_1_1SVFType.html +1 -1
  21. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +3 -3
  22. package/SVF-doxygen/html/html/functions_b.html +5 -2
  23. package/SVF-doxygen/html/html/functions_func_b.html +4 -1
  24. package/SVF-doxygen/html/html/functions_l.html +3 -3
  25. package/SVF-doxygen/html/html/functions_n.html +4 -4
  26. package/SVF-doxygen/html/html/functions_p.html +18 -14
  27. package/SVF-doxygen/html/html/functions_s.html +4 -4
  28. package/SVF-doxygen/html/html/functions_t.html +9 -9
  29. package/SVF-doxygen/html/html/functions_v.html +3 -3
  30. package/SVF-doxygen/html/html/functions_w.html +4 -8
  31. package/SVF-doxygen/html/html/include_2MTA_2MTAResultValidator_8h_source.html +1 -1
  32. package/SVF-doxygen/html/html/lib_2SVF-LLVM_2CMakeLists_8txt.html +73 -0
  33. package/SVF-doxygen/html/html/search/all_10.js +6 -6
  34. package/SVF-doxygen/html/html/search/all_12.js +5 -5
  35. package/SVF-doxygen/html/html/search/all_13.js +3 -3
  36. package/SVF-doxygen/html/html/search/all_15.js +2 -2
  37. package/SVF-doxygen/html/html/search/all_16.js +1 -1
  38. package/SVF-doxygen/html/html/search/all_2.js +1 -0
  39. package/SVF-doxygen/html/html/search/all_3.js +1 -1
  40. package/SVF-doxygen/html/html/search/all_c.js +2 -2
  41. package/SVF-doxygen/html/html/search/all_e.js +1 -1
  42. package/SVF-doxygen/html/html/search/files_2.js +1 -1
  43. package/SVF-doxygen/html/html/search/functions_1.js +1 -0
  44. package/SVF-doxygen/html/html/tools_2MTA_2MTAResultValidator_8h_source.html +1 -1
  45. package/build.sh +44 -56
  46. package/include/AbstractExecution/NumericLiteral.h +20 -4
  47. package/include/SVF-LLVM/LLVMModule.h +1 -0
  48. package/lib/CFL/CFGNormalizer.cpp +2 -3
  49. package/lib/CMakeLists.txt +28 -11
  50. package/lib/SVF-LLVM/CMakeLists.txt +0 -0
  51. package/lib/SVF-LLVM/LLVMModule.cpp +11 -2
  52. package/package.json +1 -1
  53. package/setup.sh +9 -9
@@ -560,7 +560,7 @@ Private Attributes</h2></td></tr>
560
560
  <div class="ttc" id="classSVF_1_1SVFInstruction_html_a454f676881eecf4b7399649a81180b5d"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#a454f676881eecf4b7399649a81180b5d">SVF::SVFInstruction::isRetInst</a></div><div class="ttdeci">bool isRetInst() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00629">SVFValue.h:629</a></div></div>
561
561
  <div class="ttc" id="namespaceSVF_1_1LLVMUtil_html_a3b2ca48c72fba877c6cb3d52e23704e3"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a3b2ca48c72fba877c6cb3d52e23704e3">SVF::LLVMUtil::getNextInsts</a></div><div class="ttdeci">void getNextInsts(const Instruction *curInst, std::vector&lt; const SVFInstruction *&gt; &amp;instList)</div><div class="ttdoc">Get the next instructions following control flow. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00271">LLVMUtil.cpp:271</a></div></div>
562
562
  <div class="ttc" id="classSVF_1_1ICFGBuilder_html_adefeaad9c02000f263430dfee7149ea6"><div class="ttname"><a href="classSVF_1_1ICFGBuilder.html#adefeaad9c02000f263430dfee7149ea6">SVF::ICFGBuilder::icfg</a></div><div class="ttdeci">ICFG * icfg</div><div class="ttdef"><b>Definition:</b> <a href="ICFGBuilder_8h_source.html#l00048">ICFGBuilder.h:48</a></div></div>
563
- <div class="ttc" id="classSVF_1_1LLVMModuleSet_html_afdd77bc1fca91f70b2ec362f1dacd392"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#afdd77bc1fca91f70b2ec362f1dacd392">SVF::LLVMModuleSet::getSVFValue</a></div><div class="ttdeci">SVFValue * getSVFValue(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l00923">LLVMModule.cpp:923</a></div></div>
563
+ <div class="ttc" id="classSVF_1_1LLVMModuleSet_html_afdd77bc1fca91f70b2ec362f1dacd392"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#afdd77bc1fca91f70b2ec362f1dacd392">SVF::LLVMModuleSet::getSVFValue</a></div><div class="ttdeci">SVFValue * getSVFValue(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l00932">LLVMModule.cpp:932</a></div></div>
564
564
  <div class="ttc" id="classSVF_1_1ICFG_html_adafd8bbb91507a9a78a3f16305812afc"><div class="ttname"><a href="classSVF_1_1ICFG.html#adafd8bbb91507a9a78a3f16305812afc">SVF::ICFG::addIntraEdge</a></div><div class="ttdeci">ICFGEdge * addIntraEdge(ICFGNode *srcNode, ICFGNode *dstNode)</div><div class="ttdoc">Add control-flow edges for top level pointers. </div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00364">ICFG.cpp:364</a></div></div>
565
565
  <div class="ttc" id="classSVF_1_1ICFG_html_a1589272ab8eff17c1973f17038ef6eb3"><div class="ttname"><a href="classSVF_1_1ICFG.html#a1589272ab8eff17c1973f17038ef6eb3">SVF::ICFG::addConditionalIntraEdge</a></div><div class="ttdeci">ICFGEdge * addConditionalIntraEdge(ICFGNode *srcNode, ICFGNode *dstNode, const SVFValue *condition, s32_t branchCondVal)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00383">ICFG.cpp:383</a></div></div>
566
566
  <div class="ttc" id="classSVF_1_1LLVMModuleSet_html_ae74f307b6f96950ceedb2c375ef1c3a3"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#ae74f307b6f96950ceedb2c375ef1c3a3">SVF::LLVMModuleSet::getSVFInstruction</a></div><div class="ttdeci">SVFInstruction * getSVFInstruction(const Instruction *inst) const</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00208">LLVMModule.h:208</a></div></div>
@@ -80,87 +80,88 @@ $(function() {
80
80
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a8af6b911b728713f66f7c809d5c0fbf1">addSVFMain</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
81
81
  <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aab7b08db9252ef7e21e54d019f44b073">addSVFTypeInfo</a>(const Type *t)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
82
82
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#af8edfe08027020f14b81b44362c6018e">build</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
83
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ac7c646a78c989807c52263fc35fb3628">buildFunToFunMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
84
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aaab03cb6ff665bc008c67b866ba81e47">buildGlobalDefToRepMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
85
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ae919327019b5014f64b754dbdeb07f75">buildSVFModule</a>(Module &amp;mod)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
86
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a1f8e769251c89433311eeb6f98d115e9">buildSVFModule</a>(const std::vector&lt; std::string &gt; &amp;moduleNameVec)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
87
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aa8de934358332505d4805db137d8ec29">collectArrayInfo</a>(const ArrayType *T)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
88
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#abcd6d9513511e6a306189a87fe3dfa06">collectSimpleTypeInfo</a>(StInfo *info, const Type *T)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
89
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a93315673be515ce5c2fabd36fa927128">collectStructInfo</a>(const StructType *T, u32_t &amp;nf)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
90
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a1f6cc76c996a0577b20b8cedd83fff92">collectTypeInfo</a>(const Type *ty)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
91
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a4ca8c4678a7fefe26372fc1f4b2880fd">createSVFDataStructure</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
92
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ad06a92bf8bc556de742e0ffdf79ffafe">cxts</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
93
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ad5ef9421d501b2747d4fb31d4189b53f">dumpModulesToFile</a>(const std::string suffix)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
94
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ae19e38054c55d5822dfc83a12f12aa60">empty</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
95
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a16d14e6712866d1d710c386c72d67181">FunctionSetType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
96
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aee80b29e5246e3eaa0e30e165346101f">FunDeclToDefMap</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
97
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ad18bccd560f137dee580fa2272b3361a">FunDeclToDefMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
98
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a377cefaad4b688ab6edf94ba4abe00ee">FunDefToDeclsMap</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
99
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#af30db1a8124b99761b13a7ae4b68f3ed">FunDefToDeclsMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
100
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ac1a9d20d62066ec4e181fad223669e32">getContext</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
101
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aa4a604e47daaaf95babc7aca68991000">getDeclaration</a>(const Function *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
102
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a6e670254385050b9a5e612f881b07b9c">getDefinition</a>(const Function *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
103
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a757bf149437cce22163c764ea9993e12">getGlobalRep</a>(const GlobalVariable *val) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
104
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aa1250575db489dc57583b3641fd78b88">getLLVMGlobalFunctions</a>(const GlobalVariable *global)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
105
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a4091b12bdfe4423d8114612a199bc480">getLLVMModules</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
106
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">getLLVMModuleSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
107
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a610a7777a48132caadec167c8109f044">getLLVMType</a>(const SVFType *T) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
108
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aaf9b679407f12b93afc53c157d37b444">getLLVMValue</a>(const SVFValue *value) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
109
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a9fe3fa15a6a0ec25864cb8439a45596e">getMainLLVMModule</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
110
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a8afb7ab3ee4632e78d546e549110e74c">getModule</a>(u32_t idx) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
111
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ae265a7f3cc7367d62013e0f15cf3d233">getModuleNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
112
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ad647d73d2e1bda61348eff658e32f481">getModuleRef</a>(u32_t idx) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
113
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a74256f36f0fdc242df9729906c34efbc">getOtherSVFConstant</a>(const Constant *oc)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
114
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ad3f66b40ad360003845253f452d6a711">getSVFArgument</a>(const Argument *arg) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
115
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ab0c0f321b6bfbfab2e4ff06d81920ab9">getSVFBasicBlock</a>(const BasicBlock *bb) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
116
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a25821b0feeb3b08e00ec9d444520b727">getSVFConstantData</a>(const ConstantData *cd)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
117
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a50fc24901350df9db890ba16a9b87e33">getSVFFunction</a>(const Function *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</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_1LLVMModuleSet.html#affc126c56bc3146bef55c74a2bd8bc21">getSVFFunction</a>(std::string name)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
119
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a3cbba2eb702a3481478b2590dfffa352">getSVFGlobalValue</a>(const GlobalValue *g) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</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_1LLVMModuleSet.html#ae74f307b6f96950ceedb2c375ef1c3a3">getSVFInstruction</a>(const Instruction *inst) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
121
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a16572a3d7639fa65c699b6c3982fa20e">getSVFModule</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</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_1LLVMModuleSet.html#a0ef17c1d5e6a95c597d2334ea577a965">getSVFOtherValue</a>(const Value *ov)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
123
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a5f0bd932f3129a9c565f3a09711f7b99">getSVFType</a>(const Type *T)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
124
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#afdd77bc1fca91f70b2ec362f1dacd392">getSVFValue</a>(const Value *value)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
125
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ae2a1fa0b908cf372c50af90e62c4bf2b">GlobalDefToRepMap</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
126
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a4dc808f3f69a87c74933d1f6183d1459">GlobalDefToRepMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
127
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a74a7961552498d1a99e1da70b7f78620">hasDeclaration</a>(const Function *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</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_1LLVMModuleSet.html#a32558da64f03452c502ec57d1e106427">hasDefinition</a>(const Function *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
129
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a0e5ab0def54815f67ed7495d028dab1b">hasGlobalRep</a>(const GlobalVariable *val) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
130
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a8ba9092747108e0289014d52465a692d">initDomTree</a>(SVFFunction *func, const Function *f)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
131
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a20162d2894d6a12ba29410311fba4002">initSVFBasicBlock</a>(const Function *func)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
132
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ac6a5540354696f4c9170e0a5832ba70e">initSVFFunction</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
133
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a852524c71831d7b2da0e9b0b6b191480">LLVMArgument2SVFArgument</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
134
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#abb3020435f266e5925a59da2935cd1a0">LLVMArgument2SVFArgumentMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
135
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a0f9b36699b99dfcfe3c1588bfab6b97c">LLVMBB2SVFBB</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
136
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a3ed83c67fd6ad5967e4d401c32e46911">LLVMBB2SVFBBMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
137
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a4b94c96898dbbc71bc1cee04786cf3dc">LLVMConst2SVFConst</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
138
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ac02ba420628fc4b990e54570f8234ede">LLVMConst2SVFConstMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
139
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ad3d42930cbe97d871443e3bce4874242">LLVMFun2SVFFunMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
140
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a9fd7f0170bffa7c1b927cdb0de98fd15">LLVMFunc2SVFFunc</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
141
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a42439790c217254ce5404622b197b3d0">LLVMInst2SVFInst</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
142
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a05945e0122ce56bb13710bbed34fea3f">LLVMInst2SVFInstMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
143
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63">llvmModuleSet</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">static</span></td></tr>
144
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aaa23ad390e9148ba6302fea8d4595080">LLVMModuleSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
145
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a067661e0049314779a44c9600420820f">LLVMType2SVFType</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
146
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#af070cf782594a939c4a0a6de9a724a69">LLVMType2SVFTypeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
147
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ac3e70bd338be3a54330be5dc10321eb3">LLVMValue2SVFOtherValue</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
148
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a20d9bddbd56a38fd2159a020039dab0f">LLVMValue2SVFOtherValueMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
149
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a298966366b02d0a34f409c2c77da3789">loadModules</a>(const std::vector&lt; std::string &gt; &amp;moduleNameVec)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
150
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#acde6292e719c80f93d3d1c344ab442cd">modules</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
151
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ae365189769640adb919a23c36978e5e2">owned_modules</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
152
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a8b5f24c873db1f6a0614d1dac48bb4bb">prePassSchedule</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
153
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a2fdc1bd61b8f6cdf6c07a5059b641b04">preProcessBCs</a>(std::vector&lt; std::string &gt; &amp;moduleNameVec)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
154
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a14b0b55d397d6f8a5dfe3b574021f801">preProcessed</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
155
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936">releaseLLVMModuleSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
156
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a7d61f479f52e1dc71a4ae7a4d62f3b6a">setValueAttr</a>(const Value *val, SVFValue *value)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
157
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a3e14bbb3ae0acc74775ac3233a84d379">svfModule</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
158
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a7f8e61cf5d838d7a2e862bc6955f16be">SVFValue2LLVMValue</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
159
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aa872d7a6b6bf3ec944bd9077de51b259">SVFValue2LLVMValueMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
160
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a5552135a27684cbe4d2a5ed346f64644">symInfo</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
161
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#af2c555af91679d9e6d3009547ee11486">Type2TypeInfo</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
162
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a026246497b363eeeabb519d845eb9c4b">Type2TypeInfoMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
163
- <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a57b4faba42847323d31cd5216146a7ec">~LLVMModuleSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
83
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#afb6ac5d4e334d6e3acb66c8e33ae8d18">build_symbol_table</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
84
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ac7c646a78c989807c52263fc35fb3628">buildFunToFunMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
85
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aaab03cb6ff665bc008c67b866ba81e47">buildGlobalDefToRepMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
86
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ae919327019b5014f64b754dbdeb07f75">buildSVFModule</a>(Module &amp;mod)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
87
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a1f8e769251c89433311eeb6f98d115e9">buildSVFModule</a>(const std::vector&lt; std::string &gt; &amp;moduleNameVec)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
88
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aa8de934358332505d4805db137d8ec29">collectArrayInfo</a>(const ArrayType *T)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
89
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#abcd6d9513511e6a306189a87fe3dfa06">collectSimpleTypeInfo</a>(StInfo *info, const Type *T)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
90
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a93315673be515ce5c2fabd36fa927128">collectStructInfo</a>(const StructType *T, u32_t &amp;nf)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
91
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a1f6cc76c996a0577b20b8cedd83fff92">collectTypeInfo</a>(const Type *ty)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
92
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a4ca8c4678a7fefe26372fc1f4b2880fd">createSVFDataStructure</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
93
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ad06a92bf8bc556de742e0ffdf79ffafe">cxts</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
94
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ad5ef9421d501b2747d4fb31d4189b53f">dumpModulesToFile</a>(const std::string suffix)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
95
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ae19e38054c55d5822dfc83a12f12aa60">empty</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
96
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a16d14e6712866d1d710c386c72d67181">FunctionSetType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
97
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aee80b29e5246e3eaa0e30e165346101f">FunDeclToDefMap</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
98
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ad18bccd560f137dee580fa2272b3361a">FunDeclToDefMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
99
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a377cefaad4b688ab6edf94ba4abe00ee">FunDefToDeclsMap</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
100
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#af30db1a8124b99761b13a7ae4b68f3ed">FunDefToDeclsMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
101
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ac1a9d20d62066ec4e181fad223669e32">getContext</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
102
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aa4a604e47daaaf95babc7aca68991000">getDeclaration</a>(const Function *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
103
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a6e670254385050b9a5e612f881b07b9c">getDefinition</a>(const Function *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
104
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a757bf149437cce22163c764ea9993e12">getGlobalRep</a>(const GlobalVariable *val) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
105
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aa1250575db489dc57583b3641fd78b88">getLLVMGlobalFunctions</a>(const GlobalVariable *global)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
106
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a4091b12bdfe4423d8114612a199bc480">getLLVMModules</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
107
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">getLLVMModuleSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
108
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a610a7777a48132caadec167c8109f044">getLLVMType</a>(const SVFType *T) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
109
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aaf9b679407f12b93afc53c157d37b444">getLLVMValue</a>(const SVFValue *value) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
110
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a9fe3fa15a6a0ec25864cb8439a45596e">getMainLLVMModule</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
111
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a8afb7ab3ee4632e78d546e549110e74c">getModule</a>(u32_t idx) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
112
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ae265a7f3cc7367d62013e0f15cf3d233">getModuleNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
113
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ad647d73d2e1bda61348eff658e32f481">getModuleRef</a>(u32_t idx) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
114
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a74256f36f0fdc242df9729906c34efbc">getOtherSVFConstant</a>(const Constant *oc)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
115
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ad3f66b40ad360003845253f452d6a711">getSVFArgument</a>(const Argument *arg) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
116
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ab0c0f321b6bfbfab2e4ff06d81920ab9">getSVFBasicBlock</a>(const BasicBlock *bb) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
117
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a25821b0feeb3b08e00ec9d444520b727">getSVFConstantData</a>(const ConstantData *cd)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
118
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a50fc24901350df9db890ba16a9b87e33">getSVFFunction</a>(const Function *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
119
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#affc126c56bc3146bef55c74a2bd8bc21">getSVFFunction</a>(std::string name)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</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_1LLVMModuleSet.html#a3cbba2eb702a3481478b2590dfffa352">getSVFGlobalValue</a>(const GlobalValue *g) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
121
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ae74f307b6f96950ceedb2c375ef1c3a3">getSVFInstruction</a>(const Instruction *inst) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</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_1LLVMModuleSet.html#a16572a3d7639fa65c699b6c3982fa20e">getSVFModule</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
123
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a0ef17c1d5e6a95c597d2334ea577a965">getSVFOtherValue</a>(const Value *ov)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
124
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a5f0bd932f3129a9c565f3a09711f7b99">getSVFType</a>(const Type *T)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
125
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#afdd77bc1fca91f70b2ec362f1dacd392">getSVFValue</a>(const Value *value)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
126
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ae2a1fa0b908cf372c50af90e62c4bf2b">GlobalDefToRepMap</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
127
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a4dc808f3f69a87c74933d1f6183d1459">GlobalDefToRepMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
128
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a74a7961552498d1a99e1da70b7f78620">hasDeclaration</a>(const Function *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
129
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a32558da64f03452c502ec57d1e106427">hasDefinition</a>(const Function *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
130
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a0e5ab0def54815f67ed7495d028dab1b">hasGlobalRep</a>(const GlobalVariable *val) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
131
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a8ba9092747108e0289014d52465a692d">initDomTree</a>(SVFFunction *func, const Function *f)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
132
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a20162d2894d6a12ba29410311fba4002">initSVFBasicBlock</a>(const Function *func)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
133
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ac6a5540354696f4c9170e0a5832ba70e">initSVFFunction</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
134
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a852524c71831d7b2da0e9b0b6b191480">LLVMArgument2SVFArgument</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
135
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#abb3020435f266e5925a59da2935cd1a0">LLVMArgument2SVFArgumentMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
136
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a0f9b36699b99dfcfe3c1588bfab6b97c">LLVMBB2SVFBB</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
137
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a3ed83c67fd6ad5967e4d401c32e46911">LLVMBB2SVFBBMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
138
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a4b94c96898dbbc71bc1cee04786cf3dc">LLVMConst2SVFConst</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
139
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ac02ba420628fc4b990e54570f8234ede">LLVMConst2SVFConstMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
140
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ad3d42930cbe97d871443e3bce4874242">LLVMFun2SVFFunMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
141
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a9fd7f0170bffa7c1b927cdb0de98fd15">LLVMFunc2SVFFunc</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
142
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a42439790c217254ce5404622b197b3d0">LLVMInst2SVFInst</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
143
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a05945e0122ce56bb13710bbed34fea3f">LLVMInst2SVFInstMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
144
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63">llvmModuleSet</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">static</span></td></tr>
145
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aaa23ad390e9148ba6302fea8d4595080">LLVMModuleSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
146
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a067661e0049314779a44c9600420820f">LLVMType2SVFType</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
147
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#af070cf782594a939c4a0a6de9a724a69">LLVMType2SVFTypeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
148
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ac3e70bd338be3a54330be5dc10321eb3">LLVMValue2SVFOtherValue</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
149
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a20d9bddbd56a38fd2159a020039dab0f">LLVMValue2SVFOtherValueMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
150
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a298966366b02d0a34f409c2c77da3789">loadModules</a>(const std::vector&lt; std::string &gt; &amp;moduleNameVec)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
151
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#acde6292e719c80f93d3d1c344ab442cd">modules</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
152
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ae365189769640adb919a23c36978e5e2">owned_modules</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
153
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a8b5f24c873db1f6a0614d1dac48bb4bb">prePassSchedule</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
154
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a2fdc1bd61b8f6cdf6c07a5059b641b04">preProcessBCs</a>(std::vector&lt; std::string &gt; &amp;moduleNameVec)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
155
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a14b0b55d397d6f8a5dfe3b574021f801">preProcessed</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
156
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936">releaseLLVMModuleSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
157
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a7d61f479f52e1dc71a4ae7a4d62f3b6a">setValueAttr</a>(const Value *val, SVFValue *value)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
158
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a3e14bbb3ae0acc74775ac3233a84d379">svfModule</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
159
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a7f8e61cf5d838d7a2e862bc6955f16be">SVFValue2LLVMValue</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
160
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aa872d7a6b6bf3ec944bd9077de51b259">SVFValue2LLVMValueMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
161
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a5552135a27684cbe4d2a5ed346f64644">symInfo</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
162
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#af2c555af91679d9e6d3009547ee11486">Type2TypeInfo</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
163
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a026246497b363eeeabb519d845eb9c4b">Type2TypeInfoMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
164
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a57b4faba42847323d31cd5216146a7ec">~LLVMModuleSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
164
165
  </table></div><!-- contents -->
165
166
  <!-- start footer part -->
166
167
  <hr class="footer"/><address class="footer"><small>