svf-tools 1.0.481 → 1.0.482

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

@@ -105,7 +105,6 @@ var searchData=
   ['detect',['detect',['../classSVF_1_1MTA.html#af9558955c068ce922872c259dde1786e',1,'SVF::MTA']]],
   ['detectsccs',['detectSCCs',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html#ad52f6f586168ca4ceaf85cca8dfab825',1,'SVF::VersionedFlowSensitive::SCC']]],
   ['determinebestmapping',['determineBestMapping',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3f86e733cc075180e9682887c554b8fa',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['determinewhichgepsareloads',['determineWhichGepsAreLoads',['../classSVF_1_1FlowSensitiveTBHC.html#a80052c89d1a9f54cfbf8f9790110899d',1,'SVF::FlowSensitiveTBHC']]],
   ['dfptdata',['DFPTData',['../classSVF_1_1DFPTData.html#a40016a7e3dac46d9ba854d336c7aae83',1,'SVF::DFPTData']]],
   ['dfreechecker',['DFREECHECKER',['../saber_8cpp.html#ae783b2330e99490ef5d366605d1098cf',1,'saber.cpp']]],
   ['diffptdata',['DiffPTData',['../classSVF_1_1DiffPTData.html#ac7e9661cfb4d5af3ef35d323ddc35558',1,'SVF::DiffPTData']]],
@@ -155,7 +154,6 @@ var searchData=
   ['dumpslices',['dumpSlices',['../classSVF_1_1SrcSnkDDA.html#acae985068ff1c20fb81c4c9ba730aaba',1,'SVF::SrcSnkDDA']]],
   ['dumpsparseset',['dumpSparseSet',['../namespaceSVF_1_1SVFUtil.html#ab30a35713852a0a525c52ae5dd463442',1,'SVF::SVFUtil']]],
   ['dumpstat',['dumpStat',['../classSVF_1_1PointerAnalysis.html#ab83b827ea42d3a61aad20b1a1485d866',1,'SVF::PointerAnalysis']]],
-  ['dumpstats',['dumpStats',['../classSVF_1_1TypeBasedHeapCloning.html#a1a7b51e7d959795c00383721b013834d',1,'SVF::TypeBasedHeapCloning']]],
   ['dumpstr',['dumpStr',['../classSVF_1_1CondPointsToSet.html#abcd2c01ec21e30caa91dba06386912cb',1,'SVF::CondPointsToSet::dumpStr()'],['../classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60',1,'SVF::MemRegion::dumpStr()'],['../classSVF_1_1BDDExprManager.html#aa42ab1c5e6b2774be528bb33f0ca3c7b',1,'SVF::BDDExprManager::dumpStr()']]],
   ['dumptoplevelptsto',['dumpTopLevelPtsTo',['../classSVF_1_1PointerAnalysis.html#a627bdc95485fd65e8846fcaa5e89559f',1,'SVF::PointerAnalysis::dumpTopLevelPtsTo()'],['../classSVF_1_1BVDataPTAImpl.html#a8d6cea841b6ded0f80ef2b5784e9b752',1,'SVF::BVDataPTAImpl::dumpTopLevelPtsTo()'],['../classSVF_1_1CondPTAImpl.html#a80daa422e0dacf75aceb4fe5b4687c04',1,'SVF::CondPTAImpl::dumpTopLevelPtsTo()'],['../classSVF_1_1Andersen.html#a43858bd242c7f2c5f33c3c0f6445376a',1,'SVF::Andersen::dumpTopLevelPtsTo()']]],
   ['dyn_5fcast',['dyn_cast',['../namespaceSVF_1_1SVFUtil.html#a8182be247907420db00837cef9bcfa70',1,'SVF::SVFUtil::dyn_cast(const Y &Val)'],['../namespaceSVF_1_1SVFUtil.html#a52d852ba8fa569e858565b3bba403656',1,'SVF::SVFUtil::dyn_cast(Y &Val)'],['../namespaceSVF_1_1SVFUtil.html#a105c5c5e97d56533fb2b3ba7a0bc59f3',1,'SVF::SVFUtil::dyn_cast(Y *Val)']]]

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

@@ -55,7 +55,7 @@ var searchData=
   ['executedbythesamethread',['executedByTheSameThread',['../classSVF_1_1MHP.html#aab80f1bc5c359a7d3b03f249bafa1d40',1,'SVF::MHP']]],
   ['exestate',['ExeState',['../classSVF_1_1ExeState.html#a83ce58a2551d511448d0224a96ca1bd7',1,'SVF::ExeState::ExeState()'],['../classSVF_1_1ExeState.html#a02e0a7dd5e66255be3838fa10e3e1cab',1,'SVF::ExeState::ExeState(const Z3Expr &_pc, VarToValMap &_varToValMap, LocToValMap &_locToValMap)'],['../classSVF_1_1ExeState.html#a62bef487b31f2a4ca27b4e9b183bdef5',1,'SVF::ExeState::ExeState(const ExeState &rhs)']]],
   ['exit',['exit',['../util_8h.html#a43b6ea6be735bb828bc062c70cadeff8',1,'util.h']]],
-  ['expandfiobjs',['expandFIObjs',['../classSVF_1_1BVDataPTAImpl.html#a798c84d5e861de2b61bcb1a86385f721',1,'SVF::BVDataPTAImpl::expandFIObjs(const PointsTo &pts, PointsTo &expandedPts)'],['../classSVF_1_1BVDataPTAImpl.html#aa6a7186152037452599406a74b05d0e1',1,'SVF::BVDataPTAImpl::expandFIObjs(const NodeBS &pts, NodeBS &expandedPts)'],['../classSVF_1_1CondPTAImpl.html#a87b48287d7edb97fc120200fe0e5218d',1,'SVF::CondPTAImpl::expandFIObjs()'],['../classSVF_1_1FlowSensitiveTBHC.html#a3af0297eb75ac4009433be44bb286d30',1,'SVF::FlowSensitiveTBHC::expandFIObjs()']]],
+  ['expandfiobjs',['expandFIObjs',['../classSVF_1_1BVDataPTAImpl.html#a798c84d5e861de2b61bcb1a86385f721',1,'SVF::BVDataPTAImpl::expandFIObjs(const PointsTo &pts, PointsTo &expandedPts)'],['../classSVF_1_1BVDataPTAImpl.html#aa6a7186152037452599406a74b05d0e1',1,'SVF::BVDataPTAImpl::expandFIObjs(const NodeBS &pts, NodeBS &expandedPts)'],['../classSVF_1_1CondPTAImpl.html#a87b48287d7edb97fc120200fe0e5218d',1,'SVF::CondPTAImpl::expandFIObjs()']]],
   ['extendbackward',['extendBackward',['../classSVF_1_1CoreBitVector.html#ab6d789e3c68390a9026fd4f8c4cf344a',1,'SVF::CoreBitVector']]],
   ['extendforward',['extendForward',['../classSVF_1_1CoreBitVector.html#a5d3f1eb85bc388cb76c588b8d8b3c181',1,'SVF::CoreBitVector']]],
   ['extendto',['extendTo',['../classSVF_1_1CoreBitVector.html#a73e5b15854f4f56f50992ed0d0cc7349',1,'SVF::CoreBitVector']]],

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

@@ -7,7 +7,7 @@ var searchData=
   ['fillattribute',['fillAttribute',['../classSVF_1_1CFGNormalizer.html#aec174ad01529a195b710b2f628f9c0d6',1,'SVF::CFGNormalizer']]],
   ['filoworklist',['FILOWorkList',['../classSVF_1_1FILOWorkList.html#ab447c6c1a59cd81982626d25d00d57de',1,'SVF::FILOWorkList']]],
   ['finalbit',['finalBit',['../classSVF_1_1CoreBitVector.html#a8825e54f584be8aa0ff627335064244e',1,'SVF::CoreBitVector']]],
-  ['finalize',['finalize',['../classSVF_1_1ContextDDA.html#ae34cd06ee3b7d763c81ec418af76d244',1,'SVF::ContextDDA::finalize()'],['../classSVF_1_1FlowDDA.html#a5abae08577ab24684653421dc712431a',1,'SVF::FlowDDA::finalize()'],['../classSVF_1_1PointerAnalysis.html#a118dabc50024b5cd91095814ade47166',1,'SVF::PointerAnalysis::finalize()'],['../classSVF_1_1BVDataPTAImpl.html#a57ff2bf45ede7a730a8adaba8e61179d',1,'SVF::BVDataPTAImpl::finalize()'],['../classSVF_1_1CondPTAImpl.html#a9bdc3a50c695029a28371116ddc3ef8d',1,'SVF::CondPTAImpl::finalize()'],['../classSVF_1_1SrcSnkDDA.html#af6ee1f79b67c736ceeb591d0cdba4b06',1,'SVF::SrcSnkDDA::finalize()'],['../classSVF_1_1AndersenBase.html#a28a1c3571cdee5e05004b29ace364e67',1,'SVF::AndersenBase::finalize()'],['../classSVF_1_1Andersen.html#ad90c8cf193bd81870ce8dd88c9580e2c',1,'SVF::Andersen::finalize()'],['../classSVF_1_1FlowSensitive.html#afed358369102f01f6fe88b1433e704c3',1,'SVF::FlowSensitive::finalize()'],['../classSVF_1_1FlowSensitiveTBHC.html#a3564d6ad7e12e0a833b4cea203a809e4',1,'SVF::FlowSensitiveTBHC::finalize()'],['../classSVF_1_1TypeAnalysis.html#a8efef079c8b33e2215f92ac3629789e6',1,'SVF::TypeAnalysis::finalize()'],['../classSVF_1_1VersionedFlowSensitive.html#ad955fda89f4f749151a1bd14562b03f6',1,'SVF::VersionedFlowSensitive::finalize()']]],
+  ['finalize',['finalize',['../classSVF_1_1ContextDDA.html#ae34cd06ee3b7d763c81ec418af76d244',1,'SVF::ContextDDA::finalize()'],['../classSVF_1_1FlowDDA.html#a5abae08577ab24684653421dc712431a',1,'SVF::FlowDDA::finalize()'],['../classSVF_1_1PointerAnalysis.html#a118dabc50024b5cd91095814ade47166',1,'SVF::PointerAnalysis::finalize()'],['../classSVF_1_1BVDataPTAImpl.html#a57ff2bf45ede7a730a8adaba8e61179d',1,'SVF::BVDataPTAImpl::finalize()'],['../classSVF_1_1CondPTAImpl.html#a9bdc3a50c695029a28371116ddc3ef8d',1,'SVF::CondPTAImpl::finalize()'],['../classSVF_1_1SrcSnkDDA.html#af6ee1f79b67c736ceeb591d0cdba4b06',1,'SVF::SrcSnkDDA::finalize()'],['../classSVF_1_1AndersenBase.html#a28a1c3571cdee5e05004b29ace364e67',1,'SVF::AndersenBase::finalize()'],['../classSVF_1_1Andersen.html#ad90c8cf193bd81870ce8dd88c9580e2c',1,'SVF::Andersen::finalize()'],['../classSVF_1_1FlowSensitive.html#afed358369102f01f6fe88b1433e704c3',1,'SVF::FlowSensitive::finalize()'],['../classSVF_1_1TypeAnalysis.html#a8efef079c8b33e2215f92ac3629789e6',1,'SVF::TypeAnalysis::finalize()'],['../classSVF_1_1VersionedFlowSensitive.html#ad955fda89f4f749151a1bd14562b03f6',1,'SVF::VersionedFlowSensitive::finalize()']]],
   ['find',['find',['../classSVF_1_1CFLFIFOWorkList.html#a34d1d61f300a3c9e3b445764f3a316a8',1,'SVF::CFLFIFOWorkList::find()'],['../classSVF_1_1SCCDetection.html#a123b5006a6da7053e5e357140da3c5a3',1,'SVF::SCCDetection::find(void)'],['../classSVF_1_1SCCDetection.html#a1d0d98fd1286e71cfae50180cd2b1313',1,'SVF::SCCDetection::find(NodeSet &candidates)'],['../classSVF_1_1List.html#a3ac922ec28c4e6fe86db6ac262cd6dbd',1,'SVF::List::find()'],['../classSVF_1_1FIFOWorkList.html#a86f2393b1cce7969d6974b53970ead54',1,'SVF::FIFOWorkList::find()'],['../classSVF_1_1FILOWorkList.html#ac072af7d7a6d3abad17b779445286e7e',1,'SVF::FILOWorkList::find()'],['../classSVF_1_1CSC.html#a049dc6bd348b1108a8a9726d50a4f280',1,'SVF::CSC::find()']]],
   ['find_5fbest',['find_best',['../cuddInt_8c.html#a1efeea833dfd194338306de03a31e8ed',1,'cuddInt.c']]],
   ['find_5ffirst',['find_first',['../classSVF_1_1PointsTo.html#a12883234179873d279e72e5947aad836',1,'SVF::PointsTo']]],
@@ -19,7 +19,6 @@ var searchData=
   ['flowdda',['FlowDDA',['../classSVF_1_1FlowDDA.html#aab22d2c14b46963887f623d84e75bd7a',1,'SVF::FlowDDA']]],
   ['flowsensitive',['FlowSensitive',['../classSVF_1_1FlowSensitive.html#aac88b67b49cbd72912ff586d30197ffb',1,'SVF::FlowSensitive']]],
   ['flowsensitivestat',['FlowSensitiveStat',['../classSVF_1_1FlowSensitiveStat.html#a2a7ae289b0400e63fa217f8717f4ffa9',1,'SVF::FlowSensitiveStat']]],
-  ['flowsensitivetbhc',['FlowSensitiveTBHC',['../classSVF_1_1FlowSensitiveTBHC.html#abb0d8712ec0f9d6ae4e4e0971eac07f4',1,'SVF::FlowSensitiveTBHC']]],
   ['followersbegin',['followersBegin',['../classSVF_1_1PCG.html#aa3d0ccb72cf83c7227dc975d71865f7d',1,'SVF::PCG']]],
   ['followersend',['followersEnd',['../classSVF_1_1PCG.html#ad67d66001177055b0b534732d381afea',1,'SVF::PCG']]],
   ['for',['for',['../cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc',1,'cJSON.cpp']]],

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

@@ -7,7 +7,6 @@ var searchData=
   ['genericgraph',['GenericGraph',['../classSVF_1_1GenericGraph.html#aa5837cddbbd63c5a8ac5725bcecb192f',1,'SVF::GenericGraph']]],
   ['genericnode',['GenericNode',['../classSVF_1_1GenericNode.html#acdca5baae3e9e4208a60322fec9c9d3f',1,'SVF::GenericNode']]],
   ['gepcgedge',['GepCGEdge',['../classSVF_1_1GepCGEdge.html#a17660f0d48006b9ee1d095218c5ab4a0',1,'SVF::GepCGEdge::GepCGEdge()'],['../classSVF_1_1GepCGEdge.html#ac80df552aa58bb5d285f35bc246dde1b',1,'SVF::GepCGEdge::GepCGEdge(const GepCGEdge &)'],['../classSVF_1_1GepCGEdge.html#a7c60fffa69c2d029d7808e046c9adce4',1,'SVF::GepCGEdge::GepCGEdge(ConstraintNode *s, ConstraintNode *d, ConstraintEdgeK k, EdgeID id)']]],
-  ['gepisload',['gepIsLoad',['../classSVF_1_1FlowSensitiveTBHC.html#ad5b294dacf51a89306df9a22c6799bad',1,'SVF::FlowSensitiveTBHC']]],
   ['gepobjvar',['GepObjVar',['../classSVF_1_1GepObjVar.html#ae80d95a4d90ca64eca819e140445004c',1,'SVF::GepObjVar']]],
   ['gepstmt',['GepStmt',['../classSVF_1_1GepStmt.html#a9877729d1b82317d6e5d28bea9741586',1,'SVF::GepStmt::GepStmt()'],['../classSVF_1_1GepStmt.html#a800c21f9263eb5d9b1980b1dff013391',1,'SVF::GepStmt::GepStmt(const GepStmt &)'],['../classSVF_1_1GepStmt.html#ae4509ee7b57121da3c67de00e8bdf0b3',1,'SVF::GepStmt::GepStmt(SVFVar *s, SVFVar *d, const LocationSet &l, bool varfld=false)']]],
   ['gepvalvar',['GepValVar',['../classSVF_1_1GepValVar.html#af4fd4a194f00d5cc76c2aeb9e316f768',1,'SVF::GepValVar']]],
@@ -43,8 +42,7 @@ var searchData=
   ['getaggs',['getAggs',['../classSVF_1_1DCHGraph.html#a159e158c794fff115d5642b85963f43b',1,'SVF::DCHGraph']]],
   ['getaliasmemregions',['getAliasMemRegions',['../classSVF_1_1MRGenerator.html#ad740188222439c089907fa6c6c951f02',1,'SVF::MRGenerator']]],
   ['getallcallsitesinvokingcallee',['getAllCallSitesInvokingCallee',['../classSVF_1_1PTACallGraph.html#a80070e2f50ed1036d334250841215ca8',1,'SVF::PTACallGraph']]],
-  ['getallfieldsobjvars',['getAllFieldsObjVars',['../classSVF_1_1ConstraintGraph.html#afd200919cf8742bb62bb0bde279a558a',1,'SVF::ConstraintGraph::getAllFieldsObjVars()'],['../classSVF_1_1PointerAnalysis.html#a5dddd53b4ca9d7cc23d88ed9f3de9fde',1,'SVF::PointerAnalysis::getAllFieldsObjVars()'],['../classSVF_1_1SVFIR.html#a7276e82b4648ed0e1b3d1b8b37b24089',1,'SVF::SVFIR::getAllFieldsObjVars(const MemObj *obj)'],['../classSVF_1_1SVFIR.html#a942072d153928e478c76e4b7f1fafa29',1,'SVF::SVFIR::getAllFieldsObjVars(NodeID id)'],['../classSVF_1_1FlowSensitiveTBHC.html#a56dc95bb4b6d48f82c87c6280237990a',1,'SVF::FlowSensitiveTBHC::getAllFieldsObjVars()']]],
-  ['getallocationsite',['getAllocationSite',['../classSVF_1_1TypeBasedHeapCloning.html#a5681d78630ca8770dd493ef3841ec683',1,'SVF::TypeBasedHeapCloning']]],
+  ['getallfieldsobjvars',['getAllFieldsObjVars',['../classSVF_1_1ConstraintGraph.html#afd200919cf8742bb62bb0bde279a558a',1,'SVF::ConstraintGraph::getAllFieldsObjVars()'],['../classSVF_1_1PointerAnalysis.html#a5dddd53b4ca9d7cc23d88ed9f3de9fde',1,'SVF::PointerAnalysis::getAllFieldsObjVars()'],['../classSVF_1_1SVFIR.html#a7276e82b4648ed0e1b3d1b8b37b24089',1,'SVF::SVFIR::getAllFieldsObjVars(const MemObj *obj)'],['../classSVF_1_1SVFIR.html#a942072d153928e478c76e4b7f1fafa29',1,'SVF::SVFIR::getAllFieldsObjVars(NodeID id)']]],
   ['getallpts',['getAllPts',['../classSVF_1_1PTData.html#adbe2b955f119871b54dc502de84b94c4',1,'SVF::PTData::getAllPts()'],['../classSVF_1_1MutablePTData.html#ad20254ace6d9976da2099413f5790458',1,'SVF::MutablePTData::getAllPts()'],['../classSVF_1_1MutableDiffPTData.html#adb89579b46a478f6d0e30e790838dca9',1,'SVF::MutableDiffPTData::getAllPts()'],['../classSVF_1_1MutableDFPTData.html#ac9120fbb056e23cdf84646a37d809a8d',1,'SVF::MutableDFPTData::getAllPts()'],['../classSVF_1_1MutableVersionedPTData.html#a6cac338e74f869d0e708c7e2b356b5d7',1,'SVF::MutableVersionedPTData::getAllPts()'],['../classSVF_1_1PersistentPointsToCache.html#ab84d0806e87c982bf81ae309f28751e3',1,'SVF::PersistentPointsToCache::getAllPts()'],['../classSVF_1_1PersistentPTData.html#aadba2724dfe3cb745d9e9d73b8c3de67',1,'SVF::PersistentPTData::getAllPts()'],['../classSVF_1_1PersistentDiffPTData.html#a3bad0126e25b0a7134e8ef25869bd40e',1,'SVF::PersistentDiffPTData::getAllPts()'],['../classSVF_1_1PersistentDFPTData.html#a98f84bffeba6bd7dc140f1d5b63ff368',1,'SVF::PersistentDFPTData::getAllPts()'],['../classSVF_1_1PersistentVersionedPTData.html#a6c9ad3635f73b805289cc1f14cdcf09a',1,'SVF::PersistentVersionedPTData::getAllPts()']]],
   ['getallvalidptrs',['getAllValidPtrs',['../classSVF_1_1PointerAnalysis.html#a60b111647e000cc983aa52513f90afbc',1,'SVF::PointerAnalysis::getAllValidPtrs()'],['../classSVF_1_1SVFIR.html#a7990c72dd6d645d713f19ed973841484',1,'SVF::SVFIR::getAllValidPtrs()']]],
   ['getanalysisty',['getAnalysisTy',['../classSVF_1_1PointerAnalysis.html#ac23f71c1307cda9cba44acc40059f0a3',1,'SVF::PointerAnalysis']]],
@@ -136,7 +134,6 @@ var searchData=
   ['getclassnamefromvtblobj',['getClassNameFromVtblObj',['../namespaceSVF_1_1cppUtil.html#ad83c097f1c77cdf52fc219ef07ee0b1a',1,'SVF::cppUtil']]],
   ['getclassnameofthisptr',['getClassNameOfThisPtr',['../namespaceSVF_1_1cppUtil.html#a3bed7bc0a0ae580841ca049f91690ff7',1,'SVF::cppUtil']]],
   ['getclk',['getClk',['../classSVF_1_1PTAStat.html#a3c4eaa1695ea13405911ae1621f98edc',1,'SVF::PTAStat']]],
-  ['getclones',['getClones',['../classSVF_1_1TypeBasedHeapCloning.html#af127bed600087b1ace26088a76ca8998',1,'SVF::TypeBasedHeapCloning']]],
   ['getcmpvfgnode',['getCmpVFGNode',['../classSVF_1_1VFG.html#a9215c1d7f1152967f0731057a085e793',1,'SVF::VFG']]],
   ['getcompletenodelabel',['getCompleteNodeLabel',['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a381db1cc959f8f2279fb501f8224a19a',1,'llvm::DOTGraphTraits< SVFG * >::getCompleteNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a6ced6b5b50d920fb47c4334693fea86c',1,'llvm::DOTGraphTraits< VFG * >::getCompleteNodeLabel()']]],
   ['getcond',['getCond',['../classSVF_1_1MSSAMU.html#ac51263250da06fd63b923a6771744f97',1,'SVF::MSSAMU::getCond()'],['../classSVF_1_1MSSACHI.html#a9673994f9db94e23984b132d4b533304',1,'SVF::MSSACHI::getCond()'],['../classSVF_1_1MSSAPHI.html#a06a5d63be38e6df36e1c28a6c0c789cc',1,'SVF::MSSAPHI::getCond()'],['../classSVF_1_1PathCondAllocator.html#ad1fdfabb37f6bb5da6724b95404739e2',1,'SVF::PathCondAllocator::getCond()'],['../classSVF_1_1BDDExprManager.html#a58186fe706c8c44467b789d8ebd58474',1,'SVF::BDDExprManager::getCond()'],['../classSVF_1_1CxtStmtDPItem.html#ace41c90e66f6a85f12ff67540ad9d594',1,'SVF::CxtStmtDPItem::getCond() const'],['../classSVF_1_1CxtStmtDPItem.html#a987f57970d633acc10aa3f3e69b68cb0',1,'SVF::CxtStmtDPItem::getCond()']]],
@@ -251,7 +248,6 @@ var searchData=
   ['getfilename',['getFileName',['../classSVF_1_1PAGBuilderFromFile.html#aaaa1e516e5eeceece371a9178142c3ff',1,'SVF::PAGBuilderFromFile']]],
   ['getfilledprod',['getFilledProd',['../classSVF_1_1CFGNormalizer.html#ab5c5efbb72cf018885e026be65c92fdf',1,'SVF::CFGNormalizer']]],
   ['getfilledproductions',['getFilledProductions',['../classSVF_1_1CFGNormalizer.html#ae5932d3d9330e28e5fa89402a5f5ff33',1,'SVF::CFGNormalizer']]],
-  ['getfilterset',['getFilterSet',['../classSVF_1_1TypeBasedHeapCloning.html#ae520e0551e63223a908f92a6b9667356',1,'SVF::TypeBasedHeapCloning']]],
   ['getfiobjvar',['getFIObjVar',['../classSVF_1_1ConstraintGraph.html#a7c8a29ad1d270fca745f233bb4800731',1,'SVF::ConstraintGraph::getFIObjVar()'],['../classSVF_1_1PointerAnalysis.html#a68b05bc02c5473c1e0d39ac4f4454bac',1,'SVF::PointerAnalysis::getFIObjVar()'],['../classSVF_1_1SVFIR.html#a2878e202045b7f2c817185e8bf95d354',1,'SVF::SVFIR::getFIObjVar(const MemObj *obj) const'],['../classSVF_1_1SVFIR.html#ac9f860028c8cbd364720888084701628',1,'SVF::SVFIR::getFIObjVar(NodeID id) const']]],
   ['getfirstrhs2prods',['getFirstRHS2Prods',['../classSVF_1_1CFLGrammar.html#ac0f09c94e9c6efc00398ed7d5ca1fe0f',1,'SVF::CFLGrammar']]],
   ['getfirstrhssymbol',['getFirstRHSSymbol',['../classSVF_1_1CFLGrammar.html#a837d2db607e1c9403db4d3021f4e52d4',1,'SVF::CFLGrammar']]],
@@ -299,10 +295,7 @@ var searchData=
   ['getfuntopointstolist',['getFunToPointsToList',['../classSVF_1_1MRGenerator.html#a1331e6f0941838064d77a5adaa5c6303',1,'SVF::MRGenerator']]],
   ['getfuntoretmusetmap',['getFunToRetMuSetMap',['../classSVF_1_1MemSSA.html#a44cbdb1231c2709c24d19ad2bae2475a',1,'SVF::MemSSA']]],
   ['getgepinedges',['getGepInEdges',['../classSVF_1_1ConstraintNode.html#ac645cf2114161981cd4465c83cbc31f5',1,'SVF::ConstraintNode']]],
-  ['getgepobjclones',['getGepObjClones',['../classSVF_1_1TypeBasedHeapCloning.html#aa175b5db473eb57c03b6f908791d1133',1,'SVF::TypeBasedHeapCloning']]],
   ['getgepobjnodemap',['getGepObjNodeMap',['../classSVF_1_1SVFIR.html#a77e3c407ea3990413e371589aa468963',1,'SVF::SVFIR']]],
-  ['getgepobjs',['getGepObjs',['../classSVF_1_1TypeBasedHeapCloning.html#afe416f9ec57923f34ef1db3890a3f9e1',1,'SVF::TypeBasedHeapCloning']]],
-  ['getgepobjsfrommemobj',['getGepObjsFromMemObj',['../classSVF_1_1TypeBasedHeapCloning.html#ad043ab95900849a5a894ca4bada4e032',1,'SVF::TypeBasedHeapCloning']]],
   ['getgepobjvar',['getGepObjVar',['../classSVF_1_1ConstraintGraph.html#a3f727a2822fb18a14ce9e10c6534cf5a',1,'SVF::ConstraintGraph::getGepObjVar()'],['../classSVF_1_1PointerAnalysis.html#acbbc0934af9bc0145389dc41430c6d8b',1,'SVF::PointerAnalysis::getGepObjVar()'],['../classSVF_1_1SVFIR.html#a20c0c65af266ac876cb722aee6e87101',1,'SVF::SVFIR::getGepObjVar(const MemObj *obj, const LocationSet &ls)'],['../classSVF_1_1SVFIR.html#ab3e37eab61e7899f950be7de5f4d7916',1,'SVF::SVFIR::getGepObjVar(NodeID id, const LocationSet &ls)']]],
   ['getgepoutedges',['getGepOutEdges',['../classSVF_1_1ConstraintNode.html#a19d3d2c996ba821227a836717e5443c8',1,'SVF::ConstraintNode']]],
   ['getgepvalvar',['getGepValVar',['../classSVF_1_1SVFIR.html#af17643b59ad9aa277b6e8f90a47c76b0',1,'SVF::SVFIR::getGepValVar()'],['../classSVF_1_1SVFIRBuilder.html#a74cff1c31f2fd1d23709b34ae988c29a',1,'SVF::SVFIRBuilder::getGepValVar()']]],
@@ -470,7 +463,6 @@ var searchData=
   ['getobjectnode',['getObjectNode',['../classSVF_1_1IRGraph.html#aba13ca47865614e45321c1ae53e640c1',1,'SVF::IRGraph::getObjectNode()'],['../classSVF_1_1SVFIRBuilder.html#a5a93f3d13e2b3df126fbc42b1bd09006',1,'SVF::SVFIRBuilder::getObjectNode()']]],
   ['getobjectnodenum',['getObjectNodeNum',['../classSVF_1_1IRGraph.html#a82528aff779ccf8f723f57507dd2d991',1,'SVF::IRGraph']]],
   ['getobjsize',['getObjSize',['../classSVF_1_1SymbolTableBuilder.html#abcc05a5ffa5fcddb7220e1c691d3ed87',1,'SVF::SymbolTableBuilder']]],
-  ['getobjswithclones',['getObjsWithClones',['../classSVF_1_1TypeBasedHeapCloning.html#ad1c67da3aac128ca8a69907fdad53fcd',1,'SVF::TypeBasedHeapCloning']]],
   ['getobjsym',['getObjSym',['../classSVF_1_1SymbolTableInfo.html#afca5a68d1825326e3ec6302ce0afee66',1,'SVF::SymbolTableInfo']]],
   ['getocgrep',['getOCGRep',['../classSVF_1_1OfflineConsG.html#a3f390900ee8761055c6d59107bc0ad27',1,'SVF::OfflineConsG']]],
   ['getocgrepmap',['getOCGRepMap',['../classSVF_1_1OfflineConsG.html#a4c27bd33977816db33d0e7d92036239a',1,'SVF::OfflineConsG']]],
@@ -492,7 +484,6 @@ var searchData=
   ['getorcreatenode',['getOrCreateNode',['../classSVF_1_1DCHGraph.html#a9ed6b91fad334605f514049a2072b538',1,'SVF::DCHGraph']]],
   ['getorcreatetctnode',['getOrCreateTCTNode',['../classSVF_1_1TCT.html#a787e815e9c7e53566ce56127dd31a3a9',1,'SVF::TCT']]],
   ['getoriginalelemtype',['getOriginalElemType',['../classSVF_1_1SymbolTableInfo.html#abffa6bdac98c5e64615291e8f2537caa',1,'SVF::SymbolTableInfo::getOriginalElemType()'],['../classSVF_1_1StInfo.html#a828941e63c26448bc9ace9adb72db454',1,'SVF::StInfo::getOriginalElemType()']]],
-  ['getoriginalobj',['getOriginalObj',['../classSVF_1_1TypeBasedHeapCloning.html#aeea7089c6f54b44f0509d41686b649f6',1,'SVF::TypeBasedHeapCloning']]],
   ['getoutedges',['getOutEdges',['../classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009',1,'SVF::GenericNode']]],
   ['getoutgoingedges',['getOutgoingEdges',['../classSVF_1_1SVFVar.html#a927733580b47be5ffcfced44ba9fd6c3',1,'SVF::SVFVar']]],
   ['getoutgoingedgesbegin',['getOutgoingEdgesBegin',['../classSVF_1_1SVFVar.html#a9e40eafe55a2c1448b830b56ae72e17f',1,'SVF::SVFVar']]],
@@ -549,7 +540,6 @@ var searchData=
   ['getpts',['getPts',['../classSVF_1_1CFLAlias.html#ad7bde2bfe158e9c3643927583ce145c9',1,'SVF::CFLAlias::getPts()'],['../classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d',1,'SVF::PTData::getPts()'],['../classSVF_1_1VersionedPTData.html#adcba3355f96357493d8a7520ff00cc97',1,'SVF::VersionedPTData::getPts()'],['../classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62',1,'SVF::MutablePTData::getPts()'],['../classSVF_1_1MutableDiffPTData.html#ac2f494da9379c336bb81a0dc438b5af9',1,'SVF::MutableDiffPTData::getPts()'],['../classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b',1,'SVF::MutableDFPTData::getPts()'],['../classSVF_1_1MutableVersionedPTData.html#aaf519166d2e0ca3c81088b52a1cf3066',1,'SVF::MutableVersionedPTData::getPts(const Key &vk) override'],['../classSVF_1_1MutableVersionedPTData.html#afcc34f6cedca6a8f151b1a7251832818',1,'SVF::MutableVersionedPTData::getPts(const VersionedKey &vk) override'],['../classSVF_1_1PersistentPTData.html#a34f8226202e1654d4e67916b21ec4d99',1,'SVF::PersistentPTData::getPts()'],['../classSVF_1_1PersistentDiffPTData.html#a9982ecf42416756a0729a28e8713cfed',1,'SVF::PersistentDiffPTData::getPts()'],['../classSVF_1_1PersistentDFPTData.html#a5f6a01d0bb40a718bc14f2cc1bb98a13',1,'SVF::PersistentDFPTData::getPts()'],['../classSVF_1_1PersistentVersionedPTData.html#afe80884fa8227e50f28631e20aa6fdf6',1,'SVF::PersistentVersionedPTData::getPts(const Key &vk) override'],['../classSVF_1_1PersistentVersionedPTData.html#a9b81d20e54d08e36edbff43549b1e820',1,'SVF::PersistentVersionedPTData::getPts(const VersionedKey &vk) override'],['../classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec',1,'SVF::PointerAnalysis::getPts()'],['../classSVF_1_1BVDataPTAImpl.html#aee289e298e421448caaa604b7eb34fcb',1,'SVF::BVDataPTAImpl::getPts()'],['../classSVF_1_1CondPTAImpl.html#a63fa2b3a96696ffc67a119c1ba5ce748',1,'SVF::CondPTAImpl::getPts(CVar id)'],['../classSVF_1_1CondPTAImpl.html#a0b96ba98239186d6d676f9540da9e590',1,'SVF::CondPTAImpl::getPts(NodeID ptr)'],['../classSVF_1_1Andersen.html#a187285a5bdf9422d9188b2b11b667639',1,'SVF::Andersen::getPts()'],['../classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486',1,'SVF::Steensgaard::getPts()']]],
   ['getptsmap',['getPtsMap',['../classSVF_1_1MutablePTData.html#a8838058efe94b62553bb5416fdc2ec5b',1,'SVF::MutablePTData::getPtsMap()'],['../classSVF_1_1MutableDiffPTData.html#a8261a24cfb34056f3720cd6fbc0a4870',1,'SVF::MutableDiffPTData::getPtsMap()'],['../classSVF_1_1MutableDFPTData.html#a8b1814326e71f6c6fd31d5aef0592a1d',1,'SVF::MutableDFPTData::getPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a979486e35b529fbc62b2974899627113',1,'SVF::CondPTAImpl::getPtsMap()']]],
   ['getptssubsetmap',['getPtsSubSetMap',['../classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1',1,'SVF::IntraDisjointMRG::getPtsSubSetMap(const SVFFunction *func)'],['../classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53',1,'SVF::IntraDisjointMRG::getPtsSubSetMap(const SVFFunction *func) const']]],
-  ['getrawctirmetadata',['getRawCTirMetadata',['../classSVF_1_1FlowSensitiveTBHC.html#a2c47ba37bd250be455a21d1f0049d556',1,'SVF::FlowSensitiveTBHC::getRawCTirMetadata()'],['../classSVF_1_1TypeBasedHeapCloning.html#a21d2fd8bbef0c6f6ddddb5387569a7fa',1,'SVF::TypeBasedHeapCloning::getRawCTirMetadata()']]],
   ['getrawproductions',['getRawProductions',['../classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae',1,'SVF::GrammarBase']]],
   ['getref',['getRef',['../classSVF_1_1OfflineConsG.html#af701f54b1db07a16e926cd40ab17eb12',1,'SVF::OfflineConsG']]],
   ['getrefinfoforcall',['getRefInfoForCall',['../classSVF_1_1MRGenerator.html#a965a31712341b1fc02e667f325423ca2',1,'SVF::MRGenerator']]],
@@ -662,9 +652,8 @@ var searchData=
   ['gettotalsymnum',['getTotalSymNum',['../classSVF_1_1SymbolTableInfo.html#a26eb45eab3da4695a6e5bad51b01ddc5',1,'SVF::SymbolTableInfo']]],
   ['gettruecond',['getTrueCond',['../classSVF_1_1PathCondAllocator.html#a1a6bde0db54c91fba7e6bac0acff664a',1,'SVF::PathCondAllocator::getTrueCond()'],['../classSVF_1_1ProgSlice.html#a50bb38398ecc422b6d10e0d77bb032c3',1,'SVF::ProgSlice::getTrueCond()'],['../classSVF_1_1BDDExprManager.html#a765d97ba6065a96a61209c59fdbb4b01',1,'SVF::BDDExprManager::getTrueCond()']]],
   ['gettruevalue',['getTrueValue',['../classSVF_1_1SelectStmt.html#a537c03b08444da34c26b9e989bb0e568',1,'SVF::SelectStmt']]],
-  ['gettype',['getType',['../classSVF_1_1SVFVar.html#adaaf24b8b6ec06476cea112533c24066',1,'SVF::SVFVar::getType()'],['../classSVF_1_1ObjVar.html#aa1004c9973fb974ba1e52df80978321d',1,'SVF::ObjVar::getType()'],['../classSVF_1_1GepValVar.html#a2760700f067c6a2fbc4e6e626b603bc4',1,'SVF::GepValVar::getType()'],['../classSVF_1_1GepObjVar.html#ab2348a9378f1c64cf5c176b21a655d14',1,'SVF::GepObjVar::getType()'],['../classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216',1,'SVF::MemObj::getType()'],['../classSVF_1_1ObjTypeInfo.html#a706cdc47e78732853252d5a4af85653a',1,'SVF::ObjTypeInfo::getType()'],['../classSVF_1_1MSSAMU.html#a9a542febe746d1389d34e5e31a3253c9',1,'SVF::MSSAMU::getType()'],['../classSVF_1_1MSSADEF.html#a4cabef62b821efb0c88efb304fd0a70c',1,'SVF::MSSADEF::getType()'],['../classSVF_1_1SaberCheckerAPI.html#ab0cdd9671c406e8d881f0a057fe44081',1,'SVF::SaberCheckerAPI::getType()'],['../classSVF_1_1DCHNode.html#aaf4036d892bdae02a01d31bfe3db2153',1,'SVF::DCHNode::getType()'],['../classSVF_1_1CallSite.html#a9b7d53a345875e4e6c72eb23ac6475de',1,'SVF::CallSite::getType()'],['../classSVF_1_1ThreadAPI.html#a768a655dffc5fcf1d63e2a0b3f2930f4',1,'SVF::ThreadAPI::getType()'],['../classSVF_1_1TypeBasedHeapCloning.html#a219edef6c013a953ed12ee3c56bde6de',1,'SVF::TypeBasedHeapCloning::getType()']]],
+  ['gettype',['getType',['../classSVF_1_1SVFVar.html#adaaf24b8b6ec06476cea112533c24066',1,'SVF::SVFVar::getType()'],['../classSVF_1_1ObjVar.html#aa1004c9973fb974ba1e52df80978321d',1,'SVF::ObjVar::getType()'],['../classSVF_1_1GepValVar.html#a2760700f067c6a2fbc4e6e626b603bc4',1,'SVF::GepValVar::getType()'],['../classSVF_1_1GepObjVar.html#ab2348a9378f1c64cf5c176b21a655d14',1,'SVF::GepObjVar::getType()'],['../classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216',1,'SVF::MemObj::getType()'],['../classSVF_1_1ObjTypeInfo.html#a706cdc47e78732853252d5a4af85653a',1,'SVF::ObjTypeInfo::getType()'],['../classSVF_1_1MSSAMU.html#a9a542febe746d1389d34e5e31a3253c9',1,'SVF::MSSAMU::getType()'],['../classSVF_1_1MSSADEF.html#a4cabef62b821efb0c88efb304fd0a70c',1,'SVF::MSSADEF::getType()'],['../classSVF_1_1SaberCheckerAPI.html#ab0cdd9671c406e8d881f0a057fe44081',1,'SVF::SaberCheckerAPI::getType()'],['../classSVF_1_1DCHNode.html#aaf4036d892bdae02a01d31bfe3db2153',1,'SVF::DCHNode::getType()'],['../classSVF_1_1CallSite.html#a9b7d53a345875e4e6c72eb23ac6475de',1,'SVF::CallSite::getType()'],['../classSVF_1_1ThreadAPI.html#a768a655dffc5fcf1d63e2a0b3f2930f4',1,'SVF::ThreadAPI::getType()']]],
   ['gettypedefs',['getTypedefs',['../classSVF_1_1DCHNode.html#ac77edc44c3c5acc185c27c018837d066',1,'SVF::DCHNode']]],
-  ['gettypefromctirmetadata',['getTypeFromCTirMetadata',['../classSVF_1_1FlowSensitiveTBHC.html#a045ffbf7eea276d154be2cf883ea71f7',1,'SVF::FlowSensitiveTBHC::getTypeFromCTirMetadata()'],['../classSVF_1_1TypeBasedHeapCloning.html#ac4565775cced4444ba007e310c4a02d8',1,'SVF::TypeBasedHeapCloning::getTypeFromCTirMetadata()']]],
   ['gettypeofheapalloc',['getTypeOfHeapAlloc',['../namespaceSVF_1_1LLVMUtil.html#a2fff71a75bb595865e1ff32d1addda71',1,'SVF::LLVMUtil']]],
   ['gettypesizeinbytes',['getTypeSizeInBytes',['../namespaceSVF_1_1LLVMUtil.html#a09683d4d88a50fa621809c734465f94d',1,'SVF::LLVMUtil::getTypeSizeInBytes(const Type *type)'],['../namespaceSVF_1_1LLVMUtil.html#a2b5fdf455c5dd40c0baa60185e5e41c6',1,'SVF::LLVMUtil::getTypeSizeInBytes(const StructType *sty, u32_t field_index)']]],
   ['gettypesystem',['getTypeSystem',['../classSVF_1_1PointerAnalysis.html#ae615dd279fbf681e3c15e7209e3adfbe',1,'SVF::PointerAnalysis']]],
@@ -674,7 +663,7 @@ var searchData=
   ['getvalsym',['getValSym',['../classSVF_1_1SymbolTableInfo.html#ac71fd3165008ad8c1b8419da832af8fb',1,'SVF::SymbolTableInfo']]],
   ['getvalue',['getValue',['../classSVF_1_1VFGNode.html#a5ac80149696c243f77e4b4d25ad44898',1,'SVF::VFGNode::getValue()'],['../classSVF_1_1StmtVFGNode.html#ab51f462a26bc03cd5e2379be98a4dd3b',1,'SVF::StmtVFGNode::getValue()'],['../classSVF_1_1CmpVFGNode.html#a166ac2df82ebfcb77d50b71ce573e1eb',1,'SVF::CmpVFGNode::getValue()'],['../classSVF_1_1BinaryOPVFGNode.html#ad4c45bbfd044502106c41ba70f568463',1,'SVF::BinaryOPVFGNode::getValue()'],['../classSVF_1_1PHIVFGNode.html#a188a4d3ae95fe01dc59784d076f28aef',1,'SVF::PHIVFGNode::getValue()'],['../classSVF_1_1ArgumentVFGNode.html#aaf6a78630b0365d50dd7b4394215d3a1',1,'SVF::ArgumentVFGNode::getValue()'],['../classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882',1,'SVF::SVFStmt::getValue()'],['../classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40',1,'SVF::SVFVar::getValue()'],['../classSVF_1_1MemObj.html#a4da54ef60231d2e6c26669226b99d2f3',1,'SVF::MemObj::getValue()'],['../classSVF_1_1SVFValue.html#a50f77757ac9c37a9501eb48deccdfef1',1,'SVF::SVFValue::getValue()']]],
   ['getvalueedges',['getValueEdges',['../classSVF_1_1IRGraph.html#a7710f6795d971d7a8b5683835c4c0fb8',1,'SVF::IRGraph']]],
-  ['getvaluename',['getValueName',['../classSVF_1_1SVFVar.html#a54b2a5ed3ed21e54eaf04182f0338333',1,'SVF::SVFVar::getValueName()'],['../classSVF_1_1ValVar.html#aeaccfd3bf5f968ad12d7e1a2426e5faa',1,'SVF::ValVar::getValueName()'],['../classSVF_1_1ObjVar.html#ac1609e2e3b6843c6f7992e425771fce3',1,'SVF::ObjVar::getValueName()'],['../classSVF_1_1GepValVar.html#ae89482e674768298f49e51df4ebe63e3',1,'SVF::GepValVar::getValueName()'],['../classSVF_1_1GepObjVar.html#a88f86fe8abcb0550d838e5de11ae3ef7',1,'SVF::GepObjVar::getValueName()'],['../classSVF_1_1FIObjVar.html#a330b28f8488de9e186bedf73e5576a08',1,'SVF::FIObjVar::getValueName()'],['../classSVF_1_1RetPN.html#a48c099d2b441b4cc298166e2c5866c8f',1,'SVF::RetPN::getValueName()'],['../classSVF_1_1VarArgPN.html#aec7ac87f5fff58b24daea998aaf0cc2a',1,'SVF::VarArgPN::getValueName()'],['../classSVF_1_1DummyValVar.html#a188ddcb95f842245fb97362ff8a06efd',1,'SVF::DummyValVar::getValueName()'],['../classSVF_1_1DummyObjVar.html#aec23bc498cf78ed065565681e14dd2dd',1,'SVF::DummyObjVar::getValueName()'],['../classSVF_1_1CloneDummyObjVar.html#a2ddf5e4067c537a7dfd9bf74f7195931',1,'SVF::CloneDummyObjVar::getValueName()'],['../classSVF_1_1CloneGepObjVar.html#a9d4cf31155950c889b5965566ab3d45e',1,'SVF::CloneGepObjVar::getValueName()'],['../classSVF_1_1CloneFIObjVar.html#abac4095a6a60c321caa40f837a752803',1,'SVF::CloneFIObjVar::getValueName()']]],
+  ['getvaluename',['getValueName',['../classSVF_1_1SVFVar.html#a54b2a5ed3ed21e54eaf04182f0338333',1,'SVF::SVFVar::getValueName()'],['../classSVF_1_1ValVar.html#aeaccfd3bf5f968ad12d7e1a2426e5faa',1,'SVF::ValVar::getValueName()'],['../classSVF_1_1ObjVar.html#ac1609e2e3b6843c6f7992e425771fce3',1,'SVF::ObjVar::getValueName()'],['../classSVF_1_1GepValVar.html#ae89482e674768298f49e51df4ebe63e3',1,'SVF::GepValVar::getValueName()'],['../classSVF_1_1GepObjVar.html#a88f86fe8abcb0550d838e5de11ae3ef7',1,'SVF::GepObjVar::getValueName()'],['../classSVF_1_1FIObjVar.html#a330b28f8488de9e186bedf73e5576a08',1,'SVF::FIObjVar::getValueName()'],['../classSVF_1_1RetPN.html#a48c099d2b441b4cc298166e2c5866c8f',1,'SVF::RetPN::getValueName()'],['../classSVF_1_1VarArgPN.html#aec7ac87f5fff58b24daea998aaf0cc2a',1,'SVF::VarArgPN::getValueName()'],['../classSVF_1_1DummyValVar.html#a188ddcb95f842245fb97362ff8a06efd',1,'SVF::DummyValVar::getValueName()'],['../classSVF_1_1DummyObjVar.html#aec23bc498cf78ed065565681e14dd2dd',1,'SVF::DummyObjVar::getValueName()']]],
   ['getvaluenode',['getValueNode',['../classSVF_1_1ConstraintGraph.html#a00242eb1c1204abf1f5eb0cae759a38c',1,'SVF::ConstraintGraph::getValueNode()'],['../classSVF_1_1IRGraph.html#abffddd41cc308b9b3bd5ad4a7f8f1624',1,'SVF::IRGraph::getValueNode()'],['../classSVF_1_1SVFIRBuilder.html#acc69fc638380f34164db649d9bf2a7d6',1,'SVF::SVFIRBuilder::getValueNode()']]],
   ['getvaluenodenum',['getValueNodeNum',['../classSVF_1_1IRGraph.html#a0212f3fe2f37363e8060f292c8cf7668',1,'SVF::IRGraph']]],
   ['getvarargnode',['getVarargNode',['../classSVF_1_1ConstraintGraph.html#a527342ce5ac3b9491d7ad4302145cec5',1,'SVF::ConstraintGraph::getVarargNode()'],['../classSVF_1_1IRGraph.html#a8b10c318674a47035d617b3ade4f069b',1,'SVF::IRGraph::getVarargNode()'],['../classSVF_1_1SVFIRBuilder.html#a3fe99644b2bf5f0f9b2b21a56a400ad4',1,'SVF::SVFIRBuilder::getVarargNode()']]],
@@ -703,7 +692,6 @@ var searchData=
   ['getvirtualfunctionvectors',['getVirtualFunctionVectors',['../classSVF_1_1CHNode.html#a5df1cf4d51bf3406d188c96bc9aae0af',1,'SVF::CHNode']]],
   ['getvirtualmemaddress',['getVirtualMemAddress',['../classSVF_1_1ExeState.html#af97d422306089e69c2910c6084475c51',1,'SVF::ExeState']]],
   ['getvtable',['getVTable',['../classSVF_1_1CHNode.html#a600b63dac83e526c933c141d4e2bcc0c',1,'SVF::CHNode::getVTable()'],['../classSVF_1_1DCHNode.html#a1a75ca91148992166d42d245d6c51988',1,'SVF::DCHNode::getVTable()']]],
-  ['getvtinittype',['getVTInitType',['../FlowSensitiveTBHC_8cpp.html#af72d866f4ffed004e104b686d4f94cb3',1,'FlowSensitiveTBHC.cpp']]],
   ['getyield',['getYield',['../classSVF_1_1VersionedFlowSensitive.html#a01a199e9fdb5759c7f78ee344dbc413c',1,'SVF::VersionedFlowSensitive']]],
   ['getz3expr',['getZ3Expr',['../classSVF_1_1ExeState.html#ab52debe3aae77d1efd5de4d220dbed2f',1,'SVF::ExeState']]],
   ['global_5fbegin',['global_begin',['../classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e',1,'SVF::SVFModule::global_begin()'],['../classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2',1,'SVF::SVFModule::global_begin() const']]],

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

@@ -38,7 +38,7 @@ var searchData=
   ['inferfromcallgraph',['inferFromCallGraph',['../classSVF_1_1PCG.html#adff1702e1b0a902de7ded742846fe137',1,'SVF::PCG']]],
   ['infilter',['inFilter',['../classSVF_1_1LockResultValidator.html#a445dbda778198acac87fbbfa029b0dfb',1,'SVF::LockResultValidator']]],
   ['inforwardslice',['inForwardSlice',['../classSVF_1_1SVFGStat.html#adc6a5c3e430bdf942f1462e101ac6917',1,'SVF::SVFGStat::inForwardSlice()'],['../classSVF_1_1ProgSlice.html#a5a4b7f34001cc90f9b60222caee1bde6',1,'SVF::ProgSlice::inForwardSlice()']]],
-  ['init',['init',['../classSVF_1_1RaceResultValidator.html#aec8b923a0da580113a13bf94ffb3ebd7',1,'SVF::RaceResultValidator::init()'],['../classSVF_1_1SaberCheckerAPI.html#a5771df69ffa75b6103a32c8bd48ef488',1,'SVF::SaberCheckerAPI::init()'],['../classSVF_1_1ThreadAPI.html#a4535862f26efff9f45236000507932c9',1,'SVF::ThreadAPI::init()'],['../classSVF_1_1TypeBasedHeapCloning.html#a34064efe336ada815b31050f683c7ce1',1,'SVF::TypeBasedHeapCloning::init()']]],
+  ['init',['init',['../classSVF_1_1RaceResultValidator.html#aec8b923a0da580113a13bf94ffb3ebd7',1,'SVF::RaceResultValidator::init()'],['../classSVF_1_1SaberCheckerAPI.html#a5771df69ffa75b6103a32c8bd48ef488',1,'SVF::SaberCheckerAPI::init()'],['../classSVF_1_1ThreadAPI.html#a4535862f26efff9f45236000507932c9',1,'SVF::ThreadAPI::init()']]],
   ['initcxtinsensitiveedges',['initCxtInsensitiveEdges',['../classSVF_1_1DDAPass.html#add44aee75c9a59327b4eb46774551e2b',1,'SVF::DDAPass']]],
   ['initdefault',['initDefault',['../classSVF_1_1DDAStat.html#ac7275c99ddd118696853188154ad6fbd',1,'SVF::DDAStat']]],
   ['initfromthreadapi',['initFromThreadAPI',['../classSVF_1_1PCG.html#a23752f0a9fe4f01698808d0a50ccc896',1,'SVF::PCG']]],
@@ -46,7 +46,7 @@ var searchData=
   ['initialise',['initialise',['../classSVF_1_1DDAClient.html#a40f6d8769db41f4c907fe5b615e5df83',1,'SVF::DDAClient']]],
   ['initialisecandidatepointers',['initialiseCandidatePointers',['../classSVF_1_1SVFIR.html#af6a2c401d5c7582a4a958b1fe40838e5',1,'SVF::SVFIR']]],
   ['initialisenodes',['initialiseNodes',['../classSVF_1_1SVFIRBuilder.html#af4b18e8e1fdfb117cb5dd1a81cea4b71',1,'SVF::SVFIRBuilder']]],
-  ['initialize',['initialize',['../classSVF_1_1ContextDDA.html#adb9f21a86daeb2dd79537f3939c393cf',1,'SVF::ContextDDA::initialize()'],['../classSVF_1_1FlowDDA.html#af1fcf058a9feefeda63f07d4189513a1',1,'SVF::FlowDDA::initialize()'],['../classSVF_1_1PointerAnalysis.html#a431ec4f85eb0f029e5740b92fd9ceb32',1,'SVF::PointerAnalysis::initialize()'],['../classSVF_1_1FSMPTA.html#acbfb7d2a6d38b54966c98102c1ea6a38',1,'SVF::FSMPTA::initialize()'],['../classSVF_1_1MTAAnnotator.html#a108616cc98f15af3010ca45b91f32c04',1,'SVF::MTAAnnotator::initialize()'],['../classSVF_1_1SrcSnkDDA.html#a8883b9a42106ed8c55835d2ba9a579cd',1,'SVF::SrcSnkDDA::initialize()'],['../classSVF_1_1LLVMModuleSet.html#a9782bf6b7b015fd8fb48f75eb4508d22',1,'SVF::LLVMModuleSet::initialize()'],['../classSVF_1_1AndersenBase.html#a891816407a4c6346f56bc01a67b78aac',1,'SVF::AndersenBase::initialize()'],['../classSVF_1_1Andersen.html#a20617a69c112ad423b1b5021e48a8548',1,'SVF::Andersen::initialize()'],['../classSVF_1_1AndersenHCD.html#aaac9cac7fc5696adb585abd9d67f8c14',1,'SVF::AndersenHCD::initialize()'],['../classSVF_1_1AndersenHLCD.html#a5926080868429040f5142843f01a2a5c',1,'SVF::AndersenHLCD::initialize()'],['../classSVF_1_1AndersenSFR.html#a3b255068b3ea53041af94fd373a53bd4',1,'SVF::AndersenSFR::initialize()'],['../classSVF_1_1FlowSensitive.html#ad6243c1317503bed39411dab47c83da7',1,'SVF::FlowSensitive::initialize()'],['../classSVF_1_1FlowSensitiveTBHC.html#a4c5fb70aafc3a589b7b1e82ba8f61a6f',1,'SVF::FlowSensitiveTBHC::initialize()'],['../classSVF_1_1TypeAnalysis.html#a34177236a41f7a2b432243062f829985',1,'SVF::TypeAnalysis::initialize()'],['../classSVF_1_1VersionedFlowSensitive.html#a81d3528fd082018e4345f0b026bf3584',1,'SVF::VersionedFlowSensitive::initialize()']]],
+  ['initialize',['initialize',['../classSVF_1_1ContextDDA.html#adb9f21a86daeb2dd79537f3939c393cf',1,'SVF::ContextDDA::initialize()'],['../classSVF_1_1FlowDDA.html#af1fcf058a9feefeda63f07d4189513a1',1,'SVF::FlowDDA::initialize()'],['../classSVF_1_1PointerAnalysis.html#a431ec4f85eb0f029e5740b92fd9ceb32',1,'SVF::PointerAnalysis::initialize()'],['../classSVF_1_1FSMPTA.html#acbfb7d2a6d38b54966c98102c1ea6a38',1,'SVF::FSMPTA::initialize()'],['../classSVF_1_1MTAAnnotator.html#a108616cc98f15af3010ca45b91f32c04',1,'SVF::MTAAnnotator::initialize()'],['../classSVF_1_1SrcSnkDDA.html#a8883b9a42106ed8c55835d2ba9a579cd',1,'SVF::SrcSnkDDA::initialize()'],['../classSVF_1_1LLVMModuleSet.html#a9782bf6b7b015fd8fb48f75eb4508d22',1,'SVF::LLVMModuleSet::initialize()'],['../classSVF_1_1AndersenBase.html#a891816407a4c6346f56bc01a67b78aac',1,'SVF::AndersenBase::initialize()'],['../classSVF_1_1Andersen.html#a20617a69c112ad423b1b5021e48a8548',1,'SVF::Andersen::initialize()'],['../classSVF_1_1AndersenHCD.html#aaac9cac7fc5696adb585abd9d67f8c14',1,'SVF::AndersenHCD::initialize()'],['../classSVF_1_1AndersenHLCD.html#a5926080868429040f5142843f01a2a5c',1,'SVF::AndersenHLCD::initialize()'],['../classSVF_1_1AndersenSFR.html#a3b255068b3ea53041af94fd373a53bd4',1,'SVF::AndersenSFR::initialize()'],['../classSVF_1_1FlowSensitive.html#ad6243c1317503bed39411dab47c83da7',1,'SVF::FlowSensitive::initialize()'],['../classSVF_1_1TypeAnalysis.html#a34177236a41f7a2b432243062f829985',1,'SVF::TypeAnalysis::initialize()'],['../classSVF_1_1VersionedFlowSensitive.html#a81d3528fd082018e4345f0b026bf3584',1,'SVF::VersionedFlowSensitive::initialize()']]],
   ['initialworklist',['initialWorkList',['../classSVF_1_1SVFGOPT.html#ae825e01893d3304379f72380d314f09c',1,'SVF::SVFGOPT']]],
   ['initobjvar',['initObjVar',['../classSVF_1_1ExeState.html#af4018e9053baa373b590230bc53b7ccb',1,'SVF::ExeState']]],
   ['initsnks',['initSnks',['../classSVF_1_1LeakChecker.html#a36613a8c07cbc3d50a764c9f37162d6c',1,'SVF::LeakChecker::initSnks()'],['../classSVF_1_1SrcSnkDDA.html#a0f6cfa30c346aab1fb03a44e47c32559',1,'SVF::SrcSnkDDA::initSnks()']]],
@@ -101,7 +101,6 @@ var searchData=
   ['isaliasedforkjoin',['isAliasedForkJoin',['../classSVF_1_1ForkJoinAnalysis.html#a3655131add43346a175576b023e32509',1,'SVF::ForkJoinAnalysis']]],
   ['isaliasedlocks',['isAliasedLocks',['../classSVF_1_1LockAnalysis.html#add9272ead87ca994ee4e08dfa30fa0f4',1,'SVF::LockAnalysis::isAliasedLocks(const CxtLock &cl1, const CxtLock &cl2)'],['../classSVF_1_1LockAnalysis.html#ab5a541fb1585d475a89590cce66ba3b4',1,'SVF::LockAnalysis::isAliasedLocks(const Instruction *i1, const Instruction *i2)']]],
   ['isaliasedmr',['isAliasedMR',['../classSVF_1_1MRGenerator.html#a28130cc55ab317d383ba6593f323b12a',1,'SVF::MRGenerator']]],
-  ['isaliastestfunction',['isAliasTestFunction',['../TypeBasedHeapCloning_8cpp.html#a2be9728908f88e4e16b1e6218801fa06',1,'TypeBasedHeapCloning.cpp']]],
   ['isallpathreachable',['isAllPathReachable',['../classSVF_1_1PathCondAllocator.html#a51c55809f28eee5b8432ab4508f9a887',1,'SVF::PathCondAllocator::isAllPathReachable()'],['../classSVF_1_1SrcSnkDDA.html#a6ae0d47bac09163e90b8b2e773ad69f0',1,'SVF::SrcSnkDDA::isAllPathReachable()'],['../classSVF_1_1BDDExprManager.html#afb30b41edd5bb6478d30778bc7f09e15',1,'SVF::BDDExprManager::isAllPathReachable()']]],
   ['isallreachable',['isAllReachable',['../classSVF_1_1ProgSlice.html#a2f96f034b7236791fe1d4d351174722e',1,'SVF::ProgSlice']]],
   ['isamergednode',['isaMergedNode',['../classSVF_1_1AndersenHCD.html#ab0414e29a745ed14e790c296042d1fe9',1,'SVF::AndersenHCD']]],
@@ -112,14 +111,14 @@ var searchData=
   ['isarraymemobj',['isArrayMemObj',['../classSVF_1_1PointerAnalysis.html#a89dfeedf8e3e91603a1e9c73e3608a73',1,'SVF::PointerAnalysis']]],
   ['isbackicfgedge',['isBackICFGEdge',['../classSVF_1_1SVFLoop.html#a7283685960ed98e1a292e3f688d9aa2b',1,'SVF::SVFLoop']]],
   ['isbarrierwaitcall',['isBarrierWaitCall',['../namespaceSVF_1_1SVFUtil.html#ad09ba410acbbaee2aac9dd406c3cf01a',1,'SVF::SVFUtil::isBarrierWaitCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a0a7fc57e1f5cec705e310a4bb72cba94',1,'SVF::SVFUtil::isBarrierWaitCall(const Instruction *inst)']]],
-  ['isbase',['isBase',['../classSVF_1_1DCHGraph.html#ab33f9af6ad22eb99dd0d9950fb0e50e6',1,'SVF::DCHGraph::isBase()'],['../classSVF_1_1TypeBasedHeapCloning.html#add00f1c20a524c0be903af679bd6f638',1,'SVF::TypeBasedHeapCloning::isBase()']]],
+  ['isbase',['isBase',['../classSVF_1_1DCHGraph.html#ab33f9af6ad22eb99dd0d9950fb0e50e6',1,'SVF::DCHGraph']]],
   ['isbbcallsprogexit',['isBBCallsProgExit',['../classSVF_1_1PathCondAllocator.html#a39c0cc9dec89b0b52bf9f1026da942e1',1,'SVF::PathCondAllocator']]],
   ['isbinaryconstantexpr',['isBinaryConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a35b36394af726c679fe2c1b6051db7c4',1,'SVF::LLVMUtil']]],
   ['isbkvisited',['isbkVisited',['../classSVF_1_1DDAVFSolver.html#a9a9c3a8b5e4ffc89418073110e446f20',1,'SVF::DDAVFSolver']]],
   ['isblackholeobj',['isBlackHoleObj',['../classSVF_1_1MemObj.html#a7b890ca9e93b1c61cc6437b7e6a82a8c',1,'SVF::MemObj']]],
   ['isblackholesym',['isBlackholeSym',['../classSVF_1_1SymbolTableInfo.html#ab15112d3900f28525848cbe5fad37deb',1,'SVF::SymbolTableInfo::isBlackholeSym()'],['../namespaceSVF_1_1LLVMUtil.html#abf4e75ba6236136399d45c85be2328fe',1,'SVF::LLVMUtil::isBlackholeSym()']]],
   ['isblkobj',['isBlkObj',['../classSVF_1_1SVFIR.html#a17527c55d35ae5c18f00fd4dabe6acad',1,'SVF::SVFIR::isBlkObj()'],['../classSVF_1_1SymbolTableInfo.html#ad9cdb21e20182f3bc95f04bbb97712f3',1,'SVF::SymbolTableInfo::isBlkObj()']]],
-  ['isblkobjorconstantobj',['isBlkObjOrConstantObj',['../classSVF_1_1ConstraintGraph.html#a8ba74f82c1e796f2888ba34bc8355ce9',1,'SVF::ConstraintGraph::isBlkObjOrConstantObj()'],['../classSVF_1_1PointerAnalysis.html#a45462312a746339fff8b990a093d9a1b',1,'SVF::PointerAnalysis::isBlkObjOrConstantObj()'],['../classSVF_1_1SVFIR.html#ad9895f2d075eb402390e3b01ed68e001',1,'SVF::SVFIR::isBlkObjOrConstantObj()'],['../classSVF_1_1SymbolTableInfo.html#a2fc4bfb83b71a4c14e16168382cb8f5d',1,'SVF::SymbolTableInfo::isBlkObjOrConstantObj()'],['../classSVF_1_1TypeBasedHeapCloning.html#a59a9c7b8a7ec392ac609f10c8dac8d7f',1,'SVF::TypeBasedHeapCloning::isBlkObjOrConstantObj()']]],
+  ['isblkobjorconstantobj',['isBlkObjOrConstantObj',['../classSVF_1_1ConstraintGraph.html#a8ba74f82c1e796f2888ba34bc8355ce9',1,'SVF::ConstraintGraph::isBlkObjOrConstantObj()'],['../classSVF_1_1PointerAnalysis.html#a45462312a746339fff8b990a093d9a1b',1,'SVF::PointerAnalysis::isBlkObjOrConstantObj()'],['../classSVF_1_1SVFIR.html#ad9895f2d075eb402390e3b01ed68e001',1,'SVF::SVFIR::isBlkObjOrConstantObj()'],['../classSVF_1_1SymbolTableInfo.html#a2fc4bfb83b71a4c14e16168382cb8f5d',1,'SVF::SymbolTableInfo::isBlkObjOrConstantObj()']]],
   ['isblkptr',['isBlkPtr',['../classSVF_1_1SVFIR.html#a6a71d2716530607d66d9e9035199d997',1,'SVF::SVFIR::isBlkPtr()'],['../classSVF_1_1SymbolTableInfo.html#acba43b6e9cdf07afaf3d30351aa8df7c',1,'SVF::SymbolTableInfo::isBlkPtr()']]],
   ['isbuiltfromfile',['isBuiltFromFile',['../classSVF_1_1IRGraph.html#a41423da58a07b344bc7ca8dd96d48f98',1,'SVF::IRGraph']]],
   ['iscallcfgedge',['isCallCFGEdge',['../classSVF_1_1ICFGEdge.html#a2ecc0bc3bb3655bf3db3adb732747b49',1,'SVF::ICFGEdge']]],
@@ -131,7 +130,6 @@ var searchData=
   ['iscandidatefun',['isCandidateFun',['../classSVF_1_1TCT.html#aa69b82c888c8193e97f9e95c62ac99d4',1,'SVF::TCT::isCandidateFun(const PTACallGraph::FunctionSet &callees) const'],['../classSVF_1_1TCT.html#ab0abc0713e6b87a8b1453bababced79c',1,'SVF::TCT::isCandidateFun(const Function *fun) const'],['../classSVF_1_1TCT.html#a013f7fa94f9383b3d0e46b79c0a52a8f',1,'SVF::TCT::isCandidateFun(const SVFFunction *fun) const']]],
   ['iscastconstantexpr',['isCastConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#af983b0e1fbd371d8672e8f03f63084fc',1,'SVF::LLVMUtil']]],
   ['iscfgedge',['isCFGEdge',['../classSVF_1_1ICFGEdge.html#a3d3813be0b873335b17bb590e130d173',1,'SVF::ICFGEdge']]],
-  ['isclone',['isClone',['../classSVF_1_1TypeBasedHeapCloning.html#abce2ba326af69312c5971246cc4c10dc',1,'SVF::TypeBasedHeapCloning']]],
   ['iscmpconstantexpr',['isCmpConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#aa0b3e34188f721ff7145e47cb607c79a',1,'SVF::LLVMUtil']]],
   ['isconcretecxt',['isConcreteCxt',['../classSVF_1_1ContextCond.html#ac5f7388c0bbcee1878201819b9cd199f',1,'SVF::ContextCond']]],
   ['iscondcompatible',['isCondCompatible',['../classSVF_1_1ContextDDA.html#a57d309971de00db9bd8c6bfaf237cbff',1,'SVF::ContextDDA::isCondCompatible()'],['../classSVF_1_1CondPTAImpl.html#a6b746c30161c7dab86510895e0032935',1,'SVF::CondPTAImpl::isCondCompatible()']]],
@@ -179,7 +177,6 @@ var searchData=
   ['isfunentrysvfgnode',['isFunEntrySVFGNode',['../classSVF_1_1SVFG.html#ae2cff3c963136f474fac0a66aa8cff7b',1,'SVF::SVFG']]],
   ['isfunentryvfgnode',['isFunEntryVFGNode',['../classSVF_1_1VFG.html#a8994194bca2edfd9528880390de795ab',1,'SVF::VFG']]],
   ['isfunptr',['isFunPtr',['../classSVF_1_1SVFIR.html#a9235a60e7332c8416e113e7360441d97',1,'SVF::SVFIR']]],
-  ['isgep',['isGep',['../classSVF_1_1TypeBasedHeapCloning.html#a724cdfa6fbf6b2b401332ea83265c4c2',1,'SVF::TypeBasedHeapCloning']]],
   ['isgepconstantexpr',['isGepConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#ab5fc50624b5fe83b676b14bec4b99685',1,'SVF::LLVMUtil']]],
   ['isglobalobj',['isGlobalObj',['../classSVF_1_1MemObj.html#a40462512a99eb258d8cd442c38d812b4',1,'SVF::MemObj::isGlobalObj()'],['../classSVF_1_1ObjTypeInfo.html#aa2855b69150287e5f04a7a683dc4c91f',1,'SVF::ObjTypeInfo::isGlobalObj()']]],
   ['isglobalsvfgnode',['isGlobalSVFGNode',['../classSVF_1_1SaberSVFGBuilder.html#afbcd75844af51ff51c09c377f80a49cf',1,'SVF::SaberSVFGBuilder::isGlobalSVFGNode()'],['../classSVF_1_1SrcSnkDDA.html#a391bb031b2f244e930b266a29cda0af7',1,'SVF::SrcSnkDDA::isGlobalSVFGNode()']]],

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

