svf-tools 1.0.898 → 1.0.899

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

@@ -1,143 +1,143 @@
 var searchData=
 [
-  ['racevalidator_10317',['RaceValidator',['../classSVF_1_1RaceValidator.html#a990ee1472b24a746d42b7bac4e453447',1,'SVF::RaceValidator']]],
-  ['re_5fcomp_10318',['re_comp',['../extapi_8c.html#ab92fb233728874f4d1d12e3820ae261d',1,'extapi.c']]],
-  ['read_10319',['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)']]],
-  ['readandsetobjfieldsensitivity_10320',['readAndSetObjFieldSensitivity',['../classSVF_1_1BVDataPTAImpl.html#a4ad982a53fbf62c5513afe63b2435fa5',1,'SVF::BVDataPTAImpl']]],
-  ['readbignumber_10321',['readBigNumber',['../namespaceSVF.html#ac9bc0a9e085bace3fcd2e92b6d418dab',1,'SVF']]],
-  ['readdir_5fr_10322',['readdir_r',['../extapi_8c.html#a3ccb1f4f10729777321e33899242f721',1,'extapi.c']]],
-  ['readfile_10323',['readFile',['../classSVF_1_1SVFG.html#a9da50b8f467066b478143af64f7c9858',1,'SVF::SVFG']]],
-  ['readfromfile_10324',['readFromFile',['../classSVF_1_1BVDataPTAImpl.html#a290501006cb700db0e07dc577429c928',1,'SVF::BVDataPTAImpl']]],
-  ['readgepobjvarmapfromfile_10325',['readGepObjVarMapFromFile',['../classSVF_1_1BVDataPTAImpl.html#afce21c2a8fca8a2eae4883d2fe148cc0',1,'SVF::BVDataPTAImpl']]],
-  ['readinheritancemetadatafrommodule_10326',['readInheritanceMetadataFromModule',['../classSVF_1_1CHGBuilder.html#a443b021eb2b08b92164515750385b058',1,'SVF::CHGBuilder']]],
-  ['readjson_10327',['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)']]],
-  ['readprecision_10328',['readPrecision',['../classSVF_1_1MTASVFGBuilder.html#a5532751632ece036b3d6741908573b36',1,'SVF::MTASVFGBuilder']]],
-  ['readptsfromfile_10329',['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_10330',['readPtsResultFromFile',['../classSVF_1_1BVDataPTAImpl.html#af4e17ce3667d40d1a377508a275af384',1,'SVF::BVDataPTAImpl']]],
-  ['readsmallnumber_10331',['readSmallNumber',['../namespaceSVF.html#a1202d15e828377e9bec5164f76c48096',1,'SVF']]],
-  ['readversionedanalysisresultfromfile_10332',['readVersionedAnalysisResultFromFile',['../classSVF_1_1VersionedFlowSensitive.html#a31976bfeb5498ce57262dda34e3bf94a',1,'SVF::VersionedFlowSensitive']]],
-  ['reallocate_10333',['reallocate',['../structinternal__hooks.html#a5dd48d5c2f2b1cf4f6eec5df6205e15c',1,'internal_hooks']]],
-  ['realpath_10334',['realpath',['../extapi_8c.html#a6646e3960f1c015c86c3b45f6e5db53e',1,'extapi.c']]],
-  ['recompute_10335',['reCompute',['../classSVF_1_1DDAVFSolver.html#a8c5220108a65fa281959529cb1e9cc57',1,'SVF::DDAVFSolver']]],
-  ['recomputeforedges_10336',['reComputeForEdges',['../classSVF_1_1DDAVFSolver.html#ace037388135f272365cee2e87844bfba',1,'SVF::DDAVFSolver']]],
-  ['recordaddingedge_10337',['recordAddingEdge',['../classSVF_1_1MTASVFGBuilder.html#a2effeeac276a64d612fe6af08ec25b74',1,'SVF::MTASVFGBuilder']]],
-  ['recordedge_10338',['recordEdge',['../classSVF_1_1MTASVFGBuilder.html#a55da7f1a8921727f84232e5905d6135f',1,'SVF::MTASVFGBuilder']]],
-  ['recordremovingedge_10339',['recordRemovingEdge',['../classSVF_1_1MTASVFGBuilder.html#a97179139a6395a7062d3200c23d4b69d',1,'SVF::MTASVFGBuilder']]],
-  ['recursivecallpass_10340',['recursiveCallPass',['../classSVF_1_1AbstractExecution.html#aa220cdcd1653998d684ec14fe729932d',1,'SVF::AbstractExecution']]],
-  ['referenceproxy_10341',['ReferenceProxy',['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aabce5b9a8700ecf1415a92ce45b384a2',1,'SVF::iter_facade_base::ReferenceProxy']]],
-  ['regionobjects_10342',['regionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a7d34542f34a8e8008119c3d61943daa2',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['relationsolver_10343',['RelationSolver',['../classSVF_1_1RelationSolver.html#aaee624b8260da9ba0de027d80b01d984',1,'SVF::RelationSolver']]],
-  ['release_10344',['release',['../classSVF_1_1RaceResultValidator.html#a64f61b58f59eba5f3e7c69f90edc68df',1,'SVF::RaceResultValidator::release()'],['../classSVF_1_1RaceResultValidator.html#a64f61b58f59eba5f3e7c69f90edc68df',1,'SVF::RaceResultValidator::release()']]],
-  ['releaseandersenscd_10345',['releaseAndersenSCD',['../classSVF_1_1AndersenSCD.html#ac2003ddf910f55d5c53c762b45964b50',1,'SVF::AndersenSCD']]],
-  ['releaseandersensfr_10346',['releaseAndersenSFR',['../classSVF_1_1AndersenSFR.html#a4aa1607b7d84a6de151c19ae84b913b9',1,'SVF::AndersenSFR']]],
-  ['releaseandersenwavediff_10347',['releaseAndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html#a5da6abb1a7f0ef3e3871ea6e5a623625',1,'SVF::AndersenWaveDiff']]],
-  ['releasecdg_10348',['releaseCDG',['../classSVF_1_1CDG.html#ab0682abdbd97d1223cc0a968f7ccc543',1,'SVF::CDG']]],
-  ['releasecontext_10349',['releaseContext',['../classSVF_1_1Z3Expr.html#a9da409a05cfd85d966d887b33dd1cc94',1,'SVF::Z3Expr']]],
-  ['releasefsmpta_10350',['releaseFSMPTA',['../classSVF_1_1FSMPTA.html#aea3ec49d7c12dc7e884600d1eddc99f0',1,'SVF::FSMPTA']]],
-  ['releasefswpa_10351',['releaseFSWPA',['../classSVF_1_1FlowSensitive.html#ae6aed22a79ac6567446dfcba82cb17b8',1,'SVF::FlowSensitive']]],
-  ['releasellvmmoduleset_10352',['releaseLLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936',1,'SVF::LLVMModuleSet']]],
-  ['releasememory_10353',['releaseMemory',['../classSVF_1_1SVFGBuilder.html#a6e08e6a99f7e743abf35e603e35e54f5',1,'SVF::SVFGBuilder']]],
-  ['releasesolver_10354',['releaseSolver',['../classSVF_1_1Z3Expr.html#a9cf1997ee2d22542f7288506ed0f4733',1,'SVF::Z3Expr']]],
-  ['releasesteensgaard_10355',['releaseSteensgaard',['../classSVF_1_1Steensgaard.html#a375a16c7538866fcebfecf228f7ee63d',1,'SVF::Steensgaard']]],
-  ['releasesvfir_10356',['releaseSVFIR',['../classSVF_1_1SVFIR.html#a007c86e5d2d541d08815547a5492731e',1,'SVF::SVFIR']]],
-  ['releasesvfmodule_10357',['releaseSVFModule',['../classSVF_1_1SVFModule.html#a545633e2d7f103b4983b47d4e1c56823',1,'SVF::SVFModule']]],
-  ['releasesymbolinfo_10358',['releaseSymbolInfo',['../classSVF_1_1SymbolTableInfo.html#a9f8d99c761f3c7108d797b3702fcbfec',1,'SVF::SymbolTableInfo']]],
-  ['releasevfswpa_10359',['releaseVFSWPA',['../classSVF_1_1VersionedFlowSensitive.html#a754c77fff88e8f415dc7a2096d1bffe2',1,'SVF::VersionedFlowSensitive']]],
-  ['relexestate_10360',['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']]],
-  ['remapallpts_10361',['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_10362',['remapPointsToSets',['../classSVF_1_1BVDataPTAImpl.html#a7a87ca1a439e871896f92e4342befa2c',1,'SVF::BVDataPTAImpl']]],
-  ['removeaddredge_10363',['removeAddrEdge',['../classSVF_1_1ConstraintGraph.html#acc23df2db1fa7b8e0270d8a04f08f2ee',1,'SVF::ConstraintGraph']]],
-  ['removealledges_10364',['removeAllEdges',['../classSVF_1_1SVFGOPT.html#ac15b3c2cb127b17ebad3a30fc04b6f40',1,'SVF::SVFGOPT']]],
-  ['removeallindirectsvfgedges_10365',['removeAllIndirectSVFGEdges',['../classSVF_1_1VersionedFlowSensitive.html#a275095f60640d862034ad173af3371c3',1,'SVF::VersionedFlowSensitive']]],
-  ['removeback_10366',['removeBack',['../classSVF_1_1FILOWorkList.html#a10c20d2c670af8de5dcbe6f433ca83ee',1,'SVF::FILOWorkList']]],
-  ['removecandidates_10367',['removeCandidates',['../classSVF_1_1WPAMinimumSolver.html#aa6d8de95ddf703fdac33ef1216ce4aff',1,'SVF::WPAMinimumSolver']]],
-  ['removecdgedge_10368',['removeCDGEdge',['../classSVF_1_1CDG.html#afd04ca26b53407aceffe1c507d345f95',1,'SVF::CDG']]],
-  ['removecdgnode_10369',['removeCDGNode',['../classSVF_1_1CDG.html#a260507920498e0d9bd6bf629e6912cdb',1,'SVF::CDG::removeCDGNode(CDGNode *node)'],['../classSVF_1_1CDG.html#a3ff150908e40b1b39799e46317c805fc',1,'SVF::CDG::removeCDGNode(NodeID id)']]],
-  ['removecflinedge_10370',['removeCFLInEdge',['../classSVF_1_1CFLNode.html#a60dfc3e421558eecee5065e8ae5f984a',1,'SVF::CFLNode']]],
-  ['removecfloutedge_10371',['removeCFLOutEdge',['../classSVF_1_1CFLNode.html#a821078d812986c488932610063d7509f',1,'SVF::CFLNode']]],
-  ['removeconstraintnode_10372',['removeConstraintNode',['../classSVF_1_1ConstraintGraph.html#a9e21bc9b86080b4059f0907e9a7b33f3',1,'SVF::ConstraintGraph']]],
-  ['removecxtstmttospan_10373',['removeCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a0b21446e6d5dfc1b5d0ebd75895225dd',1,'SVF::LockAnalysis']]],
-  ['removedirectedge_10374',['removeDirectEdge',['../classSVF_1_1ConstraintGraph.html#a9fc73676ea133651604e2528fe1d8244',1,'SVF::ConstraintGraph']]],
-  ['removedpmfromloc_10375',['removeDpmFromLoc',['../classSVF_1_1DDAVFSolver.html#a00ae738a76564b7b334faae567674e34',1,'SVF::DDAVFSolver']]],
-  ['removefirstsymbol_10376',['removeFirstSymbol',['../classSVF_1_1CFGNormalizer.html#a711e134b6470e9cc9b337d1b0e4708a9',1,'SVF::CFGNormalizer']]],
-  ['removefront_10377',['removeFront',['../classSVF_1_1FIFOWorkList.html#a621fe65af285665396fa10af9f96ef3a',1,'SVF::FIFOWorkList']]],
-  ['removefunannotations_10378',['removeFunAnnotations',['../namespaceSVF_1_1LLVMUtil.html#a2acb79d8c24884ee2dcbba37d98021d9',1,'SVF::LLVMUtil']]],
-  ['removegnode_10379',['removeGNode',['../classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915',1,'SVF::GenericGraph']]],
-  ['removeicfgedge_10380',['removeICFGEdge',['../classSVF_1_1ICFG.html#a534625b10673efe5b0f344bfebf9b3cf',1,'SVF::ICFG']]],
-  ['removeicfgnode_10381',['removeICFGNode',['../classSVF_1_1ICFG.html#a403cd10f7c01cc879d803a9759e729cb',1,'SVF::ICFG']]],
-  ['removeincomingaddredge_10382',['removeIncomingAddrEdge',['../classSVF_1_1ConstraintNode.html#a5a97f47f5a65550dce11341c6f8d9ae6',1,'SVF::ConstraintNode']]],
-  ['removeincomingdirectedge_10383',['removeIncomingDirectEdge',['../classSVF_1_1ConstraintNode.html#a7946aea5584d124f6c83fd91ab497500',1,'SVF::ConstraintNode']]],
-  ['removeincomingedge_10384',['removeIncomingEdge',['../classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225',1,'SVF::GenericNode']]],
-  ['removeincomingloadedge_10385',['removeIncomingLoadEdge',['../classSVF_1_1ConstraintNode.html#aa1f60c884d007524641d1a786410d41b',1,'SVF::ConstraintNode']]],
-  ['removeincomingstoreedge_10386',['removeIncomingStoreEdge',['../classSVF_1_1ConstraintNode.html#a2d0e87fa3174562c97b519b2b144d8ea',1,'SVF::ConstraintNode']]],
-  ['removeinedges_10387',['removeInEdges',['../classSVF_1_1SVFGOPT.html#a5a2fe12411de408dfb57e910e413957f',1,'SVF::SVFGOPT']]],
-  ['removekey_10388',['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_10389',['removeLoadEdge',['../classSVF_1_1ConstraintGraph.html#aa4bca2422049413439cb0c3400f2ce28',1,'SVF::ConstraintGraph']]],
-  ['removemdtag_10390',['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_10391',['removeOutEdges',['../classSVF_1_1SVFGOPT.html#ae85391a5f0828362c61d55e162eef04d',1,'SVF::SVFGOPT']]],
-  ['removeoutgoingaddredge_10392',['removeOutgoingAddrEdge',['../classSVF_1_1ConstraintNode.html#abaf196bcce496fbdee6740c42ca9dd71',1,'SVF::ConstraintNode']]],
-  ['removeoutgoingdirectedge_10393',['removeOutgoingDirectEdge',['../classSVF_1_1ConstraintNode.html#a73b8c0967cde518a2ea7dfea2a7dc32f',1,'SVF::ConstraintNode']]],
-  ['removeoutgoingedge_10394',['removeOutgoingEdge',['../classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1',1,'SVF::GenericNode']]],
-  ['removeoutgoingloadedge_10395',['removeOutgoingLoadEdge',['../classSVF_1_1ConstraintNode.html#a7d810ec9abc8817a938a557ac78dc8c0',1,'SVF::ConstraintNode']]],
-  ['removeoutgoingstoreedge_10396',['removeOutgoingStoreEdge',['../classSVF_1_1ConstraintNode.html#a24ef3eedb218283d106eceb8a73ca1b4',1,'SVF::ConstraintNode']]],
-  ['removestoreedge_10397',['removeStoreEdge',['../classSVF_1_1ConstraintGraph.html#aad3d05c949c33a587b3ac6d627f5a0a2',1,'SVF::ConstraintGraph']]],
-  ['removesvfgedge_10398',['removeSVFGEdge',['../classSVF_1_1SVFG.html#a931d8b82e10a54d68c68cf6bd80264be',1,'SVF::SVFG']]],
-  ['removesvfgnode_10399',['removeSVFGNode',['../classSVF_1_1SVFG.html#a700c5fc6c1cb4136e55196fe3d393b8b',1,'SVF::SVFG']]],
-  ['removeunusedextapis_10400',['removeUnusedExtAPIs',['../classSVF_1_1LLVMModuleSet.html#aeaf96b0a6ee4b321a173374137ebe5e4',1,'SVF::LLVMModuleSet']]],
-  ['removeunusedfuncsandannotationsandglobalvariables_10401',['removeUnusedFuncsAndAnnotationsAndGlobalVariables',['../namespaceSVF_1_1LLVMUtil.html#a484bbbc9713fc4be173943e6bc177fb5',1,'SVF::LLVMUtil']]],
-  ['removeunusedglobalvariables_10402',['removeUnusedGlobalVariables',['../namespaceSVF_1_1LLVMUtil.html#ae2b444bb3e7a27d77386f588a78af8e2',1,'SVF::LLVMUtil']]],
-  ['removevarfromdfinupdatedset_10403',['removeVarFromDFInUpdatedSet',['../classSVF_1_1MutableIncDFPTData.html#a913c1a2c48526160eeecd028bd22cfc4',1,'SVF::MutableIncDFPTData::removeVarFromDFInUpdatedSet()'],['../classSVF_1_1PersistentIncDFPTData.html#ad449df82589efb4c40affb5fdc46f479',1,'SVF::PersistentIncDFPTData::removeVarFromDFInUpdatedSet()']]],
-  ['removevarfromdfoutupdatedset_10404',['removeVarFromDFOutUpdatedSet',['../classSVF_1_1MutableIncDFPTData.html#ac055ad77582b36083ca1950c39207f5e',1,'SVF::MutableIncDFPTData::removeVarFromDFOutUpdatedSet()'],['../classSVF_1_1PersistentIncDFPTData.html#ad1a2cd17519912b1d7571eeddcdc0060',1,'SVF::PersistentIncDFPTData::removeVarFromDFOutUpdatedSet()']]],
-  ['removevfgedge_10405',['removeVFGEdge',['../classSVF_1_1VFG.html#aeb24b155fe31813b2e6dc0564f55738a',1,'SVF::VFG']]],
-  ['removevfgnode_10406',['removeVFGNode',['../classSVF_1_1VFG.html#a122aa5ad874170ef644cee8705f1ef3e',1,'SVF::VFG']]],
-  ['renamechiset_10407',['RenameChiSet',['../classSVF_1_1MemSSA.html#a6066364112e665c33cbf2ec50ae1e3a8',1,'SVF::MemSSA']]],
-  ['renamemuset_10408',['RenameMuSet',['../classSVF_1_1MemSSA.html#a2527b76b92dffa8f8513ebfdcc8d8133',1,'SVF::MemSSA']]],
-  ['renamephiops_10409',['RenamePhiOps',['../classSVF_1_1MemSSA.html#a0ed34f7a27db045c624c5db61d53132b',1,'SVF::MemSSA']]],
-  ['renamephires_10410',['RenamePhiRes',['../classSVF_1_1MemSSA.html#a630be375832b1477989af85dce6760f3',1,'SVF::MemSSA']]],
-  ['rendergraphfrombottomup_10411',['renderGraphFromBottomUp',['../structSVF_1_1DefaultDOTGraphTraits.html#aeb5908ad6424c0636b698e5ea0a587c0',1,'SVF::DefaultDOTGraphTraits']]],
-  ['rep_10412',['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_10413',['replace_item_in_object',['../cJSON_8cpp.html#afdae75197cf2c440ef858a2e93b104f2',1,'cJSON.cpp']]],
-  ['replaceextension_10414',['replaceExtension',['../llvm2svf_8cpp.html#a7234932227363d976b4dcf64ba29823c',1,'llvm2svf.cpp']]],
-  ['replacefparamaretwithphi_10415',['replaceFParamARetWithPHI',['../classSVF_1_1SVFGOPT.html#a1fd6d26203d7d574b5664b8fcae54c1a',1,'SVF::SVFGOPT']]],
-  ['repnode_10416',['repNode',['../classSVF_1_1SCCDetection.html#a3a5fdc9330a657240f77199f5aee602d',1,'SVF::SCCDetection']]],
-  ['reportbug_10417',['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_10418',['reportMemoryUsageKB',['../namespaceSVF_1_1SVFUtil.html#a6cfe12afa463d0ceddeee11540c33ab3',1,'SVF::SVFUtil']]],
-  ['requiredbits_10419',['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)']]],
-  ['reserve_10420',['reserve',['../classSVF_1_1WriterPtrPool.html#af0d604a17260624fcabaec623cb72491',1,'SVF::WriterPtrPool::reserve()'],['../classSVF_1_1ReaderPtrPool.html#ac9c1431385ac03aeabbe56603dc9ad92',1,'SVF::ReaderPtrPool::reserve()']]],
-  ['reset_10421',['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_10422',['resetData',['../classSVF_1_1Andersen.html#a95c0b2f501dff61993cd43a5cab89e17',1,'SVF::Andersen']]],
-  ['resetdef_10423',['resetDef',['../classSVF_1_1SVFGOPT.html#af504407e6cd42cfe2ea27165ff15df40',1,'SVF::SVFGOPT']]],
-  ['resetobjfieldsensitive_10424',['resetObjFieldSensitive',['../classSVF_1_1PointerAnalysis.html#a73fb8e595473e0c7df1dd0de4968ad13',1,'SVF::PointerAnalysis']]],
-  ['resetquery_10425',['resetQuery',['../classSVF_1_1DDAVFSolver.html#afe518d3d7f8051de5b9860f2460aa1b7',1,'SVF::DDAVFSolver']]],
-  ['resetrep_10426',['resetRep',['../classSVF_1_1ConstraintGraph.html#aa30231dab5b7c759e4e5d76422a5eb8e',1,'SVF::ConstraintGraph']]],
-  ['resetsubs_10427',['resetSubs',['../classSVF_1_1ConstraintGraph.html#a5fe3815a7990e16b99cf46e90529f8b3',1,'SVF::ConstraintGraph']]],
-  ['resettypeforheapstaticobj_10428',['resetTypeForHeapStaticObj',['../classSVF_1_1ObjTypeInfo.html#ae26937ca2107517e6ede8eb6d76b95d5',1,'SVF::ObjTypeInfo']]],
-  ['resolvecppindcalls_10429',['resolveCPPIndCalls',['../classSVF_1_1PointerAnalysis.html#ac04b64a5884710508b304f93da88c7ba',1,'SVF::PointerAnalysis']]],
-  ['resolvefunptr_10430',['resolveFunPtr',['../classSVF_1_1DDAVFSolver.html#afcc074be34dd0c45418ff16b3d9d4192',1,'SVF::DDAVFSolver']]],
-  ['resolveindcalls_10431',['resolveIndCalls',['../classSVF_1_1PointerAnalysis.html#a8d128246f86f28fdf4981d91169ab440',1,'SVF::PointerAnalysis']]],
-  ['restorefuncname_10432',['restoreFuncName',['../namespaceSVF_1_1LLVMUtil.html#af4c9c5d445107b1816a4be93852ba612',1,'SVF::LLVMUtil']]],
-  ['retargetdstofedge_10433',['reTargetDstOfEdge',['../classSVF_1_1ConstraintGraph.html#a4db3484e3710c3f5cc86ec32dd643722',1,'SVF::ConstraintGraph']]],
-  ['retargetedgesofainfout_10434',['retargetEdgesOfAInFOut',['../classSVF_1_1SVFGOPT.html#abefe3efa0232106f1843351ff6dd1063',1,'SVF::SVFGOPT']]],
-  ['retargetedgesofaoutfin_10435',['retargetEdgesOfAOutFIn',['../classSVF_1_1SVFGOPT.html#a2285d20f7c4d128a8ede2e7f4f41f798',1,'SVF::SVFGOPT']]],
-  ['retargetsrcofedge_10436',['reTargetSrcOfEdge',['../classSVF_1_1ConstraintGraph.html#aaae56afed424f7cd59fddb3fcb2f7214',1,'SVF::ConstraintGraph']]],
-  ['retcfgedge_10437',['RetCFGEdge',['../classSVF_1_1RetCFGEdge.html#a5a461528da9eb46ca190fbd49b41d0d1',1,'SVF::RetCFGEdge']]],
-  ['retdirsvfgedge_10438',['RetDirSVFGEdge',['../classSVF_1_1RetDirSVFGEdge.html#a5998569c23747ef9dbe6f86b5a04ce5c',1,'SVF::RetDirSVFGEdge']]],
-  ['reticfgnode_10439',['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_10440',['RetIndSVFGEdge',['../classSVF_1_1RetIndSVFGEdge.html#ae07d99d4156d999512e75b5d5fa207c4',1,'SVF::RetIndSVFGEdge']]],
-  ['retmu_10441',['RetMU',['../classSVF_1_1RetMU.html#a8cd41b018ddef450d17a20ea83ce3fee',1,'SVF::RetMU']]],
-  ['retpe_10442',['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_10443',['retPEBegin',['../classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132',1,'SVF::FormalRetVFGNode']]],
-  ['retpeend_10444',['retPEEnd',['../classSVF_1_1FormalRetVFGNode.html#adae36045df1057e551d92aa7bfb236f9',1,'SVF::FormalRetVFGNode']]],
-  ['retpn_10445',['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)']]],
-  ['retsyms_10446',['retSyms',['../classSVF_1_1SymbolTableInfo.html#aafd4da7cef6387bb974abe20185b7b96',1,'SVF::SymbolTableInfo']]],
-  ['return_10447',['return',['../cJSON_8cpp.html#a15f779a174654a93596726f6eb6b57fe',1,'cJSON.cpp']]],
-  ['rindex_10448',['rindex',['../extapi_8c.html#a83d9aa3251fdee263ad43bf75933de46',1,'extapi.c']]],
-  ['rmderefdirsvfgedges_10449',['rmDerefDirSVFGEdges',['../classSVF_1_1SaberSVFGBuilder.html#ad8f4f63d2071be4eb5f6fb2fdf29a10a',1,'SVF::SaberSVFGBuilder']]],
-  ['rmincomingedgeforsustore_10450',['rmIncomingEdgeForSUStore',['../classSVF_1_1CFLSVFGBuilder.html#a5a8d9e9a8bdb5ff8605592c2310d34a2',1,'SVF::CFLSVFGBuilder::rmIncomingEdgeForSUStore()'],['../classSVF_1_1SaberSVFGBuilder.html#ae0a9c42c850bda29aeae2f47ad2b8f4a',1,'SVF::SaberSVFGBuilder::rmIncomingEdgeForSUStore()']]],
-  ['rminterleavingthread_10451',['rmInterleavingThread',['../classSVF_1_1MHP.html#a02b4ab18067c9b911b4bd53f0426aec3',1,'SVF::MHP']]],
-  ['rmsustat_10452',['rmSUStat',['../classSVF_1_1DDAVFSolver.html#a7d0775354df32f293e98578ed071d33c',1,'SVF::DDAVFSolver']]],
-  ['rsy_10453',['RSY',['../classSVF_1_1RelationSolver.html#a657af041f883e7b1a3f9892453a2c4cf',1,'SVF::RelationSolver']]],
-  ['rsy_5ftime_10454',['RSY_time',['../classSymblicAbstractionTest.html#abaa1ae92b79979cfabee1a2b8a284f80',1,'SymblicAbstractionTest']]],
-  ['runonmodule_10455',['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_10456',['runPointerAnalysis',['../classSVF_1_1DDAPass.html#ac480fe602e5e2d36ec4815ce50aeaad3',1,'SVF::DDAPass::runPointerAnalysis()'],['../classSVF_1_1WPAPass.html#ace6627f09d237f01d7b698aaea9020eb',1,'SVF::WPAPass::runPointerAnalysis()']]]
+  ['racevalidator_10318',['RaceValidator',['../classSVF_1_1RaceValidator.html#a990ee1472b24a746d42b7bac4e453447',1,'SVF::RaceValidator']]],
+  ['re_5fcomp_10319',['re_comp',['../extapi_8c.html#ab92fb233728874f4d1d12e3820ae261d',1,'extapi.c']]],
+  ['read_10320',['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)']]],
+  ['readandsetobjfieldsensitivity_10321',['readAndSetObjFieldSensitivity',['../classSVF_1_1BVDataPTAImpl.html#a4ad982a53fbf62c5513afe63b2435fa5',1,'SVF::BVDataPTAImpl']]],
+  ['readbignumber_10322',['readBigNumber',['../namespaceSVF.html#ac9bc0a9e085bace3fcd2e92b6d418dab',1,'SVF']]],
+  ['readdir_5fr_10323',['readdir_r',['../extapi_8c.html#a3ccb1f4f10729777321e33899242f721',1,'extapi.c']]],
+  ['readfile_10324',['readFile',['../classSVF_1_1SVFG.html#a9da50b8f467066b478143af64f7c9858',1,'SVF::SVFG']]],
+  ['readfromfile_10325',['readFromFile',['../classSVF_1_1BVDataPTAImpl.html#a290501006cb700db0e07dc577429c928',1,'SVF::BVDataPTAImpl']]],
+  ['readgepobjvarmapfromfile_10326',['readGepObjVarMapFromFile',['../classSVF_1_1BVDataPTAImpl.html#afce21c2a8fca8a2eae4883d2fe148cc0',1,'SVF::BVDataPTAImpl']]],
+  ['readinheritancemetadatafrommodule_10327',['readInheritanceMetadataFromModule',['../classSVF_1_1CHGBuilder.html#a443b021eb2b08b92164515750385b058',1,'SVF::CHGBuilder']]],
+  ['readjson_10328',['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)']]],
+  ['readprecision_10329',['readPrecision',['../classSVF_1_1MTASVFGBuilder.html#a5532751632ece036b3d6741908573b36',1,'SVF::MTASVFGBuilder']]],
+  ['readptsfromfile_10330',['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_10331',['readPtsResultFromFile',['../classSVF_1_1BVDataPTAImpl.html#af4e17ce3667d40d1a377508a275af384',1,'SVF::BVDataPTAImpl']]],
+  ['readsmallnumber_10332',['readSmallNumber',['../namespaceSVF.html#a1202d15e828377e9bec5164f76c48096',1,'SVF']]],
+  ['readversionedanalysisresultfromfile_10333',['readVersionedAnalysisResultFromFile',['../classSVF_1_1VersionedFlowSensitive.html#a31976bfeb5498ce57262dda34e3bf94a',1,'SVF::VersionedFlowSensitive']]],
+  ['reallocate_10334',['reallocate',['../structinternal__hooks.html#a5dd48d5c2f2b1cf4f6eec5df6205e15c',1,'internal_hooks']]],
+  ['realpath_10335',['realpath',['../extapi_8c.html#a6646e3960f1c015c86c3b45f6e5db53e',1,'extapi.c']]],
+  ['recompute_10336',['reCompute',['../classSVF_1_1DDAVFSolver.html#a8c5220108a65fa281959529cb1e9cc57',1,'SVF::DDAVFSolver']]],
+  ['recomputeforedges_10337',['reComputeForEdges',['../classSVF_1_1DDAVFSolver.html#ace037388135f272365cee2e87844bfba',1,'SVF::DDAVFSolver']]],
+  ['recordaddingedge_10338',['recordAddingEdge',['../classSVF_1_1MTASVFGBuilder.html#a2effeeac276a64d612fe6af08ec25b74',1,'SVF::MTASVFGBuilder']]],
+  ['recordedge_10339',['recordEdge',['../classSVF_1_1MTASVFGBuilder.html#a55da7f1a8921727f84232e5905d6135f',1,'SVF::MTASVFGBuilder']]],
+  ['recordremovingedge_10340',['recordRemovingEdge',['../classSVF_1_1MTASVFGBuilder.html#a97179139a6395a7062d3200c23d4b69d',1,'SVF::MTASVFGBuilder']]],
+  ['recursivecallpass_10341',['recursiveCallPass',['../classSVF_1_1AbstractExecution.html#aa220cdcd1653998d684ec14fe729932d',1,'SVF::AbstractExecution']]],
+  ['referenceproxy_10342',['ReferenceProxy',['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aabce5b9a8700ecf1415a92ce45b384a2',1,'SVF::iter_facade_base::ReferenceProxy']]],
+  ['regionobjects_10343',['regionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a7d34542f34a8e8008119c3d61943daa2',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['relationsolver_10344',['RelationSolver',['../classSVF_1_1RelationSolver.html#aaee624b8260da9ba0de027d80b01d984',1,'SVF::RelationSolver']]],
+  ['release_10345',['release',['../classSVF_1_1RaceResultValidator.html#a64f61b58f59eba5f3e7c69f90edc68df',1,'SVF::RaceResultValidator::release()'],['../classSVF_1_1RaceResultValidator.html#a64f61b58f59eba5f3e7c69f90edc68df',1,'SVF::RaceResultValidator::release()']]],
+  ['releaseandersenscd_10346',['releaseAndersenSCD',['../classSVF_1_1AndersenSCD.html#ac2003ddf910f55d5c53c762b45964b50',1,'SVF::AndersenSCD']]],
+  ['releaseandersensfr_10347',['releaseAndersenSFR',['../classSVF_1_1AndersenSFR.html#a4aa1607b7d84a6de151c19ae84b913b9',1,'SVF::AndersenSFR']]],
+  ['releaseandersenwavediff_10348',['releaseAndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html#a5da6abb1a7f0ef3e3871ea6e5a623625',1,'SVF::AndersenWaveDiff']]],
+  ['releasecdg_10349',['releaseCDG',['../classSVF_1_1CDG.html#ab0682abdbd97d1223cc0a968f7ccc543',1,'SVF::CDG']]],
+  ['releasecontext_10350',['releaseContext',['../classSVF_1_1Z3Expr.html#a9da409a05cfd85d966d887b33dd1cc94',1,'SVF::Z3Expr']]],
+  ['releasefsmpta_10351',['releaseFSMPTA',['../classSVF_1_1FSMPTA.html#aea3ec49d7c12dc7e884600d1eddc99f0',1,'SVF::FSMPTA']]],
+  ['releasefswpa_10352',['releaseFSWPA',['../classSVF_1_1FlowSensitive.html#ae6aed22a79ac6567446dfcba82cb17b8',1,'SVF::FlowSensitive']]],
+  ['releasellvmmoduleset_10353',['releaseLLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936',1,'SVF::LLVMModuleSet']]],
+  ['releasememory_10354',['releaseMemory',['../classSVF_1_1SVFGBuilder.html#a6e08e6a99f7e743abf35e603e35e54f5',1,'SVF::SVFGBuilder']]],
+  ['releasesolver_10355',['releaseSolver',['../classSVF_1_1Z3Expr.html#a9cf1997ee2d22542f7288506ed0f4733',1,'SVF::Z3Expr']]],
+  ['releasesteensgaard_10356',['releaseSteensgaard',['../classSVF_1_1Steensgaard.html#a375a16c7538866fcebfecf228f7ee63d',1,'SVF::Steensgaard']]],
+  ['releasesvfir_10357',['releaseSVFIR',['../classSVF_1_1SVFIR.html#a007c86e5d2d541d08815547a5492731e',1,'SVF::SVFIR']]],
+  ['releasesvfmodule_10358',['releaseSVFModule',['../classSVF_1_1SVFModule.html#a545633e2d7f103b4983b47d4e1c56823',1,'SVF::SVFModule']]],
+  ['releasesymbolinfo_10359',['releaseSymbolInfo',['../classSVF_1_1SymbolTableInfo.html#a9f8d99c761f3c7108d797b3702fcbfec',1,'SVF::SymbolTableInfo']]],
+  ['releasevfswpa_10360',['releaseVFSWPA',['../classSVF_1_1VersionedFlowSensitive.html#a754c77fff88e8f415dc7a2096d1bffe2',1,'SVF::VersionedFlowSensitive']]],
+  ['relexestate_10361',['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']]],
+  ['remapallpts_10362',['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_10363',['remapPointsToSets',['../classSVF_1_1BVDataPTAImpl.html#a7a87ca1a439e871896f92e4342befa2c',1,'SVF::BVDataPTAImpl']]],
+  ['removeaddredge_10364',['removeAddrEdge',['../classSVF_1_1ConstraintGraph.html#acc23df2db1fa7b8e0270d8a04f08f2ee',1,'SVF::ConstraintGraph']]],
+  ['removealledges_10365',['removeAllEdges',['../classSVF_1_1SVFGOPT.html#ac15b3c2cb127b17ebad3a30fc04b6f40',1,'SVF::SVFGOPT']]],
+  ['removeallindirectsvfgedges_10366',['removeAllIndirectSVFGEdges',['../classSVF_1_1VersionedFlowSensitive.html#a275095f60640d862034ad173af3371c3',1,'SVF::VersionedFlowSensitive']]],
+  ['removeback_10367',['removeBack',['../classSVF_1_1FILOWorkList.html#a10c20d2c670af8de5dcbe6f433ca83ee',1,'SVF::FILOWorkList']]],
+  ['removecandidates_10368',['removeCandidates',['../classSVF_1_1WPAMinimumSolver.html#aa6d8de95ddf703fdac33ef1216ce4aff',1,'SVF::WPAMinimumSolver']]],
+  ['removecdgedge_10369',['removeCDGEdge',['../classSVF_1_1CDG.html#afd04ca26b53407aceffe1c507d345f95',1,'SVF::CDG']]],
+  ['removecdgnode_10370',['removeCDGNode',['../classSVF_1_1CDG.html#a260507920498e0d9bd6bf629e6912cdb',1,'SVF::CDG::removeCDGNode(CDGNode *node)'],['../classSVF_1_1CDG.html#a3ff150908e40b1b39799e46317c805fc',1,'SVF::CDG::removeCDGNode(NodeID id)']]],
+  ['removecflinedge_10371',['removeCFLInEdge',['../classSVF_1_1CFLNode.html#a60dfc3e421558eecee5065e8ae5f984a',1,'SVF::CFLNode']]],
+  ['removecfloutedge_10372',['removeCFLOutEdge',['../classSVF_1_1CFLNode.html#a821078d812986c488932610063d7509f',1,'SVF::CFLNode']]],
+  ['removeconstraintnode_10373',['removeConstraintNode',['../classSVF_1_1ConstraintGraph.html#a9e21bc9b86080b4059f0907e9a7b33f3',1,'SVF::ConstraintGraph']]],
+  ['removecxtstmttospan_10374',['removeCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a0b21446e6d5dfc1b5d0ebd75895225dd',1,'SVF::LockAnalysis']]],
+  ['removedirectedge_10375',['removeDirectEdge',['../classSVF_1_1ConstraintGraph.html#a9fc73676ea133651604e2528fe1d8244',1,'SVF::ConstraintGraph']]],
+  ['removedpmfromloc_10376',['removeDpmFromLoc',['../classSVF_1_1DDAVFSolver.html#a00ae738a76564b7b334faae567674e34',1,'SVF::DDAVFSolver']]],
+  ['removefirstsymbol_10377',['removeFirstSymbol',['../classSVF_1_1CFGNormalizer.html#a711e134b6470e9cc9b337d1b0e4708a9',1,'SVF::CFGNormalizer']]],
+  ['removefront_10378',['removeFront',['../classSVF_1_1FIFOWorkList.html#a621fe65af285665396fa10af9f96ef3a',1,'SVF::FIFOWorkList']]],
+  ['removefunannotations_10379',['removeFunAnnotations',['../namespaceSVF_1_1LLVMUtil.html#a2acb79d8c24884ee2dcbba37d98021d9',1,'SVF::LLVMUtil']]],
+  ['removegnode_10380',['removeGNode',['../classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915',1,'SVF::GenericGraph']]],
+  ['removeicfgedge_10381',['removeICFGEdge',['../classSVF_1_1ICFG.html#a534625b10673efe5b0f344bfebf9b3cf',1,'SVF::ICFG']]],
+  ['removeicfgnode_10382',['removeICFGNode',['../classSVF_1_1ICFG.html#a403cd10f7c01cc879d803a9759e729cb',1,'SVF::ICFG']]],
+  ['removeincomingaddredge_10383',['removeIncomingAddrEdge',['../classSVF_1_1ConstraintNode.html#a5a97f47f5a65550dce11341c6f8d9ae6',1,'SVF::ConstraintNode']]],
+  ['removeincomingdirectedge_10384',['removeIncomingDirectEdge',['../classSVF_1_1ConstraintNode.html#a7946aea5584d124f6c83fd91ab497500',1,'SVF::ConstraintNode']]],
+  ['removeincomingedge_10385',['removeIncomingEdge',['../classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225',1,'SVF::GenericNode']]],
+  ['removeincomingloadedge_10386',['removeIncomingLoadEdge',['../classSVF_1_1ConstraintNode.html#aa1f60c884d007524641d1a786410d41b',1,'SVF::ConstraintNode']]],
+  ['removeincomingstoreedge_10387',['removeIncomingStoreEdge',['../classSVF_1_1ConstraintNode.html#a2d0e87fa3174562c97b519b2b144d8ea',1,'SVF::ConstraintNode']]],
+  ['removeinedges_10388',['removeInEdges',['../classSVF_1_1SVFGOPT.html#a5a2fe12411de408dfb57e910e413957f',1,'SVF::SVFGOPT']]],
+  ['removekey_10389',['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_10390',['removeLoadEdge',['../classSVF_1_1ConstraintGraph.html#aa4bca2422049413439cb0c3400f2ce28',1,'SVF::ConstraintGraph']]],
+  ['removemdtag_10391',['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_10392',['removeOutEdges',['../classSVF_1_1SVFGOPT.html#ae85391a5f0828362c61d55e162eef04d',1,'SVF::SVFGOPT']]],
+  ['removeoutgoingaddredge_10393',['removeOutgoingAddrEdge',['../classSVF_1_1ConstraintNode.html#abaf196bcce496fbdee6740c42ca9dd71',1,'SVF::ConstraintNode']]],
+  ['removeoutgoingdirectedge_10394',['removeOutgoingDirectEdge',['../classSVF_1_1ConstraintNode.html#a73b8c0967cde518a2ea7dfea2a7dc32f',1,'SVF::ConstraintNode']]],
+  ['removeoutgoingedge_10395',['removeOutgoingEdge',['../classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1',1,'SVF::GenericNode']]],
+  ['removeoutgoingloadedge_10396',['removeOutgoingLoadEdge',['../classSVF_1_1ConstraintNode.html#a7d810ec9abc8817a938a557ac78dc8c0',1,'SVF::ConstraintNode']]],
+  ['removeoutgoingstoreedge_10397',['removeOutgoingStoreEdge',['../classSVF_1_1ConstraintNode.html#a24ef3eedb218283d106eceb8a73ca1b4',1,'SVF::ConstraintNode']]],
+  ['removestoreedge_10398',['removeStoreEdge',['../classSVF_1_1ConstraintGraph.html#aad3d05c949c33a587b3ac6d627f5a0a2',1,'SVF::ConstraintGraph']]],
+  ['removesvfgedge_10399',['removeSVFGEdge',['../classSVF_1_1SVFG.html#a931d8b82e10a54d68c68cf6bd80264be',1,'SVF::SVFG']]],
+  ['removesvfgnode_10400',['removeSVFGNode',['../classSVF_1_1SVFG.html#a700c5fc6c1cb4136e55196fe3d393b8b',1,'SVF::SVFG']]],
+  ['removeunusedextapis_10401',['removeUnusedExtAPIs',['../classSVF_1_1LLVMModuleSet.html#aeaf96b0a6ee4b321a173374137ebe5e4',1,'SVF::LLVMModuleSet']]],
+  ['removeunusedfuncsandannotationsandglobalvariables_10402',['removeUnusedFuncsAndAnnotationsAndGlobalVariables',['../namespaceSVF_1_1LLVMUtil.html#a484bbbc9713fc4be173943e6bc177fb5',1,'SVF::LLVMUtil']]],
+  ['removeunusedglobalvariables_10403',['removeUnusedGlobalVariables',['../namespaceSVF_1_1LLVMUtil.html#ae2b444bb3e7a27d77386f588a78af8e2',1,'SVF::LLVMUtil']]],
+  ['removevarfromdfinupdatedset_10404',['removeVarFromDFInUpdatedSet',['../classSVF_1_1MutableIncDFPTData.html#a913c1a2c48526160eeecd028bd22cfc4',1,'SVF::MutableIncDFPTData::removeVarFromDFInUpdatedSet()'],['../classSVF_1_1PersistentIncDFPTData.html#ad449df82589efb4c40affb5fdc46f479',1,'SVF::PersistentIncDFPTData::removeVarFromDFInUpdatedSet()']]],
+  ['removevarfromdfoutupdatedset_10405',['removeVarFromDFOutUpdatedSet',['../classSVF_1_1MutableIncDFPTData.html#ac055ad77582b36083ca1950c39207f5e',1,'SVF::MutableIncDFPTData::removeVarFromDFOutUpdatedSet()'],['../classSVF_1_1PersistentIncDFPTData.html#ad1a2cd17519912b1d7571eeddcdc0060',1,'SVF::PersistentIncDFPTData::removeVarFromDFOutUpdatedSet()']]],
+  ['removevfgedge_10406',['removeVFGEdge',['../classSVF_1_1VFG.html#aeb24b155fe31813b2e6dc0564f55738a',1,'SVF::VFG']]],
+  ['removevfgnode_10407',['removeVFGNode',['../classSVF_1_1VFG.html#a122aa5ad874170ef644cee8705f1ef3e',1,'SVF::VFG']]],
+  ['renamechiset_10408',['RenameChiSet',['../classSVF_1_1MemSSA.html#a6066364112e665c33cbf2ec50ae1e3a8',1,'SVF::MemSSA']]],
+  ['renamemuset_10409',['RenameMuSet',['../classSVF_1_1MemSSA.html#a2527b76b92dffa8f8513ebfdcc8d8133',1,'SVF::MemSSA']]],
+  ['renamephiops_10410',['RenamePhiOps',['../classSVF_1_1MemSSA.html#a0ed34f7a27db045c624c5db61d53132b',1,'SVF::MemSSA']]],
+  ['renamephires_10411',['RenamePhiRes',['../classSVF_1_1MemSSA.html#a630be375832b1477989af85dce6760f3',1,'SVF::MemSSA']]],
+  ['rendergraphfrombottomup_10412',['renderGraphFromBottomUp',['../structSVF_1_1DefaultDOTGraphTraits.html#aeb5908ad6424c0636b698e5ea0a587c0',1,'SVF::DefaultDOTGraphTraits']]],
+  ['rep_10413',['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_10414',['replace_item_in_object',['../cJSON_8cpp.html#afdae75197cf2c440ef858a2e93b104f2',1,'cJSON.cpp']]],
+  ['replaceextension_10415',['replaceExtension',['../llvm2svf_8cpp.html#a7234932227363d976b4dcf64ba29823c',1,'llvm2svf.cpp']]],
+  ['replacefparamaretwithphi_10416',['replaceFParamARetWithPHI',['../classSVF_1_1SVFGOPT.html#a1fd6d26203d7d574b5664b8fcae54c1a',1,'SVF::SVFGOPT']]],
+  ['repnode_10417',['repNode',['../classSVF_1_1SCCDetection.html#a3a5fdc9330a657240f77199f5aee602d',1,'SVF::SCCDetection']]],
+  ['reportbug_10418',['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_10419',['reportMemoryUsageKB',['../namespaceSVF_1_1SVFUtil.html#a6cfe12afa463d0ceddeee11540c33ab3',1,'SVF::SVFUtil']]],
+  ['requiredbits_10420',['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)']]],
+  ['reserve_10421',['reserve',['../classSVF_1_1WriterPtrPool.html#af0d604a17260624fcabaec623cb72491',1,'SVF::WriterPtrPool::reserve()'],['../classSVF_1_1ReaderPtrPool.html#ac9c1431385ac03aeabbe56603dc9ad92',1,'SVF::ReaderPtrPool::reserve()']]],
+  ['reset_10422',['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_10423',['resetData',['../classSVF_1_1Andersen.html#a95c0b2f501dff61993cd43a5cab89e17',1,'SVF::Andersen']]],
+  ['resetdef_10424',['resetDef',['../classSVF_1_1SVFGOPT.html#af504407e6cd42cfe2ea27165ff15df40',1,'SVF::SVFGOPT']]],
+  ['resetobjfieldsensitive_10425',['resetObjFieldSensitive',['../classSVF_1_1PointerAnalysis.html#a73fb8e595473e0c7df1dd0de4968ad13',1,'SVF::PointerAnalysis']]],
+  ['resetquery_10426',['resetQuery',['../classSVF_1_1DDAVFSolver.html#afe518d3d7f8051de5b9860f2460aa1b7',1,'SVF::DDAVFSolver']]],
+  ['resetrep_10427',['resetRep',['../classSVF_1_1ConstraintGraph.html#aa30231dab5b7c759e4e5d76422a5eb8e',1,'SVF::ConstraintGraph']]],
+  ['resetsubs_10428',['resetSubs',['../classSVF_1_1ConstraintGraph.html#a5fe3815a7990e16b99cf46e90529f8b3',1,'SVF::ConstraintGraph']]],
+  ['resettypeforheapstaticobj_10429',['resetTypeForHeapStaticObj',['../classSVF_1_1ObjTypeInfo.html#ae26937ca2107517e6ede8eb6d76b95d5',1,'SVF::ObjTypeInfo']]],
+  ['resolvecppindcalls_10430',['resolveCPPIndCalls',['../classSVF_1_1PointerAnalysis.html#ac04b64a5884710508b304f93da88c7ba',1,'SVF::PointerAnalysis']]],
+  ['resolvefunptr_10431',['resolveFunPtr',['../classSVF_1_1DDAVFSolver.html#afcc074be34dd0c45418ff16b3d9d4192',1,'SVF::DDAVFSolver']]],
+  ['resolveindcalls_10432',['resolveIndCalls',['../classSVF_1_1PointerAnalysis.html#a8d128246f86f28fdf4981d91169ab440',1,'SVF::PointerAnalysis']]],
+  ['restorefuncname_10433',['restoreFuncName',['../namespaceSVF_1_1LLVMUtil.html#af4c9c5d445107b1816a4be93852ba612',1,'SVF::LLVMUtil']]],
+  ['retargetdstofedge_10434',['reTargetDstOfEdge',['../classSVF_1_1ConstraintGraph.html#a4db3484e3710c3f5cc86ec32dd643722',1,'SVF::ConstraintGraph']]],
+  ['retargetedgesofainfout_10435',['retargetEdgesOfAInFOut',['../classSVF_1_1SVFGOPT.html#abefe3efa0232106f1843351ff6dd1063',1,'SVF::SVFGOPT']]],
+  ['retargetedgesofaoutfin_10436',['retargetEdgesOfAOutFIn',['../classSVF_1_1SVFGOPT.html#a2285d20f7c4d128a8ede2e7f4f41f798',1,'SVF::SVFGOPT']]],
+  ['retargetsrcofedge_10437',['reTargetSrcOfEdge',['../classSVF_1_1ConstraintGraph.html#aaae56afed424f7cd59fddb3fcb2f7214',1,'SVF::ConstraintGraph']]],
+  ['retcfgedge_10438',['RetCFGEdge',['../classSVF_1_1RetCFGEdge.html#a5a461528da9eb46ca190fbd49b41d0d1',1,'SVF::RetCFGEdge']]],
+  ['retdirsvfgedge_10439',['RetDirSVFGEdge',['../classSVF_1_1RetDirSVFGEdge.html#a5998569c23747ef9dbe6f86b5a04ce5c',1,'SVF::RetDirSVFGEdge']]],
+  ['reticfgnode_10440',['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_10441',['RetIndSVFGEdge',['../classSVF_1_1RetIndSVFGEdge.html#ae07d99d4156d999512e75b5d5fa207c4',1,'SVF::RetIndSVFGEdge']]],
+  ['retmu_10442',['RetMU',['../classSVF_1_1RetMU.html#a8cd41b018ddef450d17a20ea83ce3fee',1,'SVF::RetMU']]],
+  ['retpe_10443',['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_10444',['retPEBegin',['../classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132',1,'SVF::FormalRetVFGNode']]],
+  ['retpeend_10445',['retPEEnd',['../classSVF_1_1FormalRetVFGNode.html#adae36045df1057e551d92aa7bfb236f9',1,'SVF::FormalRetVFGNode']]],
+  ['retpn_10446',['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)']]],
+  ['retsyms_10447',['retSyms',['../classSVF_1_1SymbolTableInfo.html#aafd4da7cef6387bb974abe20185b7b96',1,'SVF::SymbolTableInfo']]],
+  ['return_10448',['return',['../cJSON_8cpp.html#a15f779a174654a93596726f6eb6b57fe',1,'cJSON.cpp']]],
+  ['rindex_10449',['rindex',['../extapi_8c.html#a83d9aa3251fdee263ad43bf75933de46',1,'extapi.c']]],
+  ['rmderefdirsvfgedges_10450',['rmDerefDirSVFGEdges',['../classSVF_1_1SaberSVFGBuilder.html#ad8f4f63d2071be4eb5f6fb2fdf29a10a',1,'SVF::SaberSVFGBuilder']]],
+  ['rmincomingedgeforsustore_10451',['rmIncomingEdgeForSUStore',['../classSVF_1_1CFLSVFGBuilder.html#a5a8d9e9a8bdb5ff8605592c2310d34a2',1,'SVF::CFLSVFGBuilder::rmIncomingEdgeForSUStore()'],['../classSVF_1_1SaberSVFGBuilder.html#ae0a9c42c850bda29aeae2f47ad2b8f4a',1,'SVF::SaberSVFGBuilder::rmIncomingEdgeForSUStore()']]],
+  ['rminterleavingthread_10452',['rmInterleavingThread',['../classSVF_1_1MHP.html#a02b4ab18067c9b911b4bd53f0426aec3',1,'SVF::MHP']]],
+  ['rmsustat_10453',['rmSUStat',['../classSVF_1_1DDAVFSolver.html#a7d0775354df32f293e98578ed071d33c',1,'SVF::DDAVFSolver']]],
+  ['rsy_10454',['RSY',['../classSVF_1_1RelationSolver.html#a657af041f883e7b1a3f9892453a2c4cf',1,'SVF::RelationSolver']]],
+  ['rsy_5ftime_10455',['RSY_time',['../classSymblicAbstractionTest.html#abaa1ae92b79979cfabee1a2b8a284f80',1,'SymblicAbstractionTest']]],
+  ['runonmodule_10456',['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_10457',['runPointerAnalysis',['../classSVF_1_1DDAPass.html#ac480fe602e5e2d36ec4815ce50aeaad3',1,'SVF::DDAPass::runPointerAnalysis()'],['../classSVF_1_1WPAPass.html#ace6627f09d237f01d7b698aaea9020eb',1,'SVF::WPAPass::runPointerAnalysis()']]]
 ];