svf-tools 1.0.896 → 1.0.898

package/SVF-doxygen/html/namespaceSVF_1_1LLVMUtil.html

@@ -2879,7 +2879,7 @@ Functions</h2></td></tr>
 <div class="ttc" id="aCommandLine_8h_html_a2429346d37bd4c40889bd7c6d319d9da"><div class="ttname"><a href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00018">CommandLine.h:18</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a773900ea3c75022657aac1abf59fa51b"><div class="ttname"><a href="namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b">SVF::MetadataAsValue</a></div><div class="ttdeci">llvm::MetadataAsValue MetadataAsValue</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00102">BasicTypes.h:102</a></div></div>
 <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a16d14e6712866d1d710c386c72d67181"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a16d14e6712866d1d710c386c72d67181">SVF::LLVMModuleSet::FunctionSetType</a></div><div class="ttdeci">std::vector&lt; const Function * &gt; FunctionSetType</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00050">LLVMModule.h:50</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00092">GeneralType.h:92</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00096">GeneralType.h:96</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a23bf614858f168b6ad76e0233cec9965"><div class="ttname"><a href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">SVF::BasicBlock</a></div><div class="ttdeci">llvm::BasicBlock BasicBlock</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00086">BasicTypes.h:86</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a03db82b8a7914367024723dba4d6ca3c"><div class="ttname"><a href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">SVF::DataLayout</a></div><div class="ttdeci">llvm::DataLayout DataLayout</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00108">BasicTypes.h:108</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a21636200f17c62034720c4287aa818b5"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a21636200f17c62034720c4287aa818b5">SVF::LLVMUtil::getDefFunForMultipleModule</a></div><div class="ttdeci">const Function * getDefFunForMultipleModule(const Function *fun)</div><div class="ttdoc">Get the definition of a function across multiple modules.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00039">LLVMUtil.cpp:39</a></div></div>

package/SVF-doxygen/html/namespaceSVF_1_1SVFUtil.html

@@ -4046,7 +4046,7 @@ template&lt;typename... Ts&gt; </div>
 </div><!-- contents -->
 <div class="ttc" id="aSVFUtil_8cpp_html_a326cbc9ef8d75aa44a591bf476c9835b"><div class="ttname"><a href="SVFUtil_8cpp.html#a326cbc9ef8d75aa44a591bf476c9835b">KPUR</a></div><div class="ttdeci">#define KPUR</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00044">SVFUtil.cpp:44</a></div></div>
 <div class="ttc" id="aextapi_8c_html_a4a710d86541afc6b7dafddcdb4b1c94f"><div class="ttname"><a href="extapi_8c.html#a4a710d86541afc6b7dafddcdb4b1c94f">strstr</a></div><div class="ttdeci">char * strstr(const char *haystack, const char *needle)</div><div class="ttdef"><b>Definition:</b> <a href="extapi_8c_source.html#l00822">extapi.c:822</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_aa7b6a13e52671de8524b130738aeb564"><div class="ttname"><a href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">SVF::NodeBS</a></div><div class="ttdeci">SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00058">GeneralType.h:58</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_aa7b6a13e52671de8524b130738aeb564"><div class="ttname"><a href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">SVF::NodeBS</a></div><div class="ttdeci">SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00062">GeneralType.h:62</a></div></div>
 <div class="ttc" id="aSVFUtil_8cpp_html_a137aa83ec74421d226a90c92ec032ac9"><div class="ttname"><a href="SVFUtil_8cpp.html#a137aa83ec74421d226a90c92ec032ac9">KNRM</a></div><div class="ttdeci">#define KNRM</div><div class="ttdoc">Color for output format.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00039">SVFUtil.cpp:39</a></div></div>
 <div class="ttc" id="aCommandLine_8h_html_a2429346d37bd4c40889bd7c6d319d9da"><div class="ttname"><a href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00018">CommandLine.h:18</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFCallInst_html"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html">SVF::SVFCallInst</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00699">SVFValue.h:699</a></div></div>

package/SVF-doxygen/html/namespaceSVF_1_1cppUtil.html