@@ -43,7 +43,7 @@ var searchData=
   ['plainmap',['plainMap',['../classSVF_1_1FlowSensitive.html#a5a8688102f3675cf414b01dc2ae51c6b',1,'SVF::FlowSensitive']]],
   ['pmx',['PMX',['../cuddInt_8c.html#a6e6108316d27c8e3b393f65362e5e37b',1,'cuddInt.c']]],
   ['pointeranalysis',['PointerAnalysis',['../classSVF_1_1PointerAnalysis.html#a14e2a209cb594f91a24ef09b12f82f3f',1,'SVF::PointerAnalysis']]],
-  ['pointsto',['pointsTo',['../classSVF_1_1CondPointsToSet.html#a63f09ca69e00b317de29af6a6a12daac',1,'SVF::CondPointsToSet::pointsTo(void)'],['../classSVF_1_1CondPointsToSet.html#ada240bc77570174a1d17ac097583fa78',1,'SVF::CondPointsToSet::pointsTo(void) const'],['../classSVF_1_1CondPointsToSet.html#a03311162626acf16ad05b7b93248a92b',1,'SVF::CondPointsToSet::pointsTo(Cond cond) const'],['../classSVF_1_1CondPointsToSet.html#a8775ef2c073af6c8055c3f5b0035288f',1,'SVF::CondPointsToSet::pointsTo(Cond cond)'],['../classSVF_1_1PointsTo.html#a05aa807f21f311eb50ff11dde98b8d22',1,'SVF::PointsTo::PointsTo(void)'],['../classSVF_1_1PointsTo.html#acef2d3e41263aef641c3411e28ad445c',1,'SVF::PointsTo::PointsTo(const PointsTo &pt)'],['../classSVF_1_1PointsTo.html#a5ecef616428a70e8e7726406dfb43544',1,'SVF::PointsTo::PointsTo(PointsTo &&pt)']]],
+  ['pointsto',['PointsTo',['../classSVF_1_1PointsTo.html#a05aa807f21f311eb50ff11dde98b8d22',1,'SVF::PointsTo::PointsTo(void)'],['../classSVF_1_1PointsTo.html#acef2d3e41263aef641c3411e28ad445c',1,'SVF::PointsTo::PointsTo(const PointsTo &pt)'],['../classSVF_1_1PointsTo.html#a5ecef616428a70e8e7726406dfb43544',1,'SVF::PointsTo::PointsTo(PointsTo &&pt)'],['../classSVF_1_1CondPointsToSet.html#a63f09ca69e00b317de29af6a6a12daac',1,'SVF::CondPointsToSet::pointsTo(void)'],['../classSVF_1_1CondPointsToSet.html#ada240bc77570174a1d17ac097583fa78',1,'SVF::CondPointsToSet::pointsTo(void) const'],['../classSVF_1_1CondPointsToSet.html#a03311162626acf16ad05b7b93248a92b',1,'SVF::CondPointsToSet::pointsTo(Cond cond) const'],['../classSVF_1_1CondPointsToSet.html#a8775ef2c073af6c8055c3f5b0035288f',1,'SVF::CondPointsToSet::pointsTo(Cond cond)']]],
   ['pointstoiterator',['PointsToIterator',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a3974dee7680da3a43b58932766e77a16',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(void)=delete'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a19f371ccb5b1c84fb4adfd5b0c8a3eec',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(const PointsToIterator &pt)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#abe128c47fb16093756195f789e5f68d5',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(PointsToIterator &&pt)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ad9efcd9fb0c8201b9166a1560d06a71b',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(const PointsTo *pt, bool end=false)']]],
   ['pop',['pop',['../classSVF_1_1CFLFIFOWorkList.html#a8ccf884ed6bc0d172f3c2999717f9cff',1,'SVF::CFLFIFOWorkList::pop()'],['../classSVF_1_1List.html#a6e85bd3d8b23ccc7752a72e2a5b171ab',1,'SVF::List::pop()'],['../classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6',1,'SVF::FIFOWorkList::pop()'],['../classSVF_1_1FILOWorkList.html#a3fd9acb6d09fd142bfd402fdf8cac93b',1,'SVF::FILOWorkList::pop()']]],
   ['popen',['popen',['../util_8h.html#a7a377e01cff8d8243569ddc8bfef959b',1,'util.h']]],
