npm - svf-tools - Versions diffs - 1.0.309 → 1.0.313 - Mend

svf-tools 1.0.309 → 1.0.313

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 (418) hide show

package/SVF-doxygen/html/html/saber_8cpp.html CHANGED Viewed

@@ -288,7 +288,7 @@ Functions</h2></td></tr>
 <div class="fragment"><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;{</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;    <span class="keywordtype">int</span> arg_num = 0;</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;    <span class="keywordtype">char</span> **arg_value = <span class="keyword">new</span> <span class="keywordtype">char</span>*[argc];</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;    std::vector&lt;std::string&gt; moduleNameVec;</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;    <a class="code" href="namespaceSVF_1_1SVFUtil.html#a62ca9a79ce7b6960e3fc42d8b183bd50">SVFUtil::processArguments</a>(argc, argv, arg_num, arg_value, moduleNameVec);</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    cl::ParseCommandLineOptions(arg_num, arg_value,</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;                                <span class="stringliteral">&quot;Source-Sink Bug Detector\n&quot;</span>);</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;    <span class="keywordflow">if</span> (Options::WriteAnder == <span class="stringliteral">&quot;ir_annotator&quot;</span>)</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;    {</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;        LLVMModuleSet::getLLVMModuleSet()-&gt;preProcessBCs(moduleNameVec);</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;    }</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;    <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* svfModule = LLVMModuleSet::getLLVMModuleSet()-&gt;buildSVFModule(moduleNameVec);</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    svfModule-&gt;<a class="code" href="classSVF_1_1SVFModule.html#aa03ab5272652290f30870c6e2d053d98">buildSymbolTableInfo</a>();</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;    <a class="code" href="classSVF_1_1LeakChecker.html">LeakChecker</a> *saber;</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    <span class="keywordflow">if</span>(<a class="code" href="saber_8cpp.html#a3bebf1fb890054c49ae16f9706fa38d2">LEAKCHECKER</a>)</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;        saber = <span class="keyword">new</span> <a class="code" href="classSVF_1_1LeakChecker.html">LeakChecker</a>();</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;    <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="saber_8cpp.html#ae054770c30aa9b9ef72d5bc84084b472">FILECHECKER</a>)</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;        saber = <span class="keyword">new</span> <a class="code" href="classSVF_1_1FileChecker.html">FileChecker</a>();</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="saber_8cpp.html#ae783b2330e99490ef5d366605d1098cf">DFREECHECKER</a>)</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;        saber = <span class="keyword">new</span> <a class="code" href="classSVF_1_1DoubleFreeChecker.html">DoubleFreeChecker</a>();</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;        saber = <span class="keyword">new</span> <a class="code" href="classSVF_1_1LeakChecker.html">LeakChecker</a>();  <span class="comment">// if no checker is specified, we use leak checker as the default one.</span></div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    saber-&gt;<a class="code" href="classSVF_1_1LeakChecker.html#ab3bb79d88d73c8b881d714921e7b5e12">runOnModule</a>(svfModule);</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;}</div><div class="ttc" id="classSVF_1_1LeakChecker_html"><div class="ttname"><a href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></div><div class="ttdef"><b>Definition:</b> <a href="LeakChecker_8h_source.html#l00042">LeakChecker.h:42</a></div></div>
 <div class="ttc" id="classSVF_1_1DoubleFreeChecker_html"><div class="ttname"><a href="classSVF_1_1DoubleFreeChecker.html">SVF::DoubleFreeChecker</a></div><div class="ttdef"><b>Definition:</b> <a href="DoubleFreeChecker_8h_source.html#l00042">DoubleFreeChecker.h:42</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a62ca9a79ce7b6960e3fc42d8b183bd50"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a62ca9a79ce7b6960e3fc42d8b183bd50">SVF::SVFUtil::processArguments</a></div><div class="ttdeci">void processArguments(int argc, char **argv, int &amp;arg_num, char **arg_value, std::vector&lt; std::string &gt; &amp;moduleNameVec)</div><div class="ttdoc">Parse argument for multi-module analysis. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00369">LLVMUtil.cpp:369</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00038">SVFModule.h:38</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00041">SVFModule.h:41</a></div></div>
 <div class="ttc" id="classSVF_1_1FileChecker_html"><div class="ttname"><a href="classSVF_1_1FileChecker.html">SVF::FileChecker</a></div><div class="ttdef"><b>Definition:</b> <a href="FileChecker_8h_source.html#l00042">FileChecker.h:42</a></div></div>
 <div class="ttc" id="saber_8cpp_html_a3bebf1fb890054c49ae16f9706fa38d2"><div class="ttname"><a href="saber_8cpp.html#a3bebf1fb890054c49ae16f9706fa38d2">LEAKCHECKER</a></div><div class="ttdeci">static llvm::cl::opt&lt; bool &gt; LEAKCHECKER(&quot;leak&quot;, llvm::cl::init(false), llvm::cl::desc(&quot;Memory Leak Detection&quot;))</div></div>
 <div class="ttc" id="saber_8cpp_html_ae054770c30aa9b9ef72d5bc84084b472"><div class="ttname"><a href="saber_8cpp.html#ae054770c30aa9b9ef72d5bc84084b472">FILECHECKER</a></div><div class="ttdeci">static llvm::cl::opt&lt; bool &gt; FILECHECKER(&quot;fileck&quot;, llvm::cl::init(false), llvm::cl::desc(&quot;File Open/Close Detection&quot;))</div></div>

package/SVF-doxygen/html/html/saber_8cpp_source.html CHANGED Viewed

