svf-tools 1.0.758 → 1.0.760

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

@@ -1,212 +1,215 @@
 var searchData=
 [
-  ['raceresultvalidator_4865',['RaceResultValidator',['../classSVF_1_1RaceResultValidator.html',1,'SVF']]],
-  ['racevalidator_4866',['RaceValidator',['../classSVF_1_1RaceValidator.html',1,'SVF::RaceValidator'],['../classSVF_1_1RaceValidator.html#a990ee1472b24a746d42b7bac4e453447',1,'SVF::RaceValidator::RaceValidator()']]],
-  ['raw_4867',['raw',['../cJSON_8h.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.h'],['../cJSON_8cpp.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.cpp']]],
-  ['raw_5ffd_5fostream_4868',['raw_fd_ostream',['../namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba',1,'SVF']]],
-  ['raw_5fpointer_5fiterator_4869',['raw_pointer_iterator',['../namespaceSVF.html#af3b0c055d852656a062bf784222a4fea',1,'SVF']]],
-  ['rawproductions_4870',['rawProductions',['../classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd',1,'SVF::GrammarBase']]],
-  ['rb_5ftree_5fops_4871',['Rb_tree_ops',['../classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa5eebe7523441f971015c039550579d1e',1,'SVF::ExtAPI']]],
-  ['rc_5faccess_4872',['RC_ACCESS',['../classSVF_1_1RaceResultValidator.html#ab1fbb367d32d72841119795e48cfae2d',1,'SVF::RaceResultValidator']]],
-  ['rc_5faliases_4873',['RC_ALIASES',['../classSVF_1_1RaceResultValidator.html#a090afdd4eb0d60b2a0408f9b5ea4a30e',1,'SVF::RaceResultValidator']]],
-  ['rc_5fflag_4874',['RC_FLAG',['../classSVF_1_1RaceResultValidator.html#ac57ae430ee5b6868fe810172ec658853',1,'SVF::RaceResultValidator::RC_FLAG()'],['../classSVF_1_1RaceResultValidator.html#ac57ae430ee5b6868fe810172ec658853',1,'SVF::RaceResultValidator::RC_FLAG()']]],
-  ['rc_5fmhp_4875',['RC_MHP',['../classSVF_1_1RaceResultValidator.html#aa4129053b7248d4e95763f0b41044e4c',1,'SVF::RaceResultValidator']]],
-  ['rc_5fprotected_4876',['RC_PROTECTED',['../classSVF_1_1RaceResultValidator.html#abcdd726f56cc2deb6cad72456863fc9b',1,'SVF::RaceResultValidator']]],
-  ['rc_5frace_4877',['RC_RACE',['../classSVF_1_1RaceResultValidator.html#abb9eba49d091d292a13478f659a5e53b',1,'SVF::RaceResultValidator']]],
-  ['rcsvfgbuilder_4878',['RcSvfgBuilder',['../classSVF_1_1SVFG.html#a67654d252e9e93b74e35ba247048b41a',1,'SVF::SVFG']]],
-  ['reachablebbs_4879',['reachableBBs',['../classSVF_1_1SVFLoopAndDomInfo.html#af3eeabc8b81b2aff27ae3577195a1eff',1,'SVF::SVFLoopAndDomInfo']]],
-  ['reachglob_4880',['reachGlob',['../classSVF_1_1ProgSlice.html#ab36bc2aa24a2a90555a9714dcbfc83e5',1,'SVF::ProgSlice']]],
-  ['read_4881',['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_4882',['READ_CREATE_EDGE_FWD',['../SVFFileSystem_8cpp.html#a30d1c3675b87f06ba8a58a010ae55fec',1,'SVFFileSystem.cpp']]],
-  ['read_5fcreate_5fnode_5ffwd_4883',['READ_CREATE_NODE_FWD',['../SVFFileSystem_8cpp.html#ad9bbbc9c38a358d29b606dcf38c851ad',1,'SVFFileSystem.cpp']]],
-  ['readander_4884',['ReadAnder',['../classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475',1,'SVF::Options']]],
-  ['readbignumber_4885',['readBigNumber',['../namespaceSVF.html#ac9bc0a9e085bace3fcd2e92b6d418dab',1,'SVF']]],
-  ['readeridtoobjmap_4886',['ReaderIDToObjMap',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
-  ['readeridtoobjmap_3c_20chnode_20_3e_4887',['ReaderIDToObjMap< CHNode >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
-  ['readeridtoobjmap_3c_20nodety_20_3e_4888',['ReaderIDToObjMap< NodeTy >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
-  ['readeridtoobjmap_3c_20svf_3a_3amemobj_20_3e_4889',['ReaderIDToObjMap< SVF::MemObj >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
-  ['readeridtoobjmap_3c_20svfvar_20_3e_4890',['ReaderIDToObjMap< SVFVar >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
-  ['readerptrpool_4891',['ReaderPtrPool',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20chedge_20_3e_4892',['ReaderPtrPool< CHEdge >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20edgety_20_3e_4893',['ReaderPtrPool< EdgeTy >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20svf_3a_3astinfo_20_3e_4894',['ReaderPtrPool< SVF::StInfo >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20svf_3a_3asvfloop_20_3e_4895',['ReaderPtrPool< SVF::SVFLoop >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20svf_3a_3asvftype_20_3e_4896',['ReaderPtrPool< SVF::SVFType >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20svf_3a_3asvfvalue_20_3e_4897',['ReaderPtrPool< SVF::SVFValue >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20svfstmt_20_3e_4898',['ReaderPtrPool< SVFStmt >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readfile_4899',['readFile',['../classSVF_1_1SVFG.html#a9da50b8f467066b478143af64f7c9858',1,'SVF::SVFG']]],
-  ['readfromfile_4900',['readFromFile',['../classSVF_1_1BVDataPTAImpl.html#a290501006cb700db0e07dc577429c928',1,'SVF::BVDataPTAImpl']]],
-  ['readinheritancemetadatafrommodule_4901',['readInheritanceMetadataFromModule',['../classSVF_1_1CHGBuilder.html#a443b021eb2b08b92164515750385b058',1,'SVF::CHGBuilder']]],
-  ['readjson_4902',['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_4903',['readPrecision',['../classSVF_1_1MTASVFGBuilder.html#a5532751632ece036b3d6741908573b36',1,'SVF::MTASVFGBuilder']]],
-  ['readprecisiontdedge_4904',['ReadPrecisionTDEdge',['../classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916',1,'SVF::Options']]],
-  ['readptsfromfile_4905',['readPtsFromFile',['../classSVF_1_1AndersenBase.html#a69685be598d8aa2576af09912b94a8ef',1,'SVF::AndersenBase::readPtsFromFile()'],['../classSVF_1_1FlowSensitive.html#a46d54b608ad952686349ccac9a3424f1',1,'SVF::FlowSensitive::readPtsFromFile()']]],
-  ['readsmallnumber_4906',['readSmallNumber',['../namespaceSVF.html#a1202d15e828377e9bec5164f76c48096',1,'SVF']]],
-  ['readsvfg_4907',['ReadSVFG',['../classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4',1,'SVF::Options']]],
-  ['realdeffun_4908',['realDefFun',['../classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007',1,'SVF::SVFFunction']]],
-  ['realdefglobal_4909',['realDefGlobal',['../classSVF_1_1SVFGlobalValue.html#a3048ae66c737eebbe7fe230f95a88b6e',1,'SVF::SVFGlobalValue']]],
-  ['reallocate_4910',['reallocate',['../structinternal__hooks.html#a5dd48d5c2f2b1cf4f6eec5df6205e15c',1,'internal_hooks']]],
-  ['reanalyze_4911',['reanalyze',['../classSVF_1_1WPASolver.html#ac460772d9236a2fefe17b2557023b883',1,'SVF::WPASolver']]],
-  ['recompute_4912',['reCompute',['../classSVF_1_1DDAVFSolver.html#a8c5220108a65fa281959529cb1e9cc57',1,'SVF::DDAVFSolver']]],
-  ['recomputeforedges_4913',['reComputeForEdges',['../classSVF_1_1DDAVFSolver.html#ace037388135f272365cee2e87844bfba',1,'SVF::DDAVFSolver']]],
-  ['recordaddingedge_4914',['recordAddingEdge',['../classSVF_1_1MTASVFGBuilder.html#a2effeeac276a64d612fe6af08ec25b74',1,'SVF::MTASVFGBuilder']]],
-  ['recordedge_4915',['recordEdge',['../classSVF_1_1MTASVFGBuilder.html#a55da7f1a8921727f84232e5905d6135f',1,'SVF::MTASVFGBuilder']]],
-  ['recordedges_4916',['recordedges',['../classSVF_1_1MTASVFGBuilder.html#a13ac51421add3cb242ad823e18938c95',1,'SVF::MTASVFGBuilder']]],
-  ['recordremovingedge_4917',['recordRemovingEdge',['../classSVF_1_1MTASVFGBuilder.html#a97179139a6395a7062d3200c23d4b69d',1,'SVF::MTASVFGBuilder']]],
-  ['recurse_4918',['recurse',['../cJSON_8h.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.h'],['../cJSON_8cpp.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.cpp']]],
-  ['redundantgepnodes_4919',['redundantGepNodes',['../classSVF_1_1AndersenBase.html#a6c3d6b4c004d9e43690c3807502eed74',1,'SVF::AndersenBase']]],
-  ['ref_4920',['Ref',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76',1,'SVF']]],
-  ['reference_4921',['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_4922',['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_4923',['refVal',['../classSVF_1_1MemObj.html#a33d27c3e75e62f31f62c8d9bfc2e0262',1,'SVF::MemObj']]],
-  ['reg2bbmap_4924',['reg2BBMap',['../classSVF_1_1MemSSA.html#add1d4ff17d0860906d2f5f7172176121',1,'SVF::MemSSA']]],
-  ['regionalign_4925',['RegionAlign',['../classSVF_1_1Options.html#a5a70a23e30df8dea3fcaf0e80479fe88',1,'SVF::Options']]],
-  ['regionedclustering_4926',['RegionedClustering',['../classSVF_1_1Options.html#a8cc5b2a363724b558f4932277a87c0f6',1,'SVF::Options']]],
-  ['regioningtime_4927',['RegioningTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad5f733cad8a103a64e80270acb67567a',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['regionobjects_4928',['regionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a7d34542f34a8e8008119c3d61943daa2',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['regpt_4929',['REGPT',['../dda_8cpp.html#aa4d54caa95b7971baaaa499dc52a83f0',1,'dda.cpp']]],
-  ['relationsolver_4930',['RelationSolver',['../classSVF_1_1RelationSolver.html',1,'SVF::RelationSolver'],['../classSVF_1_1RelationSolver.html#aaee624b8260da9ba0de027d80b01d984',1,'SVF::RelationSolver::RelationSolver()']]],
-  ['relationsolver_2ecpp_4931',['RelationSolver.cpp',['../RelationSolver_8cpp.html',1,'']]],
-  ['relationsolver_2eh_4932',['RelationSolver.h',['../RelationSolver_8h.html',1,'']]],
-  ['relationtype_4933',['RELATIONTYPE',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22',1,'SVF::CHGraph']]],
-  ['release_4934',['release',['../classSVF_1_1RaceResultValidator.html#a64f61b58f59eba5f3e7c69f90edc68df',1,'SVF::RaceResultValidator::release()'],['../classSVF_1_1RaceResultValidator.html#a64f61b58f59eba5f3e7c69f90edc68df',1,'SVF::RaceResultValidator::release()']]],
-  ['releaseandersenscd_4935',['releaseAndersenSCD',['../classSVF_1_1AndersenSCD.html#ac2003ddf910f55d5c53c762b45964b50',1,'SVF::AndersenSCD']]],
-  ['releaseandersensfr_4936',['releaseAndersenSFR',['../classSVF_1_1AndersenSFR.html#a4aa1607b7d84a6de151c19ae84b913b9',1,'SVF::AndersenSFR']]],
-  ['releaseandersenwavediff_4937',['releaseAndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html#a5da6abb1a7f0ef3e3871ea6e5a623625',1,'SVF::AndersenWaveDiff']]],
-  ['releasecontext_4938',['releaseContext',['../classSVF_1_1Z3Expr.html#a9da409a05cfd85d966d887b33dd1cc94',1,'SVF::Z3Expr']]],
-  ['releasefsmpta_4939',['releaseFSMPTA',['../classSVF_1_1FSMPTA.html#aea3ec49d7c12dc7e884600d1eddc99f0',1,'SVF::FSMPTA']]],
-  ['releasefswpa_4940',['releaseFSWPA',['../classSVF_1_1FlowSensitive.html#ae6aed22a79ac6567446dfcba82cb17b8',1,'SVF::FlowSensitive']]],
-  ['releasellvmmoduleset_4941',['releaseLLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936',1,'SVF::LLVMModuleSet']]],
-  ['releasememory_4942',['releaseMemory',['../classSVF_1_1SVFGBuilder.html#a6e08e6a99f7e743abf35e603e35e54f5',1,'SVF::SVFGBuilder']]],
-  ['releasesolver_4943',['releaseSolver',['../classSVF_1_1Z3Expr.html#a9cf1997ee2d22542f7288506ed0f4733',1,'SVF::Z3Expr']]],
-  ['releasesteensgaard_4944',['releaseSteensgaard',['../classSVF_1_1Steensgaard.html#a375a16c7538866fcebfecf228f7ee63d',1,'SVF::Steensgaard']]],
-  ['releasesvfir_4945',['releaseSVFIR',['../classSVF_1_1SVFIR.html#a007c86e5d2d541d08815547a5492731e',1,'SVF::SVFIR']]],
-  ['releasesvfmodule_4946',['releaseSVFModule',['../classSVF_1_1SVFModule.html#a545633e2d7f103b4983b47d4e1c56823',1,'SVF::SVFModule']]],
-  ['releasesymbolinfo_4947',['releaseSymbolInfo',['../classSVF_1_1SymbolTableInfo.html#a9f8d99c761f3c7108d797b3702fcbfec',1,'SVF::SymbolTableInfo']]],
-  ['releasevfswpa_4948',['releaseVFSWPA',['../classSVF_1_1VersionedFlowSensitive.html#a754c77fff88e8f415dc7a2096d1bffe2',1,'SVF::VersionedFlowSensitive']]],
-  ['relexestate_4949',['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_4950',['RelExeState.cpp',['../RelExeState_8cpp.html',1,'']]],
-  ['relexestate_2eh_4951',['RelExeState.h',['../RelExeState_8h.html',1,'']]],
-  ['remapallpts_4952',['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_4953',['remapPointsToSets',['../classSVF_1_1BVDataPTAImpl.html#a7a87ca1a439e871896f92e4342befa2c',1,'SVF::BVDataPTAImpl']]],
-  ['removeaddredge_4954',['removeAddrEdge',['../classSVF_1_1ConstraintGraph.html#acc23df2db1fa7b8e0270d8a04f08f2ee',1,'SVF::ConstraintGraph']]],
-  ['removealledges_4955',['removeAllEdges',['../classSVF_1_1SVFGOPT.html#ac15b3c2cb127b17ebad3a30fc04b6f40',1,'SVF::SVFGOPT']]],
-  ['removeallindirectsvfgedges_4956',['removeAllIndirectSVFGEdges',['../classSVF_1_1VersionedFlowSensitive.html#a275095f60640d862034ad173af3371c3',1,'SVF::VersionedFlowSensitive']]],
-  ['removeback_4957',['removeBack',['../classSVF_1_1FILOWorkList.html#a10c20d2c670af8de5dcbe6f433ca83ee',1,'SVF::FILOWorkList']]],
-  ['removecandidates_4958',['removeCandidates',['../classSVF_1_1WPAMinimumSolver.html#aa6d8de95ddf703fdac33ef1216ce4aff',1,'SVF::WPAMinimumSolver']]],
-  ['removecflinedge_4959',['removeCFLInEdge',['../classSVF_1_1CFLNode.html#a60dfc3e421558eecee5065e8ae5f984a',1,'SVF::CFLNode']]],
-  ['removecfloutedge_4960',['removeCFLOutEdge',['../classSVF_1_1CFLNode.html#a821078d812986c488932610063d7509f',1,'SVF::CFLNode']]],
-  ['removeconstraintnode_4961',['removeConstraintNode',['../classSVF_1_1ConstraintGraph.html#a9e21bc9b86080b4059f0907e9a7b33f3',1,'SVF::ConstraintGraph']]],
-  ['removecxtstmttospan_4962',['removeCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a0b21446e6d5dfc1b5d0ebd75895225dd',1,'SVF::LockAnalysis']]],
-  ['removedirectedge_4963',['removeDirectEdge',['../classSVF_1_1ConstraintGraph.html#a9fc73676ea133651604e2528fe1d8244',1,'SVF::ConstraintGraph']]],
-  ['removedpmfromloc_4964',['removeDpmFromLoc',['../classSVF_1_1DDAVFSolver.html#a00ae738a76564b7b334faae567674e34',1,'SVF::DDAVFSolver']]],
-  ['removefirstsymbol_4965',['removeFirstSymbol',['../classSVF_1_1CFGNormalizer.html#a711e134b6470e9cc9b337d1b0e4708a9',1,'SVF::CFGNormalizer']]],
-  ['removefront_4966',['removeFront',['../classSVF_1_1FIFOWorkList.html#a621fe65af285665396fa10af9f96ef3a',1,'SVF::FIFOWorkList']]],
-  ['removegnode_4967',['removeGNode',['../classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915',1,'SVF::GenericGraph']]],
-  ['removeicfgedge_4968',['removeICFGEdge',['../classSVF_1_1ICFG.html#a534625b10673efe5b0f344bfebf9b3cf',1,'SVF::ICFG']]],
-  ['removeicfgnode_4969',['removeICFGNode',['../classSVF_1_1ICFG.html#a403cd10f7c01cc879d803a9759e729cb',1,'SVF::ICFG']]],
-  ['removeincomingaddredge_4970',['removeIncomingAddrEdge',['../classSVF_1_1ConstraintNode.html#a5a97f47f5a65550dce11341c6f8d9ae6',1,'SVF::ConstraintNode']]],
-  ['removeincomingdirectedge_4971',['removeIncomingDirectEdge',['../classSVF_1_1ConstraintNode.html#a7946aea5584d124f6c83fd91ab497500',1,'SVF::ConstraintNode']]],
-  ['removeincomingedge_4972',['removeIncomingEdge',['../classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225',1,'SVF::GenericNode']]],
-  ['removeincomingloadedge_4973',['removeIncomingLoadEdge',['../classSVF_1_1ConstraintNode.html#aa1f60c884d007524641d1a786410d41b',1,'SVF::ConstraintNode']]],
-  ['removeincomingstoreedge_4974',['removeIncomingStoreEdge',['../classSVF_1_1ConstraintNode.html#a2d0e87fa3174562c97b519b2b144d8ea',1,'SVF::ConstraintNode']]],
-  ['removeinedges_4975',['removeInEdges',['../classSVF_1_1SVFGOPT.html#a5a2fe12411de408dfb57e910e413957f',1,'SVF::SVFGOPT']]],
-  ['removekey_4976',['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_4977',['removeLoadEdge',['../classSVF_1_1ConstraintGraph.html#aa4bca2422049413439cb0c3400f2ce28',1,'SVF::ConstraintGraph']]],
-  ['removemdtag_4978',['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_4979',['removeOutEdges',['../classSVF_1_1SVFGOPT.html#ae85391a5f0828362c61d55e162eef04d',1,'SVF::SVFGOPT']]],
-  ['removeoutgoingaddredge_4980',['removeOutgoingAddrEdge',['../classSVF_1_1ConstraintNode.html#abaf196bcce496fbdee6740c42ca9dd71',1,'SVF::ConstraintNode']]],
-  ['removeoutgoingdirectedge_4981',['removeOutgoingDirectEdge',['../classSVF_1_1ConstraintNode.html#a73b8c0967cde518a2ea7dfea2a7dc32f',1,'SVF::ConstraintNode']]],
-  ['removeoutgoingedge_4982',['removeOutgoingEdge',['../classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1',1,'SVF::GenericNode']]],
-  ['removeoutgoingloadedge_4983',['removeOutgoingLoadEdge',['../classSVF_1_1ConstraintNode.html#a7d810ec9abc8817a938a557ac78dc8c0',1,'SVF::ConstraintNode']]],
-  ['removeoutgoingstoreedge_4984',['removeOutgoingStoreEdge',['../classSVF_1_1ConstraintNode.html#a24ef3eedb218283d106eceb8a73ca1b4',1,'SVF::ConstraintNode']]],
-  ['removestoreedge_4985',['removeStoreEdge',['../classSVF_1_1ConstraintGraph.html#aad3d05c949c33a587b3ac6d627f5a0a2',1,'SVF::ConstraintGraph']]],
-  ['removesvfgedge_4986',['removeSVFGEdge',['../classSVF_1_1SVFG.html#a931d8b82e10a54d68c68cf6bd80264be',1,'SVF::SVFG']]],
-  ['removesvfgnode_4987',['removeSVFGNode',['../classSVF_1_1SVFG.html#a700c5fc6c1cb4136e55196fe3d393b8b',1,'SVF::SVFG']]],
-  ['removevarfromdfinupdatedset_4988',['removeVarFromDFInUpdatedSet',['../classSVF_1_1MutableIncDFPTData.html#a913c1a2c48526160eeecd028bd22cfc4',1,'SVF::MutableIncDFPTData::removeVarFromDFInUpdatedSet()'],['../classSVF_1_1PersistentIncDFPTData.html#ad449df82589efb4c40affb5fdc46f479',1,'SVF::PersistentIncDFPTData::removeVarFromDFInUpdatedSet()']]],
-  ['removevarfromdfoutupdatedset_4989',['removeVarFromDFOutUpdatedSet',['../classSVF_1_1MutableIncDFPTData.html#ac055ad77582b36083ca1950c39207f5e',1,'SVF::MutableIncDFPTData::removeVarFromDFOutUpdatedSet()'],['../classSVF_1_1PersistentIncDFPTData.html#ad1a2cd17519912b1d7571eeddcdc0060',1,'SVF::PersistentIncDFPTData::removeVarFromDFOutUpdatedSet()']]],
-  ['removevfgedge_4990',['removeVFGEdge',['../classSVF_1_1VFG.html#aeb24b155fe31813b2e6dc0564f55738a',1,'SVF::VFG']]],
-  ['removevfgnode_4991',['removeVFGNode',['../classSVF_1_1VFG.html#a122aa5ad874170ef644cee8705f1ef3e',1,'SVF::VFG']]],
-  ['renamechiset_4992',['RenameChiSet',['../classSVF_1_1MemSSA.html#a6066364112e665c33cbf2ec50ae1e3a8',1,'SVF::MemSSA']]],
-  ['renamemuset_4993',['RenameMuSet',['../classSVF_1_1MemSSA.html#a2527b76b92dffa8f8513ebfdcc8d8133',1,'SVF::MemSSA']]],
-  ['renamephiops_4994',['RenamePhiOps',['../classSVF_1_1MemSSA.html#a0ed34f7a27db045c624c5db61d53132b',1,'SVF::MemSSA']]],
-  ['renamephires_4995',['RenamePhiRes',['../classSVF_1_1MemSSA.html#a630be375832b1477989af85dce6760f3',1,'SVF::MemSSA']]],
-  ['rendergraphfrombottomup_4996',['renderGraphFromBottomUp',['../structSVF_1_1DefaultDOTGraphTraits.html#aeb5908ad6424c0636b698e5ea0a587c0',1,'SVF::DefaultDOTGraphTraits']]],
-  ['rep_4997',['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_4998',['replace_item_in_object',['../cJSON_8cpp.html#afdae75197cf2c440ef858a2e93b104f2',1,'cJSON.cpp']]],
-  ['replaceextension_4999',['replaceExtension',['../llvm2svf_8cpp.html#a7234932227363d976b4dcf64ba29823c',1,'llvm2svf.cpp']]],
-  ['replacefparamaretwithphi_5000',['replaceFParamARetWithPHI',['../classSVF_1_1SVFGOPT.html#a1fd6d26203d7d574b5664b8fcae54c1a',1,'SVF::SVFGOPT']]],
-  ['replacement_5001',['replacement',['../cJSON_8h.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.h'],['../cJSON_8cpp.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.cpp']]],
-  ['repnode_5002',['repNode',['../classSVF_1_1SCCDetection.html#a3a5fdc9330a657240f77199f5aee602d',1,'SVF::SCCDetection']]],
-  ['repnodes_5003',['repNodes',['../classSVF_1_1SCCDetection.html#a2b9605126ebb2abb1e16b3ccf99cf04b',1,'SVF::SCCDetection']]],
-  ['report_5004',['report',['../classSVF_1_1SrcSnkDDA.html#aa7d6999b99412cdc101152867778cd0a',1,'SVF::SrcSnkDDA']]],
-  ['reportbug_5005',['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_5006',['reportMemoryUsageKB',['../namespaceSVF_1_1SVFUtil.html#a6cfe12afa463d0ceddeee11540c33ab3',1,'SVF::SVFUtil']]],
-  ['repr_5007',['repr',['../classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3',1,'SVF::SVFOtherType']]],
-  ['require_5fnull_5fterminated_5008',['require_null_terminated',['../cJSON_8h.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.h'],['../cJSON_8cpp.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.cpp']]],
-  ['requiredbits_5009',['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_5010',['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_5011',['reserve',['../classSVF_1_1WriterPtrPool.html#af0d604a17260624fcabaec623cb72491',1,'SVF::WriterPtrPool::reserve()'],['../classSVF_1_1ReaderPtrPool.html#ac9c1431385ac03aeabbe56603dc9ad92',1,'SVF::ReaderPtrPool::reserve()']]],
-  ['reset_5012',['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_5013',['resetData',['../classSVF_1_1Andersen.html#a95c0b2f501dff61993cd43a5cab89e17',1,'SVF::Andersen']]],
-  ['resetdef_5014',['resetDef',['../classSVF_1_1SVFGOPT.html#af504407e6cd42cfe2ea27165ff15df40',1,'SVF::SVFGOPT']]],
-  ['resetobjfieldsensitive_5015',['resetObjFieldSensitive',['../classSVF_1_1PointerAnalysis.html#a73fb8e595473e0c7df1dd0de4968ad13',1,'SVF::PointerAnalysis']]],
-  ['resetquery_5016',['resetQuery',['../classSVF_1_1DDAVFSolver.html#afe518d3d7f8051de5b9860f2460aa1b7',1,'SVF::DDAVFSolver']]],
-  ['resetrep_5017',['resetRep',['../classSVF_1_1ConstraintGraph.html#aa30231dab5b7c759e4e5d76422a5eb8e',1,'SVF::ConstraintGraph']]],
-  ['resetsubs_5018',['resetSubs',['../classSVF_1_1ConstraintGraph.html#a5fe3815a7990e16b99cf46e90529f8b3',1,'SVF::ConstraintGraph']]],
-  ['resettypeforheapstaticobj_5019',['resetTypeForHeapStaticObj',['../classSVF_1_1ObjTypeInfo.html#ae26937ca2107517e6ede8eb6d76b95d5',1,'SVF::ObjTypeInfo']]],
-  ['resolvecppindcalls_5020',['resolveCPPIndCalls',['../classSVF_1_1PointerAnalysis.html#ac04b64a5884710508b304f93da88c7ba',1,'SVF::PointerAnalysis']]],
-  ['resolvefunptr_5021',['resolveFunPtr',['../classSVF_1_1DDAVFSolver.html#afcc074be34dd0c45418ff16b3d9d4192',1,'SVF::DDAVFSolver']]],
-  ['resolveindcalls_5022',['resolveIndCalls',['../classSVF_1_1PointerAnalysis.html#a8d128246f86f28fdf4981d91169ab440',1,'SVF::PointerAnalysis']]],
-  ['resulttype_5023',['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_5024',['ResumeInst',['../namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa',1,'SVF']]],
-  ['resver_5025',['resVer',['../classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813',1,'SVF::MSSADEF']]],
-  ['ret_5026',['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_5027',['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_5028',['reTargetDstOfEdge',['../classSVF_1_1ConstraintGraph.html#a4db3484e3710c3f5cc86ec32dd643722',1,'SVF::ConstraintGraph']]],
-  ['retargetedgesofainfout_5029',['retargetEdgesOfAInFOut',['../classSVF_1_1SVFGOPT.html#abefe3efa0232106f1843351ff6dd1063',1,'SVF::SVFGOPT']]],
-  ['retargetedgesofaoutfin_5030',['retargetEdgesOfAOutFIn',['../classSVF_1_1SVFGOPT.html#a2285d20f7c4d128a8ede2e7f4f41f798',1,'SVF::SVFGOPT']]],
-  ['retargetsrcofedge_5031',['reTargetSrcOfEdge',['../classSVF_1_1ConstraintGraph.html#aaae56afed424f7cd59fddb3fcb2f7214',1,'SVF::ConstraintGraph']]],
-  ['retcf_5032',['RetCF',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429ad2370a77f6cc112b8c26efbcc36bf541',1,'SVF::ICFGEdge']]],
-  ['retcfgedge_5033',['RetCFGEdge',['../classSVF_1_1RetCFGEdge.html',1,'SVF::RetCFGEdge'],['../classSVF_1_1RetCFGEdge.html#a5a461528da9eb46ca190fbd49b41d0d1',1,'SVF::RetCFGEdge::RetCFGEdge()']]],
-  ['retdirsvfgedge_5034',['RetDirSVFGEdge',['../classSVF_1_1RetDirSVFGEdge.html',1,'SVF::RetDirSVFGEdge'],['../classSVF_1_1RetDirSVFGEdge.html#a5998569c23747ef9dbe6f86b5a04ce5c',1,'SVF::RetDirSVFGEdge::RetDirSVFGEdge()']]],
-  ['retdirvf_5035',['RetDirVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a8288c583cfcbfdf9aa2ac2103c0e7191',1,'SVF::VFGEdge']]],
-  ['reticfgnode_5036',['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_5037',['RetIndSVFGEdge',['../classSVF_1_1RetIndSVFGEdge.html',1,'SVF::RetIndSVFGEdge'],['../classSVF_1_1RetIndSVFGEdge.html#ae07d99d4156d999512e75b5d5fa207c4',1,'SVF::RetIndSVFGEdge::RetIndSVFGEdge()']]],
-  ['retindvf_5038',['RetIndVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5ac8124172b3f5f7fc94e895f6b192b668',1,'SVF::VFGEdge']]],
-  ['retmssamu_5039',['RetMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba255f3e3fc50f3a8d9a8bd5800b1b4594',1,'SVF::MSSAMU']]],
-  ['retmu_5040',['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_5041',['RetNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5de2a8fce9a85f31818d58992b381b98',1,'SVF::SVFVar']]],
-  ['retpe_5042',['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_5043',['retPEBegin',['../classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132',1,'SVF::FormalRetVFGNode']]],
-  ['retpeend_5044',['retPEEnd',['../classSVF_1_1FormalRetVFGNode.html#adae36045df1057e551d92aa7bfb236f9',1,'SVF::FormalRetVFGNode']]],
-  ['retpes_5045',['retPEs',['../classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157',1,'SVF::FormalRetVFGNode']]],
-  ['retpeset_5046',['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_5047',['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_5048',['RetSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba8ac9528bf8b81f7942c1cdc0bf63ec35',1,'SVF::SymbolTableInfo']]],
-  ['retsyms_5049',['retSyms',['../classSVF_1_1SymbolTableInfo.html#aafd4da7cef6387bb974abe20185b7b96',1,'SVF::SymbolTableInfo']]],
-  ['retty_5050',['retTy',['../classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186',1,'SVF::SVFFunctionType']]],
-  ['rettype_5051',['RetType',['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#abd3fdf0fdc5e4622a879b7890ad43789',1,'SVF::SVFUtil::simplify_type< const From >']]],
-  ['return_5052',['Return',['../classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa0faffe8ade71c03c30a6d315ce4f4742',1,'SVF::ExtAPI::Return()'],['../cJSON_8cpp.html#a15f779a174654a93596726f6eb6b57fe',1,'return(): cJSON.cpp']]],
-  ['return_5fparse_5fend_5053',['return_parse_end',['../cJSON_8h.html#a7725ae4fa33fc499614c6895ee9ee44a',1,'return_parse_end(): cJSON.h'],['../cJSON_8cpp.html#a1a7c63ae727dcb98b54e081b2ff17ed9',1,'return_parse_end(): cJSON.cpp']]],
-  ['returninst_5054',['ReturnInst',['../namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154',1,'SVF']]],
-  ['returnsymmap_5055',['returnSymMap',['../classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681',1,'SVF::SymbolTableInfo']]],
-  ['rev_5056',['rev',['../classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219',1,'SVF::PTData']]],
-  ['reverse_5fdense_5057',['REVERSE_DENSE',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228ae21bc1064d05499c2dc6051d153df9e6',1,'SVF::NodeIDAllocator']]],
-  ['reversenodemapping_5058',['reverseNodeMapping',['../classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1',1,'SVF::PointsTo']]],
-  ['revptsmap_5059',['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_5060',['RFINEPT',['../dda_8cpp.html#a67ee98e0a1d06555ea82c26cf1fa2b35',1,'dda.cpp']]],
-  ['rid_5061',['rid',['../classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4',1,'SVF::MemRegion']]],
-  ['rmderefdirsvfgedges_5062',['rmDerefDirSVFGEdges',['../classSVF_1_1SaberSVFGBuilder.html#ad8f4f63d2071be4eb5f6fb2fdf29a10a',1,'SVF::SaberSVFGBuilder']]],
-  ['rmincomingedgeforsustore_5063',['rmIncomingEdgeForSUStore',['../classSVF_1_1SaberSVFGBuilder.html#ae0a9c42c850bda29aeae2f47ad2b8f4a',1,'SVF::SaberSVFGBuilder']]],
-  ['rminterleavingthread_5064',['rmInterleavingThread',['../classSVF_1_1MHP.html#a02b4ab18067c9b911b4bd53f0426aec3',1,'SVF::MHP']]],
-  ['rmsustat_5065',['rmSUStat',['../classSVF_1_1DDAVFSolver.html#a7d0775354df32f293e98578ed071d33c',1,'SVF::DDAVFSolver']]],
-  ['root_5066',['root',['../classSVF_1_1ProgSlice.html#ada13c2389d43973ff7db18b7fca90087',1,'SVF::ProgSlice::root()'],['../classSVF_1_1ExtAPI.html#a835fda8fb934d1cd040d1b3fb2dd0270',1,'SVF::ExtAPI::root()']]],
-  ['rsy_5067',['RSY',['../classSVF_1_1RelationSolver.html#adf556d4eb0b813ec0d4b52cdd7fbd391',1,'SVF::RelationSolver']]],
-  ['rthdtochildren_5068',['rthdToChildren',['../classSVF_1_1MTAResultValidator.html#a542f2f41c90698270687fc7858a26555',1,'SVF::MTAResultValidator']]],
-  ['rthdtochildrenmap_5069',['rthdToChildrenMap',['../classSVF_1_1MTAResultValidator.html#a7d2043cf3c354812fa5e4cdf7f60ff20',1,'SVF::MTAResultValidator::rthdToChildrenMap()'],['../classSVF_1_1MTAResultValidator.html#a7d2043cf3c354812fa5e4cdf7f60ff20',1,'SVF::MTAResultValidator::rthdToChildrenMap()']]],
-  ['rthdtovthd_5070',['rthdTovthd',['../classSVF_1_1MTAResultValidator.html#a615623a08324ee155cb527a3b57e8c19',1,'SVF::MTAResultValidator']]],
-  ['rthdtovthdmap_5071',['rthdTovthdMap',['../classSVF_1_1MTAResultValidator.html#ab386260dd6bbaeacde10e5c81f07502c',1,'SVF::MTAResultValidator::rthdTovthdMap()'],['../classSVF_1_1MTAResultValidator.html#ab386260dd6bbaeacde10e5c81f07502c',1,'SVF::MTAResultValidator::rthdTovthdMap()']]],
-  ['runonmodule_5072',['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_5073',['runPointerAnalysis',['../classSVF_1_1DDAPass.html#ac480fe602e5e2d36ec4815ce50aeaad3',1,'SVF::DDAPass::runPointerAnalysis()'],['../classSVF_1_1WPAPass.html#ace6627f09d237f01d7b698aaea9020eb',1,'SVF::WPAPass::runPointerAnalysis()']]]
+  ['raceresultvalidator_4799',['RaceResultValidator',['../classSVF_1_1RaceResultValidator.html',1,'SVF']]],
+  ['racevalidator_4800',['RaceValidator',['../classSVF_1_1RaceValidator.html',1,'SVF::RaceValidator'],['../classSVF_1_1RaceValidator.html#a990ee1472b24a746d42b7bac4e453447',1,'SVF::RaceValidator::RaceValidator()']]],
+  ['raw_4801',['raw',['../cJSON_8h.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.h'],['../cJSON_8cpp.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.cpp']]],
+  ['raw_5ffd_5fostream_4802',['raw_fd_ostream',['../namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba',1,'SVF']]],
+  ['raw_5fpointer_5fiterator_4803',['raw_pointer_iterator',['../namespaceSVF.html#af3b0c055d852656a062bf784222a4fea',1,'SVF']]],
+  ['rawproductions_4804',['rawProductions',['../classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd',1,'SVF::GrammarBase']]],
+  ['rc_5faccess_4805',['RC_ACCESS',['../classSVF_1_1RaceResultValidator.html#ab1fbb367d32d72841119795e48cfae2d',1,'SVF::RaceResultValidator']]],
+  ['rc_5faliases_4806',['RC_ALIASES',['../classSVF_1_1RaceResultValidator.html#a090afdd4eb0d60b2a0408f9b5ea4a30e',1,'SVF::RaceResultValidator']]],
+  ['rc_5fflag_4807',['RC_FLAG',['../classSVF_1_1RaceResultValidator.html#ac57ae430ee5b6868fe810172ec658853',1,'SVF::RaceResultValidator::RC_FLAG()'],['../classSVF_1_1RaceResultValidator.html#ac57ae430ee5b6868fe810172ec658853',1,'SVF::RaceResultValidator::RC_FLAG()']]],
+  ['rc_5fmhp_4808',['RC_MHP',['../classSVF_1_1RaceResultValidator.html#aa4129053b7248d4e95763f0b41044e4c',1,'SVF::RaceResultValidator']]],
+  ['rc_5fprotected_4809',['RC_PROTECTED',['../classSVF_1_1RaceResultValidator.html#abcdd726f56cc2deb6cad72456863fc9b',1,'SVF::RaceResultValidator']]],
+  ['rc_5frace_4810',['RC_RACE',['../classSVF_1_1RaceResultValidator.html#abb9eba49d091d292a13478f659a5e53b',1,'SVF::RaceResultValidator']]],
+  ['rcsvfgbuilder_4811',['RcSvfgBuilder',['../classSVF_1_1SVFG.html#a67654d252e9e93b74e35ba247048b41a',1,'SVF::SVFG']]],
+  ['reachablebbs_4812',['reachableBBs',['../classSVF_1_1SVFLoopAndDomInfo.html#af3eeabc8b81b2aff27ae3577195a1eff',1,'SVF::SVFLoopAndDomInfo']]],
+  ['reachglob_4813',['reachGlob',['../classSVF_1_1ProgSlice.html#ab36bc2aa24a2a90555a9714dcbfc83e5',1,'SVF::ProgSlice']]],
+  ['read_4814',['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_4815',['READ_CREATE_EDGE_FWD',['../SVFFileSystem_8cpp.html#a30d1c3675b87f06ba8a58a010ae55fec',1,'SVFFileSystem.cpp']]],
+  ['read_5fcreate_5fnode_5ffwd_4816',['READ_CREATE_NODE_FWD',['../SVFFileSystem_8cpp.html#ad9bbbc9c38a358d29b606dcf38c851ad',1,'SVFFileSystem.cpp']]],
+  ['readander_4817',['ReadAnder',['../classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475',1,'SVF::Options']]],
+  ['readbignumber_4818',['readBigNumber',['../namespaceSVF.html#ac9bc0a9e085bace3fcd2e92b6d418dab',1,'SVF']]],
+  ['readdir_5fr_4819',['readdir_r',['../extapi_8c.html#a3ccb1f4f10729777321e33899242f721',1,'extapi.c']]],
+  ['readeridtoobjmap_4820',['ReaderIDToObjMap',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
+  ['readeridtoobjmap_3c_20chnode_20_3e_4821',['ReaderIDToObjMap< CHNode >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
+  ['readeridtoobjmap_3c_20nodety_20_3e_4822',['ReaderIDToObjMap< NodeTy >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
+  ['readeridtoobjmap_3c_20svf_3a_3amemobj_20_3e_4823',['ReaderIDToObjMap< SVF::MemObj >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
+  ['readeridtoobjmap_3c_20svfvar_20_3e_4824',['ReaderIDToObjMap< SVFVar >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
+  ['readerptrpool_4825',['ReaderPtrPool',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20chedge_20_3e_4826',['ReaderPtrPool< CHEdge >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20edgety_20_3e_4827',['ReaderPtrPool< EdgeTy >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20svf_3a_3astinfo_20_3e_4828',['ReaderPtrPool< SVF::StInfo >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20svf_3a_3asvfloop_20_3e_4829',['ReaderPtrPool< SVF::SVFLoop >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20svf_3a_3asvftype_20_3e_4830',['ReaderPtrPool< SVF::SVFType >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20svf_3a_3asvfvalue_20_3e_4831',['ReaderPtrPool< SVF::SVFValue >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20svfstmt_20_3e_4832',['ReaderPtrPool< SVFStmt >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readfile_4833',['readFile',['../classSVF_1_1SVFG.html#a9da50b8f467066b478143af64f7c9858',1,'SVF::SVFG']]],
+  ['readfromfile_4834',['readFromFile',['../classSVF_1_1BVDataPTAImpl.html#a290501006cb700db0e07dc577429c928',1,'SVF::BVDataPTAImpl']]],
+  ['readinheritancemetadatafrommodule_4835',['readInheritanceMetadataFromModule',['../classSVF_1_1CHGBuilder.html#a443b021eb2b08b92164515750385b058',1,'SVF::CHGBuilder']]],
+  ['readjson_4836',['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_4837',['readPrecision',['../classSVF_1_1MTASVFGBuilder.html#a5532751632ece036b3d6741908573b36',1,'SVF::MTASVFGBuilder']]],
+  ['readprecisiontdedge_4838',['ReadPrecisionTDEdge',['../classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916',1,'SVF::Options']]],
+  ['readptsfromfile_4839',['readPtsFromFile',['../classSVF_1_1AndersenBase.html#a69685be598d8aa2576af09912b94a8ef',1,'SVF::AndersenBase::readPtsFromFile()'],['../classSVF_1_1FlowSensitive.html#a46d54b608ad952686349ccac9a3424f1',1,'SVF::FlowSensitive::readPtsFromFile()']]],
+  ['readsmallnumber_4840',['readSmallNumber',['../namespaceSVF.html#a1202d15e828377e9bec5164f76c48096',1,'SVF']]],
+  ['readsvfg_4841',['ReadSVFG',['../classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4',1,'SVF::Options']]],
+  ['realdeffun_4842',['realDefFun',['../classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007',1,'SVF::SVFFunction']]],
+  ['realdefglobal_4843',['realDefGlobal',['../classSVF_1_1SVFGlobalValue.html#a3048ae66c737eebbe7fe230f95a88b6e',1,'SVF::SVFGlobalValue']]],
+  ['reallocate_4844',['reallocate',['../structinternal__hooks.html#a5dd48d5c2f2b1cf4f6eec5df6205e15c',1,'internal_hooks']]],
+  ['realpath_4845',['realpath',['../extapi_8c.html#a6646e3960f1c015c86c3b45f6e5db53e',1,'extapi.c']]],
+  ['reanalyze_4846',['reanalyze',['../classSVF_1_1WPASolver.html#ac460772d9236a2fefe17b2557023b883',1,'SVF::WPASolver']]],
+  ['recompute_4847',['reCompute',['../classSVF_1_1DDAVFSolver.html#a8c5220108a65fa281959529cb1e9cc57',1,'SVF::DDAVFSolver']]],
+  ['recomputeforedges_4848',['reComputeForEdges',['../classSVF_1_1DDAVFSolver.html#ace037388135f272365cee2e87844bfba',1,'SVF::DDAVFSolver']]],
+  ['recordaddingedge_4849',['recordAddingEdge',['../classSVF_1_1MTASVFGBuilder.html#a2effeeac276a64d612fe6af08ec25b74',1,'SVF::MTASVFGBuilder']]],
+  ['recordedge_4850',['recordEdge',['../classSVF_1_1MTASVFGBuilder.html#a55da7f1a8921727f84232e5905d6135f',1,'SVF::MTASVFGBuilder']]],
+  ['recordedges_4851',['recordedges',['../classSVF_1_1MTASVFGBuilder.html#a13ac51421add3cb242ad823e18938c95',1,'SVF::MTASVFGBuilder']]],
+  ['recordremovingedge_4852',['recordRemovingEdge',['../classSVF_1_1MTASVFGBuilder.html#a97179139a6395a7062d3200c23d4b69d',1,'SVF::MTASVFGBuilder']]],
+  ['recurse_4853',['recurse',['../cJSON_8h.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.h'],['../cJSON_8cpp.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.cpp']]],
+  ['redundantgepnodes_4854',['redundantGepNodes',['../classSVF_1_1AndersenBase.html#a6c3d6b4c004d9e43690c3807502eed74',1,'SVF::AndersenBase']]],
+  ['ref_4855',['Ref',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76',1,'SVF']]],
+  ['reference_4856',['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_4857',['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_4858',['refVal',['../classSVF_1_1MemObj.html#a33d27c3e75e62f31f62c8d9bfc2e0262',1,'SVF::MemObj']]],
+  ['reg2bbmap_4859',['reg2BBMap',['../classSVF_1_1MemSSA.html#add1d4ff17d0860906d2f5f7172176121',1,'SVF::MemSSA']]],
+  ['regionalign_4860',['RegionAlign',['../classSVF_1_1Options.html#a5a70a23e30df8dea3fcaf0e80479fe88',1,'SVF::Options']]],
+  ['regionedclustering_4861',['RegionedClustering',['../classSVF_1_1Options.html#a8cc5b2a363724b558f4932277a87c0f6',1,'SVF::Options']]],
+  ['regioningtime_4862',['RegioningTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad5f733cad8a103a64e80270acb67567a',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['regionobjects_4863',['regionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a7d34542f34a8e8008119c3d61943daa2',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['regpt_4864',['REGPT',['../dda_8cpp.html#aa4d54caa95b7971baaaa499dc52a83f0',1,'dda.cpp']]],
+  ['relationsolver_4865',['RelationSolver',['../classSVF_1_1RelationSolver.html',1,'SVF::RelationSolver'],['../classSVF_1_1RelationSolver.html#aaee624b8260da9ba0de027d80b01d984',1,'SVF::RelationSolver::RelationSolver()']]],
+  ['relationsolver_2ecpp_4866',['RelationSolver.cpp',['../RelationSolver_8cpp.html',1,'']]],
+  ['relationsolver_2eh_4867',['RelationSolver.h',['../RelationSolver_8h.html',1,'']]],
+  ['relationtype_4868',['RELATIONTYPE',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22',1,'SVF::CHGraph']]],
+  ['release_4869',['release',['../classSVF_1_1RaceResultValidator.html#a64f61b58f59eba5f3e7c69f90edc68df',1,'SVF::RaceResultValidator::release()'],['../classSVF_1_1RaceResultValidator.html#a64f61b58f59eba5f3e7c69f90edc68df',1,'SVF::RaceResultValidator::release()']]],
+  ['releaseandersenscd_4870',['releaseAndersenSCD',['../classSVF_1_1AndersenSCD.html#ac2003ddf910f55d5c53c762b45964b50',1,'SVF::AndersenSCD']]],
+  ['releaseandersensfr_4871',['releaseAndersenSFR',['../classSVF_1_1AndersenSFR.html#a4aa1607b7d84a6de151c19ae84b913b9',1,'SVF::AndersenSFR']]],
+  ['releaseandersenwavediff_4872',['releaseAndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html#a5da6abb1a7f0ef3e3871ea6e5a623625',1,'SVF::AndersenWaveDiff']]],
+  ['releasecontext_4873',['releaseContext',['../classSVF_1_1Z3Expr.html#a9da409a05cfd85d966d887b33dd1cc94',1,'SVF::Z3Expr']]],
+  ['releasefsmpta_4874',['releaseFSMPTA',['../classSVF_1_1FSMPTA.html#aea3ec49d7c12dc7e884600d1eddc99f0',1,'SVF::FSMPTA']]],
+  ['releasefswpa_4875',['releaseFSWPA',['../classSVF_1_1FlowSensitive.html#ae6aed22a79ac6567446dfcba82cb17b8',1,'SVF::FlowSensitive']]],
+  ['releasellvmmoduleset_4876',['releaseLLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936',1,'SVF::LLVMModuleSet']]],
+  ['releasememory_4877',['releaseMemory',['../classSVF_1_1SVFGBuilder.html#a6e08e6a99f7e743abf35e603e35e54f5',1,'SVF::SVFGBuilder']]],
+  ['releasesolver_4878',['releaseSolver',['../classSVF_1_1Z3Expr.html#a9cf1997ee2d22542f7288506ed0f4733',1,'SVF::Z3Expr']]],
+  ['releasesteensgaard_4879',['releaseSteensgaard',['../classSVF_1_1Steensgaard.html#a375a16c7538866fcebfecf228f7ee63d',1,'SVF::Steensgaard']]],
+  ['releasesvfir_4880',['releaseSVFIR',['../classSVF_1_1SVFIR.html#a007c86e5d2d541d08815547a5492731e',1,'SVF::SVFIR']]],
+  ['releasesvfmodule_4881',['releaseSVFModule',['../classSVF_1_1SVFModule.html#a545633e2d7f103b4983b47d4e1c56823',1,'SVF::SVFModule']]],
+  ['releasesymbolinfo_4882',['releaseSymbolInfo',['../classSVF_1_1SymbolTableInfo.html#a9f8d99c761f3c7108d797b3702fcbfec',1,'SVF::SymbolTableInfo']]],
+  ['releasevfswpa_4883',['releaseVFSWPA',['../classSVF_1_1VersionedFlowSensitive.html#a754c77fff88e8f415dc7a2096d1bffe2',1,'SVF::VersionedFlowSensitive']]],
+  ['relexestate_4884',['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_4885',['RelExeState.cpp',['../RelExeState_8cpp.html',1,'']]],
+  ['relexestate_2eh_4886',['RelExeState.h',['../RelExeState_8h.html',1,'']]],
+  ['remapallpts_4887',['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_4888',['remapPointsToSets',['../classSVF_1_1BVDataPTAImpl.html#a7a87ca1a439e871896f92e4342befa2c',1,'SVF::BVDataPTAImpl']]],
+  ['removeaddredge_4889',['removeAddrEdge',['../classSVF_1_1ConstraintGraph.html#acc23df2db1fa7b8e0270d8a04f08f2ee',1,'SVF::ConstraintGraph']]],
+  ['removealledges_4890',['removeAllEdges',['../classSVF_1_1SVFGOPT.html#ac15b3c2cb127b17ebad3a30fc04b6f40',1,'SVF::SVFGOPT']]],
+  ['removeallindirectsvfgedges_4891',['removeAllIndirectSVFGEdges',['../classSVF_1_1VersionedFlowSensitive.html#a275095f60640d862034ad173af3371c3',1,'SVF::VersionedFlowSensitive']]],
+  ['removeback_4892',['removeBack',['../classSVF_1_1FILOWorkList.html#a10c20d2c670af8de5dcbe6f433ca83ee',1,'SVF::FILOWorkList']]],
+  ['removecandidates_4893',['removeCandidates',['../classSVF_1_1WPAMinimumSolver.html#aa6d8de95ddf703fdac33ef1216ce4aff',1,'SVF::WPAMinimumSolver']]],
+  ['removecflinedge_4894',['removeCFLInEdge',['../classSVF_1_1CFLNode.html#a60dfc3e421558eecee5065e8ae5f984a',1,'SVF::CFLNode']]],
+  ['removecfloutedge_4895',['removeCFLOutEdge',['../classSVF_1_1CFLNode.html#a821078d812986c488932610063d7509f',1,'SVF::CFLNode']]],
+  ['removeconstraintnode_4896',['removeConstraintNode',['../classSVF_1_1ConstraintGraph.html#a9e21bc9b86080b4059f0907e9a7b33f3',1,'SVF::ConstraintGraph']]],
+  ['removecxtstmttospan_4897',['removeCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a0b21446e6d5dfc1b5d0ebd75895225dd',1,'SVF::LockAnalysis']]],
+  ['removedirectedge_4898',['removeDirectEdge',['../classSVF_1_1ConstraintGraph.html#a9fc73676ea133651604e2528fe1d8244',1,'SVF::ConstraintGraph']]],
+  ['removedpmfromloc_4899',['removeDpmFromLoc',['../classSVF_1_1DDAVFSolver.html#a00ae738a76564b7b334faae567674e34',1,'SVF::DDAVFSolver']]],
+  ['removefirstsymbol_4900',['removeFirstSymbol',['../classSVF_1_1CFGNormalizer.html#a711e134b6470e9cc9b337d1b0e4708a9',1,'SVF::CFGNormalizer']]],
+  ['removefront_4901',['removeFront',['../classSVF_1_1FIFOWorkList.html#a621fe65af285665396fa10af9f96ef3a',1,'SVF::FIFOWorkList']]],
+  ['removefunannotations_4902',['removeFunAnnotations',['../namespaceSVF_1_1LLVMUtil.html#a523a8c3f9bfaea178733822ac598d552',1,'SVF::LLVMUtil']]],
+  ['removegnode_4903',['removeGNode',['../classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915',1,'SVF::GenericGraph']]],
+  ['removeicfgedge_4904',['removeICFGEdge',['../classSVF_1_1ICFG.html#a534625b10673efe5b0f344bfebf9b3cf',1,'SVF::ICFG']]],
+  ['removeicfgnode_4905',['removeICFGNode',['../classSVF_1_1ICFG.html#a403cd10f7c01cc879d803a9759e729cb',1,'SVF::ICFG']]],
+  ['removeincomingaddredge_4906',['removeIncomingAddrEdge',['../classSVF_1_1ConstraintNode.html#a5a97f47f5a65550dce11341c6f8d9ae6',1,'SVF::ConstraintNode']]],
+  ['removeincomingdirectedge_4907',['removeIncomingDirectEdge',['../classSVF_1_1ConstraintNode.html#a7946aea5584d124f6c83fd91ab497500',1,'SVF::ConstraintNode']]],
+  ['removeincomingedge_4908',['removeIncomingEdge',['../classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225',1,'SVF::GenericNode']]],
+  ['removeincomingloadedge_4909',['removeIncomingLoadEdge',['../classSVF_1_1ConstraintNode.html#aa1f60c884d007524641d1a786410d41b',1,'SVF::ConstraintNode']]],
+  ['removeincomingstoreedge_4910',['removeIncomingStoreEdge',['../classSVF_1_1ConstraintNode.html#a2d0e87fa3174562c97b519b2b144d8ea',1,'SVF::ConstraintNode']]],
+  ['removeinedges_4911',['removeInEdges',['../classSVF_1_1SVFGOPT.html#a5a2fe12411de408dfb57e910e413957f',1,'SVF::SVFGOPT']]],
+  ['removekey_4912',['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_4913',['removeLoadEdge',['../classSVF_1_1ConstraintGraph.html#aa4bca2422049413439cb0c3400f2ce28',1,'SVF::ConstraintGraph']]],
+  ['removemdtag_4914',['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_4915',['removeOutEdges',['../classSVF_1_1SVFGOPT.html#ae85391a5f0828362c61d55e162eef04d',1,'SVF::SVFGOPT']]],
+  ['removeoutgoingaddredge_4916',['removeOutgoingAddrEdge',['../classSVF_1_1ConstraintNode.html#abaf196bcce496fbdee6740c42ca9dd71',1,'SVF::ConstraintNode']]],
+  ['removeoutgoingdirectedge_4917',['removeOutgoingDirectEdge',['../classSVF_1_1ConstraintNode.html#a73b8c0967cde518a2ea7dfea2a7dc32f',1,'SVF::ConstraintNode']]],
+  ['removeoutgoingedge_4918',['removeOutgoingEdge',['../classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1',1,'SVF::GenericNode']]],
+  ['removeoutgoingloadedge_4919',['removeOutgoingLoadEdge',['../classSVF_1_1ConstraintNode.html#a7d810ec9abc8817a938a557ac78dc8c0',1,'SVF::ConstraintNode']]],
+  ['removeoutgoingstoreedge_4920',['removeOutgoingStoreEdge',['../classSVF_1_1ConstraintNode.html#a24ef3eedb218283d106eceb8a73ca1b4',1,'SVF::ConstraintNode']]],
+  ['removestoreedge_4921',['removeStoreEdge',['../classSVF_1_1ConstraintGraph.html#aad3d05c949c33a587b3ac6d627f5a0a2',1,'SVF::ConstraintGraph']]],
+  ['removesvfgedge_4922',['removeSVFGEdge',['../classSVF_1_1SVFG.html#a931d8b82e10a54d68c68cf6bd80264be',1,'SVF::SVFG']]],
+  ['removesvfgnode_4923',['removeSVFGNode',['../classSVF_1_1SVFG.html#a700c5fc6c1cb4136e55196fe3d393b8b',1,'SVF::SVFG']]],
+  ['removeunusedfuncsandannotations_4924',['removeUnusedFuncsAndAnnotations',['../namespaceSVF_1_1LLVMUtil.html#a74ed17168bf5946cfb3f17495ec6db99',1,'SVF::LLVMUtil']]],
+  ['removevarfromdfinupdatedset_4925',['removeVarFromDFInUpdatedSet',['../classSVF_1_1MutableIncDFPTData.html#a913c1a2c48526160eeecd028bd22cfc4',1,'SVF::MutableIncDFPTData::removeVarFromDFInUpdatedSet()'],['../classSVF_1_1PersistentIncDFPTData.html#ad449df82589efb4c40affb5fdc46f479',1,'SVF::PersistentIncDFPTData::removeVarFromDFInUpdatedSet()']]],
+  ['removevarfromdfoutupdatedset_4926',['removeVarFromDFOutUpdatedSet',['../classSVF_1_1MutableIncDFPTData.html#ac055ad77582b36083ca1950c39207f5e',1,'SVF::MutableIncDFPTData::removeVarFromDFOutUpdatedSet()'],['../classSVF_1_1PersistentIncDFPTData.html#ad1a2cd17519912b1d7571eeddcdc0060',1,'SVF::PersistentIncDFPTData::removeVarFromDFOutUpdatedSet()']]],
+  ['removevfgedge_4927',['removeVFGEdge',['../classSVF_1_1VFG.html#aeb24b155fe31813b2e6dc0564f55738a',1,'SVF::VFG']]],
+  ['removevfgnode_4928',['removeVFGNode',['../classSVF_1_1VFG.html#a122aa5ad874170ef644cee8705f1ef3e',1,'SVF::VFG']]],
+  ['renamechiset_4929',['RenameChiSet',['../classSVF_1_1MemSSA.html#a6066364112e665c33cbf2ec50ae1e3a8',1,'SVF::MemSSA']]],
+  ['renamemuset_4930',['RenameMuSet',['../classSVF_1_1MemSSA.html#a2527b76b92dffa8f8513ebfdcc8d8133',1,'SVF::MemSSA']]],
+  ['renamephiops_4931',['RenamePhiOps',['../classSVF_1_1MemSSA.html#a0ed34f7a27db045c624c5db61d53132b',1,'SVF::MemSSA']]],
+  ['renamephires_4932',['RenamePhiRes',['../classSVF_1_1MemSSA.html#a630be375832b1477989af85dce6760f3',1,'SVF::MemSSA']]],
+  ['rendergraphfrombottomup_4933',['renderGraphFromBottomUp',['../structSVF_1_1DefaultDOTGraphTraits.html#aeb5908ad6424c0636b698e5ea0a587c0',1,'SVF::DefaultDOTGraphTraits']]],
+  ['rep_4934',['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_4935',['replace_item_in_object',['../cJSON_8cpp.html#afdae75197cf2c440ef858a2e93b104f2',1,'cJSON.cpp']]],
+  ['replaceextension_4936',['replaceExtension',['../llvm2svf_8cpp.html#a7234932227363d976b4dcf64ba29823c',1,'llvm2svf.cpp']]],
+  ['replacefparamaretwithphi_4937',['replaceFParamARetWithPHI',['../classSVF_1_1SVFGOPT.html#a1fd6d26203d7d574b5664b8fcae54c1a',1,'SVF::SVFGOPT']]],
+  ['replacement_4938',['replacement',['../cJSON_8h.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.h'],['../cJSON_8cpp.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.cpp']]],
+  ['repnode_4939',['repNode',['../classSVF_1_1SCCDetection.html#a3a5fdc9330a657240f77199f5aee602d',1,'SVF::SCCDetection']]],
+  ['repnodes_4940',['repNodes',['../classSVF_1_1SCCDetection.html#a2b9605126ebb2abb1e16b3ccf99cf04b',1,'SVF::SCCDetection']]],
+  ['report_4941',['report',['../classSVF_1_1SrcSnkDDA.html#aa7d6999b99412cdc101152867778cd0a',1,'SVF::SrcSnkDDA']]],
+  ['reportbug_4942',['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_4943',['reportMemoryUsageKB',['../namespaceSVF_1_1SVFUtil.html#a6cfe12afa463d0ceddeee11540c33ab3',1,'SVF::SVFUtil']]],
+  ['repr_4944',['repr',['../classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3',1,'SVF::SVFOtherType']]],
+  ['require_5fnull_5fterminated_4945',['require_null_terminated',['../cJSON_8h.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.h'],['../cJSON_8cpp.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.cpp']]],
+  ['requiredbits_4946',['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_4947',['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_4948',['reserve',['../classSVF_1_1WriterPtrPool.html#af0d604a17260624fcabaec623cb72491',1,'SVF::WriterPtrPool::reserve()'],['../classSVF_1_1ReaderPtrPool.html#ac9c1431385ac03aeabbe56603dc9ad92',1,'SVF::ReaderPtrPool::reserve()']]],
+  ['reset_4949',['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_4950',['resetData',['../classSVF_1_1Andersen.html#a95c0b2f501dff61993cd43a5cab89e17',1,'SVF::Andersen']]],
+  ['resetdef_4951',['resetDef',['../classSVF_1_1SVFGOPT.html#af504407e6cd42cfe2ea27165ff15df40',1,'SVF::SVFGOPT']]],
+  ['resetobjfieldsensitive_4952',['resetObjFieldSensitive',['../classSVF_1_1PointerAnalysis.html#a73fb8e595473e0c7df1dd0de4968ad13',1,'SVF::PointerAnalysis']]],
+  ['resetquery_4953',['resetQuery',['../classSVF_1_1DDAVFSolver.html#afe518d3d7f8051de5b9860f2460aa1b7',1,'SVF::DDAVFSolver']]],
+  ['resetrep_4954',['resetRep',['../classSVF_1_1ConstraintGraph.html#aa30231dab5b7c759e4e5d76422a5eb8e',1,'SVF::ConstraintGraph']]],
+  ['resetsubs_4955',['resetSubs',['../classSVF_1_1ConstraintGraph.html#a5fe3815a7990e16b99cf46e90529f8b3',1,'SVF::ConstraintGraph']]],
+  ['resettypeforheapstaticobj_4956',['resetTypeForHeapStaticObj',['../classSVF_1_1ObjTypeInfo.html#ae26937ca2107517e6ede8eb6d76b95d5',1,'SVF::ObjTypeInfo']]],
+  ['resolvecppindcalls_4957',['resolveCPPIndCalls',['../classSVF_1_1PointerAnalysis.html#ac04b64a5884710508b304f93da88c7ba',1,'SVF::PointerAnalysis']]],
+  ['resolvefunptr_4958',['resolveFunPtr',['../classSVF_1_1DDAVFSolver.html#afcc074be34dd0c45418ff16b3d9d4192',1,'SVF::DDAVFSolver']]],
+  ['resolveindcalls_4959',['resolveIndCalls',['../classSVF_1_1PointerAnalysis.html#a8d128246f86f28fdf4981d91169ab440',1,'SVF::PointerAnalysis']]],
+  ['resulttype_4960',['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_4961',['ResumeInst',['../namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa',1,'SVF']]],
+  ['resver_4962',['resVer',['../classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813',1,'SVF::MSSADEF']]],
+  ['ret_4963',['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_4964',['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_4965',['reTargetDstOfEdge',['../classSVF_1_1ConstraintGraph.html#a4db3484e3710c3f5cc86ec32dd643722',1,'SVF::ConstraintGraph']]],
+  ['retargetedgesofainfout_4966',['retargetEdgesOfAInFOut',['../classSVF_1_1SVFGOPT.html#abefe3efa0232106f1843351ff6dd1063',1,'SVF::SVFGOPT']]],
+  ['retargetedgesofaoutfin_4967',['retargetEdgesOfAOutFIn',['../classSVF_1_1SVFGOPT.html#a2285d20f7c4d128a8ede2e7f4f41f798',1,'SVF::SVFGOPT']]],
+  ['retargetsrcofedge_4968',['reTargetSrcOfEdge',['../classSVF_1_1ConstraintGraph.html#aaae56afed424f7cd59fddb3fcb2f7214',1,'SVF::ConstraintGraph']]],
+  ['retcf_4969',['RetCF',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429ad2370a77f6cc112b8c26efbcc36bf541',1,'SVF::ICFGEdge']]],
+  ['retcfgedge_4970',['RetCFGEdge',['../classSVF_1_1RetCFGEdge.html',1,'SVF::RetCFGEdge'],['../classSVF_1_1RetCFGEdge.html#a5a461528da9eb46ca190fbd49b41d0d1',1,'SVF::RetCFGEdge::RetCFGEdge()']]],
+  ['retdirsvfgedge_4971',['RetDirSVFGEdge',['../classSVF_1_1RetDirSVFGEdge.html',1,'SVF::RetDirSVFGEdge'],['../classSVF_1_1RetDirSVFGEdge.html#a5998569c23747ef9dbe6f86b5a04ce5c',1,'SVF::RetDirSVFGEdge::RetDirSVFGEdge()']]],
+  ['retdirvf_4972',['RetDirVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a8288c583cfcbfdf9aa2ac2103c0e7191',1,'SVF::VFGEdge']]],
+  ['reticfgnode_4973',['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_4974',['RetIndSVFGEdge',['../classSVF_1_1RetIndSVFGEdge.html',1,'SVF::RetIndSVFGEdge'],['../classSVF_1_1RetIndSVFGEdge.html#ae07d99d4156d999512e75b5d5fa207c4',1,'SVF::RetIndSVFGEdge::RetIndSVFGEdge()']]],
+  ['retindvf_4975',['RetIndVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5ac8124172b3f5f7fc94e895f6b192b668',1,'SVF::VFGEdge']]],
+  ['retmssamu_4976',['RetMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba255f3e3fc50f3a8d9a8bd5800b1b4594',1,'SVF::MSSAMU']]],
+  ['retmu_4977',['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_4978',['RetNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5de2a8fce9a85f31818d58992b381b98',1,'SVF::SVFVar']]],
+  ['retpe_4979',['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_4980',['retPEBegin',['../classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132',1,'SVF::FormalRetVFGNode']]],
+  ['retpeend_4981',['retPEEnd',['../classSVF_1_1FormalRetVFGNode.html#adae36045df1057e551d92aa7bfb236f9',1,'SVF::FormalRetVFGNode']]],
+  ['retpes_4982',['retPEs',['../classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157',1,'SVF::FormalRetVFGNode']]],
+  ['retpeset_4983',['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_4984',['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_4985',['RetSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba8ac9528bf8b81f7942c1cdc0bf63ec35',1,'SVF::SymbolTableInfo']]],
+  ['retsyms_4986',['retSyms',['../classSVF_1_1SymbolTableInfo.html#aafd4da7cef6387bb974abe20185b7b96',1,'SVF::SymbolTableInfo']]],
+  ['retty_4987',['retTy',['../classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186',1,'SVF::SVFFunctionType']]],
+  ['rettype_4988',['RetType',['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#abd3fdf0fdc5e4622a879b7890ad43789',1,'SVF::SVFUtil::simplify_type< const From >']]],
+  ['return_4989',['return',['../cJSON_8cpp.html#a15f779a174654a93596726f6eb6b57fe',1,'cJSON.cpp']]],
+  ['return_5fparse_5fend_4990',['return_parse_end',['../cJSON_8h.html#a7725ae4fa33fc499614c6895ee9ee44a',1,'return_parse_end(): cJSON.h'],['../cJSON_8cpp.html#a1a7c63ae727dcb98b54e081b2ff17ed9',1,'return_parse_end(): cJSON.cpp']]],
+  ['returninst_4991',['ReturnInst',['../namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154',1,'SVF']]],
+  ['returnsymmap_4992',['returnSymMap',['../classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681',1,'SVF::SymbolTableInfo']]],
+  ['rev_4993',['rev',['../classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219',1,'SVF::PTData']]],
+  ['reverse_5fdense_4994',['REVERSE_DENSE',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228ae21bc1064d05499c2dc6051d153df9e6',1,'SVF::NodeIDAllocator']]],
+  ['reversenodemapping_4995',['reverseNodeMapping',['../classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1',1,'SVF::PointsTo']]],
+  ['revptsmap_4996',['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_4997',['RFINEPT',['../dda_8cpp.html#a67ee98e0a1d06555ea82c26cf1fa2b35',1,'dda.cpp']]],
+  ['rid_4998',['rid',['../classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4',1,'SVF::MemRegion']]],
+  ['rmderefdirsvfgedges_4999',['rmDerefDirSVFGEdges',['../classSVF_1_1SaberSVFGBuilder.html#ad8f4f63d2071be4eb5f6fb2fdf29a10a',1,'SVF::SaberSVFGBuilder']]],
+  ['rmincomingedgeforsustore_5000',['rmIncomingEdgeForSUStore',['../classSVF_1_1SaberSVFGBuilder.html#ae0a9c42c850bda29aeae2f47ad2b8f4a',1,'SVF::SaberSVFGBuilder']]],
+  ['rminterleavingthread_5001',['rmInterleavingThread',['../classSVF_1_1MHP.html#a02b4ab18067c9b911b4bd53f0426aec3',1,'SVF::MHP']]],
+  ['rmsustat_5002',['rmSUStat',['../classSVF_1_1DDAVFSolver.html#a7d0775354df32f293e98578ed071d33c',1,'SVF::DDAVFSolver']]],
+  ['root_5003',['root',['../classSVF_1_1ProgSlice.html#ada13c2389d43973ff7db18b7fca90087',1,'SVF::ProgSlice']]],
+  ['rsy_5004',['RSY',['../classSVF_1_1RelationSolver.html#adf556d4eb0b813ec0d4b52cdd7fbd391',1,'SVF::RelationSolver']]],
+  ['rthdtochildren_5005',['rthdToChildren',['../classSVF_1_1MTAResultValidator.html#a542f2f41c90698270687fc7858a26555',1,'SVF::MTAResultValidator']]],
+  ['rthdtochildrenmap_5006',['rthdToChildrenMap',['../classSVF_1_1MTAResultValidator.html#a7d2043cf3c354812fa5e4cdf7f60ff20',1,'SVF::MTAResultValidator::rthdToChildrenMap()'],['../classSVF_1_1MTAResultValidator.html#a7d2043cf3c354812fa5e4cdf7f60ff20',1,'SVF::MTAResultValidator::rthdToChildrenMap()']]],
+  ['rthdtovthd_5007',['rthdTovthd',['../classSVF_1_1MTAResultValidator.html#a615623a08324ee155cb527a3b57e8c19',1,'SVF::MTAResultValidator']]],
+  ['rthdtovthdmap_5008',['rthdTovthdMap',['../classSVF_1_1MTAResultValidator.html#ab386260dd6bbaeacde10e5c81f07502c',1,'SVF::MTAResultValidator::rthdTovthdMap()'],['../classSVF_1_1MTAResultValidator.html#ab386260dd6bbaeacde10e5c81f07502c',1,'SVF::MTAResultValidator::rthdTovthdMap()']]],
+  ['runonmodule_5009',['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_5010',['runPointerAnalysis',['../classSVF_1_1DDAPass.html#ac480fe602e5e2d36ec4815ce50aeaad3',1,'SVF::DDAPass::runPointerAnalysis()'],['../classSVF_1_1WPAPass.html#ace6627f09d237f01d7b698aaea9020eb',1,'SVF::WPAPass::runPointerAnalysis()']]]
 ];