@@ -65,7 +65,6 @@ var searchData=
   ['printaliaspairs',['PrintAliasPairs',['../classSVF_1_1WPAPass.html#abb6e0c5cc5de312ee0285d1854550752',1,'SVF::WPAPass']]],
   ['printbddstat',['printBDDStat',['../classSVF_1_1SrcSnkDDA.html#ae3d665ff1e796348131e797eb0283bfb',1,'SVF::SrcSnkDDA']]],
   ['printch',['printCH',['../classSVF_1_1CHGraph.html#ae382d5bab69843bdb9424c4c6ff94140',1,'SVF::CHGraph']]],
-  ['printctiraliasstats',['printCTirAliasStats',['../classSVF_1_1FlowSensitive.html#a023d0b492deaba40c593332cf1b2e3f6',1,'SVF::FlowSensitive']]],
   ['printexprvalues',['printExprValues',['../classSVF_1_1ExeState.html#aee8eece3daa2b7cbebb8dcde761931c2',1,'SVF::ExeState']]],
   ['printflattenfields',['printFlattenFields',['../classSVF_1_1SymbolTableInfo.html#aa40ff2fcaba3d4297d63269b74738737',1,'SVF::SymbolTableInfo']]],
   ['printgraph',['PrintGraph',['../classllvm_1_1GraphPrinter.html#ad950fc901ea4aabb6d6cdad8f883d381',1,'llvm::GraphPrinter']]],