@@ -1241,7 +1241,7 @@ Functions</h2></td></tr>
 <div class="ttc" id="anamespaceSVF_html_ab696aab940eb187dc81217efe8649af5"><div class="ttname"><a href="namespaceSVF.html#ab696aab940eb187dc81217efe8649af5">SVF::StoreInst</a></div><div class="ttdeci">llvm::StoreInst StoreInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00148">BasicTypes.h:148</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1cppUtil_html_a9d10cfca65caae543dd9d5a1dddf60e7"><div class="ttname"><a href="namespaceSVF_1_1cppUtil.html#a9d10cfca65caae543dd9d5a1dddf60e7">SVF::cppUtil::extractClsNamesFromTemplate</a></div><div class="ttdeci">Set&lt; std::string &gt; extractClsNamesFromTemplate(const std::string &amp;oname)</div><div class="ttdoc">extract class names from template functions</div><div class="ttdef"><b>Definition:</b> <a href="CppUtil_8cpp_source.html#l00753">CppUtil.cpp:753</a></div></div>
 <div class="ttc" id="aCppUtil_8cpp_html_ac6c8cb5e26437d51d4d2e0112ebfdbc6"><div class="ttname"><a href="CppUtil_8cpp.html#ac6c8cb5e26437d51d4d2e0112ebfdbc6">ztilabel</a></div><div class="ttdeci">const std::string ztilabel</div><div class="ttdef"><b>Definition:</b> <a href="CppUtil_8cpp_source.html#l00079">CppUtil.cpp:79</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00092">GeneralType.h:92</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00096">GeneralType.h:96</a></div></div>
 <div class="ttc" id="astructSVF_1_1cppUtil_1_1DemangledName_html"><div class="ttname"><a href="structSVF_1_1cppUtil_1_1DemangledName.html">SVF::cppUtil::DemangledName</a></div><div class="ttdef"><b>Definition:</b> <a href="CppUtil_8h_source.html#l00047">CppUtil.h:47</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdoc">LLVM Basic classes.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00082">BasicTypes.h:82</a></div></div>
 <div class="ttc" id="aCppUtil_8cpp_html_a2a7c55fe3b24b913890307e9ac6cb2ba"><div class="ttname"><a href="CppUtil_8cpp.html#a2a7c55fe3b24b913890307e9ac6cb2ba">isOperOverload</a></div><div class="ttdeci">static bool isOperOverload(const std::string &amp;name)</div><div class="ttdef"><b>Definition:</b> <a href="CppUtil_8cpp_source.html#l00084">CppUtil.cpp:84</a></div></div>

package/SVF-doxygen/html/namespacemembers_s.html

