svf-tools 1.0.897 → 1.0.899

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

@@ -1,75 +1,75 @@
 var searchData=
 [
-  ['validateall_10831',['validateAll',['../classSVF_1_1RaceResultValidator.html#a4327af2795a9aa336543d8b3c3a7bfdf',1,'SVF::RaceResultValidator::validateAll()'],['../classSVF_1_1RaceResultValidator.html#a58e07fcd0d9a611dfd31ab62802c5990',1,'SVF::RaceResultValidator::validateAll()']]],
-  ['validatecxtthread_10832',['validateCxtThread',['../classSVF_1_1MTAResultValidator.html#afa01b108b67ec2ac05a6444b55dbfe01',1,'SVF::MTAResultValidator::validateCxtThread()'],['../classSVF_1_1MTAResultValidator.html#aeabad721634674cdb57c604865282dac',1,'SVF::MTAResultValidator::validateCxtThread()']]],
-  ['validateexpectedfailuretests_10833',['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_10834',['validateInterleaving',['../classSVF_1_1MTAResultValidator.html#a373b5227fbfa82ac070f55db999afb28',1,'SVF::MTAResultValidator::validateInterleaving()'],['../classSVF_1_1MTAResultValidator.html#a776c936ed51b7d0285dd0332a55843db',1,'SVF::MTAResultValidator::validateInterleaving()']]],
-  ['validatestmtinlock_10835',['validateStmtInLock',['../classSVF_1_1LockResultValidator.html#acddd2f9d118cbf448d92626d281fdaf9',1,'SVF::LockResultValidator']]],
-  ['validatesuccesstests_10836',['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_10837',['validateTCT',['../classSVF_1_1MTAResultValidator.html#ae6a18cbaf113ee8e28c3e8dca458d4be',1,'SVF::MTAResultValidator::validateTCT()'],['../classSVF_1_1MTAResultValidator.html#a3cc2fa74c3eb82230b8929e7ffb007b7',1,'SVF::MTAResultValidator::validateTCT()']]],
-  ['validatetests_10838',['validateTests',['../classSVF_1_1PointerAnalysis.html#a0454332c89e60729956bb7d69a1a24df',1,'SVF::PointerAnalysis']]],
-  ['validatetypecheck_10839',['validateTypeCheck',['../classSVF_1_1ObjTypeInference.html#afe926ee3427bb329d189e0c40bb1cd60',1,'SVF::ObjTypeInference']]],
-  ['valsyms_10840',['valSyms',['../classSVF_1_1SymbolTableInfo.html#a8f3cb8a1db34dd692ee04561f4edeebf',1,'SVF::SymbolTableInfo']]],
-  ['valvar_10841',['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_10842',['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_10843',['varargSyms',['../classSVF_1_1SymbolTableInfo.html#ac449cd925dc05758c990179c0748e1d5',1,'SVF::SymbolTableInfo']]],
-  ['varhasnewdfinpts_10844',['varHasNewDFInPts',['../classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353',1,'SVF::MutableIncDFPTData::varHasNewDFInPts()'],['../classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952',1,'SVF::PersistentIncDFPTData::varHasNewDFInPts()']]],
-  ['varhasnewdfoutpts_10845',['varHasNewDFOutPts',['../classSVF_1_1MutableIncDFPTData.html#a55b19f617d11dfc6632b690694f264ab',1,'SVF::MutableIncDFPTData::varHasNewDFOutPts()'],['../classSVF_1_1PersistentIncDFPTData.html#ae44f71f2ff837fbdf9b6e77f609c0c53',1,'SVF::PersistentIncDFPTData::varHasNewDFOutPts()']]],
-  ['variantgepcgedge_10846',['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_10847',['varToAddrs',['../classSVF_1_1ConsExeState.html#aa3f16fb06541184e49ef4f4ea95d894c',1,'SVF::ConsExeState::varToAddrs()'],['../classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409',1,'SVF::ExeState::varToAddrs()']]],
-  ['vartostring_10848',['varToString',['../classSVF_1_1ConsExeState.html#a000e1c5692e4027b38569898f683bada',1,'SVF::ConsExeState']]],
-  ['vcallinctorordtor_10849',['VCallInCtorOrDtor',['../namespaceSVF_1_1cppUtil.html#a96037fcbe6261f46e22505a10f50753f',1,'SVF::cppUtil']]],
-  ['verifycallgraph_10850',['verifyCallGraph',['../classSVF_1_1PTACallGraph.html#ac695d78f0a78e2e5f1fb4f93264e52b8',1,'SVF::PTACallGraph']]],
-  ['versionedflowsensitive_10851',['VersionedFlowSensitive',['../classSVF_1_1VersionedFlowSensitive.html#ab88b7a966177e620c552d507b3763e17',1,'SVF::VersionedFlowSensitive']]],
-  ['versionedflowsensitivestat_10852',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitiveStat.html#a762c964e76d181716e1a3833dc4c0706',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['versionedptdata_10853',['VersionedPTData',['../classSVF_1_1VersionedPTData.html#a2cc5ee586042f19aa698fd8ec48e33b5',1,'SVF::VersionedPTData']]],
-  ['versionstat_10854',['versionStat',['../classSVF_1_1VersionedFlowSensitiveStat.html#ad7fe08f5d684e3411f8f28ec346bd814',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['vfg_10855',['VFG',['../classSVF_1_1VFG.html#a8ba98bb3d888ec5ff40f511da14b37bc',1,'SVF::VFG']]],
-  ['vfgedge_10856',['VFGEdge',['../classSVF_1_1VFGEdge.html#a9a29abd99da3465e07bd62470bd9bb56',1,'SVF::VFGEdge']]],
-  ['vfgnode_10857',['VFGNode',['../classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c',1,'SVF::VFGNode']]],
-  ['vfgnodes_10858',['VFGNodes',['../classSVF_1_1VFG.html#a43f4002b0beb00ed2026f7edd9ebbb1c',1,'SVF::VFG']]],
-  ['view_10859',['view',['../classSVF_1_1CDG.html#a37a615eda0e530f2c784e0dfc5936723',1,'SVF::CDG::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_10860',['viewCFG',['../namespaceSVF_1_1LLVMUtil.html#abc9c437b7da5cfe3d988dadfcbd0635f',1,'SVF::LLVMUtil']]],
-  ['viewcfgonly_10861',['viewCFGOnly',['../namespaceSVF_1_1LLVMUtil.html#a2abbe4ed46b2031a981d93b3ba9d3fbd',1,'SVF::LLVMUtil']]],
-  ['viewgraph_10862',['ViewGraph',['../namespaceSVF.html#a4582a7d33a5631a5a38973f50035327e',1,'SVF']]],
-  ['virtfill_10863',['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_10864',['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_10865',['visit',['../classSVF_1_1SCCDetection.html#af799d7043e501e43e04e51fd4d6c6571',1,'SVF::SCCDetection::visit()'],['../classSVF_1_1WTOComponentVisitor.html#a1a5052418f6e73c9da9cee44dc50443d',1,'SVF::WTOComponentVisitor::visit(const WTONodeT &)=0'],['../classSVF_1_1WTOComponentVisitor.html#ae7390104473ed5b4fa18f2b3af689d5c',1,'SVF::WTOComponentVisitor::visit(const WTOCycleT &)=0'],['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#aad99b0e8004bb36b9a4ba81ea16c5d90',1,'SVF::WTO::WTOCycleDepthBuilder::visit(const WTOCycleT &cycle) override'],['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a51be6e437a0d715e2571242c4dde1794',1,'SVF::WTO::WTOCycleDepthBuilder::visit(const WTONodeT &node) override'],['../classSVF_1_1WTO.html#a56259113c30312e5052d0d8c0d4d6b77',1,'SVF::WTO::visit()'],['../classSVF_1_1CSC.html#a2863ae212693f9ca6341e23f9d9634bf',1,'SVF::CSC::visit()'],['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html#abbac2470771fc7dbc702eda9031bcad8',1,'SVF::VersionedFlowSensitive::SCC::visit()']]],
-  ['visitallocainst_10866',['visitAllocaInst',['../classSVF_1_1SVFIRBuilder.html#a4be150eb37b75e4c081dfe38429f2089',1,'SVF::SVFIRBuilder']]],
-  ['visitatomiccmpxchginst_10867',['visitAtomicCmpXchgInst',['../classSVF_1_1SVFIRBuilder.html#ac5ae89051b0775ed209dcc654691958b',1,'SVF::SVFIRBuilder']]],
-  ['visitatomicrmwinst_10868',['visitAtomicRMWInst',['../classSVF_1_1SVFIRBuilder.html#adea9fdfead89d700d0453fd685355ff4',1,'SVF::SVFIRBuilder']]],
-  ['visitbinaryoperator_10869',['visitBinaryOperator',['../classSVF_1_1SVFIRBuilder.html#aeb5f3cc92ef2d146c7c9cc86375b4c1e',1,'SVF::SVFIRBuilder']]],
-  ['visitbranchinst_10870',['visitBranchInst',['../classSVF_1_1SVFIRBuilder.html#a4ad832691784cf4cb93017792ea3d9af',1,'SVF::SVFIRBuilder']]],
-  ['visitcallbrinst_10871',['visitCallBrInst',['../classSVF_1_1SVFIRBuilder.html#a62da871a2bace42fa96baf8b9862d4db',1,'SVF::SVFIRBuilder']]],
-  ['visitcallinst_10872',['visitCallInst',['../classSVF_1_1SVFIRBuilder.html#a421708269d991987d8d4e93cec750a8d',1,'SVF::SVFIRBuilder']]],
-  ['visitcallsite_10873',['visitCallSite',['../classSVF_1_1SVFIRBuilder.html#a5aa87f9ea35b30b4b4797f8a7f9f293c',1,'SVF::SVFIRBuilder']]],
-  ['visitcastinst_10874',['visitCastInst',['../classSVF_1_1SVFIRBuilder.html#acf5a61d45c1abc1206f6e6c813f8634b',1,'SVF::SVFIRBuilder']]],
-  ['visitcmpinst_10875',['visitCmpInst',['../classSVF_1_1SVFIRBuilder.html#ac61e0c5f667ebeb4788d07253e6a733c',1,'SVF::SVFIRBuilder']]],
-  ['visited_10876',['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_10877',['visitExtractElementInst',['../classSVF_1_1SVFIRBuilder.html#ac6b24fcbd1e1b31141c27167d49a56ec',1,'SVF::SVFIRBuilder']]],
-  ['visitextractvalueinst_10878',['visitExtractValueInst',['../classSVF_1_1SVFIRBuilder.html#a7a17ca95a5435b498fc875eb9a290800',1,'SVF::SVFIRBuilder']]],
-  ['visitfenceinst_10879',['visitFenceInst',['../classSVF_1_1SVFIRBuilder.html#a87a34334a50071e6061ee5dd1d34c9ed',1,'SVF::SVFIRBuilder']]],
-  ['visitfreezeinst_10880',['visitFreezeInst',['../classSVF_1_1SVFIRBuilder.html#a870ea33a335a7036555dd24171cf8f22',1,'SVF::SVFIRBuilder']]],
-  ['visitgetelementptrinst_10881',['visitGetElementPtrInst',['../classSVF_1_1SVFIRBuilder.html#a4a945eafd262f81b4f9cc1fa61b57371',1,'SVF::SVFIRBuilder']]],
-  ['visitglobal_10882',['visitGlobal',['../classSVF_1_1SVFIRBuilder.html#a4c6cd51def26ebd8e839df9fdc4b64b8',1,'SVF::SVFIRBuilder']]],
-  ['visitinsertelementinst_10883',['visitInsertElementInst',['../classSVF_1_1SVFIRBuilder.html#a9db09a2c74f2489648b0282769488a17',1,'SVF::SVFIRBuilder']]],
-  ['visitinsertvalueinst_10884',['visitInsertValueInst',['../classSVF_1_1SVFIRBuilder.html#a4e6025dcd8af2f35e3cc33d280fde497',1,'SVF::SVFIRBuilder']]],
-  ['visitinstruction_10885',['visitInstruction',['../classSVF_1_1SVFIRBuilder.html#a91c8f9dc6e7cb225c2ed4b8f0322a2b3',1,'SVF::SVFIRBuilder']]],
-  ['visitinvokeinst_10886',['visitInvokeInst',['../classSVF_1_1SVFIRBuilder.html#a39577da11f4b85066988f105e3c18d7c',1,'SVF::SVFIRBuilder']]],
-  ['visitlandingpadinst_10887',['visitLandingPadInst',['../classSVF_1_1SVFIRBuilder.html#a0bc35bb64bbf3b494c0ac93b99c5a6d2',1,'SVF::SVFIRBuilder']]],
-  ['visitloadinst_10888',['visitLoadInst',['../classSVF_1_1SVFIRBuilder.html#a17638b08f85d4543e663eeb739915bdc',1,'SVF::SVFIRBuilder']]],
-  ['visitphinode_10889',['visitPHINode',['../classSVF_1_1SVFIRBuilder.html#aade60fa102a29f332af36a8615c75471',1,'SVF::SVFIRBuilder']]],
-  ['visitresumeinst_10890',['visitResumeInst',['../classSVF_1_1SVFIRBuilder.html#a97b96b72e7b334f3aa732dfa5c35c3cb',1,'SVF::SVFIRBuilder']]],
-  ['visitreturninst_10891',['visitReturnInst',['../classSVF_1_1SVFIRBuilder.html#aca31431b70e2fb360caa1140e29c0c9d',1,'SVF::SVFIRBuilder']]],
-  ['visitselectinst_10892',['visitSelectInst',['../classSVF_1_1SVFIRBuilder.html#abc836736ea16d99921c0e734cf0a3c72',1,'SVF::SVFIRBuilder']]],
-  ['visitshufflevectorinst_10893',['visitShuffleVectorInst',['../classSVF_1_1SVFIRBuilder.html#acb52462a8a004654c8819017dc029c44',1,'SVF::SVFIRBuilder']]],
-  ['visitstoreinst_10894',['visitStoreInst',['../classSVF_1_1SVFIRBuilder.html#a51d75ff7f490ddfef3d4f8779872633c',1,'SVF::SVFIRBuilder']]],
-  ['visitswitchinst_10895',['visitSwitchInst',['../classSVF_1_1SVFIRBuilder.html#a83bc9c1dbc95156a68f139ff16faca2a',1,'SVF::SVFIRBuilder']]],
-  ['visitunaryoperator_10896',['visitUnaryOperator',['../classSVF_1_1SVFIRBuilder.html#ae80891bb2a162b3ad24fa7cf6380df30',1,'SVF::SVFIRBuilder']]],
-  ['visitunreachableinst_10897',['visitUnreachableInst',['../classSVF_1_1SVFIRBuilder.html#ae4f8f902265b0c39547aabbfdaded795',1,'SVF::SVFIRBuilder']]],
-  ['visitvaarginst_10898',['visitVAArgInst',['../classSVF_1_1SVFIRBuilder.html#ac26e0714728df0beca278eb405596775',1,'SVF::SVFIRBuilder']]],
-  ['visitvacopyinst_10899',['visitVACopyInst',['../classSVF_1_1SVFIRBuilder.html#afa10748f345ee53f417690cf125b0851',1,'SVF::SVFIRBuilder']]],
-  ['visitvaendinst_10900',['visitVAEndInst',['../classSVF_1_1SVFIRBuilder.html#aa2e07d018323c9d06393266970a0c340',1,'SVF::SVFIRBuilder']]],
-  ['visitvastartinst_10901',['visitVAStartInst',['../classSVF_1_1SVFIRBuilder.html#a5321cd4eabcccd72c198966de1ab1ea2',1,'SVF::SVFIRBuilder']]],
-  ['void_10902',['void',['../structcJSON__Hooks.html#a42c96b388103ffb466e7335b9fc710c3',1,'cJSON_Hooks::void()'],['../structinternal__hooks.html#a5cc2dd5383da5f20b19e0f27fa59e123',1,'internal_hooks::void()']]]
+  ['validateall_10871',['validateAll',['../classSVF_1_1RaceResultValidator.html#a4327af2795a9aa336543d8b3c3a7bfdf',1,'SVF::RaceResultValidator::validateAll()'],['../classSVF_1_1RaceResultValidator.html#a58e07fcd0d9a611dfd31ab62802c5990',1,'SVF::RaceResultValidator::validateAll()']]],
+  ['validatecxtthread_10872',['validateCxtThread',['../classSVF_1_1MTAResultValidator.html#afa01b108b67ec2ac05a6444b55dbfe01',1,'SVF::MTAResultValidator::validateCxtThread()'],['../classSVF_1_1MTAResultValidator.html#aeabad721634674cdb57c604865282dac',1,'SVF::MTAResultValidator::validateCxtThread()']]],
+  ['validateexpectedfailuretests_10873',['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_10874',['validateInterleaving',['../classSVF_1_1MTAResultValidator.html#a373b5227fbfa82ac070f55db999afb28',1,'SVF::MTAResultValidator::validateInterleaving()'],['../classSVF_1_1MTAResultValidator.html#a776c936ed51b7d0285dd0332a55843db',1,'SVF::MTAResultValidator::validateInterleaving()']]],
+  ['validatestmtinlock_10875',['validateStmtInLock',['../classSVF_1_1LockResultValidator.html#acddd2f9d118cbf448d92626d281fdaf9',1,'SVF::LockResultValidator']]],
+  ['validatesuccesstests_10876',['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_10877',['validateTCT',['../classSVF_1_1MTAResultValidator.html#ae6a18cbaf113ee8e28c3e8dca458d4be',1,'SVF::MTAResultValidator::validateTCT()'],['../classSVF_1_1MTAResultValidator.html#a3cc2fa74c3eb82230b8929e7ffb007b7',1,'SVF::MTAResultValidator::validateTCT()']]],
+  ['validatetests_10878',['validateTests',['../classSVF_1_1PointerAnalysis.html#a0454332c89e60729956bb7d69a1a24df',1,'SVF::PointerAnalysis']]],
+  ['validatetypecheck_10879',['validateTypeCheck',['../classSVF_1_1ObjTypeInference.html#afe926ee3427bb329d189e0c40bb1cd60',1,'SVF::ObjTypeInference']]],
+  ['valsyms_10880',['valSyms',['../classSVF_1_1SymbolTableInfo.html#a8f3cb8a1db34dd692ee04561f4edeebf',1,'SVF::SymbolTableInfo']]],
+  ['valvar_10881',['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_10882',['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_10883',['varargSyms',['../classSVF_1_1SymbolTableInfo.html#ac449cd925dc05758c990179c0748e1d5',1,'SVF::SymbolTableInfo']]],
+  ['varhasnewdfinpts_10884',['varHasNewDFInPts',['../classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353',1,'SVF::MutableIncDFPTData::varHasNewDFInPts()'],['../classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952',1,'SVF::PersistentIncDFPTData::varHasNewDFInPts()']]],
+  ['varhasnewdfoutpts_10885',['varHasNewDFOutPts',['../classSVF_1_1MutableIncDFPTData.html#a55b19f617d11dfc6632b690694f264ab',1,'SVF::MutableIncDFPTData::varHasNewDFOutPts()'],['../classSVF_1_1PersistentIncDFPTData.html#ae44f71f2ff837fbdf9b6e77f609c0c53',1,'SVF::PersistentIncDFPTData::varHasNewDFOutPts()']]],
+  ['variantgepcgedge_10886',['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_10887',['varToAddrs',['../classSVF_1_1ConsExeState.html#aa3f16fb06541184e49ef4f4ea95d894c',1,'SVF::ConsExeState::varToAddrs()'],['../classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409',1,'SVF::ExeState::varToAddrs()']]],
+  ['vartostring_10888',['varToString',['../classSVF_1_1ConsExeState.html#a000e1c5692e4027b38569898f683bada',1,'SVF::ConsExeState']]],
+  ['vcallinctorordtor_10889',['VCallInCtorOrDtor',['../namespaceSVF_1_1cppUtil.html#a96037fcbe6261f46e22505a10f50753f',1,'SVF::cppUtil']]],
+  ['verifycallgraph_10890',['verifyCallGraph',['../classSVF_1_1PTACallGraph.html#ac695d78f0a78e2e5f1fb4f93264e52b8',1,'SVF::PTACallGraph']]],
+  ['versionedflowsensitive_10891',['VersionedFlowSensitive',['../classSVF_1_1VersionedFlowSensitive.html#ab88b7a966177e620c552d507b3763e17',1,'SVF::VersionedFlowSensitive']]],
+  ['versionedflowsensitivestat_10892',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitiveStat.html#a762c964e76d181716e1a3833dc4c0706',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['versionedptdata_10893',['VersionedPTData',['../classSVF_1_1VersionedPTData.html#a2cc5ee586042f19aa698fd8ec48e33b5',1,'SVF::VersionedPTData']]],
+  ['versionstat_10894',['versionStat',['../classSVF_1_1VersionedFlowSensitiveStat.html#ad7fe08f5d684e3411f8f28ec346bd814',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['vfg_10895',['VFG',['../classSVF_1_1VFG.html#a8ba98bb3d888ec5ff40f511da14b37bc',1,'SVF::VFG']]],
+  ['vfgedge_10896',['VFGEdge',['../classSVF_1_1VFGEdge.html#a9a29abd99da3465e07bd62470bd9bb56',1,'SVF::VFGEdge']]],
+  ['vfgnode_10897',['VFGNode',['../classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c',1,'SVF::VFGNode']]],
+  ['vfgnodes_10898',['VFGNodes',['../classSVF_1_1VFG.html#a43f4002b0beb00ed2026f7edd9ebbb1c',1,'SVF::VFG']]],
+  ['view_10899',['view',['../classSVF_1_1CDG.html#a37a615eda0e530f2c784e0dfc5936723',1,'SVF::CDG::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_10900',['viewCFG',['../namespaceSVF_1_1LLVMUtil.html#abc9c437b7da5cfe3d988dadfcbd0635f',1,'SVF::LLVMUtil']]],
+  ['viewcfgonly_10901',['viewCFGOnly',['../namespaceSVF_1_1LLVMUtil.html#a2abbe4ed46b2031a981d93b3ba9d3fbd',1,'SVF::LLVMUtil']]],
+  ['viewgraph_10902',['ViewGraph',['../namespaceSVF.html#a4582a7d33a5631a5a38973f50035327e',1,'SVF']]],
+  ['virtfill_10903',['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_10904',['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_10905',['visit',['../classSVF_1_1SCCDetection.html#af799d7043e501e43e04e51fd4d6c6571',1,'SVF::SCCDetection::visit()'],['../classSVF_1_1WTOComponentVisitor.html#a1a5052418f6e73c9da9cee44dc50443d',1,'SVF::WTOComponentVisitor::visit(const WTONodeT &)=0'],['../classSVF_1_1WTOComponentVisitor.html#ae7390104473ed5b4fa18f2b3af689d5c',1,'SVF::WTOComponentVisitor::visit(const WTOCycleT &)=0'],['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#aad99b0e8004bb36b9a4ba81ea16c5d90',1,'SVF::WTO::WTOCycleDepthBuilder::visit(const WTOCycleT &cycle) override'],['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a51be6e437a0d715e2571242c4dde1794',1,'SVF::WTO::WTOCycleDepthBuilder::visit(const WTONodeT &node) override'],['../classSVF_1_1WTO.html#a56259113c30312e5052d0d8c0d4d6b77',1,'SVF::WTO::visit()'],['../classSVF_1_1CSC.html#a2863ae212693f9ca6341e23f9d9634bf',1,'SVF::CSC::visit()'],['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html#abbac2470771fc7dbc702eda9031bcad8',1,'SVF::VersionedFlowSensitive::SCC::visit()']]],
+  ['visitallocainst_10906',['visitAllocaInst',['../classSVF_1_1SVFIRBuilder.html#a4be150eb37b75e4c081dfe38429f2089',1,'SVF::SVFIRBuilder']]],
+  ['visitatomiccmpxchginst_10907',['visitAtomicCmpXchgInst',['../classSVF_1_1SVFIRBuilder.html#ac5ae89051b0775ed209dcc654691958b',1,'SVF::SVFIRBuilder']]],
+  ['visitatomicrmwinst_10908',['visitAtomicRMWInst',['../classSVF_1_1SVFIRBuilder.html#adea9fdfead89d700d0453fd685355ff4',1,'SVF::SVFIRBuilder']]],
+  ['visitbinaryoperator_10909',['visitBinaryOperator',['../classSVF_1_1SVFIRBuilder.html#aeb5f3cc92ef2d146c7c9cc86375b4c1e',1,'SVF::SVFIRBuilder']]],
+  ['visitbranchinst_10910',['visitBranchInst',['../classSVF_1_1SVFIRBuilder.html#a4ad832691784cf4cb93017792ea3d9af',1,'SVF::SVFIRBuilder']]],
+  ['visitcallbrinst_10911',['visitCallBrInst',['../classSVF_1_1SVFIRBuilder.html#a62da871a2bace42fa96baf8b9862d4db',1,'SVF::SVFIRBuilder']]],
+  ['visitcallinst_10912',['visitCallInst',['../classSVF_1_1SVFIRBuilder.html#a421708269d991987d8d4e93cec750a8d',1,'SVF::SVFIRBuilder']]],
+  ['visitcallsite_10913',['visitCallSite',['../classSVF_1_1SVFIRBuilder.html#a5aa87f9ea35b30b4b4797f8a7f9f293c',1,'SVF::SVFIRBuilder']]],
+  ['visitcastinst_10914',['visitCastInst',['../classSVF_1_1SVFIRBuilder.html#acf5a61d45c1abc1206f6e6c813f8634b',1,'SVF::SVFIRBuilder']]],
+  ['visitcmpinst_10915',['visitCmpInst',['../classSVF_1_1SVFIRBuilder.html#ac61e0c5f667ebeb4788d07253e6a733c',1,'SVF::SVFIRBuilder']]],
+  ['visited_10916',['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_10917',['visitExtractElementInst',['../classSVF_1_1SVFIRBuilder.html#ac6b24fcbd1e1b31141c27167d49a56ec',1,'SVF::SVFIRBuilder']]],
+  ['visitextractvalueinst_10918',['visitExtractValueInst',['../classSVF_1_1SVFIRBuilder.html#a7a17ca95a5435b498fc875eb9a290800',1,'SVF::SVFIRBuilder']]],
+  ['visitfenceinst_10919',['visitFenceInst',['../classSVF_1_1SVFIRBuilder.html#a87a34334a50071e6061ee5dd1d34c9ed',1,'SVF::SVFIRBuilder']]],
+  ['visitfreezeinst_10920',['visitFreezeInst',['../classSVF_1_1SVFIRBuilder.html#a870ea33a335a7036555dd24171cf8f22',1,'SVF::SVFIRBuilder']]],
+  ['visitgetelementptrinst_10921',['visitGetElementPtrInst',['../classSVF_1_1SVFIRBuilder.html#a4a945eafd262f81b4f9cc1fa61b57371',1,'SVF::SVFIRBuilder']]],
+  ['visitglobal_10922',['visitGlobal',['../classSVF_1_1SVFIRBuilder.html#a4c6cd51def26ebd8e839df9fdc4b64b8',1,'SVF::SVFIRBuilder']]],
+  ['visitinsertelementinst_10923',['visitInsertElementInst',['../classSVF_1_1SVFIRBuilder.html#a9db09a2c74f2489648b0282769488a17',1,'SVF::SVFIRBuilder']]],
+  ['visitinsertvalueinst_10924',['visitInsertValueInst',['../classSVF_1_1SVFIRBuilder.html#a4e6025dcd8af2f35e3cc33d280fde497',1,'SVF::SVFIRBuilder']]],
+  ['visitinstruction_10925',['visitInstruction',['../classSVF_1_1SVFIRBuilder.html#a91c8f9dc6e7cb225c2ed4b8f0322a2b3',1,'SVF::SVFIRBuilder']]],
+  ['visitinvokeinst_10926',['visitInvokeInst',['../classSVF_1_1SVFIRBuilder.html#a39577da11f4b85066988f105e3c18d7c',1,'SVF::SVFIRBuilder']]],
+  ['visitlandingpadinst_10927',['visitLandingPadInst',['../classSVF_1_1SVFIRBuilder.html#a0bc35bb64bbf3b494c0ac93b99c5a6d2',1,'SVF::SVFIRBuilder']]],
+  ['visitloadinst_10928',['visitLoadInst',['../classSVF_1_1SVFIRBuilder.html#a17638b08f85d4543e663eeb739915bdc',1,'SVF::SVFIRBuilder']]],
+  ['visitphinode_10929',['visitPHINode',['../classSVF_1_1SVFIRBuilder.html#aade60fa102a29f332af36a8615c75471',1,'SVF::SVFIRBuilder']]],
+  ['visitresumeinst_10930',['visitResumeInst',['../classSVF_1_1SVFIRBuilder.html#a97b96b72e7b334f3aa732dfa5c35c3cb',1,'SVF::SVFIRBuilder']]],
+  ['visitreturninst_10931',['visitReturnInst',['../classSVF_1_1SVFIRBuilder.html#aca31431b70e2fb360caa1140e29c0c9d',1,'SVF::SVFIRBuilder']]],
+  ['visitselectinst_10932',['visitSelectInst',['../classSVF_1_1SVFIRBuilder.html#abc836736ea16d99921c0e734cf0a3c72',1,'SVF::SVFIRBuilder']]],
+  ['visitshufflevectorinst_10933',['visitShuffleVectorInst',['../classSVF_1_1SVFIRBuilder.html#acb52462a8a004654c8819017dc029c44',1,'SVF::SVFIRBuilder']]],
+  ['visitstoreinst_10934',['visitStoreInst',['../classSVF_1_1SVFIRBuilder.html#a51d75ff7f490ddfef3d4f8779872633c',1,'SVF::SVFIRBuilder']]],
+  ['visitswitchinst_10935',['visitSwitchInst',['../classSVF_1_1SVFIRBuilder.html#a83bc9c1dbc95156a68f139ff16faca2a',1,'SVF::SVFIRBuilder']]],
+  ['visitunaryoperator_10936',['visitUnaryOperator',['../classSVF_1_1SVFIRBuilder.html#ae80891bb2a162b3ad24fa7cf6380df30',1,'SVF::SVFIRBuilder']]],
+  ['visitunreachableinst_10937',['visitUnreachableInst',['../classSVF_1_1SVFIRBuilder.html#ae4f8f902265b0c39547aabbfdaded795',1,'SVF::SVFIRBuilder']]],
+  ['visitvaarginst_10938',['visitVAArgInst',['../classSVF_1_1SVFIRBuilder.html#ac26e0714728df0beca278eb405596775',1,'SVF::SVFIRBuilder']]],
+  ['visitvacopyinst_10939',['visitVACopyInst',['../classSVF_1_1SVFIRBuilder.html#afa10748f345ee53f417690cf125b0851',1,'SVF::SVFIRBuilder']]],
+  ['visitvaendinst_10940',['visitVAEndInst',['../classSVF_1_1SVFIRBuilder.html#aa2e07d018323c9d06393266970a0c340',1,'SVF::SVFIRBuilder']]],
+  ['visitvastartinst_10941',['visitVAStartInst',['../classSVF_1_1SVFIRBuilder.html#a5321cd4eabcccd72c198966de1ab1ea2',1,'SVF::SVFIRBuilder']]],
+  ['void_10942',['void',['../structcJSON__Hooks.html#a42c96b388103ffb466e7335b9fc710c3',1,'cJSON_Hooks::void()'],['../structinternal__hooks.html#a5cc2dd5383da5f20b19e0f27fa59e123',1,'internal_hooks::void()']]]
 ];

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

@@ -1,41 +1,41 @@
 var searchData=
 [
-  ['weakupdateoutfromin_10903',['weakUpdateOutFromIn',['../classSVF_1_1FlowSensitive.html#ab492c283e2264b4cbd4c192e805b7750',1,'SVF::FlowSensitive']]],
-  ['what_10904',['what',['../structSVF_1_1BufOverflowException.html#a4eb54eb3943f96e60f89d2fdd99f08c0',1,'SVF::BufOverflowException']]],
-  ['while_10905',['while',['../cJSON_8cpp.html#a209b15238c5803bc547b2d77e02f29b4',1,'cJSON.cpp']]],
-  ['widen_5fwith_10906',['widen_with',['../classSVF_1_1IntervalValue.html#ab7ddcc29a116944a91db24af90d4c144',1,'SVF::IntervalValue']]],
-  ['widenaddrs_10907',['widenAddrs',['../classSVF_1_1SVFIR2ItvExeState.html#a198fd724be35f415851a2467c3930f76',1,'SVF::SVFIR2ItvExeState']]],
-  ['widenfixpointpass_10908',['widenFixpointPass',['../classSVF_1_1AbstractExecution.html#a438c0702d8b1e074c3db37025377b2a7',1,'SVF::AbstractExecution']]],
-  ['widening_10909',['widening',['../classSVF_1_1IntervalESBase.html#a9a167f67476d2e080cc6e31d127ee715',1,'SVF::IntervalESBase::widening()'],['../classSVF_1_1IntervalExeState.html#abc8edb74e55f40dbc7bb5182d4ef1199',1,'SVF::IntervalExeState::widening()']]],
-  ['widenwith_10910',['widenWith',['../classSVF_1_1IntervalESBase.html#a2db6b5360cf8e90dbd4174ad0382ec56',1,'SVF::IntervalESBase::widenWith()'],['../classSVF_1_1IntervalExeState.html#acfbe4dbb85e802a0456b7223a26280d3',1,'SVF::IntervalExeState::widenWith()']]],
-  ['word_10911',['word',['../structSVF_1_1SparseBitVectorElement.html#a5d43d980591d14d3a3d0782be034ed4f',1,'SVF::SparseBitVectorElement']]],
-  ['wpafssolver_10912',['WPAFSSolver',['../classSVF_1_1WPAFSSolver.html#a3bab50f0e94f516204d6622420de7db7',1,'SVF::WPAFSSolver']]],
-  ['wpaminimumsolver_10913',['WPAMinimumSolver',['../classSVF_1_1WPAMinimumSolver.html#aaf8b6410ba9667f7a46fc4ca05900ed3',1,'SVF::WPAMinimumSolver']]],
-  ['wpapass_10914',['WPAPass',['../classSVF_1_1WPAPass.html#a3fc957e01a3ac7c242c030c6f6846fa9',1,'SVF::WPAPass']]],
-  ['wpasccsolver_10915',['WPASCCSolver',['../classSVF_1_1WPASCCSolver.html#aa2c15ca2f8fba1a5d77f0332e4ddf9e8',1,'SVF::WPASCCSolver']]],
-  ['wpasolver_10916',['WPASolver',['../classSVF_1_1WPASolver.html#a0c5616b0e340955dafc2ab2f21740abd',1,'SVF::WPASolver']]],
-  ['wrapped_10917',['wrapped',['../classSVF_1_1iter__adaptor__base.html#afa1dc067ea97ae5db1e2618e47be1525',1,'SVF::iter_adaptor_base']]],
-  ['writeedge_10918',['writeEdge',['../classSVF_1_1GraphWriter.html#a6133d0033363b0e9db156c354da7d7e6',1,'SVF::GraphWriter']]],
-  ['writefooter_10919',['writeFooter',['../classSVF_1_1GraphWriter.html#a5c3ce0eba24c71f847676b23b855e44c',1,'SVF::GraphWriter']]],
-  ['writegepobjvarmaptofile_10920',['writeGepObjVarMapToFile',['../classSVF_1_1BVDataPTAImpl.html#a5e782fb9a94a62403046c483ca4176c3',1,'SVF::BVDataPTAImpl']]],
-  ['writegraph_10921',['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_10922',['WriteGraphToFile',['../classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10',1,'SVF::GraphPrinter']]],
-  ['writeheader_10923',['writeHeader',['../classSVF_1_1GraphWriter.html#abd376959cc889e1e387523f38674650f',1,'SVF::GraphWriter']]],
-  ['writejsontoostream_10924',['writeJsonToOstream',['../classSVF_1_1SVFIRWriter.html#a12d70e815fa53a4121d375ac26f2c30f',1,'SVF::SVFIRWriter']]],
-  ['writejsontopath_10925',['writeJsonToPath',['../classSVF_1_1SVFIRWriter.html#a2bbb4e38ce3eb2c43b7f01cb240df9c8',1,'SVF::SVFIRWriter']]],
-  ['writenode_10926',['writeNode',['../classSVF_1_1GraphWriter.html#a18c579b53feccbb3b521982c6161f555',1,'SVF::GraphWriter']]],
-  ['writenodes_10927',['writeNodes',['../classSVF_1_1GraphWriter.html#ada2363727dc20c2183b8252f3bdf3a04',1,'SVF::GraphWriter']]],
-  ['writeobjvartofile_10928',['writeObjVarToFile',['../classSVF_1_1BVDataPTAImpl.html#a3279969934d6778a6cffe926ed724bfc',1,'SVF::BVDataPTAImpl']]],
-  ['writeptsresulttofile_10929',['writePtsResultToFile',['../classSVF_1_1BVDataPTAImpl.html#a6ca3ab1e32012ef13613f52f27f3c502',1,'SVF::BVDataPTAImpl']]],
-  ['writetofile_10930',['writeToFile',['../classSVF_1_1SVFG.html#a7ce9ec638995467c211958262be08ee1',1,'SVF::SVFG::writeToFile()'],['../classSVF_1_1BVDataPTAImpl.html#a25c68f9d2b88437778e854ff0d741d1b',1,'SVF::BVDataPTAImpl::writeToFile()']]],
-  ['writeversionedanalysisresulttofile_10931',['writeVersionedAnalysisResultToFile',['../classSVF_1_1VersionedFlowSensitive.html#ab2c21cc1e4cd4d7dbc12b6bd9f34d971',1,'SVF::VersionedFlowSensitive']]],
-  ['writewrnmsg_10932',['writeWrnMsg',['../namespaceSVF_1_1SVFUtil.html#ab2e0196e0ce547ab4a483cc6d2646b24',1,'SVF::SVFUtil']]],
-  ['wrnmsg_10933',['wrnMsg',['../namespaceSVF_1_1SVFUtil.html#ac71522e8c55f84cfc6c13a0ddff18436',1,'SVF::SVFUtil']]],
-  ['wto_10934',['WTO',['../classSVF_1_1WTO.html#a7757a14d821963ad5ee03da0b542f8fb',1,'SVF::WTO::WTO(GraphT *graph, const NodeT *entry)'],['../classSVF_1_1WTO.html#a8455eb5252fb82df098af03ebca76044',1,'SVF::WTO::WTO(const WTO &other)=default'],['../classSVF_1_1WTO.html#a0a8be6a1d8bd92d38eec429f68ce0414',1,'SVF::WTO::WTO(WTO &&other)=default']]],
-  ['wtocomponent_10935',['WTOComponent',['../classSVF_1_1WTOComponent.html#a5ef3384996e29f5f38490b4266b19f01',1,'SVF::WTOComponent::WTOComponent(WTOCT k)'],['../classSVF_1_1WTOComponent.html#a75dd240e4ab25cb4a44b49fdc1f8f8e1',1,'SVF::WTOComponent::WTOComponent(const WTOComponent &) noexcept=default'],['../classSVF_1_1WTOComponent.html#ad26a0586d1561625da575ffee89872ba',1,'SVF::WTOComponent::WTOComponent(WTOComponent &&) noexcept=default']]],
-  ['wtocomponentvisitor_10936',['WTOComponentVisitor',['../classSVF_1_1WTOComponentVisitor.html#a829bc3b32dcb5740da40c5cff75680d9',1,'SVF::WTOComponentVisitor::WTOComponentVisitor()=default'],['../classSVF_1_1WTOComponentVisitor.html#a5f777a348f19da93c6a171b9fedab820',1,'SVF::WTOComponentVisitor::WTOComponentVisitor(const WTOComponentVisitor &) noexcept=default'],['../classSVF_1_1WTOComponentVisitor.html#a2794d733ce218f62e2550c946c7b9b84',1,'SVF::WTOComponentVisitor::WTOComponentVisitor(WTOComponentVisitor &&) noexcept=default']]],
-  ['wtocycle_10937',['WTOCycle',['../classSVF_1_1WTOCycle.html#a19ad36eef78d46348ca75c5d2e12519b',1,'SVF::WTOCycle']]],
-  ['wtocycledepth_10938',['WTOCycleDepth',['../classSVF_1_1WTOCycleDepth.html#a949e2ee782c346339a1ddaa868c8abaf',1,'SVF::WTOCycleDepth::WTOCycleDepth()=default'],['../classSVF_1_1WTOCycleDepth.html#a764ec49c9f0e5ed2f920c55c63e1c193',1,'SVF::WTOCycleDepth::WTOCycleDepth(const WTOCycleDepth &)=default'],['../classSVF_1_1WTOCycleDepth.html#a515c00e2a0997640874856d4eae419fb',1,'SVF::WTOCycleDepth::WTOCycleDepth(WTOCycleDepth &&)=default']]],
-  ['wtocycledepthbuilder_10939',['WTOCycleDepthBuilder',['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a6cf986992bb78e6e3aa2e75b883c01c9',1,'SVF::WTO::WTOCycleDepthBuilder']]],
-  ['wtonode_10940',['WTONode',['../classSVF_1_1WTONode.html#acb1c9f5fa393500a8efe9f885b1748ce',1,'SVF::WTONode']]]
+  ['weakupdateoutfromin_10943',['weakUpdateOutFromIn',['../classSVF_1_1FlowSensitive.html#ab492c283e2264b4cbd4c192e805b7750',1,'SVF::FlowSensitive']]],
+  ['what_10944',['what',['../structSVF_1_1BufOverflowException.html#a4eb54eb3943f96e60f89d2fdd99f08c0',1,'SVF::BufOverflowException']]],
+  ['while_10945',['while',['../cJSON_8cpp.html#a209b15238c5803bc547b2d77e02f29b4',1,'cJSON.cpp']]],
+  ['widen_5fwith_10946',['widen_with',['../classSVF_1_1IntervalValue.html#ab7ddcc29a116944a91db24af90d4c144',1,'SVF::IntervalValue']]],
+  ['widenaddrs_10947',['widenAddrs',['../classSVF_1_1SVFIR2ItvExeState.html#a198fd724be35f415851a2467c3930f76',1,'SVF::SVFIR2ItvExeState']]],
+  ['widenfixpointpass_10948',['widenFixpointPass',['../classSVF_1_1AbstractExecution.html#a438c0702d8b1e074c3db37025377b2a7',1,'SVF::AbstractExecution']]],
+  ['widening_10949',['widening',['../classSVF_1_1IntervalESBase.html#a9a167f67476d2e080cc6e31d127ee715',1,'SVF::IntervalESBase::widening()'],['../classSVF_1_1IntervalExeState.html#abc8edb74e55f40dbc7bb5182d4ef1199',1,'SVF::IntervalExeState::widening()']]],
+  ['widenwith_10950',['widenWith',['../classSVF_1_1IntervalESBase.html#a2db6b5360cf8e90dbd4174ad0382ec56',1,'SVF::IntervalESBase::widenWith()'],['../classSVF_1_1IntervalExeState.html#acfbe4dbb85e802a0456b7223a26280d3',1,'SVF::IntervalExeState::widenWith()']]],
+  ['word_10951',['word',['../structSVF_1_1SparseBitVectorElement.html#a5d43d980591d14d3a3d0782be034ed4f',1,'SVF::SparseBitVectorElement']]],
+  ['wpafssolver_10952',['WPAFSSolver',['../classSVF_1_1WPAFSSolver.html#a3bab50f0e94f516204d6622420de7db7',1,'SVF::WPAFSSolver']]],
+  ['wpaminimumsolver_10953',['WPAMinimumSolver',['../classSVF_1_1WPAMinimumSolver.html#aaf8b6410ba9667f7a46fc4ca05900ed3',1,'SVF::WPAMinimumSolver']]],
+  ['wpapass_10954',['WPAPass',['../classSVF_1_1WPAPass.html#a3fc957e01a3ac7c242c030c6f6846fa9',1,'SVF::WPAPass']]],
+  ['wpasccsolver_10955',['WPASCCSolver',['../classSVF_1_1WPASCCSolver.html#aa2c15ca2f8fba1a5d77f0332e4ddf9e8',1,'SVF::WPASCCSolver']]],
+  ['wpasolver_10956',['WPASolver',['../classSVF_1_1WPASolver.html#a0c5616b0e340955dafc2ab2f21740abd',1,'SVF::WPASolver']]],
+  ['wrapped_10957',['wrapped',['../classSVF_1_1iter__adaptor__base.html#afa1dc067ea97ae5db1e2618e47be1525',1,'SVF::iter_adaptor_base']]],
+  ['writeedge_10958',['writeEdge',['../classSVF_1_1GraphWriter.html#a6133d0033363b0e9db156c354da7d7e6',1,'SVF::GraphWriter']]],
+  ['writefooter_10959',['writeFooter',['../classSVF_1_1GraphWriter.html#a5c3ce0eba24c71f847676b23b855e44c',1,'SVF::GraphWriter']]],
+  ['writegepobjvarmaptofile_10960',['writeGepObjVarMapToFile',['../classSVF_1_1BVDataPTAImpl.html#a5e782fb9a94a62403046c483ca4176c3',1,'SVF::BVDataPTAImpl']]],
+  ['writegraph_10961',['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_10962',['WriteGraphToFile',['../classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10',1,'SVF::GraphPrinter']]],
+  ['writeheader_10963',['writeHeader',['../classSVF_1_1GraphWriter.html#abd376959cc889e1e387523f38674650f',1,'SVF::GraphWriter']]],
+  ['writejsontoostream_10964',['writeJsonToOstream',['../classSVF_1_1SVFIRWriter.html#a12d70e815fa53a4121d375ac26f2c30f',1,'SVF::SVFIRWriter']]],
+  ['writejsontopath_10965',['writeJsonToPath',['../classSVF_1_1SVFIRWriter.html#a2bbb4e38ce3eb2c43b7f01cb240df9c8',1,'SVF::SVFIRWriter']]],
+  ['writenode_10966',['writeNode',['../classSVF_1_1GraphWriter.html#a18c579b53feccbb3b521982c6161f555',1,'SVF::GraphWriter']]],
+  ['writenodes_10967',['writeNodes',['../classSVF_1_1GraphWriter.html#ada2363727dc20c2183b8252f3bdf3a04',1,'SVF::GraphWriter']]],
+  ['writeobjvartofile_10968',['writeObjVarToFile',['../classSVF_1_1BVDataPTAImpl.html#a3279969934d6778a6cffe926ed724bfc',1,'SVF::BVDataPTAImpl']]],
+  ['writeptsresulttofile_10969',['writePtsResultToFile',['../classSVF_1_1BVDataPTAImpl.html#a6ca3ab1e32012ef13613f52f27f3c502',1,'SVF::BVDataPTAImpl']]],
+  ['writetofile_10970',['writeToFile',['../classSVF_1_1SVFG.html#a7ce9ec638995467c211958262be08ee1',1,'SVF::SVFG::writeToFile()'],['../classSVF_1_1BVDataPTAImpl.html#a25c68f9d2b88437778e854ff0d741d1b',1,'SVF::BVDataPTAImpl::writeToFile()']]],
+  ['writeversionedanalysisresulttofile_10971',['writeVersionedAnalysisResultToFile',['../classSVF_1_1VersionedFlowSensitive.html#ab2c21cc1e4cd4d7dbc12b6bd9f34d971',1,'SVF::VersionedFlowSensitive']]],
+  ['writewrnmsg_10972',['writeWrnMsg',['../namespaceSVF_1_1SVFUtil.html#ab2e0196e0ce547ab4a483cc6d2646b24',1,'SVF::SVFUtil']]],
+  ['wrnmsg_10973',['wrnMsg',['../namespaceSVF_1_1SVFUtil.html#ac71522e8c55f84cfc6c13a0ddff18436',1,'SVF::SVFUtil']]],
+  ['wto_10974',['WTO',['../classSVF_1_1WTO.html#a7757a14d821963ad5ee03da0b542f8fb',1,'SVF::WTO::WTO(GraphT *graph, const NodeT *entry)'],['../classSVF_1_1WTO.html#a8455eb5252fb82df098af03ebca76044',1,'SVF::WTO::WTO(const WTO &other)=default'],['../classSVF_1_1WTO.html#a0a8be6a1d8bd92d38eec429f68ce0414',1,'SVF::WTO::WTO(WTO &&other)=default']]],
+  ['wtocomponent_10975',['WTOComponent',['../classSVF_1_1WTOComponent.html#a5ef3384996e29f5f38490b4266b19f01',1,'SVF::WTOComponent::WTOComponent(WTOCT k)'],['../classSVF_1_1WTOComponent.html#a75dd240e4ab25cb4a44b49fdc1f8f8e1',1,'SVF::WTOComponent::WTOComponent(const WTOComponent &) noexcept=default'],['../classSVF_1_1WTOComponent.html#ad26a0586d1561625da575ffee89872ba',1,'SVF::WTOComponent::WTOComponent(WTOComponent &&) noexcept=default']]],
+  ['wtocomponentvisitor_10976',['WTOComponentVisitor',['../classSVF_1_1WTOComponentVisitor.html#a829bc3b32dcb5740da40c5cff75680d9',1,'SVF::WTOComponentVisitor::WTOComponentVisitor()=default'],['../classSVF_1_1WTOComponentVisitor.html#a5f777a348f19da93c6a171b9fedab820',1,'SVF::WTOComponentVisitor::WTOComponentVisitor(const WTOComponentVisitor &) noexcept=default'],['../classSVF_1_1WTOComponentVisitor.html#a2794d733ce218f62e2550c946c7b9b84',1,'SVF::WTOComponentVisitor::WTOComponentVisitor(WTOComponentVisitor &&) noexcept=default']]],
+  ['wtocycle_10977',['WTOCycle',['../classSVF_1_1WTOCycle.html#a19ad36eef78d46348ca75c5d2e12519b',1,'SVF::WTOCycle']]],
+  ['wtocycledepth_10978',['WTOCycleDepth',['../classSVF_1_1WTOCycleDepth.html#a949e2ee782c346339a1ddaa868c8abaf',1,'SVF::WTOCycleDepth::WTOCycleDepth()=default'],['../classSVF_1_1WTOCycleDepth.html#a764ec49c9f0e5ed2f920c55c63e1c193',1,'SVF::WTOCycleDepth::WTOCycleDepth(const WTOCycleDepth &)=default'],['../classSVF_1_1WTOCycleDepth.html#a515c00e2a0997640874856d4eae419fb',1,'SVF::WTOCycleDepth::WTOCycleDepth(WTOCycleDepth &&)=default']]],
+  ['wtocycledepthbuilder_10979',['WTOCycleDepthBuilder',['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a6cf986992bb78e6e3aa2e75b883c01c9',1,'SVF::WTO::WTOCycleDepthBuilder']]],
+  ['wtonode_10980',['WTONode',['../classSVF_1_1WTONode.html#acb1c9f5fa393500a8efe9f885b1748ce',1,'SVF::WTONode']]]
 ];

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['z3expr_10941',['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_10942',['z3Expr2NumValue',['../classSVF_1_1ConsExeState.html#ad8cd07a607743e8cbbf59bd5882c5043',1,'SVF::ConsExeState::z3Expr2NumValue()'],['../classSVF_1_1RelExeState.html#accb15cf8109eec2a7cc497badcdbaa57',1,'SVF::RelExeState::z3Expr2NumValue()']]],
-  ['zerror_10943',['zError',['../extapi_8c.html#a10c4297735fbf8c45419437c23ff7e08',1,'extapi.c']]]
+  ['z3expr_10981',['Z3Expr',['../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)'],['../classSVF_1_1Z3Expr.html#a7a952918c0f3105d31da2ee00af4cffb',1,'SVF::Z3Expr::Z3Expr(float f)'],['../classSVF_1_1Z3Expr.html#a540f1dc9615fd9765cff52a2a17adadc',1,'SVF::Z3Expr::Z3Expr(double f)']]],
+  ['z3expr2numvalue_10982',['z3Expr2NumValue',['../classSVF_1_1ConsExeState.html#ad8cd07a607743e8cbbf59bd5882c5043',1,'SVF::ConsExeState::z3Expr2NumValue()'],['../classSVF_1_1RelExeState.html#accb15cf8109eec2a7cc497badcdbaa57',1,'SVF::RelExeState::z3Expr2NumValue()']]],
+  ['zerror_10983',['zError',['../extapi_8c.html#a10c4297735fbf8c45419437c23ff7e08',1,'extapi.c']]]
 ];