svf-tools 1.0.794 → 1.0.796

package/SVF-doxygen/html/SVFFileSystem_8cpp_source.html

@@ -2680,7 +2680,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea8a1159a8819de74d39e32aef1b415c2a"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea8a1159a8819de74d39e32aef1b415c2a">SVF::SVFValue::SVFGlob</a></div><div class="ttdeci">@ SVFGlob</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00194">SVFValue.h:194</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_ab03e007e2417f90f8030d1f5923087d8"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#ab03e007e2417f90f8030d1f5923087d8">SVF::SVFModuleWriter::getSVFTypeID</a></div><div class="ttdeci">size_t getSVFTypeID(const SVFType *type)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00365">SVFFileSystem.h:365</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FunEntryICFGNode_html"><div class="ttname"><a href="classSVF_1_1FunEntryICFGNode.html">SVF::FunEntryICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00261">ICFGNode.h:261</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFPointerType_html"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html">SVF::SVFPointerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00332">SVFType.h:332</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFPointerType_html"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html">SVF::SVFPointerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00344">SVFType.h:344</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGReader_html_ab3710363e551435141f18a1f74ce8022"><div class="ttname"><a href="classSVF_1_1ICFGReader.html#ab3710363e551435141f18a1f74ce8022">SVF::ICFGReader::fillObjs</a></div><div class="ttdeci">void fillObjs(NodeFiller nodeFiller, EdgeFiller edgeFiller, LoopFiller loopFiller)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00962">SVFFileSystem.h:962</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RetICFGNode_html"><div class="ttname"><a href="classSVF_1_1RetICFGNode.html">SVF::RetICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00487">ICFGNode.h:487</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVF::SVFValue::SVFNullPtr</a></div><div class="ttdeci">@ SVFNullPtr</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00200">SVFValue.h:200</a></div></div>
@@ -2758,10 +2758,10 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1StoreStmt_html"><div class="ttname"><a href="classSVF_1_1StoreStmt.html">SVF::StoreStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00386">SVFStatements.h:386</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8h_html_abe7df84818bd194fefc80d766e0998da"><div class="ttname"><a href="SVFFileSystem_8h.html#abe7df84818bd194fefc80d766e0998da">JSON_KEY</a></div><div class="ttdeci">#define JSON_KEY(json)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00064">SVFFileSystem.h:64</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html"><div class="ttname"><a href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00177">SVFValue.h:177</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFFunctionType_html"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html">SVF::SVFFunctionType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00385">SVFType.h:385</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFFunctionType_html"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html">SVF::SVFFunctionType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00397">SVFType.h:397</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGWriter_html_a7c041629b3863525ded06ffe7d971940"><div class="ttname"><a href="classSVF_1_1ICFGWriter.html#a7c041629b3863525ded06ffe7d971940">SVF::ICFGWriter::getSvfLoopID</a></div><div class="ttdeci">size_t getSvfLoopID(const SVFLoop *loop)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00336">SVFFileSystem.h:336</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFArrayType_html"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html">SVF::SVFArrayType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00443">SVFType.h:443</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFArrayType_html"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html">SVF::SVFArrayType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00455">SVFType.h:455</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea46330181ad60cd2f0766fb392063ee21"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea46330181ad60cd2f0766fb392063ee21">SVF::SVFValue::SVFArg</a></div><div class="ttdeci">@ SVFArg</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00195">SVFValue.h:195</a></div></div>
 <div class="ttc" id="astructcJSON_html_ade862b880379b5e2a591f7326401fa8d"><div class="ttname"><a href="structcJSON.html#ade862b880379b5e2a591f7326401fa8d">cJSON::next</a></div><div class="ttdeci">struct cJSON * next</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00106">cJSON.h:106</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00114">SVFIR.h:114</a></div></div>
