svf-tools 1.0.768 → 1.0.770

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

@@ -1,276 +1,278 @@
 var searchData=
 [
-  ['sabercheckerapi_9848',['SaberCheckerAPI',['../classSVF_1_1SaberCheckerAPI.html#afdd2f15bb46594a61a3c552899215806',1,'SVF::SaberCheckerAPI']]],
-  ['sabercondallocator_9849',['SaberCondAllocator',['../classSVF_1_1SaberCondAllocator.html#a4b1625597c6b331dfe0e8ceef95731b5',1,'SVF::SaberCondAllocator']]],
-  ['sabersvfgbuilder_9850',['SaberSVFGBuilder',['../classSVF_1_1SaberSVFGBuilder.html#aa66cd30067d39f2083fb671fdc43beb4',1,'SVF::SaberSVFGBuilder']]],
-  ['samelooptripcount_9851',['sameLoopTripCount',['../classSVF_1_1ForkJoinAnalysis.html#a28e50b1ffdcdaba57d3515a5f6410c86',1,'SVF::ForkJoinAnalysis']]],
-  ['sanitizepts_9852',['sanitizePts',['../classSVF_1_1Andersen.html#a308ef1f3a1c9fd7ac1858d0c690aa37a',1,'SVF::Andersen']]],
-  ['sanitycheck_9853',['sanityCheck',['../classSVF_1_1SVFIRBuilder.html#a09baa8c7246853c3faaed85b38f0da60',1,'SVF::SVFIRBuilder']]],
-  ['saveid_9854',['saveID',['../classSVF_1_1WriterPtrPool.html#a99162b81da24cf79d1252c18573038d4',1,'SVF::WriterPtrPool']]],
-  ['savetogenericgraph_9855',['saveToGenericGraph',['../classSVF_1_1GenericGraphReader.html#a337b37b2d78cfaa756f44dee76fb187f',1,'SVF::GenericGraphReader']]],
-  ['savetoidtoobjmap_9856',['saveToIDToObjMap',['../classSVF_1_1ReaderIDToObjMap.html#a8c39d643a10d83a7f525ace9a002844c',1,'SVF::ReaderIDToObjMap']]],
-  ['savetoset_9857',['saveToSet',['../classSVF_1_1ReaderPtrPool.html#a8a766e643ac79dc023ff58e1883c9626',1,'SVF::ReaderPtrPool']]],
-  ['sccdetect_9858',['SCCDetect',['../classSVF_1_1Andersen.html#a31ea24432ff42ab86a4728f2bde571bc',1,'SVF::Andersen::SCCDetect()'],['../classSVF_1_1AndersenSCD.html#a70f69baf47587b742b5013a63a3ce593',1,'SVF::AndersenSCD::SCCDetect()'],['../classSVF_1_1FlowSensitive.html#a3fcdbd3e6718cd5b3a339d34198dd0e6',1,'SVF::FlowSensitive::SCCDetect()'],['../classSVF_1_1WPAFSSolver.html#a2d4cfae34bd4a55f1fe03881c87f8708',1,'SVF::WPAFSSolver::SCCDetect()'],['../classSVF_1_1WPASolver.html#aaa932894d00b69cfa741f9987a9cc6b8',1,'SVF::WPASolver::SCCDetect()'],['../classSVF_1_1WPASolver.html#a16d371c8f6a9bdb1ca984bcb287d6c5a',1,'SVF::WPASolver::SCCDetect(NodeSet &candidates)']]],
-  ['sccdetection_9859',['SCCDetection',['../classSVF_1_1SCCDetection.html#a1bd915ba4079ddd5dd6e57a88129ffee',1,'SVF::SCCDetection']]],
-  ['sccrepnode_9860',['sccRepNode',['../classSVF_1_1ConstraintGraph.html#a39b973543acdcdc5493832cc9d0f586f',1,'SVF::ConstraintGraph::sccRepNode()'],['../classSVF_1_1Andersen.html#aad706e332847e6b0892350a05028ba30',1,'SVF::Andersen::sccRepNode()'],['../classSVF_1_1WPAFSSolver.html#a0bbaffd1673cc3850217afad0ca56e42',1,'SVF::WPAFSSolver::sccRepNode()'],['../classSVF_1_1WPASolver.html#a3bd463cd456a1d58242f118328f51ddb',1,'SVF::WPASolver::sccRepNode()']]],
-  ['sccsubnodes_9861',['sccSubNodes',['../classSVF_1_1ConstraintGraph.html#aed605b010e313f4b11e95b83fe50e3b3',1,'SVF::ConstraintGraph::sccSubNodes()'],['../classSVF_1_1Andersen.html#acd2feff818906db49a1bb2d94c33db5f',1,'SVF::Andersen::sccSubNodes()']]],
-  ['selectclient_9862',['selectClient',['../classSVF_1_1DDAPass.html#aa33694e0b5f30c451c229e92877e4842',1,'SVF::DDAPass']]],
-  ['selectstmt_9863',['SelectStmt',['../classSVF_1_1SelectStmt.html#a995baa18cc36d0671be3e98761f9879a',1,'SVF::SelectStmt::SelectStmt()'],['../classSVF_1_1SelectStmt.html#ad51a542e72f165abbba9d3242db1bea6',1,'SVF::SelectStmt::SelectStmt(const SelectStmt &)'],['../classSVF_1_1SelectStmt.html#af3ffdfb0b260754b64250f980c065198',1,'SVF::SelectStmt::SelectStmt(SVFVar *s, const OPVars &opnds, const SVFVar *cond)']]],
-  ['set_9864',['set',['../classSVF_1_1CondStdSet.html#ae11deddad534be115d29daad08c90599',1,'SVF::CondStdSet::set()'],['../classSVF_1_1CondPointsToSet.html#aadf2576b55bbdb82d7affc8466c09861',1,'SVF::CondPointsToSet::set()'],['../classSVF_1_1PointsTo.html#ab196d86cfb48d1c5d27a0c03c7497afa',1,'SVF::PointsTo::set()'],['../classSVF_1_1CoreBitVector.html#a553e3e51bffe1aab04adc047e0fd3f24',1,'SVF::CoreBitVector::set()'],['../structSVF_1_1SparseBitVectorElement.html#a094acafea02f3c117445267e75c9a629',1,'SVF::SparseBitVectorElement::set()'],['../classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832',1,'SVF::SparseBitVector::set()'],['../WPA_2CMakeLists_8txt.html#acb857077b5bb0b1d50ed7b3864b3b6cf',1,'set(): CMakeLists.txt']]],
-  ['set_5fminus_5finfinite_9865',['set_minus_infinite',['../classSVF_1_1BoundedZ3Expr.html#ae76bf19d580cbc12a40f7c1823165178',1,'SVF::BoundedZ3Expr']]],
-  ['set_5fplus_5finfinite_9866',['set_plus_infinite',['../classSVF_1_1BoundedZ3Expr.html#ad781e43e6d1e1fd2392e51737b7898b9',1,'SVF::BoundedZ3Expr']]],
-  ['set_5fto_5fbottom_9867',['set_to_bottom',['../classSVF_1_1IntervalValue.html#ac763bab0b6fedbe5ec5b345c7b260e30',1,'SVF::IntervalValue']]],
-  ['set_5fto_5ftop_9868',['set_to_top',['../classSVF_1_1IntervalValue.html#a8a9edd3eb9c31ecff090953301bf822d',1,'SVF::IntervalValue::set_to_top()'],['../classSVF_1_1SingleAbsValue.html#afef13058a5d730798bd8b10cdf3e5ea3',1,'SVF::SingleAbsValue::set_to_top()']]],
-  ['setabsstate_9869',['setAbsState',['../classSVF_1_1SymState.html#a1f946132843a9bdf5099b243613079be',1,'SVF::SymState']]],
-  ['setactualindef_9870',['setActualINDef',['../classSVF_1_1SVFGOPT.html#a490695ab536cd455c531fbdc57499cac',1,'SVF::SVFGOPT']]],
-  ['setallreachable_9871',['setAllReachable',['../classSVF_1_1ProgSlice.html#ae6102647fa4985142c293116516612cd',1,'SVF::ProgSlice']]],
-  ['setattributekinds_9872',['setAttributeKinds',['../classSVF_1_1GrammarBase.html#a1e1bf1e32bcd7c68ce789c2f9f6327c0',1,'SVF::GrammarBase']]],
-  ['setbasenode_9873',['setBaseNode',['../classSVF_1_1GepObjVar.html#a5e371fae7592d763661a7cb777107ff4',1,'SVF::GepObjVar']]],
-  ['setbb_9874',['setBB',['../classSVF_1_1SVFStmt.html#a0e45ab5b38059371c47d5f2011118a4d',1,'SVF::SVFStmt']]],
-  ['setbottom_9875',['setBottom',['../classSVF_1_1AddressValue.html#a77d6a1706328d86b210b26bacaf2fa9f',1,'SVF::AddressValue']]],
-  ['setbranchcond_9876',['setBranchCond',['../classSVF_1_1SaberCondAllocator.html#a5012a977e0db66a2ae111d4164936037',1,'SVF::SaberCondAllocator']]],
-  ['setbranchcondition_9877',['setBranchCondition',['../classSVF_1_1SymState.html#aae6109025931aea5d066a62058f584a6',1,'SVF::SymState::setBranchCondition()'],['../classSVF_1_1IntraCFGEdge.html#ad7b35b7c9abb07122eaa8517dae56508',1,'SVF::IntraCFGEdge::setBranchCondition()']]],
-  ['setcalledoperand_9878',['setCalledOperand',['../classSVF_1_1SVFCallInst.html#a6dd304f555d2d2388c4430e57b0d2b91',1,'SVF::SVFCallInst']]],
-  ['setcallgraph_9879',['setCallGraph',['../classSVF_1_1DDAVFSolver.html#afc2b0eeb1d5d5f292690f3c949217c38',1,'SVF::DDAVFSolver']]],
-  ['setcallgraphscc_9880',['setCallGraphSCC',['../classSVF_1_1DDAVFSolver.html#abd652b2627f68d7d4f8bf3bdb20ce975',1,'SVF::DDAVFSolver']]],
-  ['setcdn_9881',['setCDN',['../classSVF_1_1CFBasicBlockGWTO.html#a49d0128828b44df0a8631dd193ed8898',1,'SVF::CFBasicBlockGWTO']]],
-  ['setcfcond_9882',['setCFCond',['../classSVF_1_1SaberCondAllocator.html#a9c1660f4a9ecc161c0fb97c735a690b9',1,'SVF::SaberCondAllocator']]],
-  ['setchg_9883',['setCHG',['../classSVF_1_1SVFIR.html#aa14f6cde41bcac27ce2f66c6b33ee410',1,'SVF::SVFIR']]],
-  ['setcondinst_9884',['setCondInst',['../classSVF_1_1SaberCondAllocator.html#a97d540340f9039b3f8bd1527fc7d7ebb',1,'SVF::SaberCondAllocator']]],
-  ['setconstdataoraggdata_9885',['setConstDataOrAggData',['../classSVF_1_1SVFValue.html#afe1de41ca3215b325d0ca61814c6bd6b',1,'SVF::SVFValue']]],
-  ['setconsume_9886',['setConsume',['../classSVF_1_1VersionedFlowSensitive.html#aabc0a5a7a31b8d880e019773ba960741',1,'SVF::VersionedFlowSensitive']]],
-  ['setcurevalsvfgnode_9887',['setCurEvalSVFGNode',['../classSVF_1_1SaberCondAllocator.html#ae717f565b947a72651c0de19bf6bcca0',1,'SVF::SaberCondAllocator']]],
-  ['setcurnodeid_9888',['setCurNodeID',['../classSVF_1_1DPItem.html#a5fbde30cae2cb09bd9dc9a6969ea4b90',1,'SVF::DPItem']]],
-  ['setcurrentbbandvalueforpagedge_9889',['setCurrentBBAndValueForPAGEdge',['../classSVF_1_1SVFIRBuilder.html#abc394c99f0905c958a230412134eda01',1,'SVF::SVFIRBuilder']]],
-  ['setcurrentbestnodemapping_9890',['setCurrentBestNodeMapping',['../classSVF_1_1PointsTo.html#a84eca4c7fc833f8ca4d119cd4da08ca8',1,'SVF::PointsTo']]],
-  ['setcurrentlocation_9891',['setCurrentLocation',['../classSVF_1_1SVFIRBuilder.html#a15105737c91d01ba9daf2161fad220ef',1,'SVF::SVFIRBuilder::setCurrentLocation(const Value *val, const BasicBlock *bb)'],['../classSVF_1_1SVFIRBuilder.html#a18b425afe4cb7fc230c219334d2c458e',1,'SVF::SVFIRBuilder::setCurrentLocation(const SVFValue *val, const SVFBasicBlock *bb)']]],
-  ['setcurrentqueryptr_9892',['setCurrentQueryPtr',['../classSVF_1_1DDAClient.html#a3fbe4ffde0a14b2db40189883d49237f',1,'SVF::DDAClient']]],
-  ['setcurrentscc_9893',['setCurrentSCC',['../classSVF_1_1WPASCCSolver.html#a782121c831536e231f5b287629defef7',1,'SVF::WPASCCSolver']]],
-  ['setcurslice_9894',['setCurSlice',['../classSVF_1_1SrcSnkDDA.html#ab35c0d1f02c83a2c10717905f1abf5cd',1,'SVF::SrcSnkDDA']]],
-  ['setcursvfgnode_9895',['setCurSVFGNode',['../classSVF_1_1ProgSlice.html#aee72d029c185c24b2bf01cdc0dcb25d8',1,'SVF::ProgSlice']]],
-  ['setddastat_9896',['setDDAStat',['../classSVF_1_1DDAVFSolver.html#adcb641eec4f620effdb3f61a46429f40',1,'SVF::DDAVFSolver']]],
-  ['setdef_9897',['setDef',['../classSVF_1_1SVFG.html#accd1cbd26c9b194971f3107a57a0ab2e',1,'SVF::SVFG::setDef(const PAGNode *pagNode, const SVFGNode *node)'],['../classSVF_1_1SVFG.html#aa3ebc066d376e7ed508d2bce49fa864d',1,'SVF::SVFG::setDef(const MRVer *mvar, const SVFGNode *node)'],['../classSVF_1_1VFG.html#a1e0b8c7df55e05739775e8a1c50cf660',1,'SVF::VFG::setDef()']]],
-  ['setdeffunformultiplemodule_9898',['setDefFunForMultipleModule',['../classSVF_1_1SVFFunction.html#af1c181322926639bd99bbe58a8df70ab',1,'SVF::SVFFunction']]],
-  ['setdefglobalformultiplemodule_9899',['setDefGlobalForMultipleModule',['../classSVF_1_1SVFGlobalValue.html#a72c43f12f42a73dc28855c425fe5543a',1,'SVF::SVFGlobalValue']]],
-  ['setdetectpwc_9900',['setDetectPWC',['../classSVF_1_1Andersen.html#a1462bdde3748b1513e92a119b8a43794',1,'SVF::Andersen']]],
-  ['setebnfsigns_9901',['setEBNFSigns',['../classSVF_1_1GrammarBase.html#ad87ca88d62e7bc3a189652c707a72e12',1,'SVF::GrammarBase']]],
-  ['setec_9902',['setEC',['../classSVF_1_1Steensgaard.html#aa283cff49b0d340956649a95465b82b6',1,'SVF::Steensgaard']]],
-  ['setedgeflag_9903',['setEdgeFlag',['../classSVF_1_1SVFIRReader.html#aec95a42a5e46be50457fb3a8e9de7fbf',1,'SVF::SVFIRReader']]],
-  ['setes_9904',['setEs',['../classSVF_1_1SVFIR2ConsExeState.html#a7421cab74f02c7ab54aefb3242ed6c77',1,'SVF::SVFIR2ConsExeState::setEs()'],['../classSVF_1_1SVFIR2ItvExeState.html#a2e9ecde8db07741daa112649c432cbfd',1,'SVF::SVFIR2ItvExeState::setEs()']]],
-  ['setfieldinsensitive_9905',['setFieldInsensitive',['../classSVF_1_1MemObj.html#ab9637ea9acd1f8ae4933b4ab2b997e5c',1,'SVF::MemObj']]],
-  ['setfieldsensitive_9906',['setFieldSensitive',['../classSVF_1_1MemObj.html#a981b7424901ef74467f725ffc9fec0ca',1,'SVF::MemObj']]],
-  ['setfinalcond_9907',['setFinalCond',['../classSVF_1_1ProgSlice.html#af55830503ef47b4b1c15c0e5b3cd6a3f',1,'SVF::ProgSlice']]],
-  ['setflag_9908',['setFlag',['../classSVF_1_1DCHNode.html#a4e08c543fa2ae557ff835b1a0f3c53a4',1,'SVF::DCHNode::setFlag()'],['../classSVF_1_1CHNode.html#ab3755d804852b8a98bdf8cd0171f3a2f',1,'SVF::CHNode::setFlag()'],['../classSVF_1_1ObjTypeInfo.html#ad6fb2bfae3d4b73a6821a87106f65f49',1,'SVF::ObjTypeInfo::setFlag()']]],
-  ['setfldidx_9909',['setFldIdx',['../classSVF_1_1AccessPath.html#ab95df74c97fba13206df48e00131e15f',1,'SVF::AccessPath']]],
-  ['setformaloutdef_9910',['setFormalOUTDef',['../classSVF_1_1SVFGOPT.html#a3e2b811dd939c93bcf9fb94e91d553b1',1,'SVF::SVFGOPT']]],
-  ['setfunidxinvtable_9911',['setFunIdxInVtable',['../classSVF_1_1SVFVirtualCallInst.html#a947d6ca3695477fb5b36b46fa4899fb7',1,'SVF::SVFVirtualCallInst']]],
-  ['setfunnameofvirtualcall_9912',['setFunNameOfVirtualCall',['../classSVF_1_1SVFVirtualCallInst.html#adf936a7ee01d9c4662e31a5022ae94c0',1,'SVF::SVFVirtualCallInst']]],
-  ['setgraph_9913',['setGraph',['../classSVF_1_1SrcSnkSolver.html#a49cae8f70144639f529956478a8fca2b',1,'SVF::SrcSnkSolver::setGraph()'],['../classSVF_1_1GraphReachSolver.html#a0298a692295a8a4eae32ab151aa6ccc3',1,'SVF::GraphReachSolver::setGraph()'],['../classSVF_1_1WPASolver.html#aa04deb39cd024c051f30ac43d1d62b34',1,'SVF::WPASolver::setGraph()']]],
-  ['seticfg_9914',['setICFG',['../classSVF_1_1SVFIR.html#a756ae2b40ec29f2f92c95919f615e5ec',1,'SVF::SVFIR']]],
-  ['seticfgnode_9915',['setICFGNode',['../classSVF_1_1VFGNode.html#a9c95dd4f0e70ccc4a03282cdddba95de',1,'SVF::VFGNode::setICFGNode()'],['../classSVF_1_1SVFStmt.html#adb92a92f5c878576dff26cb38eab8c8c',1,'SVF::SVFStmt::setICFGNode()']]],
-  ['setincycle_9916',['setIncycle',['../classSVF_1_1CxtThread.html#adde663205c3ecc5a2e01b18bc305d5cb',1,'SVF::CxtThread']]],
-  ['setinloop_9917',['setInloop',['../classSVF_1_1CxtThread.html#aa4e1a9babb249a005e8dfae8cb83df21',1,'SVF::CxtThread']]],
-  ['setinscc_9918',['setInSCC',['../classSVF_1_1SCCDetection.html#aafe9ae9d158480e6a04803b25b61083e',1,'SVF::SCCDetection']]],
-  ['setisnotret_9919',['setIsNotRet',['../classSVF_1_1SVFFunction.html#aaddef080cdc8e4080fc2da1e3cf92deb',1,'SVF::SVFFunction']]],
-  ['setisuncalledfunction_9920',['setIsUncalledFunction',['../classSVF_1_1SVFFunction.html#a37f89063b55ff657a07e186224338ce8',1,'SVF::SVFFunction']]],
-  ['setkeynodesset_9921',['setKeyNodesSet',['../classSVF_1_1SymState.html#a2b4bdce23c28d5f635db6b48ce9aba11',1,'SVF::SymState']]],
-  ['setkindtoattrsmap_9922',['setKindToAttrsMap',['../classSVF_1_1GrammarBase.html#a082342020848e545c983df4d5ec6720a',1,'SVF::GrammarBase']]],
-  ['setlb_9923',['setLb',['../classSVF_1_1IntervalValue.html#adf3cae41adaeb62c3b5da19e81adbb5d',1,'SVF::IntervalValue']]],
-  ['setloc_9924',['setLoc',['../classSVF_1_1StmtDPItem.html#a9ba9ab1013a36530369aa6d684397f4f',1,'SVF::StmtDPItem']]],
-  ['setlocvar_9925',['setLocVar',['../classSVF_1_1StmtDPItem.html#a3feb4bc8e003cfdd30c1b2cfb2219efb',1,'SVF::StmtDPItem']]],
-  ['setloopbound_9926',['setLoopBound',['../classSVF_1_1SVFLoop.html#af594a873db7d6dbbcf25176da45fba80',1,'SVF::SVFLoop']]],
-  ['setmaxbudget_9927',['setMaxBudget',['../classSVF_1_1DPItem.html#a687ef8944ccb55b826508c47ea5b9240',1,'SVF::DPItem']]],
-  ['setmaxcxtlen_9928',['setMaxCxtLen',['../classSVF_1_1ContextCond.html#a92e89bbae0f31bb9eb971ab3edcc8071',1,'SVF::ContextCond']]],
-  ['setmaxfieldoffsetlimit_9929',['setMaxFieldOffsetLimit',['../classSVF_1_1ObjTypeInfo.html#a9fff869c63776c6ebeff78933e0f6092',1,'SVF::ObjTypeInfo']]],
-  ['setmaxpathlen_9930',['setMaxPathLen',['../classSVF_1_1ContextCond.html#a084679a423e78217ca10794775c25b1d',1,'SVF::ContextCond']]],
-  ['setmemusageafter_9931',['setMemUsageAfter',['../classSVF_1_1DDAStat.html#a9353910ceb01b53da6e880ebeb157433',1,'SVF::DDAStat']]],
-  ['setmemusagebefore_9932',['setMemUsageBefore',['../classSVF_1_1DDAStat.html#accadfa44f7cf9f107e4c8d100ce8db0d',1,'SVF::DDAStat']]],
-  ['setmodelconstants_9933',['setModelConstants',['../classSVF_1_1SymbolTableInfo.html#a4decfc9e7f5dc096d7bfa42d6965763d',1,'SVF::SymbolTableInfo']]],
-  ['setmodule_9934',['setModule',['../classSVF_1_1SVFIR.html#a52bea4a99022b036104751cafa9152b1',1,'SVF::SVFIR::setModule()'],['../classSVF_1_1SymbolTableInfo.html#a4f916c64ca04c4db30bd19fb8505724d',1,'SVF::SymbolTableInfo::setModule()']]],
-  ['setmoduleidentifier_9935',['setModuleIdentifier',['../classSVF_1_1SVFModule.html#acaba1ff38ed1fdd8a9a1251a1b36be92',1,'SVF::SVFModule']]],
-  ['setmultiforked_9936',['setMultiforked',['../classSVF_1_1TCTNode.html#a0fafde34cdffde6d38bb9efca9b7a9a1',1,'SVF::TCTNode']]],
-  ['setmultiforkedattrs_9937',['setMultiForkedAttrs',['../classSVF_1_1TCT.html#a11e36f9b58646dee4014e12e55c70508',1,'SVF::TCT']]],
-  ['setmultiinheritance_9938',['setMultiInheritance',['../classSVF_1_1DCHNode.html#a798e80f0cc5951789474abc3a0999166',1,'SVF::DCHNode::setMultiInheritance()'],['../classSVF_1_1CHNode.html#a5d751a3a0d88c0de374bfeb526051440',1,'SVF::CHNode::setMultiInheritance()']]],
-  ['setname_9939',['setName',['../classSVF_1_1SVFStructType.html#a6283d212e48c08c9bcf5ade551a79a50',1,'SVF::SVFStructType::setName(const std::string &structName)'],['../classSVF_1_1SVFStructType.html#ad397c1ef657691c0dae0c093a9b0a5e8',1,'SVF::SVFStructType::setName(std::string &&structName)'],['../classSVF_1_1SVFValue.html#a8325774df9d65d78ef6a66fef59b9a97',1,'SVF::SVFValue::setName(const std::string &n)'],['../classSVF_1_1SVFValue.html#a12db87881a5bfae7638aa8ad68f3214c',1,'SVF::SVFValue::setName(std::string &&n)']]],
-  ['setnegcondinst_9940',['setNegCondInst',['../classSVF_1_1SaberCondAllocator.html#ae8858c45c7406842ca967ed14f0b58e5',1,'SVF::SaberCondAllocator']]],
-  ['setnodenumafterpagbuild_9941',['setNodeNumAfterPAGBuild',['../classSVF_1_1IRGraph.html#a5fe12445ed0528183775747dec356db0',1,'SVF::IRGraph']]],
-  ['setnonconcretecxt_9942',['setNonConcreteCxt',['../classSVF_1_1ContextCond.html#ac80892cbef7a5d2c949e5f07682bc885',1,'SVF::ContextCond']]],
-  ['setnonterminals_9943',['setNonterminals',['../classSVF_1_1GrammarBase.html#afc9635e14b5871df457bf64fae6ad8cf',1,'SVF::GrammarBase']]],
-  ['setnumofelement_9944',['setNumOfElement',['../classSVF_1_1SVFArrayType.html#a986fc835f2e082796ecf1fd3b7f769b6',1,'SVF::SVFArrayType']]],
-  ['setnumofelements_9945',['setNumOfElements',['../classSVF_1_1MemObj.html#a904c5a96407574565e9c48eb2d31e869',1,'SVF::MemObj::setNumOfElements()'],['../classSVF_1_1ObjTypeInfo.html#aff17d13e520a731accedd06350af6221',1,'SVF::ObjTypeInfo::setNumOfElements()']]],
-  ['setnumoffieldsandelems_9946',['setNumOfFieldsAndElems',['../classSVF_1_1StInfo.html#a1a07c2b1415c29d7d70791c6dfe602a3',1,'SVF::StInfo']]],
-  ['setobjfieldinsensitive_9947',['setObjFieldInsensitive',['../classSVF_1_1PointerAnalysis.html#ac5683fe2e24b393ccc5cb6d8bc92cf2b',1,'SVF::PointerAnalysis']]],
-  ['setoffset_9948',['setOffset',['../classSVF_1_1DCHEdge.html#a70f757826082c95766c8324c1264e977',1,'SVF::DCHEdge']]],
-  ['setopver_9949',['setOpVer',['../classSVF_1_1MSSAPHISVFGNode.html#a928a57d7f518c5af98a0245d9221e671',1,'SVF::MSSAPHISVFGNode::setOpVer()'],['../classSVF_1_1CmpVFGNode.html#a41bcdd6b46a31c8d15533342478dc236',1,'SVF::CmpVFGNode::setOpVer()'],['../classSVF_1_1BinaryOPVFGNode.html#a76c67d31ffb67c4ef102471898ae2709',1,'SVF::BinaryOPVFGNode::setOpVer()'],['../classSVF_1_1UnaryOPVFGNode.html#a3b082eef98b8393499908f6c430b8d6c',1,'SVF::UnaryOPVFGNode::setOpVer()'],['../classSVF_1_1PHIVFGNode.html#a36f469a129063b43161a8d1423414ce5',1,'SVF::PHIVFGNode::setOpVer()'],['../classSVF_1_1MSSACHI.html#a245d8ee9e81ba4fe6f41533baf471331',1,'SVF::MSSACHI::setOpVer()'],['../classSVF_1_1MSSAPHI.html#a74f663dc5ecc659e98542a53414b7988',1,'SVF::MSSAPHI::setOpVer()']]],
-  ['setopverandbb_9950',['setOpVerAndBB',['../classSVF_1_1IntraPHIVFGNode.html#a7e5fd83393224ece808de83cbf496882',1,'SVF::IntraPHIVFGNode']]],
-  ['setpag_9951',['setPAG',['../classSVF_1_1DDAClient.html#a21badb317a249bbb506615182671b32c',1,'SVF::DDAClient']]],
-  ['setpagfromtxt_9952',['setPagFromTXT',['../classSVF_1_1SVFModule.html#a7af3076a26060090377d1f74293560fe',1,'SVF::SVFModule']]],
-  ['setpartialreachable_9953',['setPartialReachable',['../classSVF_1_1ProgSlice.html#af6f137be08ca0e743424ff07d679777d',1,'SVF::ProgSlice']]],
-  ['setpointerto_9954',['setPointerTo',['../classSVF_1_1SVFType.html#a3ddabbd763acaaca28cacbabe5bc7f3b',1,'SVF::SVFType']]],
-  ['setptrinuncalledfunction_9955',['setPtrInUncalledFunction',['../classSVF_1_1SVFValue.html#ac2e5c42d0ac92375c88ef5b3f1b65dc4',1,'SVF::SVFValue']]],
-  ['setpureabstract_9956',['setPureAbstract',['../classSVF_1_1DCHNode.html#afa271fdb9c1aa3589f41655813a2de8e',1,'SVF::DCHNode::setPureAbstract()'],['../classSVF_1_1CHNode.html#abac89987927dadd53dd646eae540a024',1,'SVF::CHNode::setPureAbstract()']]],
-  ['setpwcnode_9957',['setPWCNode',['../classSVF_1_1ConstraintGraph.html#a03f9fe8ae7094c39937f47f422276724',1,'SVF::ConstraintGraph::setPWCNode()'],['../classSVF_1_1ConstraintNode.html#ad8701df90d93c5dfed26cff8f0b2fbb3',1,'SVF::ConstraintNode::setPWCNode()']]],
-  ['setquery_9958',['setQuery',['../classSVF_1_1DDAClient.html#a3d0f732e284f3237287b375582c0aa88',1,'SVF::DDAClient']]],
-  ['setrawproductions_9959',['setRawProductions',['../classSVF_1_1GrammarBase.html#a2eb6ab294093710ca1dc119836adff5a',1,'SVF::GrammarBase']]],
-  ['setreachablebbs_9960',['setReachableBBs',['../classSVF_1_1SVFLoopAndDomInfo.html#acc409e328f641a2c9512beeb727f58c7',1,'SVF::SVFLoopAndDomInfo']]],
-  ['setreachglobal_9961',['setReachGlobal',['../classSVF_1_1ProgSlice.html#a397632ce0c523c4a54c5dc578606d14d',1,'SVF::ProgSlice']]],
-  ['setreles_9962',['setRelEs',['../classSVF_1_1SVFIR2ItvExeState.html#af0b6abd2310a9bf0311760b290114341',1,'SVF::SVFIR2ItvExeState']]],
-  ['setrep_9963',['setRep',['../classSVF_1_1ConstraintGraph.html#abea65bf6dd43aa312082f8d4c7c3e3cb',1,'SVF::ConstraintGraph']]],
-  ['setrepr_9964',['setRepr',['../classSVF_1_1SVFOtherType.html#a444ebb6bca967caf3cb6bba9d2db44c7',1,'SVF::SVFOtherType::setRepr(std::string &&r)'],['../classSVF_1_1SVFOtherType.html#a8705cce1b567e8f51d8644179c841ca3',1,'SVF::SVFOtherType::setRepr(const std::string &r)']]],
-  ['setresver_9965',['setResVer',['../classSVF_1_1MSSADEF.html#a343eb4c9515dfbbbdadaacf5500e5f05',1,'SVF::MSSADEF']]],
-  ['setreticfgnode_9966',['setRetICFGNode',['../classSVF_1_1CallICFGNode.html#a91b38c6930f3c15b9b38121662fded20',1,'SVF::CallICFGNode']]],
-  ['setscalar_9967',['setScalar',['../classSVF_1_1DCHNode.html#a917265fa44ed08b66a6bd722f318bfa4',1,'SVF::DCHNode']]],
-  ['setsignandwidth_9968',['setSignAndWidth',['../classSVF_1_1SVFIntegerType.html#aeacf0513bfde42511fe6e464d48d1e11',1,'SVF::SVFIntegerType']]],
-  ['setsourceloc_9969',['setSourceLoc',['../classSVF_1_1SVFValue.html#a588acec1904d440797ca4500f63f7d28',1,'SVF::SVFValue']]],
-  ['setstartkind_9970',['setStartKind',['../classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd',1,'SVF::GrammarBase']]],
-  ['setsubs_9971',['setSubs',['../classSVF_1_1ConstraintGraph.html#a148235bd1355a700d3ce187702e89bc8',1,'SVF::ConstraintGraph']]],
-  ['settemplate_9972',['setTemplate',['../classSVF_1_1DCHNode.html#a3947007a7b8074f06064e34de9d980fe',1,'SVF::DCHNode::setTemplate()'],['../classSVF_1_1CHNode.html#a00343177422c8d84d707432d0c483438',1,'SVF::CHNode::setTemplate()']]],
-  ['setterminals_9973',['setTerminals',['../classSVF_1_1GrammarBase.html#ae79b973ec24ba034e831a90285737a41',1,'SVF::GrammarBase']]],
-  ['settokeepactualoutformalin_9974',['setTokeepActualOutFormalIn',['../classSVF_1_1SVFGOPT.html#af0c1bb4055d3c4b7f5c6133c433144ad',1,'SVF::SVFGOPT']]],
-  ['settokeepallselfcycle_9975',['setTokeepAllSelfCycle',['../classSVF_1_1SVFGOPT.html#a99cce24804a9116f9bf4e773b2f28e85',1,'SVF::SVFGOPT']]],
-  ['settokeepcontextselfcycle_9976',['setTokeepContextSelfCycle',['../classSVF_1_1SVFGOPT.html#abe2392e0971f6c46537727f001fa44de',1,'SVF::SVFGOPT']]],
-  ['settop_9977',['setTop',['../classSVF_1_1AddressValue.html#a2100009a0e744ebc9e2780dffb6f622b',1,'SVF::AddressValue']]],
-  ['settotalkind_9978',['setTotalKind',['../classSVF_1_1GrammarBase.html#a37a31f03501a11e7951d56dbf1cb146a',1,'SVF::GrammarBase']]],
-  ['settypeinfo_9979',['setTypeInfo',['../classSVF_1_1SVFType.html#aef5999ada62dac3cc946d832ac66948c',1,'SVF::SVFType']]],
-  ['settypeofelement_9980',['setTypeOfElement',['../classSVF_1_1SVFArrayType.html#a56179bc4c145adce210adab80c61be7a',1,'SVF::SVFArrayType']]],
-  ['setub_9981',['setUb',['../classSVF_1_1IntervalValue.html#aa3b742bd0116a6b7bf290286902b470b',1,'SVF::IntervalValue']]],
-  ['setvals_9982',['setVals',['../classSVF_1_1AddressValue.html#a0fed06401997d4259d7ef183343f1949',1,'SVF::AddressValue']]],
-  ['setvalue_9983',['setValue',['../classSVF_1_1IntervalValue.html#a8de8e78efcee26d74fe3d34c405dee0a',1,'SVF::IntervalValue::setValue()'],['../classSVF_1_1SVFStmt.html#a6ae58a22d43361904c7033f5c790da38',1,'SVF::SVFStmt::setValue()'],['../classOption.html#ab40684f5ece904e9b81180ca1012b0b6',1,'Option::setValue()']]],
-  ['setvalueattr_9984',['setValueAttr',['../classSVF_1_1LLVMModuleSet.html#a7d61f479f52e1dc71a4ae7a4d62f3b6a',1,'SVF::LLVMModuleSet']]],
-  ['setvardfinsetupdated_9985',['setVarDFInSetUpdated',['../classSVF_1_1MutableIncDFPTData.html#a33b2e976439e489d4bd707379e1bac9c',1,'SVF::MutableIncDFPTData::setVarDFInSetUpdated()'],['../classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2',1,'SVF::PersistentIncDFPTData::setVarDFInSetUpdated()']]],
-  ['setvardfoutsetupdated_9986',['setVarDFOutSetUpdated',['../classSVF_1_1MutableIncDFPTData.html#a851947de9ccbe51239b76d2d93fcd4c4',1,'SVF::MutableIncDFPTData::setVarDFOutSetUpdated()'],['../classSVF_1_1PersistentIncDFPTData.html#aa9f6b38595cabbb583c52217188457e8',1,'SVF::PersistentIncDFPTData::setVarDFOutSetUpdated()']]],
-  ['setver_9987',['setVer',['../classSVF_1_1MSSAMU.html#a2af1e639aabbc5997aa4e6526f6595fb',1,'SVF::MSSAMU']]],
-  ['setversion_9988',['setVersion',['../classSVF_1_1VersionedFlowSensitive.html#adf37ae1f6a07716bca6fbe1603b8a070',1,'SVF::VersionedFlowSensitive']]],
-  ['setvfcond_9989',['setVFCond',['../classSVF_1_1ProgSlice.html#ab5de7bf99935818ef1b0962e36b8624c',1,'SVF::ProgSlice']]],
-  ['setvisited_9990',['setVisited',['../classSVF_1_1SCCDetection.html#ad888a3dc94909823319384055896c84d',1,'SVF::SCCDetection::setVisited()'],['../classSVF_1_1CSC.html#adac02224ec722f0cf1954d7a484bd11e',1,'SVF::CSC::setVisited()']]],
-  ['setvtable_9991',['setVTable',['../classSVF_1_1DCHNode.html#ad3144bcf462769c687bc7b65ef2f1639',1,'SVF::DCHNode::setVTable()'],['../classSVF_1_1CHNode.html#aa72c4509da3bfd2a3c656da38fe36c81',1,'SVF::CHNode::setVTable()']]],
-  ['setvtableptr_9992',['setVtablePtr',['../classSVF_1_1SVFVirtualCallInst.html#a94c04bebac82268c00d614c61e15274b',1,'SVF::SVFVirtualCallInst']]],
-  ['setyield_9993',['setYield',['../classSVF_1_1VersionedFlowSensitive.html#ac33c7cef2d1d143950820ea48e97e806',1,'SVF::VersionedFlowSensitive']]],
-  ['sfvgoptend_9994',['sfvgOptEnd',['../classSVF_1_1SVFGStat.html#aaec3a7f29b3ded0c971d57376d2779ff',1,'SVF::SVFGStat']]],
-  ['sfvgoptstart_9995',['sfvgOptStart',['../classSVF_1_1SVFGStat.html#acb80953b39ce247679242df4f042ab79',1,'SVF::SVFGStat']]],
-  ['simplify_9996',['simplify',['../classSVF_1_1BoundedZ3Expr.html#a7f5158affedda8ddf53ec6cb442a6297',1,'SVF::BoundedZ3Expr::simplify()'],['../classSVF_1_1SingleAbsValue.html#a7009d1a2517b29dda0bb58e5676687c2',1,'SVF::SingleAbsValue::simplify()'],['../classSVF_1_1Z3Expr.html#afb3478316592a395c6d473791b5a0981',1,'SVF::Z3Expr::simplify()']]],
-  ['singleabsvalue_9997',['SingleAbsValue',['../classSVF_1_1SingleAbsValue.html#ab5e10abb06e9ead59de170d0128b3531',1,'SVF::SingleAbsValue::SingleAbsValue()=default'],['../classSVF_1_1SingleAbsValue.html#a25308965f46578943ccd544052425c4d',1,'SVF::SingleAbsValue::SingleAbsValue(const Z3Expr &z3Expr)'],['../classSVF_1_1SingleAbsValue.html#a0f0a092868104d0f8e0c4c16ec07009b',1,'SVF::SingleAbsValue::SingleAbsValue(const BoundedZ3Expr &z3Bound)'],['../classSVF_1_1SingleAbsValue.html#a928d4adc2af10e2bb36641711b5d57ba',1,'SVF::SingleAbsValue::SingleAbsValue(const z3::expr &e)'],['../classSVF_1_1SingleAbsValue.html#aeb599c1bda7697fd9c52bf6438fdcee9',1,'SVF::SingleAbsValue::SingleAbsValue(s32_t i)'],['../classSVF_1_1SingleAbsValue.html#ad6fca68c9815414866c39c7000f35f23',1,'SVF::SingleAbsValue::SingleAbsValue(const SingleAbsValue &_z3Expr)'],['../classSVF_1_1SingleAbsValue.html#a6bd4803e4afa8e07596052a54fb01fdd',1,'SVF::SingleAbsValue::SingleAbsValue(SingleAbsValue &&_z3Expr)']]],
-  ['sinksbegin_9998',['sinksBegin',['../classSVF_1_1ProgSlice.html#adf620c97daed49735d21b485c448b4a2',1,'SVF::ProgSlice::sinksBegin()'],['../classSVF_1_1SrcSnkDDA.html#a79833c0cf1916d63e1dd32c2220056dd',1,'SVF::SrcSnkDDA::sinksBegin()']]],
-  ['sinksend_9999',['sinksEnd',['../classSVF_1_1ProgSlice.html#a27636f096ec825c4d5cb1dca608afb31',1,'SVF::ProgSlice::sinksEnd()'],['../classSVF_1_1SrcSnkDDA.html#aaabc8d3aed17c8a35ef37d878f141412',1,'SVF::SrcSnkDDA::sinksEnd()']]],
-  ['size_10000',['size',['../classSVF_1_1AddressValue.html#ae93859318bf4f618b4cf681988a870ce',1,'SVF::AddressValue::size()'],['../classSVF_1_1CondStdSet.html#afa190562e8b85630845617c23fc5a16b',1,'SVF::CondStdSet::size()'],['../classSVF_1_1WriterPtrPool.html#af6d1ceb994f5b33cfac7fbcac5b3bdd0',1,'SVF::WriterPtrPool::size()'],['../classSVF_1_1ReaderIDToObjMap.html#a8a0810c1419004eee30cad5696476bdd',1,'SVF::ReaderIDToObjMap::size()'],['../classSVF_1_1ReaderPtrPool.html#ab47d82a98973b27bf635c0bd3acb7163',1,'SVF::ReaderPtrPool::size()'],['../classSVF_1_1FIFOWorkList.html#ad0e2c9eeb77c1a48a5d17164e4d72c6e',1,'SVF::FIFOWorkList::size()'],['../classSVF_1_1FILOWorkList.html#aff8bc6547b814b31b02c7f086d06ce05',1,'SVF::FILOWorkList::size()']]],
-  ['sizesvfvaluepool_10001',['sizeSVFValuePool',['../classSVF_1_1SVFModuleWriter.html#a0e12ffecb37a42d766522dc65da481e6',1,'SVF::SVFModuleWriter']]],
-  ['skip_5fmultiline_5fcomment_10002',['skip_multiline_comment',['../cJSON_8cpp.html#a4b9e22afcb0d33932c691b5af9f2560a',1,'cJSON.cpp']]],
-  ['skip_5foneline_5fcomment_10003',['skip_oneline_comment',['../cJSON_8cpp.html#a98eaeafefb811c738494a26265309a07',1,'cJSON.cpp']]],
-  ['skip_5futf8_5fbom_10004',['skip_utf8_bom',['../cJSON_8cpp.html#a13b2d9f17c3b80a8878405f2782cd916',1,'cJSON.cpp']]],
-  ['slicestate_10005',['sliceState',['../classSVF_1_1IntervalExeState.html#a182ec2709e8c92b8bd29ba809bd3d1f7',1,'SVF::IntervalExeState']]],
-  ['solve_10006',['solve',['../classSVF_1_1CFLAlias.html#a5b7d65e7e74d596d61a1aad75e53cf27',1,'SVF::CFLAlias::solve()'],['../classSVF_1_1CFLBase.html#a2d1f2e2c7f8cbe07e0dda759a7424e6e',1,'SVF::CFLBase::solve()'],['../classSVF_1_1CFLSolver.html#a2ee3436c26ebdb2aaf790c25b1d8b5a6',1,'SVF::CFLSolver::solve()'],['../classSVF_1_1WPASCCSolver.html#ac37c1063fbdff394c9a313c8d131d893',1,'SVF::WPASCCSolver::solve()'],['../classSVF_1_1WPAMinimumSolver.html#afb4c3a86fdb91cbb555669003cf299c2',1,'SVF::WPAMinimumSolver::solve()']]],
-  ['solveandwriteptstofile_10007',['solveAndwritePtsToFile',['../classSVF_1_1AndersenBase.html#add7a5c53783fb2277dfc0c304cdfecd7',1,'SVF::AndersenBase::solveAndwritePtsToFile()'],['../classSVF_1_1FlowSensitive.html#afa190e58636a8d7388aeee8a2157bba5',1,'SVF::FlowSensitive::solveAndwritePtsToFile()']]],
-  ['solveconstraints_10008',['solveConstraints',['../classSVF_1_1AndersenBase.html#ac02d1fedb0beb39e5a4c22ee4bb3501a',1,'SVF::AndersenBase::solveConstraints()'],['../classSVF_1_1FlowSensitive.html#a165a9c5aef0811066560154896bae18d',1,'SVF::FlowSensitive::solveConstraints()']]],
-  ['solveworklist_10009',['solveWorklist',['../classSVF_1_1AndersenWaveDiff.html#a35cd97d5f7c1dcb65dd077f45ad864e9',1,'SVF::AndersenWaveDiff::solveWorklist()'],['../classSVF_1_1AndersenSCD.html#a98fac4ecfe203666178e2ace39da81e2',1,'SVF::AndersenSCD::solveWorklist()'],['../classSVF_1_1Steensgaard.html#a966faa0548fe76d81a50339fffdd24c8',1,'SVF::Steensgaard::solveWorklist()'],['../classSVF_1_1WPASolver.html#af1bb670efde7006e3e99b3735e4fc4cc',1,'SVF::WPASolver::solveWorklist()']]],
-  ['sortpointsto_10010',['sortPointsTo',['../classSVF_1_1MRGenerator.html#a66d94d15fb94e90a771f6b3dd7c0ecdd',1,'SVF::MRGenerator']]],
-  ['sourcesbegin_10011',['sourcesBegin',['../classSVF_1_1SrcSnkDDA.html#a0515c9079f28f8c5d4f0f9a2fc39a137',1,'SVF::SrcSnkDDA']]],
-  ['sourcesend_10012',['sourcesEnd',['../classSVF_1_1SrcSnkDDA.html#ad0cb9de24cbc99d148f63b694dc3908e',1,'SVF::SrcSnkDDA']]],
-  ['sparsebitvector_10013',['SparseBitVector',['../classSVF_1_1SparseBitVector.html#a4f618377a31eba119de672b0be4936bc',1,'SVF::SparseBitVector::SparseBitVector()'],['../classSVF_1_1SparseBitVector.html#a9cb4261779da0cbeb8d09b8fbd5cf557',1,'SVF::SparseBitVector::SparseBitVector(const SparseBitVector &RHS)'],['../classSVF_1_1SparseBitVector.html#a8bb2c6e68fadfae0428bc6ce5d63ad88',1,'SVF::SparseBitVector::SparseBitVector(SparseBitVector &&RHS) noexcept']]],
-  ['sparsebitvectorelement_10014',['SparseBitVectorElement',['../structSVF_1_1SparseBitVectorElement.html#a8097db31608c859c3cf8053e303821d3',1,'SVF::SparseBitVectorElement::SparseBitVectorElement()=default'],['../structSVF_1_1SparseBitVectorElement.html#a75777b1461184d8fb2cfa4ec6e95c1c5',1,'SVF::SparseBitVectorElement::SparseBitVectorElement(unsigned Idx)']]],
-  ['sparsebitvectoriterator_10015',['SparseBitVectorIterator',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a008d235a4a8163e7bf38718d0fd0e6f7',1,'SVF::SparseBitVector::SparseBitVectorIterator::SparseBitVectorIterator()=delete'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a5fe4841ca223f13c2aeec4c6e69a7b43',1,'SVF::SparseBitVector::SparseBitVectorIterator::SparseBitVectorIterator(const SparseBitVector< ElementSize > *RHS, bool end=false)']]],
-  ['spawneesbegin_10016',['spawneesBegin',['../classSVF_1_1PCG.html#a45932c2f1a05398b4ad8753dcb621a1f',1,'SVF::PCG']]],
-  ['spawneesend_10017',['spawneesEnd',['../classSVF_1_1PCG.html#ab45de7686709989be5923531653e2755',1,'SVF::PCG']]],
-  ['spawnersbegin_10018',['spawnersBegin',['../classSVF_1_1PCG.html#a4343107dd6908ffb70fc59fa7b4de21b',1,'SVF::PCG']]],
-  ['spawnersend_10019',['spawnersEnd',['../classSVF_1_1PCG.html#a2b9a6b5890b11cea31914f5242285525',1,'SVF::PCG']]],
-  ['spawnsitesbegin_10020',['spawnSitesBegin',['../classSVF_1_1PCG.html#a2a7319200ec2ec07e8b7976b4a876da8',1,'SVF::PCG']]],
-  ['spawnsitesend_10021',['spawnSitesEnd',['../classSVF_1_1PCG.html#a8dcd94e8f996fdb2197159ea95226817',1,'SVF::PCG']]],
-  ['split_10022',['split',['../classSVF_1_1LockResultValidator.html#ab8a6935e1ea6f99d60ead862a7b1782f',1,'SVF::LockResultValidator::split(const std::string &s, char delim, Set< std::string > &elems)'],['../classSVF_1_1LockResultValidator.html#ad26006e14c866d694bc6e2ebaa41ded9',1,'SVF::LockResultValidator::split(const std::string &s, char delim)'],['../classSVF_1_1MTAResultValidator.html#a73db9ad234b263b6e644e4b38be14fe6',1,'SVF::MTAResultValidator::split(const std::string &s, char delim, std::vector< std::string > &elems)'],['../classSVF_1_1MTAResultValidator.html#a7dad63ce2a85142a56d13926f10fde47',1,'SVF::MTAResultValidator::split(const std::string &s, char delim)'],['../classSVF_1_1MTAResultValidator.html#ab0458d1a3beae85056b1dbe7507fbc59',1,'SVF::MTAResultValidator::split(const std::string &s, char delim, std::vector< std::string > &elems)'],['../classSVF_1_1MTAResultValidator.html#a5edb70bdb93b8258de0ba7122a8707f5',1,'SVF::MTAResultValidator::split(const std::string &s, char delim)'],['../namespaceSVF_1_1SVFUtil.html#ae18227f257c9881541b84ca186680dfd',1,'SVF::SVFUtil::split()']]],
-  ['srcsnkdda_10023',['SrcSnkDDA',['../classSVF_1_1SrcSnkDDA.html#a73f6ddd4ba868e203109c52e4f3600bd',1,'SVF::SrcSnkDDA']]],
-  ['srcsnksolver_10024',['SrcSnkSolver',['../classSVF_1_1SrcSnkSolver.html#a952450652e55f3325f24b8d237d2c37d',1,'SVF::SrcSnkSolver']]],
-  ['ssarename_10025',['SSARename',['../classSVF_1_1MemSSA.html#a16114eb55775f6ee812c1648dcaede0c',1,'SVF::MemSSA']]],
-  ['ssarenamebb_10026',['SSARenameBB',['../classSVF_1_1MemSSA.html#aeb7fc6c7880db45f6d0a90912ac5b5f7',1,'SVF::MemSSA']]],
-  ['startanalysislimittimer_10027',['startAnalysisLimitTimer',['../namespaceSVF_1_1SVFUtil.html#a757815a2c758695176120509ceb0ce70',1,'SVF::SVFUtil']]],
-  ['startclk_10028',['startClk',['../classSVF_1_1SVFStat.html#a730cc814fede3edb563aa9957c869e9e',1,'SVF::SVFStat']]],
-  ['startnewptcompfromloadsrc_10029',['startNewPTCompFromLoadSrc',['../classSVF_1_1DDAVFSolver.html#acd694c2092adf8c516d1aba5f798cec7',1,'SVF::DDAVFSolver']]],
-  ['startnewptcompfromstoredst_10030',['startNewPTCompFromStoreDst',['../classSVF_1_1DDAVFSolver.html#aff744e724dcf06a2b1cdd7ba2b1093f1',1,'SVF::DDAVFSolver']]],
-  ['stataddrvarptssize_10031',['statAddrVarPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a81785227a688389c68171a1fbd55fa9b',1,'SVF::FlowSensitiveStat']]],
-  ['statinit_10032',['statInit',['../classSVF_1_1ThreadAPI.html#a8a4ab0b1dcb2e3897b7740868e0d955d',1,'SVF::ThreadAPI']]],
-  ['statinoutptssize_10033',['statInOutPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a8ae7448f6210b6c759a33e6fc8a8cee8',1,'SVF::FlowSensitiveStat']]],
-  ['statistic_10034',['STATISTIC',['../BreakConstantExpr_8cpp.html#a53fcf89c33901a1e4bf09351eb612a6a',1,'STATISTIC(GEPChanges, "Number of Converted GEP Constant Expressions"): BreakConstantExpr.cpp'],['../BreakConstantExpr_8cpp.html#a908d11ca6b0a342e6ddcdcced200cab3',1,'STATISTIC(TotalChanges, "Number of Converted Constant Expressions"): BreakConstantExpr.cpp']]],
-  ['statnullptr_10035',['statNullPtr',['../classSVF_1_1AndersenStat.html#a898f091cd9aeed4b0cf5b338b8a3b1d3',1,'SVF::AndersenStat::statNullPtr()'],['../classSVF_1_1FlowSensitiveStat.html#a36f7be42772b2df6f7594c51b7dc4770',1,'SVF::FlowSensitiveStat::statNullPtr()']]],
-  ['statptssize_10036',['statPtsSize',['../classSVF_1_1FlowSensitiveStat.html#af51e5b90f7bc52e3657a708c7bc5bb75',1,'SVF::FlowSensitiveStat']]],
-  ['steensgaard_10037',['Steensgaard',['../classSVF_1_1Steensgaard.html#ac79e21396243dfa969136daee5ecdbd4',1,'SVF::Steensgaard']]],
-  ['stinfo_10038',['StInfo',['../classSVF_1_1StInfo.html#a33948aee379e9de810c535c583f46535',1,'SVF::StInfo::StInfo()=delete'],['../classSVF_1_1StInfo.html#a987855f323885732080eff793dda1100',1,'SVF::StInfo::StInfo(const StInfo &st)=delete'],['../classSVF_1_1StInfo.html#a8c6d6933ad2c4be044d0a3557736e28d',1,'SVF::StInfo::StInfo(u32_t s)']]],
-  ['stmtdpitem_10039',['StmtDPItem',['../classSVF_1_1StmtDPItem.html#aed9239e5558569f6e957e691fa1872d7',1,'SVF::StmtDPItem::StmtDPItem(NodeID c, const LocCond *locCond)'],['../classSVF_1_1StmtDPItem.html#a3882dc175baaccfa1f811dcbfef98f71',1,'SVF::StmtDPItem::StmtDPItem(const StmtDPItem &dps)']]],
-  ['stmtvfgnode_10040',['StmtVFGNode',['../classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d',1,'SVF::StmtVFGNode']]],
-  ['stopanalysislimittimer_10041',['stopAnalysisLimitTimer',['../namespaceSVF_1_1SVFUtil.html#a168f7f7a3a8c70dbf2b5b4269cd4c7c5',1,'SVF::SVFUtil']]],
-  ['store_10042',['store',['../classSVF_1_1ConsExeState.html#adbf80e78f27a30f257fa8790f1cb78f5',1,'SVF::ConsExeState::store(const SingleAbsValue &loc, const SingleAbsValue &value)'],['../classSVF_1_1ConsExeState.html#a79b012f5f551dfb27ce1ca3d193dba55',1,'SVF::ConsExeState::store(u32_t objId, const SingleAbsValue &z3Expr)'],['../classSVF_1_1IntervalExeState.html#a65be64fc3b46b3d8e0c22d8a478df5cb',1,'SVF::IntervalExeState::store()'],['../classSVF_1_1RelExeState.html#a3a2d5de4c61fab8b277308a186795a13',1,'SVF::RelExeState::store(const Z3Expr &loc, const Z3Expr &value)'],['../classSVF_1_1RelExeState.html#a29be58e0074d7495c36713fd96832823',1,'SVF::RelExeState::store(u32_t objId, const Z3Expr &z3Expr)']]],
-  ['storecgedge_10043',['StoreCGEdge',['../classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815',1,'SVF::StoreCGEdge::StoreCGEdge()'],['../classSVF_1_1StoreCGEdge.html#a0f873b0be0ac726e412171119c5b3a50',1,'SVF::StoreCGEdge::StoreCGEdge(const StoreCGEdge &)'],['../classSVF_1_1StoreCGEdge.html#afdba4e02b1ccdc19fdc18bbe43363e79',1,'SVF::StoreCGEdge::StoreCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
-  ['storechi_10044',['StoreCHI',['../classSVF_1_1StoreCHI.html#a83f353ef765d6c57b07d9f1996e02444',1,'SVF::StoreCHI']]],
-  ['storestmt_10045',['StoreStmt',['../classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb',1,'SVF::StoreStmt::StoreStmt()'],['../classSVF_1_1StoreStmt.html#a22bc2f9290dfd7ade13ba63cc983ac42',1,'SVF::StoreStmt::StoreStmt(const StoreStmt &)'],['../classSVF_1_1StoreStmt.html#a757010d593152a65285a11e5160549ae',1,'SVF::StoreStmt::StoreStmt(SVFVar *s, SVFVar *d, const IntraICFGNode *st)']]],
-  ['storevaddrs_10046',['storeVAddrs',['../classSVF_1_1ExeState.html#aad0556739ce5b173054c81cbbfff4b72',1,'SVF::ExeState']]],
-  ['storevfgnode_10047',['StoreVFGNode',['../classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd',1,'SVF::StoreVFGNode::StoreVFGNode()'],['../classSVF_1_1StoreVFGNode.html#a496607cda1cc26a8753d6a7af620e95a',1,'SVF::StoreVFGNode::StoreVFGNode(const StoreVFGNode &)'],['../classSVF_1_1StoreVFGNode.html#ae7ee09f0e965b6487a38a58c4f51b20b',1,'SVF::StoreVFGNode::StoreVFGNode(NodeID id, const StoreStmt *edge)']]],
-  ['strchr_10048',['strchr',['../extapi_8c.html#afcd97f487174f9092b0f23c7ac78a55a',1,'extapi.c']]],
-  ['strerror_5fr_10049',['strerror_r',['../extapi_8c.html#a5db20599ab5cff2baa37f783221b3606',1,'extapi.c']]],
-  ['stripallcasts_10050',['stripAllCasts',['../namespaceSVF_1_1LLVMUtil.html#a38ce45ae5f017c90115ce444b44d478c',1,'SVF::LLVMUtil']]],
-  ['striparray_10051',['stripArray',['../classSVF_1_1DCHGraph.html#a6c276e661e5e63c1c84387f84c8a62e4',1,'SVF::DCHGraph']]],
-  ['stripconstantcasts_10052',['stripConstantCasts',['../namespaceSVF_1_1LLVMUtil.html#a07bd47ccfd02c5a2a6db26b537b2184f',1,'SVF::LLVMUtil']]],
-  ['stripqualifiers_10053',['stripQualifiers',['../classSVF_1_1DCHGraph.html#a175ed6ad0c9b23d5617f755ab96c76c4',1,'SVF::DCHGraph']]],
-  ['stripspace_10054',['stripSpace',['../classSVF_1_1GrammarBuilder.html#a6de372fbe80d33a5688cada0adca0bb8',1,'SVF::GrammarBuilder']]],
-  ['strongupdateoutfromin_10055',['strongUpdateOutFromIn',['../classSVF_1_1FlowSensitive.html#a8ebe4342c1496b906ee1b6450558c3e8',1,'SVF::FlowSensitive']]],
-  ['strpbrk_10056',['strpbrk',['../extapi_8c.html#a577b071bee67af4464665a1dc4f024e2',1,'extapi.c']]],
-  ['strptime_10057',['strptime',['../extapi_8c.html#aab53cb0be9d04d5bbbff4e412ba99f5b',1,'extapi.c']]],
-  ['strrchr_10058',['strrchr',['../extapi_8c.html#a9b5ffb90d9a30625617401e6a5999e85',1,'extapi.c']]],
-  ['strstr_10059',['strstr',['../extapi_8c.html#a4a710d86541afc6b7dafddcdb4b1c94f',1,'extapi.c']]],
-  ['strtod_10060',['strtod',['../extapi_8c.html#ab017280f95ea769b9422688105f02653',1,'extapi.c']]],
-  ['strtof_10061',['strtof',['../extapi_8c.html#a2370632318c3797a314f8eb62d37947c',1,'extapi.c']]],
-  ['strtokind_10062',['strToKind',['../classSVF_1_1GrammarBase.html#a3aae4b70e2ee0238808a2126265a2e24',1,'SVF::GrammarBase']]],
-  ['strtol_10063',['strtol',['../extapi_8c.html#a2ce966cd04da3c32320f54c332569e03',1,'extapi.c']]],
-  ['strtold_10064',['strtold',['../extapi_8c.html#a2fb0bb1a4be5c0865b119ce0d89145a7',1,'extapi.c']]],
-  ['strtosymbol_10065',['strToSymbol',['../classSVF_1_1GrammarBase.html#a4826df2851cedaa92e3ab10feee9f583',1,'SVF::GrammarBase']]],
-  ['strtoul_10066',['strtoul',['../extapi_8c.html#aa7d767d03ce3929978c28f64e3a4b222',1,'extapi.c']]],
-  ['strtrans_10067',['strTrans',['../classSVF_1_1CFGNormalizer.html#aea5ebe156b9536c617fc9c6acac00a61',1,'SVF::CFGNormalizer']]],
-  ['subnodes_10068',['subNodes',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48981e6555ad221d08f16ed2df708027',1,'SVF::SCCDetection::GNodeSCCInfo::subNodes()'],['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#aa2b23b22bb0304ce07ab9b14f0fdc395',1,'SVF::SCCDetection::GNodeSCCInfo::subNodes() const'],['../classSVF_1_1SCCDetection.html#a6ab5eff6a576e6d8703c1ea29b7f425d',1,'SVF::SCCDetection::subNodes()']]],
-  ['sucmsg_10069',['sucMsg',['../namespaceSVF_1_1SVFUtil.html#a05dc00b2bd9a8176aae31b6cfffe725d',1,'SVF::SVFUtil']]],
-  ['suffix_5fobject_10070',['suffix_object',['../cJSON_8cpp.html#a5d61bcc0045ace88c2ae04f0928eeace',1,'cJSON.cpp']]],
-  ['svfargument_10071',['SVFArgument',['../classSVF_1_1SVFArgument.html#aeeed6b5a59c5bf4eb4af77ec2345dccf',1,'SVF::SVFArgument::SVFArgument(const SVFType *ty, const SVFFunction *fun, u32_t argNo, bool uncalled)'],['../classSVF_1_1SVFArgument.html#a97816023e6da0a37bc1e2878c11eb123',1,'SVF::SVFArgument::SVFArgument()=delete']]],
-  ['svfarraytype_10072',['SVFArrayType',['../classSVF_1_1SVFArrayType.html#a2cbe7feac254dabd3742121bfc871d06',1,'SVF::SVFArrayType']]],
-  ['svfbasicblock_10073',['SVFBasicBlock',['../classSVF_1_1SVFBasicBlock.html#a2f21fd47b023a9786f8ab39faaca0a27',1,'SVF::SVFBasicBlock::SVFBasicBlock(const SVFType *ty, const SVFFunction *f)'],['../classSVF_1_1SVFBasicBlock.html#ae017f9a00c523585718bde13665275b3',1,'SVF::SVFBasicBlock::SVFBasicBlock()=delete']]],
-  ['svfblackholevalue_10074',['SVFBlackHoleValue',['../classSVF_1_1SVFBlackHoleValue.html#ac057a29cad0944d1b359e6cd23adcec2',1,'SVF::SVFBlackHoleValue::SVFBlackHoleValue(const SVFType *ty)'],['../classSVF_1_1SVFBlackHoleValue.html#a6d94a1c1c0f229165e3327a09521e28c',1,'SVF::SVFBlackHoleValue::SVFBlackHoleValue()=delete']]],
-  ['svfbugevent_10075',['SVFBugEvent',['../classSVF_1_1SVFBugEvent.html#af012270169f767655456ae0e09add06a',1,'SVF::SVFBugEvent']]],
-  ['svfbugreport_10076',['SVFBugReport',['../classSVF_1_1SVFBugReport.html#af163790aa2065d72be8c31c281abee20',1,'SVF::SVFBugReport']]],
-  ['svfcallinst_10077',['SVFCallInst',['../classSVF_1_1SVFCallInst.html#a6cdb5b727c559d3c041aba94e6f64596',1,'SVF::SVFCallInst::SVFCallInst(const SVFType *ty, const SVFBasicBlock *b, bool va, bool tm, SVFValKind k=SVFCall)'],['../classSVF_1_1SVFCallInst.html#a8216a845734b0f363a82fd9190702633',1,'SVF::SVFCallInst::SVFCallInst(void)=delete']]],
-  ['svfconstant_10078',['SVFConstant',['../classSVF_1_1SVFConstant.html#a3aacbc8f43aec414af229be6a9622a08',1,'SVF::SVFConstant::SVFConstant(const SVFType *ty, SVFValKind k=SVFConst)'],['../classSVF_1_1SVFConstant.html#a71fcd1abcde6dfc35f2da9fb25227165',1,'SVF::SVFConstant::SVFConstant()=delete']]],
-  ['svfconstantdata_10079',['SVFConstantData',['../classSVF_1_1SVFConstantData.html#a1ea9ae8d6d2b29c8357132b40de45bf0',1,'SVF::SVFConstantData::SVFConstantData(const SVFType *ty, SVFValKind k=SVFConstData)'],['../classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34',1,'SVF::SVFConstantData::SVFConstantData()=delete']]],
-  ['svfconstantfp_10080',['SVFConstantFP',['../classSVF_1_1SVFConstantFP.html#a85f6c8bd4169c01e46170b001d3a5a80',1,'SVF::SVFConstantFP::SVFConstantFP(const SVFType *ty, double d)'],['../classSVF_1_1SVFConstantFP.html#a25657c39dd158866cd5d0958b301573e',1,'SVF::SVFConstantFP::SVFConstantFP()=delete']]],
-  ['svfconstantint_10081',['SVFConstantInt',['../classSVF_1_1SVFConstantInt.html#a66b861e33c5a3911ecd8e6e4441cb664',1,'SVF::SVFConstantInt::SVFConstantInt(const SVFType *ty, u64_t z, s64_t s)'],['../classSVF_1_1SVFConstantInt.html#ad9338bb99a77d76d1c83275d8a32f7d2',1,'SVF::SVFConstantInt::SVFConstantInt()=delete']]],
-  ['svfconstantnullptr_10082',['SVFConstantNullPtr',['../classSVF_1_1SVFConstantNullPtr.html#a299954e2cad5ee41b51fcff4a92439b3',1,'SVF::SVFConstantNullPtr::SVFConstantNullPtr(const SVFType *ty)'],['../classSVF_1_1SVFConstantNullPtr.html#ae853223a57df1816c3d382113b7b7b70',1,'SVF::SVFConstantNullPtr::SVFConstantNullPtr()=delete']]],
-  ['svffunction_10083',['SVFFunction',['../classSVF_1_1SVFFunction.html#a0cf5ddbb884a0a99f43b7741f1ce2786',1,'SVF::SVFFunction::SVFFunction(const SVFType *ty, const SVFFunctionType *ft, bool declare, bool intrinsic, bool addrTaken, bool varg, SVFLoopAndDomInfo *ld, std::vector< std::string > annos)'],['../classSVF_1_1SVFFunction.html#a7e965c21a8afe7fca32d0f41b16361cf',1,'SVF::SVFFunction::SVFFunction(void)=delete']]],
-  ['svffunctiontype_10084',['SVFFunctionType',['../classSVF_1_1SVFFunctionType.html#af4bacdbcf4867575f6f27fc26aa66bbe',1,'SVF::SVFFunctionType']]],
-  ['svfg_10085',['SVFG',['../classSVF_1_1SVFG.html#a07d48490eda50ee6d31f295150409cf3',1,'SVF::SVFG']]],
-  ['svfgbuilder_10086',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html#a003c6d9e13e5f73e0648d97400f1854e',1,'SVF::SVFGBuilder']]],
-  ['svfglobalvalue_10087',['SVFGlobalValue',['../classSVF_1_1SVFGlobalValue.html#a18dc40d9d9007c928a5b9d92c269cd87',1,'SVF::SVFGlobalValue::SVFGlobalValue(const SVFType *ty)'],['../classSVF_1_1SVFGlobalValue.html#ac004fb727468898e90673328119b6059',1,'SVF::SVFGlobalValue::SVFGlobalValue(std::string &&name, const SVFType *ty)'],['../classSVF_1_1SVFGlobalValue.html#aec81144051355d04775807130d22356f',1,'SVF::SVFGlobalValue::SVFGlobalValue()=delete']]],
-  ['svfgnodelockspan_10088',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a43f4d595b31259576b141cb99883938e',1,'SVF::SVFGNodeLockSpan']]],
-  ['svfgopt_10089',['SVFGOPT',['../classSVF_1_1SVFGOPT.html#a64c300c8a9f8cc2ac13eef65c1108d01',1,'SVF::SVFGOPT']]],
-  ['svfgsccdetection_10090',['SVFGSCCDetection',['../classSVF_1_1DDAVFSolver.html#aba0ec611a5cfd096ac0b8b11e0bd5580',1,'SVF::DDAVFSolver']]],
-  ['svfgstat_10091',['SVFGStat',['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()'],['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()']]],
-  ['svfinstruction_10092',['SVFInstruction',['../classSVF_1_1SVFInstruction.html#a976cc9df05994e7e1b11fcdd22febcc5',1,'SVF::SVFInstruction::SVFInstruction(const SVFType *ty, const SVFBasicBlock *b, bool tm, bool isRet, SVFValKind k=SVFInst)'],['../classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c',1,'SVF::SVFInstruction::SVFInstruction(void)=delete']]],
-  ['svfintegertype_10093',['SVFIntegerType',['../classSVF_1_1SVFIntegerType.html#aaafab8007dd15f498259320fec1f99f2',1,'SVF::SVFIntegerType']]],
-  ['svfir_10094',['SVFIR',['../classSVF_1_1SVFIR.html#abf511f82cdbf7a6d9b6da167aee57636',1,'SVF::SVFIR']]],
-  ['svfir2consexestate_10095',['SVFIR2ConsExeState',['../classSVF_1_1SVFIR2ConsExeState.html#a3575711760c3973aef0061975ca9436a',1,'SVF::SVFIR2ConsExeState']]],
-  ['svfir2itvexestate_10096',['SVFIR2ItvExeState',['../classSVF_1_1SVFIR2ItvExeState.html#a3c9285321cc0c4e1c46a31be9433192f',1,'SVF::SVFIR2ItvExeState']]],
-  ['svfirbuilder_10097',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html#a1ecae204a349b69031f0edd7df7ca708',1,'SVF::SVFIRBuilder']]],
-  ['svfirwriter_10098',['SVFIRWriter',['../classSVF_1_1SVFIRWriter.html#a9994b9a6ddf4c852570bee918cb9de34',1,'SVF::SVFIRWriter']]],
-  ['svfloop_10099',['SVFLoop',['../classSVF_1_1SVFLoop.html#a25b9a079f48aa0374c91be6a1e9697f8',1,'SVF::SVFLoop']]],
-  ['svfloopanddominfo_10100',['SVFLoopAndDomInfo',['../classSVF_1_1SVFLoopAndDomInfo.html#a2b5c892437d21ece0a9e0ae7a285b622',1,'SVF::SVFLoopAndDomInfo']]],
-  ['svfmetadataasvalue_10101',['SVFMetadataAsValue',['../classSVF_1_1SVFMetadataAsValue.html#a98acb125d1694aa233538de7618739bf',1,'SVF::SVFMetadataAsValue::SVFMetadataAsValue(const SVFType *ty)'],['../classSVF_1_1SVFMetadataAsValue.html#adc92d08f450556000a4386294c6c4370',1,'SVF::SVFMetadataAsValue::SVFMetadataAsValue()=delete']]],
-  ['svfmodule_10102',['SVFModule',['../classSVF_1_1SVFModule.html#a0438953758cecab4ebe1b48895639eb8',1,'SVF::SVFModule']]],
-  ['svfmodulewriter_10103',['SVFModuleWriter',['../classSVF_1_1SVFModuleWriter.html#a915ae39b2cb537e0137f5af496b10b10',1,'SVF::SVFModuleWriter']]],
-  ['svfothertype_10104',['SVFOtherType',['../classSVF_1_1SVFOtherType.html#a1d9f683bbcd6dc76e85f841a2b00d95e',1,'SVF::SVFOtherType']]],
-  ['svfothervalue_10105',['SVFOtherValue',['../classSVF_1_1SVFOtherValue.html#a81c02b9a60fa577a786250e088b49493',1,'SVF::SVFOtherValue::SVFOtherValue(const SVFType *ty, SVFValKind k=SVFValue::SVFOther)'],['../classSVF_1_1SVFOtherValue.html#a3966c98b9807e4d5f30869c3abccaaa9',1,'SVF::SVFOtherValue::SVFOtherValue()=delete']]],
-  ['svfpointertype_10106',['SVFPointerType',['../classSVF_1_1SVFPointerType.html#aef13cd2cd8b7a0d603aac7456b8b78d3',1,'SVF::SVFPointerType']]],
-  ['svfstat_10107',['SVFStat',['../classSVF_1_1SVFStat.html#ad22433722f7c71df19a891a5b5039d26',1,'SVF::SVFStat']]],
-  ['svfstmt_10108',['SVFStmt',['../classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6',1,'SVF::SVFStmt::SVFStmt(GEdgeFlag k)'],['../classSVF_1_1SVFStmt.html#a2ab7295fe26d2c6d2d5c9fd027f96a47',1,'SVF::SVFStmt::SVFStmt(SVFVar *s, SVFVar *d, GEdgeFlag k, bool real=true)']]],
-  ['svfstructtype_10109',['SVFStructType',['../classSVF_1_1SVFStructType.html#acb09f35e745bc341d15285d528bc1240',1,'SVF::SVFStructType']]],
-  ['svftype_10110',['SVFType',['../classSVF_1_1SVFType.html#ae8c4023976117479f77b9d09edff13b9',1,'SVF::SVFType::SVFType(bool svt, SVFTyKind k)'],['../classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202',1,'SVF::SVFType::SVFType(void)=delete']]],
-  ['svfvalue_10111',['SVFValue',['../classSVF_1_1SVFValue.html#a5860aa7cc16de3c221f06742d0d832dd',1,'SVF::SVFValue::SVFValue(const SVFType *ty, SVFValKind k)'],['../classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58',1,'SVF::SVFValue::SVFValue()=delete']]],
-  ['svfvar_10112',['SVFVar',['../classSVF_1_1SVFVar.html#a4dd7c0b8216d8793376596d0b4ed90e1',1,'SVF::SVFVar::SVFVar(NodeID i, PNODEK k)'],['../classSVF_1_1SVFVar.html#a83626a4beb124b35bcd5af86c9fc62fd',1,'SVF::SVFVar::SVFVar(const SVFValue *val, NodeID i, PNODEK k)']]],
-  ['svfvirtualcallinst_10113',['SVFVirtualCallInst',['../classSVF_1_1SVFVirtualCallInst.html#a57fa2d35c2df09e607b5d23852fca2fd',1,'SVF::SVFVirtualCallInst']]],
-  ['symbol_10114',['Symbol',['../structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf',1,'SVF::GrammarBase::Symbol::Symbol()'],['../structSVF_1_1GrammarBase_1_1Symbol.html#aa37072e1a6c0875305260c7c2414d767',1,'SVF::GrammarBase::Symbol::Symbol(const u32_t &num)']]],
-  ['symbolinfo_10115',['SymbolInfo',['../classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11',1,'SVF::SymbolTableInfo']]],
-  ['symboltablebuilder_10116',['SymbolTableBuilder',['../classSVF_1_1SymbolTableBuilder.html#ad39b982a2a91a10b4f22ee6150e9cebf',1,'SVF::SymbolTableBuilder']]],
-  ['symboltableinfo_10117',['SymbolTableInfo',['../classSVF_1_1SymbolTableInfo.html#aff272bc1d00f2e57b7677d1826a31237',1,'SVF::SymbolTableInfo']]],
-  ['symstate_10118',['SymState',['../classSVF_1_1SymState.html#a0362da88a176f1d814068ebeeeb0e665',1,'SVF::SymState::SymState()'],['../classSVF_1_1SymState.html#a92acf30a884f531f7bdba2b4d4528085',1,'SVF::SymState::SymState(ConsExeState _es, TypeState _as)'],['../classSVF_1_1SymState.html#a144f6ac7ce41d228c42f92a27b3bdd60',1,'SVF::SymState::SymState(const SymState &rhs)'],['../classSVF_1_1SymState.html#aa820ec486eeeea1d1296e0b58ced750d',1,'SVF::SymState::SymState(SymState &&rhs) noexcept']]],
-  ['symtostrdump_10119',['symToStrDump',['../classSVF_1_1GrammarBase.html#a49aad1a3620735a2929795df3d23ba38',1,'SVF::GrammarBase']]],
-  ['szudzik_10120',['szudzik',['../structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#adf5f19b1b32c117571fe74035cdcdbe2',1,'SVF::Hash< std::pair< S, T > >']]]
+  ['sabercheckerapi_9930',['SaberCheckerAPI',['../classSVF_1_1SaberCheckerAPI.html#afdd2f15bb46594a61a3c552899215806',1,'SVF::SaberCheckerAPI']]],
+  ['sabercondallocator_9931',['SaberCondAllocator',['../classSVF_1_1SaberCondAllocator.html#a4b1625597c6b331dfe0e8ceef95731b5',1,'SVF::SaberCondAllocator']]],
+  ['sabersvfgbuilder_9932',['SaberSVFGBuilder',['../classSVF_1_1SaberSVFGBuilder.html#aa66cd30067d39f2083fb671fdc43beb4',1,'SVF::SaberSVFGBuilder']]],
+  ['samelooptripcount_9933',['sameLoopTripCount',['../classSVF_1_1ForkJoinAnalysis.html#a28e50b1ffdcdaba57d3515a5f6410c86',1,'SVF::ForkJoinAnalysis']]],
+  ['sanitizepts_9934',['sanitizePts',['../classSVF_1_1Andersen.html#a308ef1f3a1c9fd7ac1858d0c690aa37a',1,'SVF::Andersen']]],
+  ['sanitycheck_9935',['sanityCheck',['../classSVF_1_1SVFIRBuilder.html#a09baa8c7246853c3faaed85b38f0da60',1,'SVF::SVFIRBuilder']]],
+  ['saveid_9936',['saveID',['../classSVF_1_1WriterPtrPool.html#a99162b81da24cf79d1252c18573038d4',1,'SVF::WriterPtrPool']]],
+  ['savetogenericgraph_9937',['saveToGenericGraph',['../classSVF_1_1GenericGraphReader.html#a337b37b2d78cfaa756f44dee76fb187f',1,'SVF::GenericGraphReader']]],
+  ['savetoidtoobjmap_9938',['saveToIDToObjMap',['../classSVF_1_1ReaderIDToObjMap.html#a8c39d643a10d83a7f525ace9a002844c',1,'SVF::ReaderIDToObjMap']]],
+  ['savetoset_9939',['saveToSet',['../classSVF_1_1ReaderPtrPool.html#a8a766e643ac79dc023ff58e1883c9626',1,'SVF::ReaderPtrPool']]],
+  ['sccdetect_9940',['SCCDetect',['../classSVF_1_1Andersen.html#a31ea24432ff42ab86a4728f2bde571bc',1,'SVF::Andersen::SCCDetect()'],['../classSVF_1_1AndersenSCD.html#a70f69baf47587b742b5013a63a3ce593',1,'SVF::AndersenSCD::SCCDetect()'],['../classSVF_1_1FlowSensitive.html#a3fcdbd3e6718cd5b3a339d34198dd0e6',1,'SVF::FlowSensitive::SCCDetect()'],['../classSVF_1_1WPAFSSolver.html#a2d4cfae34bd4a55f1fe03881c87f8708',1,'SVF::WPAFSSolver::SCCDetect()'],['../classSVF_1_1WPASolver.html#aaa932894d00b69cfa741f9987a9cc6b8',1,'SVF::WPASolver::SCCDetect()'],['../classSVF_1_1WPASolver.html#a16d371c8f6a9bdb1ca984bcb287d6c5a',1,'SVF::WPASolver::SCCDetect(NodeSet &candidates)']]],
+  ['sccdetection_9941',['SCCDetection',['../classSVF_1_1SCCDetection.html#a1bd915ba4079ddd5dd6e57a88129ffee',1,'SVF::SCCDetection']]],
+  ['sccrepnode_9942',['sccRepNode',['../classSVF_1_1ConstraintGraph.html#a39b973543acdcdc5493832cc9d0f586f',1,'SVF::ConstraintGraph::sccRepNode()'],['../classSVF_1_1Andersen.html#aad706e332847e6b0892350a05028ba30',1,'SVF::Andersen::sccRepNode()'],['../classSVF_1_1WPAFSSolver.html#a0bbaffd1673cc3850217afad0ca56e42',1,'SVF::WPAFSSolver::sccRepNode()'],['../classSVF_1_1WPASolver.html#a3bd463cd456a1d58242f118328f51ddb',1,'SVF::WPASolver::sccRepNode()']]],
+  ['sccsubnodes_9943',['sccSubNodes',['../classSVF_1_1ConstraintGraph.html#aed605b010e313f4b11e95b83fe50e3b3',1,'SVF::ConstraintGraph::sccSubNodes()'],['../classSVF_1_1Andersen.html#acd2feff818906db49a1bb2d94c33db5f',1,'SVF::Andersen::sccSubNodes()']]],
+  ['selectclient_9944',['selectClient',['../classSVF_1_1DDAPass.html#aa33694e0b5f30c451c229e92877e4842',1,'SVF::DDAPass']]],
+  ['selectstmt_9945',['SelectStmt',['../classSVF_1_1SelectStmt.html#a995baa18cc36d0671be3e98761f9879a',1,'SVF::SelectStmt::SelectStmt()'],['../classSVF_1_1SelectStmt.html#ad51a542e72f165abbba9d3242db1bea6',1,'SVF::SelectStmt::SelectStmt(const SelectStmt &)'],['../classSVF_1_1SelectStmt.html#af3ffdfb0b260754b64250f980c065198',1,'SVF::SelectStmt::SelectStmt(SVFVar *s, const OPVars &opnds, const SVFVar *cond)']]],
+  ['set_9946',['set',['../classSVF_1_1CondStdSet.html#ae11deddad534be115d29daad08c90599',1,'SVF::CondStdSet::set()'],['../classSVF_1_1CondPointsToSet.html#aadf2576b55bbdb82d7affc8466c09861',1,'SVF::CondPointsToSet::set()'],['../classSVF_1_1PointsTo.html#ab196d86cfb48d1c5d27a0c03c7497afa',1,'SVF::PointsTo::set()'],['../classSVF_1_1CoreBitVector.html#a553e3e51bffe1aab04adc047e0fd3f24',1,'SVF::CoreBitVector::set()'],['../structSVF_1_1SparseBitVectorElement.html#a094acafea02f3c117445267e75c9a629',1,'SVF::SparseBitVectorElement::set()'],['../classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832',1,'SVF::SparseBitVector::set()'],['../WPA_2CMakeLists_8txt.html#acb857077b5bb0b1d50ed7b3864b3b6cf',1,'set(): CMakeLists.txt']]],
+  ['set_5fminus_5finfinite_9947',['set_minus_infinite',['../classSVF_1_1BoundedZ3Expr.html#ae76bf19d580cbc12a40f7c1823165178',1,'SVF::BoundedZ3Expr']]],
+  ['set_5fplus_5finfinite_9948',['set_plus_infinite',['../classSVF_1_1BoundedZ3Expr.html#ad781e43e6d1e1fd2392e51737b7898b9',1,'SVF::BoundedZ3Expr']]],
+  ['set_5fto_5fbottom_9949',['set_to_bottom',['../classSVF_1_1IntervalValue.html#ac763bab0b6fedbe5ec5b345c7b260e30',1,'SVF::IntervalValue']]],
+  ['set_5fto_5ftop_9950',['set_to_top',['../classSVF_1_1IntervalValue.html#a8a9edd3eb9c31ecff090953301bf822d',1,'SVF::IntervalValue::set_to_top()'],['../classSVF_1_1SingleAbsValue.html#afef13058a5d730798bd8b10cdf3e5ea3',1,'SVF::SingleAbsValue::set_to_top()']]],
+  ['setabsstate_9951',['setAbsState',['../classSVF_1_1SymState.html#a1f946132843a9bdf5099b243613079be',1,'SVF::SymState']]],
+  ['setactualindef_9952',['setActualINDef',['../classSVF_1_1SVFGOPT.html#a490695ab536cd455c531fbdc57499cac',1,'SVF::SVFGOPT']]],
+  ['setallreachable_9953',['setAllReachable',['../classSVF_1_1ProgSlice.html#ae6102647fa4985142c293116516612cd',1,'SVF::ProgSlice']]],
+  ['setattributekinds_9954',['setAttributeKinds',['../classSVF_1_1GrammarBase.html#a1e1bf1e32bcd7c68ce789c2f9f6327c0',1,'SVF::GrammarBase']]],
+  ['setbasenode_9955',['setBaseNode',['../classSVF_1_1GepObjVar.html#a5e371fae7592d763661a7cb777107ff4',1,'SVF::GepObjVar']]],
+  ['setbb_9956',['setBB',['../classSVF_1_1SVFStmt.html#a0e45ab5b38059371c47d5f2011118a4d',1,'SVF::SVFStmt']]],
+  ['setbottom_9957',['setBottom',['../classSVF_1_1AddressValue.html#a77d6a1706328d86b210b26bacaf2fa9f',1,'SVF::AddressValue']]],
+  ['setbranchcond_9958',['setBranchCond',['../classSVF_1_1SaberCondAllocator.html#a5012a977e0db66a2ae111d4164936037',1,'SVF::SaberCondAllocator']]],
+  ['setbranchcondition_9959',['setBranchCondition',['../classSVF_1_1SymState.html#aae6109025931aea5d066a62058f584a6',1,'SVF::SymState::setBranchCondition()'],['../classSVF_1_1IntraCFGEdge.html#ad7b35b7c9abb07122eaa8517dae56508',1,'SVF::IntraCFGEdge::setBranchCondition()']]],
+  ['setcalledoperand_9960',['setCalledOperand',['../classSVF_1_1SVFCallInst.html#a6dd304f555d2d2388c4430e57b0d2b91',1,'SVF::SVFCallInst']]],
+  ['setcallgraph_9961',['setCallGraph',['../classSVF_1_1DDAVFSolver.html#afc2b0eeb1d5d5f292690f3c949217c38',1,'SVF::DDAVFSolver']]],
+  ['setcallgraphscc_9962',['setCallGraphSCC',['../classSVF_1_1DDAVFSolver.html#abd652b2627f68d7d4f8bf3bdb20ce975',1,'SVF::DDAVFSolver']]],
+  ['setcdn_9963',['setCDN',['../classSVF_1_1CFBasicBlockGWTO.html#a49d0128828b44df0a8631dd193ed8898',1,'SVF::CFBasicBlockGWTO']]],
+  ['setcfcond_9964',['setCFCond',['../classSVF_1_1SaberCondAllocator.html#a9c1660f4a9ecc161c0fb97c735a690b9',1,'SVF::SaberCondAllocator']]],
+  ['setchg_9965',['setCHG',['../classSVF_1_1SVFIR.html#aa14f6cde41bcac27ce2f66c6b33ee410',1,'SVF::SVFIR']]],
+  ['setcondinst_9966',['setCondInst',['../classSVF_1_1SaberCondAllocator.html#a97d540340f9039b3f8bd1527fc7d7ebb',1,'SVF::SaberCondAllocator']]],
+  ['setconstdataoraggdata_9967',['setConstDataOrAggData',['../classSVF_1_1SVFValue.html#afe1de41ca3215b325d0ca61814c6bd6b',1,'SVF::SVFValue']]],
+  ['setconsume_9968',['setConsume',['../classSVF_1_1VersionedFlowSensitive.html#aabc0a5a7a31b8d880e019773ba960741',1,'SVF::VersionedFlowSensitive']]],
+  ['setcurevalsvfgnode_9969',['setCurEvalSVFGNode',['../classSVF_1_1SaberCondAllocator.html#ae717f565b947a72651c0de19bf6bcca0',1,'SVF::SaberCondAllocator']]],
+  ['setcurnodeid_9970',['setCurNodeID',['../classSVF_1_1DPItem.html#a5fbde30cae2cb09bd9dc9a6969ea4b90',1,'SVF::DPItem']]],
+  ['setcurrentbbandvalueforpagedge_9971',['setCurrentBBAndValueForPAGEdge',['../classSVF_1_1SVFIRBuilder.html#abc394c99f0905c958a230412134eda01',1,'SVF::SVFIRBuilder']]],
+  ['setcurrentbestnodemapping_9972',['setCurrentBestNodeMapping',['../classSVF_1_1PointsTo.html#a84eca4c7fc833f8ca4d119cd4da08ca8',1,'SVF::PointsTo']]],
+  ['setcurrentlocation_9973',['setCurrentLocation',['../classSVF_1_1SVFIRBuilder.html#a15105737c91d01ba9daf2161fad220ef',1,'SVF::SVFIRBuilder::setCurrentLocation(const Value *val, const BasicBlock *bb)'],['../classSVF_1_1SVFIRBuilder.html#a18b425afe4cb7fc230c219334d2c458e',1,'SVF::SVFIRBuilder::setCurrentLocation(const SVFValue *val, const SVFBasicBlock *bb)']]],
+  ['setcurrentqueryptr_9974',['setCurrentQueryPtr',['../classSVF_1_1DDAClient.html#a3fbe4ffde0a14b2db40189883d49237f',1,'SVF::DDAClient']]],
+  ['setcurrentscc_9975',['setCurrentSCC',['../classSVF_1_1WPASCCSolver.html#a782121c831536e231f5b287629defef7',1,'SVF::WPASCCSolver']]],
+  ['setcurslice_9976',['setCurSlice',['../classSVF_1_1SrcSnkDDA.html#ab35c0d1f02c83a2c10717905f1abf5cd',1,'SVF::SrcSnkDDA']]],
+  ['setcursvfgnode_9977',['setCurSVFGNode',['../classSVF_1_1ProgSlice.html#aee72d029c185c24b2bf01cdc0dcb25d8',1,'SVF::ProgSlice']]],
+  ['setddastat_9978',['setDDAStat',['../classSVF_1_1DDAVFSolver.html#adcb641eec4f620effdb3f61a46429f40',1,'SVF::DDAVFSolver']]],
+  ['setdef_9979',['setDef',['../classSVF_1_1SVFG.html#accd1cbd26c9b194971f3107a57a0ab2e',1,'SVF::SVFG::setDef(const PAGNode *pagNode, const SVFGNode *node)'],['../classSVF_1_1SVFG.html#aa3ebc066d376e7ed508d2bce49fa864d',1,'SVF::SVFG::setDef(const MRVer *mvar, const SVFGNode *node)'],['../classSVF_1_1VFG.html#a1e0b8c7df55e05739775e8a1c50cf660',1,'SVF::VFG::setDef()']]],
+  ['setdeffunformultiplemodule_9980',['setDefFunForMultipleModule',['../classSVF_1_1SVFFunction.html#af1c181322926639bd99bbe58a8df70ab',1,'SVF::SVFFunction']]],
+  ['setdefglobalformultiplemodule_9981',['setDefGlobalForMultipleModule',['../classSVF_1_1SVFGlobalValue.html#a72c43f12f42a73dc28855c425fe5543a',1,'SVF::SVFGlobalValue']]],
+  ['setdetectpwc_9982',['setDetectPWC',['../classSVF_1_1Andersen.html#a1462bdde3748b1513e92a119b8a43794',1,'SVF::Andersen']]],
+  ['setebnfsigns_9983',['setEBNFSigns',['../classSVF_1_1GrammarBase.html#ad87ca88d62e7bc3a189652c707a72e12',1,'SVF::GrammarBase']]],
+  ['setec_9984',['setEC',['../classSVF_1_1Steensgaard.html#aa283cff49b0d340956649a95465b82b6',1,'SVF::Steensgaard']]],
+  ['setedgeflag_9985',['setEdgeFlag',['../classSVF_1_1SVFIRReader.html#aec95a42a5e46be50457fb3a8e9de7fbf',1,'SVF::SVFIRReader']]],
+  ['setes_9986',['setEs',['../classSVF_1_1SVFIR2ConsExeState.html#a7421cab74f02c7ab54aefb3242ed6c77',1,'SVF::SVFIR2ConsExeState::setEs()'],['../classSVF_1_1SVFIR2ItvExeState.html#a2e9ecde8db07741daa112649c432cbfd',1,'SVF::SVFIR2ItvExeState::setEs()']]],
+  ['setfieldinsensitive_9987',['setFieldInsensitive',['../classSVF_1_1MemObj.html#ab9637ea9acd1f8ae4933b4ab2b997e5c',1,'SVF::MemObj']]],
+  ['setfieldsensitive_9988',['setFieldSensitive',['../classSVF_1_1MemObj.html#a981b7424901ef74467f725ffc9fec0ca',1,'SVF::MemObj']]],
+  ['setfinalcond_9989',['setFinalCond',['../classSVF_1_1ProgSlice.html#af55830503ef47b4b1c15c0e5b3cd6a3f',1,'SVF::ProgSlice']]],
+  ['setflag_9990',['setFlag',['../classSVF_1_1DCHNode.html#a4e08c543fa2ae557ff835b1a0f3c53a4',1,'SVF::DCHNode::setFlag()'],['../classSVF_1_1CHNode.html#ab3755d804852b8a98bdf8cd0171f3a2f',1,'SVF::CHNode::setFlag()'],['../classSVF_1_1ObjTypeInfo.html#ad6fb2bfae3d4b73a6821a87106f65f49',1,'SVF::ObjTypeInfo::setFlag()']]],
+  ['setfldidx_9991',['setFldIdx',['../classSVF_1_1AccessPath.html#ab95df74c97fba13206df48e00131e15f',1,'SVF::AccessPath']]],
+  ['setformaloutdef_9992',['setFormalOUTDef',['../classSVF_1_1SVFGOPT.html#a3e2b811dd939c93bcf9fb94e91d553b1',1,'SVF::SVFGOPT']]],
+  ['setfunidxinvtable_9993',['setFunIdxInVtable',['../classSVF_1_1SVFVirtualCallInst.html#a947d6ca3695477fb5b36b46fa4899fb7',1,'SVF::SVFVirtualCallInst']]],
+  ['setfunnameofvirtualcall_9994',['setFunNameOfVirtualCall',['../classSVF_1_1SVFVirtualCallInst.html#adf936a7ee01d9c4662e31a5022ae94c0',1,'SVF::SVFVirtualCallInst']]],
+  ['setgraph_9995',['setGraph',['../classSVF_1_1SrcSnkSolver.html#a49cae8f70144639f529956478a8fca2b',1,'SVF::SrcSnkSolver::setGraph()'],['../classSVF_1_1GraphReachSolver.html#a0298a692295a8a4eae32ab151aa6ccc3',1,'SVF::GraphReachSolver::setGraph()'],['../classSVF_1_1WPASolver.html#aa04deb39cd024c051f30ac43d1d62b34',1,'SVF::WPASolver::setGraph()']]],
+  ['seticfg_9996',['setICFG',['../classSVF_1_1SVFIR.html#a756ae2b40ec29f2f92c95919f615e5ec',1,'SVF::SVFIR']]],
+  ['seticfgnode_9997',['setICFGNode',['../classSVF_1_1VFGNode.html#a9c95dd4f0e70ccc4a03282cdddba95de',1,'SVF::VFGNode::setICFGNode()'],['../classSVF_1_1SVFStmt.html#adb92a92f5c878576dff26cb38eab8c8c',1,'SVF::SVFStmt::setICFGNode()']]],
+  ['setincycle_9998',['setIncycle',['../classSVF_1_1CxtThread.html#adde663205c3ecc5a2e01b18bc305d5cb',1,'SVF::CxtThread']]],
+  ['setinloop_9999',['setInloop',['../classSVF_1_1CxtThread.html#aa4e1a9babb249a005e8dfae8cb83df21',1,'SVF::CxtThread']]],
+  ['setinscc_10000',['setInSCC',['../classSVF_1_1SCCDetection.html#aafe9ae9d158480e6a04803b25b61083e',1,'SVF::SCCDetection']]],
+  ['setisnotret_10001',['setIsNotRet',['../classSVF_1_1SVFFunction.html#aaddef080cdc8e4080fc2da1e3cf92deb',1,'SVF::SVFFunction']]],
+  ['setisuncalledfunction_10002',['setIsUncalledFunction',['../classSVF_1_1SVFFunction.html#a37f89063b55ff657a07e186224338ce8',1,'SVF::SVFFunction']]],
+  ['setkeynodesset_10003',['setKeyNodesSet',['../classSVF_1_1SymState.html#a2b4bdce23c28d5f635db6b48ce9aba11',1,'SVF::SymState']]],
+  ['setkindtoattrsmap_10004',['setKindToAttrsMap',['../classSVF_1_1GrammarBase.html#a082342020848e545c983df4d5ec6720a',1,'SVF::GrammarBase']]],
+  ['setlb_10005',['setLb',['../classSVF_1_1IntervalValue.html#adf3cae41adaeb62c3b5da19e81adbb5d',1,'SVF::IntervalValue']]],
+  ['setloc_10006',['setLoc',['../classSVF_1_1StmtDPItem.html#a9ba9ab1013a36530369aa6d684397f4f',1,'SVF::StmtDPItem']]],
+  ['setlocale_10007',['setlocale',['../extapi_8c.html#afe784c4f5d12b74272740c5211c960c5',1,'extapi.c']]],
+  ['setlocvar_10008',['setLocVar',['../classSVF_1_1StmtDPItem.html#a3feb4bc8e003cfdd30c1b2cfb2219efb',1,'SVF::StmtDPItem']]],
+  ['setloopbound_10009',['setLoopBound',['../classSVF_1_1SVFLoop.html#af594a873db7d6dbbcf25176da45fba80',1,'SVF::SVFLoop']]],
+  ['setmaxbudget_10010',['setMaxBudget',['../classSVF_1_1DPItem.html#a687ef8944ccb55b826508c47ea5b9240',1,'SVF::DPItem']]],
+  ['setmaxcxtlen_10011',['setMaxCxtLen',['../classSVF_1_1ContextCond.html#a92e89bbae0f31bb9eb971ab3edcc8071',1,'SVF::ContextCond']]],
+  ['setmaxfieldoffsetlimit_10012',['setMaxFieldOffsetLimit',['../classSVF_1_1ObjTypeInfo.html#a9fff869c63776c6ebeff78933e0f6092',1,'SVF::ObjTypeInfo']]],
+  ['setmaxpathlen_10013',['setMaxPathLen',['../classSVF_1_1ContextCond.html#a084679a423e78217ca10794775c25b1d',1,'SVF::ContextCond']]],
+  ['setmemusageafter_10014',['setMemUsageAfter',['../classSVF_1_1DDAStat.html#a9353910ceb01b53da6e880ebeb157433',1,'SVF::DDAStat']]],
+  ['setmemusagebefore_10015',['setMemUsageBefore',['../classSVF_1_1DDAStat.html#accadfa44f7cf9f107e4c8d100ce8db0d',1,'SVF::DDAStat']]],
+  ['setmodelconstants_10016',['setModelConstants',['../classSVF_1_1SymbolTableInfo.html#a4decfc9e7f5dc096d7bfa42d6965763d',1,'SVF::SymbolTableInfo']]],
+  ['setmodule_10017',['setModule',['../classSVF_1_1SVFIR.html#a52bea4a99022b036104751cafa9152b1',1,'SVF::SVFIR::setModule()'],['../classSVF_1_1SymbolTableInfo.html#a4f916c64ca04c4db30bd19fb8505724d',1,'SVF::SymbolTableInfo::setModule()']]],
+  ['setmoduleidentifier_10018',['setModuleIdentifier',['../classSVF_1_1SVFModule.html#acaba1ff38ed1fdd8a9a1251a1b36be92',1,'SVF::SVFModule']]],
+  ['setmultiforked_10019',['setMultiforked',['../classSVF_1_1TCTNode.html#a0fafde34cdffde6d38bb9efca9b7a9a1',1,'SVF::TCTNode']]],
+  ['setmultiforkedattrs_10020',['setMultiForkedAttrs',['../classSVF_1_1TCT.html#a11e36f9b58646dee4014e12e55c70508',1,'SVF::TCT']]],
+  ['setmultiinheritance_10021',['setMultiInheritance',['../classSVF_1_1DCHNode.html#a798e80f0cc5951789474abc3a0999166',1,'SVF::DCHNode::setMultiInheritance()'],['../classSVF_1_1CHNode.html#a5d751a3a0d88c0de374bfeb526051440',1,'SVF::CHNode::setMultiInheritance()']]],
+  ['setname_10022',['setName',['../classSVF_1_1SVFStructType.html#a6283d212e48c08c9bcf5ade551a79a50',1,'SVF::SVFStructType::setName(const std::string &structName)'],['../classSVF_1_1SVFStructType.html#ad397c1ef657691c0dae0c093a9b0a5e8',1,'SVF::SVFStructType::setName(std::string &&structName)'],['../classSVF_1_1SVFValue.html#a8325774df9d65d78ef6a66fef59b9a97',1,'SVF::SVFValue::setName(const std::string &n)'],['../classSVF_1_1SVFValue.html#a12db87881a5bfae7638aa8ad68f3214c',1,'SVF::SVFValue::setName(std::string &&n)']]],
+  ['setnegcondinst_10023',['setNegCondInst',['../classSVF_1_1SaberCondAllocator.html#ae8858c45c7406842ca967ed14f0b58e5',1,'SVF::SaberCondAllocator']]],
+  ['setnodenumafterpagbuild_10024',['setNodeNumAfterPAGBuild',['../classSVF_1_1IRGraph.html#a5fe12445ed0528183775747dec356db0',1,'SVF::IRGraph']]],
+  ['setnonconcretecxt_10025',['setNonConcreteCxt',['../classSVF_1_1ContextCond.html#ac80892cbef7a5d2c949e5f07682bc885',1,'SVF::ContextCond']]],
+  ['setnonterminals_10026',['setNonterminals',['../classSVF_1_1GrammarBase.html#afc9635e14b5871df457bf64fae6ad8cf',1,'SVF::GrammarBase']]],
+  ['setnumofelement_10027',['setNumOfElement',['../classSVF_1_1SVFArrayType.html#a986fc835f2e082796ecf1fd3b7f769b6',1,'SVF::SVFArrayType']]],
+  ['setnumofelements_10028',['setNumOfElements',['../classSVF_1_1MemObj.html#a904c5a96407574565e9c48eb2d31e869',1,'SVF::MemObj::setNumOfElements()'],['../classSVF_1_1ObjTypeInfo.html#aff17d13e520a731accedd06350af6221',1,'SVF::ObjTypeInfo::setNumOfElements()']]],
+  ['setnumoffieldsandelems_10029',['setNumOfFieldsAndElems',['../classSVF_1_1StInfo.html#a1a07c2b1415c29d7d70791c6dfe602a3',1,'SVF::StInfo']]],
+  ['setobjfieldinsensitive_10030',['setObjFieldInsensitive',['../classSVF_1_1PointerAnalysis.html#ac5683fe2e24b393ccc5cb6d8bc92cf2b',1,'SVF::PointerAnalysis']]],
+  ['setoffset_10031',['setOffset',['../classSVF_1_1DCHEdge.html#a70f757826082c95766c8324c1264e977',1,'SVF::DCHEdge']]],
+  ['setopver_10032',['setOpVer',['../classSVF_1_1MSSAPHISVFGNode.html#a928a57d7f518c5af98a0245d9221e671',1,'SVF::MSSAPHISVFGNode::setOpVer()'],['../classSVF_1_1CmpVFGNode.html#a41bcdd6b46a31c8d15533342478dc236',1,'SVF::CmpVFGNode::setOpVer()'],['../classSVF_1_1BinaryOPVFGNode.html#a76c67d31ffb67c4ef102471898ae2709',1,'SVF::BinaryOPVFGNode::setOpVer()'],['../classSVF_1_1UnaryOPVFGNode.html#a3b082eef98b8393499908f6c430b8d6c',1,'SVF::UnaryOPVFGNode::setOpVer()'],['../classSVF_1_1PHIVFGNode.html#a36f469a129063b43161a8d1423414ce5',1,'SVF::PHIVFGNode::setOpVer()'],['../classSVF_1_1MSSACHI.html#a245d8ee9e81ba4fe6f41533baf471331',1,'SVF::MSSACHI::setOpVer()'],['../classSVF_1_1MSSAPHI.html#a74f663dc5ecc659e98542a53414b7988',1,'SVF::MSSAPHI::setOpVer()']]],
+  ['setopverandbb_10033',['setOpVerAndBB',['../classSVF_1_1IntraPHIVFGNode.html#a7e5fd83393224ece808de83cbf496882',1,'SVF::IntraPHIVFGNode']]],
+  ['setpag_10034',['setPAG',['../classSVF_1_1DDAClient.html#a21badb317a249bbb506615182671b32c',1,'SVF::DDAClient']]],
+  ['setpagfromtxt_10035',['setPagFromTXT',['../classSVF_1_1SVFModule.html#a7af3076a26060090377d1f74293560fe',1,'SVF::SVFModule']]],
+  ['setpartialreachable_10036',['setPartialReachable',['../classSVF_1_1ProgSlice.html#af6f137be08ca0e743424ff07d679777d',1,'SVF::ProgSlice']]],
+  ['setpointerto_10037',['setPointerTo',['../classSVF_1_1SVFType.html#a3ddabbd763acaaca28cacbabe5bc7f3b',1,'SVF::SVFType']]],
+  ['setptrinuncalledfunction_10038',['setPtrInUncalledFunction',['../classSVF_1_1SVFValue.html#ac2e5c42d0ac92375c88ef5b3f1b65dc4',1,'SVF::SVFValue']]],
+  ['setpureabstract_10039',['setPureAbstract',['../classSVF_1_1DCHNode.html#afa271fdb9c1aa3589f41655813a2de8e',1,'SVF::DCHNode::setPureAbstract()'],['../classSVF_1_1CHNode.html#abac89987927dadd53dd646eae540a024',1,'SVF::CHNode::setPureAbstract()']]],
+  ['setpwcnode_10040',['setPWCNode',['../classSVF_1_1ConstraintGraph.html#a03f9fe8ae7094c39937f47f422276724',1,'SVF::ConstraintGraph::setPWCNode()'],['../classSVF_1_1ConstraintNode.html#ad8701df90d93c5dfed26cff8f0b2fbb3',1,'SVF::ConstraintNode::setPWCNode()']]],
+  ['setquery_10041',['setQuery',['../classSVF_1_1DDAClient.html#a3d0f732e284f3237287b375582c0aa88',1,'SVF::DDAClient']]],
+  ['setrawproductions_10042',['setRawProductions',['../classSVF_1_1GrammarBase.html#a2eb6ab294093710ca1dc119836adff5a',1,'SVF::GrammarBase']]],
+  ['setreachablebbs_10043',['setReachableBBs',['../classSVF_1_1SVFLoopAndDomInfo.html#acc409e328f641a2c9512beeb727f58c7',1,'SVF::SVFLoopAndDomInfo']]],
+  ['setreachglobal_10044',['setReachGlobal',['../classSVF_1_1ProgSlice.html#a397632ce0c523c4a54c5dc578606d14d',1,'SVF::ProgSlice']]],
+  ['setreles_10045',['setRelEs',['../classSVF_1_1SVFIR2ItvExeState.html#af0b6abd2310a9bf0311760b290114341',1,'SVF::SVFIR2ItvExeState']]],
+  ['setrep_10046',['setRep',['../classSVF_1_1ConstraintGraph.html#abea65bf6dd43aa312082f8d4c7c3e3cb',1,'SVF::ConstraintGraph']]],
+  ['setrepr_10047',['setRepr',['../classSVF_1_1SVFOtherType.html#a444ebb6bca967caf3cb6bba9d2db44c7',1,'SVF::SVFOtherType::setRepr(std::string &&r)'],['../classSVF_1_1SVFOtherType.html#a8705cce1b567e8f51d8644179c841ca3',1,'SVF::SVFOtherType::setRepr(const std::string &r)']]],
+  ['setresver_10048',['setResVer',['../classSVF_1_1MSSADEF.html#a343eb4c9515dfbbbdadaacf5500e5f05',1,'SVF::MSSADEF']]],
+  ['setreticfgnode_10049',['setRetICFGNode',['../classSVF_1_1CallICFGNode.html#a91b38c6930f3c15b9b38121662fded20',1,'SVF::CallICFGNode']]],
+  ['setscalar_10050',['setScalar',['../classSVF_1_1DCHNode.html#a917265fa44ed08b66a6bd722f318bfa4',1,'SVF::DCHNode']]],
+  ['setsignandwidth_10051',['setSignAndWidth',['../classSVF_1_1SVFIntegerType.html#aeacf0513bfde42511fe6e464d48d1e11',1,'SVF::SVFIntegerType']]],
+  ['setsourceloc_10052',['setSourceLoc',['../classSVF_1_1SVFValue.html#a588acec1904d440797ca4500f63f7d28',1,'SVF::SVFValue']]],
+  ['setstartkind_10053',['setStartKind',['../classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd',1,'SVF::GrammarBase']]],
+  ['setsubs_10054',['setSubs',['../classSVF_1_1ConstraintGraph.html#a148235bd1355a700d3ce187702e89bc8',1,'SVF::ConstraintGraph']]],
+  ['settemplate_10055',['setTemplate',['../classSVF_1_1DCHNode.html#a3947007a7b8074f06064e34de9d980fe',1,'SVF::DCHNode::setTemplate()'],['../classSVF_1_1CHNode.html#a00343177422c8d84d707432d0c483438',1,'SVF::CHNode::setTemplate()']]],
+  ['setterminals_10056',['setTerminals',['../classSVF_1_1GrammarBase.html#ae79b973ec24ba034e831a90285737a41',1,'SVF::GrammarBase']]],
+  ['settokeepactualoutformalin_10057',['setTokeepActualOutFormalIn',['../classSVF_1_1SVFGOPT.html#af0c1bb4055d3c4b7f5c6133c433144ad',1,'SVF::SVFGOPT']]],
+  ['settokeepallselfcycle_10058',['setTokeepAllSelfCycle',['../classSVF_1_1SVFGOPT.html#a99cce24804a9116f9bf4e773b2f28e85',1,'SVF::SVFGOPT']]],
+  ['settokeepcontextselfcycle_10059',['setTokeepContextSelfCycle',['../classSVF_1_1SVFGOPT.html#abe2392e0971f6c46537727f001fa44de',1,'SVF::SVFGOPT']]],
+  ['settop_10060',['setTop',['../classSVF_1_1AddressValue.html#a2100009a0e744ebc9e2780dffb6f622b',1,'SVF::AddressValue']]],
+  ['settotalkind_10061',['setTotalKind',['../classSVF_1_1GrammarBase.html#a37a31f03501a11e7951d56dbf1cb146a',1,'SVF::GrammarBase']]],
+  ['settypeinfo_10062',['setTypeInfo',['../classSVF_1_1SVFType.html#aef5999ada62dac3cc946d832ac66948c',1,'SVF::SVFType']]],
+  ['settypeofelement_10063',['setTypeOfElement',['../classSVF_1_1SVFArrayType.html#a56179bc4c145adce210adab80c61be7a',1,'SVF::SVFArrayType']]],
+  ['setub_10064',['setUb',['../classSVF_1_1IntervalValue.html#aa3b742bd0116a6b7bf290286902b470b',1,'SVF::IntervalValue']]],
+  ['setvals_10065',['setVals',['../classSVF_1_1AddressValue.html#a0fed06401997d4259d7ef183343f1949',1,'SVF::AddressValue']]],
+  ['setvalue_10066',['setValue',['../classSVF_1_1IntervalValue.html#a8de8e78efcee26d74fe3d34c405dee0a',1,'SVF::IntervalValue::setValue()'],['../classSVF_1_1SVFStmt.html#a6ae58a22d43361904c7033f5c790da38',1,'SVF::SVFStmt::setValue()'],['../classOption.html#ab40684f5ece904e9b81180ca1012b0b6',1,'Option::setValue()']]],
+  ['setvalueattr_10067',['setValueAttr',['../classSVF_1_1LLVMModuleSet.html#a7d61f479f52e1dc71a4ae7a4d62f3b6a',1,'SVF::LLVMModuleSet']]],
+  ['setvardfinsetupdated_10068',['setVarDFInSetUpdated',['../classSVF_1_1MutableIncDFPTData.html#a33b2e976439e489d4bd707379e1bac9c',1,'SVF::MutableIncDFPTData::setVarDFInSetUpdated()'],['../classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2',1,'SVF::PersistentIncDFPTData::setVarDFInSetUpdated()']]],
+  ['setvardfoutsetupdated_10069',['setVarDFOutSetUpdated',['../classSVF_1_1MutableIncDFPTData.html#a851947de9ccbe51239b76d2d93fcd4c4',1,'SVF::MutableIncDFPTData::setVarDFOutSetUpdated()'],['../classSVF_1_1PersistentIncDFPTData.html#aa9f6b38595cabbb583c52217188457e8',1,'SVF::PersistentIncDFPTData::setVarDFOutSetUpdated()']]],
+  ['setver_10070',['setVer',['../classSVF_1_1MSSAMU.html#a2af1e639aabbc5997aa4e6526f6595fb',1,'SVF::MSSAMU']]],
+  ['setversion_10071',['setVersion',['../classSVF_1_1VersionedFlowSensitive.html#adf37ae1f6a07716bca6fbe1603b8a070',1,'SVF::VersionedFlowSensitive']]],
+  ['setvfcond_10072',['setVFCond',['../classSVF_1_1ProgSlice.html#ab5de7bf99935818ef1b0962e36b8624c',1,'SVF::ProgSlice']]],
+  ['setvisited_10073',['setVisited',['../classSVF_1_1SCCDetection.html#ad888a3dc94909823319384055896c84d',1,'SVF::SCCDetection::setVisited()'],['../classSVF_1_1CSC.html#adac02224ec722f0cf1954d7a484bd11e',1,'SVF::CSC::setVisited()']]],
+  ['setvtable_10074',['setVTable',['../classSVF_1_1DCHNode.html#ad3144bcf462769c687bc7b65ef2f1639',1,'SVF::DCHNode::setVTable()'],['../classSVF_1_1CHNode.html#aa72c4509da3bfd2a3c656da38fe36c81',1,'SVF::CHNode::setVTable()']]],
+  ['setvtableptr_10075',['setVtablePtr',['../classSVF_1_1SVFVirtualCallInst.html#a94c04bebac82268c00d614c61e15274b',1,'SVF::SVFVirtualCallInst']]],
+  ['setyield_10076',['setYield',['../classSVF_1_1VersionedFlowSensitive.html#ac33c7cef2d1d143950820ea48e97e806',1,'SVF::VersionedFlowSensitive']]],
+  ['sfvgoptend_10077',['sfvgOptEnd',['../classSVF_1_1SVFGStat.html#aaec3a7f29b3ded0c971d57376d2779ff',1,'SVF::SVFGStat']]],
+  ['sfvgoptstart_10078',['sfvgOptStart',['../classSVF_1_1SVFGStat.html#acb80953b39ce247679242df4f042ab79',1,'SVF::SVFGStat']]],
+  ['simplify_10079',['simplify',['../classSVF_1_1BoundedZ3Expr.html#a7f5158affedda8ddf53ec6cb442a6297',1,'SVF::BoundedZ3Expr::simplify()'],['../classSVF_1_1SingleAbsValue.html#a7009d1a2517b29dda0bb58e5676687c2',1,'SVF::SingleAbsValue::simplify()'],['../classSVF_1_1Z3Expr.html#afb3478316592a395c6d473791b5a0981',1,'SVF::Z3Expr::simplify()']]],
+  ['singleabsvalue_10080',['SingleAbsValue',['../classSVF_1_1SingleAbsValue.html#ab5e10abb06e9ead59de170d0128b3531',1,'SVF::SingleAbsValue::SingleAbsValue()=default'],['../classSVF_1_1SingleAbsValue.html#a25308965f46578943ccd544052425c4d',1,'SVF::SingleAbsValue::SingleAbsValue(const Z3Expr &z3Expr)'],['../classSVF_1_1SingleAbsValue.html#a0f0a092868104d0f8e0c4c16ec07009b',1,'SVF::SingleAbsValue::SingleAbsValue(const BoundedZ3Expr &z3Bound)'],['../classSVF_1_1SingleAbsValue.html#a928d4adc2af10e2bb36641711b5d57ba',1,'SVF::SingleAbsValue::SingleAbsValue(const z3::expr &e)'],['../classSVF_1_1SingleAbsValue.html#aeb599c1bda7697fd9c52bf6438fdcee9',1,'SVF::SingleAbsValue::SingleAbsValue(s32_t i)'],['../classSVF_1_1SingleAbsValue.html#ad6fca68c9815414866c39c7000f35f23',1,'SVF::SingleAbsValue::SingleAbsValue(const SingleAbsValue &_z3Expr)'],['../classSVF_1_1SingleAbsValue.html#a6bd4803e4afa8e07596052a54fb01fdd',1,'SVF::SingleAbsValue::SingleAbsValue(SingleAbsValue &&_z3Expr)']]],
+  ['sinksbegin_10081',['sinksBegin',['../classSVF_1_1ProgSlice.html#adf620c97daed49735d21b485c448b4a2',1,'SVF::ProgSlice::sinksBegin()'],['../classSVF_1_1SrcSnkDDA.html#a79833c0cf1916d63e1dd32c2220056dd',1,'SVF::SrcSnkDDA::sinksBegin()']]],
+  ['sinksend_10082',['sinksEnd',['../classSVF_1_1ProgSlice.html#a27636f096ec825c4d5cb1dca608afb31',1,'SVF::ProgSlice::sinksEnd()'],['../classSVF_1_1SrcSnkDDA.html#aaabc8d3aed17c8a35ef37d878f141412',1,'SVF::SrcSnkDDA::sinksEnd()']]],
+  ['size_10083',['size',['../classSVF_1_1AddressValue.html#ae93859318bf4f618b4cf681988a870ce',1,'SVF::AddressValue::size()'],['../classSVF_1_1CondStdSet.html#afa190562e8b85630845617c23fc5a16b',1,'SVF::CondStdSet::size()'],['../classSVF_1_1WriterPtrPool.html#af6d1ceb994f5b33cfac7fbcac5b3bdd0',1,'SVF::WriterPtrPool::size()'],['../classSVF_1_1ReaderIDToObjMap.html#a8a0810c1419004eee30cad5696476bdd',1,'SVF::ReaderIDToObjMap::size()'],['../classSVF_1_1ReaderPtrPool.html#ab47d82a98973b27bf635c0bd3acb7163',1,'SVF::ReaderPtrPool::size()'],['../classSVF_1_1FIFOWorkList.html#ad0e2c9eeb77c1a48a5d17164e4d72c6e',1,'SVF::FIFOWorkList::size()'],['../classSVF_1_1FILOWorkList.html#aff8bc6547b814b31b02c7f086d06ce05',1,'SVF::FILOWorkList::size()']]],
+  ['sizesvfvaluepool_10084',['sizeSVFValuePool',['../classSVF_1_1SVFModuleWriter.html#a0e12ffecb37a42d766522dc65da481e6',1,'SVF::SVFModuleWriter']]],
+  ['skip_5fmultiline_5fcomment_10085',['skip_multiline_comment',['../cJSON_8cpp.html#a4b9e22afcb0d33932c691b5af9f2560a',1,'cJSON.cpp']]],
+  ['skip_5foneline_5fcomment_10086',['skip_oneline_comment',['../cJSON_8cpp.html#a98eaeafefb811c738494a26265309a07',1,'cJSON.cpp']]],
+  ['skip_5futf8_5fbom_10087',['skip_utf8_bom',['../cJSON_8cpp.html#a13b2d9f17c3b80a8878405f2782cd916',1,'cJSON.cpp']]],
+  ['slicestate_10088',['sliceState',['../classSVF_1_1IntervalExeState.html#a182ec2709e8c92b8bd29ba809bd3d1f7',1,'SVF::IntervalExeState']]],
+  ['solve_10089',['solve',['../classSVF_1_1CFLAlias.html#a5b7d65e7e74d596d61a1aad75e53cf27',1,'SVF::CFLAlias::solve()'],['../classSVF_1_1CFLBase.html#a2d1f2e2c7f8cbe07e0dda759a7424e6e',1,'SVF::CFLBase::solve()'],['../classSVF_1_1CFLSolver.html#a2ee3436c26ebdb2aaf790c25b1d8b5a6',1,'SVF::CFLSolver::solve()'],['../classSVF_1_1WPASCCSolver.html#ac37c1063fbdff394c9a313c8d131d893',1,'SVF::WPASCCSolver::solve()'],['../classSVF_1_1WPAMinimumSolver.html#afb4c3a86fdb91cbb555669003cf299c2',1,'SVF::WPAMinimumSolver::solve()']]],
+  ['solveandwriteptstofile_10090',['solveAndwritePtsToFile',['../classSVF_1_1AndersenBase.html#add7a5c53783fb2277dfc0c304cdfecd7',1,'SVF::AndersenBase::solveAndwritePtsToFile()'],['../classSVF_1_1FlowSensitive.html#afa190e58636a8d7388aeee8a2157bba5',1,'SVF::FlowSensitive::solveAndwritePtsToFile()']]],
+  ['solveconstraints_10091',['solveConstraints',['../classSVF_1_1AndersenBase.html#ac02d1fedb0beb39e5a4c22ee4bb3501a',1,'SVF::AndersenBase::solveConstraints()'],['../classSVF_1_1FlowSensitive.html#a165a9c5aef0811066560154896bae18d',1,'SVF::FlowSensitive::solveConstraints()']]],
+  ['solveworklist_10092',['solveWorklist',['../classSVF_1_1AndersenWaveDiff.html#a35cd97d5f7c1dcb65dd077f45ad864e9',1,'SVF::AndersenWaveDiff::solveWorklist()'],['../classSVF_1_1AndersenSCD.html#a98fac4ecfe203666178e2ace39da81e2',1,'SVF::AndersenSCD::solveWorklist()'],['../classSVF_1_1Steensgaard.html#a966faa0548fe76d81a50339fffdd24c8',1,'SVF::Steensgaard::solveWorklist()'],['../classSVF_1_1WPASolver.html#af1bb670efde7006e3e99b3735e4fc4cc',1,'SVF::WPASolver::solveWorklist()']]],
+  ['sortpointsto_10093',['sortPointsTo',['../classSVF_1_1MRGenerator.html#a66d94d15fb94e90a771f6b3dd7c0ecdd',1,'SVF::MRGenerator']]],
+  ['sourcesbegin_10094',['sourcesBegin',['../classSVF_1_1SrcSnkDDA.html#a0515c9079f28f8c5d4f0f9a2fc39a137',1,'SVF::SrcSnkDDA']]],
+  ['sourcesend_10095',['sourcesEnd',['../classSVF_1_1SrcSnkDDA.html#ad0cb9de24cbc99d148f63b694dc3908e',1,'SVF::SrcSnkDDA']]],
+  ['sparsebitvector_10096',['SparseBitVector',['../classSVF_1_1SparseBitVector.html#a4f618377a31eba119de672b0be4936bc',1,'SVF::SparseBitVector::SparseBitVector()'],['../classSVF_1_1SparseBitVector.html#a9cb4261779da0cbeb8d09b8fbd5cf557',1,'SVF::SparseBitVector::SparseBitVector(const SparseBitVector &RHS)'],['../classSVF_1_1SparseBitVector.html#a8bb2c6e68fadfae0428bc6ce5d63ad88',1,'SVF::SparseBitVector::SparseBitVector(SparseBitVector &&RHS) noexcept']]],
+  ['sparsebitvectorelement_10097',['SparseBitVectorElement',['../structSVF_1_1SparseBitVectorElement.html#a8097db31608c859c3cf8053e303821d3',1,'SVF::SparseBitVectorElement::SparseBitVectorElement()=default'],['../structSVF_1_1SparseBitVectorElement.html#a75777b1461184d8fb2cfa4ec6e95c1c5',1,'SVF::SparseBitVectorElement::SparseBitVectorElement(unsigned Idx)']]],
+  ['sparsebitvectoriterator_10098',['SparseBitVectorIterator',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a008d235a4a8163e7bf38718d0fd0e6f7',1,'SVF::SparseBitVector::SparseBitVectorIterator::SparseBitVectorIterator()=delete'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a5fe4841ca223f13c2aeec4c6e69a7b43',1,'SVF::SparseBitVector::SparseBitVectorIterator::SparseBitVectorIterator(const SparseBitVector< ElementSize > *RHS, bool end=false)']]],
+  ['spawneesbegin_10099',['spawneesBegin',['../classSVF_1_1PCG.html#a45932c2f1a05398b4ad8753dcb621a1f',1,'SVF::PCG']]],
+  ['spawneesend_10100',['spawneesEnd',['../classSVF_1_1PCG.html#ab45de7686709989be5923531653e2755',1,'SVF::PCG']]],
+  ['spawnersbegin_10101',['spawnersBegin',['../classSVF_1_1PCG.html#a4343107dd6908ffb70fc59fa7b4de21b',1,'SVF::PCG']]],
+  ['spawnersend_10102',['spawnersEnd',['../classSVF_1_1PCG.html#a2b9a6b5890b11cea31914f5242285525',1,'SVF::PCG']]],
+  ['spawnsitesbegin_10103',['spawnSitesBegin',['../classSVF_1_1PCG.html#a2a7319200ec2ec07e8b7976b4a876da8',1,'SVF::PCG']]],
+  ['spawnsitesend_10104',['spawnSitesEnd',['../classSVF_1_1PCG.html#a8dcd94e8f996fdb2197159ea95226817',1,'SVF::PCG']]],
+  ['split_10105',['split',['../classSVF_1_1LockResultValidator.html#ab8a6935e1ea6f99d60ead862a7b1782f',1,'SVF::LockResultValidator::split(const std::string &s, char delim, Set< std::string > &elems)'],['../classSVF_1_1LockResultValidator.html#ad26006e14c866d694bc6e2ebaa41ded9',1,'SVF::LockResultValidator::split(const std::string &s, char delim)'],['../classSVF_1_1MTAResultValidator.html#a73db9ad234b263b6e644e4b38be14fe6',1,'SVF::MTAResultValidator::split(const std::string &s, char delim, std::vector< std::string > &elems)'],['../classSVF_1_1MTAResultValidator.html#a7dad63ce2a85142a56d13926f10fde47',1,'SVF::MTAResultValidator::split(const std::string &s, char delim)'],['../classSVF_1_1MTAResultValidator.html#ab0458d1a3beae85056b1dbe7507fbc59',1,'SVF::MTAResultValidator::split(const std::string &s, char delim, std::vector< std::string > &elems)'],['../classSVF_1_1MTAResultValidator.html#a5edb70bdb93b8258de0ba7122a8707f5',1,'SVF::MTAResultValidator::split(const std::string &s, char delim)'],['../namespaceSVF_1_1SVFUtil.html#ae18227f257c9881541b84ca186680dfd',1,'SVF::SVFUtil::split()']]],
+  ['srcsnkdda_10106',['SrcSnkDDA',['../classSVF_1_1SrcSnkDDA.html#a73f6ddd4ba868e203109c52e4f3600bd',1,'SVF::SrcSnkDDA']]],
+  ['srcsnksolver_10107',['SrcSnkSolver',['../classSVF_1_1SrcSnkSolver.html#a952450652e55f3325f24b8d237d2c37d',1,'SVF::SrcSnkSolver']]],
+  ['ssarename_10108',['SSARename',['../classSVF_1_1MemSSA.html#a16114eb55775f6ee812c1648dcaede0c',1,'SVF::MemSSA']]],
+  ['ssarenamebb_10109',['SSARenameBB',['../classSVF_1_1MemSSA.html#aeb7fc6c7880db45f6d0a90912ac5b5f7',1,'SVF::MemSSA']]],
+  ['startanalysislimittimer_10110',['startAnalysisLimitTimer',['../namespaceSVF_1_1SVFUtil.html#a757815a2c758695176120509ceb0ce70',1,'SVF::SVFUtil']]],
+  ['startclk_10111',['startClk',['../classSVF_1_1SVFStat.html#a730cc814fede3edb563aa9957c869e9e',1,'SVF::SVFStat']]],
+  ['startnewptcompfromloadsrc_10112',['startNewPTCompFromLoadSrc',['../classSVF_1_1DDAVFSolver.html#acd694c2092adf8c516d1aba5f798cec7',1,'SVF::DDAVFSolver']]],
+  ['startnewptcompfromstoredst_10113',['startNewPTCompFromStoreDst',['../classSVF_1_1DDAVFSolver.html#aff744e724dcf06a2b1cdd7ba2b1093f1',1,'SVF::DDAVFSolver']]],
+  ['stataddrvarptssize_10114',['statAddrVarPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a81785227a688389c68171a1fbd55fa9b',1,'SVF::FlowSensitiveStat']]],
+  ['statinit_10115',['statInit',['../classSVF_1_1ThreadAPI.html#a8a4ab0b1dcb2e3897b7740868e0d955d',1,'SVF::ThreadAPI']]],
+  ['statinoutptssize_10116',['statInOutPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a8ae7448f6210b6c759a33e6fc8a8cee8',1,'SVF::FlowSensitiveStat']]],
+  ['statistic_10117',['STATISTIC',['../BreakConstantExpr_8cpp.html#a53fcf89c33901a1e4bf09351eb612a6a',1,'STATISTIC(GEPChanges, "Number of Converted GEP Constant Expressions"): BreakConstantExpr.cpp'],['../BreakConstantExpr_8cpp.html#a908d11ca6b0a342e6ddcdcced200cab3',1,'STATISTIC(TotalChanges, "Number of Converted Constant Expressions"): BreakConstantExpr.cpp']]],
+  ['statnullptr_10118',['statNullPtr',['../classSVF_1_1AndersenStat.html#a898f091cd9aeed4b0cf5b338b8a3b1d3',1,'SVF::AndersenStat::statNullPtr()'],['../classSVF_1_1FlowSensitiveStat.html#a36f7be42772b2df6f7594c51b7dc4770',1,'SVF::FlowSensitiveStat::statNullPtr()']]],
+  ['statptssize_10119',['statPtsSize',['../classSVF_1_1FlowSensitiveStat.html#af51e5b90f7bc52e3657a708c7bc5bb75',1,'SVF::FlowSensitiveStat']]],
+  ['steensgaard_10120',['Steensgaard',['../classSVF_1_1Steensgaard.html#ac79e21396243dfa969136daee5ecdbd4',1,'SVF::Steensgaard']]],
+  ['stinfo_10121',['StInfo',['../classSVF_1_1StInfo.html#a33948aee379e9de810c535c583f46535',1,'SVF::StInfo::StInfo()=delete'],['../classSVF_1_1StInfo.html#a987855f323885732080eff793dda1100',1,'SVF::StInfo::StInfo(const StInfo &st)=delete'],['../classSVF_1_1StInfo.html#a8c6d6933ad2c4be044d0a3557736e28d',1,'SVF::StInfo::StInfo(u32_t s)']]],
+  ['stmtdpitem_10122',['StmtDPItem',['../classSVF_1_1StmtDPItem.html#aed9239e5558569f6e957e691fa1872d7',1,'SVF::StmtDPItem::StmtDPItem(NodeID c, const LocCond *locCond)'],['../classSVF_1_1StmtDPItem.html#a3882dc175baaccfa1f811dcbfef98f71',1,'SVF::StmtDPItem::StmtDPItem(const StmtDPItem &dps)']]],
+  ['stmtvfgnode_10123',['StmtVFGNode',['../classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d',1,'SVF::StmtVFGNode']]],
+  ['stopanalysislimittimer_10124',['stopAnalysisLimitTimer',['../namespaceSVF_1_1SVFUtil.html#a168f7f7a3a8c70dbf2b5b4269cd4c7c5',1,'SVF::SVFUtil']]],
+  ['store_10125',['store',['../classSVF_1_1ConsExeState.html#adbf80e78f27a30f257fa8790f1cb78f5',1,'SVF::ConsExeState::store(const SingleAbsValue &loc, const SingleAbsValue &value)'],['../classSVF_1_1ConsExeState.html#a79b012f5f551dfb27ce1ca3d193dba55',1,'SVF::ConsExeState::store(u32_t objId, const SingleAbsValue &z3Expr)'],['../classSVF_1_1IntervalExeState.html#a65be64fc3b46b3d8e0c22d8a478df5cb',1,'SVF::IntervalExeState::store()'],['../classSVF_1_1RelExeState.html#a3a2d5de4c61fab8b277308a186795a13',1,'SVF::RelExeState::store(const Z3Expr &loc, const Z3Expr &value)'],['../classSVF_1_1RelExeState.html#a29be58e0074d7495c36713fd96832823',1,'SVF::RelExeState::store(u32_t objId, const Z3Expr &z3Expr)']]],
+  ['storecgedge_10126',['StoreCGEdge',['../classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815',1,'SVF::StoreCGEdge::StoreCGEdge()'],['../classSVF_1_1StoreCGEdge.html#a0f873b0be0ac726e412171119c5b3a50',1,'SVF::StoreCGEdge::StoreCGEdge(const StoreCGEdge &)'],['../classSVF_1_1StoreCGEdge.html#afdba4e02b1ccdc19fdc18bbe43363e79',1,'SVF::StoreCGEdge::StoreCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
+  ['storechi_10127',['StoreCHI',['../classSVF_1_1StoreCHI.html#a83f353ef765d6c57b07d9f1996e02444',1,'SVF::StoreCHI']]],
+  ['storestmt_10128',['StoreStmt',['../classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb',1,'SVF::StoreStmt::StoreStmt()'],['../classSVF_1_1StoreStmt.html#a22bc2f9290dfd7ade13ba63cc983ac42',1,'SVF::StoreStmt::StoreStmt(const StoreStmt &)'],['../classSVF_1_1StoreStmt.html#a757010d593152a65285a11e5160549ae',1,'SVF::StoreStmt::StoreStmt(SVFVar *s, SVFVar *d, const IntraICFGNode *st)']]],
+  ['storevaddrs_10129',['storeVAddrs',['../classSVF_1_1ExeState.html#aad0556739ce5b173054c81cbbfff4b72',1,'SVF::ExeState']]],
+  ['storevfgnode_10130',['StoreVFGNode',['../classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd',1,'SVF::StoreVFGNode::StoreVFGNode()'],['../classSVF_1_1StoreVFGNode.html#a496607cda1cc26a8753d6a7af620e95a',1,'SVF::StoreVFGNode::StoreVFGNode(const StoreVFGNode &)'],['../classSVF_1_1StoreVFGNode.html#ae7ee09f0e965b6487a38a58c4f51b20b',1,'SVF::StoreVFGNode::StoreVFGNode(NodeID id, const StoreStmt *edge)']]],
+  ['strchr_10131',['strchr',['../extapi_8c.html#afcd97f487174f9092b0f23c7ac78a55a',1,'extapi.c']]],
+  ['strerror_5fr_10132',['strerror_r',['../extapi_8c.html#a5db20599ab5cff2baa37f783221b3606',1,'extapi.c']]],
+  ['stripallcasts_10133',['stripAllCasts',['../namespaceSVF_1_1LLVMUtil.html#a38ce45ae5f017c90115ce444b44d478c',1,'SVF::LLVMUtil']]],
+  ['striparray_10134',['stripArray',['../classSVF_1_1DCHGraph.html#a6c276e661e5e63c1c84387f84c8a62e4',1,'SVF::DCHGraph']]],
+  ['stripconstantcasts_10135',['stripConstantCasts',['../namespaceSVF_1_1LLVMUtil.html#a07bd47ccfd02c5a2a6db26b537b2184f',1,'SVF::LLVMUtil']]],
+  ['stripqualifiers_10136',['stripQualifiers',['../classSVF_1_1DCHGraph.html#a175ed6ad0c9b23d5617f755ab96c76c4',1,'SVF::DCHGraph']]],
+  ['stripspace_10137',['stripSpace',['../classSVF_1_1GrammarBuilder.html#a6de372fbe80d33a5688cada0adca0bb8',1,'SVF::GrammarBuilder']]],
+  ['strongupdateoutfromin_10138',['strongUpdateOutFromIn',['../classSVF_1_1FlowSensitive.html#a8ebe4342c1496b906ee1b6450558c3e8',1,'SVF::FlowSensitive']]],
+  ['strpbrk_10139',['strpbrk',['../extapi_8c.html#a577b071bee67af4464665a1dc4f024e2',1,'extapi.c']]],
+  ['strptime_10140',['strptime',['../extapi_8c.html#aab53cb0be9d04d5bbbff4e412ba99f5b',1,'extapi.c']]],
+  ['strrchr_10141',['strrchr',['../extapi_8c.html#a9b5ffb90d9a30625617401e6a5999e85',1,'extapi.c']]],
+  ['strstr_10142',['strstr',['../extapi_8c.html#a4a710d86541afc6b7dafddcdb4b1c94f',1,'extapi.c']]],
+  ['strtod_10143',['strtod',['../extapi_8c.html#ab017280f95ea769b9422688105f02653',1,'extapi.c']]],
+  ['strtof_10144',['strtof',['../extapi_8c.html#a2370632318c3797a314f8eb62d37947c',1,'extapi.c']]],
+  ['strtokind_10145',['strToKind',['../classSVF_1_1GrammarBase.html#a3aae4b70e2ee0238808a2126265a2e24',1,'SVF::GrammarBase']]],
+  ['strtol_10146',['strtol',['../extapi_8c.html#a2ce966cd04da3c32320f54c332569e03',1,'extapi.c']]],
+  ['strtold_10147',['strtold',['../extapi_8c.html#a2fb0bb1a4be5c0865b119ce0d89145a7',1,'extapi.c']]],
+  ['strtosymbol_10148',['strToSymbol',['../classSVF_1_1GrammarBase.html#a4826df2851cedaa92e3ab10feee9f583',1,'SVF::GrammarBase']]],
+  ['strtoul_10149',['strtoul',['../extapi_8c.html#aa7d767d03ce3929978c28f64e3a4b222',1,'extapi.c']]],
+  ['strtrans_10150',['strTrans',['../classSVF_1_1CFGNormalizer.html#aea5ebe156b9536c617fc9c6acac00a61',1,'SVF::CFGNormalizer']]],
+  ['subnodes_10151',['subNodes',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48981e6555ad221d08f16ed2df708027',1,'SVF::SCCDetection::GNodeSCCInfo::subNodes()'],['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#aa2b23b22bb0304ce07ab9b14f0fdc395',1,'SVF::SCCDetection::GNodeSCCInfo::subNodes() const'],['../classSVF_1_1SCCDetection.html#a6ab5eff6a576e6d8703c1ea29b7f425d',1,'SVF::SCCDetection::subNodes()']]],
+  ['sucmsg_10152',['sucMsg',['../namespaceSVF_1_1SVFUtil.html#a05dc00b2bd9a8176aae31b6cfffe725d',1,'SVF::SVFUtil']]],
+  ['suffix_5fobject_10153',['suffix_object',['../cJSON_8cpp.html#a5d61bcc0045ace88c2ae04f0928eeace',1,'cJSON.cpp']]],
+  ['svfargument_10154',['SVFArgument',['../classSVF_1_1SVFArgument.html#aeeed6b5a59c5bf4eb4af77ec2345dccf',1,'SVF::SVFArgument::SVFArgument(const SVFType *ty, const SVFFunction *fun, u32_t argNo, bool uncalled)'],['../classSVF_1_1SVFArgument.html#a97816023e6da0a37bc1e2878c11eb123',1,'SVF::SVFArgument::SVFArgument()=delete']]],
+  ['svfarraytype_10155',['SVFArrayType',['../classSVF_1_1SVFArrayType.html#a2cbe7feac254dabd3742121bfc871d06',1,'SVF::SVFArrayType']]],
+  ['svfbasicblock_10156',['SVFBasicBlock',['../classSVF_1_1SVFBasicBlock.html#a2f21fd47b023a9786f8ab39faaca0a27',1,'SVF::SVFBasicBlock::SVFBasicBlock(const SVFType *ty, const SVFFunction *f)'],['../classSVF_1_1SVFBasicBlock.html#ae017f9a00c523585718bde13665275b3',1,'SVF::SVFBasicBlock::SVFBasicBlock()=delete']]],
+  ['svfblackholevalue_10157',['SVFBlackHoleValue',['../classSVF_1_1SVFBlackHoleValue.html#ac057a29cad0944d1b359e6cd23adcec2',1,'SVF::SVFBlackHoleValue::SVFBlackHoleValue(const SVFType *ty)'],['../classSVF_1_1SVFBlackHoleValue.html#a6d94a1c1c0f229165e3327a09521e28c',1,'SVF::SVFBlackHoleValue::SVFBlackHoleValue()=delete']]],
+  ['svfbugevent_10158',['SVFBugEvent',['../classSVF_1_1SVFBugEvent.html#af012270169f767655456ae0e09add06a',1,'SVF::SVFBugEvent']]],
+  ['svfbugreport_10159',['SVFBugReport',['../classSVF_1_1SVFBugReport.html#af163790aa2065d72be8c31c281abee20',1,'SVF::SVFBugReport']]],
+  ['svfcallinst_10160',['SVFCallInst',['../classSVF_1_1SVFCallInst.html#a6cdb5b727c559d3c041aba94e6f64596',1,'SVF::SVFCallInst::SVFCallInst(const SVFType *ty, const SVFBasicBlock *b, bool va, bool tm, SVFValKind k=SVFCall)'],['../classSVF_1_1SVFCallInst.html#a8216a845734b0f363a82fd9190702633',1,'SVF::SVFCallInst::SVFCallInst(void)=delete']]],
+  ['svfconstant_10161',['SVFConstant',['../classSVF_1_1SVFConstant.html#a3aacbc8f43aec414af229be6a9622a08',1,'SVF::SVFConstant::SVFConstant(const SVFType *ty, SVFValKind k=SVFConst)'],['../classSVF_1_1SVFConstant.html#a71fcd1abcde6dfc35f2da9fb25227165',1,'SVF::SVFConstant::SVFConstant()=delete']]],
+  ['svfconstantdata_10162',['SVFConstantData',['../classSVF_1_1SVFConstantData.html#a1ea9ae8d6d2b29c8357132b40de45bf0',1,'SVF::SVFConstantData::SVFConstantData(const SVFType *ty, SVFValKind k=SVFConstData)'],['../classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34',1,'SVF::SVFConstantData::SVFConstantData()=delete']]],
+  ['svfconstantfp_10163',['SVFConstantFP',['../classSVF_1_1SVFConstantFP.html#a85f6c8bd4169c01e46170b001d3a5a80',1,'SVF::SVFConstantFP::SVFConstantFP(const SVFType *ty, double d)'],['../classSVF_1_1SVFConstantFP.html#a25657c39dd158866cd5d0958b301573e',1,'SVF::SVFConstantFP::SVFConstantFP()=delete']]],
+  ['svfconstantint_10164',['SVFConstantInt',['../classSVF_1_1SVFConstantInt.html#a66b861e33c5a3911ecd8e6e4441cb664',1,'SVF::SVFConstantInt::SVFConstantInt(const SVFType *ty, u64_t z, s64_t s)'],['../classSVF_1_1SVFConstantInt.html#ad9338bb99a77d76d1c83275d8a32f7d2',1,'SVF::SVFConstantInt::SVFConstantInt()=delete']]],
+  ['svfconstantnullptr_10165',['SVFConstantNullPtr',['../classSVF_1_1SVFConstantNullPtr.html#a299954e2cad5ee41b51fcff4a92439b3',1,'SVF::SVFConstantNullPtr::SVFConstantNullPtr(const SVFType *ty)'],['../classSVF_1_1SVFConstantNullPtr.html#ae853223a57df1816c3d382113b7b7b70',1,'SVF::SVFConstantNullPtr::SVFConstantNullPtr()=delete']]],
+  ['svffunction_10166',['SVFFunction',['../classSVF_1_1SVFFunction.html#a0cf5ddbb884a0a99f43b7741f1ce2786',1,'SVF::SVFFunction::SVFFunction(const SVFType *ty, const SVFFunctionType *ft, bool declare, bool intrinsic, bool addrTaken, bool varg, SVFLoopAndDomInfo *ld, std::vector< std::string > annos)'],['../classSVF_1_1SVFFunction.html#a7e965c21a8afe7fca32d0f41b16361cf',1,'SVF::SVFFunction::SVFFunction(void)=delete']]],
+  ['svffunctiontype_10167',['SVFFunctionType',['../classSVF_1_1SVFFunctionType.html#af4bacdbcf4867575f6f27fc26aa66bbe',1,'SVF::SVFFunctionType']]],
+  ['svfg_10168',['SVFG',['../classSVF_1_1SVFG.html#a07d48490eda50ee6d31f295150409cf3',1,'SVF::SVFG']]],
+  ['svfgbuilder_10169',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html#a003c6d9e13e5f73e0648d97400f1854e',1,'SVF::SVFGBuilder']]],
+  ['svfglobalvalue_10170',['SVFGlobalValue',['../classSVF_1_1SVFGlobalValue.html#a18dc40d9d9007c928a5b9d92c269cd87',1,'SVF::SVFGlobalValue::SVFGlobalValue(const SVFType *ty)'],['../classSVF_1_1SVFGlobalValue.html#ac004fb727468898e90673328119b6059',1,'SVF::SVFGlobalValue::SVFGlobalValue(std::string &&name, const SVFType *ty)'],['../classSVF_1_1SVFGlobalValue.html#aec81144051355d04775807130d22356f',1,'SVF::SVFGlobalValue::SVFGlobalValue()=delete']]],
+  ['svfgnodelockspan_10171',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a43f4d595b31259576b141cb99883938e',1,'SVF::SVFGNodeLockSpan']]],
+  ['svfgopt_10172',['SVFGOPT',['../classSVF_1_1SVFGOPT.html#a64c300c8a9f8cc2ac13eef65c1108d01',1,'SVF::SVFGOPT']]],
+  ['svfgsccdetection_10173',['SVFGSCCDetection',['../classSVF_1_1DDAVFSolver.html#aba0ec611a5cfd096ac0b8b11e0bd5580',1,'SVF::DDAVFSolver']]],
+  ['svfgstat_10174',['svfgStat',['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()'],['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()']]],
+  ['svfinstruction_10175',['SVFInstruction',['../classSVF_1_1SVFInstruction.html#a976cc9df05994e7e1b11fcdd22febcc5',1,'SVF::SVFInstruction::SVFInstruction(const SVFType *ty, const SVFBasicBlock *b, bool tm, bool isRet, SVFValKind k=SVFInst)'],['../classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c',1,'SVF::SVFInstruction::SVFInstruction(void)=delete']]],
+  ['svfintegertype_10176',['SVFIntegerType',['../classSVF_1_1SVFIntegerType.html#aaafab8007dd15f498259320fec1f99f2',1,'SVF::SVFIntegerType']]],
+  ['svfir_10177',['SVFIR',['../classSVF_1_1SVFIR.html#abf511f82cdbf7a6d9b6da167aee57636',1,'SVF::SVFIR']]],
+  ['svfir2consexestate_10178',['SVFIR2ConsExeState',['../classSVF_1_1SVFIR2ConsExeState.html#a3575711760c3973aef0061975ca9436a',1,'SVF::SVFIR2ConsExeState']]],
+  ['svfir2itvexestate_10179',['SVFIR2ItvExeState',['../classSVF_1_1SVFIR2ItvExeState.html#a3c9285321cc0c4e1c46a31be9433192f',1,'SVF::SVFIR2ItvExeState']]],
+  ['svfirbuilder_10180',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html#a1ecae204a349b69031f0edd7df7ca708',1,'SVF::SVFIRBuilder']]],
+  ['svfirwriter_10181',['SVFIRWriter',['../classSVF_1_1SVFIRWriter.html#a9994b9a6ddf4c852570bee918cb9de34',1,'SVF::SVFIRWriter']]],
+  ['svfloop_10182',['SVFLoop',['../classSVF_1_1SVFLoop.html#a25b9a079f48aa0374c91be6a1e9697f8',1,'SVF::SVFLoop']]],
+  ['svfloopanddominfo_10183',['SVFLoopAndDomInfo',['../classSVF_1_1SVFLoopAndDomInfo.html#a2b5c892437d21ece0a9e0ae7a285b622',1,'SVF::SVFLoopAndDomInfo']]],
+  ['svfmetadataasvalue_10184',['SVFMetadataAsValue',['../classSVF_1_1SVFMetadataAsValue.html#a98acb125d1694aa233538de7618739bf',1,'SVF::SVFMetadataAsValue::SVFMetadataAsValue(const SVFType *ty)'],['../classSVF_1_1SVFMetadataAsValue.html#adc92d08f450556000a4386294c6c4370',1,'SVF::SVFMetadataAsValue::SVFMetadataAsValue()=delete']]],
+  ['svfmodule_10185',['SVFModule',['../classSVF_1_1SVFModule.html#a0438953758cecab4ebe1b48895639eb8',1,'SVF::SVFModule']]],
+  ['svfmodulewriter_10186',['SVFModuleWriter',['../classSVF_1_1SVFModuleWriter.html#a915ae39b2cb537e0137f5af496b10b10',1,'SVF::SVFModuleWriter']]],
+  ['svfothertype_10187',['SVFOtherType',['../classSVF_1_1SVFOtherType.html#a1d9f683bbcd6dc76e85f841a2b00d95e',1,'SVF::SVFOtherType']]],
+  ['svfothervalue_10188',['SVFOtherValue',['../classSVF_1_1SVFOtherValue.html#a81c02b9a60fa577a786250e088b49493',1,'SVF::SVFOtherValue::SVFOtherValue(const SVFType *ty, SVFValKind k=SVFValue::SVFOther)'],['../classSVF_1_1SVFOtherValue.html#a3966c98b9807e4d5f30869c3abccaaa9',1,'SVF::SVFOtherValue::SVFOtherValue()=delete']]],
+  ['svfpointertype_10189',['SVFPointerType',['../classSVF_1_1SVFPointerType.html#aef13cd2cd8b7a0d603aac7456b8b78d3',1,'SVF::SVFPointerType']]],
+  ['svfstat_10190',['SVFStat',['../classSVF_1_1SVFStat.html#ad22433722f7c71df19a891a5b5039d26',1,'SVF::SVFStat']]],
+  ['svfstmt_10191',['SVFStmt',['../classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6',1,'SVF::SVFStmt::SVFStmt(GEdgeFlag k)'],['../classSVF_1_1SVFStmt.html#a2ab7295fe26d2c6d2d5c9fd027f96a47',1,'SVF::SVFStmt::SVFStmt(SVFVar *s, SVFVar *d, GEdgeFlag k, bool real=true)']]],
+  ['svfstructtype_10192',['SVFStructType',['../classSVF_1_1SVFStructType.html#acb09f35e745bc341d15285d528bc1240',1,'SVF::SVFStructType']]],
+  ['svftype_10193',['SVFType',['../classSVF_1_1SVFType.html#ae8c4023976117479f77b9d09edff13b9',1,'SVF::SVFType::SVFType(bool svt, SVFTyKind k)'],['../classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202',1,'SVF::SVFType::SVFType(void)=delete']]],
+  ['svftype2bytesize_10194',['SVFType2ByteSize',['../namespaceSVF_1_1LLVMUtil.html#a276a85b292038a197a525e08e9252c92',1,'SVF::LLVMUtil']]],
+  ['svfvalue_10195',['SVFValue',['../classSVF_1_1SVFValue.html#a5860aa7cc16de3c221f06742d0d832dd',1,'SVF::SVFValue::SVFValue(const SVFType *ty, SVFValKind k)'],['../classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58',1,'SVF::SVFValue::SVFValue()=delete']]],
+  ['svfvar_10196',['SVFVar',['../classSVF_1_1SVFVar.html#a4dd7c0b8216d8793376596d0b4ed90e1',1,'SVF::SVFVar::SVFVar(NodeID i, PNODEK k)'],['../classSVF_1_1SVFVar.html#a83626a4beb124b35bcd5af86c9fc62fd',1,'SVF::SVFVar::SVFVar(const SVFValue *val, NodeID i, PNODEK k)']]],
+  ['svfvirtualcallinst_10197',['SVFVirtualCallInst',['../classSVF_1_1SVFVirtualCallInst.html#a57fa2d35c2df09e607b5d23852fca2fd',1,'SVF::SVFVirtualCallInst']]],
+  ['symbol_10198',['Symbol',['../structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf',1,'SVF::GrammarBase::Symbol::Symbol()'],['../structSVF_1_1GrammarBase_1_1Symbol.html#aa37072e1a6c0875305260c7c2414d767',1,'SVF::GrammarBase::Symbol::Symbol(const u32_t &num)']]],
+  ['symbolinfo_10199',['SymbolInfo',['../classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11',1,'SVF::SymbolTableInfo']]],
+  ['symboltablebuilder_10200',['SymbolTableBuilder',['../classSVF_1_1SymbolTableBuilder.html#ad39b982a2a91a10b4f22ee6150e9cebf',1,'SVF::SymbolTableBuilder']]],
+  ['symboltableinfo_10201',['SymbolTableInfo',['../classSVF_1_1SymbolTableInfo.html#aff272bc1d00f2e57b7677d1826a31237',1,'SVF::SymbolTableInfo']]],
+  ['symstate_10202',['SymState',['../classSVF_1_1SymState.html#a0362da88a176f1d814068ebeeeb0e665',1,'SVF::SymState::SymState()'],['../classSVF_1_1SymState.html#a92acf30a884f531f7bdba2b4d4528085',1,'SVF::SymState::SymState(ConsExeState _es, TypeState _as)'],['../classSVF_1_1SymState.html#a144f6ac7ce41d228c42f92a27b3bdd60',1,'SVF::SymState::SymState(const SymState &rhs)'],['../classSVF_1_1SymState.html#aa820ec486eeeea1d1296e0b58ced750d',1,'SVF::SymState::SymState(SymState &&rhs) noexcept']]],
+  ['symtostrdump_10203',['symToStrDump',['../classSVF_1_1GrammarBase.html#a49aad1a3620735a2929795df3d23ba38',1,'SVF::GrammarBase']]],
+  ['szudzik_10204',['szudzik',['../structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#adf5f19b1b32c117571fe74035cdcdbe2',1,'SVF::Hash< std::pair< S, T > >']]]
 ];