@@ -64,12 +64,18 @@ $(function() {
 <div class="textblock">Here is a list of all namespace members with links to the namespace documentation for each member:</div>
 
 <h3><a id="index_s"></a>- s -</h3><ul>
+<li>s16_t
+: <a class="el" href="namespaceSVF.html#a6ce4cf67f8622443c888737d7366a3e9">SVF</a>
+</li>
 <li>s32_t
 : <a class="el" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF</a>
 </li>
 <li>s64_t
 : <a class="el" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF</a>
 </li>
+<li>s8_t
+: <a class="el" href="namespaceSVF.html#a64e9b1c8c4f095e5b50ba05229c2e1ba">SVF</a>
+</li>
 <li>ScalarEvolution
 : <a class="el" href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">SVF</a>
 </li>

package/SVF-doxygen/html/namespacemembers_type_s.html

@@ -64,12 +64,18 @@ $(function() {
  
 
 <h3><a id="index_s"></a>- s -</h3><ul>
+<li>s16_t
+: <a class="el" href="namespaceSVF.html#a6ce4cf67f8622443c888737d7366a3e9">SVF</a>
+</li>
 <li>s32_t
 : <a class="el" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF</a>
 </li>
 <li>s64_t
 : <a class="el" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF</a>
 </li>
+<li>s8_t
+: <a class="el" href="namespaceSVF.html#a64e9b1c8c4f095e5b50ba05229c2e1ba">SVF</a>
+</li>
 <li>ScalarEvolution
 : <a class="el" href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">SVF</a>
 </li>

package/SVF-doxygen/html/namespacemembers_type_u.html

@@ -64,12 +64,18 @@ $(function() {
  
 
 <h3><a id="index_u"></a>- u -</h3><ul>
+<li>u16_t
+: <a class="el" href="namespaceSVF.html#a7c3a917e8b1d3253982e0a1a37b74d93">SVF</a>
+</li>
 <li>u32_t
 : <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF</a>
 </li>
 <li>u64_t
 : <a class="el" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">SVF</a>
 </li>
+<li>u8_t
+: <a class="el" href="namespaceSVF.html#a9e83fb2225082782d168f5c7bfc79ba7">SVF</a>
+</li>
 <li>UnaryOperator
 : <a class="el" href="namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62">SVF</a>
 </li>

package/SVF-doxygen/html/namespacemembers_u.html

@@ -64,12 +64,18 @@ $(function() {
 <div class="textblock">Here is a list of all namespace members with links to the namespace documentation for each member:</div>
 
 <h3><a id="index_u"></a>- u -</h3><ul>
+<li>u16_t
+: <a class="el" href="namespaceSVF.html#a7c3a917e8b1d3253982e0a1a37b74d93">SVF</a>
+</li>
 <li>u32_t
 : <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF</a>
 </li>
 <li>u64_t
 : <a class="el" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">SVF</a>
 </li>
+<li>u8_t
+: <a class="el" href="namespaceSVF.html#a9e83fb2225082782d168f5c7bfc79ba7">SVF</a>
+</li>
 <li>UnaryOperator
 : <a class="el" href="namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62">SVF</a>
 </li>

package/SVF-doxygen/html/search/all_1.js

@@ -115,8 +115,8 @@ var searchData=
   ['addconstantobjnode_302',['addConstantObjNode',['../classSVF_1_1SVFIR.html#aff3f3ff198e7511576484dfda7bf051b',1,'SVF::SVFIR']]],
   ['addconstraintnode_303',['addConstraintNode',['../classSVF_1_1ConstraintGraph.html#a5ea9c47d232f36b66d985f979f33293b',1,'SVF::ConstraintGraph']]],
   ['addcopycgedge_304',['addCopyCGEdge',['../classSVF_1_1ConstraintGraph.html#a60bb27100e8c264be2add004069d1758',1,'SVF::ConstraintGraph']]],
-  ['addcopyedge_305',['addCopyEdge',['../classSVF_1_1SVFIRBuilder.html#a140defeb309d895394822f8780deda16',1,'SVF::SVFIRBuilder::addCopyEdge()'],['../classSVF_1_1CFLAlias.html#a1fb9134ce0a8e901bb86c4a1954b17f2',1,'SVF::CFLAlias::addCopyEdge()'],['../classSVF_1_1Andersen.html#a8ba593bd16d4436310f2f25e75687c57',1,'SVF::Andersen::addCopyEdge()'],['../classSVF_1_1AndersenSCD.html#a0b5990e8b0230c019a2bcedbab354cba',1,'SVF::AndersenSCD::addCopyEdge()'],['../classSVF_1_1Steensgaard.html#a2fdc85975893015a2b786c9bbd05e612',1,'SVF::Steensgaard::addCopyEdge()']]],
-  ['addcopystmt_306',['addCopyStmt',['../classSVF_1_1SVFIR.html#aa54b93ebf36944b548aaa74dbf8a144f',1,'SVF::SVFIR']]],
+  ['addcopyedge_305',['addCopyEdge',['../classSVF_1_1SVFIRBuilder.html#a29d377d01267c364ce1badd4c0f2e98f',1,'SVF::SVFIRBuilder::addCopyEdge()'],['../classSVF_1_1CFLAlias.html#a1fb9134ce0a8e901bb86c4a1954b17f2',1,'SVF::CFLAlias::addCopyEdge()'],['../classSVF_1_1Andersen.html#a8ba593bd16d4436310f2f25e75687c57',1,'SVF::Andersen::addCopyEdge()'],['../classSVF_1_1AndersenSCD.html#a0b5990e8b0230c019a2bcedbab354cba',1,'SVF::AndersenSCD::addCopyEdge()'],['../classSVF_1_1Steensgaard.html#a2fdc85975893015a2b786c9bbd05e612',1,'SVF::Steensgaard::addCopyEdge()']]],
+  ['addcopystmt_306',['addCopyStmt',['../classSVF_1_1SVFIR.html#a0fc9a394f0fc373897235c1e0052df6b',1,'SVF::SVFIR']]],
   ['addcopyvfgnode_307',['addCopyVFGNode',['../classSVF_1_1VFG.html#a49d35213a281859ca64398760c485a85',1,'SVF::VFG']]],
   ['addcptstocallsitemods_308',['addCPtsToCallSiteMods',['../classSVF_1_1MRGenerator.html#ab5b92ca898739f613f965fc05f86f094',1,'SVF::MRGenerator']]],
   ['addcptstocallsiterefs_309',['addCPtsToCallSiteRefs',['../classSVF_1_1MRGenerator.html#a94ce7ceff7cee90d672e9f3a4f3aa4e8',1,'SVF::MRGenerator']]],
@@ -381,7 +381,7 @@ var searchData=
   ['aliascheckrule_568',['AliasCheckRule',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394d',1,'SVF::WPAPass']]],
   ['aliasddaclient_569',['AliasDDAClient',['../classSVF_1_1AliasDDAClient.html',1,'SVF::AliasDDAClient'],['../classSVF_1_1AliasDDAClient.html#af55b1ccfa6cfaa6ec079b19d62288cb6',1,'SVF::AliasDDAClient::AliasDDAClient()']]],
   ['aliased_570',['aliased',['../classSVF_1_1CondPointsToSet.html#afcbb2cae75a5dd7947cb22c440b8fd0b',1,'SVF::CondPointsToSet']]],
-  ['aliasquery_571',['aliasQuery',['../svf-ex_8cpp.html#ad2f24f5ef6a8eaf0e4a77a8a4d31bc9f',1,'svf-ex.cpp']]],
+  ['aliasquery_571',['aliasQuery',['../svf-ex_8cpp.html#af6e60bf5c69a516b51753497070f4c9b',1,'svf-ex.cpp']]],
   ['aliasresult_572',['AliasResult',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943',1,'SVF']]],
   ['aliasrule_573',['AliasRule',['../classSVF_1_1Options.html#a2960fcb679f8dfee7d8822fcf9609f4a',1,'SVF::Options']]],
   ['aliasset_574',['AliasSet',['../classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9',1,'SVF::SVFModule']]],