svf-tools 1.0.342 → 1.0.346

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

@@ -22,7 +22,7 @@ var searchData=
   ['sb_5finfesible',['SB_INFESIBLE',['../classSVF_1_1Annotator.html#a556138c152d52921d6f0a709a826a93a',1,'SVF::Annotator']]],
   ['sb_5fslicesink',['SB_SLICESINK',['../classSVF_1_1Annotator.html#a3edacb8703c74abf42c4a29761a3437f',1,'SVF::Annotator']]],
   ['sb_5fslicesource',['SB_SLICESOURCE',['../classSVF_1_1Annotator.html#a01900f5ada5948361cc18857aee26744',1,'SVF::Annotator']]],
-  ['sbv',['SBV',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a',1,'SVF::PointsTo::SBV()'],['../classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084',1,'SVF::PointsTo::sbv()']]],
+  ['sbv',['sbv',['../classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084',1,'SVF::PointsTo::sbv()'],['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a',1,'SVF::PointsTo::SBV()']]],
   ['sbvit',['sbvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ac13245e140ab7c488c776b8dd97facf4',1,'SVF::PointsTo::PointsToIterator']]],
   ['scalar',['SCALAR',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb',1,'SVF::DCHNode']]],
   ['scalarevolution',['ScalarEvolution',['../namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42',1,'SVF']]],
@@ -122,7 +122,7 @@ var searchData=
   ['setreachglobal',['setReachGlobal',['../classSVF_1_1ProgSlice.html#a397632ce0c523c4a54c5dc578606d14d',1,'SVF::ProgSlice']]],
   ['setrep',['setRep',['../classSVF_1_1ConstraintGraph.html#abea65bf6dd43aa312082f8d4c7c3e3cb',1,'SVF::ConstraintGraph']]],
   ['setresver',['setResVer',['../classSVF_1_1MSSADEF.html#a343eb4c9515dfbbbdadaacf5500e5f05',1,'SVF::MSSADEF']]],
-  ['setretblocknode',['setRetBlockNode',['../classSVF_1_1CallBlockNode.html#a8ad5091c13a0dc2f6518a0e3340dcb05',1,'SVF::CallBlockNode']]],
+  ['setreticfgnode',['setRetICFGNode',['../classSVF_1_1CallICFGNode.html#a91b38c6930f3c15b9b38121662fded20',1,'SVF::CallICFGNode']]],
   ['setscalar',['setScalar',['../classSVF_1_1DCHNode.html#a917265fa44ed08b66a6bd722f318bfa4',1,'SVF::DCHNode']]],
   ['setsccedgeflag',['setSCCEdgeFlag',['../classSVF_1_1ConstraintNode.html#ab8e02139108272c54171cd2e8833cd88',1,'SVF::ConstraintNode::setSCCEdgeFlag()'],['../classSVF_1_1Andersen.html#ab81b08574f80287803dd43b5ebe2adfa',1,'SVF::Andersen::setSCCEdgeFlag()']]],
   ['setsubs',['setSubs',['../classSVF_1_1ConstraintGraph.html#a148235bd1355a700d3ce187702e89bc8',1,'SVF::ConstraintGraph']]],
@@ -293,7 +293,7 @@ var searchData=
   ['store2chisetmap',['store2ChiSetMap',['../classSVF_1_1MemSSA.html#a73d7465cf166d9ffa9d234d15edb375a',1,'SVF::MemSSA']]],
   ['storecgedge',['StoreCGEdge',['../classSVF_1_1StoreCGEdge.html',1,'SVF::StoreCGEdge'],['../classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815',1,'SVF::StoreCGEdge::StoreCGEdge()'],['../classSVF_1_1StoreCGEdge.html#a0f873b0be0ac726e412171119c5b3a50',1,'SVF::StoreCGEdge::StoreCGEdge(const StoreCGEdge &)'],['../classSVF_1_1StoreCGEdge.html#afdba4e02b1ccdc19fdc18bbe43363e79',1,'SVF::StoreCGEdge::StoreCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
   ['storecgedgeset',['StoreCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a0f9d5eef25827ac1d380e5d8bd225025',1,'SVF::ConstraintGraph']]],
-  ['storechi',['StoreCHI',['../classSVF_1_1StoreCHI.html',1,'SVF::StoreCHI< Cond >'],['../classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b',1,'SVF::SVFG::STORECHI()'],['../classSVF_1_1MemSSA.html#a150e9d53ced1c143bba2d1026f739fa4',1,'SVF::MemSSA::STORECHI()'],['../classSVF_1_1StoreCHI.html#a34433e6e437d302014fd06b5fb624a79',1,'SVF::StoreCHI::StoreCHI()']]],
+  ['storechi',['StoreCHI',['../classSVF_1_1StoreCHI.html',1,'SVF::StoreCHI< Cond >'],['../classSVF_1_1StoreCHI.html#a34433e6e437d302014fd06b5fb624a79',1,'SVF::StoreCHI::StoreCHI()'],['../classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b',1,'SVF::SVFG::STORECHI()'],['../classSVF_1_1MemSSA.html#a150e9d53ced1c143bba2d1026f739fa4',1,'SVF::MemSSA::STORECHI()']]],
   ['storedd',['STOREDD',['../cuddInt_8c.html#ad90b4208ba9aa22e8f37b1ce723cdcf5',1,'STOREDD(): cuddInt.c'],['../cuddInt_8c.html#a8ed518c7fe7ea969bd6981b71c37ec07',1,'storedd(): cuddInt.c']]],
   ['storedstnodes',['storeDstNodes',['../classSVF_1_1AliasDDAClient.html#aaad2197cec53f7eae91b3c57c168447a',1,'SVF::AliasDDAClient']]],
   ['storeedgelabelcounter',['storeEdgeLabelCounter',['../classSVF_1_1SVFStmt.html#a53b7e0d8666e37c23dc2c7d0fc931f27',1,'SVF::SVFStmt']]],
@@ -304,7 +304,7 @@ var searchData=
   ['storeoutedges',['storeOutEdges',['../classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1',1,'SVF::ConstraintNode']]],
   ['storereuse',['storeReuse',['../classSVF_1_1FlowSensitiveTBHC.html#ac7ed9100533dc399c71cdf017bfa2462',1,'SVF::FlowSensitiveTBHC']]],
   ['storeset',['StoreSet',['../classSVF_1_1MTA.html#a891e56104b9c2daa8b052e3821e85b9b',1,'SVF::MTA::StoreSet()'],['../classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a',1,'SVF::MTAAnnotator::storeset()']]],
-  ['storestmt',['StoreStmt',['../classSVF_1_1StoreStmt.html',1,'SVF::StoreStmt'],['../classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb',1,'SVF::StoreStmt::StoreStmt()'],['../classSVF_1_1StoreStmt.html#a22bc2f9290dfd7ade13ba63cc983ac42',1,'SVF::StoreStmt::StoreStmt(const StoreStmt &)'],['../classSVF_1_1StoreStmt.html#aa817396dc47f1f03015c1c95a43cf8eb',1,'SVF::StoreStmt::StoreStmt(SVFVar *s, SVFVar *d, const IntraBlockNode *st)']]],
+  ['storestmt',['StoreStmt',['../classSVF_1_1StoreStmt.html',1,'SVF::StoreStmt'],['../classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb',1,'SVF::StoreStmt::StoreStmt()'],['../classSVF_1_1StoreStmt.html#a22bc2f9290dfd7ade13ba63cc983ac42',1,'SVF::StoreStmt::StoreStmt(const StoreStmt &)'],['../classSVF_1_1StoreStmt.html#a39ee0d8cc951aff0d6418a3d743fb3ae',1,'SVF::StoreStmt::StoreStmt(SVFVar *s, SVFVar *d, const IntraICFGNode *st)']]],
   ['storestomrsmap',['storesToMRsMap',['../classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3',1,'SVF::MRGenerator::storesToMRsMap()'],['../classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c',1,'SVF::MRGenerator::StoresToMRsMap()']]],
   ['storestopointstomap',['storesToPointsToMap',['../classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac',1,'SVF::MRGenerator::storesToPointsToMap()'],['../classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d',1,'SVF::MRGenerator::StoresToPointsToMap()']]],
   ['storesvfgnode',['StoreSVFGNode',['../namespaceSVF.html#a54c5725186e66ead6faf53c10a288714',1,'SVF']]],
@@ -313,7 +313,7 @@ var searchData=
   ['storetodpms',['storeToDPMs',['../classSVF_1_1DDAVFSolver.html#af66895278f0ecbc882f9e4f43ef9c8a8',1,'SVF::DDAVFSolver']]],
   ['storetopmsetmap',['StoreToPMSetMap',['../classSVF_1_1DDAVFSolver.html#accaacd2dd680f92ff83cfe75eef6ffab',1,'SVF::DDAVFSolver']]],
   ['storevfgnode',['StoreVFGNode',['../classSVF_1_1StoreVFGNode.html',1,'SVF::StoreVFGNode'],['../classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd',1,'SVF::StoreVFGNode::StoreVFGNode()'],['../classSVF_1_1StoreVFGNode.html#a496607cda1cc26a8753d6a7af620e95a',1,'SVF::StoreVFGNode::StoreVFGNode(const StoreVFGNode &)'],['../classSVF_1_1StoreVFGNode.html#ae7ee09f0e965b6487a38a58c4f51b20b',1,'SVF::StoreVFGNode::StoreVFGNode(NodeID id, const StoreStmt *edge)']]],
-  ['strategy',['Strategy',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228',1,'SVF::NodeIDAllocator::Strategy()'],['../classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d',1,'SVF::NodeIDAllocator::strategy()']]],
+  ['strategy',['strategy',['../classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d',1,'SVF::NodeIDAllocator::strategy()'],['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228',1,'SVF::NodeIDAllocator::Strategy()']]],
   ['strcat',['strcat',['../util_8h.html#ae726f8c6b65e180aacfb570a35dc8375',1,'util.h']]],
   ['strchr',['strchr',['../util_8h.html#ad015a6d0966888e16a0ea0eb360a2be2',1,'util.h']]],
   ['strcmp',['strcmp',['../util_8h.html#a7e3fe9a43bbdc5abae963874b6a63e6b',1,'util.h']]],
@@ -362,10 +362,10 @@ var searchData=
   ['svfbb',['SVFBB',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea732cb3760ef56163428add79824174f4',1,'SVF::SVFValue']]],
   ['svffunc',['SVFFunc',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577',1,'SVF::SVFValue']]],
   ['svffunction',['SVFFunction',['../classSVF_1_1SVFFunction.html',1,'SVF::SVFFunction'],['../classSVF_1_1SVFFunction.html#aed73a0604a9fc5b6560ce87cfeaa3944',1,'SVF::SVFFunction::SVFFunction(const std::string &val)'],['../classSVF_1_1SVFFunction.html#ae7a55d86a87088f7d70254980e4325b3',1,'SVF::SVFFunction::SVFFunction(Function *f)']]],
-  ['svfg',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF::SVFG'],['../classSVF_1_1SVFG.html#a68965c5a9cc5136aa0b593851c60ff12',1,'SVF::SVFG::SVFG()'],['../classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef',1,'SVF::SVFGBuilder::svfg()'],['../classSVF_1_1ProgSlice.html#a457a759c552a1418538769d79d7a7dde',1,'SVF::ProgSlice::svfg()'],['../classSVF_1_1SrcSnkDDA.html#ae657ebdeae8a083cfec210859a0023e4',1,'SVF::SrcSnkDDA::svfg()'],['../classSVF_1_1FlowSensitive.html#aae032e5f5d53b131d0112dc8faa464a9',1,'SVF::FlowSensitive::svfg()']]],
+  ['svfg',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF::SVFG'],['../classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef',1,'SVF::SVFGBuilder::svfg()'],['../classSVF_1_1ProgSlice.html#a457a759c552a1418538769d79d7a7dde',1,'SVF::ProgSlice::svfg()'],['../classSVF_1_1SrcSnkDDA.html#ae657ebdeae8a083cfec210859a0023e4',1,'SVF::SrcSnkDDA::svfg()'],['../classSVF_1_1FlowSensitive.html#aae032e5f5d53b131d0112dc8faa464a9',1,'SVF::FlowSensitive::svfg()'],['../classSVF_1_1SVFG.html#a68965c5a9cc5136aa0b593851c60ff12',1,'SVF::SVFG::SVFG()']]],
   ['svfg_2ecpp',['SVFG.cpp',['../SVFG_8cpp.html',1,'']]],
   ['svfg_2eh',['SVFG.h',['../SVFG_8h.html',1,'']]],
-  ['svfgbuilder',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html',1,'SVF::SVFGBuilder'],['../classSVF_1_1DDAVFSolver.html#a0d563fe8b016b27a58f5b054fec9c38a',1,'SVF::DDAVFSolver::svfgBuilder()'],['../classSVF_1_1SVFG.html#ab2f81db3935389480baa5cb14e15e9d7',1,'SVF::SVFG::SVFGBuilder()'],['../classSVF_1_1SVFGBuilder.html#a003c6d9e13e5f73e0648d97400f1854e',1,'SVF::SVFGBuilder::SVFGBuilder()']]],
+  ['svfgbuilder',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html',1,'SVF::SVFGBuilder'],['../classSVF_1_1SVFG.html#ab2f81db3935389480baa5cb14e15e9d7',1,'SVF::SVFG::SVFGBuilder()'],['../classSVF_1_1SVFGBuilder.html#a003c6d9e13e5f73e0648d97400f1854e',1,'SVF::SVFGBuilder::SVFGBuilder()'],['../classSVF_1_1DDAVFSolver.html#a0d563fe8b016b27a58f5b054fec9c38a',1,'SVF::DDAVFSolver::svfgBuilder()']]],
   ['svfgbuilder_2ecpp',['SVFGBuilder.cpp',['../SVFGBuilder_8cpp.html',1,'']]],
   ['svfgbuilder_2eh',['SVFGBuilder.h',['../SVFGBuilder_8h.html',1,'']]],
   ['svfgedge',['SVFGEdge',['../namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9',1,'SVF']]],
@@ -384,8 +384,8 @@ var searchData=
   ['svfgnodelockspan',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html',1,'SVF::SVFGNodeLockSpan'],['../classSVF_1_1SVFGNodeLockSpan.html#a43f4d595b31259576b141cb99883938e',1,'SVF::SVFGNodeLockSpan::SVFGNodeLockSpan()']]],
   ['svfgnodeset',['SVFGNodeSet',['../classSVF_1_1SVFGOPT.html#a07874e1a77bcd5ff593757d202a4edd6',1,'SVF::SVFGOPT::SVFGNodeSet()'],['../classSVF_1_1SVFGStat.html#aee5ecd6a92c40e1e27197869028689c4',1,'SVF::SVFGStat::SVFGNodeSet()'],['../classSVF_1_1MTASVFGBuilder.html#a467e7b445394acb735b1b24ce39e966a',1,'SVF::MTASVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1ProgSlice.html#a4864972e12f3e95f06bcf2bf8c847b3a',1,'SVF::ProgSlice::SVFGNodeSet()'],['../classSVF_1_1SaberSVFGBuilder.html#a298a94f9b368e37767935a42e5ba954a',1,'SVF::SaberSVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1SrcSnkDDA.html#a19f02a14ee669fadc37fde3816fa2f84',1,'SVF::SrcSnkDDA::SVFGNodeSet()']]],
   ['svfgnodesetiter',['SVFGNodeSetIter',['../classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd',1,'SVF::ProgSlice::SVFGNodeSetIter()'],['../classSVF_1_1SrcSnkDDA.html#ad6935e27bbd95d26a01b22b879efed58',1,'SVF::SrcSnkDDA::SVFGNodeSetIter()']]],
-  ['svfgnodetocondmap',['svfgNodeToCondMap',['../classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce',1,'SVF::ProgSlice::svfgNodeToCondMap()'],['../classSVF_1_1ProgSlice.html#ae16157bd0b66dfb3cc18b778a745ed00',1,'SVF::ProgSlice::SVFGNodeToCondMap()']]],
-  ['svfgnodetocsidmap',['SVFGNodeToCSIDMap',['../classSVF_1_1LeakChecker.html#a47a79514e1fdc402453b864407aacd6a',1,'SVF::LeakChecker']]],
+  ['svfgnodetocondmap',['SVFGNodeToCondMap',['../classSVF_1_1ProgSlice.html#ae16157bd0b66dfb3cc18b778a745ed00',1,'SVF::ProgSlice::SVFGNodeToCondMap()'],['../classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce',1,'SVF::ProgSlice::svfgNodeToCondMap()']]],
+  ['svfgnodetocsidmap',['SVFGNodeToCSIDMap',['../classSVF_1_1LeakChecker.html#a90c7275babe222f006233d2f2d2b6700',1,'SVF::LeakChecker']]],
   ['svfgnodetodpitemsmap',['SVFGNodeToDPItemsMap',['../classSVF_1_1SrcSnkDDA.html#a4f9de61860db86668606f0c276ce8117',1,'SVF::SrcSnkDDA']]],
   ['svfgnodetoslicemap',['SVFGNodeToSliceMap',['../classSVF_1_1SrcSnkDDA.html#ac96c2f09dee260b4378eae7eb67b21e4',1,'SVF::SrcSnkDDA']]],
   ['svfgnodevec',['SVFGNodeVec',['../classSVF_1_1MTASVFGBuilder.html#a2d0e5077ce9ae6148845db607f086312',1,'SVF::MTASVFGBuilder']]],
@@ -396,7 +396,7 @@ var searchData=
   ['svfgopttimestart',['svfgOptTimeStart',['../classSVF_1_1SVFGStat.html#a1e92f02d43f06ef31e107859d1bd8ac2',1,'SVF::SVFGStat']]],
   ['svfgscc',['SVFGSCC',['../classSVF_1_1DDAPass.html#a5e51ac666db439865846b835bcea9d21',1,'SVF::DDAPass::SVFGSCC()'],['../classSVF_1_1DDAVFSolver.html#a502207f81ed22fa42f9e18ccba83ad4e',1,'SVF::DDAVFSolver::SVFGSCC()'],['../classSVF_1_1SVFGStat.html#a149edd19cd5adafec13cbb49c590f0a8',1,'SVF::SVFGStat::SVFGSCC()']]],
   ['svfgsccdetection',['SVFGSCCDetection',['../classSVF_1_1DDAVFSolver.html#aba0ec611a5cfd096ac0b8b11e0bd5580',1,'SVF::DDAVFSolver']]],
-  ['svfgstat',['SVFGStat',['../classSVF_1_1SVFGStat.html',1,'SVF::SVFGStat'],['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()'],['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()']]],
+  ['svfgstat',['SVFGStat',['../classSVF_1_1SVFGStat.html',1,'SVF::SVFGStat'],['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()'],['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()']]],
   ['svfgstat_2ecpp',['SVFGStat.cpp',['../SVFGStat_8cpp.html',1,'']]],
   ['svfgstat_2eh',['SVFGStat.h',['../SVFGStat_8h.html',1,'']]],
   ['svfgwithindcall',['SVFGWithIndCall',['../classSVF_1_1SVFGBuilder.html#a70de38086437635d2e44d2a0c9fdded9',1,'SVF::SVFGBuilder']]],
@@ -410,7 +410,7 @@ var searchData=
   ['svfirbuilder_2eh',['SVFIRBuilder.h',['../SVFIRBuilder_8h.html',1,'']]],
   ['svfmain',['SVFMain',['../classSVF_1_1Options.html#a868fa5069b01b7a7dfbc5fb99cb76385',1,'SVF::Options']]],
   ['svfmod',['svfMod',['../classSVF_1_1CHGraph.html#a62a3ccdbc55381d5f8d96dc23141f2e5',1,'SVF::CHGraph::svfMod()'],['../classSVF_1_1PointerAnalysis.html#a7e8b3f6843e5ea75fd189162d2cd60a5',1,'SVF::PointerAnalysis::svfMod()'],['../classSVF_1_1SVFIRBuilder.html#aa67bbd366b93fb1ec7a540c83566c977',1,'SVF::SVFIRBuilder::svfMod()']]],
-  ['svfmodule',['SVFModule',['../classSVF_1_1SVFModule.html',1,'SVF::SVFModule'],['../classSVF_1_1SVFModule.html#a22b214595dd7841eb974e7c633ed8bb1',1,'SVF::SVFModule::SVFModule()'],['../classSVF_1_1DCHGraph.html#a85a3c9a6a60a4379717773f8722ae42e',1,'SVF::DCHGraph::svfModule()'],['../classSVF_1_1LLVMModuleSet.html#a43832e93a42ae43d44b0cc160981678f',1,'SVF::LLVMModuleSet::svfModule()']]],
+  ['svfmodule',['SVFModule',['../classSVF_1_1SVFModule.html',1,'SVF::SVFModule'],['../classSVF_1_1DCHGraph.html#a85a3c9a6a60a4379717773f8722ae42e',1,'SVF::DCHGraph::svfModule()'],['../classSVF_1_1LLVMModuleSet.html#a43832e93a42ae43d44b0cc160981678f',1,'SVF::LLVMModuleSet::svfModule()'],['../classSVF_1_1SVFModule.html#a22b214595dd7841eb974e7c633ed8bb1',1,'SVF::SVFModule::SVFModule()']]],
   ['svfmodule_2ecpp',['SVFModule.cpp',['../SVFModule_8cpp.html',1,'']]],
   ['svfmodule_2eh',['SVFModule.h',['../SVFModule_8h.html',1,'']]],
   ['svfstatements_2ecpp',['SVFStatements.cpp',['../SVFStatements_8cpp.html',1,'']]],

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

@@ -11,7 +11,7 @@ var searchData=
   ['tbhcstorereuse',['TBHCStoreReuse',['../classSVF_1_1Options.html#a10cc9fa1d4e553865343d635cf84592e',1,'SVF::Options']]],
   ['tcg',['tcg',['../classSVF_1_1MHP.html#a4b73d112880ad940e078e801f8725799',1,'SVF::MHP::tcg()'],['../classSVF_1_1MTA.html#a308ca0fa99b3c95f3e62b27522b6aeaa',1,'SVF::MTA::tcg()'],['../classSVF_1_1MTAResultValidator.html#abe087e2e8d92aa218ef282d2493193ef',1,'SVF::MTAResultValidator::tcg()'],['../classSVF_1_1TCT.html#ac9ddd6559e818f37c018ed5435182363',1,'SVF::TCT::tcg()']]],
   ['tcgscc',['tcgSCC',['../classSVF_1_1TCT.html#a30662928bafc97c1e7b123270ca69980',1,'SVF::TCT']]],
-  ['tct',['TCT',['../classSVF_1_1TCT.html',1,'SVF::TCT'],['../classSVF_1_1LockAnalysis.html#a2c4a69b0f2381142c172b3043943c79d',1,'SVF::LockAnalysis::tct()'],['../classSVF_1_1MHP.html#a176eefb65e4ba99ee70513c8add44176',1,'SVF::MHP::tct()'],['../classSVF_1_1ForkJoinAnalysis.html#a2c6ce7aa04c399746d89230be0e0f1ce',1,'SVF::ForkJoinAnalysis::tct()'],['../classSVF_1_1MTA.html#a9c9a42fb8a8ada910cdb9a8fb55d7c36',1,'SVF::MTA::tct()'],['../classSVF_1_1TCT.html#a8eaa746805b0afc17329d0ba4ad6a887',1,'SVF::TCT::TCT()']]],
+  ['tct',['TCT',['../classSVF_1_1TCT.html',1,'SVF::TCT'],['../classSVF_1_1TCT.html#a8eaa746805b0afc17329d0ba4ad6a887',1,'SVF::TCT::TCT()'],['../classSVF_1_1LockAnalysis.html#a2c4a69b0f2381142c172b3043943c79d',1,'SVF::LockAnalysis::tct()'],['../classSVF_1_1MHP.html#a176eefb65e4ba99ee70513c8add44176',1,'SVF::MHP::tct()'],['../classSVF_1_1ForkJoinAnalysis.html#a2c6ce7aa04c399746d89230be0e0f1ce',1,'SVF::ForkJoinAnalysis::tct()'],['../classSVF_1_1MTA.html#a9c9a42fb8a8ada910cdb9a8fb55d7c36',1,'SVF::MTA::tct()']]],
   ['tct_2ecpp',['TCT.cpp',['../TCT_8cpp.html',1,'']]],
   ['tct_2eh',['TCT.h',['../TCT_8h.html',1,'']]],
   ['tct_5faccess',['TCT_ACCESS',['../classSVF_1_1MTAResultValidator.html#ae709b039a68f5600271c40903b1c0dbe',1,'SVF::MTAResultValidator']]],
@@ -46,9 +46,9 @@ var searchData=
   ['tdapimap',['tdAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec',1,'SVF::SaberCheckerAPI::tdAPIMap()'],['../classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c',1,'SVF::ThreadAPI::tdAPIMap()'],['../classSVF_1_1SaberCheckerAPI.html#a3115116dc595c4b157f2cfc0a6ea89fc',1,'SVF::SaberCheckerAPI::TDAPIMap()'],['../classSVF_1_1ThreadAPI.html#ae9721b91bd60d27ae3dd48cb058301b2',1,'SVF::ThreadAPI::TDAPIMap()']]],
   ['tddead',['TDDead',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4',1,'SVF::ForkJoinAnalysis']]],
   ['tdforkedge',['TDForkEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7af32caf15ca19d512b5183bcf0d859cd7',1,'SVF::PTACallGraphEdge']]],
-  ['tdforkpe',['TDForkPE',['../classSVF_1_1TDForkPE.html',1,'SVF::TDForkPE'],['../classSVF_1_1TDForkPE.html#a8d474c87f2f641336064270536fae8ae',1,'SVF::TDForkPE::TDForkPE()'],['../classSVF_1_1TDForkPE.html#ad55687afd603a027c4d7124061fce40b',1,'SVF::TDForkPE::TDForkPE(const TDForkPE &)'],['../classSVF_1_1TDForkPE.html#ab9b4bb3ea203b7c444fad6187fe77682',1,'SVF::TDForkPE::TDForkPE(SVFVar *s, SVFVar *d, const CallBlockNode *i)']]],
+  ['tdforkpe',['TDForkPE',['../classSVF_1_1TDForkPE.html',1,'SVF::TDForkPE'],['../classSVF_1_1TDForkPE.html#a8d474c87f2f641336064270536fae8ae',1,'SVF::TDForkPE::TDForkPE()'],['../classSVF_1_1TDForkPE.html#ad55687afd603a027c4d7124061fce40b',1,'SVF::TDForkPE::TDForkPE(const TDForkPE &)'],['../classSVF_1_1TDForkPE.html#ae84750b6511817b2db33d11c59d0f5bc',1,'SVF::TDForkPE::TDForkPE(SVFVar *s, SVFVar *d, const CallICFGNode *i)']]],
   ['tdjoinedge',['TDJoinEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7a2d65840140263a0808f5b9d553a4bff5',1,'SVF::PTACallGraphEdge']]],
-  ['tdjoinpe',['TDJoinPE',['../classSVF_1_1TDJoinPE.html',1,'SVF::TDJoinPE'],['../classSVF_1_1TDJoinPE.html#a3a7edc9b921598336ff2bbb6412e2160',1,'SVF::TDJoinPE::TDJoinPE()'],['../classSVF_1_1TDJoinPE.html#a6f1714c9ef2483173ee6026b34eb10ae',1,'SVF::TDJoinPE::TDJoinPE(const TDJoinPE &)'],['../classSVF_1_1TDJoinPE.html#a0f995bd01463f201d7760641275dc33a',1,'SVF::TDJoinPE::TDJoinPE(SVFVar *s, SVFVar *d, const CallBlockNode *i)']]],
+  ['tdjoinpe',['TDJoinPE',['../classSVF_1_1TDJoinPE.html',1,'SVF::TDJoinPE'],['../classSVF_1_1TDJoinPE.html#a3a7edc9b921598336ff2bbb6412e2160',1,'SVF::TDJoinPE::TDJoinPE()'],['../classSVF_1_1TDJoinPE.html#a6f1714c9ef2483173ee6026b34eb10ae',1,'SVF::TDJoinPE::TDJoinPE(const TDJoinPE &)'],['../classSVF_1_1TDJoinPE.html#afb9137169d75204a09975a219334b752',1,'SVF::TDJoinPE::TDJoinPE(SVFVar *s, SVFVar *d, const CallICFGNode *i)']]],
   ['tdlocked',['TDLocked',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791a2709e7eb7ea9829c7e649e6dd86d6a48',1,'SVF::LockAnalysis']]],
   ['tdunlocked',['TDUnlocked',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791ac531588e8556653306e03ccaacb83dac',1,'SVF::LockAnalysis']]],
   ['template',['TEMPLATE',['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d',1,'SVF::CHNode::TEMPLATE()'],['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc',1,'SVF::DCHNode::TEMPLATE()']]],
@@ -56,7 +56,7 @@ var searchData=
   ['teq',['teq',['../classSVF_1_1DCHGraph.html#acb76ab20da1bfbec00f63d08e48cbddd',1,'SVF::DCHGraph']]],
   ['test',['test',['../classSVF_1_1CondStdSet.html#a6bf6fafc6f8391dbff08a6bd9d07f4d4',1,'SVF::CondStdSet::test()'],['../classSVF_1_1CondPointsToSet.html#a1613b690473a4fcbae7bc41c3c5347d7',1,'SVF::CondPointsToSet::test()'],['../classSVF_1_1PointsTo.html#af61271fefa574c39f405fdfee59a8b3f',1,'SVF::PointsTo::test()'],['../classSVF_1_1CoreBitVector.html#a7b20ffd3cd4a0ffc48a1348f657deaa0',1,'SVF::CoreBitVector::test()']]],
   ['test_5fand_5fset',['test_and_set',['../classSVF_1_1CondStdSet.html#a3e72341580263f3a9b48ce0e8c7bbbec',1,'SVF::CondStdSet::test_and_set()'],['../classSVF_1_1CondPointsToSet.html#ac29ac1adefca6b34cd8e83fe3f0b4450',1,'SVF::CondPointsToSet::test_and_set()'],['../classSVF_1_1PointsTo.html#a1161d97df5ffc8f11d1a34df9a4d5bdf',1,'SVF::PointsTo::test_and_set()'],['../classSVF_1_1CoreBitVector.html#a3299b296d20d2b76c6538ba51a684972',1,'SVF::CoreBitVector::test_and_set()']]],
-  ['testindcallreachability',['testIndCallReachability',['../classSVF_1_1ContextDDA.html#aa440bf9abda3f353bf91e5e64462b818',1,'SVF::ContextDDA::testIndCallReachability()'],['../classSVF_1_1FlowDDA.html#ae48534b36222578855708c298f81f554',1,'SVF::FlowDDA::testIndCallReachability()']]],
+  ['testindcallreachability',['testIndCallReachability',['../classSVF_1_1ContextDDA.html#a05ac33ca33efb58099839f72050bb008',1,'SVF::ContextDDA::testIndCallReachability()'],['../classSVF_1_1FlowDDA.html#ae48534b36222578855708c298f81f554',1,'SVF::FlowDDA::testIndCallReachability()']]],
   ['testoutofbudget',['testOutOfBudget',['../classSVF_1_1DDAVFSolver.html#a3fb52286c5324ea3d58e22c630b307e3',1,'SVF::DDAVFSolver']]],
   ['testsvalidation',['testsValidation',['../classSVF_1_1LeakChecker.html#aaf5d098e0d08929a108fb59bff46e424',1,'SVF::LeakChecker']]],
   ['thdcallgraph',['ThdCallGraph',['../classSVF_1_1PTACallGraph.html#a5b1fe2b2314db947cd5e709b7285fe1ca4fe819bb1488afc48b04c1b7bef04bc2',1,'SVF::PTACallGraph']]],
@@ -95,9 +95,9 @@ var searchData=
   ['timeofprocessloadstore',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
   ['timeofsccdetection',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
   ['timeofsccmerges',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
-  ['timeofssarenaming',['timeOfSSARenaming',['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()'],['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()']]],
+  ['timeofssarenaming',['TimeOfSSARenaming',['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()'],['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()']]],
   ['timeofupdatecallgraph',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
-  ['timestatmap',['timeStatMap',['../classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337',1,'SVF::PTAStat::timeStatMap()'],['../classSVF_1_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10',1,'SVF::PTAStat::TIMEStatMap()']]],
+  ['timestatmap',['TIMEStatMap',['../classSVF_1_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10',1,'SVF::PTAStat::TIMEStatMap()'],['../classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337',1,'SVF::PTAStat::timeStatMap()']]],
   ['tinterphi',['TInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69',1,'SVF::VFGNode']]],
   ['tintraphi',['TIntraPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727',1,'SVF::VFGNode']]],
   ['tlptdata',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],
@@ -107,7 +107,7 @@ var searchData=
   ['tonodebs',['toNodeBS',['../classSVF_1_1PointsTo.html#ae4749cf6dc43645e2479cefbcc246637',1,'SVF::PointsTo']]],
   ['tooloutputfile',['ToolOutputFile',['../namespaceSVF.html#acde6a1d496f1b655088ccbe023820277',1,'SVF']]],
   ['toponodestack',['topoNodeStack',['../classSVF_1_1SCCDetection.html#a6502c0a765ac1653474ffee651949f93',1,'SVF::SCCDetection']]],
-  ['tostring',['toString',['../classSVF_1_1ICFGEdge.html#a7233609f62f278b738036e8de9bbbfc8',1,'SVF::ICFGEdge::toString()'],['../classSVF_1_1IntraCFGEdge.html#a1e63286b4d6f757ac1220f5f03ae62de',1,'SVF::IntraCFGEdge::toString()'],['../classSVF_1_1CallCFGEdge.html#a2ad72b065dcb752e0779de9ff69c443a',1,'SVF::CallCFGEdge::toString()'],['../classSVF_1_1RetCFGEdge.html#aca97e28617505e482b014dc805cb70aa',1,'SVF::RetCFGEdge::toString()'],['../classSVF_1_1ICFGNode.html#af1b6fd9ea200ab0ff51d48a4872c921a',1,'SVF::ICFGNode::toString()'],['../classSVF_1_1GlobalBlockNode.html#af5e1261e34359955150337c61073e76a',1,'SVF::GlobalBlockNode::toString()'],['../classSVF_1_1IntraBlockNode.html#a5be129203e65edc4e1222b5e04d1c148',1,'SVF::IntraBlockNode::toString()'],['../classSVF_1_1FunEntryBlockNode.html#a9ee511954fe72f47c247dc481fd5d751',1,'SVF::FunEntryBlockNode::toString()'],['../classSVF_1_1FunExitBlockNode.html#aea51f9cb9a1563dfb375962a9a4b8f65',1,'SVF::FunExitBlockNode::toString()'],['../classSVF_1_1CallBlockNode.html#ae4ea32a63a095f27e973bc8bf6e38262',1,'SVF::CallBlockNode::toString()'],['../classSVF_1_1RetBlockNode.html#ae1d596a9a6ad9f5d4cdaaab0a8a931a2',1,'SVF::RetBlockNode::toString()'],['../classSVF_1_1PTACallGraphEdge.html#a27979e812ced26f114369b46e1536b02',1,'SVF::PTACallGraphEdge::toString()'],['../classSVF_1_1PTACallGraphNode.html#a57f173a28c2a153d37cb63d451e62973',1,'SVF::PTACallGraphNode::toString()'],['../classSVF_1_1IndirectSVFGEdge.html#a33e6221e5005fda68903f4cdadf58ce8',1,'SVF::IndirectSVFGEdge::toString()'],['../classSVF_1_1IntraIndSVFGEdge.html#ae148fda488b6505a6cc4103aae30e291',1,'SVF::IntraIndSVFGEdge::toString()'],['../classSVF_1_1CallIndSVFGEdge.html#a06cc5ba2c5be41bf38e4fad0c031138e',1,'SVF::CallIndSVFGEdge::toString()'],['../classSVF_1_1RetIndSVFGEdge.html#a58502c0881d2d8dccf9dd09385e08dc5',1,'SVF::RetIndSVFGEdge::toString()'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#a09b7fef74030eecc6fa7b83a15c12521',1,'SVF::ThreadMHPIndSVFGEdge::toString()'],['../classSVF_1_1MRSVFGNode.html#ab200b96b8dbff5d5fc5e3b114ae45921',1,'SVF::MRSVFGNode::toString()'],['../classSVF_1_1FormalINSVFGNode.html#a4022ecd01a88758b5fa7d22856c89745',1,'SVF::FormalINSVFGNode::toString()'],['../classSVF_1_1FormalOUTSVFGNode.html#a45b1aafb8a2464c868c5249b37e9ff0a',1,'SVF::FormalOUTSVFGNode::toString()'],['../classSVF_1_1ActualINSVFGNode.html#a5f583665f7e094dc4f7c387f4522a1a5',1,'SVF::ActualINSVFGNode::toString()'],['../classSVF_1_1ActualOUTSVFGNode.html#a460d0d6f338c33e39d810f7921237b5c',1,'SVF::ActualOUTSVFGNode::toString()'],['../classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd',1,'SVF::MSSAPHISVFGNode::toString()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#ad463be283dcad18654cee4311d071a47',1,'SVF::IntraMSSAPHISVFGNode::toString()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a286e9064de854a84bdd2efe8f7d73688',1,'SVF::InterMSSAPHISVFGNode::toString()'],['../classSVF_1_1ThreadForkEdge.html#acdc2ff9ad9800847b581e9d27efd3843',1,'SVF::ThreadForkEdge::toString()'],['../classSVF_1_1ThreadJoinEdge.html#a67b68672ef76e0a4f326f7dbbd77bbf7',1,'SVF::ThreadJoinEdge::toString()'],['../classSVF_1_1VFGEdge.html#a8f4bec008af7cd1a89870715eaa91a7b',1,'SVF::VFGEdge::toString()'],['../classSVF_1_1DirectSVFGEdge.html#aa8d70214eb0242c3f2baaa506c12852c',1,'SVF::DirectSVFGEdge::toString()'],['../classSVF_1_1IntraDirSVFGEdge.html#a1c8dc17717409aa42749181aafd155aa',1,'SVF::IntraDirSVFGEdge::toString()'],['../classSVF_1_1CallDirSVFGEdge.html#af07decd05375f56baa4a1c4fe70bc3f1',1,'SVF::CallDirSVFGEdge::toString()'],['../classSVF_1_1RetDirSVFGEdge.html#a6282c2619d843cf90575886a0ef81edf',1,'SVF::RetDirSVFGEdge::toString()'],['../classSVF_1_1VFGNode.html#a0342b5a6f270f4ff0e8e2a9b0082c6c5',1,'SVF::VFGNode::toString()'],['../classSVF_1_1StmtVFGNode.html#aa5011ff12de490146ab106e90d0b6ad8',1,'SVF::StmtVFGNode::toString()'],['../classSVF_1_1LoadVFGNode.html#aad3591f38e30c5168d4accb76ac8dc04',1,'SVF::LoadVFGNode::toString()'],['../classSVF_1_1StoreVFGNode.html#aba7e8b8329caf412a55f5880f68414fe',1,'SVF::StoreVFGNode::toString()'],['../classSVF_1_1CopyVFGNode.html#ad86bbc5ec4a9ea226364a84e04724b37',1,'SVF::CopyVFGNode::toString()'],['../classSVF_1_1CmpVFGNode.html#aa08c4475c47beb0d026acab859d68117',1,'SVF::CmpVFGNode::toString()'],['../classSVF_1_1BinaryOPVFGNode.html#aa743cf19c5dc91dbb0c7b8981fecc6c4',1,'SVF::BinaryOPVFGNode::toString()'],['../classSVF_1_1UnaryOPVFGNode.html#ab748bb83004550944c6abca7150aec14',1,'SVF::UnaryOPVFGNode::toString()'],['../classSVF_1_1BranchVFGNode.html#a131fe96308f67b307ea08e645b019e13',1,'SVF::BranchVFGNode::toString()'],['../classSVF_1_1GepVFGNode.html#ad27376633c939952878d5d73621ec638',1,'SVF::GepVFGNode::toString()'],['../classSVF_1_1PHIVFGNode.html#a7fb9cbed3718922cd81b18d069c79aea',1,'SVF::PHIVFGNode::toString()'],['../classSVF_1_1IntraPHIVFGNode.html#a145413d87e9174b5eb70b871b9dfa13e',1,'SVF::IntraPHIVFGNode::toString()'],['../classSVF_1_1AddrVFGNode.html#ac26fbce400355f43fdc22ad88a8d9067',1,'SVF::AddrVFGNode::toString()'],['../classSVF_1_1ArgumentVFGNode.html#a3c10cd63e18f79ccc66f4687d05cb8c5',1,'SVF::ArgumentVFGNode::toString()'],['../classSVF_1_1ActualParmVFGNode.html#a60d6ce4c4fe2cf54be45e58b2b93c9f6',1,'SVF::ActualParmVFGNode::toString()'],['../classSVF_1_1FormalParmVFGNode.html#ac4e695d6ee7bb7c5ed4e273567e7c1cc',1,'SVF::FormalParmVFGNode::toString()'],['../classSVF_1_1ActualRetVFGNode.html#a4d1e7df32604becd2e2b60fe2e5cfbfa',1,'SVF::ActualRetVFGNode::toString()'],['../classSVF_1_1FormalRetVFGNode.html#ab1ae2339d7408d9156cdfe5ab4559e66',1,'SVF::FormalRetVFGNode::toString()'],['../classSVF_1_1InterPHIVFGNode.html#aff35aebdc8d955df160e51da7b666a7e',1,'SVF::InterPHIVFGNode::toString()'],['../classSVF_1_1NullPtrVFGNode.html#a75c8b89a34bfd89a4af2c699cdb626b9',1,'SVF::NullPtrVFGNode::toString()'],['../classSVF_1_1CondVar.html#a4baf5fb20288491c96827177f9965cc4',1,'SVF::CondVar::toString()'],['../classSVF_1_1CondStdSet.html#a07267b0a4f7cfeaa6d1f7d722932c4d5',1,'SVF::CondStdSet::toString()'],['../classSVF_1_1SVFStmt.html#ad0b4dbe87e009518f22360c48b0d0c22',1,'SVF::SVFStmt::toString()'],['../classSVF_1_1AssignStmt.html#abbe582a24bf4b42284f78eab5b18a90a',1,'SVF::AssignStmt::toString()'],['../classSVF_1_1AddrStmt.html#abf9453ed58c6946640a85be31512c0e8',1,'SVF::AddrStmt::toString()'],['../classSVF_1_1CopyStmt.html#ad72ccb8ab29258b7c0fb54c48e8dec3a',1,'SVF::CopyStmt::toString()'],['../classSVF_1_1StoreStmt.html#a3b9692c3de9437c4f686f646aa6b4aac',1,'SVF::StoreStmt::toString()'],['../classSVF_1_1LoadStmt.html#a5c930e62bc3b03c9dfa4a8dbe9b4df2a',1,'SVF::LoadStmt::toString()'],['../classSVF_1_1GepStmt.html#acae68ff97d408a1dd929b0348415c81d',1,'SVF::GepStmt::toString()'],['../classSVF_1_1NormalGepStmt.html#a1c56ef0156531ba4c81391e1eddc12e6',1,'SVF::NormalGepStmt::toString()'],['../classSVF_1_1VariantGepStmt.html#a975f7049b4445765b75d0558364d11a4',1,'SVF::VariantGepStmt::toString()'],['../classSVF_1_1CallPE.html#aecdf349bde9547dae7eb88c6cfd34bab',1,'SVF::CallPE::toString()'],['../classSVF_1_1RetPE.html#a68aa24dcabeae26bcc4184110fbb50ef',1,'SVF::RetPE::toString()'],['../classSVF_1_1PhiStmt.html#a09575a14aa359a0795b4d6c83bee487a',1,'SVF::PhiStmt::toString()'],['../classSVF_1_1CmpStmt.html#a2f050b8af64dbe5e6bace2a82167a439',1,'SVF::CmpStmt::toString()'],['../classSVF_1_1BinaryOPStmt.html#a138547516e2676c297a27d762544f2aa',1,'SVF::BinaryOPStmt::toString()'],['../classSVF_1_1UnaryOPStmt.html#a1d5eced1a537eeab82d24f451d6b7f65',1,'SVF::UnaryOPStmt::toString()'],['../classSVF_1_1BranchStmt.html#afc44edd6d1d5c855dc2169d26629377f',1,'SVF::BranchStmt::toString()'],['../classSVF_1_1TDForkPE.html#aa385dc7e7e439cb4d8ee1524c8fbf9fe',1,'SVF::TDForkPE::toString()'],['../classSVF_1_1TDJoinPE.html#accac29adba7ca4883ae161c223a1703d',1,'SVF::TDJoinPE::toString()'],['../classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd',1,'SVF::SVFVar::toString()'],['../classSVF_1_1ValVar.html#a4591213dd266efd380fd916fee73c1fd',1,'SVF::ValVar::toString()'],['../classSVF_1_1ObjVar.html#a14da09447f9f0495a42a61bdd92688a3',1,'SVF::ObjVar::toString()'],['../classSVF_1_1GepValVar.html#ac9016b61dde44eb89ea715a0619994de',1,'SVF::GepValVar::toString()'],['../classSVF_1_1GepObjVar.html#aa7bfd42a92e9ebc34613818e70689218',1,'SVF::GepObjVar::toString()'],['../classSVF_1_1FIObjVar.html#ad383a7468348cf040e9dcd8515848595',1,'SVF::FIObjVar::toString()'],['../classSVF_1_1RetPN.html#a9824061477c142e5dba14af14fa53aa2',1,'SVF::RetPN::toString()'],['../classSVF_1_1VarArgPN.html#a617077176f0ea586a0cf9a4a1034e99d',1,'SVF::VarArgPN::toString()'],['../classSVF_1_1DummyValVar.html#a4da61151fed6a64cc361d69276d00b84',1,'SVF::DummyValVar::toString()'],['../classSVF_1_1DummyObjVar.html#a0888335fe157af01e647b79043c7ae40',1,'SVF::DummyObjVar::toString()'],['../classSVF_1_1CloneDummyObjVar.html#a72249d18032dfcd866d0519da3c0999b',1,'SVF::CloneDummyObjVar::toString()'],['../classSVF_1_1CloneGepObjVar.html#a74e6fea7dc651c57de3e06ff356522a5',1,'SVF::CloneGepObjVar::toString()'],['../classSVF_1_1CloneFIObjVar.html#a336acd6fdf3e6be5ea44435a1576c9fc',1,'SVF::CloneFIObjVar::toString()'],['../classSVF_1_1SymbolTableInfo.html#a7d3001549966444622d5918e5811e89e',1,'SVF::SymbolTableInfo::toString()'],['../classSVF_1_1MemObj.html#a614b26f4a3db926055a576b13842c1d7',1,'SVF::MemObj::toString()'],['../classSVF_1_1ContextCond.html#a5f73451064b22bc1aab91b22ddea1eee',1,'SVF::ContextCond::toString()'],['../classSVF_1_1VFPathCond.html#a21665a89c2ba52de5754c2faad53166c',1,'SVF::VFPathCond::toString()']]],
+  ['tostring',['toString',['../classSVF_1_1ICFGEdge.html#a7233609f62f278b738036e8de9bbbfc8',1,'SVF::ICFGEdge::toString()'],['../classSVF_1_1IntraCFGEdge.html#a1e63286b4d6f757ac1220f5f03ae62de',1,'SVF::IntraCFGEdge::toString()'],['../classSVF_1_1CallCFGEdge.html#a2ad72b065dcb752e0779de9ff69c443a',1,'SVF::CallCFGEdge::toString()'],['../classSVF_1_1RetCFGEdge.html#aca97e28617505e482b014dc805cb70aa',1,'SVF::RetCFGEdge::toString()'],['../classSVF_1_1ICFGNode.html#af1b6fd9ea200ab0ff51d48a4872c921a',1,'SVF::ICFGNode::toString()'],['../classSVF_1_1GlobalICFGNode.html#ada960e5bdba75c165a67b33c09819c47',1,'SVF::GlobalICFGNode::toString()'],['../classSVF_1_1IntraICFGNode.html#a85d3e05cb5a95c2f9d678d9f010419a5',1,'SVF::IntraICFGNode::toString()'],['../classSVF_1_1FunEntryICFGNode.html#a3e9032ea2388682e568b6324fe8e4882',1,'SVF::FunEntryICFGNode::toString()'],['../classSVF_1_1FunExitICFGNode.html#aa73e5a5e577b789842987fec2fb307f9',1,'SVF::FunExitICFGNode::toString()'],['../classSVF_1_1CallICFGNode.html#ab07e504bbc100fa3e111d62de815a88c',1,'SVF::CallICFGNode::toString()'],['../classSVF_1_1RetICFGNode.html#ab0b54268167a593e2db9d02d3dd9c4f1',1,'SVF::RetICFGNode::toString()'],['../classSVF_1_1PTACallGraphEdge.html#a27979e812ced26f114369b46e1536b02',1,'SVF::PTACallGraphEdge::toString()'],['../classSVF_1_1PTACallGraphNode.html#a57f173a28c2a153d37cb63d451e62973',1,'SVF::PTACallGraphNode::toString()'],['../classSVF_1_1IndirectSVFGEdge.html#a33e6221e5005fda68903f4cdadf58ce8',1,'SVF::IndirectSVFGEdge::toString()'],['../classSVF_1_1IntraIndSVFGEdge.html#ae148fda488b6505a6cc4103aae30e291',1,'SVF::IntraIndSVFGEdge::toString()'],['../classSVF_1_1CallIndSVFGEdge.html#a06cc5ba2c5be41bf38e4fad0c031138e',1,'SVF::CallIndSVFGEdge::toString()'],['../classSVF_1_1RetIndSVFGEdge.html#a58502c0881d2d8dccf9dd09385e08dc5',1,'SVF::RetIndSVFGEdge::toString()'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#a09b7fef74030eecc6fa7b83a15c12521',1,'SVF::ThreadMHPIndSVFGEdge::toString()'],['../classSVF_1_1MRSVFGNode.html#ab200b96b8dbff5d5fc5e3b114ae45921',1,'SVF::MRSVFGNode::toString()'],['../classSVF_1_1FormalINSVFGNode.html#a4022ecd01a88758b5fa7d22856c89745',1,'SVF::FormalINSVFGNode::toString()'],['../classSVF_1_1FormalOUTSVFGNode.html#a45b1aafb8a2464c868c5249b37e9ff0a',1,'SVF::FormalOUTSVFGNode::toString()'],['../classSVF_1_1ActualINSVFGNode.html#a5f583665f7e094dc4f7c387f4522a1a5',1,'SVF::ActualINSVFGNode::toString()'],['../classSVF_1_1ActualOUTSVFGNode.html#a460d0d6f338c33e39d810f7921237b5c',1,'SVF::ActualOUTSVFGNode::toString()'],['../classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd',1,'SVF::MSSAPHISVFGNode::toString()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#ad463be283dcad18654cee4311d071a47',1,'SVF::IntraMSSAPHISVFGNode::toString()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a286e9064de854a84bdd2efe8f7d73688',1,'SVF::InterMSSAPHISVFGNode::toString()'],['../classSVF_1_1ThreadForkEdge.html#acdc2ff9ad9800847b581e9d27efd3843',1,'SVF::ThreadForkEdge::toString()'],['../classSVF_1_1ThreadJoinEdge.html#a67b68672ef76e0a4f326f7dbbd77bbf7',1,'SVF::ThreadJoinEdge::toString()'],['../classSVF_1_1VFGEdge.html#a8f4bec008af7cd1a89870715eaa91a7b',1,'SVF::VFGEdge::toString()'],['../classSVF_1_1DirectSVFGEdge.html#aa8d70214eb0242c3f2baaa506c12852c',1,'SVF::DirectSVFGEdge::toString()'],['../classSVF_1_1IntraDirSVFGEdge.html#a1c8dc17717409aa42749181aafd155aa',1,'SVF::IntraDirSVFGEdge::toString()'],['../classSVF_1_1CallDirSVFGEdge.html#af07decd05375f56baa4a1c4fe70bc3f1',1,'SVF::CallDirSVFGEdge::toString()'],['../classSVF_1_1RetDirSVFGEdge.html#a6282c2619d843cf90575886a0ef81edf',1,'SVF::RetDirSVFGEdge::toString()'],['../classSVF_1_1VFGNode.html#a0342b5a6f270f4ff0e8e2a9b0082c6c5',1,'SVF::VFGNode::toString()'],['../classSVF_1_1StmtVFGNode.html#aa5011ff12de490146ab106e90d0b6ad8',1,'SVF::StmtVFGNode::toString()'],['../classSVF_1_1LoadVFGNode.html#aad3591f38e30c5168d4accb76ac8dc04',1,'SVF::LoadVFGNode::toString()'],['../classSVF_1_1StoreVFGNode.html#aba7e8b8329caf412a55f5880f68414fe',1,'SVF::StoreVFGNode::toString()'],['../classSVF_1_1CopyVFGNode.html#ad86bbc5ec4a9ea226364a84e04724b37',1,'SVF::CopyVFGNode::toString()'],['../classSVF_1_1CmpVFGNode.html#aa08c4475c47beb0d026acab859d68117',1,'SVF::CmpVFGNode::toString()'],['../classSVF_1_1BinaryOPVFGNode.html#aa743cf19c5dc91dbb0c7b8981fecc6c4',1,'SVF::BinaryOPVFGNode::toString()'],['../classSVF_1_1UnaryOPVFGNode.html#ab748bb83004550944c6abca7150aec14',1,'SVF::UnaryOPVFGNode::toString()'],['../classSVF_1_1BranchVFGNode.html#a131fe96308f67b307ea08e645b019e13',1,'SVF::BranchVFGNode::toString()'],['../classSVF_1_1GepVFGNode.html#ad27376633c939952878d5d73621ec638',1,'SVF::GepVFGNode::toString()'],['../classSVF_1_1PHIVFGNode.html#a7fb9cbed3718922cd81b18d069c79aea',1,'SVF::PHIVFGNode::toString()'],['../classSVF_1_1IntraPHIVFGNode.html#a145413d87e9174b5eb70b871b9dfa13e',1,'SVF::IntraPHIVFGNode::toString()'],['../classSVF_1_1AddrVFGNode.html#ac26fbce400355f43fdc22ad88a8d9067',1,'SVF::AddrVFGNode::toString()'],['../classSVF_1_1ArgumentVFGNode.html#a3c10cd63e18f79ccc66f4687d05cb8c5',1,'SVF::ArgumentVFGNode::toString()'],['../classSVF_1_1ActualParmVFGNode.html#a60d6ce4c4fe2cf54be45e58b2b93c9f6',1,'SVF::ActualParmVFGNode::toString()'],['../classSVF_1_1FormalParmVFGNode.html#ac4e695d6ee7bb7c5ed4e273567e7c1cc',1,'SVF::FormalParmVFGNode::toString()'],['../classSVF_1_1ActualRetVFGNode.html#a4d1e7df32604becd2e2b60fe2e5cfbfa',1,'SVF::ActualRetVFGNode::toString()'],['../classSVF_1_1FormalRetVFGNode.html#ab1ae2339d7408d9156cdfe5ab4559e66',1,'SVF::FormalRetVFGNode::toString()'],['../classSVF_1_1InterPHIVFGNode.html#aff35aebdc8d955df160e51da7b666a7e',1,'SVF::InterPHIVFGNode::toString()'],['../classSVF_1_1NullPtrVFGNode.html#a75c8b89a34bfd89a4af2c699cdb626b9',1,'SVF::NullPtrVFGNode::toString()'],['../classSVF_1_1CondVar.html#a4baf5fb20288491c96827177f9965cc4',1,'SVF::CondVar::toString()'],['../classSVF_1_1CondStdSet.html#a07267b0a4f7cfeaa6d1f7d722932c4d5',1,'SVF::CondStdSet::toString()'],['../classSVF_1_1SVFStmt.html#ad0b4dbe87e009518f22360c48b0d0c22',1,'SVF::SVFStmt::toString()'],['../classSVF_1_1AssignStmt.html#abbe582a24bf4b42284f78eab5b18a90a',1,'SVF::AssignStmt::toString()'],['../classSVF_1_1AddrStmt.html#abf9453ed58c6946640a85be31512c0e8',1,'SVF::AddrStmt::toString()'],['../classSVF_1_1CopyStmt.html#ad72ccb8ab29258b7c0fb54c48e8dec3a',1,'SVF::CopyStmt::toString()'],['../classSVF_1_1StoreStmt.html#a3b9692c3de9437c4f686f646aa6b4aac',1,'SVF::StoreStmt::toString()'],['../classSVF_1_1LoadStmt.html#a5c930e62bc3b03c9dfa4a8dbe9b4df2a',1,'SVF::LoadStmt::toString()'],['../classSVF_1_1GepStmt.html#acae68ff97d408a1dd929b0348415c81d',1,'SVF::GepStmt::toString()'],['../classSVF_1_1NormalGepStmt.html#a1c56ef0156531ba4c81391e1eddc12e6',1,'SVF::NormalGepStmt::toString()'],['../classSVF_1_1VariantGepStmt.html#a975f7049b4445765b75d0558364d11a4',1,'SVF::VariantGepStmt::toString()'],['../classSVF_1_1CallPE.html#aecdf349bde9547dae7eb88c6cfd34bab',1,'SVF::CallPE::toString()'],['../classSVF_1_1RetPE.html#a68aa24dcabeae26bcc4184110fbb50ef',1,'SVF::RetPE::toString()'],['../classSVF_1_1PhiStmt.html#a09575a14aa359a0795b4d6c83bee487a',1,'SVF::PhiStmt::toString()'],['../classSVF_1_1CmpStmt.html#a2f050b8af64dbe5e6bace2a82167a439',1,'SVF::CmpStmt::toString()'],['../classSVF_1_1BinaryOPStmt.html#a138547516e2676c297a27d762544f2aa',1,'SVF::BinaryOPStmt::toString()'],['../classSVF_1_1UnaryOPStmt.html#a1d5eced1a537eeab82d24f451d6b7f65',1,'SVF::UnaryOPStmt::toString()'],['../classSVF_1_1BranchStmt.html#afc44edd6d1d5c855dc2169d26629377f',1,'SVF::BranchStmt::toString()'],['../classSVF_1_1TDForkPE.html#aa385dc7e7e439cb4d8ee1524c8fbf9fe',1,'SVF::TDForkPE::toString()'],['../classSVF_1_1TDJoinPE.html#accac29adba7ca4883ae161c223a1703d',1,'SVF::TDJoinPE::toString()'],['../classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd',1,'SVF::SVFVar::toString()'],['../classSVF_1_1ValVar.html#a4591213dd266efd380fd916fee73c1fd',1,'SVF::ValVar::toString()'],['../classSVF_1_1ObjVar.html#a14da09447f9f0495a42a61bdd92688a3',1,'SVF::ObjVar::toString()'],['../classSVF_1_1GepValVar.html#ac9016b61dde44eb89ea715a0619994de',1,'SVF::GepValVar::toString()'],['../classSVF_1_1GepObjVar.html#aa7bfd42a92e9ebc34613818e70689218',1,'SVF::GepObjVar::toString()'],['../classSVF_1_1FIObjVar.html#ad383a7468348cf040e9dcd8515848595',1,'SVF::FIObjVar::toString()'],['../classSVF_1_1RetPN.html#a9824061477c142e5dba14af14fa53aa2',1,'SVF::RetPN::toString()'],['../classSVF_1_1VarArgPN.html#a617077176f0ea586a0cf9a4a1034e99d',1,'SVF::VarArgPN::toString()'],['../classSVF_1_1DummyValVar.html#a4da61151fed6a64cc361d69276d00b84',1,'SVF::DummyValVar::toString()'],['../classSVF_1_1DummyObjVar.html#a0888335fe157af01e647b79043c7ae40',1,'SVF::DummyObjVar::toString()'],['../classSVF_1_1CloneDummyObjVar.html#a72249d18032dfcd866d0519da3c0999b',1,'SVF::CloneDummyObjVar::toString()'],['../classSVF_1_1CloneGepObjVar.html#a74e6fea7dc651c57de3e06ff356522a5',1,'SVF::CloneGepObjVar::toString()'],['../classSVF_1_1CloneFIObjVar.html#a336acd6fdf3e6be5ea44435a1576c9fc',1,'SVF::CloneFIObjVar::toString()'],['../classSVF_1_1SymbolTableInfo.html#a7d3001549966444622d5918e5811e89e',1,'SVF::SymbolTableInfo::toString()'],['../classSVF_1_1MemObj.html#a614b26f4a3db926055a576b13842c1d7',1,'SVF::MemObj::toString()'],['../classSVF_1_1ContextCond.html#a5f73451064b22bc1aab91b22ddea1eee',1,'SVF::ContextCond::toString()'],['../classSVF_1_1VFPathCond.html#a21665a89c2ba52de5754c2faad53166c',1,'SVF::VFPathCond::toString()']]],
   ['totalanalysistime',['TotalAnalysisTime',['../classSVF_1_1PTAStat.html#a25001a6d794d91056f37d954d9660910',1,'SVF::PTAStat']]],
   ['totalcallsitenum',['totalCallSiteNum',['../classSVF_1_1PTACallGraph.html#a276338e88cc286f6a1808b1fcdf74d9a',1,'SVF::PTACallGraph']]],
   ['totalcomplements',['totalComplements',['../classSVF_1_1PersistentPointsToCache.html#a6d52fb93d22b2ce3e4e4acbdd82b88b0',1,'SVF::PersistentPointsToCache']]],
@@ -147,7 +147,7 @@ var searchData=
   ['treez',['treeZ',['../structDdManager.html#a748a046ca1743d33b4cfaea560cc4d48',1,'DdManager']]],
   ['tripcount',['tripcount',['../classSVF_1_1PTASCEV.html#aa92f2da24c8b6d3548f8b4920a8d157f',1,'SVF::PTASCEV']]],
   ['truecond',['trueCond',['../classSVF_1_1CondManager.html#aed854ecc55a568597f7d7f1f78fb92f4',1,'SVF::CondManager']]],
-  ['type',['type',['../structDdNode.html#ac7e82d45498ac66d16e74db9a7971d9b',1,'DdNode::type()'],['../structDdGen.html#ab08569c7ba12c63288a09a92109aa81d',1,'DdGen::type()'],['../structEpDoubleStruct.html#ad715bfed9d5d6ebd3333b0f9d36030c6',1,'EpDoubleStruct::type()'],['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1ObjTypeInfo.html#a6e7780d4e2639c089ff6c853d8d78a4d',1,'SVF::ObjTypeInfo::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()'],['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::Type()'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()']]],
+  ['type',['Type',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::Type()'],['../structDdNode.html#ac7e82d45498ac66d16e74db9a7971d9b',1,'DdNode::type()'],['../structDdGen.html#ab08569c7ba12c63288a09a92109aa81d',1,'DdGen::type()'],['../structEpDoubleStruct.html#ad715bfed9d5d6ebd3333b0f9d36030c6',1,'EpDoubleStruct::type()'],['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1ObjTypeInfo.html#a6e7780d4e2639c089ff6c853d8d78a4d',1,'SVF::ObjTypeInfo::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()']]],
   ['typeanalysis',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html',1,'SVF::TypeAnalysis'],['../classSVF_1_1TypeAnalysis.html#aaec66fea631bfe00064182e17dfb9db3',1,'SVF::TypeAnalysis::TypeAnalysis()']]],
   ['typeanalysis_2ecpp',['TypeAnalysis.cpp',['../TypeAnalysis_8cpp.html',1,'']]],
   ['typeanalysis_2eh',['TypeAnalysis.h',['../TypeAnalysis_8h.html',1,'']]],

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

@@ -33,7 +33,7 @@ var searchData=
   ['updateatvpts',['updateATVPts',['../classSVF_1_1DFPTData.html#a09bc4b7eef592af2c2c84b60029b5b52',1,'SVF::DFPTData::updateATVPts()'],['../classSVF_1_1MutableDFPTData.html#a0ce585790bba942291bb7c7ffcaa3914',1,'SVF::MutableDFPTData::updateATVPts()'],['../classSVF_1_1MutableIncDFPTData.html#aa8fdf0f82d3d94af34d5bc1386ed21f9',1,'SVF::MutableIncDFPTData::updateATVPts()'],['../classSVF_1_1PersistentDFPTData.html#a6761733754abf061e92125988a684fa3',1,'SVF::PersistentDFPTData::updateATVPts()'],['../classSVF_1_1PersistentIncDFPTData.html#a002e6d234d0ad0c74a0976046e440f71',1,'SVF::PersistentIncDFPTData::updateATVPts()']]],
   ['updatecachedpointsto',['updateCachedPointsTo',['../classSVF_1_1DDAVFSolver.html#a239a55960dfbbe73df63063070a18b56',1,'SVF::DDAVFSolver']]],
   ['updatecallgraph',['updateCallGraph',['../classSVF_1_1ICFG.html#a5a00682b75726cacc1b4d88bbf40c824',1,'SVF::ICFG::updateCallGraph()'],['../classSVF_1_1ThreadCallGraph.html#ae25bca6e64ceedc56f1e2f1ae30f89eb',1,'SVF::ThreadCallGraph::updateCallGraph()'],['../classSVF_1_1VFG.html#a0c0a7c8f0bd27bc9e88ce54c0809b11b',1,'SVF::VFG::updateCallGraph()'],['../classSVF_1_1BVDataPTAImpl.html#aa534e475fa34fa322c567bc376a3da70',1,'SVF::BVDataPTAImpl::updateCallGraph()'],['../classSVF_1_1AndersenBase.html#ac05796a5672ddb5bd0e08924d79da065',1,'SVF::AndersenBase::updateCallGraph()'],['../classSVF_1_1Andersen.html#a6c60b761ddf3d6bf08c8a9c3f6fd9f0b',1,'SVF::Andersen::updateCallGraph()'],['../classSVF_1_1AndersenSCD.html#a512c636bdaafe6a3ac8f0cc29392c573',1,'SVF::AndersenSCD::updateCallGraph()'],['../classSVF_1_1FlowSensitive.html#a9d81537ec20196315a9a2541477ec5bf',1,'SVF::FlowSensitive::updateCallGraph()']]],
-  ['updatecallgraphandsvfg',['updateCallGraphAndSVFG',['../classSVF_1_1ContextDDA.html#a4b8466d2e8e885fea2f41b5713f785bd',1,'SVF::ContextDDA::updateCallGraphAndSVFG()'],['../classSVF_1_1DDAVFSolver.html#a4f63b6b3a06633675ae99667cbaa6cdc',1,'SVF::DDAVFSolver::updateCallGraphAndSVFG()'],['../classSVF_1_1FlowDDA.html#ad6f9b84e18367f40c7c2d26bedda7684',1,'SVF::FlowDDA::updateCallGraphAndSVFG()']]],
+  ['updatecallgraphandsvfg',['updateCallGraphAndSVFG',['../classSVF_1_1ContextDDA.html#a6fb1be7eef65008c7fbab6bdfe186061',1,'SVF::ContextDDA::updateCallGraphAndSVFG()'],['../classSVF_1_1DDAVFSolver.html#a637dddedd96942d56de6fd6d10c09169',1,'SVF::DDAVFSolver::updateCallGraphAndSVFG()'],['../classSVF_1_1FlowDDA.html#ae6257ef91e9d1c5aa95fdf5333c528b0',1,'SVF::FlowDDA::updateCallGraphAndSVFG()']]],
   ['updatecallgraphtime',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()'],['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()']]],
   ['updateconnectednodes',['updateConnectedNodes',['../classSVF_1_1FlowSensitive.html#a1886b4964efa92cfff761493d12768b8',1,'SVF::FlowSensitive::updateConnectedNodes()'],['../classSVF_1_1VersionedFlowSensitive.html#a18f24fe34af677e2a8c78ee89b89be1c',1,'SVF::VersionedFlowSensitive::updateConnectedNodes()']]],
   ['updatedfinfromin',['updateDFInFromIn',['../classSVF_1_1DFPTData.html#a88cf9cd48ee5c1b8b3c71b379f23ab6b',1,'SVF::DFPTData::updateDFInFromIn()'],['../classSVF_1_1MutableDFPTData.html#ac3ebc5afa531118b2b4446d23e3b8c7a',1,'SVF::MutableDFPTData::updateDFInFromIn()'],['../classSVF_1_1MutableIncDFPTData.html#a775ef6458314a1febef3f7372f6a2bbc',1,'SVF::MutableIncDFPTData::updateDFInFromIn()'],['../classSVF_1_1PersistentDFPTData.html#a9b61c0557c6b1460af2328709011b32e',1,'SVF::PersistentDFPTData::updateDFInFromIn()'],['../classSVF_1_1PersistentIncDFPTData.html#a5b015e6801e4320e45e7942f9db82a42',1,'SVF::PersistentIncDFPTData::updateDFInFromIn()']]],

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

@@ -13,7 +13,7 @@ var searchData=
   ['validatesuccesstests',['validateSuccessTests',['../classSVF_1_1PointerAnalysis.html#a7accf4e4db4001716e53d98ce5217ac8',1,'SVF::PointerAnalysis::validateSuccessTests()'],['../classSVF_1_1LeakChecker.html#a0aa051a956b61cad9ec5419f33829e6a',1,'SVF::LeakChecker::validateSuccessTests()']]],
   ['validatetbhctests',['validateTBHCTests',['../classSVF_1_1TypeBasedHeapCloning.html#ae42ec334a7dfc96a5ead2d2845ca3b22',1,'SVF::TypeBasedHeapCloning']]],
   ['validatetct',['validateTCT',['../classSVF_1_1MTAResultValidator.html#ae6a18cbaf113ee8e28c3e8dca458d4be',1,'SVF::MTAResultValidator']]],
-  ['validatetests',['ValidateTests',['../classSVF_1_1Options.html#aec491143ded97649da1ed61b8fda796c',1,'SVF::Options::ValidateTests()'],['../classSVF_1_1PointerAnalysis.html#a0454332c89e60729956bb7d69a1a24df',1,'SVF::PointerAnalysis::validateTests()']]],
+  ['validatetests',['validateTests',['../classSVF_1_1PointerAnalysis.html#a0454332c89e60729956bb7d69a1a24df',1,'SVF::PointerAnalysis::validateTests()'],['../classSVF_1_1Options.html#aec491143ded97649da1ed61b8fda796c',1,'SVF::Options::ValidateTests()']]],
   ['valnode',['ValNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa32d22852d39756992f87bd02def75f66',1,'SVF::SVFVar']]],
   ['valsymbol',['ValSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba23583f8cf79d3fd142f8550664ad8247',1,'SVF::SymbolTableInfo']]],
   ['valsymmap',['valSymMap',['../classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08',1,'SVF::SymbolTableInfo']]],
@@ -21,10 +21,10 @@ var searchData=
   ['value',['value',['../structDdNode.html#a4daed26b440c68f410d46eb180a55abb',1,'DdNode::value()'],['../structDdGen.html#ace0cb69e960420e07582b760bb7a648b',1,'DdGen::value()'],['../structDdLocalCacheItem.html#a6b2c56e824fa116168915e1391e467d1',1,'DdLocalCacheItem::value()'],['../structDdHashItem.html#a79c808ed42f415d140c3f1684ec8ae0e',1,'DdHashItem::value()'],['../unionEpTypeUnion.html#ac0adcfc8125e941c974a96530221d200',1,'EpTypeUnion::value()'],['../classSVF_1_1SVFStmt.html#a6a689f62af301bd6ac09d7019aba1c17',1,'SVF::SVFStmt::value()'],['../classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea',1,'SVF::SVFVar::value()'],['../structSVF_1_1SVFUtil_1_1is__simple__type.html#a700d43a1b318fb30fa9472da323cb34f',1,'SVF::SVFUtil::is_simple_type::value()'],['../classSVF_1_1SVFValue.html#ae0c3918bbf8338efd8e6c00c51d9d9d2',1,'SVF::SVFValue::value()'],['../unionhack.html#a57925aea3fe6bc712a7d34f05e3c31f4',1,'hack::value()'],['../namespaceSVF.html#a90b263fd2f541eca78135078114cabda',1,'SVF::Value()']]],
   ['value2string',['value2String',['../namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191',1,'SVF::SVFUtil']]],
   ['value_5ftype',['value_type',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ab81cda692bb6ad451276f571a25c0751',1,'SVF::PointsTo::PointsToIterator::value_type()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6a59f0e97fc9cf278ed22b0a4c109ae1',1,'SVF::CoreBitVector::CoreBitVectorIterator::value_type()']]],
-  ['valuetoedgemap',['ValueToEdgeMap',['../classSVF_1_1IRGraph.html#addfc2131699f5ecee3a45d65cda46c24',1,'SVF::IRGraph::ValueToEdgeMap()'],['../classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704',1,'SVF::IRGraph::valueToEdgeMap()']]],
+  ['valuetoedgemap',['valueToEdgeMap',['../classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704',1,'SVF::IRGraph::valueToEdgeMap()'],['../classSVF_1_1IRGraph.html#addfc2131699f5ecee3a45d65cda46c24',1,'SVF::IRGraph::ValueToEdgeMap()']]],
   ['valuetoidmapty',['ValueToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#a03a11c48d748990ddac1ac5866ecb48e',1,'SVF::SymbolTableInfo']]],
   ['valvar',['ValVar',['../classSVF_1_1ValVar.html',1,'SVF::ValVar'],['../classSVF_1_1ValVar.html#ae5dc21b3327a100ffe3e0e2c876ba1bb',1,'SVF::ValVar::ValVar()']]],
-  ['var2labelmap',['var2LabelMap',['../classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007',1,'SVF::SVFStmt::var2LabelMap()'],['../classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb',1,'SVF::SVFStmt::Var2LabelMap()']]],
+  ['var2labelmap',['Var2LabelMap',['../classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb',1,'SVF::SVFStmt::Var2LabelMap()'],['../classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007',1,'SVF::SVFStmt::var2LabelMap()']]],
   ['var_5farray_5fobj',['VAR_ARRAY_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c',1,'SVF::ObjTypeInfo']]],
   ['var_5fstruct_5fobj',['VAR_STRUCT_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aaf98981bd15b41f543fd99d0c6222f08',1,'SVF::ObjTypeInfo']]],
   ['varargnode',['VarargNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf',1,'SVF::SVFVar']]],
@@ -147,7 +147,7 @@ var searchData=
   ['void_5for_5fint',['VOID_OR_INT',['../util_8h.html#ab98c118630d03869c77347eb973ecb0f',1,'util.h']]],
   ['vptd',['vPtD',['../classSVF_1_1VersionedFlowSensitive.html#a03f5f16377daa0258166a73de3e21f07',1,'SVF::VersionedFlowSensitive']]],
   ['vtable',['vtable',['../classSVF_1_1CHNode.html#a08a717043e8b8c3d87742f0ecd3a3cc1',1,'SVF::CHNode::vtable()'],['../classSVF_1_1DCHNode.html#a620ac2c6a9095510be5999431ff54b6d',1,'SVF::DCHNode::vtable()']]],
-  ['vtableptrtocallsitemap',['VTablePtrToCallSiteMap',['../classSVF_1_1FunptrDDAClient.html#aaff8353fea6337d6236189d4a08a91e9',1,'SVF::FunptrDDAClient::VTablePtrToCallSiteMap()'],['../classSVF_1_1AliasDDAClient.html#aa9bb92cc906c04a82eba69494b05516c',1,'SVF::AliasDDAClient::VTablePtrToCallSiteMap()']]],
+  ['vtableptrtocallsitemap',['VTablePtrToCallSiteMap',['../classSVF_1_1FunptrDDAClient.html#ad195fbe1a6b422e67f16c9fde9d8e671',1,'SVF::FunptrDDAClient::VTablePtrToCallSiteMap()'],['../classSVF_1_1AliasDDAClient.html#a1eb12d17470a8b1ae7131470ace2daa2',1,'SVF::AliasDDAClient::VTablePtrToCallSiteMap()']]],
   ['vtableset',['VTableSet',['../classSVF_1_1PointerAnalysis.html#af46f4b99fc2d5061c9266a7f45aafaca',1,'SVF::PointerAnalysis::VTableSet()'],['../namespaceSVF.html#a53511f619c06836ee85acf12153810e2',1,'SVF::VTableSet()']]],
   ['vtabletocallsitemap',['vtableToCallSiteMap',['../classSVF_1_1FunptrDDAClient.html#a357db092c3c39d7b1c6dd0fec3888048',1,'SVF::FunptrDDAClient::vtableToCallSiteMap()'],['../classSVF_1_1AliasDDAClient.html#a123e98572cf077ffdf7116ac5f5fc5e4',1,'SVF::AliasDDAClient::vtableToCallSiteMap()']]],
   ['vtblchamap',['vtblCHAMap',['../classSVF_1_1DCHGraph.html#a294e7a04aff9cef87c1008e91a620155',1,'SVF::DCHGraph']]],

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

@@ -8,7 +8,7 @@ var searchData=
   ['wordit',['wordIt',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1afa1cb9e8377d3dab767aa4bfc713dc',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
   ['words',['words',['../classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b',1,'SVF::CoreBitVector']]],
   ['wordsize',['WordSize',['../classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3',1,'SVF::CoreBitVector']]],
-  ['worklist',['worklist',['../classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194',1,'SVF::SVFGOPT::worklist()'],['../classSVF_1_1CFLSolver.html#a9d3cbcb9db049e3069b6553ab17ccf5b',1,'SVF::CFLSolver::worklist()'],['../classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5',1,'SVF::WPASolver::worklist()'],['../classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12',1,'SVF::CHGraph::WorkList()'],['../classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00',1,'SVF::ConstraintGraph::WorkList()'],['../classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40',1,'SVF::SVFGOPT::WorkList()'],['../classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc',1,'SVF::MRGenerator::WorkList()'],['../classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b',1,'SVF::LeakChecker::WorkList()'],['../classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039',1,'SVF::SaberSVFGBuilder::WorkList()'],['../classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a',1,'SVF::SrcSnkDDA::WorkList()'],['../classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac',1,'SVF::CHGBuilder::WorkList()'],['../classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a',1,'SVF::ICFGBuilder::WorkList()'],['../classSVF_1_1CFLSolver.html#a802e04eafce9adfd60506c44951c3d53',1,'SVF::CFLSolver::WorkList()'],['../classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334',1,'SVF::WPASolver::WorkList()']]],
+  ['worklist',['WorkList',['../classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12',1,'SVF::CHGraph::WorkList()'],['../classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00',1,'SVF::ConstraintGraph::WorkList()'],['../classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40',1,'SVF::SVFGOPT::WorkList()'],['../classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc',1,'SVF::MRGenerator::WorkList()'],['../classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b',1,'SVF::LeakChecker::WorkList()'],['../classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039',1,'SVF::SaberSVFGBuilder::WorkList()'],['../classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a',1,'SVF::SrcSnkDDA::WorkList()'],['../classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac',1,'SVF::CHGBuilder::WorkList()'],['../classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a',1,'SVF::ICFGBuilder::WorkList()'],['../classSVF_1_1CFLSolver.html#a802e04eafce9adfd60506c44951c3d53',1,'SVF::CFLSolver::WorkList()'],['../classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334',1,'SVF::WPASolver::WorkList()'],['../classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194',1,'SVF::SVFGOPT::worklist()'],['../classSVF_1_1CFLSolver.html#a9d3cbcb9db049e3069b6553ab17ccf5b',1,'SVF::CFLSolver::worklist()'],['../classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5',1,'SVF::WPASolver::worklist()']]],
   ['worklist_2eh',['WorkList.h',['../WorkList_8h.html',1,'']]],
   ['workstack',['WorkStack',['../classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e',1,'SVF::CSC']]],
   ['wpa_2ecpp',['wpa.cpp',['../wpa_8cpp.html',1,'']]],