svf-tools 1.0.768 → 1.0.769

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

@@ -1,74 +1,74 @@
 var searchData=
 [
-  ['validateall_10215',['validateAll',['../classSVF_1_1RaceResultValidator.html#a58e07fcd0d9a611dfd31ab62802c5990',1,'SVF::RaceResultValidator::validateAll()'],['../classSVF_1_1RaceResultValidator.html#a58e07fcd0d9a611dfd31ab62802c5990',1,'SVF::RaceResultValidator::validateAll()']]],
-  ['validatecxtthread_10216',['validateCxtThread',['../classSVF_1_1MTAResultValidator.html#afa01b108b67ec2ac05a6444b55dbfe01',1,'SVF::MTAResultValidator::validateCxtThread()'],['../classSVF_1_1MTAResultValidator.html#aeabad721634674cdb57c604865282dac',1,'SVF::MTAResultValidator::validateCxtThread()']]],
-  ['validateexpectedfailuretests_10217',['validateExpectedFailureTests',['../classSVF_1_1PointerAnalysis.html#ab982e6bbd99a2f9a0a3abbebeeb00dcc',1,'SVF::PointerAnalysis::validateExpectedFailureTests()'],['../classSVF_1_1DoubleFreeChecker.html#a3626a53eb9488f79ea82001dc3374899',1,'SVF::DoubleFreeChecker::validateExpectedFailureTests()'],['../classSVF_1_1LeakChecker.html#af098d01a353a217bd54a90f92f62a45f',1,'SVF::LeakChecker::validateExpectedFailureTests()']]],
-  ['validateinterleaving_10218',['validateInterleaving',['../classSVF_1_1MTAResultValidator.html#a373b5227fbfa82ac070f55db999afb28',1,'SVF::MTAResultValidator::validateInterleaving()'],['../classSVF_1_1MTAResultValidator.html#a776c936ed51b7d0285dd0332a55843db',1,'SVF::MTAResultValidator::validateInterleaving()']]],
-  ['validatestmtinlock_10219',['validateStmtInLock',['../classSVF_1_1LockResultValidator.html#acddd2f9d118cbf448d92626d281fdaf9',1,'SVF::LockResultValidator']]],
-  ['validatesuccesstests_10220',['validateSuccessTests',['../classSVF_1_1PointerAnalysis.html#a7accf4e4db4001716e53d98ce5217ac8',1,'SVF::PointerAnalysis::validateSuccessTests()'],['../classSVF_1_1DoubleFreeChecker.html#a13fc5269cbd00cfd0eed5b1cee89e1c2',1,'SVF::DoubleFreeChecker::validateSuccessTests()'],['../classSVF_1_1LeakChecker.html#a0aa051a956b61cad9ec5419f33829e6a',1,'SVF::LeakChecker::validateSuccessTests()']]],
-  ['validatetct_10221',['validateTCT',['../classSVF_1_1MTAResultValidator.html#ae6a18cbaf113ee8e28c3e8dca458d4be',1,'SVF::MTAResultValidator::validateTCT()'],['../classSVF_1_1MTAResultValidator.html#a3cc2fa74c3eb82230b8929e7ffb007b7',1,'SVF::MTAResultValidator::validateTCT()']]],
-  ['validatetests_10222',['validateTests',['../classSVF_1_1PointerAnalysis.html#a0454332c89e60729956bb7d69a1a24df',1,'SVF::PointerAnalysis']]],
-  ['valsyms_10223',['valSyms',['../classSVF_1_1SymbolTableInfo.html#a8f3cb8a1db34dd692ee04561f4edeebf',1,'SVF::SymbolTableInfo']]],
-  ['valvar_10224',['ValVar',['../classSVF_1_1ValVar.html#a5c097c0686df4897325bbdbb4067d6e5',1,'SVF::ValVar::ValVar(NodeID i, PNODEK ty=ValNode)'],['../classSVF_1_1ValVar.html#a4f01c7de5795f85a5f70bbf4f15c70df',1,'SVF::ValVar::ValVar(const SVFValue *val, NodeID i, PNODEK ty=ValNode)']]],
-  ['varargpn_10225',['VarArgPN',['../classSVF_1_1VarArgPN.html#ad7bdfa5c3abb60f5b6a604905a6c6424',1,'SVF::VarArgPN::VarArgPN(NodeID i)'],['../classSVF_1_1VarArgPN.html#ad6ebe474373838bc6c00e8baaa3f7137',1,'SVF::VarArgPN::VarArgPN(const SVFFunction *val, NodeID i)']]],
-  ['varargsyms_10226',['varargSyms',['../classSVF_1_1SymbolTableInfo.html#ac449cd925dc05758c990179c0748e1d5',1,'SVF::SymbolTableInfo']]],
-  ['varhasnewdfinpts_10227',['varHasNewDFInPts',['../classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353',1,'SVF::MutableIncDFPTData::varHasNewDFInPts()'],['../classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952',1,'SVF::PersistentIncDFPTData::varHasNewDFInPts()']]],
-  ['varhasnewdfoutpts_10228',['varHasNewDFOutPts',['../classSVF_1_1MutableIncDFPTData.html#a55b19f617d11dfc6632b690694f264ab',1,'SVF::MutableIncDFPTData::varHasNewDFOutPts()'],['../classSVF_1_1PersistentIncDFPTData.html#ae44f71f2ff837fbdf9b6e77f609c0c53',1,'SVF::PersistentIncDFPTData::varHasNewDFOutPts()']]],
-  ['variantgepcgedge_10229',['VariantGepCGEdge',['../classSVF_1_1VariantGepCGEdge.html#abfea1a5cc983b1773b307c8dcd42dd02',1,'SVF::VariantGepCGEdge::VariantGepCGEdge()'],['../classSVF_1_1VariantGepCGEdge.html#a72e674854fa023f9634fc6c1b9c1af6a',1,'SVF::VariantGepCGEdge::VariantGepCGEdge(const VariantGepCGEdge &)'],['../classSVF_1_1VariantGepCGEdge.html#ac1aba938a28a9705625b4294c7d35bb6',1,'SVF::VariantGepCGEdge::VariantGepCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
-  ['vartoaddrs_10230',['varToAddrs',['../classSVF_1_1ConsExeState.html#aa3f16fb06541184e49ef4f4ea95d894c',1,'SVF::ConsExeState::varToAddrs()'],['../classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409',1,'SVF::ExeState::varToAddrs()']]],
-  ['vartostring_10231',['varToString',['../classSVF_1_1ConsExeState.html#a000e1c5692e4027b38569898f683bada',1,'SVF::ConsExeState']]],
-  ['vcallinctorordtor_10232',['VCallInCtorOrDtor',['../namespaceSVF_1_1LLVMUtil.html#a898e9c2ed163b618f2e86bc251131d8b',1,'SVF::LLVMUtil']]],
-  ['verifycallgraph_10233',['verifyCallGraph',['../classSVF_1_1PTACallGraph.html#ac695d78f0a78e2e5f1fb4f93264e52b8',1,'SVF::PTACallGraph']]],
-  ['versionedflowsensitive_10234',['VersionedFlowSensitive',['../classSVF_1_1VersionedFlowSensitive.html#ab88b7a966177e620c552d507b3763e17',1,'SVF::VersionedFlowSensitive']]],
-  ['versionedflowsensitivestat_10235',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitiveStat.html#a762c964e76d181716e1a3833dc4c0706',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['versionedptdata_10236',['VersionedPTData',['../classSVF_1_1VersionedPTData.html#a2cc5ee586042f19aa698fd8ec48e33b5',1,'SVF::VersionedPTData']]],
-  ['versionstat_10237',['versionStat',['../classSVF_1_1VersionedFlowSensitiveStat.html#ad7fe08f5d684e3411f8f28ec346bd814',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['vfg_10238',['VFG',['../classSVF_1_1VFG.html#a8ba98bb3d888ec5ff40f511da14b37bc',1,'SVF::VFG']]],
-  ['vfgedge_10239',['VFGEdge',['../classSVF_1_1VFGEdge.html#a9a29abd99da3465e07bd62470bd9bb56',1,'SVF::VFGEdge']]],
-  ['vfgnode_10240',['VFGNode',['../classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c',1,'SVF::VFGNode']]],
-  ['vfgnodes_10241',['VFGNodes',['../classSVF_1_1VFG.html#a43f4002b0beb00ed2026f7edd9ebbb1c',1,'SVF::VFG']]],
-  ['view_10242',['view',['../classSVF_1_1CFLGraph.html#a0f1b98e7cecc352a7fa7624b530efe49',1,'SVF::CFLGraph::view()'],['../classSVF_1_1CHGraph.html#a87a7d8c281490fbd2377d64b0115d262',1,'SVF::CHGraph::view()'],['../classSVF_1_1ConstraintGraph.html#a27d8078577d479c84f2a87b44f015d1c',1,'SVF::ConstraintGraph::view()'],['../classSVF_1_1ICFG.html#a0d16e302515ffa0033e02ee8f6b3b590',1,'SVF::ICFG::view()'],['../classSVF_1_1IRGraph.html#a3a656bb310ba0f42e525995a480a5b67',1,'SVF::IRGraph::view()'],['../classSVF_1_1PTACallGraph.html#a7c2d28b4707d7feaabf62977cef90d27',1,'SVF::PTACallGraph::view()'],['../classSVF_1_1VFG.html#ae4350f68e960bfef87f44587628b1929',1,'SVF::VFG::view()']]],
-  ['viewcfg_10243',['viewCFG',['../namespaceSVF_1_1LLVMUtil.html#abc9c437b7da5cfe3d988dadfcbd0635f',1,'SVF::LLVMUtil']]],
-  ['viewcfgonly_10244',['viewCFGOnly',['../namespaceSVF_1_1LLVMUtil.html#a2abbe4ed46b2031a981d93b3ba9d3fbd',1,'SVF::LLVMUtil']]],
-  ['viewgraph_10245',['ViewGraph',['../namespaceSVF.html#a4582a7d33a5631a5a38973f50035327e',1,'SVF']]],
-  ['virtfill_10246',['virtFill',['../classSVF_1_1SVFIRReader.html#ae46f4cf64824aa037447540ad60b239c',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, SVFVar *var)'],['../classSVF_1_1SVFIRReader.html#a862e234ebfc9835ce4be89d7cea0bb69',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, SVFStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#a2d2aa496466b2d9846c03f179da1018f',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, ICFGNode *node)'],['../classSVF_1_1SVFIRReader.html#a35a05bcf7557f6e1f6fb960610e1c64f',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, ICFGEdge *node)'],['../classSVF_1_1SVFIRReader.html#a1d4a8dd5af012dc3cdf70e410a8206b1',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, CHNode *node)'],['../classSVF_1_1SVFIRReader.html#aec159af379b072ac27e622c6158e2b0c',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, CHEdge *edge)'],['../classSVF_1_1SVFIRReader.html#a5511abd626690de435c00b446917ba6e',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, SVFValue *value)'],['../classSVF_1_1SVFIRReader.html#a08754893ccf3c535b2617183c5b24a20',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, SVFType *type)']]],
-  ['virttojson_10247',['virtToJson',['../classSVF_1_1SVFIRWriter.html#aef21822272ff9a57cdeb4a8b7a326047',1,'SVF::SVFIRWriter::virtToJson(const SVFType *type)'],['../classSVF_1_1SVFIRWriter.html#aa31d36234ac21e5d67586cd601ccd85a',1,'SVF::SVFIRWriter::virtToJson(const SVFValue *value)'],['../classSVF_1_1SVFIRWriter.html#a34928a196543aca2d1c21c01a8ff53a2',1,'SVF::SVFIRWriter::virtToJson(const SVFVar *var)'],['../classSVF_1_1SVFIRWriter.html#a887a06136229f978a1084f23b0491d32',1,'SVF::SVFIRWriter::virtToJson(const SVFStmt *stmt)'],['../classSVF_1_1SVFIRWriter.html#aaef14ca91eda175ba40b218c232d1f8b',1,'SVF::SVFIRWriter::virtToJson(const ICFGNode *node)'],['../classSVF_1_1SVFIRWriter.html#a7cb8eb8f3e50390ae1c551f1329d6846',1,'SVF::SVFIRWriter::virtToJson(const ICFGEdge *edge)'],['../classSVF_1_1SVFIRWriter.html#add3db3506c3ffc57f6f4fa8aadcb7556',1,'SVF::SVFIRWriter::virtToJson(const CHNode *node)'],['../classSVF_1_1SVFIRWriter.html#aa47373ddf2c4faefd506bd47d1d63f6f',1,'SVF::SVFIRWriter::virtToJson(const CHEdge *edge)']]],
-  ['visit_10248',['visit',['../classSVF_1_1WTOVisitor.html#aa338935535bb5c855224aa01d624f9d8',1,'SVF::WTOVisitor::visit(const CFBasicBlockGWTONode &)=0'],['../classSVF_1_1WTOVisitor.html#a091a17f6b7eeee138fcde4499eb17311',1,'SVF::WTOVisitor::visit(const CFBasicBlockGWTOCycle &)=0'],['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#a0f190d9a736d0d0aa6621aa6984bb962',1,'SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder::visit(const CFBasicBlockGWTOCycle &cycle) override'],['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#a3e28b1d60a731c51f6c9a12ddf4c8f20',1,'SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder::visit(const CFBasicBlockGWTONode &node) override'],['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a8daebe6f986aa1ab5e73368f69ea49e1',1,'SVF::CFBasicBlockGWTO::TailBuilder::visit(const CFBasicBlockGWTOCycle &cycle) override'],['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a6b6c7f89989b77a25b2f464f4450e879',1,'SVF::CFBasicBlockGWTO::TailBuilder::visit(const CFBasicBlockGWTONode &node) override'],['../classSVF_1_1CFBasicBlockGWTO.html#af7351af6e43b593b9915ed2a2d0d16fb',1,'SVF::CFBasicBlockGWTO::visit()'],['../classSVF_1_1SCCDetection.html#af799d7043e501e43e04e51fd4d6c6571',1,'SVF::SCCDetection::visit()'],['../classSVF_1_1CSC.html#a2863ae212693f9ca6341e23f9d9634bf',1,'SVF::CSC::visit()'],['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html#abbac2470771fc7dbc702eda9031bcad8',1,'SVF::VersionedFlowSensitive::SCC::visit()']]],
-  ['visitallocainst_10249',['visitAllocaInst',['../classSVF_1_1SVFIRBuilder.html#a4be150eb37b75e4c081dfe38429f2089',1,'SVF::SVFIRBuilder']]],
-  ['visitatomiccmpxchginst_10250',['visitAtomicCmpXchgInst',['../classSVF_1_1SVFIRBuilder.html#ac5ae89051b0775ed209dcc654691958b',1,'SVF::SVFIRBuilder']]],
-  ['visitatomicrmwinst_10251',['visitAtomicRMWInst',['../classSVF_1_1SVFIRBuilder.html#adea9fdfead89d700d0453fd685355ff4',1,'SVF::SVFIRBuilder']]],
-  ['visitbinaryoperator_10252',['visitBinaryOperator',['../classSVF_1_1SVFIRBuilder.html#aeb5f3cc92ef2d146c7c9cc86375b4c1e',1,'SVF::SVFIRBuilder']]],
-  ['visitbranchinst_10253',['visitBranchInst',['../classSVF_1_1SVFIRBuilder.html#a4ad832691784cf4cb93017792ea3d9af',1,'SVF::SVFIRBuilder']]],
-  ['visitcallbrinst_10254',['visitCallBrInst',['../classSVF_1_1SVFIRBuilder.html#a62da871a2bace42fa96baf8b9862d4db',1,'SVF::SVFIRBuilder']]],
-  ['visitcallinst_10255',['visitCallInst',['../classSVF_1_1SVFIRBuilder.html#a421708269d991987d8d4e93cec750a8d',1,'SVF::SVFIRBuilder']]],
-  ['visitcallsite_10256',['visitCallSite',['../classSVF_1_1SVFIRBuilder.html#a5aa87f9ea35b30b4b4797f8a7f9f293c',1,'SVF::SVFIRBuilder']]],
-  ['visitcastinst_10257',['visitCastInst',['../classSVF_1_1SVFIRBuilder.html#acf5a61d45c1abc1206f6e6c813f8634b',1,'SVF::SVFIRBuilder']]],
-  ['visitcmpinst_10258',['visitCmpInst',['../classSVF_1_1SVFIRBuilder.html#ac61e0c5f667ebeb4788d07253e6a733c',1,'SVF::SVFIRBuilder']]],
-  ['visited_10259',['visited',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a8038a801ba0fc31149847a49e074b210',1,'SVF::SCCDetection::GNodeSCCInfo::visited(void) const'],['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48a7c2de3119762694cdc0a4db77213a',1,'SVF::SCCDetection::GNodeSCCInfo::visited(bool v)'],['../classSVF_1_1SCCDetection.html#aa7f342aa9281749d16bb377acf14c0d7',1,'SVF::SCCDetection::visited()']]],
-  ['visitextractelementinst_10260',['visitExtractElementInst',['../classSVF_1_1SVFIRBuilder.html#ac6b24fcbd1e1b31141c27167d49a56ec',1,'SVF::SVFIRBuilder']]],
-  ['visitextractvalueinst_10261',['visitExtractValueInst',['../classSVF_1_1SVFIRBuilder.html#a7a17ca95a5435b498fc875eb9a290800',1,'SVF::SVFIRBuilder']]],
-  ['visitfenceinst_10262',['visitFenceInst',['../classSVF_1_1SVFIRBuilder.html#a87a34334a50071e6061ee5dd1d34c9ed',1,'SVF::SVFIRBuilder']]],
-  ['visitfreezeinst_10263',['visitFreezeInst',['../classSVF_1_1SVFIRBuilder.html#a870ea33a335a7036555dd24171cf8f22',1,'SVF::SVFIRBuilder']]],
-  ['visitgetelementptrinst_10264',['visitGetElementPtrInst',['../classSVF_1_1SVFIRBuilder.html#a4a945eafd262f81b4f9cc1fa61b57371',1,'SVF::SVFIRBuilder']]],
-  ['visitglobal_10265',['visitGlobal',['../classSVF_1_1SVFIRBuilder.html#a4c6cd51def26ebd8e839df9fdc4b64b8',1,'SVF::SVFIRBuilder']]],
-  ['visitinsertelementinst_10266',['visitInsertElementInst',['../classSVF_1_1SVFIRBuilder.html#a9db09a2c74f2489648b0282769488a17',1,'SVF::SVFIRBuilder']]],
-  ['visitinsertvalueinst_10267',['visitInsertValueInst',['../classSVF_1_1SVFIRBuilder.html#a4e6025dcd8af2f35e3cc33d280fde497',1,'SVF::SVFIRBuilder']]],
-  ['visitinstruction_10268',['visitInstruction',['../classSVF_1_1SVFIRBuilder.html#a91c8f9dc6e7cb225c2ed4b8f0322a2b3',1,'SVF::SVFIRBuilder']]],
-  ['visitinvokeinst_10269',['visitInvokeInst',['../classSVF_1_1SVFIRBuilder.html#a39577da11f4b85066988f105e3c18d7c',1,'SVF::SVFIRBuilder']]],
-  ['visitlandingpadinst_10270',['visitLandingPadInst',['../classSVF_1_1SVFIRBuilder.html#a0bc35bb64bbf3b494c0ac93b99c5a6d2',1,'SVF::SVFIRBuilder']]],
-  ['visitloadinst_10271',['visitLoadInst',['../classSVF_1_1SVFIRBuilder.html#a17638b08f85d4543e663eeb739915bdc',1,'SVF::SVFIRBuilder']]],
-  ['visitphinode_10272',['visitPHINode',['../classSVF_1_1SVFIRBuilder.html#aade60fa102a29f332af36a8615c75471',1,'SVF::SVFIRBuilder']]],
-  ['visitresumeinst_10273',['visitResumeInst',['../classSVF_1_1SVFIRBuilder.html#a97b96b72e7b334f3aa732dfa5c35c3cb',1,'SVF::SVFIRBuilder']]],
-  ['visitreturninst_10274',['visitReturnInst',['../classSVF_1_1SVFIRBuilder.html#aca31431b70e2fb360caa1140e29c0c9d',1,'SVF::SVFIRBuilder']]],
-  ['visitselectinst_10275',['visitSelectInst',['../classSVF_1_1SVFIRBuilder.html#abc836736ea16d99921c0e734cf0a3c72',1,'SVF::SVFIRBuilder']]],
-  ['visitshufflevectorinst_10276',['visitShuffleVectorInst',['../classSVF_1_1SVFIRBuilder.html#acb52462a8a004654c8819017dc029c44',1,'SVF::SVFIRBuilder']]],
-  ['visitstoreinst_10277',['visitStoreInst',['../classSVF_1_1SVFIRBuilder.html#a51d75ff7f490ddfef3d4f8779872633c',1,'SVF::SVFIRBuilder']]],
-  ['visitswitchinst_10278',['visitSwitchInst',['../classSVF_1_1SVFIRBuilder.html#a83bc9c1dbc95156a68f139ff16faca2a',1,'SVF::SVFIRBuilder']]],
-  ['visitunaryoperator_10279',['visitUnaryOperator',['../classSVF_1_1SVFIRBuilder.html#ae80891bb2a162b3ad24fa7cf6380df30',1,'SVF::SVFIRBuilder']]],
-  ['visitunreachableinst_10280',['visitUnreachableInst',['../classSVF_1_1SVFIRBuilder.html#ae4f8f902265b0c39547aabbfdaded795',1,'SVF::SVFIRBuilder']]],
-  ['visitvaarginst_10281',['visitVAArgInst',['../classSVF_1_1SVFIRBuilder.html#ac26e0714728df0beca278eb405596775',1,'SVF::SVFIRBuilder']]],
-  ['visitvacopyinst_10282',['visitVACopyInst',['../classSVF_1_1SVFIRBuilder.html#afa10748f345ee53f417690cf125b0851',1,'SVF::SVFIRBuilder']]],
-  ['visitvaendinst_10283',['visitVAEndInst',['../classSVF_1_1SVFIRBuilder.html#aa2e07d018323c9d06393266970a0c340',1,'SVF::SVFIRBuilder']]],
-  ['visitvastartinst_10284',['visitVAStartInst',['../classSVF_1_1SVFIRBuilder.html#a5321cd4eabcccd72c198966de1ab1ea2',1,'SVF::SVFIRBuilder']]],
-  ['void_10285',['void',['../structcJSON__Hooks.html#a42c96b388103ffb466e7335b9fc710c3',1,'cJSON_Hooks::void()'],['../structinternal__hooks.html#a5cc2dd5383da5f20b19e0f27fa59e123',1,'internal_hooks::void()']]]
+  ['validateall_10227',['validateAll',['../classSVF_1_1RaceResultValidator.html#a58e07fcd0d9a611dfd31ab62802c5990',1,'SVF::RaceResultValidator::validateAll()'],['../classSVF_1_1RaceResultValidator.html#a58e07fcd0d9a611dfd31ab62802c5990',1,'SVF::RaceResultValidator::validateAll()']]],
+  ['validatecxtthread_10228',['validateCxtThread',['../classSVF_1_1MTAResultValidator.html#afa01b108b67ec2ac05a6444b55dbfe01',1,'SVF::MTAResultValidator::validateCxtThread()'],['../classSVF_1_1MTAResultValidator.html#aeabad721634674cdb57c604865282dac',1,'SVF::MTAResultValidator::validateCxtThread()']]],
+  ['validateexpectedfailuretests_10229',['validateExpectedFailureTests',['../classSVF_1_1PointerAnalysis.html#ab982e6bbd99a2f9a0a3abbebeeb00dcc',1,'SVF::PointerAnalysis::validateExpectedFailureTests()'],['../classSVF_1_1DoubleFreeChecker.html#a3626a53eb9488f79ea82001dc3374899',1,'SVF::DoubleFreeChecker::validateExpectedFailureTests()'],['../classSVF_1_1LeakChecker.html#af098d01a353a217bd54a90f92f62a45f',1,'SVF::LeakChecker::validateExpectedFailureTests()']]],
+  ['validateinterleaving_10230',['validateInterleaving',['../classSVF_1_1MTAResultValidator.html#a373b5227fbfa82ac070f55db999afb28',1,'SVF::MTAResultValidator::validateInterleaving()'],['../classSVF_1_1MTAResultValidator.html#a776c936ed51b7d0285dd0332a55843db',1,'SVF::MTAResultValidator::validateInterleaving()']]],
+  ['validatestmtinlock_10231',['validateStmtInLock',['../classSVF_1_1LockResultValidator.html#acddd2f9d118cbf448d92626d281fdaf9',1,'SVF::LockResultValidator']]],
+  ['validatesuccesstests_10232',['validateSuccessTests',['../classSVF_1_1PointerAnalysis.html#a7accf4e4db4001716e53d98ce5217ac8',1,'SVF::PointerAnalysis::validateSuccessTests()'],['../classSVF_1_1DoubleFreeChecker.html#a13fc5269cbd00cfd0eed5b1cee89e1c2',1,'SVF::DoubleFreeChecker::validateSuccessTests()'],['../classSVF_1_1LeakChecker.html#a0aa051a956b61cad9ec5419f33829e6a',1,'SVF::LeakChecker::validateSuccessTests()']]],
+  ['validatetct_10233',['validateTCT',['../classSVF_1_1MTAResultValidator.html#ae6a18cbaf113ee8e28c3e8dca458d4be',1,'SVF::MTAResultValidator::validateTCT()'],['../classSVF_1_1MTAResultValidator.html#a3cc2fa74c3eb82230b8929e7ffb007b7',1,'SVF::MTAResultValidator::validateTCT()']]],
+  ['validatetests_10234',['validateTests',['../classSVF_1_1PointerAnalysis.html#a0454332c89e60729956bb7d69a1a24df',1,'SVF::PointerAnalysis']]],
+  ['valsyms_10235',['valSyms',['../classSVF_1_1SymbolTableInfo.html#a8f3cb8a1db34dd692ee04561f4edeebf',1,'SVF::SymbolTableInfo']]],
+  ['valvar_10236',['ValVar',['../classSVF_1_1ValVar.html#a5c097c0686df4897325bbdbb4067d6e5',1,'SVF::ValVar::ValVar(NodeID i, PNODEK ty=ValNode)'],['../classSVF_1_1ValVar.html#a4f01c7de5795f85a5f70bbf4f15c70df',1,'SVF::ValVar::ValVar(const SVFValue *val, NodeID i, PNODEK ty=ValNode)']]],
+  ['varargpn_10237',['VarArgPN',['../classSVF_1_1VarArgPN.html#ad7bdfa5c3abb60f5b6a604905a6c6424',1,'SVF::VarArgPN::VarArgPN(NodeID i)'],['../classSVF_1_1VarArgPN.html#ad6ebe474373838bc6c00e8baaa3f7137',1,'SVF::VarArgPN::VarArgPN(const SVFFunction *val, NodeID i)']]],
+  ['varargsyms_10238',['varargSyms',['../classSVF_1_1SymbolTableInfo.html#ac449cd925dc05758c990179c0748e1d5',1,'SVF::SymbolTableInfo']]],
+  ['varhasnewdfinpts_10239',['varHasNewDFInPts',['../classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353',1,'SVF::MutableIncDFPTData::varHasNewDFInPts()'],['../classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952',1,'SVF::PersistentIncDFPTData::varHasNewDFInPts()']]],
+  ['varhasnewdfoutpts_10240',['varHasNewDFOutPts',['../classSVF_1_1MutableIncDFPTData.html#a55b19f617d11dfc6632b690694f264ab',1,'SVF::MutableIncDFPTData::varHasNewDFOutPts()'],['../classSVF_1_1PersistentIncDFPTData.html#ae44f71f2ff837fbdf9b6e77f609c0c53',1,'SVF::PersistentIncDFPTData::varHasNewDFOutPts()']]],
+  ['variantgepcgedge_10241',['VariantGepCGEdge',['../classSVF_1_1VariantGepCGEdge.html#abfea1a5cc983b1773b307c8dcd42dd02',1,'SVF::VariantGepCGEdge::VariantGepCGEdge()'],['../classSVF_1_1VariantGepCGEdge.html#a72e674854fa023f9634fc6c1b9c1af6a',1,'SVF::VariantGepCGEdge::VariantGepCGEdge(const VariantGepCGEdge &)'],['../classSVF_1_1VariantGepCGEdge.html#ac1aba938a28a9705625b4294c7d35bb6',1,'SVF::VariantGepCGEdge::VariantGepCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
+  ['vartoaddrs_10242',['varToAddrs',['../classSVF_1_1ConsExeState.html#aa3f16fb06541184e49ef4f4ea95d894c',1,'SVF::ConsExeState::varToAddrs()'],['../classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409',1,'SVF::ExeState::varToAddrs()']]],
+  ['vartostring_10243',['varToString',['../classSVF_1_1ConsExeState.html#a000e1c5692e4027b38569898f683bada',1,'SVF::ConsExeState']]],
+  ['vcallinctorordtor_10244',['VCallInCtorOrDtor',['../namespaceSVF_1_1LLVMUtil.html#a898e9c2ed163b618f2e86bc251131d8b',1,'SVF::LLVMUtil']]],
+  ['verifycallgraph_10245',['verifyCallGraph',['../classSVF_1_1PTACallGraph.html#ac695d78f0a78e2e5f1fb4f93264e52b8',1,'SVF::PTACallGraph']]],
+  ['versionedflowsensitive_10246',['VersionedFlowSensitive',['../classSVF_1_1VersionedFlowSensitive.html#ab88b7a966177e620c552d507b3763e17',1,'SVF::VersionedFlowSensitive']]],
+  ['versionedflowsensitivestat_10247',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitiveStat.html#a762c964e76d181716e1a3833dc4c0706',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['versionedptdata_10248',['VersionedPTData',['../classSVF_1_1VersionedPTData.html#a2cc5ee586042f19aa698fd8ec48e33b5',1,'SVF::VersionedPTData']]],
+  ['versionstat_10249',['versionStat',['../classSVF_1_1VersionedFlowSensitiveStat.html#ad7fe08f5d684e3411f8f28ec346bd814',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['vfg_10250',['VFG',['../classSVF_1_1VFG.html#a8ba98bb3d888ec5ff40f511da14b37bc',1,'SVF::VFG']]],
+  ['vfgedge_10251',['VFGEdge',['../classSVF_1_1VFGEdge.html#a9a29abd99da3465e07bd62470bd9bb56',1,'SVF::VFGEdge']]],
+  ['vfgnode_10252',['VFGNode',['../classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c',1,'SVF::VFGNode']]],
+  ['vfgnodes_10253',['VFGNodes',['../classSVF_1_1VFG.html#a43f4002b0beb00ed2026f7edd9ebbb1c',1,'SVF::VFG']]],
+  ['view_10254',['view',['../classSVF_1_1CFLGraph.html#a0f1b98e7cecc352a7fa7624b530efe49',1,'SVF::CFLGraph::view()'],['../classSVF_1_1CHGraph.html#a87a7d8c281490fbd2377d64b0115d262',1,'SVF::CHGraph::view()'],['../classSVF_1_1ConstraintGraph.html#a27d8078577d479c84f2a87b44f015d1c',1,'SVF::ConstraintGraph::view()'],['../classSVF_1_1ICFG.html#a0d16e302515ffa0033e02ee8f6b3b590',1,'SVF::ICFG::view()'],['../classSVF_1_1IRGraph.html#a3a656bb310ba0f42e525995a480a5b67',1,'SVF::IRGraph::view()'],['../classSVF_1_1PTACallGraph.html#a7c2d28b4707d7feaabf62977cef90d27',1,'SVF::PTACallGraph::view()'],['../classSVF_1_1VFG.html#ae4350f68e960bfef87f44587628b1929',1,'SVF::VFG::view()']]],
+  ['viewcfg_10255',['viewCFG',['../namespaceSVF_1_1LLVMUtil.html#abc9c437b7da5cfe3d988dadfcbd0635f',1,'SVF::LLVMUtil']]],
+  ['viewcfgonly_10256',['viewCFGOnly',['../namespaceSVF_1_1LLVMUtil.html#a2abbe4ed46b2031a981d93b3ba9d3fbd',1,'SVF::LLVMUtil']]],
+  ['viewgraph_10257',['ViewGraph',['../namespaceSVF.html#a4582a7d33a5631a5a38973f50035327e',1,'SVF']]],
+  ['virtfill_10258',['virtFill',['../classSVF_1_1SVFIRReader.html#ae46f4cf64824aa037447540ad60b239c',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, SVFVar *var)'],['../classSVF_1_1SVFIRReader.html#a862e234ebfc9835ce4be89d7cea0bb69',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, SVFStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#a2d2aa496466b2d9846c03f179da1018f',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, ICFGNode *node)'],['../classSVF_1_1SVFIRReader.html#a35a05bcf7557f6e1f6fb960610e1c64f',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, ICFGEdge *node)'],['../classSVF_1_1SVFIRReader.html#a1d4a8dd5af012dc3cdf70e410a8206b1',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, CHNode *node)'],['../classSVF_1_1SVFIRReader.html#aec159af379b072ac27e622c6158e2b0c',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, CHEdge *edge)'],['../classSVF_1_1SVFIRReader.html#a5511abd626690de435c00b446917ba6e',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, SVFValue *value)'],['../classSVF_1_1SVFIRReader.html#a08754893ccf3c535b2617183c5b24a20',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, SVFType *type)']]],
+  ['virttojson_10259',['virtToJson',['../classSVF_1_1SVFIRWriter.html#aef21822272ff9a57cdeb4a8b7a326047',1,'SVF::SVFIRWriter::virtToJson(const SVFType *type)'],['../classSVF_1_1SVFIRWriter.html#aa31d36234ac21e5d67586cd601ccd85a',1,'SVF::SVFIRWriter::virtToJson(const SVFValue *value)'],['../classSVF_1_1SVFIRWriter.html#a34928a196543aca2d1c21c01a8ff53a2',1,'SVF::SVFIRWriter::virtToJson(const SVFVar *var)'],['../classSVF_1_1SVFIRWriter.html#a887a06136229f978a1084f23b0491d32',1,'SVF::SVFIRWriter::virtToJson(const SVFStmt *stmt)'],['../classSVF_1_1SVFIRWriter.html#aaef14ca91eda175ba40b218c232d1f8b',1,'SVF::SVFIRWriter::virtToJson(const ICFGNode *node)'],['../classSVF_1_1SVFIRWriter.html#a7cb8eb8f3e50390ae1c551f1329d6846',1,'SVF::SVFIRWriter::virtToJson(const ICFGEdge *edge)'],['../classSVF_1_1SVFIRWriter.html#add3db3506c3ffc57f6f4fa8aadcb7556',1,'SVF::SVFIRWriter::virtToJson(const CHNode *node)'],['../classSVF_1_1SVFIRWriter.html#aa47373ddf2c4faefd506bd47d1d63f6f',1,'SVF::SVFIRWriter::virtToJson(const CHEdge *edge)']]],
+  ['visit_10260',['visit',['../classSVF_1_1WTOVisitor.html#aa338935535bb5c855224aa01d624f9d8',1,'SVF::WTOVisitor::visit(const CFBasicBlockGWTONode &)=0'],['../classSVF_1_1WTOVisitor.html#a091a17f6b7eeee138fcde4499eb17311',1,'SVF::WTOVisitor::visit(const CFBasicBlockGWTOCycle &)=0'],['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#a0f190d9a736d0d0aa6621aa6984bb962',1,'SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder::visit(const CFBasicBlockGWTOCycle &cycle) override'],['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#a3e28b1d60a731c51f6c9a12ddf4c8f20',1,'SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder::visit(const CFBasicBlockGWTONode &node) override'],['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a8daebe6f986aa1ab5e73368f69ea49e1',1,'SVF::CFBasicBlockGWTO::TailBuilder::visit(const CFBasicBlockGWTOCycle &cycle) override'],['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a6b6c7f89989b77a25b2f464f4450e879',1,'SVF::CFBasicBlockGWTO::TailBuilder::visit(const CFBasicBlockGWTONode &node) override'],['../classSVF_1_1CFBasicBlockGWTO.html#af7351af6e43b593b9915ed2a2d0d16fb',1,'SVF::CFBasicBlockGWTO::visit()'],['../classSVF_1_1SCCDetection.html#af799d7043e501e43e04e51fd4d6c6571',1,'SVF::SCCDetection::visit()'],['../classSVF_1_1CSC.html#a2863ae212693f9ca6341e23f9d9634bf',1,'SVF::CSC::visit()'],['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html#abbac2470771fc7dbc702eda9031bcad8',1,'SVF::VersionedFlowSensitive::SCC::visit()']]],
+  ['visitallocainst_10261',['visitAllocaInst',['../classSVF_1_1SVFIRBuilder.html#a4be150eb37b75e4c081dfe38429f2089',1,'SVF::SVFIRBuilder']]],
+  ['visitatomiccmpxchginst_10262',['visitAtomicCmpXchgInst',['../classSVF_1_1SVFIRBuilder.html#ac5ae89051b0775ed209dcc654691958b',1,'SVF::SVFIRBuilder']]],
+  ['visitatomicrmwinst_10263',['visitAtomicRMWInst',['../classSVF_1_1SVFIRBuilder.html#adea9fdfead89d700d0453fd685355ff4',1,'SVF::SVFIRBuilder']]],
+  ['visitbinaryoperator_10264',['visitBinaryOperator',['../classSVF_1_1SVFIRBuilder.html#aeb5f3cc92ef2d146c7c9cc86375b4c1e',1,'SVF::SVFIRBuilder']]],
+  ['visitbranchinst_10265',['visitBranchInst',['../classSVF_1_1SVFIRBuilder.html#a4ad832691784cf4cb93017792ea3d9af',1,'SVF::SVFIRBuilder']]],
+  ['visitcallbrinst_10266',['visitCallBrInst',['../classSVF_1_1SVFIRBuilder.html#a62da871a2bace42fa96baf8b9862d4db',1,'SVF::SVFIRBuilder']]],
+  ['visitcallinst_10267',['visitCallInst',['../classSVF_1_1SVFIRBuilder.html#a421708269d991987d8d4e93cec750a8d',1,'SVF::SVFIRBuilder']]],
+  ['visitcallsite_10268',['visitCallSite',['../classSVF_1_1SVFIRBuilder.html#a5aa87f9ea35b30b4b4797f8a7f9f293c',1,'SVF::SVFIRBuilder']]],
+  ['visitcastinst_10269',['visitCastInst',['../classSVF_1_1SVFIRBuilder.html#acf5a61d45c1abc1206f6e6c813f8634b',1,'SVF::SVFIRBuilder']]],
+  ['visitcmpinst_10270',['visitCmpInst',['../classSVF_1_1SVFIRBuilder.html#ac61e0c5f667ebeb4788d07253e6a733c',1,'SVF::SVFIRBuilder']]],
+  ['visited_10271',['visited',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a8038a801ba0fc31149847a49e074b210',1,'SVF::SCCDetection::GNodeSCCInfo::visited(void) const'],['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48a7c2de3119762694cdc0a4db77213a',1,'SVF::SCCDetection::GNodeSCCInfo::visited(bool v)'],['../classSVF_1_1SCCDetection.html#aa7f342aa9281749d16bb377acf14c0d7',1,'SVF::SCCDetection::visited()']]],
+  ['visitextractelementinst_10272',['visitExtractElementInst',['../classSVF_1_1SVFIRBuilder.html#ac6b24fcbd1e1b31141c27167d49a56ec',1,'SVF::SVFIRBuilder']]],
+  ['visitextractvalueinst_10273',['visitExtractValueInst',['../classSVF_1_1SVFIRBuilder.html#a7a17ca95a5435b498fc875eb9a290800',1,'SVF::SVFIRBuilder']]],
+  ['visitfenceinst_10274',['visitFenceInst',['../classSVF_1_1SVFIRBuilder.html#a87a34334a50071e6061ee5dd1d34c9ed',1,'SVF::SVFIRBuilder']]],
+  ['visitfreezeinst_10275',['visitFreezeInst',['../classSVF_1_1SVFIRBuilder.html#a870ea33a335a7036555dd24171cf8f22',1,'SVF::SVFIRBuilder']]],
+  ['visitgetelementptrinst_10276',['visitGetElementPtrInst',['../classSVF_1_1SVFIRBuilder.html#a4a945eafd262f81b4f9cc1fa61b57371',1,'SVF::SVFIRBuilder']]],
+  ['visitglobal_10277',['visitGlobal',['../classSVF_1_1SVFIRBuilder.html#a4c6cd51def26ebd8e839df9fdc4b64b8',1,'SVF::SVFIRBuilder']]],
+  ['visitinsertelementinst_10278',['visitInsertElementInst',['../classSVF_1_1SVFIRBuilder.html#a9db09a2c74f2489648b0282769488a17',1,'SVF::SVFIRBuilder']]],
+  ['visitinsertvalueinst_10279',['visitInsertValueInst',['../classSVF_1_1SVFIRBuilder.html#a4e6025dcd8af2f35e3cc33d280fde497',1,'SVF::SVFIRBuilder']]],
+  ['visitinstruction_10280',['visitInstruction',['../classSVF_1_1SVFIRBuilder.html#a91c8f9dc6e7cb225c2ed4b8f0322a2b3',1,'SVF::SVFIRBuilder']]],
+  ['visitinvokeinst_10281',['visitInvokeInst',['../classSVF_1_1SVFIRBuilder.html#a39577da11f4b85066988f105e3c18d7c',1,'SVF::SVFIRBuilder']]],
+  ['visitlandingpadinst_10282',['visitLandingPadInst',['../classSVF_1_1SVFIRBuilder.html#a0bc35bb64bbf3b494c0ac93b99c5a6d2',1,'SVF::SVFIRBuilder']]],
+  ['visitloadinst_10283',['visitLoadInst',['../classSVF_1_1SVFIRBuilder.html#a17638b08f85d4543e663eeb739915bdc',1,'SVF::SVFIRBuilder']]],
+  ['visitphinode_10284',['visitPHINode',['../classSVF_1_1SVFIRBuilder.html#aade60fa102a29f332af36a8615c75471',1,'SVF::SVFIRBuilder']]],
+  ['visitresumeinst_10285',['visitResumeInst',['../classSVF_1_1SVFIRBuilder.html#a97b96b72e7b334f3aa732dfa5c35c3cb',1,'SVF::SVFIRBuilder']]],
+  ['visitreturninst_10286',['visitReturnInst',['../classSVF_1_1SVFIRBuilder.html#aca31431b70e2fb360caa1140e29c0c9d',1,'SVF::SVFIRBuilder']]],
+  ['visitselectinst_10287',['visitSelectInst',['../classSVF_1_1SVFIRBuilder.html#abc836736ea16d99921c0e734cf0a3c72',1,'SVF::SVFIRBuilder']]],
+  ['visitshufflevectorinst_10288',['visitShuffleVectorInst',['../classSVF_1_1SVFIRBuilder.html#acb52462a8a004654c8819017dc029c44',1,'SVF::SVFIRBuilder']]],
+  ['visitstoreinst_10289',['visitStoreInst',['../classSVF_1_1SVFIRBuilder.html#a51d75ff7f490ddfef3d4f8779872633c',1,'SVF::SVFIRBuilder']]],
+  ['visitswitchinst_10290',['visitSwitchInst',['../classSVF_1_1SVFIRBuilder.html#a83bc9c1dbc95156a68f139ff16faca2a',1,'SVF::SVFIRBuilder']]],
+  ['visitunaryoperator_10291',['visitUnaryOperator',['../classSVF_1_1SVFIRBuilder.html#ae80891bb2a162b3ad24fa7cf6380df30',1,'SVF::SVFIRBuilder']]],
+  ['visitunreachableinst_10292',['visitUnreachableInst',['../classSVF_1_1SVFIRBuilder.html#ae4f8f902265b0c39547aabbfdaded795',1,'SVF::SVFIRBuilder']]],
+  ['visitvaarginst_10293',['visitVAArgInst',['../classSVF_1_1SVFIRBuilder.html#ac26e0714728df0beca278eb405596775',1,'SVF::SVFIRBuilder']]],
+  ['visitvacopyinst_10294',['visitVACopyInst',['../classSVF_1_1SVFIRBuilder.html#afa10748f345ee53f417690cf125b0851',1,'SVF::SVFIRBuilder']]],
+  ['visitvaendinst_10295',['visitVAEndInst',['../classSVF_1_1SVFIRBuilder.html#aa2e07d018323c9d06393266970a0c340',1,'SVF::SVFIRBuilder']]],
+  ['visitvastartinst_10296',['visitVAStartInst',['../classSVF_1_1SVFIRBuilder.html#a5321cd4eabcccd72c198966de1ab1ea2',1,'SVF::SVFIRBuilder']]],
+  ['void_10297',['void',['../structcJSON__Hooks.html#a42c96b388103ffb466e7335b9fc710c3',1,'cJSON_Hooks::void()'],['../structinternal__hooks.html#a5cc2dd5383da5f20b19e0f27fa59e123',1,'internal_hooks::void()']]]
 ];

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

@@ -1,32 +1,32 @@
 var searchData=
 [
-  ['weakupdateoutfromin_10286',['weakUpdateOutFromIn',['../classSVF_1_1FlowSensitive.html#ab492c283e2264b4cbd4c192e805b7750',1,'SVF::FlowSensitive']]],
-  ['while_10287',['while',['../cJSON_8cpp.html#a209b15238c5803bc547b2d77e02f29b4',1,'cJSON.cpp']]],
-  ['widen_5fwith_10288',['widen_with',['../classSVF_1_1IntervalValue.html#ab7ddcc29a116944a91db24af90d4c144',1,'SVF::IntervalValue']]],
-  ['widening_10289',['widening',['../classSVF_1_1IntervalExeState.html#abc8edb74e55f40dbc7bb5182d4ef1199',1,'SVF::IntervalExeState']]],
-  ['widenvaddrs_10290',['widenVAddrs',['../classSVF_1_1SVFIR2ItvExeState.html#a57cbbcc977705ba7cd660bb5b632a66c',1,'SVF::SVFIR2ItvExeState']]],
-  ['widenwith_10291',['widenWith',['../classSVF_1_1IntervalExeState.html#acfbe4dbb85e802a0456b7223a26280d3',1,'SVF::IntervalExeState']]],
-  ['word_10292',['word',['../structSVF_1_1SparseBitVectorElement.html#a5d43d980591d14d3a3d0782be034ed4f',1,'SVF::SparseBitVectorElement']]],
-  ['wpafssolver_10293',['WPAFSSolver',['../classSVF_1_1WPAFSSolver.html#a3bab50f0e94f516204d6622420de7db7',1,'SVF::WPAFSSolver']]],
-  ['wpaminimumsolver_10294',['WPAMinimumSolver',['../classSVF_1_1WPAMinimumSolver.html#aaf8b6410ba9667f7a46fc4ca05900ed3',1,'SVF::WPAMinimumSolver']]],
-  ['wpapass_10295',['WPAPass',['../classSVF_1_1WPAPass.html#a3fc957e01a3ac7c242c030c6f6846fa9',1,'SVF::WPAPass']]],
-  ['wpasccsolver_10296',['WPASCCSolver',['../classSVF_1_1WPASCCSolver.html#aa2c15ca2f8fba1a5d77f0332e4ddf9e8',1,'SVF::WPASCCSolver']]],
-  ['wpasolver_10297',['WPASolver',['../classSVF_1_1WPASolver.html#a0c5616b0e340955dafc2ab2f21740abd',1,'SVF::WPASolver']]],
-  ['wrapped_10298',['wrapped',['../classSVF_1_1iter__adaptor__base.html#afa1dc067ea97ae5db1e2618e47be1525',1,'SVF::iter_adaptor_base']]],
-  ['writeedge_10299',['writeEdge',['../classSVF_1_1GraphWriter.html#a6133d0033363b0e9db156c354da7d7e6',1,'SVF::GraphWriter']]],
-  ['writefooter_10300',['writeFooter',['../classSVF_1_1GraphWriter.html#a5c3ce0eba24c71f847676b23b855e44c',1,'SVF::GraphWriter']]],
-  ['writegraph_10301',['writeGraph',['../classSVF_1_1GraphWriter.html#ae414407f483b60c9fa49e2f3ae62de30',1,'SVF::GraphWriter::writeGraph()'],['../namespaceSVF.html#ae27267f89add1338fd5afe3a38f61ebd',1,'SVF::WriteGraph(std::ofstream &O, const GraphType &G, bool ShortNames=false)'],['../namespaceSVF.html#a587614f74cb00a35a423559265239798',1,'SVF::WriteGraph(const GraphType &G, bool ShortNames=false, std::string Filename="")']]],
-  ['writegraphtofile_10302',['WriteGraphToFile',['../classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10',1,'SVF::GraphPrinter']]],
-  ['writeheader_10303',['writeHeader',['../classSVF_1_1GraphWriter.html#abd376959cc889e1e387523f38674650f',1,'SVF::GraphWriter']]],
-  ['writejsontoostream_10304',['writeJsonToOstream',['../classSVF_1_1SVFIRWriter.html#a12d70e815fa53a4121d375ac26f2c30f',1,'SVF::SVFIRWriter']]],
-  ['writejsontopath_10305',['writeJsonToPath',['../classSVF_1_1SVFIRWriter.html#a2bbb4e38ce3eb2c43b7f01cb240df9c8',1,'SVF::SVFIRWriter']]],
-  ['writenode_10306',['writeNode',['../classSVF_1_1GraphWriter.html#a18c579b53feccbb3b521982c6161f555',1,'SVF::GraphWriter']]],
-  ['writenodes_10307',['writeNodes',['../classSVF_1_1GraphWriter.html#ada2363727dc20c2183b8252f3bdf3a04',1,'SVF::GraphWriter']]],
-  ['writeobjvartofile_10308',['writeObjVarToFile',['../classSVF_1_1BVDataPTAImpl.html#a3279969934d6778a6cffe926ed724bfc',1,'SVF::BVDataPTAImpl']]],
-  ['writetofile_10309',['writeToFile',['../classSVF_1_1SVFG.html#a7ce9ec638995467c211958262be08ee1',1,'SVF::SVFG::writeToFile()'],['../classSVF_1_1BVDataPTAImpl.html#a25c68f9d2b88437778e854ff0d741d1b',1,'SVF::BVDataPTAImpl::writeToFile()']]],
-  ['writewrnmsg_10310',['writeWrnMsg',['../namespaceSVF_1_1SVFUtil.html#ab2e0196e0ce547ab4a483cc6d2646b24',1,'SVF::SVFUtil']]],
-  ['wrnmsg_10311',['wrnMsg',['../namespaceSVF_1_1SVFUtil.html#ac71522e8c55f84cfc6c13a0ddff18436',1,'SVF::SVFUtil']]],
-  ['wtocycledepth_10312',['WTOCycleDepth',['../classSVF_1_1WTOCycleDepth.html#a7f3412aaf5948741e4c5cdbaff728101',1,'SVF::WTOCycleDepth::WTOCycleDepth()=default'],['../classSVF_1_1WTOCycleDepth.html#afc723013529bd727de465237b9f247b9',1,'SVF::WTOCycleDepth::WTOCycleDepth(const WTOCycleDepth &)=default'],['../classSVF_1_1WTOCycleDepth.html#ac464d9bc46a36a4e91b8356394c0af82',1,'SVF::WTOCycleDepth::WTOCycleDepth(WTOCycleDepth &&)=default']]],
-  ['wtocycledepthbuilder_10313',['WTOCycleDepthBuilder',['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#adc313cc9a42ae663f0c018da128b77f6',1,'SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder']]],
-  ['wtovisitor_10314',['WTOVisitor',['../classSVF_1_1WTOVisitor.html#a78a0b2d508d8591126203f8b5d6e22cd',1,'SVF::WTOVisitor::WTOVisitor()=default'],['../classSVF_1_1WTOVisitor.html#a78070052887172b31f7fb02a2bd9d2a8',1,'SVF::WTOVisitor::WTOVisitor(const WTOVisitor &) noexcept=default'],['../classSVF_1_1WTOVisitor.html#a624905f5b86c02d1daa9d8860f129d25',1,'SVF::WTOVisitor::WTOVisitor(WTOVisitor &&) noexcept=default']]]
+  ['weakupdateoutfromin_10298',['weakUpdateOutFromIn',['../classSVF_1_1FlowSensitive.html#ab492c283e2264b4cbd4c192e805b7750',1,'SVF::FlowSensitive']]],
+  ['while_10299',['while',['../cJSON_8cpp.html#a209b15238c5803bc547b2d77e02f29b4',1,'cJSON.cpp']]],
+  ['widen_5fwith_10300',['widen_with',['../classSVF_1_1IntervalValue.html#ab7ddcc29a116944a91db24af90d4c144',1,'SVF::IntervalValue']]],
+  ['widening_10301',['widening',['../classSVF_1_1IntervalExeState.html#abc8edb74e55f40dbc7bb5182d4ef1199',1,'SVF::IntervalExeState']]],
+  ['widenvaddrs_10302',['widenVAddrs',['../classSVF_1_1SVFIR2ItvExeState.html#a57cbbcc977705ba7cd660bb5b632a66c',1,'SVF::SVFIR2ItvExeState']]],
+  ['widenwith_10303',['widenWith',['../classSVF_1_1IntervalExeState.html#acfbe4dbb85e802a0456b7223a26280d3',1,'SVF::IntervalExeState']]],
+  ['word_10304',['word',['../structSVF_1_1SparseBitVectorElement.html#a5d43d980591d14d3a3d0782be034ed4f',1,'SVF::SparseBitVectorElement']]],
+  ['wpafssolver_10305',['WPAFSSolver',['../classSVF_1_1WPAFSSolver.html#a3bab50f0e94f516204d6622420de7db7',1,'SVF::WPAFSSolver']]],
+  ['wpaminimumsolver_10306',['WPAMinimumSolver',['../classSVF_1_1WPAMinimumSolver.html#aaf8b6410ba9667f7a46fc4ca05900ed3',1,'SVF::WPAMinimumSolver']]],
+  ['wpapass_10307',['WPAPass',['../classSVF_1_1WPAPass.html#a3fc957e01a3ac7c242c030c6f6846fa9',1,'SVF::WPAPass']]],
+  ['wpasccsolver_10308',['WPASCCSolver',['../classSVF_1_1WPASCCSolver.html#aa2c15ca2f8fba1a5d77f0332e4ddf9e8',1,'SVF::WPASCCSolver']]],
+  ['wpasolver_10309',['WPASolver',['../classSVF_1_1WPASolver.html#a0c5616b0e340955dafc2ab2f21740abd',1,'SVF::WPASolver']]],
+  ['wrapped_10310',['wrapped',['../classSVF_1_1iter__adaptor__base.html#afa1dc067ea97ae5db1e2618e47be1525',1,'SVF::iter_adaptor_base']]],
+  ['writeedge_10311',['writeEdge',['../classSVF_1_1GraphWriter.html#a6133d0033363b0e9db156c354da7d7e6',1,'SVF::GraphWriter']]],
+  ['writefooter_10312',['writeFooter',['../classSVF_1_1GraphWriter.html#a5c3ce0eba24c71f847676b23b855e44c',1,'SVF::GraphWriter']]],
+  ['writegraph_10313',['writeGraph',['../classSVF_1_1GraphWriter.html#ae414407f483b60c9fa49e2f3ae62de30',1,'SVF::GraphWriter::writeGraph()'],['../namespaceSVF.html#ae27267f89add1338fd5afe3a38f61ebd',1,'SVF::WriteGraph(std::ofstream &O, const GraphType &G, bool ShortNames=false)'],['../namespaceSVF.html#a587614f74cb00a35a423559265239798',1,'SVF::WriteGraph(const GraphType &G, bool ShortNames=false, std::string Filename="")']]],
+  ['writegraphtofile_10314',['WriteGraphToFile',['../classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10',1,'SVF::GraphPrinter']]],
+  ['writeheader_10315',['writeHeader',['../classSVF_1_1GraphWriter.html#abd376959cc889e1e387523f38674650f',1,'SVF::GraphWriter']]],
+  ['writejsontoostream_10316',['writeJsonToOstream',['../classSVF_1_1SVFIRWriter.html#a12d70e815fa53a4121d375ac26f2c30f',1,'SVF::SVFIRWriter']]],
+  ['writejsontopath_10317',['writeJsonToPath',['../classSVF_1_1SVFIRWriter.html#a2bbb4e38ce3eb2c43b7f01cb240df9c8',1,'SVF::SVFIRWriter']]],
+  ['writenode_10318',['writeNode',['../classSVF_1_1GraphWriter.html#a18c579b53feccbb3b521982c6161f555',1,'SVF::GraphWriter']]],
+  ['writenodes_10319',['writeNodes',['../classSVF_1_1GraphWriter.html#ada2363727dc20c2183b8252f3bdf3a04',1,'SVF::GraphWriter']]],
+  ['writeobjvartofile_10320',['writeObjVarToFile',['../classSVF_1_1BVDataPTAImpl.html#a3279969934d6778a6cffe926ed724bfc',1,'SVF::BVDataPTAImpl']]],
+  ['writetofile_10321',['writeToFile',['../classSVF_1_1SVFG.html#a7ce9ec638995467c211958262be08ee1',1,'SVF::SVFG::writeToFile()'],['../classSVF_1_1BVDataPTAImpl.html#a25c68f9d2b88437778e854ff0d741d1b',1,'SVF::BVDataPTAImpl::writeToFile()']]],
+  ['writewrnmsg_10322',['writeWrnMsg',['../namespaceSVF_1_1SVFUtil.html#ab2e0196e0ce547ab4a483cc6d2646b24',1,'SVF::SVFUtil']]],
+  ['wrnmsg_10323',['wrnMsg',['../namespaceSVF_1_1SVFUtil.html#ac71522e8c55f84cfc6c13a0ddff18436',1,'SVF::SVFUtil']]],
+  ['wtocycledepth_10324',['WTOCycleDepth',['../classSVF_1_1WTOCycleDepth.html#a7f3412aaf5948741e4c5cdbaff728101',1,'SVF::WTOCycleDepth::WTOCycleDepth()=default'],['../classSVF_1_1WTOCycleDepth.html#afc723013529bd727de465237b9f247b9',1,'SVF::WTOCycleDepth::WTOCycleDepth(const WTOCycleDepth &)=default'],['../classSVF_1_1WTOCycleDepth.html#ac464d9bc46a36a4e91b8356394c0af82',1,'SVF::WTOCycleDepth::WTOCycleDepth(WTOCycleDepth &&)=default']]],
+  ['wtocycledepthbuilder_10325',['WTOCycleDepthBuilder',['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#adc313cc9a42ae663f0c018da128b77f6',1,'SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder']]],
+  ['wtovisitor_10326',['WTOVisitor',['../classSVF_1_1WTOVisitor.html#a78a0b2d508d8591126203f8b5d6e22cd',1,'SVF::WTOVisitor::WTOVisitor()=default'],['../classSVF_1_1WTOVisitor.html#a78070052887172b31f7fb02a2bd9d2a8',1,'SVF::WTOVisitor::WTOVisitor(const WTOVisitor &) noexcept=default'],['../classSVF_1_1WTOVisitor.html#a624905f5b86c02d1daa9d8860f129d25',1,'SVF::WTOVisitor::WTOVisitor(WTOVisitor &&) noexcept=default']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['z3expr_10315',['Z3Expr',['../classSVF_1_1Z3Expr.html#a7a952918c0f3105d31da2ee00af4cffb',1,'SVF::Z3Expr::Z3Expr(float f)'],['../classSVF_1_1Z3Expr.html#a540f1dc9615fd9765cff52a2a17adadc',1,'SVF::Z3Expr::Z3Expr(double f)'],['../classSVF_1_1Z3Expr.html#abda8e52003e163cda25d75a4cb520290',1,'SVF::Z3Expr::Z3Expr()'],['../classSVF_1_1Z3Expr.html#a6d57d4b10076ddf91cf47bf4d8878cd8',1,'SVF::Z3Expr::Z3Expr(const z3::expr &_e)'],['../classSVF_1_1Z3Expr.html#a8a6922b80af6a71d3b94fdd7c31e130b',1,'SVF::Z3Expr::Z3Expr(int i)'],['../classSVF_1_1Z3Expr.html#a004ca551a4c40e295bcab56374a45947',1,'SVF::Z3Expr::Z3Expr(const Z3Expr &z3Expr)']]],
-  ['z3expr2numvalue_10316',['z3Expr2NumValue',['../classSVF_1_1ConsExeState.html#ad8cd07a607743e8cbbf59bd5882c5043',1,'SVF::ConsExeState::z3Expr2NumValue()'],['../classSVF_1_1RelExeState.html#accb15cf8109eec2a7cc497badcdbaa57',1,'SVF::RelExeState::z3Expr2NumValue()']]]
+  ['z3expr_10327',['Z3Expr',['../classSVF_1_1Z3Expr.html#a7a952918c0f3105d31da2ee00af4cffb',1,'SVF::Z3Expr::Z3Expr(float f)'],['../classSVF_1_1Z3Expr.html#a540f1dc9615fd9765cff52a2a17adadc',1,'SVF::Z3Expr::Z3Expr(double f)'],['../classSVF_1_1Z3Expr.html#abda8e52003e163cda25d75a4cb520290',1,'SVF::Z3Expr::Z3Expr()'],['../classSVF_1_1Z3Expr.html#a6d57d4b10076ddf91cf47bf4d8878cd8',1,'SVF::Z3Expr::Z3Expr(const z3::expr &_e)'],['../classSVF_1_1Z3Expr.html#a8a6922b80af6a71d3b94fdd7c31e130b',1,'SVF::Z3Expr::Z3Expr(int i)'],['../classSVF_1_1Z3Expr.html#a004ca551a4c40e295bcab56374a45947',1,'SVF::Z3Expr::Z3Expr(const Z3Expr &z3Expr)']]],
+  ['z3expr2numvalue_10328',['z3Expr2NumValue',['../classSVF_1_1ConsExeState.html#ad8cd07a607743e8cbbf59bd5882c5043',1,'SVF::ConsExeState::z3Expr2NumValue()'],['../classSVF_1_1RelExeState.html#accb15cf8109eec2a7cc497badcdbaa57',1,'SVF::RelExeState::z3Expr2NumValue()']]]
 ];