svf-tools 1.0.619 → 1.0.621

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

@@ -19,12 +19,15 @@ var searchData=
   ['callsitehasret',['callsiteHasRet',['../classSVF_1_1SVFIR.html#aa79dba26cb34b40eee682713db299d5f',1,'SVF::SVFIR']]],
   ['canberemoved',['canBeRemoved',['../classSVF_1_1SVFGOPT.html#ab72ce28409a440bbf5b84a68e5f82b85',1,'SVF::SVFGOPT']]],
   ['canhold',['canHold',['../classSVF_1_1CoreBitVector.html#a3c85fd2084e52df869cb8fcf2dab6486',1,'SVF::CoreBitVector']]],
+  ['canset',['canSet',['../classOptionBase.html#a41b5697dffc86139fa9341210f7233d9',1,'OptionBase::canSet()'],['../classOption.html#a25507245c3b4b8d2d52ab069d756bc31',1,'Option::canSet()'],['../classOptionMap.html#a9fe150111f4ef83a91c5a1a01878ffa3',1,'OptionMap::canSet()'],['../classOptionMultiple.html#aa582e95f6546ffd2fc8420699967bca9',1,'OptionMultiple::canSet()']]],
   ['case_5finsensitive_5fstrcmp',['case_insensitive_strcmp',['../cJSON_8cpp.html#a9b295e9edc859c11ad8c1e3d2cef0467',1,'cJSON.cpp']]],
   ['cast',['cast',['../namespaceSVF_1_1SVFUtil.html#a3ddf7041e685da8ede81cd773dd47761',1,'SVF::SVFUtil::cast(const Y &Val)'],['../namespaceSVF_1_1SVFUtil.html#a406dd9baf2ce66235d482fd6c6121b2c',1,'SVF::SVFUtil::cast(Y &Val)'],['../namespaceSVF_1_1SVFUtil.html#acc2419a55c0427571f11ad14db2fe481',1,'SVF::SVFUtil::cast(Y *Val)'],['../namespaceSVF_1_1SVFUtil.html#af3ca049b4ce83c874e231f5e13bf36a8',1,'SVF::SVFUtil::cast(std::unique_ptr< Y > &&Val)']]],
   ['cast_5faway_5fconst',['cast_away_const',['../cJSON_8cpp.html#a48223c36735c39cfc4711b0659f966c8',1,'cJSON.cpp']]],
   ['cfgnormalizer',['CFGNormalizer',['../classSVF_1_1CFGNormalizer.html#ab1c19d6347ed694f52ded7defafeffe3',1,'SVF::CFGNormalizer']]],
   ['cflalias',['CFLAlias',['../classSVF_1_1CFLAlias.html#aae1dbf8d8c413eb7812ca428edfbae48',1,'SVF::CFLAlias']]],
   ['cflbase',['CFLBase',['../classSVF_1_1CFLBase.html#a59c71b0eada5c763ce776f3618d08dd8',1,'SVF::CFLBase']]],
+  ['cfldata',['cflData',['../classSVF_1_1POCRAlias.html#a8f936a2325919f016d09b1fb86c5c72b',1,'SVF::POCRAlias::cflData()'],['../classSVF_1_1CFLDataBuilder.html#a0e7ddcf73bde929b9b1b87f503f3bc3f',1,'SVF::CFLDataBuilder::cflData()'],['../classSVF_1_1POCRSolver.html#a5e82e65d4e7bec0031d06b41902fae54',1,'SVF::POCRSolver::cflData()'],['../classSVF_1_1CFLData.html#a05d8b0f55753fdad40a0f7be00aa80e4',1,'SVF::CFLData::CFLData()']]],
+  ['cfldatabuilder',['CFLDataBuilder',['../classSVF_1_1CFLDataBuilder.html#a5a2cdbf128e536c771567b372c29ce0b',1,'SVF::CFLDataBuilder']]],
   ['cfledge',['CFLEdge',['../classSVF_1_1CFLEdge.html#a808f0a3b6df73df41dcc2f0bfe944116',1,'SVF::CFLEdge']]],
   ['cflfifoworklist',['CFLFIFOWorkList',['../classSVF_1_1CFLFIFOWorkList.html#a1246a16c404664f0f17e8333eaae2511',1,'SVF::CFLFIFOWorkList']]],
   ['cflgrammar',['CFLGrammar',['../classSVF_1_1CFLGrammar.html#ad124b5e229216515b34b8d9b5d04e067',1,'SVF::CFLGrammar']]],
