svf-tools 1.0.768 → 1.0.769

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

@@ -1,215 +1,215 @@
 var searchData=
 [
-  ['raceresultvalidator_4802',['RaceResultValidator',['../classSVF_1_1RaceResultValidator.html',1,'SVF']]],
-  ['racevalidator_4803',['RaceValidator',['../classSVF_1_1RaceValidator.html',1,'SVF::RaceValidator'],['../classSVF_1_1RaceValidator.html#a990ee1472b24a746d42b7bac4e453447',1,'SVF::RaceValidator::RaceValidator()']]],
-  ['raw_4804',['raw',['../cJSON_8h.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.h'],['../cJSON_8cpp.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.cpp']]],
-  ['raw_5ffd_5fostream_4805',['raw_fd_ostream',['../namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba',1,'SVF']]],
-  ['raw_5fpointer_5fiterator_4806',['raw_pointer_iterator',['../namespaceSVF.html#af3b0c055d852656a062bf784222a4fea',1,'SVF']]],
-  ['rawproductions_4807',['rawProductions',['../classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd',1,'SVF::GrammarBase']]],
-  ['rc_5faccess_4808',['RC_ACCESS',['../classSVF_1_1RaceResultValidator.html#ab1fbb367d32d72841119795e48cfae2d',1,'SVF::RaceResultValidator']]],
-  ['rc_5faliases_4809',['RC_ALIASES',['../classSVF_1_1RaceResultValidator.html#a090afdd4eb0d60b2a0408f9b5ea4a30e',1,'SVF::RaceResultValidator']]],
-  ['rc_5fflag_4810',['RC_FLAG',['../classSVF_1_1RaceResultValidator.html#ac57ae430ee5b6868fe810172ec658853',1,'SVF::RaceResultValidator::RC_FLAG()'],['../classSVF_1_1RaceResultValidator.html#ac57ae430ee5b6868fe810172ec658853',1,'SVF::RaceResultValidator::RC_FLAG()']]],
-  ['rc_5fmhp_4811',['RC_MHP',['../classSVF_1_1RaceResultValidator.html#aa4129053b7248d4e95763f0b41044e4c',1,'SVF::RaceResultValidator']]],
-  ['rc_5fprotected_4812',['RC_PROTECTED',['../classSVF_1_1RaceResultValidator.html#abcdd726f56cc2deb6cad72456863fc9b',1,'SVF::RaceResultValidator']]],
-  ['rc_5frace_4813',['RC_RACE',['../classSVF_1_1RaceResultValidator.html#abb9eba49d091d292a13478f659a5e53b',1,'SVF::RaceResultValidator']]],
-  ['rcsvfgbuilder_4814',['RcSvfgBuilder',['../classSVF_1_1SVFG.html#a67654d252e9e93b74e35ba247048b41a',1,'SVF::SVFG']]],
-  ['reachablebbs_4815',['reachableBBs',['../classSVF_1_1SVFLoopAndDomInfo.html#af3eeabc8b81b2aff27ae3577195a1eff',1,'SVF::SVFLoopAndDomInfo']]],
-  ['reachglob_4816',['reachGlob',['../classSVF_1_1ProgSlice.html#ab36bc2aa24a2a90555a9714dcbfc83e5',1,'SVF::ProgSlice']]],
-  ['read_4817',['read',['../classSVF_1_1SVFIRReader.html#ab03b02b315c4ccb0e0fbb2591f221d61',1,'SVF::SVFIRReader::read(const std::string &path)'],['../classSVF_1_1SVFIRReader.html#a252a1ce47d6e5b30914a4a1cc340d86d',1,'SVF::SVFIRReader::read(const cJSON *root)']]],
-  ['read_5fcreate_5fedge_5ffwd_4818',['READ_CREATE_EDGE_FWD',['../SVFFileSystem_8cpp.html#a30d1c3675b87f06ba8a58a010ae55fec',1,'SVFFileSystem.cpp']]],
-  ['read_5fcreate_5fnode_5ffwd_4819',['READ_CREATE_NODE_FWD',['../SVFFileSystem_8cpp.html#ad9bbbc9c38a358d29b606dcf38c851ad',1,'SVFFileSystem.cpp']]],
-  ['readander_4820',['ReadAnder',['../classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475',1,'SVF::Options']]],
-  ['readbignumber_4821',['readBigNumber',['../namespaceSVF.html#ac9bc0a9e085bace3fcd2e92b6d418dab',1,'SVF']]],
-  ['readdir_5fr_4822',['readdir_r',['../extapi_8c.html#a3ccb1f4f10729777321e33899242f721',1,'extapi.c']]],
-  ['readeridtoobjmap_4823',['ReaderIDToObjMap',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
-  ['readeridtoobjmap_3c_20chnode_20_3e_4824',['ReaderIDToObjMap< CHNode >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
-  ['readeridtoobjmap_3c_20nodety_20_3e_4825',['ReaderIDToObjMap< NodeTy >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
-  ['readeridtoobjmap_3c_20svf_3a_3amemobj_20_3e_4826',['ReaderIDToObjMap< SVF::MemObj >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
-  ['readeridtoobjmap_3c_20svfvar_20_3e_4827',['ReaderIDToObjMap< SVFVar >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
-  ['readerptrpool_4828',['ReaderPtrPool',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20chedge_20_3e_4829',['ReaderPtrPool< CHEdge >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20edgety_20_3e_4830',['ReaderPtrPool< EdgeTy >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20svf_3a_3astinfo_20_3e_4831',['ReaderPtrPool< SVF::StInfo >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20svf_3a_3asvfloop_20_3e_4832',['ReaderPtrPool< SVF::SVFLoop >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20svf_3a_3asvftype_20_3e_4833',['ReaderPtrPool< SVF::SVFType >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20svf_3a_3asvfvalue_20_3e_4834',['ReaderPtrPool< SVF::SVFValue >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20svfstmt_20_3e_4835',['ReaderPtrPool< SVFStmt >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readfile_4836',['readFile',['../classSVF_1_1SVFG.html#a9da50b8f467066b478143af64f7c9858',1,'SVF::SVFG']]],
-  ['readfromfile_4837',['readFromFile',['../classSVF_1_1BVDataPTAImpl.html#a290501006cb700db0e07dc577429c928',1,'SVF::BVDataPTAImpl']]],
-  ['readinheritancemetadatafrommodule_4838',['readInheritanceMetadataFromModule',['../classSVF_1_1CHGBuilder.html#a443b021eb2b08b92164515750385b058',1,'SVF::CHGBuilder']]],
-  ['readjson_4839',['readJson',['../classSVF_1_1SVFIRReader.html#a68729347f89307b71fa97475883c6741',1,'SVF::SVFIRReader::readJson(const cJSON *obj, bool &flag)'],['../classSVF_1_1SVFIRReader.html#a4bbe5acde46e216f28c0918abffa1f6c',1,'SVF::SVFIRReader::readJson(const cJSON *obj, unsigned &val)'],['../classSVF_1_1SVFIRReader.html#a051ef80cfc07a46c72ca84f136b109bf',1,'SVF::SVFIRReader::readJson(const cJSON *obj, int &val)'],['../classSVF_1_1SVFIRReader.html#aa98ab7b243dec53fe77e212cfbcb0318',1,'SVF::SVFIRReader::readJson(const cJSON *obj, short &val)'],['../classSVF_1_1SVFIRReader.html#a16ffad8293aa28050c004a9d03179b1d',1,'SVF::SVFIRReader::readJson(const cJSON *obj, float &val)'],['../classSVF_1_1SVFIRReader.html#aaf07b7a570f8f38e4d1d4647aa3cb84d',1,'SVF::SVFIRReader::readJson(const cJSON *obj, unsigned long &val)'],['../classSVF_1_1SVFIRReader.html#a17264b948143fa01a8ba3d0fa2e72567',1,'SVF::SVFIRReader::readJson(const cJSON *obj, long long &val)'],['../classSVF_1_1SVFIRReader.html#a275fa3fd1813a0b178be828ef432cd29',1,'SVF::SVFIRReader::readJson(const cJSON *obj, unsigned long long &val)'],['../classSVF_1_1SVFIRReader.html#af4c11fe282576b452b53098fc625bf70',1,'SVF::SVFIRReader::readJson(const cJSON *obj, std::string &str)'],['../classSVF_1_1SVFIRReader.html#a83838ee6098cf3b0893b8325cfc3ffdd',1,'SVF::SVFIRReader::readJson(const cJSON *obj, NodeIDAllocator *idAllocator)'],['../classSVF_1_1SVFIRReader.html#af379c833b8e0c16ed7b41a76bb8e51d6',1,'SVF::SVFIRReader::readJson(SymbolTableInfo *symTabInfo)'],['../classSVF_1_1SVFIRReader.html#abdb701b360803217f31baa66ca42d147',1,'SVF::SVFIRReader::readJson(IRGraph *graph)'],['../classSVF_1_1SVFIRReader.html#a4141e6fb5b42049e41f5fb7ad914b764',1,'SVF::SVFIRReader::readJson(ICFG *icfg)'],['../classSVF_1_1SVFIRReader.html#a29deff07a39203e1b10de9296ccedffa',1,'SVF::SVFIRReader::readJson(CHGraph *graph)'],['../classSVF_1_1SVFIRReader.html#a80914d725ce6492df7184bd972791563',1,'SVF::SVFIRReader::readJson(SVFModule *module)'],['../classSVF_1_1SVFIRReader.html#ae2df32a86b2c08c047a4851429e709f2',1,'SVF::SVFIRReader::readJson(const cJSON *obj, SVFType *&type)'],['../classSVF_1_1SVFIRReader.html#aaa64d095ec6635f493d6657d404a92fe',1,'SVF::SVFIRReader::readJson(const cJSON *obj, StInfo *&stInfo)'],['../classSVF_1_1SVFIRReader.html#adc8005dc5004beb6a0f50ea5b0e64a3f',1,'SVF::SVFIRReader::readJson(const cJSON *obj, SVFValue *&value)'],['../classSVF_1_1SVFIRReader.html#adfbb15debf3536e998bf0ddf9871f224',1,'SVF::SVFIRReader::readJson(const cJSON *obj, SVFVar *&var)'],['../classSVF_1_1SVFIRReader.html#aa94c70605f7d8af48e4ce606f9aae7f6',1,'SVF::SVFIRReader::readJson(const cJSON *obj, SVFStmt *&stmt)'],['../classSVF_1_1SVFIRReader.html#a5a6dc5b3d4ee8e233f6f8af6832ff404',1,'SVF::SVFIRReader::readJson(const cJSON *obj, ICFGNode *&node)'],['../classSVF_1_1SVFIRReader.html#a660542de26851bf498745e1c2065a728',1,'SVF::SVFIRReader::readJson(const cJSON *obj, ICFGEdge *&edge)'],['../classSVF_1_1SVFIRReader.html#a4f457aa121aa8889d03099dd5f0b0905',1,'SVF::SVFIRReader::readJson(const cJSON *obj, CHNode *&node)'],['../classSVF_1_1SVFIRReader.html#a22307240d3656c4e9eb7c53152acbc99',1,'SVF::SVFIRReader::readJson(const cJSON *obj, CHEdge *&edge)'],['../classSVF_1_1SVFIRReader.html#a9af9bc805187c08e95c55b5120e3369f',1,'SVF::SVFIRReader::readJson(const cJSON *obj, CallSite &cs)'],['../classSVF_1_1SVFIRReader.html#ae44fb2919449ce00a6ad7dee0225c5db',1,'SVF::SVFIRReader::readJson(const cJSON *obj, AccessPath &ap)'],['../classSVF_1_1SVFIRReader.html#aaf309dddcfa0c216af1813ed8ec96321',1,'SVF::SVFIRReader::readJson(const cJSON *obj, SVFLoop *&loop)'],['../classSVF_1_1SVFIRReader.html#a9b6723cf485bc449c0acc2d5ac11b6cf',1,'SVF::SVFIRReader::readJson(const cJSON *obj, MemObj *&memObj)'],['../classSVF_1_1SVFIRReader.html#aff3c7b5a3733cd94b01bc18a70d05ec6',1,'SVF::SVFIRReader::readJson(const cJSON *obj, ObjTypeInfo *&objTypeInfo)'],['../classSVF_1_1SVFIRReader.html#af70c8f02f7c2f7ff7e1639cc4f934404',1,'SVF::SVFIRReader::readJson(const cJSON *obj, SVFLoopAndDomInfo *&ldInfo)'],['../classSVF_1_1SVFIRReader.html#a9141a05a8d04f24f380e6745cfca3293',1,'SVF::SVFIRReader::readJson(const cJSON *obj, SparseBitVector< ElementSize > &bv)'],['../classSVF_1_1SVFIRReader.html#ac0e7d716d40b75742ec9ba6c9111e577',1,'SVF::SVFIRReader::readJson(const cJSON *obj, T *&ptr)'],['../classSVF_1_1SVFIRReader.html#a639af670465f6cbe4fe75b3188a66129',1,'SVF::SVFIRReader::readJson(const cJSON *obj, const T *&cptr)'],['../classSVF_1_1SVFIRReader.html#adadac5f05181266ee207a7559efe8028',1,'SVF::SVFIRReader::readJson(const cJSON *obj, std::pair< T1, T2 > &pair)'],['../classSVF_1_1SVFIRReader.html#ae013a19e67061a99dc64a3b9b480180e',1,'SVF::SVFIRReader::readJson(const cJSON *obj, T(&array)[N])'],['../classSVF_1_1SVFIRReader.html#a8a816d551a84c8f8bd08d4bba7d52a7b',1,'SVF::SVFIRReader::readJson(const cJSON *obj, C &container)'],['../classSVF_1_1SVFIRReader.html#aa87cb97447349014fb44b5fbc6fb84b9',1,'SVF::SVFIRReader::readJson(const cJSON *obj, C &map)'],['../classSVF_1_1SVFIRReader.html#a9bdfb249850cf22d6c91db7716007e53',1,'SVF::SVFIRReader::readJson(const cJSON *obj, C &set)'],['../classSVF_1_1Options.html#ae1776c9fb7d163153443b1ff2a7350a8',1,'SVF::Options::ReadJson()']]],
-  ['readprecision_4840',['readPrecision',['../classSVF_1_1MTASVFGBuilder.html#a5532751632ece036b3d6741908573b36',1,'SVF::MTASVFGBuilder']]],
-  ['readprecisiontdedge_4841',['ReadPrecisionTDEdge',['../classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916',1,'SVF::Options']]],
-  ['readptsfromfile_4842',['readPtsFromFile',['../classSVF_1_1AndersenBase.html#a69685be598d8aa2576af09912b94a8ef',1,'SVF::AndersenBase::readPtsFromFile()'],['../classSVF_1_1FlowSensitive.html#a46d54b608ad952686349ccac9a3424f1',1,'SVF::FlowSensitive::readPtsFromFile()']]],
-  ['readsmallnumber_4843',['readSmallNumber',['../namespaceSVF.html#a1202d15e828377e9bec5164f76c48096',1,'SVF']]],
-  ['readsvfg_4844',['ReadSVFG',['../classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4',1,'SVF::Options']]],
-  ['realdeffun_4845',['realDefFun',['../classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007',1,'SVF::SVFFunction']]],
-  ['realdefglobal_4846',['realDefGlobal',['../classSVF_1_1SVFGlobalValue.html#a3048ae66c737eebbe7fe230f95a88b6e',1,'SVF::SVFGlobalValue']]],
-  ['reallocate_4847',['reallocate',['../structinternal__hooks.html#a5dd48d5c2f2b1cf4f6eec5df6205e15c',1,'internal_hooks']]],
-  ['realpath_4848',['realpath',['../extapi_8c.html#a6646e3960f1c015c86c3b45f6e5db53e',1,'extapi.c']]],
-  ['reanalyze_4849',['reanalyze',['../classSVF_1_1WPASolver.html#ac460772d9236a2fefe17b2557023b883',1,'SVF::WPASolver']]],
-  ['recompute_4850',['reCompute',['../classSVF_1_1DDAVFSolver.html#a8c5220108a65fa281959529cb1e9cc57',1,'SVF::DDAVFSolver']]],
-  ['recomputeforedges_4851',['reComputeForEdges',['../classSVF_1_1DDAVFSolver.html#ace037388135f272365cee2e87844bfba',1,'SVF::DDAVFSolver']]],
-  ['recordaddingedge_4852',['recordAddingEdge',['../classSVF_1_1MTASVFGBuilder.html#a2effeeac276a64d612fe6af08ec25b74',1,'SVF::MTASVFGBuilder']]],
-  ['recordedge_4853',['recordEdge',['../classSVF_1_1MTASVFGBuilder.html#a55da7f1a8921727f84232e5905d6135f',1,'SVF::MTASVFGBuilder']]],
-  ['recordedges_4854',['recordedges',['../classSVF_1_1MTASVFGBuilder.html#a13ac51421add3cb242ad823e18938c95',1,'SVF::MTASVFGBuilder']]],
-  ['recordremovingedge_4855',['recordRemovingEdge',['../classSVF_1_1MTASVFGBuilder.html#a97179139a6395a7062d3200c23d4b69d',1,'SVF::MTASVFGBuilder']]],
-  ['recurse_4856',['recurse',['../cJSON_8h.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.h'],['../cJSON_8cpp.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.cpp']]],
-  ['redundantgepnodes_4857',['redundantGepNodes',['../classSVF_1_1AndersenBase.html#a6c3d6b4c004d9e43690c3807502eed74',1,'SVF::AndersenBase']]],
-  ['ref_4858',['Ref',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76',1,'SVF']]],
-  ['reference_4859',['reference',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a28e12df86b7514e119e2b4f7bffd29c9',1,'SVF::PointsTo::PointsToIterator::reference()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a65313b9702cf6767d2936852e09f04c5',1,'SVF::CoreBitVector::CoreBitVectorIterator::reference()'],['../classSVF_1_1iter__facade__base.html#a3d501177aef770b02e7d2629b334e32a',1,'SVF::iter_facade_base::reference()']]],
-  ['referenceproxy_4860',['ReferenceProxy',['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html',1,'SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >::ReferenceProxy'],['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aabce5b9a8700ecf1415a92ce45b384a2',1,'SVF::iter_facade_base::ReferenceProxy::ReferenceProxy()']]],
-  ['refval_4861',['refVal',['../classSVF_1_1MemObj.html#a33d27c3e75e62f31f62c8d9bfc2e0262',1,'SVF::MemObj']]],
-  ['reg2bbmap_4862',['reg2BBMap',['../classSVF_1_1MemSSA.html#add1d4ff17d0860906d2f5f7172176121',1,'SVF::MemSSA']]],
-  ['regionalign_4863',['RegionAlign',['../classSVF_1_1Options.html#a5a70a23e30df8dea3fcaf0e80479fe88',1,'SVF::Options']]],
-  ['regionedclustering_4864',['RegionedClustering',['../classSVF_1_1Options.html#a8cc5b2a363724b558f4932277a87c0f6',1,'SVF::Options']]],
-  ['regioningtime_4865',['RegioningTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad5f733cad8a103a64e80270acb67567a',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['regionobjects_4866',['regionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a7d34542f34a8e8008119c3d61943daa2',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['regpt_4867',['REGPT',['../dda_8cpp.html#aa4d54caa95b7971baaaa499dc52a83f0',1,'dda.cpp']]],
-  ['relationsolver_4868',['RelationSolver',['../classSVF_1_1RelationSolver.html',1,'SVF::RelationSolver'],['../classSVF_1_1RelationSolver.html#aaee624b8260da9ba0de027d80b01d984',1,'SVF::RelationSolver::RelationSolver()']]],
-  ['relationsolver_2ecpp_4869',['RelationSolver.cpp',['../RelationSolver_8cpp.html',1,'']]],
-  ['relationsolver_2eh_4870',['RelationSolver.h',['../RelationSolver_8h.html',1,'']]],
-  ['relationtype_4871',['RELATIONTYPE',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22',1,'SVF::CHGraph']]],
-  ['release_4872',['release',['../classSVF_1_1RaceResultValidator.html#a64f61b58f59eba5f3e7c69f90edc68df',1,'SVF::RaceResultValidator::release()'],['../classSVF_1_1RaceResultValidator.html#a64f61b58f59eba5f3e7c69f90edc68df',1,'SVF::RaceResultValidator::release()']]],
-  ['releaseandersenscd_4873',['releaseAndersenSCD',['../classSVF_1_1AndersenSCD.html#ac2003ddf910f55d5c53c762b45964b50',1,'SVF::AndersenSCD']]],
-  ['releaseandersensfr_4874',['releaseAndersenSFR',['../classSVF_1_1AndersenSFR.html#a4aa1607b7d84a6de151c19ae84b913b9',1,'SVF::AndersenSFR']]],
-  ['releaseandersenwavediff_4875',['releaseAndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html#a5da6abb1a7f0ef3e3871ea6e5a623625',1,'SVF::AndersenWaveDiff']]],
-  ['releasecontext_4876',['releaseContext',['../classSVF_1_1Z3Expr.html#a9da409a05cfd85d966d887b33dd1cc94',1,'SVF::Z3Expr']]],
-  ['releasefsmpta_4877',['releaseFSMPTA',['../classSVF_1_1FSMPTA.html#aea3ec49d7c12dc7e884600d1eddc99f0',1,'SVF::FSMPTA']]],
-  ['releasefswpa_4878',['releaseFSWPA',['../classSVF_1_1FlowSensitive.html#ae6aed22a79ac6567446dfcba82cb17b8',1,'SVF::FlowSensitive']]],
-  ['releasellvmmoduleset_4879',['releaseLLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936',1,'SVF::LLVMModuleSet']]],
-  ['releasememory_4880',['releaseMemory',['../classSVF_1_1SVFGBuilder.html#a6e08e6a99f7e743abf35e603e35e54f5',1,'SVF::SVFGBuilder']]],
-  ['releasesolver_4881',['releaseSolver',['../classSVF_1_1Z3Expr.html#a9cf1997ee2d22542f7288506ed0f4733',1,'SVF::Z3Expr']]],
-  ['releasesteensgaard_4882',['releaseSteensgaard',['../classSVF_1_1Steensgaard.html#a375a16c7538866fcebfecf228f7ee63d',1,'SVF::Steensgaard']]],
-  ['releasesvfir_4883',['releaseSVFIR',['../classSVF_1_1SVFIR.html#a007c86e5d2d541d08815547a5492731e',1,'SVF::SVFIR']]],
-  ['releasesvfmodule_4884',['releaseSVFModule',['../classSVF_1_1SVFModule.html#a545633e2d7f103b4983b47d4e1c56823',1,'SVF::SVFModule']]],
-  ['releasesymbolinfo_4885',['releaseSymbolInfo',['../classSVF_1_1SymbolTableInfo.html#a9f8d99c761f3c7108d797b3702fcbfec',1,'SVF::SymbolTableInfo']]],
-  ['releasevfswpa_4886',['releaseVFSWPA',['../classSVF_1_1VersionedFlowSensitive.html#a754c77fff88e8f415dc7a2096d1bffe2',1,'SVF::VersionedFlowSensitive']]],
-  ['relexestate_4887',['RelExeState',['../classSVF_1_1RelExeState.html',1,'SVF::RelExeState'],['../classSVF_1_1RelExeState.html#a34d81c2627e224283e07765d15543bf1',1,'SVF::RelExeState::RelExeState()=default'],['../classSVF_1_1RelExeState.html#a0078db58922ddbf5a9ec9641ed6f4544',1,'SVF::RelExeState::RelExeState(VarToValMap &varToVal, LocToValMap &locToVal)'],['../classSVF_1_1RelExeState.html#a482bd4d7143e7d78a22f276bf5a4f30f',1,'SVF::RelExeState::RelExeState(const RelExeState &rhs)'],['../classSVF_1_1RelExeState.html#a0d2f6c9fe4a54b9a7c6d7167e24e1425',1,'SVF::RelExeState::RelExeState(RelExeState &&rhs) noexcept']]],
-  ['relexestate_2ecpp_4888',['RelExeState.cpp',['../RelExeState_8cpp.html',1,'']]],
-  ['relexestate_2eh_4889',['RelExeState.h',['../RelExeState_8h.html',1,'']]],
-  ['remapallpts_4890',['remapAllPts',['../classSVF_1_1PTData.html#af2f176027169e18730848c7a583aed93',1,'SVF::PTData::remapAllPts()'],['../classSVF_1_1MutablePTData.html#a3b4cd5b4f8704a5b0049923d22ce7665',1,'SVF::MutablePTData::remapAllPts()'],['../classSVF_1_1MutableDiffPTData.html#a80142c1961d5e71c8f0dbadbb3c82184',1,'SVF::MutableDiffPTData::remapAllPts()'],['../classSVF_1_1MutableDFPTData.html#ad34e442581dfe57ce7f1add25c8414b2',1,'SVF::MutableDFPTData::remapAllPts()'],['../classSVF_1_1MutableVersionedPTData.html#a72cbf33b77f5a19221ad265691065695',1,'SVF::MutableVersionedPTData::remapAllPts()'],['../classSVF_1_1PersistentPointsToCache.html#a89c4e8c8edcc6744f298e90d721a0745',1,'SVF::PersistentPointsToCache::remapAllPts()'],['../classSVF_1_1PersistentPTData.html#a6ab42dbb4837bfaa1c76d61152fb321c',1,'SVF::PersistentPTData::remapAllPts()'],['../classSVF_1_1PersistentDiffPTData.html#ac21d6571ec53a01ee93e0383e4afef78',1,'SVF::PersistentDiffPTData::remapAllPts()'],['../classSVF_1_1PersistentDFPTData.html#af70d3b1ecbb8f9cb56b8b419dbc0490a',1,'SVF::PersistentDFPTData::remapAllPts()'],['../classSVF_1_1PersistentVersionedPTData.html#a5a21b654b380bdf26d65d60ceb86a787',1,'SVF::PersistentVersionedPTData::remapAllPts()']]],
-  ['remappointstosets_4891',['remapPointsToSets',['../classSVF_1_1BVDataPTAImpl.html#a7a87ca1a439e871896f92e4342befa2c',1,'SVF::BVDataPTAImpl']]],
-  ['removeaddredge_4892',['removeAddrEdge',['../classSVF_1_1ConstraintGraph.html#acc23df2db1fa7b8e0270d8a04f08f2ee',1,'SVF::ConstraintGraph']]],
-  ['removealledges_4893',['removeAllEdges',['../classSVF_1_1SVFGOPT.html#ac15b3c2cb127b17ebad3a30fc04b6f40',1,'SVF::SVFGOPT']]],
-  ['removeallindirectsvfgedges_4894',['removeAllIndirectSVFGEdges',['../classSVF_1_1VersionedFlowSensitive.html#a275095f60640d862034ad173af3371c3',1,'SVF::VersionedFlowSensitive']]],
-  ['removeback_4895',['removeBack',['../classSVF_1_1FILOWorkList.html#a10c20d2c670af8de5dcbe6f433ca83ee',1,'SVF::FILOWorkList']]],
-  ['removecandidates_4896',['removeCandidates',['../classSVF_1_1WPAMinimumSolver.html#aa6d8de95ddf703fdac33ef1216ce4aff',1,'SVF::WPAMinimumSolver']]],
-  ['removecflinedge_4897',['removeCFLInEdge',['../classSVF_1_1CFLNode.html#a60dfc3e421558eecee5065e8ae5f984a',1,'SVF::CFLNode']]],
-  ['removecfloutedge_4898',['removeCFLOutEdge',['../classSVF_1_1CFLNode.html#a821078d812986c488932610063d7509f',1,'SVF::CFLNode']]],
-  ['removeconstraintnode_4899',['removeConstraintNode',['../classSVF_1_1ConstraintGraph.html#a9e21bc9b86080b4059f0907e9a7b33f3',1,'SVF::ConstraintGraph']]],
-  ['removecxtstmttospan_4900',['removeCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a0b21446e6d5dfc1b5d0ebd75895225dd',1,'SVF::LockAnalysis']]],
-  ['removedirectedge_4901',['removeDirectEdge',['../classSVF_1_1ConstraintGraph.html#a9fc73676ea133651604e2528fe1d8244',1,'SVF::ConstraintGraph']]],
-  ['removedpmfromloc_4902',['removeDpmFromLoc',['../classSVF_1_1DDAVFSolver.html#a00ae738a76564b7b334faae567674e34',1,'SVF::DDAVFSolver']]],
-  ['removefirstsymbol_4903',['removeFirstSymbol',['../classSVF_1_1CFGNormalizer.html#a711e134b6470e9cc9b337d1b0e4708a9',1,'SVF::CFGNormalizer']]],
-  ['removefront_4904',['removeFront',['../classSVF_1_1FIFOWorkList.html#a621fe65af285665396fa10af9f96ef3a',1,'SVF::FIFOWorkList']]],
-  ['removefunannotations_4905',['removeFunAnnotations',['../namespaceSVF_1_1LLVMUtil.html#a523a8c3f9bfaea178733822ac598d552',1,'SVF::LLVMUtil']]],
-  ['removegnode_4906',['removeGNode',['../classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915',1,'SVF::GenericGraph']]],
-  ['removeicfgedge_4907',['removeICFGEdge',['../classSVF_1_1ICFG.html#a534625b10673efe5b0f344bfebf9b3cf',1,'SVF::ICFG']]],
-  ['removeicfgnode_4908',['removeICFGNode',['../classSVF_1_1ICFG.html#a403cd10f7c01cc879d803a9759e729cb',1,'SVF::ICFG']]],
-  ['removeincomingaddredge_4909',['removeIncomingAddrEdge',['../classSVF_1_1ConstraintNode.html#a5a97f47f5a65550dce11341c6f8d9ae6',1,'SVF::ConstraintNode']]],
-  ['removeincomingdirectedge_4910',['removeIncomingDirectEdge',['../classSVF_1_1ConstraintNode.html#a7946aea5584d124f6c83fd91ab497500',1,'SVF::ConstraintNode']]],
-  ['removeincomingedge_4911',['removeIncomingEdge',['../classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225',1,'SVF::GenericNode']]],
-  ['removeincomingloadedge_4912',['removeIncomingLoadEdge',['../classSVF_1_1ConstraintNode.html#aa1f60c884d007524641d1a786410d41b',1,'SVF::ConstraintNode']]],
-  ['removeincomingstoreedge_4913',['removeIncomingStoreEdge',['../classSVF_1_1ConstraintNode.html#a2d0e87fa3174562c97b519b2b144d8ea',1,'SVF::ConstraintNode']]],
-  ['removeinedges_4914',['removeInEdges',['../classSVF_1_1SVFGOPT.html#a5a2fe12411de408dfb57e910e413957f',1,'SVF::SVFGOPT']]],
-  ['removekey_4915',['removeKey',['../namespaceSVF_1_1SVFUtil.html#aee74719d33695e4da6fee5fc83f745d9',1,'SVF::SVFUtil::removeKey(const Key &key, KeySet &keySet)'],['../namespaceSVF_1_1SVFUtil.html#aa59af7fc01a534662b3b1524186ef97e',1,'SVF::SVFUtil::removeKey(const NodeID &key, NodeBS &keySet)']]],
-  ['removeloadedge_4916',['removeLoadEdge',['../classSVF_1_1ConstraintGraph.html#aa4bca2422049413439cb0c3400f2ce28',1,'SVF::ConstraintGraph']]],
-  ['removemdtag_4917',['removeMDTag',['../classSVF_1_1Annotator.html#a35dabd3a84615e730b34f568623ad8f5',1,'SVF::Annotator::removeMDTag(Instruction *inst, std::string str)'],['../classSVF_1_1Annotator.html#a676a5c9b425e13f17fa73879c72787a6',1,'SVF::Annotator::removeMDTag(Instruction *inst, Value *val, std::string str)']]],
-  ['removeoutedges_4918',['removeOutEdges',['../classSVF_1_1SVFGOPT.html#ae85391a5f0828362c61d55e162eef04d',1,'SVF::SVFGOPT']]],
-  ['removeoutgoingaddredge_4919',['removeOutgoingAddrEdge',['../classSVF_1_1ConstraintNode.html#abaf196bcce496fbdee6740c42ca9dd71',1,'SVF::ConstraintNode']]],
-  ['removeoutgoingdirectedge_4920',['removeOutgoingDirectEdge',['../classSVF_1_1ConstraintNode.html#a73b8c0967cde518a2ea7dfea2a7dc32f',1,'SVF::ConstraintNode']]],
-  ['removeoutgoingedge_4921',['removeOutgoingEdge',['../classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1',1,'SVF::GenericNode']]],
-  ['removeoutgoingloadedge_4922',['removeOutgoingLoadEdge',['../classSVF_1_1ConstraintNode.html#a7d810ec9abc8817a938a557ac78dc8c0',1,'SVF::ConstraintNode']]],
-  ['removeoutgoingstoreedge_4923',['removeOutgoingStoreEdge',['../classSVF_1_1ConstraintNode.html#a24ef3eedb218283d106eceb8a73ca1b4',1,'SVF::ConstraintNode']]],
-  ['removestoreedge_4924',['removeStoreEdge',['../classSVF_1_1ConstraintGraph.html#aad3d05c949c33a587b3ac6d627f5a0a2',1,'SVF::ConstraintGraph']]],
-  ['removesvfgedge_4925',['removeSVFGEdge',['../classSVF_1_1SVFG.html#a931d8b82e10a54d68c68cf6bd80264be',1,'SVF::SVFG']]],
-  ['removesvfgnode_4926',['removeSVFGNode',['../classSVF_1_1SVFG.html#a700c5fc6c1cb4136e55196fe3d393b8b',1,'SVF::SVFG']]],
-  ['removeunusedfuncsandannotations_4927',['removeUnusedFuncsAndAnnotations',['../namespaceSVF_1_1LLVMUtil.html#a74ed17168bf5946cfb3f17495ec6db99',1,'SVF::LLVMUtil']]],
-  ['removevarfromdfinupdatedset_4928',['removeVarFromDFInUpdatedSet',['../classSVF_1_1MutableIncDFPTData.html#a913c1a2c48526160eeecd028bd22cfc4',1,'SVF::MutableIncDFPTData::removeVarFromDFInUpdatedSet()'],['../classSVF_1_1PersistentIncDFPTData.html#ad449df82589efb4c40affb5fdc46f479',1,'SVF::PersistentIncDFPTData::removeVarFromDFInUpdatedSet()']]],
-  ['removevarfromdfoutupdatedset_4929',['removeVarFromDFOutUpdatedSet',['../classSVF_1_1MutableIncDFPTData.html#ac055ad77582b36083ca1950c39207f5e',1,'SVF::MutableIncDFPTData::removeVarFromDFOutUpdatedSet()'],['../classSVF_1_1PersistentIncDFPTData.html#ad1a2cd17519912b1d7571eeddcdc0060',1,'SVF::PersistentIncDFPTData::removeVarFromDFOutUpdatedSet()']]],
-  ['removevfgedge_4930',['removeVFGEdge',['../classSVF_1_1VFG.html#aeb24b155fe31813b2e6dc0564f55738a',1,'SVF::VFG']]],
-  ['removevfgnode_4931',['removeVFGNode',['../classSVF_1_1VFG.html#a122aa5ad874170ef644cee8705f1ef3e',1,'SVF::VFG']]],
-  ['renamechiset_4932',['RenameChiSet',['../classSVF_1_1MemSSA.html#a6066364112e665c33cbf2ec50ae1e3a8',1,'SVF::MemSSA']]],
-  ['renamemuset_4933',['RenameMuSet',['../classSVF_1_1MemSSA.html#a2527b76b92dffa8f8513ebfdcc8d8133',1,'SVF::MemSSA']]],
-  ['renamephiops_4934',['RenamePhiOps',['../classSVF_1_1MemSSA.html#a0ed34f7a27db045c624c5db61d53132b',1,'SVF::MemSSA']]],
-  ['renamephires_4935',['RenamePhiRes',['../classSVF_1_1MemSSA.html#a630be375832b1477989af85dce6760f3',1,'SVF::MemSSA']]],
-  ['rendergraphfrombottomup_4936',['renderGraphFromBottomUp',['../structSVF_1_1DefaultDOTGraphTraits.html#aeb5908ad6424c0636b698e5ea0a587c0',1,'SVF::DefaultDOTGraphTraits']]],
-  ['rep_4937',['rep',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#aae671732173cc6f958612ac934a6b503',1,'SVF::SCCDetection::GNodeSCCInfo::rep(void) const'],['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a22079b5877606f469c0f8a851e55215b',1,'SVF::SCCDetection::GNodeSCCInfo::rep(NodeID n)'],['../classSVF_1_1SCCDetection.html#a0495f912a9084b21327f678b47ef7e07',1,'SVF::SCCDetection::rep(NodeID n, NodeID r)'],['../classSVF_1_1SCCDetection.html#ac22aee5fdb22387b5bd0f612faef689c',1,'SVF::SCCDetection::rep(NodeID n)']]],
-  ['replace_5fitem_5fin_5fobject_4938',['replace_item_in_object',['../cJSON_8cpp.html#afdae75197cf2c440ef858a2e93b104f2',1,'cJSON.cpp']]],
-  ['replaceextension_4939',['replaceExtension',['../llvm2svf_8cpp.html#a7234932227363d976b4dcf64ba29823c',1,'llvm2svf.cpp']]],
-  ['replacefparamaretwithphi_4940',['replaceFParamARetWithPHI',['../classSVF_1_1SVFGOPT.html#a1fd6d26203d7d574b5664b8fcae54c1a',1,'SVF::SVFGOPT']]],
-  ['replacement_4941',['replacement',['../cJSON_8h.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.h'],['../cJSON_8cpp.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.cpp']]],
-  ['repnode_4942',['repNode',['../classSVF_1_1SCCDetection.html#a3a5fdc9330a657240f77199f5aee602d',1,'SVF::SCCDetection']]],
-  ['repnodes_4943',['repNodes',['../classSVF_1_1SCCDetection.html#a2b9605126ebb2abb1e16b3ccf99cf04b',1,'SVF::SCCDetection']]],
-  ['report_4944',['report',['../classSVF_1_1SrcSnkDDA.html#aa7d6999b99412cdc101152867778cd0a',1,'SVF::SrcSnkDDA']]],
-  ['reportbug_4945',['reportBug',['../classSVF_1_1DoubleFreeChecker.html#a8014b7a04b997d4c0a4be0a05fad6fe3',1,'SVF::DoubleFreeChecker::reportBug()'],['../classSVF_1_1FileChecker.html#a88ffc46ca954b77463de4c94c4eace54',1,'SVF::FileChecker::reportBug()'],['../classSVF_1_1LeakChecker.html#aa8bd31ae91ed1e9890203f865982a065',1,'SVF::LeakChecker::reportBug()'],['../classSVF_1_1SrcSnkDDA.html#aa87e9ca3c9a9dc6ae5cc88a0182a8154',1,'SVF::SrcSnkDDA::reportBug()']]],
-  ['reportmemoryusagekb_4946',['reportMemoryUsageKB',['../namespaceSVF_1_1SVFUtil.html#a6cfe12afa463d0ceddeee11540c33ab3',1,'SVF::SVFUtil']]],
-  ['repr_4947',['repr',['../classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3',1,'SVF::SVFOtherType']]],
-  ['require_5fnull_5fterminated_4948',['require_null_terminated',['../cJSON_8h.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.h'],['../cJSON_8cpp.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.cpp']]],
-  ['requiredbits_4949',['requiredBits',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a9aea96839c51ac1e2cbf4813174bb21c',1,'SVF::NodeIDAllocator::Clusterer::requiredBits(const PointsTo &pts)'],['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad0f0a6b61a044db819c253f8b9ab093e',1,'SVF::NodeIDAllocator::Clusterer::requiredBits(const size_t n)']]],
-  ['res_4950',['res',['../classSVF_1_1CmpVFGNode.html#a9a358028cf15ba49b410e0c2a1fafe7c',1,'SVF::CmpVFGNode::res()'],['../classSVF_1_1BinaryOPVFGNode.html#a01ca492acb9b769eb6e1fe2137dff47d',1,'SVF::BinaryOPVFGNode::res()'],['../classSVF_1_1UnaryOPVFGNode.html#a4403fd618b01a26c7c1e8c5da2319db6',1,'SVF::UnaryOPVFGNode::res()'],['../classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f',1,'SVF::PHIVFGNode::res()']]],
-  ['reserve_4951',['reserve',['../classSVF_1_1WriterPtrPool.html#af0d604a17260624fcabaec623cb72491',1,'SVF::WriterPtrPool::reserve()'],['../classSVF_1_1ReaderPtrPool.html#ac9c1431385ac03aeabbe56603dc9ad92',1,'SVF::ReaderPtrPool::reserve()']]],
-  ['reset_4952',['reset',['../classSVF_1_1CondStdSet.html#a857396d9e820a9fab8a498d981855e2a',1,'SVF::CondStdSet::reset()'],['../classSVF_1_1CondPointsToSet.html#aced740c1aadf06b4a63630844fac2dd8',1,'SVF::CondPointsToSet::reset()'],['../classSVF_1_1PersistentPointsToCache.html#af7e82410738f2cbaf06ea5249932a142',1,'SVF::PersistentPointsToCache::reset()'],['../classSVF_1_1PointsTo.html#a1ef805e714cfc29f0f3fa56c5ee964f6',1,'SVF::PointsTo::reset()'],['../classSVF_1_1CoreBitVector.html#a42fc777d574db4ef23b02308b944a85b',1,'SVF::CoreBitVector::reset()'],['../structSVF_1_1SparseBitVectorElement.html#acced4edf716af14a6931156d59e50632',1,'SVF::SparseBitVectorElement::reset()'],['../classSVF_1_1SparseBitVector.html#ad5337b5aeed50f8b7ffd56b14ee25c9f',1,'SVF::SparseBitVector::reset()']]],
-  ['resetdata_4953',['resetData',['../classSVF_1_1Andersen.html#a95c0b2f501dff61993cd43a5cab89e17',1,'SVF::Andersen']]],
-  ['resetdef_4954',['resetDef',['../classSVF_1_1SVFGOPT.html#af504407e6cd42cfe2ea27165ff15df40',1,'SVF::SVFGOPT']]],
-  ['resetobjfieldsensitive_4955',['resetObjFieldSensitive',['../classSVF_1_1PointerAnalysis.html#a73fb8e595473e0c7df1dd0de4968ad13',1,'SVF::PointerAnalysis']]],
-  ['resetquery_4956',['resetQuery',['../classSVF_1_1DDAVFSolver.html#afe518d3d7f8051de5b9860f2460aa1b7',1,'SVF::DDAVFSolver']]],
-  ['resetrep_4957',['resetRep',['../classSVF_1_1ConstraintGraph.html#aa30231dab5b7c759e4e5d76422a5eb8e',1,'SVF::ConstraintGraph']]],
-  ['resetsubs_4958',['resetSubs',['../classSVF_1_1ConstraintGraph.html#a5fe3815a7990e16b99cf46e90529f8b3',1,'SVF::ConstraintGraph']]],
-  ['resettypeforheapstaticobj_4959',['resetTypeForHeapStaticObj',['../classSVF_1_1ObjTypeInfo.html#ae26937ca2107517e6ede8eb6d76b95d5',1,'SVF::ObjTypeInfo']]],
-  ['resolvecppindcalls_4960',['resolveCPPIndCalls',['../classSVF_1_1PointerAnalysis.html#ac04b64a5884710508b304f93da88c7ba',1,'SVF::PointerAnalysis']]],
-  ['resolvefunptr_4961',['resolveFunPtr',['../classSVF_1_1DDAVFSolver.html#afcc074be34dd0c45418ff16b3d9d4192',1,'SVF::DDAVFSolver']]],
-  ['resolveindcalls_4962',['resolveIndCalls',['../classSVF_1_1PointerAnalysis.html#a8d128246f86f28fdf4981d91169ab440',1,'SVF::PointerAnalysis']]],
-  ['resulttype_4963',['ResultType',['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a052f7cd3a81e368060f132bf0268fa68',1,'SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >']]],
-  ['resumeinst_4964',['ResumeInst',['../namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa',1,'SVF']]],
-  ['resver_4965',['resVer',['../classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813',1,'SVF::MSSADEF']]],
-  ['ret_4966',['Ret',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af',1,'SVF::SVFStmt::Ret()'],['../classSVF_1_1CallICFGNode.html#a6c27c0d796b3d4becdebeba93f4fc785',1,'SVF::CallICFGNode::ret()'],['../classSVF_1_1SVFInstruction.html#a61e04a2e436a4c141980ee06854b74ca',1,'SVF::SVFInstruction::ret()']]],
-  ['ret_5ftype_4967',['ret_type',['../structSVF_1_1SVFUtil_1_1cast__retty__impl.html#a5f8f6d651931eba7e0fa14c26a691a04',1,'SVF::SVFUtil::cast_retty_impl::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_4.html#ad0bc349135b60cc51fd040b615a979f7',1,'SVF::SVFUtil::cast_retty_impl< To, const From >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01From_01_5_01_4.html#a86c02dc15b65d0c052ea4447b3fb6333',1,'SVF::SVFUtil::cast_retty_impl< To, From * >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5_01_4.html#a98a60de95a331a34dcbad6da9961a9b7',1,'SVF::SVFUtil::cast_retty_impl< To, const From * >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5const_01_4.html#add8668ca96bbf0808c146cc81c62267c',1,'SVF::SVFUtil::cast_retty_impl< To, const From *const >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a3bf80190e39c339d4e3ec703789ae845',1,'SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__wrap.html#af3d80ab43e47626f32c91a6c4454e82e',1,'SVF::SVFUtil::cast_retty_wrap::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#ad989c130f2b6cd5a0f1ba0c7abd62b9a',1,'SVF::SVFUtil::cast_retty_wrap< To, FromTy, FromTy >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b',1,'SVF::SVFUtil::cast_retty::ret_type()']]],
-  ['retargetdstofedge_4968',['reTargetDstOfEdge',['../classSVF_1_1ConstraintGraph.html#a4db3484e3710c3f5cc86ec32dd643722',1,'SVF::ConstraintGraph']]],
-  ['retargetedgesofainfout_4969',['retargetEdgesOfAInFOut',['../classSVF_1_1SVFGOPT.html#abefe3efa0232106f1843351ff6dd1063',1,'SVF::SVFGOPT']]],
-  ['retargetedgesofaoutfin_4970',['retargetEdgesOfAOutFIn',['../classSVF_1_1SVFGOPT.html#a2285d20f7c4d128a8ede2e7f4f41f798',1,'SVF::SVFGOPT']]],
-  ['retargetsrcofedge_4971',['reTargetSrcOfEdge',['../classSVF_1_1ConstraintGraph.html#aaae56afed424f7cd59fddb3fcb2f7214',1,'SVF::ConstraintGraph']]],
-  ['retcf_4972',['RetCF',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429ad2370a77f6cc112b8c26efbcc36bf541',1,'SVF::ICFGEdge']]],
-  ['retcfgedge_4973',['RetCFGEdge',['../classSVF_1_1RetCFGEdge.html',1,'SVF::RetCFGEdge'],['../classSVF_1_1RetCFGEdge.html#a5a461528da9eb46ca190fbd49b41d0d1',1,'SVF::RetCFGEdge::RetCFGEdge()']]],
-  ['retdirsvfgedge_4974',['RetDirSVFGEdge',['../classSVF_1_1RetDirSVFGEdge.html',1,'SVF::RetDirSVFGEdge'],['../classSVF_1_1RetDirSVFGEdge.html#a5998569c23747ef9dbe6f86b5a04ce5c',1,'SVF::RetDirSVFGEdge::RetDirSVFGEdge()']]],
-  ['retdirvf_4975',['RetDirVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a8288c583cfcbfdf9aa2ac2103c0e7191',1,'SVF::VFGEdge']]],
-  ['reticfgnode_4976',['RetICFGNode',['../classSVF_1_1RetICFGNode.html',1,'SVF::RetICFGNode'],['../classSVF_1_1RetICFGNode.html#a509a968955a30eac9e3a33ee92fb40ca',1,'SVF::RetICFGNode::RetICFGNode(NodeID id)'],['../classSVF_1_1RetICFGNode.html#ab11a6192d63f568f03d5cbb0f5e36360',1,'SVF::RetICFGNode::RetICFGNode(NodeID id, const SVFInstruction *c, CallICFGNode *cb)']]],
-  ['retindsvfgedge_4977',['RetIndSVFGEdge',['../classSVF_1_1RetIndSVFGEdge.html',1,'SVF::RetIndSVFGEdge'],['../classSVF_1_1RetIndSVFGEdge.html#ae07d99d4156d999512e75b5d5fa207c4',1,'SVF::RetIndSVFGEdge::RetIndSVFGEdge()']]],
-  ['retindvf_4978',['RetIndVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5ac8124172b3f5f7fc94e895f6b192b668',1,'SVF::VFGEdge']]],
-  ['retmssamu_4979',['RetMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba255f3e3fc50f3a8d9a8bd5800b1b4594',1,'SVF::MSSAMU']]],
-  ['retmu_4980',['RetMU',['../classSVF_1_1RetMU.html',1,'SVF::RetMU< Cond >'],['../classSVF_1_1SVFG.html#a047573d70182da351b9e3bbf66ca0056',1,'SVF::SVFG::RETMU()'],['../classSVF_1_1MemSSA.html#a953a56a65ee36fd1c78b29179cd3f33a',1,'SVF::MemSSA::RETMU()'],['../classSVF_1_1RetMU.html#a8cd41b018ddef450d17a20ea83ce3fee',1,'SVF::RetMU::RetMU()']]],
-  ['retnode_4981',['RetNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5de2a8fce9a85f31818d58992b381b98',1,'SVF::SVFVar']]],
-  ['retpe_4982',['RetPE',['../classSVF_1_1RetPE.html',1,'SVF::RetPE'],['../classSVF_1_1RetPE.html#a0af89e939e91a980a083f931b209aea0',1,'SVF::RetPE::RetPE(const RetPE &)'],['../classSVF_1_1RetPE.html#a80129364e04411956caf75077bdbd89a',1,'SVF::RetPE::RetPE(GEdgeFlag k=SVFStmt::Ret)'],['../classSVF_1_1RetPE.html#aa6378c78b2cc253ab036d54aaca11f85',1,'SVF::RetPE::RetPE(SVFVar *s, SVFVar *d, const CallICFGNode *i, const FunExitICFGNode *e, GEdgeKind k=SVFStmt::Ret)'],['../classSVF_1_1RetCFGEdge.html#ad4bbb9881dff7b715c7a70b92baf376c',1,'SVF::RetCFGEdge::retPE()']]],
-  ['retpebegin_4983',['retPEBegin',['../classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132',1,'SVF::FormalRetVFGNode']]],
-  ['retpeend_4984',['retPEEnd',['../classSVF_1_1FormalRetVFGNode.html#adae36045df1057e551d92aa7bfb236f9',1,'SVF::FormalRetVFGNode']]],
-  ['retpes_4985',['retPEs',['../classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157',1,'SVF::FormalRetVFGNode']]],
-  ['retpeset_4986',['RetPESet',['../classSVF_1_1ICFGNode.html#a2c39225f7b5ca0c392ea7afc3cec1fdb',1,'SVF::ICFGNode::RetPESet()'],['../classSVF_1_1VFG.html#abf966182c28f0521dcd161aa299e453d',1,'SVF::VFG::RetPESet()'],['../classSVF_1_1VFGNode.html#a367413b90de8a382190ffa9f0c742e01',1,'SVF::VFGNode::RetPESet()']]],
-  ['retpn_4987',['RetPN',['../classSVF_1_1RetPN.html',1,'SVF::RetPN'],['../classSVF_1_1RetPN.html#abeb65c2fe30da157e63dc43f628bab23',1,'SVF::RetPN::RetPN(NodeID i)'],['../classSVF_1_1RetPN.html#ac551c1aaf9ec3cb77814aa4664d61a23',1,'SVF::RetPN::RetPN(const SVFFunction *val, NodeID i)']]],
-  ['retsymbol_4988',['RetSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba8ac9528bf8b81f7942c1cdc0bf63ec35',1,'SVF::SymbolTableInfo']]],
-  ['retsyms_4989',['retSyms',['../classSVF_1_1SymbolTableInfo.html#aafd4da7cef6387bb974abe20185b7b96',1,'SVF::SymbolTableInfo']]],
-  ['retty_4990',['retTy',['../classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186',1,'SVF::SVFFunctionType']]],
-  ['rettype_4991',['RetType',['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#abd3fdf0fdc5e4622a879b7890ad43789',1,'SVF::SVFUtil::simplify_type< const From >']]],
-  ['return_4992',['return',['../cJSON_8cpp.html#a15f779a174654a93596726f6eb6b57fe',1,'cJSON.cpp']]],
-  ['return_5fparse_5fend_4993',['return_parse_end',['../cJSON_8h.html#a7725ae4fa33fc499614c6895ee9ee44a',1,'return_parse_end(): cJSON.h'],['../cJSON_8cpp.html#a1a7c63ae727dcb98b54e081b2ff17ed9',1,'return_parse_end(): cJSON.cpp']]],
-  ['returninst_4994',['ReturnInst',['../namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154',1,'SVF']]],
-  ['returnsymmap_4995',['returnSymMap',['../classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681',1,'SVF::SymbolTableInfo']]],
-  ['rev_4996',['rev',['../classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219',1,'SVF::PTData']]],
-  ['reverse_5fdense_4997',['REVERSE_DENSE',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228ae21bc1064d05499c2dc6051d153df9e6',1,'SVF::NodeIDAllocator']]],
-  ['reversenodemapping_4998',['reverseNodeMapping',['../classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1',1,'SVF::PointsTo']]],
-  ['revptsmap_4999',['revPtsMap',['../classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64',1,'SVF::MutablePTData::revPtsMap()'],['../classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563',1,'SVF::PersistentPTData::revPtsMap()'],['../classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1',1,'SVF::MutablePTData::RevPtsMap()'],['../classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8',1,'SVF::PersistentPTData::RevPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305',1,'SVF::PersistentDiffPTData::RevPtsMap()']]],
-  ['rfinept_5000',['RFINEPT',['../dda_8cpp.html#a67ee98e0a1d06555ea82c26cf1fa2b35',1,'dda.cpp']]],
-  ['rid_5001',['rid',['../classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4',1,'SVF::MemRegion']]],
-  ['rmderefdirsvfgedges_5002',['rmDerefDirSVFGEdges',['../classSVF_1_1SaberSVFGBuilder.html#ad8f4f63d2071be4eb5f6fb2fdf29a10a',1,'SVF::SaberSVFGBuilder']]],
-  ['rmincomingedgeforsustore_5003',['rmIncomingEdgeForSUStore',['../classSVF_1_1SaberSVFGBuilder.html#ae0a9c42c850bda29aeae2f47ad2b8f4a',1,'SVF::SaberSVFGBuilder']]],
-  ['rminterleavingthread_5004',['rmInterleavingThread',['../classSVF_1_1MHP.html#a02b4ab18067c9b911b4bd53f0426aec3',1,'SVF::MHP']]],
-  ['rmsustat_5005',['rmSUStat',['../classSVF_1_1DDAVFSolver.html#a7d0775354df32f293e98578ed071d33c',1,'SVF::DDAVFSolver']]],
-  ['root_5006',['root',['../classSVF_1_1ProgSlice.html#ada13c2389d43973ff7db18b7fca90087',1,'SVF::ProgSlice']]],
-  ['rsy_5007',['RSY',['../classSVF_1_1RelationSolver.html#adf556d4eb0b813ec0d4b52cdd7fbd391',1,'SVF::RelationSolver']]],
-  ['rthdtochildren_5008',['rthdToChildren',['../classSVF_1_1MTAResultValidator.html#a542f2f41c90698270687fc7858a26555',1,'SVF::MTAResultValidator']]],
-  ['rthdtochildrenmap_5009',['rthdToChildrenMap',['../classSVF_1_1MTAResultValidator.html#a7d2043cf3c354812fa5e4cdf7f60ff20',1,'SVF::MTAResultValidator::rthdToChildrenMap()'],['../classSVF_1_1MTAResultValidator.html#a7d2043cf3c354812fa5e4cdf7f60ff20',1,'SVF::MTAResultValidator::rthdToChildrenMap()']]],
-  ['rthdtovthd_5010',['rthdTovthd',['../classSVF_1_1MTAResultValidator.html#a615623a08324ee155cb527a3b57e8c19',1,'SVF::MTAResultValidator']]],
-  ['rthdtovthdmap_5011',['rthdTovthdMap',['../classSVF_1_1MTAResultValidator.html#ab386260dd6bbaeacde10e5c81f07502c',1,'SVF::MTAResultValidator::rthdTovthdMap()'],['../classSVF_1_1MTAResultValidator.html#ab386260dd6bbaeacde10e5c81f07502c',1,'SVF::MTAResultValidator::rthdTovthdMap()']]],
-  ['runonmodule_5012',['runOnModule',['../classSVF_1_1BreakConstantGEPs.html#ae99ceb7923161d54e7d0a687f4f68e1a',1,'SVF::BreakConstantGEPs::runOnModule()'],['../classSVF_1_1MergeFunctionRets.html#a8fe74477a43f80104fb3461d006ad392',1,'SVF::MergeFunctionRets::runOnModule()'],['../classSVF_1_1DDAPass.html#aca46f1d464f5766ae666661a164a51a9',1,'SVF::DDAPass::runOnModule()'],['../classSVF_1_1MTA.html#ad9172b17fa738bff616771df6f9e9c37',1,'SVF::MTA::runOnModule()'],['../classSVF_1_1DoubleFreeChecker.html#a6ae08976bd1a82f4370ff373b898f49e',1,'SVF::DoubleFreeChecker::runOnModule()'],['../classSVF_1_1FileChecker.html#a3fad64b69b652e9ab3fc3ab12b023223',1,'SVF::FileChecker::runOnModule()'],['../classSVF_1_1LeakChecker.html#a1a4e10da2b2265a5d1aca6d54e622fda',1,'SVF::LeakChecker::runOnModule()'],['../classSVF_1_1FlowSensitive.html#a611608ccc9659bd320670f1ec31ad18e',1,'SVF::FlowSensitive::runOnModule()'],['../classSVF_1_1WPAPass.html#af5ae999c6ca7c481e32b628dd3f6a7b0',1,'SVF::WPAPass::runOnModule()']]],
-  ['runpointeranalysis_5013',['runPointerAnalysis',['../classSVF_1_1DDAPass.html#ac480fe602e5e2d36ec4815ce50aeaad3',1,'SVF::DDAPass::runPointerAnalysis()'],['../classSVF_1_1WPAPass.html#ace6627f09d237f01d7b698aaea9020eb',1,'SVF::WPAPass::runPointerAnalysis()']]]
+  ['raceresultvalidator_4807',['RaceResultValidator',['../classSVF_1_1RaceResultValidator.html',1,'SVF']]],
+  ['racevalidator_4808',['RaceValidator',['../classSVF_1_1RaceValidator.html',1,'SVF::RaceValidator'],['../classSVF_1_1RaceValidator.html#a990ee1472b24a746d42b7bac4e453447',1,'SVF::RaceValidator::RaceValidator()']]],
+  ['raw_4809',['raw',['../cJSON_8h.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.h'],['../cJSON_8cpp.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.cpp']]],
+  ['raw_5ffd_5fostream_4810',['raw_fd_ostream',['../namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba',1,'SVF']]],
+  ['raw_5fpointer_5fiterator_4811',['raw_pointer_iterator',['../namespaceSVF.html#af3b0c055d852656a062bf784222a4fea',1,'SVF']]],
+  ['rawproductions_4812',['rawProductions',['../classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd',1,'SVF::GrammarBase']]],
+  ['rc_5faccess_4813',['RC_ACCESS',['../classSVF_1_1RaceResultValidator.html#ab1fbb367d32d72841119795e48cfae2d',1,'SVF::RaceResultValidator']]],
+  ['rc_5faliases_4814',['RC_ALIASES',['../classSVF_1_1RaceResultValidator.html#a090afdd4eb0d60b2a0408f9b5ea4a30e',1,'SVF::RaceResultValidator']]],
+  ['rc_5fflag_4815',['RC_FLAG',['../classSVF_1_1RaceResultValidator.html#ac57ae430ee5b6868fe810172ec658853',1,'SVF::RaceResultValidator::RC_FLAG()'],['../classSVF_1_1RaceResultValidator.html#ac57ae430ee5b6868fe810172ec658853',1,'SVF::RaceResultValidator::RC_FLAG()']]],
+  ['rc_5fmhp_4816',['RC_MHP',['../classSVF_1_1RaceResultValidator.html#aa4129053b7248d4e95763f0b41044e4c',1,'SVF::RaceResultValidator']]],
+  ['rc_5fprotected_4817',['RC_PROTECTED',['../classSVF_1_1RaceResultValidator.html#abcdd726f56cc2deb6cad72456863fc9b',1,'SVF::RaceResultValidator']]],
+  ['rc_5frace_4818',['RC_RACE',['../classSVF_1_1RaceResultValidator.html#abb9eba49d091d292a13478f659a5e53b',1,'SVF::RaceResultValidator']]],
+  ['rcsvfgbuilder_4819',['RcSvfgBuilder',['../classSVF_1_1SVFG.html#a67654d252e9e93b74e35ba247048b41a',1,'SVF::SVFG']]],
+  ['reachablebbs_4820',['reachableBBs',['../classSVF_1_1SVFLoopAndDomInfo.html#af3eeabc8b81b2aff27ae3577195a1eff',1,'SVF::SVFLoopAndDomInfo']]],
+  ['reachglob_4821',['reachGlob',['../classSVF_1_1ProgSlice.html#ab36bc2aa24a2a90555a9714dcbfc83e5',1,'SVF::ProgSlice']]],
+  ['read_4822',['read',['../classSVF_1_1SVFIRReader.html#ab03b02b315c4ccb0e0fbb2591f221d61',1,'SVF::SVFIRReader::read(const std::string &path)'],['../classSVF_1_1SVFIRReader.html#a252a1ce47d6e5b30914a4a1cc340d86d',1,'SVF::SVFIRReader::read(const cJSON *root)']]],
+  ['read_5fcreate_5fedge_5ffwd_4823',['READ_CREATE_EDGE_FWD',['../SVFFileSystem_8cpp.html#a30d1c3675b87f06ba8a58a010ae55fec',1,'SVFFileSystem.cpp']]],
+  ['read_5fcreate_5fnode_5ffwd_4824',['READ_CREATE_NODE_FWD',['../SVFFileSystem_8cpp.html#ad9bbbc9c38a358d29b606dcf38c851ad',1,'SVFFileSystem.cpp']]],
+  ['readander_4825',['ReadAnder',['../classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475',1,'SVF::Options']]],
+  ['readbignumber_4826',['readBigNumber',['../namespaceSVF.html#ac9bc0a9e085bace3fcd2e92b6d418dab',1,'SVF']]],
+  ['readdir_5fr_4827',['readdir_r',['../extapi_8c.html#a3ccb1f4f10729777321e33899242f721',1,'extapi.c']]],
+  ['readeridtoobjmap_4828',['ReaderIDToObjMap',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
+  ['readeridtoobjmap_3c_20chnode_20_3e_4829',['ReaderIDToObjMap< CHNode >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
+  ['readeridtoobjmap_3c_20nodety_20_3e_4830',['ReaderIDToObjMap< NodeTy >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
+  ['readeridtoobjmap_3c_20svf_3a_3amemobj_20_3e_4831',['ReaderIDToObjMap< SVF::MemObj >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
+  ['readeridtoobjmap_3c_20svfvar_20_3e_4832',['ReaderIDToObjMap< SVFVar >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
+  ['readerptrpool_4833',['ReaderPtrPool',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20chedge_20_3e_4834',['ReaderPtrPool< CHEdge >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20edgety_20_3e_4835',['ReaderPtrPool< EdgeTy >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20svf_3a_3astinfo_20_3e_4836',['ReaderPtrPool< SVF::StInfo >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20svf_3a_3asvfloop_20_3e_4837',['ReaderPtrPool< SVF::SVFLoop >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20svf_3a_3asvftype_20_3e_4838',['ReaderPtrPool< SVF::SVFType >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20svf_3a_3asvfvalue_20_3e_4839',['ReaderPtrPool< SVF::SVFValue >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20svfstmt_20_3e_4840',['ReaderPtrPool< SVFStmt >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readfile_4841',['readFile',['../classSVF_1_1SVFG.html#a9da50b8f467066b478143af64f7c9858',1,'SVF::SVFG']]],
+  ['readfromfile_4842',['readFromFile',['../classSVF_1_1BVDataPTAImpl.html#a290501006cb700db0e07dc577429c928',1,'SVF::BVDataPTAImpl']]],
+  ['readinheritancemetadatafrommodule_4843',['readInheritanceMetadataFromModule',['../classSVF_1_1CHGBuilder.html#a443b021eb2b08b92164515750385b058',1,'SVF::CHGBuilder']]],
+  ['readjson_4844',['readJson',['../classSVF_1_1SVFIRReader.html#a68729347f89307b71fa97475883c6741',1,'SVF::SVFIRReader::readJson(const cJSON *obj, bool &flag)'],['../classSVF_1_1SVFIRReader.html#a4bbe5acde46e216f28c0918abffa1f6c',1,'SVF::SVFIRReader::readJson(const cJSON *obj, unsigned &val)'],['../classSVF_1_1SVFIRReader.html#a051ef80cfc07a46c72ca84f136b109bf',1,'SVF::SVFIRReader::readJson(const cJSON *obj, int &val)'],['../classSVF_1_1SVFIRReader.html#aa98ab7b243dec53fe77e212cfbcb0318',1,'SVF::SVFIRReader::readJson(const cJSON *obj, short &val)'],['../classSVF_1_1SVFIRReader.html#a16ffad8293aa28050c004a9d03179b1d',1,'SVF::SVFIRReader::readJson(const cJSON *obj, float &val)'],['../classSVF_1_1SVFIRReader.html#aaf07b7a570f8f38e4d1d4647aa3cb84d',1,'SVF::SVFIRReader::readJson(const cJSON *obj, unsigned long &val)'],['../classSVF_1_1SVFIRReader.html#a17264b948143fa01a8ba3d0fa2e72567',1,'SVF::SVFIRReader::readJson(const cJSON *obj, long long &val)'],['../classSVF_1_1SVFIRReader.html#a275fa3fd1813a0b178be828ef432cd29',1,'SVF::SVFIRReader::readJson(const cJSON *obj, unsigned long long &val)'],['../classSVF_1_1SVFIRReader.html#af4c11fe282576b452b53098fc625bf70',1,'SVF::SVFIRReader::readJson(const cJSON *obj, std::string &str)'],['../classSVF_1_1SVFIRReader.html#a83838ee6098cf3b0893b8325cfc3ffdd',1,'SVF::SVFIRReader::readJson(const cJSON *obj, NodeIDAllocator *idAllocator)'],['../classSVF_1_1SVFIRReader.html#af379c833b8e0c16ed7b41a76bb8e51d6',1,'SVF::SVFIRReader::readJson(SymbolTableInfo *symTabInfo)'],['../classSVF_1_1SVFIRReader.html#abdb701b360803217f31baa66ca42d147',1,'SVF::SVFIRReader::readJson(IRGraph *graph)'],['../classSVF_1_1SVFIRReader.html#a4141e6fb5b42049e41f5fb7ad914b764',1,'SVF::SVFIRReader::readJson(ICFG *icfg)'],['../classSVF_1_1SVFIRReader.html#a29deff07a39203e1b10de9296ccedffa',1,'SVF::SVFIRReader::readJson(CHGraph *graph)'],['../classSVF_1_1SVFIRReader.html#a80914d725ce6492df7184bd972791563',1,'SVF::SVFIRReader::readJson(SVFModule *module)'],['../classSVF_1_1SVFIRReader.html#ae2df32a86b2c08c047a4851429e709f2',1,'SVF::SVFIRReader::readJson(const cJSON *obj, SVFType *&type)'],['../classSVF_1_1SVFIRReader.html#aaa64d095ec6635f493d6657d404a92fe',1,'SVF::SVFIRReader::readJson(const cJSON *obj, StInfo *&stInfo)'],['../classSVF_1_1SVFIRReader.html#adc8005dc5004beb6a0f50ea5b0e64a3f',1,'SVF::SVFIRReader::readJson(const cJSON *obj, SVFValue *&value)'],['../classSVF_1_1SVFIRReader.html#adfbb15debf3536e998bf0ddf9871f224',1,'SVF::SVFIRReader::readJson(const cJSON *obj, SVFVar *&var)'],['../classSVF_1_1SVFIRReader.html#aa94c70605f7d8af48e4ce606f9aae7f6',1,'SVF::SVFIRReader::readJson(const cJSON *obj, SVFStmt *&stmt)'],['../classSVF_1_1SVFIRReader.html#a5a6dc5b3d4ee8e233f6f8af6832ff404',1,'SVF::SVFIRReader::readJson(const cJSON *obj, ICFGNode *&node)'],['../classSVF_1_1SVFIRReader.html#a660542de26851bf498745e1c2065a728',1,'SVF::SVFIRReader::readJson(const cJSON *obj, ICFGEdge *&edge)'],['../classSVF_1_1SVFIRReader.html#a4f457aa121aa8889d03099dd5f0b0905',1,'SVF::SVFIRReader::readJson(const cJSON *obj, CHNode *&node)'],['../classSVF_1_1SVFIRReader.html#a22307240d3656c4e9eb7c53152acbc99',1,'SVF::SVFIRReader::readJson(const cJSON *obj, CHEdge *&edge)'],['../classSVF_1_1SVFIRReader.html#a9af9bc805187c08e95c55b5120e3369f',1,'SVF::SVFIRReader::readJson(const cJSON *obj, CallSite &cs)'],['../classSVF_1_1SVFIRReader.html#ae44fb2919449ce00a6ad7dee0225c5db',1,'SVF::SVFIRReader::readJson(const cJSON *obj, AccessPath &ap)'],['../classSVF_1_1SVFIRReader.html#aaf309dddcfa0c216af1813ed8ec96321',1,'SVF::SVFIRReader::readJson(const cJSON *obj, SVFLoop *&loop)'],['../classSVF_1_1SVFIRReader.html#a9b6723cf485bc449c0acc2d5ac11b6cf',1,'SVF::SVFIRReader::readJson(const cJSON *obj, MemObj *&memObj)'],['../classSVF_1_1SVFIRReader.html#aff3c7b5a3733cd94b01bc18a70d05ec6',1,'SVF::SVFIRReader::readJson(const cJSON *obj, ObjTypeInfo *&objTypeInfo)'],['../classSVF_1_1SVFIRReader.html#af70c8f02f7c2f7ff7e1639cc4f934404',1,'SVF::SVFIRReader::readJson(const cJSON *obj, SVFLoopAndDomInfo *&ldInfo)'],['../classSVF_1_1SVFIRReader.html#a9141a05a8d04f24f380e6745cfca3293',1,'SVF::SVFIRReader::readJson(const cJSON *obj, SparseBitVector< ElementSize > &bv)'],['../classSVF_1_1SVFIRReader.html#ac0e7d716d40b75742ec9ba6c9111e577',1,'SVF::SVFIRReader::readJson(const cJSON *obj, T *&ptr)'],['../classSVF_1_1SVFIRReader.html#a639af670465f6cbe4fe75b3188a66129',1,'SVF::SVFIRReader::readJson(const cJSON *obj, const T *&cptr)'],['../classSVF_1_1SVFIRReader.html#adadac5f05181266ee207a7559efe8028',1,'SVF::SVFIRReader::readJson(const cJSON *obj, std::pair< T1, T2 > &pair)'],['../classSVF_1_1SVFIRReader.html#ae013a19e67061a99dc64a3b9b480180e',1,'SVF::SVFIRReader::readJson(const cJSON *obj, T(&array)[N])'],['../classSVF_1_1SVFIRReader.html#a8a816d551a84c8f8bd08d4bba7d52a7b',1,'SVF::SVFIRReader::readJson(const cJSON *obj, C &container)'],['../classSVF_1_1SVFIRReader.html#aa87cb97447349014fb44b5fbc6fb84b9',1,'SVF::SVFIRReader::readJson(const cJSON *obj, C &map)'],['../classSVF_1_1SVFIRReader.html#a9bdfb249850cf22d6c91db7716007e53',1,'SVF::SVFIRReader::readJson(const cJSON *obj, C &set)'],['../classSVF_1_1Options.html#ae1776c9fb7d163153443b1ff2a7350a8',1,'SVF::Options::ReadJson()']]],
+  ['readprecision_4845',['readPrecision',['../classSVF_1_1MTASVFGBuilder.html#a5532751632ece036b3d6741908573b36',1,'SVF::MTASVFGBuilder']]],
+  ['readprecisiontdedge_4846',['ReadPrecisionTDEdge',['../classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916',1,'SVF::Options']]],
+  ['readptsfromfile_4847',['readPtsFromFile',['../classSVF_1_1AndersenBase.html#a69685be598d8aa2576af09912b94a8ef',1,'SVF::AndersenBase::readPtsFromFile()'],['../classSVF_1_1FlowSensitive.html#a46d54b608ad952686349ccac9a3424f1',1,'SVF::FlowSensitive::readPtsFromFile()']]],
+  ['readsmallnumber_4848',['readSmallNumber',['../namespaceSVF.html#a1202d15e828377e9bec5164f76c48096',1,'SVF']]],
+  ['readsvfg_4849',['ReadSVFG',['../classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4',1,'SVF::Options']]],
+  ['realdeffun_4850',['realDefFun',['../classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007',1,'SVF::SVFFunction']]],
+  ['realdefglobal_4851',['realDefGlobal',['../classSVF_1_1SVFGlobalValue.html#a3048ae66c737eebbe7fe230f95a88b6e',1,'SVF::SVFGlobalValue']]],
+  ['reallocate_4852',['reallocate',['../structinternal__hooks.html#a5dd48d5c2f2b1cf4f6eec5df6205e15c',1,'internal_hooks']]],
+  ['realpath_4853',['realpath',['../extapi_8c.html#a6646e3960f1c015c86c3b45f6e5db53e',1,'extapi.c']]],
+  ['reanalyze_4854',['reanalyze',['../classSVF_1_1WPASolver.html#ac460772d9236a2fefe17b2557023b883',1,'SVF::WPASolver']]],
+  ['recompute_4855',['reCompute',['../classSVF_1_1DDAVFSolver.html#a8c5220108a65fa281959529cb1e9cc57',1,'SVF::DDAVFSolver']]],
+  ['recomputeforedges_4856',['reComputeForEdges',['../classSVF_1_1DDAVFSolver.html#ace037388135f272365cee2e87844bfba',1,'SVF::DDAVFSolver']]],
+  ['recordaddingedge_4857',['recordAddingEdge',['../classSVF_1_1MTASVFGBuilder.html#a2effeeac276a64d612fe6af08ec25b74',1,'SVF::MTASVFGBuilder']]],
+  ['recordedge_4858',['recordEdge',['../classSVF_1_1MTASVFGBuilder.html#a55da7f1a8921727f84232e5905d6135f',1,'SVF::MTASVFGBuilder']]],
+  ['recordedges_4859',['recordedges',['../classSVF_1_1MTASVFGBuilder.html#a13ac51421add3cb242ad823e18938c95',1,'SVF::MTASVFGBuilder']]],
+  ['recordremovingedge_4860',['recordRemovingEdge',['../classSVF_1_1MTASVFGBuilder.html#a97179139a6395a7062d3200c23d4b69d',1,'SVF::MTASVFGBuilder']]],
+  ['recurse_4861',['recurse',['../cJSON_8h.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.h'],['../cJSON_8cpp.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.cpp']]],
+  ['redundantgepnodes_4862',['redundantGepNodes',['../classSVF_1_1AndersenBase.html#a6c3d6b4c004d9e43690c3807502eed74',1,'SVF::AndersenBase']]],
+  ['ref_4863',['Ref',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76',1,'SVF']]],
+  ['reference_4864',['reference',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a28e12df86b7514e119e2b4f7bffd29c9',1,'SVF::PointsTo::PointsToIterator::reference()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a65313b9702cf6767d2936852e09f04c5',1,'SVF::CoreBitVector::CoreBitVectorIterator::reference()'],['../classSVF_1_1iter__facade__base.html#a3d501177aef770b02e7d2629b334e32a',1,'SVF::iter_facade_base::reference()']]],
+  ['referenceproxy_4865',['ReferenceProxy',['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html',1,'SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >::ReferenceProxy'],['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aabce5b9a8700ecf1415a92ce45b384a2',1,'SVF::iter_facade_base::ReferenceProxy::ReferenceProxy()']]],
+  ['refval_4866',['refVal',['../classSVF_1_1MemObj.html#a33d27c3e75e62f31f62c8d9bfc2e0262',1,'SVF::MemObj']]],
+  ['reg2bbmap_4867',['reg2BBMap',['../classSVF_1_1MemSSA.html#add1d4ff17d0860906d2f5f7172176121',1,'SVF::MemSSA']]],
+  ['regionalign_4868',['RegionAlign',['../classSVF_1_1Options.html#a5a70a23e30df8dea3fcaf0e80479fe88',1,'SVF::Options']]],
+  ['regionedclustering_4869',['RegionedClustering',['../classSVF_1_1Options.html#a8cc5b2a363724b558f4932277a87c0f6',1,'SVF::Options']]],
+  ['regioningtime_4870',['RegioningTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad5f733cad8a103a64e80270acb67567a',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['regionobjects_4871',['regionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a7d34542f34a8e8008119c3d61943daa2',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['regpt_4872',['REGPT',['../dda_8cpp.html#aa4d54caa95b7971baaaa499dc52a83f0',1,'dda.cpp']]],
+  ['relationsolver_4873',['RelationSolver',['../classSVF_1_1RelationSolver.html',1,'SVF::RelationSolver'],['../classSVF_1_1RelationSolver.html#aaee624b8260da9ba0de027d80b01d984',1,'SVF::RelationSolver::RelationSolver()']]],
+  ['relationsolver_2ecpp_4874',['RelationSolver.cpp',['../RelationSolver_8cpp.html',1,'']]],
+  ['relationsolver_2eh_4875',['RelationSolver.h',['../RelationSolver_8h.html',1,'']]],
+  ['relationtype_4876',['RELATIONTYPE',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22',1,'SVF::CHGraph']]],
+  ['release_4877',['release',['../classSVF_1_1RaceResultValidator.html#a64f61b58f59eba5f3e7c69f90edc68df',1,'SVF::RaceResultValidator::release()'],['../classSVF_1_1RaceResultValidator.html#a64f61b58f59eba5f3e7c69f90edc68df',1,'SVF::RaceResultValidator::release()']]],
+  ['releaseandersenscd_4878',['releaseAndersenSCD',['../classSVF_1_1AndersenSCD.html#ac2003ddf910f55d5c53c762b45964b50',1,'SVF::AndersenSCD']]],
+  ['releaseandersensfr_4879',['releaseAndersenSFR',['../classSVF_1_1AndersenSFR.html#a4aa1607b7d84a6de151c19ae84b913b9',1,'SVF::AndersenSFR']]],
+  ['releaseandersenwavediff_4880',['releaseAndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html#a5da6abb1a7f0ef3e3871ea6e5a623625',1,'SVF::AndersenWaveDiff']]],
+  ['releasecontext_4881',['releaseContext',['../classSVF_1_1Z3Expr.html#a9da409a05cfd85d966d887b33dd1cc94',1,'SVF::Z3Expr']]],
+  ['releasefsmpta_4882',['releaseFSMPTA',['../classSVF_1_1FSMPTA.html#aea3ec49d7c12dc7e884600d1eddc99f0',1,'SVF::FSMPTA']]],
+  ['releasefswpa_4883',['releaseFSWPA',['../classSVF_1_1FlowSensitive.html#ae6aed22a79ac6567446dfcba82cb17b8',1,'SVF::FlowSensitive']]],
+  ['releasellvmmoduleset_4884',['releaseLLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936',1,'SVF::LLVMModuleSet']]],
+  ['releasememory_4885',['releaseMemory',['../classSVF_1_1SVFGBuilder.html#a6e08e6a99f7e743abf35e603e35e54f5',1,'SVF::SVFGBuilder']]],
+  ['releasesolver_4886',['releaseSolver',['../classSVF_1_1Z3Expr.html#a9cf1997ee2d22542f7288506ed0f4733',1,'SVF::Z3Expr']]],
+  ['releasesteensgaard_4887',['releaseSteensgaard',['../classSVF_1_1Steensgaard.html#a375a16c7538866fcebfecf228f7ee63d',1,'SVF::Steensgaard']]],
+  ['releasesvfir_4888',['releaseSVFIR',['../classSVF_1_1SVFIR.html#a007c86e5d2d541d08815547a5492731e',1,'SVF::SVFIR']]],
+  ['releasesvfmodule_4889',['releaseSVFModule',['../classSVF_1_1SVFModule.html#a545633e2d7f103b4983b47d4e1c56823',1,'SVF::SVFModule']]],
+  ['releasesymbolinfo_4890',['releaseSymbolInfo',['../classSVF_1_1SymbolTableInfo.html#a9f8d99c761f3c7108d797b3702fcbfec',1,'SVF::SymbolTableInfo']]],
+  ['releasevfswpa_4891',['releaseVFSWPA',['../classSVF_1_1VersionedFlowSensitive.html#a754c77fff88e8f415dc7a2096d1bffe2',1,'SVF::VersionedFlowSensitive']]],
+  ['relexestate_4892',['RelExeState',['../classSVF_1_1RelExeState.html',1,'SVF::RelExeState'],['../classSVF_1_1RelExeState.html#a34d81c2627e224283e07765d15543bf1',1,'SVF::RelExeState::RelExeState()=default'],['../classSVF_1_1RelExeState.html#a0078db58922ddbf5a9ec9641ed6f4544',1,'SVF::RelExeState::RelExeState(VarToValMap &varToVal, LocToValMap &locToVal)'],['../classSVF_1_1RelExeState.html#a482bd4d7143e7d78a22f276bf5a4f30f',1,'SVF::RelExeState::RelExeState(const RelExeState &rhs)'],['../classSVF_1_1RelExeState.html#a0d2f6c9fe4a54b9a7c6d7167e24e1425',1,'SVF::RelExeState::RelExeState(RelExeState &&rhs) noexcept']]],
+  ['relexestate_2ecpp_4893',['RelExeState.cpp',['../RelExeState_8cpp.html',1,'']]],
+  ['relexestate_2eh_4894',['RelExeState.h',['../RelExeState_8h.html',1,'']]],
+  ['remapallpts_4895',['remapAllPts',['../classSVF_1_1PTData.html#af2f176027169e18730848c7a583aed93',1,'SVF::PTData::remapAllPts()'],['../classSVF_1_1MutablePTData.html#a3b4cd5b4f8704a5b0049923d22ce7665',1,'SVF::MutablePTData::remapAllPts()'],['../classSVF_1_1MutableDiffPTData.html#a80142c1961d5e71c8f0dbadbb3c82184',1,'SVF::MutableDiffPTData::remapAllPts()'],['../classSVF_1_1MutableDFPTData.html#ad34e442581dfe57ce7f1add25c8414b2',1,'SVF::MutableDFPTData::remapAllPts()'],['../classSVF_1_1MutableVersionedPTData.html#a72cbf33b77f5a19221ad265691065695',1,'SVF::MutableVersionedPTData::remapAllPts()'],['../classSVF_1_1PersistentPointsToCache.html#a89c4e8c8edcc6744f298e90d721a0745',1,'SVF::PersistentPointsToCache::remapAllPts()'],['../classSVF_1_1PersistentPTData.html#a6ab42dbb4837bfaa1c76d61152fb321c',1,'SVF::PersistentPTData::remapAllPts()'],['../classSVF_1_1PersistentDiffPTData.html#ac21d6571ec53a01ee93e0383e4afef78',1,'SVF::PersistentDiffPTData::remapAllPts()'],['../classSVF_1_1PersistentDFPTData.html#af70d3b1ecbb8f9cb56b8b419dbc0490a',1,'SVF::PersistentDFPTData::remapAllPts()'],['../classSVF_1_1PersistentVersionedPTData.html#a5a21b654b380bdf26d65d60ceb86a787',1,'SVF::PersistentVersionedPTData::remapAllPts()']]],
+  ['remappointstosets_4896',['remapPointsToSets',['../classSVF_1_1BVDataPTAImpl.html#a7a87ca1a439e871896f92e4342befa2c',1,'SVF::BVDataPTAImpl']]],
+  ['removeaddredge_4897',['removeAddrEdge',['../classSVF_1_1ConstraintGraph.html#acc23df2db1fa7b8e0270d8a04f08f2ee',1,'SVF::ConstraintGraph']]],
+  ['removealledges_4898',['removeAllEdges',['../classSVF_1_1SVFGOPT.html#ac15b3c2cb127b17ebad3a30fc04b6f40',1,'SVF::SVFGOPT']]],
+  ['removeallindirectsvfgedges_4899',['removeAllIndirectSVFGEdges',['../classSVF_1_1VersionedFlowSensitive.html#a275095f60640d862034ad173af3371c3',1,'SVF::VersionedFlowSensitive']]],
+  ['removeback_4900',['removeBack',['../classSVF_1_1FILOWorkList.html#a10c20d2c670af8de5dcbe6f433ca83ee',1,'SVF::FILOWorkList']]],
+  ['removecandidates_4901',['removeCandidates',['../classSVF_1_1WPAMinimumSolver.html#aa6d8de95ddf703fdac33ef1216ce4aff',1,'SVF::WPAMinimumSolver']]],
+  ['removecflinedge_4902',['removeCFLInEdge',['../classSVF_1_1CFLNode.html#a60dfc3e421558eecee5065e8ae5f984a',1,'SVF::CFLNode']]],
+  ['removecfloutedge_4903',['removeCFLOutEdge',['../classSVF_1_1CFLNode.html#a821078d812986c488932610063d7509f',1,'SVF::CFLNode']]],
+  ['removeconstraintnode_4904',['removeConstraintNode',['../classSVF_1_1ConstraintGraph.html#a9e21bc9b86080b4059f0907e9a7b33f3',1,'SVF::ConstraintGraph']]],
+  ['removecxtstmttospan_4905',['removeCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a0b21446e6d5dfc1b5d0ebd75895225dd',1,'SVF::LockAnalysis']]],
+  ['removedirectedge_4906',['removeDirectEdge',['../classSVF_1_1ConstraintGraph.html#a9fc73676ea133651604e2528fe1d8244',1,'SVF::ConstraintGraph']]],
+  ['removedpmfromloc_4907',['removeDpmFromLoc',['../classSVF_1_1DDAVFSolver.html#a00ae738a76564b7b334faae567674e34',1,'SVF::DDAVFSolver']]],
+  ['removefirstsymbol_4908',['removeFirstSymbol',['../classSVF_1_1CFGNormalizer.html#a711e134b6470e9cc9b337d1b0e4708a9',1,'SVF::CFGNormalizer']]],
+  ['removefront_4909',['removeFront',['../classSVF_1_1FIFOWorkList.html#a621fe65af285665396fa10af9f96ef3a',1,'SVF::FIFOWorkList']]],
+  ['removefunannotations_4910',['removeFunAnnotations',['../namespaceSVF_1_1LLVMUtil.html#a523a8c3f9bfaea178733822ac598d552',1,'SVF::LLVMUtil']]],
+  ['removegnode_4911',['removeGNode',['../classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915',1,'SVF::GenericGraph']]],
+  ['removeicfgedge_4912',['removeICFGEdge',['../classSVF_1_1ICFG.html#a534625b10673efe5b0f344bfebf9b3cf',1,'SVF::ICFG']]],
+  ['removeicfgnode_4913',['removeICFGNode',['../classSVF_1_1ICFG.html#a403cd10f7c01cc879d803a9759e729cb',1,'SVF::ICFG']]],
+  ['removeincomingaddredge_4914',['removeIncomingAddrEdge',['../classSVF_1_1ConstraintNode.html#a5a97f47f5a65550dce11341c6f8d9ae6',1,'SVF::ConstraintNode']]],
+  ['removeincomingdirectedge_4915',['removeIncomingDirectEdge',['../classSVF_1_1ConstraintNode.html#a7946aea5584d124f6c83fd91ab497500',1,'SVF::ConstraintNode']]],
+  ['removeincomingedge_4916',['removeIncomingEdge',['../classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225',1,'SVF::GenericNode']]],
+  ['removeincomingloadedge_4917',['removeIncomingLoadEdge',['../classSVF_1_1ConstraintNode.html#aa1f60c884d007524641d1a786410d41b',1,'SVF::ConstraintNode']]],
+  ['removeincomingstoreedge_4918',['removeIncomingStoreEdge',['../classSVF_1_1ConstraintNode.html#a2d0e87fa3174562c97b519b2b144d8ea',1,'SVF::ConstraintNode']]],
+  ['removeinedges_4919',['removeInEdges',['../classSVF_1_1SVFGOPT.html#a5a2fe12411de408dfb57e910e413957f',1,'SVF::SVFGOPT']]],
+  ['removekey_4920',['removeKey',['../namespaceSVF_1_1SVFUtil.html#aee74719d33695e4da6fee5fc83f745d9',1,'SVF::SVFUtil::removeKey(const Key &key, KeySet &keySet)'],['../namespaceSVF_1_1SVFUtil.html#aa59af7fc01a534662b3b1524186ef97e',1,'SVF::SVFUtil::removeKey(const NodeID &key, NodeBS &keySet)']]],
+  ['removeloadedge_4921',['removeLoadEdge',['../classSVF_1_1ConstraintGraph.html#aa4bca2422049413439cb0c3400f2ce28',1,'SVF::ConstraintGraph']]],
+  ['removemdtag_4922',['removeMDTag',['../classSVF_1_1Annotator.html#a35dabd3a84615e730b34f568623ad8f5',1,'SVF::Annotator::removeMDTag(Instruction *inst, std::string str)'],['../classSVF_1_1Annotator.html#a676a5c9b425e13f17fa73879c72787a6',1,'SVF::Annotator::removeMDTag(Instruction *inst, Value *val, std::string str)']]],
+  ['removeoutedges_4923',['removeOutEdges',['../classSVF_1_1SVFGOPT.html#ae85391a5f0828362c61d55e162eef04d',1,'SVF::SVFGOPT']]],
+  ['removeoutgoingaddredge_4924',['removeOutgoingAddrEdge',['../classSVF_1_1ConstraintNode.html#abaf196bcce496fbdee6740c42ca9dd71',1,'SVF::ConstraintNode']]],
+  ['removeoutgoingdirectedge_4925',['removeOutgoingDirectEdge',['../classSVF_1_1ConstraintNode.html#a73b8c0967cde518a2ea7dfea2a7dc32f',1,'SVF::ConstraintNode']]],
+  ['removeoutgoingedge_4926',['removeOutgoingEdge',['../classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1',1,'SVF::GenericNode']]],
+  ['removeoutgoingloadedge_4927',['removeOutgoingLoadEdge',['../classSVF_1_1ConstraintNode.html#a7d810ec9abc8817a938a557ac78dc8c0',1,'SVF::ConstraintNode']]],
+  ['removeoutgoingstoreedge_4928',['removeOutgoingStoreEdge',['../classSVF_1_1ConstraintNode.html#a24ef3eedb218283d106eceb8a73ca1b4',1,'SVF::ConstraintNode']]],
+  ['removestoreedge_4929',['removeStoreEdge',['../classSVF_1_1ConstraintGraph.html#aad3d05c949c33a587b3ac6d627f5a0a2',1,'SVF::ConstraintGraph']]],
+  ['removesvfgedge_4930',['removeSVFGEdge',['../classSVF_1_1SVFG.html#a931d8b82e10a54d68c68cf6bd80264be',1,'SVF::SVFG']]],
+  ['removesvfgnode_4931',['removeSVFGNode',['../classSVF_1_1SVFG.html#a700c5fc6c1cb4136e55196fe3d393b8b',1,'SVF::SVFG']]],
+  ['removeunusedfuncsandannotations_4932',['removeUnusedFuncsAndAnnotations',['../namespaceSVF_1_1LLVMUtil.html#a74ed17168bf5946cfb3f17495ec6db99',1,'SVF::LLVMUtil']]],
+  ['removevarfromdfinupdatedset_4933',['removeVarFromDFInUpdatedSet',['../classSVF_1_1MutableIncDFPTData.html#a913c1a2c48526160eeecd028bd22cfc4',1,'SVF::MutableIncDFPTData::removeVarFromDFInUpdatedSet()'],['../classSVF_1_1PersistentIncDFPTData.html#ad449df82589efb4c40affb5fdc46f479',1,'SVF::PersistentIncDFPTData::removeVarFromDFInUpdatedSet()']]],
+  ['removevarfromdfoutupdatedset_4934',['removeVarFromDFOutUpdatedSet',['../classSVF_1_1MutableIncDFPTData.html#ac055ad77582b36083ca1950c39207f5e',1,'SVF::MutableIncDFPTData::removeVarFromDFOutUpdatedSet()'],['../classSVF_1_1PersistentIncDFPTData.html#ad1a2cd17519912b1d7571eeddcdc0060',1,'SVF::PersistentIncDFPTData::removeVarFromDFOutUpdatedSet()']]],
+  ['removevfgedge_4935',['removeVFGEdge',['../classSVF_1_1VFG.html#aeb24b155fe31813b2e6dc0564f55738a',1,'SVF::VFG']]],
+  ['removevfgnode_4936',['removeVFGNode',['../classSVF_1_1VFG.html#a122aa5ad874170ef644cee8705f1ef3e',1,'SVF::VFG']]],
+  ['renamechiset_4937',['RenameChiSet',['../classSVF_1_1MemSSA.html#a6066364112e665c33cbf2ec50ae1e3a8',1,'SVF::MemSSA']]],
+  ['renamemuset_4938',['RenameMuSet',['../classSVF_1_1MemSSA.html#a2527b76b92dffa8f8513ebfdcc8d8133',1,'SVF::MemSSA']]],
+  ['renamephiops_4939',['RenamePhiOps',['../classSVF_1_1MemSSA.html#a0ed34f7a27db045c624c5db61d53132b',1,'SVF::MemSSA']]],
+  ['renamephires_4940',['RenamePhiRes',['../classSVF_1_1MemSSA.html#a630be375832b1477989af85dce6760f3',1,'SVF::MemSSA']]],
+  ['rendergraphfrombottomup_4941',['renderGraphFromBottomUp',['../structSVF_1_1DefaultDOTGraphTraits.html#aeb5908ad6424c0636b698e5ea0a587c0',1,'SVF::DefaultDOTGraphTraits']]],
+  ['rep_4942',['rep',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#aae671732173cc6f958612ac934a6b503',1,'SVF::SCCDetection::GNodeSCCInfo::rep(void) const'],['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a22079b5877606f469c0f8a851e55215b',1,'SVF::SCCDetection::GNodeSCCInfo::rep(NodeID n)'],['../classSVF_1_1SCCDetection.html#a0495f912a9084b21327f678b47ef7e07',1,'SVF::SCCDetection::rep(NodeID n, NodeID r)'],['../classSVF_1_1SCCDetection.html#ac22aee5fdb22387b5bd0f612faef689c',1,'SVF::SCCDetection::rep(NodeID n)']]],
+  ['replace_5fitem_5fin_5fobject_4943',['replace_item_in_object',['../cJSON_8cpp.html#afdae75197cf2c440ef858a2e93b104f2',1,'cJSON.cpp']]],
+  ['replaceextension_4944',['replaceExtension',['../llvm2svf_8cpp.html#a7234932227363d976b4dcf64ba29823c',1,'llvm2svf.cpp']]],
+  ['replacefparamaretwithphi_4945',['replaceFParamARetWithPHI',['../classSVF_1_1SVFGOPT.html#a1fd6d26203d7d574b5664b8fcae54c1a',1,'SVF::SVFGOPT']]],
+  ['replacement_4946',['replacement',['../cJSON_8h.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.h'],['../cJSON_8cpp.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.cpp']]],
+  ['repnode_4947',['repNode',['../classSVF_1_1SCCDetection.html#a3a5fdc9330a657240f77199f5aee602d',1,'SVF::SCCDetection']]],
+  ['repnodes_4948',['repNodes',['../classSVF_1_1SCCDetection.html#a2b9605126ebb2abb1e16b3ccf99cf04b',1,'SVF::SCCDetection']]],
+  ['report_4949',['report',['../classSVF_1_1SrcSnkDDA.html#aa7d6999b99412cdc101152867778cd0a',1,'SVF::SrcSnkDDA']]],
+  ['reportbug_4950',['reportBug',['../classSVF_1_1DoubleFreeChecker.html#a8014b7a04b997d4c0a4be0a05fad6fe3',1,'SVF::DoubleFreeChecker::reportBug()'],['../classSVF_1_1FileChecker.html#a88ffc46ca954b77463de4c94c4eace54',1,'SVF::FileChecker::reportBug()'],['../classSVF_1_1LeakChecker.html#aa8bd31ae91ed1e9890203f865982a065',1,'SVF::LeakChecker::reportBug()'],['../classSVF_1_1SrcSnkDDA.html#aa87e9ca3c9a9dc6ae5cc88a0182a8154',1,'SVF::SrcSnkDDA::reportBug()']]],
+  ['reportmemoryusagekb_4951',['reportMemoryUsageKB',['../namespaceSVF_1_1SVFUtil.html#a6cfe12afa463d0ceddeee11540c33ab3',1,'SVF::SVFUtil']]],
+  ['repr_4952',['repr',['../classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3',1,'SVF::SVFOtherType']]],
+  ['require_5fnull_5fterminated_4953',['require_null_terminated',['../cJSON_8h.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.h'],['../cJSON_8cpp.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.cpp']]],
+  ['requiredbits_4954',['requiredBits',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a9aea96839c51ac1e2cbf4813174bb21c',1,'SVF::NodeIDAllocator::Clusterer::requiredBits(const PointsTo &pts)'],['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad0f0a6b61a044db819c253f8b9ab093e',1,'SVF::NodeIDAllocator::Clusterer::requiredBits(const size_t n)']]],
+  ['res_4955',['res',['../classSVF_1_1CmpVFGNode.html#a9a358028cf15ba49b410e0c2a1fafe7c',1,'SVF::CmpVFGNode::res()'],['../classSVF_1_1BinaryOPVFGNode.html#a01ca492acb9b769eb6e1fe2137dff47d',1,'SVF::BinaryOPVFGNode::res()'],['../classSVF_1_1UnaryOPVFGNode.html#a4403fd618b01a26c7c1e8c5da2319db6',1,'SVF::UnaryOPVFGNode::res()'],['../classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f',1,'SVF::PHIVFGNode::res()']]],
+  ['reserve_4956',['reserve',['../classSVF_1_1WriterPtrPool.html#af0d604a17260624fcabaec623cb72491',1,'SVF::WriterPtrPool::reserve()'],['../classSVF_1_1ReaderPtrPool.html#ac9c1431385ac03aeabbe56603dc9ad92',1,'SVF::ReaderPtrPool::reserve()']]],
+  ['reset_4957',['reset',['../classSVF_1_1CondStdSet.html#a857396d9e820a9fab8a498d981855e2a',1,'SVF::CondStdSet::reset()'],['../classSVF_1_1CondPointsToSet.html#aced740c1aadf06b4a63630844fac2dd8',1,'SVF::CondPointsToSet::reset()'],['../classSVF_1_1PersistentPointsToCache.html#af7e82410738f2cbaf06ea5249932a142',1,'SVF::PersistentPointsToCache::reset()'],['../classSVF_1_1PointsTo.html#a1ef805e714cfc29f0f3fa56c5ee964f6',1,'SVF::PointsTo::reset()'],['../classSVF_1_1CoreBitVector.html#a42fc777d574db4ef23b02308b944a85b',1,'SVF::CoreBitVector::reset()'],['../structSVF_1_1SparseBitVectorElement.html#acced4edf716af14a6931156d59e50632',1,'SVF::SparseBitVectorElement::reset()'],['../classSVF_1_1SparseBitVector.html#ad5337b5aeed50f8b7ffd56b14ee25c9f',1,'SVF::SparseBitVector::reset()']]],
+  ['resetdata_4958',['resetData',['../classSVF_1_1Andersen.html#a95c0b2f501dff61993cd43a5cab89e17',1,'SVF::Andersen']]],
+  ['resetdef_4959',['resetDef',['../classSVF_1_1SVFGOPT.html#af504407e6cd42cfe2ea27165ff15df40',1,'SVF::SVFGOPT']]],
+  ['resetobjfieldsensitive_4960',['resetObjFieldSensitive',['../classSVF_1_1PointerAnalysis.html#a73fb8e595473e0c7df1dd0de4968ad13',1,'SVF::PointerAnalysis']]],
+  ['resetquery_4961',['resetQuery',['../classSVF_1_1DDAVFSolver.html#afe518d3d7f8051de5b9860f2460aa1b7',1,'SVF::DDAVFSolver']]],
+  ['resetrep_4962',['resetRep',['../classSVF_1_1ConstraintGraph.html#aa30231dab5b7c759e4e5d76422a5eb8e',1,'SVF::ConstraintGraph']]],
+  ['resetsubs_4963',['resetSubs',['../classSVF_1_1ConstraintGraph.html#a5fe3815a7990e16b99cf46e90529f8b3',1,'SVF::ConstraintGraph']]],
+  ['resettypeforheapstaticobj_4964',['resetTypeForHeapStaticObj',['../classSVF_1_1ObjTypeInfo.html#ae26937ca2107517e6ede8eb6d76b95d5',1,'SVF::ObjTypeInfo']]],
+  ['resolvecppindcalls_4965',['resolveCPPIndCalls',['../classSVF_1_1PointerAnalysis.html#ac04b64a5884710508b304f93da88c7ba',1,'SVF::PointerAnalysis']]],
+  ['resolvefunptr_4966',['resolveFunPtr',['../classSVF_1_1DDAVFSolver.html#afcc074be34dd0c45418ff16b3d9d4192',1,'SVF::DDAVFSolver']]],
+  ['resolveindcalls_4967',['resolveIndCalls',['../classSVF_1_1PointerAnalysis.html#a8d128246f86f28fdf4981d91169ab440',1,'SVF::PointerAnalysis']]],
+  ['resulttype_4968',['ResultType',['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a052f7cd3a81e368060f132bf0268fa68',1,'SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >']]],
+  ['resumeinst_4969',['ResumeInst',['../namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa',1,'SVF']]],
+  ['resver_4970',['resVer',['../classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813',1,'SVF::MSSADEF']]],
+  ['ret_4971',['ret',['../classSVF_1_1CallICFGNode.html#a6c27c0d796b3d4becdebeba93f4fc785',1,'SVF::CallICFGNode::ret()'],['../classSVF_1_1SVFInstruction.html#a61e04a2e436a4c141980ee06854b74ca',1,'SVF::SVFInstruction::ret()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af',1,'SVF::SVFStmt::Ret()']]],
+  ['ret_5ftype_4972',['ret_type',['../structSVF_1_1SVFUtil_1_1cast__retty__impl.html#a5f8f6d651931eba7e0fa14c26a691a04',1,'SVF::SVFUtil::cast_retty_impl::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_4.html#ad0bc349135b60cc51fd040b615a979f7',1,'SVF::SVFUtil::cast_retty_impl< To, const From >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01From_01_5_01_4.html#a86c02dc15b65d0c052ea4447b3fb6333',1,'SVF::SVFUtil::cast_retty_impl< To, From * >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5_01_4.html#a98a60de95a331a34dcbad6da9961a9b7',1,'SVF::SVFUtil::cast_retty_impl< To, const From * >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5const_01_4.html#add8668ca96bbf0808c146cc81c62267c',1,'SVF::SVFUtil::cast_retty_impl< To, const From *const >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a3bf80190e39c339d4e3ec703789ae845',1,'SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__wrap.html#af3d80ab43e47626f32c91a6c4454e82e',1,'SVF::SVFUtil::cast_retty_wrap::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#ad989c130f2b6cd5a0f1ba0c7abd62b9a',1,'SVF::SVFUtil::cast_retty_wrap< To, FromTy, FromTy >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b',1,'SVF::SVFUtil::cast_retty::ret_type()']]],
+  ['retargetdstofedge_4973',['reTargetDstOfEdge',['../classSVF_1_1ConstraintGraph.html#a4db3484e3710c3f5cc86ec32dd643722',1,'SVF::ConstraintGraph']]],
+  ['retargetedgesofainfout_4974',['retargetEdgesOfAInFOut',['../classSVF_1_1SVFGOPT.html#abefe3efa0232106f1843351ff6dd1063',1,'SVF::SVFGOPT']]],
+  ['retargetedgesofaoutfin_4975',['retargetEdgesOfAOutFIn',['../classSVF_1_1SVFGOPT.html#a2285d20f7c4d128a8ede2e7f4f41f798',1,'SVF::SVFGOPT']]],
+  ['retargetsrcofedge_4976',['reTargetSrcOfEdge',['../classSVF_1_1ConstraintGraph.html#aaae56afed424f7cd59fddb3fcb2f7214',1,'SVF::ConstraintGraph']]],
+  ['retcf_4977',['RetCF',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429ad2370a77f6cc112b8c26efbcc36bf541',1,'SVF::ICFGEdge']]],
+  ['retcfgedge_4978',['RetCFGEdge',['../classSVF_1_1RetCFGEdge.html',1,'SVF::RetCFGEdge'],['../classSVF_1_1RetCFGEdge.html#a5a461528da9eb46ca190fbd49b41d0d1',1,'SVF::RetCFGEdge::RetCFGEdge()']]],
+  ['retdirsvfgedge_4979',['RetDirSVFGEdge',['../classSVF_1_1RetDirSVFGEdge.html',1,'SVF::RetDirSVFGEdge'],['../classSVF_1_1RetDirSVFGEdge.html#a5998569c23747ef9dbe6f86b5a04ce5c',1,'SVF::RetDirSVFGEdge::RetDirSVFGEdge()']]],
+  ['retdirvf_4980',['RetDirVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a8288c583cfcbfdf9aa2ac2103c0e7191',1,'SVF::VFGEdge']]],
+  ['reticfgnode_4981',['RetICFGNode',['../classSVF_1_1RetICFGNode.html',1,'SVF::RetICFGNode'],['../classSVF_1_1RetICFGNode.html#a509a968955a30eac9e3a33ee92fb40ca',1,'SVF::RetICFGNode::RetICFGNode(NodeID id)'],['../classSVF_1_1RetICFGNode.html#ab11a6192d63f568f03d5cbb0f5e36360',1,'SVF::RetICFGNode::RetICFGNode(NodeID id, const SVFInstruction *c, CallICFGNode *cb)']]],
+  ['retindsvfgedge_4982',['RetIndSVFGEdge',['../classSVF_1_1RetIndSVFGEdge.html',1,'SVF::RetIndSVFGEdge'],['../classSVF_1_1RetIndSVFGEdge.html#ae07d99d4156d999512e75b5d5fa207c4',1,'SVF::RetIndSVFGEdge::RetIndSVFGEdge()']]],
+  ['retindvf_4983',['RetIndVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5ac8124172b3f5f7fc94e895f6b192b668',1,'SVF::VFGEdge']]],
+  ['retmssamu_4984',['RetMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba255f3e3fc50f3a8d9a8bd5800b1b4594',1,'SVF::MSSAMU']]],
+  ['retmu_4985',['RetMU',['../classSVF_1_1RetMU.html',1,'SVF::RetMU< Cond >'],['../classSVF_1_1RetMU.html#a8cd41b018ddef450d17a20ea83ce3fee',1,'SVF::RetMU::RetMU()'],['../classSVF_1_1SVFG.html#a047573d70182da351b9e3bbf66ca0056',1,'SVF::SVFG::RETMU()'],['../classSVF_1_1MemSSA.html#a953a56a65ee36fd1c78b29179cd3f33a',1,'SVF::MemSSA::RETMU()']]],
+  ['retnode_4986',['RetNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5de2a8fce9a85f31818d58992b381b98',1,'SVF::SVFVar']]],
+  ['retpe_4987',['RetPE',['../classSVF_1_1RetPE.html',1,'SVF::RetPE'],['../classSVF_1_1RetPE.html#a0af89e939e91a980a083f931b209aea0',1,'SVF::RetPE::RetPE(const RetPE &)'],['../classSVF_1_1RetPE.html#a80129364e04411956caf75077bdbd89a',1,'SVF::RetPE::RetPE(GEdgeFlag k=SVFStmt::Ret)'],['../classSVF_1_1RetPE.html#aa6378c78b2cc253ab036d54aaca11f85',1,'SVF::RetPE::RetPE(SVFVar *s, SVFVar *d, const CallICFGNode *i, const FunExitICFGNode *e, GEdgeKind k=SVFStmt::Ret)'],['../classSVF_1_1RetCFGEdge.html#ad4bbb9881dff7b715c7a70b92baf376c',1,'SVF::RetCFGEdge::retPE()']]],
+  ['retpebegin_4988',['retPEBegin',['../classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132',1,'SVF::FormalRetVFGNode']]],
+  ['retpeend_4989',['retPEEnd',['../classSVF_1_1FormalRetVFGNode.html#adae36045df1057e551d92aa7bfb236f9',1,'SVF::FormalRetVFGNode']]],
+  ['retpes_4990',['retPEs',['../classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157',1,'SVF::FormalRetVFGNode']]],
+  ['retpeset_4991',['RetPESet',['../classSVF_1_1ICFGNode.html#a2c39225f7b5ca0c392ea7afc3cec1fdb',1,'SVF::ICFGNode::RetPESet()'],['../classSVF_1_1VFG.html#abf966182c28f0521dcd161aa299e453d',1,'SVF::VFG::RetPESet()'],['../classSVF_1_1VFGNode.html#a367413b90de8a382190ffa9f0c742e01',1,'SVF::VFGNode::RetPESet()']]],
+  ['retpn_4992',['RetPN',['../classSVF_1_1RetPN.html',1,'SVF::RetPN'],['../classSVF_1_1RetPN.html#abeb65c2fe30da157e63dc43f628bab23',1,'SVF::RetPN::RetPN(NodeID i)'],['../classSVF_1_1RetPN.html#ac551c1aaf9ec3cb77814aa4664d61a23',1,'SVF::RetPN::RetPN(const SVFFunction *val, NodeID i)']]],
+  ['retsymbol_4993',['RetSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba8ac9528bf8b81f7942c1cdc0bf63ec35',1,'SVF::SymbolTableInfo']]],
+  ['retsyms_4994',['retSyms',['../classSVF_1_1SymbolTableInfo.html#aafd4da7cef6387bb974abe20185b7b96',1,'SVF::SymbolTableInfo']]],
+  ['retty_4995',['retTy',['../classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186',1,'SVF::SVFFunctionType']]],
+  ['rettype_4996',['RetType',['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#abd3fdf0fdc5e4622a879b7890ad43789',1,'SVF::SVFUtil::simplify_type< const From >']]],
+  ['return_4997',['return',['../cJSON_8cpp.html#a15f779a174654a93596726f6eb6b57fe',1,'cJSON.cpp']]],
+  ['return_5fparse_5fend_4998',['return_parse_end',['../cJSON_8h.html#a7725ae4fa33fc499614c6895ee9ee44a',1,'return_parse_end(): cJSON.h'],['../cJSON_8cpp.html#a1a7c63ae727dcb98b54e081b2ff17ed9',1,'return_parse_end(): cJSON.cpp']]],
+  ['returninst_4999',['ReturnInst',['../namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154',1,'SVF']]],
+  ['returnsymmap_5000',['returnSymMap',['../classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681',1,'SVF::SymbolTableInfo']]],
+  ['rev_5001',['rev',['../classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219',1,'SVF::PTData']]],
+  ['reverse_5fdense_5002',['REVERSE_DENSE',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228ae21bc1064d05499c2dc6051d153df9e6',1,'SVF::NodeIDAllocator']]],
+  ['reversenodemapping_5003',['reverseNodeMapping',['../classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1',1,'SVF::PointsTo']]],
+  ['revptsmap_5004',['RevPtsMap',['../classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1',1,'SVF::MutablePTData::RevPtsMap()'],['../classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8',1,'SVF::PersistentPTData::RevPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305',1,'SVF::PersistentDiffPTData::RevPtsMap()'],['../classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64',1,'SVF::MutablePTData::revPtsMap()'],['../classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563',1,'SVF::PersistentPTData::revPtsMap()']]],
+  ['rfinept_5005',['RFINEPT',['../dda_8cpp.html#a67ee98e0a1d06555ea82c26cf1fa2b35',1,'dda.cpp']]],
+  ['rid_5006',['rid',['../classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4',1,'SVF::MemRegion']]],
+  ['rmderefdirsvfgedges_5007',['rmDerefDirSVFGEdges',['../classSVF_1_1SaberSVFGBuilder.html#ad8f4f63d2071be4eb5f6fb2fdf29a10a',1,'SVF::SaberSVFGBuilder']]],
+  ['rmincomingedgeforsustore_5008',['rmIncomingEdgeForSUStore',['../classSVF_1_1SaberSVFGBuilder.html#ae0a9c42c850bda29aeae2f47ad2b8f4a',1,'SVF::SaberSVFGBuilder']]],
+  ['rminterleavingthread_5009',['rmInterleavingThread',['../classSVF_1_1MHP.html#a02b4ab18067c9b911b4bd53f0426aec3',1,'SVF::MHP']]],
+  ['rmsustat_5010',['rmSUStat',['../classSVF_1_1DDAVFSolver.html#a7d0775354df32f293e98578ed071d33c',1,'SVF::DDAVFSolver']]],
+  ['root_5011',['root',['../classSVF_1_1ProgSlice.html#ada13c2389d43973ff7db18b7fca90087',1,'SVF::ProgSlice']]],
+  ['rsy_5012',['RSY',['../classSVF_1_1RelationSolver.html#adf556d4eb0b813ec0d4b52cdd7fbd391',1,'SVF::RelationSolver']]],
+  ['rthdtochildren_5013',['rthdToChildren',['../classSVF_1_1MTAResultValidator.html#a542f2f41c90698270687fc7858a26555',1,'SVF::MTAResultValidator']]],
+  ['rthdtochildrenmap_5014',['rthdToChildrenMap',['../classSVF_1_1MTAResultValidator.html#a7d2043cf3c354812fa5e4cdf7f60ff20',1,'SVF::MTAResultValidator::rthdToChildrenMap()'],['../classSVF_1_1MTAResultValidator.html#a7d2043cf3c354812fa5e4cdf7f60ff20',1,'SVF::MTAResultValidator::rthdToChildrenMap()']]],
+  ['rthdtovthd_5015',['rthdTovthd',['../classSVF_1_1MTAResultValidator.html#a615623a08324ee155cb527a3b57e8c19',1,'SVF::MTAResultValidator']]],
+  ['rthdtovthdmap_5016',['rthdTovthdMap',['../classSVF_1_1MTAResultValidator.html#ab386260dd6bbaeacde10e5c81f07502c',1,'SVF::MTAResultValidator::rthdTovthdMap()'],['../classSVF_1_1MTAResultValidator.html#ab386260dd6bbaeacde10e5c81f07502c',1,'SVF::MTAResultValidator::rthdTovthdMap()']]],
+  ['runonmodule_5017',['runOnModule',['../classSVF_1_1BreakConstantGEPs.html#ae99ceb7923161d54e7d0a687f4f68e1a',1,'SVF::BreakConstantGEPs::runOnModule()'],['../classSVF_1_1MergeFunctionRets.html#a8fe74477a43f80104fb3461d006ad392',1,'SVF::MergeFunctionRets::runOnModule()'],['../classSVF_1_1DDAPass.html#aca46f1d464f5766ae666661a164a51a9',1,'SVF::DDAPass::runOnModule()'],['../classSVF_1_1MTA.html#ad9172b17fa738bff616771df6f9e9c37',1,'SVF::MTA::runOnModule()'],['../classSVF_1_1DoubleFreeChecker.html#a6ae08976bd1a82f4370ff373b898f49e',1,'SVF::DoubleFreeChecker::runOnModule()'],['../classSVF_1_1FileChecker.html#a3fad64b69b652e9ab3fc3ab12b023223',1,'SVF::FileChecker::runOnModule()'],['../classSVF_1_1LeakChecker.html#a1a4e10da2b2265a5d1aca6d54e622fda',1,'SVF::LeakChecker::runOnModule()'],['../classSVF_1_1FlowSensitive.html#a611608ccc9659bd320670f1ec31ad18e',1,'SVF::FlowSensitive::runOnModule()'],['../classSVF_1_1WPAPass.html#af5ae999c6ca7c481e32b628dd3f6a7b0',1,'SVF::WPAPass::runOnModule()']]],
+  ['runpointeranalysis_5018',['runPointerAnalysis',['../classSVF_1_1DDAPass.html#ac480fe602e5e2d36ec4815ce50aeaad3',1,'SVF::DDAPass::runPointerAnalysis()'],['../classSVF_1_1WPAPass.html#ace6627f09d237f01d7b698aaea9020eb',1,'SVF::WPAPass::runPointerAnalysis()']]]
 ];