svf-tools 1.0.302 → 1.0.306

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

@@ -8,7 +8,7 @@ var indexSectionsWithContent =
   5: "_abcdefghijklmnopqrstuvwxyz",
   6: "abcdefghijklmnoprstuvw",
   7: "acdehilmprstv",
-  8: "abcdefghilmnoprstuv",
+  8: "abcdefghilmnoprstuvw",
   9: "dflmoprstv",
   10: "abcdefhjklmnprstuvwz"
 };

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

@@ -12,11 +12,12 @@ var searchData=
   ['vastartinst',['VAStartInst',['../namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc',1,'SVF']]],
   ['vectortype',['VectorType',['../namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418',1,'SVF']]],
   ['version',['Version',['../namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c',1,'SVF']]],
-  ['versioncache',['VersionCache',['../classSVF_1_1VersionedFlowSensitive.html#a8509e73c41aa3369c0d05fa38c846960',1,'SVF::VersionedFlowSensitive']]],
   ['versionedkeytoidmap',['VersionedKeyToIDMap',['../classSVF_1_1PersistentVersionedPTData.html#a2ee473a1654b7d134a602268a2b70248',1,'SVF::PersistentVersionedPTData']]],
   ['versionedptdataty',['VersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a8bc5e039958280b18e5a00a56e0bdc94',1,'SVF::BVDataPTAImpl']]],
   ['versionedvar',['VersionedVar',['../namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf',1,'SVF']]],
+  ['versionedvarset',['VersionedVarSet',['../namespaceSVF.html#a544021f3075a89ff634b215a0efe3385',1,'SVF']]],
   ['versionreliancemap',['VersionRelianceMap',['../classSVF_1_1VersionedFlowSensitive.html#ad8108ee0b034877dea5e927d29ca0534',1,'SVF::VersionedFlowSensitive']]],
+  ['versionset',['VersionSet',['../namespaceSVF.html#a046466b2ed3618072fee227b569da6eb',1,'SVF']]],
   ['vfgedgesetty',['VFGEdgeSetTy',['../classSVF_1_1VFG.html#a0bdac7337a393ad2e21a33ec1978ca3f',1,'SVF::VFG::VFGEdgeSetTy()'],['../classSVF_1_1VFGEdge.html#a54e8b1d339da481222292e3b62d1e765',1,'SVF::VFGEdge::VFGEdgeSetTy()']]],
   ['vfgnodeidtonodemapty',['VFGNodeIDToNodeMapTy',['../classSVF_1_1VFG.html#ab2abe2ba4ac9e3e1d326d042d35acbc0',1,'SVF::VFG']]],
   ['vfgnodeiter',['VFGNodeIter',['../classSVF_1_1VFG.html#a3037ca34a555ebdb4fbf0e86291dc4ea',1,'SVF::VFG']]],

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

@@ -21,9 +21,8 @@ var searchData=
   ['lockset',['LockSet',['../classSVF_1_1LockAnalysis.html#a4bde0f39a6b5cf83e0011d7ef272c685',1,'SVF::LockAnalysis']]],
   ['locksitetolockset',['LockSiteToLockSet',['../classSVF_1_1LockAnalysis.html#a1f9ae41c4ed7450d0d8b29cd20a6ef25',1,'SVF::LockAnalysis']]],
   ['lockspan',['LockSpan',['../classSVF_1_1LockAnalysis.html#a07b7d49e1fbe3e5dc694b6aadbee05b8',1,'SVF::LockAnalysis::LockSpan()'],['../classSVF_1_1MHP.html#a08ba219ec02b07b1bbd91a88ebb4acd7',1,'SVF::MHP::LockSpan()']]],
-  ['locmeldversionmap',['LocMeldVersionMap',['../classSVF_1_1VersionedFlowSensitive.html#a31f2c86285f3366d0fc06590eb2a24bd',1,'SVF::VersionedFlowSensitive']]],
   ['loctodpmvecmap',['LocToDPMVecMap',['../classSVF_1_1DDAVFSolver.html#aab76f98ae4f0c1f62f101ac5c5fdbf83',1,'SVF::DDAVFSolver']]],
-  ['locversionmap',['LocVersionMap',['../classSVF_1_1VersionedFlowSensitive.html#a0ea2cc21f9de287746ca2216b08e22b4',1,'SVF::VersionedFlowSensitive']]],
+  ['locversionmap',['LocVersionMap',['../classSVF_1_1VersionedFlowSensitive.html#aa689d29ead80303b1ef1e1a91f31c296',1,'SVF::VersionedFlowSensitive']]],
   ['loop',['Loop',['../namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314',1,'SVF']]],
   ['loopinfo',['LoopInfo',['../namespaceSVF.html#a77e088bfe47c0b0ddcbbe0693dec6fe5',1,'SVF']]],
   ['loopinfowrapperpass',['LoopInfoWrapperPass',['../namespaceSVF.html#a023d6e6043174fffaf29d75b38877ed0',1,'SVF']]]

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

@@ -5,7 +5,7 @@ var searchData=
   ['mdef',['MDEF',['../classSVF_1_1MemSSA.html#a57e68097212e88568eea829fb998fe0c',1,'SVF::MemSSA']]],
   ['mdnode',['MDNode',['../namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb',1,'SVF']]],
   ['mdstring',['MDString',['../namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4',1,'SVF']]],