@@ -60,12 +63,13 @@ var searchData=
   ['cjson_5fstrdup',['cJSON_strdup',['../cJSON_8cpp.html#a5da7bd9b4622e97e7e19c36017410252',1,'cJSON.cpp']]],
   ['classof',['classof',['../classSVF_1_1IntervalValue.html#a101633c38e284f6e2bcad852daa3baae',1,'SVF::IntervalValue::classof(const IntervalValue *)'],['../classSVF_1_1IntervalValue.html#a72d89f686c6239c43ea1ea6fcab3062a',1,'SVF::IntervalValue::classof(const AbstractValue *v)'],['../classSVF_1_1WtoVertex.html#aa16a28629fd927cd2c827b2019f92c31',1,'SVF::WtoVertex::classof(const WtoVertex *)'],['../classSVF_1_1WtoVertex.html#af1629f621a67d660f75054a22b513965',1,'SVF::WtoVertex::classof(const WtoComponent *c)'],['../classSVF_1_1WtoCycle.html#af55574afbbb75dede2d9589070da600d',1,'SVF::WtoCycle::classof(const WtoCycle *)'],['../classSVF_1_1WtoCycle.html#a6310716df636f3623b5b3ecda0033aea',1,'SVF::WtoCycle::classof(const WtoComponent *c)'],['../classSVF_1_1CFLGrammar.html#a866db9b7ba6569421fa8a9e3c64c2eab',1,'SVF::CFLGrammar::classof(const CFLGrammar *)'],['../classSVF_1_1CFLGrammar.html#a25b035e49e90f42a44f7f6173a4bfdaf',1,'SVF::CFLGrammar::classof(const GrammarBase *node)'],['../classSVF_1_1CHGraph.html#ae7e9f1a3c524d80c77b2a75f877dc2d6',1,'SVF::CHGraph::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_1GlobalICFGNode.html#a06d0940d1b923991144c827e145a028e',1,'SVF::GlobalICFGNode::classof(const GlobalICFGNode *)'],['../classSVF_1_1GlobalICFGNode.html#a982efb288d9b6ec41cd64be562e4be6d',1,'SVF::GlobalICFGNode::classof(const ICFGNode *node)'],['../classSVF_1_1GlobalICFGNode.html#af6b336561b3924b438d0e4d7c5fd34e3',1,'SVF::GlobalICFGNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1IntraICFGNode.html#a295649753e583729a9f3bfd9e8a1e87f',1,'SVF::IntraICFGNode::classof(const IntraICFGNode *)'],['../classSVF_1_1IntraICFGNode.html#a9ce3f760813e3108dda53ff3f558a23d',1,'SVF::IntraICFGNode::classof(const ICFGNode *node)'],['../classSVF_1_1IntraICFGNode.html#a00e015884ec85772b161cc7b4a5bfbd8',1,'SVF::IntraICFGNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1InterICFGNode.html#a67ef8b6f4d8961c54145df0ce8a5c843',1,'SVF::InterICFGNode::classof(const InterICFGNode *)'],['../classSVF_1_1InterICFGNode.html#adfe73a4bcd2a3074bef97661a787bfa3',1,'SVF::InterICFGNode::classof(const ICFGNode *node)'],['../classSVF_1_1InterICFGNode.html#a6b43bc8bf2bd2cd78e6cd5064cf7c470',1,'SVF::InterICFGNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1FunEntryICFGNode.html#ad7f8c8f10b067b6766d7c7974f2b751c',1,'SVF::FunEntryICFGNode::classof(const FunEntryICFGNode *)'],['../classSVF_1_1FunEntryICFGNode.html#a1964b1b95d37b8b250a4779c7d4214b4',1,'SVF::FunEntryICFGNode::classof(const InterICFGNode *node)'],['../classSVF_1_1FunEntryICFGNode.html#a3f0f02c9fb1ab2406ed970f0e0e7942e',1,'SVF::FunEntryICFGNode::classof(const ICFGNode *node)'],['../classSVF_1_1FunEntryICFGNode.html#a5225463cf5c8601d919ab810bc3276ef',1,'SVF::FunEntryICFGNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1FunExitICFGNode.html#ab81f7f50638b8ce85f83ca3b7b566213',1,'SVF::FunExitICFGNode::classof(const FunEntryICFGNode *)'],['../classSVF_1_1FunExitICFGNode.html#acace98ae1961dcd498678694b7ba4699',1,'SVF::FunExitICFGNode::classof(const ICFGNode *node)'],['../classSVF_1_1FunExitICFGNode.html#a9731fdd29f15eab3a900eb72d3447e13',1,'SVF::FunExitICFGNode::classof(const InterICFGNode *node)'],['../classSVF_1_1FunExitICFGNode.html#ab980476a746eecd8d1018e43b40db635',1,'SVF::FunExitICFGNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1CallICFGNode.html#afb8bed9242cea8c927d14028526c19b9',1,'SVF::CallICFGNode::classof(const CallICFGNode *)'],['../classSVF_1_1CallICFGNode.html#ad064bfbbc08c297d66071ff7a9c0c991',1,'SVF::CallICFGNode::classof(const ICFGNode *node)'],['../classSVF_1_1CallICFGNode.html#a678d5ffc5c2bc44f82f8bd6d97daefc6',1,'SVF::CallICFGNode::classof(const InterICFGNode *node)'],['../classSVF_1_1CallICFGNode.html#a406c851efb93f7b838f3246deb2610ec',1,'SVF::CallICFGNode::classof(const GenericICFGNodeTy *node)'],['../classSVF_1_1RetICFGNode.html#a495a6ff3a561fac9a5157308c68a5ea8',1,'SVF::RetICFGNode::classof(const RetICFGNode *)'],['../classSVF_1_1RetICFGNode.html#abc490a79a39229d10010816bbd105326',1,'SVF::RetICFGNode::classof(const InterICFGNode *node)'],['../classSVF_1_1RetICFGNode.html#a5ce46692509e51b32afb060cce5701dd',1,'SVF::RetICFGNode::classof(const ICFGNode *node)'],['../classSVF_1_1RetICFGNode.html#a9a1d69cec6f240971767eee3c1c6ac41',1,'SVF::RetICFGNode::classof(const GenericICFGNodeTy *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_1BranchVFGNode.html#abaeefcd88c47e21065947f7587af2181',1,'SVF::BranchVFGNode::classof(const BranchVFGNode *)'],['../classSVF_1_1BranchVFGNode.html#aa578e56a2a4d145ba63628367786b9f0',1,'SVF::BranchVFGNode::classof(const VFGNode *node)'],['../classSVF_1_1BranchVFGNode.html#a5cf9cbe215078178e12e06d859483336',1,'SVF::BranchVFGNode::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< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1DiffPTData.html#af182fd3695fee155abac8c2f0c402a17',1,'SVF::DiffPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1DFPTData.html#a1b09e85de5cc187958dd8fb1aa5edfcd',1,'SVF::DFPTData::classof(const DFPTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1DFPTData.html#abea003e1262f3e03967939e4028694a4',1,'SVF::DFPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1VersionedPTData.html#a385133d44ac2b5fcef007040da8c2fd6',1,'SVF::VersionedPTData::classof(const VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet > *)'],['../classSVF_1_1VersionedPTData.html#a69ceac8acdf820486a45fc4444f78d04',1,'SVF::VersionedPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1MutablePTData.html#a589d71ff881e53133e5c688f1c616ab3',1,'SVF::MutablePTData::classof(const MutablePTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1MutablePTData.html#a577a7fce1affd462afeb9fefa4bdb4a8',1,'SVF::MutablePTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1MutableDiffPTData.html#a1b2d520d24a8d19de00e26237e5cd098',1,'SVF::MutableDiffPTData::classof(const MutableDiffPTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1MutableDiffPTData.html#af27d457e1905876631bcf74e434257ae',1,'SVF::MutableDiffPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1MutableDFPTData.html#a5baa6fffedfd0ac356590f9a0b222ee0',1,'SVF::MutableDFPTData::classof(const MutableDFPTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1MutableDFPTData.html#acb338bbe5773001a15b81e596a764222',1,'SVF::MutableDFPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1MutableIncDFPTData.html#a89f65d37096c82fcdddb1c324ec206d2',1,'SVF::MutableIncDFPTData::classof(const MutableIncDFPTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1MutableIncDFPTData.html#aa4c262f0d62e902912d4cd7999731d3d',1,'SVF::MutableIncDFPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1MutableVersionedPTData.html#a6be54447671288a666af5d48972e2ccf',1,'SVF::MutableVersionedPTData::classof(const MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet > *)'],['../classSVF_1_1MutableVersionedPTData.html#a646111552a7112b8e48c00e766ce8d9b',1,'SVF::MutableVersionedPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1PersistentPTData.html#a174c3cac13c839863171621ea25e609f',1,'SVF::PersistentPTData::classof(const PersistentPTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1PersistentPTData.html#a4e896ec87d07e5b75401de4367d67458',1,'SVF::PersistentPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1PersistentDiffPTData.html#afb53f0b47cdad94379c3a4895980be9c',1,'SVF::PersistentDiffPTData::classof(const PersistentDiffPTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1PersistentDiffPTData.html#a4f4b1869210228e9d1b4f3900b41bb88',1,'SVF::PersistentDiffPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1PersistentDFPTData.html#ad374e8e6ddd5c397bd5ab6cf9b259968',1,'SVF::PersistentDFPTData::classof(const PersistentDFPTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1PersistentDFPTData.html#a575a441ddbe233d34937792b66d2b39c',1,'SVF::PersistentDFPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1PersistentIncDFPTData.html#a656434f7b67aabf25f6dba400d95f2bb',1,'SVF::PersistentIncDFPTData::classof(const PersistentIncDFPTData< Key, KeySet, Data, DataSet > *)'],['../classSVF_1_1PersistentIncDFPTData.html#a47c2fbf8b959aae3166b9757b12880a7',1,'SVF::PersistentIncDFPTData::classof(const PTData< Key, KeySet, Data, DataSet > *ptd)'],['../classSVF_1_1PersistentVersionedPTData.html#a28a8bf95351e295e65360bf16241a5da',1,'SVF::PersistentVersionedPTData::classof(const PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet > *)'],['../classSVF_1_1PersistentVersionedPTData.html#a1f85475cb6690bb1caa003c5a3aec92f',1,'SVF::PersistentVersionedPTData::classof(const PTData< Key, KeySet, Data, DataSet > *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< Cond > *mu)'],['../classSVF_1_1CallMU.html#af8a0defe4c5b36893e155a4b074c0f30',1,'SVF::CallMU::classof(const CallMU *)'],['../classSVF_1_1CallMU.html#a27c70bc7543eeb2fcf64f139481d3bf9',1,'SVF::CallMU::classof(const MSSAMU< Cond > *mu)'],['../classSVF_1_1RetMU.html#ace8b780beda75de78d08247335e1738a',1,'SVF::RetMU::classof(const RetMU *)'],['../classSVF_1_1RetMU.html#ae6608c348426d99a5d3963ceaca2eb8b',1,'SVF::RetMU::classof(const MSSAMU< Cond > *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< Cond > *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< Cond > *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< Cond > *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_1DCHGraph.html#af9970ff0ef4a8f4c638da9f519d14a21',1,'SVF::DCHGraph::classof()'],['../classSVF_1_1SVFStmt.html#ac517a3166a3afe45d04480534ac3bb50',1,'SVF::SVFStmt::classof(const SVFStmt *)'],['../classSVF_1_1SVFStmt.html#a00339663741d9f581d2f3ecae5a3e7e3',1,'SVF::SVFStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1AssignStmt.html#a4f94b6731f324e44fc4d4e06d7acdbf7',1,'SVF::AssignStmt::classof(const AssignStmt *)'],['../classSVF_1_1AssignStmt.html#ad5e2d41b8cd548628b59227368388ed0',1,'SVF::AssignStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1AssignStmt.html#a8b2837153dcf9f7e2adc3b30b2dd0245',1,'SVF::AssignStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1AddrStmt.html#a32e129c9f7aa16be8c5c8569989f691f',1,'SVF::AddrStmt::classof(const AddrStmt *)'],['../classSVF_1_1AddrStmt.html#aeec83dc4e79ee62c92c75aa778a475ad',1,'SVF::AddrStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1AddrStmt.html#a6876ffc2c97c5ba64155891b55a7884c',1,'SVF::AddrStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1CopyStmt.html#a253c81c922bef6e2d520262c2f7793c4',1,'SVF::CopyStmt::classof(const CopyStmt *)'],['../classSVF_1_1CopyStmt.html#a5e883bb0bc30cf8b7d325b66f7a42848',1,'SVF::CopyStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1CopyStmt.html#a12e960569a9f4beae99195a0fe2d3b68',1,'SVF::CopyStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1StoreStmt.html#ae3c219e8af92e222f55c930009db6e67',1,'SVF::StoreStmt::classof(const StoreStmt *)'],['../classSVF_1_1StoreStmt.html#a31f69e402887eff60e2055799ed561b9',1,'SVF::StoreStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1StoreStmt.html#ab71bf959fce0e702556dd753636298b2',1,'SVF::StoreStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1LoadStmt.html#a03d6f1ee2f52b34d905b204eb53d6560',1,'SVF::LoadStmt::classof(const LoadStmt *)'],['../classSVF_1_1LoadStmt.html#ac252b1e9b7c01108d1aff602fbe1ef40',1,'SVF::LoadStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1LoadStmt.html#ab30f370a8a2a3e63765c1e4843f07826',1,'SVF::LoadStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1GepStmt.html#a441cd8487b320ceff9d62884b4f28176',1,'SVF::GepStmt::classof(const GepStmt *)'],['../classSVF_1_1GepStmt.html#a92016e7d6061e4a157c9cd39ad94cc20',1,'SVF::GepStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1GepStmt.html#ac47064e21e2afdf7bd85c6acba44367f',1,'SVF::GepStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1CallPE.html#a6df0149f79122c5a7d517f75d0235e73',1,'SVF::CallPE::classof(const CallPE *)'],['../classSVF_1_1CallPE.html#a188c51f3e378c451d34e90c96cca0cf5',1,'SVF::CallPE::classof(const SVFStmt *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#a9cd78a723ed55ed6f334a329576a7471',1,'SVF::RetPE::classof(const SVFStmt *edge)'],['../classSVF_1_1RetPE.html#a2f0121f26e79fe3766cba93b42dc1119',1,'SVF::RetPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1MultiOpndStmt.html#aa0d9a26d3ad17432505b1f5bb36368d9',1,'SVF::MultiOpndStmt::classof(const MultiOpndStmt *)'],['../classSVF_1_1MultiOpndStmt.html#a5de8ff8363cb3f0b1427b69aa1058470',1,'SVF::MultiOpndStmt::classof(const SVFStmt *node)'],['../classSVF_1_1MultiOpndStmt.html#ad20128715a7aaf173d60fe8f14575678',1,'SVF::MultiOpndStmt::classof(const GenericPAGEdgeTy *node)'],['../classSVF_1_1PhiStmt.html#abb620d35e77989c2f7f9ed480e5fa1e9',1,'SVF::PhiStmt::classof(const PhiStmt *)'],['../classSVF_1_1PhiStmt.html#ac214292370d79324f6da8624fe2c7139',1,'SVF::PhiStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1PhiStmt.html#ae547394a731d29b44565d3e56a326354',1,'SVF::PhiStmt::classof(const MultiOpndStmt *edge)'],['../classSVF_1_1PhiStmt.html#a904591799ce401e8d3ee6aa634325ba3',1,'SVF::PhiStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1SelectStmt.html#a89f27a20f9c2acc66c4c6152e79ee30e',1,'SVF::SelectStmt::classof(const SelectStmt *)'],['../classSVF_1_1SelectStmt.html#a3cb54c9a91a32e12c5f8ee452fcf64be',1,'SVF::SelectStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1SelectStmt.html#a0b73ca0dedc4b7c718585577424fa0ce',1,'SVF::SelectStmt::classof(const MultiOpndStmt *edge)'],['../classSVF_1_1SelectStmt.html#aa9d3eeb27fee7084bcd2921c98be1bd1',1,'SVF::SelectStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1CmpStmt.html#adec661dd23b7806b35abba2d44aebc61',1,'SVF::CmpStmt::classof(const CmpStmt *)'],['../classSVF_1_1CmpStmt.html#a16a5fddf61f6a13ee34dde0c4267d0e5',1,'SVF::CmpStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1CmpStmt.html#a679ec89e3fa17a17dcc8fafeb30d3a61',1,'SVF::CmpStmt::classof(const MultiOpndStmt *edge)'],['../classSVF_1_1CmpStmt.html#af9f7fe4aa92bb443cd517f06a8fb94cd',1,'SVF::CmpStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1BinaryOPStmt.html#ab5a0f41455474643e8dd97aaab0aaab5',1,'SVF::BinaryOPStmt::classof(const BinaryOPStmt *)'],['../classSVF_1_1BinaryOPStmt.html#abc24c2d50b164a637ad0cec371cb7e63',1,'SVF::BinaryOPStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1BinaryOPStmt.html#a7cae2a90a33225c90eb035cf9e663d3d',1,'SVF::BinaryOPStmt::classof(const MultiOpndStmt *edge)'],['../classSVF_1_1BinaryOPStmt.html#ac8831079a5a9c6d50fbd09ff545e7cfd',1,'SVF::BinaryOPStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1UnaryOPStmt.html#abb10688145fa76629916ec3df61b6c95',1,'SVF::UnaryOPStmt::classof(const UnaryOPStmt *)'],['../classSVF_1_1UnaryOPStmt.html#a2a4b7e3a4c5be8a253b542f144f830b7',1,'SVF::UnaryOPStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1UnaryOPStmt.html#add29b76e0ef73da2606bac97f74a7896',1,'SVF::UnaryOPStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1BranchStmt.html#a750ffca6648fafedfb271fb90d975847',1,'SVF::BranchStmt::classof(const BranchStmt *)'],['../classSVF_1_1BranchStmt.html#a55b867cd85dbbe43e2f7c1bad5dce647',1,'SVF::BranchStmt::classof(const SVFStmt *edge)'],['../classSVF_1_1BranchStmt.html#adf97a239f15b635580cef475980e8d82',1,'SVF::BranchStmt::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1TDForkPE.html#a79317f2ac92ace129a1ccf802406498d',1,'SVF::TDForkPE::classof(const TDForkPE *)'],['../classSVF_1_1TDForkPE.html#a68f16df5a9b44dd2492c33fb0a1b5f0c',1,'SVF::TDForkPE::classof(const SVFStmt *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#a18e24262f5be7835bc830ea410acc19d',1,'SVF::TDJoinPE::classof(const SVFStmt *edge)'],['../classSVF_1_1TDJoinPE.html#a22303af690086961b8d2356b345f882b',1,'SVF::TDJoinPE::classof(const GenericPAGEdgeTy *edge)'],['../classSVF_1_1SVFPointerType.html#a64502ac59788f5a1d53297123afbcfc6',1,'SVF::SVFPointerType::classof()'],['../classSVF_1_1SVFIntergerType.html#a731f46274e4008355700dfba8c1f695a',1,'SVF::SVFIntergerType::classof()'],['../classSVF_1_1SVFFunctionType.html#a527528ffe8005a3ff56f581f27296a49',1,'SVF::SVFFunctionType::classof()'],['../classSVF_1_1SVFStructType.html#a5551dee67814f75b701ba5e2757f6775',1,'SVF::SVFStructType::classof()'],['../classSVF_1_1SVFArrayType.html#a9b680e5f1995e1fb8f7d17f69f1c32ca',1,'SVF::SVFArrayType::classof()'],['../classSVF_1_1SVFOtherType.html#a7b026267db1dee3fd1149b92194d5655',1,'SVF::SVFOtherType::classof()'],['../classSVF_1_1SVFFunction.html#a099203980699464e1fbe5e37f2eb891f',1,'SVF::SVFFunction::classof()'],['../classSVF_1_1SVFBasicBlock.html#a0702a054bc6aec5fb67fe6e287f1e5f8',1,'SVF::SVFBasicBlock::classof()'],['../classSVF_1_1SVFInstruction.html#a3d3d19a3136d5d4fbda3946cf9f86231',1,'SVF::SVFInstruction::classof()'],['../classSVF_1_1SVFCallInst.html#a441f6d479c562ab00b9d287d8ecdb0fd',1,'SVF::SVFCallInst::classof(const SVFValue *node)'],['../classSVF_1_1SVFCallInst.html#a7bcd6dd2c135b3da30dcca7942d3ddb5',1,'SVF::SVFCallInst::classof(const SVFInstruction *node)'],['../classSVF_1_1SVFVirtualCallInst.html#a1d7057e02488b26ca34aefa045f733e9',1,'SVF::SVFVirtualCallInst::classof(const SVFValue *node)'],['../classSVF_1_1SVFVirtualCallInst.html#aa5c00eefbf2f2c8074c8e48b0b9a5e23',1,'SVF::SVFVirtualCallInst::classof(const SVFInstruction *node)'],['../classSVF_1_1SVFVirtualCallInst.html#a16dd17efc0762c20094e960115519c26',1,'SVF::SVFVirtualCallInst::classof(const SVFCallInst *node)'],['../classSVF_1_1SVFConstant.html#ad344f015332cfd79eb61fe734f197c51',1,'SVF::SVFConstant::classof()'],['../classSVF_1_1SVFGlobalValue.html#a5fb9b8bbaf347d99e9df5710da506c96',1,'SVF::SVFGlobalValue::classof(const SVFValue *node)'],['../classSVF_1_1SVFGlobalValue.html#a5a8b570bf9301e0269a6622f33320d4b',1,'SVF::SVFGlobalValue::classof(const SVFConstant *node)'],['../classSVF_1_1SVFArgument.html#a5656acc955ca756ad51064dee30ea07d',1,'SVF::SVFArgument::classof()'],['../classSVF_1_1SVFConstantData.html#a69777730832b61b6503f05ce80af65c3',1,'SVF::SVFConstantData::classof(const SVFValue *node)'],['../classSVF_1_1SVFConstantData.html#aaa93a599c1e8fee16aa6844cf64b8f5d',1,'SVF::SVFConstantData::classof(const SVFConstantData *node)'],['../classSVF_1_1SVFConstantInt.html#a68c3dc4b0a685397369b5116c2d31e42',1,'SVF::SVFConstantInt::classof(const SVFValue *node)'],['../classSVF_1_1SVFConstantInt.html#afd5d7569b52d4f26850b009a915b7e49',1,'SVF::SVFConstantInt::classof(const SVFConstantData *node)'],['../classSVF_1_1SVFConstantFP.html#a6f44afedce864c6ab6115f1aee4d3857',1,'SVF::SVFConstantFP::classof(const SVFValue *node)'],['../classSVF_1_1SVFConstantFP.html#a3aba9ce21649425c539695a7584dfe42',1,'SVF::SVFConstantFP::classof(const SVFConstantData *node)'],['../classSVF_1_1SVFConstantNullPtr.html#ab1b6b67fc90132d8ddbac873ced2f76e',1,'SVF::SVFConstantNullPtr::classof(const SVFValue *node)'],['../classSVF_1_1SVFConstantNullPtr.html#a3ca7ed38cf0887e21c14d8a6f18c4a59',1,'SVF::SVFConstantNullPtr::classof(const SVFConstantData *node)'],['../classSVF_1_1SVFBlackHoleValue.html#aa45bdedb7320ea07a902e474d92562c5',1,'SVF::SVFBlackHoleValue::classof(const SVFValue *node)'],['../classSVF_1_1SVFBlackHoleValue.html#ab79f7c5af1e235749b1e2d377748c5c2',1,'SVF::SVFBlackHoleValue::classof(const SVFConstantData *node)'],['../classSVF_1_1SVFOtherValue.html#ae47ccf0d62b35189416c6927136949b8',1,'SVF::SVFOtherValue::classof()'],['../classSVF_1_1SVFMetadataAsValue.html#adf70aaadd34d109de98389896d2ac4f2',1,'SVF::SVFMetadataAsValue::classof(const SVFValue *node)'],['../classSVF_1_1SVFMetadataAsValue.html#a3d62d0b7b89b3bf509b3efaa1a855221',1,'SVF::SVFMetadataAsValue::classof(const SVFOtherValue *node)'],['../classSVF_1_1ValVar.html#adbbf3c9ff5dcb10ac528d3eb4b69750c',1,'SVF::ValVar::classof(const ValVar *)'],['../classSVF_1_1ValVar.html#a71e5f4eaf74f852d3354ac6b0b65f39c',1,'SVF::ValVar::classof(const SVFVar *node)'],['../classSVF_1_1ValVar.html#a371f38564932cc04c6c4a00a99bf6c6a',1,'SVF::ValVar::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1ObjVar.html#ac127d3ee00a6bed2bdba2f24b389eb4b',1,'SVF::ObjVar::classof(const ObjVar *)'],['../classSVF_1_1ObjVar.html#a78ee2be4a346728be947ce29d3820c13',1,'SVF::ObjVar::classof(const SVFVar *node)'],['../classSVF_1_1ObjVar.html#a42b68822afc39d415db8c29079caf9c8',1,'SVF::ObjVar::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1GepValVar.html#a28e42f01110a2d0a5f1f90bca14c5035',1,'SVF::GepValVar::classof(const GepValVar *)'],['../classSVF_1_1GepValVar.html#aea2c58dc4124157a23c2cc0fe050f158',1,'SVF::GepValVar::classof(const ValVar *node)'],['../classSVF_1_1GepValVar.html#a8f8f8e21cdfcccd7523dc2371c696ad8',1,'SVF::GepValVar::classof(const SVFVar *node)'],['../classSVF_1_1GepValVar.html#a0aab756122dcce24faf556f0b7057dc1',1,'SVF::GepValVar::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1GepObjVar.html#ab3129ad98687e6352675d84373d96ffe',1,'SVF::GepObjVar::classof(const GepObjVar *)'],['../classSVF_1_1GepObjVar.html#ab6105a2f7bbd9a4e611d96f0bcac0e6c',1,'SVF::GepObjVar::classof(const ObjVar *node)'],['../classSVF_1_1GepObjVar.html#ad7fc6e6ed6fca8641c44b91ab29524bd',1,'SVF::GepObjVar::classof(const SVFVar *node)'],['../classSVF_1_1GepObjVar.html#ac3583a2d4d4ceaf820d23b43a893ac92',1,'SVF::GepObjVar::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1FIObjVar.html#a1801ca6c6cf3367eff5621fa7c788619',1,'SVF::FIObjVar::classof(const FIObjVar *)'],['../classSVF_1_1FIObjVar.html#a07ed7216777acb05861044542cc2fe66',1,'SVF::FIObjVar::classof(const ObjVar *node)'],['../classSVF_1_1FIObjVar.html#a1f6ba91fe429f55598cef983a2b3a538',1,'SVF::FIObjVar::classof(const SVFVar *node)'],['../classSVF_1_1FIObjVar.html#a73cd80e57f81d34b6295e110e3d43acc',1,'SVF::FIObjVar::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1RetPN.html#acedd9e576a077f96c0638065d4c70bcf',1,'SVF::RetPN::classof(const RetPN *)'],['../classSVF_1_1RetPN.html#a5e9d174902aa6dcfae418697363967b9',1,'SVF::RetPN::classof(const SVFVar *node)'],['../classSVF_1_1RetPN.html#a70b218109d2cc7850bbab5a4504784db',1,'SVF::RetPN::classof(const ValVar *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#a2adee91065fef72cb8f64924aa83ec0a',1,'SVF::VarArgPN::classof(const SVFVar *node)'],['../classSVF_1_1VarArgPN.html#a3a7f82ff9fe4426ae8d967460995e2cd',1,'SVF::VarArgPN::classof(const ValVar *node)'],['../classSVF_1_1VarArgPN.html#a7f873a8015eb6a6b30530a7e5a69018d',1,'SVF::VarArgPN::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1DummyValVar.html#a06c603907dce56bea44f9a4f9da4d6c7',1,'SVF::DummyValVar::classof(const DummyValVar *)'],['../classSVF_1_1DummyValVar.html#ac09e183185b178f16547bb355ccb01f3',1,'SVF::DummyValVar::classof(const SVFVar *node)'],['../classSVF_1_1DummyValVar.html#a3fbbb34ccb50e65d6d7aabe7e84e548f',1,'SVF::DummyValVar::classof(const ValVar *node)'],['../classSVF_1_1DummyValVar.html#abd4bbbbe43db12627923729a9d5a5442',1,'SVF::DummyValVar::classof(const GenericPAGNodeTy *node)'],['../classSVF_1_1DummyObjVar.html#a543ca59bd39740d1080fe4702bc2fd69',1,'SVF::DummyObjVar::classof(const DummyObjVar *)'],['../classSVF_1_1DummyObjVar.html#a9552d717a869b0ec6678843a56fc8695',1,'SVF::DummyObjVar::classof(const SVFVar *node)'],['../classSVF_1_1DummyObjVar.html#aabbc9127565b4c336b28d433297fa37f',1,'SVF::DummyObjVar::classof(const ObjVar *node)'],['../classSVF_1_1DummyObjVar.html#a6aefb8e6612cb6322e064ac3521fa849',1,'SVF::DummyObjVar::classof(const GenericPAGNodeTy *node)'],['../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_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']]],
