svf-tools 1.0.370 → 1.0.371

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 (65) hide show
  1. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +3 -3
  2. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +1 -1
  3. package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +47 -39
  4. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +2 -2
  5. package/SVF-doxygen/html/html/ICFGStat_8h_source.html +4 -4
  6. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +19 -17
  7. package/SVF-doxygen/html/html/ICFG_8h_source.html +3 -3
  8. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +4 -1
  9. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +2 -2
  10. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +1 -1
  11. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge-members.html +28 -25
  12. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +105 -12
  13. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode-members.html +1 -1
  14. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +6 -6
  15. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +23 -19
  16. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +1 -1
  17. package/SVF-doxygen/html/html/classSVF_1_1ICFGEdge.html +30 -30
  18. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +3 -3
  19. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +25 -25
  20. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +1 -2
  21. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge-members.html +23 -20
  22. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +110 -15
  23. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +16 -6
  24. package/SVF-doxygen/html/html/functions_a.html +11 -9
  25. package/SVF-doxygen/html/html/functions_c.html +25 -22
  26. package/SVF-doxygen/html/html/functions_func.html +12 -10
  27. package/SVF-doxygen/html/html/functions_func_g.html +21 -15
  28. package/SVF-doxygen/html/html/functions_g.html +20 -14
  29. package/SVF-doxygen/html/html/functions_m.html +1 -1
  30. package/SVF-doxygen/html/html/functions_o.html +14 -14
  31. package/SVF-doxygen/html/html/functions_p.html +6 -6
  32. package/SVF-doxygen/html/html/functions_r.html +10 -5
  33. package/SVF-doxygen/html/html/functions_s.html +9 -7
  34. package/SVF-doxygen/html/html/functions_t.html +7 -7
  35. package/SVF-doxygen/html/html/functions_v.html +3 -3
  36. package/SVF-doxygen/html/html/functions_vars_c.html +2 -1
  37. package/SVF-doxygen/html/html/functions_vars_r.html +3 -0
  38. package/SVF-doxygen/html/html/namespaceSVF.html +1 -1
  39. package/SVF-doxygen/html/html/search/all_1.js +2 -2
  40. package/SVF-doxygen/html/html/search/all_10.js +5 -5
  41. package/SVF-doxygen/html/html/search/all_12.js +3 -3
  42. package/SVF-doxygen/html/html/search/all_13.js +6 -6
  43. package/SVF-doxygen/html/html/search/all_14.js +5 -5
  44. package/SVF-doxygen/html/html/search/all_16.js +2 -2
  45. package/SVF-doxygen/html/html/search/all_3.js +1 -1
  46. package/SVF-doxygen/html/html/search/all_7.js +4 -2
  47. package/SVF-doxygen/html/html/search/all_c.js +1 -1
  48. package/SVF-doxygen/html/html/search/all_d.js +1 -1
  49. package/SVF-doxygen/html/html/search/all_e.js +3 -3
  50. package/SVF-doxygen/html/html/search/all_f.js +2 -2
  51. package/SVF-doxygen/html/html/search/functions_0.js +2 -2
  52. package/SVF-doxygen/html/html/search/functions_6.js +4 -2
  53. package/SVF-doxygen/html/html/search/variables_12.js +1 -0
  54. package/SVF-doxygen/html/html/search/variables_14.js +2 -2
  55. package/SVF-doxygen/html/html/search/variables_3.js +1 -1
  56. package/SVF-doxygen/html/html/search/variables_e.js +2 -2
  57. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +17 -17
  58. package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
  59. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
  60. package/include/Graphs/ICFGEdge.h +22 -3
  61. package/include/Graphs/ICFGNode.h +1 -1
  62. package/lib/Graphs/ICFG.cpp +18 -3
  63. package/lib/MemoryModel/SymbolTableInfo.cpp +1 -1
  64. package/lib/SVF-FE/SVFIRBuilder.cpp +12 -0
  65. package/package.json +1 -1
