svf-tools 1.0.769 → 1.0.771

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

@@ -1,191 +1,193 @@
 var searchData=
 [
-  ['tail_5556',['tail',['../classSVF_1_1List.html#a7900b03bc65b9f8d3e7e5bb1a80a4125',1,'SVF::List']]],
-  ['tailbuilder_5557',['TailBuilder',['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html',1,'SVF::CFBasicBlockGWTO::TailBuilder'],['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a44cc18a45611b6094a9c41251668a4a8',1,'SVF::CFBasicBlockGWTO::TailBuilder::TailBuilder()']]],
-  ['tailmap_5558',['tailmap',['../classSVF_1_1MTASVFGBuilder.html#ad55a5f1e1f6d8e99fc0be5b85bbf8599',1,'SVF::MTASVFGBuilder']]],
-  ['taintsvfgbuilder_5559',['TaintSVFGBuilder',['../classSVF_1_1SVFG.html#a665c93b68f49078c281270a028d04445',1,'SVF::SVFG']]],
-  ['taintuninitheap_5560',['TaintUninitHeap',['../classSVF_1_1Options.html#ad6f51870a3cabccbec4898d572dba74f',1,'SVF::Options']]],
-  ['taintuninitstack_5561',['TaintUninitStack',['../classSVF_1_1Options.html#a787f95c7ac87e04f2e6d55cf5d665a34',1,'SVF::Options']]],
-  ['tcg_5562',['tcg',['../classSVF_1_1MTAResultValidator.html#a08d80c69c8cd11222233e0e88a41f58d',1,'SVF::MTAResultValidator::tcg()'],['../classSVF_1_1MHP.html#a4b73d112880ad940e078e801f8725799',1,'SVF::MHP::tcg()'],['../classSVF_1_1MTA.html#a308ca0fa99b3c95f3e62b27522b6aeaa',1,'SVF::MTA::tcg()'],['../classSVF_1_1TCT.html#ac9ddd6559e818f37c018ed5435182363',1,'SVF::TCT::tcg()']]],
-  ['tcgscc_5563',['tcgSCC',['../classSVF_1_1TCT.html#a30662928bafc97c1e7b123270ca69980',1,'SVF::TCT']]],
-  ['tct_5564',['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#a3f5c5c6689491beb8edfa25c0ad871d9',1,'SVF::MTA::tct()']]],
-  ['tct_2ecpp_5565',['TCT.cpp',['../TCT_8cpp.html',1,'']]],
-  ['tct_2eh_5566',['TCT.h',['../TCT_8h.html',1,'']]],
-  ['tct_5faccess_5567',['TCT_ACCESS',['../classSVF_1_1MTAResultValidator.html#a8ccc7c66b6744622b8a79b371d7b2b66',1,'SVF::MTAResultValidator']]],
-  ['tctdotgraph_5568',['TCTDotGraph',['../classSVF_1_1Options.html#adceab9fa76c438b8e5e83dd6042523ce',1,'SVF::Options']]],
-  ['tctedge_5569',['TCTEdge',['../classSVF_1_1TCTEdge.html',1,'SVF::TCTEdge'],['../classSVF_1_1TCTEdge.html#a2e0ee6eeade83aee75d65080e976fca4',1,'SVF::TCTEdge::TCTEdge()']]],
-  ['tctedgenum_5570',['TCTEdgeNum',['../classSVF_1_1TCT.html#a862899f2e5fb35920adf8e763e1dba57',1,'SVF::TCT']]],
-  ['tctnode_5571',['TCTNode',['../classSVF_1_1TCTNode.html',1,'SVF::TCTNode'],['../classSVF_1_1TCTNode.html#afdb40d78890c84d47441ade941a6d8c6',1,'SVF::TCTNode::TCTNode()']]],
-  ['tctnodeiter_5572',['TCTNodeIter',['../classSVF_1_1TCT.html#a6f4ab4fb901620c733d90b380c9db670',1,'SVF::TCT']]],
-  ['tctnodenum_5573',['TCTNodeNum',['../classSVF_1_1TCT.html#a52e3759054281c1ca1ccde07a9af1799',1,'SVF::TCT']]],
-  ['tcttime_5574',['TCTTime',['../classSVF_1_1MTAStat.html#a3298dd910e731fdabc87bbcf65371a4a',1,'SVF::MTAStat']]],
-  ['td_5facquire_5575',['TD_ACQUIRE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a5bda6aca46dfc712f3781b4732a373a3',1,'SVF::ThreadAPI']]],
-  ['td_5fbar_5finit_5576',['TD_BAR_INIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a4fb99e17bf56ae018448f5f97aa8cda6',1,'SVF::ThreadAPI']]],
-  ['td_5fbar_5fwait_5577',['TD_BAR_WAIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3aa2b2704ecc4c11ec0dbeaf1b22532431',1,'SVF::ThreadAPI']]],
-  ['td_5fcancel_5578',['TD_CANCEL',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3afad2e548ab59646972d8c66e593845cc',1,'SVF::ThreadAPI']]],
-  ['td_5fcond_5fbroadcast_5579',['TD_COND_BROADCAST',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3aa6ee2952d7757b0919f56bd39fd5a93e',1,'SVF::ThreadAPI']]],
-  ['td_5fcond_5fsignal_5580',['TD_COND_SIGNAL',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a01a3b1723176504482b606d8e097949f',1,'SVF::ThreadAPI']]],
-  ['td_5fcond_5fwait_5581',['TD_COND_WAIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3aa8a39bd1bb13292a55dd6168909c872e',1,'SVF::ThreadAPI']]],
-  ['td_5fcondvar_5fdestroy_5582',['TD_CONDVAR_DESTROY',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a9c3f04e71ed64ce8d2862d7a6f39a95b',1,'SVF::ThreadAPI']]],
-  ['td_5fcondvar_5fini_5583',['TD_CONDVAR_INI',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a1f921d7369e3a00a77394640f887c7ff',1,'SVF::ThreadAPI']]],
-  ['td_5fdetach_5584',['TD_DETACH',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a0b558cf037397818414cac2f7c87ab08',1,'SVF::ThreadAPI']]],
-  ['td_5fdummy_5585',['TD_DUMMY',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a5953e882e253807e49aa229e64e001b8',1,'SVF::ThreadAPI']]],
-  ['td_5fexit_5586',['TD_EXIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3af3a3036705ecca40cf170d12d0ccf4dc',1,'SVF::ThreadAPI']]],
-  ['td_5ffork_5587',['TD_FORK',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a9a40948eeab9b022957ae33715ee83da',1,'SVF::ThreadAPI']]],
-  ['td_5fjoin_5588',['TD_JOIN',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a9efe9b72a2520e1fae3cae1e747e3134',1,'SVF::ThreadAPI']]],
-  ['td_5fmutex_5fdestroy_5589',['TD_MUTEX_DESTROY',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a91db238366fcdcd65bd7710882c8716f',1,'SVF::ThreadAPI']]],
-  ['td_5fmutex_5fini_5590',['TD_MUTEX_INI',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3abb17ca545bd259f16a36a2d2af43948b',1,'SVF::ThreadAPI']]],
-  ['td_5frelease_5591',['TD_RELEASE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3ac826e1e1c43305a3abcfdc9a2169b8dd',1,'SVF::ThreadAPI']]],
-  ['td_5ftry_5facquire_5592',['TD_TRY_ACQUIRE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3ab7ea623d48ae64aa09ab49deebbb7113',1,'SVF::ThreadAPI']]],
-  ['td_5ftype_5593',['TD_TYPE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3',1,'SVF::ThreadAPI']]],
-  ['tdalive_5594',['TDAlive',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631a2abecc56b7d5c644f7e14c98d33d0a0a',1,'SVF::ForkJoinAnalysis']]],
-  ['tdapi_5595',['tdAPI',['../classSVF_1_1MTAResultValidator.html#a3539af55e9ba2343e576f7e14f42994f',1,'SVF::MTAResultValidator::tdAPI()'],['../classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f',1,'SVF::ThreadCallGraph::tdAPI()'],['../classSVF_1_1PCG.html#a8215dc3643d1c4fb3d489e80cd3db336',1,'SVF::PCG::tdAPI()'],['../classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d',1,'SVF::ThreadAPI::tdAPI()']]],
-  ['tdapimap_5596',['TDAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2',1,'SVF::SaberCheckerAPI::TDAPIMap()'],['../classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144',1,'SVF::ThreadAPI::TDAPIMap()'],['../classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec',1,'SVF::SaberCheckerAPI::tdAPIMap()'],['../classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c',1,'SVF::ThreadAPI::tdAPIMap()']]],
-  ['tddead_5597',['TDDead',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4',1,'SVF::ForkJoinAnalysis']]],
-  ['tdforkedge_5598',['TDForkEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7af32caf15ca19d512b5183bcf0d859cd7',1,'SVF::PTACallGraphEdge']]],
-  ['tdforkpe_5599',['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 &)'],['../classSVF_1_1TDForkPE.html#ae28fa8ad500a11208410adbfd0d19ea5',1,'SVF::TDForkPE::TDForkPE(SVFVar *s, SVFVar *d, const CallICFGNode *i, const FunEntryICFGNode *entry)']]],
-  ['tdjoinedge_5600',['TDJoinEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7a2d65840140263a0808f5b9d553a4bff5',1,'SVF::PTACallGraphEdge']]],
-  ['tdjoinpe_5601',['TDJoinPE',['../classSVF_1_1TDJoinPE.html',1,'SVF::TDJoinPE'],['../classSVF_1_1TDJoinPE.html#a3a7edc9b921598336ff2bbb6412e2160',1,'SVF::TDJoinPE::TDJoinPE()'],['../classSVF_1_1TDJoinPE.html#a6f1714c9ef2483173ee6026b34eb10ae',1,'SVF::TDJoinPE::TDJoinPE(const TDJoinPE &)'],['../classSVF_1_1TDJoinPE.html#ad836475c24cb395175291df3f1ddfee0',1,'SVF::TDJoinPE::TDJoinPE(SVFVar *s, SVFVar *d, const CallICFGNode *i, const FunExitICFGNode *e)']]],
-  ['tdlocked_5602',['TDLocked',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791a2709e7eb7ea9829c7e649e6dd86d6a48',1,'SVF::LockAnalysis']]],
-  ['tdunlocked_5603',['TDUnlocked',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791ac531588e8556653306e03ccaacb83dac',1,'SVF::LockAnalysis']]],
-  ['template_5604',['TEMPLATE',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc',1,'SVF::DCHNode::TEMPLATE()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d',1,'SVF::CHNode::TEMPLATE()']]],
-  ['templatenametoinstancesmap_5605',['templateNameToInstancesMap',['../classSVF_1_1CHGraph.html#acd022005e2191bc3bcb265805abee4f8',1,'SVF::CHGraph']]],
-  ['teq_5606',['teq',['../classSVF_1_1DCHGraph.html#acb76ab20da1bfbec00f63d08e48cbddd',1,'SVF::DCHGraph']]],
-  ['terminals_5607',['terminals',['../classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a',1,'SVF::GrammarBase']]],
-  ['terminator_5608',['terminator',['../classSVF_1_1SVFInstruction.html#ab092c00376cf697bc4a3b7baa9f3a2f3',1,'SVF::SVFInstruction']]],
-  ['test_5609',['test',['../classSVF_1_1CondStdSet.html#a6bf6fafc6f8391dbff08a6bd9d07f4d4',1,'SVF::CondStdSet::test()'],['../classSVF_1_1CondPointsToSet.html#a1613b690473a4fcbae7bc41c3c5347d7',1,'SVF::CondPointsToSet::test()'],['../classSVF_1_1PointsTo.html#af61271fefa574c39f405fdfee59a8b3f',1,'SVF::PointsTo::test()'],['../classSVF_1_1CoreBitVector.html#a7b20ffd3cd4a0ffc48a1348f657deaa0',1,'SVF::CoreBitVector::test()'],['../structSVF_1_1SparseBitVectorElement.html#a465b415217533f1f0026bec837495fdd',1,'SVF::SparseBitVectorElement::test()'],['../classSVF_1_1SparseBitVector.html#a112f2ede1240c95f9fe810f2882fab80',1,'SVF::SparseBitVector::test()']]],
-  ['test_5fand_5fset_5610',['test_and_set',['../classSVF_1_1CondStdSet.html#a3e72341580263f3a9b48ce0e8c7bbbec',1,'SVF::CondStdSet::test_and_set()'],['../classSVF_1_1CondPointsToSet.html#ac29ac1adefca6b34cd8e83fe3f0b4450',1,'SVF::CondPointsToSet::test_and_set()'],['../classSVF_1_1PointsTo.html#a1161d97df5ffc8f11d1a34df9a4d5bdf',1,'SVF::PointsTo::test_and_set()'],['../classSVF_1_1CoreBitVector.html#a3299b296d20d2b76c6538ba51a684972',1,'SVF::CoreBitVector::test_and_set()'],['../structSVF_1_1SparseBitVectorElement.html#a7a5d223870e32035863f6596727c6775',1,'SVF::SparseBitVectorElement::test_and_set()'],['../classSVF_1_1SparseBitVector.html#a355247d17d1c17b857b4ee572e19b91f',1,'SVF::SparseBitVector::test_and_set()']]],
-  ['testindcallreachability_5611',['testIndCallReachability',['../classSVF_1_1ContextDDA.html#a05ac33ca33efb58099839f72050bb008',1,'SVF::ContextDDA::testIndCallReachability()'],['../classSVF_1_1FlowDDA.html#ae48534b36222578855708c298f81f554',1,'SVF::FlowDDA::testIndCallReachability()']]],
-  ['testoutofbudget_5612',['testOutOfBudget',['../classSVF_1_1DDAVFSolver.html#a3fb52286c5324ea3d58e22c630b307e3',1,'SVF::DDAVFSolver']]],
-  ['testsvalidation_5613',['testsValidation',['../classSVF_1_1DoubleFreeChecker.html#a06cf937c92c88627796f09b0a87a5263',1,'SVF::DoubleFreeChecker::testsValidation()'],['../classSVF_1_1LeakChecker.html#aaf5d098e0d08929a108fb59bff46e424',1,'SVF::LeakChecker::testsValidation()']]],
-  ['thdcallgraph_5614',['ThdCallGraph',['../classSVF_1_1PTACallGraph.html#a5b1fe2b2314db947cd5e709b7285fe1ca4fe819bb1488afc48b04c1b7bef04bc2',1,'SVF::PTACallGraph']]],
-  ['theadmhpindirectvf_5615',['TheadMHPIndirectVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aae3168b6bc9141e4a1f3723eae4f3375',1,'SVF::VFGEdge']]],
-  ['theoreticalnumwords_5616',['TheoreticalNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a2a70b98363303cb33d96732f44b4c5c3',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['threadapi_5617',['ThreadAPI',['../classSVF_1_1ThreadAPI.html',1,'SVF::ThreadAPI'],['../classSVF_1_1ThreadAPI.html#a9c5ea333cc420bc3b8d8765c664ab128',1,'SVF::ThreadAPI::ThreadAPI()']]],
-  ['threadapi_2ecpp_5618',['ThreadAPI.cpp',['../ThreadAPI_8cpp.html',1,'']]],
-  ['threadapi_2eh_5619',['ThreadAPI.h',['../ThreadAPI_8h.html',1,'']]],
-  ['threadapi_5fcpp_5f_5620',['THREADAPI_CPP_',['../ThreadAPI_8cpp.html#a2edb48ac961ebb1eb8937424c6b273f1',1,'ThreadAPI.cpp']]],
-  ['threadcallgraph_5621',['ThreadCallGraph',['../classSVF_1_1ThreadCallGraph.html',1,'SVF::ThreadCallGraph'],['../classSVF_1_1ThreadCallGraph.html#a09946f39049bad87401b6e1567a7fb19',1,'SVF::ThreadCallGraph::ThreadCallGraph()']]],
-  ['threadcallgraph_2ecpp_5622',['ThreadCallGraph.cpp',['../ThreadCallGraph_8cpp.html',1,'']]],
-  ['threadcallgraph_2eh_5623',['ThreadCallGraph.h',['../ThreadCallGraph_8h.html',1,'']]],
-  ['threadcallgraphbuilder_5624',['ThreadCallGraphBuilder',['../classSVF_1_1ThreadCallGraphBuilder.html',1,'SVF::ThreadCallGraphBuilder'],['../classSVF_1_1ThreadCallGraphBuilder.html#afaf36ca5ff95c90f27424564d60e2c1c',1,'SVF::ThreadCallGraphBuilder::ThreadCallGraphBuilder()']]],
-  ['threadcallgraphscc_5625',['ThreadCallGraphSCC',['../classSVF_1_1TCT.html#a71942c7386d094426ae86633a9b1f755',1,'SVF::TCT']]],
-  ['threadcreateedge_5626',['ThreadCreateEdge',['../classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494fac7915e379517d9d17b770540adb577c8',1,'SVF::TCTEdge']]],
-  ['threadcreateedgeset_5627',['ThreadCreateEdgeSet',['../classSVF_1_1TCTEdge.html#aecd13905b54ae91d938b610be828deb5',1,'SVF::TCTEdge::ThreadCreateEdgeSet()'],['../classSVF_1_1TCT.html#a7c53c7ff773a253976374392d4930d6e',1,'SVF::TCT::ThreadCreateEdgeSet()']]],
-  ['threadfork_5628',['ThreadFork',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd',1,'SVF::SVFStmt']]],
-  ['threadforkedge_5629',['ThreadForkEdge',['../classSVF_1_1ThreadForkEdge.html',1,'SVF::ThreadForkEdge'],['../classSVF_1_1ThreadForkEdge.html#ae55b3e06b3ed22780d917dbb225561c1',1,'SVF::ThreadForkEdge::ThreadForkEdge()']]],
-  ['threadid_5630',['ThreadID',['../namespaceSVF.html#a10cddb090690c82a2aab31a480253d35',1,'SVF']]],
-  ['threadjoin_5631',['ThreadJoin',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0',1,'SVF::SVFStmt']]],
-  ['threadjoinedge_5632',['ThreadJoinEdge',['../classSVF_1_1ThreadJoinEdge.html',1,'SVF::ThreadJoinEdge'],['../classSVF_1_1ThreadJoinEdge.html#abacb4b5e4badee46f9517b2d84798a3e',1,'SVF::ThreadJoinEdge::ThreadJoinEdge()']]],
-  ['threadmhpindsvfgedge_5633',['ThreadMHPIndSVFGEdge',['../classSVF_1_1ThreadMHPIndSVFGEdge.html',1,'SVF::ThreadMHPIndSVFGEdge'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#ac5055bd4ff42476915b5d02ba4f1986b',1,'SVF::ThreadMHPIndSVFGEdge::ThreadMHPIndSVFGEdge()']]],
-  ['threadpairset_5634',['ThreadPairSet',['../classSVF_1_1ForkJoinAnalysis.html#a7fb8df483e619337e77088e8543a9846',1,'SVF::ForkJoinAnalysis']]],
-  ['threadstmttointerleaving_5635',['threadStmtToInterLeaving',['../classSVF_1_1MTAResultValidator.html#ac4a7773211a9c842639ac25b1a504c7e',1,'SVF::MTAResultValidator']]],
-  ['threadstmttotheadinterleav_5636',['threadStmtToTheadInterLeav',['../classSVF_1_1MHP.html#afcfc409e625b74cbefd240170627c541',1,'SVF::MHP']]],
-  ['threadstmttothreadinterleav_5637',['ThreadStmtToThreadInterleav',['../classSVF_1_1MHP.html#ac30f283cb2ad020a054ee6525ca94025',1,'SVF::MHP']]],
-  ['tid_5638',['tid',['../classSVF_1_1CxtThreadStmt.html#ad96bacc3de1ce576ad397d19aa99a269',1,'SVF::CxtThreadStmt::tid()'],['../classSVF_1_1CxtThreadProc.html#a99b24e1be2bfb49569532c2c28c68969',1,'SVF::CxtThreadProc::tid()']]],
-  ['timeinterval_5639',['TIMEINTERVAL',['../SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736',1,'SVFType.h']]],
-  ['timelimitreached_5640',['timeLimitReached',['../namespaceSVF_1_1SVFUtil.html#add4cd21115988f9f5eec12e268ddf1d9',1,'SVF::SVFUtil']]],
-  ['timeofbuildcflgrammar_5641',['timeOfBuildCFLGrammar',['../classSVF_1_1CFLBase.html#a0d3217f4c3796b58a98add5c92298ad2',1,'SVF::CFLBase']]],
-  ['timeofbuildcflgraph_5642',['timeOfBuildCFLGraph',['../classSVF_1_1CFLBase.html#a9453bf479ccd00bacb3b371fa6383a9c',1,'SVF::CFLBase']]],
-  ['timeofbuildingllvmmodule_5643',['timeOfBuildingLLVMModule',['../classSVF_1_1SVFStat.html#aa4950ec26b66a085ad38ac154b789db5',1,'SVF::SVFStat']]],
-  ['timeofbuildingsvfir_5644',['timeOfBuildingSVFIR',['../classSVF_1_1SVFStat.html#aea75388c973674686d1f2b7498b4095c',1,'SVF::SVFStat']]],
-  ['timeofbuildingsymboltable_5645',['timeOfBuildingSymbolTable',['../classSVF_1_1SVFStat.html#ae89293bc063bdc74a988e9c37c70321e',1,'SVF::SVFStat']]],
-  ['timeofcollapse_5646',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
-  ['timeofcreatemuchi_5647',['timeOfCreateMUCHI',['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()'],['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()']]],
-  ['timeofgeneratingmemregions_5648',['TimeOfGeneratingMemRegions',['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()']]],
-  ['timeofinsertingphi_5649',['timeOfInsertingPHI',['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()'],['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()']]],
-  ['timeofnormalizegrammar_5650',['timeOfNormalizeGrammar',['../classSVF_1_1CFLBase.html#ad4d65dd4c3e173d014199ac6b08a5261',1,'SVF::CFLBase']]],
-  ['timeofprocesscopygep_5651',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
-  ['timeofprocessloadstore_5652',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
-  ['timeofsccdetection_5653',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
-  ['timeofsccmerges_5654',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
-  ['timeofsolving_5655',['timeOfSolving',['../classSVF_1_1CFLBase.html#a88e40af43705550a78837b8589bbf3f8',1,'SVF::CFLBase']]],
-  ['timeofssarenaming_5656',['TimeOfSSARenaming',['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()'],['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()']]],
-  ['timeofupdatecallgraph_5657',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
-  ['timestatmap_5658',['timeStatMap',['../classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831',1,'SVF::SVFStat::timeStatMap()'],['../classSVF_1_1SVFStat.html#aeded7780a3f826b3efab971807e2dd98',1,'SVF::SVFStat::TIMEStatMap()']]],
-  ['tinterphi_5659',['TInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69',1,'SVF::VFGNode']]],
-  ['tintraphi_5660',['TIntraPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727',1,'SVF::VFGNode']]],
-  ['tlptdata_5661',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],
-  ['tlvfnodeend_5662',['TLVFNodeEnd',['../classSVF_1_1SVFGStat.html#a17e479f0258291998369a2eb325ba3d7',1,'SVF::SVFGStat']]],
-  ['tlvfnodestart_5663',['TLVFNodeStart',['../classSVF_1_1SVFGStat.html#a2e4aac52fdc2fd119847afbeba634de9',1,'SVF::SVFGStat']]],
-  ['tmpnam_5fr_5664',['tmpnam_r',['../extapi_8c.html#a0d302127bd577711c2af50614667171e',1,'extapi.c']]],
-  ['to_5fstring_5665',['to_string',['../classSVF_1_1NumericLiteral.html#ac154ddeb6516e240e091f4867c4c3593',1,'SVF::NumericLiteral::to_string()'],['../classSVF_1_1Z3Expr.html#a1da8e647e12c0e105271eadbd72f437e',1,'SVF::Z3Expr::to_string()']]],
-  ['tojson_5666',['toJson',['../classSVF_1_1SVFIRWriter.html#a93d2ddd2ef2821540a2ba824ccb775a6',1,'SVF::SVFIRWriter::toJson(const NodeIDAllocator *nodeIDAllocator)'],['../classSVF_1_1SVFIRWriter.html#a3e16ad48a28692909c2b3bffef512c6e',1,'SVF::SVFIRWriter::toJson(const SymbolTableInfo *symTable)'],['../classSVF_1_1SVFIRWriter.html#a98dc0a41a68c9901388b256765bb6845',1,'SVF::SVFIRWriter::toJson(const SVFModule *module)'],['../classSVF_1_1SVFIRWriter.html#a0df7c4fb2d2ea136a7c4bd98672162e0',1,'SVF::SVFIRWriter::toJson(const SVFType *type)'],['../classSVF_1_1SVFIRWriter.html#ad26fae885b3e67c899861e6fb4909bd8',1,'SVF::SVFIRWriter::toJson(const SVFValue *value)'],['../classSVF_1_1SVFIRWriter.html#ac10b47dd97fd2462f0489ccaa12b127d',1,'SVF::SVFIRWriter::toJson(const IRGraph *graph)'],['../classSVF_1_1SVFIRWriter.html#aa1c5409c978be6f13cfe9ab66948df46',1,'SVF::SVFIRWriter::toJson(const SVFVar *var)'],['../classSVF_1_1SVFIRWriter.html#a75f7299f018ad9408c2107cc2ea3a43b',1,'SVF::SVFIRWriter::toJson(const SVFStmt *stmt)'],['../classSVF_1_1SVFIRWriter.html#a753e98b97caf1983f08d78bafcee7917',1,'SVF::SVFIRWriter::toJson(const ICFG *icfg)'],['../classSVF_1_1SVFIRWriter.html#a43329892fc7f5712bc3a3b342d49f349',1,'SVF::SVFIRWriter::toJson(const ICFGNode *node)'],['../classSVF_1_1SVFIRWriter.html#a499bdad6915476c6a8a2189d5fbe5a21',1,'SVF::SVFIRWriter::toJson(const ICFGEdge *edge)'],['../classSVF_1_1SVFIRWriter.html#af798ab5997e573bd5e400e8b08fb72f1',1,'SVF::SVFIRWriter::toJson(const CommonCHGraph *graph)'],['../classSVF_1_1SVFIRWriter.html#ab51aa59719cf95a623bb6fcb1fc2c505',1,'SVF::SVFIRWriter::toJson(const CHGraph *graph)'],['../classSVF_1_1SVFIRWriter.html#a436107ecb44c5f2380da77dc09b1e539',1,'SVF::SVFIRWriter::toJson(const CHNode *node)'],['../classSVF_1_1SVFIRWriter.html#a4e909e3d84a7bcad3ccd0aabe4680ab8',1,'SVF::SVFIRWriter::toJson(const CHEdge *edge)'],['../classSVF_1_1SVFIRWriter.html#ac9205b26cd35027262e36860eded8c98',1,'SVF::SVFIRWriter::toJson(const CallSite &cs)'],['../classSVF_1_1SVFIRWriter.html#ad1c7d0bb10357f27cad813726aa6aa0c',1,'SVF::SVFIRWriter::toJson(const AccessPath &ap)'],['../classSVF_1_1SVFIRWriter.html#a287e543eb66991def4eca460854db681',1,'SVF::SVFIRWriter::toJson(const SVFLoop *loop)'],['../classSVF_1_1SVFIRWriter.html#a05fe55a73c07b6d5b10135c9f76aefbb',1,'SVF::SVFIRWriter::toJson(const MemObj *memObj)'],['../classSVF_1_1SVFIRWriter.html#a628a1ec398ea128f3e063e56bf79ac25',1,'SVF::SVFIRWriter::toJson(const ObjTypeInfo *objTypeInfo)'],['../classSVF_1_1SVFIRWriter.html#aa28d62f9911d3c1d0e0554763a8550c1',1,'SVF::SVFIRWriter::toJson(const SVFLoopAndDomInfo *ldInfo)'],['../classSVF_1_1SVFIRWriter.html#a488ee40454e4ce07d908890a644e1ae9',1,'SVF::SVFIRWriter::toJson(const StInfo *stInfo)'],['../classSVF_1_1SVFIRWriter.html#ae680287f38c3c2cdfb78d42de5cf984e',1,'SVF::SVFIRWriter::toJson(bool flag)'],['../classSVF_1_1SVFIRWriter.html#ad4a3f192a05227c020a494bd45582400',1,'SVF::SVFIRWriter::toJson(unsigned number)'],['../classSVF_1_1SVFIRWriter.html#a550b2d4a06b60901b641a5acb911649e',1,'SVF::SVFIRWriter::toJson(int number)'],['../classSVF_1_1SVFIRWriter.html#abfc963e87fa6be80b0e2c68f97c7d03d',1,'SVF::SVFIRWriter::toJson(float number)'],['../classSVF_1_1SVFIRWriter.html#a6fbd35a83df82b55b7af6a8ead64d1c7',1,'SVF::SVFIRWriter::toJson(const std::string &str)'],['../classSVF_1_1SVFIRWriter.html#ae2ac4e154c015d02b30c11ca9eaa1efc',1,'SVF::SVFIRWriter::toJson(unsigned long number)'],['../classSVF_1_1SVFIRWriter.html#a187a47cf11fc05a031de6318f111d154',1,'SVF::SVFIRWriter::toJson(long long number)'],['../classSVF_1_1SVFIRWriter.html#a971d6b7df4f490453269526728acf686',1,'SVF::SVFIRWriter::toJson(unsigned long long number)'],['../classSVF_1_1SVFIRWriter.html#a7cfa3d31b4c80856038489c62b4f71f2',1,'SVF::SVFIRWriter::toJson(const std::pair< T, U > &pair)'],['../classSVF_1_1SVFIRWriter.html#aa09ab3e8abda6598292efca280322809',1,'SVF::SVFIRWriter::toJson(const T &container)']]],
-  ['tonodebs_5667',['toNodeBS',['../classSVF_1_1PointsTo.html#ad1d19d52800341484a136c6d5e0112ea',1,'SVF::PointsTo']]],
-  ['top_5668',['top',['../classSVF_1_1IntervalExeState.html#a3139363dbe4bf20bb23e922f80d9e9c0',1,'SVF::IntervalExeState::top()'],['../classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b',1,'SVF::IntervalValue::top()']]],
-  ['topconstant_5669',['topConstant',['../classSVF_1_1SingleAbsValue.html#a70528ca5e4ad67b593104a7b2bba17c6',1,'SVF::SingleAbsValue']]],
-  ['toponodestack_5670',['topoNodeStack',['../classSVF_1_1SCCDetection.html#a6502c0a765ac1653474ffee651949f93',1,'SVF::SCCDetection']]],
-  ['tostring_5671',['toString',['../classSVF_1_1ConsExeState.html#a4553e0d059ea66f9a0287454686eb558',1,'SVF::ConsExeState::toString()'],['../classSVF_1_1ExeState.html#af58dd98bbad68a7c72e16831be26c677',1,'SVF::ExeState::toString()'],['../classSVF_1_1IntervalExeState.html#a3a8f8b09df0befa318cbcd43d191d37a',1,'SVF::IntervalExeState::toString()'],['../classSVF_1_1IntervalValue.html#a5d73cc2aa0a6ed49e8301fa7b0cd5045',1,'SVF::IntervalValue::toString()'],['../classSVF_1_1WTOCycleDepth.html#a94c9c81ebe4df428c163f999284b6d98',1,'SVF::WTOCycleDepth::toString()'],['../classSVF_1_1CFBasicBlockGWTOComp.html#a2d4103fde1e02e8ba88c375d33a1dbad',1,'SVF::CFBasicBlockGWTOComp::toString()'],['../classSVF_1_1CFBasicBlockGWTONode.html#a5b614494716dd565c0af2b7e8110f8d0',1,'SVF::CFBasicBlockGWTONode::toString()'],['../classSVF_1_1CFBasicBlockGWTOCycle.html#a0406854fb89bcb7cabe2a83344b8f1f3',1,'SVF::CFBasicBlockGWTOCycle::toString()'],['../classSVF_1_1CFBasicBlockGWTO.html#a2b918d80839deaf3e1b1fa9fe984dbec',1,'SVF::CFBasicBlockGWTO::toString()'],['../classSVF_1_1CFBasicBlockEdge.html#abb9b3f9a5464f40e6d4d0cd2def08906',1,'SVF::CFBasicBlockEdge::toString()'],['../classSVF_1_1CFBasicBlockNode.html#a727f0ef59605adf99af4babee90eb8a8',1,'SVF::CFBasicBlockNode::toString()'],['../classSVF_1_1ICFGEdge.html#a7233609f62f278b738036e8de9bbbfc8',1,'SVF::ICFGEdge::toString()'],['../classSVF_1_1IntraCFGEdge.html#a1e63286b4d6f757ac1220f5f03ae62de',1,'SVF::IntraCFGEdge::toString()'],['../classSVF_1_1CallCFGEdge.html#a2ad72b065dcb752e0779de9ff69c443a',1,'SVF::CallCFGEdge::toString()'],['../classSVF_1_1RetCFGEdge.html#aca97e28617505e482b014dc805cb70aa',1,'SVF::RetCFGEdge::toString()'],['../classSVF_1_1ICFGNode.html#af1b6fd9ea200ab0ff51d48a4872c921a',1,'SVF::ICFGNode::toString()'],['../classSVF_1_1GlobalICFGNode.html#ada960e5bdba75c165a67b33c09819c47',1,'SVF::GlobalICFGNode::toString()'],['../classSVF_1_1IntraICFGNode.html#a85d3e05cb5a95c2f9d678d9f010419a5',1,'SVF::IntraICFGNode::toString()'],['../classSVF_1_1FunEntryICFGNode.html#a3e9032ea2388682e568b6324fe8e4882',1,'SVF::FunEntryICFGNode::toString()'],['../classSVF_1_1FunExitICFGNode.html#aa73e5a5e577b789842987fec2fb307f9',1,'SVF::FunExitICFGNode::toString()'],['../classSVF_1_1CallICFGNode.html#ab07e504bbc100fa3e111d62de815a88c',1,'SVF::CallICFGNode::toString()'],['../classSVF_1_1RetICFGNode.html#ab0b54268167a593e2db9d02d3dd9c4f1',1,'SVF::RetICFGNode::toString()'],['../classSVF_1_1PTACallGraphEdge.html#a27979e812ced26f114369b46e1536b02',1,'SVF::PTACallGraphEdge::toString()'],['../classSVF_1_1PTACallGraphNode.html#a57f173a28c2a153d37cb63d451e62973',1,'SVF::PTACallGraphNode::toString()'],['../classSVF_1_1IndirectSVFGEdge.html#a33e6221e5005fda68903f4cdadf58ce8',1,'SVF::IndirectSVFGEdge::toString()'],['../classSVF_1_1IntraIndSVFGEdge.html#ae148fda488b6505a6cc4103aae30e291',1,'SVF::IntraIndSVFGEdge::toString()'],['../classSVF_1_1CallIndSVFGEdge.html#a06cc5ba2c5be41bf38e4fad0c031138e',1,'SVF::CallIndSVFGEdge::toString()'],['../classSVF_1_1RetIndSVFGEdge.html#a58502c0881d2d8dccf9dd09385e08dc5',1,'SVF::RetIndSVFGEdge::toString()'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#a09b7fef74030eecc6fa7b83a15c12521',1,'SVF::ThreadMHPIndSVFGEdge::toString()'],['../classSVF_1_1MRSVFGNode.html#a232213efbfa9e21b7410de6b4040c475',1,'SVF::MRSVFGNode::toString()'],['../classSVF_1_1FormalINSVFGNode.html#a4022ecd01a88758b5fa7d22856c89745',1,'SVF::FormalINSVFGNode::toString()'],['../classSVF_1_1FormalOUTSVFGNode.html#a45b1aafb8a2464c868c5249b37e9ff0a',1,'SVF::FormalOUTSVFGNode::toString()'],['../classSVF_1_1ActualINSVFGNode.html#a5f583665f7e094dc4f7c387f4522a1a5',1,'SVF::ActualINSVFGNode::toString()'],['../classSVF_1_1ActualOUTSVFGNode.html#a460d0d6f338c33e39d810f7921237b5c',1,'SVF::ActualOUTSVFGNode::toString()'],['../classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd',1,'SVF::MSSAPHISVFGNode::toString()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#ad463be283dcad18654cee4311d071a47',1,'SVF::IntraMSSAPHISVFGNode::toString()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a286e9064de854a84bdd2efe8f7d73688',1,'SVF::InterMSSAPHISVFGNode::toString()'],['../classSVF_1_1ThreadForkEdge.html#acdc2ff9ad9800847b581e9d27efd3843',1,'SVF::ThreadForkEdge::toString()'],['../classSVF_1_1ThreadJoinEdge.html#a67b68672ef76e0a4f326f7dbbd77bbf7',1,'SVF::ThreadJoinEdge::toString()'],['../classSVF_1_1VFGEdge.html#a8f4bec008af7cd1a89870715eaa91a7b',1,'SVF::VFGEdge::toString()'],['../classSVF_1_1DirectSVFGEdge.html#aa8d70214eb0242c3f2baaa506c12852c',1,'SVF::DirectSVFGEdge::toString()'],['../classSVF_1_1IntraDirSVFGEdge.html#a1c8dc17717409aa42749181aafd155aa',1,'SVF::IntraDirSVFGEdge::toString()'],['../classSVF_1_1CallDirSVFGEdge.html#af07decd05375f56baa4a1c4fe70bc3f1',1,'SVF::CallDirSVFGEdge::toString()'],['../classSVF_1_1RetDirSVFGEdge.html#a6282c2619d843cf90575886a0ef81edf',1,'SVF::RetDirSVFGEdge::toString()'],['../classSVF_1_1VFGNode.html#a0342b5a6f270f4ff0e8e2a9b0082c6c5',1,'SVF::VFGNode::toString()'],['../classSVF_1_1StmtVFGNode.html#aa5011ff12de490146ab106e90d0b6ad8',1,'SVF::StmtVFGNode::toString()'],['../classSVF_1_1LoadVFGNode.html#aad3591f38e30c5168d4accb76ac8dc04',1,'SVF::LoadVFGNode::toString()'],['../classSVF_1_1StoreVFGNode.html#aba7e8b8329caf412a55f5880f68414fe',1,'SVF::StoreVFGNode::toString()'],['../classSVF_1_1CopyVFGNode.html#ad86bbc5ec4a9ea226364a84e04724b37',1,'SVF::CopyVFGNode::toString()'],['../classSVF_1_1CmpVFGNode.html#aa08c4475c47beb0d026acab859d68117',1,'SVF::CmpVFGNode::toString()'],['../classSVF_1_1BinaryOPVFGNode.html#aa743cf19c5dc91dbb0c7b8981fecc6c4',1,'SVF::BinaryOPVFGNode::toString()'],['../classSVF_1_1UnaryOPVFGNode.html#ad0b45546c62bdef367149b58f530f89d',1,'SVF::UnaryOPVFGNode::toString()'],['../classSVF_1_1BranchVFGNode.html#a131fe96308f67b307ea08e645b019e13',1,'SVF::BranchVFGNode::toString()'],['../classSVF_1_1GepVFGNode.html#ad27376633c939952878d5d73621ec638',1,'SVF::GepVFGNode::toString()'],['../classSVF_1_1PHIVFGNode.html#a7fb9cbed3718922cd81b18d069c79aea',1,'SVF::PHIVFGNode::toString()'],['../classSVF_1_1IntraPHIVFGNode.html#a145413d87e9174b5eb70b871b9dfa13e',1,'SVF::IntraPHIVFGNode::toString()'],['../classSVF_1_1AddrVFGNode.html#ac26fbce400355f43fdc22ad88a8d9067',1,'SVF::AddrVFGNode::toString()'],['../classSVF_1_1ArgumentVFGNode.html#a3c10cd63e18f79ccc66f4687d05cb8c5',1,'SVF::ArgumentVFGNode::toString()'],['../classSVF_1_1ActualParmVFGNode.html#a60d6ce4c4fe2cf54be45e58b2b93c9f6',1,'SVF::ActualParmVFGNode::toString()'],['../classSVF_1_1FormalParmVFGNode.html#ac4e695d6ee7bb7c5ed4e273567e7c1cc',1,'SVF::FormalParmVFGNode::toString()'],['../classSVF_1_1ActualRetVFGNode.html#a4d1e7df32604becd2e2b60fe2e5cfbfa',1,'SVF::ActualRetVFGNode::toString()'],['../classSVF_1_1FormalRetVFGNode.html#ab1ae2339d7408d9156cdfe5ab4559e66',1,'SVF::FormalRetVFGNode::toString()'],['../classSVF_1_1InterPHIVFGNode.html#aff35aebdc8d955df160e51da7b666a7e',1,'SVF::InterPHIVFGNode::toString()'],['../classSVF_1_1NullPtrVFGNode.html#a75c8b89a34bfd89a4af2c699cdb626b9',1,'SVF::NullPtrVFGNode::toString()'],['../classSVF_1_1CondVar.html#a4baf5fb20288491c96827177f9965cc4',1,'SVF::CondVar::toString()'],['../classSVF_1_1CondStdSet.html#a07267b0a4f7cfeaa6d1f7d722932c4d5',1,'SVF::CondStdSet::toString()'],['../classSVF_1_1SVFStmt.html#ad0b4dbe87e009518f22360c48b0d0c22',1,'SVF::SVFStmt::toString()'],['../classSVF_1_1AssignStmt.html#abbe582a24bf4b42284f78eab5b18a90a',1,'SVF::AssignStmt::toString()'],['../classSVF_1_1AddrStmt.html#abf9453ed58c6946640a85be31512c0e8',1,'SVF::AddrStmt::toString()'],['../classSVF_1_1CopyStmt.html#ad72ccb8ab29258b7c0fb54c48e8dec3a',1,'SVF::CopyStmt::toString()'],['../classSVF_1_1StoreStmt.html#a3b9692c3de9437c4f686f646aa6b4aac',1,'SVF::StoreStmt::toString()'],['../classSVF_1_1LoadStmt.html#a5c930e62bc3b03c9dfa4a8dbe9b4df2a',1,'SVF::LoadStmt::toString()'],['../classSVF_1_1GepStmt.html#acae68ff97d408a1dd929b0348415c81d',1,'SVF::GepStmt::toString()'],['../classSVF_1_1CallPE.html#aecdf349bde9547dae7eb88c6cfd34bab',1,'SVF::CallPE::toString()'],['../classSVF_1_1RetPE.html#a68aa24dcabeae26bcc4184110fbb50ef',1,'SVF::RetPE::toString()'],['../classSVF_1_1PhiStmt.html#a09575a14aa359a0795b4d6c83bee487a',1,'SVF::PhiStmt::toString()'],['../classSVF_1_1SelectStmt.html#a7d1a9feec3ada330ed5aba9c35056b39',1,'SVF::SelectStmt::toString()'],['../classSVF_1_1CmpStmt.html#a2f050b8af64dbe5e6bace2a82167a439',1,'SVF::CmpStmt::toString()'],['../classSVF_1_1BinaryOPStmt.html#a138547516e2676c297a27d762544f2aa',1,'SVF::BinaryOPStmt::toString()'],['../classSVF_1_1UnaryOPStmt.html#a1d5eced1a537eeab82d24f451d6b7f65',1,'SVF::UnaryOPStmt::toString()'],['../classSVF_1_1BranchStmt.html#afc44edd6d1d5c855dc2169d26629377f',1,'SVF::BranchStmt::toString()'],['../classSVF_1_1TDForkPE.html#aa385dc7e7e439cb4d8ee1524c8fbf9fe',1,'SVF::TDForkPE::toString()'],['../classSVF_1_1TDJoinPE.html#accac29adba7ca4883ae161c223a1703d',1,'SVF::TDJoinPE::toString()'],['../classSVF_1_1SVFType.html#a9035ac13134de4647d63507cd80ca3d6',1,'SVF::SVFType::toString()'],['../classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3',1,'SVF::SVFValue::toString()'],['../classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd',1,'SVF::SVFVar::toString()'],['../classSVF_1_1ValVar.html#a4591213dd266efd380fd916fee73c1fd',1,'SVF::ValVar::toString()'],['../classSVF_1_1ObjVar.html#a14da09447f9f0495a42a61bdd92688a3',1,'SVF::ObjVar::toString()'],['../classSVF_1_1GepValVar.html#ac9016b61dde44eb89ea715a0619994de',1,'SVF::GepValVar::toString()'],['../classSVF_1_1GepObjVar.html#aa7bfd42a92e9ebc34613818e70689218',1,'SVF::GepObjVar::toString()'],['../classSVF_1_1FIObjVar.html#ad383a7468348cf040e9dcd8515848595',1,'SVF::FIObjVar::toString()'],['../classSVF_1_1RetPN.html#a9824061477c142e5dba14af14fa53aa2',1,'SVF::RetPN::toString()'],['../classSVF_1_1VarArgPN.html#a617077176f0ea586a0cf9a4a1034e99d',1,'SVF::VarArgPN::toString()'],['../classSVF_1_1DummyValVar.html#a4da61151fed6a64cc361d69276d00b84',1,'SVF::DummyValVar::toString()'],['../classSVF_1_1DummyObjVar.html#a0888335fe157af01e647b79043c7ae40',1,'SVF::DummyObjVar::toString()'],['../classSVF_1_1SymbolTableInfo.html#a7d3001549966444622d5918e5811e89e',1,'SVF::SymbolTableInfo::toString()'],['../classSVF_1_1MemObj.html#a614b26f4a3db926055a576b13842c1d7',1,'SVF::MemObj::toString()'],['../classSVF_1_1ContextCond.html#a5f73451064b22bc1aab91b22ddea1eee',1,'SVF::ContextCond::toString()']]],
-  ['totalcallsitenum_5672',['totalCallSiteNum',['../classSVF_1_1PTACallGraph.html#a276338e88cc286f6a1808b1fcdf74d9a',1,'SVF::PTACallGraph']]],
-  ['totalcomplements_5673',['totalComplements',['../classSVF_1_1PersistentPointsToCache.html#a6d52fb93d22b2ce3e4e4acbdd82b88b0',1,'SVF::PersistentPointsToCache']]],
-  ['totalcondnum_5674',['totalCondNum',['../classSVF_1_1SaberCondAllocator.html#a76fad4d58db94d7c572876ba6f1adf83',1,'SVF::SaberCondAllocator']]],
-  ['totaldircalledge_5675',['totalDirCallEdge',['../classSVF_1_1SVFGStat.html#a1e93c866f3d780cb1cfdaf1dd143ea24',1,'SVF::SVFGStat']]],
-  ['totaldirretedge_5676',['totalDirRetEdge',['../classSVF_1_1SVFGStat.html#a63bd38fa93d665037932bcda3cc342c6',1,'SVF::SVFGStat']]],
-  ['totaledgenum_5677',['totalEdgeNum',['../classSVF_1_1SVFStmt.html#af1a9c2a18805560e46425bd98a35dea9',1,'SVF::SVFStmt']]],
-  ['totalicfgnode_5678',['totalICFGNode',['../classSVF_1_1ICFG.html#a5df6061b65d021cd73c66592ec79f052',1,'SVF::ICFG']]],
-  ['totalindcalledge_5679',['totalIndCallEdge',['../classSVF_1_1SVFGStat.html#a0f37f7f530e3fd494c9d6bb477ca68d5',1,'SVF::SVFGStat']]],
-  ['totalindedgelabels_5680',['totalIndEdgeLabels',['../classSVF_1_1SVFGStat.html#a0a39eb7aab584cc285c32545ddb57ad8',1,'SVF::SVFGStat']]],
-  ['totalindinedge_5681',['totalIndInEdge',['../classSVF_1_1SVFGStat.html#a8cd6254435994d9aea27b5519491fc6a',1,'SVF::SVFGStat']]],
-  ['totalindoutedge_5682',['totalIndOutEdge',['../classSVF_1_1SVFGStat.html#a982ce49695344bcde4cbbb445de69c8d',1,'SVF::SVFGStat']]],
-  ['totalindretedge_5683',['totalIndRetEdge',['../classSVF_1_1SVFGStat.html#afd0f43a7d7138a8013930fd103ce7c47',1,'SVF::SVFGStat']]],
-  ['totalinedge_5684',['totalInEdge',['../classSVF_1_1SVFGStat.html#a7929d8ba565ecb04efd236ccb19a4658',1,'SVF::SVFGStat']]],
-  ['totalintersections_5685',['totalIntersections',['../classSVF_1_1PersistentPointsToCache.html#a099c2319277797ac96aeee859ded9b22',1,'SVF::PersistentPointsToCache']]],
-  ['totalkind_5686',['totalKind',['../classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f',1,'SVF::GrammarBase']]],
-  ['totalmrnum_5687',['totalMRNum',['../classSVF_1_1MemRegion.html#a23857f301395cbbad10f6f93256a7398',1,'SVF::MemRegion']]],
-  ['totaloutedge_5688',['totalOutEdge',['../classSVF_1_1SVFGStat.html#a18211427d08f70d252512d387763ce4a',1,'SVF::SVFGStat']]],
-  ['totalptapagedge_5689',['totalPTAPAGEdge',['../classSVF_1_1IRGraph.html#a9f68ffe75e3d9457092ac2368aa08a27',1,'SVF::IRGraph']]],
-  ['totalsymnum_5690',['totalSymNum',['../classSVF_1_1SymbolTableInfo.html#a125faa0295b38d027b35bc3d76b3afdd',1,'SVF::SymbolTableInfo']]],
-  ['totaltime_5691',['TotalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afef85f0ecacd681357b3945f97d52964',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['totaltimeofconstructmemssa_5692',['TotalTimeOfConstructMemSSA',['../classSVF_1_1MemSSAStat.html#a7dd7e6af850b9d724ea580450bfd3afd',1,'SVF::MemSSAStat']]],
-  ['totalunions_5693',['totalUnions',['../classSVF_1_1PersistentPointsToCache.html#a7a1c296f9c2dfd49e5b60f52fb1901c2',1,'SVF::PersistentPointsToCache']]],
-  ['totalvernum_5694',['totalVERNum',['../classSVF_1_1MRVer.html#ad746973fdd724b71ebb251eb6930fccc',1,'SVF::MRVer']]],
-  ['totalvfgnode_5695',['totalVFGNode',['../classSVF_1_1VFG.html#acb181d4f9faa40578c80e2018e2742b8',1,'SVF::VFG']]],
-  ['touchcxtstmt_5696',['touchCxtStmt',['../classSVF_1_1LockAnalysis.html#aaa0f33f19d9f80eee98289119ba907d2',1,'SVF::LockAnalysis']]],
-  ['toz3expr_5697',['toZ3Expr',['../classSVF_1_1RelExeState.html#a8045abc5e96d0c7b373587c796180d3e',1,'SVF::RelExeState']]],
-  ['tphi_5698',['TPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac0bc801ca111129101616fbd39cce950',1,'SVF::VFGNode']]],
-  ['trailingzeroscounter_5699',['TrailingZerosCounter',['../structSVF_1_1TrailingZerosCounter.html',1,'SVF']]],
-  ['translateaddr_5700',['translateAddr',['../classSVF_1_1SVFIR2ConsExeState.html#a9d58c0c1698247018eac3c30c1202ba2',1,'SVF::SVFIR2ConsExeState::translateAddr()'],['../classSVF_1_1SVFIR2ItvExeState.html#af7f42ee51b03b1aaaee18f10eec0c2b9',1,'SVF::SVFIR2ItvExeState::translateAddr()']]],
-  ['translatebinary_5701',['translateBinary',['../classSVF_1_1SVFIR2ConsExeState.html#a82d969e6f521e59f0d57da0a19e67a0a',1,'SVF::SVFIR2ConsExeState::translateBinary()'],['../classSVF_1_1SVFIR2ItvExeState.html#a449ee8f244120866037c7f6d2ee5fc13',1,'SVF::SVFIR2ItvExeState::translateBinary()']]],
-  ['translatebinaryrel_5702',['translateBinaryRel',['../classSVF_1_1SVFIR2ItvExeState.html#aca887785abc037c61cca1eaad9613339',1,'SVF::SVFIR2ItvExeState']]],
-  ['translatecall_5703',['translateCall',['../classSVF_1_1SVFIR2ConsExeState.html#a57adf31d54810533526d6e33bdeb386c',1,'SVF::SVFIR2ConsExeState::translateCall()'],['../classSVF_1_1SVFIR2ItvExeState.html#adb82778157e0f5e7a2ea4d803bcd07ad',1,'SVF::SVFIR2ItvExeState::translateCall()']]],
-  ['translatecallrel_5704',['translateCallRel',['../classSVF_1_1SVFIR2ItvExeState.html#a2b03588d7d74af8818ddac6596a0f384',1,'SVF::SVFIR2ItvExeState']]],
-  ['translatecmp_5705',['translateCmp',['../classSVF_1_1SVFIR2ConsExeState.html#a373227923e37d7dcb100ef9de613e400',1,'SVF::SVFIR2ConsExeState::translateCmp()'],['../classSVF_1_1SVFIR2ItvExeState.html#aac5cc8767eb750bf121f1897788dee24',1,'SVF::SVFIR2ItvExeState::translateCmp()']]],
-  ['translatecmprel_5706',['translateCmpRel',['../classSVF_1_1SVFIR2ItvExeState.html#a89e3c835e16459e8b90e4a67127fa5da',1,'SVF::SVFIR2ItvExeState']]],
-  ['translatecopy_5707',['translateCopy',['../classSVF_1_1SVFIR2ConsExeState.html#a59c19a473a07918f59356c4a3b65cc8e',1,'SVF::SVFIR2ConsExeState::translateCopy()'],['../classSVF_1_1SVFIR2ItvExeState.html#afcf2f81101f1b9580d82b5c2efb83999',1,'SVF::SVFIR2ItvExeState::translateCopy()']]],
-  ['translatecopyrel_5708',['translateCopyRel',['../classSVF_1_1SVFIR2ItvExeState.html#a9a971203ef834c8e8591fc745ae5a17d',1,'SVF::SVFIR2ItvExeState']]],
-  ['translategep_5709',['translateGep',['../classSVF_1_1SVFIR2ConsExeState.html#a766ff7a17d51294fea7e01068fbd028c',1,'SVF::SVFIR2ConsExeState::translateGep()'],['../classSVF_1_1SVFIR2ItvExeState.html#aa274b5b4e18c28ec8035ca1b073aacfc',1,'SVF::SVFIR2ItvExeState::translateGep()']]],
-  ['translateload_5710',['translateLoad',['../classSVF_1_1SVFIR2ConsExeState.html#a7a547d67559f2d01ead77986bbd6863b',1,'SVF::SVFIR2ConsExeState::translateLoad()'],['../classSVF_1_1SVFIR2ItvExeState.html#a8f2a564370d9b9fb05e139c45eeaba68',1,'SVF::SVFIR2ItvExeState::translateLoad()']]],
-  ['translateloadrel_5711',['translateLoadRel',['../classSVF_1_1SVFIR2ItvExeState.html#a3d9eeed61b6ef79b65c5c52c9ae82c04',1,'SVF::SVFIR2ItvExeState']]],
-  ['translatephi_5712',['translatePhi',['../classSVF_1_1SVFIR2ConsExeState.html#ab97b728bca0f6831bb33f1e9196936e6',1,'SVF::SVFIR2ConsExeState::translatePhi()'],['../classSVF_1_1SVFIR2ItvExeState.html#ae00e5398cbeb9aa1cfc464da4250a91e',1,'SVF::SVFIR2ItvExeState::translatePhi()']]],
-  ['translatephirel_5713',['translatePhiRel',['../classSVF_1_1SVFIR2ItvExeState.html#af00e05b7e479cf79c2bd71dea212799d',1,'SVF::SVFIR2ItvExeState']]],
-  ['translateret_5714',['translateRet',['../classSVF_1_1SVFIR2ConsExeState.html#af1b17f60a22dc1da4b9f1430c5f07d1a',1,'SVF::SVFIR2ConsExeState::translateRet()'],['../classSVF_1_1SVFIR2ItvExeState.html#a31e299f91eed29d1a8db3b884d57d1dc',1,'SVF::SVFIR2ItvExeState::translateRet()']]],
-  ['translateretrel_5715',['translateRetRel',['../classSVF_1_1SVFIR2ItvExeState.html#a8a20d2bafff92a5b8983a1566ed598d6',1,'SVF::SVFIR2ItvExeState']]],
-  ['translateselect_5716',['translateSelect',['../classSVF_1_1SVFIR2ConsExeState.html#a15b7e99f0bff4de254239c10820550c0',1,'SVF::SVFIR2ConsExeState::translateSelect()'],['../classSVF_1_1SVFIR2ItvExeState.html#a604126e59364cb56b44a88cae5afbfb8',1,'SVF::SVFIR2ItvExeState::translateSelect()']]],
-  ['translateselectrel_5717',['translateSelectRel',['../classSVF_1_1SVFIR2ItvExeState.html#a4a5e92df30da02bdb396fc6daad591fb',1,'SVF::SVFIR2ItvExeState']]],
-  ['translatestore_5718',['translateStore',['../classSVF_1_1SVFIR2ConsExeState.html#a9541d935efa7fce9cf9d204050e2a918',1,'SVF::SVFIR2ConsExeState::translateStore()'],['../classSVF_1_1SVFIR2ItvExeState.html#aed2e41879bae8389c49e69356b7aaac5',1,'SVF::SVFIR2ItvExeState::translateStore()']]],
-  ['translatestorerel_5719',['translateStoreRel',['../classSVF_1_1SVFIR2ItvExeState.html#ac57d2a609c1159b4f653965eadce58cc',1,'SVF::SVFIR2ItvExeState']]],
-  ['traversedendrogram_5720',['traverseDendrogram',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#abd44e3b07b0482bacf6b1a080fe650c6',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['traverseonicfg_5721',['traverseOnICFG',['../svf-ex_8cpp.html#addc5529c5b161d0c61eba4944428455e',1,'svf-ex.cpp']]],
-  ['traverseonvfg_5722',['traverseOnVFG',['../svf-ex_8cpp.html#ad58149e5445ad22ce478339e103ab42b',1,'svf-ex.cpp']]],
-  ['treenode_5723',['TreeNode',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html',1,'SVF::POCRHybridSolver::TreeNode'],['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a2bedc69e7062cf96058395d3f7ebd030',1,'SVF::POCRHybridSolver::TreeNode::TreeNode()']]],
-  ['true_5724',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true(): cJSON.cpp'],['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true(): cJSON.cpp']]],
-  ['twopi_5725',['TWOPI',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac6a6eaaa34322cf54953ba390895f0c5',1,'SVF::GraphProgram']]],
-  ['type_5726',['type',['../structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35',1,'SVF::SVFUtil::add_const_past_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179',1,'SVF::SVFUtil::add_const_past_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1make__void.html#ac2eb79d0fe9a0f94eb1992600ba91e36',1,'SVF::SVFUtil::make_void::type()'],['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()'],['../classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78',1,'SVF::SVFValue::type()'],['../classSVF_1_1ObjTypeInfo.html#a3620a491a32ff0af93f0d92f55911498',1,'SVF::ObjTypeInfo::type()'],['../structcJSON.html#ab13084c574681593b12f6e0a3db0dcfc',1,'cJSON::type()'],['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::Type()'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()'],['../cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc',1,'type(): cJSON.cpp']]],
-  ['type2typeinfo_5727',['Type2TypeInfo',['../classSVF_1_1LLVMModuleSet.html#af2c555af91679d9e6d3009547ee11486',1,'SVF::LLVMModuleSet']]],
-  ['type2typeinfomap_5728',['Type2TypeInfoMap',['../classSVF_1_1LLVMModuleSet.html#a3c2eb10a20604bf794d2d10f2cffb116',1,'SVF::LLVMModuleSet']]],
-  ['typeanalysis_5729',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html',1,'SVF::TypeAnalysis'],['../classSVF_1_1TypeAnalysis.html#aaec66fea631bfe00064182e17dfb9db3',1,'SVF::TypeAnalysis::TypeAnalysis()']]],
-  ['typeanalysis_2ecpp_5730',['TypeAnalysis.cpp',['../TypeAnalysis_8cpp.html',1,'']]],
-  ['typeanalysis_2eh_5731',['TypeAnalysis.h',['../TypeAnalysis_8h.html',1,'']]],
-  ['typeandinfoflag_5732',['typeAndInfoFlag',['../classSVF_1_1SVFBugEvent.html#a33496918c5f2adaf48a64f39d9c49567',1,'SVF::SVFBugEvent']]],
-  ['typebasedheapcloning_5733',['TypeBasedHeapCloning',['../classSVF_1_1SVFIR.html#ac7f1349df526a5a50741e9303f3bd446',1,'SVF::SVFIR']]],
-  ['typecpp_5fwpa_5734',['TypeCPP_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85acc2e7cbdd04a614a3b6189d2f01042f3',1,'SVF::PointerAnalysis']]],
-  ['typedefs_5735',['typedefs',['../classSVF_1_1DCHNode.html#abafa483be12690549fbcccaf4c3fa511',1,'SVF::DCHNode']]],
-  ['typeinfo_5736',['typeInfo',['../classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf',1,'SVF::MemObj::typeInfo()'],['../classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e',1,'SVF::SVFType::typeinfo()']]],
-  ['typelocsetsmap_5737',['TypeLocSetsMap',['../classSVF_1_1SVFIR.html#ad74ca54e6d62d4410038ef900ea8f150',1,'SVF::SVFIR::TypeLocSetsMap()'],['../classSVF_1_1SVFIR.html#a63ede1d8d381b91f81b93965dcffa288',1,'SVF::SVFIR::typeLocSetsMap()']]],
-  ['typemap_5738',['TypeMap',['../classSVF_1_1POCRSolver.html#ac4d92529d21db89c547e20e886060b0f',1,'SVF::POCRSolver']]],
-  ['typename_5739',['typeName',['../classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc',1,'SVF::DCHNode']]],
-  ['typeofelement_5740',['typeOfElement',['../classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a',1,'SVF::SVFArrayType']]],
-  ['typeprint_5741',['TypePrint',['../classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd',1,'SVF::Options']]],
-  ['typestate_5742',['TypeState',['../classSVF_1_1SymState.html#af41520fdb48700f86231047d1db5d482',1,'SVF::SymState']]],
-  ['typesystem_5743',['typeSystem',['../classSVF_1_1PointerAnalysis.html#a219baed92b811d5519b056ad393fceed',1,'SVF::PointerAnalysis']]]
+  ['tail_5595',['tail',['../classSVF_1_1List.html#a7900b03bc65b9f8d3e7e5bb1a80a4125',1,'SVF::List']]],
+  ['tailbuilder_5596',['TailBuilder',['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html',1,'SVF::CFBasicBlockGWTO::TailBuilder'],['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a44cc18a45611b6094a9c41251668a4a8',1,'SVF::CFBasicBlockGWTO::TailBuilder::TailBuilder()']]],
+  ['tailmap_5597',['tailmap',['../classSVF_1_1MTASVFGBuilder.html#ad55a5f1e1f6d8e99fc0be5b85bbf8599',1,'SVF::MTASVFGBuilder']]],
+  ['taintsvfgbuilder_5598',['TaintSVFGBuilder',['../classSVF_1_1SVFG.html#a665c93b68f49078c281270a028d04445',1,'SVF::SVFG']]],
+  ['taintuninitheap_5599',['TaintUninitHeap',['../classSVF_1_1Options.html#ad6f51870a3cabccbec4898d572dba74f',1,'SVF::Options']]],
+  ['taintuninitstack_5600',['TaintUninitStack',['../classSVF_1_1Options.html#a787f95c7ac87e04f2e6d55cf5d665a34',1,'SVF::Options']]],
+  ['tcg_5601',['tcg',['../classSVF_1_1MTAResultValidator.html#a08d80c69c8cd11222233e0e88a41f58d',1,'SVF::MTAResultValidator::tcg()'],['../classSVF_1_1MHP.html#a4b73d112880ad940e078e801f8725799',1,'SVF::MHP::tcg()'],['../classSVF_1_1MTA.html#a308ca0fa99b3c95f3e62b27522b6aeaa',1,'SVF::MTA::tcg()'],['../classSVF_1_1TCT.html#ac9ddd6559e818f37c018ed5435182363',1,'SVF::TCT::tcg()']]],
+  ['tcgscc_5602',['tcgSCC',['../classSVF_1_1TCT.html#a30662928bafc97c1e7b123270ca69980',1,'SVF::TCT']]],
+  ['tct_5603',['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#a3f5c5c6689491beb8edfa25c0ad871d9',1,'SVF::MTA::tct()']]],
+  ['tct_2ecpp_5604',['TCT.cpp',['../TCT_8cpp.html',1,'']]],
+  ['tct_2eh_5605',['TCT.h',['../TCT_8h.html',1,'']]],
+  ['tct_5faccess_5606',['TCT_ACCESS',['../classSVF_1_1MTAResultValidator.html#a8ccc7c66b6744622b8a79b371d7b2b66',1,'SVF::MTAResultValidator']]],
+  ['tctdotgraph_5607',['TCTDotGraph',['../classSVF_1_1Options.html#adceab9fa76c438b8e5e83dd6042523ce',1,'SVF::Options']]],
+  ['tctedge_5608',['TCTEdge',['../classSVF_1_1TCTEdge.html',1,'SVF::TCTEdge'],['../classSVF_1_1TCTEdge.html#a2e0ee6eeade83aee75d65080e976fca4',1,'SVF::TCTEdge::TCTEdge()']]],
+  ['tctedgenum_5609',['TCTEdgeNum',['../classSVF_1_1TCT.html#a862899f2e5fb35920adf8e763e1dba57',1,'SVF::TCT']]],
+  ['tctnode_5610',['TCTNode',['../classSVF_1_1TCTNode.html',1,'SVF::TCTNode'],['../classSVF_1_1TCTNode.html#afdb40d78890c84d47441ade941a6d8c6',1,'SVF::TCTNode::TCTNode()']]],
+  ['tctnodeiter_5611',['TCTNodeIter',['../classSVF_1_1TCT.html#a6f4ab4fb901620c733d90b380c9db670',1,'SVF::TCT']]],
+  ['tctnodenum_5612',['TCTNodeNum',['../classSVF_1_1TCT.html#a52e3759054281c1ca1ccde07a9af1799',1,'SVF::TCT']]],
+  ['tcttime_5613',['TCTTime',['../classSVF_1_1MTAStat.html#a3298dd910e731fdabc87bbcf65371a4a',1,'SVF::MTAStat']]],
+  ['td_5facquire_5614',['TD_ACQUIRE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a5bda6aca46dfc712f3781b4732a373a3',1,'SVF::ThreadAPI']]],
+  ['td_5fbar_5finit_5615',['TD_BAR_INIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a4fb99e17bf56ae018448f5f97aa8cda6',1,'SVF::ThreadAPI']]],
+  ['td_5fbar_5fwait_5616',['TD_BAR_WAIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3aa2b2704ecc4c11ec0dbeaf1b22532431',1,'SVF::ThreadAPI']]],
+  ['td_5fcancel_5617',['TD_CANCEL',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3afad2e548ab59646972d8c66e593845cc',1,'SVF::ThreadAPI']]],
+  ['td_5fcond_5fbroadcast_5618',['TD_COND_BROADCAST',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3aa6ee2952d7757b0919f56bd39fd5a93e',1,'SVF::ThreadAPI']]],
+  ['td_5fcond_5fsignal_5619',['TD_COND_SIGNAL',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a01a3b1723176504482b606d8e097949f',1,'SVF::ThreadAPI']]],
+  ['td_5fcond_5fwait_5620',['TD_COND_WAIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3aa8a39bd1bb13292a55dd6168909c872e',1,'SVF::ThreadAPI']]],
+  ['td_5fcondvar_5fdestroy_5621',['TD_CONDVAR_DESTROY',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a9c3f04e71ed64ce8d2862d7a6f39a95b',1,'SVF::ThreadAPI']]],
+  ['td_5fcondvar_5fini_5622',['TD_CONDVAR_INI',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a1f921d7369e3a00a77394640f887c7ff',1,'SVF::ThreadAPI']]],
+  ['td_5fdetach_5623',['TD_DETACH',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a0b558cf037397818414cac2f7c87ab08',1,'SVF::ThreadAPI']]],
+  ['td_5fdummy_5624',['TD_DUMMY',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a5953e882e253807e49aa229e64e001b8',1,'SVF::ThreadAPI']]],
+  ['td_5fexit_5625',['TD_EXIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3af3a3036705ecca40cf170d12d0ccf4dc',1,'SVF::ThreadAPI']]],
+  ['td_5ffork_5626',['TD_FORK',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a9a40948eeab9b022957ae33715ee83da',1,'SVF::ThreadAPI']]],
+  ['td_5fjoin_5627',['TD_JOIN',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a9efe9b72a2520e1fae3cae1e747e3134',1,'SVF::ThreadAPI']]],
+  ['td_5fmutex_5fdestroy_5628',['TD_MUTEX_DESTROY',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a91db238366fcdcd65bd7710882c8716f',1,'SVF::ThreadAPI']]],
+  ['td_5fmutex_5fini_5629',['TD_MUTEX_INI',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3abb17ca545bd259f16a36a2d2af43948b',1,'SVF::ThreadAPI']]],
+  ['td_5frelease_5630',['TD_RELEASE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3ac826e1e1c43305a3abcfdc9a2169b8dd',1,'SVF::ThreadAPI']]],
+  ['td_5ftry_5facquire_5631',['TD_TRY_ACQUIRE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3ab7ea623d48ae64aa09ab49deebbb7113',1,'SVF::ThreadAPI']]],
+  ['td_5ftype_5632',['TD_TYPE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3',1,'SVF::ThreadAPI']]],
+  ['tdalive_5633',['TDAlive',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631a2abecc56b7d5c644f7e14c98d33d0a0a',1,'SVF::ForkJoinAnalysis']]],
+  ['tdapi_5634',['tdAPI',['../classSVF_1_1MTAResultValidator.html#a3539af55e9ba2343e576f7e14f42994f',1,'SVF::MTAResultValidator::tdAPI()'],['../classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f',1,'SVF::ThreadCallGraph::tdAPI()'],['../classSVF_1_1PCG.html#a8215dc3643d1c4fb3d489e80cd3db336',1,'SVF::PCG::tdAPI()'],['../classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d',1,'SVF::ThreadAPI::tdAPI()']]],
+  ['tdapimap_5635',['TDAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2',1,'SVF::SaberCheckerAPI::TDAPIMap()'],['../classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144',1,'SVF::ThreadAPI::TDAPIMap()'],['../classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec',1,'SVF::SaberCheckerAPI::tdAPIMap()'],['../classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c',1,'SVF::ThreadAPI::tdAPIMap()']]],
+  ['tddead_5636',['TDDead',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4',1,'SVF::ForkJoinAnalysis']]],
+  ['tdforkedge_5637',['TDForkEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7af32caf15ca19d512b5183bcf0d859cd7',1,'SVF::PTACallGraphEdge']]],
+  ['tdforkpe_5638',['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 &)'],['../classSVF_1_1TDForkPE.html#ae28fa8ad500a11208410adbfd0d19ea5',1,'SVF::TDForkPE::TDForkPE(SVFVar *s, SVFVar *d, const CallICFGNode *i, const FunEntryICFGNode *entry)']]],
+  ['tdjoinedge_5639',['TDJoinEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7a2d65840140263a0808f5b9d553a4bff5',1,'SVF::PTACallGraphEdge']]],
+  ['tdjoinpe_5640',['TDJoinPE',['../classSVF_1_1TDJoinPE.html',1,'SVF::TDJoinPE'],['../classSVF_1_1TDJoinPE.html#a3a7edc9b921598336ff2bbb6412e2160',1,'SVF::TDJoinPE::TDJoinPE()'],['../classSVF_1_1TDJoinPE.html#a6f1714c9ef2483173ee6026b34eb10ae',1,'SVF::TDJoinPE::TDJoinPE(const TDJoinPE &)'],['../classSVF_1_1TDJoinPE.html#ad836475c24cb395175291df3f1ddfee0',1,'SVF::TDJoinPE::TDJoinPE(SVFVar *s, SVFVar *d, const CallICFGNode *i, const FunExitICFGNode *e)']]],
+  ['tdlocked_5641',['TDLocked',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791a2709e7eb7ea9829c7e649e6dd86d6a48',1,'SVF::LockAnalysis']]],
+  ['tdunlocked_5642',['TDUnlocked',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791ac531588e8556653306e03ccaacb83dac',1,'SVF::LockAnalysis']]],
+  ['template_5643',['TEMPLATE',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc',1,'SVF::DCHNode::TEMPLATE()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d',1,'SVF::CHNode::TEMPLATE()']]],
+  ['templatenametoinstancesmap_5644',['templateNameToInstancesMap',['../classSVF_1_1CHGraph.html#acd022005e2191bc3bcb265805abee4f8',1,'SVF::CHGraph']]],
+  ['teq_5645',['teq',['../classSVF_1_1DCHGraph.html#acb76ab20da1bfbec00f63d08e48cbddd',1,'SVF::DCHGraph']]],
+  ['terminals_5646',['terminals',['../classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a',1,'SVF::GrammarBase']]],
+  ['terminator_5647',['terminator',['../classSVF_1_1SVFInstruction.html#ab092c00376cf697bc4a3b7baa9f3a2f3',1,'SVF::SVFInstruction']]],
+  ['test_5648',['test',['../classSVF_1_1CondStdSet.html#a6bf6fafc6f8391dbff08a6bd9d07f4d4',1,'SVF::CondStdSet::test()'],['../classSVF_1_1CondPointsToSet.html#a1613b690473a4fcbae7bc41c3c5347d7',1,'SVF::CondPointsToSet::test()'],['../classSVF_1_1PointsTo.html#af61271fefa574c39f405fdfee59a8b3f',1,'SVF::PointsTo::test()'],['../classSVF_1_1CoreBitVector.html#a7b20ffd3cd4a0ffc48a1348f657deaa0',1,'SVF::CoreBitVector::test()'],['../structSVF_1_1SparseBitVectorElement.html#a465b415217533f1f0026bec837495fdd',1,'SVF::SparseBitVectorElement::test()'],['../classSVF_1_1SparseBitVector.html#a112f2ede1240c95f9fe810f2882fab80',1,'SVF::SparseBitVector::test()']]],
+  ['test_5fand_5fset_5649',['test_and_set',['../classSVF_1_1CondStdSet.html#a3e72341580263f3a9b48ce0e8c7bbbec',1,'SVF::CondStdSet::test_and_set()'],['../classSVF_1_1CondPointsToSet.html#ac29ac1adefca6b34cd8e83fe3f0b4450',1,'SVF::CondPointsToSet::test_and_set()'],['../classSVF_1_1PointsTo.html#a1161d97df5ffc8f11d1a34df9a4d5bdf',1,'SVF::PointsTo::test_and_set()'],['../classSVF_1_1CoreBitVector.html#a3299b296d20d2b76c6538ba51a684972',1,'SVF::CoreBitVector::test_and_set()'],['../structSVF_1_1SparseBitVectorElement.html#a7a5d223870e32035863f6596727c6775',1,'SVF::SparseBitVectorElement::test_and_set()'],['../classSVF_1_1SparseBitVector.html#a355247d17d1c17b857b4ee572e19b91f',1,'SVF::SparseBitVector::test_and_set()']]],
+  ['testindcallreachability_5650',['testIndCallReachability',['../classSVF_1_1ContextDDA.html#a05ac33ca33efb58099839f72050bb008',1,'SVF::ContextDDA::testIndCallReachability()'],['../classSVF_1_1FlowDDA.html#ae48534b36222578855708c298f81f554',1,'SVF::FlowDDA::testIndCallReachability()']]],
+  ['testoutofbudget_5651',['testOutOfBudget',['../classSVF_1_1DDAVFSolver.html#a3fb52286c5324ea3d58e22c630b307e3',1,'SVF::DDAVFSolver']]],
+  ['testsvalidation_5652',['testsValidation',['../classSVF_1_1DoubleFreeChecker.html#a06cf937c92c88627796f09b0a87a5263',1,'SVF::DoubleFreeChecker::testsValidation()'],['../classSVF_1_1LeakChecker.html#aaf5d098e0d08929a108fb59bff46e424',1,'SVF::LeakChecker::testsValidation()']]],
+  ['tgoto_5653',['tgoto',['../extapi_8c.html#a2ef27396e2742b0ab682b27153d1a0e3',1,'extapi.c']]],
+  ['thdcallgraph_5654',['ThdCallGraph',['../classSVF_1_1PTACallGraph.html#a5b1fe2b2314db947cd5e709b7285fe1ca4fe819bb1488afc48b04c1b7bef04bc2',1,'SVF::PTACallGraph']]],
+  ['theadmhpindirectvf_5655',['TheadMHPIndirectVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aae3168b6bc9141e4a1f3723eae4f3375',1,'SVF::VFGEdge']]],
+  ['theoreticalnumwords_5656',['TheoreticalNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a2a70b98363303cb33d96732f44b4c5c3',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['threadapi_5657',['ThreadAPI',['../classSVF_1_1ThreadAPI.html',1,'SVF::ThreadAPI'],['../classSVF_1_1ThreadAPI.html#a9c5ea333cc420bc3b8d8765c664ab128',1,'SVF::ThreadAPI::ThreadAPI()']]],
+  ['threadapi_2ecpp_5658',['ThreadAPI.cpp',['../ThreadAPI_8cpp.html',1,'']]],
+  ['threadapi_2eh_5659',['ThreadAPI.h',['../ThreadAPI_8h.html',1,'']]],
+  ['threadapi_5fcpp_5f_5660',['THREADAPI_CPP_',['../ThreadAPI_8cpp.html#a2edb48ac961ebb1eb8937424c6b273f1',1,'ThreadAPI.cpp']]],
+  ['threadcallgraph_5661',['ThreadCallGraph',['../classSVF_1_1ThreadCallGraph.html',1,'SVF::ThreadCallGraph'],['../classSVF_1_1ThreadCallGraph.html#a09946f39049bad87401b6e1567a7fb19',1,'SVF::ThreadCallGraph::ThreadCallGraph()']]],
+  ['threadcallgraph_2ecpp_5662',['ThreadCallGraph.cpp',['../ThreadCallGraph_8cpp.html',1,'']]],
+  ['threadcallgraph_2eh_5663',['ThreadCallGraph.h',['../ThreadCallGraph_8h.html',1,'']]],
+  ['threadcallgraphbuilder_5664',['ThreadCallGraphBuilder',['../classSVF_1_1ThreadCallGraphBuilder.html',1,'SVF::ThreadCallGraphBuilder'],['../classSVF_1_1ThreadCallGraphBuilder.html#afaf36ca5ff95c90f27424564d60e2c1c',1,'SVF::ThreadCallGraphBuilder::ThreadCallGraphBuilder()']]],
+  ['threadcallgraphscc_5665',['ThreadCallGraphSCC',['../classSVF_1_1TCT.html#a71942c7386d094426ae86633a9b1f755',1,'SVF::TCT']]],
+  ['threadcreateedge_5666',['ThreadCreateEdge',['../classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494fac7915e379517d9d17b770540adb577c8',1,'SVF::TCTEdge']]],
+  ['threadcreateedgeset_5667',['ThreadCreateEdgeSet',['../classSVF_1_1TCTEdge.html#aecd13905b54ae91d938b610be828deb5',1,'SVF::TCTEdge::ThreadCreateEdgeSet()'],['../classSVF_1_1TCT.html#a7c53c7ff773a253976374392d4930d6e',1,'SVF::TCT::ThreadCreateEdgeSet()']]],
+  ['threadfork_5668',['ThreadFork',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd',1,'SVF::SVFStmt']]],
+  ['threadforkedge_5669',['ThreadForkEdge',['../classSVF_1_1ThreadForkEdge.html',1,'SVF::ThreadForkEdge'],['../classSVF_1_1ThreadForkEdge.html#ae55b3e06b3ed22780d917dbb225561c1',1,'SVF::ThreadForkEdge::ThreadForkEdge()']]],
+  ['threadid_5670',['ThreadID',['../namespaceSVF.html#a10cddb090690c82a2aab31a480253d35',1,'SVF']]],
+  ['threadjoin_5671',['ThreadJoin',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0',1,'SVF::SVFStmt']]],
+  ['threadjoinedge_5672',['ThreadJoinEdge',['../classSVF_1_1ThreadJoinEdge.html',1,'SVF::ThreadJoinEdge'],['../classSVF_1_1ThreadJoinEdge.html#abacb4b5e4badee46f9517b2d84798a3e',1,'SVF::ThreadJoinEdge::ThreadJoinEdge()']]],
+  ['threadmhpindsvfgedge_5673',['ThreadMHPIndSVFGEdge',['../classSVF_1_1ThreadMHPIndSVFGEdge.html',1,'SVF::ThreadMHPIndSVFGEdge'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#ac5055bd4ff42476915b5d02ba4f1986b',1,'SVF::ThreadMHPIndSVFGEdge::ThreadMHPIndSVFGEdge()']]],
+  ['threadpairset_5674',['ThreadPairSet',['../classSVF_1_1ForkJoinAnalysis.html#a7fb8df483e619337e77088e8543a9846',1,'SVF::ForkJoinAnalysis']]],
+  ['threadstmttointerleaving_5675',['threadStmtToInterLeaving',['../classSVF_1_1MTAResultValidator.html#ac4a7773211a9c842639ac25b1a504c7e',1,'SVF::MTAResultValidator']]],
+  ['threadstmttotheadinterleav_5676',['threadStmtToTheadInterLeav',['../classSVF_1_1MHP.html#afcfc409e625b74cbefd240170627c541',1,'SVF::MHP']]],
+  ['threadstmttothreadinterleav_5677',['ThreadStmtToThreadInterleav',['../classSVF_1_1MHP.html#ac30f283cb2ad020a054ee6525ca94025',1,'SVF::MHP']]],
+  ['tid_5678',['tid',['../classSVF_1_1CxtThreadStmt.html#ad96bacc3de1ce576ad397d19aa99a269',1,'SVF::CxtThreadStmt::tid()'],['../classSVF_1_1CxtThreadProc.html#a99b24e1be2bfb49569532c2c28c68969',1,'SVF::CxtThreadProc::tid()']]],
+  ['timeinterval_5679',['TIMEINTERVAL',['../SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736',1,'SVFType.h']]],
+  ['timelimitreached_5680',['timeLimitReached',['../namespaceSVF_1_1SVFUtil.html#add4cd21115988f9f5eec12e268ddf1d9',1,'SVF::SVFUtil']]],
+  ['timeofbuildcflgrammar_5681',['timeOfBuildCFLGrammar',['../classSVF_1_1CFLBase.html#a0d3217f4c3796b58a98add5c92298ad2',1,'SVF::CFLBase']]],
+  ['timeofbuildcflgraph_5682',['timeOfBuildCFLGraph',['../classSVF_1_1CFLBase.html#a9453bf479ccd00bacb3b371fa6383a9c',1,'SVF::CFLBase']]],
+  ['timeofbuildingllvmmodule_5683',['timeOfBuildingLLVMModule',['../classSVF_1_1SVFStat.html#aa4950ec26b66a085ad38ac154b789db5',1,'SVF::SVFStat']]],
+  ['timeofbuildingsvfir_5684',['timeOfBuildingSVFIR',['../classSVF_1_1SVFStat.html#aea75388c973674686d1f2b7498b4095c',1,'SVF::SVFStat']]],
+  ['timeofbuildingsymboltable_5685',['timeOfBuildingSymbolTable',['../classSVF_1_1SVFStat.html#ae89293bc063bdc74a988e9c37c70321e',1,'SVF::SVFStat']]],
+  ['timeofcollapse_5686',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
+  ['timeofcreatemuchi_5687',['timeOfCreateMUCHI',['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()'],['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()']]],
+  ['timeofgeneratingmemregions_5688',['TimeOfGeneratingMemRegions',['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()']]],
+  ['timeofinsertingphi_5689',['timeOfInsertingPHI',['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()'],['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()']]],
+  ['timeofnormalizegrammar_5690',['timeOfNormalizeGrammar',['../classSVF_1_1CFLBase.html#ad4d65dd4c3e173d014199ac6b08a5261',1,'SVF::CFLBase']]],
+  ['timeofprocesscopygep_5691',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
+  ['timeofprocessloadstore_5692',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
+  ['timeofsccdetection_5693',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
+  ['timeofsccmerges_5694',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
+  ['timeofsolving_5695',['timeOfSolving',['../classSVF_1_1CFLBase.html#a88e40af43705550a78837b8589bbf3f8',1,'SVF::CFLBase']]],
+  ['timeofssarenaming_5696',['TimeOfSSARenaming',['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()'],['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()']]],
+  ['timeofupdatecallgraph_5697',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
+  ['timestatmap_5698',['timeStatMap',['../classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831',1,'SVF::SVFStat::timeStatMap()'],['../classSVF_1_1SVFStat.html#aeded7780a3f826b3efab971807e2dd98',1,'SVF::SVFStat::TIMEStatMap()']]],
+  ['tinterphi_5699',['TInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69',1,'SVF::VFGNode']]],
+  ['tintraphi_5700',['TIntraPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727',1,'SVF::VFGNode']]],
+  ['tlptdata_5701',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],
+  ['tlvfnodeend_5702',['TLVFNodeEnd',['../classSVF_1_1SVFGStat.html#a17e479f0258291998369a2eb325ba3d7',1,'SVF::SVFGStat']]],
+  ['tlvfnodestart_5703',['TLVFNodeStart',['../classSVF_1_1SVFGStat.html#a2e4aac52fdc2fd119847afbeba634de9',1,'SVF::SVFGStat']]],
+  ['tmpnam_5fr_5704',['tmpnam_r',['../extapi_8c.html#a0d302127bd577711c2af50614667171e',1,'extapi.c']]],
+  ['to_5fstring_5705',['to_string',['../classSVF_1_1NumericLiteral.html#ac154ddeb6516e240e091f4867c4c3593',1,'SVF::NumericLiteral::to_string()'],['../classSVF_1_1Z3Expr.html#a1da8e647e12c0e105271eadbd72f437e',1,'SVF::Z3Expr::to_string()']]],
+  ['tojson_5706',['toJson',['../classSVF_1_1SVFIRWriter.html#a93d2ddd2ef2821540a2ba824ccb775a6',1,'SVF::SVFIRWriter::toJson(const NodeIDAllocator *nodeIDAllocator)'],['../classSVF_1_1SVFIRWriter.html#a3e16ad48a28692909c2b3bffef512c6e',1,'SVF::SVFIRWriter::toJson(const SymbolTableInfo *symTable)'],['../classSVF_1_1SVFIRWriter.html#a98dc0a41a68c9901388b256765bb6845',1,'SVF::SVFIRWriter::toJson(const SVFModule *module)'],['../classSVF_1_1SVFIRWriter.html#a0df7c4fb2d2ea136a7c4bd98672162e0',1,'SVF::SVFIRWriter::toJson(const SVFType *type)'],['../classSVF_1_1SVFIRWriter.html#ad26fae885b3e67c899861e6fb4909bd8',1,'SVF::SVFIRWriter::toJson(const SVFValue *value)'],['../classSVF_1_1SVFIRWriter.html#ac10b47dd97fd2462f0489ccaa12b127d',1,'SVF::SVFIRWriter::toJson(const IRGraph *graph)'],['../classSVF_1_1SVFIRWriter.html#aa1c5409c978be6f13cfe9ab66948df46',1,'SVF::SVFIRWriter::toJson(const SVFVar *var)'],['../classSVF_1_1SVFIRWriter.html#a75f7299f018ad9408c2107cc2ea3a43b',1,'SVF::SVFIRWriter::toJson(const SVFStmt *stmt)'],['../classSVF_1_1SVFIRWriter.html#a753e98b97caf1983f08d78bafcee7917',1,'SVF::SVFIRWriter::toJson(const ICFG *icfg)'],['../classSVF_1_1SVFIRWriter.html#a43329892fc7f5712bc3a3b342d49f349',1,'SVF::SVFIRWriter::toJson(const ICFGNode *node)'],['../classSVF_1_1SVFIRWriter.html#a499bdad6915476c6a8a2189d5fbe5a21',1,'SVF::SVFIRWriter::toJson(const ICFGEdge *edge)'],['../classSVF_1_1SVFIRWriter.html#af798ab5997e573bd5e400e8b08fb72f1',1,'SVF::SVFIRWriter::toJson(const CommonCHGraph *graph)'],['../classSVF_1_1SVFIRWriter.html#ab51aa59719cf95a623bb6fcb1fc2c505',1,'SVF::SVFIRWriter::toJson(const CHGraph *graph)'],['../classSVF_1_1SVFIRWriter.html#a436107ecb44c5f2380da77dc09b1e539',1,'SVF::SVFIRWriter::toJson(const CHNode *node)'],['../classSVF_1_1SVFIRWriter.html#a4e909e3d84a7bcad3ccd0aabe4680ab8',1,'SVF::SVFIRWriter::toJson(const CHEdge *edge)'],['../classSVF_1_1SVFIRWriter.html#ac9205b26cd35027262e36860eded8c98',1,'SVF::SVFIRWriter::toJson(const CallSite &cs)'],['../classSVF_1_1SVFIRWriter.html#ad1c7d0bb10357f27cad813726aa6aa0c',1,'SVF::SVFIRWriter::toJson(const AccessPath &ap)'],['../classSVF_1_1SVFIRWriter.html#a287e543eb66991def4eca460854db681',1,'SVF::SVFIRWriter::toJson(const SVFLoop *loop)'],['../classSVF_1_1SVFIRWriter.html#a05fe55a73c07b6d5b10135c9f76aefbb',1,'SVF::SVFIRWriter::toJson(const MemObj *memObj)'],['../classSVF_1_1SVFIRWriter.html#a628a1ec398ea128f3e063e56bf79ac25',1,'SVF::SVFIRWriter::toJson(const ObjTypeInfo *objTypeInfo)'],['../classSVF_1_1SVFIRWriter.html#aa28d62f9911d3c1d0e0554763a8550c1',1,'SVF::SVFIRWriter::toJson(const SVFLoopAndDomInfo *ldInfo)'],['../classSVF_1_1SVFIRWriter.html#a488ee40454e4ce07d908890a644e1ae9',1,'SVF::SVFIRWriter::toJson(const StInfo *stInfo)'],['../classSVF_1_1SVFIRWriter.html#ae680287f38c3c2cdfb78d42de5cf984e',1,'SVF::SVFIRWriter::toJson(bool flag)'],['../classSVF_1_1SVFIRWriter.html#ad4a3f192a05227c020a494bd45582400',1,'SVF::SVFIRWriter::toJson(unsigned number)'],['../classSVF_1_1SVFIRWriter.html#a550b2d4a06b60901b641a5acb911649e',1,'SVF::SVFIRWriter::toJson(int number)'],['../classSVF_1_1SVFIRWriter.html#abfc963e87fa6be80b0e2c68f97c7d03d',1,'SVF::SVFIRWriter::toJson(float number)'],['../classSVF_1_1SVFIRWriter.html#a6fbd35a83df82b55b7af6a8ead64d1c7',1,'SVF::SVFIRWriter::toJson(const std::string &str)'],['../classSVF_1_1SVFIRWriter.html#ae2ac4e154c015d02b30c11ca9eaa1efc',1,'SVF::SVFIRWriter::toJson(unsigned long number)'],['../classSVF_1_1SVFIRWriter.html#a187a47cf11fc05a031de6318f111d154',1,'SVF::SVFIRWriter::toJson(long long number)'],['../classSVF_1_1SVFIRWriter.html#a971d6b7df4f490453269526728acf686',1,'SVF::SVFIRWriter::toJson(unsigned long long number)'],['../classSVF_1_1SVFIRWriter.html#a7cfa3d31b4c80856038489c62b4f71f2',1,'SVF::SVFIRWriter::toJson(const std::pair< T, U > &pair)'],['../classSVF_1_1SVFIRWriter.html#aa09ab3e8abda6598292efca280322809',1,'SVF::SVFIRWriter::toJson(const T &container)']]],
+  ['tonodebs_5707',['toNodeBS',['../classSVF_1_1PointsTo.html#ad1d19d52800341484a136c6d5e0112ea',1,'SVF::PointsTo']]],
+  ['top_5708',['top',['../classSVF_1_1IntervalExeState.html#a3139363dbe4bf20bb23e922f80d9e9c0',1,'SVF::IntervalExeState::top()'],['../classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b',1,'SVF::IntervalValue::top()']]],
+  ['topconstant_5709',['topConstant',['../classSVF_1_1SingleAbsValue.html#a70528ca5e4ad67b593104a7b2bba17c6',1,'SVF::SingleAbsValue']]],
+  ['toponodestack_5710',['topoNodeStack',['../classSVF_1_1SCCDetection.html#a6502c0a765ac1653474ffee651949f93',1,'SVF::SCCDetection']]],
+  ['tostring_5711',['toString',['../classSVF_1_1ConsExeState.html#a4553e0d059ea66f9a0287454686eb558',1,'SVF::ConsExeState::toString()'],['../classSVF_1_1ExeState.html#af58dd98bbad68a7c72e16831be26c677',1,'SVF::ExeState::toString()'],['../classSVF_1_1IntervalExeState.html#a3a8f8b09df0befa318cbcd43d191d37a',1,'SVF::IntervalExeState::toString()'],['../classSVF_1_1IntervalValue.html#a5d73cc2aa0a6ed49e8301fa7b0cd5045',1,'SVF::IntervalValue::toString()'],['../classSVF_1_1WTOCycleDepth.html#a94c9c81ebe4df428c163f999284b6d98',1,'SVF::WTOCycleDepth::toString()'],['../classSVF_1_1CFBasicBlockGWTOComp.html#a2d4103fde1e02e8ba88c375d33a1dbad',1,'SVF::CFBasicBlockGWTOComp::toString()'],['../classSVF_1_1CFBasicBlockGWTONode.html#a5b614494716dd565c0af2b7e8110f8d0',1,'SVF::CFBasicBlockGWTONode::toString()'],['../classSVF_1_1CFBasicBlockGWTOCycle.html#a0406854fb89bcb7cabe2a83344b8f1f3',1,'SVF::CFBasicBlockGWTOCycle::toString()'],['../classSVF_1_1CFBasicBlockGWTO.html#a2b918d80839deaf3e1b1fa9fe984dbec',1,'SVF::CFBasicBlockGWTO::toString()'],['../classSVF_1_1CFBasicBlockEdge.html#abb9b3f9a5464f40e6d4d0cd2def08906',1,'SVF::CFBasicBlockEdge::toString()'],['../classSVF_1_1CFBasicBlockNode.html#a727f0ef59605adf99af4babee90eb8a8',1,'SVF::CFBasicBlockNode::toString()'],['../classSVF_1_1ICFGEdge.html#a7233609f62f278b738036e8de9bbbfc8',1,'SVF::ICFGEdge::toString()'],['../classSVF_1_1IntraCFGEdge.html#a1e63286b4d6f757ac1220f5f03ae62de',1,'SVF::IntraCFGEdge::toString()'],['../classSVF_1_1CallCFGEdge.html#a2ad72b065dcb752e0779de9ff69c443a',1,'SVF::CallCFGEdge::toString()'],['../classSVF_1_1RetCFGEdge.html#aca97e28617505e482b014dc805cb70aa',1,'SVF::RetCFGEdge::toString()'],['../classSVF_1_1ICFGNode.html#af1b6fd9ea200ab0ff51d48a4872c921a',1,'SVF::ICFGNode::toString()'],['../classSVF_1_1GlobalICFGNode.html#ada960e5bdba75c165a67b33c09819c47',1,'SVF::GlobalICFGNode::toString()'],['../classSVF_1_1IntraICFGNode.html#a85d3e05cb5a95c2f9d678d9f010419a5',1,'SVF::IntraICFGNode::toString()'],['../classSVF_1_1FunEntryICFGNode.html#a3e9032ea2388682e568b6324fe8e4882',1,'SVF::FunEntryICFGNode::toString()'],['../classSVF_1_1FunExitICFGNode.html#aa73e5a5e577b789842987fec2fb307f9',1,'SVF::FunExitICFGNode::toString()'],['../classSVF_1_1CallICFGNode.html#ab07e504bbc100fa3e111d62de815a88c',1,'SVF::CallICFGNode::toString()'],['../classSVF_1_1RetICFGNode.html#ab0b54268167a593e2db9d02d3dd9c4f1',1,'SVF::RetICFGNode::toString()'],['../classSVF_1_1PTACallGraphEdge.html#a27979e812ced26f114369b46e1536b02',1,'SVF::PTACallGraphEdge::toString()'],['../classSVF_1_1PTACallGraphNode.html#a57f173a28c2a153d37cb63d451e62973',1,'SVF::PTACallGraphNode::toString()'],['../classSVF_1_1IndirectSVFGEdge.html#a33e6221e5005fda68903f4cdadf58ce8',1,'SVF::IndirectSVFGEdge::toString()'],['../classSVF_1_1IntraIndSVFGEdge.html#ae148fda488b6505a6cc4103aae30e291',1,'SVF::IntraIndSVFGEdge::toString()'],['../classSVF_1_1CallIndSVFGEdge.html#a06cc5ba2c5be41bf38e4fad0c031138e',1,'SVF::CallIndSVFGEdge::toString()'],['../classSVF_1_1RetIndSVFGEdge.html#a58502c0881d2d8dccf9dd09385e08dc5',1,'SVF::RetIndSVFGEdge::toString()'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#a09b7fef74030eecc6fa7b83a15c12521',1,'SVF::ThreadMHPIndSVFGEdge::toString()'],['../classSVF_1_1MRSVFGNode.html#a232213efbfa9e21b7410de6b4040c475',1,'SVF::MRSVFGNode::toString()'],['../classSVF_1_1FormalINSVFGNode.html#a4022ecd01a88758b5fa7d22856c89745',1,'SVF::FormalINSVFGNode::toString()'],['../classSVF_1_1FormalOUTSVFGNode.html#a45b1aafb8a2464c868c5249b37e9ff0a',1,'SVF::FormalOUTSVFGNode::toString()'],['../classSVF_1_1ActualINSVFGNode.html#a5f583665f7e094dc4f7c387f4522a1a5',1,'SVF::ActualINSVFGNode::toString()'],['../classSVF_1_1ActualOUTSVFGNode.html#a460d0d6f338c33e39d810f7921237b5c',1,'SVF::ActualOUTSVFGNode::toString()'],['../classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd',1,'SVF::MSSAPHISVFGNode::toString()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#ad463be283dcad18654cee4311d071a47',1,'SVF::IntraMSSAPHISVFGNode::toString()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a286e9064de854a84bdd2efe8f7d73688',1,'SVF::InterMSSAPHISVFGNode::toString()'],['../classSVF_1_1ThreadForkEdge.html#acdc2ff9ad9800847b581e9d27efd3843',1,'SVF::ThreadForkEdge::toString()'],['../classSVF_1_1ThreadJoinEdge.html#a67b68672ef76e0a4f326f7dbbd77bbf7',1,'SVF::ThreadJoinEdge::toString()'],['../classSVF_1_1VFGEdge.html#a8f4bec008af7cd1a89870715eaa91a7b',1,'SVF::VFGEdge::toString()'],['../classSVF_1_1DirectSVFGEdge.html#aa8d70214eb0242c3f2baaa506c12852c',1,'SVF::DirectSVFGEdge::toString()'],['../classSVF_1_1IntraDirSVFGEdge.html#a1c8dc17717409aa42749181aafd155aa',1,'SVF::IntraDirSVFGEdge::toString()'],['../classSVF_1_1CallDirSVFGEdge.html#af07decd05375f56baa4a1c4fe70bc3f1',1,'SVF::CallDirSVFGEdge::toString()'],['../classSVF_1_1RetDirSVFGEdge.html#a6282c2619d843cf90575886a0ef81edf',1,'SVF::RetDirSVFGEdge::toString()'],['../classSVF_1_1VFGNode.html#a0342b5a6f270f4ff0e8e2a9b0082c6c5',1,'SVF::VFGNode::toString()'],['../classSVF_1_1StmtVFGNode.html#aa5011ff12de490146ab106e90d0b6ad8',1,'SVF::StmtVFGNode::toString()'],['../classSVF_1_1LoadVFGNode.html#aad3591f38e30c5168d4accb76ac8dc04',1,'SVF::LoadVFGNode::toString()'],['../classSVF_1_1StoreVFGNode.html#aba7e8b8329caf412a55f5880f68414fe',1,'SVF::StoreVFGNode::toString()'],['../classSVF_1_1CopyVFGNode.html#ad86bbc5ec4a9ea226364a84e04724b37',1,'SVF::CopyVFGNode::toString()'],['../classSVF_1_1CmpVFGNode.html#aa08c4475c47beb0d026acab859d68117',1,'SVF::CmpVFGNode::toString()'],['../classSVF_1_1BinaryOPVFGNode.html#aa743cf19c5dc91dbb0c7b8981fecc6c4',1,'SVF::BinaryOPVFGNode::toString()'],['../classSVF_1_1UnaryOPVFGNode.html#ad0b45546c62bdef367149b58f530f89d',1,'SVF::UnaryOPVFGNode::toString()'],['../classSVF_1_1BranchVFGNode.html#a131fe96308f67b307ea08e645b019e13',1,'SVF::BranchVFGNode::toString()'],['../classSVF_1_1GepVFGNode.html#ad27376633c939952878d5d73621ec638',1,'SVF::GepVFGNode::toString()'],['../classSVF_1_1PHIVFGNode.html#a7fb9cbed3718922cd81b18d069c79aea',1,'SVF::PHIVFGNode::toString()'],['../classSVF_1_1IntraPHIVFGNode.html#a145413d87e9174b5eb70b871b9dfa13e',1,'SVF::IntraPHIVFGNode::toString()'],['../classSVF_1_1AddrVFGNode.html#ac26fbce400355f43fdc22ad88a8d9067',1,'SVF::AddrVFGNode::toString()'],['../classSVF_1_1ArgumentVFGNode.html#a3c10cd63e18f79ccc66f4687d05cb8c5',1,'SVF::ArgumentVFGNode::toString()'],['../classSVF_1_1ActualParmVFGNode.html#a60d6ce4c4fe2cf54be45e58b2b93c9f6',1,'SVF::ActualParmVFGNode::toString()'],['../classSVF_1_1FormalParmVFGNode.html#ac4e695d6ee7bb7c5ed4e273567e7c1cc',1,'SVF::FormalParmVFGNode::toString()'],['../classSVF_1_1ActualRetVFGNode.html#a4d1e7df32604becd2e2b60fe2e5cfbfa',1,'SVF::ActualRetVFGNode::toString()'],['../classSVF_1_1FormalRetVFGNode.html#ab1ae2339d7408d9156cdfe5ab4559e66',1,'SVF::FormalRetVFGNode::toString()'],['../classSVF_1_1InterPHIVFGNode.html#aff35aebdc8d955df160e51da7b666a7e',1,'SVF::InterPHIVFGNode::toString()'],['../classSVF_1_1NullPtrVFGNode.html#a75c8b89a34bfd89a4af2c699cdb626b9',1,'SVF::NullPtrVFGNode::toString()'],['../classSVF_1_1CondVar.html#a4baf5fb20288491c96827177f9965cc4',1,'SVF::CondVar::toString()'],['../classSVF_1_1CondStdSet.html#a07267b0a4f7cfeaa6d1f7d722932c4d5',1,'SVF::CondStdSet::toString()'],['../classSVF_1_1SVFStmt.html#ad0b4dbe87e009518f22360c48b0d0c22',1,'SVF::SVFStmt::toString()'],['../classSVF_1_1AssignStmt.html#abbe582a24bf4b42284f78eab5b18a90a',1,'SVF::AssignStmt::toString()'],['../classSVF_1_1AddrStmt.html#abf9453ed58c6946640a85be31512c0e8',1,'SVF::AddrStmt::toString()'],['../classSVF_1_1CopyStmt.html#ad72ccb8ab29258b7c0fb54c48e8dec3a',1,'SVF::CopyStmt::toString()'],['../classSVF_1_1StoreStmt.html#a3b9692c3de9437c4f686f646aa6b4aac',1,'SVF::StoreStmt::toString()'],['../classSVF_1_1LoadStmt.html#a5c930e62bc3b03c9dfa4a8dbe9b4df2a',1,'SVF::LoadStmt::toString()'],['../classSVF_1_1GepStmt.html#acae68ff97d408a1dd929b0348415c81d',1,'SVF::GepStmt::toString()'],['../classSVF_1_1CallPE.html#aecdf349bde9547dae7eb88c6cfd34bab',1,'SVF::CallPE::toString()'],['../classSVF_1_1RetPE.html#a68aa24dcabeae26bcc4184110fbb50ef',1,'SVF::RetPE::toString()'],['../classSVF_1_1PhiStmt.html#a09575a14aa359a0795b4d6c83bee487a',1,'SVF::PhiStmt::toString()'],['../classSVF_1_1SelectStmt.html#a7d1a9feec3ada330ed5aba9c35056b39',1,'SVF::SelectStmt::toString()'],['../classSVF_1_1CmpStmt.html#a2f050b8af64dbe5e6bace2a82167a439',1,'SVF::CmpStmt::toString()'],['../classSVF_1_1BinaryOPStmt.html#a138547516e2676c297a27d762544f2aa',1,'SVF::BinaryOPStmt::toString()'],['../classSVF_1_1UnaryOPStmt.html#a1d5eced1a537eeab82d24f451d6b7f65',1,'SVF::UnaryOPStmt::toString()'],['../classSVF_1_1BranchStmt.html#afc44edd6d1d5c855dc2169d26629377f',1,'SVF::BranchStmt::toString()'],['../classSVF_1_1TDForkPE.html#aa385dc7e7e439cb4d8ee1524c8fbf9fe',1,'SVF::TDForkPE::toString()'],['../classSVF_1_1TDJoinPE.html#accac29adba7ca4883ae161c223a1703d',1,'SVF::TDJoinPE::toString()'],['../classSVF_1_1SVFType.html#a9035ac13134de4647d63507cd80ca3d6',1,'SVF::SVFType::toString()'],['../classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3',1,'SVF::SVFValue::toString()'],['../classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd',1,'SVF::SVFVar::toString()'],['../classSVF_1_1ValVar.html#a4591213dd266efd380fd916fee73c1fd',1,'SVF::ValVar::toString()'],['../classSVF_1_1ObjVar.html#a14da09447f9f0495a42a61bdd92688a3',1,'SVF::ObjVar::toString()'],['../classSVF_1_1GepValVar.html#ac9016b61dde44eb89ea715a0619994de',1,'SVF::GepValVar::toString()'],['../classSVF_1_1GepObjVar.html#aa7bfd42a92e9ebc34613818e70689218',1,'SVF::GepObjVar::toString()'],['../classSVF_1_1FIObjVar.html#ad383a7468348cf040e9dcd8515848595',1,'SVF::FIObjVar::toString()'],['../classSVF_1_1RetPN.html#a9824061477c142e5dba14af14fa53aa2',1,'SVF::RetPN::toString()'],['../classSVF_1_1VarArgPN.html#a617077176f0ea586a0cf9a4a1034e99d',1,'SVF::VarArgPN::toString()'],['../classSVF_1_1DummyValVar.html#a4da61151fed6a64cc361d69276d00b84',1,'SVF::DummyValVar::toString()'],['../classSVF_1_1DummyObjVar.html#a0888335fe157af01e647b79043c7ae40',1,'SVF::DummyObjVar::toString()'],['../classSVF_1_1SymbolTableInfo.html#a7d3001549966444622d5918e5811e89e',1,'SVF::SymbolTableInfo::toString()'],['../classSVF_1_1MemObj.html#a614b26f4a3db926055a576b13842c1d7',1,'SVF::MemObj::toString()'],['../classSVF_1_1ContextCond.html#a5f73451064b22bc1aab91b22ddea1eee',1,'SVF::ContextCond::toString()']]],
+  ['totalcallsitenum_5712',['totalCallSiteNum',['../classSVF_1_1PTACallGraph.html#a276338e88cc286f6a1808b1fcdf74d9a',1,'SVF::PTACallGraph']]],
+  ['totalcomplements_5713',['totalComplements',['../classSVF_1_1PersistentPointsToCache.html#a6d52fb93d22b2ce3e4e4acbdd82b88b0',1,'SVF::PersistentPointsToCache']]],
+  ['totalcondnum_5714',['totalCondNum',['../classSVF_1_1SaberCondAllocator.html#a76fad4d58db94d7c572876ba6f1adf83',1,'SVF::SaberCondAllocator']]],
+  ['totaldircalledge_5715',['totalDirCallEdge',['../classSVF_1_1SVFGStat.html#a1e93c866f3d780cb1cfdaf1dd143ea24',1,'SVF::SVFGStat']]],
+  ['totaldirretedge_5716',['totalDirRetEdge',['../classSVF_1_1SVFGStat.html#a63bd38fa93d665037932bcda3cc342c6',1,'SVF::SVFGStat']]],
+  ['totaledgenum_5717',['totalEdgeNum',['../classSVF_1_1SVFStmt.html#af1a9c2a18805560e46425bd98a35dea9',1,'SVF::SVFStmt']]],
+  ['totalicfgnode_5718',['totalICFGNode',['../classSVF_1_1ICFG.html#a5df6061b65d021cd73c66592ec79f052',1,'SVF::ICFG']]],
+  ['totalindcalledge_5719',['totalIndCallEdge',['../classSVF_1_1SVFGStat.html#a0f37f7f530e3fd494c9d6bb477ca68d5',1,'SVF::SVFGStat']]],
+  ['totalindedgelabels_5720',['totalIndEdgeLabels',['../classSVF_1_1SVFGStat.html#a0a39eb7aab584cc285c32545ddb57ad8',1,'SVF::SVFGStat']]],
+  ['totalindinedge_5721',['totalIndInEdge',['../classSVF_1_1SVFGStat.html#a8cd6254435994d9aea27b5519491fc6a',1,'SVF::SVFGStat']]],
+  ['totalindoutedge_5722',['totalIndOutEdge',['../classSVF_1_1SVFGStat.html#a982ce49695344bcde4cbbb445de69c8d',1,'SVF::SVFGStat']]],
+  ['totalindretedge_5723',['totalIndRetEdge',['../classSVF_1_1SVFGStat.html#afd0f43a7d7138a8013930fd103ce7c47',1,'SVF::SVFGStat']]],
+  ['totalinedge_5724',['totalInEdge',['../classSVF_1_1SVFGStat.html#a7929d8ba565ecb04efd236ccb19a4658',1,'SVF::SVFGStat']]],
+  ['totalintersections_5725',['totalIntersections',['../classSVF_1_1PersistentPointsToCache.html#a099c2319277797ac96aeee859ded9b22',1,'SVF::PersistentPointsToCache']]],
+  ['totalkind_5726',['totalKind',['../classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f',1,'SVF::GrammarBase']]],
+  ['totalmrnum_5727',['totalMRNum',['../classSVF_1_1MemRegion.html#a23857f301395cbbad10f6f93256a7398',1,'SVF::MemRegion']]],
+  ['totaloutedge_5728',['totalOutEdge',['../classSVF_1_1SVFGStat.html#a18211427d08f70d252512d387763ce4a',1,'SVF::SVFGStat']]],
+  ['totalptapagedge_5729',['totalPTAPAGEdge',['../classSVF_1_1IRGraph.html#a9f68ffe75e3d9457092ac2368aa08a27',1,'SVF::IRGraph']]],
+  ['totalsymnum_5730',['totalSymNum',['../classSVF_1_1SymbolTableInfo.html#a125faa0295b38d027b35bc3d76b3afdd',1,'SVF::SymbolTableInfo']]],
+  ['totaltime_5731',['TotalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afef85f0ecacd681357b3945f97d52964',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['totaltimeofconstructmemssa_5732',['TotalTimeOfConstructMemSSA',['../classSVF_1_1MemSSAStat.html#a7dd7e6af850b9d724ea580450bfd3afd',1,'SVF::MemSSAStat']]],
+  ['totalunions_5733',['totalUnions',['../classSVF_1_1PersistentPointsToCache.html#a7a1c296f9c2dfd49e5b60f52fb1901c2',1,'SVF::PersistentPointsToCache']]],
+  ['totalvernum_5734',['totalVERNum',['../classSVF_1_1MRVer.html#ad746973fdd724b71ebb251eb6930fccc',1,'SVF::MRVer']]],
+  ['totalvfgnode_5735',['totalVFGNode',['../classSVF_1_1VFG.html#acb181d4f9faa40578c80e2018e2742b8',1,'SVF::VFG']]],
+  ['touchcxtstmt_5736',['touchCxtStmt',['../classSVF_1_1LockAnalysis.html#aaa0f33f19d9f80eee98289119ba907d2',1,'SVF::LockAnalysis']]],
+  ['toz3expr_5737',['toZ3Expr',['../classSVF_1_1RelExeState.html#a8045abc5e96d0c7b373587c796180d3e',1,'SVF::RelExeState']]],
+  ['tparm_5738',['tparm',['../extapi_8c.html#ac94fb461ca9c5d62db380781a58a7f82',1,'extapi.c']]],
+  ['tphi_5739',['TPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac0bc801ca111129101616fbd39cce950',1,'SVF::VFGNode']]],
+  ['trailingzeroscounter_5740',['TrailingZerosCounter',['../structSVF_1_1TrailingZerosCounter.html',1,'SVF']]],
+  ['translateaddr_5741',['translateAddr',['../classSVF_1_1SVFIR2ConsExeState.html#a9d58c0c1698247018eac3c30c1202ba2',1,'SVF::SVFIR2ConsExeState::translateAddr()'],['../classSVF_1_1SVFIR2ItvExeState.html#af7f42ee51b03b1aaaee18f10eec0c2b9',1,'SVF::SVFIR2ItvExeState::translateAddr()']]],
+  ['translatebinary_5742',['translateBinary',['../classSVF_1_1SVFIR2ConsExeState.html#a82d969e6f521e59f0d57da0a19e67a0a',1,'SVF::SVFIR2ConsExeState::translateBinary()'],['../classSVF_1_1SVFIR2ItvExeState.html#a449ee8f244120866037c7f6d2ee5fc13',1,'SVF::SVFIR2ItvExeState::translateBinary()']]],
+  ['translatebinaryrel_5743',['translateBinaryRel',['../classSVF_1_1SVFIR2ItvExeState.html#aca887785abc037c61cca1eaad9613339',1,'SVF::SVFIR2ItvExeState']]],
+  ['translatecall_5744',['translateCall',['../classSVF_1_1SVFIR2ConsExeState.html#a57adf31d54810533526d6e33bdeb386c',1,'SVF::SVFIR2ConsExeState::translateCall()'],['../classSVF_1_1SVFIR2ItvExeState.html#adb82778157e0f5e7a2ea4d803bcd07ad',1,'SVF::SVFIR2ItvExeState::translateCall()']]],
+  ['translatecallrel_5745',['translateCallRel',['../classSVF_1_1SVFIR2ItvExeState.html#a2b03588d7d74af8818ddac6596a0f384',1,'SVF::SVFIR2ItvExeState']]],
+  ['translatecmp_5746',['translateCmp',['../classSVF_1_1SVFIR2ConsExeState.html#a373227923e37d7dcb100ef9de613e400',1,'SVF::SVFIR2ConsExeState::translateCmp()'],['../classSVF_1_1SVFIR2ItvExeState.html#aac5cc8767eb750bf121f1897788dee24',1,'SVF::SVFIR2ItvExeState::translateCmp()']]],
+  ['translatecmprel_5747',['translateCmpRel',['../classSVF_1_1SVFIR2ItvExeState.html#a89e3c835e16459e8b90e4a67127fa5da',1,'SVF::SVFIR2ItvExeState']]],
+  ['translatecopy_5748',['translateCopy',['../classSVF_1_1SVFIR2ConsExeState.html#a59c19a473a07918f59356c4a3b65cc8e',1,'SVF::SVFIR2ConsExeState::translateCopy()'],['../classSVF_1_1SVFIR2ItvExeState.html#afcf2f81101f1b9580d82b5c2efb83999',1,'SVF::SVFIR2ItvExeState::translateCopy()']]],
+  ['translatecopyrel_5749',['translateCopyRel',['../classSVF_1_1SVFIR2ItvExeState.html#a9a971203ef834c8e8591fc745ae5a17d',1,'SVF::SVFIR2ItvExeState']]],
+  ['translategep_5750',['translateGep',['../classSVF_1_1SVFIR2ConsExeState.html#a766ff7a17d51294fea7e01068fbd028c',1,'SVF::SVFIR2ConsExeState::translateGep()'],['../classSVF_1_1SVFIR2ItvExeState.html#aa274b5b4e18c28ec8035ca1b073aacfc',1,'SVF::SVFIR2ItvExeState::translateGep()']]],
+  ['translateload_5751',['translateLoad',['../classSVF_1_1SVFIR2ConsExeState.html#a7a547d67559f2d01ead77986bbd6863b',1,'SVF::SVFIR2ConsExeState::translateLoad()'],['../classSVF_1_1SVFIR2ItvExeState.html#a8f2a564370d9b9fb05e139c45eeaba68',1,'SVF::SVFIR2ItvExeState::translateLoad()']]],
+  ['translateloadrel_5752',['translateLoadRel',['../classSVF_1_1SVFIR2ItvExeState.html#a3d9eeed61b6ef79b65c5c52c9ae82c04',1,'SVF::SVFIR2ItvExeState']]],
+  ['translatephi_5753',['translatePhi',['../classSVF_1_1SVFIR2ConsExeState.html#ab97b728bca0f6831bb33f1e9196936e6',1,'SVF::SVFIR2ConsExeState::translatePhi()'],['../classSVF_1_1SVFIR2ItvExeState.html#ae00e5398cbeb9aa1cfc464da4250a91e',1,'SVF::SVFIR2ItvExeState::translatePhi()']]],
+  ['translatephirel_5754',['translatePhiRel',['../classSVF_1_1SVFIR2ItvExeState.html#af00e05b7e479cf79c2bd71dea212799d',1,'SVF::SVFIR2ItvExeState']]],
+  ['translateret_5755',['translateRet',['../classSVF_1_1SVFIR2ConsExeState.html#af1b17f60a22dc1da4b9f1430c5f07d1a',1,'SVF::SVFIR2ConsExeState::translateRet()'],['../classSVF_1_1SVFIR2ItvExeState.html#a31e299f91eed29d1a8db3b884d57d1dc',1,'SVF::SVFIR2ItvExeState::translateRet()']]],
+  ['translateretrel_5756',['translateRetRel',['../classSVF_1_1SVFIR2ItvExeState.html#a8a20d2bafff92a5b8983a1566ed598d6',1,'SVF::SVFIR2ItvExeState']]],
+  ['translateselect_5757',['translateSelect',['../classSVF_1_1SVFIR2ConsExeState.html#a15b7e99f0bff4de254239c10820550c0',1,'SVF::SVFIR2ConsExeState::translateSelect()'],['../classSVF_1_1SVFIR2ItvExeState.html#a604126e59364cb56b44a88cae5afbfb8',1,'SVF::SVFIR2ItvExeState::translateSelect()']]],
+  ['translateselectrel_5758',['translateSelectRel',['../classSVF_1_1SVFIR2ItvExeState.html#a4a5e92df30da02bdb396fc6daad591fb',1,'SVF::SVFIR2ItvExeState']]],
+  ['translatestore_5759',['translateStore',['../classSVF_1_1SVFIR2ConsExeState.html#a9541d935efa7fce9cf9d204050e2a918',1,'SVF::SVFIR2ConsExeState::translateStore()'],['../classSVF_1_1SVFIR2ItvExeState.html#aed2e41879bae8389c49e69356b7aaac5',1,'SVF::SVFIR2ItvExeState::translateStore()']]],
+  ['translatestorerel_5760',['translateStoreRel',['../classSVF_1_1SVFIR2ItvExeState.html#ac57d2a609c1159b4f653965eadce58cc',1,'SVF::SVFIR2ItvExeState']]],
+  ['traversedendrogram_5761',['traverseDendrogram',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#abd44e3b07b0482bacf6b1a080fe650c6',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['traverseonicfg_5762',['traverseOnICFG',['../svf-ex_8cpp.html#addc5529c5b161d0c61eba4944428455e',1,'svf-ex.cpp']]],
+  ['traverseonvfg_5763',['traverseOnVFG',['../svf-ex_8cpp.html#ad58149e5445ad22ce478339e103ab42b',1,'svf-ex.cpp']]],
+  ['treenode_5764',['TreeNode',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html',1,'SVF::POCRHybridSolver::TreeNode'],['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a2bedc69e7062cf96058395d3f7ebd030',1,'SVF::POCRHybridSolver::TreeNode::TreeNode()']]],
+  ['true_5765',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true(): cJSON.cpp'],['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true(): cJSON.cpp']]],
+  ['twopi_5766',['TWOPI',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac6a6eaaa34322cf54953ba390895f0c5',1,'SVF::GraphProgram']]],
+  ['type_5767',['type',['../structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35',1,'SVF::SVFUtil::add_const_past_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179',1,'SVF::SVFUtil::add_const_past_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1make__void.html#ac2eb79d0fe9a0f94eb1992600ba91e36',1,'SVF::SVFUtil::make_void::type()'],['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()'],['../classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78',1,'SVF::SVFValue::type()'],['../classSVF_1_1ObjTypeInfo.html#a3620a491a32ff0af93f0d92f55911498',1,'SVF::ObjTypeInfo::type()'],['../structcJSON.html#ab13084c574681593b12f6e0a3db0dcfc',1,'cJSON::type()'],['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::Type()'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()'],['../cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc',1,'type(): cJSON.cpp']]],
+  ['type2typeinfo_5768',['Type2TypeInfo',['../classSVF_1_1LLVMModuleSet.html#af2c555af91679d9e6d3009547ee11486',1,'SVF::LLVMModuleSet']]],
+  ['type2typeinfomap_5769',['Type2TypeInfoMap',['../classSVF_1_1LLVMModuleSet.html#a3c2eb10a20604bf794d2d10f2cffb116',1,'SVF::LLVMModuleSet']]],
+  ['typeanalysis_5770',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html',1,'SVF::TypeAnalysis'],['../classSVF_1_1TypeAnalysis.html#aaec66fea631bfe00064182e17dfb9db3',1,'SVF::TypeAnalysis::TypeAnalysis()']]],
+  ['typeanalysis_2ecpp_5771',['TypeAnalysis.cpp',['../TypeAnalysis_8cpp.html',1,'']]],
+  ['typeanalysis_2eh_5772',['TypeAnalysis.h',['../TypeAnalysis_8h.html',1,'']]],
+  ['typeandinfoflag_5773',['typeAndInfoFlag',['../classSVF_1_1SVFBugEvent.html#a33496918c5f2adaf48a64f39d9c49567',1,'SVF::SVFBugEvent']]],
+  ['typebasedheapcloning_5774',['TypeBasedHeapCloning',['../classSVF_1_1SVFIR.html#ac7f1349df526a5a50741e9303f3bd446',1,'SVF::SVFIR']]],
+  ['typecpp_5fwpa_5775',['TypeCPP_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85acc2e7cbdd04a614a3b6189d2f01042f3',1,'SVF::PointerAnalysis']]],
+  ['typedefs_5776',['typedefs',['../classSVF_1_1DCHNode.html#abafa483be12690549fbcccaf4c3fa511',1,'SVF::DCHNode']]],
+  ['typeinfo_5777',['typeInfo',['../classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf',1,'SVF::MemObj::typeInfo()'],['../classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e',1,'SVF::SVFType::typeinfo()']]],
+  ['typelocsetsmap_5778',['TypeLocSetsMap',['../classSVF_1_1SVFIR.html#ad74ca54e6d62d4410038ef900ea8f150',1,'SVF::SVFIR::TypeLocSetsMap()'],['../classSVF_1_1SVFIR.html#a63ede1d8d381b91f81b93965dcffa288',1,'SVF::SVFIR::typeLocSetsMap()']]],
+  ['typemap_5779',['TypeMap',['../classSVF_1_1POCRSolver.html#ac4d92529d21db89c547e20e886060b0f',1,'SVF::POCRSolver']]],
+  ['typename_5780',['typeName',['../classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc',1,'SVF::DCHNode']]],
+  ['typeofelement_5781',['typeOfElement',['../classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a',1,'SVF::SVFArrayType']]],
+  ['typeprint_5782',['TypePrint',['../classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd',1,'SVF::Options']]],
+  ['typestate_5783',['TypeState',['../classSVF_1_1SymState.html#af41520fdb48700f86231047d1db5d482',1,'SVF::SymState']]],
+  ['typesystem_5784',['typeSystem',['../classSVF_1_1PointerAnalysis.html#a219baed92b811d5519b056ad393fceed',1,'SVF::PointerAnalysis']]]
 ];