-  ['meldversion',['MeldVersion',['../classSVF_1_1VersionedFlowSensitive.html#ac09fe1e8199f9ac3adb6c489ab608fd8',1,'SVF::VersionedFlowSensitive']]],
+  ['meldversion',['MeldVersion',['../classSVF_1_1VersionedFlowSensitive.html#a630eeca9c3344d24fa196f7de45bce18',1,'SVF::VersionedFlowSensitive']]],
   ['memobjtofieldsmap',['MemObjToFieldsMap',['../classSVF_1_1PAG.html#a49da7e7d6273a0d8798166f95ce6bb16',1,'SVF::PAG']]],
   ['memorylocation',['MemoryLocation',['../namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403',1,'SVF']]],
   ['memregtobbsmap',['MemRegToBBsMap',['../classSVF_1_1MemSSA.html#a8d0c1a00d7db194da66c685d79e73de5',1,'SVF::MemSSA']]],

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

@@ -5,6 +5,7 @@ var searchData=
   ['node',['Node',['../classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1',1,'SVF::List']]],
   ['node_5fiterator',['node_iterator',['../classSVF_1_1CFLSolver.html#a586cfb2dd110d1853e70e534e0f66624',1,'SVF::CFLSolver::node_iterator()'],['../classSVF_1_1SCCDetection.html#abaf75ef45e8f5349b902dab063999ad8',1,'SVF::SCCDetection::node_iterator()']]],
   ['nodebs',['NodeBS',['../namespaceSVF.html#a740396763e377643790c8b803ab3e4ea',1,'SVF']]],
+  ['nodedata',['NodeData',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html#a3b4321bdd7924d05fd3b8506ec1c7c3c',1,'SVF::VersionedFlowSensitive::SCC']]],
   ['nodedeque',['NodeDeque',['../namespaceSVF.html#a35068c3650567d5051416db4aeb48e74',1,'SVF']]],
   ['nodeid',['NodeID',['../classSVF_1_1SCCDetection.html#a4f954a92b432b96f63454b7db46b60e2',1,'SVF::SCCDetection::NodeID()'],['../namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301',1,'SVF::NodeID()']]],
   ['nodeidpair',['NodeIDPair',['../classSVF_1_1MTASVFGBuilder.html#aed3e0bf64c3ccb6bfd24e89cc6f89ed9',1,'SVF::MTASVFGBuilder']]],

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

@@ -1,6 +1,5 @@
 var searchData=
 [
-  ['objtomeldversionmap',['ObjToMeldVersionMap',['../classSVF_1_1VersionedFlowSensitive.html#a6e36886fac2c276047def0a5acb85c0e',1,'SVF::VersionedFlowSensitive']]],
   ['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']]],

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

@@ -47,6 +47,7 @@ var searchData=
   ['ppag',['ppag',['../classSVF_1_1TypeBasedHeapCloning.html#a6b1b4570c4f674340cb9f3fcc8f3c4eb',1,'SVF::TypeBasedHeapCloning']]],
   ['predictptocc',['PredictPtOcc',['../classSVF_1_1Options.html#af34d8a738db4f40addc1de930e79654f',1,'SVF::Options']]],
   ['pregchook',['preGCHook',['../structDdManager.html#a6e7664b46763e45c7388778e6e786a0e',1,'DdManager']]],
+  ['prelabeledobjects',['prelabeledObjects',['../classSVF_1_1VersionedFlowSensitive.html#aaae8c6858593ed050dcf2c9220228e3e',1,'SVF::VersionedFlowSensitive']]],
   ['prelabelingtime',['prelabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a77a5dd9578def9a8e2b48e8b90d9b996',1,'SVF::VersionedFlowSensitive']]],
   ['preprocessed',['preProcessed',['../classSVF_1_1LLVMModuleSet.html#a14b0b55d397d6f8a5dfe3b574021f801',1,'SVF::LLVMModuleSet']]],
   ['prereorderinghook',['preReorderingHook',['../structDdManager.html#a227987a65d97bf4b8f3c905d6cc79024',1,'DdManager']]],

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