@@ -73,7 +73,7 @@ $(function() {
 <div class="ttc" id="FileChecker_8h_html"><div class="ttname"><a href="FileChecker_8h.html">FileChecker.h</a></div></div>
 <div class="ttc" id="saber_8cpp_html_a3c04138a5bfe5d72780bb7e82a18e627"><div class="ttname"><a href="saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a></div><div class="ttdeci">int main(int argc, char **argv)</div><div class="ttdef"><b>Definition:</b> <a href="saber_8cpp_source.html#l00050">saber.cpp:50</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a62ca9a79ce7b6960e3fc42d8b183bd50"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a62ca9a79ce7b6960e3fc42d8b183bd50">SVF::SVFUtil::processArguments</a></div><div class="ttdeci">void processArguments(int argc, char **argv, int &amp;arg_num, char **arg_value, std::vector&lt; std::string &gt; &amp;moduleNameVec)</div><div class="ttdoc">Parse argument for multi-module analysis. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00369">LLVMUtil.cpp:369</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00038">SVFModule.h:38</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00041">SVFModule.h:41</a></div></div>
 <div class="ttc" id="LeakChecker_8h_html"><div class="ttname"><a href="LeakChecker_8h.html">LeakChecker.h</a></div></div>
 <div class="ttc" id="classSVF_1_1FileChecker_html"><div class="ttname"><a href="classSVF_1_1FileChecker.html">SVF::FileChecker</a></div><div class="ttdef"><b>Definition:</b> <a href="FileChecker_8h_source.html#l00042">FileChecker.h:42</a></div></div>
 <div class="ttc" id="saber_8cpp_html_a3bebf1fb890054c49ae16f9706fa38d2"><div class="ttname"><a href="saber_8cpp.html#a3bebf1fb890054c49ae16f9706fa38d2">LEAKCHECKER</a></div><div class="ttdeci">static llvm::cl::opt&lt; bool &gt; LEAKCHECKER(&quot;leak&quot;, llvm::cl::init(false), llvm::cl::desc(&quot;Memory Leak Detection&quot;))</div></div>

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

@@ -354,11 +354,12 @@ var searchData=
   ['analysisusage',['AnalysisUsage',['../namespaceSVF.html#a73f84dcc6371f1503f6e7cec3387f9a2',1,'SVF']]],
   ['analyze',['analyze',['../classSVF_1_1ContextDDA.html#ac8fe1cb3af6048a28028f00bb87a5eba',1,'SVF::ContextDDA::analyze()'],['../classSVF_1_1FlowDDA.html#aa26f9b5ba2e51f904d8ede1db8584460',1,'SVF::FlowDDA::analyze()'],['../classSVF_1_1PointerAnalysis.html#ae1e217dc18be0ce70bee5ad930cb54c6',1,'SVF::PointerAnalysis::analyze()'],['../classSVF_1_1LockAnalysis.html#ad1516b6cb1dbd06b8dff04ae3c944621',1,'SVF::LockAnalysis::analyze()'],['../classSVF_1_1LockResultValidator.html#a88ff3ed1398a0b847d71a4c0352ed66d',1,'SVF::LockResultValidator::analyze()'],['../classSVF_1_1MHP.html#a02457fa6e3c85c897ec3b3d8db18cc4b',1,'SVF::MHP::analyze()'],['../classSVF_1_1MTAResultValidator.html#a462f1554e058b656861abfb0aa2e47ff',1,'SVF::MTAResultValidator::analyze()'],['../classSVF_1_1RaceResultValidator.html#ab8a261120a7f6520d22a6f5cdf2257e9',1,'SVF::RaceResultValidator::analyze()'],['../classSVF_1_1PCG.html#a50b677ec622247a464cee7f0f45c5a53',1,'SVF::PCG::analyze()'],['../classSVF_1_1SrcSnkDDA.html#ac12d813bcba4ec70de5e9048bbe16afc',1,'SVF::SrcSnkDDA::analyze()'],['../classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751',1,'SVF::AndersenBase::analyze()'],['../classSVF_1_1FlowSensitive.html#a267f7198600dde3054feb40def7a6681',1,'SVF::FlowSensitive::analyze()'],['../classSVF_1_1FlowSensitiveTBHC.html#abcab6281cced08d90c92d67d43a37c2c',1,'SVF::FlowSensitiveTBHC::analyze()'],['../classSVF_1_1TypeAnalysis.html#a6073fc43443ceba8d77212ba04e483ef',1,'SVF::TypeAnalysis::analyze()']]],
   ['analyzeforkjoinpair',['analyzeForkJoinPair',['../classSVF_1_1ForkJoinAnalysis.html#a16061e7c28e7a9177d9ab798c102b815',1,'SVF::ForkJoinAnalysis']]],
-  ['analyzeglobalstackobjtype',['analyzeGlobalStackObjType',['../classSVF_1_1ObjTypeInfo.html#acc90d7a517c58ac86ef8109dcece3f10',1,'SVF::ObjTypeInfo']]],
-  ['analyzeheapstaticobjtype',['analyzeHeapStaticObjType',['../classSVF_1_1ObjTypeInfo.html#a57ffe17476467619e844b27cb292149a',1,'SVF::ObjTypeInfo']]],
+  ['analyzeglobalstackobjtype',['analyzeGlobalStackObjType',['../classSVF_1_1SymbolTableInfo.html#a36140622c6761ac5d1307308ff5b147f',1,'SVF::SymbolTableInfo']]],
+  ['analyzeheapobjtype',['analyzeHeapObjType',['../classSVF_1_1ObjTypeInfo.html#a66692043a56c327ac7ac00cc3126cd78',1,'SVF::ObjTypeInfo']]],
   ['analyzeinterleaving',['analyzeInterleaving',['../classSVF_1_1MHP.html#adfd90a8d20d630bc3813f5ed71d3abf7',1,'SVF::MHP']]],
   ['analyzeintraproceduallock',['analyzeIntraProcedualLock',['../classSVF_1_1LockAnalysis.html#a8a34f7544f22a87e1caf010c34abda75',1,'SVF::LockAnalysis']]],
   ['analyzelockspancxtstmt',['analyzeLockSpanCxtStmt',['../classSVF_1_1LockAnalysis.html#a00ccd89eff3fe8fec397df101f927cbe',1,'SVF::LockAnalysis']]],
+  ['analyzestaticobjtype',['analyzeStaticObjType',['../classSVF_1_1ObjTypeInfo.html#aa8b97a2cbd2de56b3c6c5c0e2e0a2211',1,'SVF::ObjTypeInfo']]],
   ['analyzevtables',['analyzeVTables',['../classSVF_1_1CHGraph.html#a0685bd653851a903f765e21aec0fdbd1',1,'SVF::CHGraph']]],
   ['and',['AND',['../classSVF_1_1BranchCondManager.html#a739f4206abf4f367dc796e9fd35d4d04',1,'SVF::BranchCondManager::AND()'],['../classSVF_1_1CondManager.html#a4b88160366a7c7b2bf7e2ab632ed04c7',1,'SVF::CondManager::AND()']]],
   ['ander',['ander',['../classSVF_1_1FlowSensitive.html#a5cfee013a1a5821ef0c449842dd8690d',1,'SVF::FlowSensitive']]],

package/SVF-doxygen/html/html/search/all_10.js CHANGED Viewed

@@ -11,7 +11,7 @@ var searchData=
   ['pagbuilderfromfile_2eh',['PAGBuilderFromFile.h',['../PAGBuilderFromFile_8h.html',1,'']]],
   ['pagdotgraph',['PAGDotGraph',['../classSVF_1_1Options.html#a3a20311c732fb391332ae0ee1cb450a0',1,'SVF::Options']]],
   ['pagdotgraphshorter',['PAGDotGraphShorter',['../classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c',1,'SVF::Options']]],
-  ['pagedge',['PAGEdge',['../classSVF_1_1PAGEdge.html',1,'SVF::PAGEdge'],['../classSVF_1_1PAGEdge.html#ab686138c420a0b03cf8f1c1dff044318',1,'SVF::PAGEdge::PAGEdge()'],['../classSVF_1_1StmtVFGNode.html#ab5f48de8258f92bb7b9d411e178beb49',1,'SVF::StmtVFGNode::pagEdge()']]],
+  ['pagedge',['PAGEdge',['../classSVF_1_1PAGEdge.html',1,'SVF::PAGEdge'],['../classSVF_1_1StmtVFGNode.html#ab5f48de8258f92bb7b9d411e178beb49',1,'SVF::StmtVFGNode::pagEdge()'],['../classSVF_1_1PAGEdge.html#ab686138c420a0b03cf8f1c1dff044318',1,'SVF::PAGEdge::PAGEdge()']]],
   ['pagedge_2eh',['PAGEdge.h',['../PAGEdge_8h.html',1,'']]],
   ['pagedgekindtosetmap',['PAGEdgeKindToSetMap',['../classSVF_1_1PAG.html#a32c107e02c73642ff4afd08b6cf22232',1,'SVF::PAG']]],
   ['pagedgelist',['PAGEdgeList',['../classSVF_1_1ICFGNode.html#a31df97cc8bea7de78c99fcef820e3a96',1,'SVF::ICFGNode::PAGEdgeList()'],['../classSVF_1_1PAG.html#a3b70f1f3b785d735243962e83e210652',1,'SVF::PAG::PAGEdgeList()'],['../classSVF_1_1MRGenerator.html#a1715322c61a3f41f1a093098591869d4',1,'SVF::MRGenerator::PAGEdgeList()'],['../classSVF_1_1MemSSA.html#ac04de5e349ced05d7289b8ee55c86e34',1,'SVF::MemSSA::PAGEdgeList()']]],
@@ -71,7 +71,7 @@ var searchData=
   ['path_5fleak',['PATH_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da5ef9b70f9a245b7a6b94a4456daabcda',1,'SVF::LeakChecker']]],
   ['pathallocator',['pathAllocator',['../classSVF_1_1ProgSlice.html#adc27c77d68f54030bdbb714139a974e5',1,'SVF::ProgSlice']]],
   ['pathcond',['PathCond',['../classSVF_1_1VFPathCond.html#a69d1ab707592342b8890459697ce7258',1,'SVF::VFPathCond::PathCond()'],['../classSVF_1_1PathStmtDPItem.html#a9092ac46745ceac6c9d9e7e560df6e86',1,'SVF::PathStmtDPItem::PathCond()']]],
-  ['pathcondallocator',['PathCondAllocator',['../classSVF_1_1PathCondAllocator.html',1,'SVF::PathCondAllocator'],['../classSVF_1_1PathCondAllocator.html#ad7ff43210c36654ae775e0542be79da1',1,'SVF::PathCondAllocator::PathCondAllocator()'],['../classSVF_1_1SrcSnkDDA.html#a3008dc334d4500516507544a86ec6d9c',1,'SVF::SrcSnkDDA::pathCondAllocator()']]],
+  ['pathcondallocator',['PathCondAllocator',['../classSVF_1_1PathCondAllocator.html',1,'SVF::PathCondAllocator'],['../classSVF_1_1SrcSnkDDA.html#a3008dc334d4500516507544a86ec6d9c',1,'SVF::SrcSnkDDA::pathCondAllocator()'],['../classSVF_1_1PathCondAllocator.html#ad7ff43210c36654ae775e0542be79da1',1,'SVF::PathCondAllocator::PathCondAllocator()']]],
   ['pathcondallocator_2ecpp',['PathCondAllocator.cpp',['../PathCondAllocator_8cpp.html',1,'']]],
   ['pathcondallocator_2eh',['PathCondAllocator.h',['../PathCondAllocator_8h.html',1,'']]],
   ['pathdpitem_2eh',['PathDPItem.h',['../PathDPItem_8h.html',1,'']]],
@@ -199,7 +199,7 @@ var searchData=
   ['printlocks',['printLocks',['../classSVF_1_1LockAnalysis.html#ac1b42b0a53feae04f848e5b0828ff01a',1,'SVF::LockAnalysis']]],
   ['printlockspan',['PrintLockSpan',['../classSVF_1_1Options.html#ab8a9641b660197b4421fbd6141858c58',1,'SVF::Options']]],
   ['printmodel',['printModel',['../classSVF_1_1CondManager.html#ab9772aa1a35e963ccc9ce1007ebc1310',1,'SVF::CondManager']]],
-  ['printpathcond',['printPathCond',['../classSVF_1_1PathCondAllocator.html#a2932b15ef74e46b676075ba1b2e82111',1,'SVF::PathCondAllocator::printPathCond()'],['../classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496',1,'SVF::Options::PrintPathCond()']]],
+  ['printpathcond',['PrintPathCond',['../classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496',1,'SVF::Options::PrintPathCond()'],['../classSVF_1_1PathCondAllocator.html#a2932b15ef74e46b676075ba1b2e82111',1,'SVF::PathCondAllocator::printPathCond()']]],
   ['printpts',['printPts',['../svf-ex_8cpp.html#ae004a620ad67220b6dd8212a2ad625a9',1,'svf-ex.cpp']]],
   ['printquerypts',['PrintQueryPts',['../classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10',1,'SVF::Options::PrintQueryPts()'],['../classSVF_1_1DDAPass.html#afc700bd3abb5d9199621741b9bd04f0f',1,'SVF::DDAPass::printQueryPTS()']]],
   ['printresults',['printResults',['../classSVF_1_1PCG.html#ab8a16eb34da91f2b7cd5a456653b1da0',1,'SVF::PCG']]],
@@ -300,14 +300,14 @@ var searchData=
   ['ptronlymssa',['ptrOnlyMSSA',['../classSVF_1_1MRGenerator.html#a6a62d2dede5d2506c19b2d058d1cd9d3',1,'SVF::MRGenerator']]],
   ['ptronlysvfg',['PTRONLYSVFG',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6ada8562b20e8d888a4b421c200957294d',1,'SVF::VFG']]],
   ['ptronlysvfg_5fopt',['PTRONLYSVFG_OPT',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd',1,'SVF::VFG']]],
-  ['ptrtobvptsmap',['PtrToBVPtsMap',['../classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b',1,'SVF::CondPTAImpl::PtrToBVPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e',1,'SVF::CondPTAImpl::ptrToBVPtsMap()']]],
+  ['ptrtobvptsmap',['ptrToBVPtsMap',['../classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e',1,'SVF::CondPTAImpl::ptrToBVPtsMap()'],['../classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b',1,'SVF::CondPTAImpl::PtrToBVPtsMap()']]],
   ['ptrtocptsmap',['ptrToCPtsMap',['../classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a',1,'SVF::CondPTAImpl::ptrToCPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09',1,'SVF::CondPTAImpl::PtrToCPtsMap()']]],
   ['ptrtointinst',['PtrToIntInst',['../namespaceSVF.html#a3d5581c375ee3fe856327dc648c379f0',1,'SVF']]],
   ['ptrtonsmap',['PtrToNSMap',['../classSVF_1_1CondPTAImpl.html#a838c3f2be39d278072f7a9df7c0bcb4d',1,'SVF::CondPTAImpl']]],
   ['ptruint',['ptruint',['../cuddInt_8h.html#afd9afe0bf7ac5855fcd5eb42ea5fcb18',1,'cuddInt.h']]],
   ['ptsallprint',['PTSAllPrint',['../classSVF_1_1Options.html#a113ee30422ef08b6790eed9a83277b9c',1,'SVF::Options']]],
   ['ptsdiff',['PtsDiff',['../classSVF_1_1Options.html#acf7262c0b0bd91e6dab56a631be51206',1,'SVF::Options']]],
-  ['ptsmap',['PtsMap',['../classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e',1,'SVF::MutablePTData::PtsMap()'],['../classSVF_1_1MutableDiffPTData.html#a5d64ef2d4b9ab65cc7a9e33bb6fe47cf',1,'SVF::MutableDiffPTData::PtsMap()'],['../classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205',1,'SVF::MutableDFPTData::PtsMap()'],['../classSVF_1_1FlowSensitive.html#a7bb300f30f4f8cee208229ae10faa291',1,'SVF::FlowSensitive::PtsMap()'],['../classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e',1,'SVF::FlowSensitiveStat::PtsMap()'],['../classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942',1,'SVF::MutablePTData::ptsMap()'],['../classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e',1,'SVF::PersistentPTData::ptsMap()']]],
+  ['ptsmap',['ptsMap',['../classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942',1,'SVF::MutablePTData::ptsMap()'],['../classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e',1,'SVF::PersistentPTData::ptsMap()'],['../classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e',1,'SVF::MutablePTData::PtsMap()'],['../classSVF_1_1MutableDiffPTData.html#a5d64ef2d4b9ab65cc7a9e33bb6fe47cf',1,'SVF::MutableDiffPTData::PtsMap()'],['../classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205',1,'SVF::MutableDFPTData::PtsMap()'],['../classSVF_1_1FlowSensitive.html#a7bb300f30f4f8cee208229ae10faa291',1,'SVF::FlowSensitive::PtsMap()'],['../classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e',1,'SVF::FlowSensitiveStat::PtsMap()']]],
   ['ptsmapconstiter',['PtsMapConstIter',['../classSVF_1_1MutablePTData.html#ae9c96f369fbe955a841badcf3fcfcc03',1,'SVF::MutablePTData::PtsMapConstIter()'],['../classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24',1,'SVF::MutableDFPTData::PtsMapConstIter()']]],
   ['ptsmapiter',['PtsMapIter',['../classSVF_1_1MutablePTData.html#ad08dbfa28cd0d622322091d6600748ed',1,'SVF::MutablePTData']]],
   ['ptsprint',['PTSPrint',['../classSVF_1_1Options.html#ace0fa364337374ce75a58a9e2f229e24',1,'SVF::Options']]],

package/SVF-doxygen/html/html/search/all_12.js CHANGED Viewed

@@ -141,7 +141,7 @@ var searchData=
   ['resulttype',['ResultType',['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a052f7cd3a81e368060f132bf0268fa68',1,'SVF::SVFUtil::cast_retty_impl&lt; To, std::unique_ptr&lt; From &gt; &gt;']]],
   ['resumeinst',['ResumeInst',['../namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa',1,'SVF']]],
   ['resver',['resVer',['../classSVF_1_1IntraMSSAPHISVFGNode.html#a84832f678de1f497b4f3d7720a0bc58a',1,'SVF::IntraMSSAPHISVFGNode::resVer()'],['../classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813',1,'SVF::MSSADEF::resVer()']]],
-  ['ret',['Ret',['../classSVF_1_1PAGEdge.html#a79080505b4744aa8806b55215ac2b0f6a99fe431c7a635d39b5558d1048a94c05',1,'SVF::PAGEdge::Ret()'],['../classSVF_1_1CallBlockNode.html#a3d0f509f08dd017efecc949f0a98e1af',1,'SVF::CallBlockNode::ret()']]],
+  ['ret',['ret',['../classSVF_1_1CallBlockNode.html#a3d0f509f08dd017efecc949f0a98e1af',1,'SVF::CallBlockNode::ret()'],['../classSVF_1_1PAGEdge.html#a79080505b4744aa8806b55215ac2b0f6a99fe431c7a635d39b5558d1048a94c05',1,'SVF::PAGEdge::Ret()']]],
   ['ret_5ftype',['ret_type',['../structSVF_1_1SVFUtil_1_1cast__retty__impl.html#a5f8f6d651931eba7e0fa14c26a691a04',1,'SVF::SVFUtil::cast_retty_impl::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_4.html#ad0bc349135b60cc51fd040b615a979f7',1,'SVF::SVFUtil::cast_retty_impl&lt; To, const From &gt;::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01From_01_5_01_4.html#a86c02dc15b65d0c052ea4447b3fb6333',1,'SVF::SVFUtil::cast_retty_impl&lt; To, From * &gt;::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5_01_4.html#a98a60de95a331a34dcbad6da9961a9b7',1,'SVF::SVFUtil::cast_retty_impl&lt; To, const From * &gt;::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5const_01_4.html#add8668ca96bbf0808c146cc81c62267c',1,'SVF::SVFUtil::cast_retty_impl&lt; To, const From *const &gt;::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a3bf80190e39c339d4e3ec703789ae845',1,'SVF::SVFUtil::cast_retty_impl&lt; To, std::unique_ptr&lt; From &gt; &gt;::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__wrap.html#af3d80ab43e47626f32c91a6c4454e82e',1,'SVF::SVFUtil::cast_retty_wrap::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#ad989c130f2b6cd5a0f1ba0c7abd62b9a',1,'SVF::SVFUtil::cast_retty_wrap&lt; To, FromTy, FromTy &gt;::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b',1,'SVF::SVFUtil::cast_retty::ret_type()']]],
   ['retargetdstofedge',['reTargetDstOfEdge',['../classSVF_1_1ConstraintGraph.html#a4db3484e3710c3f5cc86ec32dd643722',1,'SVF::ConstraintGraph']]],
   ['retargetedgesofainfout',['retargetEdgesOfAInFOut',['../classSVF_1_1SVFGOPT.html#abefe3efa0232106f1843351ff6dd1063',1,'SVF::SVFGOPT']]],

package/SVF-doxygen/html/html/search/all_13.js CHANGED Viewed

@@ -22,18 +22,18 @@ var searchData=
   ['sb_5finfesible',['SB_INFESIBLE',['../classSVF_1_1Annotator.html#a556138c152d52921d6f0a709a826a93a',1,'SVF::Annotator']]],
   ['sb_5fslicesink',['SB_SLICESINK',['../classSVF_1_1Annotator.html#a3edacb8703c74abf42c4a29761a3437f',1,'SVF::Annotator']]],
   ['sb_5fslicesource',['SB_SLICESOURCE',['../classSVF_1_1Annotator.html#a01900f5ada5948361cc18857aee26744',1,'SVF::Annotator']]],
-  ['sbv',['sbv',['../classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084',1,'SVF::PointsTo::sbv()'],['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a',1,'SVF::PointsTo::SBV()']]],
+  ['sbv',['SBV',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a',1,'SVF::PointsTo::SBV()'],['../classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084',1,'SVF::PointsTo::sbv()']]],
   ['sbvit',['sbvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ac13245e140ab7c488c776b8dd97facf4',1,'SVF::PointsTo::PointsToIterator']]],
   ['scalar',['SCALAR',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb',1,'SVF::DCHNode']]],
   ['scalarevolution',['ScalarEvolution',['../namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42',1,'SVF']]],
   ['scalarevolutionwrapperpass',['ScalarEvolutionWrapperPass',['../namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01',1,'SVF']]],
-  ['scc',['SCC',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html',1,'SVF::VersionedFlowSensitive::SCC'],['../classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629',1,'SVF::MRGenerator::SCC()'],['../classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33',1,'SVF::WPASolver::SCC()'],['../classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70',1,'SVF::WPASolver::scc()']]],
+  ['scc',['SCC',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html',1,'SVF::VersionedFlowSensitive::SCC'],['../classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70',1,'SVF::WPASolver::scc()'],['../classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629',1,'SVF::MRGenerator::SCC()'],['../classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33',1,'SVF::WPASolver::SCC()']]],
   ['scc_2eh',['SCC.h',['../SCC_8h.html',1,'']]],
   ['scccandidates',['sccCandidates',['../classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40',1,'SVF::AndersenSCD']]],
   ['sccdetect',['SCCDetect',['../classSVF_1_1Andersen.html#a31ea24432ff42ab86a4728f2bde571bc',1,'SVF::Andersen::SCCDetect()'],['../classSVF_1_1AndersenWaveDiffWithType.html#aef46713e8407e5963c5c8f04ff1545d1',1,'SVF::AndersenWaveDiffWithType::SCCDetect()'],['../classSVF_1_1AndersenLCD.html#a078a58b3b3f18cca4e09ff5a9a8ed791',1,'SVF::AndersenLCD::SCCDetect()'],['../classSVF_1_1AndersenSCD.html#a70f69baf47587b742b5013a63a3ce593',1,'SVF::AndersenSCD::SCCDetect()'],['../classSVF_1_1FlowSensitive.html#a5f8a1493f7550a3f7a295e25d87bce12',1,'SVF::FlowSensitive::SCCDetect()'],['../classSVF_1_1WPAFSSolver.html#a2d4cfae34bd4a55f1fe03881c87f8708',1,'SVF::WPAFSSolver::SCCDetect()'],['../classSVF_1_1WPASolver.html#aaa932894d00b69cfa741f9987a9cc6b8',1,'SVF::WPASolver::SCCDetect()'],['../classSVF_1_1WPASolver.html#a16d371c8f6a9bdb1ca984bcb287d6c5a',1,'SVF::WPASolver::SCCDetect(NodeSet &amp;candidates)']]],
   ['sccdetection',['SCCDetection',['../classSVF_1_1SCCDetection.html',1,'SVF::SCCDetection&lt; GraphType &gt;'],['../classSVF_1_1SCCDetection.html#a1bd915ba4079ddd5dd6e57a88129ffee',1,'SVF::SCCDetection::SCCDetection()']]],
   ['sccdetectiontime',['SCCDetectionTime',['../classSVF_1_1PTAStat.html#ad4c1cf3750341f73987c37745f3bd2aa',1,'SVF::PTAStat']]],
-  ['sccedgeflag',['sccEdgeFlag',['../classSVF_1_1ConstraintNode.html#a0fd9fca5ed82cf83dbd825d23c63783a',1,'SVF::ConstraintNode::sccEdgeFlag()'],['../classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c',1,'SVF::ConstraintNode::SCCEdgeFlag()']]],
+  ['sccedgeflag',['SCCEdgeFlag',['../classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c',1,'SVF::ConstraintNode::SCCEdgeFlag()'],['../classSVF_1_1ConstraintNode.html#a0fd9fca5ed82cf83dbd825d23c63783a',1,'SVF::ConstraintNode::sccEdgeFlag()']]],
   ['sccmergetime',['SCCMergeTime',['../classSVF_1_1PTAStat.html#a8c4101e697057269def501d14a987287',1,'SVF::PTAStat']]],
   ['sccrepnode',['sccRepNode',['../classSVF_1_1ConstraintGraph.html#a39b973543acdcdc5493832cc9d0f586f',1,'SVF::ConstraintGraph::sccRepNode()'],['../classSVF_1_1Andersen.html#aad706e332847e6b0892350a05028ba30',1,'SVF::Andersen::sccRepNode()'],['../classSVF_1_1WPAFSSolver.html#a0bbaffd1673cc3850217afad0ca56e42',1,'SVF::WPAFSSolver::sccRepNode()'],['../classSVF_1_1WPASolver.html#a3bd463cd456a1d58242f118328f51ddb',1,'SVF::WPASolver::sccRepNode()']]],
   ['sccsubnodes',['sccSubNodes',['../classSVF_1_1ConstraintGraph.html#aed605b010e313f4b11e95b83fe50e3b3',1,'SVF::ConstraintGraph::sccSubNodes()'],['../classSVF_1_1Andersen.html#acd2feff818906db49a1bb2d94c33db5f',1,'SVF::Andersen::sccSubNodes()']]],
@@ -291,7 +291,7 @@ var searchData=
   ['store2chisetmap',['store2ChiSetMap',['../classSVF_1_1MemSSA.html#a73d7465cf166d9ffa9d234d15edb375a',1,'SVF::MemSSA']]],
   ['storecgedge',['StoreCGEdge',['../classSVF_1_1StoreCGEdge.html',1,'SVF::StoreCGEdge'],['../classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815',1,'SVF::StoreCGEdge::StoreCGEdge()'],['../classSVF_1_1StoreCGEdge.html#a0f873b0be0ac726e412171119c5b3a50',1,'SVF::StoreCGEdge::StoreCGEdge(const StoreCGEdge &amp;)'],['../classSVF_1_1StoreCGEdge.html#afdba4e02b1ccdc19fdc18bbe43363e79',1,'SVF::StoreCGEdge::StoreCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
   ['storecgedgeset',['StoreCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a0f9d5eef25827ac1d380e5d8bd225025',1,'SVF::ConstraintGraph']]],
-  ['storechi',['StoreCHI',['../classSVF_1_1StoreCHI.html',1,'SVF::StoreCHI&lt; Cond &gt;'],['../classSVF_1_1StoreCHI.html#aa220094176013de75a81c0bfa974b99b',1,'SVF::StoreCHI::StoreCHI()'],['../classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b',1,'SVF::SVFG::STORECHI()'],['../classSVF_1_1MemSSA.html#a150e9d53ced1c143bba2d1026f739fa4',1,'SVF::MemSSA::STORECHI()']]],
+  ['storechi',['StoreCHI',['../classSVF_1_1StoreCHI.html',1,'SVF::StoreCHI&lt; Cond &gt;'],['../classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b',1,'SVF::SVFG::STORECHI()'],['../classSVF_1_1MemSSA.html#a150e9d53ced1c143bba2d1026f739fa4',1,'SVF::MemSSA::STORECHI()'],['../classSVF_1_1StoreCHI.html#aa220094176013de75a81c0bfa974b99b',1,'SVF::StoreCHI::StoreCHI()']]],
   ['storedd',['storedd',['../cuddInt_8c.html#a8ed518c7fe7ea969bd6981b71c37ec07',1,'storedd():&#160;cuddInt.c'],['../cuddInt_8c.html#ad90b4208ba9aa22e8f37b1ce723cdcf5',1,'STOREDD():&#160;cuddInt.c']]],
   ['storedstnodes',['storeDstNodes',['../classSVF_1_1AliasDDAClient.html#aaad2197cec53f7eae91b3c57c168447a',1,'SVF::AliasDDAClient']]],
   ['storeedgelabelcounter',['storeEdgeLabelCounter',['../classSVF_1_1PAGEdge.html#a6086285794f9fcab46458c37a79d962f',1,'SVF::PAGEdge']]],
@@ -302,9 +302,9 @@ var searchData=
   ['storeoutedges',['storeOutEdges',['../classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1',1,'SVF::ConstraintNode']]],
   ['storepe',['StorePE',['../classSVF_1_1StorePE.html',1,'SVF::StorePE'],['../classSVF_1_1StorePE.html#a077224fe9876211abacd4f4ff10ed062',1,'SVF::StorePE::StorePE()'],['../classSVF_1_1StorePE.html#aa9afd5b4bdf803c699c7ccdf0043b469',1,'SVF::StorePE::StorePE(const StorePE &amp;)'],['../classSVF_1_1StorePE.html#a5bc3df0d5c7356d5a64037cf4b56ba24',1,'SVF::StorePE::StorePE(PAGNode *s, PAGNode *d, const IntraBlockNode *st)']]],
   ['storereuse',['storeReuse',['../classSVF_1_1FlowSensitiveTBHC.html#ac7ed9100533dc399c71cdf017bfa2462',1,'SVF::FlowSensitiveTBHC']]],
-  ['storeset',['storeset',['../classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a',1,'SVF::MTAAnnotator::storeset()'],['../classSVF_1_1MTA.html#a891e56104b9c2daa8b052e3821e85b9b',1,'SVF::MTA::StoreSet()']]],
-  ['storestomrsmap',['storesToMRsMap',['../classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3',1,'SVF::MRGenerator::storesToMRsMap()'],['../classSVF_1_1MRGenerator.html#a9d2221818297a7abeb8d8736093105d0',1,'SVF::MRGenerator::StoresToMRsMap()']]],
-  ['storestopointstomap',['storesToPointsToMap',['../classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac',1,'SVF::MRGenerator::storesToPointsToMap()'],['../classSVF_1_1MRGenerator.html#a45e786ca09aa6cbfcf17d8e5a166a801',1,'SVF::MRGenerator::StoresToPointsToMap()']]],
+  ['storeset',['StoreSet',['../classSVF_1_1MTA.html#a891e56104b9c2daa8b052e3821e85b9b',1,'SVF::MTA::StoreSet()'],['../classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a',1,'SVF::MTAAnnotator::storeset()']]],
+  ['storestomrsmap',['StoresToMRsMap',['../classSVF_1_1MRGenerator.html#a9d2221818297a7abeb8d8736093105d0',1,'SVF::MRGenerator::StoresToMRsMap()'],['../classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3',1,'SVF::MRGenerator::storesToMRsMap()']]],
+  ['storestopointstomap',['StoresToPointsToMap',['../classSVF_1_1MRGenerator.html#a45e786ca09aa6cbfcf17d8e5a166a801',1,'SVF::MRGenerator::StoresToPointsToMap()'],['../classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac',1,'SVF::MRGenerator::storesToPointsToMap()']]],
   ['storesvfgnode',['StoreSVFGNode',['../namespaceSVF.html#a54c5725186e66ead6faf53c10a288714',1,'SVF']]],
   ['storetime',['storeTime',['../classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7',1,'SVF::FlowSensitive']]],
   ['storetochisetmap',['StoreToChiSetMap',['../classSVF_1_1MemSSA.html#a00fc1f85bd92da6f0033a1a385c792ad',1,'SVF::MemSSA']]],
@@ -359,7 +359,7 @@ var searchData=
   ['svfbb',['SVFBB',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea732cb3760ef56163428add79824174f4',1,'SVF::SVFValue']]],
   ['svffunc',['SVFFunc',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577',1,'SVF::SVFValue']]],
   ['svffunction',['SVFFunction',['../classSVF_1_1SVFFunction.html',1,'SVF::SVFFunction'],['../classSVF_1_1SVFFunction.html#aed73a0604a9fc5b6560ce87cfeaa3944',1,'SVF::SVFFunction::SVFFunction(const std::string &amp;val)'],['../classSVF_1_1SVFFunction.html#ae7a55d86a87088f7d70254980e4325b3',1,'SVF::SVFFunction::SVFFunction(Function *f)']]],
-  ['svfg',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF::SVFG'],['../classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef',1,'SVF::SVFGBuilder::svfg()'],['../classSVF_1_1ProgSlice.html#a457a759c552a1418538769d79d7a7dde',1,'SVF::ProgSlice::svfg()'],['../classSVF_1_1SrcSnkDDA.html#ae657ebdeae8a083cfec210859a0023e4',1,'SVF::SrcSnkDDA::svfg()'],['../classSVF_1_1FlowSensitive.html#aae032e5f5d53b131d0112dc8faa464a9',1,'SVF::FlowSensitive::svfg()'],['../classSVF_1_1SVFG.html#a68965c5a9cc5136aa0b593851c60ff12',1,'SVF::SVFG::SVFG()']]],
+  ['svfg',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF::SVFG'],['../classSVF_1_1SVFG.html#a68965c5a9cc5136aa0b593851c60ff12',1,'SVF::SVFG::SVFG()'],['../classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef',1,'SVF::SVFGBuilder::svfg()'],['../classSVF_1_1ProgSlice.html#a457a759c552a1418538769d79d7a7dde',1,'SVF::ProgSlice::svfg()'],['../classSVF_1_1SrcSnkDDA.html#ae657ebdeae8a083cfec210859a0023e4',1,'SVF::SrcSnkDDA::svfg()'],['../classSVF_1_1FlowSensitive.html#aae032e5f5d53b131d0112dc8faa464a9',1,'SVF::FlowSensitive::svfg()']]],
   ['svfg_2ecpp',['SVFG.cpp',['../SVFG_8cpp.html',1,'']]],
   ['svfg_2eh',['SVFG.h',['../SVFG_8h.html',1,'']]],
   ['svfgbuilder',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html',1,'SVF::SVFGBuilder'],['../classSVF_1_1DDAVFSolver.html#a0d563fe8b016b27a58f5b054fec9c38a',1,'SVF::DDAVFSolver::svfgBuilder()'],['../classSVF_1_1SVFG.html#ab2f81db3935389480baa5cb14e15e9d7',1,'SVF::SVFG::SVFGBuilder()'],['../classSVF_1_1SVFGBuilder.html#a003c6d9e13e5f73e0648d97400f1854e',1,'SVF::SVFGBuilder::SVFGBuilder()']]],

package/SVF-doxygen/html/html/search/all_14.js CHANGED Viewed

@@ -11,7 +11,7 @@ var searchData=
   ['tbhcstorereuse',['TBHCStoreReuse',['../classSVF_1_1Options.html#a10cc9fa1d4e553865343d635cf84592e',1,'SVF::Options']]],
   ['tcg',['tcg',['../classSVF_1_1MHP.html#a4b73d112880ad940e078e801f8725799',1,'SVF::MHP::tcg()'],['../classSVF_1_1MTA.html#a308ca0fa99b3c95f3e62b27522b6aeaa',1,'SVF::MTA::tcg()'],['../classSVF_1_1MTAResultValidator.html#abe087e2e8d92aa218ef282d2493193ef',1,'SVF::MTAResultValidator::tcg()'],['../classSVF_1_1TCT.html#ac9ddd6559e818f37c018ed5435182363',1,'SVF::TCT::tcg()']]],
   ['tcgscc',['tcgSCC',['../classSVF_1_1TCT.html#a30662928bafc97c1e7b123270ca69980',1,'SVF::TCT']]],
-  ['tct',['TCT',['../classSVF_1_1TCT.html',1,'SVF::TCT'],['../classSVF_1_1TCT.html#a8eaa746805b0afc17329d0ba4ad6a887',1,'SVF::TCT::TCT()'],['../classSVF_1_1LockAnalysis.html#a2c4a69b0f2381142c172b3043943c79d',1,'SVF::LockAnalysis::tct()'],['../classSVF_1_1MHP.html#a176eefb65e4ba99ee70513c8add44176',1,'SVF::MHP::tct()'],['../classSVF_1_1ForkJoinAnalysis.html#a2c6ce7aa04c399746d89230be0e0f1ce',1,'SVF::ForkJoinAnalysis::tct()'],['../classSVF_1_1MTA.html#a9c9a42fb8a8ada910cdb9a8fb55d7c36',1,'SVF::MTA::tct()']]],
+  ['tct',['TCT',['../classSVF_1_1TCT.html',1,'SVF::TCT'],['../classSVF_1_1LockAnalysis.html#a2c4a69b0f2381142c172b3043943c79d',1,'SVF::LockAnalysis::tct()'],['../classSVF_1_1MHP.html#a176eefb65e4ba99ee70513c8add44176',1,'SVF::MHP::tct()'],['../classSVF_1_1ForkJoinAnalysis.html#a2c6ce7aa04c399746d89230be0e0f1ce',1,'SVF::ForkJoinAnalysis::tct()'],['../classSVF_1_1MTA.html#a9c9a42fb8a8ada910cdb9a8fb55d7c36',1,'SVF::MTA::tct()'],['../classSVF_1_1TCT.html#a8eaa746805b0afc17329d0ba4ad6a887',1,'SVF::TCT::TCT()']]],
   ['tct_2ecpp',['TCT.cpp',['../TCT_8cpp.html',1,'']]],
   ['tct_2eh',['TCT.h',['../TCT_8h.html',1,'']]],
   ['tct_5faccess',['TCT_ACCESS',['../classSVF_1_1MTAResultValidator.html#ae709b039a68f5600271c40903b1c0dbe',1,'SVF::MTAResultValidator']]],
@@ -43,7 +43,7 @@ var searchData=
   ['td_5ftype',['TD_TYPE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3',1,'SVF::ThreadAPI']]],
   ['tdalive',['TDAlive',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631a2abecc56b7d5c644f7e14c98d33d0a0a',1,'SVF::ForkJoinAnalysis']]],
   ['tdapi',['tdAPI',['../classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f',1,'SVF::ThreadCallGraph::tdAPI()'],['../classSVF_1_1MTAResultValidator.html#aa0ca978e95529568edc4bdac1ffac110',1,'SVF::MTAResultValidator::tdAPI()'],['../classSVF_1_1PCG.html#a8215dc3643d1c4fb3d489e80cd3db336',1,'SVF::PCG::tdAPI()'],['../classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d',1,'SVF::ThreadAPI::tdAPI()']]],
-  ['tdapimap',['TDAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a3115116dc595c4b157f2cfc0a6ea89fc',1,'SVF::SaberCheckerAPI::TDAPIMap()'],['../classSVF_1_1ThreadAPI.html#ae9721b91bd60d27ae3dd48cb058301b2',1,'SVF::ThreadAPI::TDAPIMap()'],['../classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec',1,'SVF::SaberCheckerAPI::tdAPIMap()'],['../classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c',1,'SVF::ThreadAPI::tdAPIMap()']]],
+  ['tdapimap',['tdAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec',1,'SVF::SaberCheckerAPI::tdAPIMap()'],['../classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c',1,'SVF::ThreadAPI::tdAPIMap()'],['../classSVF_1_1SaberCheckerAPI.html#a3115116dc595c4b157f2cfc0a6ea89fc',1,'SVF::SaberCheckerAPI::TDAPIMap()'],['../classSVF_1_1ThreadAPI.html#ae9721b91bd60d27ae3dd48cb058301b2',1,'SVF::ThreadAPI::TDAPIMap()']]],
   ['tddead',['TDDead',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4',1,'SVF::ForkJoinAnalysis']]],
   ['tdforkedge',['TDForkEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7af32caf15ca19d512b5183bcf0d859cd7',1,'SVF::PTACallGraphEdge']]],
   ['tdforkpe',['TDForkPE',['../classSVF_1_1TDForkPE.html',1,'SVF::TDForkPE'],['../classSVF_1_1TDForkPE.html#a8d474c87f2f641336064270536fae8ae',1,'SVF::TDForkPE::TDForkPE()'],['../classSVF_1_1TDForkPE.html#ad55687afd603a027c4d7124061fce40b',1,'SVF::TDForkPE::TDForkPE(const TDForkPE &amp;)'],['../classSVF_1_1TDForkPE.html#ad7b4afe5d25993ebbf2a87e3eaddaa40',1,'SVF::TDForkPE::TDForkPE(PAGNode *s, PAGNode *d, const CallBlockNode *i)']]],
@@ -89,7 +89,7 @@ var searchData=
   ['timelimitreached',['timeLimitReached',['../namespaceSVF_1_1SVFUtil.html#add4cd21115988f9f5eec12e268ddf1d9',1,'SVF::SVFUtil']]],
   ['timeofcollapse',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
   ['timeofcreatemuchi',['timeOfCreateMUCHI',['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()'],['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()']]],
-  ['timeofgeneratingmemregions',['timeOfGeneratingMemRegions',['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()']]],
+  ['timeofgeneratingmemregions',['TimeOfGeneratingMemRegions',['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()']]],
   ['timeofinsertingphi',['TimeOfInsertingPHI',['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()'],['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()']]],
   ['timeofprocesscopygep',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
   ['timeofprocessloadstore',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
@@ -97,7 +97,7 @@ var searchData=
   ['timeofsccmerges',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
   ['timeofssarenaming',['timeOfSSARenaming',['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()'],['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()']]],
   ['timeofupdatecallgraph',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
-  ['timestatmap',['TIMEStatMap',['../classSVF_1_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10',1,'SVF::PTAStat::TIMEStatMap()'],['../classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337',1,'SVF::PTAStat::timeStatMap()']]],
+  ['timestatmap',['timeStatMap',['../classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337',1,'SVF::PTAStat::timeStatMap()'],['../classSVF_1_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10',1,'SVF::PTAStat::TIMEStatMap()']]],
   ['tinterphi',['TInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69',1,'SVF::VFGNode']]],
   ['tintraphi',['TIntraPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727',1,'SVF::VFGNode']]],
   ['tlptdata',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],
@@ -164,7 +164,7 @@ var searchData=
   ['typeprint',['TypePrint',['../classSVF_1_1Options.html#affd0cb6e0cb91e096537a3d3198bf4e5',1,'SVF::Options']]],
   ['typeset',['TypeSet',['../classSVF_1_1TypeSet.html',1,'SVF::TypeSet'],['../classSVF_1_1TypeSet.html#a29161e8ed226190892c02cbd7eb5dcce',1,'SVF::TypeSet::typeSet()']]],
   ['typesetty',['TypeSetTy',['../classSVF_1_1TypeSet.html#a0d173b719fbae32eac326f067b1c2653',1,'SVF::TypeSet']]],
-  ['typesystem',['TypeSystem',['../classSVF_1_1TypeSystem.html',1,'SVF::TypeSystem'],['../classSVF_1_1TypeSystem.html#a14f2c80f05304e9a3f257b29dd48985e',1,'SVF::TypeSystem::TypeSystem()'],['../classSVF_1_1PointerAnalysis.html#a219baed92b811d5519b056ad393fceed',1,'SVF::PointerAnalysis::typeSystem()']]],
+  ['typesystem',['TypeSystem',['../classSVF_1_1TypeSystem.html',1,'SVF::TypeSystem'],['../classSVF_1_1PointerAnalysis.html#a219baed92b811d5519b056ad393fceed',1,'SVF::PointerAnalysis::typeSystem()'],['../classSVF_1_1TypeSystem.html#a14f2c80f05304e9a3f257b29dd48985e',1,'SVF::TypeSystem::TypeSystem()']]],
   ['typetofieldinfo',['typeToFieldInfo',['../classSVF_1_1SymbolTableInfo.html#ad8b9fa0a4e4b91efb80586e692bd0dcd',1,'SVF::SymbolTableInfo']]],
   ['typetofieldinfomap',['TypeToFieldInfoMap',['../classSVF_1_1SymbolTableInfo.html#a9c9a9da876d41ab48e55f25efc266494',1,'SVF::SymbolTableInfo']]],
   ['typetovarsmap',['typeToVarsMap',['../classSVF_1_1TypeSystem.html#ae418e2ee701744813447350f9ece4f80',1,'SVF::TypeSystem']]],

package/SVF-doxygen/html/html/search/all_16.js CHANGED Viewed

@@ -23,7 +23,7 @@ var searchData=
   ['value2string',['value2String',['../namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191',1,'SVF::SVFUtil']]],
   ['value_5ftype',['value_type',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ab81cda692bb6ad451276f571a25c0751',1,'SVF::PointsTo::PointsToIterator::value_type()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6a59f0e97fc9cf278ed22b0a4c109ae1',1,'SVF::CoreBitVector::CoreBitVectorIterator::value_type()']]],
   ['valuenodes',['valueNodes',['../classSVF_1_1ExternalPAG.html#a4776a673e53d7b0bdd17f29a608a5620',1,'SVF::ExternalPAG']]],
-  ['valuetoedgemap',['ValueToEdgeMap',['../classSVF_1_1PAG.html#a9849898bac3644021638380b60f96891',1,'SVF::PAG::ValueToEdgeMap()'],['../classSVF_1_1PAG.html#a42b57f4523f30b0f739b1285ea744766',1,'SVF::PAG::valueToEdgeMap()']]],
+  ['valuetoedgemap',['valueToEdgeMap',['../classSVF_1_1PAG.html#a42b57f4523f30b0f739b1285ea744766',1,'SVF::PAG::valueToEdgeMap()'],['../classSVF_1_1PAG.html#a9849898bac3644021638380b60f96891',1,'SVF::PAG::ValueToEdgeMap()']]],
   ['valuetoidmapty',['ValueToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#a03a11c48d748990ddac1ac5866ecb48e',1,'SVF::SymbolTableInfo']]],
   ['var_5farray_5fobj',['VAR_ARRAY_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c',1,'SVF::ObjTypeInfo']]],
   ['var_5fstruct_5fobj',['VAR_STRUCT_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aaf98981bd15b41f543fd99d0c6222f08',1,'SVF::ObjTypeInfo']]],
@@ -50,7 +50,6 @@ var searchData=
   ['vectortype',['VectorType',['../namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418',1,'SVF']]],
   ['ver',['ver',['../classSVF_1_1FormalINSVFGNode.html#a0601031e01d4e7e4f086d5a4cc7b1321',1,'SVF::FormalINSVFGNode::ver()'],['../classSVF_1_1FormalOUTSVFGNode.html#af4686f5e09cdd342a1ced3a898cb47c4',1,'SVF::FormalOUTSVFGNode::ver()'],['../classSVF_1_1ActualINSVFGNode.html#a9fd1b406736084d33b0026aa21eb79b7',1,'SVF::ActualINSVFGNode::ver()'],['../classSVF_1_1ActualOUTSVFGNode.html#a9b0ad566d3fab6336d84ba07f541370f',1,'SVF::ActualOUTSVFGNode::ver()'],['../classSVF_1_1MSSAPHISVFGNode.html#a61b2e5ccd265d69167f44ce43e97fb80',1,'SVF::MSSAPHISVFGNode::ver()'],['../classSVF_1_1MSSAMU.html#a9c84b55a34025c6742f5a02c07cd4a36',1,'SVF::MSSAMU::ver()']]],
   ['verifycallgraph',['verifyCallGraph',['../classSVF_1_1PTACallGraph.html#ac695d78f0a78e2e5f1fb4f93264e52b8',1,'SVF::PTACallGraph']]],
-  ['verifystructsize',['verifyStructSize',['../classSVF_1_1LocSymTableInfo.html#a1b4b45547634b0c68c363ce21870e610',1,'SVF::LocSymTableInfo']]],
   ['version',['version',['../classSVF_1_1DummyVersionPropSVFGNode.html#a6c092656833dd1eae08eac458689e37d',1,'SVF::DummyVersionPropSVFGNode::version()'],['../classSVF_1_1MRVer.html#afc08020e6d2f1721d1d1363ed3fef151',1,'SVF::MRVer::version()'],['../namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c',1,'SVF::Version()']]],
   ['versioned',['Versioned',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a33bb78ff686c2cd774e127ce77f9cb67',1,'SVF::PTData']]],
   ['versionedflowsensitive',['VersionedFlowSensitive',['../classSVF_1_1VersionedFlowSensitive.html',1,'SVF::VersionedFlowSensitive'],['../classSVF_1_1VersionedFlowSensitive.html#af52cafc2bb393823f51ca89a0abacec4',1,'SVF::VersionedFlowSensitive::VersionedFlowSensitive()']]],

package/SVF-doxygen/html/html/search/all_1b.js CHANGED Viewed

@@ -2,7 +2,7 @@ var searchData=
 [
   ['_7ealiasddaclient',['~AliasDDAClient',['../classSVF_1_1AliasDDAClient.html#ae312529998fff1a063ed12a980370716',1,'SVF::AliasDDAClient']]],
   ['_7eandersen',['~Andersen',['../classSVF_1_1Andersen.html#a15218a84e653baf2cd7f1dc95ccfb77d',1,'SVF::Andersen']]],
-  ['_7eandersenbase',['~AndersenBase',['../classSVF_1_1AndersenBase.html#abd9b91b2cfe1e30ab3bdb6ac26466c1f',1,'SVF::AndersenBase']]],
+  ['_7eandersenbase',['~AndersenBase',['../classSVF_1_1AndersenBase.html#a8da8746b38c55561d3f6904e8fd0a9aa',1,'SVF::AndersenBase']]],
   ['_7eandersensfr',['~AndersenSFR',['../classSVF_1_1AndersenSFR.html#aabdafa8234569219fc5d96bb44ca8ef0',1,'SVF::AndersenSFR']]],
   ['_7eandersenstat',['~AndersenStat',['../classSVF_1_1AndersenStat.html#a31c59fe771f44b32a7d58145eb44a971',1,'SVF::AndersenStat']]],
   ['_7eannotator',['~Annotator',['../classSVF_1_1Annotator.html#a77ae10cccf9eeece8adf7dd00821e836',1,'SVF::Annotator']]],
@@ -11,7 +11,7 @@ var searchData=
   ['_7ecallchi',['~CallCHI',['../classSVF_1_1CallCHI.html#a9ae4f818ff29ebaccc0d82a0170577b5',1,'SVF::CallCHI']]],
   ['_7ecallmu',['~CallMU',['../classSVF_1_1CallMU.html#a408184b7a6c625d67a4b660e140b10c5',1,'SVF::CallMU']]],
   ['_7ecflsolver',['~CFLSolver',['../classSVF_1_1CFLSolver.html#ac37d5e6e81edcc0a6c53e02d7d343f5b',1,'SVF::CFLSolver']]],
-  ['_7echgraph',['~CHGraph',['../classSVF_1_1CHGraph.html#ae50fcba9fb131bc1956bcd6053bb7354',1,'SVF::CHGraph']]],
+  ['_7echgraph',['~CHGraph',['../classSVF_1_1CHGraph.html#a63c4f42eea94e786090a546fc2195a00',1,'SVF::CHGraph']]],
   ['_7echnode',['~CHNode',['../classSVF_1_1CHNode.html#aff05589899b58112119af68df5d1997e',1,'SVF::CHNode']]],
   ['_7ecommonchgraph',['~CommonCHGraph',['../classSVF_1_1CommonCHGraph.html#aeb7e79b36c74bcded008fe227952c335',1,'SVF::CommonCHGraph']]],
   ['_7econdexpr',['~CondExpr',['../classSVF_1_1CondExpr.html#a034728ff201af843f9ae980bbb872086',1,'SVF::CondExpr']]],
@@ -68,8 +68,6 @@ var searchData=
   ['_7eloadmu',['~LoadMU',['../classSVF_1_1LoadMU.html#a8193de194cf40211a36156cb87209a7e',1,'SVF::LoadMU']]],
   ['_7elocationset',['~LocationSet',['../classSVF_1_1LocationSet.html#a00ae12aee8018f1eb88f011e52762be9',1,'SVF::LocationSet']]],
   ['_7elockresultvalidator',['~LockResultValidator',['../classSVF_1_1LockResultValidator.html#a6790b9a632b172e1ea537ab93f526375',1,'SVF::LockResultValidator']]],
-  ['_7elocobjtypeinfo',['~LocObjTypeInfo',['../classSVF_1_1LocObjTypeInfo.html#a26cd4a1307c89c43fcbfa4d8e84d0e80',1,'SVF::LocObjTypeInfo']]],
-  ['_7elocsymtableinfo',['~LocSymTableInfo',['../classSVF_1_1LocSymTableInfo.html#ae1789cb25f50fbce3fc44a14a2cf124d',1,'SVF::LocSymTableInfo']]],
   ['_7ememobj',['~MemObj',['../classSVF_1_1MemObj.html#ad56f353dde7462dd54297e1b51e6eb05',1,'SVF::MemObj']]],
   ['_7ememregion',['~MemRegion',['../classSVF_1_1MemRegion.html#a2f680d13f4d983b1bc96967c930e8bd9',1,'SVF::MemRegion']]],
   ['_7ememssa',['~MemSSA',['../classSVF_1_1MemSSA.html#ae09603b40c7359c4cd2f644d3efc40cc',1,'SVF::MemSSA']]],
@@ -125,6 +123,7 @@ var searchData=
   ['_7esvfgnodelockspan',['~SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#ae91a897133c8d79cbc2d6a656ff92676',1,'SVF::SVFGNodeLockSpan']]],
   ['_7esvfgopt',['~SVFGOPT',['../classSVF_1_1SVFGOPT.html#af45feec9a906f9df86e244bb62f603b8',1,'SVF::SVFGOPT']]],
   ['_7esvfgstat',['~SVFGStat',['../classSVF_1_1SVFGStat.html#ad70617b64bb651c0c16943a8b016399e',1,'SVF::SVFGStat']]],
+  ['_7esvfmodule',['~SVFModule',['../classSVF_1_1SVFModule.html#a1eb570539328976351d95ca93cb7aa02',1,'SVF::SVFModule']]],
   ['_7esymboltableinfo',['~SymbolTableInfo',['../classSVF_1_1SymbolTableInfo.html#a6efac0ae8ebf2865067136675be5a340',1,'SVF::SymbolTableInfo']]],
   ['_7etct',['~TCT',['../classSVF_1_1TCT.html#aee699da702973dd42398b42a2ec65e59',1,'SVF::TCT']]],
   ['_7etctedge',['~TCTEdge',['../classSVF_1_1TCTEdge.html#aa6dd0ee903a741c287e34ae80961d369',1,'SVF::TCTEdge']]],

package/SVF-doxygen/html/html/search/all_3.js CHANGED Viewed

@@ -174,7 +174,7 @@ var searchData=
   ['classof',['classof',['../classSVF_1_1ConstraintEdge.html#a2c2a62e61022bb936a903846e0aacdd3',1,'SVF::ConstraintEdge::classof()'],['../classSVF_1_1AddrCGEdge.html#a541102364cd692d5f53a6aaef8b41965',1,'SVF::AddrCGEdge::classof(const AddrCGEdge *)'],['../classSVF_1_1AddrCGEdge.html#ac635af9bdde40ea73c267998b9e4b6c4',1,'SVF::AddrCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1AddrCGEdge.html#a1eeac9d23b4c3c789697c992e9ef8dbd',1,'SVF::AddrCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1CopyCGEdge.html#a321ccd6048312a570acbb8a217269434',1,'SVF::CopyCGEdge::classof(const CopyCGEdge *)'],['../classSVF_1_1CopyCGEdge.html#a7bd7d0f76d235db2f7d8a846da5bd20d',1,'SVF::CopyCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1CopyCGEdge.html#aee721f02965d46fcd1f8acc4a98df108',1,'SVF::CopyCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1StoreCGEdge.html#a7fdb88d66ee7489f2e2de5e91ed5f25b',1,'SVF::StoreCGEdge::classof(const StoreCGEdge *)'],['../classSVF_1_1StoreCGEdge.html#a2cc6943983c51fac45e312741404e8e9',1,'SVF::StoreCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1StoreCGEdge.html#a1d7f40c84a7601620784dfafec6112b6',1,'SVF::StoreCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1LoadCGEdge.html#a1e4ddf7950685fa18fc0bb8669cc1961',1,'SVF::LoadCGEdge::classof(const LoadCGEdge *)'],['../classSVF_1_1LoadCGEdge.html#ab7d9fa1d9ed23f3f7579ba26dad46032',1,'SVF::LoadCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1LoadCGEdge.html#aa1b47bbe3ac2de21a5dc7a72bb486953',1,'SVF::LoadCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1GepCGEdge.html#af9fbe33becd8f832267ab7ea6e0437b6',1,'SVF::GepCGEdge::classof(const GepCGEdge *)'],['../classSVF_1_1GepCGEdge.html#a13ca016474348064693416fcd183d4ab',1,'SVF::GepCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1GepCGEdge.html#aeceef279a35e9a92ecaff32372f0c112',1,'SVF::GepCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1NormalGepCGEdge.html#a79033645683ead9a7404cd35fd936092',1,'SVF::NormalGepCGEdge::classof(const NormalGepCGEdge *)'],['../classSVF_1_1NormalGepCGEdge.html#abaa71e2b1e7f9a6d7920a89eb397dccc',1,'SVF::NormalGepCGEdge::classof(const GepCGEdge *edge)'],['../classSVF_1_1NormalGepCGEdge.html#ac6c37d7442a4b48cdce8b2eef67ee87d',1,'SVF::NormalGepCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1NormalGepCGEdge.html#a025e8e6526f339c12e357958138be903',1,'SVF::NormalGepCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1VariantGepCGEdge.html#a5afc61b0781b222c70707a0ea765a4bd',1,'SVF::VariantGepCGEdge::classof(const VariantGepCGEdge *)'],['../classSVF_1_1VariantGepCGEdge.html#ae83d829f94cb886ddf36cddb75fb17df',1,'SVF::VariantGepCGEdge::classof(const GepCGEdge *edge)'],['../classSVF_1_1VariantGepCGEdge.html#a0342be6f165cbabc58e1dba75e6a0b79',1,'SVF::VariantGepCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1VariantGepCGEdge.html#aba0cc74af291252bc8911c81832bef68',1,'SVF::VariantGepCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1IntraCFGEdge.html#a70bdadf898a10c6db89e9f432529092c',1,'SVF::IntraCFGEdge::classof(const IntraCFGEdge *)'],['../classSVF_1_1IntraCFGEdge.html#aea905f535696918ed63cd5ce04b7e0fb',1,'SVF::IntraCFGEdge::classof(const ICFGEdge *edge)'],['../classSVF_1_1IntraCFGEdge.html#adda4f50f50127f5d7f193300933c209f',1,'SVF::IntraCFGEdge::classof(const GenericICFGEdgeTy *edge)'],['../classSVF_1_1CallCFGEdge.html#a38b56212fb58934ee50079b1e69ad5ff',1,'SVF::CallCFGEdge::classof(const CallCFGEdge *)'],['../classSVF_1_1CallCFGEdge.html#a2d06b1b7913887fa0b147a5ec3098678',1,'SVF::CallCFGEdge::classof(const ICFGEdge *edge)'],['../classSVF_1_1CallCFGEdge.html#acea0923ca5c08f455af8ba3bcd738dd2',1,'SVF::CallCFGEdge::classof(const GenericICFGEdgeTy *edge)'],['../classSVF_1_1RetCFGEdge.html#aa26fbdb6a5fc801eef8a7f59ea28bc3a',1,'SVF::RetCFGEdge::classof(const RetCFGEdge *)'],['../classSVF_1_1RetCFGEdge.html#acbd01243e6fa346180221b3cc14672fe',1,'SVF::RetCFGEdge::classof(const ICFGEdge *edge)'],['../classSVF_1_1RetCFGEdge.html#a552aab628945c0d5d669c28068221bef',1,'SVF::RetCFGEdge::classof(const GenericICFGEdgeTy *edge)'],['../classSVF_1_1GlobalBlockNode.html#a42b0e52fb503c704bec4b1506991ed75',1,'SVF::GlobalBlockNode::classof(const GlobalBlockNode *)'],['../classSVF_1_1GlobalBlockNode.html#aab88b3a34534158e3f67e81f047248d0',1,'SVF::GlobalBlockNode::classof(const ICFGNode *node)'],['../classSVF_1_1GlobalBlockNode.html#a26f244ed2fdbc1cb7abdb97373465caf',1,'SVF::GlobalBlockNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1IntraBlockNode.html#afec0f1abe96e4f6e0e3f9e4d075bf308',1,'SVF::IntraBlockNode::classof(const IntraBlockNode *)'],['../classSVF_1_1IntraBlockNode.html#aab3d8287388f8d4b5e22e8496bb37f8d',1,'SVF::IntraBlockNode::classof(const ICFGNode *node)'],['../classSVF_1_1IntraBlockNode.html#a7a4180f1fc1b33da820c676aa8c4613d',1,'SVF::IntraBlockNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1InterBlockNode.html#aba751d4e1585e5e42bf505574f8b288a',1,'SVF::InterBlockNode::classof(const InterBlockNode *)'],['../classSVF_1_1InterBlockNode.html#a2a0f22695ebcceefe2c57a4ba9255e35',1,'SVF::InterBlockNode::classof(const ICFGNode *node)'],['../classSVF_1_1InterBlockNode.html#a4ab1005f23a3f3a0e2e275a9be183553',1,'SVF::InterBlockNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1FunEntryBlockNode.html#a7a3c08df6a65f82ecda01d3f547aa158',1,'SVF::FunEntryBlockNode::classof(const FunEntryBlockNode *)'],['../classSVF_1_1FunEntryBlockNode.html#a86f816aea050a089d7a86dbc774deba3',1,'SVF::FunEntryBlockNode::classof(const InterBlockNode *node)'],['../classSVF_1_1FunEntryBlockNode.html#a590bf75c1e200b6e9a66b852a6002c32',1,'SVF::FunEntryBlockNode::classof(const ICFGNode *node)'],['../classSVF_1_1FunEntryBlockNode.html#a0c124155eaac6adf80029dbf708294ff',1,'SVF::FunEntryBlockNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1FunExitBlockNode.html#a5fdc1edafbd26a57c1c563f8df439cfc',1,'SVF::FunExitBlockNode::classof(const FunEntryBlockNode *)'],['../classSVF_1_1FunExitBlockNode.html#abeae6aae021670c80206c1f5a82ccd97',1,'SVF::FunExitBlockNode::classof(const ICFGNode *node)'],['../classSVF_1_1FunExitBlockNode.html#aceef01ea3cc4d85385705df32b6f67da',1,'SVF::FunExitBlockNode::classof(const InterBlockNode *node)'],['../classSVF_1_1FunExitBlockNode.html#a6cda85f67241db56f0a8ca4830c574f0',1,'SVF::FunExitBlockNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1CallBlockNode.html#a1c688ff81489957e775cb2463c59d1ef',1,'SVF::CallBlockNode::classof(const CallBlockNode *)'],['../classSVF_1_1CallBlockNode.html#a43a5f89377aef18e7e6d31731b8bf11d',1,'SVF::CallBlockNode::classof(const ICFGNode *node)'],['../classSVF_1_1CallBlockNode.html#a8ac74fdb13bee140b0568f40c3a94b2a',1,'SVF::CallBlockNode::classof(const InterBlockNode *node)'],['../classSVF_1_1CallBlockNode.html#a1fab44c7854d6bc5fe0ab9ad236b64c3',1,'SVF::CallBlockNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1RetBlockNode.html#abd3a2b54fdb7e1339f765b3e5ab86947',1,'SVF::RetBlockNode::classof(const RetBlockNode *)'],['../classSVF_1_1RetBlockNode.html#a06433b4ec10e147df00c1e36990cdaab',1,'SVF::RetBlockNode::classof(const InterBlockNode *node)'],['../classSVF_1_1RetBlockNode.html#aed4047d93fee5e00c58e5bff0cbc06e0',1,'SVF::RetBlockNode::classof(const ICFGNode *node)'],['../classSVF_1_1RetBlockNode.html#a383ea0e36372dad2a0603428a8c26f7d',1,'SVF::RetBlockNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1PAGEdge.html#abbb6e04f1c285b7c4e0b878f98572d21',1,'SVF::PAGEdge::classof(const PAGEdge *)'],['../classSVF_1_1PAGEdge.html#a1fdd75799d9a6112d50be9bd40e94328',1,'SVF::PAGEdge::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1AddrPE.html#a18319bdaaefeae68bb44224f35834587',1,'SVF::AddrPE::classof(const AddrPE *)'],['../classSVF_1_1AddrPE.html#a48c8b6651e557982f5a8af87087cf4c6',1,'SVF::AddrPE::classof(const PAGEdge *edge)'],['../classSVF_1_1AddrPE.html#a44f91932a2e9fe72cbb9b7256ff4a37e',1,'SVF::AddrPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1CopyPE.html#a1c5d5a35b955743056d41cbb4745e925',1,'SVF::CopyPE::classof(const CopyPE *)'],['../classSVF_1_1CopyPE.html#ad568f60c5fd0f3d74c575212bc678083',1,'SVF::CopyPE::classof(const PAGEdge *edge)'],['../classSVF_1_1CopyPE.html#abab22d86f2cbd57d61165d4622c7ffee',1,'SVF::CopyPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1CmpPE.html#ab5f04e2bf9ba9fae32771fa62755409f',1,'SVF::CmpPE::classof(const CmpPE *)'],['../classSVF_1_1CmpPE.html#a91b0d9aebdea4f92a68c5db26f26eac3',1,'SVF::CmpPE::classof(const PAGEdge *edge)'],['../classSVF_1_1CmpPE.html#a54984454ad2ffe35fe35fb6528406144',1,'SVF::CmpPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1BinaryOPPE.html#a0af37a5e796d728bf91d8417c96b488e',1,'SVF::BinaryOPPE::classof(const BinaryOPPE *)'],['../classSVF_1_1BinaryOPPE.html#aead570bc035ac7884249a28c665d1bcb',1,'SVF::BinaryOPPE::classof(const PAGEdge *edge)'],['../classSVF_1_1BinaryOPPE.html#af4c581b0cfb392d20a0e31bc38cad814',1,'SVF::BinaryOPPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1UnaryOPPE.html#a03012d37b857b10f92879db6b7fc6f62',1,'SVF::UnaryOPPE::classof(const UnaryOPPE *)'],['../classSVF_1_1UnaryOPPE.html#ae43323bb12afe70692be4f5b49abab6e',1,'SVF::UnaryOPPE::classof(const PAGEdge *edge)'],['../classSVF_1_1UnaryOPPE.html#a333febe0206e6fc2e76d0bc7aeeef154',1,'SVF::UnaryOPPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1StorePE.html#af8799cbf5bfd6cded8591b207009c25f',1,'SVF::StorePE::classof(const StorePE *)'],['../classSVF_1_1StorePE.html#a05acbde43f8222f6566b1c6a6d8003ca',1,'SVF::StorePE::classof(const PAGEdge *edge)'],['../classSVF_1_1StorePE.html#a7729ca8220c1356729a2927224cda5e8',1,'SVF::StorePE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1LoadPE.html#a80b5301d008c271a7381e66f9ad501d4',1,'SVF::LoadPE::classof(const LoadPE *)'],['../classSVF_1_1LoadPE.html#a0b683cb820f81db7dced2e125f496542',1,'SVF::LoadPE::classof(const PAGEdge *edge)'],['../classSVF_1_1LoadPE.html#a5102ecac4cd7abd74f6b872c0a7b1645',1,'SVF::LoadPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1GepPE.html#a12fbd8c5a964b509719ab23e01d5bab5',1,'SVF::GepPE::classof(const GepPE *)'],['../classSVF_1_1GepPE.html#a32aefb43a29b88913faabb4bc88efbef',1,'SVF::GepPE::classof(const PAGEdge *edge)'],['../classSVF_1_1GepPE.html#a1812dc119f33ae436d83216ff747ac78',1,'SVF::GepPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1NormalGepPE.html#a2d48376e5806de43fa0a916b807fb2c3',1,'SVF::NormalGepPE::classof(const NormalGepPE *)'],['../classSVF_1_1NormalGepPE.html#a8da1dec3385813b3cdd508a92b7a8785',1,'SVF::NormalGepPE::classof(const GepPE *edge)'],['../classSVF_1_1NormalGepPE.html#ad85f1465ea786b67cb73a0f9d25e4c1f',1,'SVF::NormalGepPE::classof(const PAGEdge *edge)'],['../classSVF_1_1NormalGepPE.html#abc9a936ef4d5bea4ec8f86e2e28965cf',1,'SVF::NormalGepPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1VariantGepPE.html#a36ab4c6979ed0e5470882cb1c391f2ea',1,'SVF::VariantGepPE::classof(const VariantGepPE *)'],['../classSVF_1_1VariantGepPE.html#a7cbd2d1243325cda2574931d653ef4e8',1,'SVF::VariantGepPE::classof(const GepPE *edge)'],['../classSVF_1_1VariantGepPE.html#a26f2ca17a8139c3af1f04434a2c37768',1,'SVF::VariantGepPE::classof(const PAGEdge *edge)'],['../classSVF_1_1VariantGepPE.html#a1b9fba7adc9ea24dcef5e70c8b446d43',1,'SVF::VariantGepPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1CallPE.html#a6df0149f79122c5a7d517f75d0235e73',1,'SVF::CallPE::classof(const CallPE *)'],['../classSVF_1_1CallPE.html#a6003b9dd7f5398187b0efaa9481e7f7c',1,'SVF::CallPE::classof(const PAGEdge *edge)'],['../classSVF_1_1CallPE.html#a0d89c20d1d3ccee5f3e45a32085117aa',1,'SVF::CallPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1RetPE.html#a43c6965616d67e77087b486265139d21',1,'SVF::RetPE::classof(const RetPE *)'],['../classSVF_1_1RetPE.html#a8391f7ee2bbb942309f6ccc45c08e46f',1,'SVF::RetPE::classof(const PAGEdge *edge)'],['../classSVF_1_1RetPE.html#a2f0121f26e79fe3766cba93b42dc1119',1,'SVF::RetPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1TDForkPE.html#a79317f2ac92ace129a1ccf802406498d',1,'SVF::TDForkPE::classof(const TDForkPE *)'],['../classSVF_1_1TDForkPE.html#a5e3b4ef74ca054f678af6fd47e18d4c8',1,'SVF::TDForkPE::classof(const PAGEdge *edge)'],['../classSVF_1_1TDForkPE.html#a9e160158fe61958bcd6ef2a7da559018',1,'SVF::TDForkPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1TDJoinPE.html#ace17257476d0ee089a9f9cb8dc63e3f2',1,'SVF::TDJoinPE::classof(const TDJoinPE *)'],['../classSVF_1_1TDJoinPE.html#a5a54134ab447237e1f632c88237a4a0e',1,'SVF::TDJoinPE::classof(const PAGEdge *edge)'],['../classSVF_1_1TDJoinPE.html#a22303af690086961b8d2356b345f882b',1,'SVF::TDJoinPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1ValPN.html#a18a9bf26bb76893f0530d484dd0861ae',1,'SVF::ValPN::classof(const ValPN *)'],['../classSVF_1_1ValPN.html#ab350f85c175f4ebd300c0025d2294abb',1,'SVF::ValPN::classof(const PAGNode *node)'],['../classSVF_1_1ValPN.html#a530cc26cbb3562c951575e8437c5ca22',1,'SVF::ValPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1ObjPN.html#a5e7e7b1a2d78146e50ec36d99b0a3608',1,'SVF::ObjPN::classof(const ObjPN *)'],['../classSVF_1_1ObjPN.html#a45bdaec2136ff3b1d6744de87e7ead87',1,'SVF::ObjPN::classof(const PAGNode *node)'],['../classSVF_1_1ObjPN.html#a3b94e2fc7b83b588b27d5bf33ec72b8f',1,'SVF::ObjPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1GepValPN.html#a795658606384952f8e648e154a06700a',1,'SVF::GepValPN::classof(const GepValPN *)'],['../classSVF_1_1GepValPN.html#a9d9febd06c0802c33eab574458e9e771',1,'SVF::GepValPN::classof(const ValPN *node)'],['../classSVF_1_1GepValPN.html#a794c05c53c8a420b9e62d6c8abf9d44b',1,'SVF::GepValPN::classof(const PAGNode *node)'],['../classSVF_1_1GepValPN.html#a99654aefb5ebc08917a2fb09858ae340',1,'SVF::GepValPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1GepObjPN.html#a3962464274d0c15ceb0206ebf6fa2b55',1,'SVF::GepObjPN::classof(const GepObjPN *)'],['../classSVF_1_1GepObjPN.html#a71f93295b7052e2098dd15f76c1aaa8c',1,'SVF::GepObjPN::classof(const ObjPN *node)'],['../classSVF_1_1GepObjPN.html#aa3ab0c1d25fa1192b59892ebfef0b9af',1,'SVF::GepObjPN::classof(const PAGNode *node)'],['../classSVF_1_1GepObjPN.html#aff84e3e6702f0e04ef41aae90d297009',1,'SVF::GepObjPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1FIObjPN.html#a2c26eb5e25b2ff2f497e9ee40f84f582',1,'SVF::FIObjPN::classof(const FIObjPN *)'],['../classSVF_1_1FIObjPN.html#af7c4e765ec13f3a368d155bd27667832',1,'SVF::FIObjPN::classof(const ObjPN *node)'],['../classSVF_1_1FIObjPN.html#a89e5d166e8ea43c4d02b41a3a9a73bbe',1,'SVF::FIObjPN::classof(const PAGNode *node)'],['../classSVF_1_1FIObjPN.html#a1014cd45e24e44873acd1d76db92d056',1,'SVF::FIObjPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1RetPN.html#acedd9e576a077f96c0638065d4c70bcf',1,'SVF::RetPN::classof(const RetPN *)'],['../classSVF_1_1RetPN.html#a414e9e38d2c615fb9add0ea378fb330f',1,'SVF::RetPN::classof(const PAGNode *node)'],['../classSVF_1_1RetPN.html#a69ee6310b7236bc1230fa63440b0f551',1,'SVF::RetPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1VarArgPN.html#acaecf9e9d98c4a14fecee0877a72839c',1,'SVF::VarArgPN::classof(const VarArgPN *)'],['../classSVF_1_1VarArgPN.html#a4812e2bf14cf0e7a53c8e1b0d9212f6f',1,'SVF::VarArgPN::classof(const PAGNode *node)'],['../classSVF_1_1VarArgPN.html#a7f873a8015eb6a6b30530a7e5a69018d',1,'SVF::VarArgPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1DummyValPN.html#a4ae220021a948c2755f7dc4947458d8f',1,'SVF::DummyValPN::classof(const DummyValPN *)'],['../classSVF_1_1DummyValPN.html#a6d7efe4321ab7256e7e5f4603ea8a506',1,'SVF::DummyValPN::classof(const PAGNode *node)'],['../classSVF_1_1DummyValPN.html#a62c8bdc6ebc3626f6cd7e743f2475ae0',1,'SVF::DummyValPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1DummyObjPN.html#a6b241ddcbe32a27b46c3c7c3d92e4c3c',1,'SVF::DummyObjPN::classof(const DummyObjPN *)'],['../classSVF_1_1DummyObjPN.html#a67661e783801cee888405d1a823e9446',1,'SVF::DummyObjPN::classof(const PAGNode *node)'],['../classSVF_1_1DummyObjPN.html#a48af6a89137007ec2b329943a891b09c',1,'SVF::DummyObjPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1CloneDummyObjPN.html#a98a1f11f0adc875b9c166dae69875e05',1,'SVF::CloneDummyObjPN::classof(const CloneDummyObjPN *)'],['../classSVF_1_1CloneDummyObjPN.html#a19df43069674c61fa83b3799290e7b0b',1,'SVF::CloneDummyObjPN::classof(const PAGNode *node)'],['../classSVF_1_1CloneDummyObjPN.html#a41abb24caedfd04c87a66f5899419121',1,'SVF::CloneDummyObjPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1CloneGepObjPN.html#ae4a5fbdb8e39aeac18c03f275ad4f0ff',1,'SVF::CloneGepObjPN::classof(const CloneGepObjPN *)'],['../classSVF_1_1CloneGepObjPN.html#a90edd01cc2be1a3db424625588c9e01c',1,'SVF::CloneGepObjPN::classof(const PAGNode *node)'],['../classSVF_1_1CloneGepObjPN.html#a4480ad91fff13e921cdb44e56027ae9c',1,'SVF::CloneGepObjPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1CloneFIObjPN.html#a25d870401deedea23c29523b02be9357',1,'SVF::CloneFIObjPN::classof(const CloneFIObjPN *)'],['../classSVF_1_1CloneFIObjPN.html#ac8338c8ac08fbe691908f731dbde5db0',1,'SVF::CloneFIObjPN::classof(const PAGNode *node)'],['../classSVF_1_1CloneFIObjPN.html#a4162a2134de52bb0cd0a8ce630881c92',1,'SVF::CloneFIObjPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1PTACallGraphEdge.html#adb10c32eff8a794d9f2b1b4a47d85d21',1,'SVF::PTACallGraphEdge::classof(const PTACallGraphEdge *)'],['../classSVF_1_1PTACallGraphEdge.html#afb092fc0502837b52ebcaa3c0dedb736',1,'SVF::PTACallGraphEdge::classof(const GenericCallGraphEdgeTy *edge)'],['../classSVF_1_1IndirectSVFGEdge.html#a65d58ce28f0bec8ba20191257a80221f',1,'SVF::IndirectSVFGEdge::classof(const IndirectSVFGEdge *)'],['../classSVF_1_1IndirectSVFGEdge.html#ad1635bdd79cae91c5a58b5e540f19df1',1,'SVF::IndirectSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1IndirectSVFGEdge.html#a62352957241f7ac5faba6b502d0ed0f1',1,'SVF::IndirectSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1IntraIndSVFGEdge.html#ae1e57e6cc223a06f957c4d6761c35402',1,'SVF::IntraIndSVFGEdge::classof(const IntraIndSVFGEdge *)'],['../classSVF_1_1IntraIndSVFGEdge.html#ac749c96247b6070479ccd597266c1d84',1,'SVF::IntraIndSVFGEdge::classof(const IndirectSVFGEdge *edge)'],['../classSVF_1_1IntraIndSVFGEdge.html#ad123c668b35ad004f3897565ac69c054',1,'SVF::IntraIndSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1IntraIndSVFGEdge.html#a54de415e46849515629ace05fe2afed4',1,'SVF::IntraIndSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1CallIndSVFGEdge.html#a9da25118e904862eb1f39231c2b191bd',1,'SVF::CallIndSVFGEdge::classof(const CallIndSVFGEdge *)'],['../classSVF_1_1CallIndSVFGEdge.html#ad6a01c5fc68ce5777a801aa7668b47e9',1,'SVF::CallIndSVFGEdge::classof(const IndirectSVFGEdge *edge)'],['../classSVF_1_1CallIndSVFGEdge.html#a54c3c37723424cb98ac6d01e9ed25c39',1,'SVF::CallIndSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1CallIndSVFGEdge.html#ad50e4be3af1da84aa8a58b56faba36df',1,'SVF::CallIndSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1RetIndSVFGEdge.html#a436d46d2a475a291ecc56cc2f26b910f',1,'SVF::RetIndSVFGEdge::classof(const RetIndSVFGEdge *)'],['../classSVF_1_1RetIndSVFGEdge.html#ae3cedf9206a460394f761c8b785fb1f8',1,'SVF::RetIndSVFGEdge::classof(const IndirectSVFGEdge *edge)'],['../classSVF_1_1RetIndSVFGEdge.html#a4b9b7308ea5e74ff175f6b1fedc873e2',1,'SVF::RetIndSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1RetIndSVFGEdge.html#a0c7696c378afe92f8cf1612564ab98c3',1,'SVF::RetIndSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#a4f7b0802389ce183635d5be2a40128bc',1,'SVF::ThreadMHPIndSVFGEdge::classof(const ThreadMHPIndSVFGEdge *)'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#a0db2e69a5182d1c30b44e87711558bd9',1,'SVF::ThreadMHPIndSVFGEdge::classof(const IndirectSVFGEdge *edge)'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#a564a1648b45d3563d69401a7f8e31906',1,'SVF::ThreadMHPIndSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#acb948e40582b6cc8b4360f2205b5c926',1,'SVF::ThreadMHPIndSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1MRSVFGNode.html#a22e28a37a013d14964ce832fa23dfb84',1,'SVF::MRSVFGNode::classof(const MRSVFGNode *)'],['../classSVF_1_1MRSVFGNode.html#a9b843265a6f95eea56a5a62eede8893c',1,'SVF::MRSVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1MRSVFGNode.html#a5f14facdcee7fec54c45b5956af553be',1,'SVF::MRSVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1FormalINSVFGNode.html#a049c4760e5d0ea2e31fc84ec32850310',1,'SVF::FormalINSVFGNode::classof(const FormalINSVFGNode *)'],['../classSVF_1_1FormalINSVFGNode.html#a93393ca0fb82c738b9357e93572b026a',1,'SVF::FormalINSVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1FormalINSVFGNode.html#a637ece0b4dcb990d3a3a5d5bbee4ef8d',1,'SVF::FormalINSVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1FormalOUTSVFGNode.html#ac29004272d47ad58ea1e05fbfc1ac639',1,'SVF::FormalOUTSVFGNode::classof(const FormalOUTSVFGNode *)'],['../classSVF_1_1FormalOUTSVFGNode.html#a48fc0991af02d9e0b8700cf96a8ca35c',1,'SVF::FormalOUTSVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1FormalOUTSVFGNode.html#a3b1387416f3ca61eed5581c9112cfcde',1,'SVF::FormalOUTSVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1ActualINSVFGNode.html#a73ccbee2a81439e70ea0c096d113a89b',1,'SVF::ActualINSVFGNode::classof(const ActualINSVFGNode *)'],['../classSVF_1_1ActualINSVFGNode.html#aae28a748413002046d02a4003229fc88',1,'SVF::ActualINSVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1ActualINSVFGNode.html#a476ef9fb19b3da1149945f9fe27cd9f1',1,'SVF::ActualINSVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1ActualOUTSVFGNode.html#a810b526c35918ed894c8dc2f95d44cb3',1,'SVF::ActualOUTSVFGNode::classof(const ActualOUTSVFGNode *)'],['../classSVF_1_1ActualOUTSVFGNode.html#a12cb923163baad086ca7a6365c74cc6b',1,'SVF::ActualOUTSVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1ActualOUTSVFGNode.html#a06dfaac3d2a41fa297a7707fc1240f8f',1,'SVF::ActualOUTSVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1MSSAPHISVFGNode.html#ac55ddd2788fff5bcff8afc5c0b49ad2d',1,'SVF::MSSAPHISVFGNode::classof(const MSSAPHISVFGNode *)'],['../classSVF_1_1MSSAPHISVFGNode.html#a44089a90d2c8bdb7ea8d8f2904c9d768',1,'SVF::MSSAPHISVFGNode::classof(const MRSVFGNode *node)'],['../classSVF_1_1MSSAPHISVFGNode.html#abcb8ba7fc0574b75aa3582f35cdb47f5',1,'SVF::MSSAPHISVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1MSSAPHISVFGNode.html#ab91626e88e8c28553c44b5939cfd65b3',1,'SVF::MSSAPHISVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#ae1fef4865427f59811fde241d4ac80cc',1,'SVF::IntraMSSAPHISVFGNode::classof(const IntraMSSAPHISVFGNode *)'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#ada532ff4ffbd7592ae1b89b1e234ba21',1,'SVF::IntraMSSAPHISVFGNode::classof(const MSSAPHISVFGNode *node)'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a1382366ed10250d8f9a21c1f28bcad1c',1,'SVF::IntraMSSAPHISVFGNode::classof(const MRSVFGNode *node)'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a4d0c0866ed958cdbb5fd9310696f24ba',1,'SVF::IntraMSSAPHISVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a885dabe57bcf57d10dbdb40fd658b075',1,'SVF::IntraMSSAPHISVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a62c0f4f98a42fe65f1dd570ec277b13f',1,'SVF::InterMSSAPHISVFGNode::classof(const InterMSSAPHISVFGNode *)'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a084a26ee34913e89b8b28fac43cda5f2',1,'SVF::InterMSSAPHISVFGNode::classof(const MSSAPHISVFGNode *node)'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a14866d7c95c5d3d8215ffec2172d208b',1,'SVF::InterMSSAPHISVFGNode::classof(const MRSVFGNode *node)'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a7674d5c0f395624085f0764dba78cb93',1,'SVF::InterMSSAPHISVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1InterMSSAPHISVFGNode.html#ac1b291caedbd584d0e37702b682fa440',1,'SVF::InterMSSAPHISVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1DummyVersionPropSVFGNode.html#ac997d06e133d698a5aa29c2af55a624e',1,'SVF::DummyVersionPropSVFGNode::classof(const DummyVersionPropSVFGNode *)'],['../classSVF_1_1DummyVersionPropSVFGNode.html#a684f1f5c9f9f5059127d3024cc5d71e9',1,'SVF::DummyVersionPropSVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1DummyVersionPropSVFGNode.html#aa1ac53d368232b002cdd8f8a91f284da',1,'SVF::DummyVersionPropSVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1ThreadForkEdge.html#a4d2c3601a3fd530d178ec00ee3e1bc5d',1,'SVF::ThreadForkEdge::classof(const ThreadForkEdge *)'],['../classSVF_1_1ThreadForkEdge.html#ae40d52a9080627661aad198adf5f411a',1,'SVF::ThreadForkEdge::classof(const PTACallGraphEdge *edge)'],['../classSVF_1_1ThreadJoinEdge.html#a0fb671c87fecd2fd9c2dab4187a47d37',1,'SVF::ThreadJoinEdge::classof(const ThreadJoinEdge *)'],['../classSVF_1_1ThreadJoinEdge.html#ae4095b55b035bbf42d0a75afada4244d',1,'SVF::ThreadJoinEdge::classof(const PTACallGraphEdge *edge)'],['../classSVF_1_1HareParForEdge.html#ab1dba5dff1e71bce578dc7b0009ba518',1,'SVF::HareParForEdge::classof(const HareParForEdge *)'],['../classSVF_1_1HareParForEdge.html#af9cc260c4a767f9ebd4a454dff4f88be',1,'SVF::HareParForEdge::classof(const PTACallGraphEdge *edge)'],['../classSVF_1_1ThreadCallGraph.html#a4ba42f59f0a6a7ea5b059f6e8df64d89',1,'SVF::ThreadCallGraph::classof(const ThreadCallGraph *)'],['../classSVF_1_1ThreadCallGraph.html#a5d991e4511fc909dc170a4b03e71d77e',1,'SVF::ThreadCallGraph::classof(const PTACallGraph *g)'],['../classSVF_1_1DirectSVFGEdge.html#a200f8722e39d0267cd5d0212871e16bf',1,'SVF::DirectSVFGEdge::classof(const DirectSVFGEdge *)'],['../classSVF_1_1DirectSVFGEdge.html#ade837b89b661ab92b4f852c4a1d07e91',1,'SVF::DirectSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1DirectSVFGEdge.html#a6e8eba3ca95255ce6d370f70ef1af723',1,'SVF::DirectSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1IntraDirSVFGEdge.html#a66c199063471c5b3fcbe6a8cce47a1fe',1,'SVF::IntraDirSVFGEdge::classof(const IntraDirSVFGEdge *)'],['../classSVF_1_1IntraDirSVFGEdge.html#a05f6b2a386ffdc58f89fc9f650a03ce0',1,'SVF::IntraDirSVFGEdge::classof(const DirectSVFGEdge *edge)'],['../classSVF_1_1IntraDirSVFGEdge.html#a6a6a756f3f4d3b8bb162014ad8a013d6',1,'SVF::IntraDirSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1IntraDirSVFGEdge.html#a83ecbb860bb65c348716a7b6eb0eb6e4',1,'SVF::IntraDirSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1CallDirSVFGEdge.html#a977cb840fbed0b89b445a1b7384d3352',1,'SVF::CallDirSVFGEdge::classof(const CallDirSVFGEdge *)'],['../classSVF_1_1CallDirSVFGEdge.html#a9af19b582b2fc0ad587c186bbe1ae3c5',1,'SVF::CallDirSVFGEdge::classof(const DirectSVFGEdge *edge)'],['../classSVF_1_1CallDirSVFGEdge.html#afc2b7f68c04cb9d0140576c8bb4e3527',1,'SVF::CallDirSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1CallDirSVFGEdge.html#ac4459c3e162af07af327a95b63ad24ba',1,'SVF::CallDirSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1RetDirSVFGEdge.html#ae13c787500749e182c7b48d4750fc0bb',1,'SVF::RetDirSVFGEdge::classof(const RetDirSVFGEdge *)'],['../classSVF_1_1RetDirSVFGEdge.html#ad794858b1424836850d55e66376de2c3',1,'SVF::RetDirSVFGEdge::classof(const DirectSVFGEdge *edge)'],['../classSVF_1_1RetDirSVFGEdge.html#a072bfed40d4fc766f107da70428f4872',1,'SVF::RetDirSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1RetDirSVFGEdge.html#a00d19ac1f96d9d66597d717eea58aeae',1,'SVF::RetDirSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1StmtVFGNode.html#ade2eb6475fdc3d2fa107c9adf508b72a',1,'SVF::StmtVFGNode::classof(const StmtVFGNode *)'],['../classSVF_1_1StmtVFGNode.html#a07b6320e6b57de790737585ad7e0dfc9',1,'SVF::StmtVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1StmtVFGNode.html#a52b07152246113f9b55a9bcacf92e1b4',1,'SVF::StmtVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1LoadVFGNode.html#a4f8125b671b65b106b82fa7f555a0627',1,'SVF::LoadVFGNode::classof(const LoadVFGNode *)'],['../classSVF_1_1LoadVFGNode.html#a6809c239925254fdf505bd907ce8a773',1,'SVF::LoadVFGNode::classof(const StmtVFGNode *node)'],['../classSVF_1_1LoadVFGNode.html#a9bbb5bb491000f973ab2e2d391105eef',1,'SVF::LoadVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1LoadVFGNode.html#a649006bd37ea9a4e0add926acf6711e7',1,'SVF::LoadVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1StoreVFGNode.html#a61b6a4c05576d942024cc002905d5831',1,'SVF::StoreVFGNode::classof(const StoreVFGNode *)'],['../classSVF_1_1StoreVFGNode.html#acc772ccaec8d50c6c794ddf6433cc8da',1,'SVF::StoreVFGNode::classof(const StmtVFGNode *node)'],['../classSVF_1_1StoreVFGNode.html#a557a5eadd147cae44223a9a9b9f22a0a',1,'SVF::StoreVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1StoreVFGNode.html#a41e8b1729da33dd6572288cab334c0eb',1,'SVF::StoreVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1CopyVFGNode.html#adefcc30434a12173cfbdb05145ff2959',1,'SVF::CopyVFGNode::classof(const CopyVFGNode *)'],['../classSVF_1_1CopyVFGNode.html#af2a5123c24452b533b8cf3c737abfa61',1,'SVF::CopyVFGNode::classof(const StmtVFGNode *node)'],['../classSVF_1_1CopyVFGNode.html#ae9c59423e3f5b86eecd07e4d7f6297eb',1,'SVF::CopyVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1CopyVFGNode.html#a53e14acb8134334f2f8444235ba3dae9',1,'SVF::CopyVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1CmpVFGNode.html#ab1248b063654318677471fb10af16fd7',1,'SVF::CmpVFGNode::classof(const CmpVFGNode *)'],['../classSVF_1_1CmpVFGNode.html#a3230ae3a4a7f10e0486f000b92b87713',1,'SVF::CmpVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1CmpVFGNode.html#add2c095c6ae13c5d7a72f4551c2490a2',1,'SVF::CmpVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1BinaryOPVFGNode.html#a74266197f0ac969746c0be4175e70c17',1,'SVF::BinaryOPVFGNode::classof(const BinaryOPVFGNode *)'],['../classSVF_1_1BinaryOPVFGNode.html#aea93da7b12eec71280459e1c4a41306f',1,'SVF::BinaryOPVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1BinaryOPVFGNode.html#a9da4b2fca555fbb6a1867e9bc4749046',1,'SVF::BinaryOPVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1UnaryOPVFGNode.html#a01a9b0fd0189462e37ff51e232a5cda8',1,'SVF::UnaryOPVFGNode::classof(const UnaryOPVFGNode *)'],['../classSVF_1_1UnaryOPVFGNode.html#a11ff85d796e547f0258ec30cf23b7310',1,'SVF::UnaryOPVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1UnaryOPVFGNode.html#a1aec02a86416e9baf8819086bbb53080',1,'SVF::UnaryOPVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1GepVFGNode.html#a77aa023b0c19e72a1263c63419643241',1,'SVF::GepVFGNode::classof(const GepVFGNode *)'],['../classSVF_1_1GepVFGNode.html#aae7c25ec33e4531778be58c28a0575c4',1,'SVF::GepVFGNode::classof(const StmtVFGNode *node)'],['../classSVF_1_1GepVFGNode.html#aa668a8000407a07937a5f4e4a6bfe31a',1,'SVF::GepVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1GepVFGNode.html#a70e2627cc05920864a97d054b2631985',1,'SVF::GepVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1PHIVFGNode.html#a522b90297d1a34858c9ae830cc24f1aa',1,'SVF::PHIVFGNode::classof(const PHIVFGNode *)'],['../classSVF_1_1PHIVFGNode.html#a4699fc06762e2d2573bbe3c0fd903da4',1,'SVF::PHIVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1PHIVFGNode.html#a1c5073aade64acbac65e8a8add61e231',1,'SVF::PHIVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1IntraPHIVFGNode.html#a30aa2227c1d94c2726d29cdbe800f91e',1,'SVF::IntraPHIVFGNode::classof(const IntraPHIVFGNode *)'],['../classSVF_1_1IntraPHIVFGNode.html#ae8c46b54a0a19b9516829b8ea897b946',1,'SVF::IntraPHIVFGNode::classof(const PHIVFGNode *node)'],['../classSVF_1_1IntraPHIVFGNode.html#a379b6f3452bdc6b5a3913fc7680ef70e',1,'SVF::IntraPHIVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1IntraPHIVFGNode.html#a7b8058dbbb9fc70db5f0de179e7e0196',1,'SVF::IntraPHIVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1AddrVFGNode.html#a5ad9c37ae429e0ac4c4fae224364f177',1,'SVF::AddrVFGNode::classof(const AddrVFGNode *)'],['../classSVF_1_1AddrVFGNode.html#a5510202381d0eb7af55353f8cc3be0d0',1,'SVF::AddrVFGNode::classof(const StmtVFGNode *node)'],['../classSVF_1_1AddrVFGNode.html#a24dde3e1cf8a66736233cd0a8dc91b82',1,'SVF::AddrVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1AddrVFGNode.html#af5ff980dea82f57e146e01d04882abbb',1,'SVF::AddrVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1ArgumentVFGNode.html#ab6179be01a029e52df59480c20a92ef2',1,'SVF::ArgumentVFGNode::classof(const ArgumentVFGNode *)'],['../classSVF_1_1ArgumentVFGNode.html#aef245c92b68e42d5a74bcc98fc026ac2',1,'SVF::ArgumentVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1ArgumentVFGNode.html#a7a81455d628934b84ce30a055a774673',1,'SVF::ArgumentVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1ActualParmVFGNode.html#a5d0c195ba42dc0dd48a360cba326d502',1,'SVF::ActualParmVFGNode::classof(const ActualParmVFGNode *)'],['../classSVF_1_1ActualParmVFGNode.html#abe1fd545e784375dc8da98db6b5869f8',1,'SVF::ActualParmVFGNode::classof(const ArgumentVFGNode *node)'],['../classSVF_1_1ActualParmVFGNode.html#acd3b55d18cb1227f7631df8e4912fdb3',1,'SVF::ActualParmVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1ActualParmVFGNode.html#a7f18a3d0eec50fafd505b8d6f8ebca5d',1,'SVF::ActualParmVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1FormalParmVFGNode.html#af91ecca224b99cd6dd3b9b17ad0d8e6f',1,'SVF::FormalParmVFGNode::classof(const FormalParmVFGNode *)'],['../classSVF_1_1FormalParmVFGNode.html#ae4cac828eec4ac2f55ff9d580c855b34',1,'SVF::FormalParmVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1FormalParmVFGNode.html#ad53fc9b2922c6c0145864bce59991d54',1,'SVF::FormalParmVFGNode::classof(const ArgumentVFGNode *node)'],['../classSVF_1_1FormalParmVFGNode.html#a691dc39c5ed3f3fa1ea518b5ec802c60',1,'SVF::FormalParmVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1ActualRetVFGNode.html#ab814b942e8ba02ed51f11ea6fcadd608',1,'SVF::ActualRetVFGNode::classof(const ActualRetVFGNode *)'],['../classSVF_1_1ActualRetVFGNode.html#a086f5a2156e90eee2ffa846954a79bb3',1,'SVF::ActualRetVFGNode::classof(const ArgumentVFGNode *node)'],['../classSVF_1_1ActualRetVFGNode.html#af3bf2a8f3a9398ec92a3418347af6b1a',1,'SVF::ActualRetVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1ActualRetVFGNode.html#a8aa10464c4295855c22921a6acb4bcda',1,'SVF::ActualRetVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1FormalRetVFGNode.html#af90572e9ac08cb2fffc9c63d51d5a129',1,'SVF::FormalRetVFGNode::classof(const FormalRetVFGNode)'],['../classSVF_1_1FormalRetVFGNode.html#ab5732a6cea2efbd352d1d8330f366f49',1,'SVF::FormalRetVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1FormalRetVFGNode.html#a75f6357396c84bfc08c9b08f95ae6b40',1,'SVF::FormalRetVFGNode::classof(const ArgumentVFGNode *node)'],['../classSVF_1_1FormalRetVFGNode.html#a444f13c4680b3762d0f2a55f98037acb',1,'SVF::FormalRetVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1InterPHIVFGNode.html#af05335676298acd6ad0bf2f445c8105b',1,'SVF::InterPHIVFGNode::classof(const InterPHIVFGNode *)'],['../classSVF_1_1InterPHIVFGNode.html#a9363508afb598d53d0deaedefdd8a01c',1,'SVF::InterPHIVFGNode::classof(const PHIVFGNode *node)'],['../classSVF_1_1InterPHIVFGNode.html#a6e134096deb0f33f8b137d7d16f88ba0',1,'SVF::InterPHIVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1InterPHIVFGNode.html#aae63bc1eb14d56d2f82e12eb1829a7a1',1,'SVF::InterPHIVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1NullPtrVFGNode.html#ad3fb6de5ce7d31e881e95bf60528847d',1,'SVF::NullPtrVFGNode::classof(const NullPtrVFGNode *)'],['../classSVF_1_1NullPtrVFGNode.html#a79b84b61e6e2c967fc3c1b8d9dad41c5',1,'SVF::NullPtrVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1NullPtrVFGNode.html#abd9d77737434262b5bb801ebf9c8e9a8',1,'SVF::NullPtrVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1DiffPTData.html#a09f6aa3d329f8adcd4928344720cff0f',1,'SVF::DiffPTData::classof(const DiffPTData&lt; Key, KeySet, Data, DataSet &gt; *)'],['../classSVF_1_1DiffPTData.html#af182fd3695fee155abac8c2f0c402a17',1,'SVF::DiffPTData::classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)'],['../classSVF_1_1DFPTData.html#a1b09e85de5cc187958dd8fb1aa5edfcd',1,'SVF::DFPTData::classof(const DFPTData&lt; Key, KeySet, Data, DataSet &gt; *)'],['../classSVF_1_1DFPTData.html#abea003e1262f3e03967939e4028694a4',1,'SVF::DFPTData::classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)'],['../classSVF_1_1VersionedPTData.html#a385133d44ac2b5fcef007040da8c2fd6',1,'SVF::VersionedPTData::classof(const VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt; *)'],['../classSVF_1_1VersionedPTData.html#a69ceac8acdf820486a45fc4444f78d04',1,'SVF::VersionedPTData::classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)'],['../classSVF_1_1MutablePTData.html#a589d71ff881e53133e5c688f1c616ab3',1,'SVF::MutablePTData::classof(const MutablePTData&lt; Key, KeySet, Data, DataSet &gt; *)'],['../classSVF_1_1MutablePTData.html#a577a7fce1affd462afeb9fefa4bdb4a8',1,'SVF::MutablePTData::classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)'],['../classSVF_1_1MutableDiffPTData.html#a1b2d520d24a8d19de00e26237e5cd098',1,'SVF::MutableDiffPTData::classof(const MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt; *)'],['../classSVF_1_1MutableDiffPTData.html#af27d457e1905876631bcf74e434257ae',1,'SVF::MutableDiffPTData::classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)'],['../classSVF_1_1MutableDFPTData.html#a5baa6fffedfd0ac356590f9a0b222ee0',1,'SVF::MutableDFPTData::classof(const MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt; *)'],['../classSVF_1_1MutableDFPTData.html#acb338bbe5773001a15b81e596a764222',1,'SVF::MutableDFPTData::classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)'],['../classSVF_1_1MutableIncDFPTData.html#a89f65d37096c82fcdddb1c324ec206d2',1,'SVF::MutableIncDFPTData::classof(const MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt; *)'],['../classSVF_1_1MutableIncDFPTData.html#aa4c262f0d62e902912d4cd7999731d3d',1,'SVF::MutableIncDFPTData::classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)'],['../classSVF_1_1MutableVersionedPTData.html#a6be54447671288a666af5d48972e2ccf',1,'SVF::MutableVersionedPTData::classof(const MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt; *)'],['../classSVF_1_1MutableVersionedPTData.html#a646111552a7112b8e48c00e766ce8d9b',1,'SVF::MutableVersionedPTData::classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)'],['../classSVF_1_1PersistentPTData.html#a174c3cac13c839863171621ea25e609f',1,'SVF::PersistentPTData::classof(const PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; *)'],['../classSVF_1_1PersistentPTData.html#a4e896ec87d07e5b75401de4367d67458',1,'SVF::PersistentPTData::classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)'],['../classSVF_1_1PersistentDiffPTData.html#afb53f0b47cdad94379c3a4895980be9c',1,'SVF::PersistentDiffPTData::classof(const PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt; *)'],['../classSVF_1_1PersistentDiffPTData.html#a4f4b1869210228e9d1b4f3900b41bb88',1,'SVF::PersistentDiffPTData::classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)'],['../classSVF_1_1PersistentDFPTData.html#ad374e8e6ddd5c397bd5ab6cf9b259968',1,'SVF::PersistentDFPTData::classof(const PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt; *)'],['../classSVF_1_1PersistentDFPTData.html#a575a441ddbe233d34937792b66d2b39c',1,'SVF::PersistentDFPTData::classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)'],['../classSVF_1_1PersistentIncDFPTData.html#a656434f7b67aabf25f6dba400d95f2bb',1,'SVF::PersistentIncDFPTData::classof(const PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt; *)'],['../classSVF_1_1PersistentIncDFPTData.html#a47c2fbf8b959aae3166b9757b12880a7',1,'SVF::PersistentIncDFPTData::classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)'],['../classSVF_1_1PersistentVersionedPTData.html#a28a8bf95351e295e65360bf16241a5da',1,'SVF::PersistentVersionedPTData::classof(const PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt; *)'],['../classSVF_1_1PersistentVersionedPTData.html#a1f85475cb6690bb1caa003c5a3aec92f',1,'SVF::PersistentVersionedPTData::classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)'],['../classSVF_1_1BVDataPTAImpl.html#a6ba68138c10d1fbe5be6346c8dfeca74',1,'SVF::BVDataPTAImpl::classof()'],['../classSVF_1_1CondPTAImpl.html#ae76fb767c13ca39baa0fbec55a7780fe',1,'SVF::CondPTAImpl::classof()'],['../classSVF_1_1LoadMU.html#a675192a60c5afa6e1d5f9b7dae5953b5',1,'SVF::LoadMU::classof(const LoadMU *)'],['../classSVF_1_1LoadMU.html#a2b3f73c38c479e05984e01710227e50f',1,'SVF::LoadMU::classof(const MSSAMU&lt; Cond &gt; *mu)'],['../classSVF_1_1CallMU.html#af8a0defe4c5b36893e155a4b074c0f30',1,'SVF::CallMU::classof(const CallMU *)'],['../classSVF_1_1CallMU.html#a27c70bc7543eeb2fcf64f139481d3bf9',1,'SVF::CallMU::classof(const MSSAMU&lt; Cond &gt; *mu)'],['../classSVF_1_1RetMU.html#ace8b780beda75de78d08247335e1738a',1,'SVF::RetMU::classof(const RetMU *)'],['../classSVF_1_1RetMU.html#ae6608c348426d99a5d3963ceaca2eb8b',1,'SVF::RetMU::classof(const MSSAMU&lt; Cond &gt; *mu)'],['../classSVF_1_1MSSACHI.html#a49cf6b7e0cb38acfeb2eb2e1273c506d',1,'SVF::MSSACHI::classof(const MSSACHI *chi)'],['../classSVF_1_1MSSACHI.html#a450055eb758896fb2e3e4f67febe7782',1,'SVF::MSSACHI::classof(const MSSADEF *chi)'],['../classSVF_1_1StoreCHI.html#a66a4ea0b8b61d39a552f7da000732263',1,'SVF::StoreCHI::classof(const StoreCHI *chi)'],['../classSVF_1_1StoreCHI.html#a7a01d165b24d05f0a218c2abfaad8422',1,'SVF::StoreCHI::classof(const MSSACHI&lt; Cond &gt; *chi)'],['../classSVF_1_1StoreCHI.html#a4324f81324dd6d6c6ba6d1af32e29985',1,'SVF::StoreCHI::classof(const MSSADEF *chi)'],['../classSVF_1_1CallCHI.html#a7c0708ad9a2aa6278b1e7404340ca2ad',1,'SVF::CallCHI::classof(const CallCHI *chi)'],['../classSVF_1_1CallCHI.html#a039209d842c18ef9d4a86a5a725a775b',1,'SVF::CallCHI::classof(const MSSACHI&lt; Cond &gt; *chi)'],['../classSVF_1_1CallCHI.html#aeea8fd6c5904874604bb0ced9b080c29',1,'SVF::CallCHI::classof(const MSSADEF *chi)'],['../classSVF_1_1EntryCHI.html#ad9c86f7cf28fe22584b94416803639aa',1,'SVF::EntryCHI::classof(const EntryCHI *chi)'],['../classSVF_1_1EntryCHI.html#a55404375929d591f93d09f5a9e896cf6',1,'SVF::EntryCHI::classof(const MSSACHI&lt; Cond &gt; *chi)'],['../classSVF_1_1EntryCHI.html#aa5ed214cd44d8847c7539c7e3de3d276',1,'SVF::EntryCHI::classof(const MSSADEF *chi)'],['../classSVF_1_1MSSAPHI.html#adab25ebd69f699c019118bc1e099d4f9',1,'SVF::MSSAPHI::classof(const MSSAPHI *phi)'],['../classSVF_1_1MSSAPHI.html#a48d3a719b97991be8ba94149a1d30091',1,'SVF::MSSAPHI::classof(const MSSADEF *phi)'],['../classSVF_1_1TCTEdge.html#a38d3af1f146d4e70574874c7ec28f6f3',1,'SVF::TCTEdge::classof(const TCTEdge *)'],['../classSVF_1_1TCTEdge.html#a13088f28a806a095ede56240b9fa87a2',1,'SVF::TCTEdge::classof(const GenericTCTEdgeTy *edge)'],['../classSVF_1_1CHGraph.html#ae7e9f1a3c524d80c77b2a75f877dc2d6',1,'SVF::CHGraph::classof()'],['../classSVF_1_1DCHGraph.html#af9970ff0ef4a8f4c638da9f519d14a21',1,'SVF::DCHGraph::classof()'],['../classSVF_1_1BranchCondExpr.html#a466d24de131d064a74d53783a6664b5e',1,'SVF::BranchCondExpr::classof(const BranchCondExpr *)'],['../classSVF_1_1BranchCondExpr.html#a410279631ba4a555a6b823be2465b0de',1,'SVF::BranchCondExpr::classof(const CondExpr *cond)'],['../classSVF_1_1SVFValue.html#a1f2c6271dfefc6db685569e6c0cbedf5',1,'SVF::SVFValue::classof()'],['../classSVF_1_1AndersenBase.html#afa4d710b093a6c7a33cb1aef823781f0',1,'SVF::AndersenBase::classof(const AndersenBase *)'],['../classSVF_1_1AndersenBase.html#a0167fa7b59571c07b2cbec08905f6629',1,'SVF::AndersenBase::classof(const PointerAnalysis *pta)'],['../classSVF_1_1Andersen.html#aaec53980b25ed769fa9a985860f810b5',1,'SVF::Andersen::classof(const Andersen *)'],['../classSVF_1_1Andersen.html#a60214d7c6c9aac8e498644b048660ab9',1,'SVF::Andersen::classof(const PointerAnalysis *pta)'],['../classSVF_1_1FlowSensitive.html#ac76934c9ba15742e470a785af54bd958',1,'SVF::FlowSensitive::classof(const FlowSensitive *)'],['../classSVF_1_1FlowSensitive.html#a12dea7b6057daddcc5c0d975aebf3f11',1,'SVF::FlowSensitive::classof(const PointerAnalysis *pta)'],['../classSVF_1_1FlowSensitiveTBHC.html#afe46af7ca4f735e500b35f4f4bb8d910',1,'SVF::FlowSensitiveTBHC::classof(const FlowSensitiveTBHC *)'],['../classSVF_1_1FlowSensitiveTBHC.html#a0b213f9c4011642309c550503802dad5',1,'SVF::FlowSensitiveTBHC::classof(const PointerAnalysis *pta)'],['../classSVF_1_1Steensgaard.html#a7e7493bd144746edb4fbe1292e8ba55f',1,'SVF::Steensgaard::classof(const Steensgaard *)'],['../classSVF_1_1Steensgaard.html#acfd677c395809baea0a32f59646beb0f',1,'SVF::Steensgaard::classof(const AndersenBase *pta)'],['../classSVF_1_1Steensgaard.html#a69daef869bfaaf0dfa2dccaf575dd9a0',1,'SVF::Steensgaard::classof(const PointerAnalysis *pta)'],['../classSVF_1_1TypeAnalysis.html#ae14733ac9763b07a84ed9b5e297badf3',1,'SVF::TypeAnalysis::classof(const TypeAnalysis *)'],['../classSVF_1_1TypeAnalysis.html#a62f4d86457baa516e0fc5db0721dab5f',1,'SVF::TypeAnalysis::classof(const PointerAnalysis *pta)'],['../classSVF_1_1VersionedFlowSensitive.html#afd1e0d4445e1e50e95f816e51f8de3c8',1,'SVF::VersionedFlowSensitive::classof(const VersionedFlowSensitive *)'],['../classSVF_1_1VersionedFlowSensitive.html#abe1874f12ba05b4f453604c6d91598d6',1,'SVF::VersionedFlowSensitive::classof(const PointerAnalysis *pta)']]],
   ['cleanconscg',['cleanConsCG',['../classSVF_1_1AndersenBase.html#aebfe0c7238eb24f74f105b950b86cb5e',1,'SVF::AndersenBase']]],
   ['cleanlcdcandidate',['cleanLCDCandidate',['../classSVF_1_1AndersenLCD.html#ab58bd928fbfcc56344dcaf82a9c360a2',1,'SVF::AndersenLCD']]],
-  ['clear',['clear',['../classSVF_1_1SVFGStat.html#a737352ac44d808c55a91e8bd5e9e0aac',1,'SVF::SVFGStat::clear()'],['../classSVF_1_1PTData.html#ad45879017d8fdeedc987ce35c4eba1a5',1,'SVF::PTData::clear()'],['../classSVF_1_1CondStdSet.html#a4c49e2964276825744ffce26fc43ec36',1,'SVF::CondStdSet::clear()'],['../classSVF_1_1CondPointsToSet.html#ad81774f0ad13fb21579180fc15affd7b',1,'SVF::CondPointsToSet::clear()'],['../classSVF_1_1MutablePTData.html#ac8da1a3357c3bc529f6ca85615486951',1,'SVF::MutablePTData::clear()'],['../classSVF_1_1MutableDiffPTData.html#a8ae9624ac7fb1502eaa43173dacbe7b7',1,'SVF::MutableDiffPTData::clear()'],['../classSVF_1_1MutableDFPTData.html#a446112803c54ca937f8b85e42a4a1381',1,'SVF::MutableDFPTData::clear()'],['../classSVF_1_1MutableVersionedPTData.html#ab476e1b59aead37b440fd5735df3814b',1,'SVF::MutableVersionedPTData::clear()'],['../classSVF_1_1PersistentPTData.html#abf836f1b063b869215c7e9b53b013d3f',1,'SVF::PersistentPTData::clear()'],['../classSVF_1_1PersistentDiffPTData.html#a10504f854b1b390818f8ee12182d857c',1,'SVF::PersistentDiffPTData::clear()'],['../classSVF_1_1PersistentDFPTData.html#ab070b1baa6a01800edac36dc075107fd',1,'SVF::PersistentDFPTData::clear()'],['../classSVF_1_1PersistentIncDFPTData.html#a5e8036d18088ed272ab052b5cd6ef1ce',1,'SVF::PersistentIncDFPTData::clear()'],['../classSVF_1_1PersistentVersionedPTData.html#ac563829c0d6d091c905bfe16580ceb47',1,'SVF::PersistentVersionedPTData::clear()'],['../classSVF_1_1PointsTo.html#acb5af4139d42dcd19c6327520f074e91',1,'SVF::PointsTo::clear()'],['../classSVF_1_1CoreBitVector.html#a1e523bab1013a9f3e9eaea56e53afa58',1,'SVF::CoreBitVector::clear()'],['../classSVF_1_1SCCDetection.html#a3323ba77ae690533a0edcaebe82e20f5',1,'SVF::SCCDetection::clear()'],['../classSVF_1_1FIFOWorkList.html#a29d9fec1ea7b8e5456342522eea403ad',1,'SVF::FIFOWorkList::clear()'],['../classSVF_1_1FILOWorkList.html#a97265eb340b48436c39f77f4095693fb',1,'SVF::FILOWorkList::clear()'],['../classSVF_1_1CSC.html#ac531556d88bedad2717aacc6575bfedd',1,'SVF::CSC::clear()']]],
+  ['clear',['clear',['../classSVF_1_1SVFGStat.html#a737352ac44d808c55a91e8bd5e9e0aac',1,'SVF::SVFGStat::clear()'],['../classSVF_1_1PTData.html#ad45879017d8fdeedc987ce35c4eba1a5',1,'SVF::PTData::clear()'],['../classSVF_1_1CondStdSet.html#a4c49e2964276825744ffce26fc43ec36',1,'SVF::CondStdSet::clear()'],['../classSVF_1_1CondPointsToSet.html#ad81774f0ad13fb21579180fc15affd7b',1,'SVF::CondPointsToSet::clear()'],['../classSVF_1_1MutablePTData.html#ac8da1a3357c3bc529f6ca85615486951',1,'SVF::MutablePTData::clear()'],['../classSVF_1_1MutableDiffPTData.html#a8ae9624ac7fb1502eaa43173dacbe7b7',1,'SVF::MutableDiffPTData::clear()'],['../classSVF_1_1MutableDFPTData.html#a446112803c54ca937f8b85e42a4a1381',1,'SVF::MutableDFPTData::clear()'],['../classSVF_1_1MutableVersionedPTData.html#ab476e1b59aead37b440fd5735df3814b',1,'SVF::MutableVersionedPTData::clear()'],['../classSVF_1_1PersistentPointsToCache.html#ae9017daca63227066bb1be6dedef8b0f',1,'SVF::PersistentPointsToCache::clear()'],['../classSVF_1_1PersistentPTData.html#abf836f1b063b869215c7e9b53b013d3f',1,'SVF::PersistentPTData::clear()'],['../classSVF_1_1PersistentDiffPTData.html#a10504f854b1b390818f8ee12182d857c',1,'SVF::PersistentDiffPTData::clear()'],['../classSVF_1_1PersistentDFPTData.html#ab070b1baa6a01800edac36dc075107fd',1,'SVF::PersistentDFPTData::clear()'],['../classSVF_1_1PersistentIncDFPTData.html#a5e8036d18088ed272ab052b5cd6ef1ce',1,'SVF::PersistentIncDFPTData::clear()'],['../classSVF_1_1PersistentVersionedPTData.html#ac563829c0d6d091c905bfe16580ceb47',1,'SVF::PersistentVersionedPTData::clear()'],['../classSVF_1_1PointsTo.html#acb5af4139d42dcd19c6327520f074e91',1,'SVF::PointsTo::clear()'],['../classSVF_1_1CoreBitVector.html#a1e523bab1013a9f3e9eaea56e53afa58',1,'SVF::CoreBitVector::clear()'],['../classSVF_1_1SCCDetection.html#a3323ba77ae690533a0edcaebe82e20f5',1,'SVF::SCCDetection::clear()'],['../classSVF_1_1FIFOWorkList.html#a29d9fec1ea7b8e5456342522eea403ad',1,'SVF::FIFOWorkList::clear()'],['../classSVF_1_1FILOWorkList.html#a97265eb340b48436c39f77f4095693fb',1,'SVF::FILOWorkList::clear()'],['../classSVF_1_1CSC.html#ac531556d88bedad2717aacc6575bfedd',1,'SVF::CSC::clear()']]],
   ['clearalldfoutupdatedvar',['clearAllDFOutUpdatedVar',['../classSVF_1_1DFPTData.html#ac20579e277a284158e2924fb5946cd86',1,'SVF::DFPTData::clearAllDFOutUpdatedVar()'],['../classSVF_1_1MutableDFPTData.html#a43a45997f6147245fe8a552b42f3f632',1,'SVF::MutableDFPTData::clearAllDFOutUpdatedVar()'],['../classSVF_1_1MutableIncDFPTData.html#ac9ff175dbdf75232a104e2aa34f87d43',1,'SVF::MutableIncDFPTData::clearAllDFOutUpdatedVar()'],['../classSVF_1_1PersistentDFPTData.html#ad7a4b3c68c4b8b70268ee7c919c624d5',1,'SVF::PersistentDFPTData::clearAllDFOutUpdatedVar()'],['../classSVF_1_1PersistentIncDFPTData.html#a815a7c54c1533f16c3efd0796044afc2',1,'SVF::PersistentIncDFPTData::clearAllDFOutUpdatedVar()']]],
   ['clearalldfoutvarflag',['clearAllDFOutVarFlag',['../classSVF_1_1FlowSensitive.html#a9622f0b7b16694b0c74b07834f598e67',1,'SVF::FlowSensitive']]],
   ['clearallpts',['clearAllPts',['../classSVF_1_1BVDataPTAImpl.html#a4426df37aeabeb94d301373b55a53c20',1,'SVF::BVDataPTAImpl']]],
@@ -221,7 +221,7 @@ var searchData=
   ['collapsenodepts',['collapseNodePts',['../classSVF_1_1Andersen.html#a3f0048155f0b3a6899dac6f30553aa9e',1,'SVF::Andersen']]],
   ['collapsepwcnode',['collapsePWCNode',['../classSVF_1_1Andersen.html#ae79bff0e9c49f15e7db00ed605824d98',1,'SVF::Andersen::collapsePWCNode()'],['../classSVF_1_1WPASolver.html#a138b403af0370ad6fdf8cc6af0530392',1,'SVF::WPASolver::collapsePWCNode()']]],
   ['collapsetime',['CollapseTime',['../classSVF_1_1AndersenStat.html#a3f5739454b1f4e03b4388a4ba5730e15',1,'SVF::AndersenStat']]],
-  ['collectarrayinfo',['collectArrayInfo',['../classSVF_1_1SymbolTableInfo.html#aea1c4ec32c307feb5da455a41cc51b5e',1,'SVF::SymbolTableInfo::collectArrayInfo()'],['../classSVF_1_1LocSymTableInfo.html#a45b52cb8f8634ecf8bfb33f8e71bb82f',1,'SVF::LocSymTableInfo::collectArrayInfo()']]],
+  ['collectarrayinfo',['collectArrayInfo',['../classSVF_1_1SymbolTableInfo.html#aea1c4ec32c307feb5da455a41cc51b5e',1,'SVF::SymbolTableInfo']]],
   ['collectbbcallingprogexit',['collectBBCallingProgExit',['../classSVF_1_1PathCondAllocator.html#a391cb347cf98f33c261e59975900048e',1,'SVF::PathCondAllocator']]],
   ['collectcallsitepts',['collectCallSitePts',['../classSVF_1_1MRGenerator.html#ac43b3f895efd160c7dd5860c0dfd1625',1,'SVF::MRGenerator']]],
   ['collectcallsitetargets',['collectCallsiteTargets',['../classSVF_1_1MTAResultValidator.html#a1fc4116b134aa87420d055b193208e68',1,'SVF::MTAResultValidator']]],
@@ -252,7 +252,7 @@ var searchData=
   ['collectsimpletypeinfo',['collectSimpleTypeInfo',['../classSVF_1_1SymbolTableInfo.html#abf7567c655499d6744de8df689c11fad',1,'SVF::SymbolTableInfo']]],
   ['collectspawnees',['collectSpawnees',['../classSVF_1_1PCG.html#a8cff88e2a6cee5f655e491f9f2967460',1,'SVF::PCG']]],
   ['collectspawners',['collectSpawners',['../classSVF_1_1PCG.html#aef06745128e4e99c8e3bab226a337041',1,'SVF::PCG']]],
-  ['collectstructinfo',['collectStructInfo',['../classSVF_1_1SymbolTableInfo.html#ab5297b79a02d8afce647a8b61bdab804',1,'SVF::SymbolTableInfo::collectStructInfo()'],['../classSVF_1_1LocSymTableInfo.html#aedca0dbfb8641cefe68d547e3f4d62e8',1,'SVF::LocSymTableInfo::collectStructInfo()']]],
+  ['collectstructinfo',['collectStructInfo',['../classSVF_1_1SymbolTableInfo.html#ab5297b79a02d8afce647a8b61bdab804',1,'SVF::SymbolTableInfo']]],
   ['collectsym',['collectSym',['../classSVF_1_1SymbolTableInfo.html#a7c422651a6cb299b0c94a2e4597fbe7c',1,'SVF::SymbolTableInfo']]],
   ['collecttcttargets',['collectTCTTargets',['../classSVF_1_1MTAResultValidator.html#abdf31e8fca824b56a53788de525042a6',1,'SVF::MTAResultValidator']]],
   ['collecttypeinfo',['collectTypeInfo',['../classSVF_1_1SymbolTableInfo.html#aa99cab5480116905dd41ab0ad24b9462',1,'SVF::SymbolTableInfo']]],
@@ -269,7 +269,7 @@ var searchData=
   ['computed',['computed',['../cuddInt_8c.html#a40cfa3fddea607393205b428c33f032a',1,'cuddInt.c']]],
   ['computeddapts',['computeDDAPts',['../classSVF_1_1ContextDDA.html#a337eb89cc5f31741ad8d840d9f284ca5',1,'SVF::ContextDDA::computeDDAPts(NodeID id) override'],['../classSVF_1_1ContextDDA.html#ae0f3b07267ded5f0ee879c39effff864',1,'SVF::ContextDDA::computeDDAPts(const CxtVar &amp;cxtVar)'],['../classSVF_1_1FlowDDA.html#a113faa56ee75eff39da19fd4b47a47e0',1,'SVF::FlowDDA::computeDDAPts()'],['../classSVF_1_1PointerAnalysis.html#a0bb90b398ef85504bcd816ae57bee01d',1,'SVF::PointerAnalysis::computeDDAPts()']]],
   ['computediffpts',['computeDiffPts',['../classSVF_1_1DiffPTData.html#a6eab8e1201083ed8705379e100cfb3b7',1,'SVF::DiffPTData::computeDiffPts()'],['../classSVF_1_1MutableDiffPTData.html#ac97bd53101f306c46ab4349a808f67c9',1,'SVF::MutableDiffPTData::computeDiffPts()'],['../classSVF_1_1PersistentDiffPTData.html#ae42379dbabbd66dfd91e305673788ed3',1,'SVF::PersistentDiffPTData::computeDiffPts()'],['../classSVF_1_1Andersen.html#a7e26ac6fb40684694f7ff2aadfde8bc7',1,'SVF::Andersen::computeDiffPts()'],['../classSVF_1_1AndersenWaveDiffWithType.html#a96c316aff7fa595ddaca317f7a877398',1,'SVF::AndersenWaveDiffWithType::computeDiffPts()']]],
-  ['computegepoffset',['computeGepOffset',['../classSVF_1_1PAGBuilder.html#a5cedcedab00c875ba392da281de7f5f2',1,'SVF::PAGBuilder::computeGepOffset()'],['../classSVF_1_1SymbolTableInfo.html#a86b742ca197b3505b3246d6bed2484db',1,'SVF::SymbolTableInfo::computeGepOffset()'],['../classSVF_1_1LocSymTableInfo.html#a4aa6bf984692e879ad12806d35a6d2be',1,'SVF::LocSymTableInfo::computeGepOffset()']]],
+  ['computegepoffset',['computeGepOffset',['../classSVF_1_1PAGBuilder.html#a5cedcedab00c875ba392da281de7f5f2',1,'SVF::PAGBuilder::computeGepOffset()'],['../classSVF_1_1SymbolTableInfo.html#a86b742ca197b3505b3246d6bed2484db',1,'SVF::SymbolTableInfo::computeGepOffset()']]],
   ['computeintercallvfgguard',['ComputeInterCallVFGGuard',['../classSVF_1_1PathCondAllocator.html#a9c3361e3f37d640b177c3955f3c3667f',1,'SVF::PathCondAllocator::ComputeInterCallVFGGuard()'],['../classSVF_1_1ProgSlice.html#ae6ca91373bb2a5c2ddc3b20feb630fe6',1,'SVF::ProgSlice::ComputeInterCallVFGGuard()']]],
   ['computeinterretvfgguard',['ComputeInterRetVFGGuard',['../classSVF_1_1PathCondAllocator.html#a5015e36d00ac59ef2b832019b8f922f5',1,'SVF::PathCondAllocator::ComputeInterRetVFGGuard()'],['../classSVF_1_1ProgSlice.html#a0e1c3e7936361a27e876fa1a0678e6c5',1,'SVF::ProgSlice::ComputeInterRetVFGGuard()']]],
   ['computeintersections',['computeIntersections',['../classSVF_1_1IntraDisjointMRG.html#adb3ed119aee3f1bc62b9679ee095580d',1,'SVF::IntraDisjointMRG']]],
@@ -431,6 +431,7 @@ var searchData=
   ['createmr',['createMR',['../classSVF_1_1MRGenerator.html#ac18324bd2b862c3cdbf65494bf69ecb5',1,'SVF::MRGenerator']]],
   ['createmuchi',['createMUCHI',['../classSVF_1_1MemSSA.html#a695adf83e8c40b9628b1866053f68033',1,'SVF::MemSSA']]],
   ['createnode',['createNode',['../classSVF_1_1CHGraph.html#a39a7a8f6a4b9bb03523f190ce7b91e58',1,'SVF::CHGraph']]],
+  ['createobjtypeinfo',['createObjTypeInfo',['../classSVF_1_1SymbolTableInfo.html#aa392fef870b1d3adfc3fd18116782439',1,'SVF::SymbolTableInfo::createObjTypeInfo(const Value *val)'],['../classSVF_1_1SymbolTableInfo.html#a76971ba9b579907ef937cd7adda89562',1,'SVF::SymbolTableInfo::createObjTypeInfo(const Type *type=nullptr)']]],
   ['createrefnode',['createRefNode',['../classSVF_1_1OfflineConsG.html#a984e82f3185be03b8d1cb942685b2010',1,'SVF::OfflineConsG']]],
   ['createsteensgaard',['createSteensgaard',['../classSVF_1_1Steensgaard.html#a33714348b5ed79d579039014f3092b87',1,'SVF::Steensgaard']]],
   ['createvfswpa',['createVFSWPA',['../classSVF_1_1VersionedFlowSensitive.html#ab7b98127319bac71bd84652e622b5958',1,'SVF::VersionedFlowSensitive']]],

package/SVF-doxygen/html/html/search/all_7.js CHANGED Viewed

@@ -462,7 +462,7 @@ var searchData=
   ['getmoduleidentifier',['getModuleIdentifier',['../classSVF_1_1SVFModule.html#aa8bab1ad6cab332fe24066b9cf487344',1,'SVF::SVFModule']]],
   ['getmodulenum',['getModuleNum',['../classSVF_1_1LLVMModuleSet.html#ae265a7f3cc7367d62013e0f15cf3d233',1,'SVF::LLVMModuleSet']]],
   ['getmoduleref',['getModuleRef',['../classSVF_1_1LLVMModuleSet.html#ad647d73d2e1bda61348eff658e32f481',1,'SVF::LLVMModuleSet']]],
-  ['getmodulusoffset',['getModulusOffset',['../classSVF_1_1SymbolTableInfo.html#a480a7565dcb5d9a94f4b0ffb44b127ee',1,'SVF::SymbolTableInfo::getModulusOffset()'],['../classSVF_1_1LocSymTableInfo.html#a81763320f531da09014b4f5019dc8144',1,'SVF::LocSymTableInfo::getModulusOffset()']]],
+  ['getmodulusoffset',['getModulusOffset',['../classSVF_1_1SymbolTableInfo.html#a480a7565dcb5d9a94f4b0ffb44b127ee',1,'SVF::SymbolTableInfo']]],
   ['getmr',['getMR',['../classSVF_1_1MRGenerator.html#a55d38020bbece70847f7e72bb02bc4af',1,'SVF::MRGenerator::getMR()'],['../classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825',1,'SVF::MRVer::getMR()'],['../classSVF_1_1MSSAMU.html#a6bd671839ec0376439ccd81d5b2eff30',1,'SVF::MSSAMU::getMR()'],['../classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c',1,'SVF::MSSADEF::getMR()']]],
   ['getmrgenerator',['getMRGenerator',['../classSVF_1_1MemSSA.html#ab2dfdcf6fb50ba6cacad1254350a5b09',1,'SVF::MemSSA']]],
   ['getmrid',['getMRID',['../classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802',1,'SVF::MemRegion']]],
@@ -505,7 +505,7 @@ var searchData=
   ['getobjectnode',['getObjectNode',['../classSVF_1_1PAG.html#a9e35f1d6a30c6200fb3c0c43ba4f36cb',1,'SVF::PAG::getObjectNode(const Value *V)'],['../classSVF_1_1PAG.html#a12be35fbe2d830fb23fd0173eb66c108',1,'SVF::PAG::getObjectNode(const MemObj *mem)'],['../classSVF_1_1PAGBuilder.html#a442ca853e750396d088aa736cc39356f',1,'SVF::PAGBuilder::getObjectNode()']]],
   ['getobjectnodenum',['getObjectNodeNum',['../classSVF_1_1PAG.html#afe02872115f15623178cb1ed8f737992',1,'SVF::PAG']]],
   ['getobjectnodes',['getObjectNodes',['../classSVF_1_1ExternalPAG.html#acb3156be31f4dd45590d931b0f9279f5',1,'SVF::ExternalPAG']]],
-  ['getobjsize',['getObjSize',['../classSVF_1_1ObjTypeInfo.html#a9208f6856f2554a6d3a2745a2b7a366c',1,'SVF::ObjTypeInfo::getObjSize()'],['../classSVF_1_1LocObjTypeInfo.html#a9c859cb40a6e02f0a7fd18d5c826b990',1,'SVF::LocObjTypeInfo::getObjSize()']]],
+  ['getobjsize',['getObjSize',['../classSVF_1_1SymbolTableInfo.html#a2f8ec960e3462cef867b1ac6e524dea8',1,'SVF::SymbolTableInfo']]],
   ['getobjswithclones',['getObjsWithClones',['../classSVF_1_1TypeBasedHeapCloning.html#ad1c67da3aac128ca8a69907fdad53fcd',1,'SVF::TypeBasedHeapCloning']]],
   ['getobjsym',['getObjSym',['../classSVF_1_1SymbolTableInfo.html#afca5a68d1825326e3ec6302ce0afee66',1,'SVF::SymbolTableInfo']]],
   ['getocgrep',['getOCGRep',['../classSVF_1_1OfflineConsG.html#a3f390900ee8761055c6d59107bc0ad27',1,'SVF::OfflineConsG']]],