-  ['clear',['clear',['../classSVF_1_1IntervalExeState.html#a4723715a8d9be3021b39082432d99375',1,'SVF::IntervalExeState::clear()'],['../classSVF_1_1CFLFIFOWorkList.html#a0899c25a81dfad2d134785c31ab6ad56',1,'SVF::CFLFIFOWorkList::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#a712da72277711b9aa1b33a197f6ff23f',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#a492df7c388e3f616e60b63630b8c37c5',1,'SVF::PersistentPTData::clear()'],['../classSVF_1_1PersistentDiffPTData.html#ae7e3ba711b38a3fe382d690ee24d7912',1,'SVF::PersistentDiffPTData::clear()'],['../classSVF_1_1PersistentDFPTData.html#ab91a95d661a95bb307b011c46f4dcee8',1,'SVF::PersistentDFPTData::clear()'],['../classSVF_1_1PersistentIncDFPTData.html#ad7785e4207e0b45aed72845af6c4916f',1,'SVF::PersistentIncDFPTData::clear()'],['../classSVF_1_1PersistentVersionedPTData.html#af27a907b6207cc1c9f3f72f15a0c7c0a',1,'SVF::PersistentVersionedPTData::clear()'],['../classSVF_1_1PointsTo.html#a14ce3ef70959f10e777e1090fd697116',1,'SVF::PointsTo::clear()'],['../classSVF_1_1CoreBitVector.html#a1e523bab1013a9f3e9eaea56e53afa58',1,'SVF::CoreBitVector::clear()'],['../classSVF_1_1SCCDetection.html#a3323ba77ae690533a0edcaebe82e20f5',1,'SVF::SCCDetection::clear()'],['../classSVF_1_1SparseBitVector.html#a5afe3e74412a1f3f728d7e0eaae70c13',1,'SVF::SparseBitVector::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_1IntervalExeState.html#a4723715a8d9be3021b39082432d99375',1,'SVF::IntervalExeState::clear()'],['../classSVF_1_1CFLData.html#add6e4c022793302af571cfd251de1f51',1,'SVF::CFLData::clear()'],['../classSVF_1_1CFLFIFOWorkList.html#a0899c25a81dfad2d134785c31ab6ad56',1,'SVF::CFLFIFOWorkList::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#a712da72277711b9aa1b33a197f6ff23f',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#a492df7c388e3f616e60b63630b8c37c5',1,'SVF::PersistentPTData::clear()'],['../classSVF_1_1PersistentDiffPTData.html#ae7e3ba711b38a3fe382d690ee24d7912',1,'SVF::PersistentDiffPTData::clear()'],['../classSVF_1_1PersistentDFPTData.html#ab91a95d661a95bb307b011c46f4dcee8',1,'SVF::PersistentDFPTData::clear()'],['../classSVF_1_1PersistentIncDFPTData.html#ad7785e4207e0b45aed72845af6c4916f',1,'SVF::PersistentIncDFPTData::clear()'],['../classSVF_1_1PersistentVersionedPTData.html#af27a907b6207cc1c9f3f72f15a0c7c0a',1,'SVF::PersistentVersionedPTData::clear()'],['../classSVF_1_1PointsTo.html#a14ce3ef70959f10e777e1090fd697116',1,'SVF::PointsTo::clear()'],['../classSVF_1_1CoreBitVector.html#a1e523bab1013a9f3e9eaea56e53afa58',1,'SVF::CoreBitVector::clear()'],['../classSVF_1_1SCCDetection.html#a3323ba77ae690533a0edcaebe82e20f5',1,'SVF::SCCDetection::clear()'],['../classSVF_1_1SparseBitVector.html#a5afe3e74412a1f3f728d7e0eaae70c13',1,'SVF::SparseBitVector::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#a6af27fbe2c38c4d40d8df5aa1c765f62',1,'SVF::PersistentDFPTData::clearAllDFOutUpdatedVar()'],['../classSVF_1_1PersistentIncDFPTData.html#ab41bf3e2ba1700ae6116702fb5ce8efe',1,'SVF::PersistentIncDFPTData::clearAllDFOutUpdatedVar()']]],
   ['clearalldfoutvarflag',['clearAllDFOutVarFlag',['../classSVF_1_1FlowSensitive.html#a9622f0b7b16694b0c74b07834f598e67',1,'SVF::FlowSensitive']]],
   ['clearallpts',['clearAllPts',['../classSVF_1_1BVDataPTAImpl.html#a4426df37aeabeb94d301373b55a53c20',1,'SVF::BVDataPTAImpl']]],
   ['clearbkvisited',['clearbkVisited',['../classSVF_1_1DDAVFSolver.html#aa7e5839c5bc6f913561de10bce61e74b',1,'SVF::DDAVFSolver']]],
   ['clearcfcond',['clearCFCond',['../classSVF_1_1ProgSlice.html#ab514f387ae2122e919030c5006f1bbce',1,'SVF::ProgSlice::clearCFCond()'],['../classSVF_1_1SaberCondAllocator.html#a5406e73b860c419143035ee3774e7c1c',1,'SVF::SaberCondAllocator::clearCFCond()']]],
+  ['clearedges',['clearEdges',['../classSVF_1_1CFLData.html#af9427cd02ab98f3a265c92ca5b60131f',1,'SVF::CFLData']]],
   ['clearflagmap',['clearFlagMap',['../classSVF_1_1LockAnalysis.html#adffd808458057544e3492c7afffeeebe',1,'SVF::LockAnalysis::clearFlagMap()'],['../classSVF_1_1ForkJoinAnalysis.html#a7965a276a3a12d532c9967de13d4cc8a',1,'SVF::ForkJoinAnalysis::clearFlagMap()']]],
   ['clearfullpts',['clearFullPts',['../classSVF_1_1PTData.html#a877888f12d9f8048002cc0e6b83d45ac',1,'SVF::PTData::clearFullPts()'],['../classSVF_1_1VersionedPTData.html#a4bfd083fae6ff689945ed34632e208e9',1,'SVF::VersionedPTData::clearFullPts()'],['../classSVF_1_1MutablePTData.html#a3bf34d8040779b4d251bb08a58604d77',1,'SVF::MutablePTData::clearFullPts()'],['../classSVF_1_1MutableDiffPTData.html#a8b6e2e5e016a5ae00ae440e3f383bb16',1,'SVF::MutableDiffPTData::clearFullPts()'],['../classSVF_1_1MutableDFPTData.html#ab345e148997b9e1c6e4c2c76267880b7',1,'SVF::MutableDFPTData::clearFullPts()'],['../classSVF_1_1MutableVersionedPTData.html#a9f985ff2daee53fb661e4b2bcfd17f05',1,'SVF::MutableVersionedPTData::clearFullPts(const Key &k) override'],['../classSVF_1_1MutableVersionedPTData.html#aaf3df7501f84233f6a687ef9f2f0ae90',1,'SVF::MutableVersionedPTData::clearFullPts(const VersionedKey &vk) override'],['../classSVF_1_1PersistentPTData.html#ae64bcb3ba179e934653e0ebfa2c18d8d',1,'SVF::PersistentPTData::clearFullPts()'],['../classSVF_1_1PersistentDiffPTData.html#af686e607c3dd26a08a36c4212107d78d',1,'SVF::PersistentDiffPTData::clearFullPts()'],['../classSVF_1_1PersistentDFPTData.html#a044c27920b947da4302d5214a3de580b',1,'SVF::PersistentDFPTData::clearFullPts()'],['../classSVF_1_1PersistentVersionedPTData.html#a080969ab00b584d44ea9afbd2baa740a',1,'SVF::PersistentVersionedPTData::clearFullPts(const Key &k) override'],['../classSVF_1_1PersistentVersionedPTData.html#a7560a47f1e8894b9025b779c4794138c',1,'SVF::PersistentVersionedPTData::clearFullPts(const VersionedKey &vk) override'],['../classSVF_1_1BVDataPTAImpl.html#afdb10c2cce4935156566ea1c2daf9ea9',1,'SVF::BVDataPTAImpl::clearFullPts()']]],
   ['clearmssa',['clearMSSA',['../classSVF_1_1SVFG.html#aeba803e60699f9d9422596d161d44241',1,'SVF::SVFG']]],

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

@@ -1,6 +1,5 @@
 var searchData=
 [
-  ['daa',['DAA',['../dda_8cpp.html#a55c1167d4e6efe7828f050d978291725',1,'dda.cpp']]],
   ['dchedge',['DCHEdge',['../classSVF_1_1DCHEdge.html#a17e3db6d11e0752064194ffc46cd9afe',1,'SVF::DCHEdge']]],
   ['dchgraph',['DCHGraph',['../classSVF_1_1DCHGraph.html#a7cbea4d5399333497faa3f8d213e365e',1,'SVF::DCHGraph']]],
   ['dchnode',['DCHNode',['../classSVF_1_1DCHNode.html#a3e81cc40aa1c37999cead00f1af85a6e',1,'SVF::DCHNode']]],
@@ -20,7 +19,6 @@ var searchData=
   ['determinebestmapping',['determineBestMapping',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3f86e733cc075180e9682887c554b8fa',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['dfn',['dfn',['../classSVF_1_1Wto.html#a006b9a59b5927401455be0dedf3480b0',1,'SVF::Wto']]],
   ['dfptdata',['DFPTData',['../classSVF_1_1DFPTData.html#a40016a7e3dac46d9ba854d336c7aae83',1,'SVF::DFPTData']]],
-  ['dfreechecker',['DFREECHECKER',['../saber_8cpp.html#ae783b2330e99490ef5d366605d1098cf',1,'saber.cpp']]],
   ['diffptdata',['DiffPTData',['../classSVF_1_1DiffPTData.html#ac7e9661cfb4d5af3ef35d323ddc35558',1,'SVF::DiffPTData']]],
   ['direct_5fchild_5fbegin',['direct_child_begin',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a46c6957a8771d6e52dc71d5f7b3c4e81',1,'SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >']]],
   ['direct_5fchild_5fend',['direct_child_end',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a543da98c9818fbfd235152beab355e9c',1,'SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >']]],

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

@@ -13,10 +13,7 @@ var searchData=
   ['emplacepts',['emplacePts',['../classSVF_1_1PersistentPointsToCache.html#a98d176e384469e0308bfee2061ef84b5',1,'SVF::PersistentPointsToCache']]],
   ['empty',['empty',['../classSVF_1_1AddressValue.html#aa7291f4b74bb824fb38b8c383fa0b6a0',1,'SVF::AddressValue::empty()'],['../classSVF_1_1CFLFIFOWorkList.html#aa0ce832f5eeae74d52260fd8954d545f',1,'SVF::CFLFIFOWorkList::empty()'],['../classSVF_1_1CondStdSet.html#a0305cbf452b4e858e464023727417d76',1,'SVF::CondStdSet::empty()'],['../classSVF_1_1CondPointsToSet.html#aca84f0f9e09686d9f30f309d36267aff',1,'SVF::CondPointsToSet::empty()'],['../classSVF_1_1PointsTo.html#a13746982a11d0cab57e5919d53bfbec8',1,'SVF::PointsTo::empty()'],['../classSVF_1_1LLVMModuleSet.html#ae19e38054c55d5822dfc83a12f12aa60',1,'SVF::LLVMModuleSet::empty()'],['../classSVF_1_1CoreBitVector.html#a98b9795b4fdc74d9d2efa9a3f2ecb62f',1,'SVF::CoreBitVector::empty()'],['../classSVF_1_1iter__range.html#ad8b380db56076165a0324922daa2e850',1,'SVF::iter_range::empty()'],['../structSVF_1_1SparseBitVectorElement.html#ac3a4795681af74563d757f587252aa7f',1,'SVF::SparseBitVectorElement::empty()'],['../classSVF_1_1SparseBitVector.html#aea5389ad7e5fe4c8bef686940a1a6056',1,'SVF::SparseBitVector::empty()'],['../classSVF_1_1List.html#a063246d2aa23e389e513c5498ff33aca',1,'SVF::List::empty()'],['../classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8',1,'SVF::FIFOWorkList::empty()'],['../classSVF_1_1FILOWorkList.html#a071a624c91def82a4bbbf3806c7b7eea',1,'SVF::FILOWorkList::empty()']]],
   ['emptypointstoid',['emptyPointsToId',['../classSVF_1_1PersistentPointsToCache.html#a921a4ef4c72ccde5724860f98ad62a57',1,'SVF::PersistentPointsToCache']]],
-  ['enablecontext',['ENABLECONTEXT',['../dda_8cpp.html#a1fe1900e000a62ca91dc0651bfa3a24f',1,'dda.cpp']]],
-  ['enablefield',['ENABLEFIELD',['../dda_8cpp.html#adad2a8a1b2f5bf9f333382725f174cb0',1,'dda.cpp']]],
-  ['enableflow',['ENABLEFLOW',['../dda_8cpp.html#af95c31f8cf35812a4fe4a22342aacaa2',1,'dda.cpp']]],
-  ['end',['end',['../classSVF_1_1AddressValue.html#a6f8186d1df43be4fbd0a48f724046372',1,'SVF::AddressValue::end()'],['../classSVF_1_1WtoNesting.html#a1d1f51a9b6dc966ba29705898c82f7a8',1,'SVF::WtoNesting::end()'],['../classSVF_1_1WtoCycle.html#a5d758afdf454b6993360527b4319b3b0',1,'SVF::WtoCycle::end()'],['../classSVF_1_1Wto.html#a2fdacb77aff2067f6aff2b3cb4b408b9',1,'SVF::Wto::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#a6e2ff63437d07a30cc6db35de032728a',1,'SVF::PointsTo::end()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a4f13b7cccd69bdac2a4f5feff5625f01',1,'llvm::generic_bridge_gep_type_iterator::end()'],['../classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31',1,'SVF::SVFModule::end()'],['../classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc',1,'SVF::SVFModule::end() const'],['../classSVF_1_1SVFFunction.html#a2f274c3af098ae6a5919246b1b88e7b7',1,'SVF::SVFFunction::end()'],['../classSVF_1_1SVFBasicBlock.html#ab65173c2668b80643cb96e8133e5ea0a',1,'SVF::SVFBasicBlock::end()'],['../classSVF_1_1CoreBitVector.html#a93cdd9890522cc9fee2451567e0b1f0d',1,'SVF::CoreBitVector::end()'],['../classSVF_1_1ContextCond.html#a4b56b54896a1241032d7614309829399',1,'SVF::ContextCond::end()'],['../classSVF_1_1iter__range.html#a86124761467c76a7f7b0926b47d4f031',1,'SVF::iter_range::end()'],['../classSVF_1_1SparseBitVector.html#a1b5abe09fd0fcd337385653cb47343c1',1,'SVF::SparseBitVector::end()']]],
+  ['end',['end',['../classSVF_1_1AddressValue.html#a6f8186d1df43be4fbd0a48f724046372',1,'SVF::AddressValue::end()'],['../classSVF_1_1WtoNesting.html#a1d1f51a9b6dc966ba29705898c82f7a8',1,'SVF::WtoNesting::end()'],['../classSVF_1_1WtoCycle.html#a5d758afdf454b6993360527b4319b3b0',1,'SVF::WtoCycle::end()'],['../classSVF_1_1Wto.html#a2fdacb77aff2067f6aff2b3cb4b408b9',1,'SVF::Wto::end()'],['../classSVF_1_1CFLData.html#aaab737512ca958a7f43e27bbcac23285',1,'SVF::CFLData::end() const'],['../classSVF_1_1CFLData.html#a013a6273943a633d33ded9705a0f7d19',1,'SVF::CFLData::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#a6e2ff63437d07a30cc6db35de032728a',1,'SVF::PointsTo::end()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a4f13b7cccd69bdac2a4f5feff5625f01',1,'llvm::generic_bridge_gep_type_iterator::end()'],['../classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31',1,'SVF::SVFModule::end()'],['../classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc',1,'SVF::SVFModule::end() const'],['../classSVF_1_1SVFFunction.html#a2f274c3af098ae6a5919246b1b88e7b7',1,'SVF::SVFFunction::end()'],['../classSVF_1_1SVFBasicBlock.html#ab65173c2668b80643cb96e8133e5ea0a',1,'SVF::SVFBasicBlock::end()'],['../classSVF_1_1CoreBitVector.html#a93cdd9890522cc9fee2451567e0b1f0d',1,'SVF::CoreBitVector::end()'],['../classSVF_1_1ContextCond.html#a4b56b54896a1241032d7614309829399',1,'SVF::ContextCond::end()'],['../classSVF_1_1iter__range.html#a86124761467c76a7f7b0926b47d4f031',1,'SVF::iter_range::end()'],['../classSVF_1_1SparseBitVector.html#a1b5abe09fd0fcd337385653cb47343c1',1,'SVF::SparseBitVector::end()']]],
   ['endclk',['endClk',['../classSVF_1_1SVFStat.html#a1b7f1e3381de87f75f06cddb9c6c1ec1',1,'SVF::SVFStat']]],
   ['endsymbolallocation',['endSymbolAllocation',['../classSVF_1_1NodeIDAllocator.html#a92b053f79cfa1259603836cb0aacad7d',1,'SVF::NodeIDAllocator']]],
   ['ensure',['ensure',['../cJSON_8cpp.html#a3faa1600bc8001eaed05f16060668ce6',1,'cJSON.cpp']]],
@@ -49,6 +46,7 @@ var searchData=
   ['extractattributestrfromsymbolstr',['extractAttributeStrFromSymbolStr',['../classSVF_1_1GrammarBase.html#a9f56cebea336079e35f5f3a288eb356f',1,'SVF::GrammarBase']]],
   ['extractcmpvars',['extractCmpVars',['../classSVF_1_1RelExeState.html#af32619ee086ab307c68923f7c66896aa',1,'SVF::RelExeState']]],
   ['extractkindstrfromsymbolstr',['extractKindStrFromSymbolStr',['../classSVF_1_1GrammarBase.html#a9cc406edc117b3abd07a85f66ca892a0',1,'SVF::GrammarBase']]],
+  ['extractpossibilitydescriptions',['extractPossibilityDescriptions',['../classOptionBase.html#a21e8ccc08eef254ceee53185a717301d',1,'OptionBase']]],
   ['extractsubconds',['extractSubConds',['../classSVF_1_1SaberCondAllocator.html#a9f43fe1cacf419f03276d66c3a54fe77',1,'SVF::SaberCondAllocator']]],
   ['extractsubvars',['extractSubVars',['../classSVF_1_1RelExeState.html#a3393f160508c33e68ebedd042d1d296f',1,'SVF::RelExeState']]],
   ['exttype_5ftostring',['extType_toString',['../classSVF_1_1ExtAPI.html#aa98b80dc86d0549183ec69b44b391bd7',1,'SVF::ExtAPI']]]

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

@@ -4,7 +4,7 @@ var searchData=
   ['fc_5fisnan',['fc_isnan',['../fastcluster_8cpp.html#a8abcd9d66492e761592578e82ce2cba0',1,'fastcluster.cpp']]],
   ['fieldexpand',['fieldExpand',['../classSVF_1_1AndersenSFR.html#aa768e5cd0a762d17e2ec2baaad0486bf',1,'SVF::AndersenSFR']]],
   ['fifoworklist',['FIFOWorkList',['../classSVF_1_1FIFOWorkList.html#a1d3ab8bea4d8f94b935d1bef3cf0c4ac',1,'SVF::FIFOWorkList']]],
-  ['filechecker',['FileChecker',['../classSVF_1_1FileChecker.html#a283b5e46aba5e964f0a54abc33fcb7b6',1,'SVF::FileChecker::FileChecker()'],['../saber_8cpp.html#ae054770c30aa9b9ef72d5bc84084b472',1,'FILECHECKER(): saber.cpp']]],
+  ['filechecker',['FileChecker',['../classSVF_1_1FileChecker.html#a283b5e46aba5e964f0a54abc33fcb7b6',1,'SVF::FileChecker']]],
   ['fillattribute',['fillAttribute',['../classSVF_1_1CFGNormalizer.html#aec174ad01529a195b710b2f628f9c0d6',1,'SVF::CFGNormalizer']]],
   ['filoworklist',['FILOWorkList',['../classSVF_1_1FILOWorkList.html#ab447c6c1a59cd81982626d25d00d57de',1,'SVF::FILOWorkList']]],
   ['finalbit',['finalBit',['../classSVF_1_1CoreBitVector.html#a8825e54f584be8aa0ff627335064244e',1,'SVF::CoreBitVector']]],
@@ -39,6 +39,7 @@ var searchData=
   ['forwardsliceend',['forwardSliceEnd',['../classSVF_1_1ProgSlice.html#add10d8fd041ac7e6eb611df8a6b1384b',1,'SVF::ProgSlice']]],
   ['forwardtraverse',['forwardTraverse',['../classSVF_1_1SrcSnkSolver.html#ab0a1ee24b5899d54b65f0c7a92b7b52d',1,'SVF::SrcSnkSolver::forwardTraverse()'],['../classSVF_1_1GraphReachSolver.html#ad1ad147241183e1077a4691ebe7861b5',1,'SVF::GraphReachSolver::forwardTraverse()']]],
   ['forwardvisited',['forwardVisited',['../classSVF_1_1SrcSnkDDA.html#a8c86d30498e86745883fbaea4f530eae',1,'SVF::SrcSnkDDA']]],
+  ['fromstring',['fromString',['../classOption.html#abcd65f7f3f269cba1456455980be8322',1,'Option::fromString(const std::string s, bool &value)'],['../classOption.html#a90cb730780483d0b45378ffbab1b7226',1,'Option::fromString(const std::string s, std::string &value)'],['../classOption.html#a40a506940beb76487183260d6c73eabf',1,'Option::fromString(const std::string s, u32_t &value)']]],
   ['front',['front',['../classSVF_1_1SVFFunction.html#a3a482ac970b808b932f9f50f0e0703e5',1,'SVF::SVFFunction::front()'],['../classSVF_1_1SVFBasicBlock.html#a7bde256bc906af7f7204929019f4a33e',1,'SVF::SVFBasicBlock::front()'],['../classSVF_1_1FIFOWorkList.html#af58263ff13106f215a027badae017e52',1,'SVF::FIFOWorkList::front()']]],
   ['fsmpta',['FSMPTA',['../classSVF_1_1FSMPTA.html#a551da3b02d2387cd551365e4c61e4d35',1,'SVF::FSMPTA']]],
   ['functiondoesnotret',['functionDoesNotRet',['../namespaceSVF_1_1LLVMUtil.html#a651b6a1cf3665277d2241220bb145aed',1,'SVF::LLVMUtil']]],

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

@@ -464,7 +464,7 @@ var searchData=
   ['getname',['getName',['../classSVF_1_1CHNode.html#af6e71c1a932464b1b615fc177f5af089',1,'SVF::CHNode::getName()'],['../classSVF_1_1DCHNode.html#a089af6085dec833b58133a9e834dab54',1,'SVF::DCHNode::getName()'],['../classSVF_1_1SVFValue.html#a68b40576b24c4cb81cc3ba75550f4654',1,'SVF::SVFValue::getName()']]],
   ['getnextcollapsenode',['getNextCollapseNode',['../classSVF_1_1ConstraintGraph.html#a006667ed55132ca0909c0e9118fea704',1,'SVF::ConstraintGraph']]],
   ['getnextinsts',['getNextInsts',['../namespaceSVF_1_1LLVMUtil.html#a3b2ca48c72fba877c6cb3d52e23704e3',1,'SVF::LLVMUtil::getNextInsts(const Instruction *curInst, std::vector< const SVFInstruction *> &instList)'],['../namespaceSVF_1_1LLVMUtil.html#a752d53b6b65d892d0e579aafe70083b4',1,'SVF::LLVMUtil::getNextInsts(const Instruction *curInst, std::vector< const Instruction *> &instList)']]],
-  ['getnode',['getNode',['../classSVF_1_1CHGraph.html#a7beec68a60036c93a741a7152e8198b6',1,'SVF::CHGraph::getNode()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a2fe6388f27ab97ed38a52b6af3f3ca58',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::getNode()'],['../classSVF_1_1SrcSnkSolver.html#a18008d5496010aa5f54aade230bd64ff',1,'SVF::SrcSnkSolver::getNode()'],['../classSVF_1_1DCHGraph.html#a96c68bbb5ee5e939158ce0b67da2c61d',1,'SVF::DCHGraph::getNode()'],['../classSVF_1_1GraphReachSolver.html#a0b7f0923105dfb198a2a8428d6c1ca98',1,'SVF::GraphReachSolver::getNode()']]],
+  ['getnode',['getNode',['../classSVF_1_1HybridData.html#ab27e0428efc2db15a97238f2e17e9e73',1,'SVF::HybridData::getNode()'],['../classSVF_1_1CHGraph.html#a7beec68a60036c93a741a7152e8198b6',1,'SVF::CHGraph::getNode()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a2fe6388f27ab97ed38a52b6af3f3ca58',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::getNode()'],['../classSVF_1_1SrcSnkSolver.html#a18008d5496010aa5f54aade230bd64ff',1,'SVF::SrcSnkSolver::getNode()'],['../classSVF_1_1DCHGraph.html#a96c68bbb5ee5e939158ce0b67da2c61d',1,'SVF::DCHGraph::getNode()'],['../classSVF_1_1GraphReachSolver.html#a0b7f0923105dfb198a2a8428d6c1ca98',1,'SVF::GraphReachSolver::getNode()']]],
   ['getnodeattributes',['getNodeAttributes',['../structSVF_1_1DefaultDOTGraphTraits.html#a3438f5f1ed763f2f7818535f212ff43b',1,'SVF::DefaultDOTGraphTraits::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a35499a5e7010339f4333cead3b2c4cfc',1,'SVF::DOTGraphTraits< CFLGraph * >::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a8109531ce97bb08828b06f2203c3b347',1,'SVF::DOTGraphTraits< CHGraph * >::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a646cb350726d62532cda229aaf6af9cc',1,'SVF::DOTGraphTraits< ConstraintGraph * >::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#ada6dd55df689908741823e8e3a3cf289',1,'SVF::DOTGraphTraits< ICFG * >::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a3f073b3b89256914a1582dabebd308e9',1,'SVF::DOTGraphTraits< IRGraph * >::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#ab35af67d234b32aeb2bed4336058cb57',1,'SVF::DOTGraphTraits< PTACallGraph * >::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ad851a3820df828f0598046e0c953330c',1,'SVF::DOTGraphTraits< SVFG * >::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a58fa641de3db32b97edcb60a64004270',1,'SVF::DOTGraphTraits< VFG * >::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a61074356d304d9f1e4a2b9870f6e0fcd',1,'SVF::DOTGraphTraits< TCT * >::getNodeAttributes()']]],
   ['getnodedescription',['getNodeDescription',['../structSVF_1_1DefaultDOTGraphTraits.html#af5800f2d8efa24fee85f03871c07df21',1,'SVF::DefaultDOTGraphTraits']]],
   ['getnodeid',['getNodeID',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ad35b19e918b1d6807ed2296dd8394093',1,'SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::getNodeID()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a006d75a6017fe36fd052640a7b6ff108',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::getNodeID()']]],
@@ -506,6 +506,8 @@ var searchData=
   ['getopicfgnode',['getOpICFGNode',['../classSVF_1_1PhiStmt.html#a0b97394bc1946c0185d2c11fbc2181f4',1,'SVF::PhiStmt']]],
   ['getopincomingbb',['getOpIncomingBB',['../classSVF_1_1IntraPHIVFGNode.html#a3a6ef9d2b10a6f2f1ac1b25590f56a70',1,'SVF::IntraPHIVFGNode']]],
   ['getopndvars',['getOpndVars',['../classSVF_1_1MultiOpndStmt.html#a0441f2646fed28830439c41a0704ed4b',1,'SVF::MultiOpndStmt']]],
+  ['getoption',['getOption',['../classOptionBase.html#abf205790830ba8c3bb7097701ca86a69',1,'OptionBase']]],
+  ['getoptionsmap',['getOptionsMap',['../classOptionBase.html#ac68017dd45d05c5fe26ae04bb58f903c',1,'OptionBase']]],
   ['getopvar',['getOpVar',['../classSVF_1_1UnaryOPVFGNode.html#adb0928a2547397d0ac2bbc2cf261d595',1,'SVF::UnaryOPVFGNode::getOpVar()'],['../classSVF_1_1MultiOpndStmt.html#a18f9d9ea87def35d4eaa707a339316b8',1,'SVF::MultiOpndStmt::getOpVar()'],['../classSVF_1_1UnaryOPStmt.html#abde2b32d5bbd37df0e194b1a4e78483b',1,'SVF::UnaryOPStmt::getOpVar()']]],
   ['getopvarid',['getOpVarID',['../classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59',1,'SVF::MultiOpndStmt::getOpVarID()'],['../classSVF_1_1UnaryOPStmt.html#a8029b46bccda153ca2e677686c2655e2',1,'SVF::UnaryOPStmt::getOpVarID()']]],
   ['getopvarnum',['getOpVarNum',['../classSVF_1_1MultiOpndStmt.html#af300571886b7aa2d84b0a70851c99bc3',1,'SVF::MultiOpndStmt']]],
@@ -554,6 +556,8 @@ var searchData=
   ['getpredecessors',['getPredecessors',['../classSVF_1_1SVFBasicBlock.html#ac6fabc508f6b64127bb597f7b2110231',1,'SVF::SVFBasicBlock']]],
   ['getpredicate',['getPredicate',['../classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632',1,'SVF::CmpStmt']]],
   ['getpredinstructions',['getPredInstructions',['../classSVF_1_1SVFInstruction.html#acc18d048b6f6b07bf1786980bb2d74f8',1,'SVF::SVFInstruction::getPredInstructions()'],['../classSVF_1_1SVFInstruction.html#a51c967b9e808b077562fbf25a04bafdc',1,'SVF::SVFInstruction::getPredInstructions() const']]],
+  ['getpredmap',['getPredMap',['../classSVF_1_1CFLData.html#a997fd769bab5e47a648f080796e6ce5a',1,'SVF::CFLData::getPredMap()'],['../classSVF_1_1CFLData.html#a375add3c76a44eef188d12661d8170da',1,'SVF::CFLData::getPredMap(const NodeID key)']]],
+  ['getpreds',['getPreds',['../classSVF_1_1CFLData.html#a27871f50a6b24770a7c8e4a7a1c42820',1,'SVF::CFLData']]],
   ['getprevinsts',['getPrevInsts',['../namespaceSVF_1_1LLVMUtil.html#ae9ddfd95ec4a36537f582acad0262e70',1,'SVF::LLVMUtil::getPrevInsts(const Instruction *curInst, std::vector< const SVFInstruction *> &instList)'],['../namespaceSVF_1_1LLVMUtil.html#af904cd58192dccb85572cfa95f5ea670',1,'SVF::LLVMUtil::getPrevInsts(const Instruction *curInst, std::vector< const Instruction *> &instList)']]],
   ['getpreviousmemoryaccessinst',['getPreviousMemoryAccessInst',['../classSVF_1_1MTAResultValidator.html#ab3ba3c6d9c40e97febdab0e7d4ad9a3e',1,'SVF::MTAResultValidator::getPreviousMemoryAccessInst()'],['../classSVF_1_1RaceResultValidator.html#ad029f7a9a5161191a44d1e841f9d6114',1,'SVF::RaceResultValidator::getPreviousMemoryAccessInst()'],['../classSVF_1_1LockResultValidator.html#a0be1cdab3c36835044e3b26d5d8402e6',1,'SVF::LockResultValidator::getPreviousMemoryAccessInst()'],['../classSVF_1_1MTAResultValidator.html#a2ddf3189b3f90986752282b1c6bd003d',1,'SVF::MTAResultValidator::getPreviousMemoryAccessInst()'],['../classSVF_1_1RaceResultValidator.html#ad029f7a9a5161191a44d1e841f9d6114',1,'SVF::RaceResultValidator::getPreviousMemoryAccessInst()']]],
   ['getprevnodes',['getPrevNodes',['../classSVF_1_1MTASVFGBuilder.html#a7b034f9f8f01823ecfb7f6c17e47b502',1,'SVF::MTASVFGBuilder']]],
@@ -654,7 +658,9 @@ var searchData=
   ['getsuccessorcondvalue',['getSuccessorCondValue',['../classSVF_1_1IntraCFGEdge.html#a6a4ba7a362bae8bff69ccad07df61119',1,'SVF::IntraCFGEdge::getSuccessorCondValue()'],['../classSVF_1_1BranchStmt.html#a0881e8decb0bfe2066995d9d729d1aad',1,'SVF::BranchStmt::getSuccessorCondValue()']]],
   ['getsuccessors',['getSuccessors',['../classSVF_1_1BranchVFGNode.html#a2ef5951de4760d28adb9d82b22067360',1,'SVF::BranchVFGNode::getSuccessors()'],['../classSVF_1_1BranchStmt.html#a93040c884df211ac62d53ceafdd9c4dd',1,'SVF::BranchStmt::getSuccessors()'],['../classSVF_1_1SVFBasicBlock.html#a66f51cd41e93ad055c4a0c2874e73fae',1,'SVF::SVFBasicBlock::getSuccessors()']]],
   ['getsuccinstructions',['getSuccInstructions',['../classSVF_1_1SVFInstruction.html#a281d6b024afeeb96bac281eb23ce3f1f',1,'SVF::SVFInstruction::getSuccInstructions()'],['../classSVF_1_1SVFInstruction.html#a6364671e823166d1192bf791a8dd412b',1,'SVF::SVFInstruction::getSuccInstructions() const']]],
+  ['getsuccmap',['getSuccMap',['../classSVF_1_1CFLData.html#ae764a0df4fe6ad0791418f617bae6e38',1,'SVF::CFLData::getSuccMap()'],['../classSVF_1_1CFLData.html#a130dce5452773ab1b3c4612519f19f55',1,'SVF::CFLData::getSuccMap(const NodeID key)']]],
   ['getsuccnodes',['getSuccNodes',['../classSVF_1_1MTASVFGBuilder.html#a7033805052c8fae5cd0104fdd9e345c0',1,'SVF::MTASVFGBuilder::getSuccNodes(const StmtSVFGNode *n)'],['../classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53',1,'SVF::MTASVFGBuilder::getSuccNodes(const StmtSVFGNode *n, NodeID o)']]],
+  ['getsuccs',['getSuccs',['../classSVF_1_1CFLData.html#a4143cd55f9b844d35c1d8bf457db2cd4',1,'SVF::CFLData']]],
   ['getsvfargument',['getSVFArgument',['../classSVF_1_1LLVMModuleSet.html#ad3f66b40ad360003845253f452d6a711',1,'SVF::LLVMModuleSet']]],
   ['getsvfbasicblock',['getSVFBasicBlock',['../classSVF_1_1LLVMModuleSet.html#ab0c0f321b6bfbfab2e4ff06d81920ab9',1,'SVF::LLVMModuleSet']]],
   ['getsvfcallsite',['getSVFCallSite',['../classSVF_1_1ThreadAPI.html#a9c1e40279cc3b13a3b449b31131d88bc',1,'SVF::ThreadAPI::getSVFCallSite()'],['../namespaceSVF_1_1SVFUtil.html#a9815a5b31ac7dc21239d08e5b9f61106',1,'SVF::SVFUtil::getSVFCallSite(const SVFInstruction *inst)'],['../namespaceSVF_1_1SVFUtil.html#af985ceea64e3e61cf1b5c78467248c2d',1,'SVF::SVFUtil::getSVFCallSite(const SVFValue *value)']]],

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

@@ -67,7 +67,7 @@ var searchData=
   ['hasdfoutset',['hasDFOutSet',['../classSVF_1_1DFPTData.html#a31592c6086318f889749f55e80310e03',1,'SVF::DFPTData::hasDFOutSet(LocID loc) const =0'],['../classSVF_1_1DFPTData.html#a1c108dbe8148efc3cccd33d5ae1e88b4',1,'SVF::DFPTData::hasDFOutSet(LocID loc, const Key &var) const =0'],['../classSVF_1_1MutableDFPTData.html#ac6d487a4af529ecb30366be54b29260a',1,'SVF::MutableDFPTData::hasDFOutSet(LocID loc) const override'],['../classSVF_1_1MutableDFPTData.html#af6d234ae2b0aa91b510f3a2fba877340',1,'SVF::MutableDFPTData::hasDFOutSet(LocID loc, const Key &var) const override'],['../classSVF_1_1PersistentDFPTData.html#af8e866e13c7ba87a33b0da0a769d4372',1,'SVF::PersistentDFPTData::hasDFOutSet(LocID loc) const override'],['../classSVF_1_1PersistentDFPTData.html#a4e0a1656047e6a1e53a1377d23d251bd',1,'SVF::PersistentDFPTData::hasDFOutSet(LocID loc, const Key &var) const override']]],
   ['hasdrcheckflag',['hasDRCheckFlag',['../classSVF_1_1Annotator.html#a6e958c20d7809545b026eb5246444711',1,'SVF::Annotator::hasDRCheckFlag(Instruction *inst) const'],['../classSVF_1_1Annotator.html#abc2d4a40ac8a0d70428b5066266f861c',1,'SVF::Annotator::hasDRCheckFlag(const Instruction *inst) const']]],
   ['hasdrnotcheckflag',['hasDRNotCheckFlag',['../classSVF_1_1Annotator.html#ad78f6de28e5474614f16707e1c599f48',1,'SVF::Annotator::hasDRNotCheckFlag(Instruction *inst) const'],['../classSVF_1_1Annotator.html#a11d7bfcb525e4fb74e3031dd9a2635fe',1,'SVF::Annotator::hasDRNotCheckFlag(const Instruction *inst) const']]],
-  ['hasedge',['hasEdge',['../classSVF_1_1CFLGraph.html#aca4c22dd10f65bcde5dadb7688544b50',1,'SVF::CFLGraph::hasEdge()'],['../classSVF_1_1ConstraintGraph.html#a5f57823a4918f6c6bfee9c18beddda51',1,'SVF::ConstraintGraph::hasEdge()'],['../classSVF_1_1DCHGraph.html#a74b2e5787f65cf3e3b4a03ebec806b91',1,'SVF::DCHGraph::hasEdge()'],['../CHG_8cpp.html#a4c6cbac96543cd55e4df050a33512ac5',1,'hasEdge(): CHG.cpp']]],
+  ['hasedge',['hasEdge',['../classSVF_1_1CFLData.html#aa8a05aeeff41bfe940694c1ffb265371',1,'SVF::CFLData::hasEdge()'],['../classSVF_1_1CFLGraph.html#aca4c22dd10f65bcde5dadb7688544b50',1,'SVF::CFLGraph::hasEdge()'],['../classSVF_1_1ConstraintGraph.html#a5f57823a4918f6c6bfee9c18beddda51',1,'SVF::ConstraintGraph::hasEdge()'],['../classSVF_1_1DCHGraph.html#a74b2e5787f65cf3e3b4a03ebec806b91',1,'SVF::DCHGraph::hasEdge()'],['../CHG_8cpp.html#a4c6cbac96543cd55e4df050a33512ac5',1,'hasEdge(): CHG.cpp']]],
   ['hasedgedestlabels',['hasEdgeDestLabels',['../structSVF_1_1DefaultDOTGraphTraits.html#a87d7b47985a849c7c4ff1c328a59c623',1,'SVF::DefaultDOTGraphTraits']]],
   ['hasflag',['hasFlag',['../classSVF_1_1CHNode.html#aebcbd36a7efc0dbe9b3c3f680ef033e7',1,'SVF::CHNode::hasFlag()'],['../classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c',1,'SVF::DCHNode::hasFlag()'],['../classSVF_1_1ObjTypeInfo.html#a8e630eb30d05f665b998c6f9326d65cb',1,'SVF::ObjTypeInfo::hasFlag()']]],
   ['hasformalinsvfgnodes',['hasFormalINSVFGNodes',['../classSVF_1_1SVFG.html#a65f28035e0fa5bebf76d28612b2f8ba8',1,'SVF::SVFG']]],
@@ -83,6 +83,7 @@ var searchData=
   ['hasincomingedge',['hasIncomingEdge',['../classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe',1,'SVF::GenericNode::hasIncomingEdge() const'],['../classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8',1,'SVF::GenericNode::hasIncomingEdge(EdgeType *edge) const']]],
   ['hasincomingedges',['hasIncomingEdges',['../classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc',1,'SVF::SVFVar']]],
   ['hasincomingvariantgepedge',['hasIncomingVariantGepEdge',['../classSVF_1_1SVFVar.html#a71e4fd7a1271a17e971ed90044e6da24',1,'SVF::SVFVar']]],
+  ['hasind',['hasInd',['../classSVF_1_1HybridData.html#aa07399d09863d01ea05a0418846eeb7b',1,'SVF::HybridData']]],
   ['hasindcscallees',['hasIndCSCallees',['../classSVF_1_1PTACallGraph.html#a71a63c53a093ea8e450fb53fd60c9424',1,'SVF::PTACallGraph::hasIndCSCallees()'],['../classSVF_1_1PointerAnalysis.html#abdacd060691add054839aa183babe095',1,'SVF::PointerAnalysis::hasIndCSCallees()']]],
   ['hasintericfgedge',['hasInterICFGEdge',['../classSVF_1_1ICFG.html#a86535e50d1feba706b19491d905baef1',1,'SVF::ICFG']]],
   ['hasinterleavingthreads',['hasInterleavingThreads',['../classSVF_1_1MHP.html#a3ba43bb0be55ffade3d70f8cbb95f88f',1,'SVF::MHP']]],
@@ -139,5 +140,6 @@ var searchData=
   ['head',['head',['../classSVF_1_1WtoCycle.html#af0dee4bcc82e3047a129add6822835b1',1,'SVF::WtoCycle']]],
   ['headbegin',['headBegin',['../classSVF_1_1Wto.html#aced9d7579a6e93b46d621d25f61e799e',1,'SVF::Wto']]],
   ['headend',['headEnd',['../classSVF_1_1Wto.html#a5be6913f841c774301095c6006167bf6',1,'SVF::Wto']]],
-  ['heapallocatorviaindcall',['heapAllocatorViaIndCall',['../classSVF_1_1CFLAlias.html#a40841c2b47cf690af5c13ba7662d0863',1,'SVF::CFLAlias::heapAllocatorViaIndCall()'],['../classSVF_1_1Andersen.html#a7b1b9e9b25b5643440aca77e23a8de07',1,'SVF::Andersen::heapAllocatorViaIndCall()']]]
+  ['heapallocatorviaindcall',['heapAllocatorViaIndCall',['../classSVF_1_1CFLAlias.html#a40841c2b47cf690af5c13ba7662d0863',1,'SVF::CFLAlias::heapAllocatorViaIndCall()'],['../classSVF_1_1Andersen.html#a7b1b9e9b25b5643440aca77e23a8de07',1,'SVF::Andersen::heapAllocatorViaIndCall()']]],
+  ['hybriddata',['HybridData',['../classSVF_1_1HybridData.html#a6300911be9cebefba2248afd9dce59ce',1,'SVF::HybridData']]]
 ];

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

@@ -48,7 +48,7 @@ var searchData=
   ['initialise',['initialise',['../classSVF_1_1DDAClient.html#a40f6d8769db41f4c907fe5b615e5df83',1,'SVF::DDAClient']]],
   ['initialisecandidatepointers',['initialiseCandidatePointers',['../classSVF_1_1SVFIR.html#af6a2c401d5c7582a4a958b1fe40838e5',1,'SVF::SVFIR']]],
   ['initialisenodes',['initialiseNodes',['../classSVF_1_1SVFIRBuilder.html#af4b18e8e1fdfb117cb5dd1a81cea4b71',1,'SVF::SVFIRBuilder']]],
-  ['initialize',['initialize',['../classSVF_1_1CFLAlias.html#aef129edd61d7f15947c6539f8d0c36a0',1,'SVF::CFLAlias::initialize()'],['../classSVF_1_1CFLSolver.html#a5e94324ee4137610d5513ed11b36f4ba',1,'SVF::CFLSolver::initialize()'],['../classSVF_1_1CFLVF.html#a852ed935576ca426287cf4afa6a585e3',1,'SVF::CFLVF::initialize()'],['../classSVF_1_1ContextDDA.html#adb9f21a86daeb2dd79537f3939c393cf',1,'SVF::ContextDDA::initialize()'],['../classSVF_1_1FlowDDA.html#af1fcf058a9feefeda63f07d4189513a1',1,'SVF::FlowDDA::initialize()'],['../classSVF_1_1PointerAnalysis.html#a431ec4f85eb0f029e5740b92fd9ceb32',1,'SVF::PointerAnalysis::initialize()'],['../classSVF_1_1FSMPTA.html#acbfb7d2a6d38b54966c98102c1ea6a38',1,'SVF::FSMPTA::initialize()'],['../classSVF_1_1SrcSnkDDA.html#a8883b9a42106ed8c55835d2ba9a579cd',1,'SVF::SrcSnkDDA::initialize()'],['../classSVF_1_1AndersenBase.html#a891816407a4c6346f56bc01a67b78aac',1,'SVF::AndersenBase::initialize()'],['../classSVF_1_1Andersen.html#a20617a69c112ad423b1b5021e48a8548',1,'SVF::Andersen::initialize()'],['../classSVF_1_1AndersenWaveDiff.html#a40514a439869d0c025afb4f6b6fb4071',1,'SVF::AndersenWaveDiff::initialize()'],['../classSVF_1_1AndersenSFR.html#a3b255068b3ea53041af94fd373a53bd4',1,'SVF::AndersenSFR::initialize()'],['../classSVF_1_1FlowSensitive.html#ad3566c57f8456e98542f5a0b765e3cc6',1,'SVF::FlowSensitive::initialize()'],['../classSVF_1_1TypeAnalysis.html#a34177236a41f7a2b432243062f829985',1,'SVF::TypeAnalysis::initialize()'],['../classSVF_1_1VersionedFlowSensitive.html#a81d3528fd082018e4345f0b026bf3584',1,'SVF::VersionedFlowSensitive::initialize()'],['../classSVF_1_1MTAAnnotator.html#a108616cc98f15af3010ca45b91f32c04',1,'SVF::MTAAnnotator::initialize()']]],
+  ['initialize',['initialize',['../classSVF_1_1CFLAlias.html#aef129edd61d7f15947c6539f8d0c36a0',1,'SVF::CFLAlias::initialize()'],['../classSVF_1_1POCRAlias.html#aad3e90950c4393abddb52afd68cb9f89',1,'SVF::POCRAlias::initialize()'],['../classSVF_1_1CFLSolver.html#a5e94324ee4137610d5513ed11b36f4ba',1,'SVF::CFLSolver::initialize()'],['../classSVF_1_1CFLVF.html#a852ed935576ca426287cf4afa6a585e3',1,'SVF::CFLVF::initialize()'],['../classSVF_1_1ContextDDA.html#adb9f21a86daeb2dd79537f3939c393cf',1,'SVF::ContextDDA::initialize()'],['../classSVF_1_1FlowDDA.html#af1fcf058a9feefeda63f07d4189513a1',1,'SVF::FlowDDA::initialize()'],['../classSVF_1_1PointerAnalysis.html#a431ec4f85eb0f029e5740b92fd9ceb32',1,'SVF::PointerAnalysis::initialize()'],['../classSVF_1_1FSMPTA.html#acbfb7d2a6d38b54966c98102c1ea6a38',1,'SVF::FSMPTA::initialize()'],['../classSVF_1_1SrcSnkDDA.html#a8883b9a42106ed8c55835d2ba9a579cd',1,'SVF::SrcSnkDDA::initialize()'],['../classSVF_1_1AndersenBase.html#a891816407a4c6346f56bc01a67b78aac',1,'SVF::AndersenBase::initialize()'],['../classSVF_1_1Andersen.html#a20617a69c112ad423b1b5021e48a8548',1,'SVF::Andersen::initialize()'],['../classSVF_1_1AndersenWaveDiff.html#a40514a439869d0c025afb4f6b6fb4071',1,'SVF::AndersenWaveDiff::initialize()'],['../classSVF_1_1AndersenSFR.html#a3b255068b3ea53041af94fd373a53bd4',1,'SVF::AndersenSFR::initialize()'],['../classSVF_1_1FlowSensitive.html#ad3566c57f8456e98542f5a0b765e3cc6',1,'SVF::FlowSensitive::initialize()'],['../classSVF_1_1TypeAnalysis.html#a34177236a41f7a2b432243062f829985',1,'SVF::TypeAnalysis::initialize()'],['../classSVF_1_1VersionedFlowSensitive.html#a81d3528fd082018e4345f0b026bf3584',1,'SVF::VersionedFlowSensitive::initialize()'],['../classSVF_1_1MTAAnnotator.html#a108616cc98f15af3010ca45b91f32c04',1,'SVF::MTAAnnotator::initialize()']]],
   ['initialworklist',['initialWorkList',['../classSVF_1_1SVFGOPT.html#ae825e01893d3304379f72380d314f09c',1,'SVF::SVFGOPT']]],
   ['initobjvar',['initObjVar',['../classSVF_1_1SVFIR2ItvExeState.html#a646fa58f61db6abd98d0a04af1fab88d',1,'SVF::SVFIR2ItvExeState']]],
   ['initsnks',['initSnks',['../classSVF_1_1LeakChecker.html#a36613a8c07cbc3d50a764c9f37162d6c',1,'SVF::LeakChecker::initSnks()'],['../classSVF_1_1SrcSnkDDA.html#a0f6cfa30c346aab1fb03a44e47c32559',1,'SVF::SrcSnkDDA::initSnks()']]],
@@ -64,12 +64,12 @@ var searchData=
   ['inlocalloctoivaltable',['inLocalLocToIValTable',['../classSVF_1_1IntervalExeState.html#a25c1369d7d38469ecde6022cf367c009',1,'SVF::IntervalExeState']]],
   ['inloctoaddrstable',['inLocToAddrsTable',['../classSVF_1_1ExeState.html#a54168f48a6c1fe983d20efce06a35710',1,'SVF::ExeState::inLocToAddrsTable()'],['../classSVF_1_1IntervalExeState.html#af61110c081ca71f9348e8dfff5aa76e4',1,'SVF::IntervalExeState::inLocToAddrsTable()'],['../classSVF_1_1SVFIR2ItvExeState.html#a174523c405d7a7d7dbbcbaa43c335665',1,'SVF::SVFIR2ItvExeState::inLocToAddrsTable()']]],
   ['inloctoivaltable',['inLocToIValTable',['../classSVF_1_1IntervalExeState.html#aeac953e77360627da7426b2619d509cc',1,'SVF::IntervalExeState::inLocToIValTable()'],['../classSVF_1_1SVFIR2ItvExeState.html#ab5eebce09b695a3ea1a1c6d5641296e2',1,'SVF::SVFIR2ItvExeState::inLocToIValTable()']]],
-  ['inputfilename',['InputFilename',['../cfl_8cpp.html#a139199e1f33675df72b018c31e0be35c',1,'InputFilename(llvm::cl::Positional, llvm::cl::desc("<input bitcode>"), llvm::cl::init("-")): cfl.cpp'],['../dda_8cpp.html#a139199e1f33675df72b018c31e0be35c',1,'InputFilename(llvm::cl::Positional, llvm::cl::desc("<input bitcode>"), llvm::cl::init("-")): dda.cpp'],['../svf-ex_8cpp.html#a139199e1f33675df72b018c31e0be35c',1,'InputFilename(llvm::cl::Positional, llvm::cl::desc("<input bitcode>"), llvm::cl::init("-")): svf-ex.cpp'],['../mta_8cpp.html#a139199e1f33675df72b018c31e0be35c',1,'InputFilename(llvm::cl::Positional, llvm::cl::desc("<input bitcode>"), llvm::cl::init("-")): mta.cpp'],['../saber_8cpp.html#a2d332c504284f0bc181289ee67479845',1,'InputFilename(cl::Positional, llvm::cl::desc("<input bitcode>"), llvm::cl::init("-")): saber.cpp'],['../wpa_8cpp.html#a139199e1f33675df72b018c31e0be35c',1,'InputFilename(llvm::cl::Positional, llvm::cl::desc("<input bitcode>"), llvm::cl::init("-")): wpa.cpp']]],
   ['insamecallgraphscc',['inSameCallGraphSCC',['../classSVF_1_1PointerAnalysis.html#ae58c2b25494ec51e714c83c6cfd5dd67',1,'SVF::PointerAnalysis::inSameCallGraphSCC()'],['../classSVF_1_1TCT.html#a95cd490d37f8831edc6910f7ecdf413e',1,'SVF::TCT::inSameCallGraphSCC()']]],
   ['inscc',['inSCC',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#af9ee3c8655cd3d5ac7cc3863e6af9af7',1,'SVF::SCCDetection::GNodeSCCInfo::inSCC(void) const'],['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#afece6206c79adc1c462cff5b9e05f0f2',1,'SVF::SCCDetection::GNodeSCCInfo::inSCC(bool v)'],['../classSVF_1_1SCCDetection.html#a60b977d41c29aa6ea01b94be12792351',1,'SVF::SCCDetection::inSCC()']]],
   ['insert',['insert',['../classSVF_1_1AddressValue.html#a40c67147606ab95dd3318d0fe821d8c0',1,'SVF::AddressValue']]],
   ['insertattribute',['insertAttribute',['../classSVF_1_1GrammarBase.html#aa188ee22955b98c31abbf2b339b64d20',1,'SVF::GrammarBase']]],
   ['insertebnfsigns',['insertEBNFSigns',['../classSVF_1_1GrammarBase.html#a2af19122bccb7ca0c7ab44a07a1bdfb1',1,'SVF::GrammarBase']]],
+  ['insertedge',['insertEdge',['../classSVF_1_1HybridData.html#a6b88524881456cfa725a818bb6e227aa',1,'SVF::HybridData']]],
   ['insertkey',['insertKey',['../namespaceSVF_1_1SVFUtil.html#aeecfaf26800dcebf0b079395126bc7f7',1,'SVF::SVFUtil::insertKey(const Key &key, KeySet &keySet)'],['../namespaceSVF_1_1SVFUtil.html#a4f75b8313eb2b1e5a4c798a01cb99471',1,'SVF::SVFUtil::insertKey(const NodeID &key, NodeBS &keySet)']]],
   ['insertnonterminalkind',['insertNonterminalKind',['../classSVF_1_1GrammarBase.html#ac15b20ef3698ddab09c4c60e302ea4a0',1,'SVF::GrammarBase']]],
   ['insertnonterminalsymbol',['insertNonTerminalSymbol',['../classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b',1,'SVF::GrammarBase']]],
@@ -146,6 +146,7 @@ var searchData=
   ['isblkobj',['isBlkObj',['../classSVF_1_1SVFIR.html#a17527c55d35ae5c18f00fd4dabe6acad',1,'SVF::SVFIR::isBlkObj()'],['../classSVF_1_1SymbolTableInfo.html#ad9cdb21e20182f3bc95f04bbb97712f3',1,'SVF::SymbolTableInfo::isBlkObj()']]],
   ['isblkobjorconstantobj',['isBlkObjOrConstantObj',['../classSVF_1_1ConstraintGraph.html#a8ba74f82c1e796f2888ba34bc8355ce9',1,'SVF::ConstraintGraph::isBlkObjOrConstantObj()'],['../classSVF_1_1PointerAnalysis.html#a45462312a746339fff8b990a093d9a1b',1,'SVF::PointerAnalysis::isBlkObjOrConstantObj()'],['../classSVF_1_1SVFIR.html#ad9895f2d075eb402390e3b01ed68e001',1,'SVF::SVFIR::isBlkObjOrConstantObj()'],['../classSVF_1_1SymbolTableInfo.html#a2fc4bfb83b71a4c14e16168382cb8f5d',1,'SVF::SymbolTableInfo::isBlkObjOrConstantObj()']]],
   ['isblkptr',['isBlkPtr',['../classSVF_1_1SVFIR.html#a6a71d2716530607d66d9e9035199d997',1,'SVF::SVFIR::isBlkPtr()'],['../classSVF_1_1SymbolTableInfo.html#acba43b6e9cdf07afaf3d30351aa8df7c',1,'SVF::SymbolTableInfo::isBlkPtr()']]],
+  ['isbool',['isBool',['../classOptionBase.html#acd2a32f510c026154665f7d874f3f362',1,'OptionBase::isBool()'],['../classOption.html#a910cf3c0ac5d45ee169cb8750898ea0b',1,'Option::isBool()']]],
   ['isbottom',['isBottom',['../classSVF_1_1AbstractValue.html#aafe29c4c572b851ce8031f5cd81600c5',1,'SVF::AbstractValue::isBottom()'],['../classSVF_1_1AddressValue.html#a8d723e05901bec417fec967972c6d6f2',1,'SVF::AddressValue::isBottom()'],['../classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001',1,'SVF::IntervalValue::isBottom()']]],
   ['isbuiltfromfile',['isBuiltFromFile',['../classSVF_1_1IRGraph.html#a41423da58a07b344bc7ca8dd96d48f98',1,'SVF::IRGraph']]],
   ['iscallcfgedge',['isCallCFGEdge',['../classSVF_1_1ICFGEdge.html#a2ecc0bc3bb3655bf3db3adb732747b49',1,'SVF::ICFGEdge']]],
@@ -221,6 +222,7 @@ var searchData=
   ['isheapallocorstaticextcall',['isHeapAllocOrStaticExtCall',['../namespaceSVF_1_1SVFUtil.html#a61ed4bb80d88b0f8dbc02535c224fdfb',1,'SVF::SVFUtil::isHeapAllocOrStaticExtCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a06b824671e2fab0e41a6b84ee9bd8362',1,'SVF::SVFUtil::isHeapAllocOrStaticExtCall(const SVFInstruction *inst)']]],
   ['isheapcondmemobj',['isHeapCondMemObj',['../classSVF_1_1ContextDDA.html#a02902af9bc4455b994a5da4a9d6cf121',1,'SVF::ContextDDA::isHeapCondMemObj()'],['../classSVF_1_1DDAVFSolver.html#a645c7d0637b49e139898016ff652e1f3',1,'SVF::DDAVFSolver::isHeapCondMemObj()'],['../classSVF_1_1FlowDDA.html#afc3b2b4e0da7a2484ec35c3ce84a9d60',1,'SVF::FlowDDA::isHeapCondMemObj()']]],
   ['isheapmemobj',['isHeapMemObj',['../classSVF_1_1PointerAnalysis.html#ae6ea391ac44dffeb6899bb44323c5361',1,'SVF::PointerAnalysis']]],
+  ['ishelpname',['isHelpName',['../classOptionBase.html#ae446d8507843235d8fe71d32bc4bd04b',1,'OptionBase']]],
   ['isinawrapper',['isInAWrapper',['../classSVF_1_1SrcSnkDDA.html#afc75e55af839ef535d80555fd422342c',1,'SVF::SrcSnkDDA']]],
   ['isincurbackwardslice',['isInCurBackwardSlice',['../classSVF_1_1SrcSnkDDA.html#a4cb2c14431fc432e84d382f8eeb24fe2',1,'SVF::SrcSnkDDA']]],
   ['isincurforwardslice',['isInCurForwardSlice',['../classSVF_1_1SrcSnkDDA.html#a4bde70a5d9dbf5a9234a93aaeaaacb94',1,'SVF::SrcSnkDDA']]],
@@ -232,7 +234,7 @@ var searchData=
   ['isindirectedge',['isIndirectEdge',['../classSVF_1_1ConstraintNode.html#a8c3e6dca7bf12fa941c4411f6a1f52c0',1,'SVF::ConstraintNode']]],
   ['isindirectvfgedge',['isIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#aa8f30d093d4950724a6688707326b57b',1,'SVF::VFGEdge']]],
   ['isinicfgedge',['isInICFGEdge',['../classSVF_1_1SVFLoop.html#ae8a579b8798cf14ba8c1d9ee9c355267',1,'SVF::SVFLoop']]],
-  ['isinloop',['isInLoop',['../classSVF_1_1ICFG.html#ae115e70bf53f25c0ca6b1f22acccf5b5',1,'SVF::ICFG::isInLoop(const ICFGNode *node)'],['../classSVF_1_1ICFG.html#ac0600b9ff2521ec2b205dc35c276397d',1,'SVF::ICFG::isInLoop(const SVFInstruction *inst)'],['../classSVF_1_1SVFLoop.html#af2433fcc43f4e22fdf97ca2672a5dfa3',1,'SVF::SVFLoop::isInLoop()'],['../classSVF_1_1TCTNode.html#a4541cd85dcde2ce789ea411ebb1d89c7',1,'SVF::TCTNode::isInloop()'],['../classSVF_1_1CxtThread.html#a39230596cd1c927353eaaee071eb16c6',1,'SVF::CxtThread::isInloop()']]],
+  ['isinloop',['isInloop',['../classSVF_1_1TCTNode.html#a4541cd85dcde2ce789ea411ebb1d89c7',1,'SVF::TCTNode::isInloop()'],['../classSVF_1_1CxtThread.html#a39230596cd1c927353eaaee071eb16c6',1,'SVF::CxtThread::isInloop()'],['../classSVF_1_1ICFG.html#ae115e70bf53f25c0ca6b1f22acccf5b5',1,'SVF::ICFG::isInLoop(const ICFGNode *node)'],['../classSVF_1_1ICFG.html#ac0600b9ff2521ec2b205dc35c276397d',1,'SVF::ICFG::isInLoop(const SVFInstruction *inst)'],['../classSVF_1_1SVFLoop.html#af2433fcc43f4e22fdf97ca2672a5dfa3',1,'SVF::SVFLoop::isInLoop()']]],
   ['isinloopinstruction',['isInLoopInstruction',['../classSVF_1_1TCT.html#af1e7f51f9a3540fa73b856def01da77e',1,'SVF::TCT']]],
   ['isinrecursion',['isInRecursion',['../classSVF_1_1PointerAnalysis.html#aa725a0c9426e8615cbc078c88561f66a',1,'SVF::PointerAnalysis::isInRecursion()'],['../classSVF_1_1TCT.html#a17a478edc9fac3e501202073100549ff',1,'SVF::TCT::isInRecursion()']]],
   ['isinsamecispan',['isInSameCISpan',['../classSVF_1_1LockAnalysis.html#aa759d7cf2aa537a375daef4c637e597e',1,'SVF::LockAnalysis']]],
@@ -273,6 +275,7 @@ var searchData=
   ['ismultiforked',['isMultiforked',['../classSVF_1_1TCTNode.html#a5dd0cf88e381438d191b275314117561',1,'SVF::TCTNode']]],
   ['ismultiforkedthread',['isMultiForkedThread',['../classSVF_1_1MHP.html#a041392f704690e89d8acf5ec68d8682c',1,'SVF::MHP']]],
   ['ismultiinheritance',['isMultiInheritance',['../classSVF_1_1CHNode.html#a224a394537fae62e64cf62a0d4fdd430',1,'SVF::CHNode::isMultiInheritance()'],['../classSVF_1_1DCHNode.html#a42026e30e790bce5be03da3e45353c8d',1,'SVF::DCHNode::isMultiInheritance()']]],
+  ['ismultiple',['isMultiple',['../classOptionBase.html#ad6fe65a503048686686ea6ced35a2dfd',1,'OptionBase::isMultiple()'],['../classOptionMultiple.html#aebfc1b172ccde004333d9af7248dca4e',1,'OptionMultiple::isMultiple()']]],
   ['ismustalias',['isMustAlias',['../classSVF_1_1DDAVFSolver.html#a345e5379f53b618adef014aa6887bfe7',1,'SVF::DDAVFSolver']]],
   ['ismustjoin',['isMustJoin',['../classSVF_1_1MHP.html#a1c43a0f078f82a3c741de1c4dc2490c0',1,'SVF::MHP']]],
   ['isnecmp',['isNECmp',['../classSVF_1_1SaberCondAllocator.html#aac5762d9a7d584a9748301acbb31b401',1,'SVF::SaberCondAllocator']]],

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

@@ -1,7 +1,7 @@
 var searchData=
 [
   ['lb',['lb',['../classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264',1,'SVF::IntervalValue']]],
-  ['leakchecker',['LeakChecker',['../classSVF_1_1LeakChecker.html#af1140475e97947d193784d2b90809036',1,'SVF::LeakChecker::LeakChecker()'],['../saber_8cpp.html#a3bebf1fb890054c49ae16f9706fa38d2',1,'LEAKCHECKER(): saber.cpp']]],
+  ['leakchecker',['LeakChecker',['../classSVF_1_1LeakChecker.html#af1140475e97947d193784d2b90809036',1,'SVF::LeakChecker']]],
   ['leq',['leq',['../classSVF_1_1IntervalValue.html#a2dd004dda59ee5271081afd082374039',1,'SVF::IntervalValue::leq()'],['../classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b',1,'SVF::NumericLiteral::leq()']]],
   ['lessthanvartovalmap',['lessThanVarToValMap',['../classSVF_1_1IntervalExeState.html#a7129d3e1901c527f7c4876cb1c54a890',1,'SVF::IntervalExeState::lessThanVarToValMap()'],['../classSVF_1_1RelExeState.html#a1bc5dc440ad614fd7b4804bfa88c37c0',1,'SVF::RelExeState::lessThanVarToValMap()']]],
   ['list',['List',['../classSVF_1_1List.html#aeb697e85085a332e5d593b6f8ee95713',1,'SVF::List']]],

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

@@ -28,7 +28,7 @@ var searchData=
   ['mayhavedatarace',['mayHaveDataRace',['../classSVF_1_1RaceResultValidator.html#a1df6b00752e373ac7bf08a2cae0b9641',1,'SVF::RaceResultValidator::mayHaveDataRace(const Instruction *I1, const Instruction *I2)'],['../classSVF_1_1RaceResultValidator.html#a1df6b00752e373ac7bf08a2cae0b9641',1,'SVF::RaceResultValidator::mayHaveDataRace(const Instruction *I1, const Instruction *I2)']]],
   ['meet_5fwith',['meet_with',['../classSVF_1_1AddressValue.html#ab451b5d101cacf1dcb65d3a682eda284',1,'SVF::AddressValue::meet_with()'],['../classSVF_1_1IntervalValue.html#a144e17cec654e83654298b379ed4ce9f',1,'SVF::IntervalValue::meet_with()']]],
   ['meetwith',['meetWith',['../classSVF_1_1ExeState.html#ab8c54febce4a65158a1ba21fd4fe91c1',1,'SVF::ExeState::meetWith()'],['../classSVF_1_1IntervalExeState.html#a1e5d399b2111d9b8ed17f790cab12d5d',1,'SVF::IntervalExeState::meetWith(const IntervalExeState &other)'],['../classSVF_1_1IntervalExeState.html#a3cadadfd8c2ce6251855f1aa5f2ac8ce',1,'SVF::IntervalExeState::meetWith(VarToValMap *other)']]],
-  ['meld',['meld',['../classSVF_1_1VersionedFlowSensitive.html#a1da960df51570b59161e380949d910c4',1,'SVF::VersionedFlowSensitive']]],
+  ['meld',['meld',['../classSVF_1_1HybridData.html#acb745344dc5018078823119856308cdb',1,'SVF::HybridData::meld()'],['../classSVF_1_1VersionedFlowSensitive.html#a1da960df51570b59161e380949d910c4',1,'SVF::VersionedFlowSensitive::meld()']]],
   ['meldlabel',['meldLabel',['../classSVF_1_1VersionedFlowSensitive.html#aaff594c78d93f7ad632d344e5c1c7f6a',1,'SVF::VersionedFlowSensitive']]],
   ['memobj',['MemObj',['../classSVF_1_1MemObj.html#af588c401d129de6ba9abc1819774e342',1,'SVF::MemObj']]],
   ['memregion',['MemRegion',['../classSVF_1_1MemRegion.html#a1d8189977196da687f50cfa6df98394b',1,'SVF::MemRegion']]],

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

@@ -23,6 +23,7 @@ var searchData=
   ['normalize',['normalize',['../classSVF_1_1CFGNormalizer.html#ae8e2b22944e9d3d2ec14cd6aaa8b93c9',1,'SVF::CFGNormalizer']]],
   ['normalizecflgrammar',['normalizeCFLGrammar',['../classSVF_1_1CFLBase.html#a462de3facd2a9365d32397d250414ee9',1,'SVF::CFLBase']]],
   ['normalizepointsto',['normalizePointsTo',['../classSVF_1_1BVDataPTAImpl.html#a2026cffd7043208333083ed1a6603e7b',1,'SVF::BVDataPTAImpl::normalizePointsTo()'],['../classSVF_1_1CondPTAImpl.html#aa945d068c8935fc6926833fdf102e21c',1,'SVF::CondPTAImpl::normalizePointsTo()'],['../classSVF_1_1AndersenBase.html#af37392229dab0a1f2f807a12186c3b39',1,'SVF::AndersenBase::normalizePointsTo()']]],
+  ['nothingset',['nothingSet',['../classOptionMultiple.html#a6de3b01c7773ea6fddf84cd57e7401f8',1,'OptionMultiple']]],
   ['nullexpr',['nullExpr',['../classSVF_1_1Z3Expr.html#a9aa800372d57db519d484cc32ea1c5dc',1,'SVF::Z3Expr']]],
   ['nullptrsymid',['nullPtrSymID',['../classSVF_1_1SymbolTableInfo.html#adaed6e68c2f53260ed4c4fc38b5c4721',1,'SVF::SymbolTableInfo']]],
   ['nullptrvfgnode',['NullPtrVFGNode',['../classSVF_1_1NullPtrVFGNode.html#a5bbcd7ba5ac40efefbd1ef99bea86639',1,'SVF::NullPtrVFGNode']]],