@@ -24,7 +24,6 @@ var searchData=
   ['regionalign',['RegionAlign',['../classSVF_1_1Options.html#a88550ed8c4ec2ccc5d5e40869499787b',1,'SVF::Options']]],
   ['regionedclustering',['RegionedClustering',['../classSVF_1_1Options.html#ab6115b28808af348e1f6a6b58b4cd84f',1,'SVF::Options']]],
   ['regioningtime',['RegioningTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad5f733cad8a103a64e80270acb67567a',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['reliancetime',['relianceTime',['../classSVF_1_1VersionedFlowSensitive.html#a80535bb813f8bf240a0b54ac6ad4b257',1,'SVF::VersionedFlowSensitive']]],
   ['reordcycle',['reordCycle',['../structDdManager.html#aab2156c5c7271dc0aecf7ffc18e68e5f',1,'DdManager']]],
   ['reorder_5fflag',['reorder_flag',['../structst__table.html#a0b4d6444e7e22ff9a68f75f6cccb75cd',1,'st_table']]],
   ['reordered',['reordered',['../structDdManager.html#ab8c81b5f0658b90c2c3bd339123a1f7a',1,'DdManager']]],

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

@@ -25,8 +25,8 @@ 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_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()'],['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()']]],
-  ['timeofgeneratingmemregions',['TimeOfGeneratingMemRegions',['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()']]],
+  ['timeofcreatemuchi',['TimeOfCreateMUCHI',['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()'],['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::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_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']]],

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

@@ -9,7 +9,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

@@ -1,6 +1,5 @@
 var searchData=
 [
-  ['valid',['valid',['../structSVF_1_1VersionedFlowSensitive_1_1VersionCache.html#aa530b30b6b65bb2ba5cbc0922e8d0654',1,'SVF::VersionedFlowSensitive::VersionCache']]],
   ['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_1PAGEdge.html#a8b10bded7a25c801dc48926319da0525',1,'SVF::PAGEdge::value()'],['../classSVF_1_1PAGNode.html#a8662a272081441af5440af58c975b85e',1,'SVF::PAGNode::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()']]],
@@ -16,6 +15,7 @@ var searchData=
   ['ver',['ver',['../classSVF_1_1FormalINSVFGNode.html#a0601031e01d4e7e4f086d5a4cc7b1321',1,'SVF::FormalINSVFGNode::ver()'],['../classSVF_1_1FormalOUTSVFGNode.html#af4686f5e09cdd342a1ced3a898cb47c4',1,'SVF::FormalOUTSVFGNode::ver()'],['../classSVF_1_1ActualINSVFGNode.html#a9fd1b406736084d33b0026aa21eb79b7',1,'SVF::ActualINSVFGNode::ver()'],['../classSVF_1_1ActualOUTSVFGNode.html#a9b0ad566d3fab6336d84ba07f541370f',1,'SVF::ActualOUTSVFGNode::ver()'],['../classSVF_1_1MSSAPHISVFGNode.html#a61b2e5ccd265d69167f44ce43e97fb80',1,'SVF::MSSAPHISVFGNode::ver()'],['../classSVF_1_1MSSAMU.html#a9c84b55a34025c6742f5a02c07cd4a36',1,'SVF::MSSAMU::ver()']]],
   ['version',['version',['../classSVF_1_1DummyVersionPropSVFGNode.html#a6c092656833dd1eae08eac458689e37d',1,'SVF::DummyVersionPropSVFGNode::version()'],['../classSVF_1_1MRVer.html#afc08020e6d2f1721d1d1363ed3fef151',1,'SVF::MRVer::version()']]],
   ['versionedvartopropnode',['versionedVarToPropNode',['../classSVF_1_1VersionedFlowSensitive.html#af14a4cbc0b990389d31b2f88f50ad8eb',1,'SVF::VersionedFlowSensitive']]],
+  ['versioningthreads',['VersioningThreads',['../classSVF_1_1Options.html#adba18ce8f1496fe2e57a934f11c2dfd9',1,'SVF::Options']]],
   ['versionproptime',['versionPropTime',['../classSVF_1_1VersionedFlowSensitive.html#af15bb6be283fee2fcc4b1fb7d8190451',1,'SVF::VersionedFlowSensitive']]],
   ['versionreliance',['versionReliance',['../classSVF_1_1VersionedFlowSensitive.html#a1dc6e3d4931b53e7e426c0f76d06aeb3',1,'SVF::VersionedFlowSensitive']]],
   ['vfedgesatindcallsite',['vfEdgesAtIndCallSite',['../classSVF_1_1SVFGBuilder.html#aa9b432dd72f1a39be142c4e2c2d51247',1,'SVF::SVFGBuilder']]],

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

@@ -2,6 +2,5 @@ var searchData=
 [
   ['y',['y',['../structMove.html#aa9efffa2fedb329783f36f190e6c4b3b',1,'Move']]],
   ['yield',['yield',['../classSVF_1_1VersionedFlowSensitive.html#a16224ee60494bb1fdf1c8a1026fbe7ab',1,'SVF::VersionedFlowSensitive']]],
-  ['yieldcache',['yieldCache',['../classSVF_1_1VersionedFlowSensitive.html#a86f03759d0c9e739d70d537ab02d7082',1,'SVF::VersionedFlowSensitive']]],
   ['younger',['younger',['../structMtrNode.html#a954fd8014884285b38a15a4623e77217',1,'MtrNode']]]
 ];

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

@@ -59,6 +59,7 @@ var searchData=
   ['classnametoinstanddescsmap',['classNameToInstAndDescsMap',['../classSVF_1_1CHGraph.html#aaec4bdde66e4a7a63ea3f3c6ec0bd045',1,'SVF::CHGraph']]],
   ['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']]],
@@ -86,7 +87,6 @@ var searchData=
   ['constantobjectid',['constantObjectId',['../classSVF_1_1NodeIDAllocator.html#a6a300a5b455fe4b8bace2f1d66fb5f9d',1,'SVF::NodeIDAllocator']]],
   ['constants',['constants',['../structDdManager.html#aa8d293b6a4f69f6b4795e2fc24ede216',1,'DdManager']]],
   ['consume',['consume',['../classSVF_1_1VersionedFlowSensitive.html#a2e4e6a84cbfd553ad9cca8fdf9fd4a8d',1,'SVF::VersionedFlowSensitive']]],
