svf-tools 1.0.913 → 1.0.914

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

@@ -1,230 +1,230 @@
 var searchData=
 [
-  ['racecheck_5025',['RaceCheck',['../classSVF_1_1Options.html#a2eaa92517689173d93062e01e32ffe4e',1,'SVF::Options']]],
-  ['raceresultvalidator_5026',['RaceResultValidator',['../classSVF_1_1RaceResultValidator.html',1,'SVF']]],
-  ['racevalidator_5027',['RaceValidator',['../classSVF_1_1RaceValidator.html',1,'SVF::RaceValidator'],['../classSVF_1_1RaceValidator.html#a990ee1472b24a746d42b7bac4e453447',1,'SVF::RaceValidator::RaceValidator()']]],
-  ['raw_5028',['raw',['../cJSON_8h.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.h'],['../cJSON_8cpp.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.cpp']]],
-  ['raw_5ffd_5fostream_5029',['raw_fd_ostream',['../namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba',1,'SVF']]],
-  ['raw_5fpointer_5fiterator_5030',['raw_pointer_iterator',['../namespaceSVF.html#af3b0c055d852656a062bf784222a4fea',1,'SVF']]],
-  ['rawproductions_5031',['rawProductions',['../classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd',1,'SVF::GrammarBase']]],
-  ['rc_5faccess_5032',['RC_ACCESS',['../classSVF_1_1RaceResultValidator.html#ab1fbb367d32d72841119795e48cfae2d',1,'SVF::RaceResultValidator']]],
-  ['rc_5faliases_5033',['RC_ALIASES',['../classSVF_1_1RaceResultValidator.html#a090afdd4eb0d60b2a0408f9b5ea4a30e',1,'SVF::RaceResultValidator']]],
-  ['rc_5fflag_5034',['RC_FLAG',['../classSVF_1_1RaceResultValidator.html#ac57ae430ee5b6868fe810172ec658853',1,'SVF::RaceResultValidator::RC_FLAG()'],['../classSVF_1_1RaceResultValidator.html#ac57ae430ee5b6868fe810172ec658853',1,'SVF::RaceResultValidator::RC_FLAG()']]],
-  ['rc_5fmhp_5035',['RC_MHP',['../classSVF_1_1RaceResultValidator.html#aa4129053b7248d4e95763f0b41044e4c',1,'SVF::RaceResultValidator']]],
-  ['rc_5fprotected_5036',['RC_PROTECTED',['../classSVF_1_1RaceResultValidator.html#abcdd726f56cc2deb6cad72456863fc9b',1,'SVF::RaceResultValidator']]],
-  ['rc_5frace_5037',['RC_RACE',['../classSVF_1_1RaceResultValidator.html#abb9eba49d091d292a13478f659a5e53b',1,'SVF::RaceResultValidator']]],
-  ['rcsvfgbuilder_5038',['RcSvfgBuilder',['../classSVF_1_1SVFG.html#a67654d252e9e93b74e35ba247048b41a',1,'SVF::SVFG']]],
-  ['re_5fcomp_5039',['re_comp',['../extapi_8c.html#ab92fb233728874f4d1d12e3820ae261d',1,'extapi.c']]],
-  ['reachablebbs_5040',['reachableBBs',['../classSVF_1_1SVFLoopAndDomInfo.html#af3eeabc8b81b2aff27ae3577195a1eff',1,'SVF::SVFLoopAndDomInfo']]],
-  ['reachglob_5041',['reachGlob',['../classSVF_1_1ProgSlice.html#ab36bc2aa24a2a90555a9714dcbfc83e5',1,'SVF::ProgSlice']]],
-  ['read_5042',['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_5043',['READ_CREATE_EDGE_FWD',['../SVFFileSystem_8cpp.html#a30d1c3675b87f06ba8a58a010ae55fec',1,'SVFFileSystem.cpp']]],
-  ['read_5fcreate_5fnode_5ffwd_5044',['READ_CREATE_NODE_FWD',['../SVFFileSystem_8cpp.html#ad9bbbc9c38a358d29b606dcf38c851ad',1,'SVFFileSystem.cpp']]],
-  ['readander_5045',['ReadAnder',['../classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475',1,'SVF::Options']]],
-  ['readandsetobjfieldsensitivity_5046',['readAndSetObjFieldSensitivity',['../classSVF_1_1BVDataPTAImpl.html#a4ad982a53fbf62c5513afe63b2435fa5',1,'SVF::BVDataPTAImpl']]],
-  ['readbignumber_5047',['readBigNumber',['../namespaceSVF.html#ac9bc0a9e085bace3fcd2e92b6d418dab',1,'SVF']]],
-  ['readdir_5fr_5048',['readdir_r',['../extapi_8c.html#a3ccb1f4f10729777321e33899242f721',1,'extapi.c']]],
-  ['readeridtoobjmap_5049',['ReaderIDToObjMap',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
-  ['readeridtoobjmap_3c_20chnode_20_3e_5050',['ReaderIDToObjMap< CHNode >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
-  ['readeridtoobjmap_3c_20nodety_20_3e_5051',['ReaderIDToObjMap< NodeTy >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
-  ['readeridtoobjmap_3c_20svf_3a_3amemobj_20_3e_5052',['ReaderIDToObjMap< SVF::MemObj >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
-  ['readeridtoobjmap_3c_20svfvar_20_3e_5053',['ReaderIDToObjMap< SVFVar >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
-  ['readerptrpool_5054',['ReaderPtrPool',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20chedge_20_3e_5055',['ReaderPtrPool< CHEdge >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20edgety_20_3e_5056',['ReaderPtrPool< EdgeTy >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20svf_3a_3astinfo_20_3e_5057',['ReaderPtrPool< SVF::StInfo >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20svf_3a_3asvfloop_20_3e_5058',['ReaderPtrPool< SVF::SVFLoop >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20svf_3a_3asvftype_20_3e_5059',['ReaderPtrPool< SVF::SVFType >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20svf_3a_3asvfvalue_20_3e_5060',['ReaderPtrPool< SVF::SVFValue >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20svfstmt_20_3e_5061',['ReaderPtrPool< SVFStmt >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readfile_5062',['readFile',['../classSVF_1_1SVFG.html#a9da50b8f467066b478143af64f7c9858',1,'SVF::SVFG']]],
-  ['readfromfile_5063',['readFromFile',['../classSVF_1_1BVDataPTAImpl.html#a290501006cb700db0e07dc577429c928',1,'SVF::BVDataPTAImpl']]],
-  ['readgepobjvarmapfromfile_5064',['readGepObjVarMapFromFile',['../classSVF_1_1BVDataPTAImpl.html#afce21c2a8fca8a2eae4883d2fe148cc0',1,'SVF::BVDataPTAImpl']]],
-  ['readinheritancemetadatafrommodule_5065',['readInheritanceMetadataFromModule',['../classSVF_1_1CHGBuilder.html#a443b021eb2b08b92164515750385b058',1,'SVF::CHGBuilder']]],
-  ['readjson_5066',['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_5067',['readPrecision',['../classSVF_1_1MTASVFGBuilder.html#a5532751632ece036b3d6741908573b36',1,'SVF::MTASVFGBuilder']]],
-  ['readprecisiontdedge_5068',['ReadPrecisionTDEdge',['../classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916',1,'SVF::Options']]],
-  ['readptsfromfile_5069',['readPtsFromFile',['../classSVF_1_1AndersenBase.html#a69685be598d8aa2576af09912b94a8ef',1,'SVF::AndersenBase::readPtsFromFile()'],['../classSVF_1_1FlowSensitive.html#a46d54b608ad952686349ccac9a3424f1',1,'SVF::FlowSensitive::readPtsFromFile()'],['../classSVF_1_1VersionedFlowSensitive.html#aed829d361a53bde657b04778e6710383',1,'SVF::VersionedFlowSensitive::readPtsFromFile()']]],
-  ['readptsresultfromfile_5070',['readPtsResultFromFile',['../classSVF_1_1BVDataPTAImpl.html#af4e17ce3667d40d1a377508a275af384',1,'SVF::BVDataPTAImpl']]],
-  ['readsmallnumber_5071',['readSmallNumber',['../namespaceSVF.html#a1202d15e828377e9bec5164f76c48096',1,'SVF']]],
-  ['readsvfg_5072',['ReadSVFG',['../classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4',1,'SVF::Options']]],
-  ['readversionedanalysisresultfromfile_5073',['readVersionedAnalysisResultFromFile',['../classSVF_1_1VersionedFlowSensitive.html#a31976bfeb5498ce57262dda34e3bf94a',1,'SVF::VersionedFlowSensitive']]],
-  ['realdeffun_5074',['realDefFun',['../classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007',1,'SVF::SVFFunction']]],
-  ['realdefglobal_5075',['realDefGlobal',['../classSVF_1_1SVFGlobalValue.html#a3048ae66c737eebbe7fe230f95a88b6e',1,'SVF::SVFGlobalValue']]],
-  ['reallocate_5076',['reallocate',['../structinternal__hooks.html#a5dd48d5c2f2b1cf4f6eec5df6205e15c',1,'internal_hooks']]],
-  ['realpath_5077',['realpath',['../extapi_8c.html#a6646e3960f1c015c86c3b45f6e5db53e',1,'extapi.c']]],
-  ['reanalyze_5078',['reanalyze',['../classSVF_1_1WPASolver.html#ac460772d9236a2fefe17b2557023b883',1,'SVF::WPASolver']]],
-  ['recompute_5079',['reCompute',['../classSVF_1_1DDAVFSolver.html#a8c5220108a65fa281959529cb1e9cc57',1,'SVF::DDAVFSolver']]],
-  ['recomputeforedges_5080',['reComputeForEdges',['../classSVF_1_1DDAVFSolver.html#ace037388135f272365cee2e87844bfba',1,'SVF::DDAVFSolver']]],
-  ['recordaddingedge_5081',['recordAddingEdge',['../classSVF_1_1MTASVFGBuilder.html#a2effeeac276a64d612fe6af08ec25b74',1,'SVF::MTASVFGBuilder']]],
-  ['recordedge_5082',['recordEdge',['../classSVF_1_1MTASVFGBuilder.html#a55da7f1a8921727f84232e5905d6135f',1,'SVF::MTASVFGBuilder']]],
-  ['recordedges_5083',['recordedges',['../classSVF_1_1MTASVFGBuilder.html#a13ac51421add3cb242ad823e18938c95',1,'SVF::MTASVFGBuilder']]],
-  ['recordremovingedge_5084',['recordRemovingEdge',['../classSVF_1_1MTASVFGBuilder.html#a97179139a6395a7062d3200c23d4b69d',1,'SVF::MTASVFGBuilder']]],
-  ['recurse_5085',['recurse',['../cJSON_8h.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.h'],['../cJSON_8cpp.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.cpp']]],
-  ['recursivecallpass_5086',['recursiveCallPass',['../classSVF_1_1AbstractInterpretation.html#a0e36af6b826b9eacf183aebd0b8c5f1f',1,'SVF::AbstractInterpretation']]],
-  ['redundantgepnodes_5087',['redundantGepNodes',['../classSVF_1_1AndersenBase.html#a6c3d6b4c004d9e43690c3807502eed74',1,'SVF::AndersenBase']]],
-  ['ref_5088',['Ref',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76',1,'SVF']]],
-  ['reference_5089',['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_5090',['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_5091',['refVal',['../classSVF_1_1MemObj.html#a33d27c3e75e62f31f62c8d9bfc2e0262',1,'SVF::MemObj']]],
-  ['reg2bbmap_5092',['reg2BBMap',['../classSVF_1_1MemSSA.html#add1d4ff17d0860906d2f5f7172176121',1,'SVF::MemSSA']]],
-  ['regionalign_5093',['RegionAlign',['../classSVF_1_1Options.html#a5a70a23e30df8dea3fcaf0e80479fe88',1,'SVF::Options']]],
-  ['regionedclustering_5094',['RegionedClustering',['../classSVF_1_1Options.html#a8cc5b2a363724b558f4932277a87c0f6',1,'SVF::Options']]],
-  ['regioningtime_5095',['RegioningTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad5f733cad8a103a64e80270acb67567a',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['regionobjects_5096',['regionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a7d34542f34a8e8008119c3d61943daa2',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['relationsolver_5097',['RelationSolver',['../classSVF_1_1RelationSolver.html',1,'SVF::RelationSolver'],['../classSVF_1_1AbstractState.html#a44841fb4ad23542383ea77bf1ffda65f',1,'SVF::AbstractState::RelationSolver()'],['../classSVF_1_1RelationSolver.html#aaee624b8260da9ba0de027d80b01d984',1,'SVF::RelationSolver::RelationSolver()']]],
-  ['relationsolver_2ecpp_5098',['RelationSolver.cpp',['../RelationSolver_8cpp.html',1,'']]],
-  ['relationsolver_2eh_5099',['RelationSolver.h',['../RelationSolver_8h.html',1,'']]],
-  ['relationtype_5100',['RELATIONTYPE',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22',1,'SVF::CHGraph']]],
-  ['release_5101',['release',['../classSVF_1_1RaceResultValidator.html#a64f61b58f59eba5f3e7c69f90edc68df',1,'SVF::RaceResultValidator::release()'],['../classSVF_1_1RaceResultValidator.html#a64f61b58f59eba5f3e7c69f90edc68df',1,'SVF::RaceResultValidator::release()']]],
-  ['releaseandersenscd_5102',['releaseAndersenSCD',['../classSVF_1_1AndersenSCD.html#ac2003ddf910f55d5c53c762b45964b50',1,'SVF::AndersenSCD']]],
-  ['releaseandersensfr_5103',['releaseAndersenSFR',['../classSVF_1_1AndersenSFR.html#a4aa1607b7d84a6de151c19ae84b913b9',1,'SVF::AndersenSFR']]],
-  ['releaseandersenwavediff_5104',['releaseAndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html#a5da6abb1a7f0ef3e3871ea6e5a623625',1,'SVF::AndersenWaveDiff']]],
-  ['releasecdg_5105',['releaseCDG',['../classSVF_1_1CDG.html#ab0682abdbd97d1223cc0a968f7ccc543',1,'SVF::CDG']]],
-  ['releasecontext_5106',['releaseContext',['../classSVF_1_1Z3Expr.html#a9da409a05cfd85d966d887b33dd1cc94',1,'SVF::Z3Expr']]],
-  ['releasefsmpta_5107',['releaseFSMPTA',['../classSVF_1_1FSMPTA.html#aea3ec49d7c12dc7e884600d1eddc99f0',1,'SVF::FSMPTA']]],
-  ['releasefswpa_5108',['releaseFSWPA',['../classSVF_1_1FlowSensitive.html#ae6aed22a79ac6567446dfcba82cb17b8',1,'SVF::FlowSensitive']]],
-  ['releasellvmmoduleset_5109',['releaseLLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936',1,'SVF::LLVMModuleSet']]],
-  ['releasememory_5110',['releaseMemory',['../classSVF_1_1SVFGBuilder.html#a6e08e6a99f7e743abf35e603e35e54f5',1,'SVF::SVFGBuilder']]],
-  ['releasesolver_5111',['releaseSolver',['../classSVF_1_1Z3Expr.html#a9cf1997ee2d22542f7288506ed0f4733',1,'SVF::Z3Expr']]],
-  ['releasesteensgaard_5112',['releaseSteensgaard',['../classSVF_1_1Steensgaard.html#a375a16c7538866fcebfecf228f7ee63d',1,'SVF::Steensgaard']]],
-  ['releasesvfir_5113',['releaseSVFIR',['../classSVF_1_1SVFIR.html#a007c86e5d2d541d08815547a5492731e',1,'SVF::SVFIR']]],
-  ['releasesvfmodule_5114',['releaseSVFModule',['../classSVF_1_1SVFModule.html#a545633e2d7f103b4983b47d4e1c56823',1,'SVF::SVFModule']]],
-  ['releasesymbolinfo_5115',['releaseSymbolInfo',['../classSVF_1_1SymbolTableInfo.html#a9f8d99c761f3c7108d797b3702fcbfec',1,'SVF::SymbolTableInfo']]],
-  ['releasevfswpa_5116',['releaseVFSWPA',['../classSVF_1_1VersionedFlowSensitive.html#a754c77fff88e8f415dc7a2096d1bffe2',1,'SVF::VersionedFlowSensitive']]],
-  ['relexestate_5117',['RelExeState',['../classSVF_1_1RelExeState.html',1,'SVF::RelExeState'],['../classSVF_1_1RelExeState.html#a34d81c2627e224283e07765d15543bf1',1,'SVF::RelExeState::RelExeState()=default'],['../classSVF_1_1RelExeState.html#a9e32fb273b4d2d69b1405f514e333033',1,'SVF::RelExeState::RelExeState(VarToValMap &varToVal, AddrToValMap &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_5118',['RelExeState.cpp',['../RelExeState_8cpp.html',1,'']]],
-  ['relexestate_2eh_5119',['RelExeState.h',['../RelExeState_8h.html',1,'']]],
-  ['remapallpts_5120',['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_5121',['remapPointsToSets',['../classSVF_1_1BVDataPTAImpl.html#a7a87ca1a439e871896f92e4342befa2c',1,'SVF::BVDataPTAImpl']]],
-  ['removeaddredge_5122',['removeAddrEdge',['../classSVF_1_1ConstraintGraph.html#acc23df2db1fa7b8e0270d8a04f08f2ee',1,'SVF::ConstraintGraph']]],
-  ['removealledges_5123',['removeAllEdges',['../classSVF_1_1SVFGOPT.html#ac15b3c2cb127b17ebad3a30fc04b6f40',1,'SVF::SVFGOPT']]],
-  ['removeallindirectsvfgedges_5124',['removeAllIndirectSVFGEdges',['../classSVF_1_1VersionedFlowSensitive.html#a275095f60640d862034ad173af3371c3',1,'SVF::VersionedFlowSensitive']]],
-  ['removeback_5125',['removeBack',['../classSVF_1_1FILOWorkList.html#a10c20d2c670af8de5dcbe6f433ca83ee',1,'SVF::FILOWorkList']]],
-  ['removecandidates_5126',['removeCandidates',['../classSVF_1_1WPAMinimumSolver.html#aa6d8de95ddf703fdac33ef1216ce4aff',1,'SVF::WPAMinimumSolver']]],
-  ['removecdgedge_5127',['removeCDGEdge',['../classSVF_1_1CDG.html#afd04ca26b53407aceffe1c507d345f95',1,'SVF::CDG']]],
-  ['removecdgnode_5128',['removeCDGNode',['../classSVF_1_1CDG.html#a260507920498e0d9bd6bf629e6912cdb',1,'SVF::CDG::removeCDGNode(CDGNode *node)'],['../classSVF_1_1CDG.html#a3ff150908e40b1b39799e46317c805fc',1,'SVF::CDG::removeCDGNode(NodeID id)']]],
-  ['removecflinedge_5129',['removeCFLInEdge',['../classSVF_1_1CFLNode.html#a60dfc3e421558eecee5065e8ae5f984a',1,'SVF::CFLNode']]],
-  ['removecfloutedge_5130',['removeCFLOutEdge',['../classSVF_1_1CFLNode.html#a821078d812986c488932610063d7509f',1,'SVF::CFLNode']]],
-  ['removeconstraintnode_5131',['removeConstraintNode',['../classSVF_1_1ConstraintGraph.html#a9e21bc9b86080b4059f0907e9a7b33f3',1,'SVF::ConstraintGraph']]],
-  ['removecxtstmttospan_5132',['removeCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a0b21446e6d5dfc1b5d0ebd75895225dd',1,'SVF::LockAnalysis']]],
-  ['removedirectedge_5133',['removeDirectEdge',['../classSVF_1_1ConstraintGraph.html#a9fc73676ea133651604e2528fe1d8244',1,'SVF::ConstraintGraph']]],
-  ['removedpmfromloc_5134',['removeDpmFromLoc',['../classSVF_1_1DDAVFSolver.html#a00ae738a76564b7b334faae567674e34',1,'SVF::DDAVFSolver']]],
-  ['removedsuvfedges_5135',['removedSUVFEdges',['../classSVF_1_1SaberCondAllocator.html#a0eb6b0b625f412cb603e5483ca88e8dc',1,'SVF::SaberCondAllocator']]],
-  ['removefirstsymbol_5136',['removeFirstSymbol',['../classSVF_1_1CFGNormalizer.html#a711e134b6470e9cc9b337d1b0e4708a9',1,'SVF::CFGNormalizer']]],
-  ['removefront_5137',['removeFront',['../classSVF_1_1FIFOWorkList.html#a621fe65af285665396fa10af9f96ef3a',1,'SVF::FIFOWorkList']]],
-  ['removefunannotations_5138',['removeFunAnnotations',['../namespaceSVF_1_1LLVMUtil.html#a2acb79d8c24884ee2dcbba37d98021d9',1,'SVF::LLVMUtil']]],
-  ['removegnode_5139',['removeGNode',['../classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915',1,'SVF::GenericGraph']]],
-  ['removeicfgedge_5140',['removeICFGEdge',['../classSVF_1_1ICFG.html#a534625b10673efe5b0f344bfebf9b3cf',1,'SVF::ICFG']]],
-  ['removeicfgnode_5141',['removeICFGNode',['../classSVF_1_1ICFG.html#a403cd10f7c01cc879d803a9759e729cb',1,'SVF::ICFG']]],
-  ['removeincomingaddredge_5142',['removeIncomingAddrEdge',['../classSVF_1_1ConstraintNode.html#a5a97f47f5a65550dce11341c6f8d9ae6',1,'SVF::ConstraintNode']]],
-  ['removeincomingdirectedge_5143',['removeIncomingDirectEdge',['../classSVF_1_1ConstraintNode.html#a7946aea5584d124f6c83fd91ab497500',1,'SVF::ConstraintNode']]],
-  ['removeincomingedge_5144',['removeIncomingEdge',['../classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225',1,'SVF::GenericNode']]],
-  ['removeincomingloadedge_5145',['removeIncomingLoadEdge',['../classSVF_1_1ConstraintNode.html#aa1f60c884d007524641d1a786410d41b',1,'SVF::ConstraintNode']]],
-  ['removeincomingstoreedge_5146',['removeIncomingStoreEdge',['../classSVF_1_1ConstraintNode.html#a2d0e87fa3174562c97b519b2b144d8ea',1,'SVF::ConstraintNode']]],
-  ['removeinedges_5147',['removeInEdges',['../classSVF_1_1SVFGOPT.html#a5a2fe12411de408dfb57e910e413957f',1,'SVF::SVFGOPT']]],
-  ['removekey_5148',['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_5149',['removeLoadEdge',['../classSVF_1_1ConstraintGraph.html#aa4bca2422049413439cb0c3400f2ce28',1,'SVF::ConstraintGraph']]],
-  ['removemdtag_5150',['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_5151',['removeOutEdges',['../classSVF_1_1SVFGOPT.html#ae85391a5f0828362c61d55e162eef04d',1,'SVF::SVFGOPT']]],
-  ['removeoutgoingaddredge_5152',['removeOutgoingAddrEdge',['../classSVF_1_1ConstraintNode.html#abaf196bcce496fbdee6740c42ca9dd71',1,'SVF::ConstraintNode']]],
-  ['removeoutgoingdirectedge_5153',['removeOutgoingDirectEdge',['../classSVF_1_1ConstraintNode.html#a73b8c0967cde518a2ea7dfea2a7dc32f',1,'SVF::ConstraintNode']]],
-  ['removeoutgoingedge_5154',['removeOutgoingEdge',['../classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1',1,'SVF::GenericNode']]],
-  ['removeoutgoingloadedge_5155',['removeOutgoingLoadEdge',['../classSVF_1_1ConstraintNode.html#a7d810ec9abc8817a938a557ac78dc8c0',1,'SVF::ConstraintNode']]],
-  ['removeoutgoingstoreedge_5156',['removeOutgoingStoreEdge',['../classSVF_1_1ConstraintNode.html#a24ef3eedb218283d106eceb8a73ca1b4',1,'SVF::ConstraintNode']]],
-  ['removestoreedge_5157',['removeStoreEdge',['../classSVF_1_1ConstraintGraph.html#aad3d05c949c33a587b3ac6d627f5a0a2',1,'SVF::ConstraintGraph']]],
-  ['removesvfgedge_5158',['removeSVFGEdge',['../classSVF_1_1SVFG.html#a931d8b82e10a54d68c68cf6bd80264be',1,'SVF::SVFG']]],
-  ['removesvfgnode_5159',['removeSVFGNode',['../classSVF_1_1SVFG.html#a700c5fc6c1cb4136e55196fe3d393b8b',1,'SVF::SVFG']]],
-  ['removeunusedextapis_5160',['removeUnusedExtAPIs',['../classSVF_1_1LLVMModuleSet.html#aeaf96b0a6ee4b321a173374137ebe5e4',1,'SVF::LLVMModuleSet']]],
-  ['removeunusedfuncsandannotationsandglobalvariables_5161',['removeUnusedFuncsAndAnnotationsAndGlobalVariables',['../namespaceSVF_1_1LLVMUtil.html#a484bbbc9713fc4be173943e6bc177fb5',1,'SVF::LLVMUtil']]],
-  ['removeunusedglobalvariables_5162',['removeUnusedGlobalVariables',['../namespaceSVF_1_1LLVMUtil.html#ae2b444bb3e7a27d77386f588a78af8e2',1,'SVF::LLVMUtil']]],
-  ['removevarfromdfinupdatedset_5163',['removeVarFromDFInUpdatedSet',['../classSVF_1_1MutableIncDFPTData.html#a913c1a2c48526160eeecd028bd22cfc4',1,'SVF::MutableIncDFPTData::removeVarFromDFInUpdatedSet()'],['../classSVF_1_1PersistentIncDFPTData.html#ad449df82589efb4c40affb5fdc46f479',1,'SVF::PersistentIncDFPTData::removeVarFromDFInUpdatedSet()']]],
-  ['removevarfromdfoutupdatedset_5164',['removeVarFromDFOutUpdatedSet',['../classSVF_1_1MutableIncDFPTData.html#ac055ad77582b36083ca1950c39207f5e',1,'SVF::MutableIncDFPTData::removeVarFromDFOutUpdatedSet()'],['../classSVF_1_1PersistentIncDFPTData.html#ad1a2cd17519912b1d7571eeddcdc0060',1,'SVF::PersistentIncDFPTData::removeVarFromDFOutUpdatedSet()']]],
-  ['removevfgedge_5165',['removeVFGEdge',['../classSVF_1_1VFG.html#aeb24b155fe31813b2e6dc0564f55738a',1,'SVF::VFG']]],
-  ['removevfgnode_5166',['removeVFGNode',['../classSVF_1_1VFG.html#a122aa5ad874170ef644cee8705f1ef3e',1,'SVF::VFG']]],
-  ['renamechiset_5167',['RenameChiSet',['../classSVF_1_1MemSSA.html#a6066364112e665c33cbf2ec50ae1e3a8',1,'SVF::MemSSA']]],
-  ['renamemuset_5168',['RenameMuSet',['../classSVF_1_1MemSSA.html#a2527b76b92dffa8f8513ebfdcc8d8133',1,'SVF::MemSSA']]],
-  ['renamephiops_5169',['RenamePhiOps',['../classSVF_1_1MemSSA.html#a0ed34f7a27db045c624c5db61d53132b',1,'SVF::MemSSA']]],
-  ['renamephires_5170',['RenamePhiRes',['../classSVF_1_1MemSSA.html#a630be375832b1477989af85dce6760f3',1,'SVF::MemSSA']]],
-  ['rendergraphfrombottomup_5171',['renderGraphFromBottomUp',['../structSVF_1_1DefaultDOTGraphTraits.html#aeb5908ad6424c0636b698e5ea0a587c0',1,'SVF::DefaultDOTGraphTraits']]],
-  ['rep_5172',['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_5173',['replace_item_in_object',['../cJSON_8cpp.html#afdae75197cf2c440ef858a2e93b104f2',1,'cJSON.cpp']]],
-  ['replaceextension_5174',['replaceExtension',['../llvm2svf_8cpp.html#a7234932227363d976b4dcf64ba29823c',1,'llvm2svf.cpp']]],
-  ['replacefparamaretwithphi_5175',['replaceFParamARetWithPHI',['../classSVF_1_1SVFGOPT.html#a1fd6d26203d7d574b5664b8fcae54c1a',1,'SVF::SVFGOPT']]],
-  ['replacement_5176',['replacement',['../cJSON_8h.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.h'],['../cJSON_8cpp.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.cpp']]],
-  ['repnode_5177',['repNode',['../classSVF_1_1SCCDetection.html#a3a5fdc9330a657240f77199f5aee602d',1,'SVF::SCCDetection']]],
-  ['repnodes_5178',['repNodes',['../classSVF_1_1SCCDetection.html#a2b9605126ebb2abb1e16b3ccf99cf04b',1,'SVF::SCCDetection']]],
-  ['report_5179',['report',['../classSVF_1_1SrcSnkDDA.html#aa7d6999b99412cdc101152867778cd0a',1,'SVF::SrcSnkDDA']]],
-  ['reportbug_5180',['reportBug',['../classSVF_1_1AEStat.html#ae24590233a864e18a6b0948bef89201a',1,'SVF::AEStat::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_5181',['reportMemoryUsageKB',['../namespaceSVF_1_1SVFUtil.html#a6cfe12afa463d0ceddeee11540c33ab3',1,'SVF::SVFUtil']]],
-  ['repr_5182',['repr',['../classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3',1,'SVF::SVFOtherType']]],
-  ['require_5fnull_5fterminated_5183',['require_null_terminated',['../cJSON_8h.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.h'],['../cJSON_8cpp.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.cpp']]],
-  ['requiredbits_5184',['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_5185',['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_5186',['reserve',['../classSVF_1_1WriterPtrPool.html#af0d604a17260624fcabaec623cb72491',1,'SVF::WriterPtrPool::reserve()'],['../classSVF_1_1ReaderPtrPool.html#ac9c1431385ac03aeabbe56603dc9ad92',1,'SVF::ReaderPtrPool::reserve()']]],
-  ['reset_5187',['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_5188',['resetData',['../classSVF_1_1Andersen.html#a95c0b2f501dff61993cd43a5cab89e17',1,'SVF::Andersen']]],
-  ['resetdef_5189',['resetDef',['../classSVF_1_1SVFGOPT.html#af504407e6cd42cfe2ea27165ff15df40',1,'SVF::SVFGOPT']]],
-  ['resetobjfieldsensitive_5190',['resetObjFieldSensitive',['../classSVF_1_1PointerAnalysis.html#a73fb8e595473e0c7df1dd0de4968ad13',1,'SVF::PointerAnalysis']]],
-  ['resetquery_5191',['resetQuery',['../classSVF_1_1DDAVFSolver.html#afe518d3d7f8051de5b9860f2460aa1b7',1,'SVF::DDAVFSolver']]],
-  ['resetrep_5192',['resetRep',['../classSVF_1_1ConstraintGraph.html#aa30231dab5b7c759e4e5d76422a5eb8e',1,'SVF::ConstraintGraph']]],
-  ['resetsubs_5193',['resetSubs',['../classSVF_1_1ConstraintGraph.html#a5fe3815a7990e16b99cf46e90529f8b3',1,'SVF::ConstraintGraph']]],
-  ['resettypeforheapstaticobj_5194',['resetTypeForHeapStaticObj',['../classSVF_1_1ObjTypeInfo.html#ae26937ca2107517e6ede8eb6d76b95d5',1,'SVF::ObjTypeInfo']]],
-  ['resolvecppindcalls_5195',['resolveCPPIndCalls',['../classSVF_1_1PointerAnalysis.html#ac04b64a5884710508b304f93da88c7ba',1,'SVF::PointerAnalysis']]],
-  ['resolvefunptr_5196',['resolveFunPtr',['../classSVF_1_1DDAVFSolver.html#afcc074be34dd0c45418ff16b3d9d4192',1,'SVF::DDAVFSolver']]],
-  ['resolveindcalls_5197',['resolveIndCalls',['../classSVF_1_1PointerAnalysis.html#a8d128246f86f28fdf4981d91169ab440',1,'SVF::PointerAnalysis']]],
-  ['restorefuncname_5198',['restoreFuncName',['../namespaceSVF_1_1LLVMUtil.html#af4c9c5d445107b1816a4be93852ba612',1,'SVF::LLVMUtil']]],
-  ['resulttype_5199',['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_5200',['ResumeInst',['../namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa',1,'SVF']]],
-  ['resver_5201',['resVer',['../classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813',1,'SVF::MSSADEF']]],
-  ['ret_5202',['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_5203',['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_5204',['reTargetDstOfEdge',['../classSVF_1_1ConstraintGraph.html#a4db3484e3710c3f5cc86ec32dd643722',1,'SVF::ConstraintGraph']]],
-  ['retargetedgesofainfout_5205',['retargetEdgesOfAInFOut',['../classSVF_1_1SVFGOPT.html#abefe3efa0232106f1843351ff6dd1063',1,'SVF::SVFGOPT']]],
-  ['retargetedgesofaoutfin_5206',['retargetEdgesOfAOutFIn',['../classSVF_1_1SVFGOPT.html#a2285d20f7c4d128a8ede2e7f4f41f798',1,'SVF::SVFGOPT']]],
-  ['retargetsrcofedge_5207',['reTargetSrcOfEdge',['../classSVF_1_1ConstraintGraph.html#aaae56afed424f7cd59fddb3fcb2f7214',1,'SVF::ConstraintGraph']]],
-  ['retcf_5208',['RetCF',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429ad2370a77f6cc112b8c26efbcc36bf541',1,'SVF::ICFGEdge']]],
-  ['retcfgedge_5209',['RetCFGEdge',['../classSVF_1_1RetCFGEdge.html',1,'SVF::RetCFGEdge'],['../classSVF_1_1RetCFGEdge.html#a5a461528da9eb46ca190fbd49b41d0d1',1,'SVF::RetCFGEdge::RetCFGEdge()']]],
-  ['retdirsvfgedge_5210',['RetDirSVFGEdge',['../classSVF_1_1RetDirSVFGEdge.html',1,'SVF::RetDirSVFGEdge'],['../classSVF_1_1RetDirSVFGEdge.html#a5998569c23747ef9dbe6f86b5a04ce5c',1,'SVF::RetDirSVFGEdge::RetDirSVFGEdge()']]],
-  ['retdirvf_5211',['RetDirVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a8288c583cfcbfdf9aa2ac2103c0e7191',1,'SVF::VFGEdge']]],
-  ['reticfgnode_5212',['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_5213',['RetIndSVFGEdge',['../classSVF_1_1RetIndSVFGEdge.html',1,'SVF::RetIndSVFGEdge'],['../classSVF_1_1RetIndSVFGEdge.html#ae07d99d4156d999512e75b5d5fa207c4',1,'SVF::RetIndSVFGEdge::RetIndSVFGEdge()']]],
-  ['retindvf_5214',['RetIndVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5ac8124172b3f5f7fc94e895f6b192b668',1,'SVF::VFGEdge']]],
-  ['retmssamu_5215',['RetMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba255f3e3fc50f3a8d9a8bd5800b1b4594',1,'SVF::MSSAMU']]],
-  ['retmu_5216',['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_5217',['RetNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5de2a8fce9a85f31818d58992b381b98',1,'SVF::SVFVar']]],
-  ['retpe_5218',['RetPE',['../classSVF_1_1RetPE.html',1,'SVF::RetPE'],['../classSVF_1_1RetCFGEdge.html#ad4bbb9881dff7b715c7a70b92baf376c',1,'SVF::RetCFGEdge::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)']]],
-  ['retpebegin_5219',['retPEBegin',['../classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132',1,'SVF::FormalRetVFGNode']]],
-  ['retpeend_5220',['retPEEnd',['../classSVF_1_1FormalRetVFGNode.html#adae36045df1057e551d92aa7bfb236f9',1,'SVF::FormalRetVFGNode']]],
-  ['retpes_5221',['retPEs',['../classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157',1,'SVF::FormalRetVFGNode']]],
-  ['retpeset_5222',['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_5223',['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_5224',['RetSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba8ac9528bf8b81f7942c1cdc0bf63ec35',1,'SVF::SymbolTableInfo']]],
-  ['retsyms_5225',['retSyms',['../classSVF_1_1SymbolTableInfo.html#aafd4da7cef6387bb974abe20185b7b96',1,'SVF::SymbolTableInfo']]],
-  ['retty_5226',['retTy',['../classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186',1,'SVF::SVFFunctionType']]],
-  ['rettype_5227',['RetType',['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#abd3fdf0fdc5e4622a879b7890ad43789',1,'SVF::SVFUtil::simplify_type< const From >']]],
-  ['return_5228',['return',['../cJSON_8cpp.html#a15f779a174654a93596726f6eb6b57fe',1,'cJSON.cpp']]],
-  ['return_5fparse_5fend_5229',['return_parse_end',['../cJSON_8h.html#a7725ae4fa33fc499614c6895ee9ee44a',1,'return_parse_end(): cJSON.h'],['../cJSON_8cpp.html#a1a7c63ae727dcb98b54e081b2ff17ed9',1,'return_parse_end(): cJSON.cpp']]],
-  ['returninst_5230',['ReturnInst',['../namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154',1,'SVF']]],
-  ['returnsymmap_5231',['returnSymMap',['../classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681',1,'SVF::SymbolTableInfo']]],
-  ['rev_5232',['rev',['../classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219',1,'SVF::PTData']]],
-  ['reverse_5fdense_5233',['REVERSE_DENSE',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228ae21bc1064d05499c2dc6051d153df9e6',1,'SVF::NodeIDAllocator']]],
-  ['reversenodemapping_5234',['reverseNodeMapping',['../classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1',1,'SVF::PointsTo']]],
-  ['revptsmap_5235',['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()']]],
-  ['rid_5236',['rid',['../classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4',1,'SVF::MemRegion']]],
-  ['rindex_5237',['rindex',['../extapi_8c.html#a83d9aa3251fdee263ad43bf75933de46',1,'extapi.c']]],
-  ['rmderefdirsvfgedges_5238',['rmDerefDirSVFGEdges',['../classSVF_1_1SaberSVFGBuilder.html#ad8f4f63d2071be4eb5f6fb2fdf29a10a',1,'SVF::SaberSVFGBuilder']]],
-  ['rmincomingedgeforsustore_5239',['rmIncomingEdgeForSUStore',['../classSVF_1_1CFLSVFGBuilder.html#a5a8d9e9a8bdb5ff8605592c2310d34a2',1,'SVF::CFLSVFGBuilder::rmIncomingEdgeForSUStore()'],['../classSVF_1_1SaberSVFGBuilder.html#ae0a9c42c850bda29aeae2f47ad2b8f4a',1,'SVF::SaberSVFGBuilder::rmIncomingEdgeForSUStore()']]],
-  ['rminterleavingthread_5240',['rmInterleavingThread',['../classSVF_1_1MHP.html#a02b4ab18067c9b911b4bd53f0426aec3',1,'SVF::MHP']]],
-  ['rmsustat_5241',['rmSUStat',['../classSVF_1_1DDAVFSolver.html#a7d0775354df32f293e98578ed071d33c',1,'SVF::DDAVFSolver']]],
-  ['root_5242',['root',['../classSVF_1_1ProgSlice.html#ada13c2389d43973ff7db18b7fca90087',1,'SVF::ProgSlice']]],
-  ['rsy_5243',['RSY',['../classSVF_1_1RelationSolver.html#a0bc76a5f96dab54e1c9678312579d51a',1,'SVF::RelationSolver']]],
-  ['rsy_5ftime_5244',['RSY_time',['../classSymblicAbstractionTest.html#a96a651463812ee4cdb597926ba3dc1cf',1,'SymblicAbstractionTest']]],
-  ['rthdtochildren_5245',['rthdToChildren',['../classSVF_1_1MTAResultValidator.html#a542f2f41c90698270687fc7858a26555',1,'SVF::MTAResultValidator']]],
-  ['rthdtochildrenmap_5246',['rthdToChildrenMap',['../classSVF_1_1MTAResultValidator.html#a7d2043cf3c354812fa5e4cdf7f60ff20',1,'SVF::MTAResultValidator::rthdToChildrenMap()'],['../classSVF_1_1MTAResultValidator.html#a7d2043cf3c354812fa5e4cdf7f60ff20',1,'SVF::MTAResultValidator::rthdToChildrenMap()']]],
-  ['rthdtovthd_5247',['rthdTovthd',['../classSVF_1_1MTAResultValidator.html#a615623a08324ee155cb527a3b57e8c19',1,'SVF::MTAResultValidator']]],
-  ['rthdtovthdmap_5248',['rthdTovthdMap',['../classSVF_1_1MTAResultValidator.html#ab386260dd6bbaeacde10e5c81f07502c',1,'SVF::MTAResultValidator::rthdTovthdMap()'],['../classSVF_1_1MTAResultValidator.html#ab386260dd6bbaeacde10e5c81f07502c',1,'SVF::MTAResultValidator::rthdTovthdMap()']]],
-  ['runonmodule_5249',['runOnModule',['../classSVF_1_1BreakConstantGEPs.html#ae99ceb7923161d54e7d0a687f4f68e1a',1,'SVF::BreakConstantGEPs::runOnModule()'],['../classSVF_1_1MergeFunctionRets.html#a8fe74477a43f80104fb3461d006ad392',1,'SVF::MergeFunctionRets::runOnModule()'],['../classSVF_1_1AbstractInterpretation.html#a971a676fb15da74d37de14725bab40b0',1,'SVF::AbstractInterpretation::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_5250',['runPointerAnalysis',['../classSVF_1_1DDAPass.html#ac480fe602e5e2d36ec4815ce50aeaad3',1,'SVF::DDAPass::runPointerAnalysis()'],['../classSVF_1_1WPAPass.html#ace6627f09d237f01d7b698aaea9020eb',1,'SVF::WPAPass::runPointerAnalysis()']]],
-  ['rununcallfuncs_5251',['RunUncallFuncs',['../classSVF_1_1Options.html#abbdf86ddc2fb37d03b7ef7a9bcc4ce29',1,'SVF::Options']]]
+  ['racecheck_5015',['RaceCheck',['../classSVF_1_1Options.html#a2eaa92517689173d93062e01e32ffe4e',1,'SVF::Options']]],
+  ['raceresultvalidator_5016',['RaceResultValidator',['../classSVF_1_1RaceResultValidator.html',1,'SVF']]],
+  ['racevalidator_5017',['RaceValidator',['../classSVF_1_1RaceValidator.html',1,'SVF::RaceValidator'],['../classSVF_1_1RaceValidator.html#a990ee1472b24a746d42b7bac4e453447',1,'SVF::RaceValidator::RaceValidator()']]],
+  ['raw_5018',['raw',['../cJSON_8h.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.h'],['../cJSON_8cpp.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.cpp']]],
+  ['raw_5ffd_5fostream_5019',['raw_fd_ostream',['../namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba',1,'SVF']]],
+  ['raw_5fpointer_5fiterator_5020',['raw_pointer_iterator',['../namespaceSVF.html#af3b0c055d852656a062bf784222a4fea',1,'SVF']]],
+  ['rawproductions_5021',['rawProductions',['../classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd',1,'SVF::GrammarBase']]],
+  ['rc_5faccess_5022',['RC_ACCESS',['../classSVF_1_1RaceResultValidator.html#ab1fbb367d32d72841119795e48cfae2d',1,'SVF::RaceResultValidator']]],
+  ['rc_5faliases_5023',['RC_ALIASES',['../classSVF_1_1RaceResultValidator.html#a090afdd4eb0d60b2a0408f9b5ea4a30e',1,'SVF::RaceResultValidator']]],
+  ['rc_5fflag_5024',['RC_FLAG',['../classSVF_1_1RaceResultValidator.html#ac57ae430ee5b6868fe810172ec658853',1,'SVF::RaceResultValidator::RC_FLAG()'],['../classSVF_1_1RaceResultValidator.html#ac57ae430ee5b6868fe810172ec658853',1,'SVF::RaceResultValidator::RC_FLAG()']]],
+  ['rc_5fmhp_5025',['RC_MHP',['../classSVF_1_1RaceResultValidator.html#aa4129053b7248d4e95763f0b41044e4c',1,'SVF::RaceResultValidator']]],
+  ['rc_5fprotected_5026',['RC_PROTECTED',['../classSVF_1_1RaceResultValidator.html#abcdd726f56cc2deb6cad72456863fc9b',1,'SVF::RaceResultValidator']]],
+  ['rc_5frace_5027',['RC_RACE',['../classSVF_1_1RaceResultValidator.html#abb9eba49d091d292a13478f659a5e53b',1,'SVF::RaceResultValidator']]],
+  ['rcsvfgbuilder_5028',['RcSvfgBuilder',['../classSVF_1_1SVFG.html#a67654d252e9e93b74e35ba247048b41a',1,'SVF::SVFG']]],
+  ['re_5fcomp_5029',['re_comp',['../extapi_8c.html#ab92fb233728874f4d1d12e3820ae261d',1,'extapi.c']]],
+  ['reachablebbs_5030',['reachableBBs',['../classSVF_1_1SVFLoopAndDomInfo.html#af3eeabc8b81b2aff27ae3577195a1eff',1,'SVF::SVFLoopAndDomInfo']]],
+  ['reachglob_5031',['reachGlob',['../classSVF_1_1ProgSlice.html#ab36bc2aa24a2a90555a9714dcbfc83e5',1,'SVF::ProgSlice']]],
+  ['read_5032',['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_5033',['READ_CREATE_EDGE_FWD',['../SVFFileSystem_8cpp.html#a30d1c3675b87f06ba8a58a010ae55fec',1,'SVFFileSystem.cpp']]],
+  ['read_5fcreate_5fnode_5ffwd_5034',['READ_CREATE_NODE_FWD',['../SVFFileSystem_8cpp.html#ad9bbbc9c38a358d29b606dcf38c851ad',1,'SVFFileSystem.cpp']]],
+  ['readander_5035',['ReadAnder',['../classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475',1,'SVF::Options']]],
+  ['readandsetobjfieldsensitivity_5036',['readAndSetObjFieldSensitivity',['../classSVF_1_1BVDataPTAImpl.html#a4ad982a53fbf62c5513afe63b2435fa5',1,'SVF::BVDataPTAImpl']]],
+  ['readbignumber_5037',['readBigNumber',['../namespaceSVF.html#ac9bc0a9e085bace3fcd2e92b6d418dab',1,'SVF']]],
+  ['readdir_5fr_5038',['readdir_r',['../extapi_8c.html#a3ccb1f4f10729777321e33899242f721',1,'extapi.c']]],
+  ['readeridtoobjmap_5039',['ReaderIDToObjMap',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
+  ['readeridtoobjmap_3c_20chnode_20_3e_5040',['ReaderIDToObjMap< CHNode >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
+  ['readeridtoobjmap_3c_20nodety_20_3e_5041',['ReaderIDToObjMap< NodeTy >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
+  ['readeridtoobjmap_3c_20svf_3a_3amemobj_20_3e_5042',['ReaderIDToObjMap< SVF::MemObj >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
+  ['readeridtoobjmap_3c_20svfvar_20_3e_5043',['ReaderIDToObjMap< SVFVar >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
+  ['readerptrpool_5044',['ReaderPtrPool',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20chedge_20_3e_5045',['ReaderPtrPool< CHEdge >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20edgety_20_3e_5046',['ReaderPtrPool< EdgeTy >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20svf_3a_3astinfo_20_3e_5047',['ReaderPtrPool< SVF::StInfo >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20svf_3a_3asvfloop_20_3e_5048',['ReaderPtrPool< SVF::SVFLoop >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20svf_3a_3asvftype_20_3e_5049',['ReaderPtrPool< SVF::SVFType >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20svf_3a_3asvfvalue_20_3e_5050',['ReaderPtrPool< SVF::SVFValue >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20svfstmt_20_3e_5051',['ReaderPtrPool< SVFStmt >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readfile_5052',['readFile',['../classSVF_1_1SVFG.html#a9da50b8f467066b478143af64f7c9858',1,'SVF::SVFG']]],
+  ['readfromfile_5053',['readFromFile',['../classSVF_1_1BVDataPTAImpl.html#a290501006cb700db0e07dc577429c928',1,'SVF::BVDataPTAImpl']]],
+  ['readgepobjvarmapfromfile_5054',['readGepObjVarMapFromFile',['../classSVF_1_1BVDataPTAImpl.html#afce21c2a8fca8a2eae4883d2fe148cc0',1,'SVF::BVDataPTAImpl']]],
+  ['readinheritancemetadatafrommodule_5055',['readInheritanceMetadataFromModule',['../classSVF_1_1CHGBuilder.html#a443b021eb2b08b92164515750385b058',1,'SVF::CHGBuilder']]],
+  ['readjson_5056',['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_5057',['readPrecision',['../classSVF_1_1MTASVFGBuilder.html#a5532751632ece036b3d6741908573b36',1,'SVF::MTASVFGBuilder']]],
+  ['readprecisiontdedge_5058',['ReadPrecisionTDEdge',['../classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916',1,'SVF::Options']]],
+  ['readptsfromfile_5059',['readPtsFromFile',['../classSVF_1_1AndersenBase.html#a69685be598d8aa2576af09912b94a8ef',1,'SVF::AndersenBase::readPtsFromFile()'],['../classSVF_1_1FlowSensitive.html#a46d54b608ad952686349ccac9a3424f1',1,'SVF::FlowSensitive::readPtsFromFile()'],['../classSVF_1_1VersionedFlowSensitive.html#aed829d361a53bde657b04778e6710383',1,'SVF::VersionedFlowSensitive::readPtsFromFile()']]],
+  ['readptsresultfromfile_5060',['readPtsResultFromFile',['../classSVF_1_1BVDataPTAImpl.html#af4e17ce3667d40d1a377508a275af384',1,'SVF::BVDataPTAImpl']]],
+  ['readsmallnumber_5061',['readSmallNumber',['../namespaceSVF.html#a1202d15e828377e9bec5164f76c48096',1,'SVF']]],
+  ['readsvfg_5062',['ReadSVFG',['../classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4',1,'SVF::Options']]],
+  ['readversionedanalysisresultfromfile_5063',['readVersionedAnalysisResultFromFile',['../classSVF_1_1VersionedFlowSensitive.html#a31976bfeb5498ce57262dda34e3bf94a',1,'SVF::VersionedFlowSensitive']]],
+  ['realdeffun_5064',['realDefFun',['../classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007',1,'SVF::SVFFunction']]],
+  ['realdefglobal_5065',['realDefGlobal',['../classSVF_1_1SVFGlobalValue.html#a3048ae66c737eebbe7fe230f95a88b6e',1,'SVF::SVFGlobalValue']]],
+  ['reallocate_5066',['reallocate',['../structinternal__hooks.html#a5dd48d5c2f2b1cf4f6eec5df6205e15c',1,'internal_hooks']]],
+  ['realpath_5067',['realpath',['../extapi_8c.html#a6646e3960f1c015c86c3b45f6e5db53e',1,'extapi.c']]],
+  ['reanalyze_5068',['reanalyze',['../classSVF_1_1WPASolver.html#ac460772d9236a2fefe17b2557023b883',1,'SVF::WPASolver']]],
+  ['recompute_5069',['reCompute',['../classSVF_1_1DDAVFSolver.html#a8c5220108a65fa281959529cb1e9cc57',1,'SVF::DDAVFSolver']]],
+  ['recomputeforedges_5070',['reComputeForEdges',['../classSVF_1_1DDAVFSolver.html#ace037388135f272365cee2e87844bfba',1,'SVF::DDAVFSolver']]],
+  ['recordaddingedge_5071',['recordAddingEdge',['../classSVF_1_1MTASVFGBuilder.html#a2effeeac276a64d612fe6af08ec25b74',1,'SVF::MTASVFGBuilder']]],
+  ['recordedge_5072',['recordEdge',['../classSVF_1_1MTASVFGBuilder.html#a55da7f1a8921727f84232e5905d6135f',1,'SVF::MTASVFGBuilder']]],
+  ['recordedges_5073',['recordedges',['../classSVF_1_1MTASVFGBuilder.html#a13ac51421add3cb242ad823e18938c95',1,'SVF::MTASVFGBuilder']]],
+  ['recordremovingedge_5074',['recordRemovingEdge',['../classSVF_1_1MTASVFGBuilder.html#a97179139a6395a7062d3200c23d4b69d',1,'SVF::MTASVFGBuilder']]],
+  ['recurse_5075',['recurse',['../cJSON_8h.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.h'],['../cJSON_8cpp.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.cpp']]],
+  ['recursivecallpass_5076',['recursiveCallPass',['../classSVF_1_1AbstractInterpretation.html#a0e36af6b826b9eacf183aebd0b8c5f1f',1,'SVF::AbstractInterpretation']]],
+  ['redundantgepnodes_5077',['redundantGepNodes',['../classSVF_1_1AndersenBase.html#a6c3d6b4c004d9e43690c3807502eed74',1,'SVF::AndersenBase']]],
+  ['ref_5078',['Ref',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76',1,'SVF']]],
+  ['reference_5079',['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_5080',['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_5081',['refVal',['../classSVF_1_1MemObj.html#a33d27c3e75e62f31f62c8d9bfc2e0262',1,'SVF::MemObj']]],
+  ['reg2bbmap_5082',['reg2BBMap',['../classSVF_1_1MemSSA.html#add1d4ff17d0860906d2f5f7172176121',1,'SVF::MemSSA']]],
+  ['regionalign_5083',['RegionAlign',['../classSVF_1_1Options.html#a5a70a23e30df8dea3fcaf0e80479fe88',1,'SVF::Options']]],
+  ['regionedclustering_5084',['RegionedClustering',['../classSVF_1_1Options.html#a8cc5b2a363724b558f4932277a87c0f6',1,'SVF::Options']]],
+  ['regioningtime_5085',['RegioningTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad5f733cad8a103a64e80270acb67567a',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['regionobjects_5086',['regionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a7d34542f34a8e8008119c3d61943daa2',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['relationsolver_5087',['RelationSolver',['../classSVF_1_1RelationSolver.html',1,'SVF::RelationSolver'],['../classSVF_1_1AbstractState.html#a44841fb4ad23542383ea77bf1ffda65f',1,'SVF::AbstractState::RelationSolver()'],['../classSVF_1_1RelationSolver.html#aaee624b8260da9ba0de027d80b01d984',1,'SVF::RelationSolver::RelationSolver()']]],
+  ['relationsolver_2ecpp_5088',['RelationSolver.cpp',['../RelationSolver_8cpp.html',1,'']]],
+  ['relationsolver_2eh_5089',['RelationSolver.h',['../RelationSolver_8h.html',1,'']]],
+  ['relationtype_5090',['RELATIONTYPE',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22',1,'SVF::CHGraph']]],
+  ['release_5091',['release',['../classSVF_1_1RaceResultValidator.html#a64f61b58f59eba5f3e7c69f90edc68df',1,'SVF::RaceResultValidator::release()'],['../classSVF_1_1RaceResultValidator.html#a64f61b58f59eba5f3e7c69f90edc68df',1,'SVF::RaceResultValidator::release()']]],
+  ['releaseandersenscd_5092',['releaseAndersenSCD',['../classSVF_1_1AndersenSCD.html#ac2003ddf910f55d5c53c762b45964b50',1,'SVF::AndersenSCD']]],
+  ['releaseandersensfr_5093',['releaseAndersenSFR',['../classSVF_1_1AndersenSFR.html#a4aa1607b7d84a6de151c19ae84b913b9',1,'SVF::AndersenSFR']]],
+  ['releaseandersenwavediff_5094',['releaseAndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html#a5da6abb1a7f0ef3e3871ea6e5a623625',1,'SVF::AndersenWaveDiff']]],
+  ['releasecdg_5095',['releaseCDG',['../classSVF_1_1CDG.html#ab0682abdbd97d1223cc0a968f7ccc543',1,'SVF::CDG']]],
+  ['releasecontext_5096',['releaseContext',['../classSVF_1_1Z3Expr.html#a9da409a05cfd85d966d887b33dd1cc94',1,'SVF::Z3Expr']]],
+  ['releasefsmpta_5097',['releaseFSMPTA',['../classSVF_1_1FSMPTA.html#aea3ec49d7c12dc7e884600d1eddc99f0',1,'SVF::FSMPTA']]],
+  ['releasefswpa_5098',['releaseFSWPA',['../classSVF_1_1FlowSensitive.html#ae6aed22a79ac6567446dfcba82cb17b8',1,'SVF::FlowSensitive']]],
+  ['releasellvmmoduleset_5099',['releaseLLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936',1,'SVF::LLVMModuleSet']]],
+  ['releasememory_5100',['releaseMemory',['../classSVF_1_1SVFGBuilder.html#a6e08e6a99f7e743abf35e603e35e54f5',1,'SVF::SVFGBuilder']]],
+  ['releasesolver_5101',['releaseSolver',['../classSVF_1_1Z3Expr.html#a9cf1997ee2d22542f7288506ed0f4733',1,'SVF::Z3Expr']]],
+  ['releasesteensgaard_5102',['releaseSteensgaard',['../classSVF_1_1Steensgaard.html#a375a16c7538866fcebfecf228f7ee63d',1,'SVF::Steensgaard']]],
+  ['releasesvfir_5103',['releaseSVFIR',['../classSVF_1_1SVFIR.html#a007c86e5d2d541d08815547a5492731e',1,'SVF::SVFIR']]],
+  ['releasesvfmodule_5104',['releaseSVFModule',['../classSVF_1_1SVFModule.html#a545633e2d7f103b4983b47d4e1c56823',1,'SVF::SVFModule']]],
+  ['releasesymbolinfo_5105',['releaseSymbolInfo',['../classSVF_1_1SymbolTableInfo.html#a9f8d99c761f3c7108d797b3702fcbfec',1,'SVF::SymbolTableInfo']]],
+  ['releasevfswpa_5106',['releaseVFSWPA',['../classSVF_1_1VersionedFlowSensitive.html#a754c77fff88e8f415dc7a2096d1bffe2',1,'SVF::VersionedFlowSensitive']]],
+  ['relexestate_5107',['RelExeState',['../classSVF_1_1RelExeState.html',1,'SVF::RelExeState'],['../classSVF_1_1RelExeState.html#a34d81c2627e224283e07765d15543bf1',1,'SVF::RelExeState::RelExeState()=default'],['../classSVF_1_1RelExeState.html#a9e32fb273b4d2d69b1405f514e333033',1,'SVF::RelExeState::RelExeState(VarToValMap &varToVal, AddrToValMap &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_5108',['RelExeState.cpp',['../RelExeState_8cpp.html',1,'']]],
+  ['relexestate_2eh_5109',['RelExeState.h',['../RelExeState_8h.html',1,'']]],
+  ['remapallpts_5110',['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_5111',['remapPointsToSets',['../classSVF_1_1BVDataPTAImpl.html#a7a87ca1a439e871896f92e4342befa2c',1,'SVF::BVDataPTAImpl']]],
+  ['removeaddredge_5112',['removeAddrEdge',['../classSVF_1_1ConstraintGraph.html#acc23df2db1fa7b8e0270d8a04f08f2ee',1,'SVF::ConstraintGraph']]],
+  ['removealledges_5113',['removeAllEdges',['../classSVF_1_1SVFGOPT.html#ac15b3c2cb127b17ebad3a30fc04b6f40',1,'SVF::SVFGOPT']]],
+  ['removeallindirectsvfgedges_5114',['removeAllIndirectSVFGEdges',['../classSVF_1_1VersionedFlowSensitive.html#a275095f60640d862034ad173af3371c3',1,'SVF::VersionedFlowSensitive']]],
+  ['removeback_5115',['removeBack',['../classSVF_1_1FILOWorkList.html#a10c20d2c670af8de5dcbe6f433ca83ee',1,'SVF::FILOWorkList']]],
+  ['removecandidates_5116',['removeCandidates',['../classSVF_1_1WPAMinimumSolver.html#aa6d8de95ddf703fdac33ef1216ce4aff',1,'SVF::WPAMinimumSolver']]],
+  ['removecdgedge_5117',['removeCDGEdge',['../classSVF_1_1CDG.html#afd04ca26b53407aceffe1c507d345f95',1,'SVF::CDG']]],
+  ['removecdgnode_5118',['removeCDGNode',['../classSVF_1_1CDG.html#a260507920498e0d9bd6bf629e6912cdb',1,'SVF::CDG::removeCDGNode(CDGNode *node)'],['../classSVF_1_1CDG.html#a3ff150908e40b1b39799e46317c805fc',1,'SVF::CDG::removeCDGNode(NodeID id)']]],
+  ['removecflinedge_5119',['removeCFLInEdge',['../classSVF_1_1CFLNode.html#a60dfc3e421558eecee5065e8ae5f984a',1,'SVF::CFLNode']]],
+  ['removecfloutedge_5120',['removeCFLOutEdge',['../classSVF_1_1CFLNode.html#a821078d812986c488932610063d7509f',1,'SVF::CFLNode']]],
+  ['removeconstraintnode_5121',['removeConstraintNode',['../classSVF_1_1ConstraintGraph.html#a9e21bc9b86080b4059f0907e9a7b33f3',1,'SVF::ConstraintGraph']]],
+  ['removecxtstmttospan_5122',['removeCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a0b21446e6d5dfc1b5d0ebd75895225dd',1,'SVF::LockAnalysis']]],
+  ['removedirectedge_5123',['removeDirectEdge',['../classSVF_1_1ConstraintGraph.html#a9fc73676ea133651604e2528fe1d8244',1,'SVF::ConstraintGraph']]],
+  ['removedpmfromloc_5124',['removeDpmFromLoc',['../classSVF_1_1DDAVFSolver.html#a00ae738a76564b7b334faae567674e34',1,'SVF::DDAVFSolver']]],
+  ['removedsuvfedges_5125',['removedSUVFEdges',['../classSVF_1_1SaberCondAllocator.html#a0eb6b0b625f412cb603e5483ca88e8dc',1,'SVF::SaberCondAllocator']]],
+  ['removefirstsymbol_5126',['removeFirstSymbol',['../classSVF_1_1CFGNormalizer.html#a711e134b6470e9cc9b337d1b0e4708a9',1,'SVF::CFGNormalizer']]],
+  ['removefront_5127',['removeFront',['../classSVF_1_1FIFOWorkList.html#a621fe65af285665396fa10af9f96ef3a',1,'SVF::FIFOWorkList']]],
+  ['removefunannotations_5128',['removeFunAnnotations',['../namespaceSVF_1_1LLVMUtil.html#a2acb79d8c24884ee2dcbba37d98021d9',1,'SVF::LLVMUtil']]],
+  ['removegnode_5129',['removeGNode',['../classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915',1,'SVF::GenericGraph']]],
+  ['removeicfgedge_5130',['removeICFGEdge',['../classSVF_1_1ICFG.html#a534625b10673efe5b0f344bfebf9b3cf',1,'SVF::ICFG']]],
+  ['removeicfgnode_5131',['removeICFGNode',['../classSVF_1_1ICFG.html#a403cd10f7c01cc879d803a9759e729cb',1,'SVF::ICFG']]],
+  ['removeincomingaddredge_5132',['removeIncomingAddrEdge',['../classSVF_1_1ConstraintNode.html#a5a97f47f5a65550dce11341c6f8d9ae6',1,'SVF::ConstraintNode']]],
+  ['removeincomingdirectedge_5133',['removeIncomingDirectEdge',['../classSVF_1_1ConstraintNode.html#a7946aea5584d124f6c83fd91ab497500',1,'SVF::ConstraintNode']]],
+  ['removeincomingedge_5134',['removeIncomingEdge',['../classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225',1,'SVF::GenericNode']]],
+  ['removeincomingloadedge_5135',['removeIncomingLoadEdge',['../classSVF_1_1ConstraintNode.html#aa1f60c884d007524641d1a786410d41b',1,'SVF::ConstraintNode']]],
+  ['removeincomingstoreedge_5136',['removeIncomingStoreEdge',['../classSVF_1_1ConstraintNode.html#a2d0e87fa3174562c97b519b2b144d8ea',1,'SVF::ConstraintNode']]],
+  ['removeinedges_5137',['removeInEdges',['../classSVF_1_1SVFGOPT.html#a5a2fe12411de408dfb57e910e413957f',1,'SVF::SVFGOPT']]],
+  ['removekey_5138',['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_5139',['removeLoadEdge',['../classSVF_1_1ConstraintGraph.html#aa4bca2422049413439cb0c3400f2ce28',1,'SVF::ConstraintGraph']]],
+  ['removemdtag_5140',['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_5141',['removeOutEdges',['../classSVF_1_1SVFGOPT.html#ae85391a5f0828362c61d55e162eef04d',1,'SVF::SVFGOPT']]],
+  ['removeoutgoingaddredge_5142',['removeOutgoingAddrEdge',['../classSVF_1_1ConstraintNode.html#abaf196bcce496fbdee6740c42ca9dd71',1,'SVF::ConstraintNode']]],
+  ['removeoutgoingdirectedge_5143',['removeOutgoingDirectEdge',['../classSVF_1_1ConstraintNode.html#a73b8c0967cde518a2ea7dfea2a7dc32f',1,'SVF::ConstraintNode']]],
+  ['removeoutgoingedge_5144',['removeOutgoingEdge',['../classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1',1,'SVF::GenericNode']]],
+  ['removeoutgoingloadedge_5145',['removeOutgoingLoadEdge',['../classSVF_1_1ConstraintNode.html#a7d810ec9abc8817a938a557ac78dc8c0',1,'SVF::ConstraintNode']]],
+  ['removeoutgoingstoreedge_5146',['removeOutgoingStoreEdge',['../classSVF_1_1ConstraintNode.html#a24ef3eedb218283d106eceb8a73ca1b4',1,'SVF::ConstraintNode']]],
+  ['removestoreedge_5147',['removeStoreEdge',['../classSVF_1_1ConstraintGraph.html#aad3d05c949c33a587b3ac6d627f5a0a2',1,'SVF::ConstraintGraph']]],
+  ['removesvfgedge_5148',['removeSVFGEdge',['../classSVF_1_1SVFG.html#a931d8b82e10a54d68c68cf6bd80264be',1,'SVF::SVFG']]],
+  ['removesvfgnode_5149',['removeSVFGNode',['../classSVF_1_1SVFG.html#a700c5fc6c1cb4136e55196fe3d393b8b',1,'SVF::SVFG']]],
+  ['removeunusedextapis_5150',['removeUnusedExtAPIs',['../classSVF_1_1LLVMModuleSet.html#aeaf96b0a6ee4b321a173374137ebe5e4',1,'SVF::LLVMModuleSet']]],
+  ['removeunusedfuncsandannotationsandglobalvariables_5151',['removeUnusedFuncsAndAnnotationsAndGlobalVariables',['../namespaceSVF_1_1LLVMUtil.html#a484bbbc9713fc4be173943e6bc177fb5',1,'SVF::LLVMUtil']]],
+  ['removeunusedglobalvariables_5152',['removeUnusedGlobalVariables',['../namespaceSVF_1_1LLVMUtil.html#ae2b444bb3e7a27d77386f588a78af8e2',1,'SVF::LLVMUtil']]],
+  ['removevarfromdfinupdatedset_5153',['removeVarFromDFInUpdatedSet',['../classSVF_1_1MutableIncDFPTData.html#a913c1a2c48526160eeecd028bd22cfc4',1,'SVF::MutableIncDFPTData::removeVarFromDFInUpdatedSet()'],['../classSVF_1_1PersistentIncDFPTData.html#ad449df82589efb4c40affb5fdc46f479',1,'SVF::PersistentIncDFPTData::removeVarFromDFInUpdatedSet()']]],
+  ['removevarfromdfoutupdatedset_5154',['removeVarFromDFOutUpdatedSet',['../classSVF_1_1MutableIncDFPTData.html#ac055ad77582b36083ca1950c39207f5e',1,'SVF::MutableIncDFPTData::removeVarFromDFOutUpdatedSet()'],['../classSVF_1_1PersistentIncDFPTData.html#ad1a2cd17519912b1d7571eeddcdc0060',1,'SVF::PersistentIncDFPTData::removeVarFromDFOutUpdatedSet()']]],
+  ['removevfgedge_5155',['removeVFGEdge',['../classSVF_1_1VFG.html#aeb24b155fe31813b2e6dc0564f55738a',1,'SVF::VFG']]],
+  ['removevfgnode_5156',['removeVFGNode',['../classSVF_1_1VFG.html#a122aa5ad874170ef644cee8705f1ef3e',1,'SVF::VFG']]],
+  ['renamechiset_5157',['RenameChiSet',['../classSVF_1_1MemSSA.html#a6066364112e665c33cbf2ec50ae1e3a8',1,'SVF::MemSSA']]],
+  ['renamemuset_5158',['RenameMuSet',['../classSVF_1_1MemSSA.html#a2527b76b92dffa8f8513ebfdcc8d8133',1,'SVF::MemSSA']]],
+  ['renamephiops_5159',['RenamePhiOps',['../classSVF_1_1MemSSA.html#a0ed34f7a27db045c624c5db61d53132b',1,'SVF::MemSSA']]],
+  ['renamephires_5160',['RenamePhiRes',['../classSVF_1_1MemSSA.html#a630be375832b1477989af85dce6760f3',1,'SVF::MemSSA']]],
+  ['rendergraphfrombottomup_5161',['renderGraphFromBottomUp',['../structSVF_1_1DefaultDOTGraphTraits.html#aeb5908ad6424c0636b698e5ea0a587c0',1,'SVF::DefaultDOTGraphTraits']]],
+  ['rep_5162',['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_5163',['replace_item_in_object',['../cJSON_8cpp.html#afdae75197cf2c440ef858a2e93b104f2',1,'cJSON.cpp']]],
+  ['replaceextension_5164',['replaceExtension',['../llvm2svf_8cpp.html#a7234932227363d976b4dcf64ba29823c',1,'llvm2svf.cpp']]],
+  ['replacefparamaretwithphi_5165',['replaceFParamARetWithPHI',['../classSVF_1_1SVFGOPT.html#a1fd6d26203d7d574b5664b8fcae54c1a',1,'SVF::SVFGOPT']]],
+  ['replacement_5166',['replacement',['../cJSON_8h.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.h'],['../cJSON_8cpp.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.cpp']]],
+  ['repnode_5167',['repNode',['../classSVF_1_1SCCDetection.html#a3a5fdc9330a657240f77199f5aee602d',1,'SVF::SCCDetection']]],
+  ['repnodes_5168',['repNodes',['../classSVF_1_1SCCDetection.html#a2b9605126ebb2abb1e16b3ccf99cf04b',1,'SVF::SCCDetection']]],
+  ['report_5169',['report',['../classSVF_1_1SrcSnkDDA.html#aa7d6999b99412cdc101152867778cd0a',1,'SVF::SrcSnkDDA']]],
+  ['reportbug_5170',['reportBug',['../classSVF_1_1AEStat.html#ae24590233a864e18a6b0948bef89201a',1,'SVF::AEStat::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_5171',['reportMemoryUsageKB',['../namespaceSVF_1_1SVFUtil.html#a6cfe12afa463d0ceddeee11540c33ab3',1,'SVF::SVFUtil']]],
+  ['repr_5172',['repr',['../classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3',1,'SVF::SVFOtherType']]],
+  ['require_5fnull_5fterminated_5173',['require_null_terminated',['../cJSON_8h.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.h'],['../cJSON_8cpp.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.cpp']]],
+  ['requiredbits_5174',['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_5175',['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_5176',['reserve',['../classSVF_1_1WriterPtrPool.html#af0d604a17260624fcabaec623cb72491',1,'SVF::WriterPtrPool::reserve()'],['../classSVF_1_1ReaderPtrPool.html#ac9c1431385ac03aeabbe56603dc9ad92',1,'SVF::ReaderPtrPool::reserve()']]],
+  ['reset_5177',['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_5178',['resetData',['../classSVF_1_1Andersen.html#a95c0b2f501dff61993cd43a5cab89e17',1,'SVF::Andersen']]],
+  ['resetdef_5179',['resetDef',['../classSVF_1_1SVFGOPT.html#af504407e6cd42cfe2ea27165ff15df40',1,'SVF::SVFGOPT']]],
+  ['resetobjfieldsensitive_5180',['resetObjFieldSensitive',['../classSVF_1_1PointerAnalysis.html#a73fb8e595473e0c7df1dd0de4968ad13',1,'SVF::PointerAnalysis']]],
+  ['resetquery_5181',['resetQuery',['../classSVF_1_1DDAVFSolver.html#afe518d3d7f8051de5b9860f2460aa1b7',1,'SVF::DDAVFSolver']]],
+  ['resetrep_5182',['resetRep',['../classSVF_1_1ConstraintGraph.html#aa30231dab5b7c759e4e5d76422a5eb8e',1,'SVF::ConstraintGraph']]],
+  ['resetsubs_5183',['resetSubs',['../classSVF_1_1ConstraintGraph.html#a5fe3815a7990e16b99cf46e90529f8b3',1,'SVF::ConstraintGraph']]],
+  ['resettypeforheapstaticobj_5184',['resetTypeForHeapStaticObj',['../classSVF_1_1ObjTypeInfo.html#ae26937ca2107517e6ede8eb6d76b95d5',1,'SVF::ObjTypeInfo']]],
+  ['resolvecppindcalls_5185',['resolveCPPIndCalls',['../classSVF_1_1PointerAnalysis.html#ac04b64a5884710508b304f93da88c7ba',1,'SVF::PointerAnalysis']]],
+  ['resolvefunptr_5186',['resolveFunPtr',['../classSVF_1_1DDAVFSolver.html#afcc074be34dd0c45418ff16b3d9d4192',1,'SVF::DDAVFSolver']]],
+  ['resolveindcalls_5187',['resolveIndCalls',['../classSVF_1_1PointerAnalysis.html#a8d128246f86f28fdf4981d91169ab440',1,'SVF::PointerAnalysis']]],
+  ['restorefuncname_5188',['restoreFuncName',['../namespaceSVF_1_1LLVMUtil.html#af4c9c5d445107b1816a4be93852ba612',1,'SVF::LLVMUtil']]],
+  ['resulttype_5189',['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_5190',['ResumeInst',['../namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa',1,'SVF']]],
+  ['resver_5191',['resVer',['../classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813',1,'SVF::MSSADEF']]],
+  ['ret_5192',['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_5193',['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_5194',['reTargetDstOfEdge',['../classSVF_1_1ConstraintGraph.html#a4db3484e3710c3f5cc86ec32dd643722',1,'SVF::ConstraintGraph']]],
+  ['retargetedgesofainfout_5195',['retargetEdgesOfAInFOut',['../classSVF_1_1SVFGOPT.html#abefe3efa0232106f1843351ff6dd1063',1,'SVF::SVFGOPT']]],
+  ['retargetedgesofaoutfin_5196',['retargetEdgesOfAOutFIn',['../classSVF_1_1SVFGOPT.html#a2285d20f7c4d128a8ede2e7f4f41f798',1,'SVF::SVFGOPT']]],
+  ['retargetsrcofedge_5197',['reTargetSrcOfEdge',['../classSVF_1_1ConstraintGraph.html#aaae56afed424f7cd59fddb3fcb2f7214',1,'SVF::ConstraintGraph']]],
+  ['retcf_5198',['RetCF',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429ad2370a77f6cc112b8c26efbcc36bf541',1,'SVF::ICFGEdge']]],
+  ['retcfgedge_5199',['RetCFGEdge',['../classSVF_1_1RetCFGEdge.html',1,'SVF::RetCFGEdge'],['../classSVF_1_1RetCFGEdge.html#a5a461528da9eb46ca190fbd49b41d0d1',1,'SVF::RetCFGEdge::RetCFGEdge()']]],
+  ['retdirsvfgedge_5200',['RetDirSVFGEdge',['../classSVF_1_1RetDirSVFGEdge.html',1,'SVF::RetDirSVFGEdge'],['../classSVF_1_1RetDirSVFGEdge.html#a5998569c23747ef9dbe6f86b5a04ce5c',1,'SVF::RetDirSVFGEdge::RetDirSVFGEdge()']]],
+  ['retdirvf_5201',['RetDirVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a8288c583cfcbfdf9aa2ac2103c0e7191',1,'SVF::VFGEdge']]],
+  ['reticfgnode_5202',['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_5203',['RetIndSVFGEdge',['../classSVF_1_1RetIndSVFGEdge.html',1,'SVF::RetIndSVFGEdge'],['../classSVF_1_1RetIndSVFGEdge.html#ae07d99d4156d999512e75b5d5fa207c4',1,'SVF::RetIndSVFGEdge::RetIndSVFGEdge()']]],
+  ['retindvf_5204',['RetIndVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5ac8124172b3f5f7fc94e895f6b192b668',1,'SVF::VFGEdge']]],
+  ['retmssamu_5205',['RetMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba255f3e3fc50f3a8d9a8bd5800b1b4594',1,'SVF::MSSAMU']]],
+  ['retmu_5206',['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_5207',['RetNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5de2a8fce9a85f31818d58992b381b98',1,'SVF::SVFVar']]],
+  ['retpe_5208',['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_5209',['retPEBegin',['../classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132',1,'SVF::FormalRetVFGNode']]],
+  ['retpeend_5210',['retPEEnd',['../classSVF_1_1FormalRetVFGNode.html#adae36045df1057e551d92aa7bfb236f9',1,'SVF::FormalRetVFGNode']]],
+  ['retpes_5211',['retPEs',['../classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157',1,'SVF::FormalRetVFGNode']]],
+  ['retpeset_5212',['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_5213',['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_5214',['RetSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba8ac9528bf8b81f7942c1cdc0bf63ec35',1,'SVF::SymbolTableInfo']]],
+  ['retsyms_5215',['retSyms',['../classSVF_1_1SymbolTableInfo.html#aafd4da7cef6387bb974abe20185b7b96',1,'SVF::SymbolTableInfo']]],
+  ['retty_5216',['retTy',['../classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186',1,'SVF::SVFFunctionType']]],
+  ['rettype_5217',['RetType',['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#abd3fdf0fdc5e4622a879b7890ad43789',1,'SVF::SVFUtil::simplify_type< const From >']]],
+  ['return_5218',['return',['../cJSON_8cpp.html#a15f779a174654a93596726f6eb6b57fe',1,'cJSON.cpp']]],
+  ['return_5fparse_5fend_5219',['return_parse_end',['../cJSON_8h.html#a7725ae4fa33fc499614c6895ee9ee44a',1,'return_parse_end(): cJSON.h'],['../cJSON_8cpp.html#a1a7c63ae727dcb98b54e081b2ff17ed9',1,'return_parse_end(): cJSON.cpp']]],
+  ['returninst_5220',['ReturnInst',['../namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154',1,'SVF']]],
+  ['returnsymmap_5221',['returnSymMap',['../classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681',1,'SVF::SymbolTableInfo']]],
+  ['rev_5222',['rev',['../classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219',1,'SVF::PTData']]],
+  ['reverse_5fdense_5223',['REVERSE_DENSE',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228ae21bc1064d05499c2dc6051d153df9e6',1,'SVF::NodeIDAllocator']]],
+  ['reversenodemapping_5224',['reverseNodeMapping',['../classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1',1,'SVF::PointsTo']]],
+  ['revptsmap_5225',['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()']]],
+  ['rid_5226',['rid',['../classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4',1,'SVF::MemRegion']]],
+  ['rindex_5227',['rindex',['../extapi_8c.html#a83d9aa3251fdee263ad43bf75933de46',1,'extapi.c']]],
+  ['rmderefdirsvfgedges_5228',['rmDerefDirSVFGEdges',['../classSVF_1_1SaberSVFGBuilder.html#ad8f4f63d2071be4eb5f6fb2fdf29a10a',1,'SVF::SaberSVFGBuilder']]],
+  ['rmincomingedgeforsustore_5229',['rmIncomingEdgeForSUStore',['../classSVF_1_1CFLSVFGBuilder.html#a5a8d9e9a8bdb5ff8605592c2310d34a2',1,'SVF::CFLSVFGBuilder::rmIncomingEdgeForSUStore()'],['../classSVF_1_1SaberSVFGBuilder.html#ae0a9c42c850bda29aeae2f47ad2b8f4a',1,'SVF::SaberSVFGBuilder::rmIncomingEdgeForSUStore()']]],
+  ['rminterleavingthread_5230',['rmInterleavingThread',['../classSVF_1_1MHP.html#a02b4ab18067c9b911b4bd53f0426aec3',1,'SVF::MHP']]],
+  ['rmsustat_5231',['rmSUStat',['../classSVF_1_1DDAVFSolver.html#a7d0775354df32f293e98578ed071d33c',1,'SVF::DDAVFSolver']]],
+  ['root_5232',['root',['../classSVF_1_1ProgSlice.html#ada13c2389d43973ff7db18b7fca90087',1,'SVF::ProgSlice']]],
+  ['rsy_5233',['RSY',['../classSVF_1_1RelationSolver.html#a0bc76a5f96dab54e1c9678312579d51a',1,'SVF::RelationSolver']]],
+  ['rsy_5ftime_5234',['RSY_time',['../classSymblicAbstractionTest.html#a96a651463812ee4cdb597926ba3dc1cf',1,'SymblicAbstractionTest']]],
+  ['rthdtochildren_5235',['rthdToChildren',['../classSVF_1_1MTAResultValidator.html#a542f2f41c90698270687fc7858a26555',1,'SVF::MTAResultValidator']]],
+  ['rthdtochildrenmap_5236',['rthdToChildrenMap',['../classSVF_1_1MTAResultValidator.html#a7d2043cf3c354812fa5e4cdf7f60ff20',1,'SVF::MTAResultValidator::rthdToChildrenMap()'],['../classSVF_1_1MTAResultValidator.html#a7d2043cf3c354812fa5e4cdf7f60ff20',1,'SVF::MTAResultValidator::rthdToChildrenMap()']]],
+  ['rthdtovthd_5237',['rthdTovthd',['../classSVF_1_1MTAResultValidator.html#a615623a08324ee155cb527a3b57e8c19',1,'SVF::MTAResultValidator']]],
+  ['rthdtovthdmap_5238',['rthdTovthdMap',['../classSVF_1_1MTAResultValidator.html#ab386260dd6bbaeacde10e5c81f07502c',1,'SVF::MTAResultValidator::rthdTovthdMap()'],['../classSVF_1_1MTAResultValidator.html#ab386260dd6bbaeacde10e5c81f07502c',1,'SVF::MTAResultValidator::rthdTovthdMap()']]],
+  ['runonmodule_5239',['runOnModule',['../classSVF_1_1BreakConstantGEPs.html#ae99ceb7923161d54e7d0a687f4f68e1a',1,'SVF::BreakConstantGEPs::runOnModule()'],['../classSVF_1_1MergeFunctionRets.html#a8fe74477a43f80104fb3461d006ad392',1,'SVF::MergeFunctionRets::runOnModule()'],['../classSVF_1_1AbstractInterpretation.html#a971a676fb15da74d37de14725bab40b0',1,'SVF::AbstractInterpretation::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_5240',['runPointerAnalysis',['../classSVF_1_1DDAPass.html#ac480fe602e5e2d36ec4815ce50aeaad3',1,'SVF::DDAPass::runPointerAnalysis()'],['../classSVF_1_1WPAPass.html#ace6627f09d237f01d7b698aaea9020eb',1,'SVF::WPAPass::runPointerAnalysis()']]],
+  ['rununcallfuncs_5241',['RunUncallFuncs',['../classSVF_1_1Options.html#abbdf86ddc2fb37d03b7ef7a9bcc4ce29',1,'SVF::Options']]]
 ];