svf-tools 1.0.905 → 1.0.907

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

@@ -1,211 +1,209 @@
 var searchData=
 [
-  ['tail_5874',['tail',['../classSVF_1_1List.html#a7900b03bc65b9f8d3e7e5bb1a80a4125',1,'SVF::List']]],
-  ['tailmap_5875',['tailmap',['../classSVF_1_1MTASVFGBuilder.html#ad55a5f1e1f6d8e99fc0be5b85bbf8599',1,'SVF::MTASVFGBuilder']]],
-  ['taintsvfgbuilder_5876',['TaintSVFGBuilder',['../classSVF_1_1SVFG.html#a665c93b68f49078c281270a028d04445',1,'SVF::SVFG']]],
-  ['tcg_5877',['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_5878',['tcgSCC',['../classSVF_1_1TCT.html#a30662928bafc97c1e7b123270ca69980',1,'SVF::TCT']]],
-  ['tct_5879',['TCT',['../classSVF_1_1TCT.html',1,'SVF::TCT'],['../classSVF_1_1TCT.html#a8eaa746805b0afc17329d0ba4ad6a887',1,'SVF::TCT::TCT()'],['../classSVF_1_1LockAnalysis.html#a2c4a69b0f2381142c172b3043943c79d',1,'SVF::LockAnalysis::tct()'],['../classSVF_1_1MHP.html#a176eefb65e4ba99ee70513c8add44176',1,'SVF::MHP::tct()'],['../classSVF_1_1ForkJoinAnalysis.html#a2c6ce7aa04c399746d89230be0e0f1ce',1,'SVF::ForkJoinAnalysis::tct()'],['../classSVF_1_1MTA.html#a3f5c5c6689491beb8edfa25c0ad871d9',1,'SVF::MTA::tct()']]],
-  ['tct_2ecpp_5880',['TCT.cpp',['../TCT_8cpp.html',1,'']]],
-  ['tct_2eh_5881',['TCT.h',['../TCT_8h.html',1,'']]],
-  ['tct_5faccess_5882',['TCT_ACCESS',['../classSVF_1_1MTAResultValidator.html#a8ccc7c66b6744622b8a79b371d7b2b66',1,'SVF::MTAResultValidator']]],
-  ['tctdotgraph_5883',['TCTDotGraph',['../classSVF_1_1Options.html#adceab9fa76c438b8e5e83dd6042523ce',1,'SVF::Options']]],
-  ['tctedge_5884',['TCTEdge',['../classSVF_1_1TCTEdge.html',1,'SVF::TCTEdge'],['../classSVF_1_1TCTEdge.html#a2e0ee6eeade83aee75d65080e976fca4',1,'SVF::TCTEdge::TCTEdge()']]],
-  ['tctedgenum_5885',['TCTEdgeNum',['../classSVF_1_1TCT.html#a862899f2e5fb35920adf8e763e1dba57',1,'SVF::TCT']]],
-  ['tctnode_5886',['TCTNode',['../classSVF_1_1TCTNode.html',1,'SVF::TCTNode'],['../classSVF_1_1TCTNode.html#afdb40d78890c84d47441ade941a6d8c6',1,'SVF::TCTNode::TCTNode()']]],
-  ['tctnodeiter_5887',['TCTNodeIter',['../classSVF_1_1TCT.html#a6f4ab4fb901620c733d90b380c9db670',1,'SVF::TCT']]],
-  ['tctnodenum_5888',['TCTNodeNum',['../classSVF_1_1TCT.html#a52e3759054281c1ca1ccde07a9af1799',1,'SVF::TCT']]],
-  ['tcttime_5889',['TCTTime',['../classSVF_1_1MTAStat.html#a3298dd910e731fdabc87bbcf65371a4a',1,'SVF::MTAStat']]],
-  ['td_5facquire_5890',['TD_ACQUIRE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a5bda6aca46dfc712f3781b4732a373a3',1,'SVF::ThreadAPI']]],
-  ['td_5fbar_5finit_5891',['TD_BAR_INIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a4fb99e17bf56ae018448f5f97aa8cda6',1,'SVF::ThreadAPI']]],
-  ['td_5fbar_5fwait_5892',['TD_BAR_WAIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3aa2b2704ecc4c11ec0dbeaf1b22532431',1,'SVF::ThreadAPI']]],
-  ['td_5fcancel_5893',['TD_CANCEL',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3afad2e548ab59646972d8c66e593845cc',1,'SVF::ThreadAPI']]],
-  ['td_5fcond_5fbroadcast_5894',['TD_COND_BROADCAST',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3aa6ee2952d7757b0919f56bd39fd5a93e',1,'SVF::ThreadAPI']]],
-  ['td_5fcond_5fsignal_5895',['TD_COND_SIGNAL',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a01a3b1723176504482b606d8e097949f',1,'SVF::ThreadAPI']]],
-  ['td_5fcond_5fwait_5896',['TD_COND_WAIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3aa8a39bd1bb13292a55dd6168909c872e',1,'SVF::ThreadAPI']]],
-  ['td_5fcondvar_5fdestroy_5897',['TD_CONDVAR_DESTROY',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a9c3f04e71ed64ce8d2862d7a6f39a95b',1,'SVF::ThreadAPI']]],
-  ['td_5fcondvar_5fini_5898',['TD_CONDVAR_INI',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a1f921d7369e3a00a77394640f887c7ff',1,'SVF::ThreadAPI']]],
-  ['td_5fdetach_5899',['TD_DETACH',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a0b558cf037397818414cac2f7c87ab08',1,'SVF::ThreadAPI']]],
-  ['td_5fdummy_5900',['TD_DUMMY',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a5953e882e253807e49aa229e64e001b8',1,'SVF::ThreadAPI']]],
-  ['td_5fexit_5901',['TD_EXIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3af3a3036705ecca40cf170d12d0ccf4dc',1,'SVF::ThreadAPI']]],
-  ['td_5ffork_5902',['TD_FORK',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a9a40948eeab9b022957ae33715ee83da',1,'SVF::ThreadAPI']]],
-  ['td_5fjoin_5903',['TD_JOIN',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a9efe9b72a2520e1fae3cae1e747e3134',1,'SVF::ThreadAPI']]],
-  ['td_5fmutex_5fdestroy_5904',['TD_MUTEX_DESTROY',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a91db238366fcdcd65bd7710882c8716f',1,'SVF::ThreadAPI']]],
-  ['td_5fmutex_5fini_5905',['TD_MUTEX_INI',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3abb17ca545bd259f16a36a2d2af43948b',1,'SVF::ThreadAPI']]],
-  ['td_5frelease_5906',['TD_RELEASE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3ac826e1e1c43305a3abcfdc9a2169b8dd',1,'SVF::ThreadAPI']]],
-  ['td_5ftry_5facquire_5907',['TD_TRY_ACQUIRE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3ab7ea623d48ae64aa09ab49deebbb7113',1,'SVF::ThreadAPI']]],
-  ['td_5ftype_5908',['TD_TYPE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3',1,'SVF::ThreadAPI']]],
-  ['tdalive_5909',['TDAlive',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631a2abecc56b7d5c644f7e14c98d33d0a0a',1,'SVF::ForkJoinAnalysis']]],
-  ['tdapi_5910',['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_5911',['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_5912',['TDDead',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4',1,'SVF::ForkJoinAnalysis']]],
-  ['tdforkedge_5913',['TDForkEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7af32caf15ca19d512b5183bcf0d859cd7',1,'SVF::PTACallGraphEdge']]],
-  ['tdforkpe_5914',['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_5915',['TDJoinEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7a2d65840140263a0808f5b9d553a4bff5',1,'SVF::PTACallGraphEdge']]],
-  ['tdjoinpe_5916',['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_5917',['TDLocked',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791a2709e7eb7ea9829c7e649e6dd86d6a48',1,'SVF::LockAnalysis']]],
-  ['tdunlocked_5918',['TDUnlocked',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791ac531588e8556653306e03ccaacb83dac',1,'SVF::LockAnalysis']]],
-  ['template_5919',['TEMPLATE',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc',1,'SVF::DCHNode::TEMPLATE()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d',1,'SVF::CHNode::TEMPLATE()']]],
-  ['templatenametoinstancesmap_5920',['templateNameToInstancesMap',['../classSVF_1_1CHGraph.html#acd022005e2191bc3bcb265805abee4f8',1,'SVF::CHGraph']]],
-  ['teq_5921',['teq',['../classSVF_1_1DCHGraph.html#acb76ab20da1bfbec00f63d08e48cbddd',1,'SVF::DCHGraph']]],
-  ['terminals_5922',['terminals',['../classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a',1,'SVF::GrammarBase']]],
-  ['terminator_5923',['terminator',['../classSVF_1_1SVFInstruction.html#ab092c00376cf697bc4a3b7baa9f3a2f3',1,'SVF::SVFInstruction']]],
-  ['test_5924',['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_5925',['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_5926',['test_print',['../classSymblicAbstractionTest.html#a99d94e268fb6e622a85a9acae737fd6f',1,'SymblicAbstractionTest']]],
-  ['testindcallreachability_5927',['testIndCallReachability',['../classSVF_1_1ContextDDA.html#a05ac33ca33efb58099839f72050bb008',1,'SVF::ContextDDA::testIndCallReachability()'],['../classSVF_1_1FlowDDA.html#ae48534b36222578855708c298f81f554',1,'SVF::FlowDDA::testIndCallReachability()']]],
-  ['testoutofbudget_5928',['testOutOfBudget',['../classSVF_1_1DDAVFSolver.html#a3fb52286c5324ea3d58e22c630b307e3',1,'SVF::DDAVFSolver']]],
-  ['testrelexestate1_5f1_5929',['testRelExeState1_1',['../classSymblicAbstractionTest.html#acc4852ec2f03ec67e39c67629275cdf5',1,'SymblicAbstractionTest']]],
-  ['testrelexestate1_5f2_5930',['testRelExeState1_2',['../classSymblicAbstractionTest.html#a0316fb86d1751ecacf5845ca07764f40',1,'SymblicAbstractionTest']]],
-  ['testrelexestate2_5f1_5931',['testRelExeState2_1',['../classSymblicAbstractionTest.html#a32fbde1fbb997be55abfdc308de68fc1',1,'SymblicAbstractionTest']]],
-  ['testrelexestate2_5f2_5932',['testRelExeState2_2',['../classSymblicAbstractionTest.html#a40b9879a5465f960bbd4fad6654304aa',1,'SymblicAbstractionTest']]],
-  ['testrelexestate2_5f3_5933',['testRelExeState2_3',['../classSymblicAbstractionTest.html#a7c319b15dd3bd82a7c805ba6dd60beab',1,'SymblicAbstractionTest']]],
-  ['testrelexestate2_5f4_5934',['testRelExeState2_4',['../classSymblicAbstractionTest.html#a2e3d2a2d9a78fffa641523a2e4809c02',1,'SymblicAbstractionTest']]],
-  ['testrelexestate2_5f5_5935',['testRelExeState2_5',['../classSymblicAbstractionTest.html#aaba97f696f9518c31af8ace984b39bcf',1,'SymblicAbstractionTest']]],
-  ['testrelexestate3_5f1_5936',['testRelExeState3_1',['../classSymblicAbstractionTest.html#ac3016e7a57f46af01d20de7e785a4cce',1,'SymblicAbstractionTest']]],
-  ['testrelexestate3_5f2_5937',['testRelExeState3_2',['../classSymblicAbstractionTest.html#a56541a5e9bc61f092ee3c48700f00bf7',1,'SymblicAbstractionTest']]],
-  ['testrelexestate3_5f3_5938',['testRelExeState3_3',['../classSymblicAbstractionTest.html#a7c87dfedc9c7b32df42f14334bc732b0',1,'SymblicAbstractionTest']]],
-  ['testrelexestate3_5f4_5939',['testRelExeState3_4',['../classSymblicAbstractionTest.html#ae7b7853f6a6a3cbc2c04d3dfea83ad43',1,'SymblicAbstractionTest']]],
-  ['testrelexestate4_5f1_5940',['testRelExeState4_1',['../classSymblicAbstractionTest.html#a986b2278abd2ee64507fa769a66c999c',1,'SymblicAbstractionTest']]],
-  ['testsvalidation_5941',['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_5942',['tgoto',['../extapi_8c.html#a2ef27396e2742b0ab682b27153d1a0e3',1,'extapi.c']]],
-  ['thdcallgraph_5943',['ThdCallGraph',['../classSVF_1_1PTACallGraph.html#a5b1fe2b2314db947cd5e709b7285fe1ca4fe819bb1488afc48b04c1b7bef04bc2',1,'SVF::PTACallGraph']]],
-  ['theadmhpindirectvf_5944',['TheadMHPIndirectVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aae3168b6bc9141e4a1f3723eae4f3375',1,'SVF::VFGEdge']]],
-  ['theoreticalnumwords_5945',['TheoreticalNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a2a70b98363303cb33d96732f44b4c5c3',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['threadapi_5946',['ThreadAPI',['../classSVF_1_1ThreadAPI.html',1,'SVF::ThreadAPI'],['../classSVF_1_1ThreadAPI.html#a9c5ea333cc420bc3b8d8765c664ab128',1,'SVF::ThreadAPI::ThreadAPI()']]],
-  ['threadapi_2ecpp_5947',['ThreadAPI.cpp',['../ThreadAPI_8cpp.html',1,'']]],
-  ['threadapi_2eh_5948',['ThreadAPI.h',['../ThreadAPI_8h.html',1,'']]],
-  ['threadapi_5fcpp_5f_5949',['THREADAPI_CPP_',['../ThreadAPI_8cpp.html#a2edb48ac961ebb1eb8937424c6b273f1',1,'ThreadAPI.cpp']]],
-  ['threadcallgraph_5950',['ThreadCallGraph',['../classSVF_1_1ThreadCallGraph.html',1,'SVF::ThreadCallGraph'],['../classSVF_1_1ThreadCallGraph.html#a09946f39049bad87401b6e1567a7fb19',1,'SVF::ThreadCallGraph::ThreadCallGraph()']]],
-  ['threadcallgraph_2ecpp_5951',['ThreadCallGraph.cpp',['../ThreadCallGraph_8cpp.html',1,'']]],
-  ['threadcallgraph_2eh_5952',['ThreadCallGraph.h',['../ThreadCallGraph_8h.html',1,'']]],
-  ['threadcallgraphbuilder_5953',['ThreadCallGraphBuilder',['../classSVF_1_1ThreadCallGraphBuilder.html',1,'SVF::ThreadCallGraphBuilder'],['../classSVF_1_1ThreadCallGraphBuilder.html#afaf36ca5ff95c90f27424564d60e2c1c',1,'SVF::ThreadCallGraphBuilder::ThreadCallGraphBuilder()']]],
-  ['threadcallgraphscc_5954',['ThreadCallGraphSCC',['../classSVF_1_1TCT.html#a71942c7386d094426ae86633a9b1f755',1,'SVF::TCT']]],
-  ['threadcreateedge_5955',['ThreadCreateEdge',['../classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494fac7915e379517d9d17b770540adb577c8',1,'SVF::TCTEdge']]],
-  ['threadcreateedgeset_5956',['ThreadCreateEdgeSet',['../classSVF_1_1TCTEdge.html#aecd13905b54ae91d938b610be828deb5',1,'SVF::TCTEdge::ThreadCreateEdgeSet()'],['../classSVF_1_1TCT.html#a7c53c7ff773a253976374392d4930d6e',1,'SVF::TCT::ThreadCreateEdgeSet()']]],
-  ['threadfork_5957',['ThreadFork',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd',1,'SVF::SVFStmt']]],
-  ['threadforkedge_5958',['ThreadForkEdge',['../classSVF_1_1ThreadForkEdge.html',1,'SVF::ThreadForkEdge'],['../classSVF_1_1ThreadForkEdge.html#ae55b3e06b3ed22780d917dbb225561c1',1,'SVF::ThreadForkEdge::ThreadForkEdge()']]],
-  ['threadid_5959',['ThreadID',['../namespaceSVF.html#a10cddb090690c82a2aab31a480253d35',1,'SVF']]],
-  ['threadjoin_5960',['ThreadJoin',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0',1,'SVF::SVFStmt']]],
-  ['threadjoinedge_5961',['ThreadJoinEdge',['../classSVF_1_1ThreadJoinEdge.html',1,'SVF::ThreadJoinEdge'],['../classSVF_1_1ThreadJoinEdge.html#abacb4b5e4badee46f9517b2d84798a3e',1,'SVF::ThreadJoinEdge::ThreadJoinEdge()']]],
-  ['threadmhpindsvfgedge_5962',['ThreadMHPIndSVFGEdge',['../classSVF_1_1ThreadMHPIndSVFGEdge.html',1,'SVF::ThreadMHPIndSVFGEdge'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#ac5055bd4ff42476915b5d02ba4f1986b',1,'SVF::ThreadMHPIndSVFGEdge::ThreadMHPIndSVFGEdge()']]],
-  ['threadpairset_5963',['ThreadPairSet',['../classSVF_1_1ForkJoinAnalysis.html#a7fb8df483e619337e77088e8543a9846',1,'SVF::ForkJoinAnalysis']]],
-  ['threadstmttointerleaving_5964',['threadStmtToInterLeaving',['../classSVF_1_1MTAResultValidator.html#ac4a7773211a9c842639ac25b1a504c7e',1,'SVF::MTAResultValidator']]],
-  ['threadstmttotheadinterleav_5965',['threadStmtToTheadInterLeav',['../classSVF_1_1MHP.html#afcfc409e625b74cbefd240170627c541',1,'SVF::MHP']]],
-  ['threadstmttothreadinterleav_5966',['ThreadStmtToThreadInterleav',['../classSVF_1_1MHP.html#ac30f283cb2ad020a054ee6525ca94025',1,'SVF::MHP']]],
-  ['tid_5967',['tid',['../classSVF_1_1CxtThreadStmt.html#ad96bacc3de1ce576ad397d19aa99a269',1,'SVF::CxtThreadStmt::tid()'],['../classSVF_1_1CxtThreadProc.html#a99b24e1be2bfb49569532c2c28c68969',1,'SVF::CxtThreadProc::tid()']]],
-  ['time_5968',['time',['../classSVF_1_1SVFBugReport.html#a529dfbc5ea68061897e84af9cf248bcf',1,'SVF::SVFBugReport']]],
-  ['timeinterval_5969',['TIMEINTERVAL',['../SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736',1,'SVFType.h']]],
-  ['timelimitreached_5970',['timeLimitReached',['../namespaceSVF_1_1SVFUtil.html#add4cd21115988f9f5eec12e268ddf1d9',1,'SVF::SVFUtil']]],
-  ['timeofbuildcflgrammar_5971',['timeOfBuildCFLGrammar',['../classSVF_1_1CFLBase.html#a0d3217f4c3796b58a98add5c92298ad2',1,'SVF::CFLBase']]],
-  ['timeofbuildcflgraph_5972',['timeOfBuildCFLGraph',['../classSVF_1_1CFLBase.html#a9453bf479ccd00bacb3b371fa6383a9c',1,'SVF::CFLBase']]],
-  ['timeofbuildingllvmmodule_5973',['timeOfBuildingLLVMModule',['../classSVF_1_1SVFStat.html#aa4950ec26b66a085ad38ac154b789db5',1,'SVF::SVFStat']]],
-  ['timeofbuildingsvfir_5974',['timeOfBuildingSVFIR',['../classSVF_1_1SVFStat.html#aea75388c973674686d1f2b7498b4095c',1,'SVF::SVFStat']]],
-  ['timeofbuildingsymboltable_5975',['timeOfBuildingSymbolTable',['../classSVF_1_1SVFStat.html#ae89293bc063bdc74a988e9c37c70321e',1,'SVF::SVFStat']]],
-  ['timeofcollapse_5976',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
-  ['timeofcreatemuchi_5977',['TimeOfCreateMUCHI',['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()'],['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()']]],
-  ['timeofgeneratingmemregions_5978',['TimeOfGeneratingMemRegions',['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()']]],
-  ['timeofinsertingphi_5979',['timeOfInsertingPHI',['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()'],['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()']]],
-  ['timeofnormalizegrammar_5980',['timeOfNormalizeGrammar',['../classSVF_1_1CFLBase.html#ad4d65dd4c3e173d014199ac6b08a5261',1,'SVF::CFLBase']]],
-  ['timeofprocesscopygep_5981',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
-  ['timeofprocessloadstore_5982',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
-  ['timeofsccdetection_5983',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
-  ['timeofsccmerges_5984',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
-  ['timeofsolving_5985',['timeOfSolving',['../classSVF_1_1CFLBase.html#a88e40af43705550a78837b8589bbf3f8',1,'SVF::CFLBase']]],
-  ['timeofssarenaming_5986',['TimeOfSSARenaming',['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()'],['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()']]],
-  ['timeofupdatecallgraph_5987',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
-  ['timeout_5988',['Timeout',['../classSVF_1_1Options.html#a4a4eed0841c46f89f1b408e5789e114b',1,'SVF::Options']]],
-  ['timestatmap_5989',['TIMEStatMap',['../classSVF_1_1SVFStat.html#a8bb01becef1eb8d6113d946d29d904bd',1,'SVF::SVFStat::TIMEStatMap()'],['../classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831',1,'SVF::SVFStat::timeStatMap()']]],
-  ['tinterphi_5990',['TInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69',1,'SVF::VFGNode']]],
-  ['tintraphi_5991',['TIntraPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727',1,'SVF::VFGNode']]],
-  ['tlptdata_5992',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],
-  ['tlvfnodeend_5993',['TLVFNodeEnd',['../classSVF_1_1SVFGStat.html#a17e479f0258291998369a2eb325ba3d7',1,'SVF::SVFGStat']]],
-  ['tlvfnodestart_5994',['TLVFNodeStart',['../classSVF_1_1SVFGStat.html#a2e4aac52fdc2fd119847afbeba634de9',1,'SVF::SVFGStat']]],
-  ['tmpnam_5fr_5995',['tmpnam_r',['../extapi_8c.html#a0d302127bd577711c2af50614667171e',1,'extapi.c']]],
-  ['to_5fstring_5996',['to_string',['../classSVF_1_1NumericLiteral.html#ac154ddeb6516e240e091f4867c4c3593',1,'SVF::NumericLiteral::to_string()'],['../classSVF_1_1Z3Expr.html#a1da8e647e12c0e105271eadbd72f437e',1,'SVF::Z3Expr::to_string()']]],
-  ['tojson_5997',['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_5998',['toNodeBS',['../classSVF_1_1PointsTo.html#ad1d19d52800341484a136c6d5e0112ea',1,'SVF::PointsTo']]],
-  ['top_5999',['top',['../classSVF_1_1IntervalESBase.html#a33fd0e4a654dd4f5b7762b0088e11674',1,'SVF::IntervalESBase::top()'],['../classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b',1,'SVF::IntervalValue::top()']]],
-  ['topconstant_6000',['topConstant',['../classSVF_1_1SingleAbsValue.html#a70528ca5e4ad67b593104a7b2bba17c6',1,'SVF::SingleAbsValue']]],
-  ['toponodestack_6001',['topoNodeStack',['../classSVF_1_1SCCDetection.html#a6502c0a765ac1653474ffee651949f93',1,'SVF::SCCDetection']]],
-  ['tostring_6002',['toString',['../classSVF_1_1ConsExeState.html#a4553e0d059ea66f9a0287454686eb558',1,'SVF::ConsExeState::toString()'],['../classSVF_1_1ExeState.html#af58dd98bbad68a7c72e16831be26c677',1,'SVF::ExeState::toString()'],['../classSVF_1_1IntervalESBase.html#ab5d7ac23f8334fa32ae0a78c8f1d9fa9',1,'SVF::IntervalESBase::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_6003',['totalCallSiteNum',['../classSVF_1_1PTACallGraph.html#a276338e88cc286f6a1808b1fcdf74d9a',1,'SVF::PTACallGraph']]],
-  ['totalcomplements_6004',['totalComplements',['../classSVF_1_1PersistentPointsToCache.html#a6d52fb93d22b2ce3e4e4acbdd82b88b0',1,'SVF::PersistentPointsToCache']]],
-  ['totalcondnum_6005',['totalCondNum',['../classSVF_1_1SaberCondAllocator.html#a76fad4d58db94d7c572876ba6f1adf83',1,'SVF::SaberCondAllocator']]],
-  ['totaldircalledge_6006',['totalDirCallEdge',['../classSVF_1_1SVFGStat.html#a1e93c866f3d780cb1cfdaf1dd143ea24',1,'SVF::SVFGStat']]],
-  ['totaldirretedge_6007',['totalDirRetEdge',['../classSVF_1_1SVFGStat.html#a63bd38fa93d665037932bcda3cc342c6',1,'SVF::SVFGStat']]],
-  ['totaledgenum_6008',['totalEdgeNum',['../classSVF_1_1SVFStmt.html#af1a9c2a18805560e46425bd98a35dea9',1,'SVF::SVFStmt']]],
-  ['totalicfgnode_6009',['totalICFGNode',['../classSVF_1_1ICFG.html#a5df6061b65d021cd73c66592ec79f052',1,'SVF::ICFG']]],
-  ['totalindcalledge_6010',['totalIndCallEdge',['../classSVF_1_1SVFGStat.html#a0f37f7f530e3fd494c9d6bb477ca68d5',1,'SVF::SVFGStat']]],
-  ['totalindedgelabels_6011',['totalIndEdgeLabels',['../classSVF_1_1SVFGStat.html#a0a39eb7aab584cc285c32545ddb57ad8',1,'SVF::SVFGStat']]],
-  ['totalindinedge_6012',['totalIndInEdge',['../classSVF_1_1SVFGStat.html#a8cd6254435994d9aea27b5519491fc6a',1,'SVF::SVFGStat']]],
-  ['totalindoutedge_6013',['totalIndOutEdge',['../classSVF_1_1SVFGStat.html#a982ce49695344bcde4cbbb445de69c8d',1,'SVF::SVFGStat']]],
-  ['totalindretedge_6014',['totalIndRetEdge',['../classSVF_1_1SVFGStat.html#afd0f43a7d7138a8013930fd103ce7c47',1,'SVF::SVFGStat']]],
-  ['totalinedge_6015',['totalInEdge',['../classSVF_1_1SVFGStat.html#a7929d8ba565ecb04efd236ccb19a4658',1,'SVF::SVFGStat']]],
-  ['totalintersections_6016',['totalIntersections',['../classSVF_1_1PersistentPointsToCache.html#a099c2319277797ac96aeee859ded9b22',1,'SVF::PersistentPointsToCache']]],
-  ['totalkind_6017',['totalKind',['../classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f',1,'SVF::GrammarBase']]],
-  ['totalmrnum_6018',['totalMRNum',['../classSVF_1_1MemRegion.html#a23857f301395cbbad10f6f93256a7398',1,'SVF::MemRegion']]],
-  ['totaloutedge_6019',['totalOutEdge',['../classSVF_1_1SVFGStat.html#a18211427d08f70d252512d387763ce4a',1,'SVF::SVFGStat']]],
-  ['totalptapagedge_6020',['totalPTAPAGEdge',['../classSVF_1_1IRGraph.html#a9f68ffe75e3d9457092ac2368aa08a27',1,'SVF::IRGraph']]],
-  ['totalsymnum_6021',['totalSymNum',['../classSVF_1_1SymbolTableInfo.html#a125faa0295b38d027b35bc3d76b3afdd',1,'SVF::SymbolTableInfo']]],
-  ['totaltime_6022',['TotalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afef85f0ecacd681357b3945f97d52964',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['totaltimeofconstructmemssa_6023',['TotalTimeOfConstructMemSSA',['../classSVF_1_1MemSSAStat.html#a7dd7e6af850b9d724ea580450bfd3afd',1,'SVF::MemSSAStat']]],
-  ['totalunions_6024',['totalUnions',['../classSVF_1_1PersistentPointsToCache.html#a7a1c296f9c2dfd49e5b60f52fb1901c2',1,'SVF::PersistentPointsToCache']]],
-  ['totalvernum_6025',['totalVERNum',['../classSVF_1_1MRVer.html#ad746973fdd724b71ebb251eb6930fccc',1,'SVF::MRVer']]],
-  ['totalvfgnode_6026',['totalVFGNode',['../classSVF_1_1VFG.html#acb181d4f9faa40578c80e2018e2742b8',1,'SVF::VFG']]],
-  ['touchcxtstmt_6027',['touchCxtStmt',['../classSVF_1_1LockAnalysis.html#aaa0f33f19d9f80eee98289119ba907d2',1,'SVF::LockAnalysis']]],
-  ['toz3expr_6028',['toZ3Expr',['../classSVF_1_1RelationSolver.html#af621897ab66f6475d5ee043ef2e33623',1,'SVF::RelationSolver::toZ3Expr()'],['../classSVF_1_1RelExeState.html#a8045abc5e96d0c7b373587c796180d3e',1,'SVF::RelExeState::toZ3Expr()']]],
-  ['tparm_6029',['tparm',['../extapi_8c.html#ac94fb461ca9c5d62db380781a58a7f82',1,'extapi.c']]],
-  ['tphi_6030',['TPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac0bc801ca111129101616fbd39cce950',1,'SVF::VFGNode']]],
-  ['tracememoryallocationsize_6031',['traceMemoryAllocationSize',['../classSVF_1_1AbstractExecution.html#a2484783853c5a266223882f66e683fa9',1,'SVF::AbstractExecution']]],
-  ['trailingzeroscounter_6032',['TrailingZerosCounter',['../structSVF_1_1TrailingZerosCounter.html',1,'SVF']]],
-  ['translateaddr_6033',['translateAddr',['../classSVF_1_1SVFIR2ConsExeState.html#a9d58c0c1698247018eac3c30c1202ba2',1,'SVF::SVFIR2ConsExeState::translateAddr()'],['../classSVF_1_1SVFIR2ItvExeState.html#af7f42ee51b03b1aaaee18f10eec0c2b9',1,'SVF::SVFIR2ItvExeState::translateAddr()']]],
-  ['translatebinary_6034',['translateBinary',['../classSVF_1_1SVFIR2ConsExeState.html#a82d969e6f521e59f0d57da0a19e67a0a',1,'SVF::SVFIR2ConsExeState::translateBinary()'],['../classSVF_1_1SVFIR2ItvExeState.html#a449ee8f244120866037c7f6d2ee5fc13',1,'SVF::SVFIR2ItvExeState::translateBinary()']]],
-  ['translatebinaryrel_6035',['translateBinaryRel',['../classSVF_1_1SVFIR2ItvExeState.html#aca887785abc037c61cca1eaad9613339',1,'SVF::SVFIR2ItvExeState']]],
-  ['translatecall_6036',['translateCall',['../classSVF_1_1SVFIR2ConsExeState.html#a57adf31d54810533526d6e33bdeb386c',1,'SVF::SVFIR2ConsExeState::translateCall()'],['../classSVF_1_1SVFIR2ItvExeState.html#adb82778157e0f5e7a2ea4d803bcd07ad',1,'SVF::SVFIR2ItvExeState::translateCall()']]],
-  ['translatecallrel_6037',['translateCallRel',['../classSVF_1_1SVFIR2ItvExeState.html#a2b03588d7d74af8818ddac6596a0f384',1,'SVF::SVFIR2ItvExeState']]],
-  ['translatecmp_6038',['translateCmp',['../classSVF_1_1SVFIR2ConsExeState.html#a373227923e37d7dcb100ef9de613e400',1,'SVF::SVFIR2ConsExeState::translateCmp()'],['../classSVF_1_1SVFIR2ItvExeState.html#aac5cc8767eb750bf121f1897788dee24',1,'SVF::SVFIR2ItvExeState::translateCmp()']]],
-  ['translatecmprel_6039',['translateCmpRel',['../classSVF_1_1SVFIR2ItvExeState.html#a89e3c835e16459e8b90e4a67127fa5da',1,'SVF::SVFIR2ItvExeState']]],
-  ['translatecopy_6040',['translateCopy',['../classSVF_1_1SVFIR2ConsExeState.html#a59c19a473a07918f59356c4a3b65cc8e',1,'SVF::SVFIR2ConsExeState::translateCopy()'],['../classSVF_1_1SVFIR2ItvExeState.html#afcf2f81101f1b9580d82b5c2efb83999',1,'SVF::SVFIR2ItvExeState::translateCopy()']]],
-  ['translatecopyrel_6041',['translateCopyRel',['../classSVF_1_1SVFIR2ItvExeState.html#a9a971203ef834c8e8591fc745ae5a17d',1,'SVF::SVFIR2ItvExeState']]],
-  ['translategep_6042',['translateGep',['../classSVF_1_1SVFIR2ConsExeState.html#a766ff7a17d51294fea7e01068fbd028c',1,'SVF::SVFIR2ConsExeState::translateGep()'],['../classSVF_1_1SVFIR2ItvExeState.html#aa274b5b4e18c28ec8035ca1b073aacfc',1,'SVF::SVFIR2ItvExeState::translateGep()']]],
-  ['translateload_6043',['translateLoad',['../classSVF_1_1SVFIR2ConsExeState.html#a7a547d67559f2d01ead77986bbd6863b',1,'SVF::SVFIR2ConsExeState::translateLoad()'],['../classSVF_1_1SVFIR2ItvExeState.html#a8f2a564370d9b9fb05e139c45eeaba68',1,'SVF::SVFIR2ItvExeState::translateLoad()']]],
-  ['translateloadrel_6044',['translateLoadRel',['../classSVF_1_1SVFIR2ItvExeState.html#a3d9eeed61b6ef79b65c5c52c9ae82c04',1,'SVF::SVFIR2ItvExeState']]],
-  ['translatephi_6045',['translatePhi',['../classSVF_1_1SVFIR2ConsExeState.html#ab97b728bca0f6831bb33f1e9196936e6',1,'SVF::SVFIR2ConsExeState::translatePhi()'],['../classSVF_1_1SVFIR2ItvExeState.html#ae00e5398cbeb9aa1cfc464da4250a91e',1,'SVF::SVFIR2ItvExeState::translatePhi()']]],
-  ['translatephirel_6046',['translatePhiRel',['../classSVF_1_1SVFIR2ItvExeState.html#af00e05b7e479cf79c2bd71dea212799d',1,'SVF::SVFIR2ItvExeState']]],
-  ['translateret_6047',['translateRet',['../classSVF_1_1SVFIR2ConsExeState.html#af1b17f60a22dc1da4b9f1430c5f07d1a',1,'SVF::SVFIR2ConsExeState::translateRet()'],['../classSVF_1_1SVFIR2ItvExeState.html#a31e299f91eed29d1a8db3b884d57d1dc',1,'SVF::SVFIR2ItvExeState::translateRet()']]],
-  ['translateretrel_6048',['translateRetRel',['../classSVF_1_1SVFIR2ItvExeState.html#a8a20d2bafff92a5b8983a1566ed598d6',1,'SVF::SVFIR2ItvExeState']]],
-  ['translateselect_6049',['translateSelect',['../classSVF_1_1SVFIR2ConsExeState.html#a15b7e99f0bff4de254239c10820550c0',1,'SVF::SVFIR2ConsExeState::translateSelect()'],['../classSVF_1_1SVFIR2ItvExeState.html#a604126e59364cb56b44a88cae5afbfb8',1,'SVF::SVFIR2ItvExeState::translateSelect()']]],
-  ['translateselectrel_6050',['translateSelectRel',['../classSVF_1_1SVFIR2ItvExeState.html#a4a5e92df30da02bdb396fc6daad591fb',1,'SVF::SVFIR2ItvExeState']]],
-  ['translatestore_6051',['translateStore',['../classSVF_1_1SVFIR2ConsExeState.html#a9541d935efa7fce9cf9d204050e2a918',1,'SVF::SVFIR2ConsExeState::translateStore()'],['../classSVF_1_1SVFIR2ItvExeState.html#aed2e41879bae8389c49e69356b7aaac5',1,'SVF::SVFIR2ItvExeState::translateStore()']]],
-  ['translatestorerel_6052',['translateStoreRel',['../classSVF_1_1SVFIR2ItvExeState.html#ac57d2a609c1159b4f653965eadce58cc',1,'SVF::SVFIR2ItvExeState']]],
-  ['traversedendrogram_6053',['traverseDendrogram',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#abd44e3b07b0482bacf6b1a080fe650c6',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['traverseonicfg_6054',['traverseOnICFG',['../svf-ex_8cpp.html#a19f3fe331a1e7050a513672a91743b96',1,'svf-ex.cpp']]],
-  ['traverseonsvfstmt_6055',['traverseOnSVFStmt',['../svf-ex_8cpp.html#a8fa9e6583c354b1883a32b8abf98779f',1,'svf-ex.cpp']]],
-  ['traverseonvfg_6056',['traverseOnVFG',['../svf-ex_8cpp.html#a46d99c4d06304a22985a1e7bf04b3e2d',1,'svf-ex.cpp']]],
-  ['treenode_6057',['TreeNode',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html',1,'SVF::POCRHybridSolver::TreeNode'],['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a2bedc69e7062cf96058395d3f7ebd030',1,'SVF::POCRHybridSolver::TreeNode::TreeNode()']]],
-  ['true_6058',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true(): cJSON.cpp'],['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true(): cJSON.cpp']]],
-  ['trunc_6059',['TRUNC',['../classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1ab2b2f7dffed3d446a147fc7a27e66dd8',1,'SVF::CopyStmt']]],
-  ['twopi_6060',['TWOPI',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac6a6eaaa34322cf54953ba390895f0c5',1,'SVF::GraphProgram']]],
-  ['type_6061',['Type',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::Type()'],['../structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35',1,'SVF::SVFUtil::add_const_past_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179',1,'SVF::SVFUtil::add_const_past_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1make__void.html#ac2eb79d0fe9a0f94eb1992600ba91e36',1,'SVF::SVFUtil::make_void::type()'],['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()'],['../classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78',1,'SVF::SVFValue::type()'],['../classSVF_1_1ObjTypeInfo.html#a3620a491a32ff0af93f0d92f55911498',1,'SVF::ObjTypeInfo::type()'],['../structcJSON.html#ab13084c574681593b12f6e0a3db0dcfc',1,'cJSON::type()'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()'],['../cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc',1,'type(): cJSON.cpp']]],
-  ['type2typeinfo_6062',['Type2TypeInfo',['../classSVF_1_1LLVMModuleSet.html#af2c555af91679d9e6d3009547ee11486',1,'SVF::LLVMModuleSet']]],
-  ['type2typeinfomap_6063',['Type2TypeInfoMap',['../classSVF_1_1LLVMModuleSet.html#a3c2eb10a20604bf794d2d10f2cffb116',1,'SVF::LLVMModuleSet']]],
-  ['type_5fdebug_6064',['TYPE_DEBUG',['../ObjTypeInference_8cpp.html#a8e62b6cad2019cc242c6fa579bae4988',1,'ObjTypeInference.cpp']]],
-  ['typeanalysis_6065',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html',1,'SVF::TypeAnalysis'],['../classSVF_1_1TypeAnalysis.html#aaec66fea631bfe00064182e17dfb9db3',1,'SVF::TypeAnalysis::TypeAnalysis()']]],
-  ['typeanalysis_2ecpp_6066',['TypeAnalysis.cpp',['../TypeAnalysis_8cpp.html',1,'']]],
-  ['typeanalysis_2eh_6067',['TypeAnalysis.h',['../TypeAnalysis_8h.html',1,'']]],
-  ['typeandinfoflag_6068',['typeAndInfoFlag',['../classSVF_1_1SVFBugEvent.html#a33496918c5f2adaf48a64f39d9c49567',1,'SVF::SVFBugEvent']]],
-  ['typebasedheapcloning_6069',['TypeBasedHeapCloning',['../classSVF_1_1SVFIR.html#ac7f1349df526a5a50741e9303f3bd446',1,'SVF::SVFIR']]],
-  ['typecpp_5fwpa_6070',['TypeCPP_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85acc2e7cbdd04a614a3b6189d2f01042f3',1,'SVF::PointerAnalysis']]],
-  ['typedefs_6071',['typedefs',['../classSVF_1_1DCHNode.html#abafa483be12690549fbcccaf4c3fa511',1,'SVF::DCHNode']]],
-  ['typeinference_6072',['typeInference',['../classSVF_1_1LLVMModuleSet.html#a2eb76d2c787a9a02f7d37c790d647e9c',1,'SVF::LLVMModuleSet']]],
-  ['typeinfo_6073',['typeInfo',['../classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf',1,'SVF::MemObj::typeInfo()'],['../classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e',1,'SVF::SVFType::typeinfo()']]],
-  ['typelocsetsmap_6074',['TypeLocSetsMap',['../classSVF_1_1SVFIR.html#ad74ca54e6d62d4410038ef900ea8f150',1,'SVF::SVFIR::TypeLocSetsMap()'],['../classSVF_1_1SVFIR.html#a63ede1d8d381b91f81b93965dcffa288',1,'SVF::SVFIR::typeLocSetsMap()']]],
-  ['typemalloc_6075',['TYPEMALLOC',['../ObjTypeInference_8cpp.html#a5f334de99eb942058f27a1025c346f70',1,'ObjTypeInference.cpp']]],
-  ['typemap_6076',['TypeMap',['../classSVF_1_1POCRSolver.html#ac4d92529d21db89c547e20e886060b0f',1,'SVF::POCRSolver']]],
-  ['typename_6077',['typeName',['../classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc',1,'SVF::DCHNode']]],
-  ['typeofelement_6078',['typeOfElement',['../classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a',1,'SVF::SVFArrayType']]],
-  ['typeprint_6079',['TypePrint',['../classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd',1,'SVF::Options']]],
-  ['typesizedifftest_6080',['typeSizeDiffTest',['../classSVF_1_1ObjTypeInference.html#a99eaaef89f214fc8587349361600b44d',1,'SVF::ObjTypeInference']]],
-  ['typestate_6081',['TypeState',['../classSVF_1_1SymState.html#af41520fdb48700f86231047d1db5d482',1,'SVF::SymState']]]
+  ['tail_5809',['tail',['../classSVF_1_1List.html#a7900b03bc65b9f8d3e7e5bb1a80a4125',1,'SVF::List']]],
+  ['tailmap_5810',['tailmap',['../classSVF_1_1MTASVFGBuilder.html#ad55a5f1e1f6d8e99fc0be5b85bbf8599',1,'SVF::MTASVFGBuilder']]],
+  ['taintsvfgbuilder_5811',['TaintSVFGBuilder',['../classSVF_1_1SVFG.html#a665c93b68f49078c281270a028d04445',1,'SVF::SVFG']]],
+  ['tcg_5812',['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_5813',['tcgSCC',['../classSVF_1_1TCT.html#a30662928bafc97c1e7b123270ca69980',1,'SVF::TCT']]],
+  ['tct_5814',['TCT',['../classSVF_1_1TCT.html',1,'SVF::TCT'],['../classSVF_1_1TCT.html#a8eaa746805b0afc17329d0ba4ad6a887',1,'SVF::TCT::TCT()'],['../classSVF_1_1LockAnalysis.html#a2c4a69b0f2381142c172b3043943c79d',1,'SVF::LockAnalysis::tct()'],['../classSVF_1_1MHP.html#a176eefb65e4ba99ee70513c8add44176',1,'SVF::MHP::tct()'],['../classSVF_1_1ForkJoinAnalysis.html#a2c6ce7aa04c399746d89230be0e0f1ce',1,'SVF::ForkJoinAnalysis::tct()'],['../classSVF_1_1MTA.html#a3f5c5c6689491beb8edfa25c0ad871d9',1,'SVF::MTA::tct()']]],
+  ['tct_2ecpp_5815',['TCT.cpp',['../TCT_8cpp.html',1,'']]],
+  ['tct_2eh_5816',['TCT.h',['../TCT_8h.html',1,'']]],
+  ['tct_5faccess_5817',['TCT_ACCESS',['../classSVF_1_1MTAResultValidator.html#a8ccc7c66b6744622b8a79b371d7b2b66',1,'SVF::MTAResultValidator']]],
+  ['tctdotgraph_5818',['TCTDotGraph',['../classSVF_1_1Options.html#adceab9fa76c438b8e5e83dd6042523ce',1,'SVF::Options']]],
+  ['tctedge_5819',['TCTEdge',['../classSVF_1_1TCTEdge.html',1,'SVF::TCTEdge'],['../classSVF_1_1TCTEdge.html#a2e0ee6eeade83aee75d65080e976fca4',1,'SVF::TCTEdge::TCTEdge()']]],
+  ['tctedgenum_5820',['TCTEdgeNum',['../classSVF_1_1TCT.html#a862899f2e5fb35920adf8e763e1dba57',1,'SVF::TCT']]],
+  ['tctnode_5821',['TCTNode',['../classSVF_1_1TCTNode.html',1,'SVF::TCTNode'],['../classSVF_1_1TCTNode.html#afdb40d78890c84d47441ade941a6d8c6',1,'SVF::TCTNode::TCTNode()']]],
+  ['tctnodeiter_5822',['TCTNodeIter',['../classSVF_1_1TCT.html#a6f4ab4fb901620c733d90b380c9db670',1,'SVF::TCT']]],
+  ['tctnodenum_5823',['TCTNodeNum',['../classSVF_1_1TCT.html#a52e3759054281c1ca1ccde07a9af1799',1,'SVF::TCT']]],
+  ['tcttime_5824',['TCTTime',['../classSVF_1_1MTAStat.html#a3298dd910e731fdabc87bbcf65371a4a',1,'SVF::MTAStat']]],
+  ['td_5facquire_5825',['TD_ACQUIRE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a5bda6aca46dfc712f3781b4732a373a3',1,'SVF::ThreadAPI']]],
+  ['td_5fbar_5finit_5826',['TD_BAR_INIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a4fb99e17bf56ae018448f5f97aa8cda6',1,'SVF::ThreadAPI']]],
+  ['td_5fbar_5fwait_5827',['TD_BAR_WAIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3aa2b2704ecc4c11ec0dbeaf1b22532431',1,'SVF::ThreadAPI']]],
+  ['td_5fcancel_5828',['TD_CANCEL',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3afad2e548ab59646972d8c66e593845cc',1,'SVF::ThreadAPI']]],
+  ['td_5fcond_5fbroadcast_5829',['TD_COND_BROADCAST',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3aa6ee2952d7757b0919f56bd39fd5a93e',1,'SVF::ThreadAPI']]],
+  ['td_5fcond_5fsignal_5830',['TD_COND_SIGNAL',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a01a3b1723176504482b606d8e097949f',1,'SVF::ThreadAPI']]],
+  ['td_5fcond_5fwait_5831',['TD_COND_WAIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3aa8a39bd1bb13292a55dd6168909c872e',1,'SVF::ThreadAPI']]],
+  ['td_5fcondvar_5fdestroy_5832',['TD_CONDVAR_DESTROY',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a9c3f04e71ed64ce8d2862d7a6f39a95b',1,'SVF::ThreadAPI']]],
+  ['td_5fcondvar_5fini_5833',['TD_CONDVAR_INI',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a1f921d7369e3a00a77394640f887c7ff',1,'SVF::ThreadAPI']]],
+  ['td_5fdetach_5834',['TD_DETACH',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a0b558cf037397818414cac2f7c87ab08',1,'SVF::ThreadAPI']]],
+  ['td_5fdummy_5835',['TD_DUMMY',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a5953e882e253807e49aa229e64e001b8',1,'SVF::ThreadAPI']]],
+  ['td_5fexit_5836',['TD_EXIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3af3a3036705ecca40cf170d12d0ccf4dc',1,'SVF::ThreadAPI']]],
+  ['td_5ffork_5837',['TD_FORK',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a9a40948eeab9b022957ae33715ee83da',1,'SVF::ThreadAPI']]],
+  ['td_5fjoin_5838',['TD_JOIN',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a9efe9b72a2520e1fae3cae1e747e3134',1,'SVF::ThreadAPI']]],
+  ['td_5fmutex_5fdestroy_5839',['TD_MUTEX_DESTROY',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a91db238366fcdcd65bd7710882c8716f',1,'SVF::ThreadAPI']]],
+  ['td_5fmutex_5fini_5840',['TD_MUTEX_INI',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3abb17ca545bd259f16a36a2d2af43948b',1,'SVF::ThreadAPI']]],
+  ['td_5frelease_5841',['TD_RELEASE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3ac826e1e1c43305a3abcfdc9a2169b8dd',1,'SVF::ThreadAPI']]],
+  ['td_5ftry_5facquire_5842',['TD_TRY_ACQUIRE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3ab7ea623d48ae64aa09ab49deebbb7113',1,'SVF::ThreadAPI']]],
+  ['td_5ftype_5843',['TD_TYPE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3',1,'SVF::ThreadAPI']]],
+  ['tdalive_5844',['TDAlive',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631a2abecc56b7d5c644f7e14c98d33d0a0a',1,'SVF::ForkJoinAnalysis']]],
+  ['tdapi_5845',['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_5846',['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_5847',['TDDead',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4',1,'SVF::ForkJoinAnalysis']]],
+  ['tdforkedge_5848',['TDForkEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7af32caf15ca19d512b5183bcf0d859cd7',1,'SVF::PTACallGraphEdge']]],
+  ['tdforkpe_5849',['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_5850',['TDJoinEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7a2d65840140263a0808f5b9d553a4bff5',1,'SVF::PTACallGraphEdge']]],
+  ['tdjoinpe_5851',['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_5852',['TDLocked',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791a2709e7eb7ea9829c7e649e6dd86d6a48',1,'SVF::LockAnalysis']]],
+  ['tdunlocked_5853',['TDUnlocked',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791ac531588e8556653306e03ccaacb83dac',1,'SVF::LockAnalysis']]],
+  ['template_5854',['TEMPLATE',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc',1,'SVF::DCHNode::TEMPLATE()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d',1,'SVF::CHNode::TEMPLATE()']]],
+  ['templatenametoinstancesmap_5855',['templateNameToInstancesMap',['../classSVF_1_1CHGraph.html#acd022005e2191bc3bcb265805abee4f8',1,'SVF::CHGraph']]],
+  ['teq_5856',['teq',['../classSVF_1_1DCHGraph.html#acb76ab20da1bfbec00f63d08e48cbddd',1,'SVF::DCHGraph']]],
+  ['terminals_5857',['terminals',['../classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a',1,'SVF::GrammarBase']]],
+  ['terminator_5858',['terminator',['../classSVF_1_1SVFInstruction.html#ab092c00376cf697bc4a3b7baa9f3a2f3',1,'SVF::SVFInstruction']]],
+  ['test_5859',['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_5860',['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_5861',['test_print',['../classSymblicAbstractionTest.html#a99d94e268fb6e622a85a9acae737fd6f',1,'SymblicAbstractionTest']]],
+  ['testindcallreachability_5862',['testIndCallReachability',['../classSVF_1_1ContextDDA.html#a05ac33ca33efb58099839f72050bb008',1,'SVF::ContextDDA::testIndCallReachability()'],['../classSVF_1_1FlowDDA.html#ae48534b36222578855708c298f81f554',1,'SVF::FlowDDA::testIndCallReachability()']]],
+  ['testoutofbudget_5863',['testOutOfBudget',['../classSVF_1_1DDAVFSolver.html#a3fb52286c5324ea3d58e22c630b307e3',1,'SVF::DDAVFSolver']]],
+  ['testrelexestate1_5f1_5864',['testRelExeState1_1',['../classSymblicAbstractionTest.html#acc4852ec2f03ec67e39c67629275cdf5',1,'SymblicAbstractionTest']]],
+  ['testrelexestate1_5f2_5865',['testRelExeState1_2',['../classSymblicAbstractionTest.html#a0316fb86d1751ecacf5845ca07764f40',1,'SymblicAbstractionTest']]],
+  ['testrelexestate2_5f1_5866',['testRelExeState2_1',['../classSymblicAbstractionTest.html#a32fbde1fbb997be55abfdc308de68fc1',1,'SymblicAbstractionTest']]],
+  ['testrelexestate2_5f2_5867',['testRelExeState2_2',['../classSymblicAbstractionTest.html#a40b9879a5465f960bbd4fad6654304aa',1,'SymblicAbstractionTest']]],
+  ['testrelexestate2_5f3_5868',['testRelExeState2_3',['../classSymblicAbstractionTest.html#a7c319b15dd3bd82a7c805ba6dd60beab',1,'SymblicAbstractionTest']]],
+  ['testrelexestate2_5f4_5869',['testRelExeState2_4',['../classSymblicAbstractionTest.html#a2e3d2a2d9a78fffa641523a2e4809c02',1,'SymblicAbstractionTest']]],
+  ['testrelexestate2_5f5_5870',['testRelExeState2_5',['../classSymblicAbstractionTest.html#aaba97f696f9518c31af8ace984b39bcf',1,'SymblicAbstractionTest']]],
+  ['testrelexestate3_5f1_5871',['testRelExeState3_1',['../classSymblicAbstractionTest.html#ac3016e7a57f46af01d20de7e785a4cce',1,'SymblicAbstractionTest']]],
+  ['testrelexestate3_5f2_5872',['testRelExeState3_2',['../classSymblicAbstractionTest.html#a56541a5e9bc61f092ee3c48700f00bf7',1,'SymblicAbstractionTest']]],
+  ['testrelexestate3_5f3_5873',['testRelExeState3_3',['../classSymblicAbstractionTest.html#a7c87dfedc9c7b32df42f14334bc732b0',1,'SymblicAbstractionTest']]],
+  ['testrelexestate3_5f4_5874',['testRelExeState3_4',['../classSymblicAbstractionTest.html#ae7b7853f6a6a3cbc2c04d3dfea83ad43',1,'SymblicAbstractionTest']]],
+  ['testrelexestate4_5f1_5875',['testRelExeState4_1',['../classSymblicAbstractionTest.html#a986b2278abd2ee64507fa769a66c999c',1,'SymblicAbstractionTest']]],
+  ['testsvalidation_5876',['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_5877',['tgoto',['../extapi_8c.html#a2ef27396e2742b0ab682b27153d1a0e3',1,'extapi.c']]],
+  ['thdcallgraph_5878',['ThdCallGraph',['../classSVF_1_1PTACallGraph.html#a5b1fe2b2314db947cd5e709b7285fe1ca4fe819bb1488afc48b04c1b7bef04bc2',1,'SVF::PTACallGraph']]],
+  ['theadmhpindirectvf_5879',['TheadMHPIndirectVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aae3168b6bc9141e4a1f3723eae4f3375',1,'SVF::VFGEdge']]],
+  ['theoreticalnumwords_5880',['TheoreticalNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a2a70b98363303cb33d96732f44b4c5c3',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['threadapi_5881',['ThreadAPI',['../classSVF_1_1ThreadAPI.html',1,'SVF::ThreadAPI'],['../classSVF_1_1ThreadAPI.html#a9c5ea333cc420bc3b8d8765c664ab128',1,'SVF::ThreadAPI::ThreadAPI()']]],
+  ['threadapi_2ecpp_5882',['ThreadAPI.cpp',['../ThreadAPI_8cpp.html',1,'']]],
+  ['threadapi_2eh_5883',['ThreadAPI.h',['../ThreadAPI_8h.html',1,'']]],
+  ['threadapi_5fcpp_5f_5884',['THREADAPI_CPP_',['../ThreadAPI_8cpp.html#a2edb48ac961ebb1eb8937424c6b273f1',1,'ThreadAPI.cpp']]],
+  ['threadcallgraph_5885',['ThreadCallGraph',['../classSVF_1_1ThreadCallGraph.html',1,'SVF::ThreadCallGraph'],['../classSVF_1_1ThreadCallGraph.html#a09946f39049bad87401b6e1567a7fb19',1,'SVF::ThreadCallGraph::ThreadCallGraph()']]],
+  ['threadcallgraph_2ecpp_5886',['ThreadCallGraph.cpp',['../ThreadCallGraph_8cpp.html',1,'']]],
+  ['threadcallgraph_2eh_5887',['ThreadCallGraph.h',['../ThreadCallGraph_8h.html',1,'']]],
+  ['threadcallgraphbuilder_5888',['ThreadCallGraphBuilder',['../classSVF_1_1ThreadCallGraphBuilder.html',1,'SVF::ThreadCallGraphBuilder'],['../classSVF_1_1ThreadCallGraphBuilder.html#afaf36ca5ff95c90f27424564d60e2c1c',1,'SVF::ThreadCallGraphBuilder::ThreadCallGraphBuilder()']]],
+  ['threadcallgraphscc_5889',['ThreadCallGraphSCC',['../classSVF_1_1TCT.html#a71942c7386d094426ae86633a9b1f755',1,'SVF::TCT']]],
+  ['threadcreateedge_5890',['ThreadCreateEdge',['../classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494fac7915e379517d9d17b770540adb577c8',1,'SVF::TCTEdge']]],
+  ['threadcreateedgeset_5891',['ThreadCreateEdgeSet',['../classSVF_1_1TCTEdge.html#aecd13905b54ae91d938b610be828deb5',1,'SVF::TCTEdge::ThreadCreateEdgeSet()'],['../classSVF_1_1TCT.html#a7c53c7ff773a253976374392d4930d6e',1,'SVF::TCT::ThreadCreateEdgeSet()']]],
+  ['threadfork_5892',['ThreadFork',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd',1,'SVF::SVFStmt']]],
+  ['threadforkedge_5893',['ThreadForkEdge',['../classSVF_1_1ThreadForkEdge.html',1,'SVF::ThreadForkEdge'],['../classSVF_1_1ThreadForkEdge.html#ae55b3e06b3ed22780d917dbb225561c1',1,'SVF::ThreadForkEdge::ThreadForkEdge()']]],
+  ['threadid_5894',['ThreadID',['../namespaceSVF.html#a10cddb090690c82a2aab31a480253d35',1,'SVF']]],
+  ['threadjoin_5895',['ThreadJoin',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0',1,'SVF::SVFStmt']]],
+  ['threadjoinedge_5896',['ThreadJoinEdge',['../classSVF_1_1ThreadJoinEdge.html',1,'SVF::ThreadJoinEdge'],['../classSVF_1_1ThreadJoinEdge.html#abacb4b5e4badee46f9517b2d84798a3e',1,'SVF::ThreadJoinEdge::ThreadJoinEdge()']]],
+  ['threadmhpindsvfgedge_5897',['ThreadMHPIndSVFGEdge',['../classSVF_1_1ThreadMHPIndSVFGEdge.html',1,'SVF::ThreadMHPIndSVFGEdge'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#ac5055bd4ff42476915b5d02ba4f1986b',1,'SVF::ThreadMHPIndSVFGEdge::ThreadMHPIndSVFGEdge()']]],
+  ['threadpairset_5898',['ThreadPairSet',['../classSVF_1_1ForkJoinAnalysis.html#a7fb8df483e619337e77088e8543a9846',1,'SVF::ForkJoinAnalysis']]],
+  ['threadstmttointerleaving_5899',['threadStmtToInterLeaving',['../classSVF_1_1MTAResultValidator.html#ac4a7773211a9c842639ac25b1a504c7e',1,'SVF::MTAResultValidator']]],
+  ['threadstmttotheadinterleav_5900',['threadStmtToTheadInterLeav',['../classSVF_1_1MHP.html#afcfc409e625b74cbefd240170627c541',1,'SVF::MHP']]],
+  ['threadstmttothreadinterleav_5901',['ThreadStmtToThreadInterleav',['../classSVF_1_1MHP.html#ac30f283cb2ad020a054ee6525ca94025',1,'SVF::MHP']]],
+  ['tid_5902',['tid',['../classSVF_1_1CxtThreadStmt.html#ad96bacc3de1ce576ad397d19aa99a269',1,'SVF::CxtThreadStmt::tid()'],['../classSVF_1_1CxtThreadProc.html#a99b24e1be2bfb49569532c2c28c68969',1,'SVF::CxtThreadProc::tid()']]],
+  ['time_5903',['time',['../classSVF_1_1SVFBugReport.html#a529dfbc5ea68061897e84af9cf248bcf',1,'SVF::SVFBugReport']]],
+  ['timeinterval_5904',['TIMEINTERVAL',['../SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736',1,'SVFType.h']]],
+  ['timelimitreached_5905',['timeLimitReached',['../namespaceSVF_1_1SVFUtil.html#add4cd21115988f9f5eec12e268ddf1d9',1,'SVF::SVFUtil']]],
+  ['timeofbuildcflgrammar_5906',['timeOfBuildCFLGrammar',['../classSVF_1_1CFLBase.html#a0d3217f4c3796b58a98add5c92298ad2',1,'SVF::CFLBase']]],
+  ['timeofbuildcflgraph_5907',['timeOfBuildCFLGraph',['../classSVF_1_1CFLBase.html#a9453bf479ccd00bacb3b371fa6383a9c',1,'SVF::CFLBase']]],
+  ['timeofbuildingllvmmodule_5908',['timeOfBuildingLLVMModule',['../classSVF_1_1SVFStat.html#aa4950ec26b66a085ad38ac154b789db5',1,'SVF::SVFStat']]],
+  ['timeofbuildingsvfir_5909',['timeOfBuildingSVFIR',['../classSVF_1_1SVFStat.html#aea75388c973674686d1f2b7498b4095c',1,'SVF::SVFStat']]],
+  ['timeofbuildingsymboltable_5910',['timeOfBuildingSymbolTable',['../classSVF_1_1SVFStat.html#ae89293bc063bdc74a988e9c37c70321e',1,'SVF::SVFStat']]],
+  ['timeofcollapse_5911',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
+  ['timeofcreatemuchi_5912',['timeOfCreateMUCHI',['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()'],['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()']]],
+  ['timeofgeneratingmemregions_5913',['TimeOfGeneratingMemRegions',['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()']]],
+  ['timeofinsertingphi_5914',['TimeOfInsertingPHI',['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()'],['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()']]],
+  ['timeofnormalizegrammar_5915',['timeOfNormalizeGrammar',['../classSVF_1_1CFLBase.html#ad4d65dd4c3e173d014199ac6b08a5261',1,'SVF::CFLBase']]],
+  ['timeofprocesscopygep_5916',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
+  ['timeofprocessloadstore_5917',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
+  ['timeofsccdetection_5918',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
+  ['timeofsccmerges_5919',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
+  ['timeofsolving_5920',['timeOfSolving',['../classSVF_1_1CFLBase.html#a88e40af43705550a78837b8589bbf3f8',1,'SVF::CFLBase']]],
+  ['timeofssarenaming_5921',['timeOfSSARenaming',['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()'],['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()']]],
+  ['timeofupdatecallgraph_5922',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
+  ['timeout_5923',['Timeout',['../classSVF_1_1Options.html#a4a4eed0841c46f89f1b408e5789e114b',1,'SVF::Options']]],
+  ['timestatmap_5924',['TIMEStatMap',['../classSVF_1_1SVFStat.html#a8bb01becef1eb8d6113d946d29d904bd',1,'SVF::SVFStat::TIMEStatMap()'],['../classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831',1,'SVF::SVFStat::timeStatMap()']]],
+  ['tinterphi_5925',['TInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69',1,'SVF::VFGNode']]],
+  ['tintraphi_5926',['TIntraPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727',1,'SVF::VFGNode']]],
+  ['tlptdata_5927',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],
+  ['tlvfnodeend_5928',['TLVFNodeEnd',['../classSVF_1_1SVFGStat.html#a17e479f0258291998369a2eb325ba3d7',1,'SVF::SVFGStat']]],
+  ['tlvfnodestart_5929',['TLVFNodeStart',['../classSVF_1_1SVFGStat.html#a2e4aac52fdc2fd119847afbeba634de9',1,'SVF::SVFGStat']]],
+  ['tmpnam_5fr_5930',['tmpnam_r',['../extapi_8c.html#a0d302127bd577711c2af50614667171e',1,'extapi.c']]],
+  ['to_5fstring_5931',['to_string',['../classSVF_1_1NumericLiteral.html#ac154ddeb6516e240e091f4867c4c3593',1,'SVF::NumericLiteral::to_string()'],['../classSVF_1_1Z3Expr.html#a1da8e647e12c0e105271eadbd72f437e',1,'SVF::Z3Expr::to_string()']]],
+  ['tojson_5932',['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_5933',['toNodeBS',['../classSVF_1_1PointsTo.html#ad1d19d52800341484a136c6d5e0112ea',1,'SVF::PointsTo']]],
+  ['top_5934',['top',['../classSVF_1_1AbstractState.html#ac34dc4e111967507950bd5afe4a59ea0',1,'SVF::AbstractState::top()'],['../classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b',1,'SVF::IntervalValue::top()']]],
+  ['toponodestack_5935',['topoNodeStack',['../classSVF_1_1SCCDetection.html#a6502c0a765ac1653474ffee651949f93',1,'SVF::SCCDetection']]],
+  ['tostring_5936',['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_5937',['totalCallSiteNum',['../classSVF_1_1PTACallGraph.html#a276338e88cc286f6a1808b1fcdf74d9a',1,'SVF::PTACallGraph']]],
+  ['totalcomplements_5938',['totalComplements',['../classSVF_1_1PersistentPointsToCache.html#a6d52fb93d22b2ce3e4e4acbdd82b88b0',1,'SVF::PersistentPointsToCache']]],
+  ['totalcondnum_5939',['totalCondNum',['../classSVF_1_1SaberCondAllocator.html#a76fad4d58db94d7c572876ba6f1adf83',1,'SVF::SaberCondAllocator']]],
+  ['totaldircalledge_5940',['totalDirCallEdge',['../classSVF_1_1SVFGStat.html#a1e93c866f3d780cb1cfdaf1dd143ea24',1,'SVF::SVFGStat']]],
+  ['totaldirretedge_5941',['totalDirRetEdge',['../classSVF_1_1SVFGStat.html#a63bd38fa93d665037932bcda3cc342c6',1,'SVF::SVFGStat']]],
+  ['totaledgenum_5942',['totalEdgeNum',['../classSVF_1_1SVFStmt.html#af1a9c2a18805560e46425bd98a35dea9',1,'SVF::SVFStmt']]],
+  ['totalicfgnode_5943',['totalICFGNode',['../classSVF_1_1ICFG.html#a5df6061b65d021cd73c66592ec79f052',1,'SVF::ICFG']]],
+  ['totalindcalledge_5944',['totalIndCallEdge',['../classSVF_1_1SVFGStat.html#a0f37f7f530e3fd494c9d6bb477ca68d5',1,'SVF::SVFGStat']]],
+  ['totalindedgelabels_5945',['totalIndEdgeLabels',['../classSVF_1_1SVFGStat.html#a0a39eb7aab584cc285c32545ddb57ad8',1,'SVF::SVFGStat']]],
+  ['totalindinedge_5946',['totalIndInEdge',['../classSVF_1_1SVFGStat.html#a8cd6254435994d9aea27b5519491fc6a',1,'SVF::SVFGStat']]],
+  ['totalindoutedge_5947',['totalIndOutEdge',['../classSVF_1_1SVFGStat.html#a982ce49695344bcde4cbbb445de69c8d',1,'SVF::SVFGStat']]],
+  ['totalindretedge_5948',['totalIndRetEdge',['../classSVF_1_1SVFGStat.html#afd0f43a7d7138a8013930fd103ce7c47',1,'SVF::SVFGStat']]],
+  ['totalinedge_5949',['totalInEdge',['../classSVF_1_1SVFGStat.html#a7929d8ba565ecb04efd236ccb19a4658',1,'SVF::SVFGStat']]],
+  ['totalintersections_5950',['totalIntersections',['../classSVF_1_1PersistentPointsToCache.html#a099c2319277797ac96aeee859ded9b22',1,'SVF::PersistentPointsToCache']]],
+  ['totalkind_5951',['totalKind',['../classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f',1,'SVF::GrammarBase']]],
+  ['totalmrnum_5952',['totalMRNum',['../classSVF_1_1MemRegion.html#a23857f301395cbbad10f6f93256a7398',1,'SVF::MemRegion']]],
+  ['totaloutedge_5953',['totalOutEdge',['../classSVF_1_1SVFGStat.html#a18211427d08f70d252512d387763ce4a',1,'SVF::SVFGStat']]],
+  ['totalptapagedge_5954',['totalPTAPAGEdge',['../classSVF_1_1IRGraph.html#a9f68ffe75e3d9457092ac2368aa08a27',1,'SVF::IRGraph']]],
+  ['totalsymnum_5955',['totalSymNum',['../classSVF_1_1SymbolTableInfo.html#a125faa0295b38d027b35bc3d76b3afdd',1,'SVF::SymbolTableInfo']]],
+  ['totaltime_5956',['TotalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afef85f0ecacd681357b3945f97d52964',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['totaltimeofconstructmemssa_5957',['TotalTimeOfConstructMemSSA',['../classSVF_1_1MemSSAStat.html#a7dd7e6af850b9d724ea580450bfd3afd',1,'SVF::MemSSAStat']]],
+  ['totalunions_5958',['totalUnions',['../classSVF_1_1PersistentPointsToCache.html#a7a1c296f9c2dfd49e5b60f52fb1901c2',1,'SVF::PersistentPointsToCache']]],
+  ['totalvernum_5959',['totalVERNum',['../classSVF_1_1MRVer.html#ad746973fdd724b71ebb251eb6930fccc',1,'SVF::MRVer']]],
+  ['totalvfgnode_5960',['totalVFGNode',['../classSVF_1_1VFG.html#acb181d4f9faa40578c80e2018e2742b8',1,'SVF::VFG']]],
+  ['touchcxtstmt_5961',['touchCxtStmt',['../classSVF_1_1LockAnalysis.html#aaa0f33f19d9f80eee98289119ba907d2',1,'SVF::LockAnalysis']]],
+  ['toz3expr_5962',['toZ3Expr',['../classSVF_1_1RelationSolver.html#af621897ab66f6475d5ee043ef2e33623',1,'SVF::RelationSolver::toZ3Expr()'],['../classSVF_1_1RelExeState.html#a8045abc5e96d0c7b373587c796180d3e',1,'SVF::RelExeState::toZ3Expr()']]],
+  ['tparm_5963',['tparm',['../extapi_8c.html#ac94fb461ca9c5d62db380781a58a7f82',1,'extapi.c']]],
+  ['tphi_5964',['TPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac0bc801ca111129101616fbd39cce950',1,'SVF::VFGNode']]],
+  ['tracememoryallocationsize_5965',['traceMemoryAllocationSize',['../classSVF_1_1AbstractInterpretation.html#ac9e8bc430cd530e47811e28f5a9fe963',1,'SVF::AbstractInterpretation']]],
+  ['trailingzeroscounter_5966',['TrailingZerosCounter',['../structSVF_1_1TrailingZerosCounter.html',1,'SVF']]],
+  ['translateaddr_5967',['translateAddr',['../classSVF_1_1SVFIR2AbsState.html#a21593731d5c76fe84a553037cfb4f558',1,'SVF::SVFIR2AbsState']]],
+  ['translatebinary_5968',['translateBinary',['../classSVF_1_1SVFIR2AbsState.html#a43a5d141547d1ceb37be60ce9647af91',1,'SVF::SVFIR2AbsState']]],
+  ['translatebinaryrel_5969',['translateBinaryRel',['../classSVF_1_1SVFIR2AbsState.html#aba122108bcba27e86c3b9079125698a2',1,'SVF::SVFIR2AbsState']]],
+  ['translatecall_5970',['translateCall',['../classSVF_1_1SVFIR2AbsState.html#a216039856e097a03cc158ce5729f1790',1,'SVF::SVFIR2AbsState']]],
+  ['translatecallrel_5971',['translateCallRel',['../classSVF_1_1SVFIR2AbsState.html#a1ea10ebb9cf317029ef3d45fca71d24d',1,'SVF::SVFIR2AbsState']]],
+  ['translatecmp_5972',['translateCmp',['../classSVF_1_1SVFIR2AbsState.html#ad574a6e7e28daebcd074021d831a1d1a',1,'SVF::SVFIR2AbsState']]],
+  ['translatecmprel_5973',['translateCmpRel',['../classSVF_1_1SVFIR2AbsState.html#ad44dba4fb64a2a664d315f7c71d095d4',1,'SVF::SVFIR2AbsState']]],
+  ['translatecopy_5974',['translateCopy',['../classSVF_1_1SVFIR2AbsState.html#a860fd3feafa0e76b53d4972f8c187dcd',1,'SVF::SVFIR2AbsState']]],
+  ['translatecopyrel_5975',['translateCopyRel',['../classSVF_1_1SVFIR2AbsState.html#ac232760ba4cfe4d5f7d9502ac00780fd',1,'SVF::SVFIR2AbsState']]],
+  ['translategep_5976',['translateGep',['../classSVF_1_1SVFIR2AbsState.html#a934d7f60b5610bc39c5319dab927aa1b',1,'SVF::SVFIR2AbsState']]],
+  ['translateload_5977',['translateLoad',['../classSVF_1_1SVFIR2AbsState.html#a79839998d6db869a690ab63fdf635873',1,'SVF::SVFIR2AbsState']]],
+  ['translateloadrel_5978',['translateLoadRel',['../classSVF_1_1SVFIR2AbsState.html#aff94d5675005beef8a3c761839d4a94b',1,'SVF::SVFIR2AbsState']]],
+  ['translatephi_5979',['translatePhi',['../classSVF_1_1SVFIR2AbsState.html#a21a24cc4e0c9e4750332e6faa036f6f2',1,'SVF::SVFIR2AbsState']]],
+  ['translatephirel_5980',['translatePhiRel',['../classSVF_1_1SVFIR2AbsState.html#a31f7fd30718aa9e0e4a1da5c6baed114',1,'SVF::SVFIR2AbsState']]],
+  ['translateret_5981',['translateRet',['../classSVF_1_1SVFIR2AbsState.html#a9cdb7cc614bd71884304c627f141fd3d',1,'SVF::SVFIR2AbsState']]],
+  ['translateretrel_5982',['translateRetRel',['../classSVF_1_1SVFIR2AbsState.html#aee3c4eed017d379ebc1724fa395c6d92',1,'SVF::SVFIR2AbsState']]],
+  ['translateselect_5983',['translateSelect',['../classSVF_1_1SVFIR2AbsState.html#a05ee8c5925b490f24f0d7662d0e00d42',1,'SVF::SVFIR2AbsState']]],
+  ['translateselectrel_5984',['translateSelectRel',['../classSVF_1_1SVFIR2AbsState.html#a562b6b73c7d6c2157ba369c4e25b0ed1',1,'SVF::SVFIR2AbsState']]],
+  ['translatestore_5985',['translateStore',['../classSVF_1_1SVFIR2AbsState.html#a4d5f3771dbe847f883594a0b1c2e246f',1,'SVF::SVFIR2AbsState']]],
+  ['translatestorerel_5986',['translateStoreRel',['../classSVF_1_1SVFIR2AbsState.html#a9ab9226636ccfc53d59017ad5e5a6ab7',1,'SVF::SVFIR2AbsState']]],
+  ['traversedendrogram_5987',['traverseDendrogram',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#abd44e3b07b0482bacf6b1a080fe650c6',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['traverseonicfg_5988',['traverseOnICFG',['../svf-ex_8cpp.html#a19f3fe331a1e7050a513672a91743b96',1,'svf-ex.cpp']]],
+  ['traverseonsvfstmt_5989',['traverseOnSVFStmt',['../svf-ex_8cpp.html#a8fa9e6583c354b1883a32b8abf98779f',1,'svf-ex.cpp']]],
+  ['traverseonvfg_5990',['traverseOnVFG',['../svf-ex_8cpp.html#a46d99c4d06304a22985a1e7bf04b3e2d',1,'svf-ex.cpp']]],
+  ['treenode_5991',['TreeNode',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html',1,'SVF::POCRHybridSolver::TreeNode'],['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a2bedc69e7062cf96058395d3f7ebd030',1,'SVF::POCRHybridSolver::TreeNode::TreeNode()']]],
+  ['true_5992',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true(): cJSON.cpp'],['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true(): cJSON.cpp']]],
+  ['trunc_5993',['TRUNC',['../classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1ab2b2f7dffed3d446a147fc7a27e66dd8',1,'SVF::CopyStmt']]],
+  ['twopi_5994',['TWOPI',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac6a6eaaa34322cf54953ba390895f0c5',1,'SVF::GraphProgram']]],
+  ['type_5995',['Type',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::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()'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()'],['../cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc',1,'type(): cJSON.cpp']]],
+  ['type2typeinfo_5996',['Type2TypeInfo',['../classSVF_1_1LLVMModuleSet.html#af2c555af91679d9e6d3009547ee11486',1,'SVF::LLVMModuleSet']]],
+  ['type2typeinfomap_5997',['Type2TypeInfoMap',['../classSVF_1_1LLVMModuleSet.html#a3c2eb10a20604bf794d2d10f2cffb116',1,'SVF::LLVMModuleSet']]],
+  ['type_5fdebug_5998',['TYPE_DEBUG',['../ObjTypeInference_8cpp.html#a8e62b6cad2019cc242c6fa579bae4988',1,'ObjTypeInference.cpp']]],
+  ['typeanalysis_5999',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html',1,'SVF::TypeAnalysis'],['../classSVF_1_1TypeAnalysis.html#aaec66fea631bfe00064182e17dfb9db3',1,'SVF::TypeAnalysis::TypeAnalysis()']]],
+  ['typeanalysis_2ecpp_6000',['TypeAnalysis.cpp',['../TypeAnalysis_8cpp.html',1,'']]],
+  ['typeanalysis_2eh_6001',['TypeAnalysis.h',['../TypeAnalysis_8h.html',1,'']]],
+  ['typeandinfoflag_6002',['typeAndInfoFlag',['../classSVF_1_1SVFBugEvent.html#a33496918c5f2adaf48a64f39d9c49567',1,'SVF::SVFBugEvent']]],
+  ['typebasedheapcloning_6003',['TypeBasedHeapCloning',['../classSVF_1_1SVFIR.html#ac7f1349df526a5a50741e9303f3bd446',1,'SVF::SVFIR']]],
+  ['typecpp_5fwpa_6004',['TypeCPP_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85acc2e7cbdd04a614a3b6189d2f01042f3',1,'SVF::PointerAnalysis']]],
+  ['typedefs_6005',['typedefs',['../classSVF_1_1DCHNode.html#abafa483be12690549fbcccaf4c3fa511',1,'SVF::DCHNode']]],
+  ['typeinference_6006',['typeInference',['../classSVF_1_1LLVMModuleSet.html#a2eb76d2c787a9a02f7d37c790d647e9c',1,'SVF::LLVMModuleSet']]],
+  ['typeinfo_6007',['typeinfo',['../classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e',1,'SVF::SVFType::typeinfo()'],['../classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf',1,'SVF::MemObj::typeInfo()']]],
+  ['typelocsetsmap_6008',['typeLocSetsMap',['../classSVF_1_1SVFIR.html#a63ede1d8d381b91f81b93965dcffa288',1,'SVF::SVFIR::typeLocSetsMap()'],['../classSVF_1_1SVFIR.html#ad74ca54e6d62d4410038ef900ea8f150',1,'SVF::SVFIR::TypeLocSetsMap()']]],
+  ['typemalloc_6009',['TYPEMALLOC',['../ObjTypeInference_8cpp.html#a5f334de99eb942058f27a1025c346f70',1,'ObjTypeInference.cpp']]],
+  ['typemap_6010',['TypeMap',['../classSVF_1_1POCRSolver.html#ac4d92529d21db89c547e20e886060b0f',1,'SVF::POCRSolver']]],
+  ['typename_6011',['typeName',['../classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc',1,'SVF::DCHNode']]],
+  ['typeofelement_6012',['typeOfElement',['../classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a',1,'SVF::SVFArrayType']]],
+  ['typeprint_6013',['TypePrint',['../classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd',1,'SVF::Options']]],
+  ['typesizedifftest_6014',['typeSizeDiffTest',['../classSVF_1_1ObjTypeInference.html#a99eaaef89f214fc8587349361600b44d',1,'SVF::ObjTypeInference']]]
 ];