-  ['consumecache',['consumeCache',['../classSVF_1_1VersionedFlowSensitive.html#a6da3d01bd4f8b58c3dac952bba4ee958',1,'SVF::VersionedFlowSensitive']]],
   ['containingaggs',['containingAggs',['../classSVF_1_1DCHGraph.html#adc7a17f70ac3fa89624ad874dbd16ff9',1,'SVF::DCHGraph']]],
   ['context',['context',['../classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535',1,'SVF::ContextCond::context()'],['../classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466',1,'SVF::CxtStmtDPItem::context()'],['../classSVF_1_1CxtDPItem.html#ab89e9f588054ad8a99d9af8e756c951b',1,'SVF::CxtDPItem::context()']]],
   ['contextdda',['contextDDA',['../classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1',1,'SVF::DDAStat']]],

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

@@ -15,6 +15,8 @@ var searchData=
   ['deathrowdepth',['deathRowDepth',['../structDdManager.html#a61aa0ca7d1b7e22fe1450444b03aeab7',1,'DdManager']]],
   ['def',['def',['../classSVF_1_1MRVer.html#a3398bb8d3189413c275b62d5cb7a5fc4',1,'SVF::MRVer']]],
   ['defnodes',['defNodes',['../classSVF_1_1SVFGOPT.html#abd524dca72261bbcc7ebb1103b693a2b',1,'SVF::SVFGOPT']]],
+  ['deltamap',['deltaMap',['../classSVF_1_1VersionedFlowSensitive.html#a11ddfa1faebf56e74e6dcc53e16142e1',1,'SVF::VersionedFlowSensitive']]],
+  ['deltasourcemap',['deltaSourceMap',['../classSVF_1_1VersionedFlowSensitive.html#aee97e196225aaad29c0bd31d3ccbabf6',1,'SVF::VersionedFlowSensitive']]],
   ['dendrogramtraversaltime',['DendrogramTraversalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a67ab9cffacc1584b2e7bae5d1b08c541',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['dereffnname',['derefFnName',['../classSVF_1_1TypeBasedHeapCloning.html#a03ef2decb80ba07f4d98cae0a4497212',1,'SVF::TypeBasedHeapCloning']]],
   ['derefmdname',['derefMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a0cd5347bc8043d4306e66a4a96005ace',1,'SVF::cppUtil::ctir']]],

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

@@ -22,6 +22,7 @@ var searchData=
   ['entry',['entry',['../structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35',1,'st_generator::entry()'],['../cuddInt_8c.html#a936a27e51e66afb57c2b3a12d78a238e',1,'entry(): cuddInt.c']]],
   ['entryfuncset',['entryFuncSet',['../classSVF_1_1TCT.html#a140eaf9440ae9d52dbfb659967aa449a',1,'SVF::TCT']]],
   ['epsilon',['epsilon',['../structDdManager.html#ad495ea9a4104c2be5b4ca850a1da8c28',1,'DdManager']]],
+  ['equivalentobject',['equivalentObject',['../classSVF_1_1VersionedFlowSensitive.html#a2d451d89f99a4bff828b682723df477f',1,'SVF::VersionedFlowSensitive']]],
   ['err',['err',['../structDdManager.html#a6b0364070de52e689fe3485a86bb2825',1,'DdManager']]],
   ['errorcode',['errorCode',['../structDdManager.html#ae0690f123fc2c3f0ca9a1cfd18923a37',1,'DdManager']]],
   ['evaltime',['EvalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1d98862e19affdd08740f85490d0d856',1,'SVF::NodeIDAllocator::Clusterer']]],

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

@@ -26,7 +26,7 @@ var searchData=
   ['forksites',['forksites',['../classSVF_1_1ThreadCallGraph.html#a69b86668a04dc3e5bb85ab4f3f0fce27',1,'SVF::ThreadCallGraph']]],
   ['formalouttodefmap',['formalOutToDefMap',['../classSVF_1_1SVFGOPT.html#abbd6ac28826b9cc4c4981271393c8b19',1,'SVF::SVFGOPT']]],
   ['formalret',['formalRet',['../classSVF_1_1FunExitBlockNode.html#a77c46d6089369ea040efa346e0b3de25',1,'SVF::FunExitBlockNode']]],
-  ['forwardslice',['forwardSlice',['../classSVF_1_1SVFGStat.html#a1e5ec005dda8dc918422eaf33f3145f8',1,'SVF::SVFGStat::forwardSlice()'],['../classSVF_1_1ProgSlice.html#ac12dc4caa0c764ae69175e787efad2ab',1,'SVF::ProgSlice::forwardslice()']]],
+  ['forwardslice',['forwardslice',['../classSVF_1_1ProgSlice.html#ac12dc4caa0c764ae69175e787efad2ab',1,'SVF::ProgSlice::forwardslice()'],['../classSVF_1_1SVFGStat.html#a1e5ec005dda8dc918422eaf33f3145f8',1,'SVF::SVFGStat::forwardSlice()']]],
   ['fpnodes',['FPNodes',['../classSVF_1_1FunEntryBlockNode.html#afc829a259f3c15524a71cef27d294949',1,'SVF::FunEntryBlockNode']]],
   ['freelist',['freelist',['../structDdLevelQueue.html#aa70e5645d52749160c718d38ea0c06ba',1,'DdLevelQueue']]],
   ['fromfile',['fromFile',['../classSVF_1_1PAG.html#a682355bd8e695faedbe5546f98636ee0',1,'SVF::PAG']]],

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

