svf-tools 1.0.905 → 1.0.907

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

@@ -1,76 +1,77 @@
 var searchData=
 [
-  ['u16_5ft_6082',['u16_t',['../namespaceSVF.html#a7c3a917e8b1d3253982e0a1a37b74d93',1,'SVF']]],
-  ['u32_5ft_6083',['u32_t',['../CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da',1,'u32_t(): CommandLine.h'],['../namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af',1,'SVF::u32_t()']]],
-  ['u64_5ft_6084',['u64_t',['../namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14',1,'SVF']]],
-  ['u8_5ft_6085',['u8_t',['../namespaceSVF.html#a9e83fb2225082782d168f5c7bfc79ba7',1,'SVF']]],
-  ['ub_6086',['ub',['../classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9',1,'SVF::IntervalValue']]],
-  ['udiv_6087',['UDiv',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ad2f8b02de2c62175d3341be92a925250',1,'SVF::BinaryOPStmt']]],
-  ['uitofp_6088',['UITOFP',['../classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1a821cd6daeaee15b117b41a272f743ff1',1,'SVF::CopyStmt']]],
-  ['unaryop_6089',['UnaryOp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc',1,'SVF::VFGNode::UnaryOp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688',1,'SVF::SVFStmt::UnaryOp()']]],
-  ['unaryoperator_6090',['UnaryOperator',['../namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62',1,'SVF']]],
-  ['unaryopstmt_6091',['UnaryOPStmt',['../classSVF_1_1UnaryOPStmt.html',1,'SVF::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_6092',['UnaryOPVFGNode',['../classSVF_1_1UnaryOPVFGNode.html',1,'SVF::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)']]],
-  ['uncalled_6093',['uncalled',['../classSVF_1_1SVFArgument.html#a758fa3cd9354ec069f0fe569251da7cd',1,'SVF::SVFArgument']]],
-  ['unclassified_6094',['UNCLASSIFIED',['../classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43afa12d7009fd0108df805ee49182fe12ccc',1,'SVF::AbstractExecution']]],
-  ['undefvalue_6095',['UndefValue',['../namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec',1,'SVF']]],
-  ['unifyfunctionexit_6096',['UnifyFunctionExit',['../classSVF_1_1MergeFunctionRets.html#a8c04750179ee48d283c5db4d84b3eca1',1,'SVF::MergeFunctionRets']]],
-  ['unifyfunctionexitnodes_6097',['UnifyFunctionExitNodes',['../namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b',1,'SVF']]],
-  ['unioncache_6098',['unionCache',['../classSVF_1_1PersistentPointsToCache.html#a6b601ce2055d83f2c1df0c7af039ce05',1,'SVF::PersistentPointsToCache']]],
-  ['unionddapts_6099',['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_6100',['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_6101',['unionPtsFromId',['../classSVF_1_1PersistentPTData.html#a142ea74fa724f047db14d3b573d9eee8',1,'SVF::PersistentPTData']]],
-  ['unionptsfromin_6102',['unionPtsFromIn',['../classSVF_1_1FlowSensitive.html#a16d757abf69ad77951b808dc18ca2999',1,'SVF::FlowSensitive']]],
-  ['unionptsfromtop_6103',['unionPtsFromTop',['../classSVF_1_1FlowSensitive.html#a49104435f8d20015907a1c8f58a76577',1,'SVF::FlowSensitive']]],
-  ['unionptsthroughids_6104',['unionPtsThroughIds',['../classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c',1,'SVF::PersistentDFPTData']]],
-  ['unionwith_6105',['unionWith',['../structSVF_1_1SparseBitVectorElement.html#a34e70705e4618e6d79a19ee7725e4960',1,'SVF::SparseBitVectorElement']]],
-  ['uniquecomplements_6106',['uniqueComplements',['../classSVF_1_1PersistentPointsToCache.html#a5c1afbaebce46eac6b1172aa5f2824ee',1,'SVF::PersistentPointsToCache']]],
-  ['uniqueintersections_6107',['uniqueIntersections',['../classSVF_1_1PersistentPointsToCache.html#a474023fe293b080fbda7da06ef380531',1,'SVF::PersistentPointsToCache']]],
-  ['uniqueunions_6108',['uniqueUnions',['../classSVF_1_1PersistentPointsToCache.html#aacebdd87b1dd45250391d035b032f9d4',1,'SVF::PersistentPointsToCache']]],
-  ['unlocksites_6109',['unlocksites',['../classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780',1,'SVF::LockAnalysis']]],
-  ['unreachableinst_6110',['UnreachableInst',['../namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721',1,'SVF']]],
-  ['unset_6111',['unset',['../classSVF_1_1NodeIDAllocator.html#af7952ef5667039c9be86a589419b35a8',1,'SVF::NodeIDAllocator']]],
-  ['update_5foffset_6112',['update_offset',['../cJSON_8cpp.html#af5fb173126786c1e3f90b6df6e2500c5',1,'cJSON.cpp']]],
-  ['updatealiasmrs_6113',['updateAliasMRs',['../classSVF_1_1MRGenerator.html#a9c1da53188729eb743e1a33bbad87af7',1,'SVF::MRGenerator']]],
-  ['updatealldfinfromin_6114',['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_6115',['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_6116',['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_6117',['updateAncestorThreads',['../classSVF_1_1MHP.html#ae9423c868ba4d26337428b96db9fc77b',1,'SVF::MHP']]],
-  ['updateatvpts_6118',['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_6119',['updateCachedPointsTo',['../classSVF_1_1DDAVFSolver.html#a239a55960dfbbe73df63063070a18b56',1,'SVF::DDAVFSolver']]],
-  ['updatecallgraph_6120',['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_6121',['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()']]],
-  ['updatecallgraphtime_6122',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive']]],
-  ['updateconnectednodes_6123',['updateConnectedNodes',['../classSVF_1_1FlowSensitive.html#a1886b4964efa92cfff761493d12768b8',1,'SVF::FlowSensitive::updateConnectedNodes()'],['../classSVF_1_1VersionedFlowSensitive.html#a18f24fe34af677e2a8c78ee89b89be1c',1,'SVF::VersionedFlowSensitive::updateConnectedNodes()']]],
-  ['updatedfinfromin_6124',['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_6125',['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_6126',['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()']]],
-  ['updatedvarconstiter_6127',['UpdatedVarconstIter',['../classSVF_1_1MutableIncDFPTData.html#af815dd2108c16e1dfddbcd5bdbcceeb6',1,'SVF::MutableIncDFPTData']]],
-  ['updatedvarmap_6128',['UpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#a67c24cebffdcea9c8059f6769c7f9798',1,'SVF::MutableIncDFPTData::UpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#abad78c2ef84371b693dca206ebbb63ab',1,'SVF::PersistentIncDFPTData::UpdatedVarMap()']]],
-  ['updatedvarmapiter_6129',['UpdatedVarMapIter',['../classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e',1,'SVF::MutableIncDFPTData']]],
-  ['updateinfromin_6130',['updateInFromIn',['../classSVF_1_1FlowSensitive.html#a88120b9cec26620d4982798ea530353a',1,'SVF::FlowSensitive']]],
-  ['updateinfromout_6131',['updateInFromOut',['../classSVF_1_1FlowSensitive.html#af5d90b4bd5c16dd64cd10afea6b3be93',1,'SVF::FlowSensitive']]],
-  ['updatejoinedge_6132',['updateJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a49f5c6a95e236fad35b3d0410e0f4503',1,'SVF::ThreadCallGraph']]],
-  ['updatemap_6133',['updateMap',['../classSVF_1_1RelationSolver.html#af00aee55faf18a994dc5558ca4bf4932',1,'SVF::RelationSolver::updateMap()'],['../classSVF_1_1CDGBuilder.html#a55d97ecc3c08999d54f11ba051db3abf',1,'SVF::CDGBuilder::updateMap()']]],
-  ['updatenoderepandsubs_6134',['updateNodeRepAndSubs',['../classSVF_1_1Andersen.html#acd54e3edace1f41511c8f0a6a68dac18',1,'SVF::Andersen']]],
-  ['updatenoncandidatefuninterleaving_6135',['updateNonCandidateFunInterleaving',['../classSVF_1_1MHP.html#abeb76ad63d9362ba8fa8f7088b0d942b',1,'SVF::MHP']]],
-  ['updateoutfromin_6136',['updateOutFromIn',['../classSVF_1_1FlowSensitive.html#a06fe840604fdb4b50f08617c48acd44f',1,'SVF::FlowSensitive']]],
-  ['updatepropapts_6137',['updatePropaPts',['../classSVF_1_1Andersen.html#a4baa6fc95d52afa370fc0fabffd42018',1,'SVF::Andersen']]],
-  ['updatepropaptsmap_6138',['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_6139',['updateRepNode',['../classSVF_1_1ICFG.html#ae8b3b7bb72118a6aada2a63488995bb7',1,'SVF::ICFG']]],
-  ['updatesiblingthreads_6140',['updateSiblingThreads',['../classSVF_1_1MHP.html#a23ab5a03b7c00ba0ebac65568a83a5cc',1,'SVF::MHP']]],
-  ['updatesubandrep_6141',['updateSubAndRep',['../classSVF_1_1ICFG.html#ace6fa126ccfffa5bc6a1ceaccf9b857a',1,'SVF::ICFG']]],
-  ['updatetime_6142',['updateTime',['../classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226',1,'SVF::FlowSensitive']]],
-  ['updatetlvpts_6143',['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()']]],
-  ['urem_6144',['URem',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6af7dba9dda5edcee046ca81fb184858bc',1,'SVF::BinaryOPStmt']]],
-  ['usageandexit_6145',['usageAndExit',['../classOptionBase.html#ac6df21066e0848e26a718d81a25e2bb0',1,'OptionBase']]],
-  ['use_6146',['Use',['../namespaceSVF.html#a334998718813a19a7697daf4ba282faf',1,'SVF']]],
-  ['usedmrvers_6147',['usedMRVers',['../classSVF_1_1MemSSA.html#a6e5ac4f390528f8ee3cdc8e0e221ee71',1,'SVF::MemSSA']]],
-  ['usedregs_6148',['usedRegs',['../classSVF_1_1MemSSA.html#acf840b71b67cabe831f01f2d358f27fa',1,'SVF::MemSSA']]],
-  ['usepcg_6149',['UsePCG',['../classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746',1,'SVF::Options']]],
-  ['useprecompfieldsensitive_6150',['UsePreCompFieldSensitive',['../classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021',1,'SVF::Options']]],
-  ['user_6151',['User',['../namespaceSVF.html#afc1b50355821e7299df03b026e36f1df',1,'SVF']]],
-  ['userinput_6152',['userInput',['../classSVF_1_1DDAClient.html#a25f8abbcaca653d0883d542bfbe729a3',1,'SVF::DDAClient']]],
-  ['userinputquery_6153',['UserInputQuery',['../classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b',1,'SVF::Options']]],
-  ['utf16_5fliteral_5fto_5futf8_6154',['utf16_literal_to_utf8',['../cJSON_8cpp.html#a0e2851b1b595b3b430fd186e7deaf987',1,'cJSON.cpp']]]
+  ['u16_5ft_6015',['u16_t',['../namespaceSVF.html#a7c3a917e8b1d3253982e0a1a37b74d93',1,'SVF']]],
+  ['u32_5ft_6016',['u32_t',['../CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da',1,'u32_t(): CommandLine.h'],['../namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af',1,'SVF::u32_t()']]],
+  ['u64_5ft_6017',['u64_t',['../namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14',1,'SVF']]],
+  ['u8_5ft_6018',['u8_t',['../namespaceSVF.html#a9e83fb2225082782d168f5c7bfc79ba7',1,'SVF']]],
+  ['ub_6019',['ub',['../structSVF_1_1AbstractValue.html#aecd8d41379dd6496772537ad51d1cb02',1,'SVF::AbstractValue::ub()'],['../classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9',1,'SVF::IntervalValue::ub()']]],
+  ['udiv_6020',['UDiv',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ad2f8b02de2c62175d3341be92a925250',1,'SVF::BinaryOPStmt']]],
+  ['uitofp_6021',['UITOFP',['../classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1a821cd6daeaee15b117b41a272f743ff1',1,'SVF::CopyStmt']]],
+  ['unaryop_6022',['UnaryOp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc',1,'SVF::VFGNode::UnaryOp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688',1,'SVF::SVFStmt::UnaryOp()']]],
+  ['unaryoperator_6023',['UnaryOperator',['../namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62',1,'SVF']]],
+  ['unaryopstmt_6024',['UnaryOPStmt',['../classSVF_1_1UnaryOPStmt.html',1,'SVF::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_6025',['UnaryOPVFGNode',['../classSVF_1_1UnaryOPVFGNode.html',1,'SVF::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)']]],
+  ['uncalled_6026',['uncalled',['../classSVF_1_1SVFArgument.html#a758fa3cd9354ec069f0fe569251da7cd',1,'SVF::SVFArgument']]],
+  ['unclassified_6027',['UNCLASSIFIED',['../classSVF_1_1AbstractInterpretation.html#a13fdb4a6a6d09e3504fdad16b88616daad20658cd0f68b92583461b0b1f68d543',1,'SVF::AbstractInterpretation']]],
+  ['undefvalue_6028',['UndefValue',['../namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec',1,'SVF']]],
+  ['unifyfunctionexit_6029',['UnifyFunctionExit',['../classSVF_1_1MergeFunctionRets.html#a8c04750179ee48d283c5db4d84b3eca1',1,'SVF::MergeFunctionRets']]],
+  ['unifyfunctionexitnodes_6030',['UnifyFunctionExitNodes',['../namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b',1,'SVF']]],
+  ['unioncache_6031',['unionCache',['../classSVF_1_1PersistentPointsToCache.html#a6b601ce2055d83f2c1df0c7af039ce05',1,'SVF::PersistentPointsToCache']]],
+  ['unionddapts_6032',['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_6033',['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_6034',['unionPtsFromId',['../classSVF_1_1PersistentPTData.html#a142ea74fa724f047db14d3b573d9eee8',1,'SVF::PersistentPTData']]],
+  ['unionptsfromin_6035',['unionPtsFromIn',['../classSVF_1_1FlowSensitive.html#a16d757abf69ad77951b808dc18ca2999',1,'SVF::FlowSensitive']]],
+  ['unionptsfromtop_6036',['unionPtsFromTop',['../classSVF_1_1FlowSensitive.html#a49104435f8d20015907a1c8f58a76577',1,'SVF::FlowSensitive']]],
+  ['unionptsthroughids_6037',['unionPtsThroughIds',['../classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c',1,'SVF::PersistentDFPTData']]],
+  ['unionwith_6038',['unionWith',['../structSVF_1_1SparseBitVectorElement.html#a34e70705e4618e6d79a19ee7725e4960',1,'SVF::SparseBitVectorElement']]],
+  ['uniquecomplements_6039',['uniqueComplements',['../classSVF_1_1PersistentPointsToCache.html#a5c1afbaebce46eac6b1172aa5f2824ee',1,'SVF::PersistentPointsToCache']]],
+  ['uniqueintersections_6040',['uniqueIntersections',['../classSVF_1_1PersistentPointsToCache.html#a474023fe293b080fbda7da06ef380531',1,'SVF::PersistentPointsToCache']]],
+  ['uniqueunions_6041',['uniqueUnions',['../classSVF_1_1PersistentPointsToCache.html#aacebdd87b1dd45250391d035b032f9d4',1,'SVF::PersistentPointsToCache']]],
+  ['unknowntype_6042',['UnknownType',['../structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa3a7df767184a0bf01de99351747f545a',1,'SVF::AbstractValue']]],
+  ['unlocksites_6043',['unlocksites',['../classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780',1,'SVF::LockAnalysis']]],
+  ['unreachableinst_6044',['UnreachableInst',['../namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721',1,'SVF']]],
+  ['unset_6045',['unset',['../classSVF_1_1NodeIDAllocator.html#af7952ef5667039c9be86a589419b35a8',1,'SVF::NodeIDAllocator']]],
+  ['update_5foffset_6046',['update_offset',['../cJSON_8cpp.html#af5fb173126786c1e3f90b6df6e2500c5',1,'cJSON.cpp']]],
+  ['updatealiasmrs_6047',['updateAliasMRs',['../classSVF_1_1MRGenerator.html#a9c1da53188729eb743e1a33bbad87af7',1,'SVF::MRGenerator']]],
+  ['updatealldfinfromin_6048',['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_6049',['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_6050',['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_6051',['updateAncestorThreads',['../classSVF_1_1MHP.html#ae9423c868ba4d26337428b96db9fc77b',1,'SVF::MHP']]],
+  ['updateatvpts_6052',['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_6053',['updateCachedPointsTo',['../classSVF_1_1DDAVFSolver.html#a239a55960dfbbe73df63063070a18b56',1,'SVF::DDAVFSolver']]],
+  ['updatecallgraph_6054',['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_6055',['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()']]],
+  ['updatecallgraphtime_6056',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive']]],
+  ['updateconnectednodes_6057',['updateConnectedNodes',['../classSVF_1_1FlowSensitive.html#a1886b4964efa92cfff761493d12768b8',1,'SVF::FlowSensitive::updateConnectedNodes()'],['../classSVF_1_1VersionedFlowSensitive.html#a18f24fe34af677e2a8c78ee89b89be1c',1,'SVF::VersionedFlowSensitive::updateConnectedNodes()']]],
+  ['updatedfinfromin_6058',['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_6059',['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_6060',['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()']]],
+  ['updatedvarconstiter_6061',['UpdatedVarconstIter',['../classSVF_1_1MutableIncDFPTData.html#af815dd2108c16e1dfddbcd5bdbcceeb6',1,'SVF::MutableIncDFPTData']]],
+  ['updatedvarmap_6062',['UpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#a67c24cebffdcea9c8059f6769c7f9798',1,'SVF::MutableIncDFPTData::UpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#abad78c2ef84371b693dca206ebbb63ab',1,'SVF::PersistentIncDFPTData::UpdatedVarMap()']]],
+  ['updatedvarmapiter_6063',['UpdatedVarMapIter',['../classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e',1,'SVF::MutableIncDFPTData']]],
+  ['updateinfromin_6064',['updateInFromIn',['../classSVF_1_1FlowSensitive.html#a88120b9cec26620d4982798ea530353a',1,'SVF::FlowSensitive']]],
+  ['updateinfromout_6065',['updateInFromOut',['../classSVF_1_1FlowSensitive.html#af5d90b4bd5c16dd64cd10afea6b3be93',1,'SVF::FlowSensitive']]],
+  ['updatejoinedge_6066',['updateJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a49f5c6a95e236fad35b3d0410e0f4503',1,'SVF::ThreadCallGraph']]],
+  ['updatemap_6067',['updateMap',['../classSVF_1_1RelationSolver.html#af00aee55faf18a994dc5558ca4bf4932',1,'SVF::RelationSolver::updateMap()'],['../classSVF_1_1CDGBuilder.html#a55d97ecc3c08999d54f11ba051db3abf',1,'SVF::CDGBuilder::updateMap()']]],
+  ['updatenoderepandsubs_6068',['updateNodeRepAndSubs',['../classSVF_1_1Andersen.html#acd54e3edace1f41511c8f0a6a68dac18',1,'SVF::Andersen']]],
+  ['updatenoncandidatefuninterleaving_6069',['updateNonCandidateFunInterleaving',['../classSVF_1_1MHP.html#abeb76ad63d9362ba8fa8f7088b0d942b',1,'SVF::MHP']]],
+  ['updateoutfromin_6070',['updateOutFromIn',['../classSVF_1_1FlowSensitive.html#a06fe840604fdb4b50f08617c48acd44f',1,'SVF::FlowSensitive']]],
+  ['updatepropapts_6071',['updatePropaPts',['../classSVF_1_1Andersen.html#a4baa6fc95d52afa370fc0fabffd42018',1,'SVF::Andersen']]],
+  ['updatepropaptsmap_6072',['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_6073',['updateRepNode',['../classSVF_1_1ICFG.html#ae8b3b7bb72118a6aada2a63488995bb7',1,'SVF::ICFG']]],
+  ['updatesiblingthreads_6074',['updateSiblingThreads',['../classSVF_1_1MHP.html#a23ab5a03b7c00ba0ebac65568a83a5cc',1,'SVF::MHP']]],
+  ['updatesubandrep_6075',['updateSubAndRep',['../classSVF_1_1ICFG.html#ace6fa126ccfffa5bc6a1ceaccf9b857a',1,'SVF::ICFG']]],
+  ['updatetime_6076',['updateTime',['../classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226',1,'SVF::FlowSensitive']]],
+  ['updatetlvpts_6077',['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()']]],
+  ['urem_6078',['URem',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6af7dba9dda5edcee046ca81fb184858bc',1,'SVF::BinaryOPStmt']]],
+  ['usageandexit_6079',['usageAndExit',['../classOptionBase.html#ac6df21066e0848e26a718d81a25e2bb0',1,'OptionBase']]],
+  ['use_6080',['Use',['../namespaceSVF.html#a334998718813a19a7697daf4ba282faf',1,'SVF']]],
+  ['usedmrvers_6081',['usedMRVers',['../classSVF_1_1MemSSA.html#a6e5ac4f390528f8ee3cdc8e0e221ee71',1,'SVF::MemSSA']]],
+  ['usedregs_6082',['usedRegs',['../classSVF_1_1MemSSA.html#acf840b71b67cabe831f01f2d358f27fa',1,'SVF::MemSSA']]],
+  ['usepcg_6083',['UsePCG',['../classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746',1,'SVF::Options']]],
+  ['useprecompfieldsensitive_6084',['UsePreCompFieldSensitive',['../classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021',1,'SVF::Options']]],
+  ['user_6085',['User',['../namespaceSVF.html#afc1b50355821e7299df03b026e36f1df',1,'SVF']]],
+  ['userinput_6086',['userInput',['../classSVF_1_1DDAClient.html#a25f8abbcaca653d0883d542bfbe729a3',1,'SVF::DDAClient']]],
+  ['userinputquery_6087',['UserInputQuery',['../classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b',1,'SVF::Options']]],
+  ['utf16_5fliteral_5fto_5futf8_6088',['utf16_literal_to_utf8',['../cJSON_8cpp.html#a0e2851b1b595b3b430fd186e7deaf987',1,'cJSON.cpp']]]
 ];