@@ -81,7 +80,7 @@ var searchData=
   ['printstatperquery',['printStatPerQuery',['../classSVF_1_1DDAStat.html#ae695696e5cd06eb27635887f0de30eff',1,'SVF::DDAStat::printStatPerQuery()'],['../classSVF_1_1PTAStat.html#a7ce0630cfe41448bec002f03a176175d',1,'SVF::PTAStat::printStatPerQuery()']]],
   ['printstats',['printStats',['../classSVF_1_1PersistentPointsToCache.html#a7d101df4e73b8fbf9ec0df25190417b5',1,'SVF::PersistentPointsToCache::printStats()'],['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac10cbda6a84ce890c9946a5ff35800b7',1,'SVF::NodeIDAllocator::Clusterer::printStats()']]],
   ['printtdfuns',['printTDFuns',['../classSVF_1_1PCG.html#af8af0a2a2159261bf05abe226c43006e',1,'SVF::PCG']]],
-  ['processaddr',['processAddr',['../classSVF_1_1Andersen.html#aca095e135edb5d27efe76bb7ee71184c',1,'SVF::Andersen::processAddr()'],['../classSVF_1_1AndersenSCD.html#a52704e25a1e3b30ddf8676811f4e1584',1,'SVF::AndersenSCD::processAddr()'],['../classSVF_1_1FlowSensitive.html#abb37c5e4e6fa4742e8dbcf397aea086e',1,'SVF::FlowSensitive::processAddr()'],['../classSVF_1_1FlowSensitiveTBHC.html#abce5580e93cba1e591a0bac4e9070816',1,'SVF::FlowSensitiveTBHC::processAddr()']]],
+  ['processaddr',['processAddr',['../classSVF_1_1Andersen.html#aca095e135edb5d27efe76bb7ee71184c',1,'SVF::Andersen::processAddr()'],['../classSVF_1_1AndersenSCD.html#a52704e25a1e3b30ddf8676811f4e1584',1,'SVF::AndersenSCD::processAddr()'],['../classSVF_1_1FlowSensitive.html#abb37c5e4e6fa4742e8dbcf397aea086e',1,'SVF::FlowSensitive::processAddr()']]],
   ['processalladdr',['processAllAddr',['../classSVF_1_1Andersen.html#adccf6acf63abc9cafc92b2148396fd10',1,'SVF::Andersen::processAllAddr()'],['../classSVF_1_1Steensgaard.html#ada542b3e393f23938d37e479008e8cc0',1,'SVF::Steensgaard::processAllAddr()']]],
   ['processandersenresults',['processAndersenResults',['../classSVF_1_1IRAnnotator.html#a1dfd230ddbc751ddf6833a6dc22b84f7',1,'SVF::IRAnnotator']]],
   ['processargumentnode',['processArgumentNode',['../classSVF_1_1IRAnnotator.html#a79ce14045e7321569b95cff0b4800c08',1,'SVF::IRAnnotator']]],
