npm - svf-tools - Versions diffs - 1.0.596 → 1.0.598 - Mend

svf-tools 1.0.596 → 1.0.598

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (802) hide show

package/SVF-doxygen/html/html/search/enumvalues_2.js CHANGED Viewed

@@ -11,7 +11,7 @@ var searchData=
   ['cflfici_5fwpa',['CFLFICI_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a164c6de3baace1c63db75a228a5816bb',1,'SVF::PointerAnalysis']]],
   ['cflfsci_5fwpa',['CFLFSCI_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85afbe666887476ce8620aca97a159921bc',1,'SVF::PointerAnalysis']]],
   ['cflfscs_5fwpa',['CFLFSCS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ab87dcf990c05d31f91b9bfdfcfb54b7d',1,'SVF::PointerAnalysis']]],
-  ['circo',['CIRCO',['../namespacellvm_1_1GraphProgram.html#a0ad4685976f8c4d4a697a53fbe05d10bab89542c270041afd91cb19369af6dc31',1,'llvm::GraphProgram']]],
+  ['circo',['CIRCO',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37a88732178df8f5804ab976cc48e584674',1,'SVF::GraphProgram']]],
   ['ck_5falloc',['CK_ALLOC',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056acd7e3bca6e36e08205576482b1b0221e',1,'SVF::SaberCheckerAPI']]],
   ['ck_5fdummy',['CK_DUMMY',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056a7e06261f283161194d11f4d27c417c45',1,'SVF::SaberCheckerAPI']]],
   ['ck_5ffclose',['CK_FCLOSE',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056a731dcaf32786abf31c43be180dd366cb',1,'SVF::SaberCheckerAPI']]],

package/SVF-doxygen/html/html/search/enumvalues_3.js CHANGED Viewed

@@ -8,7 +8,7 @@ var searchData=
   ['di',['DI',['../classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8ae9e3edea0bae930aa9af04699fca9506',1,'SVF::CommonCHGraph']]],
   ['diff',['Diff',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a03a155517b9587d79c3f0b6dc3b72447',1,'SVF::PTData']]],
   ['distinct',['Distinct',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671a9da5f4ad2a43befdbc4be319bffc80ea',1,'SVF::MemSSA']]],
-  ['dot',['DOT',['../namespacellvm_1_1GraphProgram.html#a0ad4685976f8c4d4a697a53fbe05d10baa979410a6f3129644e1be86fb488e455',1,'llvm::GraphProgram']]],
+  ['dot',['DOT',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ae09e3feb3996d73e682cf2a5077c090c',1,'SVF::GraphProgram']]],
   ['dummyobjnode',['DummyObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af',1,'SVF::SVFVar']]],
   ['dummyvalnode',['DummyValNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8',1,'SVF::SVFVar']]],
   ['dummyvprop',['DummyVProp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2',1,'SVF::VFGNode']]]

package/SVF-doxygen/html/html/search/enumvalues_5.js CHANGED Viewed

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['fdp',['FDP',['../namespacellvm_1_1GraphProgram.html#a0ad4685976f8c4d4a697a53fbe05d10ba369c1aafe1a79637a098d1ac61c3c940',1,'llvm::GraphProgram']]],
+  ['fdp',['FDP',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac3a20ad67d8b23a37a2c81ef793323a9',1,'SVF::GraphProgram']]],
   ['fields_5fdda',['FieldS_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abe1d8104c77bfe4bbc201a64410c7f61',1,'SVF::PointerAnalysis']]],
   ['fiobjnode',['FIObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6',1,'SVF::SVFVar']]],
   ['first_5ffield',['FIRST_FIELD',['../classSVF_1_1DCHEdge.html#a48f01c4a02c4e278a1ab70b16efdef4ba3b49b95b713f585b717810dce5ac6564',1,'SVF::DCHEdge']]],

package/SVF-doxygen/html/html/search/enumvalues_8.js CHANGED Viewed

@@ -10,6 +10,6 @@ var searchData=
   ['intradirectvf',['IntraDirectVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a08201e6cbff4817e44568747a966b71d',1,'SVF::VFGEdge']]],
   ['intradisjoint',['IntraDisjoint',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671ac9388cc44f91bd9a00666c0d69b32ef1',1,'SVF::MemSSA']]],
   ['intraindirectvf',['IntraIndirectVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0',1,'SVF::VFGEdge']]],
-  ['isbidirectional',['IsBidirectional',['../classllvm_1_1iterator__facade__base.html#ac111dbf74717bf5e6db6b9f8d5a81809a4e1f229fa73b6b5c2f25734ab347c51f',1,'llvm::iterator_facade_base']]],
-  ['israndomaccess',['IsRandomAccess',['../classllvm_1_1iterator__facade__base.html#ac111dbf74717bf5e6db6b9f8d5a81809a4f2910ff91c3e559958a66f09bfefe56',1,'llvm::iterator_facade_base']]]
+  ['isbidirectional',['IsBidirectional',['../classSVF_1_1iter__facade__base.html#a1935969a70a0312f809db166d65fec89a0552120a5aa8ae40a219b52934ad3409',1,'SVF::iter_facade_base']]],
+  ['israndomaccess',['IsRandomAccess',['../classSVF_1_1iter__facade__base.html#a1935969a70a0312f809db166d65fec89a3571f11b56b4970ffff3c021f6fb47e8',1,'SVF::iter_facade_base']]]
 ];

package/SVF-doxygen/html/html/search/enumvalues_b.js CHANGED Viewed

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['neato',['NEATO',['../namespacellvm_1_1GraphProgram.html#a0ad4685976f8c4d4a697a53fbe05d10ba5f97d56ae6699c2775313a0b5cd6badb',1,'llvm::GraphProgram']]],
+  ['neato',['NEATO',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37a280cacd79d09366b6832ebc6e54b5a9c',1,'SVF::GraphProgram']]],
   ['never_5ffree_5fleak',['NEVER_FREE_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da3ec849f333df9530fb0a6a285c26b86d',1,'SVF::LeakChecker']]],
   ['noalias',['NoAlias',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239',1,'SVF']]],
   ['nomodref',['NoModRef',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f',1,'SVF']]],

package/SVF-doxygen/html/html/search/functions_0.js CHANGED Viewed

@@ -76,7 +76,7 @@ var searchData=
   ['addcptstocallsiterefs',['addCPtsToCallSiteRefs',['../classSVF_1_1MRGenerator.html#a94ce7ceff7cee90d672e9f3a4f3aa4e8',1,'SVF::MRGenerator']]],
   ['addcptstoload',['addCPtsToLoad',['../classSVF_1_1MRGenerator.html#a79a3032b50f7ef905213b770b12e0967',1,'SVF::MRGenerator']]],
   ['addcptstostore',['addCPtsToStore',['../classSVF_1_1MRGenerator.html#af50efed3af17806a3ba3f668e4466d3e',1,'SVF::MRGenerator']]],
-  ['addcustomgraphfeatures',['addCustomGraphFeatures',['../structllvm_1_1DefaultDOTGraphTraits.html#ae2bdfe5fa774a3dc5aad9a8465b50011',1,'llvm::DefaultDOTGraphTraits']]],
+  ['addcustomgraphfeatures',['addCustomGraphFeatures',['../structSVF_1_1DefaultDOTGraphTraits.html#a47ee60dc78e3f869ce4e808e73437ddf',1,'SVF::DefaultDOTGraphTraits']]],
   ['addcxtlock',['addCxtLock',['../classSVF_1_1LockAnalysis.html#a6b8d03d75751635e492dbda47e2d543e',1,'SVF::LockAnalysis']]],
   ['addcxtofcxtthread',['addCxtOfCxtThread',['../classSVF_1_1TCT.html#a2978381d69a9fd1fcee6a1258bc3bb5c',1,'SVF::TCT']]],
   ['addcxtstmttospan',['addCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a718d6f2f55c1e2e7eb619c3e056ab458',1,'SVF::LockAnalysis']]],

package/SVF-doxygen/html/html/search/functions_1.js CHANGED Viewed

@@ -12,7 +12,7 @@ var searchData=
   ['backwardtraverse',['backwardTraverse',['../classSVF_1_1SrcSnkSolver.html#a9c2fbfa1a4563ce45726ae79f0f34fcc',1,'SVF::SrcSnkSolver::backwardTraverse()'],['../classSVF_1_1GraphReachSolver.html#a8785ea71a1b0da03595fc8f594921819',1,'SVF::GraphReachSolver::backwardTraverse()']]],
   ['backwardvisited',['backwardVisited',['../classSVF_1_1SrcSnkDDA.html#a32cc8a131b2448b5e8e1fe65d99fd286',1,'SVF::SrcSnkDDA']]],
   ['barreplace',['barReplace',['../classSVF_1_1CFGNormalizer.html#ad56aa4b7f6eba0c873ea18f83c398bc5',1,'SVF::CFGNormalizer']]],
-  ['begin',['begin',['../classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7',1,'SVF::GenericGraph::begin()'],['../classSVF_1_1GenericGraph.html#a3385b008ae03444404c1e392fd47f1d6',1,'SVF::GenericGraph::begin() const'],['../classSVF_1_1CondStdSet.html#adf095111734d81b6ad1908a7f795b038',1,'SVF::CondStdSet::begin()'],['../classSVF_1_1CondStdSet.html#a76fb2382bf424638ed8e03cb48cdc90e',1,'SVF::CondStdSet::begin() const'],['../classSVF_1_1CondPointsToSet.html#a3521ec3be48cc03d9d3f562cb088a9ad',1,'SVF::CondPointsToSet::begin()'],['../classSVF_1_1CondPointsToSet.html#acec077e130e49ac66a5c3e464a73dec2',1,'SVF::CondPointsToSet::begin() const'],['../classSVF_1_1PointsTo.html#aa53962e561399bf493d1f2b9137356f6',1,'SVF::PointsTo::begin()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#aabd833b8eca182f681462209c9f24f1a',1,'llvm::generic_bridge_gep_type_iterator::begin(Type *Ty, ItTy It)'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a4d10570a7a3b75fbec9fbc9fc7d3e619',1,'llvm::generic_bridge_gep_type_iterator::begin(Type *Ty, unsigned AddrSpace, ItTy It)'],['../classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255',1,'SVF::SVFModule::begin()'],['../classSVF_1_1SVFModule.html#a436c4bdede4d1c1e68d7e41bd2b27da7',1,'SVF::SVFModule::begin() const'],['../classSVF_1_1SVFFunction.html#a49a6e9c0661135ceda2dd4d84c4b24ae',1,'SVF::SVFFunction::begin()'],['../classSVF_1_1SVFBasicBlock.html#ac9cb2f17e42c40ca81b49c8b63a855fc',1,'SVF::SVFBasicBlock::begin()'],['../classSVF_1_1CoreBitVector.html#a835bf11a1f698942db8e6bdadbbfd1f3',1,'SVF::CoreBitVector::begin()'],['../classSVF_1_1ContextCond.html#a4ae7e2236708b0d205f393cdce75c8d1',1,'SVF::ContextCond::begin()'],['../classllvm_1_1iterator__range.html#af5a020bd9dd7bc8487dd53ce443fdd8f',1,'llvm::iterator_range::begin()'],['../classSVF_1_1SparseBitVector.html#abf76d8157c49ddba24bdc9dab3655772',1,'SVF::SparseBitVector::begin()']]],
+  ['begin',['begin',['../classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7',1,'SVF::GenericGraph::begin()'],['../classSVF_1_1GenericGraph.html#a3385b008ae03444404c1e392fd47f1d6',1,'SVF::GenericGraph::begin() const'],['../classSVF_1_1CondStdSet.html#adf095111734d81b6ad1908a7f795b038',1,'SVF::CondStdSet::begin()'],['../classSVF_1_1CondStdSet.html#a76fb2382bf424638ed8e03cb48cdc90e',1,'SVF::CondStdSet::begin() const'],['../classSVF_1_1CondPointsToSet.html#a3521ec3be48cc03d9d3f562cb088a9ad',1,'SVF::CondPointsToSet::begin()'],['../classSVF_1_1CondPointsToSet.html#acec077e130e49ac66a5c3e464a73dec2',1,'SVF::CondPointsToSet::begin() const'],['../classSVF_1_1PointsTo.html#aa53962e561399bf493d1f2b9137356f6',1,'SVF::PointsTo::begin()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#aabd833b8eca182f681462209c9f24f1a',1,'llvm::generic_bridge_gep_type_iterator::begin(Type *Ty, ItTy It)'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a4d10570a7a3b75fbec9fbc9fc7d3e619',1,'llvm::generic_bridge_gep_type_iterator::begin(Type *Ty, unsigned AddrSpace, ItTy It)'],['../classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255',1,'SVF::SVFModule::begin()'],['../classSVF_1_1SVFModule.html#a436c4bdede4d1c1e68d7e41bd2b27da7',1,'SVF::SVFModule::begin() const'],['../classSVF_1_1SVFFunction.html#a49a6e9c0661135ceda2dd4d84c4b24ae',1,'SVF::SVFFunction::begin()'],['../classSVF_1_1SVFBasicBlock.html#ac9cb2f17e42c40ca81b49c8b63a855fc',1,'SVF::SVFBasicBlock::begin()'],['../classSVF_1_1CoreBitVector.html#a835bf11a1f698942db8e6bdadbbfd1f3',1,'SVF::CoreBitVector::begin()'],['../classSVF_1_1ContextCond.html#a4ae7e2236708b0d205f393cdce75c8d1',1,'SVF::ContextCond::begin()'],['../classSVF_1_1iter__range.html#a35c298cfeda798cbf4f65150796f8489',1,'SVF::iter_range::begin()'],['../classSVF_1_1SparseBitVector.html#abf76d8157c49ddba24bdc9dab3655772',1,'SVF::SparseBitVector::begin()']]],
   ['binaryopstmt',['BinaryOPStmt',['../classSVF_1_1BinaryOPStmt.html#a4c87a90a0190b50c0318c0f316f4fc2a',1,'SVF::BinaryOPStmt::BinaryOPStmt()'],['../classSVF_1_1BinaryOPStmt.html#a9f5ec771bc547371ab9db18bb44a17c1',1,'SVF::BinaryOPStmt::BinaryOPStmt(const BinaryOPStmt &amp;)'],['../classSVF_1_1BinaryOPStmt.html#a7470a2412985bbb227bb62d8a297b7f1',1,'SVF::BinaryOPStmt::BinaryOPStmt(SVFVar *s, const OPVars &amp;opnds, u32_t oc)']]],
   ['binaryopvfgnode',['BinaryOPVFGNode',['../classSVF_1_1BinaryOPVFGNode.html#a20a0cf8366831b6be38c9c1945254362',1,'SVF::BinaryOPVFGNode::BinaryOPVFGNode()'],['../classSVF_1_1BinaryOPVFGNode.html#aa292ddc0ac6e43f20dcee8a9cb8f97e0',1,'SVF::BinaryOPVFGNode::BinaryOPVFGNode(const BinaryOPVFGNode &amp;)'],['../classSVF_1_1BinaryOPVFGNode.html#afa52d77205075141b59847b8400344e7',1,'SVF::BinaryOPVFGNode::BinaryOPVFGNode(NodeID id, const PAGNode *r)']]],
   ['bitvector',['BitVector',['../classSVF_1_1BitVector.html#a212871312b985f7d7215dd46ba171990',1,'SVF::BitVector::BitVector(void)'],['../classSVF_1_1BitVector.html#a79f32ec9f2644133b1df8b8e0e26da15',1,'SVF::BitVector::BitVector(size_t n)'],['../classSVF_1_1BitVector.html#a5c01a464702283bf07ef6831705405a2',1,'SVF::BitVector::BitVector(const BitVector &amp;bv)'],['../classSVF_1_1BitVector.html#a4a5726a380b115e555944059a507eab7',1,'SVF::BitVector::BitVector(BitVector &amp;&amp;bv)']]],

package/SVF-doxygen/html/html/search/functions_10.js CHANGED Viewed

@@ -13,7 +13,7 @@ var searchData=
   ['recordaddingedge',['recordAddingEdge',['../classSVF_1_1MTASVFGBuilder.html#a2effeeac276a64d612fe6af08ec25b74',1,'SVF::MTASVFGBuilder']]],
   ['recordedge',['recordEdge',['../classSVF_1_1MTASVFGBuilder.html#a55da7f1a8921727f84232e5905d6135f',1,'SVF::MTASVFGBuilder']]],
   ['recordremovingedge',['recordRemovingEdge',['../classSVF_1_1MTASVFGBuilder.html#a97179139a6395a7062d3200c23d4b69d',1,'SVF::MTASVFGBuilder']]],
-  ['referenceproxy',['ReferenceProxy',['../classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#ab871b88a7116b9aa362a92bd47ddd776',1,'llvm::iterator_facade_base::ReferenceProxy']]],
+  ['referenceproxy',['ReferenceProxy',['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aabce5b9a8700ecf1415a92ce45b384a2',1,'SVF::iter_facade_base::ReferenceProxy']]],
   ['regionobjects',['regionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a7d34542f34a8e8008119c3d61943daa2',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['regpt',['REGPT',['../dda_8cpp.html#a5ed1de5ad06cf459c1b4e63685316618',1,'dda.cpp']]],
   ['release',['release',['../classSVF_1_1RaceResultValidator.html#a64f61b58f59eba5f3e7c69f90edc68df',1,'SVF::RaceResultValidator::release()'],['../classSVF_1_1RaceResultValidator.html#a64f61b58f59eba5f3e7c69f90edc68df',1,'SVF::RaceResultValidator::release()']]],
@@ -75,7 +75,7 @@ var searchData=
   ['renamemuset',['RenameMuSet',['../classSVF_1_1MemSSA.html#a2527b76b92dffa8f8513ebfdcc8d8133',1,'SVF::MemSSA']]],
   ['renamephiops',['RenamePhiOps',['../classSVF_1_1MemSSA.html#a0ed34f7a27db045c624c5db61d53132b',1,'SVF::MemSSA']]],
   ['renamephires',['RenamePhiRes',['../classSVF_1_1MemSSA.html#a630be375832b1477989af85dce6760f3',1,'SVF::MemSSA']]],
-  ['rendergraphfrombottomup',['renderGraphFromBottomUp',['../structllvm_1_1DefaultDOTGraphTraits.html#a8a9c7f5663e2ea7d1180f1d9a6e4eaeb',1,'llvm::DefaultDOTGraphTraits']]],
+  ['rendergraphfrombottomup',['renderGraphFromBottomUp',['../structSVF_1_1DefaultDOTGraphTraits.html#aeb5908ad6424c0636b698e5ea0a587c0',1,'SVF::DefaultDOTGraphTraits']]],
   ['rep',['rep',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#aae671732173cc6f958612ac934a6b503',1,'SVF::SCCDetection::GNodeSCCInfo::rep(void) const'],['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a22079b5877606f469c0f8a851e55215b',1,'SVF::SCCDetection::GNodeSCCInfo::rep(NodeID n)'],['../classSVF_1_1SCCDetection.html#a0495f912a9084b21327f678b47ef7e07',1,'SVF::SCCDetection::rep(NodeID n, NodeID r)'],['../classSVF_1_1SCCDetection.html#ac22aee5fdb22387b5bd0f612faef689c',1,'SVF::SCCDetection::rep(NodeID n)']]],
   ['replace_5fitem_5fin_5fobject',['replace_item_in_object',['../cJSON_8cpp.html#afdae75197cf2c440ef858a2e93b104f2',1,'cJSON.cpp']]],
   ['replacefparamaretwithphi',['replaceFParamARetWithPHI',['../classSVF_1_1SVFGOPT.html#a1fd6d26203d7d574b5664b8fcae54c1a',1,'SVF::SVFGOPT']]],

package/SVF-doxygen/html/html/search/functions_11.js CHANGED Viewed

@@ -53,7 +53,6 @@ var searchData=
   ['setfunidxinvtable',['setFunIdxInVtable',['../classSVF_1_1SVFVirtualCallInst.html#a947d6ca3695477fb5b36b46fa4899fb7',1,'SVF::SVFVirtualCallInst']]],
   ['setfunnameofvirtualcall',['setFunNameOfVirtualCall',['../classSVF_1_1SVFVirtualCallInst.html#adf936a7ee01d9c4662e31a5022ae94c0',1,'SVF::SVFVirtualCallInst']]],
   ['setgraph',['setGraph',['../classSVF_1_1SrcSnkSolver.html#a49cae8f70144639f529956478a8fca2b',1,'SVF::SrcSnkSolver::setGraph()'],['../classSVF_1_1GraphReachSolver.html#a0298a692295a8a4eae32ab151aa6ccc3',1,'SVF::GraphReachSolver::setGraph()'],['../classSVF_1_1WPASolver.html#aa04deb39cd024c051f30ac43d1d62b34',1,'SVF::WPASolver::setGraph()']]],
-  ['sethasname',['setHasName',['../classSVF_1_1SVFValue.html#afe3fb992ad104c32520172ebd92c2588',1,'SVF::SVFValue']]],
   ['seticfg',['setICFG',['../classSVF_1_1SVFIR.html#a756ae2b40ec29f2f92c95919f615e5ec',1,'SVF::SVFIR']]],
   ['seticfgnode',['setICFGNode',['../classSVF_1_1VFGNode.html#a9c95dd4f0e70ccc4a03282cdddba95de',1,'SVF::VFGNode::setICFGNode()'],['../classSVF_1_1SVFStmt.html#adb92a92f5c878576dff26cb38eab8c8c',1,'SVF::SVFStmt::setICFGNode()']]],
   ['setincycle',['setIncycle',['../classSVF_1_1CxtThread.html#adde663205c3ecc5a2e01b18bc305d5cb',1,'SVF::CxtThread']]],
@@ -201,7 +200,7 @@ var searchData=
   ['svfgnodelockspan',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a43f4d595b31259576b141cb99883938e',1,'SVF::SVFGNodeLockSpan']]],
   ['svfgopt',['SVFGOPT',['../classSVF_1_1SVFGOPT.html#a239475c15b39d54c632427307b8e9350',1,'SVF::SVFGOPT']]],
   ['svfgsccdetection',['SVFGSCCDetection',['../classSVF_1_1DDAVFSolver.html#aba0ec611a5cfd096ac0b8b11e0bd5580',1,'SVF::DDAVFSolver']]],
-  ['svfgstat',['svfgStat',['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()'],['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()']]],
+  ['svfgstat',['SVFGStat',['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()'],['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()']]],
   ['svfinstruction',['SVFInstruction',['../classSVF_1_1SVFInstruction.html#af12f1d63483901bd33a42f04bccddeb8',1,'SVF::SVFInstruction::SVFInstruction(const std::string &amp;i, const SVFType *ty, const SVFBasicBlock *b, bool tm, bool isRet, SVFValKind k=SVFInst)'],['../classSVF_1_1SVFInstruction.html#a245c052c318899d236654d629b855851',1,'SVF::SVFInstruction::SVFInstruction(const std::string &amp;i)=delete'],['../classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c',1,'SVF::SVFInstruction::SVFInstruction(void)=delete']]],
   ['svfintergertype',['SVFIntergerType',['../classSVF_1_1SVFIntergerType.html#a4d0548bce2f5cf88d734800d61a6a613',1,'SVF::SVFIntergerType']]],
   ['svfir',['SVFIR',['../classSVF_1_1SVFIR.html#abf511f82cdbf7a6d9b6da167aee57636',1,'SVF::SVFIR']]],

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

@@ -28,7 +28,7 @@ var searchData=
   ['view',['view',['../classSVF_1_1CFLGraph.html#a0f1b98e7cecc352a7fa7624b530efe49',1,'SVF::CFLGraph::view()'],['../classSVF_1_1CHGraph.html#a87a7d8c281490fbd2377d64b0115d262',1,'SVF::CHGraph::view()'],['../classSVF_1_1ConstraintGraph.html#a27d8078577d479c84f2a87b44f015d1c',1,'SVF::ConstraintGraph::view()'],['../classSVF_1_1ICFG.html#a0d16e302515ffa0033e02ee8f6b3b590',1,'SVF::ICFG::view()'],['../classSVF_1_1IRGraph.html#a3a656bb310ba0f42e525995a480a5b67',1,'SVF::IRGraph::view()'],['../classSVF_1_1PTACallGraph.html#a7c2d28b4707d7feaabf62977cef90d27',1,'SVF::PTACallGraph::view()'],['../classSVF_1_1VFG.html#ae4350f68e960bfef87f44587628b1929',1,'SVF::VFG::view()']]],
   ['viewcfg',['viewCFG',['../namespaceSVF_1_1LLVMUtil.html#abc9c437b7da5cfe3d988dadfcbd0635f',1,'SVF::LLVMUtil']]],
   ['viewcfgonly',['viewCFGOnly',['../namespaceSVF_1_1LLVMUtil.html#a2abbe4ed46b2031a981d93b3ba9d3fbd',1,'SVF::LLVMUtil']]],
-  ['viewgraph',['ViewGraph',['../namespacellvm.html#a470c5592e4cd36a22901d15832b9c41b',1,'llvm']]],
+  ['viewgraph',['ViewGraph',['../namespaceSVF.html#a4582a7d33a5631a5a38973f50035327e',1,'SVF']]],
   ['visit',['visit',['../classSVF_1_1SCCDetection.html#af799d7043e501e43e04e51fd4d6c6571',1,'SVF::SCCDetection::visit()'],['../classSVF_1_1CSC.html#a2863ae212693f9ca6341e23f9d9634bf',1,'SVF::CSC::visit()'],['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html#af7ba77d72962b930a8107752e259008b',1,'SVF::VersionedFlowSensitive::SCC::visit()']]],
   ['visitallocainst',['visitAllocaInst',['../classSVF_1_1SVFIRBuilder.html#a4be150eb37b75e4c081dfe38429f2089',1,'SVF::SVFIRBuilder']]],
   ['visitatomiccmpxchginst',['visitAtomicCmpXchgInst',['../classSVF_1_1SVFIRBuilder.html#ac5ae89051b0775ed209dcc654691958b',1,'SVF::SVFIRBuilder']]],

package/SVF-doxygen/html/html/search/functions_15.js CHANGED Viewed

@@ -8,14 +8,14 @@ var searchData=
   ['wpapass',['WPAPass',['../classSVF_1_1WPAPass.html#a3fc957e01a3ac7c242c030c6f6846fa9',1,'SVF::WPAPass']]],
   ['wpasccsolver',['WPASCCSolver',['../classSVF_1_1WPASCCSolver.html#aa2c15ca2f8fba1a5d77f0332e4ddf9e8',1,'SVF::WPASCCSolver']]],
   ['wpasolver',['WPASolver',['../classSVF_1_1WPASolver.html#a0c5616b0e340955dafc2ab2f21740abd',1,'SVF::WPASolver']]],
-  ['wrapped',['wrapped',['../classllvm_1_1iterator__adaptor__base.html#a780f0b7d17722cfe06d228fea3c060f7',1,'llvm::iterator_adaptor_base']]],
-  ['writeedge',['writeEdge',['../classllvm_1_1GraphWriter.html#a5a3c530ecf0e13d79816c345c4d114ec',1,'llvm::GraphWriter']]],
-  ['writefooter',['writeFooter',['../classllvm_1_1GraphWriter.html#ad91df53d734fd4567e198911658cadcc',1,'llvm::GraphWriter']]],
-  ['writegraph',['writeGraph',['../classllvm_1_1GraphWriter.html#a735f4b736fd7e2b9e8e8f4618a6d15b6',1,'llvm::GraphWriter::writeGraph()'],['../namespacellvm.html#adc0ea9d5e23d0277eda65041e33fee55',1,'llvm::WriteGraph(std::ofstream &amp;O, const GraphType &amp;G, bool ShortNames=false)'],['../namespacellvm.html#a8532ada875ed55f0d803315ae7c39f39',1,'llvm::WriteGraph(const GraphType &amp;G, bool ShortNames=false, std::string Filename=&quot;&quot;)']]],
-  ['writegraphtofile',['WriteGraphToFile',['../classllvm_1_1GraphPrinter.html#af6ed328e74882d2b5e2b4039cb836928',1,'llvm::GraphPrinter']]],
-  ['writeheader',['writeHeader',['../classllvm_1_1GraphWriter.html#ae6d4aa3516673900b59b36270de4d327',1,'llvm::GraphWriter']]],
-  ['writenode',['writeNode',['../classllvm_1_1GraphWriter.html#a2f9acb4356fb561c08c041c7761210d8',1,'llvm::GraphWriter']]],
-  ['writenodes',['writeNodes',['../classllvm_1_1GraphWriter.html#ae154c973ffaab3104a365b5b8c3a6155',1,'llvm::GraphWriter']]],
+  ['wrapped',['wrapped',['../classSVF_1_1iter__adaptor__base.html#afa1dc067ea97ae5db1e2618e47be1525',1,'SVF::iter_adaptor_base']]],
+  ['writeedge',['writeEdge',['../classSVF_1_1GraphWriter.html#a6133d0033363b0e9db156c354da7d7e6',1,'SVF::GraphWriter']]],
+  ['writefooter',['writeFooter',['../classSVF_1_1GraphWriter.html#a5c3ce0eba24c71f847676b23b855e44c',1,'SVF::GraphWriter']]],
+  ['writegraph',['writeGraph',['../classSVF_1_1GraphWriter.html#ae414407f483b60c9fa49e2f3ae62de30',1,'SVF::GraphWriter::writeGraph()'],['../namespaceSVF.html#ae27267f89add1338fd5afe3a38f61ebd',1,'SVF::WriteGraph(std::ofstream &amp;O, const GraphType &amp;G, bool ShortNames=false)'],['../namespaceSVF.html#a587614f74cb00a35a423559265239798',1,'SVF::WriteGraph(const GraphType &amp;G, bool ShortNames=false, std::string Filename=&quot;&quot;)']]],
+  ['writegraphtofile',['WriteGraphToFile',['../classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10',1,'SVF::GraphPrinter']]],
+  ['writeheader',['writeHeader',['../classSVF_1_1GraphWriter.html#abd376959cc889e1e387523f38674650f',1,'SVF::GraphWriter']]],
+  ['writenode',['writeNode',['../classSVF_1_1GraphWriter.html#a18c579b53feccbb3b521982c6161f555',1,'SVF::GraphWriter']]],
+  ['writenodes',['writeNodes',['../classSVF_1_1GraphWriter.html#ada2363727dc20c2183b8252f3bdf3a04',1,'SVF::GraphWriter']]],
   ['writepaggepnode',['writePAGgepNode',['../classSVF_1_1IRAnnotator.html#a958e9af846c882ef3eeba4d71ff7ef7d',1,'SVF::IRAnnotator']]],
   ['writetofile',['writeToFile',['../classSVF_1_1SVFG.html#a7ce9ec638995467c211958262be08ee1',1,'SVF::SVFG::writeToFile()'],['../classSVF_1_1BVDataPTAImpl.html#a25c68f9d2b88437778e854ff0d741d1b',1,'SVF::BVDataPTAImpl::writeToFile()']]],
   ['writetomodule',['writeToModule',['../classSVF_1_1BVDataPTAImpl.html#aa0ca07204a31004fb876c6e18d1ac1ca',1,'SVF::BVDataPTAImpl']]],

package/SVF-doxygen/html/html/search/functions_2.js CHANGED Viewed

@@ -47,10 +47,10 @@ var searchData=
   ['chedge',['CHEdge',['../classSVF_1_1CHEdge.html#af01c14c28db231b7bfae39344d1ae8ee',1,'SVF::CHEdge']]],
   ['chgbuilder',['CHGBuilder',['../classSVF_1_1CHGBuilder.html#a436e4f8b1e1cad85f0c7df938afe8c78',1,'SVF::CHGBuilder']]],
   ['chgraph',['CHGraph',['../classSVF_1_1CHGraph.html#afacd7d35dad4344a5c2551d951acb442',1,'SVF::CHGraph']]],
-  ['child_5fbegin',['child_begin',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#aecba6127f1e1802104590d63ac710421',1,'llvm::GraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;::child_begin()'],['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a40de5c2e7ac24421cc93b2235d00089c',1,'llvm::GraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;::child_begin()']]],
-  ['child_5fend',['child_end',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#af7353e7790e6d4828d76fc16bea16212',1,'llvm::GraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;::child_end()'],['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab82e90ae6e1f1b39e5c33f9c9a6cfcf9',1,'llvm::GraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;::child_end()']]],
-  ['children',['children',['../namespacellvm.html#a77e0432868a8d88e98b2fdb383790e4a',1,'llvm']]],
-  ['children_5fedges',['children_edges',['../namespacellvm.html#aa7827c4f1bc6c4c3e21161da5bee01db',1,'llvm']]],
+  ['child_5fbegin',['child_begin',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#ae637bc31f349b6f73f0af2af6804de16',1,'SVF::GenericGraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;::child_begin()'],['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a94ebf9aa4f1b1c6e74237baf70535261',1,'SVF::GenericGraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;::child_begin()']]],
+  ['child_5fend',['child_end',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a478b8ebeec4d12d2e831ba9b5679011e',1,'SVF::GenericGraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;::child_end()'],['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ad46aad713072be28258bd2d0350300cc',1,'SVF::GenericGraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;::child_end()']]],
+  ['children',['children',['../namespaceSVF.html#a67f454fa9341632d195fd5da619130f0',1,'SVF']]],
+  ['children_5fedges',['children_edges',['../namespaceSVF.html#ab485076115c46b3e009cc5c4d252adae',1,'SVF']]],
   ['chnode',['CHNode',['../classSVF_1_1CHNode.html#a1f2c496e378d01841e4dc164942dc145',1,'SVF::CHNode']]],
   ['cjson_5fdelete',['cJSON_Delete',['../cJSON_8cpp.html#afde5c619f31577b3d821b56b23953c85',1,'cJSON_Delete(null):&#160;cJSON.cpp'],['../cJSON_8cpp.html#a82198c8ae9b9391ec58d1b4dd2a0d835',1,'cJSON_Delete(true_item):&#160;cJSON.cpp'],['../cJSON_8cpp.html#a38f5e694b5c8025da97c64a1323624b6',1,'cJSON_Delete(false_item):&#160;cJSON.cpp'],['../cJSON_8cpp.html#ad4379116322d8ea25bed7d926949928e',1,'cJSON_Delete(bool_item):&#160;cJSON.cpp'],['../cJSON_8cpp.html#a863d15ca4bb3d25b45537a52e60d5f16',1,'cJSON_Delete(number_item):&#160;cJSON.cpp'],['../cJSON_8cpp.html#ac343e582979460eb601a28c0f160f20d',1,'cJSON_Delete(string_item):&#160;cJSON.cpp'],['../cJSON_8cpp.html#acd085638be3dd8a2283605d0a63cd10f',1,'cJSON_Delete(raw_item):&#160;cJSON.cpp'],['../cJSON_8cpp.html#a4c1451255d141b30ba24e40a463a1a50',1,'cJSON_Delete(object_item):&#160;cJSON.cpp'],['../cJSON_8cpp.html#aec5a5cee199637b43ff6bca41f6e4d17',1,'cJSON_Delete(array):&#160;cJSON.cpp'],['../cJSON_8cpp.html#ae3da86d5128d65acfd4dd68fbcd4c09c',1,'cJSON_Delete(item):&#160;cJSON.cpp']]],
   ['cjson_5fdetachitemviapointer',['cJSON_DetachItemViaPointer',['../cJSON_8cpp.html#a3ac2a63423914bb3e443d578dd07b998',1,'cJSON.cpp']]],

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

@@ -8,11 +8,11 @@ var searchData=
   ['ddapass',['DDAPass',['../classSVF_1_1DDAPass.html#a4f68cbbe00863024cba2ecf513ff979f',1,'SVF::DDAPass']]],
   ['ddastat',['DDAStat',['../classSVF_1_1DDAStat.html#aef8db234efc3a5ae58a6d43de97ca361',1,'SVF::DDAStat::DDAStat(FlowDDA *pta)'],['../classSVF_1_1DDAStat.html#ae7670e6458c62473b0be78004466b9d7',1,'SVF::DDAStat::DDAStat(ContextDDA *pta)']]],
   ['ddavfsolver',['DDAVFSolver',['../classSVF_1_1DDAVFSolver.html#a7ee96b513074c283d23434590ce15e7d',1,'SVF::DDAVFSolver']]],
-  ['defaultdotgraphtraits',['DefaultDOTGraphTraits',['../structllvm_1_1DefaultDOTGraphTraits.html#a8a0585a182245d87b224f4a26a41cf16',1,'llvm::DefaultDOTGraphTraits']]],
+  ['defaultdotgraphtraits',['DefaultDOTGraphTraits',['../structSVF_1_1DefaultDOTGraphTraits.html#a2fdfa8abc93bd4d0211c4db8ef4ede3e',1,'SVF::DefaultDOTGraphTraits']]],
   ['delta',['delta',['../classSVF_1_1VersionedFlowSensitive.html#a9f9b00551c157f42d1d995e8c4efb54b',1,'SVF::VersionedFlowSensitive']]],
   ['deltasource',['deltaSource',['../classSVF_1_1VersionedFlowSensitive.html#a3fa5afa4f54e0828ec090fde07b1bfa2',1,'SVF::VersionedFlowSensitive']]],
   ['demangle',['demangle',['../namespaceSVF_1_1cppUtil.html#a1007c092efaeae41002efd91b803a7f6',1,'SVF::cppUtil']]],
-  ['deref_5fval',['deref_val',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a60846a619cccd2546bf53c8e2dd81c87',1,'llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;']]],
+  ['deref_5fval',['deref_val',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a15f4cee67b783061f09705dc7d2a2f87',1,'SVF::GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;']]],
   ['destory',['destory',['../classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90',1,'SVF::ExtAPI']]],
   ['destroy',['destroy',['../classSVF_1_1ConstraintGraph.html#a77ba38543b1ee164f1ae95589d5dbc44',1,'SVF::ConstraintGraph::destroy()'],['../classSVF_1_1GenericGraph.html#adf0a205f4f62f33c5fa8f2d544aac633',1,'SVF::GenericGraph::destroy()'],['../classSVF_1_1PTACallGraph.html#a6a794ee3e4b217a1a0c6edf4bcdbdb69',1,'SVF::PTACallGraph::destroy()'],['../classSVF_1_1SVFG.html#a82a93d9b7fcf1938e3090a0826a1ca7e',1,'SVF::SVFG::destroy()'],['../classSVF_1_1VFG.html#af5005136743913d760d7402bbd308c69',1,'SVF::VFG::destroy()'],['../classSVF_1_1PointerAnalysis.html#a03dadb5429e2b84f88713a83153979a8',1,'SVF::PointerAnalysis::destroy()'],['../classSVF_1_1BVDataPTAImpl.html#af783769050ab663ad4bb93f901f01a6d',1,'SVF::BVDataPTAImpl::destroy()'],['../classSVF_1_1CondPTAImpl.html#a5fa3d986e4ef710a2148b2854167c3ed',1,'SVF::CondPTAImpl::destroy()'],['../classSVF_1_1MRGenerator.html#ac253d88de2a0cb9624c70d2bcfdac36e',1,'SVF::MRGenerator::destroy()'],['../classSVF_1_1MemSSA.html#a3d6096aeb4155444b532b02bb8559113',1,'SVF::MemSSA::destroy()'],['../classSVF_1_1TCT.html#aa453e3b27ec5fa4782bd6b9adef66877',1,'SVF::TCT::destroy()'],['../classSVF_1_1ProgSlice.html#a899332b210414ac991b57e83851ee5be',1,'SVF::ProgSlice::destroy()'],['../classSVF_1_1SaberCondAllocator.html#a59e01031d81c2e06bbc6577036b51732',1,'SVF::SaberCondAllocator::destroy()'],['../classSVF_1_1SVFIR.html#a6834558be6987c91a3732154482c9567',1,'SVF::SVFIR::destroy()'],['../classSVF_1_1SymbolTableInfo.html#a87cc3289dd69e5378487dd9ae2c9e82e',1,'SVF::SymbolTableInfo::destroy()'],['../classSVF_1_1MemObj.html#a1e6ff4c2b04b07c5f71e5e7a6a0d7735',1,'SVF::MemObj::destroy()'],['../classSVF_1_1ThreadAPI.html#af4d921a3a0e5374188f7b6a6427c049d',1,'SVF::ThreadAPI::destroy()']]],
   ['detect',['detect',['../classSVF_1_1MTA.html#af9558955c068ce922872c259dde1786e',1,'SVF::MTA']]],
@@ -21,8 +21,8 @@ var searchData=
   ['dfptdata',['DFPTData',['../classSVF_1_1DFPTData.html#a40016a7e3dac46d9ba854d336c7aae83',1,'SVF::DFPTData']]],
   ['dfreechecker',['DFREECHECKER',['../saber_8cpp.html#ae783b2330e99490ef5d366605d1098cf',1,'saber.cpp']]],
   ['diffptdata',['DiffPTData',['../classSVF_1_1DiffPTData.html#ac7e9661cfb4d5af3ef35d323ddc35558',1,'SVF::DiffPTData']]],
-  ['direct_5fchild_5fbegin',['direct_child_begin',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a0c74bc70e04aa3186fbc369717b22a12',1,'llvm::GraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;']]],
-  ['direct_5fchild_5fend',['direct_child_end',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a58094251972081b08b4c6db42a3a374f',1,'llvm::GraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;']]],
+  ['direct_5fchild_5fbegin',['direct_child_begin',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a46c6957a8771d6e52dc71d5f7b3c4e81',1,'SVF::GenericGraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;']]],
+  ['direct_5fchild_5fend',['direct_child_end',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a543da98c9818fbfd235152beab355e9c',1,'SVF::GenericGraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;']]],
   ['directcallsbegin',['directCallsBegin',['../classSVF_1_1PTACallGraphEdge.html#a750e50a9022451e406c4819979edffa5',1,'SVF::PTACallGraphEdge']]],
   ['directcallsend',['directCallsEnd',['../classSVF_1_1PTACallGraphEdge.html#acc4fcacefdc9be9a214dfcc455fe7970',1,'SVF::PTACallGraphEdge']]],
   ['directinedgebegin',['directInEdgeBegin',['../classSVF_1_1ConstraintNode.html#a947fd86d30a4f0145280ab9a56fd8b10',1,'SVF::ConstraintNode::directInEdgeBegin()'],['../classSVF_1_1ConstraintNode.html#ae40976e622fdfe9c52b56ec386f1a53c',1,'SVF::ConstraintNode::directInEdgeBegin() const'],['../classSVF_1_1GenericNode.html#a4ab1f2e5db301e4a37215905a22e6476',1,'SVF::GenericNode::directInEdgeBegin()'],['../classSVF_1_1GenericNode.html#ab331402aed245c33bad841df2bc21f7b',1,'SVF::GenericNode::directInEdgeBegin() const']]],
@@ -37,7 +37,7 @@ var searchData=
   ['ditypetostr',['diTypeToStr',['../classSVF_1_1DCHGraph.html#a2dc488345cc3a5f37079952f638d8c2b',1,'SVF::DCHGraph']]],
   ['doit',['doit',['../structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee',1,'SVF::SVFUtil::isa_impl::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl_3_01To_00_01From_00_01typename_01std_1_1enable__if_3_01std_1_1101a002941fb8432b76e90258f1ec6b7.html#a0da9525f6f39a3eb9ce9275731c2ad64',1,'SVF::SVFUtil::isa_impl&lt; To, From, typename std::enable_if&lt; std::is_base_of&lt; To, From &gt;::value &gt;::type &gt;::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl.html#afbe68352d888c0b15e9f46d4e378bacb',1,'SVF::SVFUtil::isa_impl_cl::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_4.html#af9a6a9c7660d5daedf8cd907788ac78d',1,'SVF::SVFUtil::isa_impl_cl&lt; To, const From &gt;::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01std_1_1unique__ptr_3_01From_01_4_01_4.html#aff368847551a69d07b06237908594852',1,'SVF::SVFUtil::isa_impl_cl&lt; To, const std::unique_ptr&lt; From &gt; &gt;::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5_01_4.html#a8add67bd107583b7c34fce53a748bcb0',1,'SVF::SVFUtil::isa_impl_cl&lt; To, From * &gt;::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5const_01_4.html#ac95b00b5d96e6b8457ecade4dbda3de3',1,'SVF::SVFUtil::isa_impl_cl&lt; To, From *const &gt;::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4.html#a761b612c6ee476a28aabfbbc6b2da7ab',1,'SVF::SVFUtil::isa_impl_cl&lt; To, const From * &gt;::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5const_01_4.html#af73d1d0d7eb6f51090b4df47b497483a',1,'SVF::SVFUtil::isa_impl_cl&lt; To, const From *const &gt;::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__wrap.html#aa0f166d8bdcd1e7b954cc29c19a40b04',1,'SVF::SVFUtil::isa_impl_wrap::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#a414dc089b04305b8580dede7a6337404',1,'SVF::SVFUtil::isa_impl_wrap&lt; To, FromTy, FromTy &gt;::doit()'],['../structSVF_1_1SVFUtil_1_1cast__convert__val.html#a42987ff69d76fef88044fe0b19743239',1,'SVF::SVFUtil::cast_convert_val::doit()'],['../structSVF_1_1SVFUtil_1_1cast__convert__val_3_01To_00_01FromTy_00_01FromTy_01_4.html#a2dd56ef15d86f61c7fef34dc15173e4a',1,'SVF::SVFUtil::cast_convert_val&lt; To, FromTy, FromTy &gt;::doit()']]],
   ['dominate',['dominate',['../classSVF_1_1SaberCondAllocator.html#af2fe5ef8f31ae675a7a32b45aa34a597',1,'SVF::SaberCondAllocator::dominate()'],['../classSVF_1_1SVFLoopAndDomInfo.html#a342f2825d6b7e3289d0f0f4b7ee8247c',1,'SVF::SVFLoopAndDomInfo::dominate()'],['../classSVF_1_1SVFFunction.html#a03db4ff0d8140ebc0219caea902e7078',1,'SVF::SVFFunction::dominate()']]],
-  ['dotgraphtraits',['DOTGraphTraits',['../structllvm_1_1DOTGraphTraits.html#a44b9192cea3ca9e59ab71c502c21a352',1,'llvm::DOTGraphTraits::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a0a47c58da5bab4b282856a0c7616388e',1,'llvm::DOTGraphTraits&lt; CFLGraph * &gt;::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a9ed844169fc8d8f3e42d25dfcc6f451f',1,'llvm::DOTGraphTraits&lt; CHGraph * &gt;::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a007736227bec42182208176006b7d83d',1,'llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a72d303201f61fdec14f08bddabf649e5',1,'llvm::DOTGraphTraits&lt; ICFG * &gt;::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#ad540c20d134f28f3b99a32d0e69b2a3f',1,'llvm::DOTGraphTraits&lt; IRGraph * &gt;::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a34fdb3c78cdda82f0bb81f143891cea8',1,'llvm::DOTGraphTraits&lt; PTACallGraph * &gt;::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a1e5cce964fc852f8bdada1edc174bd5a',1,'llvm::DOTGraphTraits&lt; SVFG * &gt;::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a0ae94170a4f95bfc7e89d0149ff67882',1,'llvm::DOTGraphTraits&lt; VFG * &gt;::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a1c96cefb862ef290819e689104b18280',1,'llvm::DOTGraphTraits&lt; TCT * &gt;::DOTGraphTraits()']]],
+  ['dotgraphtraits',['DOTGraphTraits',['../structSVF_1_1DOTGraphTraits.html#a359df069e6c41d32e8b7ed5a23817e99',1,'SVF::DOTGraphTraits::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a85e149bc2cb9c6de4ad5b106138f5cd9',1,'SVF::DOTGraphTraits&lt; CFLGraph * &gt;::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a1766ccfed581eae6505f66d38ba6a047',1,'SVF::DOTGraphTraits&lt; CHGraph * &gt;::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ad816997d240e758f7a2f1f6508048ef3',1,'SVF::DOTGraphTraits&lt; ConstraintGraph * &gt;::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#af0d447adf06f88bad4b25ba8fd14efd5',1,'SVF::DOTGraphTraits&lt; ICFG * &gt;::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a176af80970e864d657ee3dd8dbd67a35',1,'SVF::DOTGraphTraits&lt; IRGraph * &gt;::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a6ee6203a72086167e4277a43f0a3f6fd',1,'SVF::DOTGraphTraits&lt; PTACallGraph * &gt;::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ad3c3175e8f9729650cf55c72de96ff8e',1,'SVF::DOTGraphTraits&lt; SVFG * &gt;::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a682f25ccfcb9ff37d6323ce8bce7ca64',1,'SVF::DOTGraphTraits&lt; VFG * &gt;::DOTGraphTraits()'],['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#adafb93ca8d752a5405c5ec39bcb76e18',1,'SVF::DOTGraphTraits&lt; TCT * &gt;::DOTGraphTraits()']]],
   ['doublefreechecker',['DoubleFreeChecker',['../classSVF_1_1DoubleFreeChecker.html#ac9d147b16442bb4746f66cffe46a070a',1,'SVF::DoubleFreeChecker']]],
   ['dpitem',['DPItem',['../classSVF_1_1DPItem.html#ac5dbe11ebf512e6dccdfa1eceba04fe8',1,'SVF::DPItem::DPItem(NodeID c)'],['../classSVF_1_1DPItem.html#a715b7de4a392d8c389e611e27f8b9184',1,'SVF::DPItem::DPItem(const DPItem &amp;dps)'],['../classSVF_1_1DPItem.html#a97b304417b1b2253d9bd30ee22d269df',1,'SVF::DPItem::DPItem(DPItem &amp;&amp;dps) noexcept']]],
   ['dummyobjvar',['DummyObjVar',['../classSVF_1_1DummyObjVar.html#a3dff74bbf50b6a901239d3fd31e0f36c',1,'SVF::DummyObjVar']]],

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

@@ -4,19 +4,19 @@ var searchData=
   ['ebnfbracketmatch',['ebnfBracketMatch',['../classSVF_1_1CFGNormalizer.html#a8eddaa57527c0e5e538b1d207da7adc0',1,'SVF::CFGNormalizer']]],
   ['ebnfsignreplace',['ebnfSignReplace',['../classSVF_1_1CFGNormalizer.html#a37f4a6a11af608439596752d20667648',1,'SVF::CFGNormalizer']]],
   ['ecunion',['ecUnion',['../classSVF_1_1Steensgaard.html#a191e77e62916d868b2af730264e26dd8',1,'SVF::Steensgaard']]],
-  ['edge_5fdest',['edge_dest',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a84cc3da79c2c9c5bcdf50da4b919b7da',1,'llvm::GraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;::edge_dest()'],['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a1b463e94c43d2966b8d6cf096b3d04cd',1,'llvm::GraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;::edge_dest()']]],
+  ['edge_5fdest',['edge_dest',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#ad2b32bee6c168b7d2ed993ae1231efaa',1,'SVF::GenericGraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;::edge_dest()'],['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ad2165b803309699067af3b876a741c8c',1,'SVF::GenericGraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;::edge_dest()']]],
   ['edgeincallgraphscc',['edgeInCallGraphSCC',['../classSVF_1_1ContextDDA.html#ad54f523bf5f2504c1924b4f94c5abbba',1,'SVF::ContextDDA::edgeInCallGraphSCC()'],['../classSVF_1_1DDAPass.html#aab60429398a89ec1c8663a305130376f',1,'SVF::DDAPass::edgeInCallGraphSCC()']]],
   ['edgeinsvfgscc',['edgeInSVFGSCC',['../classSVF_1_1DDAPass.html#a3810708c5e2695d2a0e36084b589e432',1,'SVF::DDAPass::edgeInSVFGSCC()'],['../classSVF_1_1DDAVFSolver.html#a034e3c8b2eec00aee9de439dfeeda332',1,'SVF::DDAVFSolver::edgeInSVFGSCC()']]],
-  ['edgetargetsedgesource',['edgeTargetsEdgeSource',['../structllvm_1_1DefaultDOTGraphTraits.html#a89ab1cad8814ece47ef2b4cff3045532',1,'llvm::DefaultDOTGraphTraits']]],
-  ['emitedge',['emitEdge',['../classllvm_1_1GraphWriter.html#ad621d196f82bd8898a0840c045920ea3',1,'llvm::GraphWriter']]],
-  ['emitsimplenode',['emitSimpleNode',['../classllvm_1_1GraphWriter.html#a5f409f860e49edb941120a2908613c43',1,'llvm::GraphWriter']]],
+  ['edgetargetsedgesource',['edgeTargetsEdgeSource',['../structSVF_1_1DefaultDOTGraphTraits.html#a78c40f9b1af839116b88519fca154396',1,'SVF::DefaultDOTGraphTraits']]],
+  ['emitedge',['emitEdge',['../classSVF_1_1GraphWriter.html#a320577b81479578a8e6021380f9c07a7',1,'SVF::GraphWriter']]],
+  ['emitsimplenode',['emitSimpleNode',['../classSVF_1_1GraphWriter.html#a0feff91ed80b997dd4550fae16382768',1,'SVF::GraphWriter']]],
   ['emplacepts',['emplacePts',['../classSVF_1_1PersistentPointsToCache.html#a98d176e384469e0308bfee2061ef84b5',1,'SVF::PersistentPointsToCache']]],
-  ['empty',['empty',['../classSVF_1_1CFLFIFOWorkList.html#aa0ce832f5eeae74d52260fd8954d545f',1,'SVF::CFLFIFOWorkList::empty()'],['../classSVF_1_1CondStdSet.html#a0305cbf452b4e858e464023727417d76',1,'SVF::CondStdSet::empty()'],['../classSVF_1_1CondPointsToSet.html#aca84f0f9e09686d9f30f309d36267aff',1,'SVF::CondPointsToSet::empty()'],['../classSVF_1_1PointsTo.html#ac4688413177b49b37dbbfd3ed188d59b',1,'SVF::PointsTo::empty()'],['../classSVF_1_1LLVMModuleSet.html#ae19e38054c55d5822dfc83a12f12aa60',1,'SVF::LLVMModuleSet::empty()'],['../classSVF_1_1CoreBitVector.html#a98b9795b4fdc74d9d2efa9a3f2ecb62f',1,'SVF::CoreBitVector::empty()'],['../classllvm_1_1iterator__range.html#a06fff5bdd2bdf6d2c200e281787dc284',1,'llvm::iterator_range::empty()'],['../structSVF_1_1SparseBitVectorElement.html#ac3a4795681af74563d757f587252aa7f',1,'SVF::SparseBitVectorElement::empty()'],['../classSVF_1_1SparseBitVector.html#aea5389ad7e5fe4c8bef686940a1a6056',1,'SVF::SparseBitVector::empty()'],['../classSVF_1_1List.html#a063246d2aa23e389e513c5498ff33aca',1,'SVF::List::empty()'],['../classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8',1,'SVF::FIFOWorkList::empty()'],['../classSVF_1_1FILOWorkList.html#a071a624c91def82a4bbbf3806c7b7eea',1,'SVF::FILOWorkList::empty()']]],
+  ['empty',['empty',['../classSVF_1_1CFLFIFOWorkList.html#aa0ce832f5eeae74d52260fd8954d545f',1,'SVF::CFLFIFOWorkList::empty()'],['../classSVF_1_1CondStdSet.html#a0305cbf452b4e858e464023727417d76',1,'SVF::CondStdSet::empty()'],['../classSVF_1_1CondPointsToSet.html#aca84f0f9e09686d9f30f309d36267aff',1,'SVF::CondPointsToSet::empty()'],['../classSVF_1_1PointsTo.html#ac4688413177b49b37dbbfd3ed188d59b',1,'SVF::PointsTo::empty()'],['../classSVF_1_1LLVMModuleSet.html#ae19e38054c55d5822dfc83a12f12aa60',1,'SVF::LLVMModuleSet::empty()'],['../classSVF_1_1CoreBitVector.html#a98b9795b4fdc74d9d2efa9a3f2ecb62f',1,'SVF::CoreBitVector::empty()'],['../classSVF_1_1iter__range.html#ad8b380db56076165a0324922daa2e850',1,'SVF::iter_range::empty()'],['../structSVF_1_1SparseBitVectorElement.html#ac3a4795681af74563d757f587252aa7f',1,'SVF::SparseBitVectorElement::empty()'],['../classSVF_1_1SparseBitVector.html#aea5389ad7e5fe4c8bef686940a1a6056',1,'SVF::SparseBitVector::empty()'],['../classSVF_1_1List.html#a063246d2aa23e389e513c5498ff33aca',1,'SVF::List::empty()'],['../classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8',1,'SVF::FIFOWorkList::empty()'],['../classSVF_1_1FILOWorkList.html#a071a624c91def82a4bbbf3806c7b7eea',1,'SVF::FILOWorkList::empty()']]],
   ['emptypointstoid',['emptyPointsToId',['../classSVF_1_1PersistentPointsToCache.html#a921a4ef4c72ccde5724860f98ad62a57',1,'SVF::PersistentPointsToCache']]],
   ['enablecontext',['ENABLECONTEXT',['../dda_8cpp.html#a1fe1900e000a62ca91dc0651bfa3a24f',1,'dda.cpp']]],
   ['enablefield',['ENABLEFIELD',['../dda_8cpp.html#adad2a8a1b2f5bf9f333382725f174cb0',1,'dda.cpp']]],
   ['enableflow',['ENABLEFLOW',['../dda_8cpp.html#af95c31f8cf35812a4fe4a22342aacaa2',1,'dda.cpp']]],
-  ['end',['end',['../classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d',1,'SVF::GenericGraph::end()'],['../classSVF_1_1GenericGraph.html#a3001af3746d26b7dc0a212db5e48a4bb',1,'SVF::GenericGraph::end() const'],['../classSVF_1_1CondStdSet.html#a93c232ef7e5dea652622da7f994e1dc3',1,'SVF::CondStdSet::end()'],['../classSVF_1_1CondStdSet.html#accc5305781696701c00245ed1e8a25a3',1,'SVF::CondStdSet::end() const'],['../classSVF_1_1CondPointsToSet.html#a5ead697952ada3fbb07da3459a2b1b86',1,'SVF::CondPointsToSet::end()'],['../classSVF_1_1CondPointsToSet.html#a537890d918d23abeea39bc73198f7365',1,'SVF::CondPointsToSet::end() const'],['../classSVF_1_1PointsTo.html#a8f741cdffbf3c5fe0f602cdca677dee6',1,'SVF::PointsTo::end()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a4f13b7cccd69bdac2a4f5feff5625f01',1,'llvm::generic_bridge_gep_type_iterator::end()'],['../classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31',1,'SVF::SVFModule::end()'],['../classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc',1,'SVF::SVFModule::end() const'],['../classSVF_1_1SVFFunction.html#a2f274c3af098ae6a5919246b1b88e7b7',1,'SVF::SVFFunction::end()'],['../classSVF_1_1SVFBasicBlock.html#ab65173c2668b80643cb96e8133e5ea0a',1,'SVF::SVFBasicBlock::end()'],['../classSVF_1_1CoreBitVector.html#a93cdd9890522cc9fee2451567e0b1f0d',1,'SVF::CoreBitVector::end()'],['../classSVF_1_1ContextCond.html#a4b56b54896a1241032d7614309829399',1,'SVF::ContextCond::end()'],['../classllvm_1_1iterator__range.html#aa0344673da91896d39f1b35755ee5d4e',1,'llvm::iterator_range::end()'],['../classSVF_1_1SparseBitVector.html#a1b5abe09fd0fcd337385653cb47343c1',1,'SVF::SparseBitVector::end()']]],
+  ['end',['end',['../classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d',1,'SVF::GenericGraph::end()'],['../classSVF_1_1GenericGraph.html#a3001af3746d26b7dc0a212db5e48a4bb',1,'SVF::GenericGraph::end() const'],['../classSVF_1_1CondStdSet.html#a93c232ef7e5dea652622da7f994e1dc3',1,'SVF::CondStdSet::end()'],['../classSVF_1_1CondStdSet.html#accc5305781696701c00245ed1e8a25a3',1,'SVF::CondStdSet::end() const'],['../classSVF_1_1CondPointsToSet.html#a5ead697952ada3fbb07da3459a2b1b86',1,'SVF::CondPointsToSet::end()'],['../classSVF_1_1CondPointsToSet.html#a537890d918d23abeea39bc73198f7365',1,'SVF::CondPointsToSet::end() const'],['../classSVF_1_1PointsTo.html#a8f741cdffbf3c5fe0f602cdca677dee6',1,'SVF::PointsTo::end()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a4f13b7cccd69bdac2a4f5feff5625f01',1,'llvm::generic_bridge_gep_type_iterator::end()'],['../classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31',1,'SVF::SVFModule::end()'],['../classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc',1,'SVF::SVFModule::end() const'],['../classSVF_1_1SVFFunction.html#a2f274c3af098ae6a5919246b1b88e7b7',1,'SVF::SVFFunction::end()'],['../classSVF_1_1SVFBasicBlock.html#ab65173c2668b80643cb96e8133e5ea0a',1,'SVF::SVFBasicBlock::end()'],['../classSVF_1_1CoreBitVector.html#a93cdd9890522cc9fee2451567e0b1f0d',1,'SVF::CoreBitVector::end()'],['../classSVF_1_1ContextCond.html#a4b56b54896a1241032d7614309829399',1,'SVF::ContextCond::end()'],['../classSVF_1_1iter__range.html#a86124761467c76a7f7b0926b47d4f031',1,'SVF::iter_range::end()'],['../classSVF_1_1SparseBitVector.html#a1b5abe09fd0fcd337385653cb47343c1',1,'SVF::SparseBitVector::end()']]],
   ['endclk',['endClk',['../classSVF_1_1SVFStat.html#a1b7f1e3381de87f75f06cddb9c6c1ec1',1,'SVF::SVFStat']]],
   ['endsymbolallocation',['endSymbolAllocation',['../classSVF_1_1NodeIDAllocator.html#a92b053f79cfa1259603836cb0aacad7d',1,'SVF::NodeIDAllocator']]],
   ['ensure',['ensure',['../cJSON_8cpp.html#a3faa1600bc8001eaed05f16060668ce6',1,'cJSON.cpp']]],
@@ -25,7 +25,7 @@ var searchData=
   ['entryicfgedgesend',['entryICFGEdgesEnd',['../classSVF_1_1SVFLoop.html#aa9defde1da46995b6e870b80c1f9ae01',1,'SVF::SVFLoop']]],
   ['errmsg',['errMsg',['../namespaceSVF_1_1SVFUtil.html#a5d4bb92f5df30417f414397f8e58cf01',1,'SVF::SVFUtil']]],
   ['errs',['errs',['../namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc',1,'SVF::SVFUtil']]],
-  ['escapestr',['EscapeStr',['../namespacellvm_1_1DOT.html#a31e5d80aa888e96643a4150bfedaa917',1,'llvm::DOT']]],
+  ['escapestr',['EscapeStr',['../namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7',1,'SVF::DOT']]],
   ['evalfinalcond',['evalFinalCond',['../classSVF_1_1ProgSlice.html#afac06b0be2b04cb8a65af21fd697b756',1,'SVF::ProgSlice']]],
   ['evalmdtag',['evalMDTag',['../classSVF_1_1Annotator.html#a1a21ded1623d10fddb4048ae314e6722',1,'SVF::Annotator']]],
   ['evaluate',['evaluate',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#acbbc5c04c79846fe1cc46a3bd5a65aba',1,'SVF::NodeIDAllocator::Clusterer']]],

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

@@ -141,7 +141,7 @@ var searchData=
   ['getclassnameofthisptr',['getClassNameOfThisPtr',['../namespaceSVF_1_1cppUtil.html#a28d7f3931a05ebaf0a01ca4b263989b3',1,'SVF::cppUtil']]],
   ['getclk',['getClk',['../classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d',1,'SVF::SVFStat']]],
   ['getcmpvfgnode',['getCmpVFGNode',['../classSVF_1_1VFG.html#a9215c1d7f1152967f0731057a085e793',1,'SVF::VFG']]],
-  ['getcompletenodelabel',['getCompleteNodeLabel',['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a381db1cc959f8f2279fb501f8224a19a',1,'llvm::DOTGraphTraits&lt; SVFG * &gt;::getCompleteNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a6ced6b5b50d920fb47c4334693fea86c',1,'llvm::DOTGraphTraits&lt; VFG * &gt;::getCompleteNodeLabel()']]],
+  ['getcompletenodelabel',['getCompleteNodeLabel',['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#adef3b27c866d5d9ca38135e5c75d5e4f',1,'SVF::DOTGraphTraits&lt; SVFG * &gt;::getCompleteNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a3396c4d951a5a0c972561251d68b55c6',1,'SVF::DOTGraphTraits&lt; VFG * &gt;::getCompleteNodeLabel()']]],
   ['getcond',['getCond',['../classSVF_1_1MSSAMU.html#ac51263250da06fd63b923a6771744f97',1,'SVF::MSSAMU::getCond()'],['../classSVF_1_1MSSACHI.html#a9673994f9db94e23984b132d4b533304',1,'SVF::MSSACHI::getCond()'],['../classSVF_1_1MSSAPHI.html#a06a5d63be38e6df36e1c28a6c0c789cc',1,'SVF::MSSAPHI::getCond()'],['../classSVF_1_1CxtStmtDPItem.html#ace41c90e66f6a85f12ff67540ad9d594',1,'SVF::CxtStmtDPItem::getCond() const'],['../classSVF_1_1CxtStmtDPItem.html#a987f57970d633acc10aa3f3e69b68cb0',1,'SVF::CxtStmtDPItem::getCond()']]],
   ['getcondinst',['getCondInst',['../classSVF_1_1SaberCondAllocator.html#a1d8b90edf6ec679a97282ba60c07134d',1,'SVF::SaberCondAllocator']]],
   ['getcondition',['getCondition',['../classSVF_1_1IntraCFGEdge.html#a2657751b285cb6db8084da38b00dcab9',1,'SVF::IntraCFGEdge::getCondition()'],['../classSVF_1_1SelectStmt.html#ad4c3e9529176478bb726279a76050e8c',1,'SVF::SelectStmt::getCondition()'],['../classSVF_1_1BranchStmt.html#a915384027ae53e99311f05a08edf99f0',1,'SVF::BranchStmt::getCondition()']]],
@@ -170,7 +170,7 @@ var searchData=
   ['getcsvtblsbasedoncha',['getCSVtblsBasedonCHA',['../classSVF_1_1CommonCHGraph.html#ae90f9a2152ab07aa0df16badd733f1fd',1,'SVF::CommonCHGraph::getCSVtblsBasedonCHA()'],['../classSVF_1_1CHGraph.html#a9878df891d2e20d09b65096060d2c148',1,'SVF::CHGraph::getCSVtblsBasedonCHA()'],['../classSVF_1_1DCHGraph.html#a3383b841bb79ee39cb108b9906fca6a9',1,'SVF::DCHGraph::getCSVtblsBasedonCHA()']]],
   ['getcurevalsvfgnode',['getCurEvalSVFGNode',['../classSVF_1_1SaberCondAllocator.html#a9aec07a64b97d546cfa0efe10f888b6a',1,'SVF::SaberCondAllocator']]],
   ['getcurnodeid',['getCurNodeID',['../classSVF_1_1DPItem.html#a03a90eca842c0e83d874902103f6fdb2',1,'SVF::DPItem']]],
-  ['getcurrent',['getCurrent',['../classllvm_1_1mapped__iter.html#a1960c20bc1c7b339a9db052f9af0dd6b',1,'llvm::mapped_iter']]],
+  ['getcurrent',['getCurrent',['../classSVF_1_1mapped__iter.html#a515d4ba2964e6779314a248d92b6d3fc',1,'SVF::mapped_iter']]],
   ['getcurrentbb',['getCurrentBB',['../classSVF_1_1SVFIRBuilder.html#a6c0229120c8c96be35d2e8000b87384f',1,'SVF::SVFIRBuilder']]],
   ['getcurrentbestnodemapping',['getCurrentBestNodeMapping',['../classSVF_1_1PointsTo.html#a6c1885ddfcc72604463f7c4ea94d2f74',1,'SVF::PointsTo']]],
   ['getcurrentbestreversenodemapping',['getCurrentBestReverseNodeMapping',['../classSVF_1_1PointsTo.html#a40759008e0cf6f790d48727f7b0ca38b',1,'SVF::PointsTo']]],
@@ -226,20 +226,20 @@ var searchData=
   ['getec',['getEC',['../classSVF_1_1Steensgaard.html#af2afffc0617d588a68fdfa4fcfd24b70',1,'SVF::Steensgaard']]],
   ['getedge',['getEdge',['../classSVF_1_1ConstraintGraph.html#a04a57ef9803917346cb966e05ecd0de4',1,'SVF::ConstraintGraph']]],
   ['getedgeattri',['getEdgeAttri',['../classSVF_1_1CFLEdge.html#ae4c8562ff6801503de9e3cb0c4ebe2b8',1,'SVF::CFLEdge']]],
-  ['getedgeattributes',['getEdgeAttributes',['../structllvm_1_1DefaultDOTGraphTraits.html#a6acd27748e3dade4e1a3385accf539ec',1,'llvm::DefaultDOTGraphTraits::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a063cfdeaebcd749ecc98f50ba300f271',1,'llvm::DOTGraphTraits&lt; CFLGraph * &gt;::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a0ad443da42379a0038d42de4f7895b60',1,'llvm::DOTGraphTraits&lt; CHGraph * &gt;::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ad7d0a5d387c31c186b8527c7c6bd9791',1,'llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a74b0725d64b6e9c3060f2366633425f5',1,'llvm::DOTGraphTraits&lt; ICFG * &gt;::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a27816e06b813b2723a5757128d009cab',1,'llvm::DOTGraphTraits&lt; IRGraph * &gt;::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a52d5c95a8f9823174c0acebc101de20b',1,'llvm::DOTGraphTraits&lt; PTACallGraph * &gt;::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a0ade71edb2771cb6c4e7a0a7910d374e',1,'llvm::DOTGraphTraits&lt; SVFG * &gt;::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a646a1023dab5169a73c8ea54e860c78b',1,'llvm::DOTGraphTraits&lt; VFG * &gt;::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a349d851998bd1defbbafc16693e04764',1,'llvm::DOTGraphTraits&lt; TCT * &gt;::getEdgeAttributes()']]],
-  ['getedgedestlabel',['getEdgeDestLabel',['../structllvm_1_1DefaultDOTGraphTraits.html#a9f3e85580d90386f42f6bdd82b851d83',1,'llvm::DefaultDOTGraphTraits']]],
+  ['getedgeattributes',['getEdgeAttributes',['../structSVF_1_1DefaultDOTGraphTraits.html#ad84c95525cf15f90848c2558fd28f43b',1,'SVF::DefaultDOTGraphTraits::getEdgeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#ac9483e81c382a3bb241cf59e7fdf7788',1,'SVF::DOTGraphTraits&lt; CFLGraph * &gt;::getEdgeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#ad74c870cc12035ecd3897f65ecc6d96d',1,'SVF::DOTGraphTraits&lt; CHGraph * &gt;::getEdgeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a74ed73ff248b33b274c87797e61ef15c',1,'SVF::DOTGraphTraits&lt; ConstraintGraph * &gt;::getEdgeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a9967092a5e97b6d684abcc718fe6e688',1,'SVF::DOTGraphTraits&lt; ICFG * &gt;::getEdgeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a00c28536a740906779c826d6797ea09e',1,'SVF::DOTGraphTraits&lt; IRGraph * &gt;::getEdgeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a274c4364c648cfb35deb9dda37f4a547',1,'SVF::DOTGraphTraits&lt; PTACallGraph * &gt;::getEdgeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#af43663ec79465f7860ffecd9584e0002',1,'SVF::DOTGraphTraits&lt; SVFG * &gt;::getEdgeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#ab279f3042677c2120a23d83bd0ed4039',1,'SVF::DOTGraphTraits&lt; VFG * &gt;::getEdgeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a3d08fde6e4bc42a6405e6104a833293f',1,'SVF::DOTGraphTraits&lt; TCT * &gt;::getEdgeAttributes()']]],
+  ['getedgedestlabel',['getEdgeDestLabel',['../structSVF_1_1DefaultDOTGraphTraits.html#a5e560e93632e0ed1934d4c4508ca1884',1,'SVF::DefaultDOTGraphTraits']]],
   ['getedgeid',['getEdgeID',['../classSVF_1_1ConstraintEdge.html#ab201b7df925c12e6944516f4b87d7823',1,'SVF::ConstraintEdge::getEdgeID()'],['../classSVF_1_1SVFStmt.html#af7bb0d687fc61cae1de639c88e472491',1,'SVF::SVFStmt::getEdgeID()']]],
   ['getedgekind',['getEdgeKind',['../classSVF_1_1CFLEdge.html#acab367a1633d00afdafadf3f3a43e0c8',1,'SVF::CFLEdge::getEdgeKind()'],['../classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b',1,'SVF::GenericEdge::getEdgeKind()']]],
   ['getedgekindwithmask',['getEdgeKindWithMask',['../classSVF_1_1CFLEdge.html#a5d11e42f5571287992362669fee9e159',1,'SVF::CFLEdge']]],
   ['getedgekindwithoutmask',['getEdgeKindWithoutMask',['../classSVF_1_1GenericEdge.html#a20d8b844fc4bb0bb776d290b4e477fc5',1,'SVF::GenericEdge']]],
-  ['getedgesourcelabel',['getEdgeSourceLabel',['../structllvm_1_1DefaultDOTGraphTraits.html#ab027bd32578caffc0ba18d84406a18c6',1,'llvm::DefaultDOTGraphTraits::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#ac5d4d9f4874f0ecf199e1d19d66adf0f',1,'llvm::DOTGraphTraits&lt; CFLGraph * &gt;::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a76e78cd94e56ca46ac7e1db7162e594b',1,'llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a6255edef186d9268868d683b4bbda133',1,'llvm::DOTGraphTraits&lt; ICFG * &gt;::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a947696a48fdac183d0cc40de92944315',1,'llvm::DOTGraphTraits&lt; IRGraph * &gt;::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a576f422e667714d3e4948cbf3f631fc9',1,'llvm::DOTGraphTraits&lt; PTACallGraph * &gt;::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#aaaf78b3bb17f15a2c91566bfdc1bae9e',1,'llvm::DOTGraphTraits&lt; SVFG * &gt;::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#af794115d33a8ea6f7f2e2c7ac5dd4c80',1,'llvm::DOTGraphTraits&lt; VFG * &gt;::getEdgeSourceLabel()']]],
-  ['getedgesourcelabels',['getEdgeSourceLabels',['../classllvm_1_1GraphWriter.html#a5bf52f5835e697e0f5b5ca592357c60a',1,'llvm::GraphWriter']]],
-  ['getedgetarget',['getEdgeTarget',['../structllvm_1_1DefaultDOTGraphTraits.html#a4de19ba711c05792f22cc8ccf00b97f1',1,'llvm::DefaultDOTGraphTraits']]],
+  ['getedgesourcelabel',['getEdgeSourceLabel',['../structSVF_1_1DefaultDOTGraphTraits.html#a66f5994cdef8fa307c9ff69ca90a1d6c',1,'SVF::DefaultDOTGraphTraits::getEdgeSourceLabel()'],['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a28fcd691628f74955daf5180a1c197ed',1,'SVF::DOTGraphTraits&lt; CFLGraph * &gt;::getEdgeSourceLabel()'],['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a651568cd6c1f0771d8633a7ed7b1dfd2',1,'SVF::DOTGraphTraits&lt; ConstraintGraph * &gt;::getEdgeSourceLabel()'],['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a977a85211fc236f357f107b6721feaa0',1,'SVF::DOTGraphTraits&lt; ICFG * &gt;::getEdgeSourceLabel()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#aa7d274968bb2f8d43da9cb95cec8e833',1,'SVF::DOTGraphTraits&lt; IRGraph * &gt;::getEdgeSourceLabel()'],['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a22b5a3147fd8e7daa4a3dc703df135be',1,'SVF::DOTGraphTraits&lt; PTACallGraph * &gt;::getEdgeSourceLabel()'],['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a49fabf853f855b6d9041b91acd68bce2',1,'SVF::DOTGraphTraits&lt; SVFG * &gt;::getEdgeSourceLabel()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a59a5e6cd5edb423e927bd1d08bc78aa9',1,'SVF::DOTGraphTraits&lt; VFG * &gt;::getEdgeSourceLabel()']]],
+  ['getedgesourcelabels',['getEdgeSourceLabels',['../classSVF_1_1GraphWriter.html#aa2d0fada900a8e08af0539498905a74f',1,'SVF::GraphWriter']]],
+  ['getedgetarget',['getEdgeTarget',['../structSVF_1_1DefaultDOTGraphTraits.html#acfab6216e24999e92b2354e4f15b96b6',1,'SVF::DefaultDOTGraphTraits']]],
   ['getedgetype',['getEdgeType',['../classSVF_1_1CHEdge.html#ae2b90913c6c5a30df2b285d31c694525',1,'SVF::CHEdge']]],
   ['getelementnum',['getElementNum',['../classSVF_1_1LocationSet.html#a0b4376975f8532c7e2daa759ec7922f7',1,'SVF::LocationSet']]],
   ['getelementset',['getElementSet',['../classSVF_1_1CondStdSet.html#a29892f43cc8420d4d2b4046140476320',1,'SVF::CondStdSet']]],
   ['getentryblock',['getEntryBlock',['../classSVF_1_1SVFFunction.html#a793f485e92d12cf407f2ffa41861eb3d',1,'SVF::SVFFunction']]],
-  ['getentrynode',['getEntryNode',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a24c5372fa6afca08d89759f66fa2a08e',1,'llvm::GraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;::getEntryNode()'],['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#afbe31ee2733b5990ab5b1f8c344fa3e0',1,'llvm::GraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;::getEntryNode()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a67da52700e19f69ffebf8532944df867',1,'llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;::getEntryNode()']]],
+  ['getentrynode',['getEntryNode',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#ab7af22908f08a12b02cc606ea0937d04',1,'SVF::GenericGraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;::getEntryNode()'],['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a8b32a8914a155bb2be33b2b66107c4a9',1,'SVF::GenericGraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;::getEntryNode()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#abd6e561fbc153cf714a2494986c14dec',1,'SVF::GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;::getEntryNode()']]],
   ['getentryprocs',['getEntryProcs',['../classSVF_1_1TCT.html#a692a74188f141ffbdbb859ecae8b07ab',1,'SVF::TCT']]],
   ['getepsilonprods',['getEpsilonProds',['../classSVF_1_1CFLGrammar.html#a8d6292a55da24336d968e20c7ac288d9',1,'SVF::CFLGrammar']]],
   ['getescapobjviaglobals',['getEscapObjviaGlobals',['../classSVF_1_1MRGenerator.html#add22c9a95478dea21148e87c8dfc584a',1,'SVF::MRGenerator']]],
@@ -324,8 +324,8 @@ var searchData=
   ['getgrammar',['getGrammar',['../classSVF_1_1CFLSolver.html#a99c0a6a2c55bb6eb7f8232399374c827',1,'SVF::CFLSolver']]],
   ['getgraph',['getGraph',['../classSVF_1_1CFLSolver.html#a2c6bce1f73bcf5937a26e91a7daba33c',1,'SVF::CFLSolver']]],
   ['getgraphedge',['getGraphEdge',['../classSVF_1_1PTACallGraph.html#a2634a24621ab93fae7ec1cf94a8cba0b',1,'SVF::PTACallGraph::getGraphEdge()'],['../classSVF_1_1TCT.html#a7b40580939dc63f501a32571806c07bc',1,'SVF::TCT::getGraphEdge()']]],
-  ['getgraphname',['getGraphName',['../structllvm_1_1DefaultDOTGraphTraits.html#a4c2c0688a7c4cf69903603fddd539b45',1,'llvm::DefaultDOTGraphTraits::getGraphName()'],['../classSVF_1_1IRGraph.html#a5a34f23fee4f84e74908041efebd6867',1,'SVF::IRGraph::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#af4cfbb5fb358d684626e9cb28c15bb1d',1,'llvm::DOTGraphTraits&lt; CFLGraph * &gt;::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a942e068d1debc7f7dd7a6232adc2130f',1,'llvm::DOTGraphTraits&lt; CHGraph * &gt;::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a9ed4562e3c1223c20e76e1372ba8b30d',1,'llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a46226ebac48103764df6427119a322ce',1,'llvm::DOTGraphTraits&lt; ICFG * &gt;::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a6cbd0e71b5ea955de8a548bad9256160',1,'llvm::DOTGraphTraits&lt; IRGraph * &gt;::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a698264fcfb5bdb99a28618d0701860d6',1,'llvm::DOTGraphTraits&lt; PTACallGraph * &gt;::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a1275496006929be6375a0d71ed86c79b',1,'llvm::DOTGraphTraits&lt; SVFG * &gt;::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#aaedec44d41a6e36c9e5db804e4a005dd',1,'llvm::DOTGraphTraits&lt; VFG * &gt;::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#ad06b27680684ff1a7f1d0608f67cf89a',1,'llvm::DOTGraphTraits&lt; TCT * &gt;::getGraphName()']]],
-  ['getgraphproperties',['getGraphProperties',['../structllvm_1_1DefaultDOTGraphTraits.html#a67a907a4c097d688d01195e110e4c9e2',1,'llvm::DefaultDOTGraphTraits']]],
+  ['getgraphname',['getGraphName',['../structSVF_1_1DefaultDOTGraphTraits.html#a41effe5697618840e0d5ea10c26781fe',1,'SVF::DefaultDOTGraphTraits::getGraphName()'],['../classSVF_1_1IRGraph.html#a5a34f23fee4f84e74908041efebd6867',1,'SVF::IRGraph::getGraphName()'],['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#aa12ac2ae92225381d7c8386e96c9a88e',1,'SVF::DOTGraphTraits&lt; CFLGraph * &gt;::getGraphName()'],['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a75aba53d62d665008e9cb98be5103d5e',1,'SVF::DOTGraphTraits&lt; CHGraph * &gt;::getGraphName()'],['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a6948926922a5c5378d92c3c6aa0b3ccd',1,'SVF::DOTGraphTraits&lt; ConstraintGraph * &gt;::getGraphName()'],['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a4938f51cfb9a5b63b89ab02d9e1950ad',1,'SVF::DOTGraphTraits&lt; ICFG * &gt;::getGraphName()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a2c6b3e5fdce71f5c94e21906da1d1246',1,'SVF::DOTGraphTraits&lt; IRGraph * &gt;::getGraphName()'],['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a6030238b53d8145bc69285dcc629c16b',1,'SVF::DOTGraphTraits&lt; PTACallGraph * &gt;::getGraphName()'],['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a38e619de70d79e38d3d65d521f224d07',1,'SVF::DOTGraphTraits&lt; SVFG * &gt;::getGraphName()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#ae7bb12f8b7bd9230599f461060fdd38b',1,'SVF::DOTGraphTraits&lt; VFG * &gt;::getGraphName()'],['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a4234340e5806dc49b6c450736a1a4d94',1,'SVF::DOTGraphTraits&lt; TCT * &gt;::getGraphName()']]],
+  ['getgraphproperties',['getGraphProperties',['../structSVF_1_1DefaultDOTGraphTraits.html#afe384157441d5ef0b3aafdfb6cd3028a',1,'SVF::DefaultDOTGraphTraits']]],
   ['getheapallocholdingargposition',['getHeapAllocHoldingArgPosition',['../namespaceSVF_1_1SVFUtil.html#a73215bac62f1340a58f6c7f2ba9b0e7b',1,'SVF::SVFUtil::getHeapAllocHoldingArgPosition(const SVFFunction *fun)'],['../namespaceSVF_1_1SVFUtil.html#a298b6366145ed871faf3d01420ae5d20',1,'SVF::SVFUtil::getHeapAllocHoldingArgPosition(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a6d613bcc37e54b922ad1b1869b66ee59',1,'SVF::SVFUtil::getHeapAllocHoldingArgPosition(const SVFInstruction *inst)']]],
   ['geticfg',['getICFG',['../classSVF_1_1PointerAnalysis.html#ade879ee99cae01632d567d3736dcad9e',1,'SVF::PointerAnalysis::getICFG()'],['../classSVF_1_1SaberCondAllocator.html#a6bd67514e0ea9a2704ae83a38c9f2592',1,'SVF::SaberCondAllocator::getICFG()'],['../classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da',1,'SVF::SVFIR::getICFG()']]],
   ['geticfgedge',['getICFGEdge',['../classSVF_1_1ICFG.html#a5dd4ac55123501c47c628adcf27e2475',1,'SVF::ICFG']]],
@@ -453,15 +453,15 @@ var searchData=
   ['getname',['getName',['../classSVF_1_1CHNode.html#af6e71c1a932464b1b615fc177f5af089',1,'SVF::CHNode::getName()'],['../classSVF_1_1DCHNode.html#a089af6085dec833b58133a9e834dab54',1,'SVF::DCHNode::getName()'],['../classSVF_1_1SVFValue.html#a68b40576b24c4cb81cc3ba75550f4654',1,'SVF::SVFValue::getName()']]],
   ['getnextcollapsenode',['getNextCollapseNode',['../classSVF_1_1ConstraintGraph.html#a006667ed55132ca0909c0e9118fea704',1,'SVF::ConstraintGraph']]],
   ['getnextinsts',['getNextInsts',['../namespaceSVF_1_1LLVMUtil.html#a3b2ca48c72fba877c6cb3d52e23704e3',1,'SVF::LLVMUtil::getNextInsts(const Instruction *curInst, std::vector&lt; const SVFInstruction *&gt; &amp;instList)'],['../namespaceSVF_1_1LLVMUtil.html#a752d53b6b65d892d0e579aafe70083b4',1,'SVF::LLVMUtil::getNextInsts(const Instruction *curInst, std::vector&lt; const Instruction *&gt; &amp;instList)']]],
-  ['getnode',['getNode',['../classSVF_1_1CHGraph.html#a7beec68a60036c93a741a7152e8198b6',1,'SVF::CHGraph::getNode()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#ad67b19903549bef892b8b059228e4d19',1,'llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;::getNode()'],['../classSVF_1_1SrcSnkSolver.html#a18008d5496010aa5f54aade230bd64ff',1,'SVF::SrcSnkSolver::getNode()'],['../classSVF_1_1DCHGraph.html#a96c68bbb5ee5e939158ce0b67da2c61d',1,'SVF::DCHGraph::getNode()'],['../classSVF_1_1GraphReachSolver.html#a0b7f0923105dfb198a2a8428d6c1ca98',1,'SVF::GraphReachSolver::getNode()']]],
-  ['getnodeattributes',['getNodeAttributes',['../structllvm_1_1DefaultDOTGraphTraits.html#ae9e61a7c29f47b392cf64a32dec5de01',1,'llvm::DefaultDOTGraphTraits::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a4b593e5e6c2e711db0f220a388bd5f11',1,'llvm::DOTGraphTraits&lt; CFLGraph * &gt;::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#afcfdde52d1ed3ecbd849cbf4a16fb880',1,'llvm::DOTGraphTraits&lt; CHGraph * &gt;::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a0ce25ef874ffaa798ae7ad498274b2f7',1,'llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#aef77eaa614a202f39964d0a0917b5140',1,'llvm::DOTGraphTraits&lt; ICFG * &gt;::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a9f6fb05fdadcba74038252a08356867d',1,'llvm::DOTGraphTraits&lt; IRGraph * &gt;::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a7a75a7d83bfa57857e5855f9cf940086',1,'llvm::DOTGraphTraits&lt; PTACallGraph * &gt;::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a2efe884d285b1e4a0541e022f9ed40df',1,'llvm::DOTGraphTraits&lt; SVFG * &gt;::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a57d4a186a0319b73d69752564bf25b2a',1,'llvm::DOTGraphTraits&lt; VFG * &gt;::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a2b3151a123d6c22dc5d6fa81b3ea4a83',1,'llvm::DOTGraphTraits&lt; TCT * &gt;::getNodeAttributes()']]],
-  ['getnodedescription',['getNodeDescription',['../structllvm_1_1DefaultDOTGraphTraits.html#ae7c057127b4b68bdc5d64b5c86eb393e',1,'llvm::DefaultDOTGraphTraits']]],
-  ['getnodeid',['getNodeID',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ac79255244b6b59876be19266ff214afb',1,'llvm::GraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;::getNodeID()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a29ec19f4829cfe458c1eaab47e6fe8c0',1,'llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;::getNodeID()']]],
-  ['getnodeidentifierlabel',['getNodeIdentifierLabel',['../structllvm_1_1DefaultDOTGraphTraits.html#a072cecf5f6337d45a0497e786e317803',1,'llvm::DefaultDOTGraphTraits']]],
+  ['getnode',['getNode',['../classSVF_1_1CHGraph.html#a7beec68a60036c93a741a7152e8198b6',1,'SVF::CHGraph::getNode()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a2fe6388f27ab97ed38a52b6af3f3ca58',1,'SVF::GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;::getNode()'],['../classSVF_1_1SrcSnkSolver.html#a18008d5496010aa5f54aade230bd64ff',1,'SVF::SrcSnkSolver::getNode()'],['../classSVF_1_1DCHGraph.html#a96c68bbb5ee5e939158ce0b67da2c61d',1,'SVF::DCHGraph::getNode()'],['../classSVF_1_1GraphReachSolver.html#a0b7f0923105dfb198a2a8428d6c1ca98',1,'SVF::GraphReachSolver::getNode()']]],
+  ['getnodeattributes',['getNodeAttributes',['../structSVF_1_1DefaultDOTGraphTraits.html#a3438f5f1ed763f2f7818535f212ff43b',1,'SVF::DefaultDOTGraphTraits::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a35499a5e7010339f4333cead3b2c4cfc',1,'SVF::DOTGraphTraits&lt; CFLGraph * &gt;::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a8109531ce97bb08828b06f2203c3b347',1,'SVF::DOTGraphTraits&lt; CHGraph * &gt;::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a646cb350726d62532cda229aaf6af9cc',1,'SVF::DOTGraphTraits&lt; ConstraintGraph * &gt;::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#ada6dd55df689908741823e8e3a3cf289',1,'SVF::DOTGraphTraits&lt; ICFG * &gt;::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a3f073b3b89256914a1582dabebd308e9',1,'SVF::DOTGraphTraits&lt; IRGraph * &gt;::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#ab35af67d234b32aeb2bed4336058cb57',1,'SVF::DOTGraphTraits&lt; PTACallGraph * &gt;::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ad851a3820df828f0598046e0c953330c',1,'SVF::DOTGraphTraits&lt; SVFG * &gt;::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a58fa641de3db32b97edcb60a64004270',1,'SVF::DOTGraphTraits&lt; VFG * &gt;::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a61074356d304d9f1e4a2b9870f6e0fcd',1,'SVF::DOTGraphTraits&lt; TCT * &gt;::getNodeAttributes()']]],
+  ['getnodedescription',['getNodeDescription',['../structSVF_1_1DefaultDOTGraphTraits.html#af5800f2d8efa24fee85f03871c07df21',1,'SVF::DefaultDOTGraphTraits']]],
+  ['getnodeid',['getNodeID',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ad35b19e918b1d6807ed2296dd8394093',1,'SVF::GenericGraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;::getNodeID()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a006d75a6017fe36fd052640a7b6ff108',1,'SVF::GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;::getNodeID()']]],
+  ['getnodeidentifierlabel',['getNodeIdentifierLabel',['../structSVF_1_1DefaultDOTGraphTraits.html#a0f81b82658f62589ec429c601538f6e9',1,'SVF::DefaultDOTGraphTraits']]],
   ['getnodeidfromitem',['getNodeIDFromItem',['../classSVF_1_1SrcSnkSolver.html#ab37d80b1c7a1ebfa0e19c70792c5129e',1,'SVF::SrcSnkSolver::getNodeIDFromItem()'],['../classSVF_1_1GraphReachSolver.html#a84f39b3234ddf8198c793ff8c5d59cdf',1,'SVF::GraphReachSolver::getNodeIDFromItem()']]],
   ['getnodeidtype',['getNodeIDType',['../classSVF_1_1ExtAPI.html#a6fdedabaf1adb051a562a261b86c9cf6',1,'SVF::ExtAPI']]],
   ['getnodekind',['getNodeKind',['../classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e',1,'SVF::GenericNode']]],
-  ['getnodelabel',['getNodeLabel',['../structllvm_1_1DefaultDOTGraphTraits.html#a748e27397b601b36da4ff8689fe1d231',1,'llvm::DefaultDOTGraphTraits::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a8802b947b81fd231ee1d581055d19ca1',1,'llvm::DOTGraphTraits&lt; CFLGraph * &gt;::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#ab29e74e9089311dd79afad62234e98cd',1,'llvm::DOTGraphTraits&lt; CHGraph * &gt;::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#aa72b3ad953c6ea3309c83735512ff408',1,'llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#aaab33f12ee11b03d7d55a55f46178a2c',1,'llvm::DOTGraphTraits&lt; ICFG * &gt;::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#aa8f1f1699fe8350542072cae450c8afa',1,'llvm::DOTGraphTraits&lt; IRGraph * &gt;::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a687cf2ca3cab75946151c6d34cc703fe',1,'llvm::DOTGraphTraits&lt; PTACallGraph * &gt;::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a4407708863cb2a50fd4d4c516f5f3ea4',1,'llvm::DOTGraphTraits&lt; SVFG * &gt;::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a6470ed90c2a601b01715d02cffd90918',1,'llvm::DOTGraphTraits&lt; VFG * &gt;::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#ab966d3c80f99fca37951929ac4037ddc',1,'llvm::DOTGraphTraits&lt; TCT * &gt;::getNodeLabel()']]],
+  ['getnodelabel',['getNodeLabel',['../structSVF_1_1DefaultDOTGraphTraits.html#a07487bbf691110420c680250994a6eba',1,'SVF::DefaultDOTGraphTraits::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a6aef2b3f8e4e6f843724613ad7100932',1,'SVF::DOTGraphTraits&lt; CFLGraph * &gt;::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a18f64ddaaa6da45e247ee44ad03cac3d',1,'SVF::DOTGraphTraits&lt; CHGraph * &gt;::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a9e45113303655dd4b3951f975cc7790f',1,'SVF::DOTGraphTraits&lt; ConstraintGraph * &gt;::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a04de29b725e362137f9469850cf24eed',1,'SVF::DOTGraphTraits&lt; ICFG * &gt;::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a32b24e38559d65b4aaf0473cbda94038',1,'SVF::DOTGraphTraits&lt; IRGraph * &gt;::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a7b17561e1c7aa483611ec69293a86595',1,'SVF::DOTGraphTraits&lt; PTACallGraph * &gt;::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a408191812417e4cf67c63197498e8bff',1,'SVF::DOTGraphTraits&lt; SVFG * &gt;::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#ab891ea12cf363b28d15cc6cbbc6ca205',1,'SVF::DOTGraphTraits&lt; VFG * &gt;::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#ab0babde1e6a0d3a96149236c19bea756',1,'SVF::DOTGraphTraits&lt; TCT * &gt;::getNodeLabel()']]],
   ['getnodemapping',['getNodeMapping',['../classSVF_1_1PointsTo.html#a06b981a2b7b04549f494dffde974c56d',1,'SVF::PointsTo']]],
   ['getnodenumafterpagbuild',['getNodeNumAfterPAGBuild',['../classSVF_1_1IRGraph.html#a0a18bca50f7cd3a1882754f19303d257',1,'SVF::IRGraph']]],
   ['getnonterminals',['getNonterminals',['../classSVF_1_1GrammarBase.html#a04140ef06feee613506529fd8c23665e',1,'SVF::GrammarBase']]],
@@ -506,7 +506,7 @@ var searchData=
   ['getorcreatenode',['getOrCreateNode',['../classSVF_1_1DCHGraph.html#a9ed6b91fad334605f514049a2072b538',1,'SVF::DCHGraph']]],
   ['getorcreatetctnode',['getOrCreateTCTNode',['../classSVF_1_1TCT.html#a5d890da8d9d91b8cc4c529eb427192c4',1,'SVF::TCT']]],
   ['getoriginalelemtype',['getOriginalElemType',['../classSVF_1_1StInfo.html#a055697f565cb9d73b41110090fe50159',1,'SVF::StInfo::getOriginalElemType()'],['../classSVF_1_1SymbolTableInfo.html#a4bf84ef15f3b4cc865ac64ca0aae84e7',1,'SVF::SymbolTableInfo::getOriginalElemType()']]],
-  ['getostream',['getOStream',['../classllvm_1_1GraphWriter.html#ac18efe5c7817eb06b744973fb0dae3be',1,'llvm::GraphWriter']]],
+  ['getostream',['getOStream',['../classSVF_1_1GraphWriter.html#afa5d94effc56067e44eba9a11afd5284',1,'SVF::GraphWriter']]],
   ['getothersvfconstant',['getOtherSVFConstant',['../classSVF_1_1LLVMModuleSet.html#a74256f36f0fdc242df9729906c34efbc',1,'SVF::LLVMModuleSet']]],
   ['getothervalueset',['getOtherValueSet',['../classSVF_1_1SVFModule.html#af22af3a6d54bb510e5c4805eff3d12cd',1,'SVF::SVFModule']]],
   ['getoutedges',['getOutEdges',['../classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009',1,'SVF::GenericNode']]],
@@ -601,7 +601,7 @@ var searchData=
   ['getsecondrhssymbol',['getSecondRHSSymbol',['../classSVF_1_1CFLGrammar.html#a3ccdda19bfed497ee8e14c1aaac4aa51',1,'SVF::CFLGrammar']]],
   ['getsextvalue',['getSExtValue',['../classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4',1,'SVF::SVFConstantInt']]],
   ['getsiblingthread',['getSiblingThread',['../classSVF_1_1TCT.html#a60e63f6ddfe78c4cf4fd3a70875b727f',1,'SVF::TCT']]],
-  ['getsimplenodelabel',['getSimpleNodeLabel',['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a1cf0470d3e9821152416e3bf5236e553',1,'llvm::DOTGraphTraits&lt; ICFG * &gt;::getSimpleNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a63cc361875e61f4729381b23dcee2787',1,'llvm::DOTGraphTraits&lt; SVFG * &gt;::getSimpleNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a0159404d5c5a7816a4b679c0f35a546e',1,'llvm::DOTGraphTraits&lt; VFG * &gt;::getSimpleNodeLabel()']]],
+  ['getsimplenodelabel',['getSimpleNodeLabel',['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a8964f2454b3e0887de6a0f3c9731e0aa',1,'SVF::DOTGraphTraits&lt; ICFG * &gt;::getSimpleNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a80aace686045f098dde4acb2087f8541',1,'SVF::DOTGraphTraits&lt; SVFG * &gt;::getSimpleNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#adffdd760b14329018faabd8c523bbb01',1,'SVF::DOTGraphTraits&lt; VFG * &gt;::getSimpleNodeLabel()']]],
   ['getsimplifiedvalue',['getSimplifiedValue',['../structSVF_1_1SVFUtil_1_1simplify__type.html#a8046f044d895a5c9aee85de9705161f9',1,'SVF::SVFUtil::simplify_type::getSimplifiedValue()'],['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#ac64f5d9a2ec97aebd7b377319d7f043b',1,'SVF::SVFUtil::simplify_type&lt; const From &gt;::getSimplifiedValue()']]],
   ['getsinglerhs2prods',['getSingleRHS2Prods',['../classSVF_1_1CFLGrammar.html#afefc9b90be5cf275f476bb7c3f1c74ce',1,'SVF::CFLGrammar']]],
   ['getsinks',['getSinks',['../classSVF_1_1ProgSlice.html#a03a1ef4d56958fa4a0c3a3a95806203d',1,'SVF::ProgSlice::getSinks()'],['../classSVF_1_1SrcSnkDDA.html#a1145c601df2e3dec1e32e43613447b96',1,'SVF::SrcSnkDDA::getSinks()']]],
@@ -736,8 +736,8 @@ var searchData=
   ['gnodesccinfo',['GNodeSCCInfo',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a4b8c555a11e9eae2065ec1549ce537de',1,'SVF::SCCDetection::GNodeSCCInfo::GNodeSCCInfo()'],['../classSVF_1_1SCCDetection.html#ab3bdd1e73f95735a8f37566c3793bb36',1,'SVF::SCCDetection::GNodeSCCInfo()']]],
   ['grammarbuilder',['GrammarBuilder',['../classSVF_1_1GrammarBuilder.html#a423310118382fa2d5afe169a290a355b',1,'SVF::GrammarBuilder']]],
   ['graph',['graph',['../classSVF_1_1SrcSnkSolver.html#ae66ed69eb3412c2eef14ef2f86a34c6c',1,'SVF::SrcSnkSolver::graph()'],['../classSVF_1_1GraphReachSolver.html#a88775eedbbc3039caac1e350b48aa838',1,'SVF::GraphReachSolver::graph()'],['../classSVF_1_1SCCDetection.html#a1b8b57a3ea3740f36a19afc8bd42033d',1,'SVF::SCCDetection::graph()'],['../classSVF_1_1WPASolver.html#abe0a304039d1bd2cfd7befd32fdcde2b',1,'SVF::WPASolver::graph()']]],
-  ['graphprinter',['GraphPrinter',['../classllvm_1_1GraphPrinter.html#a13b2efcc3e5967f60a27e107683cd448',1,'llvm::GraphPrinter']]],
+  ['graphprinter',['GraphPrinter',['../classSVF_1_1GraphPrinter.html#a5adb844506085e9ba66c1688f9548a25',1,'SVF::GraphPrinter']]],
   ['graphreachsolver',['GraphReachSolver',['../classSVF_1_1GraphReachSolver.html#a766dc60e7ce7b24b829ba591d069c174',1,'SVF::GraphReachSolver']]],
-  ['graphsize',['graphSize',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a77e3e3addf59c1d6be1dba89fc3daa0c',1,'llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;']]],
-  ['graphwriter',['GraphWriter',['../classllvm_1_1GraphWriter.html#a79f24408e3cb14afcdb57171c048cc3e',1,'llvm::GraphWriter']]]
+  ['graphsize',['graphSize',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a62a8a8b1a812ebc11afebf5d3ed5c651',1,'SVF::GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;']]],
+  ['graphwriter',['GraphWriter',['../classSVF_1_1GraphWriter.html#afd8fec784307b919d1cb89b49533600e',1,'SVF::GraphWriter']]]
 ];

package/SVF-doxygen/html/html/search/functions_7.js CHANGED Viewed

@@ -67,7 +67,7 @@ var searchData=
   ['hasdrcheckflag',['hasDRCheckFlag',['../classSVF_1_1Annotator.html#a6e958c20d7809545b026eb5246444711',1,'SVF::Annotator::hasDRCheckFlag(Instruction *inst) const'],['../classSVF_1_1Annotator.html#abc2d4a40ac8a0d70428b5066266f861c',1,'SVF::Annotator::hasDRCheckFlag(const Instruction *inst) const']]],
   ['hasdrnotcheckflag',['hasDRNotCheckFlag',['../classSVF_1_1Annotator.html#ad78f6de28e5474614f16707e1c599f48',1,'SVF::Annotator::hasDRNotCheckFlag(Instruction *inst) const'],['../classSVF_1_1Annotator.html#a11d7bfcb525e4fb74e3031dd9a2635fe',1,'SVF::Annotator::hasDRNotCheckFlag(const Instruction *inst) const']]],
   ['hasedge',['hasEdge',['../classSVF_1_1CFLGraph.html#aca4c22dd10f65bcde5dadb7688544b50',1,'SVF::CFLGraph::hasEdge()'],['../classSVF_1_1ConstraintGraph.html#a5f57823a4918f6c6bfee9c18beddda51',1,'SVF::ConstraintGraph::hasEdge()'],['../classSVF_1_1DCHGraph.html#a74b2e5787f65cf3e3b4a03ebec806b91',1,'SVF::DCHGraph::hasEdge()'],['../CHG_8cpp.html#a4c6cbac96543cd55e4df050a33512ac5',1,'hasEdge():&#160;CHG.cpp']]],
-  ['hasedgedestlabels',['hasEdgeDestLabels',['../structllvm_1_1DefaultDOTGraphTraits.html#ab3571663f16a9f8cebfaea84d53ceb3e',1,'llvm::DefaultDOTGraphTraits']]],
+  ['hasedgedestlabels',['hasEdgeDestLabels',['../structSVF_1_1DefaultDOTGraphTraits.html#a87d7b47985a849c7c4ff1c328a59c623',1,'SVF::DefaultDOTGraphTraits']]],
   ['hasflag',['hasFlag',['../classSVF_1_1CHNode.html#aebcbd36a7efc0dbe9b3c3f680ef033e7',1,'SVF::CHNode::hasFlag()'],['../classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c',1,'SVF::DCHNode::hasFlag()'],['../classSVF_1_1ObjTypeInfo.html#a8e630eb30d05f665b998c6f9326d65cb',1,'SVF::ObjTypeInfo::hasFlag()']]],
   ['hasformalinsvfgnodes',['hasFormalINSVFGNodes',['../classSVF_1_1SVFG.html#a65f28035e0fa5bebf76d28612b2f8ba8',1,'SVF::SVFG']]],
   ['hasformaloutsvfgnodes',['hasFormalOUTSVFGNodes',['../classSVF_1_1SVFG.html#a1f8c60ad57bf473e0186b794d666b5c2',1,'SVF::SVFG']]],
@@ -96,7 +96,6 @@ var searchData=
   ['hasmodmrset',['hasModMRSet',['../classSVF_1_1MRGenerator.html#a7d66a341805af7ec4e4893e5a7e0bc2d',1,'SVF::MRGenerator']]],
   ['hasmodsideeffectofcallsite',['hasModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a187d82895b2e1156c6dd5ae28795944f',1,'SVF::MRGenerator']]],
   ['hasmu',['hasMU',['../classSVF_1_1MemSSA.html#af5e356e82c3f93b65bd89908e0f465dc',1,'SVF::MemSSA::hasMU(const PAGEdge *inst) const'],['../classSVF_1_1MemSSA.html#a6bd9390c6cd2a3d7a3752fba76acfb46',1,'SVF::MemSSA::hasMU(const CallICFGNode *cs) const']]],
-  ['hasname',['hasName',['../classSVF_1_1SVFValue.html#a4c46c11c4b1c0f43c80818cf7408703a',1,'SVF::SVFValue']]],
   ['hasnode',['hasNode',['../classSVF_1_1DCHGraph.html#a58341e23c1dc2b3e7fce190ed16a8a25',1,'SVF::DCHGraph']]],
   ['hasnodestobecollapsed',['hasNodesToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#aa867ffe0f3639a0ef5b5c36696e733be',1,'SVF::ConstraintGraph']]],
   ['hasnonlabelededge',['hasNonlabeledEdge',['../classSVF_1_1IRGraph.html#abe0ab797a3da420e4d2f9136d64fb407',1,'SVF::IRGraph']]],