npm - svf-tools - Versions diffs - 1.0.310 → 1.0.314 - Mend

svf-tools 1.0.310 → 1.0.314

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

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

@@ -37,7 +37,7 @@ var searchData=
   ['callgraphedgeiter',['CallGraphEdgeIter',['../classSVF_1_1PTACallGraph.html#a2f28a1ce0c7d6a0bc2fc2627e90acf1c',1,'SVF::PTACallGraph']]],
   ['callgraphedgeset',['CallGraphEdgeSet',['../classSVF_1_1PTACallGraphEdge.html#aa96d6bc3ffd3a5537b871a4c87c65888',1,'SVF::PTACallGraphEdge::CallGraphEdgeSet()'],['../classSVF_1_1PTACallGraphNode.html#a9cc3b4b46aaf45fd6d08a4995957646c',1,'SVF::PTACallGraphNode::CallGraphEdgeSet()'],['../classSVF_1_1PTACallGraph.html#a1ad288117daa4031e195eb35d805cac6',1,'SVF::PTACallGraph::CallGraphEdgeSet()']]],
   ['callgraphnodenum',['callGraphNodeNum',['../classSVF_1_1PTACallGraph.html#af0e1a940677fb7f6c4aaef2f9c46c3e5',1,'SVF::PTACallGraph']]],
-  ['callgraphscc',['CallGraphSCC',['../classSVF_1_1DDAVFSolver.html#af6e05e87ba8d6b6ae65807803b1b0221',1,'SVF::DDAVFSolver::CallGraphSCC()'],['../classSVF_1_1PointerAnalysis.html#ac4ad73782f42f90ad7ac9c66edb27c69',1,'SVF::PointerAnalysis::CallGraphSCC()'],['../classSVF_1_1PointerAnalysis.html#ae3b651799345d9d92b6d736dafb03f63',1,'SVF::PointerAnalysis::callGraphSCC()'],['../classSVF_1_1MRGenerator.html#aa3a12cf1f761d25b9213bc6e50d89ba5',1,'SVF::MRGenerator::callGraphSCC()']]],
+  ['callgraphscc',['callGraphSCC',['../classSVF_1_1PointerAnalysis.html#ae3b651799345d9d92b6d736dafb03f63',1,'SVF::PointerAnalysis::callGraphSCC()'],['../classSVF_1_1MRGenerator.html#aa3a12cf1f761d25b9213bc6e50d89ba5',1,'SVF::MRGenerator::callGraphSCC()'],['../classSVF_1_1DDAVFSolver.html#af6e05e87ba8d6b6ae65807803b1b0221',1,'SVF::DDAVFSolver::CallGraphSCC()'],['../classSVF_1_1PointerAnalysis.html#ac4ad73782f42f90ad7ac9c66edb27c69',1,'SVF::PointerAnalysis::CallGraphSCC()']]],
   ['callgraphsccdetection',['callGraphSCCDetection',['../classSVF_1_1PointerAnalysis.html#aafa5df4aa576a144476e547b1da35795',1,'SVF::PointerAnalysis']]],
   ['callgraphsolvebasedoncha',['callGraphSolveBasedOnCHA',['../classSVF_1_1TypeAnalysis.html#aec579b7854aa6a994632d3f7c5d621db',1,'SVF::TypeAnalysis']]],
   ['callgraphstat',['callgraphStat',['../classSVF_1_1PTAStat.html#a1772bc87370b5625f71edd4476277064',1,'SVF::PTAStat']]],