@@ -2783,7 +2783,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_a285cf97ecb4fd1cdbc19e67779ef84ee"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#a285cf97ecb4fd1cdbc19e67779ef84ee">SVF::SVFModuleWriter::getSVFValuePtr</a></div><div class="ttdeci">const SVFValue * getSVFValuePtr(size_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00361">SVFFileSystem.h:361</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVF::SVFValue::SVFConstInt</a></div><div class="ttdeci">@ SVFConstInt</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00198">SVFValue.h:198</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModule_html_aa29e64e29db6af2387dec987a5e1985b"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aa29e64e29db6af2387dec987a5e1985b">SVF::SVFModule::getConstantSet</a></div><div class="ttdeci">const ConstantType &amp; getConstantSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00220">SVFModule.h:220</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFStructType_html"><div class="ttname"><a href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00410">SVFType.h:410</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFStructType_html"><div class="ttname"><a href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00422">SVFType.h:422</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFConstant_html"><div class="ttname"><a href="classSVF_1_1SVFConstant.html">SVF::SVFConstant</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00822">SVFValue.h:822</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a31c54c878be428cc92cf08970fef422b"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a31c54c878be428cc92cf08970fef422b">SVF::SVFIR::chgraph</a></div><div class="ttdeci">CommonCHGraph * chgraph</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00099">SVFIR.h:99</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGReader_html_a59f46288e7dad3ba31d106faeca277ef"><div class="ttname"><a href="classSVF_1_1ICFGReader.html#a59f46288e7dad3ba31d106faeca277ef">SVF::ICFGReader::getSVFLoopPtr</a></div><div class="ttdeci">SVFLoop * getSVFLoopPtr(size_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00956">SVFFileSystem.h:956</a></div></div>
@@ -2856,7 +2856,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ICFGWriter_html_af1e7410c278b429e8466afc8bd8551be"><div class="ttname"><a href="classSVF_1_1ICFGWriter.html#af1e7410c278b429e8466afc8bd8551be">SVF::ICFGWriter::ICFGWriter</a></div><div class="ttdeci">ICFGWriter(const ICFG *icfg)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00957">SVFFileSystem.cpp:957</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_ad8e86d5b991ff3411c807f6cb65b2d24"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#ad8e86d5b991ff3411c807f6cb65b2d24">SVF::SVFIRReader::createObjs</a></div><div class="ttdeci">const cJSON * createObjs(const cJSON *root)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01400">SVFFileSystem.cpp:1400</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html">SVF::SymbolTableInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00047">SymbolTableInfo.h:47</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFIntegerType_html"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html">SVF::SVFIntegerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00357">SVFType.h:357</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIntegerType_html"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html">SVF::SVFIntegerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00369">SVFType.h:369</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a5057eb1d6b5f4d91556e6649e1d9e0fe"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a5057eb1d6b5f4d91556e6649e1d9e0fe">SVF::SVFIRReader::GNodeK</a></div><div class="ttdeci">GenericNode&lt; int, GenericEdge&lt; void &gt; &gt;::GNodeK GNodeK</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01068">SVFFileSystem.h:1068</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01102">SVFValue.h:1102</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ad11fe2412b2182365a662ff0e4639b48"><div class="ttname"><a href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SVF::SymID</a></div><div class="ttdeci">unsigned SymID</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00058">SVFType.h:58</a></div></div>
@@ -2903,7 +2903,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a4fbb8ea4b4796d10d13c027b7455505c"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a4fbb8ea4b4796d10d13c027b7455505c">SVF::SymbolTableInfo::symInfo</a></div><div class="ttdeci">static SymbolTableInfo * symInfo</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00089">SymbolTableInfo.h:89</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFArgument_html"><div class="ttname"><a href="classSVF_1_1SVFArgument.html">SVF::SVFArgument</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00886">SVFValue.h:886</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfoReader_html_a0bf60f2250c864592c507dd6b03800a9"><div class="ttname"><a href="classSVF_1_1SymbolTableInfoReader.html#a0bf60f2250c864592c507dd6b03800a9">SVF::SymbolTableInfoReader::memObjMap</a></div><div class="ttdeci">ReaderIDToObjMap&lt; MemObj &gt; memObjMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00905">SVFFileSystem.h:905</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFOtherType_html"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00476">SVFType.h:476</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFOtherType_html"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00495">SVFType.h:495</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_aad7c19516219f22ea0496e8f042b1b56"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#aad7c19516219f22ea0496e8f042b1b56">SVF::SVFModuleWriter::getStInfoID</a></div><div class="ttdeci">size_t getStInfoID(const StInfo *stInfo)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00369">SVFFileSystem.h:369</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DummyObjVar_html"><div class="ttname"><a href="classSVF_1_1DummyObjVar.html">SVF::DummyObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00708">SVFVariables.h:708</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a0f7910523b4290e998024123f594ffb0"><div class="ttname"><a href="namespaceSVF.html#a0f7910523b4290e998024123f594ffb0">SVF::jsonCreateNullId</a></div><div class="ttdeci">cJSON * jsonCreateNullId()</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00891">SVFFileSystem.cpp:891</a></div></div>

package/SVF-doxygen/html/SVFFileSystem_8h_source.html

@@ -1373,7 +1373,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_ab03e007e2417f90f8030d1f5923087d8"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#ab03e007e2417f90f8030d1f5923087d8">SVF::SVFModuleWriter::getSVFTypeID</a></div><div class="ttdeci">size_t getSVFTypeID(const SVFType *type)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00365">SVFFileSystem.h:365</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleReader_html_a2993c4358d71036440325001163731fe"><div class="ttname"><a href="classSVF_1_1SVFModuleReader.html#a2993c4358d71036440325001163731fe">SVF::SVFModuleReader::svfValuePool</a></div><div class="ttdeci">ReaderPtrPool&lt; SVFValue &gt; svfValuePool</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00978">SVFFileSystem.h:978</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FunEntryICFGNode_html"><div class="ttname"><a href="classSVF_1_1FunEntryICFGNode.html">SVF::FunEntryICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00261">ICFGNode.h:261</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFPointerType_html"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html">SVF::SVFPointerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00332">SVFType.h:332</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFPointerType_html"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html">SVF::SVFPointerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00344">SVFType.h:344</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGReader_html_ab3710363e551435141f18a1f74ce8022"><div class="ttname"><a href="classSVF_1_1ICFGReader.html#ab3710363e551435141f18a1f74ce8022">SVF::ICFGReader::fillObjs</a></div><div class="ttdeci">void fillObjs(NodeFiller nodeFiller, EdgeFiller edgeFiller, LoopFiller loopFiller)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00962">SVFFileSystem.h:962</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a9bdfb249850cf22d6c91db7716007e53"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a9bdfb249850cf22d6c91db7716007e53">SVF::SVFIRReader::readJson</a></div><div class="ttdeci">std::enable_if_t&lt; SVFUtil::is_set_v&lt; C &gt; &gt; readJson(const cJSON *obj, C &amp;set)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01217">SVFFileSystem.h:1217</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RetICFGNode_html"><div class="ttname"><a href="classSVF_1_1RetICFGNode.html">SVF::RetICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00487">ICFGNode.h:487</a></div></div>
@@ -1452,10 +1452,10 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1StoreStmt_html"><div class="ttname"><a href="classSVF_1_1StoreStmt.html">SVF::StoreStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00386">SVFStatements.h:386</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_aa554326050f1e921449b560d94b7bb07"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#aa554326050f1e921449b560d94b7bb07">SVF::SVFIRReader::applyEdgeMask</a></div><div class="ttdeci">static s64_t applyEdgeMask(u64_t edgeFlag)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01056">SVFFileSystem.h:1056</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html"><div class="ttname"><a href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00177">SVFValue.h:177</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFFunctionType_html"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html">SVF::SVFFunctionType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00385">SVFType.h:385</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFFunctionType_html"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html">SVF::SVFFunctionType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00397">SVFType.h:397</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGWriter_html_a7c041629b3863525ded06ffe7d971940"><div class="ttname"><a href="classSVF_1_1ICFGWriter.html#a7c041629b3863525ded06ffe7d971940">SVF::ICFGWriter::getSvfLoopID</a></div><div class="ttdeci">size_t getSvfLoopID(const SVFLoop *loop)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00336">SVFFileSystem.h:336</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFArrayType_html"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html">SVF::SVFArrayType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00443">SVFType.h:443</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFArrayType_html"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html">SVF::SVFArrayType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00455">SVFType.h:455</a></div></div>
 <div class="ttc" id="astructcJSON_html_ade862b880379b5e2a591f7326401fa8d"><div class="ttname"><a href="structcJSON.html#ade862b880379b5e2a591f7326401fa8d">cJSON::next</a></div><div class="ttdeci">struct cJSON * next</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00106">cJSON.h:106</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a639af670465f6cbe4fe75b3188a66129"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a639af670465f6cbe4fe75b3188a66129">SVF::SVFIRReader::readJson</a></div><div class="ttdeci">void readJson(const cJSON *obj, const T *&amp;cptr)</div><div class="ttdoc">Read a const pointer.</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01155">SVFFileSystem.h:1155</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ad37880353cffc950d5b9417bc41c0b06"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ad37880353cffc950d5b9417bc41c0b06">SVF::SVFUtil::void_t</a></div><div class="ttdeci">typename make_void&lt; Ts... &gt;::type void_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00631">SVFUtil.h:631</a></div></div>
@@ -1471,7 +1471,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1NodeIDAllocator_html"><div class="ttname"><a href="classSVF_1_1NodeIDAllocator.html">SVF::NodeIDAllocator</a></div><div class="ttdef"><b>Definition:</b> <a href="NodeIDAllocator_8h_source.html#l00020">NodeIDAllocator.h:20</a></div></div>
 <div class="ttc" id="aclassSVF_1_1StInfo_html"><div class="ttname"><a href="classSVF_1_1StInfo.html">SVF::StInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00132">SVFType.h:132</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_a285cf97ecb4fd1cdbc19e67779ef84ee"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#a285cf97ecb4fd1cdbc19e67779ef84ee">SVF::SVFModuleWriter::getSVFValuePtr</a></div><div class="ttdeci">const SVFValue * getSVFValuePtr(size_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00361">SVFFileSystem.h:361</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFStructType_html"><div class="ttname"><a href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00410">SVFType.h:410</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFStructType_html"><div class="ttname"><a href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00422">SVFType.h:422</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFConstant_html"><div class="ttname"><a href="classSVF_1_1SVFConstant.html">SVF::SVFConstant</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00822">SVFValue.h:822</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGReader_html_a59f46288e7dad3ba31d106faeca277ef"><div class="ttname"><a href="classSVF_1_1ICFGReader.html#a59f46288e7dad3ba31d106faeca277ef">SVF::ICFGReader::getSVFLoopPtr</a></div><div class="ttdeci">SVFLoop * getSVFLoopPtr(size_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00956">SVFFileSystem.h:956</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntraICFGNode_html"><div class="ttname"><a href="classSVF_1_1IntraICFGNode.html">SVF::IntraICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00180">ICFGNode.h:180</a></div></div>
@@ -1551,7 +1551,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_ad8e86d5b991ff3411c807f6cb65b2d24"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#ad8e86d5b991ff3411c807f6cb65b2d24">SVF::SVFIRReader::createObjs</a></div><div class="ttdeci">const cJSON * createObjs(const cJSON *root)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01400">SVFFileSystem.cpp:1400</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html">SVF::SymbolTableInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00047">SymbolTableInfo.h:47</a></div></div>
 <div class="ttc" id="astructSVF_1_1KindBaseHelper_html"><div class="ttname"><a href="structSVF_1_1KindBaseHelper.html">SVF::KindBaseHelper</a></div><div class="ttdoc">Type trait to get base type. Helper struct to detect inheritance from Node/Edge.</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00657">SVFFileSystem.h:657</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFIntegerType_html"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html">SVF::SVFIntegerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00357">SVFType.h:357</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIntegerType_html"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html">SVF::SVFIntegerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00369">SVFType.h:369</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a29cab1426b0000bd87c026ab8c9979c0"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a29cab1426b0000bd87c026ab8c9979c0">SVF::GenericGraph::getTotalEdgeNum</a></div><div class="ttdeci">u32_t getTotalEdgeNum() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00437">GenericGraph.h:437</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleReader_html"><div class="ttname"><a href="classSVF_1_1SVFModuleReader.html">SVF::SVFModuleReader</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00970">SVFFileSystem.h:970</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a5057eb1d6b5f4d91556e6649e1d9e0fe"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a5057eb1d6b5f4d91556e6649e1d9e0fe">SVF::SVFIRReader::GNodeK</a></div><div class="ttdeci">GenericNode&lt; int, GenericEdge&lt; void &gt; &gt;::GNodeK GNodeK</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01068">SVFFileSystem.h:1068</a></div></div>
@@ -1600,7 +1600,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ReaderPtrPool_html"><div class="ttname"><a href="classSVF_1_1ReaderPtrPool.html">SVF::ReaderPtrPool</a></div><div class="ttdoc">Reverse of WriterPtrPool where T is object type without ID field.</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00752">SVFFileSystem.h:752</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_aa1f446e93750580dce04a127231dd1a3"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aa1f446e93750580dce04a127231dd1a3">SVF::GenericEdge::edgeFlag</a></div><div class="ttdeci">GEdgeFlag edgeFlag</div><div class="ttdoc">edge kind</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00066">GenericGraph.h:66</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfoReader_html_a0bf60f2250c864592c507dd6b03800a9"><div class="ttname"><a href="classSVF_1_1SymbolTableInfoReader.html#a0bf60f2250c864592c507dd6b03800a9">SVF::SymbolTableInfoReader::memObjMap</a></div><div class="ttdeci">ReaderIDToObjMap&lt; MemObj &gt; memObjMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00905">SVFFileSystem.h:905</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFOtherType_html"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00476">SVFType.h:476</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFOtherType_html"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00495">SVFType.h:495</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_aad7c19516219f22ea0496e8f042b1b56"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#aad7c19516219f22ea0496e8f042b1b56">SVF::SVFModuleWriter::getStInfoID</a></div><div class="ttdeci">size_t getStInfoID(const StInfo *stInfo)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00369">SVFFileSystem.h:369</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DummyObjVar_html"><div class="ttname"><a href="classSVF_1_1DummyObjVar.html">SVF::DummyObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00708">SVFVariables.h:708</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a0f7910523b4290e998024123f594ffb0"><div class="ttname"><a href="namespaceSVF.html#a0f7910523b4290e998024123f594ffb0">SVF::jsonCreateNullId</a></div><div class="ttdeci">cJSON * jsonCreateNullId()</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00891">SVFFileSystem.cpp:891</a></div></div>

package/SVF-doxygen/html/SVFGBuilder_8cpp_source.html

@@ -193,7 +193,7 @@ $(function() {
 <div class="ttc" id="aSVFGBuilder_8h_html"><div class="ttname"><a href="SVFGBuilder_8h.html">SVFGBuilder.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_ae3ad3003a8d3df2f1e3463248bb5ad51"><div class="ttname"><a href="classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51">SVF::Options::DumpVFG</a></div><div class="ttdeci">static const Option&lt; bool &gt; DumpVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00122">Options.h:122</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFGBuilder_html_a47591192260ddc3ff0717430f127cc95"><div class="ttname"><a href="classSVF_1_1SVFGBuilder.html#a47591192260ddc3ff0717430f127cc95">SVF::SVFGBuilder::build</a></div><div class="ttdeci">SVFG * build(BVDataPTAImpl *pta, VFG::VFGK kind)</div><div class="ttdoc">Create a DDA SVFG. By default actualOut and FormalIN are removed, unless withAOFI is set true.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGBuilder_8cpp_source.html#l00064">SVFGBuilder.cpp:64</a></div></div>
-<div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00549">SVFType.h:549</a></div></div>
+<div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00568">SVFType.h:568</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModule_html_a58d03edb6ff85f4943135478f113df31"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31">SVF::SVFModule::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00141">SVFModule.h:141</a></div></div>
 <div class="ttc" id="aSVFUtil_8h_html"><div class="ttname"><a href="SVFUtil_8h.html">SVFUtil.h</a></div></div>
 <div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
@@ -219,7 +219,7 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a4550f2fb815882edfb666ac818792064"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a4550f2fb815882edfb666ac818792064">SVF::SVFUtil::pasMsg</a></div><div class="ttdeci">std::string pasMsg(const std::string &amp;msg)</div><div class="ttdoc">Print each pass/phase message by converting a string into blue string output.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00099">SVFUtil.cpp:99</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFG_html_ac2e2f555975063da3fa1932ac35802c6"><div class="ttname"><a href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6">SVF::VFG::VFGK</a></div><div class="ttdeci">VFGK</div><div class="ttdoc">VFG kind.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00055">VFG.h:55</a></div></div>
 <div class="ttc" id="aMemSSA_8h_html"><div class="ttname"><a href="MemSSA_8h.html">MemSSA.h</a></div></div>
-<div class="ttc" id="aSVFType_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 DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00543">SVFType.h:543</a></div></div>
+<div class="ttc" id="aSVFType_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 DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00562">SVFType.h:562</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFG_html_ac2e2f555975063da3fa1932ac35802c6ada8562b20e8d888a4b421c200957294d"><div class="ttname"><a href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6ada8562b20e8d888a4b421c200957294d">SVF::VFG::PTRONLYSVFG</a></div><div class="ttdeci">@ PTRONLYSVFG</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00057">VFG.h:57</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFG_html_ac2e2f555975063da3fa1932ac35802c6a5a28e6fd51e73e076091d4b6f4e61eaa"><div class="ttname"><a href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a5a28e6fd51e73e076091d4b6f4e61eaa">SVF::VFG::FULLSVFG</a></div><div class="ttdeci">@ FULLSVFG</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00057">VFG.h:57</a></div></div>
 <div class="ttc" id="aAndersen_8h_html"><div class="ttname"><a href="Andersen_8h.html">Andersen.h</a></div></div>

package/SVF-doxygen/html/SVFGOPT_8cpp_source.html

@@ -582,7 +582,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1IndirectSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html">SVF::IndirectSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00042">SVFGEdge.h:42</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_ae3ad3003a8d3df2f1e3463248bb5ad51"><div class="ttname"><a href="classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51">SVF::Options::DumpVFG</a></div><div class="ttdeci">static const Option&lt; bool &gt; DumpVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00122">Options.h:122</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ActualOUTSVFGNode_html"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html">SVF::ActualOUTSVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00229">SVFGNode.h:229</a></div></div>
-<div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00549">SVFType.h:549</a></div></div>
+<div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00568">SVFType.h:568</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00459">SparseBitVector.h:459</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFGEdge_html_a557334ef75bb5479b045f68c27b38701"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a557334ef75bb5479b045f68c27b38701">SVF::VFGEdge::SVFGEdgeSetTy</a></div><div class="ttdeci">VFGEdgeSetTy SVFGEdgeSetTy</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00118">VFGEdge.h:118</a></div></div>
 <div class="ttc" id="aSVFGOPT_8cpp_html_a88c73f6d9c8ac75497c2e520a7d41935"><div class="ttname"><a href="SVFGOPT_8cpp.html#a88c73f6d9c8ac75497c2e520a7d41935">KeepContextSelfCycle</a></div><div class="ttdeci">static std::string KeepContextSelfCycle</div><div class="ttdef"><b>Definition:</b> <a href="SVFGOPT_8cpp_source.html#l00043">SVFGOPT.cpp:43</a></div></div>
@@ -638,7 +638,7 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a9ef14f68939b7678ddff83d544e024cc"><div class="ttname"><a href="classSVF_1_1Options.html#a9ef14f68939b7678ddff83d544e024cc">SVF::Options::SelfCycle</a></div><div class="ttdeci">static const Option&lt; std::string &gt; SelfCycle</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00119">Options.h:119</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a09005e749b1030347ac5dcc015053a37"><div class="ttname"><a href="classSVF_1_1Options.html#a09005e749b1030347ac5dcc015053a37">SVF::Options::KeepAOFI</a></div><div class="ttdeci">static const Option&lt; bool &gt; KeepAOFI</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00118">Options.h:118</a></div></div>
-<div class="ttc" id="aSVFType_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 DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00543">SVFType.h:543</a></div></div>
+<div class="ttc" id="aSVFType_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 DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00562">SVFType.h:562</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFGOPT_html_a1fd6d26203d7d574b5664b8fcae54c1a"><div class="ttname"><a href="classSVF_1_1SVFGOPT.html#a1fd6d26203d7d574b5664b8fcae54c1a">SVF::SVFGOPT::replaceFParamARetWithPHI</a></div><div class="ttdeci">void replaceFParamARetWithPHI(PHISVFGNode *phi, SVFGNode *svfgNode)</div><div class="ttdoc">Replace FormalParam/ActualRet node with PHI node.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGOPT_8cpp_source.html#l00151">SVFGOPT.cpp:151</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RetIndSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1RetIndSVFGEdge.html">SVF::RetIndSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00165">SVFGEdge.h:165</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ActualParmVFGNode_html"><div class="ttname"><a href="classSVF_1_1ActualParmVFGNode.html">SVF::ActualParmVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00846">VFGNode.h:846</a></div></div>

package/SVF-doxygen/html/SVFGStat_8cpp_source.html

@@ -582,7 +582,7 @@ $(function() {
 <div class="ttc" id="aSVFGStat_8h_html"><div class="ttname"><a href="SVFGStat_8h.html">SVFGStat.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFGStat_html_a3c016e166b8e84eb3b98bc3717cba5d8"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a3c016e166b8e84eb3b98bc3717cba5d8">SVF::SVFGStat::processGraph</a></div><div class="ttdeci">void processGraph()</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8cpp_source.html#l00244">SVFGStat.cpp:244</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemSSAStat_html_a3bc14307bd0f986cbd8ba5970f1abf0f"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a3bc14307bd0f986cbd8ba5970f1abf0f">SVF::MemSSAStat::NumOfStoreHasChi</a></div><div class="ttdeci">static const char * NumOfStoreHasChi</div><div class="ttdoc">Number of stores which have chi.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00074">SVFGStat.h:74</a></div></div>
-<div class="ttc" id="aSVFType_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00571">SVFType.h:571</a></div></div>
+<div class="ttc" id="aSVFType_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00590">SVFType.h:590</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IndirectSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html">SVF::IndirectSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00042">SVFGEdge.h:42</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PTAStat_html"><div class="ttname"><a href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00048">PTAStat.h:48</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFGStat_html_a5f0c72186ee16f5e88782b5edc9fa5b1"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a5f0c72186ee16f5e88782b5edc9fa5b1">SVF::SVFGStat::avgWeight</a></div><div class="ttdeci">int avgWeight</div><div class="ttdoc">average weight.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00204">SVFGStat.h:204</a></div></div>

package/SVF-doxygen/html/SVFG_8cpp_source.html

@@ -1156,7 +1156,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a1b5abe09fd0fcd337385653cb47343c1"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a1b5abe09fd0fcd337385653cb47343c1">SVF::SparseBitVector::end</a></div><div class="ttdeci">iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01120">SparseBitVector.h:1120</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFG_html"><div class="ttname"><a href="classSVF_1_1VFG.html">SVF::VFG</a></div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00050">VFG.h:50</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html_abf76d8157c49ddba24bdc9dab3655772"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#abf76d8157c49ddba24bdc9dab3655772">SVF::SparseBitVector::begin</a></div><div class="ttdeci">iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01115">SparseBitVector.h:1115</a></div></div>
-<div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00549">SVFType.h:549</a></div></div>
+<div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00568">SVFType.h:568</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFG_html_a9da50b8f467066b478143af64f7c9858"><div class="ttname"><a href="classSVF_1_1SVFG.html#a9da50b8f467066b478143af64f7c9858">SVF::SVFG::readFile</a></div><div class="ttdeci">virtual void readFile(const std::string &amp;filename)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGReadWrite_8cpp_source.html#l00207">SVFGReadWrite.cpp:207</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntraIndSVFGEdge_html_ae148fda488b6505a6cc4103aae30e291"><div class="ttname"><a href="classSVF_1_1IntraIndSVFGEdge.html#ae148fda488b6505a6cc4103aae30e291">SVF::IntraIndSVFGEdge::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00154">SVFG.cpp:154</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFG_html_a923924d3887c668b355f4029502a3754"><div class="ttname"><a href="classSVF_1_1SVFG.html#a923924d3887c668b355f4029502a3754">SVF::SVFG::addActualINSVFGNode</a></div><div class="ttdeci">void addActualINSVFGNode(const CallICFGNode *callsite, const MRVer *ver, const NodeID nodeId)</div><div class="ttdoc">Add memory callsite mu SVFG node.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00419">SVFG.h:419</a></div></div>
@@ -1322,7 +1322,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1CallMU_html_a57616dc30fb97c6dc64c9210b42bbeb7"><div class="ttname"><a href="classSVF_1_1CallMU.html#a57616dc30fb97c6dc64c9210b42bbeb7">SVF::CallMU::getCallSite</a></div><div class="ttdeci">const CallICFGNode * getCallSite() const</div><div class="ttdoc">Return callsite.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00241">MSSAMuChi.h:241</a></div></div>
 <div class="ttc" id="aclassSVF_1_1InterMSSAPHISVFGNode_html"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html">SVF::InterMSSAPHISVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00404">SVFGNode.h:404</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MSSAPHI_html_a940f9afa26bf54c7175276ea27003c2f"><div class="ttname"><a href="classSVF_1_1MSSAPHI.html#a940f9afa26bf54c7175276ea27003c2f">SVF::MSSAPHI::opVerBegin</a></div><div class="ttdeci">OPVers::const_iterator opVerBegin() const</div><div class="ttdoc">Operand ver iterators.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00673">MSSAMuChi.h:673</a></div></div>
-<div class="ttc" id="aSVFType_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 DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00543">SVFType.h:543</a></div></div>
+<div class="ttc" id="aSVFType_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 DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00562">SVFType.h:562</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFG_html_a6093609dcffa8e3b6bf78a97bda71872"><div class="ttname"><a href="classSVF_1_1SVFG.html#a6093609dcffa8e3b6bf78a97bda71872">SVF::SVFG::addIntraMSSAPHISVFGNode</a></div><div class="ttdeci">void addIntraMSSAPHISVFGNode(ICFGNode *BlockICFGNode, const Map&lt; u32_t, const MRVer * &gt;::const_iterator opVerBegin, const Map&lt; u32_t, const MRVer * &gt;::const_iterator opVerEnd, const MRVer *resVer, const NodeID nodeId)</div><div class="ttdoc">Add memory SSA PHI SVFG node.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00436">SVFG.h:436</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFG_html_ad9cc1581261182b56ae232d9a9b13296"><div class="ttname"><a href="classSVF_1_1SVFG.html#ad9cc1581261182b56ae232d9a9b13296">SVF::SVFG::hasCallSiteChi</a></div><div class="ttdeci">bool hasCallSiteChi(const CallICFGNode *cs) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00456">SVFG.h:456</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FormalOUTSVFGNode_html_af5235111849f826880c10d7bcc635748"><div class="ttname"><a href="classSVF_1_1FormalOUTSVFGNode.html#af5235111849f826880c10d7bcc635748">SVF::FormalOUTSVFGNode::funExitNode</a></div><div class="ttdeci">const FunExitICFGNode * funExitNode</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00142">SVFGNode.h:142</a></div></div>

package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html

@@ -817,7 +817,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a07b135c218f56fdab8ef8504190563df"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">SVF::ConsExeState::_varToVal</a></div><div class="ttdeci">VarToValMap _varToVal</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00058">ConsExeState.h:58</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PhiStmt_html"><div class="ttname"><a href="classSVF_1_1PhiStmt.html">SVF::PhiStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00747">SVFStatements.h:747</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SelectStmt_html_af64d7855e352a0afb5d2e98a8622a4ad"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#af64d7855e352a0afb5d2e98a8622a4ad">SVF::SelectStmt::getFalseValue</a></div><div class="ttdeci">const SVFVar * getFalseValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00861">SVFStatements.h:861</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFPointerType_html"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html">SVF::SVFPointerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00332">SVFType.h:332</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFPointerType_html"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html">SVF::SVFPointerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00344">SVFType.h:344</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a5c6efcc023e90ef2e618586091958c59"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">SVF::MultiOpndStmt::getOpVarID</a></div><div class="ttdeci">NodeID getOpVarID(u32_t pos) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00284">SVFStatements.cpp:284</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AddressValue_html_acad5216bdc02a234d57abfe9ae72a12a"><div class="ttname"><a href="classSVF_1_1AddressValue.html#acad5216bdc02a234d57abfe9ae72a12a">SVF::AddressValue::join_with</a></div><div class="ttdeci">bool join_with(const AddressValue &amp;other)</div><div class="ttdoc">Current AddressValue joins with another AddressValue.</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00139">AddressValue.h:139</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AddressValue_html_ae93859318bf4f618b4cf681988a870ce"><div class="ttname"><a href="classSVF_1_1AddressValue.html#ae93859318bf4f618b4cf681988a870ce">SVF::AddressValue::size</a></div><div class="ttdeci">u32_t size() const</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00118">AddressValue.h:118</a></div></div>
@@ -912,7 +912,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca6eef834451ec753add639be49c51f03f"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6eef834451ec753add639be49c51f03f">SVF::CmpStmt::ICMP_NE</a></div><div class="ttdeci">@ ICMP_NE</div><div class="ttdoc">not equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00908">SVFStatements.h:908</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemObj_html_a7f828731597450f1d43b61413ab0e7bb"><div class="ttname"><a href="classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb">SVF::MemObj::isConstantArray</a></div><div class="ttdeci">bool isConstantArray() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00520">SymbolTableInfo.cpp:520</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CmpStmt_html_aa6a21fb1cfbc263bb38651176c495632"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt::getPredicate</a></div><div class="ttdeci">u32_t getPredicate() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00945">SVFStatements.h:945</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01271">LLVMUtil.cpp:1271</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01281">LLVMUtil.cpp:1281</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AddressValue_html"><div class="ttname"><a href="classSVF_1_1AddressValue.html">SVF::AddressValue</a></div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00041">AddressValue.h:41</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a4537a3df1217e01d024c3a24f7b5a2f0"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a4537a3df1217e01d024c3a24f7b5a2f0">SVF::SVFIR2ConsExeState::initObjVar</a></div><div class="ttdeci">void initObjVar(const ObjVar *objVar, u32_t varId)</div><div class="ttdoc">Init ConZ3Expr for ObjVar.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00721">SVFIR2ConsExeState.cpp:721</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SelectStmt_html_a537c03b08444da34c26b9e989bb0e568"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#a537c03b08444da34c26b9e989bb0e568">SVF::SelectStmt::getTrueValue</a></div><div class="ttdeci">const SVFVar * getTrueValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00857">SVFStatements.h:857</a></div></div>
@@ -933,7 +933,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_afc9c3372eb142afdb3eb8956adf53c33"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#afc9c3372eb142afdb3eb8956adf53c33">SVF::SVFIR2ConsExeState::getGepObjAddress</a></div><div class="ttdeci">VAddrs getGepObjAddress(u32_t base, s32_t offset)</div><div class="ttdoc">Return the expr of gep object given a base and offset.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00582">SVFIR2ConsExeState.cpp:582</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_aaab923c093730b1670a54f09340b1bd5"><div class="ttname"><a href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">SVF::Options::MaxFieldLimit</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; MaxFieldLimit</div><div class="ttdoc">Maximum number of field derivations for an object.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00038">Options.h:38</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a870b63af2bf9fe43cdf1df3d56b20f6c"><div class="ttname"><a href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">SVF::SVFType::isPointerTy</a></div><div class="ttdeci">bool isPointerTy() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00319">SVFType.h:319</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a870b63af2bf9fe43cdf1df3d56b20f6c"><div class="ttname"><a href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">SVF::SVFType::isPointerTy</a></div><div class="ttdeci">bool isPointerTy() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00321">SVFType.h:321</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a57adf31d54810533526d6e33bdeb386c"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a57adf31d54810533526d6e33bdeb386c">SVF::SVFIR2ConsExeState::translateCall</a></div><div class="ttdeci">void translateCall(const CallPE *callPE)</div><div class="ttdoc">https://llvm.org/docs/LangRef.html#call-instruction</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00481">SVFIR2ConsExeState.cpp:481</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFVar_html_ab6f95d3e7e099d75cfc9645ebc037047"><div class="ttname"><a href="classSVF_1_1SVFVar.html#ab6f95d3e7e099d75cfc9645ebc037047">SVF::SVFVar::getType</a></div><div class="ttdeci">virtual const SVFType * getType() const</div><div class="ttdoc">Return type of the value.</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00107">SVFVariables.h:107</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acac5a87d53b1ad255cec18b3784cd81f80"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac5a87d53b1ad255cec18b3784cd81f80">SVF::CmpStmt::ICMP_SGE</a></div><div class="ttdeci">@ ICMP_SGE</div><div class="ttdoc">signed greater or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00914">SVFStatements.h:914</a></div></div>