svf-tools 1.0.855 → 1.0.856

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

@@ -1,292 +1,292 @@
 var searchData=
 [
-  ['sabercheckerapi_10176',['SaberCheckerAPI',['../classSVF_1_1SaberCheckerAPI.html#afdd2f15bb46594a61a3c552899215806',1,'SVF::SaberCheckerAPI']]],
-  ['sabercondallocator_10177',['SaberCondAllocator',['../classSVF_1_1SaberCondAllocator.html#a4b1625597c6b331dfe0e8ceef95731b5',1,'SVF::SaberCondAllocator']]],
-  ['sabersvfgbuilder_10178',['SaberSVFGBuilder',['../classSVF_1_1SaberSVFGBuilder.html#aa66cd30067d39f2083fb671fdc43beb4',1,'SVF::SaberSVFGBuilder']]],
-  ['samelooptripcount_10179',['sameLoopTripCount',['../classSVF_1_1ForkJoinAnalysis.html#a28e50b1ffdcdaba57d3515a5f6410c86',1,'SVF::ForkJoinAnalysis']]],
-  ['sanitizepts_10180',['sanitizePts',['../classSVF_1_1Andersen.html#a308ef1f3a1c9fd7ac1858d0c690aa37a',1,'SVF::Andersen']]],
-  ['sanitycheck_10181',['sanityCheck',['../classSVF_1_1SVFIRBuilder.html#a09baa8c7246853c3faaed85b38f0da60',1,'SVF::SVFIRBuilder']]],
-  ['saveid_10182',['saveID',['../classSVF_1_1WriterPtrPool.html#a99162b81da24cf79d1252c18573038d4',1,'SVF::WriterPtrPool']]],
-  ['savetogenericgraph_10183',['saveToGenericGraph',['../classSVF_1_1GenericGraphReader.html#a337b37b2d78cfaa756f44dee76fb187f',1,'SVF::GenericGraphReader']]],
-  ['savetoidtoobjmap_10184',['saveToIDToObjMap',['../classSVF_1_1ReaderIDToObjMap.html#a8c39d643a10d83a7f525ace9a002844c',1,'SVF::ReaderIDToObjMap']]],
-  ['savetoset_10185',['saveToSet',['../classSVF_1_1ReaderPtrPool.html#a8a766e643ac79dc023ff58e1883c9626',1,'SVF::ReaderPtrPool']]],
-  ['sccdetect_10186',['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_10187',['SCCDetection',['../classSVF_1_1SCCDetection.html#a1bd915ba4079ddd5dd6e57a88129ffee',1,'SVF::SCCDetection']]],
-  ['sccrepnode_10188',['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_10189',['sccSubNodes',['../classSVF_1_1ConstraintGraph.html#aed605b010e313f4b11e95b83fe50e3b3',1,'SVF::ConstraintGraph::sccSubNodes()'],['../classSVF_1_1Andersen.html#acd2feff818906db49a1bb2d94c33db5f',1,'SVF::Andersen::sccSubNodes()']]],
-  ['selectclient_10190',['selectClient',['../classSVF_1_1DDAPass.html#aa33694e0b5f30c451c229e92877e4842',1,'SVF::DDAPass']]],
-  ['selectstmt_10191',['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_10192',['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_10193',['set_minus_infinite',['../classSVF_1_1BoundedZ3Expr.html#ae76bf19d580cbc12a40f7c1823165178',1,'SVF::BoundedZ3Expr']]],
-  ['set_5fplus_5finfinite_10194',['set_plus_infinite',['../classSVF_1_1BoundedZ3Expr.html#ad781e43e6d1e1fd2392e51737b7898b9',1,'SVF::BoundedZ3Expr']]],
-  ['set_5fto_5fbottom_10195',['set_to_bottom',['../classSVF_1_1IntervalValue.html#ac763bab0b6fedbe5ec5b345c7b260e30',1,'SVF::IntervalValue']]],
-  ['set_5fto_5ftop_10196',['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_10197',['setAbsState',['../classSVF_1_1SymState.html#a1f946132843a9bdf5099b243613079be',1,'SVF::SymState']]],
-  ['setactualindef_10198',['setActualINDef',['../classSVF_1_1SVFGOPT.html#a490695ab536cd455c531fbdc57499cac',1,'SVF::SVFGOPT']]],
-  ['setallreachable_10199',['setAllReachable',['../classSVF_1_1ProgSlice.html#ae6102647fa4985142c293116516612cd',1,'SVF::ProgSlice']]],
-  ['setattributekinds_10200',['setAttributeKinds',['../classSVF_1_1GrammarBase.html#a1e1bf1e32bcd7c68ce789c2f9f6327c0',1,'SVF::GrammarBase']]],
-  ['setbasenode_10201',['setBaseNode',['../classSVF_1_1GepObjVar.html#a5e371fae7592d763661a7cb777107ff4',1,'SVF::GepObjVar']]],
-  ['setbb_10202',['setBB',['../classSVF_1_1SVFStmt.html#a0e45ab5b38059371c47d5f2011118a4d',1,'SVF::SVFStmt']]],
-  ['setbottom_10203',['setBottom',['../classSVF_1_1AddressValue.html#a77d6a1706328d86b210b26bacaf2fa9f',1,'SVF::AddressValue']]],
-  ['setbranchcond_10204',['setBranchCond',['../classSVF_1_1SaberCondAllocator.html#a5012a977e0db66a2ae111d4164936037',1,'SVF::SaberCondAllocator']]],
-  ['setbranchcondition_10205',['setBranchCondition',['../classSVF_1_1SymState.html#aae6109025931aea5d066a62058f584a6',1,'SVF::SymState::setBranchCondition()'],['../classSVF_1_1IntraCFGEdge.html#ad7b35b7c9abb07122eaa8517dae56508',1,'SVF::IntraCFGEdge::setBranchCondition()']]],
-  ['setbytesizeofobj_10206',['setByteSizeOfObj',['../classSVF_1_1ObjTypeInfo.html#ac093156bfb46c07675ae201f449cdca0',1,'SVF::ObjTypeInfo']]],
-  ['setcalledoperand_10207',['setCalledOperand',['../classSVF_1_1SVFCallInst.html#a6dd304f555d2d2388c4430e57b0d2b91',1,'SVF::SVFCallInst']]],
-  ['setcallgraph_10208',['setCallGraph',['../classSVF_1_1DDAVFSolver.html#afc2b0eeb1d5d5f292690f3c949217c38',1,'SVF::DDAVFSolver']]],
-  ['setcallgraphscc_10209',['setCallGraphSCC',['../classSVF_1_1DDAVFSolver.html#abd652b2627f68d7d4f8bf3bdb20ce975',1,'SVF::DDAVFSolver']]],
-  ['setcdn_10210',['setCDN',['../classSVF_1_1CFBasicBlockGWTO.html#a49d0128828b44df0a8631dd193ed8898',1,'SVF::CFBasicBlockGWTO']]],
-  ['setcfcond_10211',['setCFCond',['../classSVF_1_1SaberCondAllocator.html#a9c1660f4a9ecc161c0fb97c735a690b9',1,'SVF::SaberCondAllocator']]],
-  ['setchg_10212',['setCHG',['../classSVF_1_1SVFIR.html#aa14f6cde41bcac27ce2f66c6b33ee410',1,'SVF::SVFIR']]],
-  ['setcondinst_10213',['setCondInst',['../classSVF_1_1SaberCondAllocator.html#a97d540340f9039b3f8bd1527fc7d7ebb',1,'SVF::SaberCondAllocator']]],
-  ['setconstdataoraggdata_10214',['setConstDataOrAggData',['../classSVF_1_1SVFValue.html#afe1de41ca3215b325d0ca61814c6bd6b',1,'SVF::SVFValue']]],
-  ['setconsume_10215',['setConsume',['../classSVF_1_1VersionedFlowSensitive.html#aabc0a5a7a31b8d880e019773ba960741',1,'SVF::VersionedFlowSensitive']]],
-  ['setcurevalsvfgnode_10216',['setCurEvalSVFGNode',['../classSVF_1_1SaberCondAllocator.html#ae717f565b947a72651c0de19bf6bcca0',1,'SVF::SaberCondAllocator']]],
-  ['setcurnodeid_10217',['setCurNodeID',['../classSVF_1_1DPItem.html#a5fbde30cae2cb09bd9dc9a6969ea4b90',1,'SVF::DPItem']]],
-  ['setcurrentbbandvalueforpagedge_10218',['setCurrentBBAndValueForPAGEdge',['../classSVF_1_1SVFIRBuilder.html#abc394c99f0905c958a230412134eda01',1,'SVF::SVFIRBuilder']]],
-  ['setcurrentbestnodemapping_10219',['setCurrentBestNodeMapping',['../classSVF_1_1PointsTo.html#a84eca4c7fc833f8ca4d119cd4da08ca8',1,'SVF::PointsTo']]],
-  ['setcurrentlocation_10220',['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_10221',['setCurrentQueryPtr',['../classSVF_1_1DDAClient.html#a3fbe4ffde0a14b2db40189883d49237f',1,'SVF::DDAClient']]],
-  ['setcurrentscc_10222',['setCurrentSCC',['../classSVF_1_1WPASCCSolver.html#a782121c831536e231f5b287629defef7',1,'SVF::WPASCCSolver']]],
-  ['setcurslice_10223',['setCurSlice',['../classSVF_1_1SrcSnkDDA.html#ab35c0d1f02c83a2c10717905f1abf5cd',1,'SVF::SrcSnkDDA']]],
-  ['setcursvfgnode_10224',['setCurSVFGNode',['../classSVF_1_1ProgSlice.html#aee72d029c185c24b2bf01cdc0dcb25d8',1,'SVF::ProgSlice']]],
-  ['setddastat_10225',['setDDAStat',['../classSVF_1_1DDAVFSolver.html#adcb641eec4f620effdb3f61a46429f40',1,'SVF::DDAVFSolver']]],
-  ['setdef_10226',['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_10227',['setDefFunForMultipleModule',['../classSVF_1_1SVFFunction.html#af1c181322926639bd99bbe58a8df70ab',1,'SVF::SVFFunction']]],
-  ['setdefglobalformultiplemodule_10228',['setDefGlobalForMultipleModule',['../classSVF_1_1SVFGlobalValue.html#a72c43f12f42a73dc28855c425fe5543a',1,'SVF::SVFGlobalValue']]],
-  ['setdetectpwc_10229',['setDetectPWC',['../classSVF_1_1Andersen.html#a1462bdde3748b1513e92a119b8a43794',1,'SVF::Andersen']]],
-  ['setebnfsigns_10230',['setEBNFSigns',['../classSVF_1_1GrammarBase.html#ad87ca88d62e7bc3a189652c707a72e12',1,'SVF::GrammarBase']]],
-  ['setec_10231',['setEC',['../classSVF_1_1Steensgaard.html#aa283cff49b0d340956649a95465b82b6',1,'SVF::Steensgaard']]],
-  ['setedgeflag_10232',['setEdgeFlag',['../classSVF_1_1SVFIRReader.html#aec95a42a5e46be50457fb3a8e9de7fbf',1,'SVF::SVFIRReader']]],
-  ['setes_10233',['setEs',['../classSVF_1_1SVFIR2ConsExeState.html#a7421cab74f02c7ab54aefb3242ed6c77',1,'SVF::SVFIR2ConsExeState::setEs()'],['../classSVF_1_1SVFIR2ItvExeState.html#a2e9ecde8db07741daa112649c432cbfd',1,'SVF::SVFIR2ItvExeState::setEs()']]],
-  ['setexitblock_10234',['setExitBlock',['../classSVF_1_1SVFFunction.html#abd458bb5a035d3f7db32fac5f01b57f3',1,'SVF::SVFFunction']]],
-  ['setextbcpath_10235',['setExtBcPath',['../classSVF_1_1ExtAPI.html#ac0dc697b93f41b1e094a9be8baf4a103',1,'SVF::ExtAPI']]],
-  ['setfieldinsensitive_10236',['setFieldInsensitive',['../classSVF_1_1MemObj.html#ab9637ea9acd1f8ae4933b4ab2b997e5c',1,'SVF::MemObj']]],
-  ['setfieldsensitive_10237',['setFieldSensitive',['../classSVF_1_1MemObj.html#a981b7424901ef74467f725ffc9fec0ca',1,'SVF::MemObj']]],
-  ['setfinalcond_10238',['setFinalCond',['../classSVF_1_1ProgSlice.html#af55830503ef47b4b1c15c0e5b3cd6a3f',1,'SVF::ProgSlice']]],
-  ['setflag_10239',['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_10240',['setFldIdx',['../classSVF_1_1AccessPath.html#ab95df74c97fba13206df48e00131e15f',1,'SVF::AccessPath']]],
-  ['setformaloutdef_10241',['setFormalOUTDef',['../classSVF_1_1SVFGOPT.html#a3e2b811dd939c93bcf9fb94e91d553b1',1,'SVF::SVFGOPT']]],
-  ['setfunidxinvtable_10242',['setFunIdxInVtable',['../classSVF_1_1SVFVirtualCallInst.html#a947d6ca3695477fb5b36b46fa4899fb7',1,'SVF::SVFVirtualCallInst']]],
-  ['setfunnameofvirtualcall_10243',['setFunNameOfVirtualCall',['../classSVF_1_1SVFVirtualCallInst.html#adf936a7ee01d9c4662e31a5022ae94c0',1,'SVF::SVFVirtualCallInst']]],
-  ['setgraph_10244',['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_10245',['setICFG',['../classSVF_1_1SVFIR.html#a756ae2b40ec29f2f92c95919f615e5ec',1,'SVF::SVFIR']]],
-  ['seticfgnode_10246',['setICFGNode',['../classSVF_1_1VFGNode.html#a9c95dd4f0e70ccc4a03282cdddba95de',1,'SVF::VFGNode::setICFGNode()'],['../classSVF_1_1SVFStmt.html#adb92a92f5c878576dff26cb38eab8c8c',1,'SVF::SVFStmt::setICFGNode()']]],
-  ['setincycle_10247',['setIncycle',['../classSVF_1_1CxtThread.html#adde663205c3ecc5a2e01b18bc305d5cb',1,'SVF::CxtThread']]],
-  ['setinloop_10248',['setInloop',['../classSVF_1_1CxtThread.html#aa4e1a9babb249a005e8dfae8cb83df21',1,'SVF::CxtThread']]],
-  ['setinscc_10249',['setInSCC',['../classSVF_1_1SCCDetection.html#aafe9ae9d158480e6a04803b25b61083e',1,'SVF::SCCDetection']]],
-  ['setisnotret_10250',['setIsNotRet',['../classSVF_1_1SVFFunction.html#aaddef080cdc8e4080fc2da1e3cf92deb',1,'SVF::SVFFunction']]],
-  ['setisuncalledfunction_10251',['setIsUncalledFunction',['../classSVF_1_1SVFFunction.html#a37f89063b55ff657a07e186224338ce8',1,'SVF::SVFFunction']]],
-  ['setkeynodesset_10252',['setKeyNodesSet',['../classSVF_1_1SymState.html#a2b4bdce23c28d5f635db6b48ce9aba11',1,'SVF::SymState']]],
-  ['setkindtoattrsmap_10253',['setKindToAttrsMap',['../classSVF_1_1GrammarBase.html#a082342020848e545c983df4d5ec6720a',1,'SVF::GrammarBase']]],
-  ['setlb_10254',['setLb',['../classSVF_1_1IntervalValue.html#adf3cae41adaeb62c3b5da19e81adbb5d',1,'SVF::IntervalValue']]],
-  ['setloc_10255',['setLoc',['../classSVF_1_1StmtDPItem.html#a9ba9ab1013a36530369aa6d684397f4f',1,'SVF::StmtDPItem']]],
-  ['setlocale_10256',['setlocale',['../extapi_8c.html#afe784c4f5d12b74272740c5211c960c5',1,'extapi.c']]],
-  ['setlocvar_10257',['setLocVar',['../classSVF_1_1StmtDPItem.html#a3feb4bc8e003cfdd30c1b2cfb2219efb',1,'SVF::StmtDPItem']]],
-  ['setloopbound_10258',['setLoopBound',['../classSVF_1_1SVFLoop.html#af594a873db7d6dbbcf25176da45fba80',1,'SVF::SVFLoop']]],
-  ['setmaxbudget_10259',['setMaxBudget',['../classSVF_1_1DPItem.html#a687ef8944ccb55b826508c47ea5b9240',1,'SVF::DPItem']]],
-  ['setmaxcxtlen_10260',['setMaxCxtLen',['../classSVF_1_1ContextCond.html#a92e89bbae0f31bb9eb971ab3edcc8071',1,'SVF::ContextCond']]],
-  ['setmaxfieldoffsetlimit_10261',['setMaxFieldOffsetLimit',['../classSVF_1_1ObjTypeInfo.html#a9fff869c63776c6ebeff78933e0f6092',1,'SVF::ObjTypeInfo']]],
-  ['setmaxpathlen_10262',['setMaxPathLen',['../classSVF_1_1ContextCond.html#a084679a423e78217ca10794775c25b1d',1,'SVF::ContextCond']]],
-  ['setmemusageafter_10263',['setMemUsageAfter',['../classSVF_1_1PTAStat.html#a286e5985644f2bc13abbceaa2b586c92',1,'SVF::PTAStat']]],
-  ['setmemusagebefore_10264',['setMemUsageBefore',['../classSVF_1_1PTAStat.html#a206fdc31ee7bd8fce1695847c40785e0',1,'SVF::PTAStat']]],
-  ['setmodelconstants_10265',['setModelConstants',['../classSVF_1_1SymbolTableInfo.html#a4decfc9e7f5dc096d7bfa42d6965763d',1,'SVF::SymbolTableInfo']]],
-  ['setmodule_10266',['setModule',['../classSVF_1_1SVFIR.html#a52bea4a99022b036104751cafa9152b1',1,'SVF::SVFIR::setModule()'],['../classSVF_1_1SymbolTableInfo.html#a4f916c64ca04c4db30bd19fb8505724d',1,'SVF::SymbolTableInfo::setModule()']]],
-  ['setmoduleidentifier_10267',['setModuleIdentifier',['../classSVF_1_1SVFModule.html#acaba1ff38ed1fdd8a9a1251a1b36be92',1,'SVF::SVFModule']]],
-  ['setmultiforked_10268',['setMultiforked',['../classSVF_1_1TCTNode.html#a0fafde34cdffde6d38bb9efca9b7a9a1',1,'SVF::TCTNode']]],
-  ['setmultiforkedattrs_10269',['setMultiForkedAttrs',['../classSVF_1_1TCT.html#a11e36f9b58646dee4014e12e55c70508',1,'SVF::TCT']]],
-  ['setmultiinheritance_10270',['setMultiInheritance',['../classSVF_1_1DCHNode.html#a798e80f0cc5951789474abc3a0999166',1,'SVF::DCHNode::setMultiInheritance()'],['../classSVF_1_1CHNode.html#a5d751a3a0d88c0de374bfeb526051440',1,'SVF::CHNode::setMultiInheritance()']]],
-  ['setname_10271',['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_10272',['setNegCondInst',['../classSVF_1_1SaberCondAllocator.html#ae8858c45c7406842ca967ed14f0b58e5',1,'SVF::SaberCondAllocator']]],
-  ['setnodenumafterpagbuild_10273',['setNodeNumAfterPAGBuild',['../classSVF_1_1IRGraph.html#a5fe12445ed0528183775747dec356db0',1,'SVF::IRGraph']]],
-  ['setnonconcretecxt_10274',['setNonConcreteCxt',['../classSVF_1_1ContextCond.html#ac80892cbef7a5d2c949e5f07682bc885',1,'SVF::ContextCond']]],
-  ['setnonterminals_10275',['setNonterminals',['../classSVF_1_1GrammarBase.html#afc9635e14b5871df457bf64fae6ad8cf',1,'SVF::GrammarBase']]],
-  ['setnumofelement_10276',['setNumOfElement',['../classSVF_1_1SVFArrayType.html#a986fc835f2e082796ecf1fd3b7f769b6',1,'SVF::SVFArrayType']]],
-  ['setnumofelements_10277',['setNumOfElements',['../classSVF_1_1MemObj.html#a904c5a96407574565e9c48eb2d31e869',1,'SVF::MemObj::setNumOfElements()'],['../classSVF_1_1ObjTypeInfo.html#aff17d13e520a731accedd06350af6221',1,'SVF::ObjTypeInfo::setNumOfElements()']]],
-  ['setnumoffieldsandelems_10278',['setNumOfFieldsAndElems',['../classSVF_1_1StInfo.html#a1a07c2b1415c29d7d70791c6dfe602a3',1,'SVF::StInfo']]],
-  ['setobjfieldinsensitive_10279',['setObjFieldInsensitive',['../classSVF_1_1PointerAnalysis.html#ac5683fe2e24b393ccc5cb6d8bc92cf2b',1,'SVF::PointerAnalysis']]],
-  ['setoffset_10280',['setOffset',['../classSVF_1_1DCHEdge.html#a70f757826082c95766c8324c1264e977',1,'SVF::DCHEdge']]],
-  ['setopver_10281',['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_10282',['setOpVerAndBB',['../classSVF_1_1IntraPHIVFGNode.html#a7e5fd83393224ece808de83cbf496882',1,'SVF::IntraPHIVFGNode']]],
-  ['setpag_10283',['setPAG',['../classSVF_1_1DDAClient.html#a21badb317a249bbb506615182671b32c',1,'SVF::DDAClient']]],
-  ['setpagfromtxt_10284',['setPagFromTXT',['../classSVF_1_1SVFModule.html#a7af3076a26060090377d1f74293560fe',1,'SVF::SVFModule']]],
-  ['setpartialreachable_10285',['setPartialReachable',['../classSVF_1_1ProgSlice.html#af6f137be08ca0e743424ff07d679777d',1,'SVF::ProgSlice']]],
-  ['setpointerto_10286',['setPointerTo',['../classSVF_1_1SVFType.html#a3ddabbd763acaaca28cacbabe5bc7f3b',1,'SVF::SVFType']]],
-  ['setptrelementtype_10287',['setPtrElementType',['../classSVF_1_1SVFPointerType.html#aaaa79de3df0f6764bfd3d2e487ea7a09',1,'SVF::SVFPointerType']]],
-  ['setptrinuncalledfunction_10288',['setPtrInUncalledFunction',['../classSVF_1_1SVFValue.html#ac2e5c42d0ac92375c88ef5b3f1b65dc4',1,'SVF::SVFValue']]],
-  ['setpureabstract_10289',['setPureAbstract',['../classSVF_1_1DCHNode.html#afa271fdb9c1aa3589f41655813a2de8e',1,'SVF::DCHNode::setPureAbstract()'],['../classSVF_1_1CHNode.html#abac89987927dadd53dd646eae540a024',1,'SVF::CHNode::setPureAbstract()']]],
-  ['setpwcnode_10290',['setPWCNode',['../classSVF_1_1ConstraintGraph.html#a03f9fe8ae7094c39937f47f422276724',1,'SVF::ConstraintGraph::setPWCNode()'],['../classSVF_1_1ConstraintNode.html#ad8701df90d93c5dfed26cff8f0b2fbb3',1,'SVF::ConstraintNode::setPWCNode()']]],
-  ['setquery_10291',['setQuery',['../classSVF_1_1DDAClient.html#a3d0f732e284f3237287b375582c0aa88',1,'SVF::DDAClient']]],
-  ['setrawproductions_10292',['setRawProductions',['../classSVF_1_1GrammarBase.html#a2eb6ab294093710ca1dc119836adff5a',1,'SVF::GrammarBase']]],
-  ['setreachablebbs_10293',['setReachableBBs',['../classSVF_1_1SVFLoopAndDomInfo.html#acc409e328f641a2c9512beeb727f58c7',1,'SVF::SVFLoopAndDomInfo']]],
-  ['setreachglobal_10294',['setReachGlobal',['../classSVF_1_1ProgSlice.html#a397632ce0c523c4a54c5dc578606d14d',1,'SVF::ProgSlice']]],
-  ['setreles_10295',['setRelEs',['../classSVF_1_1SVFIR2ItvExeState.html#af0b6abd2310a9bf0311760b290114341',1,'SVF::SVFIR2ItvExeState']]],
-  ['setrep_10296',['setRep',['../classSVF_1_1ConstraintGraph.html#abea65bf6dd43aa312082f8d4c7c3e3cb',1,'SVF::ConstraintGraph']]],
-  ['setrepr_10297',['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_10298',['setResVer',['../classSVF_1_1MSSADEF.html#a343eb4c9515dfbbbdadaacf5500e5f05',1,'SVF::MSSADEF']]],
-  ['setreticfgnode_10299',['setRetICFGNode',['../classSVF_1_1CallICFGNode.html#a91b38c6930f3c15b9b38121662fded20',1,'SVF::CallICFGNode']]],
-  ['setsabercondallocator_10300',['setSaberCondAllocator',['../classSVF_1_1SaberSVFGBuilder.html#a8eb03d4362685f361bc1110fc98925b9',1,'SVF::SaberSVFGBuilder']]],
-  ['setscalar_10301',['setScalar',['../classSVF_1_1DCHNode.html#a917265fa44ed08b66a6bd722f318bfa4',1,'SVF::DCHNode']]],
-  ['setsignandwidth_10302',['setSignAndWidth',['../classSVF_1_1SVFIntegerType.html#aeacf0513bfde42511fe6e464d48d1e11',1,'SVF::SVFIntegerType']]],
-  ['setsourceloc_10303',['setSourceLoc',['../classSVF_1_1SVFValue.html#a588acec1904d440797ca4500f63f7d28',1,'SVF::SVFValue']]],
-  ['setstartkind_10304',['setStartKind',['../classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd',1,'SVF::GrammarBase']]],
-  ['setstat_10305',['setStat',['../classSVF_1_1SVFBugReport.html#a817f61a73d84f9054a2f80375f51f747',1,'SVF::SVFBugReport']]],
-  ['setsubs_10306',['setSubs',['../classSVF_1_1ConstraintGraph.html#a148235bd1355a700d3ce187702e89bc8',1,'SVF::ConstraintGraph']]],
-  ['settemplate_10307',['setTemplate',['../classSVF_1_1DCHNode.html#a3947007a7b8074f06064e34de9d980fe',1,'SVF::DCHNode::setTemplate()'],['../classSVF_1_1CHNode.html#a00343177422c8d84d707432d0c483438',1,'SVF::CHNode::setTemplate()']]],
-  ['setterminals_10308',['setTerminals',['../classSVF_1_1GrammarBase.html#ae79b973ec24ba034e831a90285737a41',1,'SVF::GrammarBase']]],
-  ['settokeepactualoutformalin_10309',['setTokeepActualOutFormalIn',['../classSVF_1_1SVFGOPT.html#af0c1bb4055d3c4b7f5c6133c433144ad',1,'SVF::SVFGOPT']]],
-  ['settokeepallselfcycle_10310',['setTokeepAllSelfCycle',['../classSVF_1_1SVFGOPT.html#a99cce24804a9116f9bf4e773b2f28e85',1,'SVF::SVFGOPT']]],
-  ['settokeepcontextselfcycle_10311',['setTokeepContextSelfCycle',['../classSVF_1_1SVFGOPT.html#abe2392e0971f6c46537727f001fa44de',1,'SVF::SVFGOPT']]],
-  ['settop_10312',['setTop',['../classSVF_1_1AddressValue.html#a2100009a0e744ebc9e2780dffb6f622b',1,'SVF::AddressValue']]],
-  ['settotalkind_10313',['setTotalKind',['../classSVF_1_1GrammarBase.html#a37a31f03501a11e7951d56dbf1cb146a',1,'SVF::GrammarBase']]],
-  ['settypeinfo_10314',['setTypeInfo',['../classSVF_1_1SVFType.html#aef5999ada62dac3cc946d832ac66948c',1,'SVF::SVFType']]],
-  ['settypeofelement_10315',['setTypeOfElement',['../classSVF_1_1SVFArrayType.html#a56179bc4c145adce210adab80c61be7a',1,'SVF::SVFArrayType']]],
-  ['setub_10316',['setUb',['../classSVF_1_1IntervalValue.html#aa3b742bd0116a6b7bf290286902b470b',1,'SVF::IntervalValue']]],
-  ['setvals_10317',['setVals',['../classSVF_1_1AddressValue.html#a0fed06401997d4259d7ef183343f1949',1,'SVF::AddressValue']]],
-  ['setvalue_10318',['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_10319',['setValueAttr',['../classSVF_1_1LLVMModuleSet.html#a7d61f479f52e1dc71a4ae7a4d62f3b6a',1,'SVF::LLVMModuleSet']]],
-  ['setvardfinsetupdated_10320',['setVarDFInSetUpdated',['../classSVF_1_1MutableIncDFPTData.html#a33b2e976439e489d4bd707379e1bac9c',1,'SVF::MutableIncDFPTData::setVarDFInSetUpdated()'],['../classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2',1,'SVF::PersistentIncDFPTData::setVarDFInSetUpdated()']]],
-  ['setvardfoutsetupdated_10321',['setVarDFOutSetUpdated',['../classSVF_1_1MutableIncDFPTData.html#a851947de9ccbe51239b76d2d93fcd4c4',1,'SVF::MutableIncDFPTData::setVarDFOutSetUpdated()'],['../classSVF_1_1PersistentIncDFPTData.html#aa9f6b38595cabbb583c52217188457e8',1,'SVF::PersistentIncDFPTData::setVarDFOutSetUpdated()']]],
-  ['setver_10322',['setVer',['../classSVF_1_1MSSAMU.html#a2af1e639aabbc5997aa4e6526f6595fb',1,'SVF::MSSAMU']]],
-  ['setversion_10323',['setVersion',['../classSVF_1_1VersionedFlowSensitive.html#adf37ae1f6a07716bca6fbe1603b8a070',1,'SVF::VersionedFlowSensitive']]],
-  ['setvfcond_10324',['setVFCond',['../classSVF_1_1ProgSlice.html#ab5de7bf99935818ef1b0962e36b8624c',1,'SVF::ProgSlice']]],
-  ['setvisited_10325',['setVisited',['../classSVF_1_1SCCDetection.html#ad888a3dc94909823319384055896c84d',1,'SVF::SCCDetection::setVisited()'],['../classSVF_1_1CSC.html#adac02224ec722f0cf1954d7a484bd11e',1,'SVF::CSC::setVisited()']]],
-  ['setvtable_10326',['setVTable',['../classSVF_1_1DCHNode.html#ad3144bcf462769c687bc7b65ef2f1639',1,'SVF::DCHNode::setVTable()'],['../classSVF_1_1CHNode.html#aa72c4509da3bfd2a3c656da38fe36c81',1,'SVF::CHNode::setVTable()']]],
-  ['setvtableptr_10327',['setVtablePtr',['../classSVF_1_1SVFVirtualCallInst.html#a94c04bebac82268c00d614c61e15274b',1,'SVF::SVFVirtualCallInst']]],
-  ['setyield_10328',['setYield',['../classSVF_1_1VersionedFlowSensitive.html#ac33c7cef2d1d143950820ea48e97e806',1,'SVF::VersionedFlowSensitive']]],
-  ['sfvgoptend_10329',['sfvgOptEnd',['../classSVF_1_1SVFGStat.html#aaec3a7f29b3ded0c971d57376d2779ff',1,'SVF::SVFGStat']]],
-  ['sfvgoptstart_10330',['sfvgOptStart',['../classSVF_1_1SVFGStat.html#acb80953b39ce247679242df4f042ab79',1,'SVF::SVFGStat']]],
-  ['simplify_10331',['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_10332',['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_10333',['sinksBegin',['../classSVF_1_1ProgSlice.html#adf620c97daed49735d21b485c448b4a2',1,'SVF::ProgSlice::sinksBegin()'],['../classSVF_1_1SrcSnkDDA.html#a79833c0cf1916d63e1dd32c2220056dd',1,'SVF::SrcSnkDDA::sinksBegin()']]],
-  ['sinksend_10334',['sinksEnd',['../classSVF_1_1ProgSlice.html#a27636f096ec825c4d5cb1dca608afb31',1,'SVF::ProgSlice::sinksEnd()'],['../classSVF_1_1SrcSnkDDA.html#aaabc8d3aed17c8a35ef37d878f141412',1,'SVF::SrcSnkDDA::sinksEnd()']]],
-  ['size_10335',['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_10336',['sizeSVFValuePool',['../classSVF_1_1SVFModuleWriter.html#a0e12ffecb37a42d766522dc65da481e6',1,'SVF::SVFModuleWriter']]],
-  ['skip_5fmultiline_5fcomment_10337',['skip_multiline_comment',['../cJSON_8cpp.html#a4b9e22afcb0d33932c691b5af9f2560a',1,'cJSON.cpp']]],
-  ['skip_5foneline_5fcomment_10338',['skip_oneline_comment',['../cJSON_8cpp.html#a98eaeafefb811c738494a26265309a07',1,'cJSON.cpp']]],
-  ['skip_5futf8_5fbom_10339',['skip_utf8_bom',['../cJSON_8cpp.html#a13b2d9f17c3b80a8878405f2782cd916',1,'cJSON.cpp']]],
-  ['slicestate_10340',['sliceState',['../classSVF_1_1IntervalESBase.html#a2c15de9b10a74fbcb171ff2f328ce7f2',1,'SVF::IntervalESBase']]],
-  ['solve_10341',['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_10342',['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_10343',['solveConstraints',['../classSVF_1_1AndersenBase.html#ac02d1fedb0beb39e5a4c22ee4bb3501a',1,'SVF::AndersenBase::solveConstraints()'],['../classSVF_1_1FlowSensitive.html#a165a9c5aef0811066560154896bae18d',1,'SVF::FlowSensitive::solveConstraints()']]],
-  ['solveworklist_10344',['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_10345',['sortPointsTo',['../classSVF_1_1MRGenerator.html#a66d94d15fb94e90a771f6b3dd7c0ecdd',1,'SVF::MRGenerator']]],
-  ['sourcesbegin_10346',['sourcesBegin',['../classSVF_1_1SrcSnkDDA.html#a0515c9079f28f8c5d4f0f9a2fc39a137',1,'SVF::SrcSnkDDA']]],
-  ['sourcesend_10347',['sourcesEnd',['../classSVF_1_1SrcSnkDDA.html#ad0cb9de24cbc99d148f63b694dc3908e',1,'SVF::SrcSnkDDA']]],
-  ['sparsebitvector_10348',['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_10349',['SparseBitVectorElement',['../structSVF_1_1SparseBitVectorElement.html#a8097db31608c859c3cf8053e303821d3',1,'SVF::SparseBitVectorElement::SparseBitVectorElement()=default'],['../structSVF_1_1SparseBitVectorElement.html#a75777b1461184d8fb2cfa4ec6e95c1c5',1,'SVF::SparseBitVectorElement::SparseBitVectorElement(unsigned Idx)']]],
-  ['sparsebitvectoriterator_10350',['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_10351',['spawneesBegin',['../classSVF_1_1PCG.html#a45932c2f1a05398b4ad8753dcb621a1f',1,'SVF::PCG']]],
-  ['spawneesend_10352',['spawneesEnd',['../classSVF_1_1PCG.html#ab45de7686709989be5923531653e2755',1,'SVF::PCG']]],
-  ['spawnersbegin_10353',['spawnersBegin',['../classSVF_1_1PCG.html#a4343107dd6908ffb70fc59fa7b4de21b',1,'SVF::PCG']]],
-  ['spawnersend_10354',['spawnersEnd',['../classSVF_1_1PCG.html#a2b9a6b5890b11cea31914f5242285525',1,'SVF::PCG']]],
-  ['spawnsitesbegin_10355',['spawnSitesBegin',['../classSVF_1_1PCG.html#a2a7319200ec2ec07e8b7976b4a876da8',1,'SVF::PCG']]],
-  ['spawnsitesend_10356',['spawnSitesEnd',['../classSVF_1_1PCG.html#a8dcd94e8f996fdb2197159ea95226817',1,'SVF::PCG']]],
-  ['split_10357',['split',['../classSVF_1_1LockResultValidator.html#ab8a6935e1ea6f99d60ead862a7b1782f',1,'SVF::LockResultValidator::split(const std::string &s, char delim, Set< std::string > &elems)'],['../classSVF_1_1LockResultValidator.html#ad26006e14c866d694bc6e2ebaa41ded9',1,'SVF::LockResultValidator::split(const std::string &s, char delim)'],['../classSVF_1_1MTAResultValidator.html#a73db9ad234b263b6e644e4b38be14fe6',1,'SVF::MTAResultValidator::split(const std::string &s, char delim, std::vector< std::string > &elems)'],['../classSVF_1_1MTAResultValidator.html#a7dad63ce2a85142a56d13926f10fde47',1,'SVF::MTAResultValidator::split(const std::string &s, char delim)'],['../classSVF_1_1MTAResultValidator.html#ab0458d1a3beae85056b1dbe7507fbc59',1,'SVF::MTAResultValidator::split(const std::string &s, char delim, std::vector< std::string > &elems)'],['../classSVF_1_1MTAResultValidator.html#a5edb70bdb93b8258de0ba7122a8707f5',1,'SVF::MTAResultValidator::split(const std::string &s, char delim)'],['../namespaceSVF_1_1SVFUtil.html#ae18227f257c9881541b84ca186680dfd',1,'SVF::SVFUtil::split()']]],
-  ['srcsnkdda_10358',['SrcSnkDDA',['../classSVF_1_1SrcSnkDDA.html#a73f6ddd4ba868e203109c52e4f3600bd',1,'SVF::SrcSnkDDA']]],
-  ['srcsnksolver_10359',['SrcSnkSolver',['../classSVF_1_1SrcSnkSolver.html#a952450652e55f3325f24b8d237d2c37d',1,'SVF::SrcSnkSolver']]],
-  ['ssarename_10360',['SSARename',['../classSVF_1_1MemSSA.html#a16114eb55775f6ee812c1648dcaede0c',1,'SVF::MemSSA']]],
-  ['ssarenamebb_10361',['SSARenameBB',['../classSVF_1_1MemSSA.html#aeb7fc6c7880db45f6d0a90912ac5b5f7',1,'SVF::MemSSA']]],
-  ['startanalysislimittimer_10362',['startAnalysisLimitTimer',['../namespaceSVF_1_1SVFUtil.html#a757815a2c758695176120509ceb0ce70',1,'SVF::SVFUtil']]],
-  ['startclk_10363',['startClk',['../classSVF_1_1SVFStat.html#a730cc814fede3edb563aa9957c869e9e',1,'SVF::SVFStat']]],
-  ['startnewptcompfromloadsrc_10364',['startNewPTCompFromLoadSrc',['../classSVF_1_1DDAVFSolver.html#acd694c2092adf8c516d1aba5f798cec7',1,'SVF::DDAVFSolver']]],
-  ['startnewptcompfromstoredst_10365',['startNewPTCompFromStoreDst',['../classSVF_1_1DDAVFSolver.html#aff744e724dcf06a2b1cdd7ba2b1093f1',1,'SVF::DDAVFSolver']]],
-  ['stataddrvarptssize_10366',['statAddrVarPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a81785227a688389c68171a1fbd55fa9b',1,'SVF::FlowSensitiveStat']]],
-  ['statinit_10367',['statInit',['../classSVF_1_1ThreadAPI.html#a8a4ab0b1dcb2e3897b7740868e0d955d',1,'SVF::ThreadAPI']]],
-  ['statinoutptssize_10368',['statInOutPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a8ae7448f6210b6c759a33e6fc8a8cee8',1,'SVF::FlowSensitiveStat']]],
-  ['statistic_10369',['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_10370',['statNullPtr',['../classSVF_1_1AndersenStat.html#a898f091cd9aeed4b0cf5b338b8a3b1d3',1,'SVF::AndersenStat::statNullPtr()'],['../classSVF_1_1FlowSensitiveStat.html#a36f7be42772b2df6f7594c51b7dc4770',1,'SVF::FlowSensitiveStat::statNullPtr()']]],
-  ['statptssize_10371',['statPtsSize',['../classSVF_1_1FlowSensitiveStat.html#af51e5b90f7bc52e3657a708c7bc5bb75',1,'SVF::FlowSensitiveStat']]],
-  ['steensgaard_10372',['Steensgaard',['../classSVF_1_1Steensgaard.html#ac79e21396243dfa969136daee5ecdbd4',1,'SVF::Steensgaard']]],
-  ['stinfo_10373',['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_10374',['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_10375',['StmtVFGNode',['../classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d',1,'SVF::StmtVFGNode']]],
-  ['stopanalysislimittimer_10376',['stopAnalysisLimitTimer',['../namespaceSVF_1_1SVFUtil.html#a168f7f7a3a8c70dbf2b5b4269cd4c7c5',1,'SVF::SVFUtil']]],
-  ['store_10377',['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_10378',['storeAddrs',['../classSVF_1_1ExeState.html#a99f4437a7e350fec131d48f52082d672',1,'SVF::ExeState']]],
-  ['storecgedge_10379',['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_10380',['StoreCHI',['../classSVF_1_1StoreCHI.html#a83f353ef765d6c57b07d9f1996e02444',1,'SVF::StoreCHI']]],
-  ['storestmt_10381',['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_10382',['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_10383',['strcasestr',['../extapi_8c.html#ae9229017a4501f8d6a637b4498cfed2e',1,'extapi.c']]],
-  ['strchr_10384',['strchr',['../extapi_8c.html#afcd97f487174f9092b0f23c7ac78a55a',1,'extapi.c']]],
-  ['strerror_5fr_10385',['strerror_r',['../extapi_8c.html#a5db20599ab5cff2baa37f783221b3606',1,'extapi.c']]],
-  ['stripallcasts_10386',['stripAllCasts',['../namespaceSVF_1_1LLVMUtil.html#a38ce45ae5f017c90115ce444b44d478c',1,'SVF::LLVMUtil']]],
-  ['striparray_10387',['stripArray',['../classSVF_1_1DCHGraph.html#a6c276e661e5e63c1c84387f84c8a62e4',1,'SVF::DCHGraph']]],
-  ['stripconstantcasts_10388',['stripConstantCasts',['../namespaceSVF_1_1LLVMUtil.html#a07bd47ccfd02c5a2a6db26b537b2184f',1,'SVF::LLVMUtil']]],
-  ['stripqualifiers_10389',['stripQualifiers',['../classSVF_1_1DCHGraph.html#a175ed6ad0c9b23d5617f755ab96c76c4',1,'SVF::DCHGraph']]],
-  ['stripspace_10390',['stripSpace',['../classSVF_1_1GrammarBuilder.html#a6de372fbe80d33a5688cada0adca0bb8',1,'SVF::GrammarBuilder']]],
-  ['strongupdateoutfromin_10391',['strongUpdateOutFromIn',['../classSVF_1_1FlowSensitive.html#a8ebe4342c1496b906ee1b6450558c3e8',1,'SVF::FlowSensitive']]],
-  ['strpbrk_10392',['strpbrk',['../extapi_8c.html#a577b071bee67af4464665a1dc4f024e2',1,'extapi.c']]],
-  ['strptime_10393',['strptime',['../extapi_8c.html#aab53cb0be9d04d5bbbff4e412ba99f5b',1,'extapi.c']]],
-  ['strrchr_10394',['strrchr',['../extapi_8c.html#a9b5ffb90d9a30625617401e6a5999e85',1,'extapi.c']]],
-  ['strsep_10395',['strsep',['../extapi_8c.html#a93c766c6e86f4f79e7507c21f1794e15',1,'extapi.c']]],
-  ['strstr_10396',['strstr',['../extapi_8c.html#a4a710d86541afc6b7dafddcdb4b1c94f',1,'extapi.c']]],
-  ['strtod_10397',['strtod',['../extapi_8c.html#ab017280f95ea769b9422688105f02653',1,'extapi.c']]],
-  ['strtod_5fl_10398',['strtod_l',['../extapi_8c.html#a65fbe99baad4213df4fb26c4d934ffe3',1,'extapi.c']]],
-  ['strtof_10399',['strtof',['../extapi_8c.html#a2370632318c3797a314f8eb62d37947c',1,'extapi.c']]],
-  ['strtof_5fl_10400',['strtof_l',['../extapi_8c.html#a23a39e17fed1b7a7676bda56575e0c2c',1,'extapi.c']]],
-  ['strtok_10401',['strtok',['../extapi_8c.html#a8cb460f64c449f2a9b9b7a40569ce0fe',1,'extapi.c']]],
-  ['strtok_5fr_10402',['strtok_r',['../extapi_8c.html#ab11d86a2a3af0a355cad2337c6f4e9f7',1,'extapi.c']]],
-  ['strtokind_10403',['strToKind',['../classSVF_1_1GrammarBase.html#a3aae4b70e2ee0238808a2126265a2e24',1,'SVF::GrammarBase']]],
-  ['strtol_10404',['strtol',['../extapi_8c.html#a2ce966cd04da3c32320f54c332569e03',1,'extapi.c']]],
-  ['strtold_10405',['strtold',['../extapi_8c.html#a2fb0bb1a4be5c0865b119ce0d89145a7',1,'extapi.c']]],
-  ['strtoll_10406',['strtoll',['../extapi_8c.html#a11dd8f0251a1b6e05a9b4a031a1129c2',1,'extapi.c']]],
-  ['strtosymbol_10407',['strToSymbol',['../classSVF_1_1GrammarBase.html#a4826df2851cedaa92e3ab10feee9f583',1,'SVF::GrammarBase']]],
-  ['strtoul_10408',['strtoul',['../extapi_8c.html#aa7d767d03ce3929978c28f64e3a4b222',1,'extapi.c']]],
-  ['strtoull_10409',['strtoull',['../extapi_8c.html#a400239674c2feb4a690bb4178125eae0',1,'extapi.c']]],
-  ['strtrans_10410',['strTrans',['../classSVF_1_1CFGNormalizer.html#aea5ebe156b9536c617fc9c6acac00a61',1,'SVF::CFGNormalizer']]],
-  ['subnodes_10411',['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_10412',['sucMsg',['../namespaceSVF_1_1SVFUtil.html#a05dc00b2bd9a8176aae31b6cfffe725d',1,'SVF::SVFUtil']]],
-  ['suffix_5fobject_10413',['suffix_object',['../cJSON_8cpp.html#a5d61bcc0045ace88c2ae04f0928eeace',1,'cJSON.cpp']]],
-  ['svfargument_10414',['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_10415',['SVFArrayType',['../classSVF_1_1SVFArrayType.html#a0bd51b8ae0f3601da2dc6d31757c01a3',1,'SVF::SVFArrayType']]],
-  ['svfbasicblock_10416',['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_10417',['SVFBlackHoleValue',['../classSVF_1_1SVFBlackHoleValue.html#ac057a29cad0944d1b359e6cd23adcec2',1,'SVF::SVFBlackHoleValue::SVFBlackHoleValue(const SVFType *ty)'],['../classSVF_1_1SVFBlackHoleValue.html#a6d94a1c1c0f229165e3327a09521e28c',1,'SVF::SVFBlackHoleValue::SVFBlackHoleValue()=delete']]],
-  ['svfbugevent_10418',['SVFBugEvent',['../classSVF_1_1SVFBugEvent.html#af012270169f767655456ae0e09add06a',1,'SVF::SVFBugEvent']]],
-  ['svfbugreport_10419',['SVFBugReport',['../classSVF_1_1SVFBugReport.html#af163790aa2065d72be8c31c281abee20',1,'SVF::SVFBugReport']]],
-  ['svfcallinst_10420',['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_10421',['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_10422',['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_10423',['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_10424',['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_10425',['SVFConstantNullPtr',['../classSVF_1_1SVFConstantNullPtr.html#a299954e2cad5ee41b51fcff4a92439b3',1,'SVF::SVFConstantNullPtr::SVFConstantNullPtr(const SVFType *ty)'],['../classSVF_1_1SVFConstantNullPtr.html#ae853223a57df1816c3d382113b7b7b70',1,'SVF::SVFConstantNullPtr::SVFConstantNullPtr()=delete']]],
-  ['svffunction_10426',['SVFFunction',['../classSVF_1_1SVFFunction.html#a0cf5ddbb884a0a99f43b7741f1ce2786',1,'SVF::SVFFunction::SVFFunction(const SVFType *ty, const SVFFunctionType *ft, bool declare, bool intrinsic, bool addrTaken, bool varg, SVFLoopAndDomInfo *ld, std::vector< std::string > annos)'],['../classSVF_1_1SVFFunction.html#a7e965c21a8afe7fca32d0f41b16361cf',1,'SVF::SVFFunction::SVFFunction(void)=delete']]],
-  ['svffunctiontype_10427',['SVFFunctionType',['../classSVF_1_1SVFFunctionType.html#af4bacdbcf4867575f6f27fc26aa66bbe',1,'SVF::SVFFunctionType']]],
-  ['svfg_10428',['SVFG',['../classSVF_1_1SVFG.html#a07d48490eda50ee6d31f295150409cf3',1,'SVF::SVFG']]],
-  ['svfgbuilder_10429',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html#a003c6d9e13e5f73e0648d97400f1854e',1,'SVF::SVFGBuilder']]],
-  ['svfglobalvalue_10430',['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_10431',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a43f4d595b31259576b141cb99883938e',1,'SVF::SVFGNodeLockSpan']]],
-  ['svfgopt_10432',['SVFGOPT',['../classSVF_1_1SVFGOPT.html#a64c300c8a9f8cc2ac13eef65c1108d01',1,'SVF::SVFGOPT']]],
-  ['svfgsccdetection_10433',['SVFGSCCDetection',['../classSVF_1_1DDAVFSolver.html#aba0ec611a5cfd096ac0b8b11e0bd5580',1,'SVF::DDAVFSolver']]],
-  ['svfgstat_10434',['SVFGStat',['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()'],['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()']]],
-  ['svfinstruction_10435',['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_10436',['SVFIntegerType',['../classSVF_1_1SVFIntegerType.html#aa7679a15dff308f24c3d75840c518e5e',1,'SVF::SVFIntegerType']]],
-  ['svfir_10437',['SVFIR',['../classSVF_1_1SVFIR.html#abf511f82cdbf7a6d9b6da167aee57636',1,'SVF::SVFIR']]],
-  ['svfir2consexestate_10438',['SVFIR2ConsExeState',['../classSVF_1_1SVFIR2ConsExeState.html#a3575711760c3973aef0061975ca9436a',1,'SVF::SVFIR2ConsExeState']]],
-  ['svfir2itvexestate_10439',['SVFIR2ItvExeState',['../classSVF_1_1SVFIR2ItvExeState.html#a3c9285321cc0c4e1c46a31be9433192f',1,'SVF::SVFIR2ItvExeState']]],
-  ['svfirbuilder_10440',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html#a1ecae204a349b69031f0edd7df7ca708',1,'SVF::SVFIRBuilder']]],
-  ['svfirwriter_10441',['SVFIRWriter',['../classSVF_1_1SVFIRWriter.html#a9994b9a6ddf4c852570bee918cb9de34',1,'SVF::SVFIRWriter']]],
-  ['svfloop_10442',['SVFLoop',['../classSVF_1_1SVFLoop.html#a25b9a079f48aa0374c91be6a1e9697f8',1,'SVF::SVFLoop']]],
-  ['svfloopanddominfo_10443',['SVFLoopAndDomInfo',['../classSVF_1_1SVFLoopAndDomInfo.html#a2b5c892437d21ece0a9e0ae7a285b622',1,'SVF::SVFLoopAndDomInfo']]],
-  ['svfmetadataasvalue_10444',['SVFMetadataAsValue',['../classSVF_1_1SVFMetadataAsValue.html#a98acb125d1694aa233538de7618739bf',1,'SVF::SVFMetadataAsValue::SVFMetadataAsValue(const SVFType *ty)'],['../classSVF_1_1SVFMetadataAsValue.html#adc92d08f450556000a4386294c6c4370',1,'SVF::SVFMetadataAsValue::SVFMetadataAsValue()=delete']]],
-  ['svfmodule_10445',['SVFModule',['../classSVF_1_1SVFModule.html#a0438953758cecab4ebe1b48895639eb8',1,'SVF::SVFModule']]],
-  ['svfmodulewriter_10446',['SVFModuleWriter',['../classSVF_1_1SVFModuleWriter.html#a915ae39b2cb537e0137f5af496b10b10',1,'SVF::SVFModuleWriter']]],
-  ['svfothertype_10447',['SVFOtherType',['../classSVF_1_1SVFOtherType.html#a4811e1d34753e19e27d552a254f0d0af',1,'SVF::SVFOtherType']]],
-  ['svfothervalue_10448',['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_10449',['SVFPointerType',['../classSVF_1_1SVFPointerType.html#a2ce46de03df7896cc43e466189ba6ba2',1,'SVF::SVFPointerType']]],
-  ['svfstat_10450',['SVFStat',['../classSVF_1_1SVFStat.html#ad22433722f7c71df19a891a5b5039d26',1,'SVF::SVFStat']]],
-  ['svfstmt_10451',['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_10452',['SVFStructType',['../classSVF_1_1SVFStructType.html#adf471a114f91b87ea9bb981441babb24',1,'SVF::SVFStructType']]],
-  ['svftype_10453',['SVFType',['../classSVF_1_1SVFType.html#a3afd7c9a47ab7cd96d9bfc5fc8c473a4',1,'SVF::SVFType::SVFType(bool svt, SVFTyKind k, u32_t Sz)'],['../classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202',1,'SVF::SVFType::SVFType(void)=delete']]],
-  ['svfvalue_10454',['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_10455',['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_10456',['SVFVirtualCallInst',['../classSVF_1_1SVFVirtualCallInst.html#a57fa2d35c2df09e607b5d23852fca2fd',1,'SVF::SVFVirtualCallInst']]],
-  ['symblicabstractiontest_10457',['SymblicAbstractionTest',['../classSymblicAbstractionTest.html#a257f62679b2ee86ffbadf33ca5031ed1',1,'SymblicAbstractionTest']]],
-  ['symbol_10458',['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_10459',['SymbolInfo',['../classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11',1,'SVF::SymbolTableInfo']]],
-  ['symboltablebuilder_10460',['SymbolTableBuilder',['../classSVF_1_1SymbolTableBuilder.html#ad39b982a2a91a10b4f22ee6150e9cebf',1,'SVF::SymbolTableBuilder']]],
-  ['symboltableinfo_10461',['SymbolTableInfo',['../classSVF_1_1SymbolTableInfo.html#aff272bc1d00f2e57b7677d1826a31237',1,'SVF::SymbolTableInfo']]],
-  ['symstate_10462',['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_10463',['symToStrDump',['../classSVF_1_1GrammarBase.html#a49aad1a3620735a2929795df3d23ba38',1,'SVF::GrammarBase']]],
-  ['szudzik_10464',['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_10174',['SaberCheckerAPI',['../classSVF_1_1SaberCheckerAPI.html#afdd2f15bb46594a61a3c552899215806',1,'SVF::SaberCheckerAPI']]],
+  ['sabercondallocator_10175',['SaberCondAllocator',['../classSVF_1_1SaberCondAllocator.html#a4b1625597c6b331dfe0e8ceef95731b5',1,'SVF::SaberCondAllocator']]],
+  ['sabersvfgbuilder_10176',['SaberSVFGBuilder',['../classSVF_1_1SaberSVFGBuilder.html#aa66cd30067d39f2083fb671fdc43beb4',1,'SVF::SaberSVFGBuilder']]],
+  ['samelooptripcount_10177',['sameLoopTripCount',['../classSVF_1_1ForkJoinAnalysis.html#a28e50b1ffdcdaba57d3515a5f6410c86',1,'SVF::ForkJoinAnalysis']]],
+  ['sanitizepts_10178',['sanitizePts',['../classSVF_1_1Andersen.html#a308ef1f3a1c9fd7ac1858d0c690aa37a',1,'SVF::Andersen']]],
+  ['sanitycheck_10179',['sanityCheck',['../classSVF_1_1SVFIRBuilder.html#a09baa8c7246853c3faaed85b38f0da60',1,'SVF::SVFIRBuilder']]],
+  ['saveid_10180',['saveID',['../classSVF_1_1WriterPtrPool.html#a99162b81da24cf79d1252c18573038d4',1,'SVF::WriterPtrPool']]],
+  ['savetogenericgraph_10181',['saveToGenericGraph',['../classSVF_1_1GenericGraphReader.html#a337b37b2d78cfaa756f44dee76fb187f',1,'SVF::GenericGraphReader']]],
+  ['savetoidtoobjmap_10182',['saveToIDToObjMap',['../classSVF_1_1ReaderIDToObjMap.html#a8c39d643a10d83a7f525ace9a002844c',1,'SVF::ReaderIDToObjMap']]],
+  ['savetoset_10183',['saveToSet',['../classSVF_1_1ReaderPtrPool.html#a8a766e643ac79dc023ff58e1883c9626',1,'SVF::ReaderPtrPool']]],
+  ['sccdetect_10184',['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_10185',['SCCDetection',['../classSVF_1_1SCCDetection.html#a1bd915ba4079ddd5dd6e57a88129ffee',1,'SVF::SCCDetection']]],
+  ['sccrepnode_10186',['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_10187',['sccSubNodes',['../classSVF_1_1ConstraintGraph.html#aed605b010e313f4b11e95b83fe50e3b3',1,'SVF::ConstraintGraph::sccSubNodes()'],['../classSVF_1_1Andersen.html#acd2feff818906db49a1bb2d94c33db5f',1,'SVF::Andersen::sccSubNodes()']]],
+  ['selectclient_10188',['selectClient',['../classSVF_1_1DDAPass.html#aa33694e0b5f30c451c229e92877e4842',1,'SVF::DDAPass']]],
+  ['selectstmt_10189',['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_10190',['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_10191',['set_minus_infinite',['../classSVF_1_1BoundedZ3Expr.html#ae76bf19d580cbc12a40f7c1823165178',1,'SVF::BoundedZ3Expr']]],
+  ['set_5fplus_5finfinite_10192',['set_plus_infinite',['../classSVF_1_1BoundedZ3Expr.html#ad781e43e6d1e1fd2392e51737b7898b9',1,'SVF::BoundedZ3Expr']]],
+  ['set_5fto_5fbottom_10193',['set_to_bottom',['../classSVF_1_1IntervalValue.html#ac763bab0b6fedbe5ec5b345c7b260e30',1,'SVF::IntervalValue']]],
+  ['set_5fto_5ftop_10194',['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_10195',['setAbsState',['../classSVF_1_1SymState.html#a1f946132843a9bdf5099b243613079be',1,'SVF::SymState']]],
+  ['setactualindef_10196',['setActualINDef',['../classSVF_1_1SVFGOPT.html#a490695ab536cd455c531fbdc57499cac',1,'SVF::SVFGOPT']]],
+  ['setallreachable_10197',['setAllReachable',['../classSVF_1_1ProgSlice.html#ae6102647fa4985142c293116516612cd',1,'SVF::ProgSlice']]],
+  ['setattributekinds_10198',['setAttributeKinds',['../classSVF_1_1GrammarBase.html#a1e1bf1e32bcd7c68ce789c2f9f6327c0',1,'SVF::GrammarBase']]],
+  ['setbasenode_10199',['setBaseNode',['../classSVF_1_1GepObjVar.html#a5e371fae7592d763661a7cb777107ff4',1,'SVF::GepObjVar']]],
+  ['setbb_10200',['setBB',['../classSVF_1_1SVFStmt.html#a0e45ab5b38059371c47d5f2011118a4d',1,'SVF::SVFStmt']]],
+  ['setbottom_10201',['setBottom',['../classSVF_1_1AddressValue.html#a77d6a1706328d86b210b26bacaf2fa9f',1,'SVF::AddressValue']]],
+  ['setbranchcond_10202',['setBranchCond',['../classSVF_1_1SaberCondAllocator.html#a5012a977e0db66a2ae111d4164936037',1,'SVF::SaberCondAllocator']]],
+  ['setbranchcondition_10203',['setBranchCondition',['../classSVF_1_1SymState.html#aae6109025931aea5d066a62058f584a6',1,'SVF::SymState::setBranchCondition()'],['../classSVF_1_1IntraCFGEdge.html#ad7b35b7c9abb07122eaa8517dae56508',1,'SVF::IntraCFGEdge::setBranchCondition()']]],
+  ['setbytesizeofobj_10204',['setByteSizeOfObj',['../classSVF_1_1ObjTypeInfo.html#ac093156bfb46c07675ae201f449cdca0',1,'SVF::ObjTypeInfo']]],
+  ['setcalledoperand_10205',['setCalledOperand',['../classSVF_1_1SVFCallInst.html#a6dd304f555d2d2388c4430e57b0d2b91',1,'SVF::SVFCallInst']]],
+  ['setcallgraph_10206',['setCallGraph',['../classSVF_1_1DDAVFSolver.html#afc2b0eeb1d5d5f292690f3c949217c38',1,'SVF::DDAVFSolver']]],
+  ['setcallgraphscc_10207',['setCallGraphSCC',['../classSVF_1_1DDAVFSolver.html#abd652b2627f68d7d4f8bf3bdb20ce975',1,'SVF::DDAVFSolver']]],
+  ['setcdn_10208',['setCDN',['../classSVF_1_1CFBasicBlockGWTO.html#a49d0128828b44df0a8631dd193ed8898',1,'SVF::CFBasicBlockGWTO']]],
+  ['setcfcond_10209',['setCFCond',['../classSVF_1_1SaberCondAllocator.html#a9c1660f4a9ecc161c0fb97c735a690b9',1,'SVF::SaberCondAllocator']]],
+  ['setchg_10210',['setCHG',['../classSVF_1_1SVFIR.html#aa14f6cde41bcac27ce2f66c6b33ee410',1,'SVF::SVFIR']]],
+  ['setcondinst_10211',['setCondInst',['../classSVF_1_1SaberCondAllocator.html#a97d540340f9039b3f8bd1527fc7d7ebb',1,'SVF::SaberCondAllocator']]],
+  ['setconstdataoraggdata_10212',['setConstDataOrAggData',['../classSVF_1_1SVFValue.html#afe1de41ca3215b325d0ca61814c6bd6b',1,'SVF::SVFValue']]],
+  ['setconsume_10213',['setConsume',['../classSVF_1_1VersionedFlowSensitive.html#aabc0a5a7a31b8d880e019773ba960741',1,'SVF::VersionedFlowSensitive']]],
+  ['setcurevalsvfgnode_10214',['setCurEvalSVFGNode',['../classSVF_1_1SaberCondAllocator.html#ae717f565b947a72651c0de19bf6bcca0',1,'SVF::SaberCondAllocator']]],
+  ['setcurnodeid_10215',['setCurNodeID',['../classSVF_1_1DPItem.html#a5fbde30cae2cb09bd9dc9a6969ea4b90',1,'SVF::DPItem']]],
+  ['setcurrentbbandvalueforpagedge_10216',['setCurrentBBAndValueForPAGEdge',['../classSVF_1_1SVFIRBuilder.html#abc394c99f0905c958a230412134eda01',1,'SVF::SVFIRBuilder']]],
+  ['setcurrentbestnodemapping_10217',['setCurrentBestNodeMapping',['../classSVF_1_1PointsTo.html#a84eca4c7fc833f8ca4d119cd4da08ca8',1,'SVF::PointsTo']]],
+  ['setcurrentlocation_10218',['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_10219',['setCurrentQueryPtr',['../classSVF_1_1DDAClient.html#a3fbe4ffde0a14b2db40189883d49237f',1,'SVF::DDAClient']]],
+  ['setcurrentscc_10220',['setCurrentSCC',['../classSVF_1_1WPASCCSolver.html#a782121c831536e231f5b287629defef7',1,'SVF::WPASCCSolver']]],
+  ['setcurslice_10221',['setCurSlice',['../classSVF_1_1SrcSnkDDA.html#ab35c0d1f02c83a2c10717905f1abf5cd',1,'SVF::SrcSnkDDA']]],
+  ['setcursvfgnode_10222',['setCurSVFGNode',['../classSVF_1_1ProgSlice.html#aee72d029c185c24b2bf01cdc0dcb25d8',1,'SVF::ProgSlice']]],
+  ['setddastat_10223',['setDDAStat',['../classSVF_1_1DDAVFSolver.html#adcb641eec4f620effdb3f61a46429f40',1,'SVF::DDAVFSolver']]],
+  ['setdef_10224',['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_10225',['setDefFunForMultipleModule',['../classSVF_1_1SVFFunction.html#af1c181322926639bd99bbe58a8df70ab',1,'SVF::SVFFunction']]],
+  ['setdefglobalformultiplemodule_10226',['setDefGlobalForMultipleModule',['../classSVF_1_1SVFGlobalValue.html#a72c43f12f42a73dc28855c425fe5543a',1,'SVF::SVFGlobalValue']]],
+  ['setdetectpwc_10227',['setDetectPWC',['../classSVF_1_1Andersen.html#a1462bdde3748b1513e92a119b8a43794',1,'SVF::Andersen']]],
+  ['setebnfsigns_10228',['setEBNFSigns',['../classSVF_1_1GrammarBase.html#ad87ca88d62e7bc3a189652c707a72e12',1,'SVF::GrammarBase']]],
+  ['setec_10229',['setEC',['../classSVF_1_1Steensgaard.html#aa283cff49b0d340956649a95465b82b6',1,'SVF::Steensgaard']]],
+  ['setedgeflag_10230',['setEdgeFlag',['../classSVF_1_1SVFIRReader.html#aec95a42a5e46be50457fb3a8e9de7fbf',1,'SVF::SVFIRReader']]],
+  ['setes_10231',['setEs',['../classSVF_1_1SVFIR2ConsExeState.html#a7421cab74f02c7ab54aefb3242ed6c77',1,'SVF::SVFIR2ConsExeState::setEs()'],['../classSVF_1_1SVFIR2ItvExeState.html#a2e9ecde8db07741daa112649c432cbfd',1,'SVF::SVFIR2ItvExeState::setEs()']]],
+  ['setexitblock_10232',['setExitBlock',['../classSVF_1_1SVFFunction.html#abd458bb5a035d3f7db32fac5f01b57f3',1,'SVF::SVFFunction']]],
+  ['setextbcpath_10233',['setExtBcPath',['../classSVF_1_1ExtAPI.html#ac0dc697b93f41b1e094a9be8baf4a103',1,'SVF::ExtAPI']]],
+  ['setfieldinsensitive_10234',['setFieldInsensitive',['../classSVF_1_1MemObj.html#ab9637ea9acd1f8ae4933b4ab2b997e5c',1,'SVF::MemObj']]],
+  ['setfieldsensitive_10235',['setFieldSensitive',['../classSVF_1_1MemObj.html#a981b7424901ef74467f725ffc9fec0ca',1,'SVF::MemObj']]],
+  ['setfinalcond_10236',['setFinalCond',['../classSVF_1_1ProgSlice.html#af55830503ef47b4b1c15c0e5b3cd6a3f',1,'SVF::ProgSlice']]],
+  ['setflag_10237',['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_10238',['setFldIdx',['../classSVF_1_1AccessPath.html#ab95df74c97fba13206df48e00131e15f',1,'SVF::AccessPath']]],
+  ['setformaloutdef_10239',['setFormalOUTDef',['../classSVF_1_1SVFGOPT.html#a3e2b811dd939c93bcf9fb94e91d553b1',1,'SVF::SVFGOPT']]],
+  ['setfunidxinvtable_10240',['setFunIdxInVtable',['../classSVF_1_1SVFVirtualCallInst.html#a947d6ca3695477fb5b36b46fa4899fb7',1,'SVF::SVFVirtualCallInst']]],
+  ['setfunnameofvirtualcall_10241',['setFunNameOfVirtualCall',['../classSVF_1_1SVFVirtualCallInst.html#adf936a7ee01d9c4662e31a5022ae94c0',1,'SVF::SVFVirtualCallInst']]],
+  ['setgraph_10242',['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_10243',['setICFG',['../classSVF_1_1SVFIR.html#a756ae2b40ec29f2f92c95919f615e5ec',1,'SVF::SVFIR']]],
+  ['seticfgnode_10244',['setICFGNode',['../classSVF_1_1VFGNode.html#a9c95dd4f0e70ccc4a03282cdddba95de',1,'SVF::VFGNode::setICFGNode()'],['../classSVF_1_1SVFStmt.html#adb92a92f5c878576dff26cb38eab8c8c',1,'SVF::SVFStmt::setICFGNode()']]],
+  ['setincycle_10245',['setIncycle',['../classSVF_1_1CxtThread.html#adde663205c3ecc5a2e01b18bc305d5cb',1,'SVF::CxtThread']]],
+  ['setinloop_10246',['setInloop',['../classSVF_1_1CxtThread.html#aa4e1a9babb249a005e8dfae8cb83df21',1,'SVF::CxtThread']]],
+  ['setinscc_10247',['setInSCC',['../classSVF_1_1SCCDetection.html#aafe9ae9d158480e6a04803b25b61083e',1,'SVF::SCCDetection']]],
+  ['setisnotret_10248',['setIsNotRet',['../classSVF_1_1SVFFunction.html#aaddef080cdc8e4080fc2da1e3cf92deb',1,'SVF::SVFFunction']]],
+  ['setisuncalledfunction_10249',['setIsUncalledFunction',['../classSVF_1_1SVFFunction.html#a37f89063b55ff657a07e186224338ce8',1,'SVF::SVFFunction']]],
+  ['setkeynodesset_10250',['setKeyNodesSet',['../classSVF_1_1SymState.html#a2b4bdce23c28d5f635db6b48ce9aba11',1,'SVF::SymState']]],
+  ['setkindtoattrsmap_10251',['setKindToAttrsMap',['../classSVF_1_1GrammarBase.html#a082342020848e545c983df4d5ec6720a',1,'SVF::GrammarBase']]],
+  ['setlb_10252',['setLb',['../classSVF_1_1IntervalValue.html#adf3cae41adaeb62c3b5da19e81adbb5d',1,'SVF::IntervalValue']]],
+  ['setloc_10253',['setLoc',['../classSVF_1_1StmtDPItem.html#a9ba9ab1013a36530369aa6d684397f4f',1,'SVF::StmtDPItem']]],
+  ['setlocale_10254',['setlocale',['../extapi_8c.html#afe784c4f5d12b74272740c5211c960c5',1,'extapi.c']]],
+  ['setlocvar_10255',['setLocVar',['../classSVF_1_1StmtDPItem.html#a3feb4bc8e003cfdd30c1b2cfb2219efb',1,'SVF::StmtDPItem']]],
+  ['setloopbound_10256',['setLoopBound',['../classSVF_1_1SVFLoop.html#af594a873db7d6dbbcf25176da45fba80',1,'SVF::SVFLoop']]],
+  ['setmaxbudget_10257',['setMaxBudget',['../classSVF_1_1DPItem.html#a687ef8944ccb55b826508c47ea5b9240',1,'SVF::DPItem']]],
+  ['setmaxcxtlen_10258',['setMaxCxtLen',['../classSVF_1_1ContextCond.html#a92e89bbae0f31bb9eb971ab3edcc8071',1,'SVF::ContextCond']]],
+  ['setmaxfieldoffsetlimit_10259',['setMaxFieldOffsetLimit',['../classSVF_1_1ObjTypeInfo.html#a9fff869c63776c6ebeff78933e0f6092',1,'SVF::ObjTypeInfo']]],
+  ['setmaxpathlen_10260',['setMaxPathLen',['../classSVF_1_1ContextCond.html#a084679a423e78217ca10794775c25b1d',1,'SVF::ContextCond']]],
+  ['setmemusageafter_10261',['setMemUsageAfter',['../classSVF_1_1PTAStat.html#a286e5985644f2bc13abbceaa2b586c92',1,'SVF::PTAStat']]],
+  ['setmemusagebefore_10262',['setMemUsageBefore',['../classSVF_1_1PTAStat.html#a206fdc31ee7bd8fce1695847c40785e0',1,'SVF::PTAStat']]],
+  ['setmodelconstants_10263',['setModelConstants',['../classSVF_1_1SymbolTableInfo.html#a4decfc9e7f5dc096d7bfa42d6965763d',1,'SVF::SymbolTableInfo']]],
+  ['setmodule_10264',['setModule',['../classSVF_1_1SVFIR.html#a52bea4a99022b036104751cafa9152b1',1,'SVF::SVFIR::setModule()'],['../classSVF_1_1SymbolTableInfo.html#a4f916c64ca04c4db30bd19fb8505724d',1,'SVF::SymbolTableInfo::setModule()']]],
+  ['setmoduleidentifier_10265',['setModuleIdentifier',['../classSVF_1_1SVFModule.html#acaba1ff38ed1fdd8a9a1251a1b36be92',1,'SVF::SVFModule']]],
+  ['setmultiforked_10266',['setMultiforked',['../classSVF_1_1TCTNode.html#a0fafde34cdffde6d38bb9efca9b7a9a1',1,'SVF::TCTNode']]],
+  ['setmultiforkedattrs_10267',['setMultiForkedAttrs',['../classSVF_1_1TCT.html#a11e36f9b58646dee4014e12e55c70508',1,'SVF::TCT']]],
+  ['setmultiinheritance_10268',['setMultiInheritance',['../classSVF_1_1DCHNode.html#a798e80f0cc5951789474abc3a0999166',1,'SVF::DCHNode::setMultiInheritance()'],['../classSVF_1_1CHNode.html#a5d751a3a0d88c0de374bfeb526051440',1,'SVF::CHNode::setMultiInheritance()']]],
+  ['setname_10269',['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_10270',['setNegCondInst',['../classSVF_1_1SaberCondAllocator.html#ae8858c45c7406842ca967ed14f0b58e5',1,'SVF::SaberCondAllocator']]],
+  ['setnodenumafterpagbuild_10271',['setNodeNumAfterPAGBuild',['../classSVF_1_1IRGraph.html#a5fe12445ed0528183775747dec356db0',1,'SVF::IRGraph']]],
+  ['setnonconcretecxt_10272',['setNonConcreteCxt',['../classSVF_1_1ContextCond.html#ac80892cbef7a5d2c949e5f07682bc885',1,'SVF::ContextCond']]],
+  ['setnonterminals_10273',['setNonterminals',['../classSVF_1_1GrammarBase.html#afc9635e14b5871df457bf64fae6ad8cf',1,'SVF::GrammarBase']]],
+  ['setnumofelement_10274',['setNumOfElement',['../classSVF_1_1SVFArrayType.html#a986fc835f2e082796ecf1fd3b7f769b6',1,'SVF::SVFArrayType']]],
+  ['setnumofelements_10275',['setNumOfElements',['../classSVF_1_1MemObj.html#a904c5a96407574565e9c48eb2d31e869',1,'SVF::MemObj::setNumOfElements()'],['../classSVF_1_1ObjTypeInfo.html#aff17d13e520a731accedd06350af6221',1,'SVF::ObjTypeInfo::setNumOfElements()']]],
+  ['setnumoffieldsandelems_10276',['setNumOfFieldsAndElems',['../classSVF_1_1StInfo.html#a1a07c2b1415c29d7d70791c6dfe602a3',1,'SVF::StInfo']]],
+  ['setobjfieldinsensitive_10277',['setObjFieldInsensitive',['../classSVF_1_1PointerAnalysis.html#ac5683fe2e24b393ccc5cb6d8bc92cf2b',1,'SVF::PointerAnalysis']]],
+  ['setoffset_10278',['setOffset',['../classSVF_1_1DCHEdge.html#a70f757826082c95766c8324c1264e977',1,'SVF::DCHEdge']]],
+  ['setopver_10279',['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_10280',['setOpVerAndBB',['../classSVF_1_1IntraPHIVFGNode.html#a7e5fd83393224ece808de83cbf496882',1,'SVF::IntraPHIVFGNode']]],
+  ['setpag_10281',['setPAG',['../classSVF_1_1DDAClient.html#a21badb317a249bbb506615182671b32c',1,'SVF::DDAClient']]],
+  ['setpagfromtxt_10282',['setPagFromTXT',['../classSVF_1_1SVFModule.html#a7af3076a26060090377d1f74293560fe',1,'SVF::SVFModule']]],
+  ['setpartialreachable_10283',['setPartialReachable',['../classSVF_1_1ProgSlice.html#af6f137be08ca0e743424ff07d679777d',1,'SVF::ProgSlice']]],
+  ['setpointerto_10284',['setPointerTo',['../classSVF_1_1SVFType.html#a3ddabbd763acaaca28cacbabe5bc7f3b',1,'SVF::SVFType']]],
+  ['setptrelementtype_10285',['setPtrElementType',['../classSVF_1_1SVFPointerType.html#aaaa79de3df0f6764bfd3d2e487ea7a09',1,'SVF::SVFPointerType']]],
+  ['setptrinuncalledfunction_10286',['setPtrInUncalledFunction',['../classSVF_1_1SVFValue.html#ac2e5c42d0ac92375c88ef5b3f1b65dc4',1,'SVF::SVFValue']]],
+  ['setpureabstract_10287',['setPureAbstract',['../classSVF_1_1DCHNode.html#afa271fdb9c1aa3589f41655813a2de8e',1,'SVF::DCHNode::setPureAbstract()'],['../classSVF_1_1CHNode.html#abac89987927dadd53dd646eae540a024',1,'SVF::CHNode::setPureAbstract()']]],
+  ['setpwcnode_10288',['setPWCNode',['../classSVF_1_1ConstraintGraph.html#a03f9fe8ae7094c39937f47f422276724',1,'SVF::ConstraintGraph::setPWCNode()'],['../classSVF_1_1ConstraintNode.html#ad8701df90d93c5dfed26cff8f0b2fbb3',1,'SVF::ConstraintNode::setPWCNode()']]],
+  ['setquery_10289',['setQuery',['../classSVF_1_1DDAClient.html#a3d0f732e284f3237287b375582c0aa88',1,'SVF::DDAClient']]],
+  ['setrawproductions_10290',['setRawProductions',['../classSVF_1_1GrammarBase.html#a2eb6ab294093710ca1dc119836adff5a',1,'SVF::GrammarBase']]],
+  ['setreachablebbs_10291',['setReachableBBs',['../classSVF_1_1SVFLoopAndDomInfo.html#acc409e328f641a2c9512beeb727f58c7',1,'SVF::SVFLoopAndDomInfo']]],
+  ['setreachglobal_10292',['setReachGlobal',['../classSVF_1_1ProgSlice.html#a397632ce0c523c4a54c5dc578606d14d',1,'SVF::ProgSlice']]],
+  ['setreles_10293',['setRelEs',['../classSVF_1_1SVFIR2ItvExeState.html#af0b6abd2310a9bf0311760b290114341',1,'SVF::SVFIR2ItvExeState']]],
+  ['setrep_10294',['setRep',['../classSVF_1_1ConstraintGraph.html#abea65bf6dd43aa312082f8d4c7c3e3cb',1,'SVF::ConstraintGraph']]],
+  ['setrepr_10295',['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_10296',['setResVer',['../classSVF_1_1MSSADEF.html#a343eb4c9515dfbbbdadaacf5500e5f05',1,'SVF::MSSADEF']]],
+  ['setreticfgnode_10297',['setRetICFGNode',['../classSVF_1_1CallICFGNode.html#a91b38c6930f3c15b9b38121662fded20',1,'SVF::CallICFGNode']]],
+  ['setsabercondallocator_10298',['setSaberCondAllocator',['../classSVF_1_1SaberSVFGBuilder.html#a8eb03d4362685f361bc1110fc98925b9',1,'SVF::SaberSVFGBuilder']]],
+  ['setscalar_10299',['setScalar',['../classSVF_1_1DCHNode.html#a917265fa44ed08b66a6bd722f318bfa4',1,'SVF::DCHNode']]],
+  ['setsignandwidth_10300',['setSignAndWidth',['../classSVF_1_1SVFIntegerType.html#aeacf0513bfde42511fe6e464d48d1e11',1,'SVF::SVFIntegerType']]],
+  ['setsourceloc_10301',['setSourceLoc',['../classSVF_1_1SVFValue.html#a588acec1904d440797ca4500f63f7d28',1,'SVF::SVFValue']]],
+  ['setstartkind_10302',['setStartKind',['../classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd',1,'SVF::GrammarBase']]],
+  ['setstat_10303',['setStat',['../classSVF_1_1SVFBugReport.html#a817f61a73d84f9054a2f80375f51f747',1,'SVF::SVFBugReport']]],
+  ['setsubs_10304',['setSubs',['../classSVF_1_1ConstraintGraph.html#a148235bd1355a700d3ce187702e89bc8',1,'SVF::ConstraintGraph']]],
+  ['settemplate_10305',['setTemplate',['../classSVF_1_1DCHNode.html#a3947007a7b8074f06064e34de9d980fe',1,'SVF::DCHNode::setTemplate()'],['../classSVF_1_1CHNode.html#a00343177422c8d84d707432d0c483438',1,'SVF::CHNode::setTemplate()']]],
+  ['setterminals_10306',['setTerminals',['../classSVF_1_1GrammarBase.html#ae79b973ec24ba034e831a90285737a41',1,'SVF::GrammarBase']]],
+  ['settokeepactualoutformalin_10307',['setTokeepActualOutFormalIn',['../classSVF_1_1SVFGOPT.html#af0c1bb4055d3c4b7f5c6133c433144ad',1,'SVF::SVFGOPT']]],
+  ['settokeepallselfcycle_10308',['setTokeepAllSelfCycle',['../classSVF_1_1SVFGOPT.html#a99cce24804a9116f9bf4e773b2f28e85',1,'SVF::SVFGOPT']]],
+  ['settokeepcontextselfcycle_10309',['setTokeepContextSelfCycle',['../classSVF_1_1SVFGOPT.html#abe2392e0971f6c46537727f001fa44de',1,'SVF::SVFGOPT']]],
+  ['settop_10310',['setTop',['../classSVF_1_1AddressValue.html#a2100009a0e744ebc9e2780dffb6f622b',1,'SVF::AddressValue']]],
+  ['settotalkind_10311',['setTotalKind',['../classSVF_1_1GrammarBase.html#a37a31f03501a11e7951d56dbf1cb146a',1,'SVF::GrammarBase']]],
+  ['settypeinfo_10312',['setTypeInfo',['../classSVF_1_1SVFType.html#aef5999ada62dac3cc946d832ac66948c',1,'SVF::SVFType']]],
+  ['settypeofelement_10313',['setTypeOfElement',['../classSVF_1_1SVFArrayType.html#a56179bc4c145adce210adab80c61be7a',1,'SVF::SVFArrayType']]],
+  ['setub_10314',['setUb',['../classSVF_1_1IntervalValue.html#aa3b742bd0116a6b7bf290286902b470b',1,'SVF::IntervalValue']]],
+  ['setvals_10315',['setVals',['../classSVF_1_1AddressValue.html#a0fed06401997d4259d7ef183343f1949',1,'SVF::AddressValue']]],
+  ['setvalue_10316',['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_10317',['setValueAttr',['../classSVF_1_1LLVMModuleSet.html#a7d61f479f52e1dc71a4ae7a4d62f3b6a',1,'SVF::LLVMModuleSet']]],
+  ['setvardfinsetupdated_10318',['setVarDFInSetUpdated',['../classSVF_1_1MutableIncDFPTData.html#a33b2e976439e489d4bd707379e1bac9c',1,'SVF::MutableIncDFPTData::setVarDFInSetUpdated()'],['../classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2',1,'SVF::PersistentIncDFPTData::setVarDFInSetUpdated()']]],
+  ['setvardfoutsetupdated_10319',['setVarDFOutSetUpdated',['../classSVF_1_1MutableIncDFPTData.html#a851947de9ccbe51239b76d2d93fcd4c4',1,'SVF::MutableIncDFPTData::setVarDFOutSetUpdated()'],['../classSVF_1_1PersistentIncDFPTData.html#aa9f6b38595cabbb583c52217188457e8',1,'SVF::PersistentIncDFPTData::setVarDFOutSetUpdated()']]],
+  ['setver_10320',['setVer',['../classSVF_1_1MSSAMU.html#a2af1e639aabbc5997aa4e6526f6595fb',1,'SVF::MSSAMU']]],
+  ['setversion_10321',['setVersion',['../classSVF_1_1VersionedFlowSensitive.html#adf37ae1f6a07716bca6fbe1603b8a070',1,'SVF::VersionedFlowSensitive']]],
+  ['setvfcond_10322',['setVFCond',['../classSVF_1_1ProgSlice.html#ab5de7bf99935818ef1b0962e36b8624c',1,'SVF::ProgSlice']]],
+  ['setvisited_10323',['setVisited',['../classSVF_1_1SCCDetection.html#ad888a3dc94909823319384055896c84d',1,'SVF::SCCDetection::setVisited()'],['../classSVF_1_1CSC.html#adac02224ec722f0cf1954d7a484bd11e',1,'SVF::CSC::setVisited()']]],
+  ['setvtable_10324',['setVTable',['../classSVF_1_1DCHNode.html#ad3144bcf462769c687bc7b65ef2f1639',1,'SVF::DCHNode::setVTable()'],['../classSVF_1_1CHNode.html#aa72c4509da3bfd2a3c656da38fe36c81',1,'SVF::CHNode::setVTable()']]],
+  ['setvtableptr_10325',['setVtablePtr',['../classSVF_1_1SVFVirtualCallInst.html#a94c04bebac82268c00d614c61e15274b',1,'SVF::SVFVirtualCallInst']]],
+  ['setyield_10326',['setYield',['../classSVF_1_1VersionedFlowSensitive.html#ac33c7cef2d1d143950820ea48e97e806',1,'SVF::VersionedFlowSensitive']]],
+  ['sfvgoptend_10327',['sfvgOptEnd',['../classSVF_1_1SVFGStat.html#aaec3a7f29b3ded0c971d57376d2779ff',1,'SVF::SVFGStat']]],
+  ['sfvgoptstart_10328',['sfvgOptStart',['../classSVF_1_1SVFGStat.html#acb80953b39ce247679242df4f042ab79',1,'SVF::SVFGStat']]],
+  ['simplify_10329',['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_10330',['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_10331',['sinksBegin',['../classSVF_1_1ProgSlice.html#adf620c97daed49735d21b485c448b4a2',1,'SVF::ProgSlice::sinksBegin()'],['../classSVF_1_1SrcSnkDDA.html#a79833c0cf1916d63e1dd32c2220056dd',1,'SVF::SrcSnkDDA::sinksBegin()']]],
+  ['sinksend_10332',['sinksEnd',['../classSVF_1_1ProgSlice.html#a27636f096ec825c4d5cb1dca608afb31',1,'SVF::ProgSlice::sinksEnd()'],['../classSVF_1_1SrcSnkDDA.html#aaabc8d3aed17c8a35ef37d878f141412',1,'SVF::SrcSnkDDA::sinksEnd()']]],
+  ['size_10333',['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_10334',['sizeSVFValuePool',['../classSVF_1_1SVFModuleWriter.html#a0e12ffecb37a42d766522dc65da481e6',1,'SVF::SVFModuleWriter']]],
+  ['skip_5fmultiline_5fcomment_10335',['skip_multiline_comment',['../cJSON_8cpp.html#a4b9e22afcb0d33932c691b5af9f2560a',1,'cJSON.cpp']]],
+  ['skip_5foneline_5fcomment_10336',['skip_oneline_comment',['../cJSON_8cpp.html#a98eaeafefb811c738494a26265309a07',1,'cJSON.cpp']]],
+  ['skip_5futf8_5fbom_10337',['skip_utf8_bom',['../cJSON_8cpp.html#a13b2d9f17c3b80a8878405f2782cd916',1,'cJSON.cpp']]],
+  ['slicestate_10338',['sliceState',['../classSVF_1_1IntervalESBase.html#a2c15de9b10a74fbcb171ff2f328ce7f2',1,'SVF::IntervalESBase']]],
+  ['solve_10339',['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_10340',['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_10341',['solveConstraints',['../classSVF_1_1AndersenBase.html#ac02d1fedb0beb39e5a4c22ee4bb3501a',1,'SVF::AndersenBase::solveConstraints()'],['../classSVF_1_1FlowSensitive.html#a165a9c5aef0811066560154896bae18d',1,'SVF::FlowSensitive::solveConstraints()']]],
+  ['solveworklist_10342',['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_10343',['sortPointsTo',['../classSVF_1_1MRGenerator.html#a66d94d15fb94e90a771f6b3dd7c0ecdd',1,'SVF::MRGenerator']]],
+  ['sourcesbegin_10344',['sourcesBegin',['../classSVF_1_1SrcSnkDDA.html#a0515c9079f28f8c5d4f0f9a2fc39a137',1,'SVF::SrcSnkDDA']]],
+  ['sourcesend_10345',['sourcesEnd',['../classSVF_1_1SrcSnkDDA.html#ad0cb9de24cbc99d148f63b694dc3908e',1,'SVF::SrcSnkDDA']]],
+  ['sparsebitvector_10346',['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_10347',['SparseBitVectorElement',['../structSVF_1_1SparseBitVectorElement.html#a8097db31608c859c3cf8053e303821d3',1,'SVF::SparseBitVectorElement::SparseBitVectorElement()=default'],['../structSVF_1_1SparseBitVectorElement.html#a75777b1461184d8fb2cfa4ec6e95c1c5',1,'SVF::SparseBitVectorElement::SparseBitVectorElement(unsigned Idx)']]],
+  ['sparsebitvectoriterator_10348',['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_10349',['spawneesBegin',['../classSVF_1_1PCG.html#a45932c2f1a05398b4ad8753dcb621a1f',1,'SVF::PCG']]],
+  ['spawneesend_10350',['spawneesEnd',['../classSVF_1_1PCG.html#ab45de7686709989be5923531653e2755',1,'SVF::PCG']]],
+  ['spawnersbegin_10351',['spawnersBegin',['../classSVF_1_1PCG.html#a4343107dd6908ffb70fc59fa7b4de21b',1,'SVF::PCG']]],
+  ['spawnersend_10352',['spawnersEnd',['../classSVF_1_1PCG.html#a2b9a6b5890b11cea31914f5242285525',1,'SVF::PCG']]],
+  ['spawnsitesbegin_10353',['spawnSitesBegin',['../classSVF_1_1PCG.html#a2a7319200ec2ec07e8b7976b4a876da8',1,'SVF::PCG']]],
+  ['spawnsitesend_10354',['spawnSitesEnd',['../classSVF_1_1PCG.html#a8dcd94e8f996fdb2197159ea95226817',1,'SVF::PCG']]],
+  ['split_10355',['split',['../classSVF_1_1LockResultValidator.html#ab8a6935e1ea6f99d60ead862a7b1782f',1,'SVF::LockResultValidator::split(const std::string &s, char delim, Set< std::string > &elems)'],['../classSVF_1_1LockResultValidator.html#ad26006e14c866d694bc6e2ebaa41ded9',1,'SVF::LockResultValidator::split(const std::string &s, char delim)'],['../classSVF_1_1MTAResultValidator.html#a73db9ad234b263b6e644e4b38be14fe6',1,'SVF::MTAResultValidator::split(const std::string &s, char delim, std::vector< std::string > &elems)'],['../classSVF_1_1MTAResultValidator.html#a7dad63ce2a85142a56d13926f10fde47',1,'SVF::MTAResultValidator::split(const std::string &s, char delim)'],['../classSVF_1_1MTAResultValidator.html#ab0458d1a3beae85056b1dbe7507fbc59',1,'SVF::MTAResultValidator::split(const std::string &s, char delim, std::vector< std::string > &elems)'],['../classSVF_1_1MTAResultValidator.html#a5edb70bdb93b8258de0ba7122a8707f5',1,'SVF::MTAResultValidator::split(const std::string &s, char delim)'],['../namespaceSVF_1_1SVFUtil.html#ae18227f257c9881541b84ca186680dfd',1,'SVF::SVFUtil::split()']]],
+  ['srcsnkdda_10356',['SrcSnkDDA',['../classSVF_1_1SrcSnkDDA.html#a73f6ddd4ba868e203109c52e4f3600bd',1,'SVF::SrcSnkDDA']]],
+  ['srcsnksolver_10357',['SrcSnkSolver',['../classSVF_1_1SrcSnkSolver.html#a952450652e55f3325f24b8d237d2c37d',1,'SVF::SrcSnkSolver']]],
+  ['ssarename_10358',['SSARename',['../classSVF_1_1MemSSA.html#a16114eb55775f6ee812c1648dcaede0c',1,'SVF::MemSSA']]],
+  ['ssarenamebb_10359',['SSARenameBB',['../classSVF_1_1MemSSA.html#aeb7fc6c7880db45f6d0a90912ac5b5f7',1,'SVF::MemSSA']]],
+  ['startanalysislimittimer_10360',['startAnalysisLimitTimer',['../namespaceSVF_1_1SVFUtil.html#a757815a2c758695176120509ceb0ce70',1,'SVF::SVFUtil']]],
+  ['startclk_10361',['startClk',['../classSVF_1_1SVFStat.html#a730cc814fede3edb563aa9957c869e9e',1,'SVF::SVFStat']]],
+  ['startnewptcompfromloadsrc_10362',['startNewPTCompFromLoadSrc',['../classSVF_1_1DDAVFSolver.html#acd694c2092adf8c516d1aba5f798cec7',1,'SVF::DDAVFSolver']]],
+  ['startnewptcompfromstoredst_10363',['startNewPTCompFromStoreDst',['../classSVF_1_1DDAVFSolver.html#aff744e724dcf06a2b1cdd7ba2b1093f1',1,'SVF::DDAVFSolver']]],
+  ['stataddrvarptssize_10364',['statAddrVarPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a81785227a688389c68171a1fbd55fa9b',1,'SVF::FlowSensitiveStat']]],
+  ['statinit_10365',['statInit',['../classSVF_1_1ThreadAPI.html#a8a4ab0b1dcb2e3897b7740868e0d955d',1,'SVF::ThreadAPI']]],
+  ['statinoutptssize_10366',['statInOutPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a8ae7448f6210b6c759a33e6fc8a8cee8',1,'SVF::FlowSensitiveStat']]],
+  ['statistic_10367',['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_10368',['statNullPtr',['../classSVF_1_1AndersenStat.html#a898f091cd9aeed4b0cf5b338b8a3b1d3',1,'SVF::AndersenStat::statNullPtr()'],['../classSVF_1_1FlowSensitiveStat.html#a36f7be42772b2df6f7594c51b7dc4770',1,'SVF::FlowSensitiveStat::statNullPtr()']]],
+  ['statptssize_10369',['statPtsSize',['../classSVF_1_1FlowSensitiveStat.html#af51e5b90f7bc52e3657a708c7bc5bb75',1,'SVF::FlowSensitiveStat']]],
+  ['steensgaard_10370',['Steensgaard',['../classSVF_1_1Steensgaard.html#ac79e21396243dfa969136daee5ecdbd4',1,'SVF::Steensgaard']]],
+  ['stinfo_10371',['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_10372',['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_10373',['StmtVFGNode',['../classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d',1,'SVF::StmtVFGNode']]],
+  ['stopanalysislimittimer_10374',['stopAnalysisLimitTimer',['../namespaceSVF_1_1SVFUtil.html#a168f7f7a3a8c70dbf2b5b4269cd4c7c5',1,'SVF::SVFUtil']]],
+  ['store_10375',['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_10376',['storeAddrs',['../classSVF_1_1ExeState.html#a99f4437a7e350fec131d48f52082d672',1,'SVF::ExeState']]],
+  ['storecgedge_10377',['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_10378',['StoreCHI',['../classSVF_1_1StoreCHI.html#a83f353ef765d6c57b07d9f1996e02444',1,'SVF::StoreCHI']]],
+  ['storestmt_10379',['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_10380',['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_10381',['strcasestr',['../extapi_8c.html#ae9229017a4501f8d6a637b4498cfed2e',1,'extapi.c']]],
+  ['strchr_10382',['strchr',['../extapi_8c.html#afcd97f487174f9092b0f23c7ac78a55a',1,'extapi.c']]],
+  ['strerror_5fr_10383',['strerror_r',['../extapi_8c.html#a5db20599ab5cff2baa37f783221b3606',1,'extapi.c']]],
+  ['stripallcasts_10384',['stripAllCasts',['../namespaceSVF_1_1LLVMUtil.html#a38ce45ae5f017c90115ce444b44d478c',1,'SVF::LLVMUtil']]],
+  ['striparray_10385',['stripArray',['../classSVF_1_1DCHGraph.html#a6c276e661e5e63c1c84387f84c8a62e4',1,'SVF::DCHGraph']]],
+  ['stripconstantcasts_10386',['stripConstantCasts',['../namespaceSVF_1_1LLVMUtil.html#a07bd47ccfd02c5a2a6db26b537b2184f',1,'SVF::LLVMUtil']]],
+  ['stripqualifiers_10387',['stripQualifiers',['../classSVF_1_1DCHGraph.html#a175ed6ad0c9b23d5617f755ab96c76c4',1,'SVF::DCHGraph']]],
+  ['stripspace_10388',['stripSpace',['../classSVF_1_1GrammarBuilder.html#a6de372fbe80d33a5688cada0adca0bb8',1,'SVF::GrammarBuilder']]],
+  ['strongupdateoutfromin_10389',['strongUpdateOutFromIn',['../classSVF_1_1FlowSensitive.html#a8ebe4342c1496b906ee1b6450558c3e8',1,'SVF::FlowSensitive']]],
+  ['strpbrk_10390',['strpbrk',['../extapi_8c.html#a577b071bee67af4464665a1dc4f024e2',1,'extapi.c']]],
+  ['strptime_10391',['strptime',['../extapi_8c.html#aab53cb0be9d04d5bbbff4e412ba99f5b',1,'extapi.c']]],
+  ['strrchr_10392',['strrchr',['../extapi_8c.html#a9b5ffb90d9a30625617401e6a5999e85',1,'extapi.c']]],
+  ['strsep_10393',['strsep',['../extapi_8c.html#a93c766c6e86f4f79e7507c21f1794e15',1,'extapi.c']]],
+  ['strstr_10394',['strstr',['../extapi_8c.html#a4a710d86541afc6b7dafddcdb4b1c94f',1,'extapi.c']]],
+  ['strtod_10395',['strtod',['../extapi_8c.html#ab017280f95ea769b9422688105f02653',1,'extapi.c']]],
+  ['strtod_5fl_10396',['strtod_l',['../extapi_8c.html#a65fbe99baad4213df4fb26c4d934ffe3',1,'extapi.c']]],
+  ['strtof_10397',['strtof',['../extapi_8c.html#a2370632318c3797a314f8eb62d37947c',1,'extapi.c']]],
+  ['strtof_5fl_10398',['strtof_l',['../extapi_8c.html#a23a39e17fed1b7a7676bda56575e0c2c',1,'extapi.c']]],
+  ['strtok_10399',['strtok',['../extapi_8c.html#a8cb460f64c449f2a9b9b7a40569ce0fe',1,'extapi.c']]],
+  ['strtok_5fr_10400',['strtok_r',['../extapi_8c.html#ab11d86a2a3af0a355cad2337c6f4e9f7',1,'extapi.c']]],
+  ['strtokind_10401',['strToKind',['../classSVF_1_1GrammarBase.html#a3aae4b70e2ee0238808a2126265a2e24',1,'SVF::GrammarBase']]],
+  ['strtol_10402',['strtol',['../extapi_8c.html#a2ce966cd04da3c32320f54c332569e03',1,'extapi.c']]],
+  ['strtold_10403',['strtold',['../extapi_8c.html#a2fb0bb1a4be5c0865b119ce0d89145a7',1,'extapi.c']]],
+  ['strtoll_10404',['strtoll',['../extapi_8c.html#a11dd8f0251a1b6e05a9b4a031a1129c2',1,'extapi.c']]],
+  ['strtosymbol_10405',['strToSymbol',['../classSVF_1_1GrammarBase.html#a4826df2851cedaa92e3ab10feee9f583',1,'SVF::GrammarBase']]],
+  ['strtoul_10406',['strtoul',['../extapi_8c.html#aa7d767d03ce3929978c28f64e3a4b222',1,'extapi.c']]],
+  ['strtoull_10407',['strtoull',['../extapi_8c.html#a400239674c2feb4a690bb4178125eae0',1,'extapi.c']]],
+  ['strtrans_10408',['strTrans',['../classSVF_1_1CFGNormalizer.html#aea5ebe156b9536c617fc9c6acac00a61',1,'SVF::CFGNormalizer']]],
+  ['subnodes_10409',['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_10410',['sucMsg',['../namespaceSVF_1_1SVFUtil.html#a05dc00b2bd9a8176aae31b6cfffe725d',1,'SVF::SVFUtil']]],
+  ['suffix_5fobject_10411',['suffix_object',['../cJSON_8cpp.html#a5d61bcc0045ace88c2ae04f0928eeace',1,'cJSON.cpp']]],
+  ['svfargument_10412',['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_10413',['SVFArrayType',['../classSVF_1_1SVFArrayType.html#a0bd51b8ae0f3601da2dc6d31757c01a3',1,'SVF::SVFArrayType']]],
+  ['svfbasicblock_10414',['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_10415',['SVFBlackHoleValue',['../classSVF_1_1SVFBlackHoleValue.html#ac057a29cad0944d1b359e6cd23adcec2',1,'SVF::SVFBlackHoleValue::SVFBlackHoleValue(const SVFType *ty)'],['../classSVF_1_1SVFBlackHoleValue.html#a6d94a1c1c0f229165e3327a09521e28c',1,'SVF::SVFBlackHoleValue::SVFBlackHoleValue()=delete']]],
+  ['svfbugevent_10416',['SVFBugEvent',['../classSVF_1_1SVFBugEvent.html#af012270169f767655456ae0e09add06a',1,'SVF::SVFBugEvent']]],
+  ['svfbugreport_10417',['SVFBugReport',['../classSVF_1_1SVFBugReport.html#af163790aa2065d72be8c31c281abee20',1,'SVF::SVFBugReport']]],
+  ['svfcallinst_10418',['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_10419',['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_10420',['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_10421',['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_10422',['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_10423',['SVFConstantNullPtr',['../classSVF_1_1SVFConstantNullPtr.html#a299954e2cad5ee41b51fcff4a92439b3',1,'SVF::SVFConstantNullPtr::SVFConstantNullPtr(const SVFType *ty)'],['../classSVF_1_1SVFConstantNullPtr.html#ae853223a57df1816c3d382113b7b7b70',1,'SVF::SVFConstantNullPtr::SVFConstantNullPtr()=delete']]],
+  ['svffunction_10424',['SVFFunction',['../classSVF_1_1SVFFunction.html#a0cf5ddbb884a0a99f43b7741f1ce2786',1,'SVF::SVFFunction::SVFFunction(const SVFType *ty, const SVFFunctionType *ft, bool declare, bool intrinsic, bool addrTaken, bool varg, SVFLoopAndDomInfo *ld, std::vector< std::string > annos)'],['../classSVF_1_1SVFFunction.html#a7e965c21a8afe7fca32d0f41b16361cf',1,'SVF::SVFFunction::SVFFunction(void)=delete']]],
+  ['svffunctiontype_10425',['SVFFunctionType',['../classSVF_1_1SVFFunctionType.html#af4bacdbcf4867575f6f27fc26aa66bbe',1,'SVF::SVFFunctionType']]],
+  ['svfg_10426',['SVFG',['../classSVF_1_1SVFG.html#a07d48490eda50ee6d31f295150409cf3',1,'SVF::SVFG']]],
+  ['svfgbuilder_10427',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html#a003c6d9e13e5f73e0648d97400f1854e',1,'SVF::SVFGBuilder']]],
+  ['svfglobalvalue_10428',['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_10429',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a43f4d595b31259576b141cb99883938e',1,'SVF::SVFGNodeLockSpan']]],
+  ['svfgopt_10430',['SVFGOPT',['../classSVF_1_1SVFGOPT.html#a64c300c8a9f8cc2ac13eef65c1108d01',1,'SVF::SVFGOPT']]],
+  ['svfgsccdetection_10431',['SVFGSCCDetection',['../classSVF_1_1DDAVFSolver.html#aba0ec611a5cfd096ac0b8b11e0bd5580',1,'SVF::DDAVFSolver']]],
+  ['svfgstat_10432',['svfgStat',['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()'],['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()']]],
+  ['svfinstruction_10433',['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_10434',['SVFIntegerType',['../classSVF_1_1SVFIntegerType.html#aa7679a15dff308f24c3d75840c518e5e',1,'SVF::SVFIntegerType']]],
+  ['svfir_10435',['SVFIR',['../classSVF_1_1SVFIR.html#abf511f82cdbf7a6d9b6da167aee57636',1,'SVF::SVFIR']]],
+  ['svfir2consexestate_10436',['SVFIR2ConsExeState',['../classSVF_1_1SVFIR2ConsExeState.html#a3575711760c3973aef0061975ca9436a',1,'SVF::SVFIR2ConsExeState']]],
+  ['svfir2itvexestate_10437',['SVFIR2ItvExeState',['../classSVF_1_1SVFIR2ItvExeState.html#a3c9285321cc0c4e1c46a31be9433192f',1,'SVF::SVFIR2ItvExeState']]],
+  ['svfirbuilder_10438',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html#a1ecae204a349b69031f0edd7df7ca708',1,'SVF::SVFIRBuilder']]],
+  ['svfirwriter_10439',['SVFIRWriter',['../classSVF_1_1SVFIRWriter.html#a9994b9a6ddf4c852570bee918cb9de34',1,'SVF::SVFIRWriter']]],
+  ['svfloop_10440',['SVFLoop',['../classSVF_1_1SVFLoop.html#a25b9a079f48aa0374c91be6a1e9697f8',1,'SVF::SVFLoop']]],
+  ['svfloopanddominfo_10441',['SVFLoopAndDomInfo',['../classSVF_1_1SVFLoopAndDomInfo.html#a2b5c892437d21ece0a9e0ae7a285b622',1,'SVF::SVFLoopAndDomInfo']]],
+  ['svfmetadataasvalue_10442',['SVFMetadataAsValue',['../classSVF_1_1SVFMetadataAsValue.html#a98acb125d1694aa233538de7618739bf',1,'SVF::SVFMetadataAsValue::SVFMetadataAsValue(const SVFType *ty)'],['../classSVF_1_1SVFMetadataAsValue.html#adc92d08f450556000a4386294c6c4370',1,'SVF::SVFMetadataAsValue::SVFMetadataAsValue()=delete']]],
+  ['svfmodule_10443',['SVFModule',['../classSVF_1_1SVFModule.html#a0438953758cecab4ebe1b48895639eb8',1,'SVF::SVFModule']]],
+  ['svfmodulewriter_10444',['SVFModuleWriter',['../classSVF_1_1SVFModuleWriter.html#a915ae39b2cb537e0137f5af496b10b10',1,'SVF::SVFModuleWriter']]],
+  ['svfothertype_10445',['SVFOtherType',['../classSVF_1_1SVFOtherType.html#a4811e1d34753e19e27d552a254f0d0af',1,'SVF::SVFOtherType']]],
+  ['svfothervalue_10446',['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_10447',['SVFPointerType',['../classSVF_1_1SVFPointerType.html#a2ce46de03df7896cc43e466189ba6ba2',1,'SVF::SVFPointerType']]],
+  ['svfstat_10448',['SVFStat',['../classSVF_1_1SVFStat.html#ad22433722f7c71df19a891a5b5039d26',1,'SVF::SVFStat']]],
+  ['svfstmt_10449',['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_10450',['SVFStructType',['../classSVF_1_1SVFStructType.html#adf471a114f91b87ea9bb981441babb24',1,'SVF::SVFStructType']]],
+  ['svftype_10451',['SVFType',['../classSVF_1_1SVFType.html#a3afd7c9a47ab7cd96d9bfc5fc8c473a4',1,'SVF::SVFType::SVFType(bool svt, SVFTyKind k, u32_t Sz)'],['../classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202',1,'SVF::SVFType::SVFType(void)=delete']]],
+  ['svfvalue_10452',['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_10453',['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_10454',['SVFVirtualCallInst',['../classSVF_1_1SVFVirtualCallInst.html#a57fa2d35c2df09e607b5d23852fca2fd',1,'SVF::SVFVirtualCallInst']]],
+  ['symblicabstractiontest_10455',['SymblicAbstractionTest',['../classSymblicAbstractionTest.html#a257f62679b2ee86ffbadf33ca5031ed1',1,'SymblicAbstractionTest']]],
+  ['symbol_10456',['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_10457',['SymbolInfo',['../classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11',1,'SVF::SymbolTableInfo']]],
+  ['symboltablebuilder_10458',['SymbolTableBuilder',['../classSVF_1_1SymbolTableBuilder.html#ad39b982a2a91a10b4f22ee6150e9cebf',1,'SVF::SymbolTableBuilder']]],
+  ['symboltableinfo_10459',['SymbolTableInfo',['../classSVF_1_1SymbolTableInfo.html#aff272bc1d00f2e57b7677d1826a31237',1,'SVF::SymbolTableInfo']]],
+  ['symstate_10460',['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_10461',['symToStrDump',['../classSVF_1_1GrammarBase.html#a49aad1a3620735a2929795df3d23ba38',1,'SVF::GrammarBase']]],
+  ['szudzik_10462',['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 > >']]]
 ];