@@ -90,23 +89,23 @@ var searchData=
   ['processcast',['processCast',['../classSVF_1_1AndersenWaveDiff.html#a57c7c12ebcf06f2912e93c802c6cdd02',1,'SVF::AndersenWaveDiff']]],
   ['processce',['processCE',['../classSVF_1_1SVFIRBuilder.html#a5adf8baa546292434ba1fec48db2d0a7',1,'SVF::SVFIRBuilder']]],
   ['processconstantnode',['processConstantNode',['../classSVF_1_1IRAnnotator.html#a0a26b250269a2e38a5507d68fdbe03f4',1,'SVF::IRAnnotator']]],
-  ['processcopy',['processCopy',['../classSVF_1_1Andersen.html#ac4afe532655c3f311143ebbe15175ca2',1,'SVF::Andersen::processCopy()'],['../classSVF_1_1AndersenWaveDiff.html#a3a5b952c0c2fe2be1b9a6fcfeeba2c37',1,'SVF::AndersenWaveDiff::processCopy()'],['../classSVF_1_1FlowSensitive.html#aa401cc90de4e1c6842f08a43a28c5aa1',1,'SVF::FlowSensitive::processCopy()'],['../classSVF_1_1FlowSensitiveTBHC.html#ab6525ac133151692176a03227f81bcac',1,'SVF::FlowSensitiveTBHC::processCopy()']]],
+  ['processcopy',['processCopy',['../classSVF_1_1Andersen.html#ac4afe532655c3f311143ebbe15175ca2',1,'SVF::Andersen::processCopy()'],['../classSVF_1_1AndersenWaveDiff.html#a3a5b952c0c2fe2be1b9a6fcfeeba2c37',1,'SVF::AndersenWaveDiff::processCopy()'],['../classSVF_1_1FlowSensitive.html#aa401cc90de4e1c6842f08a43a28c5aa1',1,'SVF::FlowSensitive::processCopy()']]],
   ['processfunbody',['processFunBody',['../classSVF_1_1ICFGBuilder.html#ab1cc5de5c2ee7acf83e9ae51c7b38cb5',1,'SVF::ICFGBuilder']]],
   ['processfunctionnode',['processFunctionNode',['../classSVF_1_1IRAnnotator.html#a31cbc6e5c63442cdbab3eea1b7b5393f',1,'SVF::IRAnnotator']]],
   ['processfunentry',['processFunEntry',['../classSVF_1_1ICFGBuilder.html#a52e6426f0a1af479159f6fbac6d5b8f4',1,'SVF::ICFGBuilder']]],
   ['processfunexit',['processFunExit',['../classSVF_1_1ICFGBuilder.html#a21ecc610b7ac35f4e64b2a4a45688359',1,'SVF::ICFGBuilder']]],
