npm - svf-tools - Versions diffs - 1.0.331 → 1.0.335 - Mend

svf-tools 1.0.331 → 1.0.335

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 (293) hide show

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

@@ -10,7 +10,7 @@ var searchData=
   ['gepcgedge',['GepCGEdge',['../classSVF_1_1GepCGEdge.html#a17660f0d48006b9ee1d095218c5ab4a0',1,'SVF::GepCGEdge::GepCGEdge()'],['../classSVF_1_1GepCGEdge.html#ac80df552aa58bb5d285f35bc246dde1b',1,'SVF::GepCGEdge::GepCGEdge(const GepCGEdge &amp;)'],['../classSVF_1_1GepCGEdge.html#a7c60fffa69c2d029d7808e046c9adce4',1,'SVF::GepCGEdge::GepCGEdge(ConstraintNode *s, ConstraintNode *d, ConstraintEdgeK k, EdgeID id)']]],
   ['gepisload',['gepIsLoad',['../classSVF_1_1FlowSensitiveTBHC.html#ad5b294dacf51a89306df9a22c6799bad',1,'SVF::FlowSensitiveTBHC']]],
   ['gepobjvar',['GepObjVar',['../classSVF_1_1GepObjVar.html#ae80d95a4d90ca64eca819e140445004c',1,'SVF::GepObjVar']]],
-  ['gepstmt',['GepStmt',['../classSVF_1_1GepStmt.html#a9877729d1b82317d6e5d28bea9741586',1,'SVF::GepStmt::GepStmt()'],['../classSVF_1_1GepStmt.html#a800c21f9263eb5d9b1980b1dff013391',1,'SVF::GepStmt::GepStmt(const GepStmt &amp;)'],['../classSVF_1_1GepStmt.html#a6ace22baaf73db3302ff2b8ad4285bb6',1,'SVF::GepStmt::GepStmt(SVFVar *s, SVFVar *d, PEDGEK k)']]],
+  ['gepstmt',['GepStmt',['../classSVF_1_1GepStmt.html#a9877729d1b82317d6e5d28bea9741586',1,'SVF::GepStmt::GepStmt()'],['../classSVF_1_1GepStmt.html#a800c21f9263eb5d9b1980b1dff013391',1,'SVF::GepStmt::GepStmt(const GepStmt &amp;)'],['../classSVF_1_1GepStmt.html#ab2e054cf447dd676598d79edb44abfdf',1,'SVF::GepStmt::GepStmt(SVFVar *s, SVFVar *d, const LocationSet &amp;l, PEDGEK k)']]],
   ['gepvalvar',['GepValVar',['../classSVF_1_1GepValVar.html#a9bad2709e0d82d2d4a8578cc57bdf9f5',1,'SVF::GepValVar']]],
   ['gepvfgnode',['GepVFGNode',['../classSVF_1_1GepVFGNode.html#a0c5d942e163a732ce78af81327e73ab2',1,'SVF::GepVFGNode::GepVFGNode()'],['../classSVF_1_1GepVFGNode.html#a1edc695ae4d62a0fe19ecba74a1db3e4',1,'SVF::GepVFGNode::GepVFGNode(const GepVFGNode &amp;)'],['../classSVF_1_1GepVFGNode.html#a4877548499e779b09a0cb29ad9ec0f43',1,'SVF::GepVFGNode::GepVFGNode(NodeID id, const GepStmt *edge)']]],
   ['get',['get',['../classSVF_1_1NodeIDAllocator.html#a2bd3ca30fc9669d9a0327544bdb4557b',1,'SVF::NodeIDAllocator']]],
@@ -203,8 +203,8 @@ var searchData=
   ['getdpim',['getDPIm',['../classSVF_1_1DDAVFSolver.html#ad7d92fad8606d5512786a7b7a08930e2',1,'SVF::DDAVFSolver']]],
   ['getdpimwitholdcond',['getDPImWithOldCond',['../classSVF_1_1DDAVFSolver.html#ac4cb0b666d68d135c5e385bfc880fd67',1,'SVF::DDAVFSolver']]],
   ['getdpmsetatloc',['getDpmSetAtLoc',['../classSVF_1_1DDAVFSolver.html#a6c32a1cdcdbea0151c8cf17ffe598f29',1,'SVF::DDAVFSolver']]],
-  ['getdstid',['getDstID',['../classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e',1,'SVF::GenericEdge::getDstID()'],['../classSVF_1_1PhiStmt.html#a54ca12e0375a19a655f57f91bf899593',1,'SVF::PhiStmt::getDstID()'],['../classSVF_1_1CmpStmt.html#a4849faf9aff64d966ef2303389e43d31',1,'SVF::CmpStmt::getDstID()'],['../classSVF_1_1BinaryOPStmt.html#a038040bb8f22fc56a595fb10c21f4e32',1,'SVF::BinaryOPStmt::getDstID()'],['../classSVF_1_1UnaryOPStmt.html#aaea063a340f2e4a8949178406d9cd33b',1,'SVF::UnaryOPStmt::getDstID()'],['../classSVF_1_1BranchStmt.html#a308157a390c01cd68dd870f3e94624e7',1,'SVF::BranchStmt::getDstID()']]],
-  ['getdstnode',['getDstNode',['../classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86',1,'SVF::GenericEdge::getDstNode()'],['../classSVF_1_1PhiStmt.html#aabae1e97422bd9b6c861e45b3153946e',1,'SVF::PhiStmt::getDstNode()'],['../classSVF_1_1CmpStmt.html#a1f2f847bbff70e43f65cf06b1b41f99d',1,'SVF::CmpStmt::getDstNode()'],['../classSVF_1_1BinaryOPStmt.html#a5b9991fd0aa583d5f8df7f3e19c1687f',1,'SVF::BinaryOPStmt::getDstNode()'],['../classSVF_1_1UnaryOPStmt.html#a46207ce57a8fb0551faad1f5ccc8b8ce',1,'SVF::UnaryOPStmt::getDstNode()'],['../classSVF_1_1BranchStmt.html#ade327625e74b717697340c9a78444757',1,'SVF::BranchStmt::getDstNode()']]],
+  ['getdstid',['getDstID',['../classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e',1,'SVF::GenericEdge::getDstID()'],['../classSVF_1_1AssignStmt.html#a99963aa3c401031b040168284eee5f2e',1,'SVF::AssignStmt::getDstID()'],['../classSVF_1_1MultiOpndStmt.html#a4b5273864f38ae2e7337cdd624a351ab',1,'SVF::MultiOpndStmt::getDstID()'],['../classSVF_1_1UnaryOPStmt.html#ab6bbdbe6674680665f0f4b68169c81c1',1,'SVF::UnaryOPStmt::getDstID()'],['../classSVF_1_1BranchStmt.html#ad188174084e4d1e641de4c7270e15d71',1,'SVF::BranchStmt::getDstID()']]],
+  ['getdstnode',['getDstNode',['../classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86',1,'SVF::GenericEdge::getDstNode()'],['../classSVF_1_1AssignStmt.html#a52c818fa2a43f283e492cf687c23591b',1,'SVF::AssignStmt::getDstNode()'],['../classSVF_1_1MultiOpndStmt.html#aebcdd46f666ae9e6f0b0bf1a792a145a',1,'SVF::MultiOpndStmt::getDstNode()'],['../classSVF_1_1UnaryOPStmt.html#a46207ce57a8fb0551faad1f5ccc8b8ce',1,'SVF::UnaryOPStmt::getDstNode()'],['../classSVF_1_1BranchStmt.html#ade327625e74b717697340c9a78444757',1,'SVF::BranchStmt::getDstNode()']]],
   ['getdt',['getDT',['../classSVF_1_1MemSSA.html#a9741a8d0540ba4c27cb667590d246197',1,'SVF::MemSSA::getDT()'],['../classSVF_1_1TCT.html#a9b2977014d3c3e7df5cb56cc876ddc70',1,'SVF::TCT::getDT()'],['../classSVF_1_1PathCondAllocator.html#a496a23bc37dfdea32c536e9ebe9a4b88',1,'SVF::PathCondAllocator::getDT()'],['../classSVF_1_1PTACFInfoBuilder.html#afb3864bae4ac95c7d3b731634c1abdab',1,'SVF::PTACFInfoBuilder::getDT()']]],
   ['getec',['getEC',['../classSVF_1_1Steensgaard.html#af2afffc0617d588a68fdfa4fcfd24b70',1,'SVF::Steensgaard']]],
   ['getedge',['getEdge',['../classSVF_1_1ConstraintGraph.html#a04a57ef9803917346cb966e05ecd0de4',1,'SVF::ConstraintGraph']]],
@@ -226,6 +226,7 @@ var searchData=
   ['getfalsecond',['getFalseCond',['../classSVF_1_1PathCondAllocator.html#a0d059c9adce2c998ddf2489376beb8e2',1,'SVF::PathCondAllocator::getFalseCond()'],['../classSVF_1_1ProgSlice.html#a9150b694dd7b2e53ef7e78ea1b78094d',1,'SVF::ProgSlice::getFalseCond()'],['../classSVF_1_1BranchCondManager.html#a013eb66493beb2b1d004605c68894a95',1,'SVF::BranchCondManager::getFalseCond()'],['../classSVF_1_1CondManager.html#a39e9d42cb3661d1c686b5163c70eeade',1,'SVF::CondManager::getFalseCond()']]],
   ['getfieldidx',['getFieldIdx',['../classSVF_1_1GepValVar.html#ae6965dc3d70ff6d1877d29b8e7aa4af8',1,'SVF::GepValVar']]],
   ['getfieldobjnodenum',['getFieldObjNodeNum',['../classSVF_1_1SVFIR.html#af7a98a5eb789178594063140c85cd21f',1,'SVF::SVFIR']]],
