svf-tools 1.0.913 → 1.0.915

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

@@ -1,55 +1,55 @@
 var searchData=
 [
-  ['tct_10631',['TCT',['../classSVF_1_1TCT.html#a8eaa746805b0afc17329d0ba4ad6a887',1,'SVF::TCT']]],
-  ['tctedge_10632',['TCTEdge',['../classSVF_1_1TCTEdge.html#a2e0ee6eeade83aee75d65080e976fca4',1,'SVF::TCTEdge']]],
-  ['tctnode_10633',['TCTNode',['../classSVF_1_1TCTNode.html#afdb40d78890c84d47441ade941a6d8c6',1,'SVF::TCTNode']]],
-  ['tdforkpe_10634',['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)']]],
-  ['tdjoinpe_10635',['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)']]],
-  ['teq_10636',['teq',['../classSVF_1_1DCHGraph.html#acb76ab20da1bfbec00f63d08e48cbddd',1,'SVF::DCHGraph']]],
-  ['test_10637',['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_10638',['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_10639',['test_print',['../classSymblicAbstractionTest.html#a99d94e268fb6e622a85a9acae737fd6f',1,'SymblicAbstractionTest']]],
-  ['testindcallreachability_10640',['testIndCallReachability',['../classSVF_1_1ContextDDA.html#a05ac33ca33efb58099839f72050bb008',1,'SVF::ContextDDA::testIndCallReachability()'],['../classSVF_1_1FlowDDA.html#ae48534b36222578855708c298f81f554',1,'SVF::FlowDDA::testIndCallReachability()']]],
-  ['testoutofbudget_10641',['testOutOfBudget',['../classSVF_1_1DDAVFSolver.html#a3fb52286c5324ea3d58e22c630b307e3',1,'SVF::DDAVFSolver']]],
-  ['testrelexestate1_5f1_10642',['testRelExeState1_1',['../classSymblicAbstractionTest.html#acc4852ec2f03ec67e39c67629275cdf5',1,'SymblicAbstractionTest']]],
-  ['testrelexestate1_5f2_10643',['testRelExeState1_2',['../classSymblicAbstractionTest.html#a0316fb86d1751ecacf5845ca07764f40',1,'SymblicAbstractionTest']]],
-  ['testrelexestate2_5f1_10644',['testRelExeState2_1',['../classSymblicAbstractionTest.html#a32fbde1fbb997be55abfdc308de68fc1',1,'SymblicAbstractionTest']]],
-  ['testrelexestate2_5f2_10645',['testRelExeState2_2',['../classSymblicAbstractionTest.html#a40b9879a5465f960bbd4fad6654304aa',1,'SymblicAbstractionTest']]],
-  ['testrelexestate2_5f3_10646',['testRelExeState2_3',['../classSymblicAbstractionTest.html#a7c319b15dd3bd82a7c805ba6dd60beab',1,'SymblicAbstractionTest']]],
-  ['testrelexestate2_5f4_10647',['testRelExeState2_4',['../classSymblicAbstractionTest.html#a2e3d2a2d9a78fffa641523a2e4809c02',1,'SymblicAbstractionTest']]],
-  ['testrelexestate2_5f5_10648',['testRelExeState2_5',['../classSymblicAbstractionTest.html#aaba97f696f9518c31af8ace984b39bcf',1,'SymblicAbstractionTest']]],
-  ['testrelexestate3_5f1_10649',['testRelExeState3_1',['../classSymblicAbstractionTest.html#ac3016e7a57f46af01d20de7e785a4cce',1,'SymblicAbstractionTest']]],
-  ['testrelexestate3_5f2_10650',['testRelExeState3_2',['../classSymblicAbstractionTest.html#a56541a5e9bc61f092ee3c48700f00bf7',1,'SymblicAbstractionTest']]],
-  ['testrelexestate3_5f3_10651',['testRelExeState3_3',['../classSymblicAbstractionTest.html#a7c87dfedc9c7b32df42f14334bc732b0',1,'SymblicAbstractionTest']]],
-  ['testrelexestate3_5f4_10652',['testRelExeState3_4',['../classSymblicAbstractionTest.html#ae7b7853f6a6a3cbc2c04d3dfea83ad43',1,'SymblicAbstractionTest']]],
-  ['testrelexestate4_5f1_10653',['testRelExeState4_1',['../classSymblicAbstractionTest.html#a986b2278abd2ee64507fa769a66c999c',1,'SymblicAbstractionTest']]],
-  ['testsvalidation_10654',['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_10655',['tgoto',['../extapi_8c.html#a2ef27396e2742b0ab682b27153d1a0e3',1,'extapi.c']]],
-  ['threadapi_10656',['ThreadAPI',['../classSVF_1_1ThreadAPI.html#a9c5ea333cc420bc3b8d8765c664ab128',1,'SVF::ThreadAPI']]],
-  ['threadcallgraph_10657',['ThreadCallGraph',['../classSVF_1_1ThreadCallGraph.html#a09946f39049bad87401b6e1567a7fb19',1,'SVF::ThreadCallGraph']]],
-  ['threadcallgraphbuilder_10658',['ThreadCallGraphBuilder',['../classSVF_1_1ThreadCallGraphBuilder.html#afaf36ca5ff95c90f27424564d60e2c1c',1,'SVF::ThreadCallGraphBuilder']]],
-  ['threadforkedge_10659',['ThreadForkEdge',['../classSVF_1_1ThreadForkEdge.html#ae55b3e06b3ed22780d917dbb225561c1',1,'SVF::ThreadForkEdge']]],
-  ['threadjoinedge_10660',['ThreadJoinEdge',['../classSVF_1_1ThreadJoinEdge.html#abacb4b5e4badee46f9517b2d84798a3e',1,'SVF::ThreadJoinEdge']]],
-  ['threadmhpindsvfgedge_10661',['ThreadMHPIndSVFGEdge',['../classSVF_1_1ThreadMHPIndSVFGEdge.html#ac5055bd4ff42476915b5d02ba4f1986b',1,'SVF::ThreadMHPIndSVFGEdge']]],
-  ['timelimitreached_10662',['timeLimitReached',['../namespaceSVF_1_1SVFUtil.html#add4cd21115988f9f5eec12e268ddf1d9',1,'SVF::SVFUtil']]],
-  ['tlvfnodeend_10663',['TLVFNodeEnd',['../classSVF_1_1SVFGStat.html#a17e479f0258291998369a2eb325ba3d7',1,'SVF::SVFGStat']]],
-  ['tlvfnodestart_10664',['TLVFNodeStart',['../classSVF_1_1SVFGStat.html#a2e4aac52fdc2fd119847afbeba634de9',1,'SVF::SVFGStat']]],
-  ['tmpnam_5fr_10665',['tmpnam_r',['../extapi_8c.html#a0d302127bd577711c2af50614667171e',1,'extapi.c']]],
-  ['to_5fstring_10666',['to_string',['../classSVF_1_1NumericLiteral.html#ac154ddeb6516e240e091f4867c4c3593',1,'SVF::NumericLiteral::to_string()'],['../classSVF_1_1Z3Expr.html#a1da8e647e12c0e105271eadbd72f437e',1,'SVF::Z3Expr::to_string()']]],
-  ['tojson_10667',['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_10668',['toNodeBS',['../classSVF_1_1PointsTo.html#ad1d19d52800341484a136c6d5e0112ea',1,'SVF::PointsTo']]],
-  ['top_10669',['top',['../classSVF_1_1AbstractState.html#ac34dc4e111967507950bd5afe4a59ea0',1,'SVF::AbstractState::top()'],['../classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b',1,'SVF::IntervalValue::top()']]],
-  ['toponodestack_10670',['topoNodeStack',['../classSVF_1_1SCCDetection.html#a6502c0a765ac1653474ffee651949f93',1,'SVF::SCCDetection']]],
-  ['tostring_10671',['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()']]],
-  ['touchcxtstmt_10672',['touchCxtStmt',['../classSVF_1_1LockAnalysis.html#aaa0f33f19d9f80eee98289119ba907d2',1,'SVF::LockAnalysis']]],
-  ['toz3expr_10673',['toZ3Expr',['../classSVF_1_1RelationSolver.html#af621897ab66f6475d5ee043ef2e33623',1,'SVF::RelationSolver::toZ3Expr()'],['../classSVF_1_1RelExeState.html#a8045abc5e96d0c7b373587c796180d3e',1,'SVF::RelExeState::toZ3Expr()']]],
-  ['tparm_10674',['tparm',['../extapi_8c.html#ac94fb461ca9c5d62db380781a58a7f82',1,'extapi.c']]],
-  ['tracememoryallocationsize_10675',['traceMemoryAllocationSize',['../classSVF_1_1AbstractInterpretation.html#ac9e8bc430cd530e47811e28f5a9fe963',1,'SVF::AbstractInterpretation']]],
-  ['traversedendrogram_10676',['traverseDendrogram',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#abd44e3b07b0482bacf6b1a080fe650c6',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['traverseonicfg_10677',['traverseOnICFG',['../svf-ex_8cpp.html#a19f3fe331a1e7050a513672a91743b96',1,'svf-ex.cpp']]],
-  ['traverseonsvfstmt_10678',['traverseOnSVFStmt',['../svf-ex_8cpp.html#a8fa9e6583c354b1883a32b8abf98779f',1,'svf-ex.cpp']]],
-  ['traverseonvfg_10679',['traverseOnVFG',['../svf-ex_8cpp.html#a46d99c4d06304a22985a1e7bf04b3e2d',1,'svf-ex.cpp']]],
-  ['treenode_10680',['TreeNode',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a2bedc69e7062cf96058395d3f7ebd030',1,'SVF::POCRHybridSolver::TreeNode']]],
-  ['typeanalysis_10681',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html#aaec66fea631bfe00064182e17dfb9db3',1,'SVF::TypeAnalysis']]],
-  ['typesizedifftest_10682',['typeSizeDiffTest',['../classSVF_1_1ObjTypeInference.html#a99eaaef89f214fc8587349361600b44d',1,'SVF::ObjTypeInference']]]
+  ['tct_10606',['TCT',['../classSVF_1_1TCT.html#a8eaa746805b0afc17329d0ba4ad6a887',1,'SVF::TCT']]],
+  ['tctedge_10607',['TCTEdge',['../classSVF_1_1TCTEdge.html#a2e0ee6eeade83aee75d65080e976fca4',1,'SVF::TCTEdge']]],
+  ['tctnode_10608',['TCTNode',['../classSVF_1_1TCTNode.html#afdb40d78890c84d47441ade941a6d8c6',1,'SVF::TCTNode']]],
+  ['tdforkpe_10609',['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)']]],
+  ['tdjoinpe_10610',['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)']]],
+  ['teq_10611',['teq',['../classSVF_1_1DCHGraph.html#acb76ab20da1bfbec00f63d08e48cbddd',1,'SVF::DCHGraph']]],
+  ['test_10612',['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_10613',['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_10614',['test_print',['../classSymblicAbstractionTest.html#a99d94e268fb6e622a85a9acae737fd6f',1,'SymblicAbstractionTest']]],
+  ['testindcallreachability_10615',['testIndCallReachability',['../classSVF_1_1ContextDDA.html#a05ac33ca33efb58099839f72050bb008',1,'SVF::ContextDDA::testIndCallReachability()'],['../classSVF_1_1FlowDDA.html#ae48534b36222578855708c298f81f554',1,'SVF::FlowDDA::testIndCallReachability()']]],
+  ['testoutofbudget_10616',['testOutOfBudget',['../classSVF_1_1DDAVFSolver.html#a3fb52286c5324ea3d58e22c630b307e3',1,'SVF::DDAVFSolver']]],
+  ['testrelexestate1_5f1_10617',['testRelExeState1_1',['../classSymblicAbstractionTest.html#acc4852ec2f03ec67e39c67629275cdf5',1,'SymblicAbstractionTest']]],
+  ['testrelexestate1_5f2_10618',['testRelExeState1_2',['../classSymblicAbstractionTest.html#a0316fb86d1751ecacf5845ca07764f40',1,'SymblicAbstractionTest']]],
+  ['testrelexestate2_5f1_10619',['testRelExeState2_1',['../classSymblicAbstractionTest.html#a32fbde1fbb997be55abfdc308de68fc1',1,'SymblicAbstractionTest']]],
+  ['testrelexestate2_5f2_10620',['testRelExeState2_2',['../classSymblicAbstractionTest.html#a40b9879a5465f960bbd4fad6654304aa',1,'SymblicAbstractionTest']]],
+  ['testrelexestate2_5f3_10621',['testRelExeState2_3',['../classSymblicAbstractionTest.html#a7c319b15dd3bd82a7c805ba6dd60beab',1,'SymblicAbstractionTest']]],
+  ['testrelexestate2_5f4_10622',['testRelExeState2_4',['../classSymblicAbstractionTest.html#a2e3d2a2d9a78fffa641523a2e4809c02',1,'SymblicAbstractionTest']]],
+  ['testrelexestate2_5f5_10623',['testRelExeState2_5',['../classSymblicAbstractionTest.html#aaba97f696f9518c31af8ace984b39bcf',1,'SymblicAbstractionTest']]],
+  ['testrelexestate3_5f1_10624',['testRelExeState3_1',['../classSymblicAbstractionTest.html#ac3016e7a57f46af01d20de7e785a4cce',1,'SymblicAbstractionTest']]],
+  ['testrelexestate3_5f2_10625',['testRelExeState3_2',['../classSymblicAbstractionTest.html#a56541a5e9bc61f092ee3c48700f00bf7',1,'SymblicAbstractionTest']]],
+  ['testrelexestate3_5f3_10626',['testRelExeState3_3',['../classSymblicAbstractionTest.html#a7c87dfedc9c7b32df42f14334bc732b0',1,'SymblicAbstractionTest']]],
+  ['testrelexestate3_5f4_10627',['testRelExeState3_4',['../classSymblicAbstractionTest.html#ae7b7853f6a6a3cbc2c04d3dfea83ad43',1,'SymblicAbstractionTest']]],
+  ['testrelexestate4_5f1_10628',['testRelExeState4_1',['../classSymblicAbstractionTest.html#a986b2278abd2ee64507fa769a66c999c',1,'SymblicAbstractionTest']]],
+  ['testsvalidation_10629',['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_10630',['tgoto',['../extapi_8c.html#a2ef27396e2742b0ab682b27153d1a0e3',1,'extapi.c']]],
+  ['threadapi_10631',['ThreadAPI',['../classSVF_1_1ThreadAPI.html#a9c5ea333cc420bc3b8d8765c664ab128',1,'SVF::ThreadAPI']]],
+  ['threadcallgraph_10632',['ThreadCallGraph',['../classSVF_1_1ThreadCallGraph.html#a09946f39049bad87401b6e1567a7fb19',1,'SVF::ThreadCallGraph']]],
+  ['threadcallgraphbuilder_10633',['ThreadCallGraphBuilder',['../classSVF_1_1ThreadCallGraphBuilder.html#afaf36ca5ff95c90f27424564d60e2c1c',1,'SVF::ThreadCallGraphBuilder']]],
+  ['threadforkedge_10634',['ThreadForkEdge',['../classSVF_1_1ThreadForkEdge.html#ae55b3e06b3ed22780d917dbb225561c1',1,'SVF::ThreadForkEdge']]],
+  ['threadjoinedge_10635',['ThreadJoinEdge',['../classSVF_1_1ThreadJoinEdge.html#abacb4b5e4badee46f9517b2d84798a3e',1,'SVF::ThreadJoinEdge']]],
+  ['threadmhpindsvfgedge_10636',['ThreadMHPIndSVFGEdge',['../classSVF_1_1ThreadMHPIndSVFGEdge.html#ac5055bd4ff42476915b5d02ba4f1986b',1,'SVF::ThreadMHPIndSVFGEdge']]],
+  ['timelimitreached_10637',['timeLimitReached',['../namespaceSVF_1_1SVFUtil.html#add4cd21115988f9f5eec12e268ddf1d9',1,'SVF::SVFUtil']]],
+  ['tlvfnodeend_10638',['TLVFNodeEnd',['../classSVF_1_1SVFGStat.html#a17e479f0258291998369a2eb325ba3d7',1,'SVF::SVFGStat']]],
+  ['tlvfnodestart_10639',['TLVFNodeStart',['../classSVF_1_1SVFGStat.html#a2e4aac52fdc2fd119847afbeba634de9',1,'SVF::SVFGStat']]],
+  ['tmpnam_5fr_10640',['tmpnam_r',['../extapi_8c.html#a0d302127bd577711c2af50614667171e',1,'extapi.c']]],
+  ['to_5fstring_10641',['to_string',['../classSVF_1_1NumericLiteral.html#ac154ddeb6516e240e091f4867c4c3593',1,'SVF::NumericLiteral::to_string()'],['../classSVF_1_1Z3Expr.html#a1da8e647e12c0e105271eadbd72f437e',1,'SVF::Z3Expr::to_string()']]],
+  ['tojson_10642',['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_10643',['toNodeBS',['../classSVF_1_1PointsTo.html#ad1d19d52800341484a136c6d5e0112ea',1,'SVF::PointsTo']]],
+  ['top_10644',['top',['../classSVF_1_1AbstractState.html#ac34dc4e111967507950bd5afe4a59ea0',1,'SVF::AbstractState::top()'],['../classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b',1,'SVF::IntervalValue::top()']]],
+  ['toponodestack_10645',['topoNodeStack',['../classSVF_1_1SCCDetection.html#a6502c0a765ac1653474ffee651949f93',1,'SVF::SCCDetection']]],
+  ['tostring_10646',['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()']]],
+  ['touchcxtstmt_10647',['touchCxtStmt',['../classSVF_1_1LockAnalysis.html#aaa0f33f19d9f80eee98289119ba907d2',1,'SVF::LockAnalysis']]],
+  ['toz3expr_10648',['toZ3Expr',['../classSVF_1_1RelationSolver.html#af621897ab66f6475d5ee043ef2e33623',1,'SVF::RelationSolver::toZ3Expr()'],['../classSVF_1_1RelExeState.html#a8045abc5e96d0c7b373587c796180d3e',1,'SVF::RelExeState::toZ3Expr()']]],
+  ['tparm_10649',['tparm',['../extapi_8c.html#ac94fb461ca9c5d62db380781a58a7f82',1,'extapi.c']]],
+  ['tracememoryallocationsize_10650',['traceMemoryAllocationSize',['../classSVF_1_1AbstractInterpretation.html#a90b54f715dfa24657bd3e058617bffac',1,'SVF::AbstractInterpretation']]],
+  ['traversedendrogram_10651',['traverseDendrogram',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#abd44e3b07b0482bacf6b1a080fe650c6',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['traverseonicfg_10652',['traverseOnICFG',['../svf-ex_8cpp.html#a19f3fe331a1e7050a513672a91743b96',1,'svf-ex.cpp']]],
+  ['traverseonsvfstmt_10653',['traverseOnSVFStmt',['../svf-ex_8cpp.html#a8fa9e6583c354b1883a32b8abf98779f',1,'svf-ex.cpp']]],
+  ['traverseonvfg_10654',['traverseOnVFG',['../svf-ex_8cpp.html#a46d99c4d06304a22985a1e7bf04b3e2d',1,'svf-ex.cpp']]],
+  ['treenode_10655',['TreeNode',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a2bedc69e7062cf96058395d3f7ebd030',1,'SVF::POCRHybridSolver::TreeNode']]],
+  ['typeanalysis_10656',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html#aaec66fea631bfe00064182e17dfb9db3',1,'SVF::TypeAnalysis']]],
+  ['typesizedifftest_10657',['typeSizeDiffTest',['../classSVF_1_1ObjTypeInference.html#a99eaaef89f214fc8587349361600b44d',1,'SVF::ObjTypeInference']]]
 ];

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

@@ -1,44 +1,44 @@
 var searchData=
 [
-  ['ub_10683',['ub',['../structSVF_1_1AbstractValue.html#aecd8d41379dd6496772537ad51d1cb02',1,'SVF::AbstractValue::ub()'],['../classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9',1,'SVF::IntervalValue::ub()']]],
-  ['unaryopstmt_10684',['UnaryOPStmt',['../classSVF_1_1UnaryOPStmt.html#a033d3ba05ce96e04b63f2cf455518582',1,'SVF::UnaryOPStmt::UnaryOPStmt()'],['../classSVF_1_1UnaryOPStmt.html#aaad7785c0e6ea468cf7df8eb39cfe327',1,'SVF::UnaryOPStmt::UnaryOPStmt(const UnaryOPStmt &)'],['../classSVF_1_1UnaryOPStmt.html#a2b91333ac3d4b5e1099590aeb15d38ba',1,'SVF::UnaryOPStmt::UnaryOPStmt(SVFVar *s, SVFVar *d, u32_t oc)']]],
-  ['unaryopvfgnode_10685',['UnaryOPVFGNode',['../classSVF_1_1UnaryOPVFGNode.html#ae5298888e597b2a379f9c9ebb5bd9132',1,'SVF::UnaryOPVFGNode::UnaryOPVFGNode()'],['../classSVF_1_1UnaryOPVFGNode.html#a77b6cf315bdacb49e66bca15628a12b1',1,'SVF::UnaryOPVFGNode::UnaryOPVFGNode(const UnaryOPVFGNode &)'],['../classSVF_1_1UnaryOPVFGNode.html#acefca73fdac419025ad5109c7b2c9b0c',1,'SVF::UnaryOPVFGNode::UnaryOPVFGNode(NodeID id, const PAGNode *r)']]],
-  ['unifyfunctionexit_10686',['UnifyFunctionExit',['../classSVF_1_1MergeFunctionRets.html#a8c04750179ee48d283c5db4d84b3eca1',1,'SVF::MergeFunctionRets']]],
-  ['unionddapts_10687',['unionDDAPts',['../classSVF_1_1DDAVFSolver.html#a99764ee5bc19378795fe464e9036e78b',1,'SVF::DDAVFSolver::unionDDAPts(CPtSet &pts, const CPtSet &targetPts)'],['../classSVF_1_1DDAVFSolver.html#ae7949e141978474f3b6cb510bacafa37',1,'SVF::DDAVFSolver::unionDDAPts(DPIm dpm, const CPtSet &targetPts)'],['../classSVF_1_1FlowDDA.html#aced776b355c545a3a4a6974be3623590',1,'SVF::FlowDDA::unionDDAPts()']]],
-  ['unionpts_10688',['unionPts',['../classSVF_1_1PTData.html#af7aa22f11558c12ff16612174e2221dd',1,'SVF::PTData::unionPts(const Key &dstVar, const Key &srcVar)=0'],['../classSVF_1_1PTData.html#aa8f281fbccfbdb13ab7671094d78a5c0',1,'SVF::PTData::unionPts(const Key &dstVar, const DataSet &srcDataSet)=0'],['../classSVF_1_1VersionedPTData.html#a8b9d50b5ad1c779b2ff231f07f3002ea',1,'SVF::VersionedPTData::unionPts(const VersionedKey &dstVar, const VersionedKey &srcVar)=0'],['../classSVF_1_1VersionedPTData.html#a598f4d08e52a60f7d38b8d436c7d1841',1,'SVF::VersionedPTData::unionPts(const VersionedKey &dstVar, const Key &srcVar)=0'],['../classSVF_1_1VersionedPTData.html#a8f2941ff3a5f0fd489fec723f5c9adcd',1,'SVF::VersionedPTData::unionPts(const Key &dstVar, const VersionedKey &srcVar)=0'],['../classSVF_1_1VersionedPTData.html#ac87e856efea485d32de8948495b58951',1,'SVF::VersionedPTData::unionPts(const VersionedKey &dstVar, const DataSet &srcDataSet)=0'],['../classSVF_1_1MutablePTData.html#a08528faf56bf68fd0ddbb6c5ffa3d24f',1,'SVF::MutablePTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1MutablePTData.html#a124e8cc8d2dbbd70682a4b7845e5d600',1,'SVF::MutablePTData::unionPts(const Key &dstKey, const DataSet &srcDataSet) override'],['../classSVF_1_1MutablePTData.html#abaf96c47ab029c6bc91ff23a4c061505',1,'SVF::MutablePTData::unionPts(DataSet &dstDataSet, const DataSet &srcDataSet)'],['../classSVF_1_1MutableDiffPTData.html#a1596ef828786325ca06a3f5bada31757',1,'SVF::MutableDiffPTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1MutableDiffPTData.html#a746c384cf4633c3b07b4362e7b6c087a',1,'SVF::MutableDiffPTData::unionPts(const Key &dstKey, const DataSet &srcDataSet) override'],['../classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196',1,'SVF::MutableDFPTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1MutableDFPTData.html#ab675653138960b16f23c801298e80f48',1,'SVF::MutableDFPTData::unionPts(const Key &dstKey, const DataSet &srcDataSet) override'],['../classSVF_1_1MutableDFPTData.html#a8b30798ad9485a88238cc340e5da3db7',1,'SVF::MutableDFPTData::unionPts(DataSet &dstDataSet, const DataSet &srcDataSet)'],['../classSVF_1_1MutableVersionedPTData.html#ae79628fc101567ba84215b624dd00c01',1,'SVF::MutableVersionedPTData::unionPts(const Key &dstVar, const Key &srcVar) override'],['../classSVF_1_1MutableVersionedPTData.html#a56e752a83620f482a4b1e2f8d395dd75',1,'SVF::MutableVersionedPTData::unionPts(const VersionedKey &dstVar, const VersionedKey &srcVar) override'],['../classSVF_1_1MutableVersionedPTData.html#a5647b7fad5c14f7ec57d3de3480758eb',1,'SVF::MutableVersionedPTData::unionPts(const VersionedKey &dstVar, const Key &srcVar) override'],['../classSVF_1_1MutableVersionedPTData.html#a9967c530d3955a0a726b7a00653ef0ba',1,'SVF::MutableVersionedPTData::unionPts(const Key &dstVar, const VersionedKey &srcVar) override'],['../classSVF_1_1MutableVersionedPTData.html#aa9ab46b7afc7f47df20e74bda300dc42',1,'SVF::MutableVersionedPTData::unionPts(const Key &dstVar, const DataSet &srcDataSet) override'],['../classSVF_1_1MutableVersionedPTData.html#aa9d24a4defb025c075e4ec5bc7f3b618',1,'SVF::MutableVersionedPTData::unionPts(const VersionedKey &dstVar, const DataSet &srcDataSet) override'],['../classSVF_1_1PersistentPointsToCache.html#a178b49cca2c22e874ff9e772cc4df72b',1,'SVF::PersistentPointsToCache::unionPts()'],['../classSVF_1_1PersistentPTData.html#a5610c0d4a06a9c97d6bf79c494366943',1,'SVF::PersistentPTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1PersistentPTData.html#a75f78272350b64aa00fd739f352fecb5',1,'SVF::PersistentPTData::unionPts(const Key &dstKey, const DataSet &srcData) override'],['../classSVF_1_1PersistentDiffPTData.html#ac8cb860b427962be8c6e1f17e5f0fc21',1,'SVF::PersistentDiffPTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1PersistentDiffPTData.html#af6ccac71f0232e46fef1da82cba01959',1,'SVF::PersistentDiffPTData::unionPts(const Key &dstKey, const DataSet &srcDataSet) override'],['../classSVF_1_1PersistentDFPTData.html#a2d0924d1e9149e198d049777e2fcbd7a',1,'SVF::PersistentDFPTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1PersistentDFPTData.html#a2c4e4e53d1ce79dfd5702ba41f26f286',1,'SVF::PersistentDFPTData::unionPts(const Key &dstKey, const DataSet &srcDataSet) override'],['../classSVF_1_1PersistentVersionedPTData.html#a14419b91e9c790623060b10b13f9ad13',1,'SVF::PersistentVersionedPTData::unionPts(const Key &dstVar, const Key &srcVar) override'],['../classSVF_1_1PersistentVersionedPTData.html#ae0eafb4667af1ba821247f9f4199d52f',1,'SVF::PersistentVersionedPTData::unionPts(const VersionedKey &dstVar, const VersionedKey &srcVar) override'],['../classSVF_1_1PersistentVersionedPTData.html#a5e6ab689e9a9eefdd5f6bf04ab279940',1,'SVF::PersistentVersionedPTData::unionPts(const VersionedKey &dstVar, const Key &srcVar) override'],['../classSVF_1_1PersistentVersionedPTData.html#adb56e144709cab8efe057c3215e30b9b',1,'SVF::PersistentVersionedPTData::unionPts(const Key &dstVar, const VersionedKey &srcVar) override'],['../classSVF_1_1PersistentVersionedPTData.html#aaf048cdd17875dd3a9adca2aabcbfd7e',1,'SVF::PersistentVersionedPTData::unionPts(const Key &dstVar, const DataSet &srcDataSet) override'],['../classSVF_1_1PersistentVersionedPTData.html#ab4828e2b42d646463bfd23c2154c3b8f',1,'SVF::PersistentVersionedPTData::unionPts(const VersionedKey &dstVar, const DataSet &srcDataSet) override'],['../classSVF_1_1BVDataPTAImpl.html#ae7073c07bfd7912f888d54d4652c7cc2',1,'SVF::BVDataPTAImpl::unionPts(NodeID id, const PointsTo &target)'],['../classSVF_1_1BVDataPTAImpl.html#ad5e657b856681a534a8990df35ea08d0',1,'SVF::BVDataPTAImpl::unionPts(NodeID id, NodeID ptd)'],['../classSVF_1_1CondPTAImpl.html#a1a95d1d6ac48157c896d9895cff697b4',1,'SVF::CondPTAImpl::unionPts(CVar id, const CPtSet &target)'],['../classSVF_1_1CondPTAImpl.html#a4ad5da56c8b7bc75bf2dc30a1bcf1552',1,'SVF::CondPTAImpl::unionPts(CVar id, CVar ptd)'],['../classSVF_1_1Andersen.html#ab7dadfd4d810be4863f03ed996b3b3c4',1,'SVF::Andersen::unionPts(NodeID id, const PointsTo &target)'],['../classSVF_1_1Andersen.html#a8da98a9d33a6e9be329309f4af65e969',1,'SVF::Andersen::unionPts(NodeID id, NodeID ptd)'],['../classSVF_1_1Steensgaard.html#a61524c5a3521939b1546c78c68730c20',1,'SVF::Steensgaard::unionPts(NodeID id, const PointsTo &target)'],['../classSVF_1_1Steensgaard.html#afcb7f051f50b65a09ec2bc065bb70735',1,'SVF::Steensgaard::unionPts(NodeID id, NodeID ptd)']]],
-  ['unionptsfromid_10689',['unionPtsFromId',['../classSVF_1_1PersistentPTData.html#a142ea74fa724f047db14d3b573d9eee8',1,'SVF::PersistentPTData']]],
-  ['unionptsfromin_10690',['unionPtsFromIn',['../classSVF_1_1FlowSensitive.html#a16d757abf69ad77951b808dc18ca2999',1,'SVF::FlowSensitive']]],
-  ['unionptsfromtop_10691',['unionPtsFromTop',['../classSVF_1_1FlowSensitive.html#a49104435f8d20015907a1c8f58a76577',1,'SVF::FlowSensitive']]],
-  ['unionptsthroughids_10692',['unionPtsThroughIds',['../classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c',1,'SVF::PersistentDFPTData']]],
-  ['unionwith_10693',['unionWith',['../structSVF_1_1SparseBitVectorElement.html#a34e70705e4618e6d79a19ee7725e4960',1,'SVF::SparseBitVectorElement']]],
-  ['unset_10694',['unset',['../classSVF_1_1NodeIDAllocator.html#af7952ef5667039c9be86a589419b35a8',1,'SVF::NodeIDAllocator']]],
-  ['update_5foffset_10695',['update_offset',['../cJSON_8cpp.html#af5fb173126786c1e3f90b6df6e2500c5',1,'cJSON.cpp']]],
-  ['updatealiasmrs_10696',['updateAliasMRs',['../classSVF_1_1MRGenerator.html#a9c1da53188729eb743e1a33bbad87af7',1,'SVF::MRGenerator']]],
-  ['updatealldfinfromin_10697',['updateAllDFInFromIn',['../classSVF_1_1DFPTData.html#a506a2be8f909663d59245254bddea00b',1,'SVF::DFPTData::updateAllDFInFromIn()'],['../classSVF_1_1MutableDFPTData.html#a23fca889a29399a91dfc916f5fab46ee',1,'SVF::MutableDFPTData::updateAllDFInFromIn()'],['../classSVF_1_1MutableIncDFPTData.html#ad68b23ed56b2c18bf75c23a658523404',1,'SVF::MutableIncDFPTData::updateAllDFInFromIn()'],['../classSVF_1_1PersistentDFPTData.html#a297cfa81c47d76f989a952edfc34c021',1,'SVF::PersistentDFPTData::updateAllDFInFromIn()'],['../classSVF_1_1PersistentIncDFPTData.html#a8898a6164a0d83f179b9ee6175ddc1fe',1,'SVF::PersistentIncDFPTData::updateAllDFInFromIn()']]],
-  ['updatealldfinfromout_10698',['updateAllDFInFromOut',['../classSVF_1_1DFPTData.html#a96a5d7e867095b3c215c73599fd31c19',1,'SVF::DFPTData::updateAllDFInFromOut()'],['../classSVF_1_1MutableDFPTData.html#a7c7eff549ea0d153e7a72ed5bf79c30e',1,'SVF::MutableDFPTData::updateAllDFInFromOut()'],['../classSVF_1_1MutableIncDFPTData.html#a2dd9dad547c389d5cd488b165dd145eb',1,'SVF::MutableIncDFPTData::updateAllDFInFromOut()'],['../classSVF_1_1PersistentDFPTData.html#a57e8efefa1b49bd5fecd363a65b3bced',1,'SVF::PersistentDFPTData::updateAllDFInFromOut()'],['../classSVF_1_1PersistentIncDFPTData.html#a5291cccfb9bd6cb93ff931e4f2465d40',1,'SVF::PersistentIncDFPTData::updateAllDFInFromOut()']]],
-  ['updatealldfoutfromin_10699',['updateAllDFOutFromIn',['../classSVF_1_1DFPTData.html#a7e4ae809b40d55448de0103746254158',1,'SVF::DFPTData::updateAllDFOutFromIn()'],['../classSVF_1_1MutableDFPTData.html#a51365299a34e3386798e78a076d6e1f5',1,'SVF::MutableDFPTData::updateAllDFOutFromIn()'],['../classSVF_1_1MutableIncDFPTData.html#a3f397aaf4f3d6d04ec005c2577652e04',1,'SVF::MutableIncDFPTData::updateAllDFOutFromIn()'],['../classSVF_1_1PersistentDFPTData.html#aa263aa1f78fd85d1104a907042f58177',1,'SVF::PersistentDFPTData::updateAllDFOutFromIn()'],['../classSVF_1_1PersistentIncDFPTData.html#a451756aea2a3a0c895b75b7239672fdd',1,'SVF::PersistentIncDFPTData::updateAllDFOutFromIn()']]],
-  ['updateancestorthreads_10700',['updateAncestorThreads',['../classSVF_1_1MHP.html#ae9423c868ba4d26337428b96db9fc77b',1,'SVF::MHP']]],
-  ['updateatvpts_10701',['updateATVPts',['../classSVF_1_1DFPTData.html#a09bc4b7eef592af2c2c84b60029b5b52',1,'SVF::DFPTData::updateATVPts()'],['../classSVF_1_1MutableDFPTData.html#a0ce585790bba942291bb7c7ffcaa3914',1,'SVF::MutableDFPTData::updateATVPts()'],['../classSVF_1_1MutableIncDFPTData.html#aa8fdf0f82d3d94af34d5bc1386ed21f9',1,'SVF::MutableIncDFPTData::updateATVPts()'],['../classSVF_1_1PersistentDFPTData.html#a132babeb5291086130247f015b2bef2b',1,'SVF::PersistentDFPTData::updateATVPts()'],['../classSVF_1_1PersistentIncDFPTData.html#a36697e534c6744dbc72b0a6ef619d906',1,'SVF::PersistentIncDFPTData::updateATVPts()']]],
-  ['updatecachedpointsto_10702',['updateCachedPointsTo',['../classSVF_1_1DDAVFSolver.html#a239a55960dfbbe73df63063070a18b56',1,'SVF::DDAVFSolver']]],
-  ['updatecallgraph_10703',['updateCallGraph',['../classSVF_1_1SVFIRBuilder.html#a22bd51c6fe770d179867342164ec2767',1,'SVF::SVFIRBuilder::updateCallGraph()'],['../classSVF_1_1CFLAlias.html#a9637bcb592d250b5556b242d2ffc88fa',1,'SVF::CFLAlias::updateCallGraph()'],['../classSVF_1_1ICFG.html#a5a00682b75726cacc1b4d88bbf40c824',1,'SVF::ICFG::updateCallGraph()'],['../classSVF_1_1ThreadCallGraph.html#ae25bca6e64ceedc56f1e2f1ae30f89eb',1,'SVF::ThreadCallGraph::updateCallGraph()'],['../classSVF_1_1VFG.html#a0c0a7c8f0bd27bc9e88ce54c0809b11b',1,'SVF::VFG::updateCallGraph()'],['../classSVF_1_1BVDataPTAImpl.html#aa534e475fa34fa322c567bc376a3da70',1,'SVF::BVDataPTAImpl::updateCallGraph()'],['../classSVF_1_1AndersenBase.html#ac05796a5672ddb5bd0e08924d79da065',1,'SVF::AndersenBase::updateCallGraph()'],['../classSVF_1_1Andersen.html#a6c60b761ddf3d6bf08c8a9c3f6fd9f0b',1,'SVF::Andersen::updateCallGraph()'],['../classSVF_1_1AndersenSCD.html#a512c636bdaafe6a3ac8f0cc29392c573',1,'SVF::AndersenSCD::updateCallGraph()'],['../classSVF_1_1FlowSensitive.html#aad0bf334d3c749240ca27b4bcfd6eeab',1,'SVF::FlowSensitive::updateCallGraph()'],['../classSVF_1_1Steensgaard.html#a86e82b92b1a5029c3c9499c7bd7b9ae0',1,'SVF::Steensgaard::updateCallGraph()']]],
-  ['updatecallgraphandsvfg_10704',['updateCallGraphAndSVFG',['../classSVF_1_1ContextDDA.html#a6fb1be7eef65008c7fbab6bdfe186061',1,'SVF::ContextDDA::updateCallGraphAndSVFG()'],['../classSVF_1_1DDAVFSolver.html#a637dddedd96942d56de6fd6d10c09169',1,'SVF::DDAVFSolver::updateCallGraphAndSVFG()'],['../classSVF_1_1FlowDDA.html#ae6257ef91e9d1c5aa95fdf5333c528b0',1,'SVF::FlowDDA::updateCallGraphAndSVFG()']]],
-  ['updateconnectednodes_10705',['updateConnectedNodes',['../classSVF_1_1FlowSensitive.html#a1886b4964efa92cfff761493d12768b8',1,'SVF::FlowSensitive::updateConnectedNodes()'],['../classSVF_1_1VersionedFlowSensitive.html#a18f24fe34af677e2a8c78ee89b89be1c',1,'SVF::VersionedFlowSensitive::updateConnectedNodes()']]],
-  ['updatedfinfromin_10706',['updateDFInFromIn',['../classSVF_1_1DFPTData.html#a88cf9cd48ee5c1b8b3c71b379f23ab6b',1,'SVF::DFPTData::updateDFInFromIn()'],['../classSVF_1_1MutableDFPTData.html#ac3ebc5afa531118b2b4446d23e3b8c7a',1,'SVF::MutableDFPTData::updateDFInFromIn()'],['../classSVF_1_1MutableIncDFPTData.html#a775ef6458314a1febef3f7372f6a2bbc',1,'SVF::MutableIncDFPTData::updateDFInFromIn()'],['../classSVF_1_1PersistentDFPTData.html#a1d6a7e3efe8ab65f1ecd7e915d70d659',1,'SVF::PersistentDFPTData::updateDFInFromIn()'],['../classSVF_1_1PersistentIncDFPTData.html#a5df898efbc74e653340571acba216dd7',1,'SVF::PersistentIncDFPTData::updateDFInFromIn()']]],
-  ['updatedfinfromout_10707',['updateDFInFromOut',['../classSVF_1_1DFPTData.html#a2ec4fb73d87f10c86fac34b3500532b3',1,'SVF::DFPTData::updateDFInFromOut()'],['../classSVF_1_1MutableDFPTData.html#a85c0d93ee01d2c93c255e5a369248d1b',1,'SVF::MutableDFPTData::updateDFInFromOut()'],['../classSVF_1_1MutableIncDFPTData.html#ad199b4b84f7aab48ff1510b118e2982f',1,'SVF::MutableIncDFPTData::updateDFInFromOut()'],['../classSVF_1_1PersistentDFPTData.html#a1d7dc1c34e506ed78e9e029329558b97',1,'SVF::PersistentDFPTData::updateDFInFromOut()'],['../classSVF_1_1PersistentIncDFPTData.html#af010be5ac5466ed51f902fcf3d805080',1,'SVF::PersistentIncDFPTData::updateDFInFromOut()']]],
-  ['updatedfoutfromin_10708',['updateDFOutFromIn',['../classSVF_1_1DFPTData.html#acee5fb134d3153ae6eb91c15cd2cff66',1,'SVF::DFPTData::updateDFOutFromIn()'],['../classSVF_1_1MutableDFPTData.html#ab3c517be91b4711ace581df075d4647a',1,'SVF::MutableDFPTData::updateDFOutFromIn()'],['../classSVF_1_1MutableIncDFPTData.html#aa326ac77577a8a4a0ce3e29cc03a3989',1,'SVF::MutableIncDFPTData::updateDFOutFromIn()'],['../classSVF_1_1PersistentDFPTData.html#ab63925fcd6506e6146d5f7487a39f155',1,'SVF::PersistentDFPTData::updateDFOutFromIn()'],['../classSVF_1_1PersistentIncDFPTData.html#aaed9e93e3515c025e05786212b1baac5',1,'SVF::PersistentIncDFPTData::updateDFOutFromIn()']]],
-  ['updateinfromin_10709',['updateInFromIn',['../classSVF_1_1FlowSensitive.html#a88120b9cec26620d4982798ea530353a',1,'SVF::FlowSensitive']]],
-  ['updateinfromout_10710',['updateInFromOut',['../classSVF_1_1FlowSensitive.html#af5d90b4bd5c16dd64cd10afea6b3be93',1,'SVF::FlowSensitive']]],
-  ['updatejoinedge_10711',['updateJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a49f5c6a95e236fad35b3d0410e0f4503',1,'SVF::ThreadCallGraph']]],
-  ['updatemap_10712',['updateMap',['../classSVF_1_1RelationSolver.html#af00aee55faf18a994dc5558ca4bf4932',1,'SVF::RelationSolver::updateMap()'],['../classSVF_1_1CDGBuilder.html#a55d97ecc3c08999d54f11ba051db3abf',1,'SVF::CDGBuilder::updateMap()']]],
-  ['updatenoderepandsubs_10713',['updateNodeRepAndSubs',['../classSVF_1_1Andersen.html#acd54e3edace1f41511c8f0a6a68dac18',1,'SVF::Andersen']]],
-  ['updatenoncandidatefuninterleaving_10714',['updateNonCandidateFunInterleaving',['../classSVF_1_1MHP.html#abeb76ad63d9362ba8fa8f7088b0d942b',1,'SVF::MHP']]],
-  ['updateoutfromin_10715',['updateOutFromIn',['../classSVF_1_1FlowSensitive.html#a06fe840604fdb4b50f08617c48acd44f',1,'SVF::FlowSensitive']]],
-  ['updatepropapts_10716',['updatePropaPts',['../classSVF_1_1Andersen.html#a4baa6fc95d52afa370fc0fabffd42018',1,'SVF::Andersen']]],
-  ['updatepropaptsmap_10717',['updatePropaPtsMap',['../classSVF_1_1DiffPTData.html#a0f422f826bb378ebb34199f0378e351d',1,'SVF::DiffPTData::updatePropaPtsMap()'],['../classSVF_1_1MutableDiffPTData.html#a2feb36e64e27e6f0bcc0e108da433278',1,'SVF::MutableDiffPTData::updatePropaPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#aa8c5694bcbf884bee43875433abc03c9',1,'SVF::PersistentDiffPTData::updatePropaPtsMap()']]],
-  ['updaterepnode_10718',['updateRepNode',['../classSVF_1_1ICFG.html#ae8b3b7bb72118a6aada2a63488995bb7',1,'SVF::ICFG']]],
-  ['updatesiblingthreads_10719',['updateSiblingThreads',['../classSVF_1_1MHP.html#a23ab5a03b7c00ba0ebac65568a83a5cc',1,'SVF::MHP']]],
-  ['updatesubandrep_10720',['updateSubAndRep',['../classSVF_1_1ICFG.html#ace6fa126ccfffa5bc6a1ceaccf9b857a',1,'SVF::ICFG']]],
-  ['updatetlvpts_10721',['updateTLVPts',['../classSVF_1_1DFPTData.html#aaa6f67ff5daf7d71a3ad62316a7dd872',1,'SVF::DFPTData::updateTLVPts()'],['../classSVF_1_1MutableDFPTData.html#a21b29c2d3e429017d910025e4ec73fc6',1,'SVF::MutableDFPTData::updateTLVPts()'],['../classSVF_1_1MutableIncDFPTData.html#a7778be60515fa3ff247b6d2cec138cfc',1,'SVF::MutableIncDFPTData::updateTLVPts()'],['../classSVF_1_1PersistentDFPTData.html#ae0e64a1ec7f80b148f0a882e96503453',1,'SVF::PersistentDFPTData::updateTLVPts()'],['../classSVF_1_1PersistentIncDFPTData.html#a3e371be9324b9281781591d633d04c34',1,'SVF::PersistentIncDFPTData::updateTLVPts()']]],
-  ['usageandexit_10722',['usageAndExit',['../classOptionBase.html#ac6df21066e0848e26a718d81a25e2bb0',1,'OptionBase']]],
-  ['utf16_5fliteral_5fto_5futf8_10723',['utf16_literal_to_utf8',['../cJSON_8cpp.html#a0e2851b1b595b3b430fd186e7deaf987',1,'cJSON.cpp']]]
+  ['ub_10658',['ub',['../structSVF_1_1AbstractValue.html#aecd8d41379dd6496772537ad51d1cb02',1,'SVF::AbstractValue::ub()'],['../classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9',1,'SVF::IntervalValue::ub()']]],
+  ['unaryopstmt_10659',['UnaryOPStmt',['../classSVF_1_1UnaryOPStmt.html#a033d3ba05ce96e04b63f2cf455518582',1,'SVF::UnaryOPStmt::UnaryOPStmt()'],['../classSVF_1_1UnaryOPStmt.html#aaad7785c0e6ea468cf7df8eb39cfe327',1,'SVF::UnaryOPStmt::UnaryOPStmt(const UnaryOPStmt &)'],['../classSVF_1_1UnaryOPStmt.html#a2b91333ac3d4b5e1099590aeb15d38ba',1,'SVF::UnaryOPStmt::UnaryOPStmt(SVFVar *s, SVFVar *d, u32_t oc)']]],
+  ['unaryopvfgnode_10660',['UnaryOPVFGNode',['../classSVF_1_1UnaryOPVFGNode.html#ae5298888e597b2a379f9c9ebb5bd9132',1,'SVF::UnaryOPVFGNode::UnaryOPVFGNode()'],['../classSVF_1_1UnaryOPVFGNode.html#a77b6cf315bdacb49e66bca15628a12b1',1,'SVF::UnaryOPVFGNode::UnaryOPVFGNode(const UnaryOPVFGNode &)'],['../classSVF_1_1UnaryOPVFGNode.html#acefca73fdac419025ad5109c7b2c9b0c',1,'SVF::UnaryOPVFGNode::UnaryOPVFGNode(NodeID id, const PAGNode *r)']]],
+  ['unifyfunctionexit_10661',['UnifyFunctionExit',['../classSVF_1_1MergeFunctionRets.html#a8c04750179ee48d283c5db4d84b3eca1',1,'SVF::MergeFunctionRets']]],
+  ['unionddapts_10662',['unionDDAPts',['../classSVF_1_1DDAVFSolver.html#a99764ee5bc19378795fe464e9036e78b',1,'SVF::DDAVFSolver::unionDDAPts(CPtSet &pts, const CPtSet &targetPts)'],['../classSVF_1_1DDAVFSolver.html#ae7949e141978474f3b6cb510bacafa37',1,'SVF::DDAVFSolver::unionDDAPts(DPIm dpm, const CPtSet &targetPts)'],['../classSVF_1_1FlowDDA.html#aced776b355c545a3a4a6974be3623590',1,'SVF::FlowDDA::unionDDAPts()']]],
+  ['unionpts_10663',['unionPts',['../classSVF_1_1PTData.html#af7aa22f11558c12ff16612174e2221dd',1,'SVF::PTData::unionPts(const Key &dstVar, const Key &srcVar)=0'],['../classSVF_1_1PTData.html#aa8f281fbccfbdb13ab7671094d78a5c0',1,'SVF::PTData::unionPts(const Key &dstVar, const DataSet &srcDataSet)=0'],['../classSVF_1_1VersionedPTData.html#a8b9d50b5ad1c779b2ff231f07f3002ea',1,'SVF::VersionedPTData::unionPts(const VersionedKey &dstVar, const VersionedKey &srcVar)=0'],['../classSVF_1_1VersionedPTData.html#a598f4d08e52a60f7d38b8d436c7d1841',1,'SVF::VersionedPTData::unionPts(const VersionedKey &dstVar, const Key &srcVar)=0'],['../classSVF_1_1VersionedPTData.html#a8f2941ff3a5f0fd489fec723f5c9adcd',1,'SVF::VersionedPTData::unionPts(const Key &dstVar, const VersionedKey &srcVar)=0'],['../classSVF_1_1VersionedPTData.html#ac87e856efea485d32de8948495b58951',1,'SVF::VersionedPTData::unionPts(const VersionedKey &dstVar, const DataSet &srcDataSet)=0'],['../classSVF_1_1MutablePTData.html#a08528faf56bf68fd0ddbb6c5ffa3d24f',1,'SVF::MutablePTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1MutablePTData.html#a124e8cc8d2dbbd70682a4b7845e5d600',1,'SVF::MutablePTData::unionPts(const Key &dstKey, const DataSet &srcDataSet) override'],['../classSVF_1_1MutablePTData.html#abaf96c47ab029c6bc91ff23a4c061505',1,'SVF::MutablePTData::unionPts(DataSet &dstDataSet, const DataSet &srcDataSet)'],['../classSVF_1_1MutableDiffPTData.html#a1596ef828786325ca06a3f5bada31757',1,'SVF::MutableDiffPTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1MutableDiffPTData.html#a746c384cf4633c3b07b4362e7b6c087a',1,'SVF::MutableDiffPTData::unionPts(const Key &dstKey, const DataSet &srcDataSet) override'],['../classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196',1,'SVF::MutableDFPTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1MutableDFPTData.html#ab675653138960b16f23c801298e80f48',1,'SVF::MutableDFPTData::unionPts(const Key &dstKey, const DataSet &srcDataSet) override'],['../classSVF_1_1MutableDFPTData.html#a8b30798ad9485a88238cc340e5da3db7',1,'SVF::MutableDFPTData::unionPts(DataSet &dstDataSet, const DataSet &srcDataSet)'],['../classSVF_1_1MutableVersionedPTData.html#ae79628fc101567ba84215b624dd00c01',1,'SVF::MutableVersionedPTData::unionPts(const Key &dstVar, const Key &srcVar) override'],['../classSVF_1_1MutableVersionedPTData.html#a56e752a83620f482a4b1e2f8d395dd75',1,'SVF::MutableVersionedPTData::unionPts(const VersionedKey &dstVar, const VersionedKey &srcVar) override'],['../classSVF_1_1MutableVersionedPTData.html#a5647b7fad5c14f7ec57d3de3480758eb',1,'SVF::MutableVersionedPTData::unionPts(const VersionedKey &dstVar, const Key &srcVar) override'],['../classSVF_1_1MutableVersionedPTData.html#a9967c530d3955a0a726b7a00653ef0ba',1,'SVF::MutableVersionedPTData::unionPts(const Key &dstVar, const VersionedKey &srcVar) override'],['../classSVF_1_1MutableVersionedPTData.html#aa9ab46b7afc7f47df20e74bda300dc42',1,'SVF::MutableVersionedPTData::unionPts(const Key &dstVar, const DataSet &srcDataSet) override'],['../classSVF_1_1MutableVersionedPTData.html#aa9d24a4defb025c075e4ec5bc7f3b618',1,'SVF::MutableVersionedPTData::unionPts(const VersionedKey &dstVar, const DataSet &srcDataSet) override'],['../classSVF_1_1PersistentPointsToCache.html#a178b49cca2c22e874ff9e772cc4df72b',1,'SVF::PersistentPointsToCache::unionPts()'],['../classSVF_1_1PersistentPTData.html#a5610c0d4a06a9c97d6bf79c494366943',1,'SVF::PersistentPTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1PersistentPTData.html#a75f78272350b64aa00fd739f352fecb5',1,'SVF::PersistentPTData::unionPts(const Key &dstKey, const DataSet &srcData) override'],['../classSVF_1_1PersistentDiffPTData.html#ac8cb860b427962be8c6e1f17e5f0fc21',1,'SVF::PersistentDiffPTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1PersistentDiffPTData.html#af6ccac71f0232e46fef1da82cba01959',1,'SVF::PersistentDiffPTData::unionPts(const Key &dstKey, const DataSet &srcDataSet) override'],['../classSVF_1_1PersistentDFPTData.html#a2d0924d1e9149e198d049777e2fcbd7a',1,'SVF::PersistentDFPTData::unionPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1PersistentDFPTData.html#a2c4e4e53d1ce79dfd5702ba41f26f286',1,'SVF::PersistentDFPTData::unionPts(const Key &dstKey, const DataSet &srcDataSet) override'],['../classSVF_1_1PersistentVersionedPTData.html#a14419b91e9c790623060b10b13f9ad13',1,'SVF::PersistentVersionedPTData::unionPts(const Key &dstVar, const Key &srcVar) override'],['../classSVF_1_1PersistentVersionedPTData.html#ae0eafb4667af1ba821247f9f4199d52f',1,'SVF::PersistentVersionedPTData::unionPts(const VersionedKey &dstVar, const VersionedKey &srcVar) override'],['../classSVF_1_1PersistentVersionedPTData.html#a5e6ab689e9a9eefdd5f6bf04ab279940',1,'SVF::PersistentVersionedPTData::unionPts(const VersionedKey &dstVar, const Key &srcVar) override'],['../classSVF_1_1PersistentVersionedPTData.html#adb56e144709cab8efe057c3215e30b9b',1,'SVF::PersistentVersionedPTData::unionPts(const Key &dstVar, const VersionedKey &srcVar) override'],['../classSVF_1_1PersistentVersionedPTData.html#aaf048cdd17875dd3a9adca2aabcbfd7e',1,'SVF::PersistentVersionedPTData::unionPts(const Key &dstVar, const DataSet &srcDataSet) override'],['../classSVF_1_1PersistentVersionedPTData.html#ab4828e2b42d646463bfd23c2154c3b8f',1,'SVF::PersistentVersionedPTData::unionPts(const VersionedKey &dstVar, const DataSet &srcDataSet) override'],['../classSVF_1_1BVDataPTAImpl.html#ae7073c07bfd7912f888d54d4652c7cc2',1,'SVF::BVDataPTAImpl::unionPts(NodeID id, const PointsTo &target)'],['../classSVF_1_1BVDataPTAImpl.html#ad5e657b856681a534a8990df35ea08d0',1,'SVF::BVDataPTAImpl::unionPts(NodeID id, NodeID ptd)'],['../classSVF_1_1CondPTAImpl.html#a1a95d1d6ac48157c896d9895cff697b4',1,'SVF::CondPTAImpl::unionPts(CVar id, const CPtSet &target)'],['../classSVF_1_1CondPTAImpl.html#a4ad5da56c8b7bc75bf2dc30a1bcf1552',1,'SVF::CondPTAImpl::unionPts(CVar id, CVar ptd)'],['../classSVF_1_1Andersen.html#ab7dadfd4d810be4863f03ed996b3b3c4',1,'SVF::Andersen::unionPts(NodeID id, const PointsTo &target)'],['../classSVF_1_1Andersen.html#a8da98a9d33a6e9be329309f4af65e969',1,'SVF::Andersen::unionPts(NodeID id, NodeID ptd)'],['../classSVF_1_1Steensgaard.html#a61524c5a3521939b1546c78c68730c20',1,'SVF::Steensgaard::unionPts(NodeID id, const PointsTo &target)'],['../classSVF_1_1Steensgaard.html#afcb7f051f50b65a09ec2bc065bb70735',1,'SVF::Steensgaard::unionPts(NodeID id, NodeID ptd)']]],
+  ['unionptsfromid_10664',['unionPtsFromId',['../classSVF_1_1PersistentPTData.html#a142ea74fa724f047db14d3b573d9eee8',1,'SVF::PersistentPTData']]],
+  ['unionptsfromin_10665',['unionPtsFromIn',['../classSVF_1_1FlowSensitive.html#a16d757abf69ad77951b808dc18ca2999',1,'SVF::FlowSensitive']]],
+  ['unionptsfromtop_10666',['unionPtsFromTop',['../classSVF_1_1FlowSensitive.html#a49104435f8d20015907a1c8f58a76577',1,'SVF::FlowSensitive']]],
+  ['unionptsthroughids_10667',['unionPtsThroughIds',['../classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c',1,'SVF::PersistentDFPTData']]],
+  ['unionwith_10668',['unionWith',['../structSVF_1_1SparseBitVectorElement.html#a34e70705e4618e6d79a19ee7725e4960',1,'SVF::SparseBitVectorElement']]],
+  ['unset_10669',['unset',['../classSVF_1_1NodeIDAllocator.html#af7952ef5667039c9be86a589419b35a8',1,'SVF::NodeIDAllocator']]],
+  ['update_5foffset_10670',['update_offset',['../cJSON_8cpp.html#af5fb173126786c1e3f90b6df6e2500c5',1,'cJSON.cpp']]],
+  ['updatealiasmrs_10671',['updateAliasMRs',['../classSVF_1_1MRGenerator.html#a9c1da53188729eb743e1a33bbad87af7',1,'SVF::MRGenerator']]],
+  ['updatealldfinfromin_10672',['updateAllDFInFromIn',['../classSVF_1_1DFPTData.html#a506a2be8f909663d59245254bddea00b',1,'SVF::DFPTData::updateAllDFInFromIn()'],['../classSVF_1_1MutableDFPTData.html#a23fca889a29399a91dfc916f5fab46ee',1,'SVF::MutableDFPTData::updateAllDFInFromIn()'],['../classSVF_1_1MutableIncDFPTData.html#ad68b23ed56b2c18bf75c23a658523404',1,'SVF::MutableIncDFPTData::updateAllDFInFromIn()'],['../classSVF_1_1PersistentDFPTData.html#a297cfa81c47d76f989a952edfc34c021',1,'SVF::PersistentDFPTData::updateAllDFInFromIn()'],['../classSVF_1_1PersistentIncDFPTData.html#a8898a6164a0d83f179b9ee6175ddc1fe',1,'SVF::PersistentIncDFPTData::updateAllDFInFromIn()']]],
+  ['updatealldfinfromout_10673',['updateAllDFInFromOut',['../classSVF_1_1DFPTData.html#a96a5d7e867095b3c215c73599fd31c19',1,'SVF::DFPTData::updateAllDFInFromOut()'],['../classSVF_1_1MutableDFPTData.html#a7c7eff549ea0d153e7a72ed5bf79c30e',1,'SVF::MutableDFPTData::updateAllDFInFromOut()'],['../classSVF_1_1MutableIncDFPTData.html#a2dd9dad547c389d5cd488b165dd145eb',1,'SVF::MutableIncDFPTData::updateAllDFInFromOut()'],['../classSVF_1_1PersistentDFPTData.html#a57e8efefa1b49bd5fecd363a65b3bced',1,'SVF::PersistentDFPTData::updateAllDFInFromOut()'],['../classSVF_1_1PersistentIncDFPTData.html#a5291cccfb9bd6cb93ff931e4f2465d40',1,'SVF::PersistentIncDFPTData::updateAllDFInFromOut()']]],
+  ['updatealldfoutfromin_10674',['updateAllDFOutFromIn',['../classSVF_1_1DFPTData.html#a7e4ae809b40d55448de0103746254158',1,'SVF::DFPTData::updateAllDFOutFromIn()'],['../classSVF_1_1MutableDFPTData.html#a51365299a34e3386798e78a076d6e1f5',1,'SVF::MutableDFPTData::updateAllDFOutFromIn()'],['../classSVF_1_1MutableIncDFPTData.html#a3f397aaf4f3d6d04ec005c2577652e04',1,'SVF::MutableIncDFPTData::updateAllDFOutFromIn()'],['../classSVF_1_1PersistentDFPTData.html#aa263aa1f78fd85d1104a907042f58177',1,'SVF::PersistentDFPTData::updateAllDFOutFromIn()'],['../classSVF_1_1PersistentIncDFPTData.html#a451756aea2a3a0c895b75b7239672fdd',1,'SVF::PersistentIncDFPTData::updateAllDFOutFromIn()']]],
+  ['updateancestorthreads_10675',['updateAncestorThreads',['../classSVF_1_1MHP.html#ae9423c868ba4d26337428b96db9fc77b',1,'SVF::MHP']]],
+  ['updateatvpts_10676',['updateATVPts',['../classSVF_1_1DFPTData.html#a09bc4b7eef592af2c2c84b60029b5b52',1,'SVF::DFPTData::updateATVPts()'],['../classSVF_1_1MutableDFPTData.html#a0ce585790bba942291bb7c7ffcaa3914',1,'SVF::MutableDFPTData::updateATVPts()'],['../classSVF_1_1MutableIncDFPTData.html#aa8fdf0f82d3d94af34d5bc1386ed21f9',1,'SVF::MutableIncDFPTData::updateATVPts()'],['../classSVF_1_1PersistentDFPTData.html#a132babeb5291086130247f015b2bef2b',1,'SVF::PersistentDFPTData::updateATVPts()'],['../classSVF_1_1PersistentIncDFPTData.html#a36697e534c6744dbc72b0a6ef619d906',1,'SVF::PersistentIncDFPTData::updateATVPts()']]],
+  ['updatecachedpointsto_10677',['updateCachedPointsTo',['../classSVF_1_1DDAVFSolver.html#a239a55960dfbbe73df63063070a18b56',1,'SVF::DDAVFSolver']]],
+  ['updatecallgraph_10678',['updateCallGraph',['../classSVF_1_1SVFIRBuilder.html#a22bd51c6fe770d179867342164ec2767',1,'SVF::SVFIRBuilder::updateCallGraph()'],['../classSVF_1_1CFLAlias.html#a9637bcb592d250b5556b242d2ffc88fa',1,'SVF::CFLAlias::updateCallGraph()'],['../classSVF_1_1ICFG.html#a5a00682b75726cacc1b4d88bbf40c824',1,'SVF::ICFG::updateCallGraph()'],['../classSVF_1_1ThreadCallGraph.html#ae25bca6e64ceedc56f1e2f1ae30f89eb',1,'SVF::ThreadCallGraph::updateCallGraph()'],['../classSVF_1_1VFG.html#a0c0a7c8f0bd27bc9e88ce54c0809b11b',1,'SVF::VFG::updateCallGraph()'],['../classSVF_1_1BVDataPTAImpl.html#aa534e475fa34fa322c567bc376a3da70',1,'SVF::BVDataPTAImpl::updateCallGraph()'],['../classSVF_1_1AndersenBase.html#ac05796a5672ddb5bd0e08924d79da065',1,'SVF::AndersenBase::updateCallGraph()'],['../classSVF_1_1Andersen.html#a6c60b761ddf3d6bf08c8a9c3f6fd9f0b',1,'SVF::Andersen::updateCallGraph()'],['../classSVF_1_1AndersenSCD.html#a512c636bdaafe6a3ac8f0cc29392c573',1,'SVF::AndersenSCD::updateCallGraph()'],['../classSVF_1_1FlowSensitive.html#aad0bf334d3c749240ca27b4bcfd6eeab',1,'SVF::FlowSensitive::updateCallGraph()'],['../classSVF_1_1Steensgaard.html#a86e82b92b1a5029c3c9499c7bd7b9ae0',1,'SVF::Steensgaard::updateCallGraph()']]],
+  ['updatecallgraphandsvfg_10679',['updateCallGraphAndSVFG',['../classSVF_1_1ContextDDA.html#a6fb1be7eef65008c7fbab6bdfe186061',1,'SVF::ContextDDA::updateCallGraphAndSVFG()'],['../classSVF_1_1DDAVFSolver.html#a637dddedd96942d56de6fd6d10c09169',1,'SVF::DDAVFSolver::updateCallGraphAndSVFG()'],['../classSVF_1_1FlowDDA.html#ae6257ef91e9d1c5aa95fdf5333c528b0',1,'SVF::FlowDDA::updateCallGraphAndSVFG()']]],
+  ['updateconnectednodes_10680',['updateConnectedNodes',['../classSVF_1_1FlowSensitive.html#a1886b4964efa92cfff761493d12768b8',1,'SVF::FlowSensitive::updateConnectedNodes()'],['../classSVF_1_1VersionedFlowSensitive.html#a18f24fe34af677e2a8c78ee89b89be1c',1,'SVF::VersionedFlowSensitive::updateConnectedNodes()']]],
+  ['updatedfinfromin_10681',['updateDFInFromIn',['../classSVF_1_1DFPTData.html#a88cf9cd48ee5c1b8b3c71b379f23ab6b',1,'SVF::DFPTData::updateDFInFromIn()'],['../classSVF_1_1MutableDFPTData.html#ac3ebc5afa531118b2b4446d23e3b8c7a',1,'SVF::MutableDFPTData::updateDFInFromIn()'],['../classSVF_1_1MutableIncDFPTData.html#a775ef6458314a1febef3f7372f6a2bbc',1,'SVF::MutableIncDFPTData::updateDFInFromIn()'],['../classSVF_1_1PersistentDFPTData.html#a1d6a7e3efe8ab65f1ecd7e915d70d659',1,'SVF::PersistentDFPTData::updateDFInFromIn()'],['../classSVF_1_1PersistentIncDFPTData.html#a5df898efbc74e653340571acba216dd7',1,'SVF::PersistentIncDFPTData::updateDFInFromIn()']]],
+  ['updatedfinfromout_10682',['updateDFInFromOut',['../classSVF_1_1DFPTData.html#a2ec4fb73d87f10c86fac34b3500532b3',1,'SVF::DFPTData::updateDFInFromOut()'],['../classSVF_1_1MutableDFPTData.html#a85c0d93ee01d2c93c255e5a369248d1b',1,'SVF::MutableDFPTData::updateDFInFromOut()'],['../classSVF_1_1MutableIncDFPTData.html#ad199b4b84f7aab48ff1510b118e2982f',1,'SVF::MutableIncDFPTData::updateDFInFromOut()'],['../classSVF_1_1PersistentDFPTData.html#a1d7dc1c34e506ed78e9e029329558b97',1,'SVF::PersistentDFPTData::updateDFInFromOut()'],['../classSVF_1_1PersistentIncDFPTData.html#af010be5ac5466ed51f902fcf3d805080',1,'SVF::PersistentIncDFPTData::updateDFInFromOut()']]],
+  ['updatedfoutfromin_10683',['updateDFOutFromIn',['../classSVF_1_1DFPTData.html#acee5fb134d3153ae6eb91c15cd2cff66',1,'SVF::DFPTData::updateDFOutFromIn()'],['../classSVF_1_1MutableDFPTData.html#ab3c517be91b4711ace581df075d4647a',1,'SVF::MutableDFPTData::updateDFOutFromIn()'],['../classSVF_1_1MutableIncDFPTData.html#aa326ac77577a8a4a0ce3e29cc03a3989',1,'SVF::MutableIncDFPTData::updateDFOutFromIn()'],['../classSVF_1_1PersistentDFPTData.html#ab63925fcd6506e6146d5f7487a39f155',1,'SVF::PersistentDFPTData::updateDFOutFromIn()'],['../classSVF_1_1PersistentIncDFPTData.html#aaed9e93e3515c025e05786212b1baac5',1,'SVF::PersistentIncDFPTData::updateDFOutFromIn()']]],
+  ['updateinfromin_10684',['updateInFromIn',['../classSVF_1_1FlowSensitive.html#a88120b9cec26620d4982798ea530353a',1,'SVF::FlowSensitive']]],
+  ['updateinfromout_10685',['updateInFromOut',['../classSVF_1_1FlowSensitive.html#af5d90b4bd5c16dd64cd10afea6b3be93',1,'SVF::FlowSensitive']]],
+  ['updatejoinedge_10686',['updateJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a49f5c6a95e236fad35b3d0410e0f4503',1,'SVF::ThreadCallGraph']]],
+  ['updatemap_10687',['updateMap',['../classSVF_1_1RelationSolver.html#af00aee55faf18a994dc5558ca4bf4932',1,'SVF::RelationSolver::updateMap()'],['../classSVF_1_1CDGBuilder.html#a55d97ecc3c08999d54f11ba051db3abf',1,'SVF::CDGBuilder::updateMap()']]],
+  ['updatenoderepandsubs_10688',['updateNodeRepAndSubs',['../classSVF_1_1Andersen.html#acd54e3edace1f41511c8f0a6a68dac18',1,'SVF::Andersen']]],
+  ['updatenoncandidatefuninterleaving_10689',['updateNonCandidateFunInterleaving',['../classSVF_1_1MHP.html#abeb76ad63d9362ba8fa8f7088b0d942b',1,'SVF::MHP']]],
+  ['updateoutfromin_10690',['updateOutFromIn',['../classSVF_1_1FlowSensitive.html#a06fe840604fdb4b50f08617c48acd44f',1,'SVF::FlowSensitive']]],
+  ['updatepropapts_10691',['updatePropaPts',['../classSVF_1_1Andersen.html#a4baa6fc95d52afa370fc0fabffd42018',1,'SVF::Andersen']]],
+  ['updatepropaptsmap_10692',['updatePropaPtsMap',['../classSVF_1_1DiffPTData.html#a0f422f826bb378ebb34199f0378e351d',1,'SVF::DiffPTData::updatePropaPtsMap()'],['../classSVF_1_1MutableDiffPTData.html#a2feb36e64e27e6f0bcc0e108da433278',1,'SVF::MutableDiffPTData::updatePropaPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#aa8c5694bcbf884bee43875433abc03c9',1,'SVF::PersistentDiffPTData::updatePropaPtsMap()']]],
+  ['updaterepnode_10693',['updateRepNode',['../classSVF_1_1ICFG.html#ae8b3b7bb72118a6aada2a63488995bb7',1,'SVF::ICFG']]],
+  ['updatesiblingthreads_10694',['updateSiblingThreads',['../classSVF_1_1MHP.html#a23ab5a03b7c00ba0ebac65568a83a5cc',1,'SVF::MHP']]],
+  ['updatesubandrep_10695',['updateSubAndRep',['../classSVF_1_1ICFG.html#ace6fa126ccfffa5bc6a1ceaccf9b857a',1,'SVF::ICFG']]],
+  ['updatetlvpts_10696',['updateTLVPts',['../classSVF_1_1DFPTData.html#aaa6f67ff5daf7d71a3ad62316a7dd872',1,'SVF::DFPTData::updateTLVPts()'],['../classSVF_1_1MutableDFPTData.html#a21b29c2d3e429017d910025e4ec73fc6',1,'SVF::MutableDFPTData::updateTLVPts()'],['../classSVF_1_1MutableIncDFPTData.html#a7778be60515fa3ff247b6d2cec138cfc',1,'SVF::MutableIncDFPTData::updateTLVPts()'],['../classSVF_1_1PersistentDFPTData.html#ae0e64a1ec7f80b148f0a882e96503453',1,'SVF::PersistentDFPTData::updateTLVPts()'],['../classSVF_1_1PersistentIncDFPTData.html#a3e371be9324b9281781591d633d04c34',1,'SVF::PersistentIncDFPTData::updateTLVPts()']]],
+  ['usageandexit_10697',['usageAndExit',['../classOptionBase.html#ac6df21066e0848e26a718d81a25e2bb0',1,'OptionBase']]],
+  ['utf16_5fliteral_5fto_5futf8_10698',['utf16_literal_to_utf8',['../cJSON_8cpp.html#a0e2851b1b595b3b430fd186e7deaf987',1,'cJSON.cpp']]]
 ];