-  ['processgep',['processGep',['../classSVF_1_1Andersen.html#aa697d4a6fe09dd6e50abb09228b3567f',1,'SVF::Andersen::processGep()'],['../classSVF_1_1FlowSensitive.html#ae017c39ac471727d06868e0eacafd791',1,'SVF::FlowSensitive::processGep()'],['../classSVF_1_1FlowSensitiveTBHC.html#abf96f7329d8c50dcd75da048548d2c85',1,'SVF::FlowSensitiveTBHC::processGep()']]],
+  ['processgep',['processGep',['../classSVF_1_1Andersen.html#aa697d4a6fe09dd6e50abb09228b3567f',1,'SVF::Andersen::processGep()'],['../classSVF_1_1FlowSensitive.html#ae017c39ac471727d06868e0eacafd791',1,'SVF::FlowSensitive::processGep()']]],
   ['processgeppts',['processGepPts',['../classSVF_1_1ContextDDA.html#aefd2b50015aa98fa88a508e3ed1d402a',1,'SVF::ContextDDA::processGepPts()'],['../classSVF_1_1DDAVFSolver.html#ab10a34efa1acb6125ea32cf7a8cf919f',1,'SVF::DDAVFSolver::processGepPts()'],['../classSVF_1_1FlowDDA.html#ac48be374351dad54ee2418dde841cf24',1,'SVF::FlowDDA::processGepPts()'],['../classSVF_1_1Andersen.html#ac6b1efcaadfed48c226701ecf6bac55e',1,'SVF::Andersen::processGepPts()'],['../classSVF_1_1AndersenSFR.html#a654abe596f1f6f33e2373503af1f5038',1,'SVF::AndersenSFR::processGepPts()']]],
   ['processglobalvarnode',['processGlobalVarNode',['../classSVF_1_1IRAnnotator.html#ac0aa0266a7284a46ad62211fb595d663',1,'SVF::IRAnnotator']]],
   ['processgraph',['processGraph',['../classSVF_1_1SVFGStat.html#a3c016e166b8e84eb3b98bc3717cba5d8',1,'SVF::SVFGStat']]],
   ['processinlineasmnode',['processInlineAsmNode',['../classSVF_1_1IRAnnotator.html#ad7bc258f3a6201d06f80b3c4422536b2',1,'SVF::IRAnnotator']]],
   ['processinstructionnode',['processInstructionNode',['../classSVF_1_1IRAnnotator.html#a9ed32d75937cc2da63cf95fbc477c66a',1,'SVF::IRAnnotator']]],
-  ['processload',['processLoad',['../classSVF_1_1Andersen.html#abc20264231658b99998bc4af1f03a4de',1,'SVF::Andersen::processLoad()'],['../classSVF_1_1FlowSensitive.html#a9968530b3dee876f55e6659530decf27',1,'SVF::FlowSensitive::processLoad()'],['../classSVF_1_1FlowSensitiveTBHC.html#a42c8023e0e60e8701ec197b3d775b423',1,'SVF::FlowSensitiveTBHC::processLoad()'],['../classSVF_1_1VersionedFlowSensitive.html#a1d1f71c41cc3e81e636b58f4436e6d9b',1,'SVF::VersionedFlowSensitive::processLoad()']]],
+  ['processload',['processLoad',['../classSVF_1_1Andersen.html#abc20264231658b99998bc4af1f03a4de',1,'SVF::Andersen::processLoad()'],['../classSVF_1_1FlowSensitive.html#a9968530b3dee876f55e6659530decf27',1,'SVF::FlowSensitive::processLoad()'],['../classSVF_1_1VersionedFlowSensitive.html#a1d1f71c41cc3e81e636b58f4436e6d9b',1,'SVF::VersionedFlowSensitive::processLoad()']]],
   ['processnode',['processNode',['../classSVF_1_1Andersen.html#a1caa6fa0740f4fa789d960a5a6fcb9c1',1,'SVF::Andersen::processNode()'],['../classSVF_1_1AndersenWaveDiff.html#afa1055cda6c910b24480505efd205895',1,'SVF::AndersenWaveDiff::processNode()'],['../classSVF_1_1FlowSensitive.html#a16f594356ea565eb1fed2acea516a16b',1,'SVF::FlowSensitive::processNode()'],['../classSVF_1_1VersionedFlowSensitive.html#a8cad0df2ae7df81dc2a966e694a0f7a2',1,'SVF::VersionedFlowSensitive::processNode()'],['../classSVF_1_1WPASolver.html#abd7fd785e70f66d394088101d78598ca',1,'SVF::WPASolver::processNode()']]],
   ['processpagnode',['processPAGNode',['../classSVF_1_1IRAnnotator.html#a067fe6d76b3b11bbb726e2b40e723f78',1,'SVF::IRAnnotator']]],
-  ['processphi',['processPhi',['../classSVF_1_1FlowSensitive.html#aa36fd1387e948e83107431179d819067',1,'SVF::FlowSensitive::processPhi()'],['../classSVF_1_1FlowSensitiveTBHC.html#a0eb8335dd45b35b20d34c981b86b059c',1,'SVF::FlowSensitiveTBHC::processPhi()']]],
+  ['processphi',['processPhi',['../classSVF_1_1FlowSensitive.html#aa36fd1387e948e83107431179d819067',1,'SVF::FlowSensitive']]],
   ['processpwc',['processPWC',['../classSVF_1_1AndersenSCD.html#aaee864bb1fc5b5d4643e145d80ecfb8b',1,'SVF::AndersenSCD']]],
-  ['processstore',['processStore',['../classSVF_1_1Andersen.html#ac262d42d45dc6130cb031d5b0ed1f024',1,'SVF::Andersen::processStore()'],['../classSVF_1_1FlowSensitive.html#aa37d591d2d4f65957e840bef4d142a6a',1,'SVF::FlowSensitive::processStore()'],['../classSVF_1_1FlowSensitiveTBHC.html#ac937e0e388071bbf94a477e1880663eb',1,'SVF::FlowSensitiveTBHC::processStore()'],['../classSVF_1_1VersionedFlowSensitive.html#aa96f517740420665168e9b0c7d2347f1',1,'SVF::VersionedFlowSensitive::processStore()']]],
+  ['processstore',['processStore',['../classSVF_1_1Andersen.html#ac262d42d45dc6130cb031d5b0ed1f024',1,'SVF::Andersen::processStore()'],['../classSVF_1_1FlowSensitive.html#aa37d591d2d4f65957e840bef4d142a6a',1,'SVF::FlowSensitive::processStore()'],['../classSVF_1_1VersionedFlowSensitive.html#aa96f517740420665168e9b0c7d2347f1',1,'SVF::VersionedFlowSensitive::processStore()']]],
   ['processsvfgnode',['processSVFGNode',['../classSVF_1_1FlowSensitive.html#a979f89495966d71f9b470d832384ebd6',1,'SVF::FlowSensitive']]],
   ['progslice',['ProgSlice',['../classSVF_1_1ProgSlice.html#a76b91deacf7a66d142752f5a303386eb',1,'SVF::ProgSlice']]],
   ['propagate',['propagate',['../classSVF_1_1WPASCCSolver.html#aebc289ed32678fb7f93738927f0887d1',1,'SVF::WPASCCSolver::propagate()'],['../classSVF_1_1WPASolver.html#a541ef7fda44ce79086c30b07a5f6126c',1,'SVF::WPASolver::propagate()']]],