@@ -13,7 +13,7 @@ var searchData=
   ['incdfptdata',['INCDFPTData',['../classSVF_1_1Options.html#a5896e2aaf59305441a74ede0dfb85845',1,'SVF::Options']]],
   ['incycle',['incycle',['../classSVF_1_1CxtThread.html#a97d876697e682b23211a8f930fed7f32',1,'SVF::CxtThread']]],
   ['indcallsitetofunptrmap',['indCallSiteToFunPtrMap',['../classSVF_1_1PAG.html#a704bbd07934ac14c08ab891946292c04',1,'SVF::PAG']]],
-  ['index',['index',['../structDdNode.html#abbd39b25b9abe4b4d53cd267a4103bda',1,'DdNode::index()'],['../structMtrNode.html#ad10fa600c59f13e195d295dac071e807',1,'MtrNode::index()'],['../structst__generator.html#af2fe4c02d62ac650ad39cc28a424b798',1,'st_generator::index()']]],
+  ['index',['index',['../structDdNode.html#abbd39b25b9abe4b4d53cd267a4103bda',1,'DdNode::index()'],['../structMtrNode.html#ad10fa600c59f13e195d295dac071e807',1,'MtrNode::index()'],['../structst__generator.html#af2fe4c02d62ac650ad39cc28a424b798',1,'st_generator::index()'],['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a823afbcf2b99a38367b7bc8be17ff2ba',1,'SVF::VersionedFlowSensitive::SCC::NodeData::index()']]],
   ['indirectcalllimit',['IndirectCallLimit',['../classSVF_1_1Options.html#ad6c29b05188c9e06aa89623c61865ed8',1,'SVF::Options']]],
   ['indirectcallmap',['indirectCallMap',['../classSVF_1_1PTACallGraph.html#adcae44bd6788954e2e4e007bff03462c',1,'SVF::PTACallGraph']]],
   ['indirectcalls',['indirectCalls',['../classSVF_1_1PTACallGraphEdge.html#a66491523e4ccfdf2ff57e10cfd6f3074',1,'SVF::PTACallGraphEdge']]],
@@ -55,7 +55,9 @@ var searchData=
   ['isdecl',['isDecl',['../classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9',1,'SVF::SVFFunction']]],
   ['isext_5fcache',['isext_cache',['../classSVF_1_1ExtAPI.html#a329882c608e9a6b10a758bcd1ca7a0b5',1,'SVF::ExtAPI']]],
   ['isintri',['isIntri',['../classSVF_1_1SVFFunction.html#a29f016522d91f1b78ea05a9334b1c3e3',1,'SVF::SVFFunction']]],
+  ['isloadmap',['isLoadMap',['../classSVF_1_1VersionedFlowSensitive.html#a6bb3db072db0b899f306b37f1146f83d',1,'SVF::VersionedFlowSensitive']]],
   ['isolated',['isolated',['../structDdManager.html#a0407971624e8cbb0510be72840e1788b',1,'DdManager']]],
+  ['isstoremap',['isStoreMap',['../classSVF_1_1VersionedFlowSensitive.html#a18e25c3871d7cc1a6bb0592ceca90f88',1,'SVF::VersionedFlowSensitive']]],
   ['isthunkfunc',['isThunkFunc',['../structSVF_1_1cppUtil_1_1DemangledName.html#af6117df8aec7f4c077058fa8f00b0243',1,'SVF::cppUtil::DemangledName']]],
   ['istlpointer',['isTLPointer',['../classSVF_1_1PAGNode.html#ae0e9f3bb2dccd6fe6be5e1f5fbb29066',1,'SVF::PAGNode']]],
   ['item',['item',['../structDdLocalCache.html#a5b894c8287e08c2b3ff59ab7d208d2e4',1,'DdLocalCache']]],

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