+  ['getfieldoffset',['getFieldOffset',['../classSVF_1_1NormalGepCGEdge.html#aaa1db7a684bb6ddbeb02e5ffad4d6f0f',1,'SVF::NormalGepCGEdge::getFieldOffset()'],['../classSVF_1_1NormalGepStmt.html#a5f68b485fb5d60deef2ca33da40c69ef',1,'SVF::NormalGepStmt::getFieldOffset()'],['../classSVF_1_1GepValVar.html#a5592f18160d398ae126a67c193e5f09d',1,'SVF::GepValVar::getFieldOffset()'],['../classSVF_1_1GepObjVar.html#a8daba70e9cc23d2411f5be0b1cd1054d',1,'SVF::GepObjVar::getFieldOffset()'],['../classSVF_1_1DCHEdge.html#a38963d42db8215b954391781116b47cd',1,'SVF::DCHEdge::getFieldOffset()']]],
   ['getfields',['getFields',['../classSVF_1_1SVFIRBuilder.html#a5c7cc40f0a9c89a8b9c21c65215dda29',1,'SVF::SVFIRBuilder']]],
   ['getfieldsaftercollapse',['getFieldsAfterCollapse',['../classSVF_1_1SVFIR.html#a42d1e2f0213fb6e54c56cc0695b57cb0',1,'SVF::SVFIR']]],
   ['getfieldtype',['getFieldType',['../classSVF_1_1DCHGraph.html#acaff636e6a9cf59363d6ee00435c04ff',1,'SVF::DCHGraph']]],
@@ -342,6 +343,8 @@ var searchData=
   ['getlargest',['getLargest',['../cuddInt_8c.html#a6506f1ae80b0f85d1e01da0db4a4f31a',1,'cuddInt.c']]],
   ['getlevelkeys',['getLevelKeys',['../cuddInt_8c.html#ad829ee379117400b55d9b61100bb1252',1,'cuddInt.c']]],
   ['getlhstoplevptr',['getLHSTopLevPtr',['../classSVF_1_1VFG.html#a1fff5a365e5aa2d99f07f7f64cc35fac',1,'SVF::VFG']]],
+  ['getlhsvar',['getLHSVar',['../classSVF_1_1AssignStmt.html#a973a2b79da223275ed6a1831837b89c7',1,'SVF::AssignStmt']]],
+  ['getlhsvarid',['getLHSVarID',['../classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840',1,'SVF::AssignStmt']]],
   ['getllvmcallsite',['getLLVMCallSite',['../classSVF_1_1ThreadAPI.html#ad4dfe9563de352bb40fb1028a2851512',1,'SVF::ThreadAPI::getLLVMCallSite()'],['../namespaceSVF_1_1SVFUtil.html#a202de7ad2bea0311e2f75894c030e7a9',1,'SVF::SVFUtil::getLLVMCallSite()']]],
   ['getllvmfun',['getLLVMFun',['../classSVF_1_1SVFFunction.html#ac4ae917ae35ac6fca652fe2dd90a8ac2',1,'SVF::SVFFunction']]],
   ['getllvmfunction',['getLLVMFunction',['../namespaceSVF_1_1SVFUtil.html#ad98299033577f1e7f4e9bc73dff3b253',1,'SVF::SVFUtil']]],
@@ -357,7 +360,7 @@ var searchData=
   ['getloadoutedges',['getLoadOutEdges',['../classSVF_1_1ConstraintNode.html#a59ab1cea514100c63ee179e3e9a5aa0a',1,'SVF::ConstraintNode']]],
   ['getloadtomusetmap',['getLoadToMUSetMap',['../classSVF_1_1MemSSA.html#a70dd35ef458c452330dfebcdde17b84c',1,'SVF::MemSSA']]],
   ['getloc',['getLoc',['../classSVF_1_1StmtDPItem.html#a3616c94c4394b61c757ffcd39888d5b9',1,'SVF::StmtDPItem']]],
-  ['getlocationset',['getLocationSet',['../classSVF_1_1NormalGepCGEdge.html#ac469605b74fa8cd38e1959c8b948864b',1,'SVF::NormalGepCGEdge::getLocationSet()'],['../classSVF_1_1NormalGepStmt.html#a7bf625581c4852212bcea89562ea9cef',1,'SVF::NormalGepStmt::getLocationSet()'],['../classSVF_1_1GepObjVar.html#a553e648804b39c503e7288dd0434c339',1,'SVF::GepObjVar::getLocationSet()']]],
+  ['getlocationset',['getLocationSet',['../classSVF_1_1NormalGepCGEdge.html#ac469605b74fa8cd38e1959c8b948864b',1,'SVF::NormalGepCGEdge::getLocationSet()'],['../classSVF_1_1GepStmt.html#abec33091e0dac0cdd5b95b6d7b0db3d8',1,'SVF::GepStmt::getLocationSet()'],['../classSVF_1_1GepObjVar.html#a553e648804b39c503e7288dd0434c339',1,'SVF::GepObjVar::getLocationSet()']]],
   ['getlocationsetfrombasenode',['getLocationSetFromBaseNode',['../classSVF_1_1SVFIR.html#a8b36d077c30fb2830a253ded82413c2d',1,'SVF::SVFIR']]],
   ['getlockspan',['getLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a4e6207b3b64a60993e1e02f6ef125452',1,'SVF::SVFGNodeLockSpan']]],
   ['getlockval',['getLockVal',['../classSVF_1_1LockAnalysis.html#a785616f9c744d7249fd1080e5ed04d29',1,'SVF::LockAnalysis::getLockVal()'],['../classSVF_1_1ThreadAPI.html#a8f1c869eb42f7c89697cf2c7452ba9e9',1,'SVF::ThreadAPI::getLockVal(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#ad1d43e47f5036138e85068a1714f6c48',1,'SVF::ThreadAPI::getLockVal(CallSite cs) const']]],
@@ -438,7 +441,6 @@ var searchData=
   ['getocgrep',['getOCGRep',['../classSVF_1_1OfflineConsG.html#a3f390900ee8761055c6d59107bc0ad27',1,'SVF::OfflineConsG']]],
   ['getocgrepmap',['getOCGRepMap',['../classSVF_1_1OfflineConsG.html#a4c27bd33977816db33d0e7d92036239a',1,'SVF::OfflineConsG']]],
   ['getofflinerep',['getOfflineRep',['../classSVF_1_1AndersenHCD.html#ac2e6a5acffff567e729b6aa9e9beeb55',1,'SVF::AndersenHCD']]],
-  ['getoffset',['getOffset',['../classSVF_1_1NormalGepCGEdge.html#ac7dc9a2857ee020345ebe465ba0d08f3',1,'SVF::NormalGepCGEdge::getOffset()'],['../classSVF_1_1NormalGepStmt.html#a904919192ddbd054381c3b863531ab10',1,'SVF::NormalGepStmt::getOffset()'],['../classSVF_1_1GepValVar.html#a149d738115af2bcd815306ee6eb91bb3',1,'SVF::GepValVar::getOffset()'],['../classSVF_1_1GepObjVar.html#aae0159e4e93e3607e425933b8ce0a66c',1,'SVF::GepObjVar::getOffset()'],['../classSVF_1_1DCHEdge.html#a228405631dd68eeeb274581865e4d13d',1,'SVF::DCHEdge::getOffset()']]],
   ['getoffsetvaluevec',['getOffsetValueVec',['../classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c',1,'SVF::LocationSet']]],
   ['getopcode',['getOpcode',['../classSVF_1_1BinaryOPStmt.html#ad0a7c5e87355d7a83176343322db448f',1,'SVF::BinaryOPStmt::getOpcode()'],['../classSVF_1_1UnaryOPStmt.html#af29723d5e777b10d53d48263a786f5b6',1,'SVF::UnaryOPStmt::getOpcode()']]],
   ['getoperand',['getOperand',['../classllvm_1_1generic__bridge__gep__type__iterator.html#a9494bbdc909dab98dd3fd23a416f3a31',1,'llvm::generic_bridge_gep_type_iterator']]],
@@ -471,7 +473,6 @@ var searchData=
   ['getpagedge',['getPAGEdge',['../classSVF_1_1StmtVFGNode.html#a4dd7615f42971da9b6ec1dc04f0ec4e6',1,'SVF::StmtVFGNode']]],
   ['getpagedgekindvalue',['getPAGEdgeKindValue',['../classSVF_1_1ICFGPrinter.html#a38aa67e172459a72d8fc92a6172903be',1,'SVF::ICFGPrinter']]],
   ['getpagedgenum',['getPAGEdgeNum',['../classSVF_1_1IRGraph.html#a2fda1df53e53c0098d99f36d8f6f0998',1,'SVF::IRGraph']]],
-  ['getpagedges',['getPAGEdges',['../classSVF_1_1ICFGNode.html#a23707d08fd5cfcb5db72ff4ef0b864ff',1,'SVF::ICFGNode']]],
   ['getpagedgeset',['getPAGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a08478529524005aba86660f031cf55af',1,'SVF::ConstraintGraph::getPAGEdgeSet()'],['../classSVF_1_1VFG.html#a77c2855e80d85ee122e3ee076402d864',1,'SVF::VFG::getPAGEdgeSet()']]],
   ['getpagedgesfrominst',['getPAGEdgesFromInst',['../classSVF_1_1MRGenerator.html#acc78a116ca0be01a359d1313b2ae603c',1,'SVF::MRGenerator']]],
   ['getpagnode',['getPAGNode',['../classSVF_1_1NullPtrVFGNode.html#a116af5e66665c56b9ca1e734bc3719c5',1,'SVF::NullPtrVFGNode']]],