@@ -114,10 +113,10 @@ var searchData=
   ['propagatefromfrtoar',['propagateFromFRToAR',['../classSVF_1_1FlowSensitive.html#a3abffe1434386b1ce349fbed0cfe0967',1,'SVF::FlowSensitive']]],
   ['propagateversion',['propagateVersion',['../classSVF_1_1VersionedFlowSensitive.html#a7a98162b69de90f80ce853a6ff43af56',1,'SVF::VersionedFlowSensitive::propagateVersion(NodeID o, Version v)'],['../classSVF_1_1VersionedFlowSensitive.html#ad1aa83a71379164d3b7ccf6b61639cb1',1,'SVF::VersionedFlowSensitive::propagateVersion(const NodeID o, const Version v, const Version vp, bool time=true)']]],
   ['propagateviaobj',['propagateViaObj',['../classSVF_1_1ContextDDA.html#a45d7a381fec0692b4d2f7d0eec47ccf1',1,'SVF::ContextDDA::propagateViaObj()'],['../classSVF_1_1DDAVFSolver.html#ace35b8247204d9806ca1a4f01bff2364',1,'SVF::DDAVFSolver::propagateViaObj()']]],
-  ['propalongdirectedge',['propAlongDirectEdge',['../classSVF_1_1FlowSensitive.html#ad3518931d3b8a0671cbeb975f853b956',1,'SVF::FlowSensitive::propAlongDirectEdge()'],['../classSVF_1_1FlowSensitiveTBHC.html#a15b8610fd7456d158a9e640c69d401a0',1,'SVF::FlowSensitiveTBHC::propAlongDirectEdge()']]],
-  ['propalongindirectedge',['propAlongIndirectEdge',['../classSVF_1_1FlowSensitive.html#aeb1e002519123a67f8d18f78cda04bac',1,'SVF::FlowSensitive::propAlongIndirectEdge()'],['../classSVF_1_1FlowSensitiveTBHC.html#a83a4defe2bcb1c99c66aea8c8325d5fd',1,'SVF::FlowSensitiveTBHC::propAlongIndirectEdge()'],['../classSVF_1_1VersionedFlowSensitive.html#ad44c735b25158d2c934bdd44eb404686',1,'SVF::VersionedFlowSensitive::propAlongIndirectEdge()']]],
-  ['propdfintoin',['propDFInToIn',['../classSVF_1_1FlowSensitive.html#a3be364754863bbbee6dfd0b5490dec47',1,'SVF::FlowSensitive::propDFInToIn()'],['../classSVF_1_1FlowSensitiveTBHC.html#aab08c9a0527138599e58e72f69071ecb',1,'SVF::FlowSensitiveTBHC::propDFInToIn()']]],
-  ['propdfouttoin',['propDFOutToIn',['../classSVF_1_1FlowSensitive.html#a5e97c3fe32f60b0e8e96323ceb9a10cf',1,'SVF::FlowSensitive::propDFOutToIn()'],['../classSVF_1_1FlowSensitiveTBHC.html#abf5cca7e8332930c8f6adbfdb6f72629',1,'SVF::FlowSensitiveTBHC::propDFOutToIn()']]],
+  ['propalongdirectedge',['propAlongDirectEdge',['../classSVF_1_1FlowSensitive.html#ad3518931d3b8a0671cbeb975f853b956',1,'SVF::FlowSensitive']]],
+  ['propalongindirectedge',['propAlongIndirectEdge',['../classSVF_1_1FlowSensitive.html#aeb1e002519123a67f8d18f78cda04bac',1,'SVF::FlowSensitive::propAlongIndirectEdge()'],['../classSVF_1_1VersionedFlowSensitive.html#ad44c735b25158d2c934bdd44eb404686',1,'SVF::VersionedFlowSensitive::propAlongIndirectEdge()']]],
+  ['propdfintoin',['propDFInToIn',['../classSVF_1_1FlowSensitive.html#a3be364754863bbbee6dfd0b5490dec47',1,'SVF::FlowSensitive']]],
+  ['propdfouttoin',['propDFOutToIn',['../classSVF_1_1FlowSensitive.html#a5e97c3fe32f60b0e8e96323ceb9a10cf',1,'SVF::FlowSensitive']]],
   ['propfromsrctodst',['propFromSrcToDst',['../classSVF_1_1FlowSensitive.html#af849ab5a07049cb08e6b0d8023577862',1,'SVF::FlowSensitive::propFromSrcToDst()'],['../classSVF_1_1WPASolver.html#a904c056bcad2bdaff13763a48d372420',1,'SVF::WPASolver::propFromSrcToDst()']]],
   ['propvarptsaftercgupdated',['propVarPtsAfterCGUpdated',['../classSVF_1_1FlowSensitive.html#a9e7fbc4c1d056fbef07498de8cbb1cd9',1,'SVF::FlowSensitive']]],
   ['propvarptsfromsrctodst',['propVarPtsFromSrcToDst',['../classSVF_1_1FlowSensitive.html#ae571767cc5936cf631a44976d8277e91',1,'SVF::FlowSensitive']]],
@@ -128,7 +127,7 @@ var searchData=
   ['ptacallgraphedge',['PTACallGraphEdge',['../classSVF_1_1PTACallGraphEdge.html#aa34123e6c62c3f152b579510c09984e6',1,'SVF::PTACallGraphEdge']]],
   ['ptacallgraphnode',['PTACallGraphNode',['../classSVF_1_1PTACallGraphNode.html#aed9cda1f8347b0078d8cd26691421876',1,'SVF::PTACallGraphNode']]],
   ['ptacfinfobuilder',['PTACFInfoBuilder',['../classSVF_1_1PTACFInfoBuilder.html#abf1c70ba37181884e7848f6a7c6acf2c',1,'SVF::PTACFInfoBuilder']]],
-  ['ptaname',['PTAName',['../classSVF_1_1ContextDDA.html#afb0ab7fc43e6f0331072419e39ae0606',1,'SVF::ContextDDA::PTAName()'],['../classSVF_1_1FlowDDA.html#ab3edece1bfb076bc01d60829615f2fa9',1,'SVF::FlowDDA::PTAName()'],['../classSVF_1_1PointerAnalysis.html#aed4e5066f6ddef83afaf60adbcc11de0',1,'SVF::PointerAnalysis::PTAName()'],['../classSVF_1_1Andersen.html#ad92dbecc91170b235180e59ba307acda',1,'SVF::Andersen::PTAName()'],['../classSVF_1_1FlowSensitive.html#a4f1a0d533381660055210be1e2d7d72a',1,'SVF::FlowSensitive::PTAName()'],['../classSVF_1_1FlowSensitiveTBHC.html#a1eb2f49fd20527b174c2acb8b7d64a41',1,'SVF::FlowSensitiveTBHC::PTAName()'],['../classSVF_1_1VersionedFlowSensitive.html#a6e4964389f96667bd69354fd4a742720',1,'SVF::VersionedFlowSensitive::PTAName()']]],
+  ['ptaname',['PTAName',['../classSVF_1_1ContextDDA.html#afb0ab7fc43e6f0331072419e39ae0606',1,'SVF::ContextDDA::PTAName()'],['../classSVF_1_1FlowDDA.html#ab3edece1bfb076bc01d60829615f2fa9',1,'SVF::FlowDDA::PTAName()'],['../classSVF_1_1PointerAnalysis.html#aed4e5066f6ddef83afaf60adbcc11de0',1,'SVF::PointerAnalysis::PTAName()'],['../classSVF_1_1Andersen.html#ad92dbecc91170b235180e59ba307acda',1,'SVF::Andersen::PTAName()'],['../classSVF_1_1FlowSensitive.html#a4f1a0d533381660055210be1e2d7d72a',1,'SVF::FlowSensitive::PTAName()'],['../classSVF_1_1VersionedFlowSensitive.html#a6e4964389f96667bd69354fd4a742720',1,'SVF::VersionedFlowSensitive::PTAName()']]],
   ['ptascev',['PTASCEV',['../classSVF_1_1PTASCEV.html#afb1582fa355f2ae93a877f4f5bed56d3',1,'SVF::PTASCEV::PTASCEV()'],['../classSVF_1_1PTASCEV.html#a6a134ca4f7f50de053805e75431aa856',1,'SVF::PTASCEV::PTASCEV(const Value *p, const SCEV *s, ScalarEvolution *SE)'],['../classSVF_1_1PTASCEV.html#a3f4fbad38457025f35e151e54ab96b70',1,'SVF::PTASCEV::PTASCEV(const PTASCEV &ptase)']]],
   ['ptastat',['PTAStat',['../classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f',1,'SVF::PTAStat']]],
   ['ptdata',['PTData',['../classSVF_1_1PTData.html#a142667d3a394fa6c3f337abba295ebb1',1,'SVF::PTData']]],

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

@@ -44,7 +44,6 @@ var searchData=
   ['allocated',['allocated',['../structDdManager.html#a3bc65a8323c85495c64877963eb34845',1,'DdManager']]],
   ['allocator',['allocator',['../classSVF_1_1NodeIDAllocator.html#a67e85749e539ea34146b197668a4ea64',1,'SVF::NodeIDAllocator']]],
   ['allpairmhp',['AllPairMHP',['../classSVF_1_1Options.html#aa78f442ee8d7272e98396fd86dea4993',1,'SVF::Options']]],
-  ['allreuse',['allReuse',['../classSVF_1_1FlowSensitiveTBHC.html#a734e01c66832346c61d4cda38db84f4a',1,'SVF::FlowSensitiveTBHC']]],
   ['ander',['ander',['../classSVF_1_1FlowSensitive.html#a5cfee013a1a5821ef0c449842dd8690d',1,'SVF::FlowSensitive']]],
   ['andersenanno',['AndersenAnno',['../classSVF_1_1Options.html#aa4849115111e0ec81670c725027da6be',1,'SVF::Options']]],
   ['andersvfg',['AnderSVFG',['../classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3',1,'SVF::Options']]],

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

@@ -45,7 +45,6 @@ var searchData=
   ['position',['position',['../structerror.html#a24de70a4d517ab351d80c18582cadb66',1,'error::position()'],['../cJSON_8cpp.html#a1c3580b00311725af8eb560f18555e0a',1,'position(): cJSON.cpp']]],
   ['postgchook',['postGCHook',['../structDdManager.html#a1aaf2a374903e2cc91c65730d0cfc2e1',1,'DdManager']]],
   ['postreorderinghook',['postReorderingHook',['../structDdManager.html#a051721a550ae2f41b9838b8153d46b30',1,'DdManager']]],
-  ['ppag',['ppag',['../classSVF_1_1TypeBasedHeapCloning.html#a629ad3cef8929865b7319fb9e389f7bf',1,'SVF::TypeBasedHeapCloning']]],
   ['prebuffer',['prebuffer',['../cJSON_8h.html#a039dc262c2ae63f95cfe193245f8ee7e',1,'prebuffer(): cJSON.h'],['../cJSON_8cpp.html#a039dc262c2ae63f95cfe193245f8ee7e',1,'prebuffer(): cJSON.cpp']]],
   ['predicate',['predicate',['../classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328',1,'SVF::CmpStmt']]],
   ['predictptocc',['PredictPtOcc',['../classSVF_1_1Options.html#af34d8a738db4f40addc1de930e79654f',1,'SVF::Options']]],
@@ -81,7 +80,7 @@ var searchData=
   ['propertyunions',['propertyUnions',['../classSVF_1_1PersistentPointsToCache.html#ad045302497c76b9dfa656882cc0192dd',1,'SVF::PersistentPointsToCache']]],
   ['pstat',['PStat',['../classSVF_1_1Options.html#a498a1a05a08be1ffd845aefeb0672bcb',1,'SVF::Options']]],
   ['pt',['pt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a8be3dd8b1e66eac8577bf16b7403c9c5',1,'SVF::PointsTo::PointsToIterator']]],
-  ['pta',['pta',['../classSVF_1_1SVFG.html#a0d6cfa496e6885fe31b6b7a651fa01a8',1,'SVF::SVFG::pta()'],['../classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5',1,'SVF::PTAStat::pta()'],['../classSVF_1_1MRGenerator.html#afb7ce3a24edda14895999eb15231daff',1,'SVF::MRGenerator::pta()'],['../classSVF_1_1MemSSA.html#a468e1481926df6865678b7232bb79bf3',1,'SVF::MemSSA::pta()'],['../classSVF_1_1PCG.html#adb917fc3adc3b0c3aedd57e9c77eae05',1,'SVF::PCG::pta()'],['../classSVF_1_1TCT.html#a980de0593e41d18d2716aa5120d35d04',1,'SVF::TCT::pta()'],['../classSVF_1_1TypeBasedHeapCloning.html#a7d3f7d27c9491b099a623ba03b1c4732',1,'SVF::TypeBasedHeapCloning::pta()'],['../classSVF_1_1AndersenStat.html#a8af8dd60987c4c99ea3727d9db87c187',1,'SVF::AndersenStat::pta()']]],
+  ['pta',['pta',['../classSVF_1_1SVFG.html#a0d6cfa496e6885fe31b6b7a651fa01a8',1,'SVF::SVFG::pta()'],['../classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5',1,'SVF::PTAStat::pta()'],['../classSVF_1_1MRGenerator.html#afb7ce3a24edda14895999eb15231daff',1,'SVF::MRGenerator::pta()'],['../classSVF_1_1MemSSA.html#a468e1481926df6865678b7232bb79bf3',1,'SVF::MemSSA::pta()'],['../classSVF_1_1PCG.html#adb917fc3adc3b0c3aedd57e9c77eae05',1,'SVF::PCG::pta()'],['../classSVF_1_1TCT.html#a980de0593e41d18d2716aa5120d35d04',1,'SVF::TCT::pta()'],['../classSVF_1_1AndersenStat.html#a8af8dd60987c4c99ea3727d9db87c187',1,'SVF::AndersenStat::pta()']]],
   ['ptacallgraph',['ptaCallGraph',['../classSVF_1_1PointerAnalysis.html#ad47b39252e02c68dfb466d4f42dc7ebe',1,'SVF::PointerAnalysis::ptaCallGraph()'],['../classSVF_1_1SrcSnkDDA.html#a97be553370acf305f86e903bc3f0bb1a',1,'SVF::SrcSnkDDA::ptaCallGraph()']]],
   ['ptacfinfo',['ptaCFInfo',['../classSVF_1_1ForkJoinAnalysis.html#a1c616b61fbe9c713f51f2a44c4208cfa',1,'SVF::ForkJoinAnalysis']]],
   ['ptaimplty',['ptaImplTy',['../classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36',1,'SVF::PointerAnalysis']]],

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

@@ -66,7 +66,6 @@ var searchData=
   ['storeedgelabelcounter',['storeEdgeLabelCounter',['../classSVF_1_1SVFStmt.html#a53b7e0d8666e37c23dc2c7d0fc931f27',1,'SVF::SVFStmt']]],
   ['storeinedges',['storeInEdges',['../classSVF_1_1ConstraintNode.html#aa57ef34caf4e8c37baec9405f4457e57',1,'SVF::ConstraintNode']]],
   ['storeoutedges',['storeOutEdges',['../classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1',1,'SVF::ConstraintNode']]],
-  ['storereuse',['storeReuse',['../classSVF_1_1FlowSensitiveTBHC.html#ac7ed9100533dc399c71cdf017bfa2462',1,'SVF::FlowSensitiveTBHC']]],
   ['storeset',['storeset',['../classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a',1,'SVF::MTAAnnotator']]],
   ['storestomrsmap',['storesToMRsMap',['../classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3',1,'SVF::MRGenerator']]],
   ['storestopointstomap',['storesToPointsToMap',['../classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac',1,'SVF::MRGenerator']]],

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

