svf-tools 1.0.898 → 1.0.899

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

@@ -1,302 +1,302 @@
 var searchData=
 [
-  ['sabercheckerapi_10457',['SaberCheckerAPI',['../classSVF_1_1SaberCheckerAPI.html#afdd2f15bb46594a61a3c552899215806',1,'SVF::SaberCheckerAPI']]],
-  ['sabercondallocator_10458',['SaberCondAllocator',['../classSVF_1_1SaberCondAllocator.html#a4b1625597c6b331dfe0e8ceef95731b5',1,'SVF::SaberCondAllocator']]],
-  ['sabersvfgbuilder_10459',['SaberSVFGBuilder',['../classSVF_1_1SaberSVFGBuilder.html#aa66cd30067d39f2083fb671fdc43beb4',1,'SVF::SaberSVFGBuilder']]],
-  ['samelooptripcount_10460',['sameLoopTripCount',['../classSVF_1_1ForkJoinAnalysis.html#a28e50b1ffdcdaba57d3515a5f6410c86',1,'SVF::ForkJoinAnalysis']]],
-  ['sanitizepts_10461',['sanitizePts',['../classSVF_1_1Andersen.html#a308ef1f3a1c9fd7ac1858d0c690aa37a',1,'SVF::Andersen']]],
-  ['sanitycheck_10462',['sanityCheck',['../classSVF_1_1SVFIRBuilder.html#a09baa8c7246853c3faaed85b38f0da60',1,'SVF::SVFIRBuilder']]],
-  ['saveid_10463',['saveID',['../classSVF_1_1WriterPtrPool.html#a99162b81da24cf79d1252c18573038d4',1,'SVF::WriterPtrPool']]],
-  ['savetogenericgraph_10464',['saveToGenericGraph',['../classSVF_1_1GenericGraphReader.html#a337b37b2d78cfaa756f44dee76fb187f',1,'SVF::GenericGraphReader']]],
-  ['savetoidtoobjmap_10465',['saveToIDToObjMap',['../classSVF_1_1ReaderIDToObjMap.html#a8c39d643a10d83a7f525ace9a002844c',1,'SVF::ReaderIDToObjMap']]],
-  ['savetoset_10466',['saveToSet',['../classSVF_1_1ReaderPtrPool.html#a8a766e643ac79dc023ff58e1883c9626',1,'SVF::ReaderPtrPool']]],
-  ['sccdetect_10467',['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_10468',['SCCDetection',['../classSVF_1_1SCCDetection.html#a1bd915ba4079ddd5dd6e57a88129ffee',1,'SVF::SCCDetection']]],
-  ['sccrepnode_10469',['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_10470',['sccSubNodes',['../classSVF_1_1ConstraintGraph.html#aed605b010e313f4b11e95b83fe50e3b3',1,'SVF::ConstraintGraph::sccSubNodes()'],['../classSVF_1_1Andersen.html#acd2feff818906db49a1bb2d94c33db5f',1,'SVF::Andersen::sccSubNodes()']]],
-  ['selectclient_10471',['selectClient',['../classSVF_1_1DDAPass.html#aa33694e0b5f30c451c229e92877e4842',1,'SVF::DDAPass']]],
-  ['selectlargestsizedtype_10472',['selectLargestSizedType',['../classSVF_1_1ObjTypeInference.html#a205fa59a7250270b216f47df78ef2319',1,'SVF::ObjTypeInference']]],
-  ['selectstmt_10473',['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_10474',['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#a5b660868031b6dee85d01fea51ef09a5',1,'set(): CMakeLists.txt']]],
-  ['set_5fminus_5finfinite_10475',['set_minus_infinite',['../classSVF_1_1BoundedZ3Expr.html#ae76bf19d580cbc12a40f7c1823165178',1,'SVF::BoundedZ3Expr']]],
-  ['set_5fplus_5finfinite_10476',['set_plus_infinite',['../classSVF_1_1BoundedZ3Expr.html#ad781e43e6d1e1fd2392e51737b7898b9',1,'SVF::BoundedZ3Expr']]],
-  ['set_5fto_5fbottom_10477',['set_to_bottom',['../classSVF_1_1IntervalValue.html#ac763bab0b6fedbe5ec5b345c7b260e30',1,'SVF::IntervalValue']]],
-  ['set_5fto_5ftop_10478',['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_10479',['setAbsState',['../classSVF_1_1SymState.html#a1f946132843a9bdf5099b243613079be',1,'SVF::SymState']]],
-  ['setaccesslb_10480',['setAccessLb',['../structSVF_1_1BufOverflowException.html#a5ba160b90bcd053ca2bb25484dfa0147',1,'SVF::BufOverflowException']]],
-  ['setaccessub_10481',['setAccessUb',['../structSVF_1_1BufOverflowException.html#ade4a2ef6faf5677945804e8c1539cbbc',1,'SVF::BufOverflowException']]],
-  ['setactualindef_10482',['setActualINDef',['../classSVF_1_1SVFGOPT.html#a490695ab536cd455c531fbdc57499cac',1,'SVF::SVFGOPT']]],
-  ['setalloclb_10483',['setAllocLb',['../structSVF_1_1BufOverflowException.html#aa436c171dc79cbc55281bdad17370d3f',1,'SVF::BufOverflowException']]],
-  ['setallocub_10484',['setAllocUb',['../structSVF_1_1BufOverflowException.html#aedeb24d82f36ba581fa32de47f531a1f',1,'SVF::BufOverflowException']]],
-  ['setallreachable_10485',['setAllReachable',['../classSVF_1_1ProgSlice.html#ae6102647fa4985142c293116516612cd',1,'SVF::ProgSlice']]],
-  ['setannotations_10486',['setAnnotations',['../classSVF_1_1SVFFunction.html#a2731567cd10e2c499c812c33d01a412e',1,'SVF::SVFFunction']]],
-  ['setattributekinds_10487',['setAttributeKinds',['../classSVF_1_1GrammarBase.html#a1e1bf1e32bcd7c68ce789c2f9f6327c0',1,'SVF::GrammarBase']]],
-  ['setbasenode_10488',['setBaseNode',['../classSVF_1_1GepObjVar.html#a5e371fae7592d763661a7cb777107ff4',1,'SVF::GepObjVar']]],
-  ['setbb_10489',['setBB',['../classSVF_1_1SVFStmt.html#a0e45ab5b38059371c47d5f2011118a4d',1,'SVF::SVFStmt']]],
-  ['setbottom_10490',['setBottom',['../classSVF_1_1AddressValue.html#a77d6a1706328d86b210b26bacaf2fa9f',1,'SVF::AddressValue']]],
-  ['setbranchcond_10491',['setBranchCond',['../classSVF_1_1SaberCondAllocator.html#a5012a977e0db66a2ae111d4164936037',1,'SVF::SaberCondAllocator']]],
-  ['setbranchcondition_10492',['setBranchCondition',['../classSVF_1_1SymState.html#aae6109025931aea5d066a62058f584a6',1,'SVF::SymState::setBranchCondition()'],['../classSVF_1_1IntraCFGEdge.html#ad7b35b7c9abb07122eaa8517dae56508',1,'SVF::IntraCFGEdge::setBranchCondition()']]],
-  ['setbytesizeofobj_10493',['setByteSizeOfObj',['../classSVF_1_1ObjTypeInfo.html#ac093156bfb46c07675ae201f449cdca0',1,'SVF::ObjTypeInfo']]],
-  ['setcalledoperand_10494',['setCalledOperand',['../classSVF_1_1SVFCallInst.html#a6dd304f555d2d2388c4430e57b0d2b91',1,'SVF::SVFCallInst']]],
-  ['setcallgraph_10495',['setCallGraph',['../classSVF_1_1DDAVFSolver.html#afc2b0eeb1d5d5f292690f3c949217c38',1,'SVF::DDAVFSolver']]],
-  ['setcallgraphscc_10496',['setCallGraphSCC',['../classSVF_1_1DDAVFSolver.html#abd652b2627f68d7d4f8bf3bdb20ce975',1,'SVF::DDAVFSolver']]],
-  ['setcdn_10497',['setCDN',['../classSVF_1_1WTO.html#a7fc78de450f2cb6cbed8aa6856638ad1',1,'SVF::WTO']]],
-  ['setcfcond_10498',['setCFCond',['../classSVF_1_1SaberCondAllocator.html#a9c1660f4a9ecc161c0fb97c735a690b9',1,'SVF::SaberCondAllocator']]],
-  ['setchg_10499',['setCHG',['../classSVF_1_1SVFIR.html#aa14f6cde41bcac27ce2f66c6b33ee410',1,'SVF::SVFIR']]],
-  ['setcondinst_10500',['setCondInst',['../classSVF_1_1SaberCondAllocator.html#a97d540340f9039b3f8bd1527fc7d7ebb',1,'SVF::SaberCondAllocator']]],
-  ['setconstdataoraggdata_10501',['setConstDataOrAggData',['../classSVF_1_1SVFValue.html#afe1de41ca3215b325d0ca61814c6bd6b',1,'SVF::SVFValue']]],
-  ['setconsume_10502',['setConsume',['../classSVF_1_1VersionedFlowSensitive.html#aabc0a5a7a31b8d880e019773ba960741',1,'SVF::VersionedFlowSensitive']]],
-  ['setcurevalsvfgnode_10503',['setCurEvalSVFGNode',['../classSVF_1_1SaberCondAllocator.html#ae717f565b947a72651c0de19bf6bcca0',1,'SVF::SaberCondAllocator']]],
-  ['setcurnodeid_10504',['setCurNodeID',['../classSVF_1_1DPItem.html#a5fbde30cae2cb09bd9dc9a6969ea4b90',1,'SVF::DPItem']]],
-  ['setcurrentbbandvalueforpagedge_10505',['setCurrentBBAndValueForPAGEdge',['../classSVF_1_1SVFIRBuilder.html#abc394c99f0905c958a230412134eda01',1,'SVF::SVFIRBuilder']]],
-  ['setcurrentbestnodemapping_10506',['setCurrentBestNodeMapping',['../classSVF_1_1PointsTo.html#a84eca4c7fc833f8ca4d119cd4da08ca8',1,'SVF::PointsTo']]],
-  ['setcurrentlocation_10507',['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_10508',['setCurrentQueryPtr',['../classSVF_1_1DDAClient.html#a3fbe4ffde0a14b2db40189883d49237f',1,'SVF::DDAClient']]],
-  ['setcurrentscc_10509',['setCurrentSCC',['../classSVF_1_1WPASCCSolver.html#a782121c831536e231f5b287629defef7',1,'SVF::WPASCCSolver']]],
-  ['setcurslice_10510',['setCurSlice',['../classSVF_1_1SrcSnkDDA.html#ab35c0d1f02c83a2c10717905f1abf5cd',1,'SVF::SrcSnkDDA']]],
-  ['setcursvfgnode_10511',['setCurSVFGNode',['../classSVF_1_1ProgSlice.html#aee72d029c185c24b2bf01cdc0dcb25d8',1,'SVF::ProgSlice']]],
-  ['setddastat_10512',['setDDAStat',['../classSVF_1_1DDAVFSolver.html#adcb641eec4f620effdb3f61a46429f40',1,'SVF::DDAVFSolver']]],
-  ['setdef_10513',['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_10514',['setDefFunForMultipleModule',['../classSVF_1_1SVFFunction.html#af1c181322926639bd99bbe58a8df70ab',1,'SVF::SVFFunction']]],
-  ['setdefglobalformultiplemodule_10515',['setDefGlobalForMultipleModule',['../classSVF_1_1SVFGlobalValue.html#a72c43f12f42a73dc28855c425fe5543a',1,'SVF::SVFGlobalValue']]],
-  ['setdetectpwc_10516',['setDetectPWC',['../classSVF_1_1Andersen.html#a1462bdde3748b1513e92a119b8a43794',1,'SVF::Andersen']]],
-  ['setebnfsigns_10517',['setEBNFSigns',['../classSVF_1_1GrammarBase.html#ad87ca88d62e7bc3a189652c707a72e12',1,'SVF::GrammarBase']]],
-  ['setec_10518',['setEC',['../classSVF_1_1Steensgaard.html#aa283cff49b0d340956649a95465b82b6',1,'SVF::Steensgaard']]],
-  ['setedgeflag_10519',['setEdgeFlag',['../classSVF_1_1SVFIRReader.html#aec95a42a5e46be50457fb3a8e9de7fbf',1,'SVF::SVFIRReader']]],
-  ['setes_10520',['setEs',['../classSVF_1_1SVFIR2ConsExeState.html#a7421cab74f02c7ab54aefb3242ed6c77',1,'SVF::SVFIR2ConsExeState::setEs()'],['../classSVF_1_1SVFIR2ItvExeState.html#a2e9ecde8db07741daa112649c432cbfd',1,'SVF::SVFIR2ItvExeState::setEs()']]],
-  ['setexitblock_10521',['setExitBlock',['../classSVF_1_1SVFFunction.html#abd458bb5a035d3f7db32fac5f01b57f3',1,'SVF::SVFFunction']]],
-  ['setextbcpath_10522',['setExtBcPath',['../classSVF_1_1ExtAPI.html#ac0dc697b93f41b1e094a9be8baf4a103',1,'SVF::ExtAPI']]],
-  ['setfieldinsensitive_10523',['setFieldInsensitive',['../classSVF_1_1MemObj.html#ab9637ea9acd1f8ae4933b4ab2b997e5c',1,'SVF::MemObj']]],
-  ['setfieldsensitive_10524',['setFieldSensitive',['../classSVF_1_1MemObj.html#a981b7424901ef74467f725ffc9fec0ca',1,'SVF::MemObj']]],
-  ['setfinalcond_10525',['setFinalCond',['../classSVF_1_1ProgSlice.html#af55830503ef47b4b1c15c0e5b3cd6a3f',1,'SVF::ProgSlice']]],
-  ['setflag_10526',['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_10527',['setFldIdx',['../classSVF_1_1AccessPath.html#ab95df74c97fba13206df48e00131e15f',1,'SVF::AccessPath']]],
-  ['setformaloutdef_10528',['setFormalOUTDef',['../classSVF_1_1SVFGOPT.html#a3e2b811dd939c93bcf9fb94e91d553b1',1,'SVF::SVFGOPT']]],
-  ['setfunidxinvtable_10529',['setFunIdxInVtable',['../classSVF_1_1SVFVirtualCallInst.html#a947d6ca3695477fb5b36b46fa4899fb7',1,'SVF::SVFVirtualCallInst']]],
-  ['setfunnameofvirtualcall_10530',['setFunNameOfVirtualCall',['../classSVF_1_1SVFVirtualCallInst.html#adf936a7ee01d9c4662e31a5022ae94c0',1,'SVF::SVFVirtualCallInst']]],
-  ['setgraph_10531',['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_10532',['setICFG',['../classSVF_1_1SVFIR.html#a756ae2b40ec29f2f92c95919f615e5ec',1,'SVF::SVFIR']]],
-  ['seticfgnode_10533',['setICFGNode',['../classSVF_1_1VFGNode.html#a9c95dd4f0e70ccc4a03282cdddba95de',1,'SVF::VFGNode::setICFGNode()'],['../classSVF_1_1SVFStmt.html#adb92a92f5c878576dff26cb38eab8c8c',1,'SVF::SVFStmt::setICFGNode()']]],
-  ['setincycle_10534',['setIncycle',['../classSVF_1_1CxtThread.html#adde663205c3ecc5a2e01b18bc305d5cb',1,'SVF::CxtThread']]],
-  ['setinloop_10535',['setInloop',['../classSVF_1_1CxtThread.html#aa4e1a9babb249a005e8dfae8cb83df21',1,'SVF::CxtThread']]],
-  ['setinscc_10536',['setInSCC',['../classSVF_1_1SCCDetection.html#aafe9ae9d158480e6a04803b25b61083e',1,'SVF::SCCDetection']]],
-  ['setisnotret_10537',['setIsNotRet',['../classSVF_1_1SVFFunction.html#aaddef080cdc8e4080fc2da1e3cf92deb',1,'SVF::SVFFunction']]],
-  ['setisuncalledfunction_10538',['setIsUncalledFunction',['../classSVF_1_1SVFFunction.html#a37f89063b55ff657a07e186224338ce8',1,'SVF::SVFFunction']]],
-  ['setkeynodesset_10539',['setKeyNodesSet',['../classSVF_1_1SymState.html#a2b4bdce23c28d5f635db6b48ce9aba11',1,'SVF::SymState']]],
-  ['setkindtoattrsmap_10540',['setKindToAttrsMap',['../classSVF_1_1GrammarBase.html#a082342020848e545c983df4d5ec6720a',1,'SVF::GrammarBase']]],
-  ['setlb_10541',['setLb',['../classSVF_1_1IntervalValue.html#adf3cae41adaeb62c3b5da19e81adbb5d',1,'SVF::IntervalValue']]],
-  ['setloc_10542',['setLoc',['../classSVF_1_1StmtDPItem.html#a9ba9ab1013a36530369aa6d684397f4f',1,'SVF::StmtDPItem']]],
-  ['setlocale_10543',['setlocale',['../extapi_8c.html#afe784c4f5d12b74272740c5211c960c5',1,'extapi.c']]],
-  ['setlocvar_10544',['setLocVar',['../classSVF_1_1StmtDPItem.html#a3feb4bc8e003cfdd30c1b2cfb2219efb',1,'SVF::StmtDPItem']]],
-  ['setloopbound_10545',['setLoopBound',['../classSVF_1_1SVFLoop.html#af594a873db7d6dbbcf25176da45fba80',1,'SVF::SVFLoop']]],
-  ['setmaxbudget_10546',['setMaxBudget',['../classSVF_1_1DPItem.html#a687ef8944ccb55b826508c47ea5b9240',1,'SVF::DPItem']]],
-  ['setmaxcxtlen_10547',['setMaxCxtLen',['../classSVF_1_1ContextCond.html#a92e89bbae0f31bb9eb971ab3edcc8071',1,'SVF::ContextCond']]],
-  ['setmaxfieldoffsetlimit_10548',['setMaxFieldOffsetLimit',['../classSVF_1_1ObjTypeInfo.html#a9fff869c63776c6ebeff78933e0f6092',1,'SVF::ObjTypeInfo']]],
-  ['setmaxpathlen_10549',['setMaxPathLen',['../classSVF_1_1ContextCond.html#a084679a423e78217ca10794775c25b1d',1,'SVF::ContextCond']]],
-  ['setmemusageafter_10550',['setMemUsageAfter',['../classSVF_1_1PTAStat.html#a286e5985644f2bc13abbceaa2b586c92',1,'SVF::PTAStat']]],
-  ['setmemusagebefore_10551',['setMemUsageBefore',['../classSVF_1_1PTAStat.html#a206fdc31ee7bd8fce1695847c40785e0',1,'SVF::PTAStat']]],
-  ['setmodelconstants_10552',['setModelConstants',['../classSVF_1_1SymbolTableInfo.html#a4decfc9e7f5dc096d7bfa42d6965763d',1,'SVF::SymbolTableInfo']]],
-  ['setmodule_10553',['setModule',['../classSVF_1_1SVFIR.html#a52bea4a99022b036104751cafa9152b1',1,'SVF::SVFIR::setModule()'],['../classSVF_1_1SymbolTableInfo.html#a4f916c64ca04c4db30bd19fb8505724d',1,'SVF::SymbolTableInfo::setModule()']]],
-  ['setmoduleidentifier_10554',['setModuleIdentifier',['../classSVF_1_1SVFModule.html#acaba1ff38ed1fdd8a9a1251a1b36be92',1,'SVF::SVFModule']]],
-  ['setmultiforked_10555',['setMultiforked',['../classSVF_1_1TCTNode.html#a0fafde34cdffde6d38bb9efca9b7a9a1',1,'SVF::TCTNode']]],
-  ['setmultiforkedattrs_10556',['setMultiForkedAttrs',['../classSVF_1_1TCT.html#a11e36f9b58646dee4014e12e55c70508',1,'SVF::TCT']]],
-  ['setmultiinheritance_10557',['setMultiInheritance',['../classSVF_1_1DCHNode.html#a798e80f0cc5951789474abc3a0999166',1,'SVF::DCHNode::setMultiInheritance()'],['../classSVF_1_1CHNode.html#a5d751a3a0d88c0de374bfeb526051440',1,'SVF::CHNode::setMultiInheritance()']]],
-  ['setname_10558',['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_10559',['setNegCondInst',['../classSVF_1_1SaberCondAllocator.html#ae8858c45c7406842ca967ed14f0b58e5',1,'SVF::SaberCondAllocator']]],
-  ['setnodenumafterpagbuild_10560',['setNodeNumAfterPAGBuild',['../classSVF_1_1IRGraph.html#a5fe12445ed0528183775747dec356db0',1,'SVF::IRGraph']]],
-  ['setnonconcretecxt_10561',['setNonConcreteCxt',['../classSVF_1_1ContextCond.html#ac80892cbef7a5d2c949e5f07682bc885',1,'SVF::ContextCond']]],
-  ['setnonterminals_10562',['setNonterminals',['../classSVF_1_1GrammarBase.html#afc9635e14b5871df457bf64fae6ad8cf',1,'SVF::GrammarBase']]],
-  ['setnumofelement_10563',['setNumOfElement',['../classSVF_1_1SVFArrayType.html#a986fc835f2e082796ecf1fd3b7f769b6',1,'SVF::SVFArrayType']]],
-  ['setnumofelements_10564',['setNumOfElements',['../classSVF_1_1MemObj.html#a904c5a96407574565e9c48eb2d31e869',1,'SVF::MemObj::setNumOfElements()'],['../classSVF_1_1ObjTypeInfo.html#aff17d13e520a731accedd06350af6221',1,'SVF::ObjTypeInfo::setNumOfElements()']]],
-  ['setnumoffieldsandelems_10565',['setNumOfFieldsAndElems',['../classSVF_1_1StInfo.html#a1a07c2b1415c29d7d70791c6dfe602a3',1,'SVF::StInfo']]],
-  ['setobjfieldinsensitive_10566',['setObjFieldInsensitive',['../classSVF_1_1PointerAnalysis.html#ac5683fe2e24b393ccc5cb6d8bc92cf2b',1,'SVF::PointerAnalysis']]],
-  ['setoffset_10567',['setOffset',['../classSVF_1_1DCHEdge.html#a70f757826082c95766c8324c1264e977',1,'SVF::DCHEdge']]],
-  ['setopver_10568',['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_10569',['setOpVerAndBB',['../classSVF_1_1IntraPHIVFGNode.html#a7e5fd83393224ece808de83cbf496882',1,'SVF::IntraPHIVFGNode']]],
-  ['setpag_10570',['setPAG',['../classSVF_1_1DDAClient.html#a21badb317a249bbb506615182671b32c',1,'SVF::DDAClient']]],
-  ['setpagfromtxt_10571',['setPagFromTXT',['../classSVF_1_1SVFModule.html#a7af3076a26060090377d1f74293560fe',1,'SVF::SVFModule']]],
-  ['setpartialreachable_10572',['setPartialReachable',['../classSVF_1_1ProgSlice.html#af6f137be08ca0e743424ff07d679777d',1,'SVF::ProgSlice']]],
-  ['setptrinuncalledfunction_10573',['setPtrInUncalledFunction',['../classSVF_1_1SVFValue.html#ac2e5c42d0ac92375c88ef5b3f1b65dc4',1,'SVF::SVFValue']]],
-  ['setpureabstract_10574',['setPureAbstract',['../classSVF_1_1DCHNode.html#afa271fdb9c1aa3589f41655813a2de8e',1,'SVF::DCHNode::setPureAbstract()'],['../classSVF_1_1CHNode.html#abac89987927dadd53dd646eae540a024',1,'SVF::CHNode::setPureAbstract()']]],
-  ['setpwcnode_10575',['setPWCNode',['../classSVF_1_1ConstraintGraph.html#a03f9fe8ae7094c39937f47f422276724',1,'SVF::ConstraintGraph::setPWCNode()'],['../classSVF_1_1ConstraintNode.html#ad8701df90d93c5dfed26cff8f0b2fbb3',1,'SVF::ConstraintNode::setPWCNode()']]],
-  ['setquery_10576',['setQuery',['../classSVF_1_1DDAClient.html#a3d0f732e284f3237287b375582c0aa88',1,'SVF::DDAClient']]],
-  ['setrawproductions_10577',['setRawProductions',['../classSVF_1_1GrammarBase.html#a2eb6ab294093710ca1dc119836adff5a',1,'SVF::GrammarBase']]],
-  ['setreachablebbs_10578',['setReachableBBs',['../classSVF_1_1SVFLoopAndDomInfo.html#acc409e328f641a2c9512beeb727f58c7',1,'SVF::SVFLoopAndDomInfo']]],
-  ['setreachglobal_10579',['setReachGlobal',['../classSVF_1_1ProgSlice.html#a397632ce0c523c4a54c5dc578606d14d',1,'SVF::ProgSlice']]],
-  ['setreles_10580',['setRelEs',['../classSVF_1_1SVFIR2ItvExeState.html#af0b6abd2310a9bf0311760b290114341',1,'SVF::SVFIR2ItvExeState']]],
-  ['setrep_10581',['setRep',['../classSVF_1_1ConstraintGraph.html#abea65bf6dd43aa312082f8d4c7c3e3cb',1,'SVF::ConstraintGraph']]],
-  ['setrepr_10582',['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_10583',['setResVer',['../classSVF_1_1MSSADEF.html#a343eb4c9515dfbbbdadaacf5500e5f05',1,'SVF::MSSADEF']]],
-  ['setreticfgnode_10584',['setRetICFGNode',['../classSVF_1_1CallICFGNode.html#a91b38c6930f3c15b9b38121662fded20',1,'SVF::CallICFGNode']]],
-  ['setsabercondallocator_10585',['setSaberCondAllocator',['../classSVF_1_1SaberSVFGBuilder.html#a8eb03d4362685f361bc1110fc98925b9',1,'SVF::SaberSVFGBuilder']]],
-  ['setscalar_10586',['setScalar',['../classSVF_1_1DCHNode.html#a917265fa44ed08b66a6bd722f318bfa4',1,'SVF::DCHNode']]],
-  ['setsignandwidth_10587',['setSignAndWidth',['../classSVF_1_1SVFIntegerType.html#aeacf0513bfde42511fe6e464d48d1e11',1,'SVF::SVFIntegerType']]],
-  ['setsourceloc_10588',['setSourceLoc',['../classSVF_1_1SVFValue.html#a588acec1904d440797ca4500f63f7d28',1,'SVF::SVFValue']]],
-  ['setstartkind_10589',['setStartKind',['../classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd',1,'SVF::GrammarBase']]],
-  ['setstat_10590',['setStat',['../classSVF_1_1SVFBugReport.html#a817f61a73d84f9054a2f80375f51f747',1,'SVF::SVFBugReport']]],
-  ['setsubs_10591',['setSubs',['../classSVF_1_1ConstraintGraph.html#a148235bd1355a700d3ce187702e89bc8',1,'SVF::ConstraintGraph']]],
-  ['settemplate_10592',['setTemplate',['../classSVF_1_1DCHNode.html#a3947007a7b8074f06064e34de9d980fe',1,'SVF::DCHNode::setTemplate()'],['../classSVF_1_1CHNode.html#a00343177422c8d84d707432d0c483438',1,'SVF::CHNode::setTemplate()']]],
-  ['setterminals_10593',['setTerminals',['../classSVF_1_1GrammarBase.html#ae79b973ec24ba034e831a90285737a41',1,'SVF::GrammarBase']]],
-  ['settokeepactualoutformalin_10594',['setTokeepActualOutFormalIn',['../classSVF_1_1SVFGOPT.html#af0c1bb4055d3c4b7f5c6133c433144ad',1,'SVF::SVFGOPT']]],
-  ['settokeepallselfcycle_10595',['setTokeepAllSelfCycle',['../classSVF_1_1SVFGOPT.html#a99cce24804a9116f9bf4e773b2f28e85',1,'SVF::SVFGOPT']]],
-  ['settokeepcontextselfcycle_10596',['setTokeepContextSelfCycle',['../classSVF_1_1SVFGOPT.html#abe2392e0971f6c46537727f001fa44de',1,'SVF::SVFGOPT']]],
-  ['settop_10597',['setTop',['../classSVF_1_1AddressValue.html#a2100009a0e744ebc9e2780dffb6f622b',1,'SVF::AddressValue']]],
-  ['settotalkind_10598',['setTotalKind',['../classSVF_1_1GrammarBase.html#a37a31f03501a11e7951d56dbf1cb146a',1,'SVF::GrammarBase']]],
-  ['settypeinfo_10599',['setTypeInfo',['../classSVF_1_1SVFType.html#aef5999ada62dac3cc946d832ac66948c',1,'SVF::SVFType']]],
-  ['settypeofelement_10600',['setTypeOfElement',['../classSVF_1_1SVFArrayType.html#a56179bc4c145adce210adab80c61be7a',1,'SVF::SVFArrayType']]],
-  ['setub_10601',['setUb',['../classSVF_1_1IntervalValue.html#aa3b742bd0116a6b7bf290286902b470b',1,'SVF::IntervalValue']]],
-  ['setvals_10602',['setVals',['../classSVF_1_1AddressValue.html#a0fed06401997d4259d7ef183343f1949',1,'SVF::AddressValue']]],
-  ['setvalue_10603',['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_10604',['setValueAttr',['../classSVF_1_1LLVMModuleSet.html#a7d61f479f52e1dc71a4ae7a4d62f3b6a',1,'SVF::LLVMModuleSet']]],
-  ['setvardfinsetupdated_10605',['setVarDFInSetUpdated',['../classSVF_1_1MutableIncDFPTData.html#a33b2e976439e489d4bd707379e1bac9c',1,'SVF::MutableIncDFPTData::setVarDFInSetUpdated()'],['../classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2',1,'SVF::PersistentIncDFPTData::setVarDFInSetUpdated()']]],
-  ['setvardfoutsetupdated_10606',['setVarDFOutSetUpdated',['../classSVF_1_1MutableIncDFPTData.html#a851947de9ccbe51239b76d2d93fcd4c4',1,'SVF::MutableIncDFPTData::setVarDFOutSetUpdated()'],['../classSVF_1_1PersistentIncDFPTData.html#aa9f6b38595cabbb583c52217188457e8',1,'SVF::PersistentIncDFPTData::setVarDFOutSetUpdated()']]],
-  ['setver_10607',['setVer',['../classSVF_1_1MSSAMU.html#a2af1e639aabbc5997aa4e6526f6595fb',1,'SVF::MSSAMU']]],
-  ['setversion_10608',['setVersion',['../classSVF_1_1VersionedFlowSensitive.html#adf37ae1f6a07716bca6fbe1603b8a070',1,'SVF::VersionedFlowSensitive']]],
-  ['setvfcond_10609',['setVFCond',['../classSVF_1_1ProgSlice.html#ab5de7bf99935818ef1b0962e36b8624c',1,'SVF::ProgSlice']]],
-  ['setvisited_10610',['setVisited',['../classSVF_1_1SCCDetection.html#ad888a3dc94909823319384055896c84d',1,'SVF::SCCDetection::setVisited()'],['../classSVF_1_1CSC.html#adac02224ec722f0cf1954d7a484bd11e',1,'SVF::CSC::setVisited()']]],
-  ['setvtable_10611',['setVTable',['../classSVF_1_1DCHNode.html#ad3144bcf462769c687bc7b65ef2f1639',1,'SVF::DCHNode::setVTable()'],['../classSVF_1_1CHNode.html#aa72c4509da3bfd2a3c656da38fe36c81',1,'SVF::CHNode::setVTable()']]],
-  ['setvtableptr_10612',['setVtablePtr',['../classSVF_1_1SVFVirtualCallInst.html#a94c04bebac82268c00d614c61e15274b',1,'SVF::SVFVirtualCallInst']]],
-  ['setyield_10613',['setYield',['../classSVF_1_1VersionedFlowSensitive.html#ac33c7cef2d1d143950820ea48e97e806',1,'SVF::VersionedFlowSensitive']]],
-  ['sfvgoptend_10614',['sfvgOptEnd',['../classSVF_1_1SVFGStat.html#aaec3a7f29b3ded0c971d57376d2779ff',1,'SVF::SVFGStat']]],
-  ['sfvgoptstart_10615',['sfvgOptStart',['../classSVF_1_1SVFGStat.html#acb80953b39ce247679242df4f042ab79',1,'SVF::SVFGStat']]],
-  ['simplify_10616',['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_10617',['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_10618',['sinksBegin',['../classSVF_1_1ProgSlice.html#adf620c97daed49735d21b485c448b4a2',1,'SVF::ProgSlice::sinksBegin()'],['../classSVF_1_1SrcSnkDDA.html#a79833c0cf1916d63e1dd32c2220056dd',1,'SVF::SrcSnkDDA::sinksBegin()']]],
-  ['sinksend_10619',['sinksEnd',['../classSVF_1_1ProgSlice.html#a27636f096ec825c4d5cb1dca608afb31',1,'SVF::ProgSlice::sinksEnd()'],['../classSVF_1_1SrcSnkDDA.html#aaabc8d3aed17c8a35ef37d878f141412',1,'SVF::SrcSnkDDA::sinksEnd()']]],
-  ['size_10620',['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_10621',['sizeSVFValuePool',['../classSVF_1_1SVFModuleWriter.html#a0e12ffecb37a42d766522dc65da481e6',1,'SVF::SVFModuleWriter']]],
-  ['skip_5fmultiline_5fcomment_10622',['skip_multiline_comment',['../cJSON_8cpp.html#a4b9e22afcb0d33932c691b5af9f2560a',1,'cJSON.cpp']]],
-  ['skip_5foneline_5fcomment_10623',['skip_oneline_comment',['../cJSON_8cpp.html#a98eaeafefb811c738494a26265309a07',1,'cJSON.cpp']]],
-  ['skip_5futf8_5fbom_10624',['skip_utf8_bom',['../cJSON_8cpp.html#a13b2d9f17c3b80a8878405f2782cd916',1,'cJSON.cpp']]],
-  ['skiprecursivecall_10625',['SkipRecursiveCall',['../classSVF_1_1AbstractExecution.html#a97c5745ddcd0ce72e65dee09ff7afb42',1,'SVF::AbstractExecution']]],
-  ['skiprecursivefunc_10626',['SkipRecursiveFunc',['../classSVF_1_1AbstractExecution.html#a7e1c3edfa546182ad394116b37b834f9',1,'SVF::AbstractExecution']]],
-  ['slicestate_10627',['sliceState',['../classSVF_1_1IntervalESBase.html#a2c15de9b10a74fbcb171ff2f328ce7f2',1,'SVF::IntervalESBase']]],
-  ['solve_10628',['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_10629',['solveAndwritePtsToFile',['../classSVF_1_1AndersenBase.html#add7a5c53783fb2277dfc0c304cdfecd7',1,'SVF::AndersenBase::solveAndwritePtsToFile()'],['../classSVF_1_1FlowSensitive.html#afa190e58636a8d7388aeee8a2157bba5',1,'SVF::FlowSensitive::solveAndwritePtsToFile()'],['../classSVF_1_1VersionedFlowSensitive.html#acf02ed94f68d94617920941b434149f4',1,'SVF::VersionedFlowSensitive::solveAndwritePtsToFile()']]],
-  ['solveconstraints_10630',['solveConstraints',['../classSVF_1_1AndersenBase.html#ac02d1fedb0beb39e5a4c22ee4bb3501a',1,'SVF::AndersenBase::solveConstraints()'],['../classSVF_1_1FlowSensitive.html#a165a9c5aef0811066560154896bae18d',1,'SVF::FlowSensitive::solveConstraints()']]],
-  ['solveworklist_10631',['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_10632',['sortPointsTo',['../classSVF_1_1MRGenerator.html#a66d94d15fb94e90a771f6b3dd7c0ecdd',1,'SVF::MRGenerator']]],
-  ['sourcesbegin_10633',['sourcesBegin',['../classSVF_1_1SrcSnkDDA.html#a0515c9079f28f8c5d4f0f9a2fc39a137',1,'SVF::SrcSnkDDA']]],
-  ['sourcesend_10634',['sourcesEnd',['../classSVF_1_1SrcSnkDDA.html#ad0cb9de24cbc99d148f63b694dc3908e',1,'SVF::SrcSnkDDA']]],
-  ['sparsebitvector_10635',['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_10636',['SparseBitVectorElement',['../structSVF_1_1SparseBitVectorElement.html#a8097db31608c859c3cf8053e303821d3',1,'SVF::SparseBitVectorElement::SparseBitVectorElement()=default'],['../structSVF_1_1SparseBitVectorElement.html#a75777b1461184d8fb2cfa4ec6e95c1c5',1,'SVF::SparseBitVectorElement::SparseBitVectorElement(unsigned Idx)']]],
-  ['sparsebitvectoriterator_10637',['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_10638',['spawneesBegin',['../classSVF_1_1PCG.html#a45932c2f1a05398b4ad8753dcb621a1f',1,'SVF::PCG']]],
-  ['spawneesend_10639',['spawneesEnd',['../classSVF_1_1PCG.html#ab45de7686709989be5923531653e2755',1,'SVF::PCG']]],
-  ['spawnersbegin_10640',['spawnersBegin',['../classSVF_1_1PCG.html#a4343107dd6908ffb70fc59fa7b4de21b',1,'SVF::PCG']]],
-  ['spawnersend_10641',['spawnersEnd',['../classSVF_1_1PCG.html#a2b9a6b5890b11cea31914f5242285525',1,'SVF::PCG']]],
-  ['spawnsitesbegin_10642',['spawnSitesBegin',['../classSVF_1_1PCG.html#a2a7319200ec2ec07e8b7976b4a876da8',1,'SVF::PCG']]],
-  ['spawnsitesend_10643',['spawnSitesEnd',['../classSVF_1_1PCG.html#a8dcd94e8f996fdb2197159ea95226817',1,'SVF::PCG']]],
-  ['split_10644',['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()']]],
-  ['splitandstrip_10645',['splitAndStrip',['../CppUtil_8cpp.html#a63632e75877f12057e5b0dad97ec7a48',1,'CppUtil.cpp']]],
-  ['srcsnkdda_10646',['SrcSnkDDA',['../classSVF_1_1SrcSnkDDA.html#a73f6ddd4ba868e203109c52e4f3600bd',1,'SVF::SrcSnkDDA']]],
-  ['srcsnksolver_10647',['SrcSnkSolver',['../classSVF_1_1SrcSnkSolver.html#a952450652e55f3325f24b8d237d2c37d',1,'SVF::SrcSnkSolver']]],
-  ['ssarename_10648',['SSARename',['../classSVF_1_1MemSSA.html#a16114eb55775f6ee812c1648dcaede0c',1,'SVF::MemSSA']]],
-  ['ssarenamebb_10649',['SSARenameBB',['../classSVF_1_1MemSSA.html#aeb7fc6c7880db45f6d0a90912ac5b5f7',1,'SVF::MemSSA']]],
-  ['startanalysislimittimer_10650',['startAnalysisLimitTimer',['../namespaceSVF_1_1SVFUtil.html#a757815a2c758695176120509ceb0ce70',1,'SVF::SVFUtil']]],
-  ['startclk_10651',['startClk',['../classSVF_1_1SVFStat.html#a730cc814fede3edb563aa9957c869e9e',1,'SVF::SVFStat']]],
-  ['startnewptcompfromloadsrc_10652',['startNewPTCompFromLoadSrc',['../classSVF_1_1DDAVFSolver.html#acd694c2092adf8c516d1aba5f798cec7',1,'SVF::DDAVFSolver']]],
-  ['startnewptcompfromstoredst_10653',['startNewPTCompFromStoreDst',['../classSVF_1_1DDAVFSolver.html#aff744e724dcf06a2b1cdd7ba2b1093f1',1,'SVF::DDAVFSolver']]],
-  ['stataddrvarptssize_10654',['statAddrVarPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a81785227a688389c68171a1fbd55fa9b',1,'SVF::FlowSensitiveStat']]],
-  ['statinit_10655',['statInit',['../classSVF_1_1ThreadAPI.html#a8a4ab0b1dcb2e3897b7740868e0d955d',1,'SVF::ThreadAPI']]],
-  ['statinoutptssize_10656',['statInOutPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a8ae7448f6210b6c759a33e6fc8a8cee8',1,'SVF::FlowSensitiveStat']]],
-  ['statistic_10657',['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_10658',['statNullPtr',['../classSVF_1_1AndersenStat.html#a898f091cd9aeed4b0cf5b338b8a3b1d3',1,'SVF::AndersenStat::statNullPtr()'],['../classSVF_1_1FlowSensitiveStat.html#a36f7be42772b2df6f7594c51b7dc4770',1,'SVF::FlowSensitiveStat::statNullPtr()']]],
-  ['statptssize_10659',['statPtsSize',['../classSVF_1_1FlowSensitiveStat.html#af51e5b90f7bc52e3657a708c7bc5bb75',1,'SVF::FlowSensitiveStat']]],
-  ['steensgaard_10660',['Steensgaard',['../classSVF_1_1Steensgaard.html#ac79e21396243dfa969136daee5ecdbd4',1,'SVF::Steensgaard']]],
-  ['stinfo_10661',['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_10662',['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_10663',['StmtVFGNode',['../classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d',1,'SVF::StmtVFGNode']]],
-  ['stopanalysislimittimer_10664',['stopAnalysisLimitTimer',['../namespaceSVF_1_1SVFUtil.html#a168f7f7a3a8c70dbf2b5b4269cd4c7c5',1,'SVF::SVFUtil']]],
-  ['store_10665',['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_1IntervalESBase.html#adb26b186ee31bce7449a7b36faa24cc2',1,'SVF::IntervalESBase::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)']]],
-  ['storeaddrs_10666',['storeAddrs',['../classSVF_1_1ExeState.html#a99f4437a7e350fec131d48f52082d672',1,'SVF::ExeState']]],
-  ['storecgedge_10667',['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_10668',['StoreCHI',['../classSVF_1_1StoreCHI.html#a83f353ef765d6c57b07d9f1996e02444',1,'SVF::StoreCHI']]],
-  ['storestmt_10669',['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)']]],
-  ['storevfgnode_10670',['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)']]],
-  ['strcasestr_10671',['strcasestr',['../extapi_8c.html#ae9229017a4501f8d6a637b4498cfed2e',1,'extapi.c']]],
-  ['strchr_10672',['strchr',['../extapi_8c.html#afcd97f487174f9092b0f23c7ac78a55a',1,'extapi.c']]],
-  ['strerror_5fr_10673',['strerror_r',['../extapi_8c.html#a5db20599ab5cff2baa37f783221b3606',1,'extapi.c']]],
-  ['stripallcasts_10674',['stripAllCasts',['../namespaceSVF_1_1LLVMUtil.html#a38ce45ae5f017c90115ce444b44d478c',1,'SVF::LLVMUtil']]],
-  ['striparray_10675',['stripArray',['../classSVF_1_1DCHGraph.html#a6c276e661e5e63c1c84387f84c8a62e4',1,'SVF::DCHGraph']]],
-  ['stripbracketsandnamespace_10676',['stripBracketsAndNamespace',['../CppUtil_8cpp.html#af6008113739aef2f184281d3985d97d6',1,'CppUtil.cpp']]],
-  ['stripconstantcasts_10677',['stripConstantCasts',['../namespaceSVF_1_1LLVMUtil.html#a07bd47ccfd02c5a2a6db26b537b2184f',1,'SVF::LLVMUtil']]],
-  ['stripqualifiers_10678',['stripQualifiers',['../classSVF_1_1DCHGraph.html#a175ed6ad0c9b23d5617f755ab96c76c4',1,'SVF::DCHGraph']]],
-  ['stripspace_10679',['stripSpace',['../classSVF_1_1GrammarBuilder.html#a6de372fbe80d33a5688cada0adca0bb8',1,'SVF::GrammarBuilder']]],
-  ['stripwhitespaces_10680',['stripWhitespaces',['../CppUtil_8cpp.html#a6a41352b62d0c45dcb828d3740083e71',1,'CppUtil.cpp']]],
-  ['strongupdateoutfromin_10681',['strongUpdateOutFromIn',['../classSVF_1_1FlowSensitive.html#a8ebe4342c1496b906ee1b6450558c3e8',1,'SVF::FlowSensitive']]],
-  ['strpbrk_10682',['strpbrk',['../extapi_8c.html#a577b071bee67af4464665a1dc4f024e2',1,'extapi.c']]],
-  ['strptime_10683',['strptime',['../extapi_8c.html#aab53cb0be9d04d5bbbff4e412ba99f5b',1,'extapi.c']]],
-  ['strrchr_10684',['strrchr',['../extapi_8c.html#a9b5ffb90d9a30625617401e6a5999e85',1,'extapi.c']]],
-  ['strread_10685',['strRead',['../classSVF_1_1AbstractExecution.html#a63044080ddea89905bc9a4336eb8b2a7',1,'SVF::AbstractExecution']]],
-  ['strsep_10686',['strsep',['../extapi_8c.html#a93c766c6e86f4f79e7507c21f1794e15',1,'extapi.c']]],
-  ['strstr_10687',['strstr',['../extapi_8c.html#a4a710d86541afc6b7dafddcdb4b1c94f',1,'extapi.c']]],
-  ['strtod_10688',['strtod',['../extapi_8c.html#ab017280f95ea769b9422688105f02653',1,'extapi.c']]],
-  ['strtod_5fl_10689',['strtod_l',['../extapi_8c.html#a65fbe99baad4213df4fb26c4d934ffe3',1,'extapi.c']]],
-  ['strtof_10690',['strtof',['../extapi_8c.html#a2370632318c3797a314f8eb62d37947c',1,'extapi.c']]],
-  ['strtof_5fl_10691',['strtof_l',['../extapi_8c.html#a23a39e17fed1b7a7676bda56575e0c2c',1,'extapi.c']]],
-  ['strtok_10692',['strtok',['../extapi_8c.html#a8cb460f64c449f2a9b9b7a40569ce0fe',1,'extapi.c']]],
-  ['strtok_5fr_10693',['strtok_r',['../extapi_8c.html#ab11d86a2a3af0a355cad2337c6f4e9f7',1,'extapi.c']]],
-  ['strtokind_10694',['strToKind',['../classSVF_1_1GrammarBase.html#a3aae4b70e2ee0238808a2126265a2e24',1,'SVF::GrammarBase']]],
-  ['strtol_10695',['strtol',['../extapi_8c.html#a2ce966cd04da3c32320f54c332569e03',1,'extapi.c']]],
-  ['strtold_10696',['strtold',['../extapi_8c.html#a2fb0bb1a4be5c0865b119ce0d89145a7',1,'extapi.c']]],
-  ['strtoll_10697',['strtoll',['../extapi_8c.html#a11dd8f0251a1b6e05a9b4a031a1129c2',1,'extapi.c']]],
-  ['strtosymbol_10698',['strToSymbol',['../classSVF_1_1GrammarBase.html#a4826df2851cedaa92e3ab10feee9f583',1,'SVF::GrammarBase']]],
-  ['strtoul_10699',['strtoul',['../extapi_8c.html#aa7d767d03ce3929978c28f64e3a4b222',1,'extapi.c']]],
-  ['strtoull_10700',['strtoull',['../extapi_8c.html#a400239674c2feb4a690bb4178125eae0',1,'extapi.c']]],
-  ['strtrans_10701',['strTrans',['../classSVF_1_1CFGNormalizer.html#aea5ebe156b9536c617fc9c6acac00a61',1,'SVF::CFGNormalizer']]],
-  ['subnodes_10702',['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_10703',['sucMsg',['../namespaceSVF_1_1SVFUtil.html#a05dc00b2bd9a8176aae31b6cfffe725d',1,'SVF::SVFUtil']]],
-  ['suffix_5fobject_10704',['suffix_object',['../cJSON_8cpp.html#a5d61bcc0045ace88c2ae04f0928eeace',1,'cJSON.cpp']]],
-  ['svfargument_10705',['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_10706',['SVFArrayType',['../classSVF_1_1SVFArrayType.html#a3ac5af5a8a2ba7e4f40c66ad0eb47a97',1,'SVF::SVFArrayType']]],
-  ['svfbasicblock_10707',['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_10708',['SVFBlackHoleValue',['../classSVF_1_1SVFBlackHoleValue.html#ac057a29cad0944d1b359e6cd23adcec2',1,'SVF::SVFBlackHoleValue::SVFBlackHoleValue(const SVFType *ty)'],['../classSVF_1_1SVFBlackHoleValue.html#a6d94a1c1c0f229165e3327a09521e28c',1,'SVF::SVFBlackHoleValue::SVFBlackHoleValue()=delete']]],
-  ['svfbugevent_10709',['SVFBugEvent',['../classSVF_1_1SVFBugEvent.html#af012270169f767655456ae0e09add06a',1,'SVF::SVFBugEvent']]],
-  ['svfbugreport_10710',['SVFBugReport',['../classSVF_1_1SVFBugReport.html#af163790aa2065d72be8c31c281abee20',1,'SVF::SVFBugReport']]],
-  ['svfcallinst_10711',['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_10712',['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_10713',['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_10714',['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_10715',['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_10716',['SVFConstantNullPtr',['../classSVF_1_1SVFConstantNullPtr.html#a299954e2cad5ee41b51fcff4a92439b3',1,'SVF::SVFConstantNullPtr::SVFConstantNullPtr(const SVFType *ty)'],['../classSVF_1_1SVFConstantNullPtr.html#ae853223a57df1816c3d382113b7b7b70',1,'SVF::SVFConstantNullPtr::SVFConstantNullPtr()=delete']]],
-  ['svffunction_10717',['SVFFunction',['../classSVF_1_1SVFFunction.html#a494434af0d933dfd926bedcb8937f0f8',1,'SVF::SVFFunction::SVFFunction(const SVFType *ty, const SVFFunctionType *ft, bool declare, bool intrinsic, bool addrTaken, bool varg, SVFLoopAndDomInfo *ld)'],['../classSVF_1_1SVFFunction.html#a7e965c21a8afe7fca32d0f41b16361cf',1,'SVF::SVFFunction::SVFFunction(void)=delete']]],
-  ['svffunctiontype_10718',['SVFFunctionType',['../classSVF_1_1SVFFunctionType.html#af4bacdbcf4867575f6f27fc26aa66bbe',1,'SVF::SVFFunctionType']]],
-  ['svfg_10719',['SVFG',['../classSVF_1_1SVFG.html#a07d48490eda50ee6d31f295150409cf3',1,'SVF::SVFG']]],
-  ['svfgbuilder_10720',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html#a003c6d9e13e5f73e0648d97400f1854e',1,'SVF::SVFGBuilder']]],
-  ['svfglobalvalue_10721',['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_10722',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a43f4d595b31259576b141cb99883938e',1,'SVF::SVFGNodeLockSpan']]],
-  ['svfgopt_10723',['SVFGOPT',['../classSVF_1_1SVFGOPT.html#a64c300c8a9f8cc2ac13eef65c1108d01',1,'SVF::SVFGOPT']]],
-  ['svfgsccdetection_10724',['SVFGSCCDetection',['../classSVF_1_1DDAVFSolver.html#aba0ec611a5cfd096ac0b8b11e0bd5580',1,'SVF::DDAVFSolver']]],
-  ['svfgstat_10725',['SVFGStat',['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()'],['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()']]],
-  ['svfinstruction_10726',['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_10727',['SVFIntegerType',['../classSVF_1_1SVFIntegerType.html#a4caf4cef19b93e06dfa7108a1409c32a',1,'SVF::SVFIntegerType']]],
-  ['svfir_10728',['SVFIR',['../classSVF_1_1SVFIR.html#abf511f82cdbf7a6d9b6da167aee57636',1,'SVF::SVFIR']]],
-  ['svfir2consexestate_10729',['SVFIR2ConsExeState',['../classSVF_1_1SVFIR2ConsExeState.html#a3575711760c3973aef0061975ca9436a',1,'SVF::SVFIR2ConsExeState']]],
-  ['svfir2itvexestate_10730',['SVFIR2ItvExeState',['../classSVF_1_1SVFIR2ItvExeState.html#a3c9285321cc0c4e1c46a31be9433192f',1,'SVF::SVFIR2ItvExeState']]],
-  ['svfirbuilder_10731',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html#a1ecae204a349b69031f0edd7df7ca708',1,'SVF::SVFIRBuilder']]],
-  ['svfirwriter_10732',['SVFIRWriter',['../classSVF_1_1SVFIRWriter.html#a9994b9a6ddf4c852570bee918cb9de34',1,'SVF::SVFIRWriter']]],
-  ['svfloop_10733',['SVFLoop',['../classSVF_1_1SVFLoop.html#a25b9a079f48aa0374c91be6a1e9697f8',1,'SVF::SVFLoop']]],
-  ['svfloopanddominfo_10734',['SVFLoopAndDomInfo',['../classSVF_1_1SVFLoopAndDomInfo.html#a2b5c892437d21ece0a9e0ae7a285b622',1,'SVF::SVFLoopAndDomInfo']]],
-  ['svfmetadataasvalue_10735',['SVFMetadataAsValue',['../classSVF_1_1SVFMetadataAsValue.html#a98acb125d1694aa233538de7618739bf',1,'SVF::SVFMetadataAsValue::SVFMetadataAsValue(const SVFType *ty)'],['../classSVF_1_1SVFMetadataAsValue.html#adc92d08f450556000a4386294c6c4370',1,'SVF::SVFMetadataAsValue::SVFMetadataAsValue()=delete']]],
-  ['svfmodule_10736',['SVFModule',['../classSVF_1_1SVFModule.html#a0438953758cecab4ebe1b48895639eb8',1,'SVF::SVFModule']]],
-  ['svfmodulewriter_10737',['SVFModuleWriter',['../classSVF_1_1SVFModuleWriter.html#a915ae39b2cb537e0137f5af496b10b10',1,'SVF::SVFModuleWriter']]],
-  ['svfothertype_10738',['SVFOtherType',['../classSVF_1_1SVFOtherType.html#a8c87cc7640e4596333e46fa7749cf0b0',1,'SVF::SVFOtherType']]],
-  ['svfothervalue_10739',['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_10740',['SVFPointerType',['../classSVF_1_1SVFPointerType.html#a7e876e6f99182e5c5cb23bf2a65110f2',1,'SVF::SVFPointerType']]],
-  ['svfstat_10741',['SVFStat',['../classSVF_1_1SVFStat.html#ad22433722f7c71df19a891a5b5039d26',1,'SVF::SVFStat']]],
-  ['svfstmt_10742',['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_10743',['SVFStructType',['../classSVF_1_1SVFStructType.html#a92ee752b62e49b7427d3ef51bcb6a6ba',1,'SVF::SVFStructType']]],
-  ['svftype_10744',['SVFType',['../classSVF_1_1SVFType.html#a099304f203453cb64cacf5f81c48735f',1,'SVF::SVFType::SVFType(bool svt, SVFTyKind k, u32_t Sz=1)'],['../classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202',1,'SVF::SVFType::SVFType(void)=delete']]],
-  ['svfvalue_10745',['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_10746',['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_10747',['SVFVirtualCallInst',['../classSVF_1_1SVFVirtualCallInst.html#a57fa2d35c2df09e607b5d23852fca2fd',1,'SVF::SVFVirtualCallInst']]],
-  ['symblicabstractiontest_10748',['SymblicAbstractionTest',['../classSymblicAbstractionTest.html#a257f62679b2ee86ffbadf33ca5031ed1',1,'SymblicAbstractionTest']]],
-  ['symbol_10749',['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_10750',['SymbolInfo',['../classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11',1,'SVF::SymbolTableInfo']]],
-  ['symboltablebuilder_10751',['SymbolTableBuilder',['../classSVF_1_1SymbolTableBuilder.html#ad39b982a2a91a10b4f22ee6150e9cebf',1,'SVF::SymbolTableBuilder']]],
-  ['symboltableinfo_10752',['SymbolTableInfo',['../classSVF_1_1SymbolTableInfo.html#aff272bc1d00f2e57b7677d1826a31237',1,'SVF::SymbolTableInfo']]],
-  ['symstate_10753',['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_10754',['symToStrDump',['../classSVF_1_1GrammarBase.html#a49aad1a3620735a2929795df3d23ba38',1,'SVF::GrammarBase']]],
-  ['szudzik_10755',['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_10458',['SaberCheckerAPI',['../classSVF_1_1SaberCheckerAPI.html#afdd2f15bb46594a61a3c552899215806',1,'SVF::SaberCheckerAPI']]],
+  ['sabercondallocator_10459',['SaberCondAllocator',['../classSVF_1_1SaberCondAllocator.html#a4b1625597c6b331dfe0e8ceef95731b5',1,'SVF::SaberCondAllocator']]],
+  ['sabersvfgbuilder_10460',['SaberSVFGBuilder',['../classSVF_1_1SaberSVFGBuilder.html#aa66cd30067d39f2083fb671fdc43beb4',1,'SVF::SaberSVFGBuilder']]],
+  ['samelooptripcount_10461',['sameLoopTripCount',['../classSVF_1_1ForkJoinAnalysis.html#a28e50b1ffdcdaba57d3515a5f6410c86',1,'SVF::ForkJoinAnalysis']]],
+  ['sanitizepts_10462',['sanitizePts',['../classSVF_1_1Andersen.html#a308ef1f3a1c9fd7ac1858d0c690aa37a',1,'SVF::Andersen']]],
+  ['sanitycheck_10463',['sanityCheck',['../classSVF_1_1SVFIRBuilder.html#a09baa8c7246853c3faaed85b38f0da60',1,'SVF::SVFIRBuilder']]],
+  ['saveid_10464',['saveID',['../classSVF_1_1WriterPtrPool.html#a99162b81da24cf79d1252c18573038d4',1,'SVF::WriterPtrPool']]],
+  ['savetogenericgraph_10465',['saveToGenericGraph',['../classSVF_1_1GenericGraphReader.html#a337b37b2d78cfaa756f44dee76fb187f',1,'SVF::GenericGraphReader']]],
+  ['savetoidtoobjmap_10466',['saveToIDToObjMap',['../classSVF_1_1ReaderIDToObjMap.html#a8c39d643a10d83a7f525ace9a002844c',1,'SVF::ReaderIDToObjMap']]],
+  ['savetoset_10467',['saveToSet',['../classSVF_1_1ReaderPtrPool.html#a8a766e643ac79dc023ff58e1883c9626',1,'SVF::ReaderPtrPool']]],
+  ['sccdetect_10468',['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_10469',['SCCDetection',['../classSVF_1_1SCCDetection.html#a1bd915ba4079ddd5dd6e57a88129ffee',1,'SVF::SCCDetection']]],
+  ['sccrepnode_10470',['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_10471',['sccSubNodes',['../classSVF_1_1ConstraintGraph.html#aed605b010e313f4b11e95b83fe50e3b3',1,'SVF::ConstraintGraph::sccSubNodes()'],['../classSVF_1_1Andersen.html#acd2feff818906db49a1bb2d94c33db5f',1,'SVF::Andersen::sccSubNodes()']]],
+  ['selectclient_10472',['selectClient',['../classSVF_1_1DDAPass.html#aa33694e0b5f30c451c229e92877e4842',1,'SVF::DDAPass']]],
+  ['selectlargestsizedtype_10473',['selectLargestSizedType',['../classSVF_1_1ObjTypeInference.html#a205fa59a7250270b216f47df78ef2319',1,'SVF::ObjTypeInference']]],
+  ['selectstmt_10474',['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_10475',['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#a5b660868031b6dee85d01fea51ef09a5',1,'set(): CMakeLists.txt']]],
+  ['set_5fminus_5finfinite_10476',['set_minus_infinite',['../classSVF_1_1BoundedZ3Expr.html#ae76bf19d580cbc12a40f7c1823165178',1,'SVF::BoundedZ3Expr']]],
+  ['set_5fplus_5finfinite_10477',['set_plus_infinite',['../classSVF_1_1BoundedZ3Expr.html#ad781e43e6d1e1fd2392e51737b7898b9',1,'SVF::BoundedZ3Expr']]],
+  ['set_5fto_5fbottom_10478',['set_to_bottom',['../classSVF_1_1IntervalValue.html#ac763bab0b6fedbe5ec5b345c7b260e30',1,'SVF::IntervalValue']]],
+  ['set_5fto_5ftop_10479',['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_10480',['setAbsState',['../classSVF_1_1SymState.html#a1f946132843a9bdf5099b243613079be',1,'SVF::SymState']]],
+  ['setaccesslb_10481',['setAccessLb',['../structSVF_1_1BufOverflowException.html#a5ba160b90bcd053ca2bb25484dfa0147',1,'SVF::BufOverflowException']]],
+  ['setaccessub_10482',['setAccessUb',['../structSVF_1_1BufOverflowException.html#ade4a2ef6faf5677945804e8c1539cbbc',1,'SVF::BufOverflowException']]],
+  ['setactualindef_10483',['setActualINDef',['../classSVF_1_1SVFGOPT.html#a490695ab536cd455c531fbdc57499cac',1,'SVF::SVFGOPT']]],
+  ['setalloclb_10484',['setAllocLb',['../structSVF_1_1BufOverflowException.html#aa436c171dc79cbc55281bdad17370d3f',1,'SVF::BufOverflowException']]],
+  ['setallocub_10485',['setAllocUb',['../structSVF_1_1BufOverflowException.html#aedeb24d82f36ba581fa32de47f531a1f',1,'SVF::BufOverflowException']]],
+  ['setallreachable_10486',['setAllReachable',['../classSVF_1_1ProgSlice.html#ae6102647fa4985142c293116516612cd',1,'SVF::ProgSlice']]],
+  ['setannotations_10487',['setAnnotations',['../classSVF_1_1SVFFunction.html#a2731567cd10e2c499c812c33d01a412e',1,'SVF::SVFFunction']]],
+  ['setattributekinds_10488',['setAttributeKinds',['../classSVF_1_1GrammarBase.html#a1e1bf1e32bcd7c68ce789c2f9f6327c0',1,'SVF::GrammarBase']]],
+  ['setbasenode_10489',['setBaseNode',['../classSVF_1_1GepObjVar.html#a5e371fae7592d763661a7cb777107ff4',1,'SVF::GepObjVar']]],
+  ['setbb_10490',['setBB',['../classSVF_1_1SVFStmt.html#a0e45ab5b38059371c47d5f2011118a4d',1,'SVF::SVFStmt']]],
+  ['setbottom_10491',['setBottom',['../classSVF_1_1AddressValue.html#a77d6a1706328d86b210b26bacaf2fa9f',1,'SVF::AddressValue']]],
+  ['setbranchcond_10492',['setBranchCond',['../classSVF_1_1SaberCondAllocator.html#a5012a977e0db66a2ae111d4164936037',1,'SVF::SaberCondAllocator']]],
+  ['setbranchcondition_10493',['setBranchCondition',['../classSVF_1_1SymState.html#aae6109025931aea5d066a62058f584a6',1,'SVF::SymState::setBranchCondition()'],['../classSVF_1_1IntraCFGEdge.html#ad7b35b7c9abb07122eaa8517dae56508',1,'SVF::IntraCFGEdge::setBranchCondition()']]],
+  ['setbytesizeofobj_10494',['setByteSizeOfObj',['../classSVF_1_1ObjTypeInfo.html#ac093156bfb46c07675ae201f449cdca0',1,'SVF::ObjTypeInfo']]],
+  ['setcalledoperand_10495',['setCalledOperand',['../classSVF_1_1SVFCallInst.html#a6dd304f555d2d2388c4430e57b0d2b91',1,'SVF::SVFCallInst']]],
+  ['setcallgraph_10496',['setCallGraph',['../classSVF_1_1DDAVFSolver.html#afc2b0eeb1d5d5f292690f3c949217c38',1,'SVF::DDAVFSolver']]],
+  ['setcallgraphscc_10497',['setCallGraphSCC',['../classSVF_1_1DDAVFSolver.html#abd652b2627f68d7d4f8bf3bdb20ce975',1,'SVF::DDAVFSolver']]],
+  ['setcdn_10498',['setCDN',['../classSVF_1_1WTO.html#a7fc78de450f2cb6cbed8aa6856638ad1',1,'SVF::WTO']]],
+  ['setcfcond_10499',['setCFCond',['../classSVF_1_1SaberCondAllocator.html#a9c1660f4a9ecc161c0fb97c735a690b9',1,'SVF::SaberCondAllocator']]],
+  ['setchg_10500',['setCHG',['../classSVF_1_1SVFIR.html#aa14f6cde41bcac27ce2f66c6b33ee410',1,'SVF::SVFIR']]],
+  ['setcondinst_10501',['setCondInst',['../classSVF_1_1SaberCondAllocator.html#a97d540340f9039b3f8bd1527fc7d7ebb',1,'SVF::SaberCondAllocator']]],
+  ['setconstdataoraggdata_10502',['setConstDataOrAggData',['../classSVF_1_1SVFValue.html#afe1de41ca3215b325d0ca61814c6bd6b',1,'SVF::SVFValue']]],
+  ['setconsume_10503',['setConsume',['../classSVF_1_1VersionedFlowSensitive.html#aabc0a5a7a31b8d880e019773ba960741',1,'SVF::VersionedFlowSensitive']]],
+  ['setcurevalsvfgnode_10504',['setCurEvalSVFGNode',['../classSVF_1_1SaberCondAllocator.html#ae717f565b947a72651c0de19bf6bcca0',1,'SVF::SaberCondAllocator']]],
+  ['setcurnodeid_10505',['setCurNodeID',['../classSVF_1_1DPItem.html#a5fbde30cae2cb09bd9dc9a6969ea4b90',1,'SVF::DPItem']]],
+  ['setcurrentbbandvalueforpagedge_10506',['setCurrentBBAndValueForPAGEdge',['../classSVF_1_1SVFIRBuilder.html#abc394c99f0905c958a230412134eda01',1,'SVF::SVFIRBuilder']]],
+  ['setcurrentbestnodemapping_10507',['setCurrentBestNodeMapping',['../classSVF_1_1PointsTo.html#a84eca4c7fc833f8ca4d119cd4da08ca8',1,'SVF::PointsTo']]],
+  ['setcurrentlocation_10508',['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_10509',['setCurrentQueryPtr',['../classSVF_1_1DDAClient.html#a3fbe4ffde0a14b2db40189883d49237f',1,'SVF::DDAClient']]],
+  ['setcurrentscc_10510',['setCurrentSCC',['../classSVF_1_1WPASCCSolver.html#a782121c831536e231f5b287629defef7',1,'SVF::WPASCCSolver']]],
+  ['setcurslice_10511',['setCurSlice',['../classSVF_1_1SrcSnkDDA.html#ab35c0d1f02c83a2c10717905f1abf5cd',1,'SVF::SrcSnkDDA']]],
+  ['setcursvfgnode_10512',['setCurSVFGNode',['../classSVF_1_1ProgSlice.html#aee72d029c185c24b2bf01cdc0dcb25d8',1,'SVF::ProgSlice']]],
+  ['setddastat_10513',['setDDAStat',['../classSVF_1_1DDAVFSolver.html#adcb641eec4f620effdb3f61a46429f40',1,'SVF::DDAVFSolver']]],
+  ['setdef_10514',['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_10515',['setDefFunForMultipleModule',['../classSVF_1_1SVFFunction.html#af1c181322926639bd99bbe58a8df70ab',1,'SVF::SVFFunction']]],
+  ['setdefglobalformultiplemodule_10516',['setDefGlobalForMultipleModule',['../classSVF_1_1SVFGlobalValue.html#a72c43f12f42a73dc28855c425fe5543a',1,'SVF::SVFGlobalValue']]],
+  ['setdetectpwc_10517',['setDetectPWC',['../classSVF_1_1Andersen.html#a1462bdde3748b1513e92a119b8a43794',1,'SVF::Andersen']]],
+  ['setebnfsigns_10518',['setEBNFSigns',['../classSVF_1_1GrammarBase.html#ad87ca88d62e7bc3a189652c707a72e12',1,'SVF::GrammarBase']]],
+  ['setec_10519',['setEC',['../classSVF_1_1Steensgaard.html#aa283cff49b0d340956649a95465b82b6',1,'SVF::Steensgaard']]],
+  ['setedgeflag_10520',['setEdgeFlag',['../classSVF_1_1SVFIRReader.html#aec95a42a5e46be50457fb3a8e9de7fbf',1,'SVF::SVFIRReader']]],
+  ['setes_10521',['setEs',['../classSVF_1_1SVFIR2ConsExeState.html#a7421cab74f02c7ab54aefb3242ed6c77',1,'SVF::SVFIR2ConsExeState::setEs()'],['../classSVF_1_1SVFIR2ItvExeState.html#a2e9ecde8db07741daa112649c432cbfd',1,'SVF::SVFIR2ItvExeState::setEs()']]],
+  ['setexitblock_10522',['setExitBlock',['../classSVF_1_1SVFFunction.html#abd458bb5a035d3f7db32fac5f01b57f3',1,'SVF::SVFFunction']]],
+  ['setextbcpath_10523',['setExtBcPath',['../classSVF_1_1ExtAPI.html#ac0dc697b93f41b1e094a9be8baf4a103',1,'SVF::ExtAPI']]],
+  ['setfieldinsensitive_10524',['setFieldInsensitive',['../classSVF_1_1MemObj.html#ab9637ea9acd1f8ae4933b4ab2b997e5c',1,'SVF::MemObj']]],
+  ['setfieldsensitive_10525',['setFieldSensitive',['../classSVF_1_1MemObj.html#a981b7424901ef74467f725ffc9fec0ca',1,'SVF::MemObj']]],
+  ['setfinalcond_10526',['setFinalCond',['../classSVF_1_1ProgSlice.html#af55830503ef47b4b1c15c0e5b3cd6a3f',1,'SVF::ProgSlice']]],
+  ['setflag_10527',['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_10528',['setFldIdx',['../classSVF_1_1AccessPath.html#ab95df74c97fba13206df48e00131e15f',1,'SVF::AccessPath']]],
+  ['setformaloutdef_10529',['setFormalOUTDef',['../classSVF_1_1SVFGOPT.html#a3e2b811dd939c93bcf9fb94e91d553b1',1,'SVF::SVFGOPT']]],
+  ['setfunidxinvtable_10530',['setFunIdxInVtable',['../classSVF_1_1SVFVirtualCallInst.html#a947d6ca3695477fb5b36b46fa4899fb7',1,'SVF::SVFVirtualCallInst']]],
+  ['setfunnameofvirtualcall_10531',['setFunNameOfVirtualCall',['../classSVF_1_1SVFVirtualCallInst.html#adf936a7ee01d9c4662e31a5022ae94c0',1,'SVF::SVFVirtualCallInst']]],
+  ['setgraph_10532',['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_10533',['setICFG',['../classSVF_1_1SVFIR.html#a756ae2b40ec29f2f92c95919f615e5ec',1,'SVF::SVFIR']]],
+  ['seticfgnode_10534',['setICFGNode',['../classSVF_1_1VFGNode.html#a9c95dd4f0e70ccc4a03282cdddba95de',1,'SVF::VFGNode::setICFGNode()'],['../classSVF_1_1SVFStmt.html#adb92a92f5c878576dff26cb38eab8c8c',1,'SVF::SVFStmt::setICFGNode()']]],
+  ['setincycle_10535',['setIncycle',['../classSVF_1_1CxtThread.html#adde663205c3ecc5a2e01b18bc305d5cb',1,'SVF::CxtThread']]],
+  ['setinloop_10536',['setInloop',['../classSVF_1_1CxtThread.html#aa4e1a9babb249a005e8dfae8cb83df21',1,'SVF::CxtThread']]],
+  ['setinscc_10537',['setInSCC',['../classSVF_1_1SCCDetection.html#aafe9ae9d158480e6a04803b25b61083e',1,'SVF::SCCDetection']]],
+  ['setisnotret_10538',['setIsNotRet',['../classSVF_1_1SVFFunction.html#aaddef080cdc8e4080fc2da1e3cf92deb',1,'SVF::SVFFunction']]],
+  ['setisuncalledfunction_10539',['setIsUncalledFunction',['../classSVF_1_1SVFFunction.html#a37f89063b55ff657a07e186224338ce8',1,'SVF::SVFFunction']]],
+  ['setkeynodesset_10540',['setKeyNodesSet',['../classSVF_1_1SymState.html#a2b4bdce23c28d5f635db6b48ce9aba11',1,'SVF::SymState']]],
+  ['setkindtoattrsmap_10541',['setKindToAttrsMap',['../classSVF_1_1GrammarBase.html#a082342020848e545c983df4d5ec6720a',1,'SVF::GrammarBase']]],
+  ['setlb_10542',['setLb',['../classSVF_1_1IntervalValue.html#adf3cae41adaeb62c3b5da19e81adbb5d',1,'SVF::IntervalValue']]],
+  ['setloc_10543',['setLoc',['../classSVF_1_1StmtDPItem.html#a9ba9ab1013a36530369aa6d684397f4f',1,'SVF::StmtDPItem']]],
+  ['setlocale_10544',['setlocale',['../extapi_8c.html#afe784c4f5d12b74272740c5211c960c5',1,'extapi.c']]],
+  ['setlocvar_10545',['setLocVar',['../classSVF_1_1StmtDPItem.html#a3feb4bc8e003cfdd30c1b2cfb2219efb',1,'SVF::StmtDPItem']]],
+  ['setloopbound_10546',['setLoopBound',['../classSVF_1_1SVFLoop.html#af594a873db7d6dbbcf25176da45fba80',1,'SVF::SVFLoop']]],
+  ['setmaxbudget_10547',['setMaxBudget',['../classSVF_1_1DPItem.html#a687ef8944ccb55b826508c47ea5b9240',1,'SVF::DPItem']]],
+  ['setmaxcxtlen_10548',['setMaxCxtLen',['../classSVF_1_1ContextCond.html#a92e89bbae0f31bb9eb971ab3edcc8071',1,'SVF::ContextCond']]],
+  ['setmaxfieldoffsetlimit_10549',['setMaxFieldOffsetLimit',['../classSVF_1_1ObjTypeInfo.html#a9fff869c63776c6ebeff78933e0f6092',1,'SVF::ObjTypeInfo']]],
+  ['setmaxpathlen_10550',['setMaxPathLen',['../classSVF_1_1ContextCond.html#a084679a423e78217ca10794775c25b1d',1,'SVF::ContextCond']]],
+  ['setmemusageafter_10551',['setMemUsageAfter',['../classSVF_1_1PTAStat.html#a286e5985644f2bc13abbceaa2b586c92',1,'SVF::PTAStat']]],
+  ['setmemusagebefore_10552',['setMemUsageBefore',['../classSVF_1_1PTAStat.html#a206fdc31ee7bd8fce1695847c40785e0',1,'SVF::PTAStat']]],
+  ['setmodelconstants_10553',['setModelConstants',['../classSVF_1_1SymbolTableInfo.html#a4decfc9e7f5dc096d7bfa42d6965763d',1,'SVF::SymbolTableInfo']]],
+  ['setmodule_10554',['setModule',['../classSVF_1_1SVFIR.html#a52bea4a99022b036104751cafa9152b1',1,'SVF::SVFIR::setModule()'],['../classSVF_1_1SymbolTableInfo.html#a4f916c64ca04c4db30bd19fb8505724d',1,'SVF::SymbolTableInfo::setModule()']]],
+  ['setmoduleidentifier_10555',['setModuleIdentifier',['../classSVF_1_1SVFModule.html#acaba1ff38ed1fdd8a9a1251a1b36be92',1,'SVF::SVFModule']]],
+  ['setmultiforked_10556',['setMultiforked',['../classSVF_1_1TCTNode.html#a0fafde34cdffde6d38bb9efca9b7a9a1',1,'SVF::TCTNode']]],
+  ['setmultiforkedattrs_10557',['setMultiForkedAttrs',['../classSVF_1_1TCT.html#a11e36f9b58646dee4014e12e55c70508',1,'SVF::TCT']]],
+  ['setmultiinheritance_10558',['setMultiInheritance',['../classSVF_1_1DCHNode.html#a798e80f0cc5951789474abc3a0999166',1,'SVF::DCHNode::setMultiInheritance()'],['../classSVF_1_1CHNode.html#a5d751a3a0d88c0de374bfeb526051440',1,'SVF::CHNode::setMultiInheritance()']]],
+  ['setname_10559',['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_10560',['setNegCondInst',['../classSVF_1_1SaberCondAllocator.html#ae8858c45c7406842ca967ed14f0b58e5',1,'SVF::SaberCondAllocator']]],
+  ['setnodenumafterpagbuild_10561',['setNodeNumAfterPAGBuild',['../classSVF_1_1IRGraph.html#a5fe12445ed0528183775747dec356db0',1,'SVF::IRGraph']]],
+  ['setnonconcretecxt_10562',['setNonConcreteCxt',['../classSVF_1_1ContextCond.html#ac80892cbef7a5d2c949e5f07682bc885',1,'SVF::ContextCond']]],
+  ['setnonterminals_10563',['setNonterminals',['../classSVF_1_1GrammarBase.html#afc9635e14b5871df457bf64fae6ad8cf',1,'SVF::GrammarBase']]],
+  ['setnumofelement_10564',['setNumOfElement',['../classSVF_1_1SVFArrayType.html#a986fc835f2e082796ecf1fd3b7f769b6',1,'SVF::SVFArrayType']]],
+  ['setnumofelements_10565',['setNumOfElements',['../classSVF_1_1MemObj.html#a904c5a96407574565e9c48eb2d31e869',1,'SVF::MemObj::setNumOfElements()'],['../classSVF_1_1ObjTypeInfo.html#aff17d13e520a731accedd06350af6221',1,'SVF::ObjTypeInfo::setNumOfElements()']]],
+  ['setnumoffieldsandelems_10566',['setNumOfFieldsAndElems',['../classSVF_1_1StInfo.html#a1a07c2b1415c29d7d70791c6dfe602a3',1,'SVF::StInfo']]],
+  ['setobjfieldinsensitive_10567',['setObjFieldInsensitive',['../classSVF_1_1PointerAnalysis.html#ac5683fe2e24b393ccc5cb6d8bc92cf2b',1,'SVF::PointerAnalysis']]],
+  ['setoffset_10568',['setOffset',['../classSVF_1_1DCHEdge.html#a70f757826082c95766c8324c1264e977',1,'SVF::DCHEdge']]],
+  ['setopver_10569',['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_10570',['setOpVerAndBB',['../classSVF_1_1IntraPHIVFGNode.html#a7e5fd83393224ece808de83cbf496882',1,'SVF::IntraPHIVFGNode']]],
+  ['setpag_10571',['setPAG',['../classSVF_1_1DDAClient.html#a21badb317a249bbb506615182671b32c',1,'SVF::DDAClient']]],
+  ['setpagfromtxt_10572',['setPagFromTXT',['../classSVF_1_1SVFModule.html#a7af3076a26060090377d1f74293560fe',1,'SVF::SVFModule']]],
+  ['setpartialreachable_10573',['setPartialReachable',['../classSVF_1_1ProgSlice.html#af6f137be08ca0e743424ff07d679777d',1,'SVF::ProgSlice']]],
+  ['setptrinuncalledfunction_10574',['setPtrInUncalledFunction',['../classSVF_1_1SVFValue.html#ac2e5c42d0ac92375c88ef5b3f1b65dc4',1,'SVF::SVFValue']]],
+  ['setpureabstract_10575',['setPureAbstract',['../classSVF_1_1DCHNode.html#afa271fdb9c1aa3589f41655813a2de8e',1,'SVF::DCHNode::setPureAbstract()'],['../classSVF_1_1CHNode.html#abac89987927dadd53dd646eae540a024',1,'SVF::CHNode::setPureAbstract()']]],
+  ['setpwcnode_10576',['setPWCNode',['../classSVF_1_1ConstraintGraph.html#a03f9fe8ae7094c39937f47f422276724',1,'SVF::ConstraintGraph::setPWCNode()'],['../classSVF_1_1ConstraintNode.html#ad8701df90d93c5dfed26cff8f0b2fbb3',1,'SVF::ConstraintNode::setPWCNode()']]],
+  ['setquery_10577',['setQuery',['../classSVF_1_1DDAClient.html#a3d0f732e284f3237287b375582c0aa88',1,'SVF::DDAClient']]],
+  ['setrawproductions_10578',['setRawProductions',['../classSVF_1_1GrammarBase.html#a2eb6ab294093710ca1dc119836adff5a',1,'SVF::GrammarBase']]],
+  ['setreachablebbs_10579',['setReachableBBs',['../classSVF_1_1SVFLoopAndDomInfo.html#acc409e328f641a2c9512beeb727f58c7',1,'SVF::SVFLoopAndDomInfo']]],
+  ['setreachglobal_10580',['setReachGlobal',['../classSVF_1_1ProgSlice.html#a397632ce0c523c4a54c5dc578606d14d',1,'SVF::ProgSlice']]],
+  ['setreles_10581',['setRelEs',['../classSVF_1_1SVFIR2ItvExeState.html#af0b6abd2310a9bf0311760b290114341',1,'SVF::SVFIR2ItvExeState']]],
+  ['setrep_10582',['setRep',['../classSVF_1_1ConstraintGraph.html#abea65bf6dd43aa312082f8d4c7c3e3cb',1,'SVF::ConstraintGraph']]],
+  ['setrepr_10583',['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_10584',['setResVer',['../classSVF_1_1MSSADEF.html#a343eb4c9515dfbbbdadaacf5500e5f05',1,'SVF::MSSADEF']]],
+  ['setreticfgnode_10585',['setRetICFGNode',['../classSVF_1_1CallICFGNode.html#a91b38c6930f3c15b9b38121662fded20',1,'SVF::CallICFGNode']]],
+  ['setsabercondallocator_10586',['setSaberCondAllocator',['../classSVF_1_1SaberSVFGBuilder.html#a8eb03d4362685f361bc1110fc98925b9',1,'SVF::SaberSVFGBuilder']]],
+  ['setscalar_10587',['setScalar',['../classSVF_1_1DCHNode.html#a917265fa44ed08b66a6bd722f318bfa4',1,'SVF::DCHNode']]],
+  ['setsignandwidth_10588',['setSignAndWidth',['../classSVF_1_1SVFIntegerType.html#aeacf0513bfde42511fe6e464d48d1e11',1,'SVF::SVFIntegerType']]],
+  ['setsourceloc_10589',['setSourceLoc',['../classSVF_1_1SVFValue.html#a588acec1904d440797ca4500f63f7d28',1,'SVF::SVFValue']]],
+  ['setstartkind_10590',['setStartKind',['../classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd',1,'SVF::GrammarBase']]],
+  ['setstat_10591',['setStat',['../classSVF_1_1SVFBugReport.html#a817f61a73d84f9054a2f80375f51f747',1,'SVF::SVFBugReport']]],
+  ['setsubs_10592',['setSubs',['../classSVF_1_1ConstraintGraph.html#a148235bd1355a700d3ce187702e89bc8',1,'SVF::ConstraintGraph']]],
+  ['settemplate_10593',['setTemplate',['../classSVF_1_1DCHNode.html#a3947007a7b8074f06064e34de9d980fe',1,'SVF::DCHNode::setTemplate()'],['../classSVF_1_1CHNode.html#a00343177422c8d84d707432d0c483438',1,'SVF::CHNode::setTemplate()']]],
+  ['setterminals_10594',['setTerminals',['../classSVF_1_1GrammarBase.html#ae79b973ec24ba034e831a90285737a41',1,'SVF::GrammarBase']]],
+  ['settokeepactualoutformalin_10595',['setTokeepActualOutFormalIn',['../classSVF_1_1SVFGOPT.html#af0c1bb4055d3c4b7f5c6133c433144ad',1,'SVF::SVFGOPT']]],
+  ['settokeepallselfcycle_10596',['setTokeepAllSelfCycle',['../classSVF_1_1SVFGOPT.html#a99cce24804a9116f9bf4e773b2f28e85',1,'SVF::SVFGOPT']]],
+  ['settokeepcontextselfcycle_10597',['setTokeepContextSelfCycle',['../classSVF_1_1SVFGOPT.html#abe2392e0971f6c46537727f001fa44de',1,'SVF::SVFGOPT']]],
+  ['settop_10598',['setTop',['../classSVF_1_1AddressValue.html#a2100009a0e744ebc9e2780dffb6f622b',1,'SVF::AddressValue']]],
+  ['settotalkind_10599',['setTotalKind',['../classSVF_1_1GrammarBase.html#a37a31f03501a11e7951d56dbf1cb146a',1,'SVF::GrammarBase']]],
+  ['settypeinfo_10600',['setTypeInfo',['../classSVF_1_1SVFType.html#aef5999ada62dac3cc946d832ac66948c',1,'SVF::SVFType']]],
+  ['settypeofelement_10601',['setTypeOfElement',['../classSVF_1_1SVFArrayType.html#a56179bc4c145adce210adab80c61be7a',1,'SVF::SVFArrayType']]],
+  ['setub_10602',['setUb',['../classSVF_1_1IntervalValue.html#aa3b742bd0116a6b7bf290286902b470b',1,'SVF::IntervalValue']]],
+  ['setvals_10603',['setVals',['../classSVF_1_1AddressValue.html#a0fed06401997d4259d7ef183343f1949',1,'SVF::AddressValue']]],
+  ['setvalue_10604',['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_10605',['setValueAttr',['../classSVF_1_1LLVMModuleSet.html#a7d61f479f52e1dc71a4ae7a4d62f3b6a',1,'SVF::LLVMModuleSet']]],
+  ['setvardfinsetupdated_10606',['setVarDFInSetUpdated',['../classSVF_1_1MutableIncDFPTData.html#a33b2e976439e489d4bd707379e1bac9c',1,'SVF::MutableIncDFPTData::setVarDFInSetUpdated()'],['../classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2',1,'SVF::PersistentIncDFPTData::setVarDFInSetUpdated()']]],
+  ['setvardfoutsetupdated_10607',['setVarDFOutSetUpdated',['../classSVF_1_1MutableIncDFPTData.html#a851947de9ccbe51239b76d2d93fcd4c4',1,'SVF::MutableIncDFPTData::setVarDFOutSetUpdated()'],['../classSVF_1_1PersistentIncDFPTData.html#aa9f6b38595cabbb583c52217188457e8',1,'SVF::PersistentIncDFPTData::setVarDFOutSetUpdated()']]],
+  ['setver_10608',['setVer',['../classSVF_1_1MSSAMU.html#a2af1e639aabbc5997aa4e6526f6595fb',1,'SVF::MSSAMU']]],
+  ['setversion_10609',['setVersion',['../classSVF_1_1VersionedFlowSensitive.html#adf37ae1f6a07716bca6fbe1603b8a070',1,'SVF::VersionedFlowSensitive']]],
+  ['setvfcond_10610',['setVFCond',['../classSVF_1_1ProgSlice.html#ab5de7bf99935818ef1b0962e36b8624c',1,'SVF::ProgSlice']]],
+  ['setvisited_10611',['setVisited',['../classSVF_1_1SCCDetection.html#ad888a3dc94909823319384055896c84d',1,'SVF::SCCDetection::setVisited()'],['../classSVF_1_1CSC.html#adac02224ec722f0cf1954d7a484bd11e',1,'SVF::CSC::setVisited()']]],
+  ['setvtable_10612',['setVTable',['../classSVF_1_1DCHNode.html#ad3144bcf462769c687bc7b65ef2f1639',1,'SVF::DCHNode::setVTable()'],['../classSVF_1_1CHNode.html#aa72c4509da3bfd2a3c656da38fe36c81',1,'SVF::CHNode::setVTable()']]],
+  ['setvtableptr_10613',['setVtablePtr',['../classSVF_1_1SVFVirtualCallInst.html#a94c04bebac82268c00d614c61e15274b',1,'SVF::SVFVirtualCallInst']]],
+  ['setyield_10614',['setYield',['../classSVF_1_1VersionedFlowSensitive.html#ac33c7cef2d1d143950820ea48e97e806',1,'SVF::VersionedFlowSensitive']]],
+  ['sfvgoptend_10615',['sfvgOptEnd',['../classSVF_1_1SVFGStat.html#aaec3a7f29b3ded0c971d57376d2779ff',1,'SVF::SVFGStat']]],
+  ['sfvgoptstart_10616',['sfvgOptStart',['../classSVF_1_1SVFGStat.html#acb80953b39ce247679242df4f042ab79',1,'SVF::SVFGStat']]],
+  ['simplify_10617',['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_10618',['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_10619',['sinksBegin',['../classSVF_1_1ProgSlice.html#adf620c97daed49735d21b485c448b4a2',1,'SVF::ProgSlice::sinksBegin()'],['../classSVF_1_1SrcSnkDDA.html#a79833c0cf1916d63e1dd32c2220056dd',1,'SVF::SrcSnkDDA::sinksBegin()']]],
+  ['sinksend_10620',['sinksEnd',['../classSVF_1_1ProgSlice.html#a27636f096ec825c4d5cb1dca608afb31',1,'SVF::ProgSlice::sinksEnd()'],['../classSVF_1_1SrcSnkDDA.html#aaabc8d3aed17c8a35ef37d878f141412',1,'SVF::SrcSnkDDA::sinksEnd()']]],
+  ['size_10621',['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_10622',['sizeSVFValuePool',['../classSVF_1_1SVFModuleWriter.html#a0e12ffecb37a42d766522dc65da481e6',1,'SVF::SVFModuleWriter']]],
+  ['skip_5fmultiline_5fcomment_10623',['skip_multiline_comment',['../cJSON_8cpp.html#a4b9e22afcb0d33932c691b5af9f2560a',1,'cJSON.cpp']]],
+  ['skip_5foneline_5fcomment_10624',['skip_oneline_comment',['../cJSON_8cpp.html#a98eaeafefb811c738494a26265309a07',1,'cJSON.cpp']]],
+  ['skip_5futf8_5fbom_10625',['skip_utf8_bom',['../cJSON_8cpp.html#a13b2d9f17c3b80a8878405f2782cd916',1,'cJSON.cpp']]],
+  ['skiprecursivecall_10626',['SkipRecursiveCall',['../classSVF_1_1AbstractExecution.html#a97c5745ddcd0ce72e65dee09ff7afb42',1,'SVF::AbstractExecution']]],
+  ['skiprecursivefunc_10627',['SkipRecursiveFunc',['../classSVF_1_1AbstractExecution.html#a7e1c3edfa546182ad394116b37b834f9',1,'SVF::AbstractExecution']]],
+  ['slicestate_10628',['sliceState',['../classSVF_1_1IntervalESBase.html#a2c15de9b10a74fbcb171ff2f328ce7f2',1,'SVF::IntervalESBase']]],
+  ['solve_10629',['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_10630',['solveAndwritePtsToFile',['../classSVF_1_1AndersenBase.html#add7a5c53783fb2277dfc0c304cdfecd7',1,'SVF::AndersenBase::solveAndwritePtsToFile()'],['../classSVF_1_1FlowSensitive.html#afa190e58636a8d7388aeee8a2157bba5',1,'SVF::FlowSensitive::solveAndwritePtsToFile()'],['../classSVF_1_1VersionedFlowSensitive.html#acf02ed94f68d94617920941b434149f4',1,'SVF::VersionedFlowSensitive::solveAndwritePtsToFile()']]],
+  ['solveconstraints_10631',['solveConstraints',['../classSVF_1_1AndersenBase.html#ac02d1fedb0beb39e5a4c22ee4bb3501a',1,'SVF::AndersenBase::solveConstraints()'],['../classSVF_1_1FlowSensitive.html#a165a9c5aef0811066560154896bae18d',1,'SVF::FlowSensitive::solveConstraints()']]],
+  ['solveworklist_10632',['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_10633',['sortPointsTo',['../classSVF_1_1MRGenerator.html#a66d94d15fb94e90a771f6b3dd7c0ecdd',1,'SVF::MRGenerator']]],
+  ['sourcesbegin_10634',['sourcesBegin',['../classSVF_1_1SrcSnkDDA.html#a0515c9079f28f8c5d4f0f9a2fc39a137',1,'SVF::SrcSnkDDA']]],
+  ['sourcesend_10635',['sourcesEnd',['../classSVF_1_1SrcSnkDDA.html#ad0cb9de24cbc99d148f63b694dc3908e',1,'SVF::SrcSnkDDA']]],
+  ['sparsebitvector_10636',['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_10637',['SparseBitVectorElement',['../structSVF_1_1SparseBitVectorElement.html#a8097db31608c859c3cf8053e303821d3',1,'SVF::SparseBitVectorElement::SparseBitVectorElement()=default'],['../structSVF_1_1SparseBitVectorElement.html#a75777b1461184d8fb2cfa4ec6e95c1c5',1,'SVF::SparseBitVectorElement::SparseBitVectorElement(unsigned Idx)']]],
+  ['sparsebitvectoriterator_10638',['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_10639',['spawneesBegin',['../classSVF_1_1PCG.html#a45932c2f1a05398b4ad8753dcb621a1f',1,'SVF::PCG']]],
+  ['spawneesend_10640',['spawneesEnd',['../classSVF_1_1PCG.html#ab45de7686709989be5923531653e2755',1,'SVF::PCG']]],
+  ['spawnersbegin_10641',['spawnersBegin',['../classSVF_1_1PCG.html#a4343107dd6908ffb70fc59fa7b4de21b',1,'SVF::PCG']]],
+  ['spawnersend_10642',['spawnersEnd',['../classSVF_1_1PCG.html#a2b9a6b5890b11cea31914f5242285525',1,'SVF::PCG']]],
+  ['spawnsitesbegin_10643',['spawnSitesBegin',['../classSVF_1_1PCG.html#a2a7319200ec2ec07e8b7976b4a876da8',1,'SVF::PCG']]],
+  ['spawnsitesend_10644',['spawnSitesEnd',['../classSVF_1_1PCG.html#a8dcd94e8f996fdb2197159ea95226817',1,'SVF::PCG']]],
+  ['split_10645',['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()']]],
+  ['splitandstrip_10646',['splitAndStrip',['../CppUtil_8cpp.html#a63632e75877f12057e5b0dad97ec7a48',1,'CppUtil.cpp']]],
+  ['srcsnkdda_10647',['SrcSnkDDA',['../classSVF_1_1SrcSnkDDA.html#a73f6ddd4ba868e203109c52e4f3600bd',1,'SVF::SrcSnkDDA']]],
+  ['srcsnksolver_10648',['SrcSnkSolver',['../classSVF_1_1SrcSnkSolver.html#a952450652e55f3325f24b8d237d2c37d',1,'SVF::SrcSnkSolver']]],
+  ['ssarename_10649',['SSARename',['../classSVF_1_1MemSSA.html#a16114eb55775f6ee812c1648dcaede0c',1,'SVF::MemSSA']]],
+  ['ssarenamebb_10650',['SSARenameBB',['../classSVF_1_1MemSSA.html#aeb7fc6c7880db45f6d0a90912ac5b5f7',1,'SVF::MemSSA']]],
+  ['startanalysislimittimer_10651',['startAnalysisLimitTimer',['../namespaceSVF_1_1SVFUtil.html#a757815a2c758695176120509ceb0ce70',1,'SVF::SVFUtil']]],
+  ['startclk_10652',['startClk',['../classSVF_1_1SVFStat.html#a730cc814fede3edb563aa9957c869e9e',1,'SVF::SVFStat']]],
+  ['startnewptcompfromloadsrc_10653',['startNewPTCompFromLoadSrc',['../classSVF_1_1DDAVFSolver.html#acd694c2092adf8c516d1aba5f798cec7',1,'SVF::DDAVFSolver']]],
+  ['startnewptcompfromstoredst_10654',['startNewPTCompFromStoreDst',['../classSVF_1_1DDAVFSolver.html#aff744e724dcf06a2b1cdd7ba2b1093f1',1,'SVF::DDAVFSolver']]],
+  ['stataddrvarptssize_10655',['statAddrVarPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a81785227a688389c68171a1fbd55fa9b',1,'SVF::FlowSensitiveStat']]],
+  ['statinit_10656',['statInit',['../classSVF_1_1ThreadAPI.html#a8a4ab0b1dcb2e3897b7740868e0d955d',1,'SVF::ThreadAPI']]],
+  ['statinoutptssize_10657',['statInOutPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a8ae7448f6210b6c759a33e6fc8a8cee8',1,'SVF::FlowSensitiveStat']]],
+  ['statistic_10658',['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_10659',['statNullPtr',['../classSVF_1_1AndersenStat.html#a898f091cd9aeed4b0cf5b338b8a3b1d3',1,'SVF::AndersenStat::statNullPtr()'],['../classSVF_1_1FlowSensitiveStat.html#a36f7be42772b2df6f7594c51b7dc4770',1,'SVF::FlowSensitiveStat::statNullPtr()']]],
+  ['statptssize_10660',['statPtsSize',['../classSVF_1_1FlowSensitiveStat.html#af51e5b90f7bc52e3657a708c7bc5bb75',1,'SVF::FlowSensitiveStat']]],
+  ['steensgaard_10661',['Steensgaard',['../classSVF_1_1Steensgaard.html#ac79e21396243dfa969136daee5ecdbd4',1,'SVF::Steensgaard']]],
+  ['stinfo_10662',['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_10663',['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_10664',['StmtVFGNode',['../classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d',1,'SVF::StmtVFGNode']]],
+  ['stopanalysislimittimer_10665',['stopAnalysisLimitTimer',['../namespaceSVF_1_1SVFUtil.html#a168f7f7a3a8c70dbf2b5b4269cd4c7c5',1,'SVF::SVFUtil']]],
+  ['store_10666',['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_1IntervalESBase.html#adb26b186ee31bce7449a7b36faa24cc2',1,'SVF::IntervalESBase::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)']]],
+  ['storeaddrs_10667',['storeAddrs',['../classSVF_1_1ExeState.html#a99f4437a7e350fec131d48f52082d672',1,'SVF::ExeState']]],
+  ['storecgedge_10668',['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_10669',['StoreCHI',['../classSVF_1_1StoreCHI.html#a83f353ef765d6c57b07d9f1996e02444',1,'SVF::StoreCHI']]],
+  ['storestmt_10670',['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)']]],
+  ['storevfgnode_10671',['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)']]],
+  ['strcasestr_10672',['strcasestr',['../extapi_8c.html#ae9229017a4501f8d6a637b4498cfed2e',1,'extapi.c']]],
+  ['strchr_10673',['strchr',['../extapi_8c.html#afcd97f487174f9092b0f23c7ac78a55a',1,'extapi.c']]],
+  ['strerror_5fr_10674',['strerror_r',['../extapi_8c.html#a5db20599ab5cff2baa37f783221b3606',1,'extapi.c']]],
+  ['stripallcasts_10675',['stripAllCasts',['../namespaceSVF_1_1LLVMUtil.html#a38ce45ae5f017c90115ce444b44d478c',1,'SVF::LLVMUtil']]],
+  ['striparray_10676',['stripArray',['../classSVF_1_1DCHGraph.html#a6c276e661e5e63c1c84387f84c8a62e4',1,'SVF::DCHGraph']]],
+  ['stripbracketsandnamespace_10677',['stripBracketsAndNamespace',['../CppUtil_8cpp.html#af6008113739aef2f184281d3985d97d6',1,'CppUtil.cpp']]],
+  ['stripconstantcasts_10678',['stripConstantCasts',['../namespaceSVF_1_1LLVMUtil.html#a07bd47ccfd02c5a2a6db26b537b2184f',1,'SVF::LLVMUtil']]],
+  ['stripqualifiers_10679',['stripQualifiers',['../classSVF_1_1DCHGraph.html#a175ed6ad0c9b23d5617f755ab96c76c4',1,'SVF::DCHGraph']]],
+  ['stripspace_10680',['stripSpace',['../classSVF_1_1GrammarBuilder.html#a6de372fbe80d33a5688cada0adca0bb8',1,'SVF::GrammarBuilder']]],
+  ['stripwhitespaces_10681',['stripWhitespaces',['../CppUtil_8cpp.html#a6a41352b62d0c45dcb828d3740083e71',1,'CppUtil.cpp']]],
+  ['strongupdateoutfromin_10682',['strongUpdateOutFromIn',['../classSVF_1_1FlowSensitive.html#a8ebe4342c1496b906ee1b6450558c3e8',1,'SVF::FlowSensitive']]],
+  ['strpbrk_10683',['strpbrk',['../extapi_8c.html#a577b071bee67af4464665a1dc4f024e2',1,'extapi.c']]],
+  ['strptime_10684',['strptime',['../extapi_8c.html#aab53cb0be9d04d5bbbff4e412ba99f5b',1,'extapi.c']]],
+  ['strrchr_10685',['strrchr',['../extapi_8c.html#a9b5ffb90d9a30625617401e6a5999e85',1,'extapi.c']]],
+  ['strread_10686',['strRead',['../classSVF_1_1AbstractExecution.html#a63044080ddea89905bc9a4336eb8b2a7',1,'SVF::AbstractExecution']]],
+  ['strsep_10687',['strsep',['../extapi_8c.html#a93c766c6e86f4f79e7507c21f1794e15',1,'extapi.c']]],
+  ['strstr_10688',['strstr',['../extapi_8c.html#a4a710d86541afc6b7dafddcdb4b1c94f',1,'extapi.c']]],
+  ['strtod_10689',['strtod',['../extapi_8c.html#ab017280f95ea769b9422688105f02653',1,'extapi.c']]],
+  ['strtod_5fl_10690',['strtod_l',['../extapi_8c.html#a65fbe99baad4213df4fb26c4d934ffe3',1,'extapi.c']]],
+  ['strtof_10691',['strtof',['../extapi_8c.html#a2370632318c3797a314f8eb62d37947c',1,'extapi.c']]],
+  ['strtof_5fl_10692',['strtof_l',['../extapi_8c.html#a23a39e17fed1b7a7676bda56575e0c2c',1,'extapi.c']]],
+  ['strtok_10693',['strtok',['../extapi_8c.html#a8cb460f64c449f2a9b9b7a40569ce0fe',1,'extapi.c']]],
+  ['strtok_5fr_10694',['strtok_r',['../extapi_8c.html#ab11d86a2a3af0a355cad2337c6f4e9f7',1,'extapi.c']]],
+  ['strtokind_10695',['strToKind',['../classSVF_1_1GrammarBase.html#a3aae4b70e2ee0238808a2126265a2e24',1,'SVF::GrammarBase']]],
+  ['strtol_10696',['strtol',['../extapi_8c.html#a2ce966cd04da3c32320f54c332569e03',1,'extapi.c']]],
+  ['strtold_10697',['strtold',['../extapi_8c.html#a2fb0bb1a4be5c0865b119ce0d89145a7',1,'extapi.c']]],
+  ['strtoll_10698',['strtoll',['../extapi_8c.html#a11dd8f0251a1b6e05a9b4a031a1129c2',1,'extapi.c']]],
+  ['strtosymbol_10699',['strToSymbol',['../classSVF_1_1GrammarBase.html#a4826df2851cedaa92e3ab10feee9f583',1,'SVF::GrammarBase']]],
+  ['strtoul_10700',['strtoul',['../extapi_8c.html#aa7d767d03ce3929978c28f64e3a4b222',1,'extapi.c']]],
+  ['strtoull_10701',['strtoull',['../extapi_8c.html#a400239674c2feb4a690bb4178125eae0',1,'extapi.c']]],
+  ['strtrans_10702',['strTrans',['../classSVF_1_1CFGNormalizer.html#aea5ebe156b9536c617fc9c6acac00a61',1,'SVF::CFGNormalizer']]],
+  ['subnodes_10703',['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_10704',['sucMsg',['../namespaceSVF_1_1SVFUtil.html#a05dc00b2bd9a8176aae31b6cfffe725d',1,'SVF::SVFUtil']]],
+  ['suffix_5fobject_10705',['suffix_object',['../cJSON_8cpp.html#a5d61bcc0045ace88c2ae04f0928eeace',1,'cJSON.cpp']]],
+  ['svfargument_10706',['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_10707',['SVFArrayType',['../classSVF_1_1SVFArrayType.html#a3ac5af5a8a2ba7e4f40c66ad0eb47a97',1,'SVF::SVFArrayType']]],
+  ['svfbasicblock_10708',['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_10709',['SVFBlackHoleValue',['../classSVF_1_1SVFBlackHoleValue.html#ac057a29cad0944d1b359e6cd23adcec2',1,'SVF::SVFBlackHoleValue::SVFBlackHoleValue(const SVFType *ty)'],['../classSVF_1_1SVFBlackHoleValue.html#a6d94a1c1c0f229165e3327a09521e28c',1,'SVF::SVFBlackHoleValue::SVFBlackHoleValue()=delete']]],
+  ['svfbugevent_10710',['SVFBugEvent',['../classSVF_1_1SVFBugEvent.html#af012270169f767655456ae0e09add06a',1,'SVF::SVFBugEvent']]],
+  ['svfbugreport_10711',['SVFBugReport',['../classSVF_1_1SVFBugReport.html#af163790aa2065d72be8c31c281abee20',1,'SVF::SVFBugReport']]],
+  ['svfcallinst_10712',['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_10713',['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_10714',['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_10715',['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_10716',['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_10717',['SVFConstantNullPtr',['../classSVF_1_1SVFConstantNullPtr.html#a299954e2cad5ee41b51fcff4a92439b3',1,'SVF::SVFConstantNullPtr::SVFConstantNullPtr(const SVFType *ty)'],['../classSVF_1_1SVFConstantNullPtr.html#ae853223a57df1816c3d382113b7b7b70',1,'SVF::SVFConstantNullPtr::SVFConstantNullPtr()=delete']]],
+  ['svffunction_10718',['SVFFunction',['../classSVF_1_1SVFFunction.html#a494434af0d933dfd926bedcb8937f0f8',1,'SVF::SVFFunction::SVFFunction(const SVFType *ty, const SVFFunctionType *ft, bool declare, bool intrinsic, bool addrTaken, bool varg, SVFLoopAndDomInfo *ld)'],['../classSVF_1_1SVFFunction.html#a7e965c21a8afe7fca32d0f41b16361cf',1,'SVF::SVFFunction::SVFFunction(void)=delete']]],
+  ['svffunctiontype_10719',['SVFFunctionType',['../classSVF_1_1SVFFunctionType.html#af4bacdbcf4867575f6f27fc26aa66bbe',1,'SVF::SVFFunctionType']]],
+  ['svfg_10720',['SVFG',['../classSVF_1_1SVFG.html#a07d48490eda50ee6d31f295150409cf3',1,'SVF::SVFG']]],
+  ['svfgbuilder_10721',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html#a003c6d9e13e5f73e0648d97400f1854e',1,'SVF::SVFGBuilder']]],
+  ['svfglobalvalue_10722',['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_10723',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a43f4d595b31259576b141cb99883938e',1,'SVF::SVFGNodeLockSpan']]],
+  ['svfgopt_10724',['SVFGOPT',['../classSVF_1_1SVFGOPT.html#a64c300c8a9f8cc2ac13eef65c1108d01',1,'SVF::SVFGOPT']]],
+  ['svfgsccdetection_10725',['SVFGSCCDetection',['../classSVF_1_1DDAVFSolver.html#aba0ec611a5cfd096ac0b8b11e0bd5580',1,'SVF::DDAVFSolver']]],
+  ['svfgstat_10726',['svfgStat',['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()'],['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()']]],
+  ['svfinstruction_10727',['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_10728',['SVFIntegerType',['../classSVF_1_1SVFIntegerType.html#a4caf4cef19b93e06dfa7108a1409c32a',1,'SVF::SVFIntegerType']]],
+  ['svfir_10729',['SVFIR',['../classSVF_1_1SVFIR.html#abf511f82cdbf7a6d9b6da167aee57636',1,'SVF::SVFIR']]],
+  ['svfir2consexestate_10730',['SVFIR2ConsExeState',['../classSVF_1_1SVFIR2ConsExeState.html#a3575711760c3973aef0061975ca9436a',1,'SVF::SVFIR2ConsExeState']]],
+  ['svfir2itvexestate_10731',['SVFIR2ItvExeState',['../classSVF_1_1SVFIR2ItvExeState.html#a3c9285321cc0c4e1c46a31be9433192f',1,'SVF::SVFIR2ItvExeState']]],
+  ['svfirbuilder_10732',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html#a1ecae204a349b69031f0edd7df7ca708',1,'SVF::SVFIRBuilder']]],
+  ['svfirwriter_10733',['SVFIRWriter',['../classSVF_1_1SVFIRWriter.html#a9994b9a6ddf4c852570bee918cb9de34',1,'SVF::SVFIRWriter']]],
+  ['svfloop_10734',['SVFLoop',['../classSVF_1_1SVFLoop.html#a25b9a079f48aa0374c91be6a1e9697f8',1,'SVF::SVFLoop']]],
+  ['svfloopanddominfo_10735',['SVFLoopAndDomInfo',['../classSVF_1_1SVFLoopAndDomInfo.html#a2b5c892437d21ece0a9e0ae7a285b622',1,'SVF::SVFLoopAndDomInfo']]],
+  ['svfmetadataasvalue_10736',['SVFMetadataAsValue',['../classSVF_1_1SVFMetadataAsValue.html#a98acb125d1694aa233538de7618739bf',1,'SVF::SVFMetadataAsValue::SVFMetadataAsValue(const SVFType *ty)'],['../classSVF_1_1SVFMetadataAsValue.html#adc92d08f450556000a4386294c6c4370',1,'SVF::SVFMetadataAsValue::SVFMetadataAsValue()=delete']]],
+  ['svfmodule_10737',['SVFModule',['../classSVF_1_1SVFModule.html#a0438953758cecab4ebe1b48895639eb8',1,'SVF::SVFModule']]],
+  ['svfmodulewriter_10738',['SVFModuleWriter',['../classSVF_1_1SVFModuleWriter.html#a915ae39b2cb537e0137f5af496b10b10',1,'SVF::SVFModuleWriter']]],
+  ['svfothertype_10739',['SVFOtherType',['../classSVF_1_1SVFOtherType.html#a8c87cc7640e4596333e46fa7749cf0b0',1,'SVF::SVFOtherType']]],
+  ['svfothervalue_10740',['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_10741',['SVFPointerType',['../classSVF_1_1SVFPointerType.html#a7e876e6f99182e5c5cb23bf2a65110f2',1,'SVF::SVFPointerType']]],
+  ['svfstat_10742',['SVFStat',['../classSVF_1_1SVFStat.html#ad22433722f7c71df19a891a5b5039d26',1,'SVF::SVFStat']]],
+  ['svfstmt_10743',['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_10744',['SVFStructType',['../classSVF_1_1SVFStructType.html#a92ee752b62e49b7427d3ef51bcb6a6ba',1,'SVF::SVFStructType']]],
+  ['svftype_10745',['SVFType',['../classSVF_1_1SVFType.html#a099304f203453cb64cacf5f81c48735f',1,'SVF::SVFType::SVFType(bool svt, SVFTyKind k, u32_t Sz=1)'],['../classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202',1,'SVF::SVFType::SVFType(void)=delete']]],
+  ['svfvalue_10746',['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_10747',['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_10748',['SVFVirtualCallInst',['../classSVF_1_1SVFVirtualCallInst.html#a57fa2d35c2df09e607b5d23852fca2fd',1,'SVF::SVFVirtualCallInst']]],
+  ['symblicabstractiontest_10749',['SymblicAbstractionTest',['../classSymblicAbstractionTest.html#a257f62679b2ee86ffbadf33ca5031ed1',1,'SymblicAbstractionTest']]],
+  ['symbol_10750',['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_10751',['SymbolInfo',['../classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11',1,'SVF::SymbolTableInfo']]],
+  ['symboltablebuilder_10752',['SymbolTableBuilder',['../classSVF_1_1SymbolTableBuilder.html#ad39b982a2a91a10b4f22ee6150e9cebf',1,'SVF::SymbolTableBuilder']]],
+  ['symboltableinfo_10753',['SymbolTableInfo',['../classSVF_1_1SymbolTableInfo.html#aff272bc1d00f2e57b7677d1826a31237',1,'SVF::SymbolTableInfo']]],
+  ['symstate_10754',['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_10755',['symToStrDump',['../classSVF_1_1GrammarBase.html#a49aad1a3620735a2929795df3d23ba38',1,'SVF::GrammarBase']]],
+  ['szudzik_10756',['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 > >']]]
 ];