svf-tools 1.0.633 → 1.0.635

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

@@ -1,214 +1,15 @@
 var searchData=
 [
-  ['f',['F',['../classSVF_1_1mapped__iter.html#a98e22cf9681fc948e9656bb1faeb36e1',1,'SVF::mapped_iter']]],
-  ['fadd',['FAdd',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a97c70ced12e0f1c5e3c3708b13727e8e',1,'SVF::BinaryOPStmt']]],
-  ['false',['false',['../cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727',1,'cJSON.cpp']]],
-  ['fastcluster_2ecpp',['fastcluster.cpp',['../fastcluster_8cpp.html',1,'']]],
-  ['fastcluster_2eh',['fastcluster.h',['../fastcluster_8h.html',1,'']]],
-  ['fastcluster_5fdm_2ecpp_2einc',['fastcluster_dm.cpp.inc',['../fastcluster__dm_8cpp_8inc.html',1,'']]],
-  ['fastcluster_5fr_5fdm_2ecpp_2einc',['fastcluster_R_dm.cpp.inc',['../fastcluster__R__dm_8cpp_8inc.html',1,'']]],
-  ['fastclustertime',['FastClusterTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ae78d2b60035350c634f6f58d7a043c22',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['fbar',['Fbar',['../PEGGrammar_8txt.html#a1e8b28eb87d57c33c5c45731db639c91',1,'Fbar(): PEGGrammar.txt'],['../PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447',1,'Fbar(M ? copybar) *: PEGGrammar.txt']]],
-  ['fc_5fisnan',['fc_isnan',['../fastcluster_8cpp.html#a8abcd9d66492e761592578e82ce2cba0',1,'fastcluster.cpp']]],
-  ['fcmp_5ffalse',['FCMP_FALSE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa100cf99398f6118d332191380574c06',1,'SVF::CmpStmt']]],
-  ['fcmp_5foeq',['FCMP_OEQ',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca900bbc9c7824294c3a69c2cb006c27ee',1,'SVF::CmpStmt']]],
-  ['fcmp_5foge',['FCMP_OGE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5c4576ce636e323cbc3aa322480c5d2c',1,'SVF::CmpStmt']]],
-  ['fcmp_5fogt',['FCMP_OGT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486',1,'SVF::CmpStmt']]],
-  ['fcmp_5fole',['FCMP_OLE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca9dd165c6da06811ffc8c2e53b30ab32d',1,'SVF::CmpStmt']]],
-  ['fcmp_5folt',['FCMP_OLT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5e3cf3105b8f13da66719856579956fa',1,'SVF::CmpStmt']]],
-  ['fcmp_5fone',['FCMP_ONE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2a3ce0c02931984d92d70356efc49193',1,'SVF::CmpStmt']]],
-  ['fcmp_5ford',['FCMP_ORD',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca936134e7e431c14148738c4ba3d42b44',1,'SVF::CmpStmt']]],
-  ['fcmp_5ftrue',['FCMP_TRUE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7',1,'SVF::CmpStmt']]],
-  ['fcmp_5fueq',['FCMP_UEQ',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021',1,'SVF::CmpStmt']]],
-  ['fcmp_5fuge',['FCMP_UGE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac0e2d9db5453eb8be7543fb4315003da',1,'SVF::CmpStmt']]],
-  ['fcmp_5fugt',['FCMP_UGT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3873c41e060b95cb37eac587402b597c',1,'SVF::CmpStmt']]],
-  ['fcmp_5fule',['FCMP_ULE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8149cba2e9e265892f02bbd4a35fe6fb',1,'SVF::CmpStmt']]],
-  ['fcmp_5fult',['FCMP_ULT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa6b852204a4d0758ebd632d8a88b966d',1,'SVF::CmpStmt']]],
-  ['fcmp_5fune',['FCMP_UNE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acad23a87cb6f2b3b2486a9a1277b491c09',1,'SVF::CmpStmt']]],
-  ['fcmp_5funo',['FCMP_UNO',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabdc74b4ebee0687c32e34c7995495c69',1,'SVF::CmpStmt']]],
-  ['fdiv',['FDiv',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a553540425a63724c8b7f2fd0ca25b567',1,'SVF::BinaryOPStmt']]],
-  ['fdp',['FDP',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac3a20ad67d8b23a37a2c81ef793323a9',1,'SVF::GraphProgram']]],
-  ['fenceinst',['FenceInst',['../namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b',1,'SVF']]],
-  ['fieldexpand',['fieldExpand',['../classSVF_1_1AndersenSFR.html#aa768e5cd0a762d17e2ec2baaad0486bf',1,'SVF::AndersenSFR']]],
-  ['fieldreps',['FieldReps',['../classSVF_1_1AndersenSFR.html#a52aa0c2a02a0db6700c4a7a8819d0a5d',1,'SVF::AndersenSFR::FieldReps()'],['../classSVF_1_1AndersenSFR.html#a99337c429aebe9046c65068b44eff7cc',1,'SVF::AndersenSFR::fieldReps()']]],
-  ['fields_5fdda',['FieldS_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abe1d8104c77bfe4bbc201a64410c7f61',1,'SVF::PointerAnalysis']]],
-  ['fieldtypes',['fieldTypes',['../classSVF_1_1DCHGraph.html#a574ec14099f1112b394b00a79f3fdf1a',1,'SVF::DCHGraph']]],
-  ['fifoworklist',['FIFOWorkList',['../classSVF_1_1FIFOWorkList.html',1,'SVF::FIFOWorkList< Data >'],['../classSVF_1_1FIFOWorkList.html#a1d3ab8bea4d8f94b935d1bef3cf0c4ac',1,'SVF::FIFOWorkList::FIFOWorkList()']]],
-  ['fifoworklist_3c_20const_20cfledge_20_2a_20_3e',['FIFOWorkList< const CFLEdge * >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
-  ['fifoworklist_3c_20const_20mssaphisvfgnode_20_2a_20_3e',['FIFOWorkList< const MSSAPHISVFGNode * >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
-  ['fifoworklist_3c_20cxtlockproc_20_3e',['FIFOWorkList< CxtLockProc >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
-  ['fifoworklist_3c_20cxtstmt_20_3e',['FIFOWorkList< CxtStmt >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
-  ['fifoworklist_3c_20cxtthreadproc_20_3e',['FIFOWorkList< CxtThreadProc >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
-  ['fifoworklist_3c_20cxtthreadstmt_20_3e',['FIFOWorkList< CxtThreadStmt >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
-  ['fifoworklist_3c_20dpim_20_3e',['FIFOWorkList< DPIm >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
-  ['fifoworklist_3c_20nodeid_20_3e',['FIFOWorkList< NodeID >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
-  ['file',['file',['../classSVF_1_1PAGBuilderFromFile.html#a9ce304b448de65fbde586655dce885a4',1,'SVF::PAGBuilderFromFile']]],
-  ['filechecker',['FileChecker',['../classSVF_1_1FileChecker.html',1,'SVF::FileChecker'],['../classSVF_1_1FileChecker.html#a283b5e46aba5e964f0a54abc33fcb7b6',1,'SVF::FileChecker::FileChecker()'],['../saber_8cpp.html#a040433670c569ad3978a19fb1bf44d5b',1,'FILECHECKER(): saber.cpp']]],
-  ['filechecker_2ecpp',['FileChecker.cpp',['../FileChecker_8cpp.html',1,'']]],
-  ['filechecker_2eh',['FileChecker.h',['../FileChecker_8h.html',1,'']]],
-  ['filename',['fileName',['../classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704',1,'SVF::GrammarBuilder']]],
-  ['fillattribute',['fillAttribute',['../classSVF_1_1CFGNormalizer.html#aec174ad01529a195b710b2f628f9c0d6',1,'SVF::CFGNormalizer']]],
-  ['filoworklist',['FILOWorkList',['../classSVF_1_1FILOWorkList.html',1,'SVF::FILOWorkList< Data >'],['../classSVF_1_1FILOWorkList.html#ab447c6c1a59cd81982626d25d00d57de',1,'SVF::FILOWorkList::FILOWorkList()']]],
-  ['filterfun',['filterFun',['../classSVF_1_1LockResultValidator.html#a70cdb993b3e90c70cc083fb8ed93fb91',1,'SVF::LockResultValidator']]],
-  ['finalbit',['finalBit',['../classSVF_1_1CoreBitVector.html#a8825e54f584be8aa0ff627335064244e',1,'SVF::CoreBitVector']]],
-  ['finalcond',['finalCond',['../classSVF_1_1ProgSlice.html#a011fcd4f081926e808e15630cb2d4b47',1,'SVF::ProgSlice']]],
-  ['finalize',['finalize',['../classSVF_1_1CFLAlias.html#a1b7e49b3f42d625f1f25258044f8b885',1,'SVF::CFLAlias::finalize()'],['../classSVF_1_1CFLBase.html#a7ee2fdf1c0cdf019c863870dc51c0b5d',1,'SVF::CFLBase::finalize()'],['../classSVF_1_1CFLVF.html#a6047084ea0cfe2827130facdd54e4806',1,'SVF::CFLVF::finalize()'],['../classSVF_1_1ContextDDA.html#ae34cd06ee3b7d763c81ec418af76d244',1,'SVF::ContextDDA::finalize()'],['../classSVF_1_1FlowDDA.html#a5abae08577ab24684653421dc712431a',1,'SVF::FlowDDA::finalize()'],['../classSVF_1_1PointerAnalysis.html#a118dabc50024b5cd91095814ade47166',1,'SVF::PointerAnalysis::finalize()'],['../classSVF_1_1BVDataPTAImpl.html#a638f58c3bf6efdb3787fafaa4e6f19ca',1,'SVF::BVDataPTAImpl::finalize()'],['../classSVF_1_1CondPTAImpl.html#a9bdc3a50c695029a28371116ddc3ef8d',1,'SVF::CondPTAImpl::finalize()'],['../classSVF_1_1SrcSnkDDA.html#af6ee1f79b67c736ceeb591d0cdba4b06',1,'SVF::SrcSnkDDA::finalize()'],['../classSVF_1_1AndersenBase.html#a28a1c3571cdee5e05004b29ace364e67',1,'SVF::AndersenBase::finalize()'],['../classSVF_1_1Andersen.html#ad90c8cf193bd81870ce8dd88c9580e2c',1,'SVF::Andersen::finalize()'],['../classSVF_1_1FlowSensitive.html#a911aa7dd8d696b96a85d85af852e1e58',1,'SVF::FlowSensitive::finalize()'],['../classSVF_1_1TypeAnalysis.html#a8efef079c8b33e2215f92ac3629789e6',1,'SVF::TypeAnalysis::finalize()'],['../classSVF_1_1VersionedFlowSensitive.html#ad955fda89f4f749151a1bd14562b03f6',1,'SVF::VersionedFlowSensitive::finalize()']]],
-  ['find',['find',['../classSVF_1_1CFLFIFOWorkList.html#a34d1d61f300a3c9e3b445764f3a316a8',1,'SVF::CFLFIFOWorkList::find()'],['../classSVF_1_1SCCDetection.html#a123b5006a6da7053e5e357140da3c5a3',1,'SVF::SCCDetection::find(void)'],['../classSVF_1_1SCCDetection.html#a1d0d98fd1286e71cfae50180cd2b1313',1,'SVF::SCCDetection::find(NodeSet &candidates)'],['../classSVF_1_1List.html#a6db4368f5e5767d3e3f0e83f78707b31',1,'SVF::List::find()'],['../classSVF_1_1FIFOWorkList.html#ab023f3b60ff61d6729d75f4d2942bd83',1,'SVF::FIFOWorkList::find()'],['../classSVF_1_1FILOWorkList.html#ac91aa65edf221d887be7550a144c5c2d',1,'SVF::FILOWorkList::find()'],['../classSVF_1_1CSC.html#a049dc6bd348b1108a8a9726d50a4f280',1,'SVF::CSC::find()']]],
-  ['find_5ffirst',['find_first',['../classSVF_1_1PointsTo.html#a17c66a466bbea93598bca73d82c95479',1,'SVF::PointsTo::find_first()'],['../structSVF_1_1SparseBitVectorElement.html#a2281ff5a0a492064cff864d4c246cbc2',1,'SVF::SparseBitVectorElement::find_first()'],['../classSVF_1_1SparseBitVector.html#a06eeb5543eb160e08f9a41e30b52d963',1,'SVF::SparseBitVector::find_first()']]],
-  ['find_5flast',['find_last',['../structSVF_1_1SparseBitVectorElement.html#a1d79c099887fcf01f5c0743b38caf39d',1,'SVF::SparseBitVectorElement::find_last()'],['../classSVF_1_1SparseBitVector.html#ac969500db9dbd1c63b6a47a1d9a5abba',1,'SVF::SparseBitVector::find_last()']]],
-  ['find_5fnext',['find_next',['../structSVF_1_1SparseBitVectorElement.html#a60a023744119cd0424511ea1e83b76e1',1,'SVF::SparseBitVectorElement']]],
-  ['findlowerbound',['FindLowerBound',['../classSVF_1_1SparseBitVector.html#aaac61c8dd5477ecc6e76c664bf45c0b0',1,'SVF::SparseBitVector']]],
-  ['findlowerboundconst',['FindLowerBoundConst',['../classSVF_1_1SparseBitVector.html#ab4787f96a5f7cab926f9c7426aa92fc1',1,'SVF::SparseBitVector']]],
-  ['findlowerboundimpl',['FindLowerBoundImpl',['../classSVF_1_1SparseBitVector.html#ad53d20775e5445a438f579743aa77cf3',1,'SVF::SparseBitVector']]],
-  ['findpt',['findPT',['../classSVF_1_1DDAVFSolver.html#a52737dd41c63404ef91691154aa250ce',1,'SVF::DDAVFSolver']]],
-  ['finfo',['finfo',['../classSVF_1_1StInfo.html#ae3dc579aa3688c607f279215372eef4f',1,'SVF::StInfo']]],
-  ['fiobjnode',['FIObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6',1,'SVF::SVFVar']]],
-  ['fiobjvar',['FIObjVar',['../classSVF_1_1FIObjVar.html',1,'SVF::FIObjVar'],['../classSVF_1_1FIObjVar.html#a249efb32d80b9ea0a31e526a0868e876',1,'SVF::FIObjVar::FIObjVar()']]],
-  ['first_5ffcmp_5fpredicate',['FIRST_FCMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaf063247c279e47d1f477be1bd58b3d85',1,'SVF::CmpStmt']]],
-  ['first_5ffield',['FIRST_FIELD',['../classSVF_1_1DCHEdge.html#a48f01c4a02c4e278a1ab70b16efdef4ba3b49b95b713f585b717810dce5ac6564',1,'SVF::DCHEdge']]],
-  ['first_5ficmp_5fpredicate',['FIRST_ICMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca41466bf1e1bb63a6d83ee6a3817b6e1b',1,'SVF::CmpStmt']]],
-  ['firstcommonbit',['firstCommonBit',['../classSVF_1_1CoreBitVector.html#a1ca118240e4c7f678d52a6ca4b3e6b2f',1,'SVF::CoreBitVector']]],
-  ['firstfieldeqbase',['FirstFieldEqBase',['../classSVF_1_1Options.html#a12e88ce4ba3d39017203ec4cd3ccccea',1,'SVF::Options']]],
-  ['firstrhs2prods',['firstRHS2Prods',['../classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f',1,'SVF::CFLGrammar']]],
-  ['fja',['fja',['../classSVF_1_1MHP.html#a98857a1837cef5519c938d07bb771a60',1,'SVF::MHP']]],
-  ['flags',['flags',['../classSVF_1_1CHNode.html#a6844c89f715979709dc52d4854373e72',1,'SVF::CHNode::flags()'],['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#aafb0a0cd068e1632f0d643233cad8ad9',1,'SVF::RaceResultValidator::AccessPair::flags()'],['../classSVF_1_1DCHNode.html#a0b2c21429fd28c50965737a0baa2e90b',1,'SVF::DCHNode::flags()'],['../classSVF_1_1ObjTypeInfo.html#abf6bbcccf73bfcd5b950803d349c4eb1',1,'SVF::ObjTypeInfo::flags()']]],
-  ['flatten',['flatten',['../classSVF_1_1DCHGraph.html#ab96874bc8f6461fe0c3eb53b7f5cedce',1,'SVF::DCHGraph']]],
-  ['flattenelementtypes',['flattenElementTypes',['../classSVF_1_1StInfo.html#ab99748a89da80812bbf6ffde768d7246',1,'SVF::StInfo']]],
-  ['fldidx',['fldIdx',['../classSVF_1_1LocationSet.html#a5c2c1baa17a70b997824002e4c159cbd',1,'SVF::LocationSet']]],
-  ['fldidx2typemap',['fldIdx2TypeMap',['../classSVF_1_1StInfo.html#ad64be5942408c143a34a4a0d7cff09da',1,'SVF::StInfo']]],
-  ['fldidxvec',['fldIdxVec',['../classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe',1,'SVF::StInfo']]],
-  ['flexsymmap',['FlexSymMap',['../classSVF_1_1Options.html#a8e22c3bca5ee0e4e7d90e857a5ea8031',1,'SVF::Options']]],
-  ['flippedaddressmask',['FlippedAddressMask',['../AddressValue_8h.html#aec682540f2c8aa9deb79f610e4399411',1,'AddressValue.h']]],
-  ['flowbudget',['FlowBudget',['../classSVF_1_1Options.html#a8c02af98e908c48cef1de0085ed10ce4',1,'SVF::Options']]],
-  ['flowdda',['FlowDDA',['../classSVF_1_1FlowDDA.html',1,'SVF::FlowDDA'],['../classSVF_1_1ContextDDA.html#a2a23f0235fc49a177b2694f668b02551',1,'SVF::ContextDDA::flowDDA()'],['../classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77',1,'SVF::DDAStat::flowDDA()'],['../classSVF_1_1FlowDDA.html#aab22d2c14b46963887f623d84e75bd7a',1,'SVF::FlowDDA::FlowDDA()']]],
-  ['flowdda_2ecpp',['FlowDDA.cpp',['../FlowDDA_8cpp.html',1,'']]],
-  ['flowdda_2eh',['FlowDDA.h',['../FlowDDA_8h.html',1,'']]],
-  ['flows_5fdda',['FlowS_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85aa43c83e2f0df003c158d4b1325b50b18',1,'SVF::PointerAnalysis']]],
-  ['flowsensitive',['FlowSensitive',['../classSVF_1_1FlowSensitive.html',1,'SVF::FlowSensitive'],['../classSVF_1_1FlowSensitive.html#aac88b67b49cbd72912ff586d30197ffb',1,'SVF::FlowSensitive::FlowSensitive()']]],
-  ['flowsensitive_2ecpp',['FlowSensitive.cpp',['../FlowSensitive_8cpp.html',1,'']]],
-  ['flowsensitive_2eh',['FlowSensitive.h',['../FlowSensitive_8h.html',1,'']]],
-  ['flowsensitivestat',['FlowSensitiveStat',['../classSVF_1_1FlowSensitiveStat.html',1,'SVF::FlowSensitiveStat'],['../classSVF_1_1FlowSensitive.html#a88f9752372eabb71f47f13a89e4d6d9c',1,'SVF::FlowSensitive::FlowSensitiveStat()'],['../classSVF_1_1FlowSensitiveStat.html#a2a7ae289b0400e63fa217f8717f4ffa9',1,'SVF::FlowSensitiveStat::FlowSensitiveStat()']]],
-  ['flowsensitivestat_2ecpp',['FlowSensitiveStat.cpp',['../FlowSensitiveStat_8cpp.html',1,'']]],
-  ['fmt',['fmt',['../cJSON_8h.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d',1,'fmt(): cJSON.h'],['../cJSON_8cpp.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d',1,'fmt(): cJSON.cpp']]],
-  ['fmul',['FMul',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a22a047e74227056ef3340628fae80198',1,'SVF::BinaryOPStmt']]],
-  ['fneg',['FNeg',['../classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742ad6ff65c6ca19f968051e811b09745ad8',1,'SVF::UnaryOPStmt']]],
-  ['followers',['followers',['../classSVF_1_1PCG.html#ab3a3d18bac6e1f833583d41fa562caea',1,'SVF::PCG']]],
-  ['followersbegin',['followersBegin',['../classSVF_1_1PCG.html#a78e0fcf6657bddc055f02e126fbf5626',1,'SVF::PCG']]],
-  ['followersend',['followersEnd',['../classSVF_1_1PCG.html#ad4fe2747c89e6406c33eea95826de0d7',1,'SVF::PCG']]],
-  ['for',['for',['../cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc',1,'cJSON.cpp']]],
-  ['forkedgeset',['ForkEdgeSet',['../classSVF_1_1ThreadForkEdge.html#ad36696915ee802989b679dd058aaab68',1,'SVF::ThreadForkEdge::ForkEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#aa5efa630056c1db2bb0dadc868752ec8',1,'SVF::ThreadCallGraph::ForkEdgeSet()']]],
-  ['forkjoinanalysis',['ForkJoinAnalysis',['../classSVF_1_1ForkJoinAnalysis.html',1,'SVF::ForkJoinAnalysis'],['../classSVF_1_1ForkJoinAnalysis.html#a431ec90a12a62bb892e8b78f66a8f9dc',1,'SVF::ForkJoinAnalysis::ForkJoinAnalysis()']]],
-  ['forksite',['forksite',['../classSVF_1_1CxtThread.html#aa5d6be70f17419748ba572e347da6bd3',1,'SVF::CxtThread']]],
-  ['forksites',['forksites',['../classSVF_1_1ThreadCallGraph.html#a69b86668a04dc3e5bb85ab4f3f0fce27',1,'SVF::ThreadCallGraph']]],
-  ['forksitesbegin',['forksitesBegin',['../classSVF_1_1ThreadCallGraph.html#a37f2e076713a9aeb0e4313fb05dfb92e',1,'SVF::ThreadCallGraph']]],
-  ['forksitesend',['forksitesEnd',['../classSVF_1_1ThreadCallGraph.html#a1ebbd26c17cff1c1a1bee9caa9a8f825',1,'SVF::ThreadCallGraph']]],
-  ['formalinofaddresstakenfunc',['formalInOfAddressTakenFunc',['../classSVF_1_1SVFGOPT.html#a6eeec9fa475316f52689728a1af7bd05',1,'SVF::SVFGOPT']]],
-  ['formalinsvfgnode',['FormalINSVFGNode',['../classSVF_1_1FormalINSVFGNode.html',1,'SVF::FormalINSVFGNode'],['../classSVF_1_1FormalINSVFGNode.html#a199d0b978417c694a2200f22737904df',1,'SVF::FormalINSVFGNode::FormalINSVFGNode()']]],
-  ['formalinsvfgnodeset',['FormalINSVFGNodeSet',['../classSVF_1_1SVFG.html#a8859409373454b6b3d1252776e169cf5',1,'SVF::SVFG']]],
-  ['formaloutofaddresstakenfunc',['formalOutOfAddressTakenFunc',['../classSVF_1_1SVFGOPT.html#a86cb63258b49077587d44ba45d023f02',1,'SVF::SVFGOPT']]],
-  ['formaloutsvfgnode',['FormalOUTSVFGNode',['../classSVF_1_1FormalOUTSVFGNode.html',1,'SVF::FormalOUTSVFGNode'],['../classSVF_1_1FormalOUTSVFGNode.html#a87832feaa312a4aff2de2ca0209dfe72',1,'SVF::FormalOUTSVFGNode::FormalOUTSVFGNode()']]],
-  ['formaloutsvfgnodeset',['FormalOUTSVFGNodeSet',['../classSVF_1_1SVFG.html#acb7262c3b9161c77eb1b491048152fb0',1,'SVF::SVFG']]],
-  ['formalouttodefmap',['formalOutToDefMap',['../classSVF_1_1SVFGOPT.html#abbd6ac28826b9cc4c4981271393c8b19',1,'SVF::SVFGOPT']]],
-  ['formalparmnodevec',['FormalParmNodeVec',['../classSVF_1_1FunEntryICFGNode.html#a0e8ff24e445a670f5ea1fef66ea928c5',1,'SVF::FunEntryICFGNode']]],
-  ['formalparmsvfgnode',['FormalParmSVFGNode',['../namespaceSVF.html#ad466edced10faeafd48e96daf193b8a9',1,'SVF']]],
-  ['formalparmvfgnode',['FormalParmVFGNode',['../classSVF_1_1FormalParmVFGNode.html',1,'SVF::FormalParmVFGNode'],['../classSVF_1_1FormalParmVFGNode.html#a4f51e718a8519f6edcee627cdd51b272',1,'SVF::FormalParmVFGNode::FormalParmVFGNode()']]],
-  ['formalret',['formalRet',['../classSVF_1_1FunExitICFGNode.html#ac3765c6a34ddff0018e38ce644d96641',1,'SVF::FunExitICFGNode']]],
-  ['formalretsvfgnode',['FormalRetSVFGNode',['../namespaceSVF.html#ae5987da3ffd5681e8ec4ef14ba54588e',1,'SVF']]],
-  ['formalretvfgnode',['FormalRetVFGNode',['../classSVF_1_1FormalRetVFGNode.html',1,'SVF::FormalRetVFGNode'],['../classSVF_1_1FormalRetVFGNode.html#a0155a71f08dfb1fb43f054084b2380c6',1,'SVF::FormalRetVFGNode::FormalRetVFGNode()'],['../classSVF_1_1FormalRetVFGNode.html#a527e3cac2e32f29d57b58db61c801cf3',1,'SVF::FormalRetVFGNode::FormalRetVFGNode(const FormalRetVFGNode &)'],['../classSVF_1_1FormalRetVFGNode.html#a732fe0036d307a1dace2631219de38ef',1,'SVF::FormalRetVFGNode::FormalRetVFGNode(NodeID id, const PAGNode *n, const SVFFunction *f)']]],
-  ['format',['format',['../structprintbuffer.html#a75d3f480f5308e7f4afecf30e11277ef',1,'printbuffer::format()'],['../cJSON_8h.html#a6122748ab66fdcaed151288ac056a1d1',1,'format(): cJSON.h'],['../cJSON_8cpp.html#a6122748ab66fdcaed151288ac056a1d1',1,'format(): cJSON.cpp']]],
-  ['forwardslice',['forwardslice',['../classSVF_1_1ProgSlice.html#ac12dc4caa0c764ae69175e787efad2ab',1,'SVF::ProgSlice::forwardslice()'],['../classSVF_1_1SVFGStat.html#a1e5ec005dda8dc918422eaf33f3145f8',1,'SVF::SVFGStat::forwardSlice()']]],
-  ['forwardslicebegin',['forwardSliceBegin',['../classSVF_1_1ProgSlice.html#ae482fcb138aaf345586a39daa34ff895',1,'SVF::ProgSlice']]],
-  ['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']]],
-  ['fparm',['FParm',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7',1,'SVF::VFGNode']]],
-  ['fpin',['FPIN',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3c58aedc46cdafac26b47ec9674c2ac5',1,'SVF::VFGNode']]],
-  ['fpnodes',['FPNodes',['../classSVF_1_1FunEntryICFGNode.html#a30e8c63bf2ae7a7528b9d8a516340ade',1,'SVF::FunEntryICFGNode']]],
-  ['fpout',['FPOUT',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09',1,'SVF::VFGNode']]],
-  ['freezeinst',['FreezeInst',['../namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88',1,'SVF']]],
-  ['frem',['FRem',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6aafa66e75600b0098c4fa3304720cb7a6',1,'SVF::BinaryOPStmt']]],
-  ['fret',['FRet',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053',1,'SVF::VFGNode']]],
-  ['fromfile',['fromFile',['../classSVF_1_1IRGraph.html#a7750a2b2a98bb39fc5f67af4e0c12379',1,'SVF::IRGraph']]],
-  ['fromstring',['fromString',['../classOption.html#a1a2432713251f4422296c0c42efb9d9c',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()']]],
-  ['fsanno',['FSAnno',['../classSVF_1_1Options.html#a4f022e2f997d25ec50842b4248147336',1,'SVF::Options']]],
-  ['fscs_5fwpa',['FSCS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a43837619e78e03dc95ec6e88959faf82',1,'SVF::PointerAnalysis']]],
-  ['fsdataflow_5fwpa',['FSDATAFLOW_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a62281bc39fea50a88e55edf605620322',1,'SVF::PointerAnalysis']]],
-  ['fsmpta',['FSMPTA',['../classSVF_1_1FSMPTA.html',1,'SVF::FSMPTA'],['../classSVF_1_1FSMPTA.html#a551da3b02d2387cd551365e4c61e4d35',1,'SVF::FSMPTA::FSMPTA()']]],
-  ['fsmpta_2ecpp',['FSMPTA.cpp',['../FSMPTA_8cpp.html',1,'']]],
-  ['fsmpta_2eh',['FSMPTA.h',['../FSMPTA_8h.html',1,'']]],
-  ['fsmptatime',['FSMPTATime',['../classSVF_1_1MTAStat.html#a030671ec358a93e3c2887f048dcfcce8',1,'SVF::MTAStat']]],
-  ['fspta',['fspta',['../classSVF_1_1FlowSensitive.html#a2fac4f6a9d2cc19b2d998f0197e6883b',1,'SVF::FlowSensitive::fspta()'],['../classSVF_1_1FlowSensitiveStat.html#af7e04f73ee17647c52e571cadef8729f',1,'SVF::FlowSensitiveStat::fspta()']]],
-  ['fssparse_5fwpa',['FSSPARSE_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ad6ccf1ce66083278349c5c3111172d78',1,'SVF::PointerAnalysis']]],
-  ['fstimelimit',['FsTimeLimit',['../classSVF_1_1Options.html#a6ebad0decdd6e93c661b72d80f5dbcef',1,'SVF::Options']]],
-  ['fsub',['FSub',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a05348a0e3f232ac552bb3ca56525c448',1,'SVF::BinaryOPStmt']]],
-  ['fulljoin',['fullJoin',['../classSVF_1_1ForkJoinAnalysis.html#a4193a30050195cd9aaafd58511b66ccc',1,'SVF::ForkJoinAnalysis']]],
-  ['fullreachable',['fullReachable',['../classSVF_1_1ProgSlice.html#a632db4b2e69848955925746ac721d94f',1,'SVF::ProgSlice']]],
-  ['fullsvfg',['FULLSVFG',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a5a28e6fd51e73e076091d4b6f4e61eaa',1,'SVF::VFG']]],
-  ['fullsvfg_5fopt',['FULLSVFG_OPT',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6aab1abd6be4a29fe8fb03a82f85e568a0',1,'SVF::VFG']]],
-  ['fun',['fun',['../classSVF_1_1ICFGNode.html#a03587dbd558d8fffe25307b42e3195be',1,'SVF::ICFGNode::fun()'],['../classSVF_1_1PTACallGraphNode.html#a1453299fc45dc51d2c9842ff4de1b860',1,'SVF::PTACallGraphNode::fun()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978',1,'SVF::InterMSSAPHISVFGNode::fun()'],['../classSVF_1_1FormalParmVFGNode.html#ad8f56074e213d2e7dc1d22a1b0765f8c',1,'SVF::FormalParmVFGNode::fun()'],['../classSVF_1_1FormalRetVFGNode.html#ae267daf3681188e6e74f656a73d21be3',1,'SVF::FormalRetVFGNode::fun()'],['../classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740',1,'SVF::InterPHIVFGNode::fun()'],['../classSVF_1_1RetMU.html#a4982f6fffac4f4775e27f994677a9f2c',1,'SVF::RetMU::fun()'],['../classSVF_1_1EntryCHI.html#afd2b2d4a7198f62467b4062740e5196c',1,'SVF::EntryCHI::fun()'],['../classSVF_1_1SVFBasicBlock.html#acb3ada4f28d5acd73474e9f626dfd7b7',1,'SVF::SVFBasicBlock::fun()'],['../classSVF_1_1SVFArgument.html#a3ff4ec73d0e5eea7d8369d3d948e89f4',1,'SVF::SVFArgument::fun()'],['../classSVF_1_1CxtProc.html#a70b6a2ae40bd7e4b08ddcb6d6b0289df',1,'SVF::CxtProc::fun()']]],
-  ['funargslistmap',['funArgsListMap',['../classSVF_1_1SVFIR.html#a864c465fbfdbbbdcc7fc8bbe26737903',1,'SVF::SVFIR']]],
-  ['funcallblock',['FunCallBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376a58501ce2adf17a3da23a98f363ed9800',1,'SVF::ICFGNode']]],
-  ['funcname',['funcName',['../structSVF_1_1cppUtil_1_1DemangledName.html#a1dd17b240663bc9412adefde82385e02',1,'SVF::cppUtil::DemangledName']]],
-  ['funcpair',['FuncPair',['../classSVF_1_1MHP.html#ad8930750fd4316003686b215ace46525',1,'SVF::MHP']]],
-  ['funcpairtobool',['FuncPairToBool',['../classSVF_1_1MHP.html#adff2785f9d46eb110ce5b429592b2a38',1,'SVF::MHP']]],
-  ['funcpointerprint',['FuncPointerPrint',['../classSVF_1_1Options.html#abb91435e1e06b07548c539e7f7761563',1,'SVF::Options']]],
-  ['function',['Function',['../namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1',1,'SVF']]],
-  ['function_5fobj',['FUNCTION_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830af5f94b2a41dab25fa08c94a989fb9515',1,'SVF::ObjTypeInfo']]],
-  ['functiondoesnotret',['functionDoesNotRet',['../namespaceSVF_1_1LLVMUtil.html#a651b6a1cf3665277d2241220bb145aed',1,'SVF::LLVMUtil']]],
-  ['functionset',['FunctionSet',['../classSVF_1_1FlowDDA.html#ae1ec4e6e9b967a7fd36c32f21e05ba11',1,'SVF::FlowDDA::FunctionSet()'],['../classSVF_1_1PTACallGraph.html#a5f5a5ec7e707a21994d301cc07d32a5a',1,'SVF::PTACallGraph::FunctionSet()'],['../classSVF_1_1PointerAnalysis.html#ac1422cd8b449fdb4a1f7c539364e4c41',1,'SVF::PointerAnalysis::FunctionSet()'],['../classSVF_1_1SVFGBuilder.html#a1f8e21823ddc9eb19e1fe18d9b2b8280',1,'SVF::SVFGBuilder::FunctionSet()'],['../classSVF_1_1MTASVFGBuilder.html#a287359e6d0a4613e1a149a7ec11522b7',1,'SVF::MTASVFGBuilder::FunctionSet()'],['../classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e',1,'SVF::SVFModule::FunctionSet()']]],
-  ['functionsettype',['FunctionSetType',['../classSVF_1_1LLVMModuleSet.html#a16d14e6712866d1d710c386c72d67181',1,'SVF::LLVMModuleSet::FunctionSetType()'],['../classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b',1,'SVF::SVFModule::FunctionSetType()']]],
-  ['functiontoformalinsmapty',['FunctionToFormalINsMapTy',['../classSVF_1_1SVFG.html#a2b4850c833564916c7fce46d55672038',1,'SVF::SVFG']]],
-  ['functiontoformaloutsmapty',['FunctionToFormalOUTsMapTy',['../classSVF_1_1SVFG.html#ac4c65501e9beba5495a57dd469f78e5b',1,'SVF::SVFG']]],
-  ['functiontype',['FunctionType',['../namespaceSVF.html#a6ec0236303089a01fd9da36a8bb84e0a',1,'SVF']]],
-  ['functointermap',['funcToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ac3873b9ae1339e8d502e85c217638078',1,'SVF::IntraDisjointMRG']]],
-  ['functoptsmap',['funcToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a4b05180c942c1d049e70f8050f4186f6',1,'SVF::IntraDisjointMRG']]],
-  ['functype',['funcType',['../classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc',1,'SVF::SVFFunction']]],
-  ['funcvector',['FuncVector',['../classSVF_1_1CHNode.html#aa4af6538c9994ec54a7b82691f846a31',1,'SVF::CHNode::FuncVector()'],['../classSVF_1_1DCHNode.html#aebd4fb544e8a97164901ab602e0fe7fc',1,'SVF::DCHNode::FuncVector()']]],
-  ['fundecltodefmap',['FunDeclToDefMap',['../classSVF_1_1LLVMModuleSet.html#aee80b29e5246e3eaa0e30e165346101f',1,'SVF::LLVMModuleSet']]],
-  ['fundecltodefmapty',['FunDeclToDefMapTy',['../classSVF_1_1LLVMModuleSet.html#ad18bccd560f137dee580fa2272b3361a',1,'SVF::LLVMModuleSet']]],
-  ['fundeftodeclsmap',['FunDefToDeclsMap',['../classSVF_1_1LLVMModuleSet.html#a377cefaad4b688ab6edf94ba4abe00ee',1,'SVF::LLVMModuleSet']]],
-  ['fundeftodeclsmapty',['FunDefToDeclsMapTy',['../classSVF_1_1LLVMModuleSet.html#af30db1a8124b99761b13a7ae4b68f3ed',1,'SVF::LLVMModuleSet']]],
-  ['funentryblock',['FunEntryBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ad2fb9517b64addcced67efe9cc83b994',1,'SVF::ICFGNode']]],
-  ['funentryicfgnode',['FunEntryICFGNode',['../classSVF_1_1FunEntryICFGNode.html',1,'SVF::FunEntryICFGNode'],['../classSVF_1_1FunEntryICFGNode.html#a15fd95468e2200d92d650625d4fa2f31',1,'SVF::FunEntryICFGNode::FunEntryICFGNode()']]],
-  ['funentrynode',['funEntryNode',['../classSVF_1_1FormalINSVFGNode.html#a4a574589ae53d38e63fc4a26a5b9af61',1,'SVF::FormalINSVFGNode']]],
-  ['funexitblock',['FunExitBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376acf25925678f7fa5fba01766bd06a1fb8',1,'SVF::ICFGNode']]],
-  ['funexiticfgnode',['FunExitICFGNode',['../classSVF_1_1FunExitICFGNode.html',1,'SVF::FunExitICFGNode'],['../classSVF_1_1FunExitICFGNode.html#a84f43a81c2b6df125f32ddcb47b8858b',1,'SVF::FunExitICFGNode::FunExitICFGNode()']]],
-  ['funexitnode',['funExitNode',['../classSVF_1_1FormalOUTSVFGNode.html#af5235111849f826880c10d7bcc635748',1,'SVF::FormalOUTSVFGNode']]],
-  ['funhasret',['funHasRet',['../classSVF_1_1SVFIR.html#afe8274c3b7317fccef5314662a182046',1,'SVF::SVFIR']]],
-  ['funnameofvcall',['funNameOfVcall',['../classSVF_1_1SVFVirtualCallInst.html#a34767de48e7d454c3ea7c92dcb29b268',1,'SVF::SVFVirtualCallInst']]],
-  ['funptrddaclient',['FunptrDDAClient',['../classSVF_1_1FunptrDDAClient.html',1,'SVF::FunptrDDAClient'],['../classSVF_1_1FunptrDDAClient.html#a5aae3bed289371605ad831ae5a6ad6b5',1,'SVF::FunptrDDAClient::FunptrDDAClient()']]],
-  ['funptrtocallsitesmap',['funPtrToCallSitesMap',['../classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5',1,'SVF::SVFIR::funPtrToCallSitesMap()'],['../classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9',1,'SVF::SVFIR::FunPtrToCallSitesMap()']]],
-  ['funret',['FunRet',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac8494021a71efb0f6df237ff12561c8d',1,'SVF::VFGNode']]],
-  ['funretblock',['FunRetBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ac731cdb9d1269f6c25e1c80159154921',1,'SVF::ICFGNode']]],
-  ['funretmap',['funRetMap',['../classSVF_1_1SVFIR.html#a4cef56f7fc77b47dc6e65c59c98551c5',1,'SVF::SVFIR']]],
-  ['funset',['FunSet',['../classSVF_1_1LockAnalysis.html#ab549cae7074a0c2cb82ac6a295fe212a',1,'SVF::LockAnalysis::FunSet()'],['../classSVF_1_1MHP.html#a905c05370011a2dc93f86973d409b4d9',1,'SVF::MHP::FunSet()'],['../classSVF_1_1PCG.html#aae8a28dfe4a586dbdeebb9889dae6499',1,'SVF::PCG::FunSet()'],['../classSVF_1_1TCT.html#a4f6d979f045d6a90412e9d154b576c60',1,'SVF::TCT::FunSet()']]],
-  ['funtoargslistmap',['FunToArgsListMap',['../classSVF_1_1SVFIR.html#a4541aa617c79f7922fe8e21c0f2b6b63',1,'SVF::SVFIR']]],
-  ['funtocallgraphnodemap',['FunToCallGraphNodeMap',['../classSVF_1_1PTACallGraph.html#a049bc978a93f0db1fe91efb6feb22b14',1,'SVF::PTACallGraph::FunToCallGraphNodeMap()'],['../classSVF_1_1PTACallGraph.html#a97986d6e6732c78b04cc053f0e9d1367',1,'SVF::PTACallGraph::funToCallGraphNodeMap()']]],
-  ['funtoentrychisetmap',['funToEntryChiSetMap',['../classSVF_1_1MemSSA.html#a59314f6ce17919574d687a08a38b55ec',1,'SVF::MemSSA::funToEntryChiSetMap()'],['../classSVF_1_1MemSSA.html#ac34aa1ac96600bfc27b3c2eb0b1510ca',1,'SVF::MemSSA::FunToEntryChiSetMap()']]],
-  ['funtoexitbbsmap',['funToExitBBsMap',['../classSVF_1_1SaberCondAllocator.html#ad1620cc7482aeb464b53cfce64e17cc3',1,'SVF::SaberCondAllocator::funToExitBBsMap()'],['../classSVF_1_1SaberCondAllocator.html#a1f13ef0f88ef09e0ee13c61ebc6ae678',1,'SVF::SaberCondAllocator::FunToExitBBsMap()']]],
-  ['funtoformalinmap',['funToFormalINMap',['../classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd',1,'SVF::SVFG']]],
-  ['funtoformaloutmap',['funToFormalOUTMap',['../classSVF_1_1SVFG.html#a7d58f9fe97071ec9936174689cb99301',1,'SVF::SVFG']]],
-  ['funtofunentrynodemap',['FunToFunEntryNodeMap',['../classSVF_1_1ICFG.html#a69076849bd256fb0ca59711a59a7c092',1,'SVF::ICFG']]],
-  ['funtofunentrynodemapty',['FunToFunEntryNodeMapTy',['../classSVF_1_1ICFG.html#a44a95ca43a7b3148c1aee9ad5da6e9d1',1,'SVF::ICFG']]],
-  ['funtofunexitnodemap',['FunToFunExitNodeMap',['../classSVF_1_1ICFG.html#ab87a90adae3e9db06da7ecc0bd9d920f',1,'SVF::ICFG']]],
-  ['funtofunexitnodemapty',['FunToFunExitNodeMapTy',['../classSVF_1_1ICFG.html#a25f4e5330af9d3fba19ad70520b2ec7f',1,'SVF::ICFG']]],
-  ['funtoidmapty',['FunToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#acd5c1096bb8e93a2a708cd7eef66e7d8',1,'SVF::SymbolTableInfo']]],
-  ['funtointermap',['FunToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ad59c11753db0b310246418df4c62f639',1,'SVF::IntraDisjointMRG']]],
-  ['funtomodsmap',['funToModsMap',['../classSVF_1_1MRGenerator.html#a2c94bfa19ad8d1d6360b12693c8b891d',1,'SVF::MRGenerator']]],
-  ['funtomrsmap',['funToMRsMap',['../classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96',1,'SVF::MRGenerator::funToMRsMap()'],['../classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b',1,'SVF::MRGenerator::FunToMRsMap()']]],
-  ['funtonodebsmap',['FunToNodeBSMap',['../classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d',1,'SVF::MRGenerator']]],
-  ['funtopagedgesetmap',['FunToPAGEdgeSetMap',['../classSVF_1_1SVFIR.html#ac918466df08a2ab30472f3e57935f005',1,'SVF::SVFIR']]],
-  ['funtopointstomap',['FunToPointsToMap',['../classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a',1,'SVF::MRGenerator::FunToPointsToMap()'],['../classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b',1,'SVF::MRGenerator::funToPointsToMap()']]],
-  ['funtopointstosmap',['FunToPointsTosMap',['../classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd',1,'SVF::MRGenerator']]],
-  ['funtoptsmap',['FunToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a824dec1bb1df5052252e7fe0dd55a894',1,'SVF::IntraDisjointMRG']]],
-  ['funtorefsmap',['funToRefsMap',['../classSVF_1_1MRGenerator.html#af6d58e2971c4a8d3ee03f9dfd9072a3a',1,'SVF::MRGenerator']]],
-  ['funtoretmap',['FunToRetMap',['../classSVF_1_1SVFIR.html#ae34e5ff2f065ad752c248337d625b2e3',1,'SVF::SVFIR']]],
-  ['funtoreturnmusetmap',['funToReturnMuSetMap',['../classSVF_1_1MemSSA.html#abae2396bf8a37a22be9365d368fe455c',1,'SVF::MemSSA::funToReturnMuSetMap()'],['../classSVF_1_1MemSSA.html#a3cfc6d7134f98e5876c16c6c043a3d92',1,'SVF::MemSSA::FunToReturnMuSetMap()']]],
-  ['funtovfgnodesmap',['funToVFGNodesMap',['../classSVF_1_1VFG.html#a9a99ae86d16ffe69bff9d52de769d049',1,'SVF::VFG']]],
-  ['funtovfgnodesmapty',['FunToVFGNodesMapTy',['../classSVF_1_1VFG.html#ad63218978f65ab91ae21bc24c882a716',1,'SVF::VFG']]],
-  ['funvec',['FunVec',['../classSVF_1_1PCG.html#a1baeae98fd911d67acf644b49e48af8c',1,'SVF::PCG']]],
-  ['funworklist',['FunWorkList',['../classSVF_1_1PCG.html#aa5b05322809d72ee8d1fc5fb3b85696d',1,'SVF::PCG']]],
-  ['fwprocesscurnode',['FWProcessCurNode',['../classSVF_1_1SrcSnkDDA.html#ad4e19b2510c124d458f6941e190ef7cc',1,'SVF::SrcSnkDDA::FWProcessCurNode()'],['../classSVF_1_1SrcSnkSolver.html#ab35190da65a3157a654a90afc7d793b5',1,'SVF::SrcSnkSolver::FWProcessCurNode()'],['../classSVF_1_1GraphReachSolver.html#a6ea48755ca28468b426380e838494087',1,'SVF::GraphReachSolver::FWProcessCurNode()']]],
-  ['fwprocessoutgoingedge',['FWProcessOutgoingEdge',['../classSVF_1_1SrcSnkDDA.html#acb99b47a514fc9d10fe1b989c7b09127',1,'SVF::SrcSnkDDA::FWProcessOutgoingEdge()'],['../classSVF_1_1SrcSnkSolver.html#aa43dbc79bfde3199a73ce0257613f484',1,'SVF::SrcSnkSolver::FWProcessOutgoingEdge()'],['../classSVF_1_1GraphReachSolver.html#a3f205f7bc0f0ae1a14184bb8cae4bf92',1,'SVF::GraphReachSolver::FWProcessOutgoingEdge()']]]
+  ['getcbn',['getCBN',['../classSVF_1_1LockResultValidator.html#a7638247e903414b084847b07a8bed78c',1,'SVF::LockResultValidator']]],
+  ['getcxtarg',['getCxtArg',['../classSVF_1_1MTAResultValidator.html#afb110fec926967ba334bf2635d58a339',1,'SVF::MTAResultValidator']]],
+  ['getinstruction1',['getInstruction1',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a97307972daebc1fc358ba2c8009c5990',1,'SVF::RaceResultValidator::AccessPair']]],
+  ['getinstruction2',['getInstruction2',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#acf383712e9399fec0d52614b2338836c',1,'SVF::RaceResultValidator::AccessPair']]],
+  ['getintarg',['getIntArg',['../classSVF_1_1MTAResultValidator.html#a4ff908be3569c18528fb6f6ff98cd11a',1,'SVF::MTAResultValidator']]],
+  ['getloadoperand',['getLoadOperand',['../classSVF_1_1MTAAnnotator.html#a399e53d065bc34af428a1ba89a04972b',1,'SVF::MTAAnnotator']]],
+  ['getmodule',['getModule',['../classSVF_1_1LockResultValidator.html#a7b8a2bf9962bd57e103039ead85821d2',1,'SVF::LockResultValidator::getModule()'],['../classSVF_1_1MTAResultValidator.html#aecaf875c6c88f7ba6fa45540e8436f57',1,'SVF::MTAResultValidator::getModule()']]],
+  ['getoutput',['getOutput',['../classSVF_1_1LockResultValidator.html#ab71d89c954395df7d108263b3fa87330',1,'SVF::LockResultValidator::getOutput()'],['../classSVF_1_1MTAResultValidator.html#a9c9baeb57a645b57cc9053b3071f0602',1,'SVF::MTAResultValidator::getOutput()'],['../classSVF_1_1RaceResultValidator.html#afdd89e26a7c168762bfe85746252827f',1,'SVF::RaceResultValidator::getOutput()']]],
+  ['getoutputforinterlevanalysis',['getOutputforInterlevAnalysis',['../classSVF_1_1MTAResultValidator.html#ac24a8a6922d9dc9edecab3bc45bc9204',1,'SVF::MTAResultValidator']]],
+  ['getpreviousmemoryaccessinst',['getPreviousMemoryAccessInst',['../classSVF_1_1LockResultValidator.html#a0be1cdab3c36835044e3b26d5d8402e6',1,'SVF::LockResultValidator::getPreviousMemoryAccessInst()'],['../classSVF_1_1MTAResultValidator.html#ab3ba3c6d9c40e97febdab0e7d4ad9a3e',1,'SVF::MTAResultValidator::getPreviousMemoryAccessInst()'],['../classSVF_1_1RaceResultValidator.html#ad029f7a9a5161191a44d1e841f9d6114',1,'SVF::RaceResultValidator::getPreviousMemoryAccessInst()']]],
+  ['getstoreoperand',['getStoreOperand',['../classSVF_1_1MTAAnnotator.html#a49434afd0d7beb9f5d6580e8f672889c',1,'SVF::MTAAnnotator']]],
+  ['getstringarg',['getStringArg',['../classSVF_1_1LockResultValidator.html#a1b1b841451fe51cb58417e864a28cbfc',1,'SVF::LockResultValidator::getStringArg()'],['../classSVF_1_1MTAResultValidator.html#a1ac51d2847f9bdee27092ab22211bb61',1,'SVF::MTAResultValidator::getStringArg()']]]
 ];