svf-tools 1.0.317 → 1.0.321

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

@@ -6,7 +6,6 @@ var searchData=
   ['paramhasattr',['paramHasAttr',['../classSVF_1_1CallSite.html#a15a98a5e0fe91f0e239a052acd029cc2',1,'SVF::CallSite']]],
   ['parforsitesbegin',['parForSitesBegin',['../classSVF_1_1ThreadCallGraph.html#a29c74634b17007e5bef6fb48e1f3839f',1,'SVF::ThreadCallGraph']]],
   ['parforsitesend',['parForSitesEnd',['../classSVF_1_1ThreadCallGraph.html#a506343bcd23ba71d2db915ff7c58e728',1,'SVF::ThreadCallGraph']]],
-  ['parseexternalpags',['parseExternalPAGs',['../classSVF_1_1ExternalPAG.html#a50cf3da29657a69d66396a6951f628d8',1,'SVF::ExternalPAG']]],
   ['parseselfcyclehandleoption',['parseSelfCycleHandleOption',['../classSVF_1_1SVFGOPT.html#ac3b14bf191cadb832e3a34affd7e569d',1,'SVF::SVFGOPT']]],
   ['partitionmrs',['partitionMRs',['../classSVF_1_1DistinctMRG.html#a4512ef21fa83988ad4d588831bfba482',1,'SVF::DistinctMRG::partitionMRs()'],['../classSVF_1_1IntraDisjointMRG.html#a6d2434f0e3a318b89b7b9fa4f5613b64',1,'SVF::IntraDisjointMRG::partitionMRs()'],['../classSVF_1_1InterDisjointMRG.html#a807cf159e53c2fb2903296207185dda0',1,'SVF::InterDisjointMRG::partitionMRs()'],['../classSVF_1_1MRGenerator.html#ac0b966ee2065607a24920dd9067b40e9',1,'SVF::MRGenerator::partitionMRs()']]],
   ['pasmsg',['pasMsg',['../namespaceSVF_1_1SVFUtil.html#a609eea630a8f88fe9eaba15ce7e48738',1,'SVF::SVFUtil']]],
@@ -33,6 +32,7 @@ var searchData=
   ['persistentpointstocache',['PersistentPointsToCache',['../classSVF_1_1PersistentPointsToCache.html#acbfc07bb91fb08658a911abe0a8113c5',1,'SVF::PersistentPointsToCache']]],
   ['persistentptdata',['PersistentPTData',['../classSVF_1_1PersistentPTData.html#a5b24a6efc462014ed8002cefee3c0e6e',1,'SVF::PersistentPTData']]],
   ['persistentversionedptdata',['PersistentVersionedPTData',['../classSVF_1_1PersistentVersionedPTData.html#a5cecb78af456e2241ff8554441b48d61',1,'SVF::PersistentVersionedPTData']]],
+  ['phipe',['PhiPE',['../classSVF_1_1PhiPE.html#ac23c761f684a91cdf62e04228430cfdd',1,'SVF::PhiPE::PhiPE()'],['../classSVF_1_1PhiPE.html#acf197240c6abc68bd87ae736f631b382',1,'SVF::PhiPE::PhiPE(const PhiPE &)'],['../classSVF_1_1PhiPE.html#a4ea3497a0716a73950e2037792c54c8f',1,'SVF::PhiPE::PhiPE(SVFVar *s, const OPVars &opnds)']]],
   ['phivfgnode',['PHIVFGNode',['../classSVF_1_1PHIVFGNode.html#add1ed5dfc7fbb095e2bdb7ff1e2658ef',1,'SVF::PHIVFGNode']]],
   ['plainmap',['plainMap',['../classSVF_1_1FlowSensitive.html#a5a8688102f3675cf414b01dc2ae51c6b',1,'SVF::FlowSensitive']]],
   ['pmx',['PMX',['../cuddInt_8c.html#a6e6108316d27c8e3b393f65362e5e37b',1,'cuddInt.c']]],

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

@@ -4,9 +4,9 @@ var searchData=
   ['racevalidator',['RaceValidator',['../classSVF_1_1RaceValidator.html#a7ec5d97155d170033398757af56691ad',1,'SVF::RaceValidator']]],
   ['rand_5fint',['rand_int',['../cuddInt_8c.html#a08c36691817205004514f669bfa72afe',1,'cuddInt.c']]],
   ['random_5fgenerator',['random_generator',['../cuddInt_8c.html#a77a931cdec27ae26f4d8e4b9152ff7e6',1,'cuddInt.c']]],
-  ['readfromfile',['readFromFile',['../classSVF_1_1ExternalPAG.html#ae010036c742cfdf95fad5355f0100984',1,'SVF::ExternalPAG::readFromFile()'],['../classSVF_1_1BVDataPTAImpl.html#a290501006cb700db0e07dc577429c928',1,'SVF::BVDataPTAImpl::readFromFile()']]],
+  ['readfromfile',['readFromFile',['../classSVF_1_1BVDataPTAImpl.html#a290501006cb700db0e07dc577429c928',1,'SVF::BVDataPTAImpl']]],
   ['readfrommodule',['readFromModule',['../classSVF_1_1BVDataPTAImpl.html#a857cdacfc8cafdeb1431bdfa077ef9b5',1,'SVF::BVDataPTAImpl']]],
-  ['readinheritancemetadatafrommodule',['readInheritanceMetadataFromModule',['../classSVF_1_1CHGraph.html#a315f0dc381d62f99bede32f08aa9cde8',1,'SVF::CHGraph']]],
+  ['readinheritancemetadatafrommodule',['readInheritanceMetadataFromModule',['../classSVF_1_1CHGBuilder.html#a443b021eb2b08b92164515750385b058',1,'SVF::CHGBuilder']]],
   ['readpaggepnodes',['readPAGgepNodes',['../classSVF_1_1IRAnnotator.html#a7f69afba3424c615736bffe2469d9a20',1,'SVF::IRAnnotator']]],
   ['readprecision',['readPrecision',['../classSVF_1_1MTASVFGBuilder.html#a5532751632ece036b3d6741908573b36',1,'SVF::MTASVFGBuilder']]],
   ['realloc',['realloc',['../util_8h.html#af6ef63a39a975856bc39bf0f3d13b292',1,'util.h']]],

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

@@ -1,5 +1,4 @@
 var searchData=
 [
-  ['ddastat',['DDAStat',['../classSVF_1_1DDAVFSolver.html#af83f88f2ae2456f2691e8822d56b1598',1,'SVF::DDAVFSolver']]],
-  ['ddasvfgbuilder',['DDASVFGBuilder',['../classSVF_1_1SVFG.html#a9ccd530dc4c49b0df372a2ce95b66921',1,'SVF::SVFG']]]
+  ['chgbuilder',['CHGBuilder',['../classSVF_1_1CHGraph.html#af776f260ae050aa392e32f2a03f23733',1,'SVF::CHGraph']]]
 ];

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

@@ -1,4 +1,5 @@
 var searchData=
 [
-  ['externalpag',['ExternalPAG',['../classSVF_1_1SVFIR.html#a294bb5e174030882a385c790ab835bb3',1,'SVF::SVFIR']]]
+  ['ddastat',['DDAStat',['../classSVF_1_1DDAVFSolver.html#af83f88f2ae2456f2691e8822d56b1598',1,'SVF::DDAVFSolver']]],
+  ['ddasvfgbuilder',['DDASVFGBuilder',['../classSVF_1_1SVFG.html#a9ccd530dc4c49b0df372a2ce95b66921',1,'SVF::SVFG']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['flowsensitivestat',['FlowSensitiveStat',['../classSVF_1_1FlowSensitive.html#a88f9752372eabb71f47f13a89e4d6d9c',1,'SVF::FlowSensitive']]]
+  ['externalpag',['ExternalPAG',['../classSVF_1_1SVFIR.html#a294bb5e174030882a385c790ab835bb3',1,'SVF::SVFIR']]]
 ];

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

@@ -1,5 +1,4 @@
 var searchData=
 [
-  ['mtasvfgbuilder',['MTASVFGBuilder',['../classSVF_1_1SVFG.html#ac0e43f4a2043538c9046f95826caa725',1,'SVF::SVFG']]],
-  ['mutabledfptdata_3c_20key_2c_20keyset_2c_20data_2c_20dataset_20_3e',['MutableDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1MutablePTData.html#ad92cfe345043b1bc8d6c7a03df43310f',1,'SVF::MutablePTData']]]
+  ['flowsensitivestat',['FlowSensitiveStat',['../classSVF_1_1FlowSensitive.html#a88f9752372eabb71f47f13a89e4d6d9c',1,'SVF::FlowSensitive']]]
 ];

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

@@ -1,4 +1,5 @@
 var searchData=
 [
-  ['operator_3c_3c',['operator<<',['../classSVF_1_1ICFGEdge.html#a19a7a4e97b497d5ecc48016181ec58ce',1,'SVF::ICFGEdge::operator<<()'],['../classSVF_1_1ICFGNode.html#a19844bff2f6a0e90217c7a2ce9bb5184',1,'SVF::ICFGNode::operator<<()'],['../classSVF_1_1PTACallGraphEdge.html#a65b897bc0d878c6228feca008fa1fcb1',1,'SVF::PTACallGraphEdge::operator<<()'],['../classSVF_1_1PTACallGraphNode.html#a47cffc6e01a12b1321a551514820c905',1,'SVF::PTACallGraphNode::operator<<()'],['../classSVF_1_1VFGEdge.html#a99d90686fe65a24f861520e7efcca476',1,'SVF::VFGEdge::operator<<()'],['../classSVF_1_1VFGNode.html#acf120796be0cbb19c43fa271892b564a',1,'SVF::VFGNode::operator<<()'],['../classSVF_1_1CondVar.html#a539bf3722c1ef2887e5459add0abf24c',1,'SVF::CondVar::operator<<()'],['../classSVF_1_1SVFStmt.html#ad75e4c84f7d37824eb096aacca930ead',1,'SVF::SVFStmt::operator<<()'],['../classSVF_1_1SVFVar.html#a985930fc3a53ae8ff5fcb07d378f354b',1,'SVF::SVFVar::operator<<()'],['../classSVF_1_1SVFValue.html#a149a1e1c616bb0b9a265c2279737a67a',1,'SVF::SVFValue::operator<<()']]]
+  ['mtasvfgbuilder',['MTASVFGBuilder',['../classSVF_1_1SVFG.html#ac0e43f4a2043538c9046f95826caa725',1,'SVF::SVFG']]],
+  ['mutabledfptdata_3c_20key_2c_20keyset_2c_20data_2c_20dataset_20_3e',['MutableDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1MutablePTData.html#ad92cfe345043b1bc8d6c7a03df43310f',1,'SVF::MutablePTData']]]
 ];

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

