svf-tools 1.0.623 → 1.0.625

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 (25) hide show
  1. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +11 -11
  3. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +10 -10
  4. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +2 -2
  5. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/html/PointsTo_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/html/SVFIR2ItvExeState_8cpp_source.html +13 -15
  8. package/SVF-doxygen/html/html/SVFIR2ItvExeState_8h_source.html +12 -12
  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_1ICFGBuilder.html +1 -1
  13. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +41 -40
  14. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +2 -2
  15. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +2 -2
  16. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ItvExeState.html +27 -30
  17. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +7 -7
  18. package/SVF-doxygen/html/html/classSVF_1_1SVFType.html +1 -1
  19. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +3 -3
  20. package/SVF-doxygen/html/html/include_2MTA_2MTAResultValidator_8h_source.html +1 -1
  21. package/SVF-doxygen/html/html/tools_2MTA_2MTAResultValidator_8h_source.html +1 -1
  22. package/lib/AbstractExecution/SVFIR2ItvExeState.cpp +2 -13
  23. package/lib/MemoryModel/PointsTo.cpp +1 -1
  24. package/lib/SVF-LLVM/LLVMModule.cpp +5 -1
  25. package/package.json +1 -1
package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html CHANGED
@@ -115,7 +115,7 @@ $(function() {
115
115
  <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>
116
116
  <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>
117
117
  <div class="ttc" id="classSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00471">SVFValue.h:471</a></div></div>
118
- <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#l00938">LLVMModule.cpp:938</a></div></div>
118
+ <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#l00942">LLVMModule.cpp:942</a></div></div>
119
119
  <div class="ttc" id="classSVF_1_1GlobalICFGNode_html"><div class="ttname"><a href="classSVF_1_1GlobalICFGNode.html">SVF::GlobalICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00142">ICFGNode.h:142</a></div></div>
120
120
  <div class="ttc" id="SVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DEBUG model of each pass. </div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00417">SVFType.h:417</a></div></div>
121
121
  <div class="ttc" id="classSVF_1_1ICFGBuilder_html_a5d7c24a1bf3300f784741ed8dba5a683"><div class="ttname"><a href="classSVF_1_1ICFGBuilder.html#a5d7c24a1bf3300f784741ed8dba5a683">SVF::ICFGBuilder::getOrAddInterBlockICFGNode</a></div><div class="ttdeci">InterICFGNode * getOrAddInterBlockICFGNode(const SVFInstruction *inst)</div><div class="ttdoc">Add/Get an inter block ICFGNode. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGBuilder_8cpp_source.html#l00180">ICFGBuilder.cpp:180</a></div></div>