@@ -1,6 +1,5 @@
 var searchData=
 [
-  ['l',['l',['../structSVF_1_1VersionedFlowSensitive_1_1VersionCache.html#abbc4b4beea4318f9ccb81dbdeed239b7',1,'SVF::VersionedFlowSensitive::VersionCache']]],
   ['large',['large',['../cuddInt_8c.html#a134b3b75fc389f1772e03372004cfeff',1,'cuddInt.c']]],
   ['largestregion',['LargestRegion',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a172d72ae4ae45fa2baf2f20ff2b499dc',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['last',['last',['../structDdLevelQueue.html#acf28d01edde7bf6634b4213299f487b3',1,'DdLevelQueue']]],
@@ -47,6 +46,7 @@ var searchData=
   ['loopinfobuilder',['loopInfoBuilder',['../classSVF_1_1ContextDDA.html#afb57381096ffc49b2065de6d9bf00895',1,'SVF::ContextDDA::loopInfoBuilder()'],['../classSVF_1_1FlowDDA.html#a7d56edc750cef8d523c04a68f0d08e0d',1,'SVF::FlowDDA::loopInfoBuilder()'],['../classSVF_1_1TCT.html#ae64d6203b41c92d4ca617b8e976b88b2',1,'SVF::TCT::loopInfoBuilder()']]],
   ['looseupto',['looseUpTo',['../structDdManager.html#a08442885cc19bd4e63ee8ca294669efa',1,'DdManager']]],
   ['low',['low',['../structMtrNode.html#a589c940a5262c8da11bf843a369bb2db',1,'MtrNode']]],
+  ['lowlink',['lowlink',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a6d66813dfb5338c22de62c100e951cf2',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
   ['ls',['ls',['../classSVF_1_1NormalGepCGEdge.html#a7cbcaa28acde49ef0b03a8554a41344b',1,'SVF::NormalGepCGEdge::ls()'],['../classSVF_1_1NormalGepPE.html#abb2e135f44a20e5f9005a83fb8f72e7d',1,'SVF::NormalGepPE::ls()'],['../classSVF_1_1GepValPN.html#afb8bad0c8d61cd59410d99a405dfa9e8',1,'SVF::GepValPN::ls()'],['../classSVF_1_1GepObjPN.html#ab7a3961b0a3f6a8cc89c3cd81168180b',1,'SVF::GepObjPN::ls()']]],
   ['lsa',['lsa',['../classSVF_1_1MTAAnnotator.html#a42a5c0eac879be5e300583aa7d07beb0',1,'SVF::MTAAnnotator::lsa()'],['../classSVF_1_1RaceValidator.html#a6982b72e3e2551deab80d9e3fefaab64',1,'SVF::RaceValidator::lsa()']]]
 ];

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

@@ -46,11 +46,7 @@ var searchData=
   ['maxstruct',['maxStruct',['../classSVF_1_1SymbolTableInfo.html#a4e33a01e203f07a8154af6ee65f5ba46',1,'SVF::SymbolTableInfo']]],
   ['maxstructsize',['MaxStructSize',['../classSVF_1_1PTAStat.html#af6a6e3ea4c7f8e1c984bea8d5fb9a7c0',1,'SVF::PTAStat']]],
   ['maxstsize',['maxStSize',['../classSVF_1_1SymbolTableInfo.html#abb8550c9ef856e45cb7675c3796f9a35',1,'SVF::SymbolTableInfo']]],
-  ['meldconsume',['meldConsume',['../classSVF_1_1VersionedFlowSensitive.html#a0f3bc278aa733bd637c9905530ff2e6c',1,'SVF::VersionedFlowSensitive']]],
   ['meldlabelingtime',['meldLabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a4a594c8d6ccaa27b5328c6388fdb258d',1,'SVF::VersionedFlowSensitive']]],
-  ['meldmappingtime',['meldMappingTime',['../classSVF_1_1VersionedFlowSensitive.html#a8871031546861343c05346ae1a4550cd',1,'SVF::VersionedFlowSensitive']]],
-  ['meldversions',['meldVersions',['../classSVF_1_1VersionedFlowSensitive.html#a32b9ff0e47ef632626f1b647c38c26f9',1,'SVF::VersionedFlowSensitive']]],
-  ['meldyield',['meldYield',['../classSVF_1_1VersionedFlowSensitive.html#afb0396e095bd461f146b4c5ce957b89e',1,'SVF::VersionedFlowSensitive']]],
   ['mem',['mem',['../classSVF_1_1ObjPN.html#a7ec3165f6b61b089e25447f55ebf86a8',1,'SVF::ObjPN']]],
   ['memobjtogeps',['memObjToGeps',['../classSVF_1_1TypeBasedHeapCloning.html#a882afb13844ed039d18d325e92819f77',1,'SVF::TypeBasedHeapCloning']]],
   ['memorylist',['memoryList',['../structDdHashTable.html#ac6afee68587d525006440d95abc9cbd5',1,'DdHashTable::memoryList()'],['../structDdManager.html#acd1165476d9c94202b6bf5b14fd0dd88',1,'DdManager::memoryList()']]],

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

@@ -40,7 +40,7 @@ var searchData=
   ['numinit',['numInit',['../classSVF_1_1TypeBasedHeapCloning.html#a4c658be1ade99ad1e848cd80332e38ce',1,'SVF::TypeBasedHeapCloning']]],
   ['numnodes',['numNodes',['../classSVF_1_1NodeIDAllocator.html#a8e76e0da58f0a5bdbd8118ac419cfa62',1,'SVF::NodeIDAllocator']]],
   ['numnontrivialregionobjects',['NumNonTrivialRegionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1bf9461c717e8dabaee6a57f3d76d61f',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['numobjects',['NumObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498',1,'SVF::NodeIDAllocator::Clusterer::NumObjects()'],['../classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f',1,'SVF::NodeIDAllocator::numObjects()']]],
+  ['numobjects',['numObjects',['../classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f',1,'SVF::NodeIDAllocator::numObjects()'],['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498',1,'SVF::NodeIDAllocator::Clusterer::NumObjects()']]],
   ['numofactualin',['numOfActualIn',['../classSVF_1_1SVFGStat.html#a5365744d2ec3594e2255d274f7256569',1,'SVF::SVFGStat']]],
   ['numofactualout',['numOfActualOut',['../classSVF_1_1SVFGStat.html#a122555f5c4b9746cc2b7f38c7cd6b505',1,'SVF::SVFGStat']]],
   ['numofactualparam',['numOfActualParam',['../classSVF_1_1SVFGStat.html#a0494c59483520b57acdca95952c93d76',1,'SVF::SVFGStat']]],
@@ -139,7 +139,7 @@ var searchData=
   ['numofretnodes',['numOfRetNodes',['../classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de',1,'SVF::ICFGStat']]],
   ['numofreturns',['NumOfReturns',['../classSVF_1_1PTAStat.html#a0a552611fcd20e1310290bdae404a514',1,'SVF::PTAStat']]],
   ['numofscc',['numOfSCC',['../classSVF_1_1FlowSensitive.html#ab6c2494ca36cefb5409c5c20befb326f',1,'SVF::FlowSensitive']]],
-  ['numofsccdetection',['numOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6da6e1231a46fde6925493045b8b2490',1,'SVF::AndersenBase::numOfSCCDetection()'],['../classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::NumOfSCCDetection()']]],
+  ['numofsccdetection',['NumOfSCCDetection',['../classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::NumOfSCCDetection()'],['../classSVF_1_1AndersenBase.html#a6da6e1231a46fde6925493045b8b2490',1,'SVF::AndersenBase::numOfSCCDetection()']]],
   ['numofsfr',['NumOfSfr',['../classSVF_1_1PTAStat.html#a07a1db62ddba50bda787b2985ef8d135',1,'SVF::PTAStat']]],
   ['numofsfrs',['numOfSfrs',['../classSVF_1_1AndersenBase.html#aa31bc83cdeaa30dd0975976e29a5be12',1,'SVF::AndersenBase']]],
   ['numofstackobjs',['NumOfStackObjs',['../classSVF_1_1PTAStat.html#ae05503909688a17dc1f282d1d029d24e',1,'SVF::PTAStat']]],

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

@@ -14,6 +14,7 @@ var searchData=
   ['offset',['offset',['../classSVF_1_1DCHEdge.html#a16869c90d4e735bc09b8bceda90b99ed',1,'SVF::DCHEdge::offset()'],['../classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd',1,'SVF::CoreBitVector::offset()']]],
   ['offset2typemap',['offset2TypeMap',['../classSVF_1_1StInfo.html#a2fc773eac63f959c78957dc407cccaa2',1,'SVF::StInfo']]],
   ['one',['one',['../structDdManager.html#a239bd99ee654742adc79b8299c2bc92e',1,'DdManager::one()'],['../cuddInt_8c.html#a49e3c7508be54a84ae83273ed240e31c',1,'one(): cuddInt.c']]],
+  ['onstack',['onStack',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a0eb5f6b9985b9b512a76537d55b092b5',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
   ['ontheflyiterbudgetforstat',['OnTheFlyIterBudgetForStat',['../classSVF_1_1PointerAnalysis.html#afc320fbf269404fe128e69c98e6f9cac',1,'SVF::PointerAnalysis']]],
   ['opincomingbbs',['opIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode']]],
   ['opit',['OpIt',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e',1,'llvm::generic_bridge_gep_type_iterator']]],
@@ -29,6 +30,5 @@ var searchData=
   ['outofbudgetdpms',['outOfBudgetDpms',['../classSVF_1_1DDAVFSolver.html#aad57a954473f3099188cf8c8fba87880',1,'SVF::DDAVFSolver']]],
   ['outofbudgetquery',['outOfBudgetQuery',['../classSVF_1_1DDAVFSolver.html#afdecfbacc64cb8d694268aa73ec8a7b6',1,'SVF::DDAVFSolver']]],
   ['outupdatedvarmap',['outUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e',1,'SVF::MutableIncDFPTData::outUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0',1,'SVF::PersistentIncDFPTData::outUpdatedVarMap()']]],
-  ['ovm',['ovm',['../structSVF_1_1VersionedFlowSensitive_1_1VersionCache.html#a6cda550f5fe99fe2407ac9bf73d59319',1,'SVF::VersionedFlowSensitive::VersionCache']]],
   ['owned_5fmodules',['owned_modules',['../classSVF_1_1LLVMModuleSet.html#ae365189769640adb919a23c36978e5e2',1,'SVF::LLVMModuleSet']]]
 ];

package/SVF-doxygen/html/html/structSVF_1_1Hash_3_01CoreBitVector_01_4-members.html

@@ -0,0 +1,81 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: Member List</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><a class="el" href="namespaceSVF.html">SVF</a></li><li class="navelem"><a class="el" href="structSVF_1_1Hash_3_01CoreBitVector_01_4.html">Hash&lt; CoreBitVector &gt;</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="headertitle">
+<div class="title">SVF::Hash&lt; CoreBitVector &gt; Member List</div>  </div>
+</div><!--header-->
+<div class="contents">
+
+<p>This is the complete list of members for <a class="el" href="structSVF_1_1Hash_3_01CoreBitVector_01_4.html">SVF::Hash&lt; CoreBitVector &gt;</a>, including all inherited members.</p>
+<table class="directory">
+  <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1Hash_3_01CoreBitVector_01_4.html#ad54ea05fd0e03af862a5d72f8c4db411">operator()</a>(const CoreBitVector &amp;cbv) const</td><td class="entry"><a class="el" href="structSVF_1_1Hash_3_01CoreBitVector_01_4.html">SVF::Hash&lt; CoreBitVector &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+</table></div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>

package/SVF-doxygen/html/html/structSVF_1_1Hash_3_01CoreBitVector_01_4.html

@@ -0,0 +1,126 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: SVF::Hash&lt; CoreBitVector &gt; Struct Template Reference</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><a class="el" href="namespaceSVF.html">SVF</a></li><li class="navelem"><a class="el" href="structSVF_1_1Hash_3_01CoreBitVector_01_4.html">Hash&lt; CoreBitVector &gt;</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="summary">
+<a href="#pub-methods">Public Member Functions</a> &#124;
+<a href="structSVF_1_1Hash_3_01CoreBitVector_01_4-members.html">List of all members</a>  </div>
+  <div class="headertitle">
+<div class="title">SVF::Hash&lt; CoreBitVector &gt; Struct Template Reference</div>  </div>
+</div><!--header-->
+<div class="contents">
+
+<p><code>#include &lt;<a class="el" href="CoreBitVector_8h_source.html">CoreBitVector.h</a>&gt;</code></p>
+<table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
+Public Member Functions</h2></td></tr>
+<tr class="memitem:ad54ea05fd0e03af862a5d72f8c4db411"><td class="memItemLeft" align="right" valign="top">size_t&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1Hash_3_01CoreBitVector_01_4.html#ad54ea05fd0e03af862a5d72f8c4db411">operator()</a> (const <a class="el" href="classSVF_1_1CoreBitVector.html">CoreBitVector</a> &amp;cbv) const</td></tr>
+<tr class="separator:ad54ea05fd0e03af862a5d72f8c4db411"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
+<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
+<div class="textblock"><h3>template&lt;&gt;<br />
+struct SVF::Hash&lt; CoreBitVector &gt;</h3>
+
+
+<p class="definition">Definition at line <a class="el" href="CoreBitVector_8h_source.html#l00204">204</a> of file <a class="el" href="CoreBitVector_8h_source.html">CoreBitVector.h</a>.</p>
+</div><h2 class="groupheader">Member Function Documentation</h2>
+<a id="ad54ea05fd0e03af862a5d72f8c4db411"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ad54ea05fd0e03af862a5d72f8c4db411">&#9670;&nbsp;</a></span>operator()()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">size_t <a class="el" href="structSVF_1_1Hash.html">SVF::Hash</a>&lt; <a class="el" href="classSVF_1_1CoreBitVector.html">CoreBitVector</a> &gt;::operator() </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1CoreBitVector.html">CoreBitVector</a> &amp;&#160;</td>
+          <td class="paramname"><em>cbv</em></td><td>)</td>
+          <td> const</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="CoreBitVector_8h_source.html#l00206">206</a> of file <a class="el" href="CoreBitVector_8h_source.html">CoreBitVector.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;                                                      {</div><div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;        <span class="keywordflow">return</span> cbv.hash();</div><div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<hr/>The documentation for this struct was generated from the following file:<ul>
+<li>/home/runner/work/SVF/SVF/include/Util/<a class="el" href="CoreBitVector_8h_source.html">CoreBitVector.h</a></li>
+</ul>
+</div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>

package/SVF-doxygen/html/html/structSVF_1_1Hash_3_01NodePair_01_4.html

@@ -82,7 +82,7 @@ Public Member Functions</h2></td></tr>
 struct SVF::Hash&lt; NodePair &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00131">131</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00134">134</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="a57f65bc02efb8b1d4905030ef437df3e"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a57f65bc02efb8b1d4905030ef437df3e">&#9670;&nbsp;</a></span>operator()()</h2>
@@ -108,8 +108,8 @@ struct SVF::Hash&lt; NodePair &gt;</h3>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00133">133</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;                                               {</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;        <span class="comment">// Make sure our assumptions are sound: use u32_t</span></div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;        <span class="comment">// and u64_t. If NodeID is not actually u32_t or size_t</span></div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;        <span class="comment">// is not u64_t we should be fine since we get a</span></div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;        <span class="comment">// consistent result.</span></div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;        <span class="keywordflow">return</span> ((uint64_t)(p.first) &lt;&lt; 32) | (uint64_t)(p.second);</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00136">136</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;                                               {</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;        <span class="comment">// Make sure our assumptions are sound: use u32_t</span></div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;        <span class="comment">// and u64_t. If NodeID is not actually u32_t or size_t</span></div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;        <span class="comment">// is not u64_t we should be fine since we get a</span></div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;        <span class="comment">// consistent result.</span></div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;        <span class="keywordflow">return</span> ((uint64_t)(p.first) &lt;&lt; 32) | (uint64_t)(p.second);</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <hr/>The documentation for this struct was generated from the following file:<ul>