@@ -537,6 +538,8 @@ var searchData=
   ['getrev',['getRev',['../classSVF_1_1ActualRetVFGNode.html#a4bcfddf05da46729c670b4f450f9d606',1,'SVF::ActualRetVFGNode']]],
   ['getreversenodemapping',['getReverseNodeMapping',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a36b25188130f4c21d145c950a70d616f',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['getrevpts',['getRevPts',['../classSVF_1_1PTData.html#ab6146f5582946c08568f3a8d45e57b03',1,'SVF::PTData::getRevPts()'],['../classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096',1,'SVF::MutablePTData::getRevPts()'],['../classSVF_1_1MutableDiffPTData.html#ad9bd6762fc6525afaed4a6c6da63688d',1,'SVF::MutableDiffPTData::getRevPts()'],['../classSVF_1_1MutableDFPTData.html#a2f98940bd8266ad37a975c6d30d948b4',1,'SVF::MutableDFPTData::getRevPts()'],['../classSVF_1_1MutableVersionedPTData.html#a7de508c0d83895aee785524d28eac8b9',1,'SVF::MutableVersionedPTData::getRevPts()'],['../classSVF_1_1PersistentPTData.html#a916017f2cc924b10e72120d1d87afd34',1,'SVF::PersistentPTData::getRevPts()'],['../classSVF_1_1PersistentDiffPTData.html#a7a12f89c0de40dbcb5fe48219a7c121b',1,'SVF::PersistentDiffPTData::getRevPts()'],['../classSVF_1_1PersistentDFPTData.html#a50c3d871edb13ac5b3f0d625deb6449a',1,'SVF::PersistentDFPTData::getRevPts()'],['../classSVF_1_1PersistentVersionedPTData.html#aafa09ff01060e43f08278963179eec30',1,'SVF::PersistentVersionedPTData::getRevPts()'],['../classSVF_1_1PointerAnalysis.html#ad9af9655a13f3faeaf265ba370d1f280',1,'SVF::PointerAnalysis::getRevPts()'],['../classSVF_1_1BVDataPTAImpl.html#a58113943e4e7144d94d26991dcc8bcc7',1,'SVF::BVDataPTAImpl::getRevPts()'],['../classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3',1,'SVF::CondPTAImpl::getRevPts(CVar nodeId)'],['../classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9',1,'SVF::CondPTAImpl::getRevPts(NodeID obj)']]],
+  ['getrhsvar',['getRHSVar',['../classSVF_1_1AssignStmt.html#ad03d28d16754c9049dd4d0ad3b6c1e28',1,'SVF::AssignStmt']]],
+  ['getrhsvarid',['getRHSVarID',['../classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d',1,'SVF::AssignStmt']]],
   ['getsccdetector',['getSCCDetector',['../classSVF_1_1WPASolver.html#a37ca8a99b8f83fba796293e6e13b0953',1,'SVF::WPASolver']]],
   ['getsccrep',['getSCCRep',['../classSVF_1_1SVFGStat.html#a947dcd586a9ccf8b60243153769aaf31',1,'SVF::SVFGStat']]],
   ['getscevminusexpr',['getSCEVMinusExpr',['../MHP_8cpp.html#ae713d8413cfbe62885fc3fa8e38c3492',1,'MHP.cpp']]],
@@ -555,8 +558,8 @@ var searchData=
   ['getspawnees',['getSpawnees',['../classSVF_1_1PCG.html#a4aee985ede8e6ed6dd92574494101df9',1,'SVF::PCG']]],
   ['getspawners',['getSpawners',['../classSVF_1_1PCG.html#a6efd56a0a1810cf9036dd9203ea5e71e',1,'SVF::PCG']]],
   ['getsrccsid',['getSrcCSID',['../classSVF_1_1LeakChecker.html#a4918e3e3e289cc39f3442cb26f28bcc4',1,'SVF::LeakChecker']]],
-  ['getsrcid',['getSrcID',['../classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7',1,'SVF::GenericEdge::getSrcID()'],['../classSVF_1_1PhiStmt.html#a723bca50c50179c17c6ce53b738c3414',1,'SVF::PhiStmt::getSrcID()'],['../classSVF_1_1CmpStmt.html#a9c725b7a6c7386b2892d82b70f1bec05',1,'SVF::CmpStmt::getSrcID()'],['../classSVF_1_1BinaryOPStmt.html#a7ceeaffe5aae4bf572b0e21d33331035',1,'SVF::BinaryOPStmt::getSrcID()'],['../classSVF_1_1UnaryOPStmt.html#ac6ee43abe0ca33efe4caf84ef67323dd',1,'SVF::UnaryOPStmt::getSrcID()'],['../classSVF_1_1BranchStmt.html#ab9c4a6190ecc1aead171c828450d69cb',1,'SVF::BranchStmt::getSrcID()']]],
-  ['getsrcnode',['getSrcNode',['../classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589',1,'SVF::GenericEdge::getSrcNode()'],['../classSVF_1_1PhiStmt.html#a6d45d49e58717c72b9cc8cb4f36133c0',1,'SVF::PhiStmt::getSrcNode()'],['../classSVF_1_1CmpStmt.html#a342ba9fd88195b90e2419fd44afef23d',1,'SVF::CmpStmt::getSrcNode()'],['../classSVF_1_1BinaryOPStmt.html#a0fd752e4cb3eabdc7cdd61a4a4f17253',1,'SVF::BinaryOPStmt::getSrcNode()'],['../classSVF_1_1UnaryOPStmt.html#ab80b5be6506812c9d58f63478de42e92',1,'SVF::UnaryOPStmt::getSrcNode()'],['../classSVF_1_1BranchStmt.html#af772610e425e2a67f7152bd8d53bf3c5',1,'SVF::BranchStmt::getSrcNode()']]],
+  ['getsrcid',['getSrcID',['../classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7',1,'SVF::GenericEdge::getSrcID()'],['../classSVF_1_1AssignStmt.html#aa9e1367635f51e5fb456ac885406c990',1,'SVF::AssignStmt::getSrcID()'],['../classSVF_1_1MultiOpndStmt.html#acb793282c0abdef799b02658eebe1b79',1,'SVF::MultiOpndStmt::getSrcID()'],['../classSVF_1_1UnaryOPStmt.html#a38d60ea63e064f8a581f72f64642976d',1,'SVF::UnaryOPStmt::getSrcID()'],['../classSVF_1_1BranchStmt.html#a9425d660cc5a51b720463adc71f4c1f5',1,'SVF::BranchStmt::getSrcID()']]],
+  ['getsrcnode',['getSrcNode',['../classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589',1,'SVF::GenericEdge::getSrcNode()'],['../classSVF_1_1AssignStmt.html#af4edf3314705e3b589b856b07049edcd',1,'SVF::AssignStmt::getSrcNode()'],['../classSVF_1_1MultiOpndStmt.html#a09cc241c2cb1c89a7d89ef6c605eaed8',1,'SVF::MultiOpndStmt::getSrcNode()'],['../classSVF_1_1UnaryOPStmt.html#ab80b5be6506812c9d58f63478de42e92',1,'SVF::UnaryOPStmt::getSrcNode()'],['../classSVF_1_1BranchStmt.html#af772610e425e2a67f7152bd8d53bf3c5',1,'SVF::BranchStmt::getSrcNode()']]],
   ['getssaversion',['getSSAVersion',['../classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88',1,'SVF::MRVer']]],
   ['getstartroutineofcxtthread',['getStartRoutineOfCxtThread',['../classSVF_1_1TCT.html#a7ccacac1c673b38215b90e4eb480581f',1,'SVF::TCT']]],
   ['getstat',['getStat',['../classSVF_1_1SVFG.html#a8ba934714a7f2caf2e041002fdb66137',1,'SVF::SVFG::getStat()'],['../classSVF_1_1PointerAnalysis.html#a0ebf1138011aa526d92470c1931313ad',1,'SVF::PointerAnalysis::getStat()']]],
@@ -590,6 +593,7 @@ var searchData=
   ['getsvfgsccrepnode',['getSVFGSCCRepNode',['../classSVF_1_1DDAVFSolver.html#a1583ed2eb1d4b88dc2a5b4c0b6842496',1,'SVF::DDAVFSolver']]],
   ['getsvfmodule',['getSVFModule',['../classSVF_1_1TCT.html#aabc2c84e951ed9ae64207e379acb3074',1,'SVF::TCT::getSVFModule()'],['../classSVF_1_1LLVMModuleSet.html#a16572a3d7639fa65c699b6c3982fa20e',1,'SVF::LLVMModuleSet::getSVFModule()']]],
   ['getsvfstmtlist',['getSVFStmtList',['../classSVF_1_1SVFIR.html#a570ad42ad516e3fabb91a3563b618c0b',1,'SVF::SVFIR']]],
+  ['getsvfstmts',['getSVFStmts',['../classSVF_1_1ICFGNode.html#a6c68f52dd90728073fb79141df9b0661',1,'SVF::ICFGNode']]],
   ['getsvfstmtset',['getSVFStmtSet',['../classSVF_1_1SVFIR.html#ae2006820c0d00482b85e7ae3adcb5744',1,'SVF::SVFIR']]],
   ['gettaskdataathareparforsite',['getTaskDataAtHareParForSite',['../classSVF_1_1ThreadAPI.html#a58cf56e35be873a5a26c5eb0d9b5c9b3',1,'SVF::ThreadAPI::getTaskDataAtHareParForSite(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#aee8fac6281a95d8a519add100e8887d1',1,'SVF::ThreadAPI::getTaskDataAtHareParForSite(CallSite cs) const'],['../namespaceSVF_1_1SVFUtil.html#ad3471260b66bdd7e6b790ad2a94fe7ce',1,'SVF::SVFUtil::getTaskDataAtHareParForSite(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a5f3dd36ee492b60039928a86519518a5',1,'SVF::SVFUtil::getTaskDataAtHareParForSite(const Instruction *inst)']]],
   ['gettaskfuncathareparforsite',['getTaskFuncAtHareParForSite',['../classSVF_1_1ThreadAPI.html#afeedd6e518af76fa9e7142af8899b2f5',1,'SVF::ThreadAPI::getTaskFuncAtHareParForSite(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a282d6aeab91135af4cab8195d67badf6',1,'SVF::ThreadAPI::getTaskFuncAtHareParForSite(CallSite cs) const'],['../namespaceSVF_1_1SVFUtil.html#ab048cbce6e4f5a3d6ff90da3565220ff',1,'SVF::SVFUtil::getTaskFuncAtHareParForSite(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a111fa1ecf72adbd2e0ff27e922f0d34a',1,'SVF::SVFUtil::getTaskFuncAtHareParForSite(const Instruction *inst)']]],

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

@@ -82,7 +82,7 @@ var searchData=
   ['mtr_5fprintgroups',['Mtr_PrintGroups',['../mtr_8h.html#a2d9c3174966e8acd78d0d0664065c472',1,'Mtr_PrintGroups(MtrNode *root, int silent):&#160;mtr.c'],['../mtr_8c.html#a2d9c3174966e8acd78d0d0664065c472',1,'Mtr_PrintGroups(MtrNode *root, int silent):&#160;mtr.c']]],
   ['mtr_5fprinttree',['Mtr_PrintTree',['../mtr_8h.html#a2b74ec8b38ff7acb55691cb2a476bfe9',1,'Mtr_PrintTree(MtrNode *node):&#160;mtr.c'],['../mtr_8c.html#a2b74ec8b38ff7acb55691cb2a476bfe9',1,'Mtr_PrintTree(MtrNode *node):&#160;mtr.c']]],
   ['mtr_5freordergroups',['Mtr_ReorderGroups',['../mtr_8h.html#a92aa3faee3fcf01276d2a74314e2589e',1,'Mtr_ReorderGroups(MtrNode *treenode, int *permutation):&#160;mtr.c'],['../mtr_8c.html#a92aa3faee3fcf01276d2a74314e2589e',1,'Mtr_ReorderGroups(MtrNode *treenode, int *permutation):&#160;mtr.c']]],
-  ['multiopndstmt',['MultiOpndStmt',['../classSVF_1_1MultiOpndStmt.html#aad0c81aeb48e5d94dd8c60d87b41714c',1,'SVF::MultiOpndStmt']]],
+  ['multiopndstmt',['MultiOpndStmt',['../classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3',1,'SVF::MultiOpndStmt::MultiOpndStmt()'],['../classSVF_1_1MultiOpndStmt.html#a6b01d569057dda1783503563c20c74e6',1,'SVF::MultiOpndStmt::MultiOpndStmt(const MultiOpndStmt &amp;)'],['../classSVF_1_1MultiOpndStmt.html#aad0c81aeb48e5d94dd8c60d87b41714c',1,'SVF::MultiOpndStmt::MultiOpndStmt(SVFVar *r, const OPVars &amp;opnds, GEdgeFlag k)']]],
   ['mustalias',['mustAlias',['../classSVF_1_1CondPTAImpl.html#a3b5877fec52bbfa7c83bab6c9bc95684',1,'SVF::CondPTAImpl']]],
   ['mutabledfptdata',['MutableDFPTData',['../classSVF_1_1MutableDFPTData.html#aed141fb836cb22e02032ea46e3e5f51b',1,'SVF::MutableDFPTData']]],
   ['mutablediffptdata',['MutableDiffPTData',['../classSVF_1_1MutableDiffPTData.html#ae087d0307844312710c2d4c05535ea86',1,'SVF::MutableDiffPTData']]],

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

@@ -19,7 +19,7 @@ var searchData=
   ['operator_2d_3e',['operator-&gt;',['../classllvm_1_1generic__bridge__gep__type__iterator.html#a7407c9a10bc872bcf03a2a4e67c2c188',1,'llvm::generic_bridge_gep_type_iterator']]],
   ['operator_3c',['operator&lt;',['../classSVF_1_1CondVar.html#add10a9d6f6a49cbd5dd0f5d47c423d27',1,'SVF::CondVar::operator&lt;()'],['../classSVF_1_1CondStdSet.html#ad3c38bb031419dd583a9cb0314e76afd',1,'SVF::CondStdSet::operator&lt;()'],['../classSVF_1_1CondPointsToSet.html#a54d9d3f3a38bf4066cd930845f86a63c',1,'SVF::CondPointsToSet::operator&lt;()'],['../classSVF_1_1LocationSet.html#a7325b652e80625329406d8155ae8d403',1,'SVF::LocationSet::operator&lt;()'],['../classSVF_1_1MSSAMU.html#a838a4a7cd670eef1153701aef9871bcf',1,'SVF::MSSAMU::operator&lt;()'],['../classSVF_1_1MSSADEF.html#ad24da3516c198ade16c6909c5222fd0f',1,'SVF::MSSADEF::operator&lt;()'],['../classSVF_1_1SVFGNodeLockSpan.html#a6640840300cf03186ceb7a2dbc75e875',1,'SVF::SVFGNodeLockSpan::operator&lt;()'],['../classSVF_1_1PTASCEV.html#ad85500e4caaa70ecacfdf5fbbbcc330e',1,'SVF::PTASCEV::operator&lt;()'],['../classSVF_1_1CallSite.html#ab09ca7986f5b924b6c6b57e492f06c07',1,'SVF::CallSite::operator&lt;()'],['../classSVF_1_1CxtStmt.html#a8492998e88e895945845f5c666e86888',1,'SVF::CxtStmt::operator&lt;()'],['../classSVF_1_1CxtThreadStmt.html#affaa3bf793e1127a8333b6683ebb3fdd',1,'SVF::CxtThreadStmt::operator&lt;()'],['../classSVF_1_1CxtThread.html#a60b5b1a47869964fc8b6a27a38d11ae8',1,'SVF::CxtThread::operator&lt;()'],['../classSVF_1_1CxtProc.html#ab58a8dc44944ac2ab3280562a8306e7b',1,'SVF::CxtProc::operator&lt;()'],['../classSVF_1_1CxtThreadProc.html#a4b8e4f182a34d078595ce0eb9ec94c6d',1,'SVF::CxtThreadProc::operator&lt;()'],['../classSVF_1_1DPItem.html#a639c757076141a14bedc26c73f875ffe',1,'SVF::DPItem::operator&lt;()'],['../classSVF_1_1StmtDPItem.html#af92976dc7a8785165cefb047e742cdf6',1,'SVF::StmtDPItem::operator&lt;()'],['../classSVF_1_1ContextCond.html#a53e0a8ac864e15edf0de827bdbb4eb01',1,'SVF::ContextCond::operator&lt;()'],['../classSVF_1_1CxtStmtDPItem.html#a307f95b6f22e0231a2da7b14a2db07cf',1,'SVF::CxtStmtDPItem::operator&lt;()'],['../classSVF_1_1CxtDPItem.html#aa2841c6ef632e747357ebcde0118ec49',1,'SVF::CxtDPItem::operator&lt;()'],['../classSVF_1_1VFPathCond.html#adfec3fe0885067b6bd4455d9c12609b5',1,'SVF::VFPathCond::operator&lt;()'],['../classSVF_1_1PathStmtDPItem.html#a8df1b3200bf3385aeb793966ff51ee75',1,'SVF::PathStmtDPItem::operator&lt;()']]],
   ['operator_3c_3c',['operator&lt;&lt;',['../namespaceSVF.html#ac5a03512613828c2fab8930f38c2d485',1,'SVF']]],
-  ['operator_3d',['operator=',['../classSVF_1_1AddrCGEdge.html#a7f2959e08f010e5c30dcb76c6fbf6732',1,'SVF::AddrCGEdge::operator=()'],['../classSVF_1_1CopyCGEdge.html#a50348854a99591726e769078a8d2f703',1,'SVF::CopyCGEdge::operator=()'],['../classSVF_1_1StoreCGEdge.html#a51869681f10566da74de3fb461c7a7e0',1,'SVF::StoreCGEdge::operator=()'],['../classSVF_1_1LoadCGEdge.html#a079925b497671bd5ef60aae5d64fa443',1,'SVF::LoadCGEdge::operator=()'],['../classSVF_1_1GepCGEdge.html#ab9b230aa38c6fe45914cfb2c52c70e5b',1,'SVF::GepCGEdge::operator=()'],['../classSVF_1_1NormalGepCGEdge.html#a7f3a388e37e497fc5874e9f392901a39',1,'SVF::NormalGepCGEdge::operator=()'],['../classSVF_1_1VariantGepCGEdge.html#a4caf6f4b31b78ca02985fc4722d43522',1,'SVF::VariantGepCGEdge::operator=()'],['../classSVF_1_1LoadVFGNode.html#a8e42ee37ececc2391fc4d1ad1c24f13f',1,'SVF::LoadVFGNode::operator=()'],['../classSVF_1_1StoreVFGNode.html#a7f4de642d80c7b7335d7bb0c58adc7d4',1,'SVF::StoreVFGNode::operator=()'],['../classSVF_1_1CopyVFGNode.html#a9029b5166ae4e76a4506050c310a1f3a',1,'SVF::CopyVFGNode::operator=()'],['../classSVF_1_1CmpVFGNode.html#ae4984b52e88844a6c11732e9a6819fb2',1,'SVF::CmpVFGNode::operator=()'],['../classSVF_1_1BinaryOPVFGNode.html#a6e10436b82aa1e598f4ea9c06b5ef799',1,'SVF::BinaryOPVFGNode::operator=()'],['../classSVF_1_1UnaryOPVFGNode.html#a27af787da1d72bab2971dd237eaa9897',1,'SVF::UnaryOPVFGNode::operator=()'],['../classSVF_1_1BranchVFGNode.html#a3b05294417c222b3d0be2bf1d1b1e277',1,'SVF::BranchVFGNode::operator=()'],['../classSVF_1_1GepVFGNode.html#acacfe5f0a9f33dc4ca25e0926d0e7076',1,'SVF::GepVFGNode::operator=()'],['../classSVF_1_1AddrVFGNode.html#ae15cb791d45cfde3ba9be8779d843a66',1,'SVF::AddrVFGNode::operator=()'],['../classSVF_1_1ActualRetVFGNode.html#a4549da69c84064b914e9b4df9350ab6f',1,'SVF::ActualRetVFGNode::operator=()'],['../classSVF_1_1FormalRetVFGNode.html#a599d139a7973dfc09c5db18a60aba3dd',1,'SVF::FormalRetVFGNode::operator=()'],['../classSVF_1_1CondVar.html#a90d6c2204c92db5c78991e6dfdcc5c80',1,'SVF::CondVar::operator=()'],['../classSVF_1_1CondStdSet.html#a9fa868a473993d0244431d640799ce98',1,'SVF::CondStdSet::operator=()'],['../classSVF_1_1CondPointsToSet.html#a42056d7b29e50a3ed8a8db95674d24b2',1,'SVF::CondPointsToSet::operator=()'],['../classSVF_1_1LocationSet.html#a15975ec54c93c39fb1ed59599e5ec107',1,'SVF::LocationSet::operator=()'],['../classSVF_1_1PointsTo.html#a269d334618e4acc7e739317fd58d7fe7',1,'SVF::PointsTo::operator=(const PointsTo &amp;rhs)'],['../classSVF_1_1PointsTo.html#ab06c71c3d1ab7ef2a67fc00b42f4be72',1,'SVF::PointsTo::operator=(PointsTo &amp;&amp;rhs)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#acbbcff746f7f0dc37815e688e9172f21',1,'SVF::PointsTo::PointsToIterator::operator=(const PointsToIterator &amp;rhs)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ac35de79e5c5d48d7f8f6f22e8450a0f6',1,'SVF::PointsTo::PointsToIterator::operator=(PointsToIterator &amp;&amp;rhs)'],['../classSVF_1_1AddrStmt.html#a1fe5489d6b941f5de3f3eeea63818dae',1,'SVF::AddrStmt::operator=()'],['../classSVF_1_1CopyStmt.html#a96205e0ffb3001de306e856090dbf277',1,'SVF::CopyStmt::operator=()'],['../classSVF_1_1PhiStmt.html#a331c7e14409b2d78881a0ec8932c1170',1,'SVF::PhiStmt::operator=()'],['../classSVF_1_1CmpStmt.html#a73b976659b9437c33297fc14c55a3034',1,'SVF::CmpStmt::operator=()'],['../classSVF_1_1BinaryOPStmt.html#a987a69ea0cfc4b96adad22be810495b1',1,'SVF::BinaryOPStmt::operator=()'],['../classSVF_1_1UnaryOPStmt.html#a58a341847b24cfaf98ab7e82008bc018',1,'SVF::UnaryOPStmt::operator=()'],['../classSVF_1_1BranchStmt.html#a4d89147be6703c297709cfe03c4b202b',1,'SVF::BranchStmt::operator=()'],['../classSVF_1_1StoreStmt.html#abc2f677257ce4656f1da4373d6a016ef',1,'SVF::StoreStmt::operator=()'],['../classSVF_1_1LoadStmt.html#afd0b942170ec3aa8f44a6c5cc422a69d',1,'SVF::LoadStmt::operator=()'],['../classSVF_1_1GepStmt.html#aad988829009a31f173e3908461e3a7e8',1,'SVF::GepStmt::operator=()'],['../classSVF_1_1NormalGepStmt.html#af5c4696cb71f71ef38d2a62ceebc1789',1,'SVF::NormalGepStmt::operator=()'],['../classSVF_1_1VariantGepStmt.html#a0dd09a0b451cf951d51f0b1c7b97b7a5',1,'SVF::VariantGepStmt::operator=()'],['../classSVF_1_1CallPE.html#a9ea8ddb83c64889c3baa128b72ff7207',1,'SVF::CallPE::operator=()'],['../classSVF_1_1RetPE.html#acb2a5e66fab9f95278c44344d268f465',1,'SVF::RetPE::operator=()'],['../classSVF_1_1TDForkPE.html#a3c6cc8db894e2c4cb62262fdd556e58f',1,'SVF::TDForkPE::operator=()'],['../classSVF_1_1TDJoinPE.html#a4e4d2ac2888d9e1c02bb62f0a40bd0e2',1,'SVF::TDJoinPE::operator=()'],['../classSVF_1_1SVFGNodeLockSpan.html#afa2d1f6997dd5f06b4efe75f8145932e',1,'SVF::SVFGNodeLockSpan::operator=()'],['../classSVF_1_1PTASCEV.html#a144e7fa8c5f4987067914416a85656ca',1,'SVF::PTASCEV::operator=()'],['../classSVF_1_1BitVector.html#a5e537ecf471af33c08752eb9d55f1910',1,'SVF::BitVector::operator=(const BitVector &amp;rhs)'],['../classSVF_1_1BitVector.html#af5bd38d3b667a8740aaf309f6ef13369',1,'SVF::BitVector::operator=(BitVector &amp;&amp;rhs)'],['../classSVF_1_1CoreBitVector.html#a3594d997fba0aa6201855199a884d98d',1,'SVF::CoreBitVector::operator=(const CoreBitVector &amp;rhs)'],['../classSVF_1_1CoreBitVector.html#ae14cc9ce0abbad20636c51e6ca781305',1,'SVF::CoreBitVector::operator=(CoreBitVector &amp;&amp;rhs)'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#adb5a17e5916052f49390d6e99ff47b22',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator=(const CoreBitVectorIterator &amp;cbv)=default'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1d19b0a8fd137d6598d1f11ef031930b',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator=(CoreBitVectorIterator &amp;&amp;cbv)=default'],['../classSVF_1_1CxtStmt.html#a4f431c7b6f3434eff34b4cea6853066b',1,'SVF::CxtStmt::operator=()'],['../classSVF_1_1CxtThreadStmt.html#a894849e24d01f80463a207e0c8f2548f',1,'SVF::CxtThreadStmt::operator=()'],['../classSVF_1_1CxtThread.html#a3c22e59962a9c638a0f1b516c25aec8f',1,'SVF::CxtThread::operator=()'],['../classSVF_1_1CxtProc.html#a617c7ee432ac89cf419dfad47854e3a5',1,'SVF::CxtProc::operator=()'],['../classSVF_1_1CxtThreadProc.html#a439a27864cb18accba5f8fe706c1e74b',1,'SVF::CxtThreadProc::operator=()'],['../classSVF_1_1DPItem.html#a10226d37dfef045bec9f7cfb78315440',1,'SVF::DPItem::operator=()'],['../classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499',1,'SVF::StmtDPItem::operator=()'],['../classSVF_1_1ContextCond.html#ae4d1bb47d0c8ef4d8b31ffaeb83edf04',1,'SVF::ContextCond::operator=()'],['../classSVF_1_1CxtStmtDPItem.html#aef8f7d034bdd10730e3ff1a2ae52350c',1,'SVF::CxtStmtDPItem::operator=()'],['../classSVF_1_1CxtDPItem.html#abe0913f8d672a079fa674dbcc3e1b3db',1,'SVF::CxtDPItem::operator=()'],['../classSVF_1_1VFPathCond.html#a4bc59244e43d7db4478b0b9f868a0dab',1,'SVF::VFPathCond::operator=()'],['../classSVF_1_1PathStmtDPItem.html#a36ff7567d47e3818d79ede424f736817',1,'SVF::PathStmtDPItem::operator=()']]],
+  ['operator_3d',['operator=',['../classSVF_1_1AddrCGEdge.html#a7f2959e08f010e5c30dcb76c6fbf6732',1,'SVF::AddrCGEdge::operator=()'],['../classSVF_1_1CopyCGEdge.html#a50348854a99591726e769078a8d2f703',1,'SVF::CopyCGEdge::operator=()'],['../classSVF_1_1StoreCGEdge.html#a51869681f10566da74de3fb461c7a7e0',1,'SVF::StoreCGEdge::operator=()'],['../classSVF_1_1LoadCGEdge.html#a079925b497671bd5ef60aae5d64fa443',1,'SVF::LoadCGEdge::operator=()'],['../classSVF_1_1GepCGEdge.html#ab9b230aa38c6fe45914cfb2c52c70e5b',1,'SVF::GepCGEdge::operator=()'],['../classSVF_1_1NormalGepCGEdge.html#a7f3a388e37e497fc5874e9f392901a39',1,'SVF::NormalGepCGEdge::operator=()'],['../classSVF_1_1VariantGepCGEdge.html#a4caf6f4b31b78ca02985fc4722d43522',1,'SVF::VariantGepCGEdge::operator=()'],['../classSVF_1_1LoadVFGNode.html#a8e42ee37ececc2391fc4d1ad1c24f13f',1,'SVF::LoadVFGNode::operator=()'],['../classSVF_1_1StoreVFGNode.html#a7f4de642d80c7b7335d7bb0c58adc7d4',1,'SVF::StoreVFGNode::operator=()'],['../classSVF_1_1CopyVFGNode.html#a9029b5166ae4e76a4506050c310a1f3a',1,'SVF::CopyVFGNode::operator=()'],['../classSVF_1_1CmpVFGNode.html#ae4984b52e88844a6c11732e9a6819fb2',1,'SVF::CmpVFGNode::operator=()'],['../classSVF_1_1BinaryOPVFGNode.html#a6e10436b82aa1e598f4ea9c06b5ef799',1,'SVF::BinaryOPVFGNode::operator=()'],['../classSVF_1_1UnaryOPVFGNode.html#a27af787da1d72bab2971dd237eaa9897',1,'SVF::UnaryOPVFGNode::operator=()'],['../classSVF_1_1BranchVFGNode.html#a3b05294417c222b3d0be2bf1d1b1e277',1,'SVF::BranchVFGNode::operator=()'],['../classSVF_1_1GepVFGNode.html#acacfe5f0a9f33dc4ca25e0926d0e7076',1,'SVF::GepVFGNode::operator=()'],['../classSVF_1_1AddrVFGNode.html#ae15cb791d45cfde3ba9be8779d843a66',1,'SVF::AddrVFGNode::operator=()'],['../classSVF_1_1ActualRetVFGNode.html#a4549da69c84064b914e9b4df9350ab6f',1,'SVF::ActualRetVFGNode::operator=()'],['../classSVF_1_1FormalRetVFGNode.html#a599d139a7973dfc09c5db18a60aba3dd',1,'SVF::FormalRetVFGNode::operator=()'],['../classSVF_1_1CondVar.html#a90d6c2204c92db5c78991e6dfdcc5c80',1,'SVF::CondVar::operator=()'],['../classSVF_1_1CondStdSet.html#a9fa868a473993d0244431d640799ce98',1,'SVF::CondStdSet::operator=()'],['../classSVF_1_1CondPointsToSet.html#a42056d7b29e50a3ed8a8db95674d24b2',1,'SVF::CondPointsToSet::operator=()'],['../classSVF_1_1LocationSet.html#a15975ec54c93c39fb1ed59599e5ec107',1,'SVF::LocationSet::operator=()'],['../classSVF_1_1PointsTo.html#a269d334618e4acc7e739317fd58d7fe7',1,'SVF::PointsTo::operator=(const PointsTo &amp;rhs)'],['../classSVF_1_1PointsTo.html#ab06c71c3d1ab7ef2a67fc00b42f4be72',1,'SVF::PointsTo::operator=(PointsTo &amp;&amp;rhs)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#acbbcff746f7f0dc37815e688e9172f21',1,'SVF::PointsTo::PointsToIterator::operator=(const PointsToIterator &amp;rhs)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ac35de79e5c5d48d7f8f6f22e8450a0f6',1,'SVF::PointsTo::PointsToIterator::operator=(PointsToIterator &amp;&amp;rhs)'],['../classSVF_1_1AssignStmt.html#ad468b35277ddf0a084271578766c36a1',1,'SVF::AssignStmt::operator=()'],['../classSVF_1_1AddrStmt.html#a1fe5489d6b941f5de3f3eeea63818dae',1,'SVF::AddrStmt::operator=()'],['../classSVF_1_1CopyStmt.html#a96205e0ffb3001de306e856090dbf277',1,'SVF::CopyStmt::operator=()'],['../classSVF_1_1StoreStmt.html#abc2f677257ce4656f1da4373d6a016ef',1,'SVF::StoreStmt::operator=()'],['../classSVF_1_1LoadStmt.html#afd0b942170ec3aa8f44a6c5cc422a69d',1,'SVF::LoadStmt::operator=()'],['../classSVF_1_1GepStmt.html#aad988829009a31f173e3908461e3a7e8',1,'SVF::GepStmt::operator=()'],['../classSVF_1_1NormalGepStmt.html#af5c4696cb71f71ef38d2a62ceebc1789',1,'SVF::NormalGepStmt::operator=()'],['../classSVF_1_1VariantGepStmt.html#a0dd09a0b451cf951d51f0b1c7b97b7a5',1,'SVF::VariantGepStmt::operator=()'],['../classSVF_1_1CallPE.html#a9ea8ddb83c64889c3baa128b72ff7207',1,'SVF::CallPE::operator=()'],['../classSVF_1_1RetPE.html#acb2a5e66fab9f95278c44344d268f465',1,'SVF::RetPE::operator=()'],['../classSVF_1_1MultiOpndStmt.html#afbd0d606112605bf355f4a9de6b44406',1,'SVF::MultiOpndStmt::operator=()'],['../classSVF_1_1PhiStmt.html#a331c7e14409b2d78881a0ec8932c1170',1,'SVF::PhiStmt::operator=()'],['../classSVF_1_1CmpStmt.html#a73b976659b9437c33297fc14c55a3034',1,'SVF::CmpStmt::operator=()'],['../classSVF_1_1BinaryOPStmt.html#a987a69ea0cfc4b96adad22be810495b1',1,'SVF::BinaryOPStmt::operator=()'],['../classSVF_1_1UnaryOPStmt.html#a58a341847b24cfaf98ab7e82008bc018',1,'SVF::UnaryOPStmt::operator=()'],['../classSVF_1_1BranchStmt.html#a4d89147be6703c297709cfe03c4b202b',1,'SVF::BranchStmt::operator=()'],['../classSVF_1_1TDForkPE.html#a3c6cc8db894e2c4cb62262fdd556e58f',1,'SVF::TDForkPE::operator=()'],['../classSVF_1_1TDJoinPE.html#a4e4d2ac2888d9e1c02bb62f0a40bd0e2',1,'SVF::TDJoinPE::operator=()'],['../classSVF_1_1SVFGNodeLockSpan.html#afa2d1f6997dd5f06b4efe75f8145932e',1,'SVF::SVFGNodeLockSpan::operator=()'],['../classSVF_1_1PTASCEV.html#a144e7fa8c5f4987067914416a85656ca',1,'SVF::PTASCEV::operator=()'],['../classSVF_1_1BitVector.html#a5e537ecf471af33c08752eb9d55f1910',1,'SVF::BitVector::operator=(const BitVector &amp;rhs)'],['../classSVF_1_1BitVector.html#af5bd38d3b667a8740aaf309f6ef13369',1,'SVF::BitVector::operator=(BitVector &amp;&amp;rhs)'],['../classSVF_1_1CoreBitVector.html#a3594d997fba0aa6201855199a884d98d',1,'SVF::CoreBitVector::operator=(const CoreBitVector &amp;rhs)'],['../classSVF_1_1CoreBitVector.html#ae14cc9ce0abbad20636c51e6ca781305',1,'SVF::CoreBitVector::operator=(CoreBitVector &amp;&amp;rhs)'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#adb5a17e5916052f49390d6e99ff47b22',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator=(const CoreBitVectorIterator &amp;cbv)=default'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1d19b0a8fd137d6598d1f11ef031930b',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator=(CoreBitVectorIterator &amp;&amp;cbv)=default'],['../classSVF_1_1CxtStmt.html#a4f431c7b6f3434eff34b4cea6853066b',1,'SVF::CxtStmt::operator=()'],['../classSVF_1_1CxtThreadStmt.html#a894849e24d01f80463a207e0c8f2548f',1,'SVF::CxtThreadStmt::operator=()'],['../classSVF_1_1CxtThread.html#a3c22e59962a9c638a0f1b516c25aec8f',1,'SVF::CxtThread::operator=()'],['../classSVF_1_1CxtProc.html#a617c7ee432ac89cf419dfad47854e3a5',1,'SVF::CxtProc::operator=()'],['../classSVF_1_1CxtThreadProc.html#a439a27864cb18accba5f8fe706c1e74b',1,'SVF::CxtThreadProc::operator=()'],['../classSVF_1_1DPItem.html#a10226d37dfef045bec9f7cfb78315440',1,'SVF::DPItem::operator=()'],['../classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499',1,'SVF::StmtDPItem::operator=()'],['../classSVF_1_1ContextCond.html#ae4d1bb47d0c8ef4d8b31ffaeb83edf04',1,'SVF::ContextCond::operator=()'],['../classSVF_1_1CxtStmtDPItem.html#aef8f7d034bdd10730e3ff1a2ae52350c',1,'SVF::CxtStmtDPItem::operator=()'],['../classSVF_1_1CxtDPItem.html#abe0913f8d672a079fa674dbcc3e1b3db',1,'SVF::CxtDPItem::operator=()'],['../classSVF_1_1VFPathCond.html#a4bc59244e43d7db4478b0b9f868a0dab',1,'SVF::VFPathCond::operator=()'],['../classSVF_1_1PathStmtDPItem.html#a36ff7567d47e3818d79ede424f736817',1,'SVF::PathStmtDPItem::operator=()']]],
   ['operator_3d_3d',['operator==',['../classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858',1,'SVF::GenericEdge::operator==()'],['../classSVF_1_1CondVar.html#a7faf827845c5e820f1b63ce6523bc2a9',1,'SVF::CondVar::operator==()'],['../classSVF_1_1CondStdSet.html#a6697d9c3d1107db2be430b8e8b670cb5',1,'SVF::CondStdSet::operator==()'],['../classSVF_1_1CondPointsToSet.html#abe02e0bdcfddde7251b7d35e916c8f02',1,'SVF::CondPointsToSet::operator==()'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ab069959f9b4b2a0e1441281acb666a60',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator==()'],['../classSVF_1_1LocationSet.html#a1b141afb9a38d12423f66b2dfe6bf232',1,'SVF::LocationSet::operator==()'],['../classSVF_1_1PointsTo.html#a6b29626e4e4298943d2ad839f06db83e',1,'SVF::PointsTo::operator==()'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aef4e1b40faa327f8bbf42a82df29c7b4',1,'SVF::PointsTo::PointsToIterator::operator==()'],['../classSVF_1_1MemObj.html#a1a8601b72b6e6df211db1fffdd54c48b',1,'SVF::MemObj::operator==()'],['../classSVF_1_1MemRegion.html#affa3a8efd91faf5704e514f1e83fead9',1,'SVF::MemRegion::operator==()'],['../classSVF_1_1SVFGNodeLockSpan.html#a880f9eec9d0c4835b7a524eeb801396d',1,'SVF::SVFGNodeLockSpan::operator==()'],['../classSVF_1_1PTASCEV.html#a71c30ee51274f2d9b3c202d06f1443f4',1,'SVF::PTASCEV::operator==()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a1f0e8716ad7ff580240f81db1228a690',1,'llvm::generic_bridge_gep_type_iterator::operator==()'],['../classSVF_1_1CallSite.html#aa9b62205a5b63384042d9431a01f03ec',1,'SVF::CallSite::operator==()'],['../classSVF_1_1CoreBitVector.html#a0ddd7fc5e043d36f3c62c2fb93b22684',1,'SVF::CoreBitVector::operator==()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a7278c27a0ab2096b29a537a8afe0be5e',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator==()'],['../classSVF_1_1CxtStmt.html#af7b0afe54ce69ec8f753d701818a7eca',1,'SVF::CxtStmt::operator==()'],['../classSVF_1_1CxtThreadStmt.html#af8f221ea17599dfb678922e1bad37f35',1,'SVF::CxtThreadStmt::operator==()'],['../classSVF_1_1CxtThread.html#ae39e05ed7673a566708cec682d9b5d24',1,'SVF::CxtThread::operator==()'],['../classSVF_1_1CxtProc.html#a7e019158f464401c6d7fc5676d48d69c',1,'SVF::CxtProc::operator==()'],['../classSVF_1_1CxtThreadProc.html#aef53ca59b8cbd614b28350d12113e3c4',1,'SVF::CxtThreadProc::operator==()'],['../classSVF_1_1DPItem.html#ad67fcd340351360555b0cb88f57b183a',1,'SVF::DPItem::operator==()'],['../classSVF_1_1StmtDPItem.html#afd63ae0d881101d6c61709b9ac25dbf8',1,'SVF::StmtDPItem::operator==()'],['../classSVF_1_1ContextCond.html#a69b8789b4815f2958afe67028640bfc5',1,'SVF::ContextCond::operator==()'],['../classSVF_1_1CxtStmtDPItem.html#a201619b723a5548029dd7402e06608e7',1,'SVF::CxtStmtDPItem::operator==()'],['../classSVF_1_1CxtDPItem.html#a52003b33daa4902545159cf4e225d6ea',1,'SVF::CxtDPItem::operator==()'],['../classSVF_1_1VFPathCond.html#a475c7d4b05dbde2dc9aed2699dacc2bb',1,'SVF::VFPathCond::operator==()'],['../classSVF_1_1PathStmtDPItem.html#a5b7d6a8d8e14845a94611474c53fadaa',1,'SVF::PathStmtDPItem::operator==()'],['../classSVF_1_1SVFValue.html#aa171d1126f4ac00c3310d58d9b77c587',1,'SVF::SVFValue::operator==()']]],
   ['operator_5b_5d',['operator[]',['../classSVF_1_1ContextCond.html#a62cc1c7c01d454e9cbebd3f7f5f3aa1f',1,'SVF::ContextCond']]],
   ['operator_7c',['operator|',['../namespaceSVF.html#aa01b96d5bc6c3930b0bfca789acf75c4',1,'SVF']]],

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

@@ -1,5 +1,4 @@
 var searchData=
 [
-  ['mtasvfgbuilder',['MTASVFGBuilder',['../classSVF_1_1SVFG.html#ac0e43f4a2043538c9046f95826caa725',1,'SVF::SVFG']]],
-  ['mutabledfptdata_3c_20key_2c_20keyset_2c_20data_2c_20dataset_20_3e',['MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;',['../classSVF_1_1MutablePTData.html#ad92cfe345043b1bc8d6c7a03df43310f',1,'SVF::MutablePTData']]]
+  ['irgraph',['IRGraph',['../classSVF_1_1SVFVar.html#a6755ed387e15f44ffb637f64a0af60bc',1,'SVF::SVFVar']]]
 ];

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

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

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

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

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

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

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

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

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

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

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

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

package/SVF-doxygen/html/html/search/related_b.html ADDED Viewed

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

package/SVF-doxygen/html/html/search/related_b.js ADDED Viewed

@@ -0,0 +1,5 @@
+var searchData=
+[
+  ['versionedflowsensitivestat',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitive.html#aaee58f266762146e9fdc08ecfc326b29',1,'SVF::VersionedFlowSensitive']]],
+  ['vfg',['VFG',['../classSVF_1_1SVFVar.html#a1499a631a2a15408ea35a09fccc0f0ad',1,'SVF::SVFVar']]]
+];

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

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

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

@@ -25,14 +25,14 @@ var searchData=
   ['tid',['tid',['../classSVF_1_1CxtThreadStmt.html#ad96bacc3de1ce576ad397d19aa99a269',1,'SVF::CxtThreadStmt::tid()'],['../classSVF_1_1CxtThreadProc.html#a99b24e1be2bfb49569532c2c28c68969',1,'SVF::CxtThreadProc::tid()']]],
   ['timelimit',['timeLimit',['../structDdManager.html#a6c14f932c4a66c6234e6b19bd8b6647f',1,'DdManager']]],
   ['timeofcollapse',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
-  ['timeofcreatemuchi',['TimeOfCreateMUCHI',['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()'],['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()']]],
+  ['timeofcreatemuchi',['timeOfCreateMUCHI',['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()'],['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()']]],
   ['timeofgeneratingmemregions',['TimeOfGeneratingMemRegions',['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()']]],
-  ['timeofinsertingphi',['TimeOfInsertingPHI',['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()'],['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()']]],
+  ['timeofinsertingphi',['timeOfInsertingPHI',['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()'],['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()']]],
   ['timeofprocesscopygep',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
   ['timeofprocessloadstore',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
   ['timeofsccdetection',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
   ['timeofsccmerges',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
-  ['timeofssarenaming',['TimeOfSSARenaming',['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()'],['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()']]],
+  ['timeofssarenaming',['timeOfSSARenaming',['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()'],['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()']]],
   ['timeofupdatecallgraph',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
   ['timestatmap',['timeStatMap',['../classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337',1,'SVF::PTAStat']]],
   ['tlptdata',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],

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

@@ -8,7 +8,7 @@ var searchData=
   ['uniqueunions',['uniqueUnions',['../classSVF_1_1PersistentPointsToCache.html#aacebdd87b1dd45250391d035b032f9d4',1,'SVF::PersistentPointsToCache']]],
   ['univ',['univ',['../structDdManager.html#ab21d56989b9a13502aeb84228de45df0',1,'DdManager']]],
   ['unlocksites',['unlocksites',['../classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780',1,'SVF::LockAnalysis']]],
-  ['updatecallgraphtime',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()'],['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()']]],
+  ['updatecallgraphtime',['UpdateCallGraphTime',['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()'],['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::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_c.js CHANGED Viewed

@@ -47,6 +47,6 @@ var searchData=
   ['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_1NormalGepStmt.html#a5dd71e9aea01d5dc2bf8fc070e67cadd',1,'SVF::NormalGepStmt::ls()'],['../classSVF_1_1GepValVar.html#a2ee5e9a2e5a92b32fd81fda09b560ad6',1,'SVF::GepValVar::ls()'],['../classSVF_1_1GepObjVar.html#a55b057663180420c6bb09bf849d83f6b',1,'SVF::GepObjVar::ls()']]],
+  ['ls',['ls',['../classSVF_1_1NormalGepCGEdge.html#a7cbcaa28acde49ef0b03a8554a41344b',1,'SVF::NormalGepCGEdge::ls()'],['../classSVF_1_1GepStmt.html#a543a3f4801b22719f7b9677246bf2ac7',1,'SVF::GepStmt::ls()'],['../classSVF_1_1GepValVar.html#a2ee5e9a2e5a92b32fd81fda09b560ad6',1,'SVF::GepValVar::ls()'],['../classSVF_1_1GepObjVar.html#a55b057663180420c6bb09bf849d83f6b',1,'SVF::GepObjVar::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_e.js CHANGED Viewed

@@ -41,7 +41,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']]],
@@ -140,7 +140,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_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::NumOfSCCDetection()'],['../classSVF_1_1AndersenBase.html#a6da6e1231a46fde6925493045b8b2490',1,'SVF::AndersenBase::numOfSCCDetection()']]],
+  ['numofsccdetection',['numOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6da6e1231a46fde6925493045b8b2490',1,'SVF::AndersenBase::numOfSCCDetection()'],['../classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::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 CHANGED Viewed

@@ -10,7 +10,7 @@ var searchData=
   ['objtotype',['objToType',['../classSVF_1_1TypeBasedHeapCloning.html#a477492fb699d742c33007a6ca934b5c1',1,'SVF::TypeBasedHeapCloning']]],
   ['ocg',['oCG',['../classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137',1,'SVF::AndersenHCD']]],
   ['ocgdotgraph',['OCGDotGraph',['../classSVF_1_1Options.html#a2780c16611375631cd48bf9487f9e0bf',1,'SVF::Options']]],
-  ['offset',['offset',['../classSVF_1_1DCHEdge.html#a16869c90d4e735bc09b8bceda90b99ed',1,'SVF::DCHEdge::offset()'],['../classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd',1,'SVF::CoreBitVector::offset()']]],
+  ['offset',['offset',['../classSVF_1_1DCHEdge.html#a41bd0d95d588aa7fb77e83dc91654493',1,'SVF::DCHEdge::offset()'],['../classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd',1,'SVF::CoreBitVector::offset()']]],
   ['offsetvalues',['offsetValues',['../classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30',1,'SVF::LocationSet']]],
   ['one',['one',['../structDdManager.html#a239bd99ee654742adc79b8299c2bc92e',1,'DdManager::one()'],['../cuddInt_8c.html#a49e3c7508be54a84ae83273ed240e31c',1,'one():&#160;cuddInt.c']]],
   ['onstack',['onStack',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a0eb5f6b9985b9b512a76537d55b092b5',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],

package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html CHANGED Viewed

@@ -359,7 +359,7 @@ template&lt;class EdgeIter &gt; </div>
 <div class="fragment"><div class="line"><a name="l00638"></a><span class="lineno">  638</span>&#160;    {</div><div class="line"><a name="l00639"></a><span class="lineno">  639</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a>* node = SVFIR::getPAG()-&gt;getGNode(n-&gt;getId());</div><div class="line"><a name="l00640"></a><span class="lineno">  640</span>&#160;        <span class="keywordtype">bool</span> briefDisplay = Options::BriefConsCGDotGraph;</div><div class="line"><a name="l00641"></a><span class="lineno">  641</span>&#160;        <span class="keywordtype">bool</span> nameDisplay = <span class="keyword">true</span>;</div><div class="line"><a name="l00642"></a><span class="lineno">  642</span>&#160;        std::string str;</div><div class="line"><a name="l00643"></a><span class="lineno">  643</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00644"></a><span class="lineno">  644</span>&#160;</div><div class="line"><a name="l00645"></a><span class="lineno">  645</span>&#160;        <span class="keywordflow">if</span> (briefDisplay)</div><div class="line"><a name="l00646"></a><span class="lineno">  646</span>&#160;        {</div><div class="line"><a name="l00647"></a><span class="lineno">  647</span>&#160;            <span class="keywordflow">if</span> (SVFUtil::isa&lt;ValVar&gt;(node))</div><div class="line"><a name="l00648"></a><span class="lineno">  648</span>&#160;            {</div><div class="line"><a name="l00649"></a><span class="lineno">  649</span>&#160;                <span class="keywordflow">if</span> (nameDisplay)</div><div class="line"><a name="l00650"></a><span class="lineno">  650</span>&#160;                    rawstr &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot;:&quot;</span> &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1SVFVar.html#a54b2a5ed3ed21e54eaf04182f0338333">getValueName</a>();</div><div class="line"><a name="l00651"></a><span class="lineno">  651</span>&#160;                <span class="keywordflow">else</span></div><div class="line"><a name="l00652"></a><span class="lineno">  652</span>&#160;                    rawstr &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div><div class="line"><a name="l00653"></a><span class="lineno">  653</span>&#160;            }</div><div class="line"><a name="l00654"></a><span class="lineno">  654</span>&#160;            <span class="keywordflow">else</span></div><div class="line"><a name="l00655"></a><span class="lineno">  655</span>&#160;                rawstr &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div><div class="line"><a name="l00656"></a><span class="lineno">  656</span>&#160;        }</div><div class="line"><a name="l00657"></a><span class="lineno">  657</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00658"></a><span class="lineno">  658</span>&#160;        {</div><div class="line"><a name="l00659"></a><span class="lineno">  659</span>&#160;            <span class="comment">// print the whole value</span></div><div class="line"><a name="l00660"></a><span class="lineno">  660</span>&#160;            <span class="keywordflow">if</span> (!SVFUtil::isa&lt;DummyValVar&gt;(node) &amp;&amp; !SVFUtil::isa&lt;DummyObjVar&gt;(node))</div><div class="line"><a name="l00661"></a><span class="lineno">  661</span>&#160;                rawstr &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot;:&quot;</span> &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(node-&gt;<a class="code" href="classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40">getValue</a>());</div><div class="line"><a name="l00662"></a><span class="lineno">  662</span>&#160;            <span class="keywordflow">else</span></div><div class="line"><a name="l00663"></a><span class="lineno">  663</span>&#160;                rawstr &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot;:&quot;</span>;</div><div class="line"><a name="l00664"></a><span class="lineno">  664</span>&#160;</div><div class="line"><a name="l00665"></a><span class="lineno">  665</span>&#160;        }</div><div class="line"><a name="l00666"></a><span class="lineno">  666</span>&#160;</div><div class="line"><a name="l00667"></a><span class="lineno">  667</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00668"></a><span class="lineno">  668</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00046">SVFVariables.h:46</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00388">SVFUtil.cpp:388</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFVar_html_afaa33caa8d2a306f6741d9d066243e40"><div class="ttname"><a href="classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40">SVF::SVFVar::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdoc">Get/has methods of the components. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00094">SVFVariables.h:94</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFVar_html_afaa33caa8d2a306f6741d9d066243e40"><div class="ttname"><a href="classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40">SVF::SVFVar::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdoc">Get/has methods of the components. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00097">SVFVariables.h:97</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html_a54b2a5ed3ed21e54eaf04182f0338333"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a54b2a5ed3ed21e54eaf04182f0338333">SVF::SVFVar::getValueName</a></div><div class="ttdeci">virtual const std::string getValueName() const =0</div><div class="ttdoc">Get name of the LLVM value. </div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
 </div><!-- fragment -->

package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html CHANGED Viewed

@@ -266,10 +266,10 @@ template&lt;class EdgeIter &gt; </div>
 </div><div class="memdoc">
 <p class="definition">Definition at line <a class="el" href="IRGraph_8cpp_source.html#l00268">268</a> of file <a class="el" href="IRGraph_8cpp_source.html">IRGraph.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;    {</div><div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFStmt.html">SVFStmt</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;        <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallPE.html">CallPE</a>* calledge = SVFUtil::dyn_cast&lt;CallPE&gt;(edge))</div><div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;        {</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a>* callInst= calledge-&gt;getCallSite()-&gt;getCallSite();</div><div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVFUtil::getSourceLoc</a>(callInst);</div><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;        }</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1RetPE.html">RetPE</a>* retedge = SVFUtil::dyn_cast&lt;RetPE&gt;(edge))</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;        {</div><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a>* callInst= retedge-&gt;getCallSite()-&gt;getCallSite();</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVFUtil::getSourceLoc</a>(callInst);</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;        }</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;    }</div><div class="ttc" id="classSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00850">SVFStatements.h:850</a></div></div>
+<div class="fragment"><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;    {</div><div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFStmt.html">SVFStmt</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;        <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallPE.html">CallPE</a>* calledge = SVFUtil::dyn_cast&lt;CallPE&gt;(edge))</div><div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;        {</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a>* callInst= calledge-&gt;getCallSite()-&gt;getCallSite();</div><div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVFUtil::getSourceLoc</a>(callInst);</div><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;        }</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1RetPE.html">RetPE</a>* retedge = SVFUtil::dyn_cast&lt;RetPE&gt;(edge))</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;        {</div><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a>* callInst= retedge-&gt;getCallSite()-&gt;getCallSite();</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVFUtil::getSourceLoc</a>(callInst);</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;        }</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;    }</div><div class="ttc" id="classSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00594">SVFStatements.h:594</a></div></div>
 <div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a28c0ede7e4765d2a686fc8ae0f5641a4"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVF::SVFUtil::getSourceLoc</a></div><div class="ttdeci">std::string getSourceLoc(const Value *val)</div><div class="ttdoc">Return source code including line number and file name from debug information. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00269">SVFUtil.cpp:269</a></div></div>
-<div class="ttc" id="classSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00798">SVFStatements.h:798</a></div></div>
+<div class="ttc" id="classSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00542">SVFStatements.h:542</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a7875172ff434b2210eea7cecfbbd959e"><div class="ttname"><a href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF::Instruction</a></div><div class="ttdeci">llvm::Instruction Instruction</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00079">BasicTypes.h:79</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFStmt_html"><div class="ttname"><a href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00047">SVFStatements.h:47</a></div></div>
 </div><!-- fragment -->
@@ -383,7 +383,7 @@ template&lt;class EdgeIter &gt; </div>
 <p class="definition">Definition at line <a class="el" href="IRGraph_8cpp_source.html#l00150">150</a> of file <a class="el" href="IRGraph_8cpp_source.html">IRGraph.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;    {</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;        std::string str;</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;        <span class="comment">// print function info</span></div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;        <span class="keywordflow">if</span> (node-&gt;<a class="code" href="classSVF_1_1SVFVar.html#a53439a493963d16e5a1b5ed36ab6d33e">getFunction</a>())</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;            rawstr &lt;&lt; <span class="stringliteral">&quot;[&quot;</span> &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1SVFVar.html#a53439a493963d16e5a1b5ed36ab6d33e">getFunction</a>()-&gt;getName() &lt;&lt; <span class="stringliteral">&quot;] &quot;</span>;</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;        rawstr &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd">toString</a>();</div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;</div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html_ada932ef2ae0a3e712174df479c35b0dd"><div class="ttname"><a href="classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd">SVF::SVFVar::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8cpp_source.html#l00100">SVFVariables.cpp:100</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFVar_html_a53439a493963d16e5a1b5ed36ab6d33e"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a53439a493963d16e5a1b5ed36ab6d33e">SVF::SVFVar::getFunction</a></div><div class="ttdeci">virtual const Function * getFunction() const</div><div class="ttdoc">Return the function that this SVFVar resides in. Return nullptr if it is a global or constantexpr nod...</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00146">SVFVariables.h:146</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFVar_html_a53439a493963d16e5a1b5ed36ab6d33e"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a53439a493963d16e5a1b5ed36ab6d33e">SVF::SVFVar::getFunction</a></div><div class="ttdeci">virtual const Function * getFunction() const</div><div class="ttdoc">Return the function that this SVFVar resides in. Return nullptr if it is a global or constantexpr nod...</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00149">SVFVariables.h:149</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html CHANGED Viewed

@@ -356,7 +356,7 @@ template&lt;class EdgeIter &gt; </div>
 <p class="definition">Definition at line <a class="el" href="OfflineConsG_8cpp_source.html#l00199">199</a> of file <a class="el" href="OfflineConsG_8cpp_source.html">OfflineConsG.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;    {</div><div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;        std::string str;</div><div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;        <span class="keywordflow">if</span> (SVFIR::getPAG()-&gt;getGNode(n-&gt;getId()))</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;        {</div><div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;            <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a> *node = SVFIR::getPAG()-&gt;getGNode(n-&gt;getId());</div><div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;            <span class="keywordtype">bool</span> briefDisplay = <span class="keyword">true</span>;</div><div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;            <span class="keywordtype">bool</span> nameDisplay = <span class="keyword">true</span>;</div><div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;</div><div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;</div><div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;            <span class="keywordflow">if</span> (briefDisplay)</div><div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;            {</div><div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;                <span class="keywordflow">if</span> (SVFUtil::isa&lt;ValVar&gt;(node))</div><div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;                {</div><div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;                    <span class="keywordflow">if</span> (nameDisplay)</div><div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;                        rawstr &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot;:&quot;</span> &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1SVFVar.html#a54b2a5ed3ed21e54eaf04182f0338333">getValueName</a>();</div><div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;                    <span class="keywordflow">else</span></div><div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;                        rawstr &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div><div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;                }</div><div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;                <span class="keywordflow">else</span></div><div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;                    rawstr &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div><div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;            }</div><div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;            <span class="keywordflow">else</span></div><div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;            {</div><div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;                <span class="comment">// print the whole value</span></div><div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;                <span class="keywordflow">if</span> (!SVFUtil::isa&lt;DummyValVar&gt;(node) &amp;&amp; !SVFUtil::isa&lt;DummyObjVar&gt;(node))</div><div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;                    rawstr &lt;&lt; *node-&gt;<a class="code" href="classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40">getValue</a>();</div><div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;                <span class="keywordflow">else</span></div><div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;                    rawstr &lt;&lt; <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00229"></a><span class="lineno">  229</span>&#160;</div><div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;            }</div><div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;</div><div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;            <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;        }</div><div class="line"><a name="l00234"></a><span class="lineno">  234</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;        {</div><div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;            rawstr&lt;&lt; n-&gt;getId();</div><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;            <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;        }</div><div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00046">SVFVariables.h:46</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFVar_html_afaa33caa8d2a306f6741d9d066243e40"><div class="ttname"><a href="classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40">SVF::SVFVar::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdoc">Get/has methods of the components. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00094">SVFVariables.h:94</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFVar_html_afaa33caa8d2a306f6741d9d066243e40"><div class="ttname"><a href="classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40">SVF::SVFVar::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdoc">Get/has methods of the components. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00097">SVFVariables.h:97</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html_a54b2a5ed3ed21e54eaf04182f0338333"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a54b2a5ed3ed21e54eaf04182f0338333">SVF::SVFVar::getValueName</a></div><div class="ttdeci">virtual const std::string getValueName() const =0</div><div class="ttdoc">Get name of the LLVM value. </div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
 </div><!-- fragment -->

package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html CHANGED Viewed

@@ -109,8 +109,8 @@ struct std::hash&lt; SVF::LocationSet &gt;</h3>
 </div><div class="memdoc">
 <p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00203">203</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;                                                      {</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;        <a class="code" href="structSVF_1_1Hash.html">SVF::Hash&lt;std::pair&lt;SVF::NodeID, SVF::NodeID&gt;</a>&gt; h;</div><div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;        std::hash&lt;SVF::LocationSet::OffsetValueVec&gt; v;</div><div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;        <span class="keywordflow">return</span> h(std::make_pair(ls.<a class="code" href="classSVF_1_1LocationSet.html#ac098bc95299002b9016684fa7f2799ca">accumulateConstantOffset</a>(), v(ls.<a class="code" href="classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c">getOffsetValueVec</a>())));</div><div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;    }</div><div class="ttc" id="structSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00052">SVFBasicTypes.h:52</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html_ac098bc95299002b9016684fa7f2799ca"><div class="ttname"><a href="classSVF_1_1LocationSet.html#ac098bc95299002b9016684fa7f2799ca">SVF::LocationSet::accumulateConstantOffset</a></div><div class="ttdeci">Size_t accumulateConstantOffset() const</div><div class="ttdoc">Get methods. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00154">LocationSet.h:154</a></div></div>
+<div class="fragment"><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;                                                      {</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;        <a class="code" href="structSVF_1_1Hash.html">SVF::Hash&lt;std::pair&lt;SVF::NodeID, SVF::NodeID&gt;</a>&gt; h;</div><div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;        std::hash&lt;SVF::LocationSet::OffsetValueVec&gt; v;</div><div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;        <span class="keywordflow">return</span> h(std::make_pair(ls.<a class="code" href="classSVF_1_1LocationSet.html#a43de212ce81a29391cee13d8dbaa93eb">accumulateConstantFieldIdx</a>(), v(ls.<a class="code" href="classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c">getOffsetValueVec</a>())));</div><div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;    }</div><div class="ttc" id="structSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00052">SVFBasicTypes.h:52</a></div></div>
+<div class="ttc" id="classSVF_1_1LocationSet_html_a43de212ce81a29391cee13d8dbaa93eb"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a43de212ce81a29391cee13d8dbaa93eb">SVF::LocationSet::accumulateConstantFieldIdx</a></div><div class="ttdeci">Size_t accumulateConstantFieldIdx() const</div><div class="ttdoc">Get methods. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00154">LocationSet.h:154</a></div></div>
 <div class="ttc" id="classSVF_1_1LocationSet_html_a5a5ca0b81da0b34ab426bc6a28ed346c"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c">SVF::LocationSet::getOffsetValueVec</a></div><div class="ttdeci">const OffsetValueVec &amp; getOffsetValueVec() const</div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00162">LocationSet.h:162</a></div></div>
 </div><!-- fragment -->
 </div>