svf-tools 1.0.897 → 1.0.899

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

@@ -1,229 +1,229 @@
 var searchData=
 [
-  ['raceresultvalidator_5045',['RaceResultValidator',['../classSVF_1_1RaceResultValidator.html',1,'SVF']]],
-  ['racevalidator_5046',['RaceValidator',['../classSVF_1_1RaceValidator.html',1,'SVF::RaceValidator'],['../classSVF_1_1RaceValidator.html#a990ee1472b24a746d42b7bac4e453447',1,'SVF::RaceValidator::RaceValidator()']]],
-  ['raw_5047',['raw',['../cJSON_8h.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.h'],['../cJSON_8cpp.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.cpp']]],
-  ['raw_5ffd_5fostream_5048',['raw_fd_ostream',['../namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba',1,'SVF']]],
-  ['raw_5fpointer_5fiterator_5049',['raw_pointer_iterator',['../namespaceSVF.html#af3b0c055d852656a062bf784222a4fea',1,'SVF']]],
-  ['rawproductions_5050',['rawProductions',['../classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd',1,'SVF::GrammarBase']]],
-  ['rc_5faccess_5051',['RC_ACCESS',['../classSVF_1_1RaceResultValidator.html#ab1fbb367d32d72841119795e48cfae2d',1,'SVF::RaceResultValidator']]],
-  ['rc_5faliases_5052',['RC_ALIASES',['../classSVF_1_1RaceResultValidator.html#a090afdd4eb0d60b2a0408f9b5ea4a30e',1,'SVF::RaceResultValidator']]],
-  ['rc_5fflag_5053',['RC_FLAG',['../classSVF_1_1RaceResultValidator.html#ac57ae430ee5b6868fe810172ec658853',1,'SVF::RaceResultValidator::RC_FLAG()'],['../classSVF_1_1RaceResultValidator.html#ac57ae430ee5b6868fe810172ec658853',1,'SVF::RaceResultValidator::RC_FLAG()']]],
-  ['rc_5fmhp_5054',['RC_MHP',['../classSVF_1_1RaceResultValidator.html#aa4129053b7248d4e95763f0b41044e4c',1,'SVF::RaceResultValidator']]],
-  ['rc_5fprotected_5055',['RC_PROTECTED',['../classSVF_1_1RaceResultValidator.html#abcdd726f56cc2deb6cad72456863fc9b',1,'SVF::RaceResultValidator']]],
-  ['rc_5frace_5056',['RC_RACE',['../classSVF_1_1RaceResultValidator.html#abb9eba49d091d292a13478f659a5e53b',1,'SVF::RaceResultValidator']]],
-  ['rcsvfgbuilder_5057',['RcSvfgBuilder',['../classSVF_1_1SVFG.html#a67654d252e9e93b74e35ba247048b41a',1,'SVF::SVFG']]],
-  ['re_5fcomp_5058',['re_comp',['../extapi_8c.html#ab92fb233728874f4d1d12e3820ae261d',1,'extapi.c']]],
-  ['reachablebbs_5059',['reachableBBs',['../classSVF_1_1SVFLoopAndDomInfo.html#af3eeabc8b81b2aff27ae3577195a1eff',1,'SVF::SVFLoopAndDomInfo']]],
-  ['reachglob_5060',['reachGlob',['../classSVF_1_1ProgSlice.html#ab36bc2aa24a2a90555a9714dcbfc83e5',1,'SVF::ProgSlice']]],
-  ['read_5061',['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_5062',['READ_CREATE_EDGE_FWD',['../SVFFileSystem_8cpp.html#a30d1c3675b87f06ba8a58a010ae55fec',1,'SVFFileSystem.cpp']]],
-  ['read_5fcreate_5fnode_5ffwd_5063',['READ_CREATE_NODE_FWD',['../SVFFileSystem_8cpp.html#ad9bbbc9c38a358d29b606dcf38c851ad',1,'SVFFileSystem.cpp']]],
-  ['readander_5064',['ReadAnder',['../classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475',1,'SVF::Options']]],
-  ['readandsetobjfieldsensitivity_5065',['readAndSetObjFieldSensitivity',['../classSVF_1_1BVDataPTAImpl.html#a4ad982a53fbf62c5513afe63b2435fa5',1,'SVF::BVDataPTAImpl']]],
-  ['readbignumber_5066',['readBigNumber',['../namespaceSVF.html#ac9bc0a9e085bace3fcd2e92b6d418dab',1,'SVF']]],
-  ['readdir_5fr_5067',['readdir_r',['../extapi_8c.html#a3ccb1f4f10729777321e33899242f721',1,'extapi.c']]],
-  ['readeridtoobjmap_5068',['ReaderIDToObjMap',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
-  ['readeridtoobjmap_3c_20chnode_20_3e_5069',['ReaderIDToObjMap< CHNode >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
-  ['readeridtoobjmap_3c_20nodety_20_3e_5070',['ReaderIDToObjMap< NodeTy >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
-  ['readeridtoobjmap_3c_20svf_3a_3amemobj_20_3e_5071',['ReaderIDToObjMap< SVF::MemObj >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
-  ['readeridtoobjmap_3c_20svfvar_20_3e_5072',['ReaderIDToObjMap< SVFVar >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
-  ['readerptrpool_5073',['ReaderPtrPool',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20chedge_20_3e_5074',['ReaderPtrPool< CHEdge >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20edgety_20_3e_5075',['ReaderPtrPool< EdgeTy >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20svf_3a_3astinfo_20_3e_5076',['ReaderPtrPool< SVF::StInfo >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20svf_3a_3asvfloop_20_3e_5077',['ReaderPtrPool< SVF::SVFLoop >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20svf_3a_3asvftype_20_3e_5078',['ReaderPtrPool< SVF::SVFType >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20svf_3a_3asvfvalue_20_3e_5079',['ReaderPtrPool< SVF::SVFValue >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20svfstmt_20_3e_5080',['ReaderPtrPool< SVFStmt >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readfile_5081',['readFile',['../classSVF_1_1SVFG.html#a9da50b8f467066b478143af64f7c9858',1,'SVF::SVFG']]],
-  ['readfromfile_5082',['readFromFile',['../classSVF_1_1BVDataPTAImpl.html#a290501006cb700db0e07dc577429c928',1,'SVF::BVDataPTAImpl']]],
-  ['readgepobjvarmapfromfile_5083',['readGepObjVarMapFromFile',['../classSVF_1_1BVDataPTAImpl.html#afce21c2a8fca8a2eae4883d2fe148cc0',1,'SVF::BVDataPTAImpl']]],
-  ['readinheritancemetadatafrommodule_5084',['readInheritanceMetadataFromModule',['../classSVF_1_1CHGBuilder.html#a443b021eb2b08b92164515750385b058',1,'SVF::CHGBuilder']]],
-  ['readjson_5085',['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_5086',['readPrecision',['../classSVF_1_1MTASVFGBuilder.html#a5532751632ece036b3d6741908573b36',1,'SVF::MTASVFGBuilder']]],
-  ['readprecisiontdedge_5087',['ReadPrecisionTDEdge',['../classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916',1,'SVF::Options']]],
-  ['readptsfromfile_5088',['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_5089',['readPtsResultFromFile',['../classSVF_1_1BVDataPTAImpl.html#af4e17ce3667d40d1a377508a275af384',1,'SVF::BVDataPTAImpl']]],
-  ['readsmallnumber_5090',['readSmallNumber',['../namespaceSVF.html#a1202d15e828377e9bec5164f76c48096',1,'SVF']]],
-  ['readsvfg_5091',['ReadSVFG',['../classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4',1,'SVF::Options']]],
-  ['readversionedanalysisresultfromfile_5092',['readVersionedAnalysisResultFromFile',['../classSVF_1_1VersionedFlowSensitive.html#a31976bfeb5498ce57262dda34e3bf94a',1,'SVF::VersionedFlowSensitive']]],
-  ['realdeffun_5093',['realDefFun',['../classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007',1,'SVF::SVFFunction']]],
-  ['realdefglobal_5094',['realDefGlobal',['../classSVF_1_1SVFGlobalValue.html#a3048ae66c737eebbe7fe230f95a88b6e',1,'SVF::SVFGlobalValue']]],
-  ['reallocate_5095',['reallocate',['../structinternal__hooks.html#a5dd48d5c2f2b1cf4f6eec5df6205e15c',1,'internal_hooks']]],
-  ['realpath_5096',['realpath',['../extapi_8c.html#a6646e3960f1c015c86c3b45f6e5db53e',1,'extapi.c']]],
-  ['reanalyze_5097',['reanalyze',['../classSVF_1_1WPASolver.html#ac460772d9236a2fefe17b2557023b883',1,'SVF::WPASolver']]],
-  ['recompute_5098',['reCompute',['../classSVF_1_1DDAVFSolver.html#a8c5220108a65fa281959529cb1e9cc57',1,'SVF::DDAVFSolver']]],
-  ['recomputeforedges_5099',['reComputeForEdges',['../classSVF_1_1DDAVFSolver.html#ace037388135f272365cee2e87844bfba',1,'SVF::DDAVFSolver']]],
-  ['recordaddingedge_5100',['recordAddingEdge',['../classSVF_1_1MTASVFGBuilder.html#a2effeeac276a64d612fe6af08ec25b74',1,'SVF::MTASVFGBuilder']]],
-  ['recordedge_5101',['recordEdge',['../classSVF_1_1MTASVFGBuilder.html#a55da7f1a8921727f84232e5905d6135f',1,'SVF::MTASVFGBuilder']]],
-  ['recordedges_5102',['recordedges',['../classSVF_1_1MTASVFGBuilder.html#a13ac51421add3cb242ad823e18938c95',1,'SVF::MTASVFGBuilder']]],
-  ['recordremovingedge_5103',['recordRemovingEdge',['../classSVF_1_1MTASVFGBuilder.html#a97179139a6395a7062d3200c23d4b69d',1,'SVF::MTASVFGBuilder']]],
-  ['recurse_5104',['recurse',['../cJSON_8h.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.h'],['../cJSON_8cpp.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.cpp']]],
-  ['recursivecallpass_5105',['recursiveCallPass',['../classSVF_1_1AbstractExecution.html#aa220cdcd1653998d684ec14fe729932d',1,'SVF::AbstractExecution']]],
-  ['redundantgepnodes_5106',['redundantGepNodes',['../classSVF_1_1AndersenBase.html#a6c3d6b4c004d9e43690c3807502eed74',1,'SVF::AndersenBase']]],
-  ['ref_5107',['Ref',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76',1,'SVF']]],
-  ['reference_5108',['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_5109',['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_5110',['refVal',['../classSVF_1_1MemObj.html#a33d27c3e75e62f31f62c8d9bfc2e0262',1,'SVF::MemObj']]],
-  ['reg2bbmap_5111',['reg2BBMap',['../classSVF_1_1MemSSA.html#add1d4ff17d0860906d2f5f7172176121',1,'SVF::MemSSA']]],
-  ['regionalign_5112',['RegionAlign',['../classSVF_1_1Options.html#a5a70a23e30df8dea3fcaf0e80479fe88',1,'SVF::Options']]],
-  ['regionedclustering_5113',['RegionedClustering',['../classSVF_1_1Options.html#a8cc5b2a363724b558f4932277a87c0f6',1,'SVF::Options']]],
-  ['regioningtime_5114',['RegioningTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad5f733cad8a103a64e80270acb67567a',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['regionobjects_5115',['regionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a7d34542f34a8e8008119c3d61943daa2',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['relationsolver_5116',['RelationSolver',['../classSVF_1_1RelationSolver.html',1,'SVF::RelationSolver'],['../classSVF_1_1IntervalESBase.html#a44841fb4ad23542383ea77bf1ffda65f',1,'SVF::IntervalESBase::RelationSolver()'],['../classSVF_1_1IntervalExeState.html#a44841fb4ad23542383ea77bf1ffda65f',1,'SVF::IntervalExeState::RelationSolver()'],['../classSVF_1_1RelationSolver.html#aaee624b8260da9ba0de027d80b01d984',1,'SVF::RelationSolver::RelationSolver()']]],
-  ['relationsolver_2ecpp_5117',['RelationSolver.cpp',['../RelationSolver_8cpp.html',1,'']]],
-  ['relationsolver_2eh_5118',['RelationSolver.h',['../RelationSolver_8h.html',1,'']]],
-  ['relationtype_5119',['RELATIONTYPE',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22',1,'SVF::CHGraph']]],
-  ['release_5120',['release',['../classSVF_1_1RaceResultValidator.html#a64f61b58f59eba5f3e7c69f90edc68df',1,'SVF::RaceResultValidator::release()'],['../classSVF_1_1RaceResultValidator.html#a64f61b58f59eba5f3e7c69f90edc68df',1,'SVF::RaceResultValidator::release()']]],
-  ['releaseandersenscd_5121',['releaseAndersenSCD',['../classSVF_1_1AndersenSCD.html#ac2003ddf910f55d5c53c762b45964b50',1,'SVF::AndersenSCD']]],
-  ['releaseandersensfr_5122',['releaseAndersenSFR',['../classSVF_1_1AndersenSFR.html#a4aa1607b7d84a6de151c19ae84b913b9',1,'SVF::AndersenSFR']]],
-  ['releaseandersenwavediff_5123',['releaseAndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html#a5da6abb1a7f0ef3e3871ea6e5a623625',1,'SVF::AndersenWaveDiff']]],
-  ['releasecdg_5124',['releaseCDG',['../classSVF_1_1CDG.html#ab0682abdbd97d1223cc0a968f7ccc543',1,'SVF::CDG']]],
-  ['releasecontext_5125',['releaseContext',['../classSVF_1_1Z3Expr.html#a9da409a05cfd85d966d887b33dd1cc94',1,'SVF::Z3Expr']]],
-  ['releasefsmpta_5126',['releaseFSMPTA',['../classSVF_1_1FSMPTA.html#aea3ec49d7c12dc7e884600d1eddc99f0',1,'SVF::FSMPTA']]],
-  ['releasefswpa_5127',['releaseFSWPA',['../classSVF_1_1FlowSensitive.html#ae6aed22a79ac6567446dfcba82cb17b8',1,'SVF::FlowSensitive']]],
-  ['releasellvmmoduleset_5128',['releaseLLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936',1,'SVF::LLVMModuleSet']]],
-  ['releasememory_5129',['releaseMemory',['../classSVF_1_1SVFGBuilder.html#a6e08e6a99f7e743abf35e603e35e54f5',1,'SVF::SVFGBuilder']]],
-  ['releasesolver_5130',['releaseSolver',['../classSVF_1_1Z3Expr.html#a9cf1997ee2d22542f7288506ed0f4733',1,'SVF::Z3Expr']]],
-  ['releasesteensgaard_5131',['releaseSteensgaard',['../classSVF_1_1Steensgaard.html#a375a16c7538866fcebfecf228f7ee63d',1,'SVF::Steensgaard']]],
-  ['releasesvfir_5132',['releaseSVFIR',['../classSVF_1_1SVFIR.html#a007c86e5d2d541d08815547a5492731e',1,'SVF::SVFIR']]],
-  ['releasesvfmodule_5133',['releaseSVFModule',['../classSVF_1_1SVFModule.html#a545633e2d7f103b4983b47d4e1c56823',1,'SVF::SVFModule']]],
-  ['releasesymbolinfo_5134',['releaseSymbolInfo',['../classSVF_1_1SymbolTableInfo.html#a9f8d99c761f3c7108d797b3702fcbfec',1,'SVF::SymbolTableInfo']]],
-  ['releasevfswpa_5135',['releaseVFSWPA',['../classSVF_1_1VersionedFlowSensitive.html#a754c77fff88e8f415dc7a2096d1bffe2',1,'SVF::VersionedFlowSensitive']]],
-  ['relexestate_5136',['RelExeState',['../classSVF_1_1RelExeState.html',1,'SVF::RelExeState'],['../classSVF_1_1RelExeState.html#a34d81c2627e224283e07765d15543bf1',1,'SVF::RelExeState::RelExeState()=default'],['../classSVF_1_1RelExeState.html#a0078db58922ddbf5a9ec9641ed6f4544',1,'SVF::RelExeState::RelExeState(VarToValMap &varToVal, LocToValMap &locToVal)'],['../classSVF_1_1RelExeState.html#a482bd4d7143e7d78a22f276bf5a4f30f',1,'SVF::RelExeState::RelExeState(const RelExeState &rhs)'],['../classSVF_1_1RelExeState.html#a0d2f6c9fe4a54b9a7c6d7167e24e1425',1,'SVF::RelExeState::RelExeState(RelExeState &&rhs) noexcept']]],
-  ['relexestate_2ecpp_5137',['RelExeState.cpp',['../RelExeState_8cpp.html',1,'']]],
-  ['relexestate_2eh_5138',['RelExeState.h',['../RelExeState_8h.html',1,'']]],
-  ['remapallpts_5139',['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_5140',['remapPointsToSets',['../classSVF_1_1BVDataPTAImpl.html#a7a87ca1a439e871896f92e4342befa2c',1,'SVF::BVDataPTAImpl']]],
-  ['removeaddredge_5141',['removeAddrEdge',['../classSVF_1_1ConstraintGraph.html#acc23df2db1fa7b8e0270d8a04f08f2ee',1,'SVF::ConstraintGraph']]],
-  ['removealledges_5142',['removeAllEdges',['../classSVF_1_1SVFGOPT.html#ac15b3c2cb127b17ebad3a30fc04b6f40',1,'SVF::SVFGOPT']]],
-  ['removeallindirectsvfgedges_5143',['removeAllIndirectSVFGEdges',['../classSVF_1_1VersionedFlowSensitive.html#a275095f60640d862034ad173af3371c3',1,'SVF::VersionedFlowSensitive']]],
-  ['removeback_5144',['removeBack',['../classSVF_1_1FILOWorkList.html#a10c20d2c670af8de5dcbe6f433ca83ee',1,'SVF::FILOWorkList']]],
-  ['removecandidates_5145',['removeCandidates',['../classSVF_1_1WPAMinimumSolver.html#aa6d8de95ddf703fdac33ef1216ce4aff',1,'SVF::WPAMinimumSolver']]],
-  ['removecdgedge_5146',['removeCDGEdge',['../classSVF_1_1CDG.html#afd04ca26b53407aceffe1c507d345f95',1,'SVF::CDG']]],
-  ['removecdgnode_5147',['removeCDGNode',['../classSVF_1_1CDG.html#a260507920498e0d9bd6bf629e6912cdb',1,'SVF::CDG::removeCDGNode(CDGNode *node)'],['../classSVF_1_1CDG.html#a3ff150908e40b1b39799e46317c805fc',1,'SVF::CDG::removeCDGNode(NodeID id)']]],
-  ['removecflinedge_5148',['removeCFLInEdge',['../classSVF_1_1CFLNode.html#a60dfc3e421558eecee5065e8ae5f984a',1,'SVF::CFLNode']]],
-  ['removecfloutedge_5149',['removeCFLOutEdge',['../classSVF_1_1CFLNode.html#a821078d812986c488932610063d7509f',1,'SVF::CFLNode']]],
-  ['removeconstraintnode_5150',['removeConstraintNode',['../classSVF_1_1ConstraintGraph.html#a9e21bc9b86080b4059f0907e9a7b33f3',1,'SVF::ConstraintGraph']]],
-  ['removecxtstmttospan_5151',['removeCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a0b21446e6d5dfc1b5d0ebd75895225dd',1,'SVF::LockAnalysis']]],
-  ['removedirectedge_5152',['removeDirectEdge',['../classSVF_1_1ConstraintGraph.html#a9fc73676ea133651604e2528fe1d8244',1,'SVF::ConstraintGraph']]],
-  ['removedpmfromloc_5153',['removeDpmFromLoc',['../classSVF_1_1DDAVFSolver.html#a00ae738a76564b7b334faae567674e34',1,'SVF::DDAVFSolver']]],
-  ['removedsuvfedges_5154',['removedSUVFEdges',['../classSVF_1_1SaberCondAllocator.html#a0eb6b0b625f412cb603e5483ca88e8dc',1,'SVF::SaberCondAllocator']]],
-  ['removefirstsymbol_5155',['removeFirstSymbol',['../classSVF_1_1CFGNormalizer.html#a711e134b6470e9cc9b337d1b0e4708a9',1,'SVF::CFGNormalizer']]],
-  ['removefront_5156',['removeFront',['../classSVF_1_1FIFOWorkList.html#a621fe65af285665396fa10af9f96ef3a',1,'SVF::FIFOWorkList']]],
-  ['removefunannotations_5157',['removeFunAnnotations',['../namespaceSVF_1_1LLVMUtil.html#a2acb79d8c24884ee2dcbba37d98021d9',1,'SVF::LLVMUtil']]],
-  ['removegnode_5158',['removeGNode',['../classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915',1,'SVF::GenericGraph']]],
-  ['removeicfgedge_5159',['removeICFGEdge',['../classSVF_1_1ICFG.html#a534625b10673efe5b0f344bfebf9b3cf',1,'SVF::ICFG']]],
-  ['removeicfgnode_5160',['removeICFGNode',['../classSVF_1_1ICFG.html#a403cd10f7c01cc879d803a9759e729cb',1,'SVF::ICFG']]],
-  ['removeincomingaddredge_5161',['removeIncomingAddrEdge',['../classSVF_1_1ConstraintNode.html#a5a97f47f5a65550dce11341c6f8d9ae6',1,'SVF::ConstraintNode']]],
-  ['removeincomingdirectedge_5162',['removeIncomingDirectEdge',['../classSVF_1_1ConstraintNode.html#a7946aea5584d124f6c83fd91ab497500',1,'SVF::ConstraintNode']]],
-  ['removeincomingedge_5163',['removeIncomingEdge',['../classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225',1,'SVF::GenericNode']]],
-  ['removeincomingloadedge_5164',['removeIncomingLoadEdge',['../classSVF_1_1ConstraintNode.html#aa1f60c884d007524641d1a786410d41b',1,'SVF::ConstraintNode']]],
-  ['removeincomingstoreedge_5165',['removeIncomingStoreEdge',['../classSVF_1_1ConstraintNode.html#a2d0e87fa3174562c97b519b2b144d8ea',1,'SVF::ConstraintNode']]],
-  ['removeinedges_5166',['removeInEdges',['../classSVF_1_1SVFGOPT.html#a5a2fe12411de408dfb57e910e413957f',1,'SVF::SVFGOPT']]],
-  ['removekey_5167',['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_5168',['removeLoadEdge',['../classSVF_1_1ConstraintGraph.html#aa4bca2422049413439cb0c3400f2ce28',1,'SVF::ConstraintGraph']]],
-  ['removemdtag_5169',['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_5170',['removeOutEdges',['../classSVF_1_1SVFGOPT.html#ae85391a5f0828362c61d55e162eef04d',1,'SVF::SVFGOPT']]],
-  ['removeoutgoingaddredge_5171',['removeOutgoingAddrEdge',['../classSVF_1_1ConstraintNode.html#abaf196bcce496fbdee6740c42ca9dd71',1,'SVF::ConstraintNode']]],
-  ['removeoutgoingdirectedge_5172',['removeOutgoingDirectEdge',['../classSVF_1_1ConstraintNode.html#a73b8c0967cde518a2ea7dfea2a7dc32f',1,'SVF::ConstraintNode']]],
-  ['removeoutgoingedge_5173',['removeOutgoingEdge',['../classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1',1,'SVF::GenericNode']]],
-  ['removeoutgoingloadedge_5174',['removeOutgoingLoadEdge',['../classSVF_1_1ConstraintNode.html#a7d810ec9abc8817a938a557ac78dc8c0',1,'SVF::ConstraintNode']]],
-  ['removeoutgoingstoreedge_5175',['removeOutgoingStoreEdge',['../classSVF_1_1ConstraintNode.html#a24ef3eedb218283d106eceb8a73ca1b4',1,'SVF::ConstraintNode']]],
-  ['removestoreedge_5176',['removeStoreEdge',['../classSVF_1_1ConstraintGraph.html#aad3d05c949c33a587b3ac6d627f5a0a2',1,'SVF::ConstraintGraph']]],
-  ['removesvfgedge_5177',['removeSVFGEdge',['../classSVF_1_1SVFG.html#a931d8b82e10a54d68c68cf6bd80264be',1,'SVF::SVFG']]],
-  ['removesvfgnode_5178',['removeSVFGNode',['../classSVF_1_1SVFG.html#a700c5fc6c1cb4136e55196fe3d393b8b',1,'SVF::SVFG']]],
-  ['removeunusedextapis_5179',['removeUnusedExtAPIs',['../classSVF_1_1LLVMModuleSet.html#aeaf96b0a6ee4b321a173374137ebe5e4',1,'SVF::LLVMModuleSet']]],
-  ['removeunusedfuncsandannotationsandglobalvariables_5180',['removeUnusedFuncsAndAnnotationsAndGlobalVariables',['../namespaceSVF_1_1LLVMUtil.html#a484bbbc9713fc4be173943e6bc177fb5',1,'SVF::LLVMUtil']]],
-  ['removeunusedglobalvariables_5181',['removeUnusedGlobalVariables',['../namespaceSVF_1_1LLVMUtil.html#ae2b444bb3e7a27d77386f588a78af8e2',1,'SVF::LLVMUtil']]],
-  ['removevarfromdfinupdatedset_5182',['removeVarFromDFInUpdatedSet',['../classSVF_1_1MutableIncDFPTData.html#a913c1a2c48526160eeecd028bd22cfc4',1,'SVF::MutableIncDFPTData::removeVarFromDFInUpdatedSet()'],['../classSVF_1_1PersistentIncDFPTData.html#ad449df82589efb4c40affb5fdc46f479',1,'SVF::PersistentIncDFPTData::removeVarFromDFInUpdatedSet()']]],
-  ['removevarfromdfoutupdatedset_5183',['removeVarFromDFOutUpdatedSet',['../classSVF_1_1MutableIncDFPTData.html#ac055ad77582b36083ca1950c39207f5e',1,'SVF::MutableIncDFPTData::removeVarFromDFOutUpdatedSet()'],['../classSVF_1_1PersistentIncDFPTData.html#ad1a2cd17519912b1d7571eeddcdc0060',1,'SVF::PersistentIncDFPTData::removeVarFromDFOutUpdatedSet()']]],
-  ['removevfgedge_5184',['removeVFGEdge',['../classSVF_1_1VFG.html#aeb24b155fe31813b2e6dc0564f55738a',1,'SVF::VFG']]],
-  ['removevfgnode_5185',['removeVFGNode',['../classSVF_1_1VFG.html#a122aa5ad874170ef644cee8705f1ef3e',1,'SVF::VFG']]],
-  ['renamechiset_5186',['RenameChiSet',['../classSVF_1_1MemSSA.html#a6066364112e665c33cbf2ec50ae1e3a8',1,'SVF::MemSSA']]],
-  ['renamemuset_5187',['RenameMuSet',['../classSVF_1_1MemSSA.html#a2527b76b92dffa8f8513ebfdcc8d8133',1,'SVF::MemSSA']]],
-  ['renamephiops_5188',['RenamePhiOps',['../classSVF_1_1MemSSA.html#a0ed34f7a27db045c624c5db61d53132b',1,'SVF::MemSSA']]],
-  ['renamephires_5189',['RenamePhiRes',['../classSVF_1_1MemSSA.html#a630be375832b1477989af85dce6760f3',1,'SVF::MemSSA']]],
-  ['rendergraphfrombottomup_5190',['renderGraphFromBottomUp',['../structSVF_1_1DefaultDOTGraphTraits.html#aeb5908ad6424c0636b698e5ea0a587c0',1,'SVF::DefaultDOTGraphTraits']]],
-  ['rep_5191',['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_5192',['replace_item_in_object',['../cJSON_8cpp.html#afdae75197cf2c440ef858a2e93b104f2',1,'cJSON.cpp']]],
-  ['replaceextension_5193',['replaceExtension',['../llvm2svf_8cpp.html#a7234932227363d976b4dcf64ba29823c',1,'llvm2svf.cpp']]],
-  ['replacefparamaretwithphi_5194',['replaceFParamARetWithPHI',['../classSVF_1_1SVFGOPT.html#a1fd6d26203d7d574b5664b8fcae54c1a',1,'SVF::SVFGOPT']]],
-  ['replacement_5195',['replacement',['../cJSON_8h.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.h'],['../cJSON_8cpp.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.cpp']]],
-  ['repnode_5196',['repNode',['../classSVF_1_1SCCDetection.html#a3a5fdc9330a657240f77199f5aee602d',1,'SVF::SCCDetection']]],
-  ['repnodes_5197',['repNodes',['../classSVF_1_1SCCDetection.html#a2b9605126ebb2abb1e16b3ccf99cf04b',1,'SVF::SCCDetection']]],
-  ['report_5198',['report',['../classSVF_1_1SrcSnkDDA.html#aa7d6999b99412cdc101152867778cd0a',1,'SVF::SrcSnkDDA']]],
-  ['reportbug_5199',['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_5200',['reportMemoryUsageKB',['../namespaceSVF_1_1SVFUtil.html#a6cfe12afa463d0ceddeee11540c33ab3',1,'SVF::SVFUtil']]],
-  ['repr_5201',['repr',['../classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3',1,'SVF::SVFOtherType']]],
-  ['require_5fnull_5fterminated_5202',['require_null_terminated',['../cJSON_8h.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.h'],['../cJSON_8cpp.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.cpp']]],
-  ['requiredbits_5203',['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_5204',['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_5205',['reserve',['../classSVF_1_1WriterPtrPool.html#af0d604a17260624fcabaec623cb72491',1,'SVF::WriterPtrPool::reserve()'],['../classSVF_1_1ReaderPtrPool.html#ac9c1431385ac03aeabbe56603dc9ad92',1,'SVF::ReaderPtrPool::reserve()']]],
-  ['reset_5206',['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_5207',['resetData',['../classSVF_1_1Andersen.html#a95c0b2f501dff61993cd43a5cab89e17',1,'SVF::Andersen']]],
-  ['resetdef_5208',['resetDef',['../classSVF_1_1SVFGOPT.html#af504407e6cd42cfe2ea27165ff15df40',1,'SVF::SVFGOPT']]],
-  ['resetobjfieldsensitive_5209',['resetObjFieldSensitive',['../classSVF_1_1PointerAnalysis.html#a73fb8e595473e0c7df1dd0de4968ad13',1,'SVF::PointerAnalysis']]],
-  ['resetquery_5210',['resetQuery',['../classSVF_1_1DDAVFSolver.html#afe518d3d7f8051de5b9860f2460aa1b7',1,'SVF::DDAVFSolver']]],
-  ['resetrep_5211',['resetRep',['../classSVF_1_1ConstraintGraph.html#aa30231dab5b7c759e4e5d76422a5eb8e',1,'SVF::ConstraintGraph']]],
-  ['resetsubs_5212',['resetSubs',['../classSVF_1_1ConstraintGraph.html#a5fe3815a7990e16b99cf46e90529f8b3',1,'SVF::ConstraintGraph']]],
-  ['resettypeforheapstaticobj_5213',['resetTypeForHeapStaticObj',['../classSVF_1_1ObjTypeInfo.html#ae26937ca2107517e6ede8eb6d76b95d5',1,'SVF::ObjTypeInfo']]],
-  ['resolvecppindcalls_5214',['resolveCPPIndCalls',['../classSVF_1_1PointerAnalysis.html#ac04b64a5884710508b304f93da88c7ba',1,'SVF::PointerAnalysis']]],
-  ['resolvefunptr_5215',['resolveFunPtr',['../classSVF_1_1DDAVFSolver.html#afcc074be34dd0c45418ff16b3d9d4192',1,'SVF::DDAVFSolver']]],
-  ['resolveindcalls_5216',['resolveIndCalls',['../classSVF_1_1PointerAnalysis.html#a8d128246f86f28fdf4981d91169ab440',1,'SVF::PointerAnalysis']]],
-  ['restorefuncname_5217',['restoreFuncName',['../namespaceSVF_1_1LLVMUtil.html#af4c9c5d445107b1816a4be93852ba612',1,'SVF::LLVMUtil']]],
-  ['resulttype_5218',['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_5219',['ResumeInst',['../namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa',1,'SVF']]],
-  ['resver_5220',['resVer',['../classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813',1,'SVF::MSSADEF']]],
-  ['ret_5221',['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_5222',['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_5223',['reTargetDstOfEdge',['../classSVF_1_1ConstraintGraph.html#a4db3484e3710c3f5cc86ec32dd643722',1,'SVF::ConstraintGraph']]],
-  ['retargetedgesofainfout_5224',['retargetEdgesOfAInFOut',['../classSVF_1_1SVFGOPT.html#abefe3efa0232106f1843351ff6dd1063',1,'SVF::SVFGOPT']]],
-  ['retargetedgesofaoutfin_5225',['retargetEdgesOfAOutFIn',['../classSVF_1_1SVFGOPT.html#a2285d20f7c4d128a8ede2e7f4f41f798',1,'SVF::SVFGOPT']]],
-  ['retargetsrcofedge_5226',['reTargetSrcOfEdge',['../classSVF_1_1ConstraintGraph.html#aaae56afed424f7cd59fddb3fcb2f7214',1,'SVF::ConstraintGraph']]],
-  ['retcf_5227',['RetCF',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429ad2370a77f6cc112b8c26efbcc36bf541',1,'SVF::ICFGEdge']]],
-  ['retcfgedge_5228',['RetCFGEdge',['../classSVF_1_1RetCFGEdge.html',1,'SVF::RetCFGEdge'],['../classSVF_1_1RetCFGEdge.html#a5a461528da9eb46ca190fbd49b41d0d1',1,'SVF::RetCFGEdge::RetCFGEdge()']]],
-  ['retdirsvfgedge_5229',['RetDirSVFGEdge',['../classSVF_1_1RetDirSVFGEdge.html',1,'SVF::RetDirSVFGEdge'],['../classSVF_1_1RetDirSVFGEdge.html#a5998569c23747ef9dbe6f86b5a04ce5c',1,'SVF::RetDirSVFGEdge::RetDirSVFGEdge()']]],
-  ['retdirvf_5230',['RetDirVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a8288c583cfcbfdf9aa2ac2103c0e7191',1,'SVF::VFGEdge']]],
-  ['reticfgnode_5231',['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_5232',['RetIndSVFGEdge',['../classSVF_1_1RetIndSVFGEdge.html',1,'SVF::RetIndSVFGEdge'],['../classSVF_1_1RetIndSVFGEdge.html#ae07d99d4156d999512e75b5d5fa207c4',1,'SVF::RetIndSVFGEdge::RetIndSVFGEdge()']]],
-  ['retindvf_5233',['RetIndVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5ac8124172b3f5f7fc94e895f6b192b668',1,'SVF::VFGEdge']]],
-  ['retmssamu_5234',['RetMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba255f3e3fc50f3a8d9a8bd5800b1b4594',1,'SVF::MSSAMU']]],
-  ['retmu_5235',['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_5236',['RetNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5de2a8fce9a85f31818d58992b381b98',1,'SVF::SVFVar']]],
-  ['retpe_5237',['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_5238',['retPEBegin',['../classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132',1,'SVF::FormalRetVFGNode']]],
-  ['retpeend_5239',['retPEEnd',['../classSVF_1_1FormalRetVFGNode.html#adae36045df1057e551d92aa7bfb236f9',1,'SVF::FormalRetVFGNode']]],
-  ['retpes_5240',['retPEs',['../classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157',1,'SVF::FormalRetVFGNode']]],
-  ['retpeset_5241',['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_5242',['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_5243',['RetSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba8ac9528bf8b81f7942c1cdc0bf63ec35',1,'SVF::SymbolTableInfo']]],
-  ['retsyms_5244',['retSyms',['../classSVF_1_1SymbolTableInfo.html#aafd4da7cef6387bb974abe20185b7b96',1,'SVF::SymbolTableInfo']]],
-  ['retty_5245',['retTy',['../classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186',1,'SVF::SVFFunctionType']]],
-  ['rettype_5246',['RetType',['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#abd3fdf0fdc5e4622a879b7890ad43789',1,'SVF::SVFUtil::simplify_type< const From >']]],
-  ['return_5247',['return',['../cJSON_8cpp.html#a15f779a174654a93596726f6eb6b57fe',1,'cJSON.cpp']]],
-  ['return_5fparse_5fend_5248',['return_parse_end',['../cJSON_8h.html#a7725ae4fa33fc499614c6895ee9ee44a',1,'return_parse_end(): cJSON.h'],['../cJSON_8cpp.html#a1a7c63ae727dcb98b54e081b2ff17ed9',1,'return_parse_end(): cJSON.cpp']]],
-  ['returninst_5249',['ReturnInst',['../namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154',1,'SVF']]],
-  ['returnsymmap_5250',['returnSymMap',['../classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681',1,'SVF::SymbolTableInfo']]],
-  ['rev_5251',['rev',['../classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219',1,'SVF::PTData']]],
-  ['reverse_5fdense_5252',['REVERSE_DENSE',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228ae21bc1064d05499c2dc6051d153df9e6',1,'SVF::NodeIDAllocator']]],
-  ['reversenodemapping_5253',['reverseNodeMapping',['../classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1',1,'SVF::PointsTo']]],
-  ['revptsmap_5254',['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_5255',['rid',['../classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4',1,'SVF::MemRegion']]],
-  ['rindex_5256',['rindex',['../extapi_8c.html#a83d9aa3251fdee263ad43bf75933de46',1,'extapi.c']]],
-  ['rmderefdirsvfgedges_5257',['rmDerefDirSVFGEdges',['../classSVF_1_1SaberSVFGBuilder.html#ad8f4f63d2071be4eb5f6fb2fdf29a10a',1,'SVF::SaberSVFGBuilder']]],
-  ['rmincomingedgeforsustore_5258',['rmIncomingEdgeForSUStore',['../classSVF_1_1CFLSVFGBuilder.html#a5a8d9e9a8bdb5ff8605592c2310d34a2',1,'SVF::CFLSVFGBuilder::rmIncomingEdgeForSUStore()'],['../classSVF_1_1SaberSVFGBuilder.html#ae0a9c42c850bda29aeae2f47ad2b8f4a',1,'SVF::SaberSVFGBuilder::rmIncomingEdgeForSUStore()']]],
-  ['rminterleavingthread_5259',['rmInterleavingThread',['../classSVF_1_1MHP.html#a02b4ab18067c9b911b4bd53f0426aec3',1,'SVF::MHP']]],
-  ['rmsustat_5260',['rmSUStat',['../classSVF_1_1DDAVFSolver.html#a7d0775354df32f293e98578ed071d33c',1,'SVF::DDAVFSolver']]],
-  ['root_5261',['root',['../classSVF_1_1ProgSlice.html#ada13c2389d43973ff7db18b7fca90087',1,'SVF::ProgSlice']]],
-  ['rsy_5262',['RSY',['../classSVF_1_1RelationSolver.html#a657af041f883e7b1a3f9892453a2c4cf',1,'SVF::RelationSolver']]],
-  ['rsy_5ftime_5263',['RSY_time',['../classSymblicAbstractionTest.html#abaa1ae92b79979cfabee1a2b8a284f80',1,'SymblicAbstractionTest']]],
-  ['rthdtochildren_5264',['rthdToChildren',['../classSVF_1_1MTAResultValidator.html#a542f2f41c90698270687fc7858a26555',1,'SVF::MTAResultValidator']]],
-  ['rthdtochildrenmap_5265',['rthdToChildrenMap',['../classSVF_1_1MTAResultValidator.html#a7d2043cf3c354812fa5e4cdf7f60ff20',1,'SVF::MTAResultValidator::rthdToChildrenMap()'],['../classSVF_1_1MTAResultValidator.html#a7d2043cf3c354812fa5e4cdf7f60ff20',1,'SVF::MTAResultValidator::rthdToChildrenMap()']]],
-  ['rthdtovthd_5266',['rthdTovthd',['../classSVF_1_1MTAResultValidator.html#a615623a08324ee155cb527a3b57e8c19',1,'SVF::MTAResultValidator']]],
-  ['rthdtovthdmap_5267',['rthdTovthdMap',['../classSVF_1_1MTAResultValidator.html#ab386260dd6bbaeacde10e5c81f07502c',1,'SVF::MTAResultValidator::rthdTovthdMap()'],['../classSVF_1_1MTAResultValidator.html#ab386260dd6bbaeacde10e5c81f07502c',1,'SVF::MTAResultValidator::rthdTovthdMap()']]],
-  ['runonmodule_5268',['runOnModule',['../classSVF_1_1BreakConstantGEPs.html#ae99ceb7923161d54e7d0a687f4f68e1a',1,'SVF::BreakConstantGEPs::runOnModule()'],['../classSVF_1_1MergeFunctionRets.html#a8fe74477a43f80104fb3461d006ad392',1,'SVF::MergeFunctionRets::runOnModule()'],['../classSVF_1_1AbstractExecution.html#ac848658bb3069193b1c7b08199b3d4c7',1,'SVF::AbstractExecution::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_5269',['runPointerAnalysis',['../classSVF_1_1DDAPass.html#ac480fe602e5e2d36ec4815ce50aeaad3',1,'SVF::DDAPass::runPointerAnalysis()'],['../classSVF_1_1WPAPass.html#ace6627f09d237f01d7b698aaea9020eb',1,'SVF::WPAPass::runPointerAnalysis()']]],
-  ['rununcallfuncs_5270',['RunUncallFuncs',['../classSVF_1_1Options.html#abbdf86ddc2fb37d03b7ef7a9bcc4ce29',1,'SVF::Options']]]
+  ['raceresultvalidator_5065',['RaceResultValidator',['../classSVF_1_1RaceResultValidator.html',1,'SVF']]],
+  ['racevalidator_5066',['RaceValidator',['../classSVF_1_1RaceValidator.html',1,'SVF::RaceValidator'],['../classSVF_1_1RaceValidator.html#a990ee1472b24a746d42b7bac4e453447',1,'SVF::RaceValidator::RaceValidator()']]],
+  ['raw_5067',['raw',['../cJSON_8h.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.h'],['../cJSON_8cpp.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.cpp']]],
+  ['raw_5ffd_5fostream_5068',['raw_fd_ostream',['../namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba',1,'SVF']]],
+  ['raw_5fpointer_5fiterator_5069',['raw_pointer_iterator',['../namespaceSVF.html#af3b0c055d852656a062bf784222a4fea',1,'SVF']]],
+  ['rawproductions_5070',['rawProductions',['../classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd',1,'SVF::GrammarBase']]],
+  ['rc_5faccess_5071',['RC_ACCESS',['../classSVF_1_1RaceResultValidator.html#ab1fbb367d32d72841119795e48cfae2d',1,'SVF::RaceResultValidator']]],
+  ['rc_5faliases_5072',['RC_ALIASES',['../classSVF_1_1RaceResultValidator.html#a090afdd4eb0d60b2a0408f9b5ea4a30e',1,'SVF::RaceResultValidator']]],
+  ['rc_5fflag_5073',['RC_FLAG',['../classSVF_1_1RaceResultValidator.html#ac57ae430ee5b6868fe810172ec658853',1,'SVF::RaceResultValidator::RC_FLAG()'],['../classSVF_1_1RaceResultValidator.html#ac57ae430ee5b6868fe810172ec658853',1,'SVF::RaceResultValidator::RC_FLAG()']]],
+  ['rc_5fmhp_5074',['RC_MHP',['../classSVF_1_1RaceResultValidator.html#aa4129053b7248d4e95763f0b41044e4c',1,'SVF::RaceResultValidator']]],
+  ['rc_5fprotected_5075',['RC_PROTECTED',['../classSVF_1_1RaceResultValidator.html#abcdd726f56cc2deb6cad72456863fc9b',1,'SVF::RaceResultValidator']]],
+  ['rc_5frace_5076',['RC_RACE',['../classSVF_1_1RaceResultValidator.html#abb9eba49d091d292a13478f659a5e53b',1,'SVF::RaceResultValidator']]],
+  ['rcsvfgbuilder_5077',['RcSvfgBuilder',['../classSVF_1_1SVFG.html#a67654d252e9e93b74e35ba247048b41a',1,'SVF::SVFG']]],
+  ['re_5fcomp_5078',['re_comp',['../extapi_8c.html#ab92fb233728874f4d1d12e3820ae261d',1,'extapi.c']]],
+  ['reachablebbs_5079',['reachableBBs',['../classSVF_1_1SVFLoopAndDomInfo.html#af3eeabc8b81b2aff27ae3577195a1eff',1,'SVF::SVFLoopAndDomInfo']]],
+  ['reachglob_5080',['reachGlob',['../classSVF_1_1ProgSlice.html#ab36bc2aa24a2a90555a9714dcbfc83e5',1,'SVF::ProgSlice']]],
+  ['read_5081',['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_5082',['READ_CREATE_EDGE_FWD',['../SVFFileSystem_8cpp.html#a30d1c3675b87f06ba8a58a010ae55fec',1,'SVFFileSystem.cpp']]],
+  ['read_5fcreate_5fnode_5ffwd_5083',['READ_CREATE_NODE_FWD',['../SVFFileSystem_8cpp.html#ad9bbbc9c38a358d29b606dcf38c851ad',1,'SVFFileSystem.cpp']]],
+  ['readander_5084',['ReadAnder',['../classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475',1,'SVF::Options']]],
+  ['readandsetobjfieldsensitivity_5085',['readAndSetObjFieldSensitivity',['../classSVF_1_1BVDataPTAImpl.html#a4ad982a53fbf62c5513afe63b2435fa5',1,'SVF::BVDataPTAImpl']]],
+  ['readbignumber_5086',['readBigNumber',['../namespaceSVF.html#ac9bc0a9e085bace3fcd2e92b6d418dab',1,'SVF']]],
+  ['readdir_5fr_5087',['readdir_r',['../extapi_8c.html#a3ccb1f4f10729777321e33899242f721',1,'extapi.c']]],
+  ['readeridtoobjmap_5088',['ReaderIDToObjMap',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
+  ['readeridtoobjmap_3c_20chnode_20_3e_5089',['ReaderIDToObjMap< CHNode >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
+  ['readeridtoobjmap_3c_20nodety_20_3e_5090',['ReaderIDToObjMap< NodeTy >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
+  ['readeridtoobjmap_3c_20svf_3a_3amemobj_20_3e_5091',['ReaderIDToObjMap< SVF::MemObj >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
+  ['readeridtoobjmap_3c_20svfvar_20_3e_5092',['ReaderIDToObjMap< SVFVar >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
+  ['readerptrpool_5093',['ReaderPtrPool',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20chedge_20_3e_5094',['ReaderPtrPool< CHEdge >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20edgety_20_3e_5095',['ReaderPtrPool< EdgeTy >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20svf_3a_3astinfo_20_3e_5096',['ReaderPtrPool< SVF::StInfo >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20svf_3a_3asvfloop_20_3e_5097',['ReaderPtrPool< SVF::SVFLoop >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20svf_3a_3asvftype_20_3e_5098',['ReaderPtrPool< SVF::SVFType >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20svf_3a_3asvfvalue_20_3e_5099',['ReaderPtrPool< SVF::SVFValue >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20svfstmt_20_3e_5100',['ReaderPtrPool< SVFStmt >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readfile_5101',['readFile',['../classSVF_1_1SVFG.html#a9da50b8f467066b478143af64f7c9858',1,'SVF::SVFG']]],
+  ['readfromfile_5102',['readFromFile',['../classSVF_1_1BVDataPTAImpl.html#a290501006cb700db0e07dc577429c928',1,'SVF::BVDataPTAImpl']]],
+  ['readgepobjvarmapfromfile_5103',['readGepObjVarMapFromFile',['../classSVF_1_1BVDataPTAImpl.html#afce21c2a8fca8a2eae4883d2fe148cc0',1,'SVF::BVDataPTAImpl']]],
+  ['readinheritancemetadatafrommodule_5104',['readInheritanceMetadataFromModule',['../classSVF_1_1CHGBuilder.html#a443b021eb2b08b92164515750385b058',1,'SVF::CHGBuilder']]],
+  ['readjson_5105',['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_5106',['readPrecision',['../classSVF_1_1MTASVFGBuilder.html#a5532751632ece036b3d6741908573b36',1,'SVF::MTASVFGBuilder']]],
+  ['readprecisiontdedge_5107',['ReadPrecisionTDEdge',['../classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916',1,'SVF::Options']]],
+  ['readptsfromfile_5108',['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_5109',['readPtsResultFromFile',['../classSVF_1_1BVDataPTAImpl.html#af4e17ce3667d40d1a377508a275af384',1,'SVF::BVDataPTAImpl']]],
+  ['readsmallnumber_5110',['readSmallNumber',['../namespaceSVF.html#a1202d15e828377e9bec5164f76c48096',1,'SVF']]],
+  ['readsvfg_5111',['ReadSVFG',['../classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4',1,'SVF::Options']]],
+  ['readversionedanalysisresultfromfile_5112',['readVersionedAnalysisResultFromFile',['../classSVF_1_1VersionedFlowSensitive.html#a31976bfeb5498ce57262dda34e3bf94a',1,'SVF::VersionedFlowSensitive']]],
+  ['realdeffun_5113',['realDefFun',['../classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007',1,'SVF::SVFFunction']]],
+  ['realdefglobal_5114',['realDefGlobal',['../classSVF_1_1SVFGlobalValue.html#a3048ae66c737eebbe7fe230f95a88b6e',1,'SVF::SVFGlobalValue']]],
+  ['reallocate_5115',['reallocate',['../structinternal__hooks.html#a5dd48d5c2f2b1cf4f6eec5df6205e15c',1,'internal_hooks']]],
+  ['realpath_5116',['realpath',['../extapi_8c.html#a6646e3960f1c015c86c3b45f6e5db53e',1,'extapi.c']]],
+  ['reanalyze_5117',['reanalyze',['../classSVF_1_1WPASolver.html#ac460772d9236a2fefe17b2557023b883',1,'SVF::WPASolver']]],
+  ['recompute_5118',['reCompute',['../classSVF_1_1DDAVFSolver.html#a8c5220108a65fa281959529cb1e9cc57',1,'SVF::DDAVFSolver']]],
+  ['recomputeforedges_5119',['reComputeForEdges',['../classSVF_1_1DDAVFSolver.html#ace037388135f272365cee2e87844bfba',1,'SVF::DDAVFSolver']]],
+  ['recordaddingedge_5120',['recordAddingEdge',['../classSVF_1_1MTASVFGBuilder.html#a2effeeac276a64d612fe6af08ec25b74',1,'SVF::MTASVFGBuilder']]],
+  ['recordedge_5121',['recordEdge',['../classSVF_1_1MTASVFGBuilder.html#a55da7f1a8921727f84232e5905d6135f',1,'SVF::MTASVFGBuilder']]],
+  ['recordedges_5122',['recordedges',['../classSVF_1_1MTASVFGBuilder.html#a13ac51421add3cb242ad823e18938c95',1,'SVF::MTASVFGBuilder']]],
+  ['recordremovingedge_5123',['recordRemovingEdge',['../classSVF_1_1MTASVFGBuilder.html#a97179139a6395a7062d3200c23d4b69d',1,'SVF::MTASVFGBuilder']]],
+  ['recurse_5124',['recurse',['../cJSON_8h.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.h'],['../cJSON_8cpp.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.cpp']]],
+  ['recursivecallpass_5125',['recursiveCallPass',['../classSVF_1_1AbstractExecution.html#aa220cdcd1653998d684ec14fe729932d',1,'SVF::AbstractExecution']]],
+  ['redundantgepnodes_5126',['redundantGepNodes',['../classSVF_1_1AndersenBase.html#a6c3d6b4c004d9e43690c3807502eed74',1,'SVF::AndersenBase']]],
+  ['ref_5127',['Ref',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76',1,'SVF']]],
+  ['reference_5128',['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_5129',['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_5130',['refVal',['../classSVF_1_1MemObj.html#a33d27c3e75e62f31f62c8d9bfc2e0262',1,'SVF::MemObj']]],
+  ['reg2bbmap_5131',['reg2BBMap',['../classSVF_1_1MemSSA.html#add1d4ff17d0860906d2f5f7172176121',1,'SVF::MemSSA']]],
+  ['regionalign_5132',['RegionAlign',['../classSVF_1_1Options.html#a5a70a23e30df8dea3fcaf0e80479fe88',1,'SVF::Options']]],
+  ['regionedclustering_5133',['RegionedClustering',['../classSVF_1_1Options.html#a8cc5b2a363724b558f4932277a87c0f6',1,'SVF::Options']]],
+  ['regioningtime_5134',['RegioningTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad5f733cad8a103a64e80270acb67567a',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['regionobjects_5135',['regionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a7d34542f34a8e8008119c3d61943daa2',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['relationsolver_5136',['RelationSolver',['../classSVF_1_1RelationSolver.html',1,'SVF::RelationSolver'],['../classSVF_1_1IntervalESBase.html#a44841fb4ad23542383ea77bf1ffda65f',1,'SVF::IntervalESBase::RelationSolver()'],['../classSVF_1_1IntervalExeState.html#a44841fb4ad23542383ea77bf1ffda65f',1,'SVF::IntervalExeState::RelationSolver()'],['../classSVF_1_1RelationSolver.html#aaee624b8260da9ba0de027d80b01d984',1,'SVF::RelationSolver::RelationSolver()']]],
+  ['relationsolver_2ecpp_5137',['RelationSolver.cpp',['../RelationSolver_8cpp.html',1,'']]],
+  ['relationsolver_2eh_5138',['RelationSolver.h',['../RelationSolver_8h.html',1,'']]],
+  ['relationtype_5139',['RELATIONTYPE',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22',1,'SVF::CHGraph']]],
+  ['release_5140',['release',['../classSVF_1_1RaceResultValidator.html#a64f61b58f59eba5f3e7c69f90edc68df',1,'SVF::RaceResultValidator::release()'],['../classSVF_1_1RaceResultValidator.html#a64f61b58f59eba5f3e7c69f90edc68df',1,'SVF::RaceResultValidator::release()']]],
+  ['releaseandersenscd_5141',['releaseAndersenSCD',['../classSVF_1_1AndersenSCD.html#ac2003ddf910f55d5c53c762b45964b50',1,'SVF::AndersenSCD']]],
+  ['releaseandersensfr_5142',['releaseAndersenSFR',['../classSVF_1_1AndersenSFR.html#a4aa1607b7d84a6de151c19ae84b913b9',1,'SVF::AndersenSFR']]],
+  ['releaseandersenwavediff_5143',['releaseAndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html#a5da6abb1a7f0ef3e3871ea6e5a623625',1,'SVF::AndersenWaveDiff']]],
+  ['releasecdg_5144',['releaseCDG',['../classSVF_1_1CDG.html#ab0682abdbd97d1223cc0a968f7ccc543',1,'SVF::CDG']]],
+  ['releasecontext_5145',['releaseContext',['../classSVF_1_1Z3Expr.html#a9da409a05cfd85d966d887b33dd1cc94',1,'SVF::Z3Expr']]],
+  ['releasefsmpta_5146',['releaseFSMPTA',['../classSVF_1_1FSMPTA.html#aea3ec49d7c12dc7e884600d1eddc99f0',1,'SVF::FSMPTA']]],
+  ['releasefswpa_5147',['releaseFSWPA',['../classSVF_1_1FlowSensitive.html#ae6aed22a79ac6567446dfcba82cb17b8',1,'SVF::FlowSensitive']]],
+  ['releasellvmmoduleset_5148',['releaseLLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936',1,'SVF::LLVMModuleSet']]],
+  ['releasememory_5149',['releaseMemory',['../classSVF_1_1SVFGBuilder.html#a6e08e6a99f7e743abf35e603e35e54f5',1,'SVF::SVFGBuilder']]],
+  ['releasesolver_5150',['releaseSolver',['../classSVF_1_1Z3Expr.html#a9cf1997ee2d22542f7288506ed0f4733',1,'SVF::Z3Expr']]],
+  ['releasesteensgaard_5151',['releaseSteensgaard',['../classSVF_1_1Steensgaard.html#a375a16c7538866fcebfecf228f7ee63d',1,'SVF::Steensgaard']]],
+  ['releasesvfir_5152',['releaseSVFIR',['../classSVF_1_1SVFIR.html#a007c86e5d2d541d08815547a5492731e',1,'SVF::SVFIR']]],
+  ['releasesvfmodule_5153',['releaseSVFModule',['../classSVF_1_1SVFModule.html#a545633e2d7f103b4983b47d4e1c56823',1,'SVF::SVFModule']]],
+  ['releasesymbolinfo_5154',['releaseSymbolInfo',['../classSVF_1_1SymbolTableInfo.html#a9f8d99c761f3c7108d797b3702fcbfec',1,'SVF::SymbolTableInfo']]],
+  ['releasevfswpa_5155',['releaseVFSWPA',['../classSVF_1_1VersionedFlowSensitive.html#a754c77fff88e8f415dc7a2096d1bffe2',1,'SVF::VersionedFlowSensitive']]],
+  ['relexestate_5156',['RelExeState',['../classSVF_1_1RelExeState.html',1,'SVF::RelExeState'],['../classSVF_1_1RelExeState.html#a34d81c2627e224283e07765d15543bf1',1,'SVF::RelExeState::RelExeState()=default'],['../classSVF_1_1RelExeState.html#a0078db58922ddbf5a9ec9641ed6f4544',1,'SVF::RelExeState::RelExeState(VarToValMap &varToVal, LocToValMap &locToVal)'],['../classSVF_1_1RelExeState.html#a482bd4d7143e7d78a22f276bf5a4f30f',1,'SVF::RelExeState::RelExeState(const RelExeState &rhs)'],['../classSVF_1_1RelExeState.html#a0d2f6c9fe4a54b9a7c6d7167e24e1425',1,'SVF::RelExeState::RelExeState(RelExeState &&rhs) noexcept']]],
+  ['relexestate_2ecpp_5157',['RelExeState.cpp',['../RelExeState_8cpp.html',1,'']]],
+  ['relexestate_2eh_5158',['RelExeState.h',['../RelExeState_8h.html',1,'']]],
+  ['remapallpts_5159',['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_5160',['remapPointsToSets',['../classSVF_1_1BVDataPTAImpl.html#a7a87ca1a439e871896f92e4342befa2c',1,'SVF::BVDataPTAImpl']]],
+  ['removeaddredge_5161',['removeAddrEdge',['../classSVF_1_1ConstraintGraph.html#acc23df2db1fa7b8e0270d8a04f08f2ee',1,'SVF::ConstraintGraph']]],
+  ['removealledges_5162',['removeAllEdges',['../classSVF_1_1SVFGOPT.html#ac15b3c2cb127b17ebad3a30fc04b6f40',1,'SVF::SVFGOPT']]],
+  ['removeallindirectsvfgedges_5163',['removeAllIndirectSVFGEdges',['../classSVF_1_1VersionedFlowSensitive.html#a275095f60640d862034ad173af3371c3',1,'SVF::VersionedFlowSensitive']]],
+  ['removeback_5164',['removeBack',['../classSVF_1_1FILOWorkList.html#a10c20d2c670af8de5dcbe6f433ca83ee',1,'SVF::FILOWorkList']]],
+  ['removecandidates_5165',['removeCandidates',['../classSVF_1_1WPAMinimumSolver.html#aa6d8de95ddf703fdac33ef1216ce4aff',1,'SVF::WPAMinimumSolver']]],
+  ['removecdgedge_5166',['removeCDGEdge',['../classSVF_1_1CDG.html#afd04ca26b53407aceffe1c507d345f95',1,'SVF::CDG']]],
+  ['removecdgnode_5167',['removeCDGNode',['../classSVF_1_1CDG.html#a260507920498e0d9bd6bf629e6912cdb',1,'SVF::CDG::removeCDGNode(CDGNode *node)'],['../classSVF_1_1CDG.html#a3ff150908e40b1b39799e46317c805fc',1,'SVF::CDG::removeCDGNode(NodeID id)']]],
+  ['removecflinedge_5168',['removeCFLInEdge',['../classSVF_1_1CFLNode.html#a60dfc3e421558eecee5065e8ae5f984a',1,'SVF::CFLNode']]],
+  ['removecfloutedge_5169',['removeCFLOutEdge',['../classSVF_1_1CFLNode.html#a821078d812986c488932610063d7509f',1,'SVF::CFLNode']]],
+  ['removeconstraintnode_5170',['removeConstraintNode',['../classSVF_1_1ConstraintGraph.html#a9e21bc9b86080b4059f0907e9a7b33f3',1,'SVF::ConstraintGraph']]],
+  ['removecxtstmttospan_5171',['removeCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a0b21446e6d5dfc1b5d0ebd75895225dd',1,'SVF::LockAnalysis']]],
+  ['removedirectedge_5172',['removeDirectEdge',['../classSVF_1_1ConstraintGraph.html#a9fc73676ea133651604e2528fe1d8244',1,'SVF::ConstraintGraph']]],
+  ['removedpmfromloc_5173',['removeDpmFromLoc',['../classSVF_1_1DDAVFSolver.html#a00ae738a76564b7b334faae567674e34',1,'SVF::DDAVFSolver']]],
+  ['removedsuvfedges_5174',['removedSUVFEdges',['../classSVF_1_1SaberCondAllocator.html#a0eb6b0b625f412cb603e5483ca88e8dc',1,'SVF::SaberCondAllocator']]],
+  ['removefirstsymbol_5175',['removeFirstSymbol',['../classSVF_1_1CFGNormalizer.html#a711e134b6470e9cc9b337d1b0e4708a9',1,'SVF::CFGNormalizer']]],
+  ['removefront_5176',['removeFront',['../classSVF_1_1FIFOWorkList.html#a621fe65af285665396fa10af9f96ef3a',1,'SVF::FIFOWorkList']]],
+  ['removefunannotations_5177',['removeFunAnnotations',['../namespaceSVF_1_1LLVMUtil.html#a2acb79d8c24884ee2dcbba37d98021d9',1,'SVF::LLVMUtil']]],
+  ['removegnode_5178',['removeGNode',['../classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915',1,'SVF::GenericGraph']]],
+  ['removeicfgedge_5179',['removeICFGEdge',['../classSVF_1_1ICFG.html#a534625b10673efe5b0f344bfebf9b3cf',1,'SVF::ICFG']]],
+  ['removeicfgnode_5180',['removeICFGNode',['../classSVF_1_1ICFG.html#a403cd10f7c01cc879d803a9759e729cb',1,'SVF::ICFG']]],
+  ['removeincomingaddredge_5181',['removeIncomingAddrEdge',['../classSVF_1_1ConstraintNode.html#a5a97f47f5a65550dce11341c6f8d9ae6',1,'SVF::ConstraintNode']]],
+  ['removeincomingdirectedge_5182',['removeIncomingDirectEdge',['../classSVF_1_1ConstraintNode.html#a7946aea5584d124f6c83fd91ab497500',1,'SVF::ConstraintNode']]],
+  ['removeincomingedge_5183',['removeIncomingEdge',['../classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225',1,'SVF::GenericNode']]],
+  ['removeincomingloadedge_5184',['removeIncomingLoadEdge',['../classSVF_1_1ConstraintNode.html#aa1f60c884d007524641d1a786410d41b',1,'SVF::ConstraintNode']]],
+  ['removeincomingstoreedge_5185',['removeIncomingStoreEdge',['../classSVF_1_1ConstraintNode.html#a2d0e87fa3174562c97b519b2b144d8ea',1,'SVF::ConstraintNode']]],
+  ['removeinedges_5186',['removeInEdges',['../classSVF_1_1SVFGOPT.html#a5a2fe12411de408dfb57e910e413957f',1,'SVF::SVFGOPT']]],
+  ['removekey_5187',['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_5188',['removeLoadEdge',['../classSVF_1_1ConstraintGraph.html#aa4bca2422049413439cb0c3400f2ce28',1,'SVF::ConstraintGraph']]],
+  ['removemdtag_5189',['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_5190',['removeOutEdges',['../classSVF_1_1SVFGOPT.html#ae85391a5f0828362c61d55e162eef04d',1,'SVF::SVFGOPT']]],
+  ['removeoutgoingaddredge_5191',['removeOutgoingAddrEdge',['../classSVF_1_1ConstraintNode.html#abaf196bcce496fbdee6740c42ca9dd71',1,'SVF::ConstraintNode']]],
+  ['removeoutgoingdirectedge_5192',['removeOutgoingDirectEdge',['../classSVF_1_1ConstraintNode.html#a73b8c0967cde518a2ea7dfea2a7dc32f',1,'SVF::ConstraintNode']]],
+  ['removeoutgoingedge_5193',['removeOutgoingEdge',['../classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1',1,'SVF::GenericNode']]],
+  ['removeoutgoingloadedge_5194',['removeOutgoingLoadEdge',['../classSVF_1_1ConstraintNode.html#a7d810ec9abc8817a938a557ac78dc8c0',1,'SVF::ConstraintNode']]],
+  ['removeoutgoingstoreedge_5195',['removeOutgoingStoreEdge',['../classSVF_1_1ConstraintNode.html#a24ef3eedb218283d106eceb8a73ca1b4',1,'SVF::ConstraintNode']]],
+  ['removestoreedge_5196',['removeStoreEdge',['../classSVF_1_1ConstraintGraph.html#aad3d05c949c33a587b3ac6d627f5a0a2',1,'SVF::ConstraintGraph']]],
+  ['removesvfgedge_5197',['removeSVFGEdge',['../classSVF_1_1SVFG.html#a931d8b82e10a54d68c68cf6bd80264be',1,'SVF::SVFG']]],
+  ['removesvfgnode_5198',['removeSVFGNode',['../classSVF_1_1SVFG.html#a700c5fc6c1cb4136e55196fe3d393b8b',1,'SVF::SVFG']]],
+  ['removeunusedextapis_5199',['removeUnusedExtAPIs',['../classSVF_1_1LLVMModuleSet.html#aeaf96b0a6ee4b321a173374137ebe5e4',1,'SVF::LLVMModuleSet']]],
+  ['removeunusedfuncsandannotationsandglobalvariables_5200',['removeUnusedFuncsAndAnnotationsAndGlobalVariables',['../namespaceSVF_1_1LLVMUtil.html#a484bbbc9713fc4be173943e6bc177fb5',1,'SVF::LLVMUtil']]],
+  ['removeunusedglobalvariables_5201',['removeUnusedGlobalVariables',['../namespaceSVF_1_1LLVMUtil.html#ae2b444bb3e7a27d77386f588a78af8e2',1,'SVF::LLVMUtil']]],
+  ['removevarfromdfinupdatedset_5202',['removeVarFromDFInUpdatedSet',['../classSVF_1_1MutableIncDFPTData.html#a913c1a2c48526160eeecd028bd22cfc4',1,'SVF::MutableIncDFPTData::removeVarFromDFInUpdatedSet()'],['../classSVF_1_1PersistentIncDFPTData.html#ad449df82589efb4c40affb5fdc46f479',1,'SVF::PersistentIncDFPTData::removeVarFromDFInUpdatedSet()']]],
+  ['removevarfromdfoutupdatedset_5203',['removeVarFromDFOutUpdatedSet',['../classSVF_1_1MutableIncDFPTData.html#ac055ad77582b36083ca1950c39207f5e',1,'SVF::MutableIncDFPTData::removeVarFromDFOutUpdatedSet()'],['../classSVF_1_1PersistentIncDFPTData.html#ad1a2cd17519912b1d7571eeddcdc0060',1,'SVF::PersistentIncDFPTData::removeVarFromDFOutUpdatedSet()']]],
+  ['removevfgedge_5204',['removeVFGEdge',['../classSVF_1_1VFG.html#aeb24b155fe31813b2e6dc0564f55738a',1,'SVF::VFG']]],
+  ['removevfgnode_5205',['removeVFGNode',['../classSVF_1_1VFG.html#a122aa5ad874170ef644cee8705f1ef3e',1,'SVF::VFG']]],
+  ['renamechiset_5206',['RenameChiSet',['../classSVF_1_1MemSSA.html#a6066364112e665c33cbf2ec50ae1e3a8',1,'SVF::MemSSA']]],
+  ['renamemuset_5207',['RenameMuSet',['../classSVF_1_1MemSSA.html#a2527b76b92dffa8f8513ebfdcc8d8133',1,'SVF::MemSSA']]],
+  ['renamephiops_5208',['RenamePhiOps',['../classSVF_1_1MemSSA.html#a0ed34f7a27db045c624c5db61d53132b',1,'SVF::MemSSA']]],
+  ['renamephires_5209',['RenamePhiRes',['../classSVF_1_1MemSSA.html#a630be375832b1477989af85dce6760f3',1,'SVF::MemSSA']]],
+  ['rendergraphfrombottomup_5210',['renderGraphFromBottomUp',['../structSVF_1_1DefaultDOTGraphTraits.html#aeb5908ad6424c0636b698e5ea0a587c0',1,'SVF::DefaultDOTGraphTraits']]],
+  ['rep_5211',['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_5212',['replace_item_in_object',['../cJSON_8cpp.html#afdae75197cf2c440ef858a2e93b104f2',1,'cJSON.cpp']]],
+  ['replaceextension_5213',['replaceExtension',['../llvm2svf_8cpp.html#a7234932227363d976b4dcf64ba29823c',1,'llvm2svf.cpp']]],
+  ['replacefparamaretwithphi_5214',['replaceFParamARetWithPHI',['../classSVF_1_1SVFGOPT.html#a1fd6d26203d7d574b5664b8fcae54c1a',1,'SVF::SVFGOPT']]],
+  ['replacement_5215',['replacement',['../cJSON_8h.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.h'],['../cJSON_8cpp.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.cpp']]],
+  ['repnode_5216',['repNode',['../classSVF_1_1SCCDetection.html#a3a5fdc9330a657240f77199f5aee602d',1,'SVF::SCCDetection']]],
+  ['repnodes_5217',['repNodes',['../classSVF_1_1SCCDetection.html#a2b9605126ebb2abb1e16b3ccf99cf04b',1,'SVF::SCCDetection']]],
+  ['report_5218',['report',['../classSVF_1_1SrcSnkDDA.html#aa7d6999b99412cdc101152867778cd0a',1,'SVF::SrcSnkDDA']]],
+  ['reportbug_5219',['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_5220',['reportMemoryUsageKB',['../namespaceSVF_1_1SVFUtil.html#a6cfe12afa463d0ceddeee11540c33ab3',1,'SVF::SVFUtil']]],
+  ['repr_5221',['repr',['../classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3',1,'SVF::SVFOtherType']]],
+  ['require_5fnull_5fterminated_5222',['require_null_terminated',['../cJSON_8h.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.h'],['../cJSON_8cpp.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.cpp']]],
+  ['requiredbits_5223',['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_5224',['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_5225',['reserve',['../classSVF_1_1WriterPtrPool.html#af0d604a17260624fcabaec623cb72491',1,'SVF::WriterPtrPool::reserve()'],['../classSVF_1_1ReaderPtrPool.html#ac9c1431385ac03aeabbe56603dc9ad92',1,'SVF::ReaderPtrPool::reserve()']]],
+  ['reset_5226',['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_5227',['resetData',['../classSVF_1_1Andersen.html#a95c0b2f501dff61993cd43a5cab89e17',1,'SVF::Andersen']]],
+  ['resetdef_5228',['resetDef',['../classSVF_1_1SVFGOPT.html#af504407e6cd42cfe2ea27165ff15df40',1,'SVF::SVFGOPT']]],
+  ['resetobjfieldsensitive_5229',['resetObjFieldSensitive',['../classSVF_1_1PointerAnalysis.html#a73fb8e595473e0c7df1dd0de4968ad13',1,'SVF::PointerAnalysis']]],
+  ['resetquery_5230',['resetQuery',['../classSVF_1_1DDAVFSolver.html#afe518d3d7f8051de5b9860f2460aa1b7',1,'SVF::DDAVFSolver']]],
+  ['resetrep_5231',['resetRep',['../classSVF_1_1ConstraintGraph.html#aa30231dab5b7c759e4e5d76422a5eb8e',1,'SVF::ConstraintGraph']]],
+  ['resetsubs_5232',['resetSubs',['../classSVF_1_1ConstraintGraph.html#a5fe3815a7990e16b99cf46e90529f8b3',1,'SVF::ConstraintGraph']]],
+  ['resettypeforheapstaticobj_5233',['resetTypeForHeapStaticObj',['../classSVF_1_1ObjTypeInfo.html#ae26937ca2107517e6ede8eb6d76b95d5',1,'SVF::ObjTypeInfo']]],
+  ['resolvecppindcalls_5234',['resolveCPPIndCalls',['../classSVF_1_1PointerAnalysis.html#ac04b64a5884710508b304f93da88c7ba',1,'SVF::PointerAnalysis']]],
+  ['resolvefunptr_5235',['resolveFunPtr',['../classSVF_1_1DDAVFSolver.html#afcc074be34dd0c45418ff16b3d9d4192',1,'SVF::DDAVFSolver']]],
+  ['resolveindcalls_5236',['resolveIndCalls',['../classSVF_1_1PointerAnalysis.html#a8d128246f86f28fdf4981d91169ab440',1,'SVF::PointerAnalysis']]],
+  ['restorefuncname_5237',['restoreFuncName',['../namespaceSVF_1_1LLVMUtil.html#af4c9c5d445107b1816a4be93852ba612',1,'SVF::LLVMUtil']]],
+  ['resulttype_5238',['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_5239',['ResumeInst',['../namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa',1,'SVF']]],
+  ['resver_5240',['resVer',['../classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813',1,'SVF::MSSADEF']]],
+  ['ret_5241',['Ret',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af',1,'SVF::SVFStmt::Ret()'],['../classSVF_1_1CallICFGNode.html#a6c27c0d796b3d4becdebeba93f4fc785',1,'SVF::CallICFGNode::ret()'],['../classSVF_1_1SVFInstruction.html#a61e04a2e436a4c141980ee06854b74ca',1,'SVF::SVFInstruction::ret()']]],
+  ['ret_5ftype_5242',['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_5243',['reTargetDstOfEdge',['../classSVF_1_1ConstraintGraph.html#a4db3484e3710c3f5cc86ec32dd643722',1,'SVF::ConstraintGraph']]],
+  ['retargetedgesofainfout_5244',['retargetEdgesOfAInFOut',['../classSVF_1_1SVFGOPT.html#abefe3efa0232106f1843351ff6dd1063',1,'SVF::SVFGOPT']]],
+  ['retargetedgesofaoutfin_5245',['retargetEdgesOfAOutFIn',['../classSVF_1_1SVFGOPT.html#a2285d20f7c4d128a8ede2e7f4f41f798',1,'SVF::SVFGOPT']]],
+  ['retargetsrcofedge_5246',['reTargetSrcOfEdge',['../classSVF_1_1ConstraintGraph.html#aaae56afed424f7cd59fddb3fcb2f7214',1,'SVF::ConstraintGraph']]],
+  ['retcf_5247',['RetCF',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429ad2370a77f6cc112b8c26efbcc36bf541',1,'SVF::ICFGEdge']]],
+  ['retcfgedge_5248',['RetCFGEdge',['../classSVF_1_1RetCFGEdge.html',1,'SVF::RetCFGEdge'],['../classSVF_1_1RetCFGEdge.html#a5a461528da9eb46ca190fbd49b41d0d1',1,'SVF::RetCFGEdge::RetCFGEdge()']]],
+  ['retdirsvfgedge_5249',['RetDirSVFGEdge',['../classSVF_1_1RetDirSVFGEdge.html',1,'SVF::RetDirSVFGEdge'],['../classSVF_1_1RetDirSVFGEdge.html#a5998569c23747ef9dbe6f86b5a04ce5c',1,'SVF::RetDirSVFGEdge::RetDirSVFGEdge()']]],
+  ['retdirvf_5250',['RetDirVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a8288c583cfcbfdf9aa2ac2103c0e7191',1,'SVF::VFGEdge']]],
+  ['reticfgnode_5251',['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_5252',['RetIndSVFGEdge',['../classSVF_1_1RetIndSVFGEdge.html',1,'SVF::RetIndSVFGEdge'],['../classSVF_1_1RetIndSVFGEdge.html#ae07d99d4156d999512e75b5d5fa207c4',1,'SVF::RetIndSVFGEdge::RetIndSVFGEdge()']]],
+  ['retindvf_5253',['RetIndVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5ac8124172b3f5f7fc94e895f6b192b668',1,'SVF::VFGEdge']]],
+  ['retmssamu_5254',['RetMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba255f3e3fc50f3a8d9a8bd5800b1b4594',1,'SVF::MSSAMU']]],
+  ['retmu_5255',['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_5256',['RetNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5de2a8fce9a85f31818d58992b381b98',1,'SVF::SVFVar']]],
+  ['retpe_5257',['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_5258',['retPEBegin',['../classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132',1,'SVF::FormalRetVFGNode']]],
+  ['retpeend_5259',['retPEEnd',['../classSVF_1_1FormalRetVFGNode.html#adae36045df1057e551d92aa7bfb236f9',1,'SVF::FormalRetVFGNode']]],
+  ['retpes_5260',['retPEs',['../classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157',1,'SVF::FormalRetVFGNode']]],
+  ['retpeset_5261',['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_5262',['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_5263',['RetSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba8ac9528bf8b81f7942c1cdc0bf63ec35',1,'SVF::SymbolTableInfo']]],
+  ['retsyms_5264',['retSyms',['../classSVF_1_1SymbolTableInfo.html#aafd4da7cef6387bb974abe20185b7b96',1,'SVF::SymbolTableInfo']]],
+  ['retty_5265',['retTy',['../classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186',1,'SVF::SVFFunctionType']]],
+  ['rettype_5266',['RetType',['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#abd3fdf0fdc5e4622a879b7890ad43789',1,'SVF::SVFUtil::simplify_type< const From >']]],
+  ['return_5267',['return',['../cJSON_8cpp.html#a15f779a174654a93596726f6eb6b57fe',1,'cJSON.cpp']]],
+  ['return_5fparse_5fend_5268',['return_parse_end',['../cJSON_8h.html#a7725ae4fa33fc499614c6895ee9ee44a',1,'return_parse_end(): cJSON.h'],['../cJSON_8cpp.html#a1a7c63ae727dcb98b54e081b2ff17ed9',1,'return_parse_end(): cJSON.cpp']]],
+  ['returninst_5269',['ReturnInst',['../namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154',1,'SVF']]],
+  ['returnsymmap_5270',['returnSymMap',['../classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681',1,'SVF::SymbolTableInfo']]],
+  ['rev_5271',['rev',['../classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219',1,'SVF::PTData']]],
+  ['reverse_5fdense_5272',['REVERSE_DENSE',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228ae21bc1064d05499c2dc6051d153df9e6',1,'SVF::NodeIDAllocator']]],
+  ['reversenodemapping_5273',['reverseNodeMapping',['../classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1',1,'SVF::PointsTo']]],
+  ['revptsmap_5274',['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_5275',['rid',['../classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4',1,'SVF::MemRegion']]],
+  ['rindex_5276',['rindex',['../extapi_8c.html#a83d9aa3251fdee263ad43bf75933de46',1,'extapi.c']]],
+  ['rmderefdirsvfgedges_5277',['rmDerefDirSVFGEdges',['../classSVF_1_1SaberSVFGBuilder.html#ad8f4f63d2071be4eb5f6fb2fdf29a10a',1,'SVF::SaberSVFGBuilder']]],
+  ['rmincomingedgeforsustore_5278',['rmIncomingEdgeForSUStore',['../classSVF_1_1CFLSVFGBuilder.html#a5a8d9e9a8bdb5ff8605592c2310d34a2',1,'SVF::CFLSVFGBuilder::rmIncomingEdgeForSUStore()'],['../classSVF_1_1SaberSVFGBuilder.html#ae0a9c42c850bda29aeae2f47ad2b8f4a',1,'SVF::SaberSVFGBuilder::rmIncomingEdgeForSUStore()']]],
+  ['rminterleavingthread_5279',['rmInterleavingThread',['../classSVF_1_1MHP.html#a02b4ab18067c9b911b4bd53f0426aec3',1,'SVF::MHP']]],
+  ['rmsustat_5280',['rmSUStat',['../classSVF_1_1DDAVFSolver.html#a7d0775354df32f293e98578ed071d33c',1,'SVF::DDAVFSolver']]],
+  ['root_5281',['root',['../classSVF_1_1ProgSlice.html#ada13c2389d43973ff7db18b7fca90087',1,'SVF::ProgSlice']]],
+  ['rsy_5282',['RSY',['../classSVF_1_1RelationSolver.html#a657af041f883e7b1a3f9892453a2c4cf',1,'SVF::RelationSolver']]],
+  ['rsy_5ftime_5283',['RSY_time',['../classSymblicAbstractionTest.html#abaa1ae92b79979cfabee1a2b8a284f80',1,'SymblicAbstractionTest']]],
+  ['rthdtochildren_5284',['rthdToChildren',['../classSVF_1_1MTAResultValidator.html#a542f2f41c90698270687fc7858a26555',1,'SVF::MTAResultValidator']]],
+  ['rthdtochildrenmap_5285',['rthdToChildrenMap',['../classSVF_1_1MTAResultValidator.html#a7d2043cf3c354812fa5e4cdf7f60ff20',1,'SVF::MTAResultValidator::rthdToChildrenMap()'],['../classSVF_1_1MTAResultValidator.html#a7d2043cf3c354812fa5e4cdf7f60ff20',1,'SVF::MTAResultValidator::rthdToChildrenMap()']]],
+  ['rthdtovthd_5286',['rthdTovthd',['../classSVF_1_1MTAResultValidator.html#a615623a08324ee155cb527a3b57e8c19',1,'SVF::MTAResultValidator']]],
+  ['rthdtovthdmap_5287',['rthdTovthdMap',['../classSVF_1_1MTAResultValidator.html#ab386260dd6bbaeacde10e5c81f07502c',1,'SVF::MTAResultValidator::rthdTovthdMap()'],['../classSVF_1_1MTAResultValidator.html#ab386260dd6bbaeacde10e5c81f07502c',1,'SVF::MTAResultValidator::rthdTovthdMap()']]],
+  ['runonmodule_5288',['runOnModule',['../classSVF_1_1BreakConstantGEPs.html#ae99ceb7923161d54e7d0a687f4f68e1a',1,'SVF::BreakConstantGEPs::runOnModule()'],['../classSVF_1_1MergeFunctionRets.html#a8fe74477a43f80104fb3461d006ad392',1,'SVF::MergeFunctionRets::runOnModule()'],['../classSVF_1_1AbstractExecution.html#ac848658bb3069193b1c7b08199b3d4c7',1,'SVF::AbstractExecution::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_5289',['runPointerAnalysis',['../classSVF_1_1DDAPass.html#ac480fe602e5e2d36ec4815ce50aeaad3',1,'SVF::DDAPass::runPointerAnalysis()'],['../classSVF_1_1WPAPass.html#ace6627f09d237f01d7b698aaea9020eb',1,'SVF::WPAPass::runPointerAnalysis()']]],
+  ['rununcallfuncs_5290',['RunUncallFuncs',['../classSVF_1_1Options.html#abbdf86ddc2fb37d03b7ef7a9bcc4ce29',1,'SVF::Options']]]
 ];