svf-tools 1.0.892 → 1.0.894

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

@@ -1,75 +1,75 @@
 var searchData=
 [
-  ['validateall_10837',['validateAll',['../classSVF_1_1RaceResultValidator.html#a4327af2795a9aa336543d8b3c3a7bfdf',1,'SVF::RaceResultValidator::validateAll()'],['../classSVF_1_1RaceResultValidator.html#a58e07fcd0d9a611dfd31ab62802c5990',1,'SVF::RaceResultValidator::validateAll()']]],
-  ['validatecxtthread_10838',['validateCxtThread',['../classSVF_1_1MTAResultValidator.html#afa01b108b67ec2ac05a6444b55dbfe01',1,'SVF::MTAResultValidator::validateCxtThread()'],['../classSVF_1_1MTAResultValidator.html#aeabad721634674cdb57c604865282dac',1,'SVF::MTAResultValidator::validateCxtThread()']]],
-  ['validateexpectedfailuretests_10839',['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_10840',['validateInterleaving',['../classSVF_1_1MTAResultValidator.html#a373b5227fbfa82ac070f55db999afb28',1,'SVF::MTAResultValidator::validateInterleaving()'],['../classSVF_1_1MTAResultValidator.html#a776c936ed51b7d0285dd0332a55843db',1,'SVF::MTAResultValidator::validateInterleaving()']]],
-  ['validatestmtinlock_10841',['validateStmtInLock',['../classSVF_1_1LockResultValidator.html#acddd2f9d118cbf448d92626d281fdaf9',1,'SVF::LockResultValidator']]],
-  ['validatesuccesstests_10842',['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_10843',['validateTCT',['../classSVF_1_1MTAResultValidator.html#ae6a18cbaf113ee8e28c3e8dca458d4be',1,'SVF::MTAResultValidator::validateTCT()'],['../classSVF_1_1MTAResultValidator.html#a3cc2fa74c3eb82230b8929e7ffb007b7',1,'SVF::MTAResultValidator::validateTCT()']]],
-  ['validatetests_10844',['validateTests',['../classSVF_1_1PointerAnalysis.html#a0454332c89e60729956bb7d69a1a24df',1,'SVF::PointerAnalysis']]],
-  ['validatetypecheck_10845',['validateTypeCheck',['../classSVF_1_1ObjTypeInference.html#afe926ee3427bb329d189e0c40bb1cd60',1,'SVF::ObjTypeInference']]],
-  ['valsyms_10846',['valSyms',['../classSVF_1_1SymbolTableInfo.html#a8f3cb8a1db34dd692ee04561f4edeebf',1,'SVF::SymbolTableInfo']]],
-  ['valvar_10847',['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_10848',['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_10849',['varargSyms',['../classSVF_1_1SymbolTableInfo.html#ac449cd925dc05758c990179c0748e1d5',1,'SVF::SymbolTableInfo']]],
-  ['varhasnewdfinpts_10850',['varHasNewDFInPts',['../classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353',1,'SVF::MutableIncDFPTData::varHasNewDFInPts()'],['../classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952',1,'SVF::PersistentIncDFPTData::varHasNewDFInPts()']]],
-  ['varhasnewdfoutpts_10851',['varHasNewDFOutPts',['../classSVF_1_1MutableIncDFPTData.html#a55b19f617d11dfc6632b690694f264ab',1,'SVF::MutableIncDFPTData::varHasNewDFOutPts()'],['../classSVF_1_1PersistentIncDFPTData.html#ae44f71f2ff837fbdf9b6e77f609c0c53',1,'SVF::PersistentIncDFPTData::varHasNewDFOutPts()']]],
-  ['variantgepcgedge_10852',['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_10853',['varToAddrs',['../classSVF_1_1ConsExeState.html#aa3f16fb06541184e49ef4f4ea95d894c',1,'SVF::ConsExeState::varToAddrs()'],['../classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409',1,'SVF::ExeState::varToAddrs()']]],
-  ['vartostring_10854',['varToString',['../classSVF_1_1ConsExeState.html#a000e1c5692e4027b38569898f683bada',1,'SVF::ConsExeState']]],
-  ['vcallinctorordtor_10855',['VCallInCtorOrDtor',['../namespaceSVF_1_1cppUtil.html#a96037fcbe6261f46e22505a10f50753f',1,'SVF::cppUtil']]],
-  ['verifycallgraph_10856',['verifyCallGraph',['../classSVF_1_1PTACallGraph.html#ac695d78f0a78e2e5f1fb4f93264e52b8',1,'SVF::PTACallGraph']]],
-  ['versionedflowsensitive_10857',['VersionedFlowSensitive',['../classSVF_1_1VersionedFlowSensitive.html#ab88b7a966177e620c552d507b3763e17',1,'SVF::VersionedFlowSensitive']]],
-  ['versionedflowsensitivestat_10858',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitiveStat.html#a762c964e76d181716e1a3833dc4c0706',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['versionedptdata_10859',['VersionedPTData',['../classSVF_1_1VersionedPTData.html#a2cc5ee586042f19aa698fd8ec48e33b5',1,'SVF::VersionedPTData']]],
-  ['versionstat_10860',['versionStat',['../classSVF_1_1VersionedFlowSensitiveStat.html#ad7fe08f5d684e3411f8f28ec346bd814',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['vfg_10861',['VFG',['../classSVF_1_1VFG.html#a8ba98bb3d888ec5ff40f511da14b37bc',1,'SVF::VFG']]],
-  ['vfgedge_10862',['VFGEdge',['../classSVF_1_1VFGEdge.html#a9a29abd99da3465e07bd62470bd9bb56',1,'SVF::VFGEdge']]],
-  ['vfgnode_10863',['VFGNode',['../classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c',1,'SVF::VFGNode']]],
-  ['vfgnodes_10864',['VFGNodes',['../classSVF_1_1VFG.html#a43f4002b0beb00ed2026f7edd9ebbb1c',1,'SVF::VFG']]],
-  ['view_10865',['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_10866',['viewCFG',['../namespaceSVF_1_1LLVMUtil.html#abc9c437b7da5cfe3d988dadfcbd0635f',1,'SVF::LLVMUtil']]],
-  ['viewcfgonly_10867',['viewCFGOnly',['../namespaceSVF_1_1LLVMUtil.html#a2abbe4ed46b2031a981d93b3ba9d3fbd',1,'SVF::LLVMUtil']]],
-  ['viewgraph_10868',['ViewGraph',['../namespaceSVF.html#a4582a7d33a5631a5a38973f50035327e',1,'SVF']]],
-  ['virtfill_10869',['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_10870',['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_10871',['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_10872',['visitAllocaInst',['../classSVF_1_1SVFIRBuilder.html#a4be150eb37b75e4c081dfe38429f2089',1,'SVF::SVFIRBuilder']]],
-  ['visitatomiccmpxchginst_10873',['visitAtomicCmpXchgInst',['../classSVF_1_1SVFIRBuilder.html#ac5ae89051b0775ed209dcc654691958b',1,'SVF::SVFIRBuilder']]],
-  ['visitatomicrmwinst_10874',['visitAtomicRMWInst',['../classSVF_1_1SVFIRBuilder.html#adea9fdfead89d700d0453fd685355ff4',1,'SVF::SVFIRBuilder']]],
-  ['visitbinaryoperator_10875',['visitBinaryOperator',['../classSVF_1_1SVFIRBuilder.html#aeb5f3cc92ef2d146c7c9cc86375b4c1e',1,'SVF::SVFIRBuilder']]],
-  ['visitbranchinst_10876',['visitBranchInst',['../classSVF_1_1SVFIRBuilder.html#a4ad832691784cf4cb93017792ea3d9af',1,'SVF::SVFIRBuilder']]],
-  ['visitcallbrinst_10877',['visitCallBrInst',['../classSVF_1_1SVFIRBuilder.html#a62da871a2bace42fa96baf8b9862d4db',1,'SVF::SVFIRBuilder']]],
-  ['visitcallinst_10878',['visitCallInst',['../classSVF_1_1SVFIRBuilder.html#a421708269d991987d8d4e93cec750a8d',1,'SVF::SVFIRBuilder']]],
-  ['visitcallsite_10879',['visitCallSite',['../classSVF_1_1SVFIRBuilder.html#a5aa87f9ea35b30b4b4797f8a7f9f293c',1,'SVF::SVFIRBuilder']]],
-  ['visitcastinst_10880',['visitCastInst',['../classSVF_1_1SVFIRBuilder.html#acf5a61d45c1abc1206f6e6c813f8634b',1,'SVF::SVFIRBuilder']]],
-  ['visitcmpinst_10881',['visitCmpInst',['../classSVF_1_1SVFIRBuilder.html#ac61e0c5f667ebeb4788d07253e6a733c',1,'SVF::SVFIRBuilder']]],
-  ['visited_10882',['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_10883',['visitExtractElementInst',['../classSVF_1_1SVFIRBuilder.html#ac6b24fcbd1e1b31141c27167d49a56ec',1,'SVF::SVFIRBuilder']]],
-  ['visitextractvalueinst_10884',['visitExtractValueInst',['../classSVF_1_1SVFIRBuilder.html#a7a17ca95a5435b498fc875eb9a290800',1,'SVF::SVFIRBuilder']]],
-  ['visitfenceinst_10885',['visitFenceInst',['../classSVF_1_1SVFIRBuilder.html#a87a34334a50071e6061ee5dd1d34c9ed',1,'SVF::SVFIRBuilder']]],
-  ['visitfreezeinst_10886',['visitFreezeInst',['../classSVF_1_1SVFIRBuilder.html#a870ea33a335a7036555dd24171cf8f22',1,'SVF::SVFIRBuilder']]],
-  ['visitgetelementptrinst_10887',['visitGetElementPtrInst',['../classSVF_1_1SVFIRBuilder.html#a4a945eafd262f81b4f9cc1fa61b57371',1,'SVF::SVFIRBuilder']]],
-  ['visitglobal_10888',['visitGlobal',['../classSVF_1_1SVFIRBuilder.html#a4c6cd51def26ebd8e839df9fdc4b64b8',1,'SVF::SVFIRBuilder']]],
-  ['visitinsertelementinst_10889',['visitInsertElementInst',['../classSVF_1_1SVFIRBuilder.html#a9db09a2c74f2489648b0282769488a17',1,'SVF::SVFIRBuilder']]],
-  ['visitinsertvalueinst_10890',['visitInsertValueInst',['../classSVF_1_1SVFIRBuilder.html#a4e6025dcd8af2f35e3cc33d280fde497',1,'SVF::SVFIRBuilder']]],
-  ['visitinstruction_10891',['visitInstruction',['../classSVF_1_1SVFIRBuilder.html#a91c8f9dc6e7cb225c2ed4b8f0322a2b3',1,'SVF::SVFIRBuilder']]],
-  ['visitinvokeinst_10892',['visitInvokeInst',['../classSVF_1_1SVFIRBuilder.html#a39577da11f4b85066988f105e3c18d7c',1,'SVF::SVFIRBuilder']]],
-  ['visitlandingpadinst_10893',['visitLandingPadInst',['../classSVF_1_1SVFIRBuilder.html#a0bc35bb64bbf3b494c0ac93b99c5a6d2',1,'SVF::SVFIRBuilder']]],
-  ['visitloadinst_10894',['visitLoadInst',['../classSVF_1_1SVFIRBuilder.html#a17638b08f85d4543e663eeb739915bdc',1,'SVF::SVFIRBuilder']]],
-  ['visitphinode_10895',['visitPHINode',['../classSVF_1_1SVFIRBuilder.html#aade60fa102a29f332af36a8615c75471',1,'SVF::SVFIRBuilder']]],
-  ['visitresumeinst_10896',['visitResumeInst',['../classSVF_1_1SVFIRBuilder.html#a97b96b72e7b334f3aa732dfa5c35c3cb',1,'SVF::SVFIRBuilder']]],
-  ['visitreturninst_10897',['visitReturnInst',['../classSVF_1_1SVFIRBuilder.html#aca31431b70e2fb360caa1140e29c0c9d',1,'SVF::SVFIRBuilder']]],
-  ['visitselectinst_10898',['visitSelectInst',['../classSVF_1_1SVFIRBuilder.html#abc836736ea16d99921c0e734cf0a3c72',1,'SVF::SVFIRBuilder']]],
-  ['visitshufflevectorinst_10899',['visitShuffleVectorInst',['../classSVF_1_1SVFIRBuilder.html#acb52462a8a004654c8819017dc029c44',1,'SVF::SVFIRBuilder']]],
-  ['visitstoreinst_10900',['visitStoreInst',['../classSVF_1_1SVFIRBuilder.html#a51d75ff7f490ddfef3d4f8779872633c',1,'SVF::SVFIRBuilder']]],
-  ['visitswitchinst_10901',['visitSwitchInst',['../classSVF_1_1SVFIRBuilder.html#a83bc9c1dbc95156a68f139ff16faca2a',1,'SVF::SVFIRBuilder']]],
-  ['visitunaryoperator_10902',['visitUnaryOperator',['../classSVF_1_1SVFIRBuilder.html#ae80891bb2a162b3ad24fa7cf6380df30',1,'SVF::SVFIRBuilder']]],
-  ['visitunreachableinst_10903',['visitUnreachableInst',['../classSVF_1_1SVFIRBuilder.html#ae4f8f902265b0c39547aabbfdaded795',1,'SVF::SVFIRBuilder']]],
-  ['visitvaarginst_10904',['visitVAArgInst',['../classSVF_1_1SVFIRBuilder.html#ac26e0714728df0beca278eb405596775',1,'SVF::SVFIRBuilder']]],
-  ['visitvacopyinst_10905',['visitVACopyInst',['../classSVF_1_1SVFIRBuilder.html#afa10748f345ee53f417690cf125b0851',1,'SVF::SVFIRBuilder']]],
-  ['visitvaendinst_10906',['visitVAEndInst',['../classSVF_1_1SVFIRBuilder.html#aa2e07d018323c9d06393266970a0c340',1,'SVF::SVFIRBuilder']]],
-  ['visitvastartinst_10907',['visitVAStartInst',['../classSVF_1_1SVFIRBuilder.html#a5321cd4eabcccd72c198966de1ab1ea2',1,'SVF::SVFIRBuilder']]],
-  ['void_10908',['void',['../structcJSON__Hooks.html#a42c96b388103ffb466e7335b9fc710c3',1,'cJSON_Hooks::void()'],['../structinternal__hooks.html#a5cc2dd5383da5f20b19e0f27fa59e123',1,'internal_hooks::void()']]]
+  ['validateall_10829',['validateAll',['../classSVF_1_1RaceResultValidator.html#a4327af2795a9aa336543d8b3c3a7bfdf',1,'SVF::RaceResultValidator::validateAll()'],['../classSVF_1_1RaceResultValidator.html#a58e07fcd0d9a611dfd31ab62802c5990',1,'SVF::RaceResultValidator::validateAll()']]],
+  ['validatecxtthread_10830',['validateCxtThread',['../classSVF_1_1MTAResultValidator.html#afa01b108b67ec2ac05a6444b55dbfe01',1,'SVF::MTAResultValidator::validateCxtThread()'],['../classSVF_1_1MTAResultValidator.html#aeabad721634674cdb57c604865282dac',1,'SVF::MTAResultValidator::validateCxtThread()']]],
+  ['validateexpectedfailuretests_10831',['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_10832',['validateInterleaving',['../classSVF_1_1MTAResultValidator.html#a373b5227fbfa82ac070f55db999afb28',1,'SVF::MTAResultValidator::validateInterleaving()'],['../classSVF_1_1MTAResultValidator.html#a776c936ed51b7d0285dd0332a55843db',1,'SVF::MTAResultValidator::validateInterleaving()']]],
+  ['validatestmtinlock_10833',['validateStmtInLock',['../classSVF_1_1LockResultValidator.html#acddd2f9d118cbf448d92626d281fdaf9',1,'SVF::LockResultValidator']]],
+  ['validatesuccesstests_10834',['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_10835',['validateTCT',['../classSVF_1_1MTAResultValidator.html#ae6a18cbaf113ee8e28c3e8dca458d4be',1,'SVF::MTAResultValidator::validateTCT()'],['../classSVF_1_1MTAResultValidator.html#a3cc2fa74c3eb82230b8929e7ffb007b7',1,'SVF::MTAResultValidator::validateTCT()']]],
+  ['validatetests_10836',['validateTests',['../classSVF_1_1PointerAnalysis.html#a0454332c89e60729956bb7d69a1a24df',1,'SVF::PointerAnalysis']]],
+  ['validatetypecheck_10837',['validateTypeCheck',['../classSVF_1_1ObjTypeInference.html#afe926ee3427bb329d189e0c40bb1cd60',1,'SVF::ObjTypeInference']]],
+  ['valsyms_10838',['valSyms',['../classSVF_1_1SymbolTableInfo.html#a8f3cb8a1db34dd692ee04561f4edeebf',1,'SVF::SymbolTableInfo']]],
+  ['valvar_10839',['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_10840',['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_10841',['varargSyms',['../classSVF_1_1SymbolTableInfo.html#ac449cd925dc05758c990179c0748e1d5',1,'SVF::SymbolTableInfo']]],
+  ['varhasnewdfinpts_10842',['varHasNewDFInPts',['../classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353',1,'SVF::MutableIncDFPTData::varHasNewDFInPts()'],['../classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952',1,'SVF::PersistentIncDFPTData::varHasNewDFInPts()']]],
+  ['varhasnewdfoutpts_10843',['varHasNewDFOutPts',['../classSVF_1_1MutableIncDFPTData.html#a55b19f617d11dfc6632b690694f264ab',1,'SVF::MutableIncDFPTData::varHasNewDFOutPts()'],['../classSVF_1_1PersistentIncDFPTData.html#ae44f71f2ff837fbdf9b6e77f609c0c53',1,'SVF::PersistentIncDFPTData::varHasNewDFOutPts()']]],
+  ['variantgepcgedge_10844',['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_10845',['varToAddrs',['../classSVF_1_1ConsExeState.html#aa3f16fb06541184e49ef4f4ea95d894c',1,'SVF::ConsExeState::varToAddrs()'],['../classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409',1,'SVF::ExeState::varToAddrs()']]],
+  ['vartostring_10846',['varToString',['../classSVF_1_1ConsExeState.html#a000e1c5692e4027b38569898f683bada',1,'SVF::ConsExeState']]],
+  ['vcallinctorordtor_10847',['VCallInCtorOrDtor',['../namespaceSVF_1_1cppUtil.html#a96037fcbe6261f46e22505a10f50753f',1,'SVF::cppUtil']]],
+  ['verifycallgraph_10848',['verifyCallGraph',['../classSVF_1_1PTACallGraph.html#ac695d78f0a78e2e5f1fb4f93264e52b8',1,'SVF::PTACallGraph']]],
+  ['versionedflowsensitive_10849',['VersionedFlowSensitive',['../classSVF_1_1VersionedFlowSensitive.html#ab88b7a966177e620c552d507b3763e17',1,'SVF::VersionedFlowSensitive']]],
+  ['versionedflowsensitivestat_10850',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitiveStat.html#a762c964e76d181716e1a3833dc4c0706',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['versionedptdata_10851',['VersionedPTData',['../classSVF_1_1VersionedPTData.html#a2cc5ee586042f19aa698fd8ec48e33b5',1,'SVF::VersionedPTData']]],
+  ['versionstat_10852',['versionStat',['../classSVF_1_1VersionedFlowSensitiveStat.html#ad7fe08f5d684e3411f8f28ec346bd814',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['vfg_10853',['VFG',['../classSVF_1_1VFG.html#a8ba98bb3d888ec5ff40f511da14b37bc',1,'SVF::VFG']]],
+  ['vfgedge_10854',['VFGEdge',['../classSVF_1_1VFGEdge.html#a9a29abd99da3465e07bd62470bd9bb56',1,'SVF::VFGEdge']]],
+  ['vfgnode_10855',['VFGNode',['../classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c',1,'SVF::VFGNode']]],
+  ['vfgnodes_10856',['VFGNodes',['../classSVF_1_1VFG.html#a43f4002b0beb00ed2026f7edd9ebbb1c',1,'SVF::VFG']]],
+  ['view_10857',['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_10858',['viewCFG',['../namespaceSVF_1_1LLVMUtil.html#abc9c437b7da5cfe3d988dadfcbd0635f',1,'SVF::LLVMUtil']]],
+  ['viewcfgonly_10859',['viewCFGOnly',['../namespaceSVF_1_1LLVMUtil.html#a2abbe4ed46b2031a981d93b3ba9d3fbd',1,'SVF::LLVMUtil']]],
+  ['viewgraph_10860',['ViewGraph',['../namespaceSVF.html#a4582a7d33a5631a5a38973f50035327e',1,'SVF']]],
+  ['virtfill_10861',['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_10862',['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_10863',['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_10864',['visitAllocaInst',['../classSVF_1_1SVFIRBuilder.html#a4be150eb37b75e4c081dfe38429f2089',1,'SVF::SVFIRBuilder']]],
+  ['visitatomiccmpxchginst_10865',['visitAtomicCmpXchgInst',['../classSVF_1_1SVFIRBuilder.html#ac5ae89051b0775ed209dcc654691958b',1,'SVF::SVFIRBuilder']]],
+  ['visitatomicrmwinst_10866',['visitAtomicRMWInst',['../classSVF_1_1SVFIRBuilder.html#adea9fdfead89d700d0453fd685355ff4',1,'SVF::SVFIRBuilder']]],
+  ['visitbinaryoperator_10867',['visitBinaryOperator',['../classSVF_1_1SVFIRBuilder.html#aeb5f3cc92ef2d146c7c9cc86375b4c1e',1,'SVF::SVFIRBuilder']]],
+  ['visitbranchinst_10868',['visitBranchInst',['../classSVF_1_1SVFIRBuilder.html#a4ad832691784cf4cb93017792ea3d9af',1,'SVF::SVFIRBuilder']]],
+  ['visitcallbrinst_10869',['visitCallBrInst',['../classSVF_1_1SVFIRBuilder.html#a62da871a2bace42fa96baf8b9862d4db',1,'SVF::SVFIRBuilder']]],
+  ['visitcallinst_10870',['visitCallInst',['../classSVF_1_1SVFIRBuilder.html#a421708269d991987d8d4e93cec750a8d',1,'SVF::SVFIRBuilder']]],
+  ['visitcallsite_10871',['visitCallSite',['../classSVF_1_1SVFIRBuilder.html#a5aa87f9ea35b30b4b4797f8a7f9f293c',1,'SVF::SVFIRBuilder']]],
+  ['visitcastinst_10872',['visitCastInst',['../classSVF_1_1SVFIRBuilder.html#acf5a61d45c1abc1206f6e6c813f8634b',1,'SVF::SVFIRBuilder']]],
+  ['visitcmpinst_10873',['visitCmpInst',['../classSVF_1_1SVFIRBuilder.html#ac61e0c5f667ebeb4788d07253e6a733c',1,'SVF::SVFIRBuilder']]],
+  ['visited_10874',['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_10875',['visitExtractElementInst',['../classSVF_1_1SVFIRBuilder.html#ac6b24fcbd1e1b31141c27167d49a56ec',1,'SVF::SVFIRBuilder']]],
+  ['visitextractvalueinst_10876',['visitExtractValueInst',['../classSVF_1_1SVFIRBuilder.html#a7a17ca95a5435b498fc875eb9a290800',1,'SVF::SVFIRBuilder']]],
+  ['visitfenceinst_10877',['visitFenceInst',['../classSVF_1_1SVFIRBuilder.html#a87a34334a50071e6061ee5dd1d34c9ed',1,'SVF::SVFIRBuilder']]],
+  ['visitfreezeinst_10878',['visitFreezeInst',['../classSVF_1_1SVFIRBuilder.html#a870ea33a335a7036555dd24171cf8f22',1,'SVF::SVFIRBuilder']]],
+  ['visitgetelementptrinst_10879',['visitGetElementPtrInst',['../classSVF_1_1SVFIRBuilder.html#a4a945eafd262f81b4f9cc1fa61b57371',1,'SVF::SVFIRBuilder']]],
+  ['visitglobal_10880',['visitGlobal',['../classSVF_1_1SVFIRBuilder.html#a4c6cd51def26ebd8e839df9fdc4b64b8',1,'SVF::SVFIRBuilder']]],
+  ['visitinsertelementinst_10881',['visitInsertElementInst',['../classSVF_1_1SVFIRBuilder.html#a9db09a2c74f2489648b0282769488a17',1,'SVF::SVFIRBuilder']]],
+  ['visitinsertvalueinst_10882',['visitInsertValueInst',['../classSVF_1_1SVFIRBuilder.html#a4e6025dcd8af2f35e3cc33d280fde497',1,'SVF::SVFIRBuilder']]],
+  ['visitinstruction_10883',['visitInstruction',['../classSVF_1_1SVFIRBuilder.html#a91c8f9dc6e7cb225c2ed4b8f0322a2b3',1,'SVF::SVFIRBuilder']]],
+  ['visitinvokeinst_10884',['visitInvokeInst',['../classSVF_1_1SVFIRBuilder.html#a39577da11f4b85066988f105e3c18d7c',1,'SVF::SVFIRBuilder']]],
+  ['visitlandingpadinst_10885',['visitLandingPadInst',['../classSVF_1_1SVFIRBuilder.html#a0bc35bb64bbf3b494c0ac93b99c5a6d2',1,'SVF::SVFIRBuilder']]],
+  ['visitloadinst_10886',['visitLoadInst',['../classSVF_1_1SVFIRBuilder.html#a17638b08f85d4543e663eeb739915bdc',1,'SVF::SVFIRBuilder']]],
+  ['visitphinode_10887',['visitPHINode',['../classSVF_1_1SVFIRBuilder.html#aade60fa102a29f332af36a8615c75471',1,'SVF::SVFIRBuilder']]],
+  ['visitresumeinst_10888',['visitResumeInst',['../classSVF_1_1SVFIRBuilder.html#a97b96b72e7b334f3aa732dfa5c35c3cb',1,'SVF::SVFIRBuilder']]],
+  ['visitreturninst_10889',['visitReturnInst',['../classSVF_1_1SVFIRBuilder.html#aca31431b70e2fb360caa1140e29c0c9d',1,'SVF::SVFIRBuilder']]],
+  ['visitselectinst_10890',['visitSelectInst',['../classSVF_1_1SVFIRBuilder.html#abc836736ea16d99921c0e734cf0a3c72',1,'SVF::SVFIRBuilder']]],
+  ['visitshufflevectorinst_10891',['visitShuffleVectorInst',['../classSVF_1_1SVFIRBuilder.html#acb52462a8a004654c8819017dc029c44',1,'SVF::SVFIRBuilder']]],
+  ['visitstoreinst_10892',['visitStoreInst',['../classSVF_1_1SVFIRBuilder.html#a51d75ff7f490ddfef3d4f8779872633c',1,'SVF::SVFIRBuilder']]],
+  ['visitswitchinst_10893',['visitSwitchInst',['../classSVF_1_1SVFIRBuilder.html#a83bc9c1dbc95156a68f139ff16faca2a',1,'SVF::SVFIRBuilder']]],
+  ['visitunaryoperator_10894',['visitUnaryOperator',['../classSVF_1_1SVFIRBuilder.html#ae80891bb2a162b3ad24fa7cf6380df30',1,'SVF::SVFIRBuilder']]],
+  ['visitunreachableinst_10895',['visitUnreachableInst',['../classSVF_1_1SVFIRBuilder.html#ae4f8f902265b0c39547aabbfdaded795',1,'SVF::SVFIRBuilder']]],
+  ['visitvaarginst_10896',['visitVAArgInst',['../classSVF_1_1SVFIRBuilder.html#ac26e0714728df0beca278eb405596775',1,'SVF::SVFIRBuilder']]],
+  ['visitvacopyinst_10897',['visitVACopyInst',['../classSVF_1_1SVFIRBuilder.html#afa10748f345ee53f417690cf125b0851',1,'SVF::SVFIRBuilder']]],
+  ['visitvaendinst_10898',['visitVAEndInst',['../classSVF_1_1SVFIRBuilder.html#aa2e07d018323c9d06393266970a0c340',1,'SVF::SVFIRBuilder']]],
+  ['visitvastartinst_10899',['visitVAStartInst',['../classSVF_1_1SVFIRBuilder.html#a5321cd4eabcccd72c198966de1ab1ea2',1,'SVF::SVFIRBuilder']]],
+  ['void_10900',['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_10909',['weakUpdateOutFromIn',['../classSVF_1_1FlowSensitive.html#ab492c283e2264b4cbd4c192e805b7750',1,'SVF::FlowSensitive']]],
-  ['what_10910',['what',['../structSVF_1_1BufOverflowException.html#a4eb54eb3943f96e60f89d2fdd99f08c0',1,'SVF::BufOverflowException']]],
-  ['while_10911',['while',['../cJSON_8cpp.html#a209b15238c5803bc547b2d77e02f29b4',1,'cJSON.cpp']]],
-  ['widen_5fwith_10912',['widen_with',['../classSVF_1_1IntervalValue.html#ab7ddcc29a116944a91db24af90d4c144',1,'SVF::IntervalValue']]],
-  ['widenaddrs_10913',['widenAddrs',['../classSVF_1_1SVFIR2ItvExeState.html#a198fd724be35f415851a2467c3930f76',1,'SVF::SVFIR2ItvExeState']]],
-  ['widenfixpointpass_10914',['widenFixpointPass',['../classSVF_1_1AbstractExecution.html#a438c0702d8b1e074c3db37025377b2a7',1,'SVF::AbstractExecution']]],
-  ['widening_10915',['widening',['../classSVF_1_1IntervalESBase.html#a9a167f67476d2e080cc6e31d127ee715',1,'SVF::IntervalESBase::widening()'],['../classSVF_1_1IntervalExeState.html#abc8edb74e55f40dbc7bb5182d4ef1199',1,'SVF::IntervalExeState::widening()']]],
-  ['widenwith_10916',['widenWith',['../classSVF_1_1IntervalESBase.html#a2db6b5360cf8e90dbd4174ad0382ec56',1,'SVF::IntervalESBase::widenWith()'],['../classSVF_1_1IntervalExeState.html#acfbe4dbb85e802a0456b7223a26280d3',1,'SVF::IntervalExeState::widenWith()']]],
-  ['word_10917',['word',['../structSVF_1_1SparseBitVectorElement.html#a5d43d980591d14d3a3d0782be034ed4f',1,'SVF::SparseBitVectorElement']]],
-  ['wpafssolver_10918',['WPAFSSolver',['../classSVF_1_1WPAFSSolver.html#a3bab50f0e94f516204d6622420de7db7',1,'SVF::WPAFSSolver']]],
-  ['wpaminimumsolver_10919',['WPAMinimumSolver',['../classSVF_1_1WPAMinimumSolver.html#aaf8b6410ba9667f7a46fc4ca05900ed3',1,'SVF::WPAMinimumSolver']]],
-  ['wpapass_10920',['WPAPass',['../classSVF_1_1WPAPass.html#a3fc957e01a3ac7c242c030c6f6846fa9',1,'SVF::WPAPass']]],
-  ['wpasccsolver_10921',['WPASCCSolver',['../classSVF_1_1WPASCCSolver.html#aa2c15ca2f8fba1a5d77f0332e4ddf9e8',1,'SVF::WPASCCSolver']]],
-  ['wpasolver_10922',['WPASolver',['../classSVF_1_1WPASolver.html#a0c5616b0e340955dafc2ab2f21740abd',1,'SVF::WPASolver']]],
-  ['wrapped_10923',['wrapped',['../classSVF_1_1iter__adaptor__base.html#afa1dc067ea97ae5db1e2618e47be1525',1,'SVF::iter_adaptor_base']]],
-  ['writeedge_10924',['writeEdge',['../classSVF_1_1GraphWriter.html#a6133d0033363b0e9db156c354da7d7e6',1,'SVF::GraphWriter']]],
-  ['writefooter_10925',['writeFooter',['../classSVF_1_1GraphWriter.html#a5c3ce0eba24c71f847676b23b855e44c',1,'SVF::GraphWriter']]],
-  ['writegepobjvarmaptofile_10926',['writeGepObjVarMapToFile',['../classSVF_1_1BVDataPTAImpl.html#a5e782fb9a94a62403046c483ca4176c3',1,'SVF::BVDataPTAImpl']]],
-  ['writegraph_10927',['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_10928',['WriteGraphToFile',['../classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10',1,'SVF::GraphPrinter']]],
-  ['writeheader_10929',['writeHeader',['../classSVF_1_1GraphWriter.html#abd376959cc889e1e387523f38674650f',1,'SVF::GraphWriter']]],
-  ['writejsontoostream_10930',['writeJsonToOstream',['../classSVF_1_1SVFIRWriter.html#a12d70e815fa53a4121d375ac26f2c30f',1,'SVF::SVFIRWriter']]],
-  ['writejsontopath_10931',['writeJsonToPath',['../classSVF_1_1SVFIRWriter.html#a2bbb4e38ce3eb2c43b7f01cb240df9c8',1,'SVF::SVFIRWriter']]],
-  ['writenode_10932',['writeNode',['../classSVF_1_1GraphWriter.html#a18c579b53feccbb3b521982c6161f555',1,'SVF::GraphWriter']]],
-  ['writenodes_10933',['writeNodes',['../classSVF_1_1GraphWriter.html#ada2363727dc20c2183b8252f3bdf3a04',1,'SVF::GraphWriter']]],
-  ['writeobjvartofile_10934',['writeObjVarToFile',['../classSVF_1_1BVDataPTAImpl.html#a3279969934d6778a6cffe926ed724bfc',1,'SVF::BVDataPTAImpl']]],
-  ['writeptsresulttofile_10935',['writePtsResultToFile',['../classSVF_1_1BVDataPTAImpl.html#a6ca3ab1e32012ef13613f52f27f3c502',1,'SVF::BVDataPTAImpl']]],
-  ['writetofile_10936',['writeToFile',['../classSVF_1_1SVFG.html#a7ce9ec638995467c211958262be08ee1',1,'SVF::SVFG::writeToFile()'],['../classSVF_1_1BVDataPTAImpl.html#a25c68f9d2b88437778e854ff0d741d1b',1,'SVF::BVDataPTAImpl::writeToFile()']]],
-  ['writeversionedanalysisresulttofile_10937',['writeVersionedAnalysisResultToFile',['../classSVF_1_1VersionedFlowSensitive.html#ab2c21cc1e4cd4d7dbc12b6bd9f34d971',1,'SVF::VersionedFlowSensitive']]],
-  ['writewrnmsg_10938',['writeWrnMsg',['../namespaceSVF_1_1SVFUtil.html#ab2e0196e0ce547ab4a483cc6d2646b24',1,'SVF::SVFUtil']]],
-  ['wrnmsg_10939',['wrnMsg',['../namespaceSVF_1_1SVFUtil.html#ac71522e8c55f84cfc6c13a0ddff18436',1,'SVF::SVFUtil']]],
-  ['wto_10940',['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_10941',['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_10942',['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_10943',['WTOCycle',['../classSVF_1_1WTOCycle.html#a19ad36eef78d46348ca75c5d2e12519b',1,'SVF::WTOCycle']]],
-  ['wtocycledepth_10944',['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_10945',['WTOCycleDepthBuilder',['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a6cf986992bb78e6e3aa2e75b883c01c9',1,'SVF::WTO::WTOCycleDepthBuilder']]],
-  ['wtonode_10946',['WTONode',['../classSVF_1_1WTONode.html#acb1c9f5fa393500a8efe9f885b1748ce',1,'SVF::WTONode']]]
+  ['weakupdateoutfromin_10901',['weakUpdateOutFromIn',['../classSVF_1_1FlowSensitive.html#ab492c283e2264b4cbd4c192e805b7750',1,'SVF::FlowSensitive']]],
+  ['what_10902',['what',['../structSVF_1_1BufOverflowException.html#a4eb54eb3943f96e60f89d2fdd99f08c0',1,'SVF::BufOverflowException']]],
+  ['while_10903',['while',['../cJSON_8cpp.html#a209b15238c5803bc547b2d77e02f29b4',1,'cJSON.cpp']]],
+  ['widen_5fwith_10904',['widen_with',['../classSVF_1_1IntervalValue.html#ab7ddcc29a116944a91db24af90d4c144',1,'SVF::IntervalValue']]],
+  ['widenaddrs_10905',['widenAddrs',['../classSVF_1_1SVFIR2ItvExeState.html#a198fd724be35f415851a2467c3930f76',1,'SVF::SVFIR2ItvExeState']]],
+  ['widenfixpointpass_10906',['widenFixpointPass',['../classSVF_1_1AbstractExecution.html#a438c0702d8b1e074c3db37025377b2a7',1,'SVF::AbstractExecution']]],
+  ['widening_10907',['widening',['../classSVF_1_1IntervalESBase.html#a9a167f67476d2e080cc6e31d127ee715',1,'SVF::IntervalESBase::widening()'],['../classSVF_1_1IntervalExeState.html#abc8edb74e55f40dbc7bb5182d4ef1199',1,'SVF::IntervalExeState::widening()']]],
+  ['widenwith_10908',['widenWith',['../classSVF_1_1IntervalESBase.html#a2db6b5360cf8e90dbd4174ad0382ec56',1,'SVF::IntervalESBase::widenWith()'],['../classSVF_1_1IntervalExeState.html#acfbe4dbb85e802a0456b7223a26280d3',1,'SVF::IntervalExeState::widenWith()']]],
+  ['word_10909',['word',['../structSVF_1_1SparseBitVectorElement.html#a5d43d980591d14d3a3d0782be034ed4f',1,'SVF::SparseBitVectorElement']]],
+  ['wpafssolver_10910',['WPAFSSolver',['../classSVF_1_1WPAFSSolver.html#a3bab50f0e94f516204d6622420de7db7',1,'SVF::WPAFSSolver']]],
+  ['wpaminimumsolver_10911',['WPAMinimumSolver',['../classSVF_1_1WPAMinimumSolver.html#aaf8b6410ba9667f7a46fc4ca05900ed3',1,'SVF::WPAMinimumSolver']]],
+  ['wpapass_10912',['WPAPass',['../classSVF_1_1WPAPass.html#a3fc957e01a3ac7c242c030c6f6846fa9',1,'SVF::WPAPass']]],
+  ['wpasccsolver_10913',['WPASCCSolver',['../classSVF_1_1WPASCCSolver.html#aa2c15ca2f8fba1a5d77f0332e4ddf9e8',1,'SVF::WPASCCSolver']]],
+  ['wpasolver_10914',['WPASolver',['../classSVF_1_1WPASolver.html#a0c5616b0e340955dafc2ab2f21740abd',1,'SVF::WPASolver']]],
+  ['wrapped_10915',['wrapped',['../classSVF_1_1iter__adaptor__base.html#afa1dc067ea97ae5db1e2618e47be1525',1,'SVF::iter_adaptor_base']]],
+  ['writeedge_10916',['writeEdge',['../classSVF_1_1GraphWriter.html#a6133d0033363b0e9db156c354da7d7e6',1,'SVF::GraphWriter']]],
+  ['writefooter_10917',['writeFooter',['../classSVF_1_1GraphWriter.html#a5c3ce0eba24c71f847676b23b855e44c',1,'SVF::GraphWriter']]],
+  ['writegepobjvarmaptofile_10918',['writeGepObjVarMapToFile',['../classSVF_1_1BVDataPTAImpl.html#a5e782fb9a94a62403046c483ca4176c3',1,'SVF::BVDataPTAImpl']]],
+  ['writegraph_10919',['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_10920',['WriteGraphToFile',['../classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10',1,'SVF::GraphPrinter']]],
+  ['writeheader_10921',['writeHeader',['../classSVF_1_1GraphWriter.html#abd376959cc889e1e387523f38674650f',1,'SVF::GraphWriter']]],
+  ['writejsontoostream_10922',['writeJsonToOstream',['../classSVF_1_1SVFIRWriter.html#a12d70e815fa53a4121d375ac26f2c30f',1,'SVF::SVFIRWriter']]],
+  ['writejsontopath_10923',['writeJsonToPath',['../classSVF_1_1SVFIRWriter.html#a2bbb4e38ce3eb2c43b7f01cb240df9c8',1,'SVF::SVFIRWriter']]],
+  ['writenode_10924',['writeNode',['../classSVF_1_1GraphWriter.html#a18c579b53feccbb3b521982c6161f555',1,'SVF::GraphWriter']]],
+  ['writenodes_10925',['writeNodes',['../classSVF_1_1GraphWriter.html#ada2363727dc20c2183b8252f3bdf3a04',1,'SVF::GraphWriter']]],
+  ['writeobjvartofile_10926',['writeObjVarToFile',['../classSVF_1_1BVDataPTAImpl.html#a3279969934d6778a6cffe926ed724bfc',1,'SVF::BVDataPTAImpl']]],
+  ['writeptsresulttofile_10927',['writePtsResultToFile',['../classSVF_1_1BVDataPTAImpl.html#a6ca3ab1e32012ef13613f52f27f3c502',1,'SVF::BVDataPTAImpl']]],
+  ['writetofile_10928',['writeToFile',['../classSVF_1_1SVFG.html#a7ce9ec638995467c211958262be08ee1',1,'SVF::SVFG::writeToFile()'],['../classSVF_1_1BVDataPTAImpl.html#a25c68f9d2b88437778e854ff0d741d1b',1,'SVF::BVDataPTAImpl::writeToFile()']]],
+  ['writeversionedanalysisresulttofile_10929',['writeVersionedAnalysisResultToFile',['../classSVF_1_1VersionedFlowSensitive.html#ab2c21cc1e4cd4d7dbc12b6bd9f34d971',1,'SVF::VersionedFlowSensitive']]],
+  ['writewrnmsg_10930',['writeWrnMsg',['../namespaceSVF_1_1SVFUtil.html#ab2e0196e0ce547ab4a483cc6d2646b24',1,'SVF::SVFUtil']]],
+  ['wrnmsg_10931',['wrnMsg',['../namespaceSVF_1_1SVFUtil.html#ac71522e8c55f84cfc6c13a0ddff18436',1,'SVF::SVFUtil']]],
+  ['wto_10932',['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_10933',['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_10934',['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_10935',['WTOCycle',['../classSVF_1_1WTOCycle.html#a19ad36eef78d46348ca75c5d2e12519b',1,'SVF::WTOCycle']]],
+  ['wtocycledepth_10936',['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_10937',['WTOCycleDepthBuilder',['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a6cf986992bb78e6e3aa2e75b883c01c9',1,'SVF::WTO::WTOCycleDepthBuilder']]],
+  ['wtonode_10938',['WTONode',['../classSVF_1_1WTONode.html#acb1c9f5fa393500a8efe9f885b1748ce',1,'SVF::WTONode']]]
 ];

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['z3expr_10947',['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_10948',['z3Expr2NumValue',['../classSVF_1_1ConsExeState.html#ad8cd07a607743e8cbbf59bd5882c5043',1,'SVF::ConsExeState::z3Expr2NumValue()'],['../classSVF_1_1RelExeState.html#accb15cf8109eec2a7cc497badcdbaa57',1,'SVF::RelExeState::z3Expr2NumValue()']]],
-  ['zerror_10949',['zError',['../extapi_8c.html#a10c4297735fbf8c45419437c23ff7e08',1,'extapi.c']]]
+  ['z3expr_10939',['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_10940',['z3Expr2NumValue',['../classSVF_1_1ConsExeState.html#ad8cd07a607743e8cbbf59bd5882c5043',1,'SVF::ConsExeState::z3Expr2NumValue()'],['../classSVF_1_1RelExeState.html#accb15cf8109eec2a7cc497badcdbaa57',1,'SVF::RelExeState::z3Expr2NumValue()']]],
+  ['zerror_10941',['zError',['../extapi_8c.html#a10c4297735fbf8c45419437c23ff7e08',1,'extapi.c']]]
 ];