@@ -174,7 +174,7 @@ var searchData=
   ['classof',['classof',['../classSVF_1_1ConstraintEdge.html#a2c2a62e61022bb936a903846e0aacdd3',1,'SVF::ConstraintEdge::classof()'],['../classSVF_1_1AddrCGEdge.html#a541102364cd692d5f53a6aaef8b41965',1,'SVF::AddrCGEdge::classof(const AddrCGEdge *)'],['../classSVF_1_1AddrCGEdge.html#ac635af9bdde40ea73c267998b9e4b6c4',1,'SVF::AddrCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1AddrCGEdge.html#a1eeac9d23b4c3c789697c992e9ef8dbd',1,'SVF::AddrCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1CopyCGEdge.html#a321ccd6048312a570acbb8a217269434',1,'SVF::CopyCGEdge::classof(const CopyCGEdge *)'],['../classSVF_1_1CopyCGEdge.html#a7bd7d0f76d235db2f7d8a846da5bd20d',1,'SVF::CopyCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1CopyCGEdge.html#aee721f02965d46fcd1f8acc4a98df108',1,'SVF::CopyCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1StoreCGEdge.html#a7fdb88d66ee7489f2e2de5e91ed5f25b',1,'SVF::StoreCGEdge::classof(const StoreCGEdge *)'],['../classSVF_1_1StoreCGEdge.html#a2cc6943983c51fac45e312741404e8e9',1,'SVF::StoreCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1StoreCGEdge.html#a1d7f40c84a7601620784dfafec6112b6',1,'SVF::StoreCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1LoadCGEdge.html#a1e4ddf7950685fa18fc0bb8669cc1961',1,'SVF::LoadCGEdge::classof(const LoadCGEdge *)'],['../classSVF_1_1LoadCGEdge.html#ab7d9fa1d9ed23f3f7579ba26dad46032',1,'SVF::LoadCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1LoadCGEdge.html#aa1b47bbe3ac2de21a5dc7a72bb486953',1,'SVF::LoadCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1GepCGEdge.html#af9fbe33becd8f832267ab7ea6e0437b6',1,'SVF::GepCGEdge::classof(const GepCGEdge *)'],['../classSVF_1_1GepCGEdge.html#a13ca016474348064693416fcd183d4ab',1,'SVF::GepCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1GepCGEdge.html#aeceef279a35e9a92ecaff32372f0c112',1,'SVF::GepCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1NormalGepCGEdge.html#a79033645683ead9a7404cd35fd936092',1,'SVF::NormalGepCGEdge::classof(const NormalGepCGEdge *)'],['../classSVF_1_1NormalGepCGEdge.html#abaa71e2b1e7f9a6d7920a89eb397dccc',1,'SVF::NormalGepCGEdge::classof(const GepCGEdge *edge)'],['../classSVF_1_1NormalGepCGEdge.html#ac6c37d7442a4b48cdce8b2eef67ee87d',1,'SVF::NormalGepCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1NormalGepCGEdge.html#a025e8e6526f339c12e357958138be903',1,'SVF::NormalGepCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1VariantGepCGEdge.html#a5afc61b0781b222c70707a0ea765a4bd',1,'SVF::VariantGepCGEdge::classof(const VariantGepCGEdge *)'],['../classSVF_1_1VariantGepCGEdge.html#ae83d829f94cb886ddf36cddb75fb17df',1,'SVF::VariantGepCGEdge::classof(const GepCGEdge *edge)'],['../classSVF_1_1VariantGepCGEdge.html#a0342be6f165cbabc58e1dba75e6a0b79',1,'SVF::VariantGepCGEdge::classof(const ConstraintEdge *edge)'],['../classSVF_1_1VariantGepCGEdge.html#aba0cc74af291252bc8911c81832bef68',1,'SVF::VariantGepCGEdge::classof(const GenericConsEdgeTy *edge)'],['../classSVF_1_1IntraCFGEdge.html#a70bdadf898a10c6db89e9f432529092c',1,'SVF::IntraCFGEdge::classof(const IntraCFGEdge *)'],['../classSVF_1_1IntraCFGEdge.html#aea905f535696918ed63cd5ce04b7e0fb',1,'SVF::IntraCFGEdge::classof(const ICFGEdge *edge)'],['../classSVF_1_1IntraCFGEdge.html#adda4f50f50127f5d7f193300933c209f',1,'SVF::IntraCFGEdge::classof(const GenericICFGEdgeTy *edge)'],['../classSVF_1_1CallCFGEdge.html#a38b56212fb58934ee50079b1e69ad5ff',1,'SVF::CallCFGEdge::classof(const CallCFGEdge *)'],['../classSVF_1_1CallCFGEdge.html#a2d06b1b7913887fa0b147a5ec3098678',1,'SVF::CallCFGEdge::classof(const ICFGEdge *edge)'],['../classSVF_1_1CallCFGEdge.html#acea0923ca5c08f455af8ba3bcd738dd2',1,'SVF::CallCFGEdge::classof(const GenericICFGEdgeTy *edge)'],['../classSVF_1_1RetCFGEdge.html#aa26fbdb6a5fc801eef8a7f59ea28bc3a',1,'SVF::RetCFGEdge::classof(const RetCFGEdge *)'],['../classSVF_1_1RetCFGEdge.html#acbd01243e6fa346180221b3cc14672fe',1,'SVF::RetCFGEdge::classof(const ICFGEdge *edge)'],['../classSVF_1_1RetCFGEdge.html#a552aab628945c0d5d669c28068221bef',1,'SVF::RetCFGEdge::classof(const GenericICFGEdgeTy *edge)'],['../classSVF_1_1GlobalBlockNode.html#a42b0e52fb503c704bec4b1506991ed75',1,'SVF::GlobalBlockNode::classof(const GlobalBlockNode *)'],['../classSVF_1_1GlobalBlockNode.html#aab88b3a34534158e3f67e81f047248d0',1,'SVF::GlobalBlockNode::classof(const ICFGNode *node)'],['../classSVF_1_1GlobalBlockNode.html#a26f244ed2fdbc1cb7abdb97373465caf',1,'SVF::GlobalBlockNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1IntraBlockNode.html#afec0f1abe96e4f6e0e3f9e4d075bf308',1,'SVF::IntraBlockNode::classof(const IntraBlockNode *)'],['../classSVF_1_1IntraBlockNode.html#aab3d8287388f8d4b5e22e8496bb37f8d',1,'SVF::IntraBlockNode::classof(const ICFGNode *node)'],['../classSVF_1_1IntraBlockNode.html#a7a4180f1fc1b33da820c676aa8c4613d',1,'SVF::IntraBlockNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1InterBlockNode.html#aba751d4e1585e5e42bf505574f8b288a',1,'SVF::InterBlockNode::classof(const InterBlockNode *)'],['../classSVF_1_1InterBlockNode.html#a2a0f22695ebcceefe2c57a4ba9255e35',1,'SVF::InterBlockNode::classof(const ICFGNode *node)'],['../classSVF_1_1InterBlockNode.html#a4ab1005f23a3f3a0e2e275a9be183553',1,'SVF::InterBlockNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1FunEntryBlockNode.html#a7a3c08df6a65f82ecda01d3f547aa158',1,'SVF::FunEntryBlockNode::classof(const FunEntryBlockNode *)'],['../classSVF_1_1FunEntryBlockNode.html#a86f816aea050a089d7a86dbc774deba3',1,'SVF::FunEntryBlockNode::classof(const InterBlockNode *node)'],['../classSVF_1_1FunEntryBlockNode.html#a590bf75c1e200b6e9a66b852a6002c32',1,'SVF::FunEntryBlockNode::classof(const ICFGNode *node)'],['../classSVF_1_1FunEntryBlockNode.html#a0c124155eaac6adf80029dbf708294ff',1,'SVF::FunEntryBlockNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1FunExitBlockNode.html#a5fdc1edafbd26a57c1c563f8df439cfc',1,'SVF::FunExitBlockNode::classof(const FunEntryBlockNode *)'],['../classSVF_1_1FunExitBlockNode.html#abeae6aae021670c80206c1f5a82ccd97',1,'SVF::FunExitBlockNode::classof(const ICFGNode *node)'],['../classSVF_1_1FunExitBlockNode.html#aceef01ea3cc4d85385705df32b6f67da',1,'SVF::FunExitBlockNode::classof(const InterBlockNode *node)'],['../classSVF_1_1FunExitBlockNode.html#a6cda85f67241db56f0a8ca4830c574f0',1,'SVF::FunExitBlockNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1CallBlockNode.html#a1c688ff81489957e775cb2463c59d1ef',1,'SVF::CallBlockNode::classof(const CallBlockNode *)'],['../classSVF_1_1CallBlockNode.html#a43a5f89377aef18e7e6d31731b8bf11d',1,'SVF::CallBlockNode::classof(const ICFGNode *node)'],['../classSVF_1_1CallBlockNode.html#a8ac74fdb13bee140b0568f40c3a94b2a',1,'SVF::CallBlockNode::classof(const InterBlockNode *node)'],['../classSVF_1_1CallBlockNode.html#a1fab44c7854d6bc5fe0ab9ad236b64c3',1,'SVF::CallBlockNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1RetBlockNode.html#abd3a2b54fdb7e1339f765b3e5ab86947',1,'SVF::RetBlockNode::classof(const RetBlockNode *)'],['../classSVF_1_1RetBlockNode.html#a06433b4ec10e147df00c1e36990cdaab',1,'SVF::RetBlockNode::classof(const InterBlockNode *node)'],['../classSVF_1_1RetBlockNode.html#aed4047d93fee5e00c58e5bff0cbc06e0',1,'SVF::RetBlockNode::classof(const ICFGNode *node)'],['../classSVF_1_1RetBlockNode.html#a383ea0e36372dad2a0603428a8c26f7d',1,'SVF::RetBlockNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1PAGEdge.html#abbb6e04f1c285b7c4e0b878f98572d21',1,'SVF::PAGEdge::classof(const PAGEdge *)'],['../classSVF_1_1PAGEdge.html#a1fdd75799d9a6112d50be9bd40e94328',1,'SVF::PAGEdge::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1AddrPE.html#a18319bdaaefeae68bb44224f35834587',1,'SVF::AddrPE::classof(const AddrPE *)'],['../classSVF_1_1AddrPE.html#a48c8b6651e557982f5a8af87087cf4c6',1,'SVF::AddrPE::classof(const PAGEdge *edge)'],['../classSVF_1_1AddrPE.html#a44f91932a2e9fe72cbb9b7256ff4a37e',1,'SVF::AddrPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1CopyPE.html#a1c5d5a35b955743056d41cbb4745e925',1,'SVF::CopyPE::classof(const CopyPE *)'],['../classSVF_1_1CopyPE.html#ad568f60c5fd0f3d74c575212bc678083',1,'SVF::CopyPE::classof(const PAGEdge *edge)'],['../classSVF_1_1CopyPE.html#abab22d86f2cbd57d61165d4622c7ffee',1,'SVF::CopyPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1CmpPE.html#ab5f04e2bf9ba9fae32771fa62755409f',1,'SVF::CmpPE::classof(const CmpPE *)'],['../classSVF_1_1CmpPE.html#a91b0d9aebdea4f92a68c5db26f26eac3',1,'SVF::CmpPE::classof(const PAGEdge *edge)'],['../classSVF_1_1CmpPE.html#a54984454ad2ffe35fe35fb6528406144',1,'SVF::CmpPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1BinaryOPPE.html#a0af37a5e796d728bf91d8417c96b488e',1,'SVF::BinaryOPPE::classof(const BinaryOPPE *)'],['../classSVF_1_1BinaryOPPE.html#aead570bc035ac7884249a28c665d1bcb',1,'SVF::BinaryOPPE::classof(const PAGEdge *edge)'],['../classSVF_1_1BinaryOPPE.html#af4c581b0cfb392d20a0e31bc38cad814',1,'SVF::BinaryOPPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1UnaryOPPE.html#a03012d37b857b10f92879db6b7fc6f62',1,'SVF::UnaryOPPE::classof(const UnaryOPPE *)'],['../classSVF_1_1UnaryOPPE.html#ae43323bb12afe70692be4f5b49abab6e',1,'SVF::UnaryOPPE::classof(const PAGEdge *edge)'],['../classSVF_1_1UnaryOPPE.html#a333febe0206e6fc2e76d0bc7aeeef154',1,'SVF::UnaryOPPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1StorePE.html#af8799cbf5bfd6cded8591b207009c25f',1,'SVF::StorePE::classof(const StorePE *)'],['../classSVF_1_1StorePE.html#a05acbde43f8222f6566b1c6a6d8003ca',1,'SVF::StorePE::classof(const PAGEdge *edge)'],['../classSVF_1_1StorePE.html#a7729ca8220c1356729a2927224cda5e8',1,'SVF::StorePE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1LoadPE.html#a80b5301d008c271a7381e66f9ad501d4',1,'SVF::LoadPE::classof(const LoadPE *)'],['../classSVF_1_1LoadPE.html#a0b683cb820f81db7dced2e125f496542',1,'SVF::LoadPE::classof(const PAGEdge *edge)'],['../classSVF_1_1LoadPE.html#a5102ecac4cd7abd74f6b872c0a7b1645',1,'SVF::LoadPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1GepPE.html#a12fbd8c5a964b509719ab23e01d5bab5',1,'SVF::GepPE::classof(const GepPE *)'],['../classSVF_1_1GepPE.html#a32aefb43a29b88913faabb4bc88efbef',1,'SVF::GepPE::classof(const PAGEdge *edge)'],['../classSVF_1_1GepPE.html#a1812dc119f33ae436d83216ff747ac78',1,'SVF::GepPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1NormalGepPE.html#a2d48376e5806de43fa0a916b807fb2c3',1,'SVF::NormalGepPE::classof(const NormalGepPE *)'],['../classSVF_1_1NormalGepPE.html#a8da1dec3385813b3cdd508a92b7a8785',1,'SVF::NormalGepPE::classof(const GepPE *edge)'],['../classSVF_1_1NormalGepPE.html#ad85f1465ea786b67cb73a0f9d25e4c1f',1,'SVF::NormalGepPE::classof(const PAGEdge *edge)'],['../classSVF_1_1NormalGepPE.html#abc9a936ef4d5bea4ec8f86e2e28965cf',1,'SVF::NormalGepPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1VariantGepPE.html#a36ab4c6979ed0e5470882cb1c391f2ea',1,'SVF::VariantGepPE::classof(const VariantGepPE *)'],['../classSVF_1_1VariantGepPE.html#a7cbd2d1243325cda2574931d653ef4e8',1,'SVF::VariantGepPE::classof(const GepPE *edge)'],['../classSVF_1_1VariantGepPE.html#a26f2ca17a8139c3af1f04434a2c37768',1,'SVF::VariantGepPE::classof(const PAGEdge *edge)'],['../classSVF_1_1VariantGepPE.html#a1b9fba7adc9ea24dcef5e70c8b446d43',1,'SVF::VariantGepPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1CallPE.html#a6df0149f79122c5a7d517f75d0235e73',1,'SVF::CallPE::classof(const CallPE *)'],['../classSVF_1_1CallPE.html#a6003b9dd7f5398187b0efaa9481e7f7c',1,'SVF::CallPE::classof(const PAGEdge *edge)'],['../classSVF_1_1CallPE.html#a0d89c20d1d3ccee5f3e45a32085117aa',1,'SVF::CallPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1RetPE.html#a43c6965616d67e77087b486265139d21',1,'SVF::RetPE::classof(const RetPE *)'],['../classSVF_1_1RetPE.html#a8391f7ee2bbb942309f6ccc45c08e46f',1,'SVF::RetPE::classof(const PAGEdge *edge)'],['../classSVF_1_1RetPE.html#a2f0121f26e79fe3766cba93b42dc1119',1,'SVF::RetPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1TDForkPE.html#a79317f2ac92ace129a1ccf802406498d',1,'SVF::TDForkPE::classof(const TDForkPE *)'],['../classSVF_1_1TDForkPE.html#a5e3b4ef74ca054f678af6fd47e18d4c8',1,'SVF::TDForkPE::classof(const PAGEdge *edge)'],['../classSVF_1_1TDForkPE.html#a9e160158fe61958bcd6ef2a7da559018',1,'SVF::TDForkPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1TDJoinPE.html#ace17257476d0ee089a9f9cb8dc63e3f2',1,'SVF::TDJoinPE::classof(const TDJoinPE *)'],['../classSVF_1_1TDJoinPE.html#a5a54134ab447237e1f632c88237a4a0e',1,'SVF::TDJoinPE::classof(const PAGEdge *edge)'],['../classSVF_1_1TDJoinPE.html#a22303af690086961b8d2356b345f882b',1,'SVF::TDJoinPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1ValPN.html#a18a9bf26bb76893f0530d484dd0861ae',1,'SVF::ValPN::classof(const ValPN *)'],['../classSVF_1_1ValPN.html#ab350f85c175f4ebd300c0025d2294abb',1,'SVF::ValPN::classof(const PAGNode *node)'],['../classSVF_1_1ValPN.html#a530cc26cbb3562c951575e8437c5ca22',1,'SVF::ValPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1ObjPN.html#a5e7e7b1a2d78146e50ec36d99b0a3608',1,'SVF::ObjPN::classof(const ObjPN *)'],['../classSVF_1_1ObjPN.html#a45bdaec2136ff3b1d6744de87e7ead87',1,'SVF::ObjPN::classof(const PAGNode *node)'],['../classSVF_1_1ObjPN.html#a3b94e2fc7b83b588b27d5bf33ec72b8f',1,'SVF::ObjPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1GepValPN.html#a795658606384952f8e648e154a06700a',1,'SVF::GepValPN::classof(const GepValPN *)'],['../classSVF_1_1GepValPN.html#a9d9febd06c0802c33eab574458e9e771',1,'SVF::GepValPN::classof(const ValPN *node)'],['../classSVF_1_1GepValPN.html#a794c05c53c8a420b9e62d6c8abf9d44b',1,'SVF::GepValPN::classof(const PAGNode *node)'],['../classSVF_1_1GepValPN.html#a99654aefb5ebc08917a2fb09858ae340',1,'SVF::GepValPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1GepObjPN.html#a3962464274d0c15ceb0206ebf6fa2b55',1,'SVF::GepObjPN::classof(const GepObjPN *)'],['../classSVF_1_1GepObjPN.html#a71f93295b7052e2098dd15f76c1aaa8c',1,'SVF::GepObjPN::classof(const ObjPN *node)'],['../classSVF_1_1GepObjPN.html#aa3ab0c1d25fa1192b59892ebfef0b9af',1,'SVF::GepObjPN::classof(const PAGNode *node)'],['../classSVF_1_1GepObjPN.html#aff84e3e6702f0e04ef41aae90d297009',1,'SVF::GepObjPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1FIObjPN.html#a2c26eb5e25b2ff2f497e9ee40f84f582',1,'SVF::FIObjPN::classof(const FIObjPN *)'],['../classSVF_1_1FIObjPN.html#af7c4e765ec13f3a368d155bd27667832',1,'SVF::FIObjPN::classof(const ObjPN *node)'],['../classSVF_1_1FIObjPN.html#a89e5d166e8ea43c4d02b41a3a9a73bbe',1,'SVF::FIObjPN::classof(const PAGNode *node)'],['../classSVF_1_1FIObjPN.html#a1014cd45e24e44873acd1d76db92d056',1,'SVF::FIObjPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1RetPN.html#acedd9e576a077f96c0638065d4c70bcf',1,'SVF::RetPN::classof(const RetPN *)'],['../classSVF_1_1RetPN.html#a414e9e38d2c615fb9add0ea378fb330f',1,'SVF::RetPN::classof(const PAGNode *node)'],['../classSVF_1_1RetPN.html#a69ee6310b7236bc1230fa63440b0f551',1,'SVF::RetPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1VarArgPN.html#acaecf9e9d98c4a14fecee0877a72839c',1,'SVF::VarArgPN::classof(const VarArgPN *)'],['../classSVF_1_1VarArgPN.html#a4812e2bf14cf0e7a53c8e1b0d9212f6f',1,'SVF::VarArgPN::classof(const PAGNode *node)'],['../classSVF_1_1VarArgPN.html#a7f873a8015eb6a6b30530a7e5a69018d',1,'SVF::VarArgPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1DummyValPN.html#a4ae220021a948c2755f7dc4947458d8f',1,'SVF::DummyValPN::classof(const DummyValPN *)'],['../classSVF_1_1DummyValPN.html#a6d7efe4321ab7256e7e5f4603ea8a506',1,'SVF::DummyValPN::classof(const PAGNode *node)'],['../classSVF_1_1DummyValPN.html#a62c8bdc6ebc3626f6cd7e743f2475ae0',1,'SVF::DummyValPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1DummyObjPN.html#a6b241ddcbe32a27b46c3c7c3d92e4c3c',1,'SVF::DummyObjPN::classof(const DummyObjPN *)'],['../classSVF_1_1DummyObjPN.html#a67661e783801cee888405d1a823e9446',1,'SVF::DummyObjPN::classof(const PAGNode *node)'],['../classSVF_1_1DummyObjPN.html#a48af6a89137007ec2b329943a891b09c',1,'SVF::DummyObjPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1CloneDummyObjPN.html#a98a1f11f0adc875b9c166dae69875e05',1,'SVF::CloneDummyObjPN::classof(const CloneDummyObjPN *)'],['../classSVF_1_1CloneDummyObjPN.html#a19df43069674c61fa83b3799290e7b0b',1,'SVF::CloneDummyObjPN::classof(const PAGNode *node)'],['../classSVF_1_1CloneDummyObjPN.html#a41abb24caedfd04c87a66f5899419121',1,'SVF::CloneDummyObjPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1CloneGepObjPN.html#ae4a5fbdb8e39aeac18c03f275ad4f0ff',1,'SVF::CloneGepObjPN::classof(const CloneGepObjPN *)'],['../classSVF_1_1CloneGepObjPN.html#a90edd01cc2be1a3db424625588c9e01c',1,'SVF::CloneGepObjPN::classof(const PAGNode *node)'],['../classSVF_1_1CloneGepObjPN.html#a4480ad91fff13e921cdb44e56027ae9c',1,'SVF::CloneGepObjPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1CloneFIObjPN.html#a25d870401deedea23c29523b02be9357',1,'SVF::CloneFIObjPN::classof(const CloneFIObjPN *)'],['../classSVF_1_1CloneFIObjPN.html#ac8338c8ac08fbe691908f731dbde5db0',1,'SVF::CloneFIObjPN::classof(const PAGNode *node)'],['../classSVF_1_1CloneFIObjPN.html#a4162a2134de52bb0cd0a8ce630881c92',1,'SVF::CloneFIObjPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1PTACallGraphEdge.html#adb10c32eff8a794d9f2b1b4a47d85d21',1,'SVF::PTACallGraphEdge::classof(const PTACallGraphEdge *)'],['../classSVF_1_1PTACallGraphEdge.html#afb092fc0502837b52ebcaa3c0dedb736',1,'SVF::PTACallGraphEdge::classof(const GenericCallGraphEdgeTy *edge)'],['../classSVF_1_1IndirectSVFGEdge.html#a65d58ce28f0bec8ba20191257a80221f',1,'SVF::IndirectSVFGEdge::classof(const IndirectSVFGEdge *)'],['../classSVF_1_1IndirectSVFGEdge.html#ad1635bdd79cae91c5a58b5e540f19df1',1,'SVF::IndirectSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1IndirectSVFGEdge.html#a62352957241f7ac5faba6b502d0ed0f1',1,'SVF::IndirectSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1IntraIndSVFGEdge.html#ae1e57e6cc223a06f957c4d6761c35402',1,'SVF::IntraIndSVFGEdge::classof(const IntraIndSVFGEdge *)'],['../classSVF_1_1IntraIndSVFGEdge.html#ac749c96247b6070479ccd597266c1d84',1,'SVF::IntraIndSVFGEdge::classof(const IndirectSVFGEdge *edge)'],['../classSVF_1_1IntraIndSVFGEdge.html#ad123c668b35ad004f3897565ac69c054',1,'SVF::IntraIndSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1IntraIndSVFGEdge.html#a54de415e46849515629ace05fe2afed4',1,'SVF::IntraIndSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1CallIndSVFGEdge.html#a9da25118e904862eb1f39231c2b191bd',1,'SVF::CallIndSVFGEdge::classof(const CallIndSVFGEdge *)'],['../classSVF_1_1CallIndSVFGEdge.html#ad6a01c5fc68ce5777a801aa7668b47e9',1,'SVF::CallIndSVFGEdge::classof(const IndirectSVFGEdge *edge)'],['../classSVF_1_1CallIndSVFGEdge.html#a54c3c37723424cb98ac6d01e9ed25c39',1,'SVF::CallIndSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1CallIndSVFGEdge.html#ad50e4be3af1da84aa8a58b56faba36df',1,'SVF::CallIndSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1RetIndSVFGEdge.html#a436d46d2a475a291ecc56cc2f26b910f',1,'SVF::RetIndSVFGEdge::classof(const RetIndSVFGEdge *)'],['../classSVF_1_1RetIndSVFGEdge.html#ae3cedf9206a460394f761c8b785fb1f8',1,'SVF::RetIndSVFGEdge::classof(const IndirectSVFGEdge *edge)'],['../classSVF_1_1RetIndSVFGEdge.html#a4b9b7308ea5e74ff175f6b1fedc873e2',1,'SVF::RetIndSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1RetIndSVFGEdge.html#a0c7696c378afe92f8cf1612564ab98c3',1,'SVF::RetIndSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#a4f7b0802389ce183635d5be2a40128bc',1,'SVF::ThreadMHPIndSVFGEdge::classof(const ThreadMHPIndSVFGEdge *)'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#a0db2e69a5182d1c30b44e87711558bd9',1,'SVF::ThreadMHPIndSVFGEdge::classof(const IndirectSVFGEdge *edge)'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#a564a1648b45d3563d69401a7f8e31906',1,'SVF::ThreadMHPIndSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#acb948e40582b6cc8b4360f2205b5c926',1,'SVF::ThreadMHPIndSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1MRSVFGNode.html#a22e28a37a013d14964ce832fa23dfb84',1,'SVF::MRSVFGNode::classof(const MRSVFGNode *)'],['../classSVF_1_1MRSVFGNode.html#a9b843265a6f95eea56a5a62eede8893c',1,'SVF::MRSVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1MRSVFGNode.html#a5f14facdcee7fec54c45b5956af553be',1,'SVF::MRSVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1FormalINSVFGNode.html#a049c4760e5d0ea2e31fc84ec32850310',1,'SVF::FormalINSVFGNode::classof(const FormalINSVFGNode *)'],['../classSVF_1_1FormalINSVFGNode.html#a93393ca0fb82c738b9357e93572b026a',1,'SVF::FormalINSVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1FormalINSVFGNode.html#a637ece0b4dcb990d3a3a5d5bbee4ef8d',1,'SVF::FormalINSVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1FormalOUTSVFGNode.html#ac29004272d47ad58ea1e05fbfc1ac639',1,'SVF::FormalOUTSVFGNode::classof(const FormalOUTSVFGNode *)'],['../classSVF_1_1FormalOUTSVFGNode.html#a48fc0991af02d9e0b8700cf96a8ca35c',1,'SVF::FormalOUTSVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1FormalOUTSVFGNode.html#a3b1387416f3ca61eed5581c9112cfcde',1,'SVF::FormalOUTSVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1ActualINSVFGNode.html#a73ccbee2a81439e70ea0c096d113a89b',1,'SVF::ActualINSVFGNode::classof(const ActualINSVFGNode *)'],['../classSVF_1_1ActualINSVFGNode.html#aae28a748413002046d02a4003229fc88',1,'SVF::ActualINSVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1ActualINSVFGNode.html#a476ef9fb19b3da1149945f9fe27cd9f1',1,'SVF::ActualINSVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1ActualOUTSVFGNode.html#a810b526c35918ed894c8dc2f95d44cb3',1,'SVF::ActualOUTSVFGNode::classof(const ActualOUTSVFGNode *)'],['../classSVF_1_1ActualOUTSVFGNode.html#a12cb923163baad086ca7a6365c74cc6b',1,'SVF::ActualOUTSVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1ActualOUTSVFGNode.html#a06dfaac3d2a41fa297a7707fc1240f8f',1,'SVF::ActualOUTSVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1MSSAPHISVFGNode.html#ac55ddd2788fff5bcff8afc5c0b49ad2d',1,'SVF::MSSAPHISVFGNode::classof(const MSSAPHISVFGNode *)'],['../classSVF_1_1MSSAPHISVFGNode.html#a44089a90d2c8bdb7ea8d8f2904c9d768',1,'SVF::MSSAPHISVFGNode::classof(const MRSVFGNode *node)'],['../classSVF_1_1MSSAPHISVFGNode.html#abcb8ba7fc0574b75aa3582f35cdb47f5',1,'SVF::MSSAPHISVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1MSSAPHISVFGNode.html#ab91626e88e8c28553c44b5939cfd65b3',1,'SVF::MSSAPHISVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#ae1fef4865427f59811fde241d4ac80cc',1,'SVF::IntraMSSAPHISVFGNode::classof(const IntraMSSAPHISVFGNode *)'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#ada532ff4ffbd7592ae1b89b1e234ba21',1,'SVF::IntraMSSAPHISVFGNode::classof(const MSSAPHISVFGNode *node)'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a1382366ed10250d8f9a21c1f28bcad1c',1,'SVF::IntraMSSAPHISVFGNode::classof(const MRSVFGNode *node)'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a4d0c0866ed958cdbb5fd9310696f24ba',1,'SVF::IntraMSSAPHISVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a885dabe57bcf57d10dbdb40fd658b075',1,'SVF::IntraMSSAPHISVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a62c0f4f98a42fe65f1dd570ec277b13f',1,'SVF::InterMSSAPHISVFGNode::classof(const InterMSSAPHISVFGNode *)'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a084a26ee34913e89b8b28fac43cda5f2',1,'SVF::InterMSSAPHISVFGNode::classof(const MSSAPHISVFGNode *node)'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a14866d7c95c5d3d8215ffec2172d208b',1,'SVF::InterMSSAPHISVFGNode::classof(const MRSVFGNode *node)'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a7674d5c0f395624085f0764dba78cb93',1,'SVF::InterMSSAPHISVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1InterMSSAPHISVFGNode.html#ac1b291caedbd584d0e37702b682fa440',1,'SVF::InterMSSAPHISVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1DummyVersionPropSVFGNode.html#ac997d06e133d698a5aa29c2af55a624e',1,'SVF::DummyVersionPropSVFGNode::classof(const DummyVersionPropSVFGNode *)'],['../classSVF_1_1DummyVersionPropSVFGNode.html#a684f1f5c9f9f5059127d3024cc5d71e9',1,'SVF::DummyVersionPropSVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1DummyVersionPropSVFGNode.html#aa1ac53d368232b002cdd8f8a91f284da',1,'SVF::DummyVersionPropSVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1ThreadForkEdge.html#a4d2c3601a3fd530d178ec00ee3e1bc5d',1,'SVF::ThreadForkEdge::classof(const ThreadForkEdge *)'],['../classSVF_1_1ThreadForkEdge.html#ae40d52a9080627661aad198adf5f411a',1,'SVF::ThreadForkEdge::classof(const PTACallGraphEdge *edge)'],['../classSVF_1_1ThreadJoinEdge.html#a0fb671c87fecd2fd9c2dab4187a47d37',1,'SVF::ThreadJoinEdge::classof(const ThreadJoinEdge *)'],['../classSVF_1_1ThreadJoinEdge.html#ae4095b55b035bbf42d0a75afada4244d',1,'SVF::ThreadJoinEdge::classof(const PTACallGraphEdge *edge)'],['../classSVF_1_1HareParForEdge.html#ab1dba5dff1e71bce578dc7b0009ba518',1,'SVF::HareParForEdge::classof(const HareParForEdge *)'],['../classSVF_1_1HareParForEdge.html#af9cc260c4a767f9ebd4a454dff4f88be',1,'SVF::HareParForEdge::classof(const PTACallGraphEdge *edge)'],['../classSVF_1_1ThreadCallGraph.html#a4ba42f59f0a6a7ea5b059f6e8df64d89',1,'SVF::ThreadCallGraph::classof(const ThreadCallGraph *)'],['../classSVF_1_1ThreadCallGraph.html#a5d991e4511fc909dc170a4b03e71d77e',1,'SVF::ThreadCallGraph::classof(const PTACallGraph *g)'],['../classSVF_1_1DirectSVFGEdge.html#a200f8722e39d0267cd5d0212871e16bf',1,'SVF::DirectSVFGEdge::classof(const DirectSVFGEdge *)'],['../classSVF_1_1DirectSVFGEdge.html#ade837b89b661ab92b4f852c4a1d07e91',1,'SVF::DirectSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1DirectSVFGEdge.html#a6e8eba3ca95255ce6d370f70ef1af723',1,'SVF::DirectSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1IntraDirSVFGEdge.html#a66c199063471c5b3fcbe6a8cce47a1fe',1,'SVF::IntraDirSVFGEdge::classof(const IntraDirSVFGEdge *)'],['../classSVF_1_1IntraDirSVFGEdge.html#a05f6b2a386ffdc58f89fc9f650a03ce0',1,'SVF::IntraDirSVFGEdge::classof(const DirectSVFGEdge *edge)'],['../classSVF_1_1IntraDirSVFGEdge.html#a6a6a756f3f4d3b8bb162014ad8a013d6',1,'SVF::IntraDirSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1IntraDirSVFGEdge.html#a83ecbb860bb65c348716a7b6eb0eb6e4',1,'SVF::IntraDirSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1CallDirSVFGEdge.html#a977cb840fbed0b89b445a1b7384d3352',1,'SVF::CallDirSVFGEdge::classof(const CallDirSVFGEdge *)'],['../classSVF_1_1CallDirSVFGEdge.html#a9af19b582b2fc0ad587c186bbe1ae3c5',1,'SVF::CallDirSVFGEdge::classof(const DirectSVFGEdge *edge)'],['../classSVF_1_1CallDirSVFGEdge.html#afc2b7f68c04cb9d0140576c8bb4e3527',1,'SVF::CallDirSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1CallDirSVFGEdge.html#ac4459c3e162af07af327a95b63ad24ba',1,'SVF::CallDirSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1RetDirSVFGEdge.html#ae13c787500749e182c7b48d4750fc0bb',1,'SVF::RetDirSVFGEdge::classof(const RetDirSVFGEdge *)'],['../classSVF_1_1RetDirSVFGEdge.html#ad794858b1424836850d55e66376de2c3',1,'SVF::RetDirSVFGEdge::classof(const DirectSVFGEdge *edge)'],['../classSVF_1_1RetDirSVFGEdge.html#a072bfed40d4fc766f107da70428f4872',1,'SVF::RetDirSVFGEdge::classof(const VFGEdge *edge)'],['../classSVF_1_1RetDirSVFGEdge.html#a00d19ac1f96d9d66597d717eea58aeae',1,'SVF::RetDirSVFGEdge::classof(const GenericVFGEdgeTy *edge)'],['../classSVF_1_1StmtVFGNode.html#ade2eb6475fdc3d2fa107c9adf508b72a',1,'SVF::StmtVFGNode::classof(const StmtVFGNode *)'],['../classSVF_1_1StmtVFGNode.html#a07b6320e6b57de790737585ad7e0dfc9',1,'SVF::StmtVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1StmtVFGNode.html#a52b07152246113f9b55a9bcacf92e1b4',1,'SVF::StmtVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1LoadVFGNode.html#a4f8125b671b65b106b82fa7f555a0627',1,'SVF::LoadVFGNode::classof(const LoadVFGNode *)'],['../classSVF_1_1LoadVFGNode.html#a6809c239925254fdf505bd907ce8a773',1,'SVF::LoadVFGNode::classof(const StmtVFGNode *node)'],['../classSVF_1_1LoadVFGNode.html#a9bbb5bb491000f973ab2e2d391105eef',1,'SVF::LoadVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1LoadVFGNode.html#a649006bd37ea9a4e0add926acf6711e7',1,'SVF::LoadVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1StoreVFGNode.html#a61b6a4c05576d942024cc002905d5831',1,'SVF::StoreVFGNode::classof(const StoreVFGNode *)'],['../classSVF_1_1StoreVFGNode.html#acc772ccaec8d50c6c794ddf6433cc8da',1,'SVF::StoreVFGNode::classof(const StmtVFGNode *node)'],['../classSVF_1_1StoreVFGNode.html#a557a5eadd147cae44223a9a9b9f22a0a',1,'SVF::StoreVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1StoreVFGNode.html#a41e8b1729da33dd6572288cab334c0eb',1,'SVF::StoreVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1CopyVFGNode.html#adefcc30434a12173cfbdb05145ff2959',1,'SVF::CopyVFGNode::classof(const CopyVFGNode *)'],['../classSVF_1_1CopyVFGNode.html#af2a5123c24452b533b8cf3c737abfa61',1,'SVF::CopyVFGNode::classof(const StmtVFGNode *node)'],['../classSVF_1_1CopyVFGNode.html#ae9c59423e3f5b86eecd07e4d7f6297eb',1,'SVF::CopyVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1CopyVFGNode.html#a53e14acb8134334f2f8444235ba3dae9',1,'SVF::CopyVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1CmpVFGNode.html#ab1248b063654318677471fb10af16fd7',1,'SVF::CmpVFGNode::classof(const CmpVFGNode *)'],['../classSVF_1_1CmpVFGNode.html#a3230ae3a4a7f10e0486f000b92b87713',1,'SVF::CmpVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1CmpVFGNode.html#add2c095c6ae13c5d7a72f4551c2490a2',1,'SVF::CmpVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1BinaryOPVFGNode.html#a74266197f0ac969746c0be4175e70c17',1,'SVF::BinaryOPVFGNode::classof(const BinaryOPVFGNode *)'],['../classSVF_1_1BinaryOPVFGNode.html#aea93da7b12eec71280459e1c4a41306f',1,'SVF::BinaryOPVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1BinaryOPVFGNode.html#a9da4b2fca555fbb6a1867e9bc4749046',1,'SVF::BinaryOPVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1UnaryOPVFGNode.html#a01a9b0fd0189462e37ff51e232a5cda8',1,'SVF::UnaryOPVFGNode::classof(const UnaryOPVFGNode *)'],['../classSVF_1_1UnaryOPVFGNode.html#a11ff85d796e547f0258ec30cf23b7310',1,'SVF::UnaryOPVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1UnaryOPVFGNode.html#a1aec02a86416e9baf8819086bbb53080',1,'SVF::UnaryOPVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1GepVFGNode.html#a77aa023b0c19e72a1263c63419643241',1,'SVF::GepVFGNode::classof(const GepVFGNode *)'],['../classSVF_1_1GepVFGNode.html#aae7c25ec33e4531778be58c28a0575c4',1,'SVF::GepVFGNode::classof(const StmtVFGNode *node)'],['../classSVF_1_1GepVFGNode.html#aa668a8000407a07937a5f4e4a6bfe31a',1,'SVF::GepVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1GepVFGNode.html#a70e2627cc05920864a97d054b2631985',1,'SVF::GepVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1PHIVFGNode.html#a522b90297d1a34858c9ae830cc24f1aa',1,'SVF::PHIVFGNode::classof(const PHIVFGNode *)'],['../classSVF_1_1PHIVFGNode.html#a4699fc06762e2d2573bbe3c0fd903da4',1,'SVF::PHIVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1PHIVFGNode.html#a1c5073aade64acbac65e8a8add61e231',1,'SVF::PHIVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1IntraPHIVFGNode.html#a30aa2227c1d94c2726d29cdbe800f91e',1,'SVF::IntraPHIVFGNode::classof(const IntraPHIVFGNode *)'],['../classSVF_1_1IntraPHIVFGNode.html#ae8c46b54a0a19b9516829b8ea897b946',1,'SVF::IntraPHIVFGNode::classof(const PHIVFGNode *node)'],['../classSVF_1_1IntraPHIVFGNode.html#a379b6f3452bdc6b5a3913fc7680ef70e',1,'SVF::IntraPHIVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1IntraPHIVFGNode.html#a7b8058dbbb9fc70db5f0de179e7e0196',1,'SVF::IntraPHIVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1AddrVFGNode.html#a5ad9c37ae429e0ac4c4fae224364f177',1,'SVF::AddrVFGNode::classof(const AddrVFGNode *)'],['../classSVF_1_1AddrVFGNode.html#a5510202381d0eb7af55353f8cc3be0d0',1,'SVF::AddrVFGNode::classof(const StmtVFGNode *node)'],['../classSVF_1_1AddrVFGNode.html#a24dde3e1cf8a66736233cd0a8dc91b82',1,'SVF::AddrVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1AddrVFGNode.html#af5ff980dea82f57e146e01d04882abbb',1,'SVF::AddrVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1ArgumentVFGNode.html#ab6179be01a029e52df59480c20a92ef2',1,'SVF::ArgumentVFGNode::classof(const ArgumentVFGNode *)'],['../classSVF_1_1ArgumentVFGNode.html#aef245c92b68e42d5a74bcc98fc026ac2',1,'SVF::ArgumentVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1ArgumentVFGNode.html#a7a81455d628934b84ce30a055a774673',1,'SVF::ArgumentVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1ActualParmVFGNode.html#a5d0c195ba42dc0dd48a360cba326d502',1,'SVF::ActualParmVFGNode::classof(const ActualParmVFGNode *)'],['../classSVF_1_1ActualParmVFGNode.html#abe1fd545e784375dc8da98db6b5869f8',1,'SVF::ActualParmVFGNode::classof(const ArgumentVFGNode *node)'],['../classSVF_1_1ActualParmVFGNode.html#acd3b55d18cb1227f7631df8e4912fdb3',1,'SVF::ActualParmVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1ActualParmVFGNode.html#a7f18a3d0eec50fafd505b8d6f8ebca5d',1,'SVF::ActualParmVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1FormalParmVFGNode.html#af91ecca224b99cd6dd3b9b17ad0d8e6f',1,'SVF::FormalParmVFGNode::classof(const FormalParmVFGNode *)'],['../classSVF_1_1FormalParmVFGNode.html#ae4cac828eec4ac2f55ff9d580c855b34',1,'SVF::FormalParmVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1FormalParmVFGNode.html#ad53fc9b2922c6c0145864bce59991d54',1,'SVF::FormalParmVFGNode::classof(const ArgumentVFGNode *node)'],['../classSVF_1_1FormalParmVFGNode.html#a691dc39c5ed3f3fa1ea518b5ec802c60',1,'SVF::FormalParmVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1ActualRetVFGNode.html#ab814b942e8ba02ed51f11ea6fcadd608',1,'SVF::ActualRetVFGNode::classof(const ActualRetVFGNode *)'],['../classSVF_1_1ActualRetVFGNode.html#a086f5a2156e90eee2ffa846954a79bb3',1,'SVF::ActualRetVFGNode::classof(const ArgumentVFGNode *node)'],['../classSVF_1_1ActualRetVFGNode.html#af3bf2a8f3a9398ec92a3418347af6b1a',1,'SVF::ActualRetVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1ActualRetVFGNode.html#a8aa10464c4295855c22921a6acb4bcda',1,'SVF::ActualRetVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1FormalRetVFGNode.html#af90572e9ac08cb2fffc9c63d51d5a129',1,'SVF::FormalRetVFGNode::classof(const FormalRetVFGNode)'],['../classSVF_1_1FormalRetVFGNode.html#ab5732a6cea2efbd352d1d8330f366f49',1,'SVF::FormalRetVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1FormalRetVFGNode.html#a75f6357396c84bfc08c9b08f95ae6b40',1,'SVF::FormalRetVFGNode::classof(const ArgumentVFGNode *node)'],['../classSVF_1_1FormalRetVFGNode.html#a444f13c4680b3762d0f2a55f98037acb',1,'SVF::FormalRetVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1InterPHIVFGNode.html#af05335676298acd6ad0bf2f445c8105b',1,'SVF::InterPHIVFGNode::classof(const InterPHIVFGNode *)'],['../classSVF_1_1InterPHIVFGNode.html#a9363508afb598d53d0deaedefdd8a01c',1,'SVF::InterPHIVFGNode::classof(const PHIVFGNode *node)'],['../classSVF_1_1InterPHIVFGNode.html#a6e134096deb0f33f8b137d7d16f88ba0',1,'SVF::InterPHIVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1InterPHIVFGNode.html#aae63bc1eb14d56d2f82e12eb1829a7a1',1,'SVF::InterPHIVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1NullPtrVFGNode.html#ad3fb6de5ce7d31e881e95bf60528847d',1,'SVF::NullPtrVFGNode::classof(const NullPtrVFGNode *)'],['../classSVF_1_1NullPtrVFGNode.html#a79b84b61e6e2c967fc3c1b8d9dad41c5',1,'SVF::NullPtrVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1NullPtrVFGNode.html#abd9d77737434262b5bb801ebf9c8e9a8',1,'SVF::NullPtrVFGNode::classof(const GenericVFGNodeTy *node)'],['../classSVF_1_1DiffPTData.html#a09f6aa3d329f8adcd4928344720cff0f',1,'SVF::DiffPTData::classof(const DiffPTData&lt; Key, KeySet, Data, DataSet &gt; *)'],['../classSVF_1_1DiffPTData.html#af182fd3695fee155abac8c2f0c402a17',1,'SVF::DiffPTData::classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)'],['../classSVF_1_1DFPTData.html#a1b09e85de5cc187958dd8fb1aa5edfcd',1,'SVF::DFPTData::classof(const DFPTData&lt; Key, KeySet, Data, DataSet &gt; *)'],['../classSVF_1_1DFPTData.html#abea003e1262f3e03967939e4028694a4',1,'SVF::DFPTData::classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)'],['../classSVF_1_1VersionedPTData.html#a385133d44ac2b5fcef007040da8c2fd6',1,'SVF::VersionedPTData::classof(const VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt; *)'],['../classSVF_1_1VersionedPTData.html#a69ceac8acdf820486a45fc4444f78d04',1,'SVF::VersionedPTData::classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)'],['../classSVF_1_1MutablePTData.html#a589d71ff881e53133e5c688f1c616ab3',1,'SVF::MutablePTData::classof(const MutablePTData&lt; Key, KeySet, Data, DataSet &gt; *)'],['../classSVF_1_1MutablePTData.html#a577a7fce1affd462afeb9fefa4bdb4a8',1,'SVF::MutablePTData::classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)'],['../classSVF_1_1MutableDiffPTData.html#a1b2d520d24a8d19de00e26237e5cd098',1,'SVF::MutableDiffPTData::classof(const MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt; *)'],['../classSVF_1_1MutableDiffPTData.html#af27d457e1905876631bcf74e434257ae',1,'SVF::MutableDiffPTData::classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)'],['../classSVF_1_1MutableDFPTData.html#a5baa6fffedfd0ac356590f9a0b222ee0',1,'SVF::MutableDFPTData::classof(const MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt; *)'],['../classSVF_1_1MutableDFPTData.html#acb338bbe5773001a15b81e596a764222',1,'SVF::MutableDFPTData::classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)'],['../classSVF_1_1MutableIncDFPTData.html#a89f65d37096c82fcdddb1c324ec206d2',1,'SVF::MutableIncDFPTData::classof(const MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt; *)'],['../classSVF_1_1MutableIncDFPTData.html#aa4c262f0d62e902912d4cd7999731d3d',1,'SVF::MutableIncDFPTData::classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)'],['../classSVF_1_1MutableVersionedPTData.html#a6be54447671288a666af5d48972e2ccf',1,'SVF::MutableVersionedPTData::classof(const MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt; *)'],['../classSVF_1_1MutableVersionedPTData.html#a646111552a7112b8e48c00e766ce8d9b',1,'SVF::MutableVersionedPTData::classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)'],['../classSVF_1_1PersistentPTData.html#a174c3cac13c839863171621ea25e609f',1,'SVF::PersistentPTData::classof(const PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; *)'],['../classSVF_1_1PersistentPTData.html#a4e896ec87d07e5b75401de4367d67458',1,'SVF::PersistentPTData::classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)'],['../classSVF_1_1PersistentDiffPTData.html#afb53f0b47cdad94379c3a4895980be9c',1,'SVF::PersistentDiffPTData::classof(const PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt; *)'],['../classSVF_1_1PersistentDiffPTData.html#a4f4b1869210228e9d1b4f3900b41bb88',1,'SVF::PersistentDiffPTData::classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)'],['../classSVF_1_1PersistentDFPTData.html#ad374e8e6ddd5c397bd5ab6cf9b259968',1,'SVF::PersistentDFPTData::classof(const PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt; *)'],['../classSVF_1_1PersistentDFPTData.html#a575a441ddbe233d34937792b66d2b39c',1,'SVF::PersistentDFPTData::classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)'],['../classSVF_1_1PersistentIncDFPTData.html#a656434f7b67aabf25f6dba400d95f2bb',1,'SVF::PersistentIncDFPTData::classof(const PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt; *)'],['../classSVF_1_1PersistentIncDFPTData.html#a47c2fbf8b959aae3166b9757b12880a7',1,'SVF::PersistentIncDFPTData::classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)'],['../classSVF_1_1PersistentVersionedPTData.html#a28a8bf95351e295e65360bf16241a5da',1,'SVF::PersistentVersionedPTData::classof(const PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt; *)'],['../classSVF_1_1PersistentVersionedPTData.html#a1f85475cb6690bb1caa003c5a3aec92f',1,'SVF::PersistentVersionedPTData::classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)'],['../classSVF_1_1BVDataPTAImpl.html#a6ba68138c10d1fbe5be6346c8dfeca74',1,'SVF::BVDataPTAImpl::classof()'],['../classSVF_1_1CondPTAImpl.html#ae76fb767c13ca39baa0fbec55a7780fe',1,'SVF::CondPTAImpl::classof()'],['../classSVF_1_1LoadMU.html#a675192a60c5afa6e1d5f9b7dae5953b5',1,'SVF::LoadMU::classof(const LoadMU *)'],['../classSVF_1_1LoadMU.html#a2b3f73c38c479e05984e01710227e50f',1,'SVF::LoadMU::classof(const MSSAMU&lt; Cond &gt; *mu)'],['../classSVF_1_1CallMU.html#af8a0defe4c5b36893e155a4b074c0f30',1,'SVF::CallMU::classof(const CallMU *)'],['../classSVF_1_1CallMU.html#a27c70bc7543eeb2fcf64f139481d3bf9',1,'SVF::CallMU::classof(const MSSAMU&lt; Cond &gt; *mu)'],['../classSVF_1_1RetMU.html#ace8b780beda75de78d08247335e1738a',1,'SVF::RetMU::classof(const RetMU *)'],['../classSVF_1_1RetMU.html#ae6608c348426d99a5d3963ceaca2eb8b',1,'SVF::RetMU::classof(const MSSAMU&lt; Cond &gt; *mu)'],['../classSVF_1_1MSSACHI.html#a49cf6b7e0cb38acfeb2eb2e1273c506d',1,'SVF::MSSACHI::classof(const MSSACHI *chi)'],['../classSVF_1_1MSSACHI.html#a450055eb758896fb2e3e4f67febe7782',1,'SVF::MSSACHI::classof(const MSSADEF *chi)'],['../classSVF_1_1StoreCHI.html#a66a4ea0b8b61d39a552f7da000732263',1,'SVF::StoreCHI::classof(const StoreCHI *chi)'],['../classSVF_1_1StoreCHI.html#a7a01d165b24d05f0a218c2abfaad8422',1,'SVF::StoreCHI::classof(const MSSACHI&lt; Cond &gt; *chi)'],['../classSVF_1_1StoreCHI.html#a4324f81324dd6d6c6ba6d1af32e29985',1,'SVF::StoreCHI::classof(const MSSADEF *chi)'],['../classSVF_1_1CallCHI.html#a7c0708ad9a2aa6278b1e7404340ca2ad',1,'SVF::CallCHI::classof(const CallCHI *chi)'],['../classSVF_1_1CallCHI.html#a039209d842c18ef9d4a86a5a725a775b',1,'SVF::CallCHI::classof(const MSSACHI&lt; Cond &gt; *chi)'],['../classSVF_1_1CallCHI.html#aeea8fd6c5904874604bb0ced9b080c29',1,'SVF::CallCHI::classof(const MSSADEF *chi)'],['../classSVF_1_1EntryCHI.html#ad9c86f7cf28fe22584b94416803639aa',1,'SVF::EntryCHI::classof(const EntryCHI *chi)'],['../classSVF_1_1EntryCHI.html#a55404375929d591f93d09f5a9e896cf6',1,'SVF::EntryCHI::classof(const MSSACHI&lt; Cond &gt; *chi)'],['../classSVF_1_1EntryCHI.html#aa5ed214cd44d8847c7539c7e3de3d276',1,'SVF::EntryCHI::classof(const MSSADEF *chi)'],['../classSVF_1_1MSSAPHI.html#adab25ebd69f699c019118bc1e099d4f9',1,'SVF::MSSAPHI::classof(const MSSAPHI *phi)'],['../classSVF_1_1MSSAPHI.html#a48d3a719b97991be8ba94149a1d30091',1,'SVF::MSSAPHI::classof(const MSSADEF *phi)'],['../classSVF_1_1TCTEdge.html#a38d3af1f146d4e70574874c7ec28f6f3',1,'SVF::TCTEdge::classof(const TCTEdge *)'],['../classSVF_1_1TCTEdge.html#a13088f28a806a095ede56240b9fa87a2',1,'SVF::TCTEdge::classof(const GenericTCTEdgeTy *edge)'],['../classSVF_1_1CHGraph.html#ae7e9f1a3c524d80c77b2a75f877dc2d6',1,'SVF::CHGraph::classof()'],['../classSVF_1_1DCHGraph.html#af9970ff0ef4a8f4c638da9f519d14a21',1,'SVF::DCHGraph::classof()'],['../classSVF_1_1BranchCondExpr.html#a466d24de131d064a74d53783a6664b5e',1,'SVF::BranchCondExpr::classof(const BranchCondExpr *)'],['../classSVF_1_1BranchCondExpr.html#a410279631ba4a555a6b823be2465b0de',1,'SVF::BranchCondExpr::classof(const CondExpr *cond)'],['../classSVF_1_1SVFValue.html#a1f2c6271dfefc6db685569e6c0cbedf5',1,'SVF::SVFValue::classof()'],['../classSVF_1_1AndersenBase.html#afa4d710b093a6c7a33cb1aef823781f0',1,'SVF::AndersenBase::classof(const AndersenBase *)'],['../classSVF_1_1AndersenBase.html#a0167fa7b59571c07b2cbec08905f6629',1,'SVF::AndersenBase::classof(const PointerAnalysis *pta)'],['../classSVF_1_1Andersen.html#aaec53980b25ed769fa9a985860f810b5',1,'SVF::Andersen::classof(const Andersen *)'],['../classSVF_1_1Andersen.html#a60214d7c6c9aac8e498644b048660ab9',1,'SVF::Andersen::classof(const PointerAnalysis *pta)'],['../classSVF_1_1FlowSensitive.html#ac76934c9ba15742e470a785af54bd958',1,'SVF::FlowSensitive::classof(const FlowSensitive *)'],['../classSVF_1_1FlowSensitive.html#a12dea7b6057daddcc5c0d975aebf3f11',1,'SVF::FlowSensitive::classof(const PointerAnalysis *pta)'],['../classSVF_1_1FlowSensitiveTBHC.html#afe46af7ca4f735e500b35f4f4bb8d910',1,'SVF::FlowSensitiveTBHC::classof(const FlowSensitiveTBHC *)'],['../classSVF_1_1FlowSensitiveTBHC.html#a0b213f9c4011642309c550503802dad5',1,'SVF::FlowSensitiveTBHC::classof(const PointerAnalysis *pta)'],['../classSVF_1_1Steensgaard.html#a7e7493bd144746edb4fbe1292e8ba55f',1,'SVF::Steensgaard::classof(const Steensgaard *)'],['../classSVF_1_1Steensgaard.html#acfd677c395809baea0a32f59646beb0f',1,'SVF::Steensgaard::classof(const AndersenBase *pta)'],['../classSVF_1_1Steensgaard.html#a69daef869bfaaf0dfa2dccaf575dd9a0',1,'SVF::Steensgaard::classof(const PointerAnalysis *pta)'],['../classSVF_1_1TypeAnalysis.html#ae14733ac9763b07a84ed9b5e297badf3',1,'SVF::TypeAnalysis::classof(const TypeAnalysis *)'],['../classSVF_1_1TypeAnalysis.html#a62f4d86457baa516e0fc5db0721dab5f',1,'SVF::TypeAnalysis::classof(const PointerAnalysis *pta)'],['../classSVF_1_1VersionedFlowSensitive.html#afd1e0d4445e1e50e95f816e51f8de3c8',1,'SVF::VersionedFlowSensitive::classof(const VersionedFlowSensitive *)'],['../classSVF_1_1VersionedFlowSensitive.html#abe1874f12ba05b4f453604c6d91598d6',1,'SVF::VersionedFlowSensitive::classof(const PointerAnalysis *pta)']]],
   ['cleanconscg',['cleanConsCG',['../classSVF_1_1AndersenBase.html#aebfe0c7238eb24f74f105b950b86cb5e',1,'SVF::AndersenBase']]],
   ['cleanlcdcandidate',['cleanLCDCandidate',['../classSVF_1_1AndersenLCD.html#ab58bd928fbfcc56344dcaf82a9c360a2',1,'SVF::AndersenLCD']]],
-  ['clear',['clear',['../classSVF_1_1SVFGStat.html#a737352ac44d808c55a91e8bd5e9e0aac',1,'SVF::SVFGStat::clear()'],['../classSVF_1_1PTData.html#ad45879017d8fdeedc987ce35c4eba1a5',1,'SVF::PTData::clear()'],['../classSVF_1_1CondStdSet.html#a4c49e2964276825744ffce26fc43ec36',1,'SVF::CondStdSet::clear()'],['../classSVF_1_1CondPointsToSet.html#ad81774f0ad13fb21579180fc15affd7b',1,'SVF::CondPointsToSet::clear()'],['../classSVF_1_1MutablePTData.html#ac8da1a3357c3bc529f6ca85615486951',1,'SVF::MutablePTData::clear()'],['../classSVF_1_1MutableDiffPTData.html#a8ae9624ac7fb1502eaa43173dacbe7b7',1,'SVF::MutableDiffPTData::clear()'],['../classSVF_1_1MutableDFPTData.html#a446112803c54ca937f8b85e42a4a1381',1,'SVF::MutableDFPTData::clear()'],['../classSVF_1_1MutableVersionedPTData.html#ab476e1b59aead37b440fd5735df3814b',1,'SVF::MutableVersionedPTData::clear()'],['../classSVF_1_1PersistentPTData.html#abf836f1b063b869215c7e9b53b013d3f',1,'SVF::PersistentPTData::clear()'],['../classSVF_1_1PersistentDiffPTData.html#a10504f854b1b390818f8ee12182d857c',1,'SVF::PersistentDiffPTData::clear()'],['../classSVF_1_1PersistentDFPTData.html#ab070b1baa6a01800edac36dc075107fd',1,'SVF::PersistentDFPTData::clear()'],['../classSVF_1_1PersistentIncDFPTData.html#a5e8036d18088ed272ab052b5cd6ef1ce',1,'SVF::PersistentIncDFPTData::clear()'],['../classSVF_1_1PersistentVersionedPTData.html#ac563829c0d6d091c905bfe16580ceb47',1,'SVF::PersistentVersionedPTData::clear()'],['../classSVF_1_1PointsTo.html#acb5af4139d42dcd19c6327520f074e91',1,'SVF::PointsTo::clear()'],['../classSVF_1_1CoreBitVector.html#a1e523bab1013a9f3e9eaea56e53afa58',1,'SVF::CoreBitVector::clear()'],['../classSVF_1_1SCCDetection.html#a3323ba77ae690533a0edcaebe82e20f5',1,'SVF::SCCDetection::clear()'],['../classSVF_1_1FIFOWorkList.html#a29d9fec1ea7b8e5456342522eea403ad',1,'SVF::FIFOWorkList::clear()'],['../classSVF_1_1FILOWorkList.html#a97265eb340b48436c39f77f4095693fb',1,'SVF::FILOWorkList::clear()'],['../classSVF_1_1CSC.html#ac531556d88bedad2717aacc6575bfedd',1,'SVF::CSC::clear()']]],
+  ['clear',['clear',['../classSVF_1_1SVFGStat.html#a737352ac44d808c55a91e8bd5e9e0aac',1,'SVF::SVFGStat::clear()'],['../classSVF_1_1PTData.html#ad45879017d8fdeedc987ce35c4eba1a5',1,'SVF::PTData::clear()'],['../classSVF_1_1CondStdSet.html#a4c49e2964276825744ffce26fc43ec36',1,'SVF::CondStdSet::clear()'],['../classSVF_1_1CondPointsToSet.html#ad81774f0ad13fb21579180fc15affd7b',1,'SVF::CondPointsToSet::clear()'],['../classSVF_1_1MutablePTData.html#ac8da1a3357c3bc529f6ca85615486951',1,'SVF::MutablePTData::clear()'],['../classSVF_1_1MutableDiffPTData.html#a8ae9624ac7fb1502eaa43173dacbe7b7',1,'SVF::MutableDiffPTData::clear()'],['../classSVF_1_1MutableDFPTData.html#a446112803c54ca937f8b85e42a4a1381',1,'SVF::MutableDFPTData::clear()'],['../classSVF_1_1MutableVersionedPTData.html#ab476e1b59aead37b440fd5735df3814b',1,'SVF::MutableVersionedPTData::clear()'],['../classSVF_1_1PersistentPointsToCache.html#ae9017daca63227066bb1be6dedef8b0f',1,'SVF::PersistentPointsToCache::clear()'],['../classSVF_1_1PersistentPTData.html#abf836f1b063b869215c7e9b53b013d3f',1,'SVF::PersistentPTData::clear()'],['../classSVF_1_1PersistentDiffPTData.html#a10504f854b1b390818f8ee12182d857c',1,'SVF::PersistentDiffPTData::clear()'],['../classSVF_1_1PersistentDFPTData.html#ab070b1baa6a01800edac36dc075107fd',1,'SVF::PersistentDFPTData::clear()'],['../classSVF_1_1PersistentIncDFPTData.html#a5e8036d18088ed272ab052b5cd6ef1ce',1,'SVF::PersistentIncDFPTData::clear()'],['../classSVF_1_1PersistentVersionedPTData.html#ac563829c0d6d091c905bfe16580ceb47',1,'SVF::PersistentVersionedPTData::clear()'],['../classSVF_1_1PointsTo.html#acb5af4139d42dcd19c6327520f074e91',1,'SVF::PointsTo::clear()'],['../classSVF_1_1CoreBitVector.html#a1e523bab1013a9f3e9eaea56e53afa58',1,'SVF::CoreBitVector::clear()'],['../classSVF_1_1SCCDetection.html#a3323ba77ae690533a0edcaebe82e20f5',1,'SVF::SCCDetection::clear()'],['../classSVF_1_1FIFOWorkList.html#a29d9fec1ea7b8e5456342522eea403ad',1,'SVF::FIFOWorkList::clear()'],['../classSVF_1_1FILOWorkList.html#a97265eb340b48436c39f77f4095693fb',1,'SVF::FILOWorkList::clear()'],['../classSVF_1_1CSC.html#ac531556d88bedad2717aacc6575bfedd',1,'SVF::CSC::clear()']]],
   ['clearalldfoutupdatedvar',['clearAllDFOutUpdatedVar',['../classSVF_1_1DFPTData.html#ac20579e277a284158e2924fb5946cd86',1,'SVF::DFPTData::clearAllDFOutUpdatedVar()'],['../classSVF_1_1MutableDFPTData.html#a43a45997f6147245fe8a552b42f3f632',1,'SVF::MutableDFPTData::clearAllDFOutUpdatedVar()'],['../classSVF_1_1MutableIncDFPTData.html#ac9ff175dbdf75232a104e2aa34f87d43',1,'SVF::MutableIncDFPTData::clearAllDFOutUpdatedVar()'],['../classSVF_1_1PersistentDFPTData.html#ad7a4b3c68c4b8b70268ee7c919c624d5',1,'SVF::PersistentDFPTData::clearAllDFOutUpdatedVar()'],['../classSVF_1_1PersistentIncDFPTData.html#a815a7c54c1533f16c3efd0796044afc2',1,'SVF::PersistentIncDFPTData::clearAllDFOutUpdatedVar()']]],
   ['clearalldfoutvarflag',['clearAllDFOutVarFlag',['../classSVF_1_1FlowSensitive.html#a9622f0b7b16694b0c74b07834f598e67',1,'SVF::FlowSensitive']]],
   ['clearallpts',['clearAllPts',['../classSVF_1_1BVDataPTAImpl.html#a4426df37aeabeb94d301373b55a53c20',1,'SVF::BVDataPTAImpl']]],
@@ -221,7 +221,7 @@ var searchData=
   ['collapsenodepts',['collapseNodePts',['../classSVF_1_1Andersen.html#a3f0048155f0b3a6899dac6f30553aa9e',1,'SVF::Andersen']]],
   ['collapsepwcnode',['collapsePWCNode',['../classSVF_1_1Andersen.html#ae79bff0e9c49f15e7db00ed605824d98',1,'SVF::Andersen::collapsePWCNode()'],['../classSVF_1_1WPASolver.html#a138b403af0370ad6fdf8cc6af0530392',1,'SVF::WPASolver::collapsePWCNode()']]],
   ['collapsetime',['CollapseTime',['../classSVF_1_1AndersenStat.html#a3f5739454b1f4e03b4388a4ba5730e15',1,'SVF::AndersenStat']]],
-  ['collectarrayinfo',['collectArrayInfo',['../classSVF_1_1SymbolTableInfo.html#aea1c4ec32c307feb5da455a41cc51b5e',1,'SVF::SymbolTableInfo::collectArrayInfo()'],['../classSVF_1_1LocSymTableInfo.html#a45b52cb8f8634ecf8bfb33f8e71bb82f',1,'SVF::LocSymTableInfo::collectArrayInfo()']]],
+  ['collectarrayinfo',['collectArrayInfo',['../classSVF_1_1SymbolTableInfo.html#aea1c4ec32c307feb5da455a41cc51b5e',1,'SVF::SymbolTableInfo']]],
   ['collectbbcallingprogexit',['collectBBCallingProgExit',['../classSVF_1_1PathCondAllocator.html#a391cb347cf98f33c261e59975900048e',1,'SVF::PathCondAllocator']]],
   ['collectcallsitepts',['collectCallSitePts',['../classSVF_1_1MRGenerator.html#ac43b3f895efd160c7dd5860c0dfd1625',1,'SVF::MRGenerator']]],
   ['collectcallsitetargets',['collectCallsiteTargets',['../classSVF_1_1MTAResultValidator.html#a1fc4116b134aa87420d055b193208e68',1,'SVF::MTAResultValidator']]],
@@ -243,22 +243,22 @@ var searchData=
   ['collectmodrefforcall',['collectModRefForCall',['../classSVF_1_1MRGenerator.html#a502f8379620378b36bc12d9a91b408d2',1,'SVF::MRGenerator']]],
   ['collectmodrefforloadstore',['collectModRefForLoadStore',['../classSVF_1_1MRGenerator.html#a207dfa4c9f044764665478142c6e6b22',1,'SVF::MRGenerator']]],
   ['collectmultiforkedthreads',['collectMultiForkedThreads',['../classSVF_1_1TCT.html#ad15753a9c20d738325e5c0edea6c9c56',1,'SVF::TCT']]],
-  ['collectobj',['collectObj',['../classSVF_1_1SymbolTableInfo.html#af639e9bc59f5fb9a6bf1748ef0d07d5e',1,'SVF::SymbolTableInfo']]],
+  ['collectobj',['collectObj',['../classSVF_1_1MemModelBuilder.html#a65811b9e59b29598fdac5e33ef2bc682',1,'SVF::MemModelBuilder']]],
   ['collectptschain',['CollectPtsChain',['../classSVF_1_1MRGenerator.html#a81bd687d34eea884dfcf68274fcec7b5',1,'SVF::MRGenerator::CollectPtsChain()'],['../classSVF_1_1SaberSVFGBuilder.html#a411e168e2a6c27e15186c609c5e216b3',1,'SVF::SaberSVFGBuilder::CollectPtsChain()']]],
   ['collectregdefs',['collectRegDefs',['../classSVF_1_1MemSSA.html#a7c0bb1406f0e583c38e522ca06dfa73a',1,'SVF::MemSSA']]],
   ['collectreguses',['collectRegUses',['../classSVF_1_1MemSSA.html#a8032c530b44e264544881d53d2fac390',1,'SVF::MemSSA']]],
-  ['collectret',['collectRet',['../classSVF_1_1SymbolTableInfo.html#ae4a7d078322e99af965193c82b357239',1,'SVF::SymbolTableInfo']]],
+  ['collectret',['collectRet',['../classSVF_1_1MemModelBuilder.html#abb2767754c1640be1b88e26c2cd827af',1,'SVF::MemModelBuilder']]],
   ['collectscevinfo',['collectSCEVInfo',['../classSVF_1_1ForkJoinAnalysis.html#a731ece7e21bfa2b08ae16780b55f9f5f',1,'SVF::ForkJoinAnalysis']]],
   ['collectsimpletypeinfo',['collectSimpleTypeInfo',['../classSVF_1_1SymbolTableInfo.html#abf7567c655499d6744de8df689c11fad',1,'SVF::SymbolTableInfo']]],
   ['collectspawnees',['collectSpawnees',['../classSVF_1_1PCG.html#a8cff88e2a6cee5f655e491f9f2967460',1,'SVF::PCG']]],
   ['collectspawners',['collectSpawners',['../classSVF_1_1PCG.html#aef06745128e4e99c8e3bab226a337041',1,'SVF::PCG']]],
-  ['collectstructinfo',['collectStructInfo',['../classSVF_1_1SymbolTableInfo.html#ab5297b79a02d8afce647a8b61bdab804',1,'SVF::SymbolTableInfo::collectStructInfo()'],['../classSVF_1_1LocSymTableInfo.html#aedca0dbfb8641cefe68d547e3f4d62e8',1,'SVF::LocSymTableInfo::collectStructInfo()']]],
-  ['collectsym',['collectSym',['../classSVF_1_1SymbolTableInfo.html#a7c422651a6cb299b0c94a2e4597fbe7c',1,'SVF::SymbolTableInfo']]],
+  ['collectstructinfo',['collectStructInfo',['../classSVF_1_1SymbolTableInfo.html#ab5297b79a02d8afce647a8b61bdab804',1,'SVF::SymbolTableInfo']]],
+  ['collectsym',['collectSym',['../classSVF_1_1MemModelBuilder.html#ae87426d038c76ccdbb12f2b7d5d09173',1,'SVF::MemModelBuilder']]],
   ['collecttcttargets',['collectTCTTargets',['../classSVF_1_1MTAResultValidator.html#abdf31e8fca824b56a53788de525042a6',1,'SVF::MTAResultValidator']]],
   ['collecttypeinfo',['collectTypeInfo',['../classSVF_1_1SymbolTableInfo.html#aa99cab5480116905dd41ab0ad24b9462',1,'SVF::SymbolTableInfo']]],
-  ['collectval',['collectVal',['../classSVF_1_1SymbolTableInfo.html#a135ec0f7574d4bcb4bc411ce5775f1f5',1,'SVF::SymbolTableInfo']]],
+  ['collectval',['collectVal',['../classSVF_1_1MemModelBuilder.html#af2660d3b74dd474823ae13e83e00d1f7',1,'SVF::MemModelBuilder']]],
   ['collectvalidationtargets',['collectValidationTargets',['../classSVF_1_1RaceResultValidator.html#adb3030fc7514506e2592e11898217375',1,'SVF::RaceResultValidator']]],
-  ['collectvararg',['collectVararg',['../classSVF_1_1SymbolTableInfo.html#ae1fe33260d2a2d21f2c33aaf1b58fee3',1,'SVF::SymbolTableInfo']]],
+  ['collectvararg',['collectVararg',['../classSVF_1_1MemModelBuilder.html#ad7503ed106b59f2efb3d36bf3ac83c72',1,'SVF::MemModelBuilder']]],
   ['collectwpanum',['collectWPANum',['../classSVF_1_1DDAClient.html#a76b4c50a1051ff7c0b162b55473de028',1,'SVF::DDAClient']]],
   ['commonchg_2eh',['CommonCHG.h',['../CommonCHG_8h.html',1,'']]],
   ['commonchgraph',['CommonCHGraph',['../classSVF_1_1CommonCHGraph.html',1,'SVF']]],
@@ -269,7 +269,7 @@ var searchData=
   ['computed',['computed',['../cuddInt_8c.html#a40cfa3fddea607393205b428c33f032a',1,'cuddInt.c']]],
   ['computeddapts',['computeDDAPts',['../classSVF_1_1ContextDDA.html#a337eb89cc5f31741ad8d840d9f284ca5',1,'SVF::ContextDDA::computeDDAPts(NodeID id) override'],['../classSVF_1_1ContextDDA.html#ae0f3b07267ded5f0ee879c39effff864',1,'SVF::ContextDDA::computeDDAPts(const CxtVar &amp;cxtVar)'],['../classSVF_1_1FlowDDA.html#a113faa56ee75eff39da19fd4b47a47e0',1,'SVF::FlowDDA::computeDDAPts()'],['../classSVF_1_1PointerAnalysis.html#a0bb90b398ef85504bcd816ae57bee01d',1,'SVF::PointerAnalysis::computeDDAPts()']]],
   ['computediffpts',['computeDiffPts',['../classSVF_1_1DiffPTData.html#a6eab8e1201083ed8705379e100cfb3b7',1,'SVF::DiffPTData::computeDiffPts()'],['../classSVF_1_1MutableDiffPTData.html#ac97bd53101f306c46ab4349a808f67c9',1,'SVF::MutableDiffPTData::computeDiffPts()'],['../classSVF_1_1PersistentDiffPTData.html#ae42379dbabbd66dfd91e305673788ed3',1,'SVF::PersistentDiffPTData::computeDiffPts()'],['../classSVF_1_1Andersen.html#a7e26ac6fb40684694f7ff2aadfde8bc7',1,'SVF::Andersen::computeDiffPts()'],['../classSVF_1_1AndersenWaveDiffWithType.html#a96c316aff7fa595ddaca317f7a877398',1,'SVF::AndersenWaveDiffWithType::computeDiffPts()']]],
-  ['computegepoffset',['computeGepOffset',['../classSVF_1_1PAGBuilder.html#a5cedcedab00c875ba392da281de7f5f2',1,'SVF::PAGBuilder::computeGepOffset()'],['../classSVF_1_1SymbolTableInfo.html#a86b742ca197b3505b3246d6bed2484db',1,'SVF::SymbolTableInfo::computeGepOffset()'],['../classSVF_1_1LocSymTableInfo.html#a4aa6bf984692e879ad12806d35a6d2be',1,'SVF::LocSymTableInfo::computeGepOffset()']]],
+  ['computegepoffset',['computeGepOffset',['../classSVF_1_1PAGBuilder.html#a5cedcedab00c875ba392da281de7f5f2',1,'SVF::PAGBuilder::computeGepOffset()'],['../classSVF_1_1SymbolTableInfo.html#a86b742ca197b3505b3246d6bed2484db',1,'SVF::SymbolTableInfo::computeGepOffset()']]],
   ['computeintercallvfgguard',['ComputeInterCallVFGGuard',['../classSVF_1_1PathCondAllocator.html#a9c3361e3f37d640b177c3955f3c3667f',1,'SVF::PathCondAllocator::ComputeInterCallVFGGuard()'],['../classSVF_1_1ProgSlice.html#ae6ca91373bb2a5c2ddc3b20feb630fe6',1,'SVF::ProgSlice::ComputeInterCallVFGGuard()']]],
   ['computeinterretvfgguard',['ComputeInterRetVFGGuard',['../classSVF_1_1PathCondAllocator.html#a5015e36d00ac59ef2b832019b8f922f5',1,'SVF::PathCondAllocator::ComputeInterRetVFGGuard()'],['../classSVF_1_1ProgSlice.html#a0e1c3e7936361a27e876fa1a0678e6c5',1,'SVF::ProgSlice::ComputeInterRetVFGGuard()']]],
   ['computeintersections',['computeIntersections',['../classSVF_1_1IntraDisjointMRG.html#adb3ed119aee3f1bc62b9679ee095580d',1,'SVF::IntraDisjointMRG']]],
@@ -431,6 +431,7 @@ var searchData=
   ['createmr',['createMR',['../classSVF_1_1MRGenerator.html#ac18324bd2b862c3cdbf65494bf69ecb5',1,'SVF::MRGenerator']]],
   ['createmuchi',['createMUCHI',['../classSVF_1_1MemSSA.html#a695adf83e8c40b9628b1866053f68033',1,'SVF::MemSSA']]],
   ['createnode',['createNode',['../classSVF_1_1CHGraph.html#a39a7a8f6a4b9bb03523f190ce7b91e58',1,'SVF::CHGraph']]],
+  ['createobjtypeinfo',['createObjTypeInfo',['../classSVF_1_1MemModelBuilder.html#a25943b60f7b6beada54bd49369086c49',1,'SVF::MemModelBuilder::createObjTypeInfo()'],['../classSVF_1_1SymbolTableInfo.html#a76971ba9b579907ef937cd7adda89562',1,'SVF::SymbolTableInfo::createObjTypeInfo()']]],
   ['createrefnode',['createRefNode',['../classSVF_1_1OfflineConsG.html#a984e82f3185be03b8d1cb942685b2010',1,'SVF::OfflineConsG']]],
   ['createsteensgaard',['createSteensgaard',['../classSVF_1_1Steensgaard.html#a33714348b5ed79d579039014f3092b87',1,'SVF::Steensgaard']]],
   ['createvfswpa',['createVFSWPA',['../classSVF_1_1VersionedFlowSensitive.html#ab7b98127319bac71bd84652e622b5958',1,'SVF::VersionedFlowSensitive']]],

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

@@ -67,7 +67,7 @@ var searchData=
   ['enablethreadcallgraph',['EnableThreadCallGraph',['../classSVF_1_1Options.html#a153d42a480ef1763ad59fd7258ac3ac5',1,'SVF::Options']]],
   ['end',['end',['../classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d',1,'SVF::GenericGraph::end()'],['../classSVF_1_1GenericGraph.html#a3001af3746d26b7dc0a212db5e48a4bb',1,'SVF::GenericGraph::end() const'],['../classSVF_1_1CondStdSet.html#a93c232ef7e5dea652622da7f994e1dc3',1,'SVF::CondStdSet::end()'],['../classSVF_1_1CondStdSet.html#accc5305781696701c00245ed1e8a25a3',1,'SVF::CondStdSet::end() const'],['../classSVF_1_1CondPointsToSet.html#a5ead697952ada3fbb07da3459a2b1b86',1,'SVF::CondPointsToSet::end()'],['../classSVF_1_1CondPointsToSet.html#a537890d918d23abeea39bc73198f7365',1,'SVF::CondPointsToSet::end() const'],['../classSVF_1_1PointsTo.html#a8f741cdffbf3c5fe0f602cdca677dee6',1,'SVF::PointsTo::end()'],['../classSVF_1_1TypeSet.html#acc97e569aacfe626a501d34d84d4d860',1,'SVF::TypeSet::end()'],['../classSVF_1_1TypeSet.html#a6687c5c175d601b2f1ddab8aac0bdf4e',1,'SVF::TypeSet::end() const'],['../classSVF_1_1TypeSystem.html#a8c8733d3ab9a28a25d9886ee97c3341f',1,'SVF::TypeSystem::end()'],['../classSVF_1_1TypeSystem.html#a3c0e2a090705c1f6a67b36ee4c607b9d',1,'SVF::TypeSystem::end() const'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a4f13b7cccd69bdac2a4f5feff5625f01',1,'llvm::generic_bridge_gep_type_iterator::end()'],['../classSVF_1_1CoreBitVector.html#a93cdd9890522cc9fee2451567e0b1f0d',1,'SVF::CoreBitVector::end()'],['../classSVF_1_1ContextCond.html#a4b56b54896a1241032d7614309829399',1,'SVF::ContextCond::end()'],['../classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31',1,'SVF::SVFModule::end()'],['../classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc',1,'SVF::SVFModule::end() const']]],
   ['endclk',['endClk',['../classSVF_1_1PTAStat.html#afe854f7416ea408104721a083ee9fee0',1,'SVF::PTAStat']]],
-  ['endsymbolallocation',['endSymbolAllocation',['../classSVF_1_1NodeIDAllocator.html#ae42c5bb7db4d2142adc2e7e904eb36c7',1,'SVF::NodeIDAllocator']]],
+  ['endsymbolallocation',['endSymbolAllocation',['../classSVF_1_1NodeIDAllocator.html#a92b053f79cfa1259603836cb0aacad7d',1,'SVF::NodeIDAllocator']]],
   ['endtime',['endTime',['../classSVF_1_1PTAStat.html#a267ba4aac2e7ceb65f008f9486d3d9f7',1,'SVF::PTAStat']]],
   ['entry',['entry',['../structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35',1,'st_generator::entry()'],['../cuddInt_8c.html#a936a27e51e66afb57c2b3a12d78a238e',1,'entry():&#160;cuddInt.c']]],
   ['entrychi',['EntryCHI',['../classSVF_1_1EntryCHI.html',1,'SVF::EntryCHI&lt; Cond &gt;'],['../classSVF_1_1SVFG.html#a101c5a8b31baf5c5613144f6e277abe9',1,'SVF::SVFG::ENTRYCHI()'],['../classSVF_1_1MemSSA.html#a6a20da24d82ace1888be49a2ae0f6bd5',1,'SVF::MemSSA::ENTRYCHI()'],['../classSVF_1_1EntryCHI.html#a0ba7181ad2a793bf11e40b7c7092e28b',1,'SVF::EntryCHI::EntryCHI()']]],

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

@@ -167,7 +167,7 @@ var searchData=
   ['funtoargslistmap',['FunToArgsListMap',['../classSVF_1_1PAG.html#a11b3e5d1aacf8a199b4ad35ce8cbca04',1,'SVF::PAG']]],
   ['funtocallgraphnodemap',['FunToCallGraphNodeMap',['../classSVF_1_1PTACallGraph.html#a049bc978a93f0db1fe91efb6feb22b14',1,'SVF::PTACallGraph::FunToCallGraphNodeMap()'],['../classSVF_1_1PTACallGraph.html#a97986d6e6732c78b04cc053f0e9d1367',1,'SVF::PTACallGraph::funToCallGraphNodeMap()']]],
   ['funtodtmap',['FunToDTMap',['../classSVF_1_1PTACFInfoBuilder.html#a69109de5fddf4042037bc6d66563a9e5',1,'SVF::PTACFInfoBuilder::FunToDTMap()'],['../classSVF_1_1PTACFInfoBuilder.html#a99580fd5a2cc7185d26198c53efe422d',1,'SVF::PTACFInfoBuilder::funToDTMap()']]],
-  ['funtoentrychisetmap',['funToEntryChiSetMap',['../classSVF_1_1MemSSA.html#a59314f6ce17919574d687a08a38b55ec',1,'SVF::MemSSA::funToEntryChiSetMap()'],['../classSVF_1_1MemSSA.html#ac34aa1ac96600bfc27b3c2eb0b1510ca',1,'SVF::MemSSA::FunToEntryChiSetMap()']]],
+  ['funtoentrychisetmap',['FunToEntryChiSetMap',['../classSVF_1_1MemSSA.html#ac34aa1ac96600bfc27b3c2eb0b1510ca',1,'SVF::MemSSA::FunToEntryChiSetMap()'],['../classSVF_1_1MemSSA.html#a59314f6ce17919574d687a08a38b55ec',1,'SVF::MemSSA::funToEntryChiSetMap()']]],
   ['funtoexitbbsmap',['FunToExitBBsMap',['../classSVF_1_1PathCondAllocator.html#a0753fb35cb8fd37cfe8fd795d01e5275',1,'SVF::PathCondAllocator::FunToExitBBsMap()'],['../classSVF_1_1PathCondAllocator.html#ad35f1bdb406a85c5bfdcbbc15642853b',1,'SVF::PathCondAllocator::funToExitBBsMap()']]],
   ['funtoformalinmap',['funToFormalINMap',['../classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd',1,'SVF::SVFG']]],
   ['funtoformaloutmap',['funToFormalOUTMap',['../classSVF_1_1SVFG.html#a7d58f9fe97071ec9936174689cb99301',1,'SVF::SVFG']]],

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

@@ -462,7 +462,7 @@ var searchData=
   ['getmoduleidentifier',['getModuleIdentifier',['../classSVF_1_1SVFModule.html#aa8bab1ad6cab332fe24066b9cf487344',1,'SVF::SVFModule']]],
   ['getmodulenum',['getModuleNum',['../classSVF_1_1LLVMModuleSet.html#ae265a7f3cc7367d62013e0f15cf3d233',1,'SVF::LLVMModuleSet']]],
   ['getmoduleref',['getModuleRef',['../classSVF_1_1LLVMModuleSet.html#ad647d73d2e1bda61348eff658e32f481',1,'SVF::LLVMModuleSet']]],
-  ['getmodulusoffset',['getModulusOffset',['../classSVF_1_1SymbolTableInfo.html#a480a7565dcb5d9a94f4b0ffb44b127ee',1,'SVF::SymbolTableInfo::getModulusOffset()'],['../classSVF_1_1LocSymTableInfo.html#a81763320f531da09014b4f5019dc8144',1,'SVF::LocSymTableInfo::getModulusOffset()']]],
+  ['getmodulusoffset',['getModulusOffset',['../classSVF_1_1SymbolTableInfo.html#a480a7565dcb5d9a94f4b0ffb44b127ee',1,'SVF::SymbolTableInfo']]],
   ['getmr',['getMR',['../classSVF_1_1MRGenerator.html#a55d38020bbece70847f7e72bb02bc4af',1,'SVF::MRGenerator::getMR()'],['../classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825',1,'SVF::MRVer::getMR()'],['../classSVF_1_1MSSAMU.html#a6bd671839ec0376439ccd81d5b2eff30',1,'SVF::MSSAMU::getMR()'],['../classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c',1,'SVF::MSSADEF::getMR()']]],
   ['getmrgenerator',['getMRGenerator',['../classSVF_1_1MemSSA.html#ab2dfdcf6fb50ba6cacad1254350a5b09',1,'SVF::MemSSA']]],
   ['getmrid',['getMRID',['../classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802',1,'SVF::MemRegion']]],
@@ -505,7 +505,7 @@ var searchData=
   ['getobjectnode',['getObjectNode',['../classSVF_1_1PAG.html#a9e35f1d6a30c6200fb3c0c43ba4f36cb',1,'SVF::PAG::getObjectNode(const Value *V)'],['../classSVF_1_1PAG.html#a12be35fbe2d830fb23fd0173eb66c108',1,'SVF::PAG::getObjectNode(const MemObj *mem)'],['../classSVF_1_1PAGBuilder.html#a442ca853e750396d088aa736cc39356f',1,'SVF::PAGBuilder::getObjectNode()']]],
   ['getobjectnodenum',['getObjectNodeNum',['../classSVF_1_1PAG.html#afe02872115f15623178cb1ed8f737992',1,'SVF::PAG']]],
   ['getobjectnodes',['getObjectNodes',['../classSVF_1_1ExternalPAG.html#acb3156be31f4dd45590d931b0f9279f5',1,'SVF::ExternalPAG']]],
-  ['getobjsize',['getObjSize',['../classSVF_1_1ObjTypeInfo.html#a9208f6856f2554a6d3a2745a2b7a366c',1,'SVF::ObjTypeInfo::getObjSize()'],['../classSVF_1_1LocObjTypeInfo.html#a9c859cb40a6e02f0a7fd18d5c826b990',1,'SVF::LocObjTypeInfo::getObjSize()']]],
+  ['getobjsize',['getObjSize',['../classSVF_1_1MemModelBuilder.html#a5e423694e9c1400d805b5c08b0ea7abc',1,'SVF::MemModelBuilder']]],
   ['getobjswithclones',['getObjsWithClones',['../classSVF_1_1TypeBasedHeapCloning.html#ad1c67da3aac128ca8a69907fdad53fcd',1,'SVF::TypeBasedHeapCloning']]],
   ['getobjsym',['getObjSym',['../classSVF_1_1SymbolTableInfo.html#afca5a68d1825326e3ec6302ce0afee66',1,'SVF::SymbolTableInfo']]],
   ['getocgrep',['getOCGRep',['../classSVF_1_1OfflineConsG.html#a3f390900ee8761055c6d59107bc0ad27',1,'SVF::OfflineConsG']]],

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

@@ -9,7 +9,7 @@ var searchData=
   ['handlecall',['handleCall',['../classSVF_1_1LockAnalysis.html#a97b186f9417144557bb17c41d515a9f4',1,'SVF::LockAnalysis::handleCall()'],['../classSVF_1_1MHP.html#af769afe6ba6baccda5a497df181c9fb0',1,'SVF::MHP::handleCall()'],['../classSVF_1_1ForkJoinAnalysis.html#ab636777379aca0b53a06e4888d4b4c6b',1,'SVF::ForkJoinAnalysis::handleCall()']]],
   ['handlecallrelation',['handleCallRelation',['../classSVF_1_1LockAnalysis.html#ab99ef73905f35d4c20ca408586fc8680',1,'SVF::LockAnalysis::handleCallRelation()'],['../classSVF_1_1TCT.html#aac0c4c3f1c7cb1d89ebd2a3da2d49bd3',1,'SVF::TCT::handleCallRelation()']]],
   ['handlecallsitemodref',['handleCallsiteModRef',['../classSVF_1_1MRGenerator.html#a123a2ea51b04f1398b9ee66567f5014a',1,'SVF::MRGenerator']]],
-  ['handlece',['handleCE',['../classSVF_1_1SymbolTableInfo.html#ad92842613ac245ad06875a012a5549ab',1,'SVF::SymbolTableInfo']]],
+  ['handlece',['handleCE',['../classSVF_1_1MemModelBuilder.html#a884a646e9c3b69124780e776af8947b6',1,'SVF::MemModelBuilder']]],
   ['handlecopygep',['handleCopyGep',['../classSVF_1_1Andersen.html#ab069683dd6ca563113efbde2813ab35e',1,'SVF::Andersen::handleCopyGep()'],['../classSVF_1_1AndersenWaveDiff.html#ad5c85a28967cc3f62e663dc00a8aa8c9',1,'SVF::AndersenWaveDiff::handleCopyGep()'],['../classSVF_1_1AndersenLCD.html#a139d80e25fe713194f719581915d36d5',1,'SVF::AndersenLCD::handleCopyGep()'],['../classSVF_1_1AndersenHLCD.html#a9582cde6cbb510f3fb624109f8ea8f63',1,'SVF::AndersenHLCD::handleCopyGep()'],['../classSVF_1_1AndersenSCD.html#aa0a496376f7bea2c417ef83c51d19a61',1,'SVF::AndersenSCD::handleCopyGep()']]],
   ['handledibasictype',['handleDIBasicType',['../classSVF_1_1DCHGraph.html#a86bf48776ccf53092f4cb742cf95f8eb',1,'SVF::DCHGraph']]],
   ['handledicompositetype',['handleDICompositeType',['../classSVF_1_1DCHGraph.html#a3ce75cbe92a1fa7d34c6fca2d2ca1b0f',1,'SVF::DCHGraph']]],
@@ -18,8 +18,8 @@ var searchData=
   ['handledisubroutinetype',['handleDISubroutineType',['../classSVF_1_1DCHGraph.html#a671f379ae54eef247b5e013478eb3f0c',1,'SVF::DCHGraph']]],
   ['handleextcall',['handleExtCall',['../classSVF_1_1PAGBuilder.html#a5344e675f4207a1e9a2de54d0e5f6e9d',1,'SVF::PAGBuilder']]],
   ['handlefork',['handleFork',['../classSVF_1_1LockAnalysis.html#a52e79d50288bfa2d146072be53ed058b',1,'SVF::LockAnalysis::handleFork()'],['../classSVF_1_1MHP.html#a8a95f8ae419b66310ce6f572caea2ca5',1,'SVF::MHP::handleFork()'],['../classSVF_1_1ForkJoinAnalysis.html#adddbc09b7b99170cd0941f22ccc7e561',1,'SVF::ForkJoinAnalysis::handleFork()']]],
-  ['handleglobalce',['handleGlobalCE',['../classSVF_1_1SymbolTableInfo.html#a4d616d922793e1d74bb4143f2d72bf10',1,'SVF::SymbolTableInfo']]],
-  ['handleglobalinitializerce',['handleGlobalInitializerCE',['../classSVF_1_1SymbolTableInfo.html#a005df6b86f4058114bf7a336e73e63df',1,'SVF::SymbolTableInfo']]],
+  ['handleglobalce',['handleGlobalCE',['../classSVF_1_1MemModelBuilder.html#ab9e664a9b1d1dd47bb0e367d90bcc677',1,'SVF::MemModelBuilder']]],
+  ['handleglobalinitializerce',['handleGlobalInitializerCE',['../classSVF_1_1MemModelBuilder.html#a210f0e6cc38453acdd558d306e184ad3',1,'SVF::MemModelBuilder']]],
   ['handleindcall',['handleIndCall',['../classSVF_1_1PAGBuilder.html#ab222f5d9ad6c59e1c3a738153cf650d0',1,'SVF::PAGBuilder']]],
   ['handleintervalueflow',['handleInterValueFlow',['../classSVF_1_1SVFGOPT.html#a4c698184cc23730fb44904d4048958da',1,'SVF::SVFGOPT']]],
   ['handleintra',['handleIntra',['../classSVF_1_1LockAnalysis.html#a711760ebaed0437176f4f9d314e9929c',1,'SVF::LockAnalysis::handleIntra()'],['../classSVF_1_1MHP.html#af4d6f0884ce18ea5caf0dfd9799d1aae',1,'SVF::MHP::handleIntra()'],['../classSVF_1_1ForkJoinAnalysis.html#add09218cce8d8bd8dd9e73b2d26a5797',1,'SVF::ForkJoinAnalysis::handleIntra()']]],

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

@@ -77,7 +77,7 @@ var searchData=
   ['info',['info',['../classSVF_1_1ExtAPI.html#a21b103f723d914a95fd0eef28551a3ca',1,'SVF::ExtAPI']]],
   ['inforwardslice',['inForwardSlice',['../classSVF_1_1SVFGStat.html#adc6a5c3e430bdf942f1462e101ac6917',1,'SVF::SVFGStat::inForwardSlice()'],['../classSVF_1_1ProgSlice.html#a5a4b7f34001cc90f9b60222caee1bde6',1,'SVF::ProgSlice::inForwardSlice()']]],
   ['inheritance',['INHERITANCE',['../classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676a78df5157ac61c49a724af5aa03d36d0c',1,'SVF::CHEdge::INHERITANCE()'],['../classSVF_1_1DCHEdge.html#a9ab4cd83d9ee475d3d8445cd91839726a9c05805c60fe04033bd9815968059e90',1,'SVF::DCHEdge::INHERITANCE()']]],
-  ['init',['init',['../classSVF_1_1ObjTypeInfo.html#aba198ceecd53d73ab0b0deb0133cda0d',1,'SVF::ObjTypeInfo::init()'],['../classSVF_1_1MemObj.html#a768e82826964c68673af7db3b5702442',1,'SVF::MemObj::init(const Value *val)'],['../classSVF_1_1MemObj.html#a581e1d4f060a0fe5a7cac1c05508caa6',1,'SVF::MemObj::init(const Type *type)'],['../classSVF_1_1RaceResultValidator.html#aec8b923a0da580113a13bf94ffb3ebd7',1,'SVF::RaceResultValidator::init()'],['../classSVF_1_1SaberCheckerAPI.html#a5771df69ffa75b6103a32c8bd48ef488',1,'SVF::SaberCheckerAPI::init()'],['../classSVF_1_1ExtAPI.html#ac8af2b917fcc71c0a1a66b8cb0cc55ba',1,'SVF::ExtAPI::init()'],['../classSVF_1_1ThreadAPI.html#a4535862f26efff9f45236000507932c9',1,'SVF::ThreadAPI::init()'],['../classSVF_1_1TypeBasedHeapCloning.html#a34064efe336ada815b31050f683c7ce1',1,'SVF::TypeBasedHeapCloning::init()']]],
+  ['init',['init',['../classSVF_1_1RaceResultValidator.html#aec8b923a0da580113a13bf94ffb3ebd7',1,'SVF::RaceResultValidator::init()'],['../classSVF_1_1SaberCheckerAPI.html#a5771df69ffa75b6103a32c8bd48ef488',1,'SVF::SaberCheckerAPI::init()'],['../classSVF_1_1ExtAPI.html#ac8af2b917fcc71c0a1a66b8cb0cc55ba',1,'SVF::ExtAPI::init()'],['../classSVF_1_1ThreadAPI.html#a4535862f26efff9f45236000507932c9',1,'SVF::ThreadAPI::init()'],['../classSVF_1_1TypeBasedHeapCloning.html#a34064efe336ada815b31050f683c7ce1',1,'SVF::TypeBasedHeapCloning::init()']]],
   ['initcxtinsensitiveedges',['initCxtInsensitiveEdges',['../classSVF_1_1DDAPass.html#add44aee75c9a59327b4eb46774551e2b',1,'SVF::DDAPass']]],
   ['initdefault',['initDefault',['../classSVF_1_1DDAStat.html#ac7275c99ddd118696853188154ad6fbd',1,'SVF::DDAStat']]],
   ['initfromthreadapi',['initFromThreadAPI',['../classSVF_1_1PCG.html#a23752f0a9fe4f01698808d0a50ccc896',1,'SVF::PCG']]],
@@ -92,6 +92,7 @@ var searchData=
   ['initsrcs',['initSrcs',['../classSVF_1_1LeakChecker.html#a273a7bfc3e81505ec971ca1d419bb565',1,'SVF::LeakChecker::initSrcs()'],['../classSVF_1_1SrcSnkDDA.html#a1c8f91ffa0b9f01d51c8cd5e14f076d5',1,'SVF::SrcSnkDDA::initSrcs()']]],
   ['initstats',['initStats',['../classSVF_1_1PersistentPointsToCache.html#ab19e4e17b1896565e0bada1f161d1266',1,'SVF::PersistentPointsToCache']]],
   ['initsymminfo',['initSymmInfo',['../cuddInt_8c.html#a16251e8ba5d258ae683665b47d2112e9',1,'cuddInt.c']]],
+  ['inittypeinfo',['initTypeInfo',['../classSVF_1_1MemModelBuilder.html#a73c96940a305e8ef5473d5b91c361254',1,'SVF::MemModelBuilder']]],
   ['initworklist',['initWorklist',['../classSVF_1_1Andersen.html#a9075cd05cb21e0f08a1109b7af6c7480',1,'SVF::Andersen::initWorklist()'],['../classSVF_1_1WPASolver.html#a7195381c3aab04890139b4fe2c561909',1,'SVF::WPASolver::initWorklist()']]],
   ['inloop',['inloop',['../classSVF_1_1PTASCEV.html#ac6636f0c39ef55e2b5f126532bf2d411',1,'SVF::PTASCEV::inloop()'],['../classSVF_1_1CxtThread.html#a2066520689094db3c4a88f5a7fc4ec0c',1,'SVF::CxtThread::inloop()']]],
   ['inputfilename',['InputFilename',['../dda_8cpp.html#a17d2e24d913aaa7484a3e226255019b7',1,'InputFilename(cl::Positional, cl::desc(&quot;&lt;input bitcode&gt;&quot;), cl::init(&quot;-&quot;)):&#160;dda.cpp'],['../svf-ex_8cpp.html#a2d332c504284f0bc181289ee67479845',1,'InputFilename(cl::Positional, llvm::cl::desc(&quot;&lt;input bitcode&gt;&quot;), llvm::cl::init(&quot;-&quot;)):&#160;svf-ex.cpp'],['../mta_8cpp.html#a2d332c504284f0bc181289ee67479845',1,'InputFilename(cl::Positional, llvm::cl::desc(&quot;&lt;input bitcode&gt;&quot;), llvm::cl::init(&quot;-&quot;)):&#160;mta.cpp'],['../saber_8cpp.html#a2d332c504284f0bc181289ee67479845',1,'InputFilename(cl::Positional, llvm::cl::desc(&quot;&lt;input bitcode&gt;&quot;), llvm::cl::init(&quot;-&quot;)):&#160;saber.cpp'],['../wpa_8cpp.html#a2d332c504284f0bc181289ee67479845',1,'InputFilename(cl::Positional, llvm::cl::desc(&quot;&lt;input bitcode&gt;&quot;), llvm::cl::init(&quot;-&quot;)):&#160;wpa.cpp']]],
@@ -106,8 +107,8 @@ var searchData=
   ['insertphi',['insertPHI',['../classSVF_1_1MemSSA.html#acc6f72d96cf29e36093ba08ea86b8983',1,'SVF::MemSSA']]],
   ['insertvalueinst',['InsertValueInst',['../namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24',1,'SVF']]],
   ['inst',['inst',['../classSVF_1_1IntraBlockNode.html#a2381ce8fea9eb3213bd2f2d00db0086d',1,'SVF::IntraBlockNode::inst()'],['../classSVF_1_1CallPE.html#a86b76d7390dc0f650ec2428c394bf41a',1,'SVF::CallPE::inst()'],['../classSVF_1_1RetPE.html#ad78a287bde15c03eec8d633d363e2ed2',1,'SVF::RetPE::inst()'],['../classSVF_1_1LoadMU.html#aea021fa025a51b1ee663ea3a6dfbae2a',1,'SVF::LoadMU::inst()'],['../classSVF_1_1StoreCHI.html#a787017e8aab6f713a409cdec76549293',1,'SVF::StoreCHI::inst()'],['../classSVF_1_1CxtStmt.html#a237b8738885e57d5a9b984221f611567',1,'SVF::CxtStmt::inst()']]],
-  ['inst2labelmap',['Inst2LabelMap',['../classSVF_1_1PAGEdge.html#aea1cb2d45d301eea27d451241fa8ddd1',1,'SVF::PAGEdge::Inst2LabelMap()'],['../classSVF_1_1PAGEdge.html#a5c7605aa20425ef49294e6f153842a56',1,'SVF::PAGEdge::inst2LabelMap()']]],
-  ['inst2pagedgesmap',['Inst2PAGEdgesMap',['../classSVF_1_1PAG.html#a8fb39e9156bb5cf07dc2329bfcfcd6f7',1,'SVF::PAG::Inst2PAGEdgesMap()'],['../classSVF_1_1PAG.html#ace643a606d59eb972d0f55590745bd5f',1,'SVF::PAG::inst2PAGEdgesMap()']]],
+  ['inst2labelmap',['inst2LabelMap',['../classSVF_1_1PAGEdge.html#a5c7605aa20425ef49294e6f153842a56',1,'SVF::PAGEdge::inst2LabelMap()'],['../classSVF_1_1PAGEdge.html#aea1cb2d45d301eea27d451241fa8ddd1',1,'SVF::PAGEdge::Inst2LabelMap()']]],
+  ['inst2pagedgesmap',['inst2PAGEdgesMap',['../classSVF_1_1PAG.html#ace643a606d59eb972d0f55590745bd5f',1,'SVF::PAG::inst2PAGEdgesMap()'],['../classSVF_1_1PAG.html#a8fb39e9156bb5cf07dc2329bfcfcd6f7',1,'SVF::PAG::Inst2PAGEdgesMap()']]],
   ['inst2ptapagedgesmap',['inst2PTAPAGEdgesMap',['../classSVF_1_1PAG.html#a925ccfc7169d5c03bffbe945dedc90b6',1,'SVF::PAG']]],
   ['inst_5fiterator',['inst_iterator',['../namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b',1,'SVF']]],
   ['instance',['INSTANCE',['../classSVF_1_1DCHEdge.html#a9ab4cd83d9ee475d3d8445cd91839726a3e807b4caeb170c5cd1e855ac1a92d77',1,'SVF::DCHEdge']]],

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

@@ -54,8 +54,8 @@ var searchData=
   ['loadpe',['LoadPE',['../classSVF_1_1LoadPE.html',1,'SVF::LoadPE'],['../classSVF_1_1LoadPE.html#a1d0bc42c2bb9d19e2427d17f1627f9eb',1,'SVF::LoadPE::LoadPE()'],['../classSVF_1_1LoadPE.html#ade066a690dbf51edbe6b9585e02ddd42',1,'SVF::LoadPE::LoadPE(const LoadPE &amp;)'],['../classSVF_1_1LoadPE.html#ad0678fd591a21f67f613f42365e7bfa8',1,'SVF::LoadPE::LoadPE(PAGNode *s, PAGNode *d)']]],
   ['loadset',['LoadSet',['../classSVF_1_1MTA.html#a80356495b6c45bac59dc15fd7a99730b',1,'SVF::MTA::LoadSet()'],['../classSVF_1_1MTAAnnotator.html#a469851829bf1105fe8faac44b4abbfdd',1,'SVF::MTAAnnotator::loadset()']]],
   ['loadsrcnodes',['loadSrcNodes',['../classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282',1,'SVF::AliasDDAClient']]],
-  ['loadstomrsmap',['LoadsToMRsMap',['../classSVF_1_1MRGenerator.html#a72f55ad36f4ce46c5eee4bf0ce736cee',1,'SVF::MRGenerator::LoadsToMRsMap()'],['../classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba',1,'SVF::MRGenerator::loadsToMRsMap()']]],
-  ['loadstopointstomap',['LoadsToPointsToMap',['../classSVF_1_1MRGenerator.html#a7b9b1c326d075a9be473680fef6a9616',1,'SVF::MRGenerator::LoadsToPointsToMap()'],['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator::loadsToPointsToMap()']]],
+  ['loadstomrsmap',['loadsToMRsMap',['../classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba',1,'SVF::MRGenerator::loadsToMRsMap()'],['../classSVF_1_1MRGenerator.html#a72f55ad36f4ce46c5eee4bf0ce736cee',1,'SVF::MRGenerator::LoadsToMRsMap()']]],
+  ['loadstopointstomap',['loadsToPointsToMap',['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator::loadsToPointsToMap()'],['../classSVF_1_1MRGenerator.html#a7b9b1c326d075a9be473680fef6a9616',1,'SVF::MRGenerator::LoadsToPointsToMap()']]],
   ['loadsvfgnode',['LoadSVFGNode',['../namespaceSVF.html#a3ce49be3724e1e8423ccdfa726fbf6c8',1,'SVF']]],
   ['loadtime',['loadTime',['../classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067',1,'SVF::FlowSensitive']]],
   ['loadtomusetmap',['LoadToMUSetMap',['../classSVF_1_1MemSSA.html#ac5a9b2218c946ec17b478a95ab60ec6b',1,'SVF::MemSSA']]],
@@ -88,11 +88,8 @@ var searchData=
   ['lockspan',['LockSpan',['../classSVF_1_1LockAnalysis.html#a07b7d49e1fbe3e5dc694b6aadbee05b8',1,'SVF::LockAnalysis::LockSpan()'],['../classSVF_1_1MHP.html#a08ba219ec02b07b1bbd91a88ebb4acd7',1,'SVF::MHP::LockSpan()'],['../classSVF_1_1SVFGNodeLockSpan.html#a762505799b9257bbcb766fccdce40fd4',1,'SVF::SVFGNodeLockSpan::lockSpan()']]],
   ['locktime',['lockTime',['../classSVF_1_1LockAnalysis.html#adadee129c04b82576b4ca3c7594cdcb2',1,'SVF::LockAnalysis']]],
   ['lockvalid',['LockValid',['../classSVF_1_1Options.html#a78b3b44f2c0dc94dc1363ca57ee76d66',1,'SVF::Options']]],
-  ['locmemmodel',['LocMemModel',['../classSVF_1_1Options.html#a8c7ece61e55940be1a0d310bd2cf77f8',1,'SVF::Options']]],
-  ['locmemmodel_2ecpp',['LocMemModel.cpp',['../LocMemModel_8cpp.html',1,'']]],
-  ['locmemmodel_2eh',['LocMemModel.h',['../LocMemModel_8h.html',1,'']]],
-  ['locobjtypeinfo',['LocObjTypeInfo',['../classSVF_1_1LocObjTypeInfo.html',1,'SVF::LocObjTypeInfo'],['../classSVF_1_1LocObjTypeInfo.html#aec1aceb9d7d69423b8103c37c277f6ee',1,'SVF::LocObjTypeInfo::LocObjTypeInfo()']]],
-  ['locsymtableinfo',['LocSymTableInfo',['../classSVF_1_1LocSymTableInfo.html',1,'SVF::LocSymTableInfo'],['../classSVF_1_1LocationSet.html#ac2acfe0b3cea2461ea6b6ba1a411d3b5',1,'SVF::LocationSet::LocSymTableInfo()'],['../classSVF_1_1LocSymTableInfo.html#a6ae1ada9c99ceb53fb41f3b59696423e',1,'SVF::LocSymTableInfo::LocSymTableInfo()']]],
+  ['locmemmodel',['LocMemModel',['../classSVF_1_1Options.html#aba8e13f8bb26cf6a0718282e6f9a1940',1,'SVF::Options']]],
+  ['locsymtableinfo',['LocSymTableInfo',['../classSVF_1_1LocationSet.html#ac2acfe0b3cea2461ea6b6ba1a411d3b5',1,'SVF::LocationSet']]],
   ['loctodpmsetmap',['locToDpmSetMap',['../classSVF_1_1DDAVFSolver.html#aa724698d499615bce7caf8f312b746a7',1,'SVF::DDAVFSolver']]],
   ['loctodpmvecmap',['LocToDPMVecMap',['../classSVF_1_1DDAVFSolver.html#aab76f98ae4f0c1f62f101ac5c5fdbf83',1,'SVF::DDAVFSolver']]],
   ['loctofilterset',['locToFilterSet',['../classSVF_1_1TypeBasedHeapCloning.html#a848e59ab22069367a97009f1fdebc4d9',1,'SVF::TypeBasedHeapCloning']]],

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

@@ -85,8 +85,11 @@ var searchData=
   ['memcpy',['memcpy',['../util_8h.html#a13050899d2d81aa69b56529e7264e238',1,'util.h']]],
   ['memmodel_2ecpp',['MemModel.cpp',['../MemModel_8cpp.html',1,'']]],
   ['memmodel_2eh',['MemModel.h',['../MemModel_8h.html',1,'']]],
+  ['memmodelbuilder',['MemModelBuilder',['../classSVF_1_1MemModelBuilder.html',1,'SVF::MemModelBuilder'],['../classSVF_1_1SymbolTableInfo.html#a43c3e140a49b8e5feb0630049b4e7475',1,'SVF::SymbolTableInfo::MemModelBuilder()'],['../classSVF_1_1MemModelBuilder.html#ac896e9141fbfa54bb019df4689a2c05e',1,'SVF::MemModelBuilder::MemModelBuilder()']]],
+  ['memmodelbuilder_2ecpp',['MemModelBuilder.cpp',['../MemModelBuilder_8cpp.html',1,'']]],
+  ['memmodelbuilder_2eh',['MemModelBuilder.h',['../MemModelBuilder_8h.html',1,'']]],
   ['memmove',['memmove',['../util_8h.html#afb434ca60c6699bb20fd11a71be5b0e0',1,'util.h']]],
-  ['memobj',['MemObj',['../classSVF_1_1MemObj.html',1,'SVF::MemObj'],['../classSVF_1_1MemObj.html#ab22373574ae9dff2f8ffbef16d5b339c',1,'SVF::MemObj::MemObj(const Value *val, SymID id)'],['../classSVF_1_1MemObj.html#a1303b79b7e15db0fac202ad686584915',1,'SVF::MemObj::MemObj(SymID id, const Type *type=nullptr)']]],
+  ['memobj',['MemObj',['../classSVF_1_1MemObj.html',1,'SVF::MemObj'],['../classSVF_1_1MemObj.html#afc62b5dbcaf790e561c852f567ca5bd1',1,'SVF::MemObj::MemObj()']]],
   ['memobjtofieldsmap',['MemObjToFieldsMap',['../classSVF_1_1PAG.html#a49da7e7d6273a0d8798166f95ce6bb16',1,'SVF::PAG']]],
   ['memobjtogeps',['memObjToGeps',['../classSVF_1_1TypeBasedHeapCloning.html#a882afb13844ed039d18d325e92819f77',1,'SVF::TypeBasedHeapCloning']]],
   ['memorylist',['memoryList',['../structDdHashTable.html#ac6afee68587d525006440d95abc9cbd5',1,'DdHashTable::memoryList()'],['../structDdManager.html#acd1165476d9c94202b6bf5b14fd0dd88',1,'DdManager::memoryList()']]],

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

@@ -62,7 +62,7 @@ var searchData=
   ['nodetoptssmap',['NodeToPTSSMap',['../classSVF_1_1MRGenerator.html#ab075a7c7fbc60f678b3fee8bbc06194d',1,'SVF::MRGenerator::NodeToPTSSMap()'],['../classSVF_1_1SaberSVFGBuilder.html#a4cb1f607e33d106dfa178e822c5ab7e1',1,'SVF::SaberSVFGBuilder::NodeToPTSSMap()']]],
   ['nodetorefmap',['nodeToRefMap',['../classSVF_1_1OfflineConsG.html#aebeb8a44fcfbb677a738fa04c8e9c5e1',1,'SVF::OfflineConsG']]],
   ['nodetorepmap',['nodeToRepMap',['../classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2',1,'SVF::ConstraintGraph::nodeToRepMap()'],['../classSVF_1_1ConstraintGraph.html#afe34ca6bdbb22b188799a4297fd19004',1,'SVF::ConstraintGraph::NodeToRepMap()']]],
-  ['nodetosubsmap',['nodeToSubsMap',['../classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60',1,'SVF::ConstraintGraph::nodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b',1,'SVF::Steensgaard::nodeToSubsMap()'],['../classSVF_1_1ConstraintGraph.html#ac7d24753491a9bab39a13b32bb65f139',1,'SVF::ConstraintGraph::NodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#a45d49eef110e3bc15509a2020be38453',1,'SVF::Steensgaard::NodeToSubsMap()']]],
+  ['nodetosubsmap',['NodeToSubsMap',['../classSVF_1_1ConstraintGraph.html#ac7d24753491a9bab39a13b32bb65f139',1,'SVF::ConstraintGraph::NodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#a45d49eef110e3bc15509a2020be38453',1,'SVF::Steensgaard::NodeToSubsMap()'],['../classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60',1,'SVF::ConstraintGraph::nodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b',1,'SVF::Steensgaard::nodeToSubsMap()']]],
   ['nodetype',['NodeType',['../classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736',1,'SVF::GenericEdge::NodeType()'],['../classSVF_1_1GenericNode.html#ad63e862eb1d1369bd69318fe698e4a22',1,'SVF::GenericNode::NodeType()'],['../classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211',1,'SVF::GenericGraph::NodeType()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#aec39caaa600f638af5e5fa57ae0b6706',1,'llvm::GraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;::NodeType()'],['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab7627f7ad0d6ea6dbe89132031ef732c',1,'llvm::GraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;::NodeType()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#af8a1cf62dc7ed9d8da15e6e92e3a433c',1,'llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ac3889bd563cdc21a55df0524df2ae4da',1,'llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a7ef3894da60c3e3350b8d2de3e94a562',1,'llvm::DOTGraphTraits&lt; ICFG * &gt;::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#a4de1b76db4f60446aa2db97535fff54f',1,'llvm::DOTGraphTraits&lt; OfflineConsG * &gt;::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01PAG_01_5_01_4.html#a79ab044136b3eb04258c92dc41c62140',1,'llvm::DOTGraphTraits&lt; PAG * &gt;::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#ad08b2b59081251fcf467fa992c83986c',1,'llvm::DOTGraphTraits&lt; PTACallGraph * &gt;::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a07ad41a658bfc0a404a5f6abc823040b',1,'llvm::DOTGraphTraits&lt; SVFG * &gt;::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#afd7d2c80916a68b53814e6de593bf520',1,'llvm::DOTGraphTraits&lt; VFG * &gt;::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a86caa5eb1467eea028ea13aac175f949',1,'llvm::DOTGraphTraits&lt; TCT * &gt;::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a73928161c8b1427e8150ca68ec48160e',1,'llvm::DOTGraphTraits&lt; CHGraph * &gt;::NodeType()']]],
   ['nodevector',['NodeVector',['../namespaceSVF.html#a39d27055a14d9d6363c668ee215a4676',1,'SVF']]],
   ['noncandidatefuncmhprelmap',['nonCandidateFuncMHPRelMap',['../classSVF_1_1MHP.html#a1f057ef082484a1997cb02287e063f00',1,'SVF::MHP']]],
@@ -93,7 +93,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']]],

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

@@ -47,7 +47,7 @@ var searchData=
   ['operator_5b_5d',['operator[]',['../classSVF_1_1ContextCond.html#a62cc1c7c01d454e9cbebd3f7f5f3aa1f',1,'SVF::ContextCond']]],
   ['operator_7c',['operator|',['../namespaceSVF.html#aa01b96d5bc6c3930b0bfca789acf75c4',1,'SVF']]],
   ['operator_7c_3d',['operator|=',['../classSVF_1_1CondStdSet.html#a90e4c4ead1cbdca01c0be801a68b005b',1,'SVF::CondStdSet::operator|=()'],['../classSVF_1_1CondPointsToSet.html#a74c50cfaf788a828a4fc97eba703ec4e',1,'SVF::CondPointsToSet::operator|=()'],['../classSVF_1_1PointsTo.html#aa8644057ec182382e3c34e90d7d61ade',1,'SVF::PointsTo::operator|=(const PointsTo &amp;rhs)'],['../classSVF_1_1PointsTo.html#a687b34cac3c43dd957b86a4833a24871',1,'SVF::PointsTo::operator|=(const NodeBS &amp;rhs)'],['../classSVF_1_1CoreBitVector.html#af8e63360242a49fb63c3ef3d7071503d',1,'SVF::CoreBitVector::operator|=()']]],
-  ['opincomingbbs',['OPIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80',1,'SVF::IntraPHIVFGNode::OPIncomingBBs()'],['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode::opIncomingBBs()']]],
+  ['opincomingbbs',['opIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode::opIncomingBBs()'],['../classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80',1,'SVF::IntraPHIVFGNode::OPIncomingBBs()']]],
   ['opit',['OpIt',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e',1,'llvm::generic_bridge_gep_type_iterator']]],
   ['oppts',['opPts',['../classSVF_1_1PersistentPointsToCache.html#ac7865b3ea1d76d2c522b465cc8e86639',1,'SVF::PersistentPointsToCache']]],
   ['options',['Options',['../classSVF_1_1Options.html',1,'SVF::Options'],['../classSVF_1_1Options.html#a08c25694f8f9e31eb8b116ad58c1c078',1,'SVF::Options::Options()']]],

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

@@ -10,7 +10,5 @@ var searchData=
   ['loadvfgnode',['LoadVFGNode',['../classSVF_1_1LoadVFGNode.html',1,'SVF']]],
   ['locationset',['LocationSet',['../classSVF_1_1LocationSet.html',1,'SVF']]],
   ['lockanalysis',['LockAnalysis',['../classSVF_1_1LockAnalysis.html',1,'SVF']]],
-  ['lockresultvalidator',['LockResultValidator',['../classSVF_1_1LockResultValidator.html',1,'SVF']]],
-  ['locobjtypeinfo',['LocObjTypeInfo',['../classSVF_1_1LocObjTypeInfo.html',1,'SVF']]],
-  ['locsymtableinfo',['LocSymTableInfo',['../classSVF_1_1LocSymTableInfo.html',1,'SVF']]]
+  ['lockresultvalidator',['LockResultValidator',['../classSVF_1_1LockResultValidator.html',1,'SVF']]]
 ];

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

@@ -1,5 +1,6 @@
 var searchData=
 [
+  ['memmodelbuilder',['MemModelBuilder',['../classSVF_1_1MemModelBuilder.html',1,'SVF']]],
   ['memobj',['MemObj',['../classSVF_1_1MemObj.html',1,'SVF']]],
   ['memregion',['MemRegion',['../classSVF_1_1MemRegion.html',1,'SVF']]],
   ['memssa',['MemSSA',['../classSVF_1_1MemSSA.html',1,'SVF']]],

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

@@ -11,7 +11,5 @@ var searchData=
   ['lockanalysis_2ecpp',['LockAnalysis.cpp',['../LockAnalysis_8cpp.html',1,'']]],
   ['lockanalysis_2eh',['LockAnalysis.h',['../LockAnalysis_8h.html',1,'']]],
   ['lockresultvalidator_2ecpp',['LockResultValidator.cpp',['../LockResultValidator_8cpp.html',1,'']]],
-  ['lockresultvalidator_2eh',['LockResultValidator.h',['../LockResultValidator_8h.html',1,'']]],
-  ['locmemmodel_2ecpp',['LocMemModel.cpp',['../LocMemModel_8cpp.html',1,'']]],
-  ['locmemmodel_2eh',['LocMemModel.h',['../LocMemModel_8h.html',1,'']]]
+  ['lockresultvalidator_2eh',['LockResultValidator.h',['../LockResultValidator_8h.html',1,'']]]
 ];

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

@@ -2,6 +2,8 @@ var searchData=
 [
   ['memmodel_2ecpp',['MemModel.cpp',['../MemModel_8cpp.html',1,'']]],
   ['memmodel_2eh',['MemModel.h',['../MemModel_8h.html',1,'']]],
+  ['memmodelbuilder_2ecpp',['MemModelBuilder.cpp',['../MemModelBuilder_8cpp.html',1,'']]],
+  ['memmodelbuilder_2eh',['MemModelBuilder.h',['../MemModelBuilder_8h.html',1,'']]],
   ['mempartition_2ecpp',['MemPartition.cpp',['../MemPartition_8cpp.html',1,'']]],
   ['mempartition_2eh',['MemPartition.h',['../MemPartition_8h.html',1,'']]],
   ['memregion_2ecpp',['MemRegion.cpp',['../MemRegion_8cpp.html',1,'']]],

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

@@ -282,11 +282,12 @@ var searchData=
   ['allpathreachablesolve',['AllPathReachableSolve',['../classSVF_1_1ProgSlice.html#aa7979418bed24fcecfc6fa04532cd586',1,'SVF::ProgSlice']]],
   ['analyze',['analyze',['../classSVF_1_1ContextDDA.html#ac8fe1cb3af6048a28028f00bb87a5eba',1,'SVF::ContextDDA::analyze()'],['../classSVF_1_1FlowDDA.html#aa26f9b5ba2e51f904d8ede1db8584460',1,'SVF::FlowDDA::analyze()'],['../classSVF_1_1PointerAnalysis.html#ae1e217dc18be0ce70bee5ad930cb54c6',1,'SVF::PointerAnalysis::analyze()'],['../classSVF_1_1LockAnalysis.html#ad1516b6cb1dbd06b8dff04ae3c944621',1,'SVF::LockAnalysis::analyze()'],['../classSVF_1_1LockResultValidator.html#a88ff3ed1398a0b847d71a4c0352ed66d',1,'SVF::LockResultValidator::analyze()'],['../classSVF_1_1MHP.html#a02457fa6e3c85c897ec3b3d8db18cc4b',1,'SVF::MHP::analyze()'],['../classSVF_1_1MTAResultValidator.html#a462f1554e058b656861abfb0aa2e47ff',1,'SVF::MTAResultValidator::analyze()'],['../classSVF_1_1RaceResultValidator.html#ab8a261120a7f6520d22a6f5cdf2257e9',1,'SVF::RaceResultValidator::analyze()'],['../classSVF_1_1PCG.html#a50b677ec622247a464cee7f0f45c5a53',1,'SVF::PCG::analyze()'],['../classSVF_1_1SrcSnkDDA.html#ac12d813bcba4ec70de5e9048bbe16afc',1,'SVF::SrcSnkDDA::analyze()'],['../classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751',1,'SVF::AndersenBase::analyze()'],['../classSVF_1_1FlowSensitive.html#a267f7198600dde3054feb40def7a6681',1,'SVF::FlowSensitive::analyze()'],['../classSVF_1_1FlowSensitiveTBHC.html#abcab6281cced08d90c92d67d43a37c2c',1,'SVF::FlowSensitiveTBHC::analyze()'],['../classSVF_1_1TypeAnalysis.html#a6073fc43443ceba8d77212ba04e483ef',1,'SVF::TypeAnalysis::analyze()']]],
   ['analyzeforkjoinpair',['analyzeForkJoinPair',['../classSVF_1_1ForkJoinAnalysis.html#a16061e7c28e7a9177d9ab798c102b815',1,'SVF::ForkJoinAnalysis']]],
-  ['analyzeglobalstackobjtype',['analyzeGlobalStackObjType',['../classSVF_1_1ObjTypeInfo.html#acc90d7a517c58ac86ef8109dcece3f10',1,'SVF::ObjTypeInfo']]],
-  ['analyzeheapstaticobjtype',['analyzeHeapStaticObjType',['../classSVF_1_1ObjTypeInfo.html#a57ffe17476467619e844b27cb292149a',1,'SVF::ObjTypeInfo']]],
+  ['analyzeglobalstackobjtype',['analyzeGlobalStackObjType',['../classSVF_1_1MemModelBuilder.html#a2baa1d18e5c0c94de01920ccdb153034',1,'SVF::MemModelBuilder']]],
+  ['analyzeheapobjtype',['analyzeHeapObjType',['../classSVF_1_1ObjTypeInfo.html#a66692043a56c327ac7ac00cc3126cd78',1,'SVF::ObjTypeInfo']]],
   ['analyzeinterleaving',['analyzeInterleaving',['../classSVF_1_1MHP.html#adfd90a8d20d630bc3813f5ed71d3abf7',1,'SVF::MHP']]],
   ['analyzeintraproceduallock',['analyzeIntraProcedualLock',['../classSVF_1_1LockAnalysis.html#a8a34f7544f22a87e1caf010c34abda75',1,'SVF::LockAnalysis']]],
   ['analyzelockspancxtstmt',['analyzeLockSpanCxtStmt',['../classSVF_1_1LockAnalysis.html#a00ccd89eff3fe8fec397df101f927cbe',1,'SVF::LockAnalysis']]],
+  ['analyzestaticobjtype',['analyzeStaticObjType',['../classSVF_1_1ObjTypeInfo.html#aa8b97a2cbd2de56b3c6c5c0e2e0a2211',1,'SVF::ObjTypeInfo']]],
   ['analyzevtables',['analyzeVTables',['../classSVF_1_1CHGraph.html#a0685bd653851a903f765e21aec0fdbd1',1,'SVF::CHGraph']]],
   ['and',['AND',['../classSVF_1_1BranchCondManager.html#a739f4206abf4f367dc796e9fd35d4d04',1,'SVF::BranchCondManager::AND()'],['../classSVF_1_1CondManager.html#a4b88160366a7c7b2bf7e2ab632ed04c7',1,'SVF::CondManager::AND()']]],
   ['andersen',['Andersen',['../classSVF_1_1Andersen.html#aed87dd498ba5daf263624a74118ef007',1,'SVF::Andersen']]],

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

@@ -52,7 +52,7 @@ var searchData=
   ['buildglobaldeftorepmap',['buildGlobalDefToRepMap',['../classSVF_1_1LLVMModuleSet.html#aaab03cb6ff665bc008c67b866ba81e47',1,'SVF::LLVMModuleSet']]],
   ['buildinternalmaps',['buildInternalMaps',['../classSVF_1_1CHGraph.html#ab55b057a7be74ad03514dc15b6f01131',1,'SVF::CHGraph']]],
   ['buildisstoreloadmaps',['buildIsStoreLoadMaps',['../classSVF_1_1VersionedFlowSensitive.html#a8da4b9bd9d0c640a6857b4dc4991817c',1,'SVF::VersionedFlowSensitive']]],
-  ['buildmemmodel',['buildMemModel',['../classSVF_1_1SymbolTableInfo.html#a74481bb26d77d8c8bca91efd3e23c08e',1,'SVF::SymbolTableInfo']]],
+  ['buildmemmodel',['buildMemModel',['../classSVF_1_1MemModelBuilder.html#aa38a3ce969852945fb914bab56fe8850',1,'SVF::MemModelBuilder']]],
   ['buildmemssa',['buildMemSSA',['../classSVF_1_1MemSSA.html#ae56d1878046c119d1857727ca3609d74',1,'SVF::MemSSA']]],
   ['buildmssa',['buildMSSA',['../classSVF_1_1SVFGBuilder.html#a49cee21be46d6a3f65eec638714038ed',1,'SVF::SVFGBuilder']]],
   ['buildofflinecg',['buildOfflineCG',['../classSVF_1_1OfflineConsG.html#ac6197a5515ace76b2d51451f5149aef7',1,'SVF::OfflineConsG']]],

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

@@ -62,6 +62,7 @@ var searchData=
   ['setmemusagebefore',['setMemUsageBefore',['../classSVF_1_1DDAStat.html#accadfa44f7cf9f107e4c8d100ce8db0d',1,'SVF::DDAStat']]],
   ['setmergednode',['setMergedNode',['../classSVF_1_1AndersenHCD.html#a6d6d770848a42c6291db663ab138461d',1,'SVF::AndersenHCD']]],
   ['setmodelconstants',['setModelConstants',['../classSVF_1_1SymbolTableInfo.html#a4decfc9e7f5dc096d7bfa42d6965763d',1,'SVF::SymbolTableInfo']]],
+  ['setmodule',['setModule',['../classSVF_1_1SymbolTableInfo.html#a4f916c64ca04c4db30bd19fb8505724d',1,'SVF::SymbolTableInfo']]],
   ['setmultiforked',['setMultiforked',['../classSVF_1_1TCTNode.html#a0fafde34cdffde6d38bb9efca9b7a9a1',1,'SVF::TCTNode']]],
   ['setmultiforkedattrs',['setMultiForkedAttrs',['../classSVF_1_1TCT.html#a11e36f9b58646dee4014e12e55c70508',1,'SVF::TCT']]],
   ['setmultiinheritance',['setMultiInheritance',['../classSVF_1_1CHNode.html#a5d751a3a0d88c0de374bfeb526051440',1,'SVF::CHNode::setMultiInheritance()'],['../classSVF_1_1DCHNode.html#a798e80f0cc5951789474abc3a0999166',1,'SVF::DCHNode::setMultiInheritance()']]],

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

@@ -21,7 +21,6 @@ var searchData=
   ['variantgeppe',['VariantGepPE',['../classSVF_1_1VariantGepPE.html#a8eb7b6288efb3f9ab6061efb414a82b0',1,'SVF::VariantGepPE::VariantGepPE()'],['../classSVF_1_1VariantGepPE.html#a6e0036ed08360c5e4b18ac83aa20ca89',1,'SVF::VariantGepPE::VariantGepPE(const VariantGepPE &amp;)'],['../classSVF_1_1VariantGepPE.html#ac1b48fa2541b7371afeadd3281006f7d',1,'SVF::VariantGepPE::VariantGepPE(PAGNode *s, PAGNode *d)']]],
   ['vcallinctorordtor',['VCallInCtorOrDtor',['../namespaceSVF_1_1cppUtil.html#abcba23ffa41fe5b456289e528d1b4c4e',1,'SVF::cppUtil']]],
   ['verifycallgraph',['verifyCallGraph',['../classSVF_1_1PTACallGraph.html#ac695d78f0a78e2e5f1fb4f93264e52b8',1,'SVF::PTACallGraph']]],
-  ['verifystructsize',['verifyStructSize',['../classSVF_1_1LocSymTableInfo.html#a1b4b45547634b0c68c363ce21870e610',1,'SVF::LocSymTableInfo']]],
   ['versionedflowsensitive',['VersionedFlowSensitive',['../classSVF_1_1VersionedFlowSensitive.html#af52cafc2bb393823f51ca89a0abacec4',1,'SVF::VersionedFlowSensitive']]],
   ['versionedflowsensitivestat',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitiveStat.html#a762c964e76d181716e1a3833dc4c0706',1,'SVF::VersionedFlowSensitiveStat']]],
   ['versionedptdata',['VersionedPTData',['../classSVF_1_1VersionedPTData.html#a2cc5ee586042f19aa698fd8ec48e33b5',1,'SVF::VersionedPTData']]],