svf-tools 1.0.908 → 1.0.910

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

@@ -1,189 +1,189 @@
 var searchData=
 [
-  ['tail_5817',['tail',['../classSVF_1_1List.html#a7900b03bc65b9f8d3e7e5bb1a80a4125',1,'SVF::List']]],
-  ['tailmap_5818',['tailmap',['../classSVF_1_1MTASVFGBuilder.html#ad55a5f1e1f6d8e99fc0be5b85bbf8599',1,'SVF::MTASVFGBuilder']]],
-  ['taintsvfgbuilder_5819',['TaintSVFGBuilder',['../classSVF_1_1SVFG.html#a665c93b68f49078c281270a028d04445',1,'SVF::SVFG']]],
-  ['tcg_5820',['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_5821',['tcgSCC',['../classSVF_1_1TCT.html#a30662928bafc97c1e7b123270ca69980',1,'SVF::TCT']]],
-  ['tct_5822',['TCT',['../classSVF_1_1TCT.html',1,'SVF::TCT'],['../classSVF_1_1LockAnalysis.html#a2c4a69b0f2381142c172b3043943c79d',1,'SVF::LockAnalysis::tct()'],['../classSVF_1_1MHP.html#a176eefb65e4ba99ee70513c8add44176',1,'SVF::MHP::tct()'],['../classSVF_1_1ForkJoinAnalysis.html#a2c6ce7aa04c399746d89230be0e0f1ce',1,'SVF::ForkJoinAnalysis::tct()'],['../classSVF_1_1MTA.html#a3f5c5c6689491beb8edfa25c0ad871d9',1,'SVF::MTA::tct()'],['../classSVF_1_1TCT.html#a8eaa746805b0afc17329d0ba4ad6a887',1,'SVF::TCT::TCT()']]],
-  ['tct_2ecpp_5823',['TCT.cpp',['../TCT_8cpp.html',1,'']]],
-  ['tct_2eh_5824',['TCT.h',['../TCT_8h.html',1,'']]],
-  ['tct_5faccess_5825',['TCT_ACCESS',['../classSVF_1_1MTAResultValidator.html#a8ccc7c66b6744622b8a79b371d7b2b66',1,'SVF::MTAResultValidator']]],
-  ['tctdotgraph_5826',['TCTDotGraph',['../classSVF_1_1Options.html#adceab9fa76c438b8e5e83dd6042523ce',1,'SVF::Options']]],
-  ['tctedge_5827',['TCTEdge',['../classSVF_1_1TCTEdge.html',1,'SVF::TCTEdge'],['../classSVF_1_1TCTEdge.html#a2e0ee6eeade83aee75d65080e976fca4',1,'SVF::TCTEdge::TCTEdge()']]],
-  ['tctedgenum_5828',['TCTEdgeNum',['../classSVF_1_1TCT.html#a862899f2e5fb35920adf8e763e1dba57',1,'SVF::TCT']]],
-  ['tctnode_5829',['TCTNode',['../classSVF_1_1TCTNode.html',1,'SVF::TCTNode'],['../classSVF_1_1TCTNode.html#afdb40d78890c84d47441ade941a6d8c6',1,'SVF::TCTNode::TCTNode()']]],
-  ['tctnodeiter_5830',['TCTNodeIter',['../classSVF_1_1TCT.html#a6f4ab4fb901620c733d90b380c9db670',1,'SVF::TCT']]],
-  ['tctnodenum_5831',['TCTNodeNum',['../classSVF_1_1TCT.html#a52e3759054281c1ca1ccde07a9af1799',1,'SVF::TCT']]],
-  ['tcttime_5832',['TCTTime',['../classSVF_1_1MTAStat.html#a3298dd910e731fdabc87bbcf65371a4a',1,'SVF::MTAStat']]],
-  ['td_5facquire_5833',['TD_ACQUIRE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a5bda6aca46dfc712f3781b4732a373a3',1,'SVF::ThreadAPI']]],
-  ['td_5fbar_5finit_5834',['TD_BAR_INIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a4fb99e17bf56ae018448f5f97aa8cda6',1,'SVF::ThreadAPI']]],
-  ['td_5fbar_5fwait_5835',['TD_BAR_WAIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3aa2b2704ecc4c11ec0dbeaf1b22532431',1,'SVF::ThreadAPI']]],
-  ['td_5fcancel_5836',['TD_CANCEL',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3afad2e548ab59646972d8c66e593845cc',1,'SVF::ThreadAPI']]],
-  ['td_5fcond_5fbroadcast_5837',['TD_COND_BROADCAST',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3aa6ee2952d7757b0919f56bd39fd5a93e',1,'SVF::ThreadAPI']]],
-  ['td_5fcond_5fsignal_5838',['TD_COND_SIGNAL',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a01a3b1723176504482b606d8e097949f',1,'SVF::ThreadAPI']]],
-  ['td_5fcond_5fwait_5839',['TD_COND_WAIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3aa8a39bd1bb13292a55dd6168909c872e',1,'SVF::ThreadAPI']]],
-  ['td_5fcondvar_5fdestroy_5840',['TD_CONDVAR_DESTROY',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a9c3f04e71ed64ce8d2862d7a6f39a95b',1,'SVF::ThreadAPI']]],
-  ['td_5fcondvar_5fini_5841',['TD_CONDVAR_INI',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a1f921d7369e3a00a77394640f887c7ff',1,'SVF::ThreadAPI']]],
-  ['td_5fdetach_5842',['TD_DETACH',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a0b558cf037397818414cac2f7c87ab08',1,'SVF::ThreadAPI']]],
-  ['td_5fdummy_5843',['TD_DUMMY',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a5953e882e253807e49aa229e64e001b8',1,'SVF::ThreadAPI']]],
-  ['td_5fexit_5844',['TD_EXIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3af3a3036705ecca40cf170d12d0ccf4dc',1,'SVF::ThreadAPI']]],
-  ['td_5ffork_5845',['TD_FORK',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a9a40948eeab9b022957ae33715ee83da',1,'SVF::ThreadAPI']]],
-  ['td_5fjoin_5846',['TD_JOIN',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a9efe9b72a2520e1fae3cae1e747e3134',1,'SVF::ThreadAPI']]],
-  ['td_5fmutex_5fdestroy_5847',['TD_MUTEX_DESTROY',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a91db238366fcdcd65bd7710882c8716f',1,'SVF::ThreadAPI']]],
-  ['td_5fmutex_5fini_5848',['TD_MUTEX_INI',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3abb17ca545bd259f16a36a2d2af43948b',1,'SVF::ThreadAPI']]],
-  ['td_5frelease_5849',['TD_RELEASE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3ac826e1e1c43305a3abcfdc9a2169b8dd',1,'SVF::ThreadAPI']]],
-  ['td_5ftry_5facquire_5850',['TD_TRY_ACQUIRE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3ab7ea623d48ae64aa09ab49deebbb7113',1,'SVF::ThreadAPI']]],
-  ['td_5ftype_5851',['TD_TYPE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3',1,'SVF::ThreadAPI']]],
-  ['tdalive_5852',['TDAlive',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631a2abecc56b7d5c644f7e14c98d33d0a0a',1,'SVF::ForkJoinAnalysis']]],
-  ['tdapi_5853',['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_5854',['tdAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec',1,'SVF::SaberCheckerAPI::tdAPIMap()'],['../classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c',1,'SVF::ThreadAPI::tdAPIMap()'],['../classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2',1,'SVF::SaberCheckerAPI::TDAPIMap()'],['../classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144',1,'SVF::ThreadAPI::TDAPIMap()']]],
-  ['tddead_5855',['TDDead',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4',1,'SVF::ForkJoinAnalysis']]],
-  ['tdforkedge_5856',['TDForkEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7af32caf15ca19d512b5183bcf0d859cd7',1,'SVF::PTACallGraphEdge']]],
-  ['tdforkpe_5857',['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_5858',['TDJoinEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7a2d65840140263a0808f5b9d553a4bff5',1,'SVF::PTACallGraphEdge']]],
-  ['tdjoinpe_5859',['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_5860',['TDLocked',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791a2709e7eb7ea9829c7e649e6dd86d6a48',1,'SVF::LockAnalysis']]],
-  ['tdunlocked_5861',['TDUnlocked',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791ac531588e8556653306e03ccaacb83dac',1,'SVF::LockAnalysis']]],
-  ['template_5862',['TEMPLATE',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc',1,'SVF::DCHNode::TEMPLATE()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d',1,'SVF::CHNode::TEMPLATE()']]],
-  ['templatenametoinstancesmap_5863',['templateNameToInstancesMap',['../classSVF_1_1CHGraph.html#acd022005e2191bc3bcb265805abee4f8',1,'SVF::CHGraph']]],
-  ['teq_5864',['teq',['../classSVF_1_1DCHGraph.html#acb76ab20da1bfbec00f63d08e48cbddd',1,'SVF::DCHGraph']]],
-  ['terminals_5865',['terminals',['../classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a',1,'SVF::GrammarBase']]],
-  ['terminator_5866',['terminator',['../classSVF_1_1SVFInstruction.html#ab092c00376cf697bc4a3b7baa9f3a2f3',1,'SVF::SVFInstruction']]],
-  ['test_5867',['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_5868',['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()']]],
-  ['test_5fprint_5869',['test_print',['../classSymblicAbstractionTest.html#a99d94e268fb6e622a85a9acae737fd6f',1,'SymblicAbstractionTest']]],
-  ['testindcallreachability_5870',['testIndCallReachability',['../classSVF_1_1ContextDDA.html#a05ac33ca33efb58099839f72050bb008',1,'SVF::ContextDDA::testIndCallReachability()'],['../classSVF_1_1FlowDDA.html#ae48534b36222578855708c298f81f554',1,'SVF::FlowDDA::testIndCallReachability()']]],
-  ['testoutofbudget_5871',['testOutOfBudget',['../classSVF_1_1DDAVFSolver.html#a3fb52286c5324ea3d58e22c630b307e3',1,'SVF::DDAVFSolver']]],
-  ['testrelexestate1_5f1_5872',['testRelExeState1_1',['../classSymblicAbstractionTest.html#acc4852ec2f03ec67e39c67629275cdf5',1,'SymblicAbstractionTest']]],
-  ['testrelexestate1_5f2_5873',['testRelExeState1_2',['../classSymblicAbstractionTest.html#a0316fb86d1751ecacf5845ca07764f40',1,'SymblicAbstractionTest']]],
-  ['testrelexestate2_5f1_5874',['testRelExeState2_1',['../classSymblicAbstractionTest.html#a32fbde1fbb997be55abfdc308de68fc1',1,'SymblicAbstractionTest']]],
-  ['testrelexestate2_5f2_5875',['testRelExeState2_2',['../classSymblicAbstractionTest.html#a40b9879a5465f960bbd4fad6654304aa',1,'SymblicAbstractionTest']]],
-  ['testrelexestate2_5f3_5876',['testRelExeState2_3',['../classSymblicAbstractionTest.html#a7c319b15dd3bd82a7c805ba6dd60beab',1,'SymblicAbstractionTest']]],
-  ['testrelexestate2_5f4_5877',['testRelExeState2_4',['../classSymblicAbstractionTest.html#a2e3d2a2d9a78fffa641523a2e4809c02',1,'SymblicAbstractionTest']]],
-  ['testrelexestate2_5f5_5878',['testRelExeState2_5',['../classSymblicAbstractionTest.html#aaba97f696f9518c31af8ace984b39bcf',1,'SymblicAbstractionTest']]],
-  ['testrelexestate3_5f1_5879',['testRelExeState3_1',['../classSymblicAbstractionTest.html#ac3016e7a57f46af01d20de7e785a4cce',1,'SymblicAbstractionTest']]],
-  ['testrelexestate3_5f2_5880',['testRelExeState3_2',['../classSymblicAbstractionTest.html#a56541a5e9bc61f092ee3c48700f00bf7',1,'SymblicAbstractionTest']]],
-  ['testrelexestate3_5f3_5881',['testRelExeState3_3',['../classSymblicAbstractionTest.html#a7c87dfedc9c7b32df42f14334bc732b0',1,'SymblicAbstractionTest']]],
-  ['testrelexestate3_5f4_5882',['testRelExeState3_4',['../classSymblicAbstractionTest.html#ae7b7853f6a6a3cbc2c04d3dfea83ad43',1,'SymblicAbstractionTest']]],
-  ['testrelexestate4_5f1_5883',['testRelExeState4_1',['../classSymblicAbstractionTest.html#a986b2278abd2ee64507fa769a66c999c',1,'SymblicAbstractionTest']]],
-  ['testsvalidation_5884',['testsValidation',['../classSymblicAbstractionTest.html#a66155c2b52131a7782382d8e5da560fc',1,'SymblicAbstractionTest::testsValidation()'],['../classSVF_1_1DoubleFreeChecker.html#a06cf937c92c88627796f09b0a87a5263',1,'SVF::DoubleFreeChecker::testsValidation()'],['../classSVF_1_1LeakChecker.html#aaf5d098e0d08929a108fb59bff46e424',1,'SVF::LeakChecker::testsValidation()']]],
-  ['tgoto_5885',['tgoto',['../extapi_8c.html#a2ef27396e2742b0ab682b27153d1a0e3',1,'extapi.c']]],
-  ['thdcallgraph_5886',['ThdCallGraph',['../classSVF_1_1PTACallGraph.html#a5b1fe2b2314db947cd5e709b7285fe1ca4fe819bb1488afc48b04c1b7bef04bc2',1,'SVF::PTACallGraph']]],
-  ['theadmhpindirectvf_5887',['TheadMHPIndirectVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aae3168b6bc9141e4a1f3723eae4f3375',1,'SVF::VFGEdge']]],
-  ['theoreticalnumwords_5888',['TheoreticalNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a2a70b98363303cb33d96732f44b4c5c3',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['threadapi_5889',['ThreadAPI',['../classSVF_1_1ThreadAPI.html',1,'SVF::ThreadAPI'],['../classSVF_1_1ThreadAPI.html#a9c5ea333cc420bc3b8d8765c664ab128',1,'SVF::ThreadAPI::ThreadAPI()']]],
-  ['threadapi_2ecpp_5890',['ThreadAPI.cpp',['../ThreadAPI_8cpp.html',1,'']]],
-  ['threadapi_2eh_5891',['ThreadAPI.h',['../ThreadAPI_8h.html',1,'']]],
-  ['threadapi_5fcpp_5f_5892',['THREADAPI_CPP_',['../ThreadAPI_8cpp.html#a2edb48ac961ebb1eb8937424c6b273f1',1,'ThreadAPI.cpp']]],
-  ['threadcallgraph_5893',['ThreadCallGraph',['../classSVF_1_1ThreadCallGraph.html',1,'SVF::ThreadCallGraph'],['../classSVF_1_1ThreadCallGraph.html#a09946f39049bad87401b6e1567a7fb19',1,'SVF::ThreadCallGraph::ThreadCallGraph()']]],
-  ['threadcallgraph_2ecpp_5894',['ThreadCallGraph.cpp',['../ThreadCallGraph_8cpp.html',1,'']]],
-  ['threadcallgraph_2eh_5895',['ThreadCallGraph.h',['../ThreadCallGraph_8h.html',1,'']]],
-  ['threadcallgraphbuilder_5896',['ThreadCallGraphBuilder',['../classSVF_1_1ThreadCallGraphBuilder.html',1,'SVF::ThreadCallGraphBuilder'],['../classSVF_1_1ThreadCallGraphBuilder.html#afaf36ca5ff95c90f27424564d60e2c1c',1,'SVF::ThreadCallGraphBuilder::ThreadCallGraphBuilder()']]],
-  ['threadcallgraphscc_5897',['ThreadCallGraphSCC',['../classSVF_1_1TCT.html#a71942c7386d094426ae86633a9b1f755',1,'SVF::TCT']]],
-  ['threadcreateedge_5898',['ThreadCreateEdge',['../classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494fac7915e379517d9d17b770540adb577c8',1,'SVF::TCTEdge']]],
-  ['threadcreateedgeset_5899',['ThreadCreateEdgeSet',['../classSVF_1_1TCTEdge.html#aecd13905b54ae91d938b610be828deb5',1,'SVF::TCTEdge::ThreadCreateEdgeSet()'],['../classSVF_1_1TCT.html#a7c53c7ff773a253976374392d4930d6e',1,'SVF::TCT::ThreadCreateEdgeSet()']]],
-  ['threadfork_5900',['ThreadFork',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd',1,'SVF::SVFStmt']]],
-  ['threadforkedge_5901',['ThreadForkEdge',['../classSVF_1_1ThreadForkEdge.html',1,'SVF::ThreadForkEdge'],['../classSVF_1_1ThreadForkEdge.html#ae55b3e06b3ed22780d917dbb225561c1',1,'SVF::ThreadForkEdge::ThreadForkEdge()']]],
-  ['threadid_5902',['ThreadID',['../namespaceSVF.html#a10cddb090690c82a2aab31a480253d35',1,'SVF']]],
-  ['threadjoin_5903',['ThreadJoin',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0',1,'SVF::SVFStmt']]],
-  ['threadjoinedge_5904',['ThreadJoinEdge',['../classSVF_1_1ThreadJoinEdge.html',1,'SVF::ThreadJoinEdge'],['../classSVF_1_1ThreadJoinEdge.html#abacb4b5e4badee46f9517b2d84798a3e',1,'SVF::ThreadJoinEdge::ThreadJoinEdge()']]],
-  ['threadmhpindsvfgedge_5905',['ThreadMHPIndSVFGEdge',['../classSVF_1_1ThreadMHPIndSVFGEdge.html',1,'SVF::ThreadMHPIndSVFGEdge'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#ac5055bd4ff42476915b5d02ba4f1986b',1,'SVF::ThreadMHPIndSVFGEdge::ThreadMHPIndSVFGEdge()']]],
-  ['threadpairset_5906',['ThreadPairSet',['../classSVF_1_1ForkJoinAnalysis.html#a7fb8df483e619337e77088e8543a9846',1,'SVF::ForkJoinAnalysis']]],
-  ['threadstmttointerleaving_5907',['threadStmtToInterLeaving',['../classSVF_1_1MTAResultValidator.html#ac4a7773211a9c842639ac25b1a504c7e',1,'SVF::MTAResultValidator']]],
-  ['threadstmttotheadinterleav_5908',['threadStmtToTheadInterLeav',['../classSVF_1_1MHP.html#afcfc409e625b74cbefd240170627c541',1,'SVF::MHP']]],
-  ['threadstmttothreadinterleav_5909',['ThreadStmtToThreadInterleav',['../classSVF_1_1MHP.html#ac30f283cb2ad020a054ee6525ca94025',1,'SVF::MHP']]],
-  ['tid_5910',['tid',['../classSVF_1_1CxtThreadStmt.html#ad96bacc3de1ce576ad397d19aa99a269',1,'SVF::CxtThreadStmt::tid()'],['../classSVF_1_1CxtThreadProc.html#a99b24e1be2bfb49569532c2c28c68969',1,'SVF::CxtThreadProc::tid()']]],
-  ['time_5911',['time',['../classSVF_1_1SVFBugReport.html#a529dfbc5ea68061897e84af9cf248bcf',1,'SVF::SVFBugReport']]],
-  ['timeinterval_5912',['TIMEINTERVAL',['../SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736',1,'SVFType.h']]],
-  ['timelimitreached_5913',['timeLimitReached',['../namespaceSVF_1_1SVFUtil.html#add4cd21115988f9f5eec12e268ddf1d9',1,'SVF::SVFUtil']]],
-  ['timeofbuildcflgrammar_5914',['timeOfBuildCFLGrammar',['../classSVF_1_1CFLBase.html#a0d3217f4c3796b58a98add5c92298ad2',1,'SVF::CFLBase']]],
-  ['timeofbuildcflgraph_5915',['timeOfBuildCFLGraph',['../classSVF_1_1CFLBase.html#a9453bf479ccd00bacb3b371fa6383a9c',1,'SVF::CFLBase']]],
-  ['timeofbuildingllvmmodule_5916',['timeOfBuildingLLVMModule',['../classSVF_1_1SVFStat.html#aa4950ec26b66a085ad38ac154b789db5',1,'SVF::SVFStat']]],
-  ['timeofbuildingsvfir_5917',['timeOfBuildingSVFIR',['../classSVF_1_1SVFStat.html#aea75388c973674686d1f2b7498b4095c',1,'SVF::SVFStat']]],
-  ['timeofbuildingsymboltable_5918',['timeOfBuildingSymbolTable',['../classSVF_1_1SVFStat.html#ae89293bc063bdc74a988e9c37c70321e',1,'SVF::SVFStat']]],
-  ['timeofcollapse_5919',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
-  ['timeofcreatemuchi_5920',['timeOfCreateMUCHI',['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()'],['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()']]],
-  ['timeofgeneratingmemregions_5921',['TimeOfGeneratingMemRegions',['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()']]],
-  ['timeofinsertingphi_5922',['timeOfInsertingPHI',['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()'],['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()']]],
-  ['timeofnormalizegrammar_5923',['timeOfNormalizeGrammar',['../classSVF_1_1CFLBase.html#ad4d65dd4c3e173d014199ac6b08a5261',1,'SVF::CFLBase']]],
-  ['timeofprocesscopygep_5924',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
-  ['timeofprocessloadstore_5925',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
-  ['timeofsccdetection_5926',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
-  ['timeofsccmerges_5927',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
-  ['timeofsolving_5928',['timeOfSolving',['../classSVF_1_1CFLBase.html#a88e40af43705550a78837b8589bbf3f8',1,'SVF::CFLBase']]],
-  ['timeofssarenaming_5929',['TimeOfSSARenaming',['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()'],['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()']]],
-  ['timeofupdatecallgraph_5930',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
-  ['timeout_5931',['Timeout',['../classSVF_1_1Options.html#a4a4eed0841c46f89f1b408e5789e114b',1,'SVF::Options']]],
-  ['timestatmap_5932',['timeStatMap',['../classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831',1,'SVF::SVFStat::timeStatMap()'],['../classSVF_1_1SVFStat.html#a8bb01becef1eb8d6113d946d29d904bd',1,'SVF::SVFStat::TIMEStatMap()']]],
-  ['tinterphi_5933',['TInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69',1,'SVF::VFGNode']]],
-  ['tintraphi_5934',['TIntraPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727',1,'SVF::VFGNode']]],
-  ['tlptdata_5935',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],
-  ['tlvfnodeend_5936',['TLVFNodeEnd',['../classSVF_1_1SVFGStat.html#a17e479f0258291998369a2eb325ba3d7',1,'SVF::SVFGStat']]],
-  ['tlvfnodestart_5937',['TLVFNodeStart',['../classSVF_1_1SVFGStat.html#a2e4aac52fdc2fd119847afbeba634de9',1,'SVF::SVFGStat']]],
-  ['tmpnam_5fr_5938',['tmpnam_r',['../extapi_8c.html#a0d302127bd577711c2af50614667171e',1,'extapi.c']]],
-  ['to_5fstring_5939',['to_string',['../classSVF_1_1NumericLiteral.html#ac154ddeb6516e240e091f4867c4c3593',1,'SVF::NumericLiteral::to_string()'],['../classSVF_1_1Z3Expr.html#a1da8e647e12c0e105271eadbd72f437e',1,'SVF::Z3Expr::to_string()']]],
-  ['tojson_5940',['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_5941',['toNodeBS',['../classSVF_1_1PointsTo.html#ad1d19d52800341484a136c6d5e0112ea',1,'SVF::PointsTo']]],
-  ['top_5942',['top',['../classSVF_1_1AbstractState.html#ac34dc4e111967507950bd5afe4a59ea0',1,'SVF::AbstractState::top()'],['../classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b',1,'SVF::IntervalValue::top()']]],
-  ['toponodestack_5943',['topoNodeStack',['../classSVF_1_1SCCDetection.html#a6502c0a765ac1653474ffee651949f93',1,'SVF::SCCDetection']]],
-  ['tostring_5944',['toString',['../classSVF_1_1AbstractState.html#a7c802c006225a50b1d83b5f78d0891fa',1,'SVF::AbstractState::toString()'],['../structSVF_1_1AbstractValue.html#a998b5052a94a9621dc83483b8866bbbc',1,'SVF::AbstractValue::toString()'],['../classSVF_1_1AddressValue.html#a25db03df057262182a42cc394f0c7e1d',1,'SVF::AddressValue::toString()'],['../classSVF_1_1IntervalValue.html#a5d73cc2aa0a6ed49e8301fa7b0cd5045',1,'SVF::IntervalValue::toString()'],['../classSVF_1_1CDGEdge.html#a1beaf9451e4e535841384cebd26b26c8',1,'SVF::CDGEdge::toString()'],['../classSVF_1_1CDGNode.html#aab6b96ba8af1b8d1ae653fd73e4b86a3',1,'SVF::CDGNode::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_1WTOCycleDepth.html#a275559cdb0fea5d06b1516c4c49da0ae',1,'SVF::WTOCycleDepth::toString()'],['../classSVF_1_1WTOComponent.html#a149bad69eb00f216887a42ae0fb518fc',1,'SVF::WTOComponent::toString()'],['../classSVF_1_1WTONode.html#a9afd271657066e8f3e3ed79397780e91',1,'SVF::WTONode::toString()'],['../classSVF_1_1WTOCycle.html#a5ecefd827cf83b86839fb3ac300f86b7',1,'SVF::WTOCycle::toString()'],['../classSVF_1_1WTO.html#a2245875350c4a72f826d998f02f5e796',1,'SVF::WTO::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_5945',['totalCallSiteNum',['../classSVF_1_1PTACallGraph.html#a276338e88cc286f6a1808b1fcdf74d9a',1,'SVF::PTACallGraph']]],
-  ['totalcomplements_5946',['totalComplements',['../classSVF_1_1PersistentPointsToCache.html#a6d52fb93d22b2ce3e4e4acbdd82b88b0',1,'SVF::PersistentPointsToCache']]],
-  ['totalcondnum_5947',['totalCondNum',['../classSVF_1_1SaberCondAllocator.html#a76fad4d58db94d7c572876ba6f1adf83',1,'SVF::SaberCondAllocator']]],
-  ['totaldircalledge_5948',['totalDirCallEdge',['../classSVF_1_1SVFGStat.html#a1e93c866f3d780cb1cfdaf1dd143ea24',1,'SVF::SVFGStat']]],
-  ['totaldirretedge_5949',['totalDirRetEdge',['../classSVF_1_1SVFGStat.html#a63bd38fa93d665037932bcda3cc342c6',1,'SVF::SVFGStat']]],
-  ['totaledgenum_5950',['totalEdgeNum',['../classSVF_1_1SVFStmt.html#af1a9c2a18805560e46425bd98a35dea9',1,'SVF::SVFStmt']]],
-  ['totalicfgnode_5951',['totalICFGNode',['../classSVF_1_1ICFG.html#a5df6061b65d021cd73c66592ec79f052',1,'SVF::ICFG']]],
-  ['totalindcalledge_5952',['totalIndCallEdge',['../classSVF_1_1SVFGStat.html#a0f37f7f530e3fd494c9d6bb477ca68d5',1,'SVF::SVFGStat']]],
-  ['totalindedgelabels_5953',['totalIndEdgeLabels',['../classSVF_1_1SVFGStat.html#a0a39eb7aab584cc285c32545ddb57ad8',1,'SVF::SVFGStat']]],
-  ['totalindinedge_5954',['totalIndInEdge',['../classSVF_1_1SVFGStat.html#a8cd6254435994d9aea27b5519491fc6a',1,'SVF::SVFGStat']]],
-  ['totalindoutedge_5955',['totalIndOutEdge',['../classSVF_1_1SVFGStat.html#a982ce49695344bcde4cbbb445de69c8d',1,'SVF::SVFGStat']]],
-  ['totalindretedge_5956',['totalIndRetEdge',['../classSVF_1_1SVFGStat.html#afd0f43a7d7138a8013930fd103ce7c47',1,'SVF::SVFGStat']]],
-  ['totalinedge_5957',['totalInEdge',['../classSVF_1_1SVFGStat.html#a7929d8ba565ecb04efd236ccb19a4658',1,'SVF::SVFGStat']]],
-  ['totalintersections_5958',['totalIntersections',['../classSVF_1_1PersistentPointsToCache.html#a099c2319277797ac96aeee859ded9b22',1,'SVF::PersistentPointsToCache']]],
-  ['totalkind_5959',['totalKind',['../classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f',1,'SVF::GrammarBase']]],
-  ['totalmrnum_5960',['totalMRNum',['../classSVF_1_1MemRegion.html#a23857f301395cbbad10f6f93256a7398',1,'SVF::MemRegion']]],
-  ['totaloutedge_5961',['totalOutEdge',['../classSVF_1_1SVFGStat.html#a18211427d08f70d252512d387763ce4a',1,'SVF::SVFGStat']]],
-  ['totalptapagedge_5962',['totalPTAPAGEdge',['../classSVF_1_1IRGraph.html#a9f68ffe75e3d9457092ac2368aa08a27',1,'SVF::IRGraph']]],
-  ['totalsymnum_5963',['totalSymNum',['../classSVF_1_1SymbolTableInfo.html#a125faa0295b38d027b35bc3d76b3afdd',1,'SVF::SymbolTableInfo']]],
-  ['totaltime_5964',['TotalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afef85f0ecacd681357b3945f97d52964',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['totaltimeofconstructmemssa_5965',['TotalTimeOfConstructMemSSA',['../classSVF_1_1MemSSAStat.html#a7dd7e6af850b9d724ea580450bfd3afd',1,'SVF::MemSSAStat']]],
-  ['totalunions_5966',['totalUnions',['../classSVF_1_1PersistentPointsToCache.html#a7a1c296f9c2dfd49e5b60f52fb1901c2',1,'SVF::PersistentPointsToCache']]],
-  ['totalvernum_5967',['totalVERNum',['../classSVF_1_1MRVer.html#ad746973fdd724b71ebb251eb6930fccc',1,'SVF::MRVer']]],
-  ['totalvfgnode_5968',['totalVFGNode',['../classSVF_1_1VFG.html#acb181d4f9faa40578c80e2018e2742b8',1,'SVF::VFG']]],
-  ['touchcxtstmt_5969',['touchCxtStmt',['../classSVF_1_1LockAnalysis.html#aaa0f33f19d9f80eee98289119ba907d2',1,'SVF::LockAnalysis']]],
-  ['toz3expr_5970',['toZ3Expr',['../classSVF_1_1RelationSolver.html#af621897ab66f6475d5ee043ef2e33623',1,'SVF::RelationSolver::toZ3Expr()'],['../classSVF_1_1RelExeState.html#a8045abc5e96d0c7b373587c796180d3e',1,'SVF::RelExeState::toZ3Expr()']]],
-  ['tparm_5971',['tparm',['../extapi_8c.html#ac94fb461ca9c5d62db380781a58a7f82',1,'extapi.c']]],
-  ['tphi_5972',['TPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac0bc801ca111129101616fbd39cce950',1,'SVF::VFGNode']]],
-  ['tracememoryallocationsize_5973',['traceMemoryAllocationSize',['../classSVF_1_1AbstractInterpretation.html#ac9e8bc430cd530e47811e28f5a9fe963',1,'SVF::AbstractInterpretation']]],
-  ['trailingzeroscounter_5974',['TrailingZerosCounter',['../structSVF_1_1TrailingZerosCounter.html',1,'SVF']]],
-  ['traversedendrogram_5975',['traverseDendrogram',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#abd44e3b07b0482bacf6b1a080fe650c6',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['traverseonicfg_5976',['traverseOnICFG',['../svf-ex_8cpp.html#a19f3fe331a1e7050a513672a91743b96',1,'svf-ex.cpp']]],
-  ['traverseonsvfstmt_5977',['traverseOnSVFStmt',['../svf-ex_8cpp.html#a8fa9e6583c354b1883a32b8abf98779f',1,'svf-ex.cpp']]],
-  ['traverseonvfg_5978',['traverseOnVFG',['../svf-ex_8cpp.html#a46d99c4d06304a22985a1e7bf04b3e2d',1,'svf-ex.cpp']]],
-  ['treenode_5979',['TreeNode',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html',1,'SVF::POCRHybridSolver::TreeNode'],['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a2bedc69e7062cf96058395d3f7ebd030',1,'SVF::POCRHybridSolver::TreeNode::TreeNode()']]],
-  ['true_5980',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true(): cJSON.cpp'],['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true(): cJSON.cpp']]],
-  ['trunc_5981',['TRUNC',['../classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1ab2b2f7dffed3d446a147fc7a27e66dd8',1,'SVF::CopyStmt']]],
-  ['twopi_5982',['TWOPI',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac6a6eaaa34322cf54953ba390895f0c5',1,'SVF::GraphProgram']]],
-  ['type_5983',['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()'],['../structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613',1,'SVF::AbstractValue::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_5984',['Type2TypeInfo',['../classSVF_1_1LLVMModuleSet.html#af2c555af91679d9e6d3009547ee11486',1,'SVF::LLVMModuleSet']]],
-  ['type2typeinfomap_5985',['Type2TypeInfoMap',['../classSVF_1_1LLVMModuleSet.html#a3c2eb10a20604bf794d2d10f2cffb116',1,'SVF::LLVMModuleSet']]],
-  ['type_5fdebug_5986',['TYPE_DEBUG',['../ObjTypeInference_8cpp.html#a8e62b6cad2019cc242c6fa579bae4988',1,'ObjTypeInference.cpp']]],
-  ['typeanalysis_5987',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html',1,'SVF::TypeAnalysis'],['../classSVF_1_1TypeAnalysis.html#aaec66fea631bfe00064182e17dfb9db3',1,'SVF::TypeAnalysis::TypeAnalysis()']]],
-  ['typeanalysis_2ecpp_5988',['TypeAnalysis.cpp',['../TypeAnalysis_8cpp.html',1,'']]],
-  ['typeanalysis_2eh_5989',['TypeAnalysis.h',['../TypeAnalysis_8h.html',1,'']]],
-  ['typeandinfoflag_5990',['typeAndInfoFlag',['../classSVF_1_1SVFBugEvent.html#a33496918c5f2adaf48a64f39d9c49567',1,'SVF::SVFBugEvent']]],
-  ['typebasedheapcloning_5991',['TypeBasedHeapCloning',['../classSVF_1_1SVFIR.html#ac7f1349df526a5a50741e9303f3bd446',1,'SVF::SVFIR']]],
-  ['typecpp_5fwpa_5992',['TypeCPP_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85acc2e7cbdd04a614a3b6189d2f01042f3',1,'SVF::PointerAnalysis']]],
-  ['typedefs_5993',['typedefs',['../classSVF_1_1DCHNode.html#abafa483be12690549fbcccaf4c3fa511',1,'SVF::DCHNode']]],
-  ['typeinference_5994',['typeInference',['../classSVF_1_1LLVMModuleSet.html#a2eb76d2c787a9a02f7d37c790d647e9c',1,'SVF::LLVMModuleSet']]],
-  ['typeinfo_5995',['typeinfo',['../classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e',1,'SVF::SVFType::typeinfo()'],['../classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf',1,'SVF::MemObj::typeInfo()']]],
-  ['typelocsetsmap_5996',['typeLocSetsMap',['../classSVF_1_1SVFIR.html#a63ede1d8d381b91f81b93965dcffa288',1,'SVF::SVFIR::typeLocSetsMap()'],['../classSVF_1_1SVFIR.html#ad74ca54e6d62d4410038ef900ea8f150',1,'SVF::SVFIR::TypeLocSetsMap()']]],
-  ['typemalloc_5997',['TYPEMALLOC',['../ObjTypeInference_8cpp.html#a5f334de99eb942058f27a1025c346f70',1,'ObjTypeInference.cpp']]],
-  ['typemap_5998',['TypeMap',['../classSVF_1_1POCRSolver.html#ac4d92529d21db89c547e20e886060b0f',1,'SVF::POCRSolver']]],
-  ['typename_5999',['typeName',['../classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc',1,'SVF::DCHNode']]],
-  ['typeofelement_6000',['typeOfElement',['../classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a',1,'SVF::SVFArrayType']]],
-  ['typeprint_6001',['TypePrint',['../classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd',1,'SVF::Options']]],
-  ['typesizedifftest_6002',['typeSizeDiffTest',['../classSVF_1_1ObjTypeInference.html#a99eaaef89f214fc8587349361600b44d',1,'SVF::ObjTypeInference']]]
+  ['tail_5814',['tail',['../classSVF_1_1List.html#a7900b03bc65b9f8d3e7e5bb1a80a4125',1,'SVF::List']]],
+  ['tailmap_5815',['tailmap',['../classSVF_1_1MTASVFGBuilder.html#ad55a5f1e1f6d8e99fc0be5b85bbf8599',1,'SVF::MTASVFGBuilder']]],
+  ['taintsvfgbuilder_5816',['TaintSVFGBuilder',['../classSVF_1_1SVFG.html#a665c93b68f49078c281270a028d04445',1,'SVF::SVFG']]],
+  ['tcg_5817',['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_5818',['tcgSCC',['../classSVF_1_1TCT.html#a30662928bafc97c1e7b123270ca69980',1,'SVF::TCT']]],
+  ['tct_5819',['TCT',['../classSVF_1_1TCT.html',1,'SVF::TCT'],['../classSVF_1_1LockAnalysis.html#a2c4a69b0f2381142c172b3043943c79d',1,'SVF::LockAnalysis::tct()'],['../classSVF_1_1MHP.html#a176eefb65e4ba99ee70513c8add44176',1,'SVF::MHP::tct()'],['../classSVF_1_1ForkJoinAnalysis.html#a2c6ce7aa04c399746d89230be0e0f1ce',1,'SVF::ForkJoinAnalysis::tct()'],['../classSVF_1_1MTA.html#a3f5c5c6689491beb8edfa25c0ad871d9',1,'SVF::MTA::tct()'],['../classSVF_1_1TCT.html#a8eaa746805b0afc17329d0ba4ad6a887',1,'SVF::TCT::TCT()']]],
+  ['tct_2ecpp_5820',['TCT.cpp',['../TCT_8cpp.html',1,'']]],
+  ['tct_2eh_5821',['TCT.h',['../TCT_8h.html',1,'']]],
+  ['tct_5faccess_5822',['TCT_ACCESS',['../classSVF_1_1MTAResultValidator.html#a8ccc7c66b6744622b8a79b371d7b2b66',1,'SVF::MTAResultValidator']]],
+  ['tctdotgraph_5823',['TCTDotGraph',['../classSVF_1_1Options.html#adceab9fa76c438b8e5e83dd6042523ce',1,'SVF::Options']]],
+  ['tctedge_5824',['TCTEdge',['../classSVF_1_1TCTEdge.html',1,'SVF::TCTEdge'],['../classSVF_1_1TCTEdge.html#a2e0ee6eeade83aee75d65080e976fca4',1,'SVF::TCTEdge::TCTEdge()']]],
+  ['tctedgenum_5825',['TCTEdgeNum',['../classSVF_1_1TCT.html#a862899f2e5fb35920adf8e763e1dba57',1,'SVF::TCT']]],
+  ['tctnode_5826',['TCTNode',['../classSVF_1_1TCTNode.html',1,'SVF::TCTNode'],['../classSVF_1_1TCTNode.html#afdb40d78890c84d47441ade941a6d8c6',1,'SVF::TCTNode::TCTNode()']]],
+  ['tctnodeiter_5827',['TCTNodeIter',['../classSVF_1_1TCT.html#a6f4ab4fb901620c733d90b380c9db670',1,'SVF::TCT']]],
+  ['tctnodenum_5828',['TCTNodeNum',['../classSVF_1_1TCT.html#a52e3759054281c1ca1ccde07a9af1799',1,'SVF::TCT']]],
+  ['tcttime_5829',['TCTTime',['../classSVF_1_1MTAStat.html#a3298dd910e731fdabc87bbcf65371a4a',1,'SVF::MTAStat']]],
+  ['td_5facquire_5830',['TD_ACQUIRE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a5bda6aca46dfc712f3781b4732a373a3',1,'SVF::ThreadAPI']]],
+  ['td_5fbar_5finit_5831',['TD_BAR_INIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a4fb99e17bf56ae018448f5f97aa8cda6',1,'SVF::ThreadAPI']]],
+  ['td_5fbar_5fwait_5832',['TD_BAR_WAIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3aa2b2704ecc4c11ec0dbeaf1b22532431',1,'SVF::ThreadAPI']]],
+  ['td_5fcancel_5833',['TD_CANCEL',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3afad2e548ab59646972d8c66e593845cc',1,'SVF::ThreadAPI']]],
+  ['td_5fcond_5fbroadcast_5834',['TD_COND_BROADCAST',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3aa6ee2952d7757b0919f56bd39fd5a93e',1,'SVF::ThreadAPI']]],
+  ['td_5fcond_5fsignal_5835',['TD_COND_SIGNAL',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a01a3b1723176504482b606d8e097949f',1,'SVF::ThreadAPI']]],
+  ['td_5fcond_5fwait_5836',['TD_COND_WAIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3aa8a39bd1bb13292a55dd6168909c872e',1,'SVF::ThreadAPI']]],
+  ['td_5fcondvar_5fdestroy_5837',['TD_CONDVAR_DESTROY',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a9c3f04e71ed64ce8d2862d7a6f39a95b',1,'SVF::ThreadAPI']]],
+  ['td_5fcondvar_5fini_5838',['TD_CONDVAR_INI',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a1f921d7369e3a00a77394640f887c7ff',1,'SVF::ThreadAPI']]],
+  ['td_5fdetach_5839',['TD_DETACH',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a0b558cf037397818414cac2f7c87ab08',1,'SVF::ThreadAPI']]],
+  ['td_5fdummy_5840',['TD_DUMMY',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a5953e882e253807e49aa229e64e001b8',1,'SVF::ThreadAPI']]],
+  ['td_5fexit_5841',['TD_EXIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3af3a3036705ecca40cf170d12d0ccf4dc',1,'SVF::ThreadAPI']]],
+  ['td_5ffork_5842',['TD_FORK',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a9a40948eeab9b022957ae33715ee83da',1,'SVF::ThreadAPI']]],
+  ['td_5fjoin_5843',['TD_JOIN',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a9efe9b72a2520e1fae3cae1e747e3134',1,'SVF::ThreadAPI']]],
+  ['td_5fmutex_5fdestroy_5844',['TD_MUTEX_DESTROY',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a91db238366fcdcd65bd7710882c8716f',1,'SVF::ThreadAPI']]],
+  ['td_5fmutex_5fini_5845',['TD_MUTEX_INI',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3abb17ca545bd259f16a36a2d2af43948b',1,'SVF::ThreadAPI']]],
+  ['td_5frelease_5846',['TD_RELEASE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3ac826e1e1c43305a3abcfdc9a2169b8dd',1,'SVF::ThreadAPI']]],
+  ['td_5ftry_5facquire_5847',['TD_TRY_ACQUIRE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3ab7ea623d48ae64aa09ab49deebbb7113',1,'SVF::ThreadAPI']]],
+  ['td_5ftype_5848',['TD_TYPE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3',1,'SVF::ThreadAPI']]],
+  ['tdalive_5849',['TDAlive',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631a2abecc56b7d5c644f7e14c98d33d0a0a',1,'SVF::ForkJoinAnalysis']]],
+  ['tdapi_5850',['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_5851',['tdAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec',1,'SVF::SaberCheckerAPI::tdAPIMap()'],['../classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c',1,'SVF::ThreadAPI::tdAPIMap()'],['../classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2',1,'SVF::SaberCheckerAPI::TDAPIMap()'],['../classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144',1,'SVF::ThreadAPI::TDAPIMap()']]],
+  ['tddead_5852',['TDDead',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4',1,'SVF::ForkJoinAnalysis']]],
+  ['tdforkedge_5853',['TDForkEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7af32caf15ca19d512b5183bcf0d859cd7',1,'SVF::PTACallGraphEdge']]],
+  ['tdforkpe_5854',['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_5855',['TDJoinEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7a2d65840140263a0808f5b9d553a4bff5',1,'SVF::PTACallGraphEdge']]],
+  ['tdjoinpe_5856',['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_5857',['TDLocked',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791a2709e7eb7ea9829c7e649e6dd86d6a48',1,'SVF::LockAnalysis']]],
+  ['tdunlocked_5858',['TDUnlocked',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791ac531588e8556653306e03ccaacb83dac',1,'SVF::LockAnalysis']]],
+  ['template_5859',['TEMPLATE',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc',1,'SVF::DCHNode::TEMPLATE()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d',1,'SVF::CHNode::TEMPLATE()']]],
+  ['templatenametoinstancesmap_5860',['templateNameToInstancesMap',['../classSVF_1_1CHGraph.html#acd022005e2191bc3bcb265805abee4f8',1,'SVF::CHGraph']]],
+  ['teq_5861',['teq',['../classSVF_1_1DCHGraph.html#acb76ab20da1bfbec00f63d08e48cbddd',1,'SVF::DCHGraph']]],
+  ['terminals_5862',['terminals',['../classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a',1,'SVF::GrammarBase']]],
+  ['terminator_5863',['terminator',['../classSVF_1_1SVFInstruction.html#ab092c00376cf697bc4a3b7baa9f3a2f3',1,'SVF::SVFInstruction']]],
+  ['test_5864',['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_5865',['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()']]],
+  ['test_5fprint_5866',['test_print',['../classSymblicAbstractionTest.html#a99d94e268fb6e622a85a9acae737fd6f',1,'SymblicAbstractionTest']]],
+  ['testindcallreachability_5867',['testIndCallReachability',['../classSVF_1_1ContextDDA.html#a05ac33ca33efb58099839f72050bb008',1,'SVF::ContextDDA::testIndCallReachability()'],['../classSVF_1_1FlowDDA.html#ae48534b36222578855708c298f81f554',1,'SVF::FlowDDA::testIndCallReachability()']]],
+  ['testoutofbudget_5868',['testOutOfBudget',['../classSVF_1_1DDAVFSolver.html#a3fb52286c5324ea3d58e22c630b307e3',1,'SVF::DDAVFSolver']]],
+  ['testrelexestate1_5f1_5869',['testRelExeState1_1',['../classSymblicAbstractionTest.html#acc4852ec2f03ec67e39c67629275cdf5',1,'SymblicAbstractionTest']]],
+  ['testrelexestate1_5f2_5870',['testRelExeState1_2',['../classSymblicAbstractionTest.html#a0316fb86d1751ecacf5845ca07764f40',1,'SymblicAbstractionTest']]],
+  ['testrelexestate2_5f1_5871',['testRelExeState2_1',['../classSymblicAbstractionTest.html#a32fbde1fbb997be55abfdc308de68fc1',1,'SymblicAbstractionTest']]],
+  ['testrelexestate2_5f2_5872',['testRelExeState2_2',['../classSymblicAbstractionTest.html#a40b9879a5465f960bbd4fad6654304aa',1,'SymblicAbstractionTest']]],
+  ['testrelexestate2_5f3_5873',['testRelExeState2_3',['../classSymblicAbstractionTest.html#a7c319b15dd3bd82a7c805ba6dd60beab',1,'SymblicAbstractionTest']]],
+  ['testrelexestate2_5f4_5874',['testRelExeState2_4',['../classSymblicAbstractionTest.html#a2e3d2a2d9a78fffa641523a2e4809c02',1,'SymblicAbstractionTest']]],
+  ['testrelexestate2_5f5_5875',['testRelExeState2_5',['../classSymblicAbstractionTest.html#aaba97f696f9518c31af8ace984b39bcf',1,'SymblicAbstractionTest']]],
+  ['testrelexestate3_5f1_5876',['testRelExeState3_1',['../classSymblicAbstractionTest.html#ac3016e7a57f46af01d20de7e785a4cce',1,'SymblicAbstractionTest']]],
+  ['testrelexestate3_5f2_5877',['testRelExeState3_2',['../classSymblicAbstractionTest.html#a56541a5e9bc61f092ee3c48700f00bf7',1,'SymblicAbstractionTest']]],
+  ['testrelexestate3_5f3_5878',['testRelExeState3_3',['../classSymblicAbstractionTest.html#a7c87dfedc9c7b32df42f14334bc732b0',1,'SymblicAbstractionTest']]],
+  ['testrelexestate3_5f4_5879',['testRelExeState3_4',['../classSymblicAbstractionTest.html#ae7b7853f6a6a3cbc2c04d3dfea83ad43',1,'SymblicAbstractionTest']]],
+  ['testrelexestate4_5f1_5880',['testRelExeState4_1',['../classSymblicAbstractionTest.html#a986b2278abd2ee64507fa769a66c999c',1,'SymblicAbstractionTest']]],
+  ['testsvalidation_5881',['testsValidation',['../classSymblicAbstractionTest.html#a66155c2b52131a7782382d8e5da560fc',1,'SymblicAbstractionTest::testsValidation()'],['../classSVF_1_1DoubleFreeChecker.html#a06cf937c92c88627796f09b0a87a5263',1,'SVF::DoubleFreeChecker::testsValidation()'],['../classSVF_1_1LeakChecker.html#aaf5d098e0d08929a108fb59bff46e424',1,'SVF::LeakChecker::testsValidation()']]],
+  ['tgoto_5882',['tgoto',['../extapi_8c.html#a2ef27396e2742b0ab682b27153d1a0e3',1,'extapi.c']]],
+  ['thdcallgraph_5883',['ThdCallGraph',['../classSVF_1_1PTACallGraph.html#a5b1fe2b2314db947cd5e709b7285fe1ca4fe819bb1488afc48b04c1b7bef04bc2',1,'SVF::PTACallGraph']]],
+  ['theadmhpindirectvf_5884',['TheadMHPIndirectVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aae3168b6bc9141e4a1f3723eae4f3375',1,'SVF::VFGEdge']]],
+  ['theoreticalnumwords_5885',['TheoreticalNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a2a70b98363303cb33d96732f44b4c5c3',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['threadapi_5886',['ThreadAPI',['../classSVF_1_1ThreadAPI.html',1,'SVF::ThreadAPI'],['../classSVF_1_1ThreadAPI.html#a9c5ea333cc420bc3b8d8765c664ab128',1,'SVF::ThreadAPI::ThreadAPI()']]],
+  ['threadapi_2ecpp_5887',['ThreadAPI.cpp',['../ThreadAPI_8cpp.html',1,'']]],
+  ['threadapi_2eh_5888',['ThreadAPI.h',['../ThreadAPI_8h.html',1,'']]],
+  ['threadapi_5fcpp_5f_5889',['THREADAPI_CPP_',['../ThreadAPI_8cpp.html#a2edb48ac961ebb1eb8937424c6b273f1',1,'ThreadAPI.cpp']]],
+  ['threadcallgraph_5890',['ThreadCallGraph',['../classSVF_1_1ThreadCallGraph.html',1,'SVF::ThreadCallGraph'],['../classSVF_1_1ThreadCallGraph.html#a09946f39049bad87401b6e1567a7fb19',1,'SVF::ThreadCallGraph::ThreadCallGraph()']]],
+  ['threadcallgraph_2ecpp_5891',['ThreadCallGraph.cpp',['../ThreadCallGraph_8cpp.html',1,'']]],
+  ['threadcallgraph_2eh_5892',['ThreadCallGraph.h',['../ThreadCallGraph_8h.html',1,'']]],
+  ['threadcallgraphbuilder_5893',['ThreadCallGraphBuilder',['../classSVF_1_1ThreadCallGraphBuilder.html',1,'SVF::ThreadCallGraphBuilder'],['../classSVF_1_1ThreadCallGraphBuilder.html#afaf36ca5ff95c90f27424564d60e2c1c',1,'SVF::ThreadCallGraphBuilder::ThreadCallGraphBuilder()']]],
+  ['threadcallgraphscc_5894',['ThreadCallGraphSCC',['../classSVF_1_1TCT.html#a71942c7386d094426ae86633a9b1f755',1,'SVF::TCT']]],
+  ['threadcreateedge_5895',['ThreadCreateEdge',['../classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494fac7915e379517d9d17b770540adb577c8',1,'SVF::TCTEdge']]],
+  ['threadcreateedgeset_5896',['ThreadCreateEdgeSet',['../classSVF_1_1TCTEdge.html#aecd13905b54ae91d938b610be828deb5',1,'SVF::TCTEdge::ThreadCreateEdgeSet()'],['../classSVF_1_1TCT.html#a7c53c7ff773a253976374392d4930d6e',1,'SVF::TCT::ThreadCreateEdgeSet()']]],
+  ['threadfork_5897',['ThreadFork',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd',1,'SVF::SVFStmt']]],
+  ['threadforkedge_5898',['ThreadForkEdge',['../classSVF_1_1ThreadForkEdge.html',1,'SVF::ThreadForkEdge'],['../classSVF_1_1ThreadForkEdge.html#ae55b3e06b3ed22780d917dbb225561c1',1,'SVF::ThreadForkEdge::ThreadForkEdge()']]],
+  ['threadid_5899',['ThreadID',['../namespaceSVF.html#a10cddb090690c82a2aab31a480253d35',1,'SVF']]],
+  ['threadjoin_5900',['ThreadJoin',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0',1,'SVF::SVFStmt']]],
+  ['threadjoinedge_5901',['ThreadJoinEdge',['../classSVF_1_1ThreadJoinEdge.html',1,'SVF::ThreadJoinEdge'],['../classSVF_1_1ThreadJoinEdge.html#abacb4b5e4badee46f9517b2d84798a3e',1,'SVF::ThreadJoinEdge::ThreadJoinEdge()']]],
+  ['threadmhpindsvfgedge_5902',['ThreadMHPIndSVFGEdge',['../classSVF_1_1ThreadMHPIndSVFGEdge.html',1,'SVF::ThreadMHPIndSVFGEdge'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#ac5055bd4ff42476915b5d02ba4f1986b',1,'SVF::ThreadMHPIndSVFGEdge::ThreadMHPIndSVFGEdge()']]],
+  ['threadpairset_5903',['ThreadPairSet',['../classSVF_1_1ForkJoinAnalysis.html#a7fb8df483e619337e77088e8543a9846',1,'SVF::ForkJoinAnalysis']]],
+  ['threadstmttointerleaving_5904',['threadStmtToInterLeaving',['../classSVF_1_1MTAResultValidator.html#ac4a7773211a9c842639ac25b1a504c7e',1,'SVF::MTAResultValidator']]],
+  ['threadstmttotheadinterleav_5905',['threadStmtToTheadInterLeav',['../classSVF_1_1MHP.html#afcfc409e625b74cbefd240170627c541',1,'SVF::MHP']]],
+  ['threadstmttothreadinterleav_5906',['ThreadStmtToThreadInterleav',['../classSVF_1_1MHP.html#ac30f283cb2ad020a054ee6525ca94025',1,'SVF::MHP']]],
+  ['tid_5907',['tid',['../classSVF_1_1CxtThreadStmt.html#ad96bacc3de1ce576ad397d19aa99a269',1,'SVF::CxtThreadStmt::tid()'],['../classSVF_1_1CxtThreadProc.html#a99b24e1be2bfb49569532c2c28c68969',1,'SVF::CxtThreadProc::tid()']]],
+  ['time_5908',['time',['../classSVF_1_1SVFBugReport.html#a529dfbc5ea68061897e84af9cf248bcf',1,'SVF::SVFBugReport']]],
+  ['timeinterval_5909',['TIMEINTERVAL',['../SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736',1,'SVFType.h']]],
+  ['timelimitreached_5910',['timeLimitReached',['../namespaceSVF_1_1SVFUtil.html#add4cd21115988f9f5eec12e268ddf1d9',1,'SVF::SVFUtil']]],
+  ['timeofbuildcflgrammar_5911',['timeOfBuildCFLGrammar',['../classSVF_1_1CFLBase.html#a0d3217f4c3796b58a98add5c92298ad2',1,'SVF::CFLBase']]],
+  ['timeofbuildcflgraph_5912',['timeOfBuildCFLGraph',['../classSVF_1_1CFLBase.html#a9453bf479ccd00bacb3b371fa6383a9c',1,'SVF::CFLBase']]],
+  ['timeofbuildingllvmmodule_5913',['timeOfBuildingLLVMModule',['../classSVF_1_1SVFStat.html#aa4950ec26b66a085ad38ac154b789db5',1,'SVF::SVFStat']]],
+  ['timeofbuildingsvfir_5914',['timeOfBuildingSVFIR',['../classSVF_1_1SVFStat.html#aea75388c973674686d1f2b7498b4095c',1,'SVF::SVFStat']]],
+  ['timeofbuildingsymboltable_5915',['timeOfBuildingSymbolTable',['../classSVF_1_1SVFStat.html#ae89293bc063bdc74a988e9c37c70321e',1,'SVF::SVFStat']]],
+  ['timeofcollapse_5916',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
+  ['timeofcreatemuchi_5917',['TimeOfCreateMUCHI',['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()'],['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()']]],
+  ['timeofgeneratingmemregions_5918',['timeOfGeneratingMemRegions',['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()']]],
+  ['timeofinsertingphi_5919',['TimeOfInsertingPHI',['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()'],['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()']]],
+  ['timeofnormalizegrammar_5920',['timeOfNormalizeGrammar',['../classSVF_1_1CFLBase.html#ad4d65dd4c3e173d014199ac6b08a5261',1,'SVF::CFLBase']]],
+  ['timeofprocesscopygep_5921',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
+  ['timeofprocessloadstore_5922',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
+  ['timeofsccdetection_5923',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
+  ['timeofsccmerges_5924',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
+  ['timeofsolving_5925',['timeOfSolving',['../classSVF_1_1CFLBase.html#a88e40af43705550a78837b8589bbf3f8',1,'SVF::CFLBase']]],
+  ['timeofssarenaming_5926',['TimeOfSSARenaming',['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()'],['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()']]],
+  ['timeofupdatecallgraph_5927',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
+  ['timeout_5928',['Timeout',['../classSVF_1_1Options.html#a4a4eed0841c46f89f1b408e5789e114b',1,'SVF::Options']]],
+  ['timestatmap_5929',['timeStatMap',['../classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831',1,'SVF::SVFStat::timeStatMap()'],['../classSVF_1_1SVFStat.html#a8bb01becef1eb8d6113d946d29d904bd',1,'SVF::SVFStat::TIMEStatMap()']]],
+  ['tinterphi_5930',['TInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69',1,'SVF::VFGNode']]],
+  ['tintraphi_5931',['TIntraPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727',1,'SVF::VFGNode']]],
+  ['tlptdata_5932',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],
+  ['tlvfnodeend_5933',['TLVFNodeEnd',['../classSVF_1_1SVFGStat.html#a17e479f0258291998369a2eb325ba3d7',1,'SVF::SVFGStat']]],
+  ['tlvfnodestart_5934',['TLVFNodeStart',['../classSVF_1_1SVFGStat.html#a2e4aac52fdc2fd119847afbeba634de9',1,'SVF::SVFGStat']]],
+  ['tmpnam_5fr_5935',['tmpnam_r',['../extapi_8c.html#a0d302127bd577711c2af50614667171e',1,'extapi.c']]],
+  ['to_5fstring_5936',['to_string',['../classSVF_1_1NumericLiteral.html#ac154ddeb6516e240e091f4867c4c3593',1,'SVF::NumericLiteral::to_string()'],['../classSVF_1_1Z3Expr.html#a1da8e647e12c0e105271eadbd72f437e',1,'SVF::Z3Expr::to_string()']]],
+  ['tojson_5937',['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_5938',['toNodeBS',['../classSVF_1_1PointsTo.html#ad1d19d52800341484a136c6d5e0112ea',1,'SVF::PointsTo']]],
+  ['top_5939',['top',['../classSVF_1_1AbstractState.html#ac34dc4e111967507950bd5afe4a59ea0',1,'SVF::AbstractState::top()'],['../classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b',1,'SVF::IntervalValue::top()']]],
+  ['toponodestack_5940',['topoNodeStack',['../classSVF_1_1SCCDetection.html#a6502c0a765ac1653474ffee651949f93',1,'SVF::SCCDetection']]],
+  ['tostring_5941',['toString',['../classSVF_1_1AbstractState.html#a7c802c006225a50b1d83b5f78d0891fa',1,'SVF::AbstractState::toString()'],['../structSVF_1_1AbstractValue.html#a998b5052a94a9621dc83483b8866bbbc',1,'SVF::AbstractValue::toString()'],['../classSVF_1_1AddressValue.html#a25db03df057262182a42cc394f0c7e1d',1,'SVF::AddressValue::toString()'],['../classSVF_1_1IntervalValue.html#a5d73cc2aa0a6ed49e8301fa7b0cd5045',1,'SVF::IntervalValue::toString()'],['../classSVF_1_1CDGEdge.html#a1beaf9451e4e535841384cebd26b26c8',1,'SVF::CDGEdge::toString()'],['../classSVF_1_1CDGNode.html#aab6b96ba8af1b8d1ae653fd73e4b86a3',1,'SVF::CDGNode::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_1WTOCycleDepth.html#a275559cdb0fea5d06b1516c4c49da0ae',1,'SVF::WTOCycleDepth::toString()'],['../classSVF_1_1WTOComponent.html#a149bad69eb00f216887a42ae0fb518fc',1,'SVF::WTOComponent::toString()'],['../classSVF_1_1WTONode.html#a9afd271657066e8f3e3ed79397780e91',1,'SVF::WTONode::toString()'],['../classSVF_1_1WTOCycle.html#a5ecefd827cf83b86839fb3ac300f86b7',1,'SVF::WTOCycle::toString()'],['../classSVF_1_1WTO.html#a2245875350c4a72f826d998f02f5e796',1,'SVF::WTO::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_5942',['totalCallSiteNum',['../classSVF_1_1PTACallGraph.html#a276338e88cc286f6a1808b1fcdf74d9a',1,'SVF::PTACallGraph']]],
+  ['totalcomplements_5943',['totalComplements',['../classSVF_1_1PersistentPointsToCache.html#a6d52fb93d22b2ce3e4e4acbdd82b88b0',1,'SVF::PersistentPointsToCache']]],
+  ['totalcondnum_5944',['totalCondNum',['../classSVF_1_1SaberCondAllocator.html#a76fad4d58db94d7c572876ba6f1adf83',1,'SVF::SaberCondAllocator']]],
+  ['totaldircalledge_5945',['totalDirCallEdge',['../classSVF_1_1SVFGStat.html#a1e93c866f3d780cb1cfdaf1dd143ea24',1,'SVF::SVFGStat']]],
+  ['totaldirretedge_5946',['totalDirRetEdge',['../classSVF_1_1SVFGStat.html#a63bd38fa93d665037932bcda3cc342c6',1,'SVF::SVFGStat']]],
+  ['totaledgenum_5947',['totalEdgeNum',['../classSVF_1_1SVFStmt.html#af1a9c2a18805560e46425bd98a35dea9',1,'SVF::SVFStmt']]],
+  ['totalicfgnode_5948',['totalICFGNode',['../classSVF_1_1ICFG.html#a5df6061b65d021cd73c66592ec79f052',1,'SVF::ICFG']]],
+  ['totalindcalledge_5949',['totalIndCallEdge',['../classSVF_1_1SVFGStat.html#a0f37f7f530e3fd494c9d6bb477ca68d5',1,'SVF::SVFGStat']]],
+  ['totalindedgelabels_5950',['totalIndEdgeLabels',['../classSVF_1_1SVFGStat.html#a0a39eb7aab584cc285c32545ddb57ad8',1,'SVF::SVFGStat']]],
+  ['totalindinedge_5951',['totalIndInEdge',['../classSVF_1_1SVFGStat.html#a8cd6254435994d9aea27b5519491fc6a',1,'SVF::SVFGStat']]],
+  ['totalindoutedge_5952',['totalIndOutEdge',['../classSVF_1_1SVFGStat.html#a982ce49695344bcde4cbbb445de69c8d',1,'SVF::SVFGStat']]],
+  ['totalindretedge_5953',['totalIndRetEdge',['../classSVF_1_1SVFGStat.html#afd0f43a7d7138a8013930fd103ce7c47',1,'SVF::SVFGStat']]],
+  ['totalinedge_5954',['totalInEdge',['../classSVF_1_1SVFGStat.html#a7929d8ba565ecb04efd236ccb19a4658',1,'SVF::SVFGStat']]],
+  ['totalintersections_5955',['totalIntersections',['../classSVF_1_1PersistentPointsToCache.html#a099c2319277797ac96aeee859ded9b22',1,'SVF::PersistentPointsToCache']]],
+  ['totalkind_5956',['totalKind',['../classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f',1,'SVF::GrammarBase']]],
+  ['totalmrnum_5957',['totalMRNum',['../classSVF_1_1MemRegion.html#a23857f301395cbbad10f6f93256a7398',1,'SVF::MemRegion']]],
+  ['totaloutedge_5958',['totalOutEdge',['../classSVF_1_1SVFGStat.html#a18211427d08f70d252512d387763ce4a',1,'SVF::SVFGStat']]],
+  ['totalptapagedge_5959',['totalPTAPAGEdge',['../classSVF_1_1IRGraph.html#a9f68ffe75e3d9457092ac2368aa08a27',1,'SVF::IRGraph']]],
+  ['totalsymnum_5960',['totalSymNum',['../classSVF_1_1SymbolTableInfo.html#a125faa0295b38d027b35bc3d76b3afdd',1,'SVF::SymbolTableInfo']]],
+  ['totaltime_5961',['TotalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afef85f0ecacd681357b3945f97d52964',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['totaltimeofconstructmemssa_5962',['TotalTimeOfConstructMemSSA',['../classSVF_1_1MemSSAStat.html#a7dd7e6af850b9d724ea580450bfd3afd',1,'SVF::MemSSAStat']]],
+  ['totalunions_5963',['totalUnions',['../classSVF_1_1PersistentPointsToCache.html#a7a1c296f9c2dfd49e5b60f52fb1901c2',1,'SVF::PersistentPointsToCache']]],
+  ['totalvernum_5964',['totalVERNum',['../classSVF_1_1MRVer.html#ad746973fdd724b71ebb251eb6930fccc',1,'SVF::MRVer']]],
+  ['totalvfgnode_5965',['totalVFGNode',['../classSVF_1_1VFG.html#acb181d4f9faa40578c80e2018e2742b8',1,'SVF::VFG']]],
+  ['touchcxtstmt_5966',['touchCxtStmt',['../classSVF_1_1LockAnalysis.html#aaa0f33f19d9f80eee98289119ba907d2',1,'SVF::LockAnalysis']]],
+  ['toz3expr_5967',['toZ3Expr',['../classSVF_1_1RelationSolver.html#af621897ab66f6475d5ee043ef2e33623',1,'SVF::RelationSolver::toZ3Expr()'],['../classSVF_1_1RelExeState.html#a8045abc5e96d0c7b373587c796180d3e',1,'SVF::RelExeState::toZ3Expr()']]],
+  ['tparm_5968',['tparm',['../extapi_8c.html#ac94fb461ca9c5d62db380781a58a7f82',1,'extapi.c']]],
+  ['tphi_5969',['TPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac0bc801ca111129101616fbd39cce950',1,'SVF::VFGNode']]],
+  ['tracememoryallocationsize_5970',['traceMemoryAllocationSize',['../classSVF_1_1AbstractInterpretation.html#ac9e8bc430cd530e47811e28f5a9fe963',1,'SVF::AbstractInterpretation']]],
+  ['trailingzeroscounter_5971',['TrailingZerosCounter',['../structSVF_1_1TrailingZerosCounter.html',1,'SVF']]],
+  ['traversedendrogram_5972',['traverseDendrogram',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#abd44e3b07b0482bacf6b1a080fe650c6',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['traverseonicfg_5973',['traverseOnICFG',['../svf-ex_8cpp.html#a19f3fe331a1e7050a513672a91743b96',1,'svf-ex.cpp']]],
+  ['traverseonsvfstmt_5974',['traverseOnSVFStmt',['../svf-ex_8cpp.html#a8fa9e6583c354b1883a32b8abf98779f',1,'svf-ex.cpp']]],
+  ['traverseonvfg_5975',['traverseOnVFG',['../svf-ex_8cpp.html#a46d99c4d06304a22985a1e7bf04b3e2d',1,'svf-ex.cpp']]],
+  ['treenode_5976',['TreeNode',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html',1,'SVF::POCRHybridSolver::TreeNode'],['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a2bedc69e7062cf96058395d3f7ebd030',1,'SVF::POCRHybridSolver::TreeNode::TreeNode()']]],
+  ['true_5977',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true(): cJSON.cpp'],['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true(): cJSON.cpp']]],
+  ['trunc_5978',['TRUNC',['../classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1ab2b2f7dffed3d446a147fc7a27e66dd8',1,'SVF::CopyStmt']]],
+  ['twopi_5979',['TWOPI',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac6a6eaaa34322cf54953ba390895f0c5',1,'SVF::GraphProgram']]],
+  ['type_5980',['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()'],['../structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613',1,'SVF::AbstractValue::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_5981',['Type2TypeInfo',['../classSVF_1_1LLVMModuleSet.html#af2c555af91679d9e6d3009547ee11486',1,'SVF::LLVMModuleSet']]],
+  ['type2typeinfomap_5982',['Type2TypeInfoMap',['../classSVF_1_1LLVMModuleSet.html#a3c2eb10a20604bf794d2d10f2cffb116',1,'SVF::LLVMModuleSet']]],
+  ['type_5fdebug_5983',['TYPE_DEBUG',['../ObjTypeInference_8cpp.html#a8e62b6cad2019cc242c6fa579bae4988',1,'ObjTypeInference.cpp']]],
+  ['typeanalysis_5984',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html',1,'SVF::TypeAnalysis'],['../classSVF_1_1TypeAnalysis.html#aaec66fea631bfe00064182e17dfb9db3',1,'SVF::TypeAnalysis::TypeAnalysis()']]],
+  ['typeanalysis_2ecpp_5985',['TypeAnalysis.cpp',['../TypeAnalysis_8cpp.html',1,'']]],
+  ['typeanalysis_2eh_5986',['TypeAnalysis.h',['../TypeAnalysis_8h.html',1,'']]],
+  ['typeandinfoflag_5987',['typeAndInfoFlag',['../classSVF_1_1SVFBugEvent.html#a33496918c5f2adaf48a64f39d9c49567',1,'SVF::SVFBugEvent']]],
+  ['typebasedheapcloning_5988',['TypeBasedHeapCloning',['../classSVF_1_1SVFIR.html#ac7f1349df526a5a50741e9303f3bd446',1,'SVF::SVFIR']]],
+  ['typecpp_5fwpa_5989',['TypeCPP_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85acc2e7cbdd04a614a3b6189d2f01042f3',1,'SVF::PointerAnalysis']]],
+  ['typedefs_5990',['typedefs',['../classSVF_1_1DCHNode.html#abafa483be12690549fbcccaf4c3fa511',1,'SVF::DCHNode']]],
+  ['typeinference_5991',['typeInference',['../classSVF_1_1LLVMModuleSet.html#a2eb76d2c787a9a02f7d37c790d647e9c',1,'SVF::LLVMModuleSet']]],
+  ['typeinfo_5992',['typeinfo',['../classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e',1,'SVF::SVFType::typeinfo()'],['../classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf',1,'SVF::MemObj::typeInfo()']]],
+  ['typelocsetsmap_5993',['typeLocSetsMap',['../classSVF_1_1SVFIR.html#a63ede1d8d381b91f81b93965dcffa288',1,'SVF::SVFIR::typeLocSetsMap()'],['../classSVF_1_1SVFIR.html#ad74ca54e6d62d4410038ef900ea8f150',1,'SVF::SVFIR::TypeLocSetsMap()']]],
+  ['typemalloc_5994',['TYPEMALLOC',['../ObjTypeInference_8cpp.html#a5f334de99eb942058f27a1025c346f70',1,'ObjTypeInference.cpp']]],
+  ['typemap_5995',['TypeMap',['../classSVF_1_1POCRSolver.html#ac4d92529d21db89c547e20e886060b0f',1,'SVF::POCRSolver']]],
+  ['typename_5996',['typeName',['../classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc',1,'SVF::DCHNode']]],
+  ['typeofelement_5997',['typeOfElement',['../classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a',1,'SVF::SVFArrayType']]],
+  ['typeprint_5998',['TypePrint',['../classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd',1,'SVF::Options']]],
+  ['typesizedifftest_5999',['typeSizeDiffTest',['../classSVF_1_1ObjTypeInference.html#a99eaaef89f214fc8587349361600b44d',1,'SVF::ObjTypeInference']]]
 ];