@@ -6,8 +6,6 @@ var searchData=
   ['tailmap',['tailmap',['../classSVF_1_1MTASVFGBuilder.html#ad55a5f1e1f6d8e99fc0be5b85bbf8599',1,'SVF::MTASVFGBuilder']]],
   ['taintuninitheap',['TaintUninitHeap',['../classSVF_1_1Options.html#a40080aa0a7c926c6f2797e3d7856c03e',1,'SVF::Options']]],
   ['taintuninitstack',['TaintUninitStack',['../classSVF_1_1Options.html#aa1d9db53dbb6e1364662a8297a744bbc',1,'SVF::Options']]],
-  ['tbhcallreuse',['TBHCAllReuse',['../classSVF_1_1Options.html#a930ed87e35ba7502f9d00be6f17f902f',1,'SVF::Options']]],
-  ['tbhcstorereuse',['TBHCStoreReuse',['../classSVF_1_1Options.html#a10cc9fa1d4e553865343d635cf84592e',1,'SVF::Options']]],
   ['tcg',['tcg',['../classSVF_1_1MHP.html#a4b73d112880ad940e078e801f8725799',1,'SVF::MHP::tcg()'],['../classSVF_1_1MTA.html#a308ca0fa99b3c95f3e62b27522b6aeaa',1,'SVF::MTA::tcg()'],['../classSVF_1_1MTAResultValidator.html#abe087e2e8d92aa218ef282d2493193ef',1,'SVF::MTAResultValidator::tcg()'],['../classSVF_1_1TCT.html#ac9ddd6559e818f37c018ed5435182363',1,'SVF::TCT::tcg()']]],
   ['tcgscc',['tcgSCC',['../classSVF_1_1TCT.html#a30662928bafc97c1e7b123270ca69980',1,'SVF::TCT']]],
   ['tct',['tct',['../classSVF_1_1LockAnalysis.html#a2c4a69b0f2381142c172b3043943c79d',1,'SVF::LockAnalysis::tct()'],['../classSVF_1_1MHP.html#a176eefb65e4ba99ee70513c8add44176',1,'SVF::MHP::tct()'],['../classSVF_1_1ForkJoinAnalysis.html#a2c6ce7aa04c399746d89230be0e0f1ce',1,'SVF::ForkJoinAnalysis::tct()'],['../classSVF_1_1MTA.html#a9c9a42fb8a8ada910cdb9a8fb55d7c36',1,'SVF::MTA::tct()']]],
@@ -26,14 +24,14 @@ var searchData=
   ['tid',['tid',['../classSVF_1_1CxtThreadStmt.html#ad96bacc3de1ce576ad397d19aa99a269',1,'SVF::CxtThreadStmt::tid()'],['../classSVF_1_1CxtThreadProc.html#a99b24e1be2bfb49569532c2c28c68969',1,'SVF::CxtThreadProc::tid()']]],
   ['timelimit',['timeLimit',['../structDdManager.html#a6c14f932c4a66c6234e6b19bd8b6647f',1,'DdManager']]],
   ['timeofcollapse',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
-  ['timeofcreatemuchi',['TimeOfCreateMUCHI',['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()'],['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()']]],
+  ['timeofcreatemuchi',['timeOfCreateMUCHI',['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()'],['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()']]],
   ['timeofgeneratingmemregions',['timeOfGeneratingMemRegions',['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()']]],
-  ['timeofinsertingphi',['TimeOfInsertingPHI',['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()'],['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()']]],
+  ['timeofinsertingphi',['timeOfInsertingPHI',['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()'],['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()']]],
   ['timeofprocesscopygep',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
   ['timeofprocessloadstore',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
   ['timeofsccdetection',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
   ['timeofsccmerges',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
-  ['timeofssarenaming',['TimeOfSSARenaming',['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()'],['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()']]],
+  ['timeofssarenaming',['timeOfSSARenaming',['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()'],['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()']]],
   ['timeofupdatecallgraph',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
   ['timestatmap',['timeStatMap',['../classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337',1,'SVF::PTAStat']]],
   ['tlptdata',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],

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

@@ -1,14 +1,13 @@
 var searchData=
 [
   ['ub',['ub',['../structDdGen.html#ae51bc3e1c4430dd5b62f280e0e964512',1,'DdGen']]],
-  ['undeftype',['undefType',['../classSVF_1_1TypeBasedHeapCloning.html#a6363466e64eee4405806568d26206d2e',1,'SVF::TypeBasedHeapCloning']]],
   ['unioncache',['unionCache',['../classSVF_1_1PersistentPointsToCache.html#a6b601ce2055d83f2c1df0c7af039ce05',1,'SVF::PersistentPointsToCache']]],
   ['uniquecomplements',['uniqueComplements',['../classSVF_1_1PersistentPointsToCache.html#a5c1afbaebce46eac6b1172aa5f2824ee',1,'SVF::PersistentPointsToCache']]],
   ['uniqueintersections',['uniqueIntersections',['../classSVF_1_1PersistentPointsToCache.html#a474023fe293b080fbda7da06ef380531',1,'SVF::PersistentPointsToCache']]],
   ['uniqueunions',['uniqueUnions',['../classSVF_1_1PersistentPointsToCache.html#aacebdd87b1dd45250391d035b032f9d4',1,'SVF::PersistentPointsToCache']]],
   ['univ',['univ',['../structDdManager.html#ab21d56989b9a13502aeb84228de45df0',1,'DdManager']]],
   ['unlocksites',['unlocksites',['../classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780',1,'SVF::LockAnalysis']]],
-  ['updatecallgraphtime',['UpdateCallGraphTime',['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()'],['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()']]],
+  ['updatecallgraphtime',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()'],['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()']]],
   ['updatetime',['updateTime',['../classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226',1,'SVF::FlowSensitive']]],
   ['usedregs',['usedRegs',['../classSVF_1_1MemSSA.html#acf840b71b67cabe831f01f2d358f27fa',1,'SVF::MemSSA']]],
   ['usepcg',['UsePCG',['../classSVF_1_1Options.html#af2f66307e1d51947676f622c98ef0762',1,'SVF::Options']]],

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

@@ -64,7 +64,6 @@ var searchData=
   ['classnametonodemap',['classNameToNodeMap',['../classSVF_1_1CHGraph.html#aa040bc0a5653843419d24777343e1650',1,'SVF::CHGraph']]],
   ['classnum',['classNum',['../classSVF_1_1CHGraph.html#adb99b732d20cfc8cc0f078cda6753bc0',1,'SVF::CHGraph']]],
   ['clocktype',['ClockType',['../classSVF_1_1Options.html#a6a62b34de8ec23899a8024e0450c43df',1,'SVF::Options']]],
-  ['clonetooriginalobj',['cloneToOriginalObj',['../classSVF_1_1TypeBasedHeapCloning.html#accbf71007be662ee2436ca3d76b903ed',1,'SVF::TypeBasedHeapCloning']]],
   ['clplist',['clpList',['../classSVF_1_1LockAnalysis.html#afff2c5699e08badf5265e8183b18a02e',1,'SVF::LockAnalysis']]],
   ['clsname',['clsName',['../CPPUtil_8cpp.html#a7622b99b57e87ceef06c0d154fae281b',1,'CPPUtil.cpp']]],
   ['clusterander',['ClusterAnder',['../classSVF_1_1Options.html#a8459d43a21bcf8a50fc55d14fcf5a81e',1,'SVF::Options']]],
@@ -121,7 +120,6 @@ var searchData=
   ['cstomodsmap',['csToModsMap',['../classSVF_1_1MRGenerator.html#a603f993995e7d6961e203a195bb56029',1,'SVF::MRGenerator']]],
   ['cstorefsmap',['csToRefsMap',['../classSVF_1_1MRGenerator.html#ac7b5ca3fd950e1a940f875ac135640f6',1,'SVF::MRGenerator']]],
   ['cstoretnodemap',['CSToRetNodeMap',['../classSVF_1_1ICFG.html#a0e43308038663c10667177238b23ab3e',1,'SVF::ICFG']]],
-  ['ctiraliaseval',['CTirAliasEval',['../classSVF_1_1Options.html#ad148549070b042aeddafca39ee949c77',1,'SVF::Options']]],
   ['ctplist',['ctpList',['../classSVF_1_1TCT.html#a80dad1dfdf64cb7a5805eb8bedf79226',1,'SVF::TCT']]],
   ['ctptonodemap',['ctpToNodeMap',['../classSVF_1_1TCT.html#a0ccb6e9ffff0f22a0a054a92222893d5',1,'SVF::TCT']]],
   ['cttoforkcxtmap',['ctToForkCxtMap',['../classSVF_1_1TCT.html#aea88fdb40c28724546f5903d3a73999a',1,'SVF::TCT']]],

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

@@ -3,7 +3,6 @@ var searchData=
   ['data',['data',['../structDdCache.html#a9905702dc8e111587a301164f51fd0f0',1,'DdCache::data()'],['../classSVF_1_1List_1_1ListNode.html#a4a9cb4ae17156d6d80d2357e06231e12',1,'SVF::List::ListNode::data()']]],
   ['data_5flist',['data_list',['../classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0',1,'SVF::CFLFIFOWorkList::data_list()'],['../classSVF_1_1FIFOWorkList.html#a270dad3fd1d95418e4af102b64fcc883',1,'SVF::FIFOWorkList::data_list()'],['../classSVF_1_1FILOWorkList.html#aeda28a2200d763279027642c8cf6a4bf',1,'SVF::FILOWorkList::data_list()']]],
   ['data_5fset',['data_set',['../classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0',1,'SVF::CFLFIFOWorkList::data_set()'],['../classSVF_1_1FIFOWorkList.html#a5e9648954a2f6902dc4106cc17a7d1e6',1,'SVF::FIFOWorkList::data_set()'],['../classSVF_1_1FILOWorkList.html#a46092b75425becfe97fdf047206c736b',1,'SVF::FILOWorkList::data_set()']]],
-  ['dchg',['dchg',['../classSVF_1_1TypeBasedHeapCloning.html#a465e67781977e83526df7e36d576e539',1,'SVF::TypeBasedHeapCloning']]],
   ['dd_5funused',['DD_UNUSED',['../cuddInt_8c.html#a15755406c65f1ac3ea34ce661b57b54e',1,'cuddInt.c']]],
   ['ddaselected',['DDASelected',['../classSVF_1_1Options.html#a2203f622ab539b3a38488575c9eec33b',1,'SVF::Options']]],
   ['ddastat',['ddaStat',['../classSVF_1_1DDAVFSolver.html#ae40c7bad663e0fa07dee4be3d1794ff2',1,'SVF::DDAVFSolver']]],
@@ -19,7 +18,6 @@ var searchData=
   ['deltasourcemap',['deltaSourceMap',['../classSVF_1_1VersionedFlowSensitive.html#aee97e196225aaad29c0bd31d3ccbabf6',1,'SVF::VersionedFlowSensitive']]],
   ['dendrogramtraversaltime',['DendrogramTraversalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a67ab9cffacc1584b2e7bae5d1b08c541',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['depth',['depth',['../structparse__buffer.html#af613c4ed7d73f76c60c50d1bcf4c67a0',1,'parse_buffer::depth()'],['../structprintbuffer.html#aa7311b5da38ff8d1737824c611b48732',1,'printbuffer::depth()']]],
-  ['dereffnname',['derefFnName',['../classSVF_1_1TypeBasedHeapCloning.html#a03ef2decb80ba07f4d98cae0a4497212',1,'SVF::TypeBasedHeapCloning']]],
   ['derefmdname',['derefMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a0cd5347bc8043d4306e66a4a96005ace',1,'SVF::cppUtil::ctir']]],
   ['df',['df',['../classSVF_1_1MemSSA.html#ac0aeb79ec4f86f55c97bd397509acd05',1,'SVF::MemSSA::df()'],['../classSVF_1_1IteratedDominanceFrontier.html#aa50321ef8e3c9ee5e0b04f95a5a72e24',1,'SVF::IteratedDominanceFrontier::DF()']]],
   ['dfinptsmap',['dfInPtsMap',['../classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36',1,'SVF::MutableDFPTData::dfInPtsMap()'],['../classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868',1,'SVF::PersistentDFPTData::dfInPtsMap()']]],

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['e',['E',['../structDdChildren.html#aedecad6f1bca3d6b46c71b0a011e51c5',1,'DdChildren::E()'],['../classSVF_1_1Z3Expr.html#ae14d9fa0613b196420b90d20cc8df041',1,'SVF::Z3Expr::e()']]],
+  ['e',['e',['../classSVF_1_1Z3Expr.html#ae14d9fa0613b196420b90d20cc8df041',1,'SVF::Z3Expr::e()'],['../structDdChildren.html#aedecad6f1bca3d6b46c71b0a011e51c5',1,'DdChildren::E()']]],
   ['edge2pts',['edge2pts',['../classSVF_1_1MTASVFGBuilder.html#a1c0de33bba2f05f14140d872c345ab38',1,'SVF::MTASVFGBuilder']]],
   ['edgeflag',['edgeFlag',['../classSVF_1_1GenericEdge.html#aa1f446e93750580dce04a127231dd1a3',1,'SVF::GenericEdge']]],
   ['edgeid',['edgeId',['../classSVF_1_1ConstraintEdge.html#af51f8e9b3c1dd68855581d0d1739ba29',1,'SVF::ConstraintEdge::edgeId()'],['../classSVF_1_1SVFStmt.html#a593cc8136f2138a518476405e667e060',1,'SVF::SVFStmt::edgeId()']]],

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

@@ -15,7 +15,6 @@ var searchData=
   ['gepoutedges',['gepOutEdges',['../classSVF_1_1ConstraintNode.html#a583880cd83a9f353003e199401d1b024',1,'SVF::ConstraintNode']]],
   ['gepsrcnodes',['gepSrcNodes',['../classSVF_1_1AliasDDAClient.html#ab165537f4c9a318f31de8a272a529c9c',1,'SVF::AliasDDAClient']]],
   ['geptime',['gepTime',['../classSVF_1_1FlowSensitive.html#a282126e5b67ed4e19aa40c81180b8290',1,'SVF::FlowSensitive']]],
-  ['geptosvfgretrievers',['gepToSVFGRetrievers',['../classSVF_1_1FlowSensitiveTBHC.html#acd6ade2b73c19d1eb7faf0e457becba6',1,'SVF::FlowSensitiveTBHC']]],
   ['gepvalobjmap',['GepValObjMap',['../classSVF_1_1SVFIR.html#ad7bbe1abea55ed03c9b6c81891c0bd67',1,'SVF::SVFIR']]],
   ['gepvaltype',['gepValType',['../classSVF_1_1GepValVar.html#aaf5f5d3734e1db83c6d4f38d560b2f45',1,'SVF::GepValVar']]],
   ['global_5ferror',['global_error',['../cJSON_8cpp.html#a6ff6e9678e47cf5347872008661d5846',1,'cJSON.cpp']]],