package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html CHANGED
@@ -142,7 +142,7 @@ $(function() {
142
142
  <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#l00167">SVFIRBuilder.h:167</a></div></div>
143
143
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a15105737c91d01ba9daf2161fad220ef"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a15105737c91d01ba9daf2161fad220ef">SVF::SVFIRBuilder::setCurrentLocation</a></div><div class="ttdeci">void setCurrentLocation(const Value *val, const BasicBlock *bb)</div><div class="ttdoc">Set current basic block in order to keep track of control flow information. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00245">SVFIRBuilder.h:245</a></div></div>
144
144
  <div class="ttc" id="classSVF_1_1TDJoinPE_html"><div class="ttname"><a href="classSVF_1_1TDJoinPE.html">SVF::TDJoinPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01039">SVFStatements.h:1039</a></div></div>
145
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a5c7cc40f0a9c89a8b9c21c65215dda29"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a5c7cc40f0a9c89a8b9c21c65215dda29">SVF::SVFIRBuilder::getFields</a></div><div class="ttdeci">u32_t getFields(std::vector&lt; LocationSet &gt; &amp;fields, const Type *T, u32_t msz)</div><div class="ttdoc">Replace fields with flatten fields of T if the number of its fields is larger than msz...</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l01696">SVFIRBuilder.cpp:1696</a></div></div>
145
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a5c7cc40f0a9c89a8b9c21c65215dda29"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a5c7cc40f0a9c89a8b9c21c65215dda29">SVF::SVFIRBuilder::getFields</a></div><div class="ttdeci">u32_t getFields(std::vector&lt; LocationSet &gt; &amp;fields, const Type *T, u32_t msz)</div><div class="ttdoc">Replace fields with flatten fields of T if the number of its fields is larger than msz...</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l01708">SVFIRBuilder.cpp:1708</a></div></div>
146
146
  <div class="ttc" id="classSVF_1_1SVFIR_html_accbff738e77fd2256d4a6629c48d63f4"><div class="ttname"><a href="classSVF_1_1SVFIR.html#accbff738e77fd2256d4a6629c48d63f4">SVF::SVFIR::addSelectStmt</a></div><div class="ttdeci">SelectStmt * addSelectStmt(NodeID res, NodeID op1, NodeID op2, NodeID cond)</div><div class="ttdoc">Add SelectStmt. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00109">SVFIR.cpp:109</a></div></div>
147
147
  <div class="ttc" id="classSVF_1_1IRGraph_html_abffddd41cc308b9b3bd5ad4a7f8f1624"><div class="ttname"><a href="classSVF_1_1IRGraph.html#abffddd41cc308b9b3bd5ad4a7f8f1624">SVF::IRGraph::getValueNode</a></div><div class="ttdeci">NodeID getValueNode(const Value *V)</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00120">IRGraph.h:120</a></div></div>
148
148
  <div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a0bc35bb64bbf3b494c0ac93b99c5a6d2"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a0bc35bb64bbf3b494c0ac93b99c5a6d2">SVF::SVFIRBuilder::visitLandingPadInst</a></div><div class="ttdeci">void visitLandingPadInst(LandingPadInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00211">SVFIRBuilder.h:211</a></div></div>
@@ -196,7 +196,7 @@ $(function() {
196
196
  <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#l00739">SVFIRBuilder.cpp:739</a></div></div>
197
197
  <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#l00925">SVFIRBuilder.cpp:925</a></div></div>
198
198
  <div class="ttc" id="namespaceSVF_html_a56cb9d6d1e05f6c31bfe1a4045bc8b5f"><div class="ttname"><a href="namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f">SVF::InvokeInst</a></div><div class="ttdeci">llvm::InvokeInst InvokeInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00149">BasicTypes.h:149</a></div></div>
199
- <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#l01716">SVFIRBuilder.cpp:1716</a></div></div>
199
+ <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#l01728">SVFIRBuilder.cpp:1728</a></div></div>
200
200
  <div class="ttc" id="namespaceSVF_html_a412280b134578905248ce0122c5db7c9"><div class="ttname"><a href="namespaceSVF.html#a412280b134578905248ce0122c5db7c9">SVF::SwitchInst</a></div><div class="ttdeci">llvm::SwitchInst SwitchInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00162">BasicTypes.h:162</a></div></div>
201
201
  <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>
202
202
  <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>