@@ -1,7 +1,4 @@
 var searchData=
 [
-  ['pagbuilderfromfile',['PAGBuilderFromFile',['../classSVF_1_1SVFIR.html#a639210db7230cea2eeaf2d08c953d827',1,'SVF::SVFIR']]],
-  ['persistentdfptdata_3c_20key_2c_20keyset_2c_20data_2c_20dataset_20_3e',['PersistentDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1PersistentPTData.html#aea8bb6da9d6d5a4ed65168aceee2f85a',1,'SVF::PersistentPTData']]],
-  ['persistentincdfptdata_3c_20key_2c_20keyset_2c_20data_2c_20dataset_20_3e',['PersistentIncDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1PersistentPTData.html#a8386ddd5a45bd490860685ca18543287',1,'SVF::PersistentPTData']]],
-  ['persistentversionedptdata',['PersistentVersionedPTData',['../classSVF_1_1PersistentPTData.html#a5a0dfa2e5e989bcb30b913f37e561c35',1,'SVF::PersistentPTData']]]
+  ['operator_3c_3c',['operator<<',['../classSVF_1_1ICFGEdge.html#a19a7a4e97b497d5ecc48016181ec58ce',1,'SVF::ICFGEdge::operator<<()'],['../classSVF_1_1ICFGNode.html#a19844bff2f6a0e90217c7a2ce9bb5184',1,'SVF::ICFGNode::operator<<()'],['../classSVF_1_1PTACallGraphEdge.html#a65b897bc0d878c6228feca008fa1fcb1',1,'SVF::PTACallGraphEdge::operator<<()'],['../classSVF_1_1PTACallGraphNode.html#a47cffc6e01a12b1321a551514820c905',1,'SVF::PTACallGraphNode::operator<<()'],['../classSVF_1_1VFGEdge.html#a99d90686fe65a24f861520e7efcca476',1,'SVF::VFGEdge::operator<<()'],['../classSVF_1_1VFGNode.html#acf120796be0cbb19c43fa271892b564a',1,'SVF::VFGNode::operator<<()'],['../classSVF_1_1CondVar.html#a539bf3722c1ef2887e5459add0abf24c',1,'SVF::CondVar::operator<<()'],['../classSVF_1_1SVFStmt.html#ad75e4c84f7d37824eb096aacca930ead',1,'SVF::SVFStmt::operator<<()'],['../classSVF_1_1SVFVar.html#a985930fc3a53ae8ff5fcb07d378f354b',1,'SVF::SVFVar::operator<<()'],['../classSVF_1_1SVFValue.html#a149a1e1c616bb0b9a265c2279737a67a',1,'SVF::SVFValue::operator<<()']]]
 ];

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

@@ -1,4 +1,7 @@
 var searchData=
 [
-  ['rcsvfgbuilder',['RcSvfgBuilder',['../classSVF_1_1SVFG.html#a67654d252e9e93b74e35ba247048b41a',1,'SVF::SVFG']]]
+  ['pagbuilderfromfile',['PAGBuilderFromFile',['../classSVF_1_1SVFIR.html#a639210db7230cea2eeaf2d08c953d827',1,'SVF::SVFIR']]],
+  ['persistentdfptdata_3c_20key_2c_20keyset_2c_20data_2c_20dataset_20_3e',['PersistentDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1PersistentPTData.html#aea8bb6da9d6d5a4ed65168aceee2f85a',1,'SVF::PersistentPTData']]],
+  ['persistentincdfptdata_3c_20key_2c_20keyset_2c_20data_2c_20dataset_20_3e',['PersistentIncDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1PersistentPTData.html#a8386ddd5a45bd490860685ca18543287',1,'SVF::PersistentPTData']]],
+  ['persistentversionedptdata',['PersistentVersionedPTData',['../classSVF_1_1PersistentPTData.html#a5a0dfa2e5e989bcb30b913f37e561c35',1,'SVF::PersistentPTData']]]
 ];

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

@@ -1,8 +1,4 @@
 var searchData=
 [
-  ['sabersvfgbuilder',['SaberSVFGBuilder',['../classSVF_1_1SVFG.html#a93a4287b55425abc188e5f5f2de54297',1,'SVF::SVFG']]],
-  ['svfgbuilder',['SVFGBuilder',['../classSVF_1_1SVFG.html#ab2f81db3935389480baa5cb14e15e9d7',1,'SVF::SVFG']]],
-  ['svfirbuilder',['SVFIRBuilder',['../classSVF_1_1SVFIR.html#a46fadea4d08baefc8fbc1d8928da7f6b',1,'SVF::SVFIR']]],
-  ['symboltablebuilder',['SymbolTableBuilder',['../classSVF_1_1SymbolTableInfo.html#a9d9633d48431b80c078bd4a34c1e7fa0',1,'SVF::SymbolTableInfo']]],
-  ['symboltableinfo',['SymbolTableInfo',['../classSVF_1_1LocationSet.html#a32ddec529ccbf4ea6336e5fd765164d8',1,'SVF::LocationSet']]]
+  ['rcsvfgbuilder',['RcSvfgBuilder',['../classSVF_1_1SVFG.html#a67654d252e9e93b74e35ba247048b41a',1,'SVF::SVFG']]]
 ];

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

@@ -1,5 +1,8 @@
 var searchData=
 [
-  ['taintsvfgbuilder',['TaintSVFGBuilder',['../classSVF_1_1SVFG.html#a665c93b68f49078c281270a028d04445',1,'SVF::SVFG']]],
-  ['typebasedheapcloning',['TypeBasedHeapCloning',['../classSVF_1_1SVFIR.html#ac7f1349df526a5a50741e9303f3bd446',1,'SVF::SVFIR']]]
+  ['sabersvfgbuilder',['SaberSVFGBuilder',['../classSVF_1_1SVFG.html#a93a4287b55425abc188e5f5f2de54297',1,'SVF::SVFG']]],
+  ['svfgbuilder',['SVFGBuilder',['../classSVF_1_1SVFG.html#ab2f81db3935389480baa5cb14e15e9d7',1,'SVF::SVFG']]],
+  ['svfirbuilder',['SVFIRBuilder',['../classSVF_1_1SVFIR.html#a46fadea4d08baefc8fbc1d8928da7f6b',1,'SVF::SVFIR']]],
+  ['symboltablebuilder',['SymbolTableBuilder',['../classSVF_1_1SymbolTableInfo.html#a9d9633d48431b80c078bd4a34c1e7fa0',1,'SVF::SymbolTableInfo']]],
+  ['symboltableinfo',['SymbolTableInfo',['../classSVF_1_1LocationSet.html#a32ddec529ccbf4ea6336e5fd765164d8',1,'SVF::LocationSet']]]
 ];

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

@@ -1,4 +1,5 @@
 var searchData=
 [
-  ['versionedflowsensitivestat',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitive.html#aaee58f266762146e9fdc08ecfc326b29',1,'SVF::VersionedFlowSensitive']]]
+  ['taintsvfgbuilder',['TaintSVFGBuilder',['../classSVF_1_1SVFG.html#a665c93b68f49078c281270a028d04445',1,'SVF::SVFG']]],
+  ['typebasedheapcloning',['TypeBasedHeapCloning',['../classSVF_1_1SVFIR.html#ac7f1349df526a5a50741e9303f3bd446',1,'SVF::SVFIR']]]
 ];

package/SVF-doxygen/html/html/search/related_a.html

@@ -0,0 +1,26 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html><head><title></title>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<link rel="stylesheet" type="text/css" href="search.css"/>
+<script type="text/javascript" src="related_a.js"></script>
+<script type="text/javascript" src="search.js"></script>
+</head>
+<body class="SRPage">
+<div id="SRIndex">
+<div class="SRStatus" id="Loading">Loading...</div>
+<div id="SRResults"></div>
+<script type="text/javascript"><!--
+createResults();
+--></script>
+<div class="SRStatus" id="Searching">Searching...</div>
+<div class="SRStatus" id="NoMatches">No Matches</div>
+<script type="text/javascript"><!--
+document.getElementById("Loading").style.display="none";
+document.getElementById("NoMatches").style.display="none";
+var searchResults = new SearchResults("searchResults");
+searchResults.Search();
+--></script>
+</div>
+</body>
+</html>

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

@@ -0,0 +1,4 @@
+var searchData=
+[
+  ['versionedflowsensitivestat',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitive.html#aaee58f266762146e9fdc08ecfc326b29',1,'SVF::VersionedFlowSensitive']]]
+];

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

@@ -9,7 +9,7 @@ var indexSectionsWithContent =
   6: "abcdefghijklmnoprstuvw",
   7: "acdehilmprstv",
   8: "abcdefghilmnoprstuvw",
-  9: "defmoprstv",
+  9: "cdefmoprstv",
   10: "abcdefhjklmnprstuvwz"
 };
 

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

@@ -17,9 +17,7 @@ var searchData=
   ['bbtomrsetmap',['BBToMRSetMap',['../classSVF_1_1MemSSA.html#a4d4f7039c2972e671dc15b8c75abad14',1,'SVF::MemSSA']]],
   ['bbtophisetmap',['BBToPhiSetMap',['../classSVF_1_1MemSSA.html#a59cca6cbd8f18c9521027d8ddd13ffc5',1,'SVF::MemSSA']]],
   ['bbworklist',['BBWorkList',['../classSVF_1_1PCG.html#a05759205f1362b6d72041cf669cf028d',1,'SVF::PCG']]],
-  ['binarynodemap',['BinaryNodeMap',['../classSVF_1_1SVFIR.html#a5c4e176e2bc022b571b0b29a258034b9',1,'SVF::SVFIR']]],
   ['binaryoperator',['BinaryOperator',['../namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22',1,'SVF']]],
-  ['binaryoplist',['BinaryOPList',['../classSVF_1_1SVFIR.html#ad4704a620a7e2ec39e059cdc70442214',1,'SVF::SVFIR']]],
   ['bitcastinst',['BitCastInst',['../namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d',1,'SVF']]],
   ['blockaddress',['BlockAddress',['../namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c',1,'SVF']]],
   ['branchcond',['BranchCond',['../classSVF_1_1BranchCondExpr.html#ad90fb1713be8b6a064e2423da5dd98b3',1,'SVF::BranchCondExpr::BranchCond()'],['../classSVF_1_1BranchCondManager.html#a37bec50768d5df6317a4ba6c790c569d',1,'SVF::BranchCondManager::BranchCond()'],['../classSVF_1_1CondManager.html#afb6c29587f01bf5b80878bae0850d2f6',1,'SVF::CondManager::BranchCond()']]],

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

@@ -2,9 +2,7 @@ var searchData=
 [
   ['u32_5ft',['u32_t',['../namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af',1,'SVF']]],
   ['u64_5ft',['u64_t',['../namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14',1,'SVF']]],
-  ['unarynodemap',['UnaryNodeMap',['../classSVF_1_1SVFIR.html#a5458fee250c6f93de78bf4622dbf5f62',1,'SVF::SVFIR']]],
   ['unaryoperator',['UnaryOperator',['../namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62',1,'SVF']]],
-  ['unaryoplist',['UnaryOPList',['../classSVF_1_1SVFIR.html#af25261d5aa1e0e7261d606e176248993',1,'SVF::SVFIR']]],
   ['undefvalue',['UndefValue',['../namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec',1,'SVF']]],
   ['unifyfunctionexitnodes',['UnifyFunctionExitNodes',['../namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b',1,'SVF']]],
   ['unreachableinst',['UnreachableInst',['../namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721',1,'SVF']]],

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

@@ -7,6 +7,7 @@ var searchData=
   ['value_5ftype',['value_type',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ab81cda692bb6ad451276f571a25c0751',1,'SVF::PointsTo::PointsToIterator::value_type()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6a59f0e97fc9cf278ed22b0a4c109ae1',1,'SVF::CoreBitVector::CoreBitVectorIterator::value_type()']]],
   ['valuetoedgemap',['ValueToEdgeMap',['../classSVF_1_1IRGraph.html#a833015e6a332b0d97b9a7de37dce5fab',1,'SVF::IRGraph']]],
   ['valuetoidmapty',['ValueToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#a03a11c48d748990ddac1ac5866ecb48e',1,'SVF::SymbolTableInfo']]],
+  ['var2labelmap',['Var2LabelMap',['../classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb',1,'SVF::SVFStmt']]],
   ['vartopropnodemap',['VarToPropNodeMap',['../classSVF_1_1VersionedFlowSensitive.html#a9ee5add09f2b446c6c6bcb84da0f75b3',1,'SVF::VersionedFlowSensitive']]],
   ['vastartinst',['VAStartInst',['../namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc',1,'SVF']]],
   ['vectortype',['VectorType',['../namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418',1,'SVF']]],

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

@@ -1,7 +1,7 @@
 var searchData=
 [
   ['word',['Word',['../classSVF_1_1CoreBitVector.html#aaee26ffc13d05cd57f0fd7e4c2ea875c',1,'SVF::CoreBitVector']]],
-  ['worklist',['WorkList',['../classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00',1,'SVF::ConstraintGraph::WorkList()'],['../classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40',1,'SVF::SVFGOPT::WorkList()'],['../classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc',1,'SVF::MRGenerator::WorkList()'],['../classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b',1,'SVF::LeakChecker::WorkList()'],['../classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039',1,'SVF::SaberSVFGBuilder::WorkList()'],['../classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a',1,'SVF::SrcSnkDDA::WorkList()'],['../classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12',1,'SVF::CHGraph::WorkList()'],['../classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a',1,'SVF::ICFGBuilder::WorkList()'],['../classSVF_1_1CFLSolver.html#a802e04eafce9adfd60506c44951c3d53',1,'SVF::CFLSolver::WorkList()'],['../classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334',1,'SVF::WPASolver::WorkList()']]],
+  ['worklist',['WorkList',['../classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12',1,'SVF::CHGraph::WorkList()'],['../classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00',1,'SVF::ConstraintGraph::WorkList()'],['../classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40',1,'SVF::SVFGOPT::WorkList()'],['../classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc',1,'SVF::MRGenerator::WorkList()'],['../classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b',1,'SVF::LeakChecker::WorkList()'],['../classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039',1,'SVF::SaberSVFGBuilder::WorkList()'],['../classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a',1,'SVF::SrcSnkDDA::WorkList()'],['../classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac',1,'SVF::CHGBuilder::WorkList()'],['../classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a',1,'SVF::ICFGBuilder::WorkList()'],['../classSVF_1_1CFLSolver.html#a802e04eafce9adfd60506c44951c3d53',1,'SVF::CFLSolver::WorkList()'],['../classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334',1,'SVF::WPASolver::WorkList()']]],
   ['workstack',['WorkStack',['../classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e',1,'SVF::CSC']]],
   ['wpaconstraintsolver',['WPAConstraintSolver',['../namespaceSVF.html#ae9c142945ea31b6c70bceb93eb6f3ca4',1,'SVF']]],
   ['wpasvfgfssolver',['WPASVFGFSSolver',['../namespaceSVF.html#a221270d70aa99a37738c0f919519a73d',1,'SVF']]]

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

@@ -45,12 +45,10 @@ var searchData=
   ['childiteratortype',['ChildIteratorType',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#aec22c38e9fb74816d84a84e402ca562d',1,'llvm::GraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::ChildIteratorType()'],['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a5c8f971fb6ca3682a9a0cd9694edc48b',1,'llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::ChildIteratorType()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a03a1edb4d4b703eff1bdad004179c1ec',1,'llvm::DOTGraphTraits< IRGraph * >::ChildIteratorType()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a38abf60604b5f9b4bc992cb1d65a447b',1,'llvm::DOTGraphTraits< PTACallGraph * >::ChildIteratorType()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a73a500d1bdff303590f9dc8786e1f8c0',1,'llvm::DOTGraphTraits< TCT * >::ChildIteratorType()']]],
   ['chiset',['CHISet',['../classSVF_1_1SVFG.html#a8843ab4a4608f7f5f46f68ad31314c07',1,'SVF::SVFG::CHISet()'],['../classSVF_1_1MemSSA.html#af9cf084e3070456d8cca491e1391b0c4',1,'SVF::MemSSA::CHISet()']]],
   ['chitype',['CHITYPE',['../classSVF_1_1MSSACHI.html#a21d9218e105987a1f807633ea824e5d3',1,'SVF::MSSACHI']]],
-  ['chnodesetty',['CHNodeSetTy',['../classSVF_1_1CHGraph.html#ad0f60c720b277c60ed8a8966189bb42b',1,'SVF::CHGraph']]],
+  ['chnodesetty',['CHNodeSetTy',['../classSVF_1_1CHGraph.html#ad0f60c720b277c60ed8a8966189bb42b',1,'SVF::CHGraph::CHNodeSetTy()'],['../classSVF_1_1CHGBuilder.html#adbff217477a779de9024d9a5777413a7',1,'SVF::CHGBuilder::CHNodeSetTy()']]],
   ['cilocktospan',['CILockToSpan',['../classSVF_1_1LockAnalysis.html#acdcc3fc4b90e7f67cfb9601ddc31d5f8',1,'SVF::LockAnalysis']]],
   ['cispan',['CISpan',['../classSVF_1_1LockAnalysis.html#ae675d0ebf4eac597487ce83e667a8229',1,'SVF::LockAnalysis']]],
   ['cmpinst',['CmpInst',['../namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4',1,'SVF']]],
-  ['cmpnodemap',['CmpNodeMap',['../classSVF_1_1SVFIR.html#a12df88c75f40c85bb9d2d230b1b1a58f',1,'SVF::SVFIR']]],
-  ['cmppelist',['CmpPEList',['../classSVF_1_1SVFIR.html#a04bd17589cde5b6f058705a2e8fb5719',1,'SVF::SVFIR']]],
   ['condition',['Condition',['../classSVF_1_1MemRegion.html#a7ed54700c976f9738012bc051b7f41f5',1,'SVF::MemRegion::Condition()'],['../classSVF_1_1MemSSA.html#ac0c8f70b6283e26e70dafe02fcb5180a',1,'SVF::MemSSA::Condition()'],['../classSVF_1_1PathCondAllocator.html#aade2bc55c3882a6cacc3c4a891a1c4a3',1,'SVF::PathCondAllocator::Condition()'],['../classSVF_1_1ProgSlice.html#a3dc89d666a0f369ca85e13632676e6aa',1,'SVF::ProgSlice::Condition()']]],
   ['condposmap',['CondPosMap',['../classSVF_1_1PathCondAllocator.html#a0d685cfd0f0652a0ff839969f763371b',1,'SVF::PathCondAllocator']]],
   ['condpts',['CondPts',['../classSVF_1_1CondPointsToSet.html#aaddc3f78a624de59dda6f078ba63ba52',1,'SVF::CondPointsToSet']]],

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

@@ -19,7 +19,7 @@ var searchData=
   ['nodepairmap',['NodePairMap',['../namespaceSVF.html#a56a7d652fccf3134748f3cb8e8334b76',1,'SVF']]],
   ['nodepairset',['NodePairSet',['../namespaceSVF.html#ac82022f3f81965c3ce9b26c299f537a7',1,'SVF']]],
   ['nodepairsetmap',['NodePairSetMap',['../classSVF_1_1SVFIR.html#ab715a8e83a4ec45fb86298fef3eda95a',1,'SVF::SVFIR']]],
-  ['noderef',['NodeRef',['../structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html#a3f34a804842ca97e422cb255ff670b5c',1,'llvm::GraphTraits< SVF::ConstraintGraph * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html#a56fc8804dac855c62d6d7d3842b6fff4',1,'llvm::GraphTraits< SVF::ICFG * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.html#a2f3dc486fd4a3d8f4f4fd27d0f0f65c4',1,'llvm::GraphTraits< SVF::IRGraph * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1OfflineConsG_01_5_01_4.html#acc7fa524cd8c4c4b786136c642ee2d58',1,'llvm::GraphTraits< SVF::OfflineConsG * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.html#a616c61ef97851d0737b81ae34f82d53a',1,'llvm::GraphTraits< SVF::PTACallGraph * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html#afc660c371870b04ba6486980a7e4c9aa',1,'llvm::GraphTraits< SVF::SVFG * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1VFG_01_5_01_4.html#a0c6c42e5f1f75e34d71c39996f50e5b2',1,'llvm::GraphTraits< SVF::VFG * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1TCT_01_5_01_4.html#a064d2e7841d3ad3fce45f8b99f37001b',1,'llvm::GraphTraits< SVF::TCT * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html#aea2a657d278919364d2911d92b3e6f5a',1,'llvm::GraphTraits< SVF::CHGraph * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html#a7f54c1b4b286ea5b46471741e4c34b54',1,'llvm::GraphTraits< SVF::DCHGraph * >::NodeRef()']]],
+  ['noderef',['NodeRef',['../structllvm_1_1GraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html#aea2a657d278919364d2911d92b3e6f5a',1,'llvm::GraphTraits< SVF::CHGraph * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html#a3f34a804842ca97e422cb255ff670b5c',1,'llvm::GraphTraits< SVF::ConstraintGraph * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html#a56fc8804dac855c62d6d7d3842b6fff4',1,'llvm::GraphTraits< SVF::ICFG * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.html#a2f3dc486fd4a3d8f4f4fd27d0f0f65c4',1,'llvm::GraphTraits< SVF::IRGraph * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1OfflineConsG_01_5_01_4.html#acc7fa524cd8c4c4b786136c642ee2d58',1,'llvm::GraphTraits< SVF::OfflineConsG * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.html#a616c61ef97851d0737b81ae34f82d53a',1,'llvm::GraphTraits< SVF::PTACallGraph * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html#afc660c371870b04ba6486980a7e4c9aa',1,'llvm::GraphTraits< SVF::SVFG * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1VFG_01_5_01_4.html#a0c6c42e5f1f75e34d71c39996f50e5b2',1,'llvm::GraphTraits< SVF::VFG * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1TCT_01_5_01_4.html#a064d2e7841d3ad3fce45f8b99f37001b',1,'llvm::GraphTraits< SVF::TCT * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html#a7f54c1b4b286ea5b46471741e4c34b54',1,'llvm::GraphTraits< SVF::DCHGraph * >::NodeRef()']]],
   ['nodes_5fiterator',['nodes_iterator',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a4d5e71602d898636a8cebb5918a98acf',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>']]],
   ['nodeset',['NodeSet',['../namespaceSVF.html#a212231734fa43d5c7414137deaac7df3',1,'SVF']]],
   ['nodestack',['NodeStack',['../namespaceSVF.html#a1811127aebdb9c926e39d155e20b3dc0',1,'SVF']]],
@@ -29,7 +29,7 @@ var searchData=
   ['nodetoptssmap',['NodeToPTSSMap',['../classSVF_1_1MRGenerator.html#ab075a7c7fbc60f678b3fee8bbc06194d',1,'SVF::MRGenerator::NodeToPTSSMap()'],['../classSVF_1_1SaberSVFGBuilder.html#a4cb1f607e33d106dfa178e822c5ab7e1',1,'SVF::SaberSVFGBuilder::NodeToPTSSMap()']]],
   ['nodetorepmap',['NodeToRepMap',['../classSVF_1_1ConstraintGraph.html#afe34ca6bdbb22b188799a4297fd19004',1,'SVF::ConstraintGraph']]],
   ['nodetosubsmap',['NodeToSubsMap',['../classSVF_1_1ConstraintGraph.html#ac7d24753491a9bab39a13b32bb65f139',1,'SVF::ConstraintGraph::NodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#a45d49eef110e3bc15509a2020be38453',1,'SVF::Steensgaard::NodeToSubsMap()']]],
-  ['nodetype',['NodeType',['../classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736',1,'SVF::GenericEdge::NodeType()'],['../classSVF_1_1GenericNode.html#ad63e862eb1d1369bd69318fe698e4a22',1,'SVF::GenericNode::NodeType()'],['../classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211',1,'SVF::GenericGraph::NodeType()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#aec39caaa600f638af5e5fa57ae0b6706',1,'llvm::GraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::NodeType()'],['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab7627f7ad0d6ea6dbe89132031ef732c',1,'llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::NodeType()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#af8a1cf62dc7ed9d8da15e6e92e3a433c',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ac3889bd563cdc21a55df0524df2ae4da',1,'llvm::DOTGraphTraits< ConstraintGraph * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a7ef3894da60c3e3350b8d2de3e94a562',1,'llvm::DOTGraphTraits< ICFG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#ad6174f74f7a037a7ffd13df41c5f50f7',1,'llvm::DOTGraphTraits< IRGraph * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#a4de1b76db4f60446aa2db97535fff54f',1,'llvm::DOTGraphTraits< OfflineConsG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#ad08b2b59081251fcf467fa992c83986c',1,'llvm::DOTGraphTraits< PTACallGraph * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a07ad41a658bfc0a404a5f6abc823040b',1,'llvm::DOTGraphTraits< SVFG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#afd7d2c80916a68b53814e6de593bf520',1,'llvm::DOTGraphTraits< VFG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a86caa5eb1467eea028ea13aac175f949',1,'llvm::DOTGraphTraits< TCT * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a73928161c8b1427e8150ca68ec48160e',1,'llvm::DOTGraphTraits< CHGraph * >::NodeType()']]],
+  ['nodetype',['NodeType',['../classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736',1,'SVF::GenericEdge::NodeType()'],['../classSVF_1_1GenericNode.html#ad63e862eb1d1369bd69318fe698e4a22',1,'SVF::GenericNode::NodeType()'],['../classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211',1,'SVF::GenericGraph::NodeType()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#aec39caaa600f638af5e5fa57ae0b6706',1,'llvm::GraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::NodeType()'],['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab7627f7ad0d6ea6dbe89132031ef732c',1,'llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::NodeType()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#af8a1cf62dc7ed9d8da15e6e92e3a433c',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a73928161c8b1427e8150ca68ec48160e',1,'llvm::DOTGraphTraits< CHGraph * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ac3889bd563cdc21a55df0524df2ae4da',1,'llvm::DOTGraphTraits< ConstraintGraph * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a7ef3894da60c3e3350b8d2de3e94a562',1,'llvm::DOTGraphTraits< ICFG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#ad6174f74f7a037a7ffd13df41c5f50f7',1,'llvm::DOTGraphTraits< IRGraph * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#a4de1b76db4f60446aa2db97535fff54f',1,'llvm::DOTGraphTraits< OfflineConsG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#ad08b2b59081251fcf467fa992c83986c',1,'llvm::DOTGraphTraits< PTACallGraph * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a07ad41a658bfc0a404a5f6abc823040b',1,'llvm::DOTGraphTraits< SVFG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#afd7d2c80916a68b53814e6de593bf520',1,'llvm::DOTGraphTraits< VFG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a86caa5eb1467eea028ea13aac175f949',1,'llvm::DOTGraphTraits< TCT * >::NodeType()']]],
   ['nodevector',['NodeVector',['../namespaceSVF.html#a39d27055a14d9d6363c668ee215a4676',1,'SVF']]],
   ['nonconstsimpletype',['NonConstSimpleType',['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#aadddb18b44c9744dcc639a3de603151d',1,'SVF::SVFUtil::simplify_type< const From >']]],
   ['nullptrsvfgnode',['NullPtrSVFGNode',['../namespaceSVF.html#aeccd0bd024319173c1cda5ff1a79c5ae',1,'SVF']]],

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

@@ -3,6 +3,7 @@ var searchData=
   ['objtoversionmap',['ObjToVersionMap',['../classSVF_1_1VersionedFlowSensitive.html#af9a43f48b7d99cc6694f3ae3248fd8e0',1,'SVF::VersionedFlowSensitive']]],
   ['opcache',['OpCache',['../classSVF_1_1PersistentPointsToCache.html#a896bab5039f4bf2d0da71045e2c63ad7',1,'SVF::PersistentPointsToCache']]],
   ['opincomingbbs',['OPIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80',1,'SVF::IntraPHIVFGNode']]],
+  ['opvars',['OPVars',['../classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007',1,'SVF::MultiOpndStmt']]],
   ['opvers',['OPVers',['../classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb',1,'SVF::MSSAPHISVFGNode::OPVers()'],['../classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22',1,'SVF::CmpVFGNode::OPVers()'],['../classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990',1,'SVF::BinaryOPVFGNode::OPVers()'],['../classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41',1,'SVF::UnaryOPVFGNode::OPVers()'],['../classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c',1,'SVF::PHIVFGNode::OPVers()'],['../classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba',1,'SVF::MSSAPHI::OPVers()']]],
   ['orderedmap',['OrderedMap',['../namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6',1,'SVF']]],
   ['orderednodeset',['OrderedNodeSet',['../namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8',1,'SVF']]],

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

@@ -1,7 +1,6 @@
 var searchData=
 [
   ['pag',['PAG',['../namespaceSVF.html#ac47d39fb505e8ed8d2c6b6b318be5f4d',1,'SVF']]],
-  ['pagbuilder',['PAGBuilder',['../namespaceSVF.html#a27e8f5a940b51ef9e4e8c291099e37b6',1,'SVF']]],
   ['pagedge',['PAGEdge',['../namespaceSVF.html#ae6ead95a66f69e1e4cfa1159f868a152',1,'SVF']]],
   ['pagedgelist',['PAGEdgeList',['../classSVF_1_1ICFGNode.html#a28d8761acb346956fafbaf98394de1b6',1,'SVF::ICFGNode::PAGEdgeList()'],['../classSVF_1_1SVFIR.html#a896b591a710148fad7705a0d88652976',1,'SVF::SVFIR::PAGEdgeList()'],['../classSVF_1_1MRGenerator.html#aad6c5bb3abf7449b36b2ec51c4f35f6c',1,'SVF::MRGenerator::PAGEdgeList()'],['../classSVF_1_1MemSSA.html#a45f8ece590b091bd5ebf87f820f28f44',1,'SVF::MemSSA::PAGEdgeList()']]],
   ['pagedgeset',['PAGEdgeSet',['../classSVF_1_1IRGraph.html#ae9547730a27575194977b240647e8ce2',1,'SVF::IRGraph::PAGEdgeSet()'],['../classSVF_1_1VFG.html#aa22b76d96c028055cb0cc14d7dd0ed2e',1,'SVF::VFG::PAGEdgeSet()']]],
@@ -16,6 +15,7 @@ var searchData=
   ['pagnodetoactualparmmapty',['PAGNodeToActualParmMapTy',['../classSVF_1_1VFG.html#abec730a1ec61532cd164f3d42aa107b0',1,'SVF::VFG']]],
   ['pagnodetoactualretmapty',['PAGNodeToActualRetMapTy',['../classSVF_1_1VFG.html#a999654aa377639db5c1e40f603e655a7',1,'SVF::VFG']]],
   ['pagnodetobinaryopvfgnodemapty',['PAGNodeToBinaryOPVFGNodeMapTy',['../classSVF_1_1VFG.html#a7cefa553955e208d6eb4fcd01ed3c383',1,'SVF::VFG']]],
+  ['pagnodetobranchvfgnodemapty',['PAGNodeToBranchVFGNodeMapTy',['../classSVF_1_1VFG.html#a6ec1a8b02ece25aa165699e10fac7991',1,'SVF::VFG']]],
   ['pagnodetocmpvfgnodemapty',['PAGNodeToCmpVFGNodeMapTy',['../classSVF_1_1VFG.html#a9c2446f54d3738b6c0e65632a1200ba0',1,'SVF::VFG']]],
   ['pagnodetodefmapty',['PAGNodeToDefMapTy',['../classSVF_1_1SVFG.html#a2590182f3b28c7fc8b2b53c09ec4305c',1,'SVF::SVFG::PAGNodeToDefMapTy()'],['../classSVF_1_1VFG.html#ab9381c54f2339b3738348ae8b0d6659f',1,'SVF::VFG::PAGNodeToDefMapTy()']]],
   ['pagnodetoformalparmmapty',['PAGNodeToFormalParmMapTy',['../classSVF_1_1VFG.html#a6eb72d2fe080def018d09604fe3affcf',1,'SVF::VFG']]],
@@ -33,7 +33,7 @@ var searchData=
   ['persversionedptdataty',['PersVersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ae028ae29bdc799f35777b82a39faf5e8',1,'SVF::BVDataPTAImpl']]],
   ['phi',['PHI',['../classSVF_1_1MemSSA.html#a8e948ea7778158107657fdd8195530e1',1,'SVF::MemSSA']]],
   ['phinode',['PHINode',['../namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674',1,'SVF']]],
-  ['phinodemap',['PHINodeMap',['../classSVF_1_1SVFIR.html#ac0a3d6c77fb8f170f5661decdd7a6d43',1,'SVF::SVFIR']]],
+  ['phinodemap',['PHINodeMap',['../classSVF_1_1SVFIR.html#a93148e8b0e21d2b920f53d46493c1f58',1,'SVF::SVFIR']]],
   ['phiset',['PHISet',['../classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05',1,'SVF::SVFG::PHISet()'],['../classSVF_1_1MemSSA.html#a8a5d3597f3dba9744e170cc8c32bf25f',1,'SVF::MemSSA::PHISet()']]],
   ['phisvfgnode',['PHISVFGNode',['../namespaceSVF.html#a71d4e214e049f02bf26537cba6328673',1,'SVF']]],
   ['pointer',['pointer',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aff5a4ee71f88ab9b0e1851d6e41e294f',1,'SVF::PointsTo::PointsToIterator::pointer()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6d8d22b1c8b4405a8e3caddacae6f8f5',1,'SVF::CoreBitVector::CoreBitVectorIterator::pointer()']]],

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

@@ -53,7 +53,6 @@ var searchData=
   ['annotationtime',['AnnotationTime',['../classSVF_1_1MTAStat.html#a51e1ba35f81d89e210a937942f516839',1,'SVF::MTAStat']]],
   ['apnodes',['APNodes',['../classSVF_1_1CallBlockNode.html#adf65fcbc277c4c7a259cc015aa9b3f32',1,'SVF::CallBlockNode']]],
   ['arcviolation',['arcviolation',['../structDdManager.html#aa0b71843baf33ac9815c7bddeb327aa6',1,'DdManager']]],
-  ['argnodes',['argNodes',['../classSVF_1_1ExternalPAG.html#ae8d9064d781ed859cba85b99a69070ac',1,'SVF::ExternalPAG']]],
   ['atend',['atEnd',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
   ['atptdata',['atPTData',['../classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439',1,'SVF::MutableVersionedPTData::atPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473',1,'SVF::PersistentVersionedPTData::atPTData()']]],
   ['autodyn',['autoDyn',['../structDdManager.html#a9136059080410a9d0b71fc63183a7879',1,'DdManager']]],

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

@@ -11,6 +11,7 @@ var searchData=
   ['pagnodetoactualparmmap',['PAGNodeToActualParmMap',['../classSVF_1_1VFG.html#a8b256a40e690f31b7a56308d55bad45a',1,'SVF::VFG']]],
   ['pagnodetoactualretmap',['PAGNodeToActualRetMap',['../classSVF_1_1VFG.html#a28c5f7e331a437e09682b972769acf66',1,'SVF::VFG']]],
   ['pagnodetobinaryopvfgnodemap',['PAGNodeToBinaryOPVFGNodeMap',['../classSVF_1_1VFG.html#a0f554fd778b338cbd7e4272eaefc96f6',1,'SVF::VFG']]],
+  ['pagnodetobranchvfgnodemap',['PAGNodeToBranchVFGNodeMap',['../classSVF_1_1VFG.html#af8c8d0eb778a2a94a33c0b97ee3704c1',1,'SVF::VFG']]],
   ['pagnodetocmpvfgnodemap',['PAGNodeToCmpVFGNodeMap',['../classSVF_1_1VFG.html#a9a16c7a7b0df273c1dcbe6ba3aef8fde',1,'SVF::VFG']]],
   ['pagnodetodefmap',['PAGNodeToDefMap',['../classSVF_1_1VFG.html#ac89b3917ed73ac70aac6205af8f7a4fe',1,'SVF::VFG']]],
   ['pagnodetoformalparmmap',['PAGNodeToFormalParmMap',['../classSVF_1_1VFG.html#ad014bc47ceba578c368da19e2d86b8f8',1,'SVF::VFG']]],
@@ -100,7 +101,7 @@ var searchData=
   ['ptsto',['ptsTo',['../classSVF_1_1IRAnnotator.html#afd8770eee0c14386c407cae026ce87b5',1,'SVF::IRAnnotator']]],
   ['ptstoid',['ptsToId',['../classSVF_1_1PersistentPointsToCache.html#a6a3b33721ae00efd2fdf2d71f3298e1c',1,'SVF::PersistentPointsToCache']]],
   ['pttype',['PtType',['../classSVF_1_1Options.html#abc02c7dc5e6cb3613856e0f774c6d304',1,'SVF::Options']]],
-  ['purevirtualfunname',['pureVirtualFunName',['../CHG_8cpp.html#a5b49460faf973332d3cbfc561c994c6c',1,'CHG.cpp']]],
+  ['purevirtualfunname',['pureVirtualFunName',['../CHGBuilder_8cpp.html#a5b49460faf973332d3cbfc561c994c6c',1,'CHGBuilder.cpp']]],
   ['pwcopt',['pwcOpt',['../classSVF_1_1Andersen.html#ab90350dc4788d8e282404bd7944dd263',1,'SVF::Andersen']]],
   ['pwcreps',['pwcReps',['../classSVF_1_1AndersenSCD.html#ac4bf67d35b56f010aeedb59777a83f0e',1,'SVF::AndersenSCD']]]
 ];

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

@@ -36,7 +36,6 @@ var searchData=
   ['resver',['resVer',['../classSVF_1_1IntraMSSAPHISVFGNode.html#a84832f678de1f497b4f3d7720a0bc58a',1,'SVF::IntraMSSAPHISVFGNode::resVer()'],['../classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813',1,'SVF::MSSADEF::resVer()']]],
   ['ret',['ret',['../classSVF_1_1CallBlockNode.html#a3d0f509f08dd017efecc949f0a98e1af',1,'SVF::CallBlockNode']]],
   ['retpes',['retPEs',['../classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157',1,'SVF::FormalRetVFGNode']]],
-  ['returnnode',['returnNode',['../classSVF_1_1ExternalPAG.html#a72d638670931f9984cea132f38cdce5a',1,'SVF::ExternalPAG']]],
   ['returnsymmap',['returnSymMap',['../classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681',1,'SVF::SymbolTableInfo']]],
   ['rev',['rev',['../classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219',1,'SVF::PTData']]],
   ['reversenodemapping',['reverseNodeMapping',['../classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1',1,'SVF::PointsTo']]],

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

@@ -72,6 +72,7 @@ var searchData=
   ['structname',['structName',['../CPPUtil_8cpp.html#a4f0d10054cce04a0f4dec52a337cdf3c',1,'CPPUtil.cpp']]],
   ['subtables',['subtables',['../structDdManager.html#a835661f21be3f5d8944d76e22995be1f',1,'DdManager']]],
   ['subtablez',['subtableZ',['../structDdManager.html#a7e75a8f45ea61dd45c34b114a0f22a34',1,'DdManager']]],
+  ['successors',['successors',['../classSVF_1_1BranchStmt.html#ad3c41e137cb0dc3ef10cbc6c0f8d475f',1,'SVF::BranchStmt']]],
   ['succset',['succset',['../classSVF_1_1MTASVFGBuilder.html#ac909a7aa7de6cda8d2a89a9c7d2f4262',1,'SVF::MTASVFGBuilder']]],
   ['svfg',['svfg',['../classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef',1,'SVF::SVFGBuilder::svfg()'],['../classSVF_1_1ProgSlice.html#a457a759c552a1418538769d79d7a7dde',1,'SVF::ProgSlice::svfg()'],['../classSVF_1_1SrcSnkDDA.html#ae657ebdeae8a083cfec210859a0023e4',1,'SVF::SrcSnkDDA::svfg()'],['../classSVF_1_1FlowSensitive.html#aae032e5f5d53b131d0112dc8faa464a9',1,'SVF::FlowSensitive::svfg()']]],
   ['svfgbuilder',['svfgBuilder',['../classSVF_1_1DDAVFSolver.html#a0d563fe8b016b27a58f5b054fec9c38a',1,'SVF::DDAVFSolver']]],
@@ -83,7 +84,7 @@ var searchData=
   ['svfgwithindcall',['SVFGWithIndCall',['../classSVF_1_1SVFGBuilder.html#a70de38086437635d2e44d2a0c9fdded9',1,'SVF::SVFGBuilder']]],
   ['svfgwithindirectcall',['SVFGWithIndirectCall',['../classSVF_1_1Options.html#a982b4cd71ccafd07d94f10a0a2e953c2',1,'SVF::Options']]],
   ['svfmain',['SVFMain',['../classSVF_1_1Options.html#a868fa5069b01b7a7dfbc5fb99cb76385',1,'SVF::Options']]],
-  ['svfmod',['svfMod',['../classSVF_1_1PointerAnalysis.html#a7e8b3f6843e5ea75fd189162d2cd60a5',1,'SVF::PointerAnalysis::svfMod()'],['../classSVF_1_1CHGraph.html#a62a3ccdbc55381d5f8d96dc23141f2e5',1,'SVF::CHGraph::svfMod()'],['../classSVF_1_1SVFIRBuilder.html#aa67bbd366b93fb1ec7a540c83566c977',1,'SVF::SVFIRBuilder::svfMod()']]],
+  ['svfmod',['svfMod',['../classSVF_1_1CHGraph.html#a62a3ccdbc55381d5f8d96dc23141f2e5',1,'SVF::CHGraph::svfMod()'],['../classSVF_1_1PointerAnalysis.html#a7e8b3f6843e5ea75fd189162d2cd60a5',1,'SVF::PointerAnalysis::svfMod()'],['../classSVF_1_1SVFIRBuilder.html#aa67bbd366b93fb1ec7a540c83566c977',1,'SVF::SVFIRBuilder::svfMod()']]],
   ['svfmodule',['svfModule',['../classSVF_1_1DCHGraph.html#a85a3c9a6a60a4379717773f8722ae42e',1,'SVF::DCHGraph::svfModule()'],['../classSVF_1_1LLVMModuleSet.html#a43832e93a42ae43d44b0cc160981678f',1,'SVF::LLVMModuleSet::svfModule()']]],
   ['symid',['symId',['../classSVF_1_1MemObj.html#a37f4e34b7f7dd6bfd4379cf3552e9046',1,'SVF::MemObj']]],
   ['syminfo',['symInfo',['../classSVF_1_1IRGraph.html#a679145e7bf818b0a19005dc8e2845fe1',1,'SVF::IRGraph::symInfo()'],['../classSVF_1_1SymbolTableInfo.html#a4fbb8ea4b4796d10d13c027b7455505c',1,'SVF::SymbolTableInfo::symInfo()'],['../classSVF_1_1SymbolTableBuilder.html#a3100246d9b0a58e53f2dbc8acf231afb',1,'SVF::SymbolTableBuilder::symInfo()']]],

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

@@ -32,7 +32,7 @@ var searchData=
   ['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_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()'],['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()']]],
+  ['timeofssarenaming',['TimeOfSSARenaming',['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()'],['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::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,7 +1,6 @@
 var searchData=
 [
   ['ub',['ub',['../structDdGen.html#ae51bc3e1c4430dd5b62f280e0e964512',1,'DdGen']]],
-  ['unarynodemap',['unaryNodeMap',['../classSVF_1_1SVFIR.html#a6e51761a67856bf9749267742101d33a',1,'SVF::SVFIR']]],
   ['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']]],
@@ -9,7 +8,7 @@ var searchData=
   ['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_16.js

@@ -3,8 +3,8 @@ var searchData=
   ['validatetests',['ValidateTests',['../classSVF_1_1Options.html#aec491143ded97649da1ed61b8fda796c',1,'SVF::Options']]],
   ['valsymmap',['valSymMap',['../classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08',1,'SVF::SymbolTableInfo']]],
   ['value',['value',['../structDdNode.html#a4daed26b440c68f410d46eb180a55abb',1,'DdNode::value()'],['../structDdGen.html#ace0cb69e960420e07582b760bb7a648b',1,'DdGen::value()'],['../structDdLocalCacheItem.html#a6b2c56e824fa116168915e1391e467d1',1,'DdLocalCacheItem::value()'],['../structDdHashItem.html#a79c808ed42f415d140c3f1684ec8ae0e',1,'DdHashItem::value()'],['../unionEpTypeUnion.html#ac0adcfc8125e941c974a96530221d200',1,'EpTypeUnion::value()'],['../classSVF_1_1SVFStmt.html#a6a689f62af301bd6ac09d7019aba1c17',1,'SVF::SVFStmt::value()'],['../classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea',1,'SVF::SVFVar::value()'],['../structSVF_1_1SVFUtil_1_1is__simple__type.html#a700d43a1b318fb30fa9472da323cb34f',1,'SVF::SVFUtil::is_simple_type::value()'],['../classSVF_1_1SVFValue.html#ae0c3918bbf8338efd8e6c00c51d9d9d2',1,'SVF::SVFValue::value()'],['../unionhack.html#a57925aea3fe6bc712a7d34f05e3c31f4',1,'hack::value()']]],
-  ['valuenodes',['valueNodes',['../classSVF_1_1ExternalPAG.html#a4776a673e53d7b0bdd17f29a608a5620',1,'SVF::ExternalPAG']]],
   ['valuetoedgemap',['valueToEdgeMap',['../classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704',1,'SVF::IRGraph']]],
+  ['var2labelmap',['var2LabelMap',['../classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007',1,'SVF::SVFStmt']]],
   ['varargsymmap',['varargSymMap',['../classSVF_1_1SymbolTableInfo.html#a94c06e5ac0b50989743a9e63c9a6d5b9',1,'SVF::SymbolTableInfo']]],
   ['varhandled',['varHandled',['../structDdSubtable.html#a2f1c152de785a48b24c773724fd6f564',1,'DdSubtable']]],
   ['varkills',['varKills',['../classSVF_1_1MemSSA.html#ae64f97a984765a43f05df26b57a43a43',1,'SVF::MemSSA']]],

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

@@ -4,5 +4,5 @@ var searchData=
   ['zddtotalnumberlineartr',['zddTotalNumberLinearTr',['../cuddInt_8c.html#a25713645ba5f7c6f0d1970812d002c77',1,'cuddInt.c']]],
   ['zddtotalnumberswapping',['zddTotalNumberSwapping',['../cuddInt_8c.html#ab8b03940fac775015e5f354cc5d3037f',1,'cuddInt.c']]],
   ['zero',['zero',['../structDdManager.html#acad9c199ad43af1a2c837ef5be30d01d',1,'DdManager::zero()'],['../cuddInt_8c.html#ad9d1aaa6ee837cb65ffcf74932161586',1,'zero(): cuddInt.c']]],
-  ['ztilabel',['ztiLabel',['../CHG_8cpp.html#a4ecb39b2fb5510fb20341373b7ad5450',1,'CHG.cpp']]]
+  ['ztilabel',['ztiLabel',['../CHGBuilder_8cpp.html#a4ecb39b2fb5510fb20341373b7ad5450',1,'CHGBuilder.cpp']]]
 ];

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

@@ -11,7 +11,6 @@ var searchData=
   ['bbconds',['bbConds',['../classSVF_1_1PathCondAllocator.html#aff611b2797d61155c8c2f9d8ac4030bc',1,'SVF::PathCondAllocator']]],
   ['bbtocondmap',['bbToCondMap',['../classSVF_1_1PathCondAllocator.html#ac3a0aa27f317d7d9214181b599f19f24',1,'SVF::PathCondAllocator']]],
   ['bestcandidate',['BestCandidate',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3556bdda6725b72d0ca88364daeae32e',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['binarynodemap',['binaryNodeMap',['../classSVF_1_1SVFIR.html#a5ea6cfb0656b6a60d853a82b5ba99f5c',1,'SVF::SVFIR']]],
   ['bindvar',['bindVar',['../structDdSubtable.html#a54a4f8f090e30084c77362e5de3ee591',1,'DdSubtable']]],
   ['bins',['bins',['../structst__table.html#a8924d9633a796c5e6c03925c5344c1ad',1,'st_table']]],
   ['bit',['bit',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a853b685cf022839c183df46f1cafe638',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
@@ -23,6 +22,8 @@ var searchData=
   ['branchcondtocondexpr',['branchCondToCondExpr',['../classSVF_1_1CondManager.html#afd01891f45e085e990c9dbba5cbf3914',1,'SVF::CondManager']]],
   ['brcondition',['brCondition',['../classSVF_1_1IntraCFGEdge.html#a1948630208ff0a67f28913ca928ba9b4',1,'SVF::IntraCFGEdge']]],
   ['briefconscgdotgraph',['BriefConsCGDotGraph',['../classSVF_1_1Options.html#a82370c2b8c9cd62b5767ceeaeeaa7177',1,'SVF::Options']]],
+  ['brinst',['brInst',['../classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a',1,'SVF::BranchStmt']]],
+  ['brstmt',['brstmt',['../classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10',1,'SVF::BranchVFGNode']]],
   ['bucket',['bucket',['../structDdHashTable.html#a14e9b750bdad0f77294dd8e18f18d32c',1,'DdHashTable']]],
   ['buckets',['buckets',['../structDdLevelQueue.html#a10750bfd3e96d25ce4d69eb476b64e9f',1,'DdLevelQueue']]],
   ['buildingchgtime',['buildingCHGTime',['../classSVF_1_1CHGraph.html#ab5bd2348e4418fcb2f3b18227fccd836',1,'SVF::CHGraph']]],

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

@@ -49,6 +49,7 @@ var searchData=
   ['cfinfobuilder',['cfInfoBuilder',['../classSVF_1_1PathCondAllocator.html#a4949fb25fe4cd461de8aec90756b1fea',1,'SVF::PathCondAllocator']]],
   ['chaffmap',['chaFFMap',['../classSVF_1_1DCHGraph.html#abe8d313b501182ab62f2276a19d670a4',1,'SVF::DCHGraph']]],
   ['chamap',['chaMap',['../classSVF_1_1DCHGraph.html#ac0d5f1e10f642aac5b64792bf5fcbd9d',1,'SVF::DCHGraph']]],
+  ['chg',['chg',['../classSVF_1_1CHGBuilder.html#ab3471cc9afba5976c7e5fbd07dfb22dc',1,'SVF::CHGBuilder']]],
   ['chgraph',['chgraph',['../classSVF_1_1PointerAnalysis.html#a251638a947815a8ff91a507486cadfcd',1,'SVF::PointerAnalysis']]],
   ['child',['child',['../structMtrNode.html#aa5cced262e32e3b5c0f01277dbad6db0',1,'MtrNode']]],
   ['cilocktospan',['ciLocktoSpan',['../classSVF_1_1LockAnalysis.html#afc4212873c3e05ac9506aac0a25f515a',1,'SVF::LockAnalysis']]],
@@ -66,14 +67,13 @@ var searchData=
   ['clusterander',['ClusterAnder',['../classSVF_1_1Options.html#a8459d43a21bcf8a50fc55d14fcf5a81e',1,'SVF::Options']]],
   ['clusterfs',['ClusterFs',['../classSVF_1_1Options.html#a9dc372635fc6f5ea2d902fc5c49fca8a',1,'SVF::Options']]],
   ['clustermethod',['ClusterMethod',['../classSVF_1_1Options.html#a8e0538a7f2e3c5bece69bc69f7074819',1,'SVF::Options']]],
-  ['cmpnodemap',['cmpNodeMap',['../classSVF_1_1SVFIR.html#ac59e0cbd000c33430bd83b4978c777a3',1,'SVF::SVFIR']]],
   ['cnext',['cnext',['../structDdQueueItem.html#a5500eae904c7432f4e08452c93c501fa',1,'DdQueueItem']]],
   ['collapsetime',['CollapseTime',['../classSVF_1_1AndersenStat.html#a3f5739454b1f4e03b4388a4ba5730e15',1,'SVF::AndersenStat']]],
   ['compare',['compare',['../structst__table.html#a7c3c545f36a953ff2d8668c394f4fcb5',1,'st_table']]],
   ['complementcache',['complementCache',['../classSVF_1_1PersistentPointsToCache.html#adef498f8a0d4c75023382e6312a85a58',1,'SVF::PersistentPointsToCache']]],
   ['computed',['computed',['../cuddInt_8c.html#a40cfa3fddea607393205b428c33f032a',1,'cuddInt.c']]],
   ['concretecxt',['concreteCxt',['../classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb',1,'SVF::ContextCond']]],
-  ['cond',['cond',['../classSVF_1_1MSSAMU.html#a8e828af79da08528166b1f53165bc5b2',1,'SVF::MSSAMU::cond()'],['../classSVF_1_1MSSACHI.html#addeee3fb0c5e6b1c68c30da111c26759',1,'SVF::MSSACHI::cond()'],['../classSVF_1_1MSSAPHI.html#a348e69bf48ee7a959cd0bb117ba1dc9f',1,'SVF::MSSAPHI::cond()']]],
+  ['cond',['cond',['../classSVF_1_1BranchStmt.html#adcf5cabe6e0a87cded5ef1fdf7273f3f',1,'SVF::BranchStmt::cond()'],['../classSVF_1_1MSSAMU.html#a8e828af79da08528166b1f53165bc5b2',1,'SVF::MSSAMU::cond()'],['../classSVF_1_1MSSACHI.html#addeee3fb0c5e6b1c68c30da111c26759',1,'SVF::MSSACHI::cond()'],['../classSVF_1_1MSSAPHI.html#a348e69bf48ee7a959cd0bb117ba1dc9f',1,'SVF::MSSAPHI::cond()']]],
   ['condexprk',['condExprK',['../classSVF_1_1CondExpr.html#aa7cbd249e276b768b22677f5efd83dd1',1,'SVF::CondExpr']]],
   ['condmgr',['condMgr',['../classSVF_1_1PathCondAllocator.html#aacf96d4b7154f6c2dc12ab9e19702fcd',1,'SVF::PathCondAllocator::condMgr()'],['../classSVF_1_1CondManager.html#a1e48008a3fe3a562512e253133aa557f',1,'SVF::CondManager::condMgr()']]],
   ['condtoinstmap',['condToInstMap',['../classSVF_1_1CondManager.html#ab986c3f6281995e302dabe4776768329',1,'SVF::CondManager']]],

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

@@ -50,7 +50,6 @@ var searchData=
   ['dumpfree',['DumpFree',['../classSVF_1_1Options.html#a2ef679d4177438655577e7fef7c0cc90',1,'SVF::Options']]],
   ['dumpicfg',['DumpICFG',['../classSVF_1_1Options.html#aea29a835c54fab800117e57de00e0b1e',1,'SVF::Options']]],
   ['dumpmssa',['DumpMSSA',['../classSVF_1_1Options.html#a097255cb1373feaaaf2fe60c998862d5',1,'SVF::Options']]],
-  ['dumppagfunctions',['DumpPAGFunctions',['../ExternalPAG_8h.html#acbba9510c89f3a87e7043cf6327ae7cb',1,'ExternalPAG.h']]],
   ['dumpslice',['DumpSlice',['../classSVF_1_1Options.html#ace1f2368a0a466f98c9e53def47db3ab',1,'SVF::Options']]],
   ['dumpsupts',['DumpSUPts',['../classSVF_1_1Options.html#ac2e5aab778f266c5de58cb6eb1939095',1,'SVF::Options']]],
   ['dumpsustore',['DumpSUStore',['../classSVF_1_1Options.html#aa24f52782c835452daf82138d0d69412',1,'SVF::Options']]],

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

@@ -8,7 +8,7 @@ var searchData=
   ['edgekindmask',['EdgeKindMask',['../classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9',1,'SVF::GenericEdge']]],
   ['edgekindmaskbits',['EdgeKindMaskBits',['../classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298',1,'SVF::GenericEdge']]],
   ['edgenum',['edgeNum',['../classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c',1,'SVF::GenericGraph']]],
-  ['edges',['edges',['../classSVF_1_1ExternalPAG.html#a6b937c69282317ddf07bdcaaf9c560d4',1,'SVF::ExternalPAG::edges()'],['../classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0',1,'SVF::VFPathCond::edges()']]],
+  ['edges',['edges',['../classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0',1,'SVF::VFPathCond']]],
   ['edgetype',['edgeType',['../classSVF_1_1CHEdge.html#a58ac14decda4041e773d723475f5c1c8',1,'SVF::CHEdge']]],
   ['ei_5fpairs',['ei_pairs',['../SaberCheckerAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1',1,'ei_pairs(): SaberCheckerAPI.cpp'],['../ExtAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1',1,'ei_pairs(): ExtAPI.cpp'],['../ThreadAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1',1,'ei_pairs(): ThreadAPI.cpp']]],
   ['elder',['elder',['../structMtrNode.html#a7c8ed9787ec60487fad7b2fede53df98',1,'MtrNode']]],

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

@@ -14,7 +14,7 @@ var searchData=
   ['firstfieldeqbase',['FirstFieldEqBase',['../classSVF_1_1Options.html#a8dc477d83a142a62b63207f6f240f224',1,'SVF::Options']]],
   ['fja',['fja',['../classSVF_1_1MHP.html#a98857a1837cef5519c938d07bb771a60',1,'SVF::MHP']]],
   ['fkjntoptascevmap',['fkjnToPTASCEVMap',['../classSVF_1_1ForkJoinAnalysis.html#a4207948054a0f98560922f3f07ada10f',1,'SVF::ForkJoinAnalysis']]],
-  ['flags',['flags',['../structMove.html#a279868fb9de35a14b9b4a066487a5e68',1,'Move::flags()'],['../structMtrNode.html#a729ce47dfa70a8e041a89d478c6565f5',1,'MtrNode::flags()'],['../classSVF_1_1ObjTypeInfo.html#ada56eaa1f91bf260b7b521adabc607fe',1,'SVF::ObjTypeInfo::flags()'],['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#aafb0a0cd068e1632f0d643233cad8ad9',1,'SVF::RaceResultValidator::AccessPair::flags()'],['../classSVF_1_1CHNode.html#a6844c89f715979709dc52d4854373e72',1,'SVF::CHNode::flags()'],['../classSVF_1_1DCHNode.html#a0b2c21429fd28c50965737a0baa2e90b',1,'SVF::DCHNode::flags()']]],
+  ['flags',['flags',['../structMove.html#a279868fb9de35a14b9b4a066487a5e68',1,'Move::flags()'],['../structMtrNode.html#a729ce47dfa70a8e041a89d478c6565f5',1,'MtrNode::flags()'],['../classSVF_1_1CHNode.html#a6844c89f715979709dc52d4854373e72',1,'SVF::CHNode::flags()'],['../classSVF_1_1ObjTypeInfo.html#ada56eaa1f91bf260b7b521adabc607fe',1,'SVF::ObjTypeInfo::flags()'],['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#aafb0a0cd068e1632f0d643233cad8ad9',1,'SVF::RaceResultValidator::AccessPair::flags()'],['../classSVF_1_1DCHNode.html#a0b2c21429fd28c50965737a0baa2e90b',1,'SVF::DCHNode::flags()']]],
   ['fldidx',['fldIdx',['../classSVF_1_1FieldInfo.html#a153c0796c619ff5b7c84c6c742851a7a',1,'SVF::FieldInfo::fldIdx()'],['../classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b',1,'SVF::LocationSet::fldIdx()']]],
   ['fldidx2typemap',['fldIdx2TypeMap',['../classSVF_1_1StInfo.html#a08e0988d4cc980a1bfe8d8af5fdafbb4',1,'SVF::StInfo']]],
   ['fldidxvec',['fldIdxVec',['../classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe',1,'SVF::StInfo']]],
@@ -42,10 +42,7 @@ var searchData=
   ['func2scevmap',['func2ScevMap',['../classSVF_1_1MTA.html#a7a879943a817d0283971b5588cfa83d5',1,'SVF::MTA']]],
   ['funcname',['funcName',['../structSVF_1_1cppUtil_1_1DemangledName.html#a1dd17b240663bc9412adefde82385e02',1,'SVF::cppUtil::DemangledName']]],
   ['funcpointerprint',['FuncPointerPrint',['../classSVF_1_1Options.html#a14ceeb5d7de81a0946389159986e4955',1,'SVF::Options']]],
-  ['functionname',['functionName',['../classSVF_1_1ExternalPAG.html#a3afc6af562a7900d682394acc64d5890',1,'SVF::ExternalPAG']]],
   ['functionset',['FunctionSet',['../classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e',1,'SVF::SVFModule']]],
-  ['functiontoexternalpagentries',['functionToExternalPAGEntries',['../classSVF_1_1ExternalPAG.html#a851dbb85d0b80c3942398732ba900e41',1,'SVF::ExternalPAG']]],
-  ['functiontoexternalpagreturns',['functionToExternalPAGReturns',['../classSVF_1_1ExternalPAG.html#aa478936bbf34d5cc23c6322a61a6885e',1,'SVF::ExternalPAG']]],
   ['functointermap',['funcToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ac3873b9ae1339e8d502e85c217638078',1,'SVF::IntraDisjointMRG']]],
   ['functoptsmap',['funcToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a4b05180c942c1d049e70f8050f4186f6',1,'SVF::IntraDisjointMRG']]],
   ['fundecltodefmap',['FunDeclToDefMap',['../classSVF_1_1LLVMModuleSet.html#aee80b29e5246e3eaa0e30e165346101f',1,'SVF::LLVMModuleSet']]],

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

@@ -3,7 +3,6 @@ var searchData=
   ['h',['h',['../structDdCache.html#adcf343a00c090b91bb78b105ac51e4be',1,'DdCache']]],
   ['handblackhole',['HandBlackHole',['../classSVF_1_1Options.html#ad2d3db3e407a53956a5a59cc24eb8d40',1,'SVF::Options']]],
   ['hash',['hash',['../structst__table.html#a70df318ebef482661599de3bcc536cc3',1,'st_table']]],
-  ['hasreturn',['hasReturn',['../classSVF_1_1ExternalPAG.html#a10963e35a9e28ba2c5d2781a71a2c8bf',1,'SVF::ExternalPAG']]],
   ['hbpair',['HBPair',['../classSVF_1_1ForkJoinAnalysis.html#aad3e722ecaa4a39aef0e1cabfa2b8019',1,'SVF::ForkJoinAnalysis']]],
   ['hcdandersen',['hcdAndersen',['../classSVF_1_1AndersenHCD.html#a2356a7f8215725d2ee035630b1487b05',1,'SVF::AndersenHCD']]],
   ['head',['head',['../classSVF_1_1List.html#a41d52072edb2b75ab15d67bf2663312a',1,'SVF::List']]],

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

@@ -10,5 +10,5 @@ var searchData=
   ['keysize',['keysize',['../structDdLocalCache.html#ae19bf1b91307141a9cf0c2e43dadb033',1,'DdLocalCache::keysize()'],['../structDdHashTable.html#a1fad0c272a6a1f5b9100cec4a0f88016',1,'DdHashTable::keysize()']]],
   ['keysz',['keysZ',['../structDdManager.html#a84e69eadfd3165e15ccfd21c6821131d',1,'DdManager']]],
   ['kids',['kids',['../structDdNode.html#a4e99abf685381a90dcd5e9aa6a024791',1,'DdNode']]],
-  ['kind',['kind',['../classSVF_1_1PTACallGraph.html#a6a5927a58cc777a0745bd0ca635f25b1',1,'SVF::PTACallGraph::kind()'],['../classSVF_1_1VFG.html#a3867c591a231bad0aa2e6ab7c095a42f',1,'SVF::VFG::kind()'],['../classSVF_1_1CommonCHGraph.html#a4d3f2b9ed7ae8e87baf69525e9115071',1,'SVF::CommonCHGraph::kind()'],['../classSVF_1_1SVFValue.html#af9f71a3c0d055f5fed6831a6ecf40d67',1,'SVF::SVFValue::kind()']]]
+  ['kind',['kind',['../classSVF_1_1CommonCHGraph.html#a4d3f2b9ed7ae8e87baf69525e9115071',1,'SVF::CommonCHGraph::kind()'],['../classSVF_1_1PTACallGraph.html#a6a5927a58cc777a0745bd0ca635f25b1',1,'SVF::PTACallGraph::kind()'],['../classSVF_1_1VFG.html#a3867c591a231bad0aa2e6ab7c095a42f',1,'SVF::VFG::kind()'],['../classSVF_1_1SVFValue.html#af9f71a3c0d055f5fed6831a6ecf40d67',1,'SVF::SVFValue::kind()']]]
 ];