svf-tools 1.0.798 → 1.0.800

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

@@ -13,13 +13,13 @@ var searchData=
   ['objvar_4483',['ObjVar',['../classSVF_1_1ObjVar.html',1,'SVF::ObjVar'],['../classSVF_1_1ObjVar.html#a0678067a37d44e8655236454aee9eee0',1,'SVF::ObjVar::ObjVar(NodeID i, PNODEK ty=ObjNode)'],['../classSVF_1_1ObjVar.html#a87e7e6a7db8027c1351476862d7f08cb',1,'SVF::ObjVar::ObjVar(const SVFValue *val, NodeID i, const MemObj *m, PNODEK ty=ObjNode)']]],
   ['ocgdotgraph_4484',['OCGDotGraph',['../classSVF_1_1Options.html#ad6c9b07d4dc8af20fbe2b93711cc2101',1,'SVF::Options']]],
   ['offset_4485',['offset',['../classSVF_1_1DCHEdge.html#a41bd0d95d588aa7fb77e83dc91654493',1,'SVF::DCHEdge::offset()'],['../classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd',1,'SVF::CoreBitVector::offset()'],['../structparse__buffer.html#af727920073077579942a79de519bb31a',1,'parse_buffer::offset()'],['../structprintbuffer.html#a3ed6f9d24d6591047680492a962dc7c9',1,'printbuffer::offset()'],['../cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de',1,'offset(): cJSON.cpp']]],
-  ['offsetvarandgeptypepairs_4486',['OffsetVarAndGepTypePairs',['../classSVF_1_1AccessPath.html#a73ba2fd20ff0e21a2f09a3396f2596f8',1,'SVF::AccessPath::OffsetVarAndGepTypePairs()'],['../classSVF_1_1AccessPath.html#aa9f0a1290083a9b077c6065cad054163',1,'SVF::AccessPath::offsetVarAndGepTypePairs()']]],
+  ['offsetvarandgeptypepairs_4486',['offsetVarAndGepTypePairs',['../classSVF_1_1AccessPath.html#aa9f0a1290083a9b077c6065cad054163',1,'SVF::AccessPath::offsetVarAndGepTypePairs()'],['../classSVF_1_1AccessPath.html#a73ba2fd20ff0e21a2f09a3396f2596f8',1,'SVF::AccessPath::OffsetVarAndGepTypePairs()']]],
   ['onstack_4487',['onStack',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a0eb5f6b9985b9b512a76537d55b092b5',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
   ['ontheflycallgraphsolve_4488',['onTheFlyCallGraphSolve',['../classSVF_1_1CFLAlias.html#a25b38896aef06dad19532f7678291b37',1,'SVF::CFLAlias::onTheFlyCallGraphSolve()'],['../classSVF_1_1BVDataPTAImpl.html#a9830d4676fd424b633f8e4d918734296',1,'SVF::BVDataPTAImpl::onTheFlyCallGraphSolve()']]],
   ['ontheflyiterbudgetforstat_4489',['OnTheFlyIterBudgetForStat',['../classSVF_1_1PointerAnalysis.html#afc320fbf269404fe128e69c98e6f9cac',1,'SVF::PointerAnalysis']]],
   ['oobresetvisited_4490',['OOBResetVisited',['../classSVF_1_1DDAVFSolver.html#ab60c701f1881d88aa4440991fb972638',1,'SVF::DDAVFSolver']]],
   ['opcache_4491',['OpCache',['../classSVF_1_1PersistentPointsToCache.html#a896bab5039f4bf2d0da71045e2c63ad7',1,'SVF::PersistentPointsToCache']]],
-  ['opcode_4492',['OpCode',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6',1,'SVF::BinaryOPStmt::OpCode()'],['../classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742',1,'SVF::UnaryOPStmt::OpCode()'],['../classSVF_1_1BinaryOPStmt.html#a0c4f900cf7321e8385b4f45e5cba3d1a',1,'SVF::BinaryOPStmt::opcode()'],['../classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6',1,'SVF::UnaryOPStmt::opcode()']]],
+  ['opcode_4492',['opcode',['../classSVF_1_1BinaryOPStmt.html#a0c4f900cf7321e8385b4f45e5cba3d1a',1,'SVF::BinaryOPStmt::opcode()'],['../classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6',1,'SVF::UnaryOPStmt::opcode()'],['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6',1,'SVF::BinaryOPStmt::OpCode()'],['../classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742',1,'SVF::UnaryOPStmt::OpCode()']]],
   ['operator_20referencet_4493',['operator ReferenceT',['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#a6889cc9eba9892a3fc372f5353bc4dc6',1,'SVF::iter_facade_base::ReferenceProxy']]],
   ['operator_20u32_5ft_4494',['operator u32_t',['../structSVF_1_1GrammarBase_1_1Symbol.html#a7ba35f7585b191a29573a9e116aa927f',1,'SVF::GrammarBase::Symbol::operator u32_t()'],['../structSVF_1_1GrammarBase_1_1Symbol.html#ada693de7fbe70e37120eed8dca3c143f',1,'SVF::GrammarBase::Symbol::operator u32_t() const']]],
   ['operator_21_4495',['operator!',['../classSVF_1_1BoundedZ3Expr.html#a6b8aac161a98a48003abb778414bd293',1,'SVF::BoundedZ3Expr::operator!()'],['../classSVF_1_1NumericLiteral.html#ad68b36d4cf69e4f627226a738d5d8a29',1,'SVF::NumericLiteral::operator!()'],['../classSVF_1_1SingleAbsValue.html#ac1943aa4e51a3a748df209785eb42e22',1,'SVF::SingleAbsValue::operator!()'],['../classSVF_1_1Z3Expr.html#ac2b4e7b63f15e6780d25107b61f208ca',1,'SVF::Z3Expr::operator!()']]],
@@ -53,7 +53,7 @@ var searchData=
   ['operator_7c_7c_4523',['operator||',['../classSVF_1_1BoundedZ3Expr.html#a660b38aa9458137fad4dde4224f6ab63',1,'SVF::BoundedZ3Expr::operator||()'],['../classSVF_1_1NumericLiteral.html#ab5decc89d3b8a4f5a171b8a01a1afef8',1,'SVF::NumericLiteral::operator||()'],['../classSVF_1_1SingleAbsValue.html#a11daa7e49c0a3b813e6f362c518ba8b0',1,'SVF::SingleAbsValue::operator||()'],['../classSVF_1_1Z3Expr.html#a31327900a231526ff8f62be87c5f309d',1,'SVF::Z3Expr::operator||()']]],
   ['opicfgnodes_4524',['opICFGNodes',['../classSVF_1_1PhiStmt.html#a4c75a8f8430621aaec62a5189db136b5',1,'SVF::PhiStmt']]],
   ['opicfgnodevec_4525',['OpICFGNodeVec',['../classSVF_1_1PhiStmt.html#a49d49b191592f21e8e4e8b6676871423',1,'SVF::PhiStmt']]],
-  ['opincomingbbs_4526',['OPIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80',1,'SVF::IntraPHIVFGNode::OPIncomingBBs()'],['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode::opIncomingBBs()']]],
+  ['opincomingbbs_4526',['opIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode::opIncomingBBs()'],['../classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80',1,'SVF::IntraPHIVFGNode::OPIncomingBBs()']]],
   ['opit_4527',['OpIt',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e',1,'llvm::generic_bridge_gep_type_iterator']]],
   ['oppts_4528',['opPts',['../classSVF_1_1PersistentPointsToCache.html#ac7865b3ea1d76d2c522b465cc8e86639',1,'SVF::PersistentPointsToCache']]],
   ['option_4529',['Option',['../classOption.html',1,'Option< T >'],['../classOption.html#a62e78ab5e41cc3ba467c07c014f410e5',1,'Option::Option()']]],
@@ -84,7 +84,7 @@ var searchData=
   ['opverbegin_4554',['opVerBegin',['../classSVF_1_1MSSAPHISVFGNode.html#ace39549f7e300cb4a0ac7b8506a8632a',1,'SVF::MSSAPHISVFGNode::opVerBegin()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#aff4e88ef6569d3c4f29b532d610cd2b9',1,'SVF::IntraMSSAPHISVFGNode::opVerBegin()'],['../classSVF_1_1CmpVFGNode.html#a78fb624f0ca9ff16e6a8e5fd1c384904',1,'SVF::CmpVFGNode::opVerBegin()'],['../classSVF_1_1BinaryOPVFGNode.html#adaff45c46c4cc8158bd3147d304deab5',1,'SVF::BinaryOPVFGNode::opVerBegin()'],['../classSVF_1_1UnaryOPVFGNode.html#ab63ddaa05181f2c60ca7a001001a908d',1,'SVF::UnaryOPVFGNode::opVerBegin()'],['../classSVF_1_1PHIVFGNode.html#a2e00f6d582aa4ac9aa116cc6d5c79369',1,'SVF::PHIVFGNode::opVerBegin()'],['../classSVF_1_1MSSAPHI.html#a940f9afa26bf54c7175276ea27003c2f',1,'SVF::MSSAPHI::opVerBegin()']]],
   ['opverend_4555',['opVerEnd',['../classSVF_1_1MSSAPHISVFGNode.html#a33ec42a011781bbb63dce6dbe5f88bdf',1,'SVF::MSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a5e78faceb497b0f3cb6f8f1a9fc4f799',1,'SVF::IntraMSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1CmpVFGNode.html#ae5ba94ffae500168f0e5c1b1ce78af9c',1,'SVF::CmpVFGNode::opVerEnd()'],['../classSVF_1_1BinaryOPVFGNode.html#aed5a32d1a145df7007ba7d934e4c2bd4',1,'SVF::BinaryOPVFGNode::opVerEnd()'],['../classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c',1,'SVF::UnaryOPVFGNode::opVerEnd()'],['../classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20',1,'SVF::PHIVFGNode::opVerEnd()'],['../classSVF_1_1MSSAPHI.html#a2a49ad9d2eedf1dea98d725b13878d88',1,'SVF::MSSAPHI::opVerEnd()'],['../classSVF_1_1MultiOpndStmt.html#ad53097d07487d564e7d13f9d7d9ab10c',1,'SVF::MultiOpndStmt::opVerEnd()']]],
   ['opvers_4556',['OPVers',['../classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb',1,'SVF::MSSAPHISVFGNode::OPVers()'],['../classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22',1,'SVF::CmpVFGNode::OPVers()'],['../classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990',1,'SVF::BinaryOPVFGNode::OPVers()'],['../classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41',1,'SVF::UnaryOPVFGNode::OPVers()'],['../classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c',1,'SVF::PHIVFGNode::OPVers()'],['../classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba',1,'SVF::MSSAPHI::OPVers()'],['../classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139',1,'SVF::MSSAPHISVFGNode::opVers()'],['../classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c',1,'SVF::CmpVFGNode::opVers()'],['../classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc',1,'SVF::BinaryOPVFGNode::opVers()'],['../classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1',1,'SVF::UnaryOPVFGNode::opVers()'],['../classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca',1,'SVF::PHIVFGNode::opVers()'],['../classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271',1,'SVF::MSSAPHI::opVers()']]],
-  ['or_4557',['Or',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a90745e5effc8b7ef43c693d1e4fa7dbe',1,'SVF::BinaryOPStmt::Or()'],['../classSVF_1_1Z3Expr.html#ac063ed06c3495b790c02fe57c781b34e',1,'SVF::Z3Expr::OR()']]],
+  ['or_4557',['OR',['../classSVF_1_1Z3Expr.html#ac063ed06c3495b790c02fe57c781b34e',1,'SVF::Z3Expr::OR()'],['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a90745e5effc8b7ef43c693d1e4fa7dbe',1,'SVF::BinaryOPStmt::Or()']]],
   ['orderedmap_4558',['OrderedMap',['../namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6',1,'SVF']]],
   ['orderednodeset_4559',['OrderedNodeSet',['../namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8',1,'SVF']]],
   ['orderedset_4560',['OrderedSet',['../namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7',1,'SVF']]],

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

@@ -1,29 +1,29 @@
 var searchData=
 [
-  ['abstractvalue_6354',['AbstractValue',['../classSVF_1_1AbstractValue.html',1,'SVF']]],
-  ['accesspair_6355',['AccessPair',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html',1,'SVF::RaceResultValidator']]],
-  ['accesspath_6356',['AccessPath',['../classSVF_1_1AccessPath.html',1,'SVF']]],
-  ['actualinsvfgnode_6357',['ActualINSVFGNode',['../classSVF_1_1ActualINSVFGNode.html',1,'SVF']]],
-  ['actualoutsvfgnode_6358',['ActualOUTSVFGNode',['../classSVF_1_1ActualOUTSVFGNode.html',1,'SVF']]],
-  ['actualparmvfgnode_6359',['ActualParmVFGNode',['../classSVF_1_1ActualParmVFGNode.html',1,'SVF']]],
-  ['actualretvfgnode_6360',['ActualRetVFGNode',['../classSVF_1_1ActualRetVFGNode.html',1,'SVF']]],
-  ['add_5fconst_5fpast_5fpointer_6361',['add_const_past_pointer',['../structSVF_1_1SVFUtil_1_1add__const__past__pointer.html',1,'SVF::SVFUtil']]],
-  ['add_5fconst_5fpast_5fpointer_3c_20t_2c_20std_3a_3aenable_5fif_5ft_3c_20std_3a_3ais_5fpointer_3c_20t_20_3e_3a_3avalue_20_3e_20_3e_6362',['add_const_past_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >',['../structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html',1,'SVF::SVFUtil']]],
-  ['add_5flvalue_5freference_5fif_5fnot_5fpointer_6363',['add_lvalue_reference_if_not_pointer',['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html',1,'SVF::SVFUtil']]],
-  ['add_5flvalue_5freference_5fif_5fnot_5fpointer_3c_20t_2c_20std_3a_3aenable_5fif_5ft_3c_20std_3a_3ais_5fpointer_3c_20t_20_3e_3a_3avalue_20_3e_20_3e_6364',['add_lvalue_reference_if_not_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >',['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html',1,'SVF::SVFUtil']]],
-  ['addrcgedge_6365',['AddrCGEdge',['../classSVF_1_1AddrCGEdge.html',1,'SVF']]],
-  ['addressvalue_6366',['AddressValue',['../classSVF_1_1AddressValue.html',1,'SVF']]],
-  ['addrstmt_6367',['AddrStmt',['../classSVF_1_1AddrStmt.html',1,'SVF']]],
-  ['addrvfgnode_6368',['AddrVFGNode',['../classSVF_1_1AddrVFGNode.html',1,'SVF']]],
-  ['aliascflgraphbuilder_6369',['AliasCFLGraphBuilder',['../classSVF_1_1AliasCFLGraphBuilder.html',1,'SVF']]],
-  ['aliasddaclient_6370',['AliasDDAClient',['../classSVF_1_1AliasDDAClient.html',1,'SVF']]],
-  ['andersen_6371',['Andersen',['../classSVF_1_1Andersen.html',1,'SVF']]],
-  ['andersenbase_6372',['AndersenBase',['../classSVF_1_1AndersenBase.html',1,'SVF']]],
-  ['andersenscd_6373',['AndersenSCD',['../classSVF_1_1AndersenSCD.html',1,'SVF']]],
-  ['andersensfr_6374',['AndersenSFR',['../classSVF_1_1AndersenSFR.html',1,'SVF']]],
-  ['andersenstat_6375',['AndersenStat',['../classSVF_1_1AndersenStat.html',1,'SVF']]],
-  ['andersenwavediff_6376',['AndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html',1,'SVF']]],
-  ['annotator_6377',['Annotator',['../classSVF_1_1Annotator.html',1,'SVF']]],
-  ['argumentvfgnode_6378',['ArgumentVFGNode',['../classSVF_1_1ArgumentVFGNode.html',1,'SVF']]],
-  ['assignstmt_6379',['AssignStmt',['../classSVF_1_1AssignStmt.html',1,'SVF']]]
+  ['abstractvalue_6355',['AbstractValue',['../classSVF_1_1AbstractValue.html',1,'SVF']]],
+  ['accesspair_6356',['AccessPair',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html',1,'SVF::RaceResultValidator']]],
+  ['accesspath_6357',['AccessPath',['../classSVF_1_1AccessPath.html',1,'SVF']]],
+  ['actualinsvfgnode_6358',['ActualINSVFGNode',['../classSVF_1_1ActualINSVFGNode.html',1,'SVF']]],
+  ['actualoutsvfgnode_6359',['ActualOUTSVFGNode',['../classSVF_1_1ActualOUTSVFGNode.html',1,'SVF']]],
+  ['actualparmvfgnode_6360',['ActualParmVFGNode',['../classSVF_1_1ActualParmVFGNode.html',1,'SVF']]],
+  ['actualretvfgnode_6361',['ActualRetVFGNode',['../classSVF_1_1ActualRetVFGNode.html',1,'SVF']]],
+  ['add_5fconst_5fpast_5fpointer_6362',['add_const_past_pointer',['../structSVF_1_1SVFUtil_1_1add__const__past__pointer.html',1,'SVF::SVFUtil']]],
+  ['add_5fconst_5fpast_5fpointer_3c_20t_2c_20std_3a_3aenable_5fif_5ft_3c_20std_3a_3ais_5fpointer_3c_20t_20_3e_3a_3avalue_20_3e_20_3e_6363',['add_const_past_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >',['../structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html',1,'SVF::SVFUtil']]],
+  ['add_5flvalue_5freference_5fif_5fnot_5fpointer_6364',['add_lvalue_reference_if_not_pointer',['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html',1,'SVF::SVFUtil']]],
+  ['add_5flvalue_5freference_5fif_5fnot_5fpointer_3c_20t_2c_20std_3a_3aenable_5fif_5ft_3c_20std_3a_3ais_5fpointer_3c_20t_20_3e_3a_3avalue_20_3e_20_3e_6365',['add_lvalue_reference_if_not_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >',['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html',1,'SVF::SVFUtil']]],
+  ['addrcgedge_6366',['AddrCGEdge',['../classSVF_1_1AddrCGEdge.html',1,'SVF']]],
+  ['addressvalue_6367',['AddressValue',['../classSVF_1_1AddressValue.html',1,'SVF']]],
+  ['addrstmt_6368',['AddrStmt',['../classSVF_1_1AddrStmt.html',1,'SVF']]],
+  ['addrvfgnode_6369',['AddrVFGNode',['../classSVF_1_1AddrVFGNode.html',1,'SVF']]],
+  ['aliascflgraphbuilder_6370',['AliasCFLGraphBuilder',['../classSVF_1_1AliasCFLGraphBuilder.html',1,'SVF']]],
+  ['aliasddaclient_6371',['AliasDDAClient',['../classSVF_1_1AliasDDAClient.html',1,'SVF']]],
+  ['andersen_6372',['Andersen',['../classSVF_1_1Andersen.html',1,'SVF']]],
+  ['andersenbase_6373',['AndersenBase',['../classSVF_1_1AndersenBase.html',1,'SVF']]],
+  ['andersenscd_6374',['AndersenSCD',['../classSVF_1_1AndersenSCD.html',1,'SVF']]],
+  ['andersensfr_6375',['AndersenSFR',['../classSVF_1_1AndersenSFR.html',1,'SVF']]],
+  ['andersenstat_6376',['AndersenStat',['../classSVF_1_1AndersenStat.html',1,'SVF']]],
+  ['andersenwavediff_6377',['AndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html',1,'SVF']]],
+  ['annotator_6378',['Annotator',['../classSVF_1_1Annotator.html',1,'SVF']]],
+  ['argumentvfgnode_6379',['ArgumentVFGNode',['../classSVF_1_1ArgumentVFGNode.html',1,'SVF']]],
+  ['assignstmt_6380',['AssignStmt',['../classSVF_1_1AssignStmt.html',1,'SVF']]]
 ];

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

@@ -1,12 +1,12 @@
 var searchData=
 [
-  ['binaryopstmt_6380',['BinaryOPStmt',['../classSVF_1_1BinaryOPStmt.html',1,'SVF']]],
-  ['binaryopvfgnode_6381',['BinaryOPVFGNode',['../classSVF_1_1BinaryOPVFGNode.html',1,'SVF']]],
-  ['bitvector_6382',['BitVector',['../classSVF_1_1BitVector.html',1,'SVF']]],
-  ['boundedz3expr_6383',['BoundedZ3Expr',['../classSVF_1_1BoundedZ3Expr.html',1,'SVF']]],
-  ['branchstmt_6384',['BranchStmt',['../classSVF_1_1BranchStmt.html',1,'SVF']]],
-  ['branchvfgnode_6385',['BranchVFGNode',['../classSVF_1_1BranchVFGNode.html',1,'SVF']]],
-  ['breakconstantgeps_6386',['BreakConstantGEPs',['../classSVF_1_1BreakConstantGEPs.html',1,'SVF']]],
-  ['bufferoverflowbug_6387',['BufferOverflowBug',['../classSVF_1_1BufferOverflowBug.html',1,'SVF']]],
-  ['bvdataptaimpl_6388',['BVDataPTAImpl',['../classSVF_1_1BVDataPTAImpl.html',1,'SVF']]]
+  ['binaryopstmt_6381',['BinaryOPStmt',['../classSVF_1_1BinaryOPStmt.html',1,'SVF']]],
+  ['binaryopvfgnode_6382',['BinaryOPVFGNode',['../classSVF_1_1BinaryOPVFGNode.html',1,'SVF']]],
+  ['bitvector_6383',['BitVector',['../classSVF_1_1BitVector.html',1,'SVF']]],
+  ['boundedz3expr_6384',['BoundedZ3Expr',['../classSVF_1_1BoundedZ3Expr.html',1,'SVF']]],
+  ['branchstmt_6385',['BranchStmt',['../classSVF_1_1BranchStmt.html',1,'SVF']]],
+  ['branchvfgnode_6386',['BranchVFGNode',['../classSVF_1_1BranchVFGNode.html',1,'SVF']]],
+  ['breakconstantgeps_6387',['BreakConstantGEPs',['../classSVF_1_1BreakConstantGEPs.html',1,'SVF']]],
+  ['bufferoverflowbug_6388',['BufferOverflowBug',['../classSVF_1_1BufferOverflowBug.html',1,'SVF']]],
+  ['bvdataptaimpl_6389',['BVDataPTAImpl',['../classSVF_1_1BVDataPTAImpl.html',1,'SVF']]]
 ];

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

@@ -1,76 +1,76 @@
 var searchData=
 [
-  ['sabercheckerapi_6863',['SaberCheckerAPI',['../classSVF_1_1SaberCheckerAPI.html',1,'SVF']]],
-  ['sabercondallocator_6864',['SaberCondAllocator',['../classSVF_1_1SaberCondAllocator.html',1,'SVF']]],
-  ['sabersvfgbuilder_6865',['SaberSVFGBuilder',['../classSVF_1_1SaberSVFGBuilder.html',1,'SVF']]],
-  ['scc_6866',['SCC',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html',1,'SVF::VersionedFlowSensitive']]],
-  ['sccdetection_6867',['SCCDetection',['../classSVF_1_1SCCDetection.html',1,'SVF']]],
-  ['selectstmt_6868',['SelectStmt',['../classSVF_1_1SelectStmt.html',1,'SVF']]],
-  ['simplify_5ftype_6869',['simplify_type',['../structSVF_1_1SVFUtil_1_1simplify__type.html',1,'SVF::SVFUtil']]],
-  ['simplify_5ftype_3c_20const_20from_20_3e_6870',['simplify_type< const From >',['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html',1,'SVF::SVFUtil']]],
-  ['singleabsvalue_6871',['SingleAbsValue',['../classSVF_1_1SingleAbsValue.html',1,'SVF']]],
-  ['sparsebitvector_6872',['SparseBitVector',['../classSVF_1_1SparseBitVector.html',1,'SVF']]],
-  ['sparsebitvectorelement_6873',['SparseBitVectorElement',['../structSVF_1_1SparseBitVectorElement.html',1,'SVF']]],
-  ['sparsebitvectoriterator_6874',['SparseBitVectorIterator',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html',1,'SVF::SparseBitVector']]],
-  ['srcsnkdda_6875',['SrcSnkDDA',['../classSVF_1_1SrcSnkDDA.html',1,'SVF']]],
-  ['srcsnksolver_6876',['SrcSnkSolver',['../classSVF_1_1SrcSnkSolver.html',1,'SVF']]],
-  ['steensgaard_6877',['Steensgaard',['../classSVF_1_1Steensgaard.html',1,'SVF']]],
-  ['stinfo_6878',['StInfo',['../classSVF_1_1StInfo.html',1,'SVF']]],
-  ['stmtdpitem_6879',['StmtDPItem',['../classSVF_1_1StmtDPItem.html',1,'SVF']]],
-  ['stmtvfgnode_6880',['StmtVFGNode',['../classSVF_1_1StmtVFGNode.html',1,'SVF']]],
-  ['storecgedge_6881',['StoreCGEdge',['../classSVF_1_1StoreCGEdge.html',1,'SVF']]],
-  ['storechi_6882',['StoreCHI',['../classSVF_1_1StoreCHI.html',1,'SVF']]],
-  ['storestmt_6883',['StoreStmt',['../classSVF_1_1StoreStmt.html',1,'SVF']]],
-  ['storevfgnode_6884',['StoreVFGNode',['../classSVF_1_1StoreVFGNode.html',1,'SVF']]],
-  ['svfargument_6885',['SVFArgument',['../classSVF_1_1SVFArgument.html',1,'SVF']]],
-  ['svfarraytype_6886',['SVFArrayType',['../classSVF_1_1SVFArrayType.html',1,'SVF']]],
-  ['svfbasicblock_6887',['SVFBasicBlock',['../classSVF_1_1SVFBasicBlock.html',1,'SVF']]],
-  ['svfblackholevalue_6888',['SVFBlackHoleValue',['../classSVF_1_1SVFBlackHoleValue.html',1,'SVF']]],
-  ['svfbugevent_6889',['SVFBugEvent',['../classSVF_1_1SVFBugEvent.html',1,'SVF']]],
-  ['svfbugreport_6890',['SVFBugReport',['../classSVF_1_1SVFBugReport.html',1,'SVF']]],
-  ['svfcallinst_6891',['SVFCallInst',['../classSVF_1_1SVFCallInst.html',1,'SVF']]],
-  ['svfconstant_6892',['SVFConstant',['../classSVF_1_1SVFConstant.html',1,'SVF']]],
-  ['svfconstantdata_6893',['SVFConstantData',['../classSVF_1_1SVFConstantData.html',1,'SVF']]],
-  ['svfconstantfp_6894',['SVFConstantFP',['../classSVF_1_1SVFConstantFP.html',1,'SVF']]],
-  ['svfconstantint_6895',['SVFConstantInt',['../classSVF_1_1SVFConstantInt.html',1,'SVF']]],
-  ['svfconstantnullptr_6896',['SVFConstantNullPtr',['../classSVF_1_1SVFConstantNullPtr.html',1,'SVF']]],
-  ['svffunction_6897',['SVFFunction',['../classSVF_1_1SVFFunction.html',1,'SVF']]],
-  ['svffunctiontype_6898',['SVFFunctionType',['../classSVF_1_1SVFFunctionType.html',1,'SVF']]],
-  ['svfg_6899',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF']]],
-  ['svfgbuilder_6900',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html',1,'SVF']]],
-  ['svfglobalvalue_6901',['SVFGlobalValue',['../classSVF_1_1SVFGlobalValue.html',1,'SVF']]],
-  ['svfgnodelockspan_6902',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html',1,'SVF']]],
-  ['svfgopt_6903',['SVFGOPT',['../classSVF_1_1SVFGOPT.html',1,'SVF']]],
-  ['svfgstat_6904',['SVFGStat',['../classSVF_1_1SVFGStat.html',1,'SVF']]],
-  ['svfinstruction_6905',['SVFInstruction',['../classSVF_1_1SVFInstruction.html',1,'SVF']]],
-  ['svfintegertype_6906',['SVFIntegerType',['../classSVF_1_1SVFIntegerType.html',1,'SVF']]],
-  ['svfir_6907',['SVFIR',['../classSVF_1_1SVFIR.html',1,'SVF']]],
-  ['svfir2consexestate_6908',['SVFIR2ConsExeState',['../classSVF_1_1SVFIR2ConsExeState.html',1,'SVF']]],
-  ['svfir2itvexestate_6909',['SVFIR2ItvExeState',['../classSVF_1_1SVFIR2ItvExeState.html',1,'SVF']]],
-  ['svfirbuilder_6910',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html',1,'SVF']]],
-  ['svfirreader_6911',['SVFIRReader',['../classSVF_1_1SVFIRReader.html',1,'SVF']]],
-  ['svfirwriter_6912',['SVFIRWriter',['../classSVF_1_1SVFIRWriter.html',1,'SVF']]],
-  ['svfloop_6913',['SVFLoop',['../classSVF_1_1SVFLoop.html',1,'SVF']]],
-  ['svfloopanddominfo_6914',['SVFLoopAndDomInfo',['../classSVF_1_1SVFLoopAndDomInfo.html',1,'SVF']]],
-  ['svfmetadataasvalue_6915',['SVFMetadataAsValue',['../classSVF_1_1SVFMetadataAsValue.html',1,'SVF']]],
-  ['svfmodule_6916',['SVFModule',['../classSVF_1_1SVFModule.html',1,'SVF']]],
-  ['svfmodulereader_6917',['SVFModuleReader',['../classSVF_1_1SVFModuleReader.html',1,'SVF']]],
-  ['svfmodulewriter_6918',['SVFModuleWriter',['../classSVF_1_1SVFModuleWriter.html',1,'SVF']]],
-  ['svfothertype_6919',['SVFOtherType',['../classSVF_1_1SVFOtherType.html',1,'SVF']]],
-  ['svfothervalue_6920',['SVFOtherValue',['../classSVF_1_1SVFOtherValue.html',1,'SVF']]],
-  ['svfpointertype_6921',['SVFPointerType',['../classSVF_1_1SVFPointerType.html',1,'SVF']]],
-  ['svfstat_6922',['SVFStat',['../classSVF_1_1SVFStat.html',1,'SVF']]],
-  ['svfstmt_6923',['SVFStmt',['../classSVF_1_1SVFStmt.html',1,'SVF']]],
-  ['svfstructtype_6924',['SVFStructType',['../classSVF_1_1SVFStructType.html',1,'SVF']]],
-  ['svftype_6925',['SVFType',['../classSVF_1_1SVFType.html',1,'SVF']]],
-  ['svfvalue_6926',['SVFValue',['../classSVF_1_1SVFValue.html',1,'SVF']]],
-  ['svfvar_6927',['SVFVar',['../classSVF_1_1SVFVar.html',1,'SVF']]],
-  ['svfvirtualcallinst_6928',['SVFVirtualCallInst',['../classSVF_1_1SVFVirtualCallInst.html',1,'SVF']]],
-  ['symbol_6929',['Symbol',['../structSVF_1_1GrammarBase_1_1Symbol.html',1,'SVF::GrammarBase']]],
-  ['symbolhash_6930',['SymbolHash',['../classSVF_1_1GrammarBase_1_1SymbolHash.html',1,'SVF::GrammarBase']]],
-  ['symboltablebuilder_6931',['SymbolTableBuilder',['../classSVF_1_1SymbolTableBuilder.html',1,'SVF']]],
-  ['symboltableinfo_6932',['SymbolTableInfo',['../classSVF_1_1SymbolTableInfo.html',1,'SVF']]],
-  ['symboltableinforeader_6933',['SymbolTableInfoReader',['../classSVF_1_1SymbolTableInfoReader.html',1,'SVF']]],
-  ['symbolvectorhash_6934',['SymbolVectorHash',['../structSVF_1_1GrammarBase_1_1SymbolVectorHash.html',1,'SVF::GrammarBase']]],
-  ['symstate_6935',['SymState',['../classSVF_1_1SymState.html',1,'SVF']]]
+  ['sabercheckerapi_6864',['SaberCheckerAPI',['../classSVF_1_1SaberCheckerAPI.html',1,'SVF']]],
+  ['sabercondallocator_6865',['SaberCondAllocator',['../classSVF_1_1SaberCondAllocator.html',1,'SVF']]],
+  ['sabersvfgbuilder_6866',['SaberSVFGBuilder',['../classSVF_1_1SaberSVFGBuilder.html',1,'SVF']]],
+  ['scc_6867',['SCC',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html',1,'SVF::VersionedFlowSensitive']]],
+  ['sccdetection_6868',['SCCDetection',['../classSVF_1_1SCCDetection.html',1,'SVF']]],
+  ['selectstmt_6869',['SelectStmt',['../classSVF_1_1SelectStmt.html',1,'SVF']]],
+  ['simplify_5ftype_6870',['simplify_type',['../structSVF_1_1SVFUtil_1_1simplify__type.html',1,'SVF::SVFUtil']]],
+  ['simplify_5ftype_3c_20const_20from_20_3e_6871',['simplify_type< const From >',['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html',1,'SVF::SVFUtil']]],
+  ['singleabsvalue_6872',['SingleAbsValue',['../classSVF_1_1SingleAbsValue.html',1,'SVF']]],
+  ['sparsebitvector_6873',['SparseBitVector',['../classSVF_1_1SparseBitVector.html',1,'SVF']]],
+  ['sparsebitvectorelement_6874',['SparseBitVectorElement',['../structSVF_1_1SparseBitVectorElement.html',1,'SVF']]],
+  ['sparsebitvectoriterator_6875',['SparseBitVectorIterator',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html',1,'SVF::SparseBitVector']]],
+  ['srcsnkdda_6876',['SrcSnkDDA',['../classSVF_1_1SrcSnkDDA.html',1,'SVF']]],
+  ['srcsnksolver_6877',['SrcSnkSolver',['../classSVF_1_1SrcSnkSolver.html',1,'SVF']]],
+  ['steensgaard_6878',['Steensgaard',['../classSVF_1_1Steensgaard.html',1,'SVF']]],
+  ['stinfo_6879',['StInfo',['../classSVF_1_1StInfo.html',1,'SVF']]],
+  ['stmtdpitem_6880',['StmtDPItem',['../classSVF_1_1StmtDPItem.html',1,'SVF']]],
+  ['stmtvfgnode_6881',['StmtVFGNode',['../classSVF_1_1StmtVFGNode.html',1,'SVF']]],
+  ['storecgedge_6882',['StoreCGEdge',['../classSVF_1_1StoreCGEdge.html',1,'SVF']]],
+  ['storechi_6883',['StoreCHI',['../classSVF_1_1StoreCHI.html',1,'SVF']]],
+  ['storestmt_6884',['StoreStmt',['../classSVF_1_1StoreStmt.html',1,'SVF']]],
+  ['storevfgnode_6885',['StoreVFGNode',['../classSVF_1_1StoreVFGNode.html',1,'SVF']]],
+  ['svfargument_6886',['SVFArgument',['../classSVF_1_1SVFArgument.html',1,'SVF']]],
+  ['svfarraytype_6887',['SVFArrayType',['../classSVF_1_1SVFArrayType.html',1,'SVF']]],
+  ['svfbasicblock_6888',['SVFBasicBlock',['../classSVF_1_1SVFBasicBlock.html',1,'SVF']]],
+  ['svfblackholevalue_6889',['SVFBlackHoleValue',['../classSVF_1_1SVFBlackHoleValue.html',1,'SVF']]],
+  ['svfbugevent_6890',['SVFBugEvent',['../classSVF_1_1SVFBugEvent.html',1,'SVF']]],
+  ['svfbugreport_6891',['SVFBugReport',['../classSVF_1_1SVFBugReport.html',1,'SVF']]],
+  ['svfcallinst_6892',['SVFCallInst',['../classSVF_1_1SVFCallInst.html',1,'SVF']]],
+  ['svfconstant_6893',['SVFConstant',['../classSVF_1_1SVFConstant.html',1,'SVF']]],
+  ['svfconstantdata_6894',['SVFConstantData',['../classSVF_1_1SVFConstantData.html',1,'SVF']]],
+  ['svfconstantfp_6895',['SVFConstantFP',['../classSVF_1_1SVFConstantFP.html',1,'SVF']]],
+  ['svfconstantint_6896',['SVFConstantInt',['../classSVF_1_1SVFConstantInt.html',1,'SVF']]],
+  ['svfconstantnullptr_6897',['SVFConstantNullPtr',['../classSVF_1_1SVFConstantNullPtr.html',1,'SVF']]],
+  ['svffunction_6898',['SVFFunction',['../classSVF_1_1SVFFunction.html',1,'SVF']]],
+  ['svffunctiontype_6899',['SVFFunctionType',['../classSVF_1_1SVFFunctionType.html',1,'SVF']]],
+  ['svfg_6900',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF']]],
+  ['svfgbuilder_6901',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html',1,'SVF']]],
+  ['svfglobalvalue_6902',['SVFGlobalValue',['../classSVF_1_1SVFGlobalValue.html',1,'SVF']]],
+  ['svfgnodelockspan_6903',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html',1,'SVF']]],
+  ['svfgopt_6904',['SVFGOPT',['../classSVF_1_1SVFGOPT.html',1,'SVF']]],
+  ['svfgstat_6905',['SVFGStat',['../classSVF_1_1SVFGStat.html',1,'SVF']]],
+  ['svfinstruction_6906',['SVFInstruction',['../classSVF_1_1SVFInstruction.html',1,'SVF']]],
+  ['svfintegertype_6907',['SVFIntegerType',['../classSVF_1_1SVFIntegerType.html',1,'SVF']]],
+  ['svfir_6908',['SVFIR',['../classSVF_1_1SVFIR.html',1,'SVF']]],
+  ['svfir2consexestate_6909',['SVFIR2ConsExeState',['../classSVF_1_1SVFIR2ConsExeState.html',1,'SVF']]],
+  ['svfir2itvexestate_6910',['SVFIR2ItvExeState',['../classSVF_1_1SVFIR2ItvExeState.html',1,'SVF']]],
+  ['svfirbuilder_6911',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html',1,'SVF']]],
+  ['svfirreader_6912',['SVFIRReader',['../classSVF_1_1SVFIRReader.html',1,'SVF']]],
+  ['svfirwriter_6913',['SVFIRWriter',['../classSVF_1_1SVFIRWriter.html',1,'SVF']]],
+  ['svfloop_6914',['SVFLoop',['../classSVF_1_1SVFLoop.html',1,'SVF']]],
+  ['svfloopanddominfo_6915',['SVFLoopAndDomInfo',['../classSVF_1_1SVFLoopAndDomInfo.html',1,'SVF']]],
+  ['svfmetadataasvalue_6916',['SVFMetadataAsValue',['../classSVF_1_1SVFMetadataAsValue.html',1,'SVF']]],
+  ['svfmodule_6917',['SVFModule',['../classSVF_1_1SVFModule.html',1,'SVF']]],
+  ['svfmodulereader_6918',['SVFModuleReader',['../classSVF_1_1SVFModuleReader.html',1,'SVF']]],
+  ['svfmodulewriter_6919',['SVFModuleWriter',['../classSVF_1_1SVFModuleWriter.html',1,'SVF']]],
+  ['svfothertype_6920',['SVFOtherType',['../classSVF_1_1SVFOtherType.html',1,'SVF']]],
+  ['svfothervalue_6921',['SVFOtherValue',['../classSVF_1_1SVFOtherValue.html',1,'SVF']]],
+  ['svfpointertype_6922',['SVFPointerType',['../classSVF_1_1SVFPointerType.html',1,'SVF']]],
+  ['svfstat_6923',['SVFStat',['../classSVF_1_1SVFStat.html',1,'SVF']]],
+  ['svfstmt_6924',['SVFStmt',['../classSVF_1_1SVFStmt.html',1,'SVF']]],
+  ['svfstructtype_6925',['SVFStructType',['../classSVF_1_1SVFStructType.html',1,'SVF']]],
+  ['svftype_6926',['SVFType',['../classSVF_1_1SVFType.html',1,'SVF']]],
+  ['svfvalue_6927',['SVFValue',['../classSVF_1_1SVFValue.html',1,'SVF']]],
+  ['svfvar_6928',['SVFVar',['../classSVF_1_1SVFVar.html',1,'SVF']]],
+  ['svfvirtualcallinst_6929',['SVFVirtualCallInst',['../classSVF_1_1SVFVirtualCallInst.html',1,'SVF']]],
+  ['symbol_6930',['Symbol',['../structSVF_1_1GrammarBase_1_1Symbol.html',1,'SVF::GrammarBase']]],
+  ['symbolhash_6931',['SymbolHash',['../classSVF_1_1GrammarBase_1_1SymbolHash.html',1,'SVF::GrammarBase']]],
+  ['symboltablebuilder_6932',['SymbolTableBuilder',['../classSVF_1_1SymbolTableBuilder.html',1,'SVF']]],
+  ['symboltableinfo_6933',['SymbolTableInfo',['../classSVF_1_1SymbolTableInfo.html',1,'SVF']]],
+  ['symboltableinforeader_6934',['SymbolTableInfoReader',['../classSVF_1_1SymbolTableInfoReader.html',1,'SVF']]],
+  ['symbolvectorhash_6935',['SymbolVectorHash',['../structSVF_1_1GrammarBase_1_1SymbolVectorHash.html',1,'SVF::GrammarBase']]],
+  ['symstate_6936',['SymState',['../classSVF_1_1SymState.html',1,'SVF']]]
 ];

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

@@ -1,18 +1,18 @@
 var searchData=
 [
-  ['tailbuilder_6936',['TailBuilder',['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html',1,'SVF::CFBasicBlockGWTO']]],
-  ['tct_6937',['TCT',['../classSVF_1_1TCT.html',1,'SVF']]],
-  ['tctedge_6938',['TCTEdge',['../classSVF_1_1TCTEdge.html',1,'SVF']]],
-  ['tctnode_6939',['TCTNode',['../classSVF_1_1TCTNode.html',1,'SVF']]],
-  ['tdforkpe_6940',['TDForkPE',['../classSVF_1_1TDForkPE.html',1,'SVF']]],
-  ['tdjoinpe_6941',['TDJoinPE',['../classSVF_1_1TDJoinPE.html',1,'SVF']]],
-  ['threadapi_6942',['ThreadAPI',['../classSVF_1_1ThreadAPI.html',1,'SVF']]],
-  ['threadcallgraph_6943',['ThreadCallGraph',['../classSVF_1_1ThreadCallGraph.html',1,'SVF']]],
-  ['threadcallgraphbuilder_6944',['ThreadCallGraphBuilder',['../classSVF_1_1ThreadCallGraphBuilder.html',1,'SVF']]],
-  ['threadforkedge_6945',['ThreadForkEdge',['../classSVF_1_1ThreadForkEdge.html',1,'SVF']]],
-  ['threadjoinedge_6946',['ThreadJoinEdge',['../classSVF_1_1ThreadJoinEdge.html',1,'SVF']]],
-  ['threadmhpindsvfgedge_6947',['ThreadMHPIndSVFGEdge',['../classSVF_1_1ThreadMHPIndSVFGEdge.html',1,'SVF']]],
-  ['trailingzeroscounter_6948',['TrailingZerosCounter',['../structSVF_1_1TrailingZerosCounter.html',1,'SVF']]],
-  ['treenode_6949',['TreeNode',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html',1,'SVF::POCRHybridSolver']]],
-  ['typeanalysis_6950',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html',1,'SVF']]]
+  ['tailbuilder_6937',['TailBuilder',['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html',1,'SVF::CFBasicBlockGWTO']]],
+  ['tct_6938',['TCT',['../classSVF_1_1TCT.html',1,'SVF']]],
+  ['tctedge_6939',['TCTEdge',['../classSVF_1_1TCTEdge.html',1,'SVF']]],
+  ['tctnode_6940',['TCTNode',['../classSVF_1_1TCTNode.html',1,'SVF']]],
+  ['tdforkpe_6941',['TDForkPE',['../classSVF_1_1TDForkPE.html',1,'SVF']]],
+  ['tdjoinpe_6942',['TDJoinPE',['../classSVF_1_1TDJoinPE.html',1,'SVF']]],
+  ['threadapi_6943',['ThreadAPI',['../classSVF_1_1ThreadAPI.html',1,'SVF']]],
+  ['threadcallgraph_6944',['ThreadCallGraph',['../classSVF_1_1ThreadCallGraph.html',1,'SVF']]],
+  ['threadcallgraphbuilder_6945',['ThreadCallGraphBuilder',['../classSVF_1_1ThreadCallGraphBuilder.html',1,'SVF']]],
+  ['threadforkedge_6946',['ThreadForkEdge',['../classSVF_1_1ThreadForkEdge.html',1,'SVF']]],
+  ['threadjoinedge_6947',['ThreadJoinEdge',['../classSVF_1_1ThreadJoinEdge.html',1,'SVF']]],
+  ['threadmhpindsvfgedge_6948',['ThreadMHPIndSVFGEdge',['../classSVF_1_1ThreadMHPIndSVFGEdge.html',1,'SVF']]],
+  ['trailingzeroscounter_6949',['TrailingZerosCounter',['../structSVF_1_1TrailingZerosCounter.html',1,'SVF']]],
+  ['treenode_6950',['TreeNode',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html',1,'SVF::POCRHybridSolver']]],
+  ['typeanalysis_6951',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html',1,'SVF']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['unaryopstmt_6951',['UnaryOPStmt',['../classSVF_1_1UnaryOPStmt.html',1,'SVF']]],
-  ['unaryopvfgnode_6952',['UnaryOPVFGNode',['../classSVF_1_1UnaryOPVFGNode.html',1,'SVF']]]
+  ['unaryopstmt_6952',['UnaryOPStmt',['../classSVF_1_1UnaryOPStmt.html',1,'SVF']]],
+  ['unaryopvfgnode_6953',['UnaryOPVFGNode',['../classSVF_1_1UnaryOPVFGNode.html',1,'SVF']]]
 ];

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

@@ -1,13 +1,13 @@
 var searchData=
 [
-  ['valvar_6953',['ValVar',['../classSVF_1_1ValVar.html',1,'SVF']]],
-  ['varargpn_6954',['VarArgPN',['../classSVF_1_1VarArgPN.html',1,'SVF']]],
-  ['variantgepcgedge_6955',['VariantGepCGEdge',['../classSVF_1_1VariantGepCGEdge.html',1,'SVF']]],
-  ['versionedflowsensitive_6956',['VersionedFlowSensitive',['../classSVF_1_1VersionedFlowSensitive.html',1,'SVF']]],
-  ['versionedflowsensitivestat_6957',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitiveStat.html',1,'SVF']]],
-  ['versionedptdata_6958',['VersionedPTData',['../classSVF_1_1VersionedPTData.html',1,'SVF']]],
-  ['vfcflgraphbuilder_6959',['VFCFLGraphBuilder',['../classSVF_1_1VFCFLGraphBuilder.html',1,'SVF']]],
-  ['vfg_6960',['VFG',['../classSVF_1_1VFG.html',1,'SVF']]],
-  ['vfgedge_6961',['VFGEdge',['../classSVF_1_1VFGEdge.html',1,'SVF']]],
-  ['vfgnode_6962',['VFGNode',['../classSVF_1_1VFGNode.html',1,'SVF']]]
+  ['valvar_6954',['ValVar',['../classSVF_1_1ValVar.html',1,'SVF']]],
+  ['varargpn_6955',['VarArgPN',['../classSVF_1_1VarArgPN.html',1,'SVF']]],
+  ['variantgepcgedge_6956',['VariantGepCGEdge',['../classSVF_1_1VariantGepCGEdge.html',1,'SVF']]],
+  ['versionedflowsensitive_6957',['VersionedFlowSensitive',['../classSVF_1_1VersionedFlowSensitive.html',1,'SVF']]],
+  ['versionedflowsensitivestat_6958',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitiveStat.html',1,'SVF']]],
+  ['versionedptdata_6959',['VersionedPTData',['../classSVF_1_1VersionedPTData.html',1,'SVF']]],
+  ['vfcflgraphbuilder_6960',['VFCFLGraphBuilder',['../classSVF_1_1VFCFLGraphBuilder.html',1,'SVF']]],
+  ['vfg_6961',['VFG',['../classSVF_1_1VFG.html',1,'SVF']]],
+  ['vfgedge_6962',['VFGEdge',['../classSVF_1_1VFGEdge.html',1,'SVF']]],
+  ['vfgnode_6963',['VFGNode',['../classSVF_1_1VFGNode.html',1,'SVF']]]
 ];

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

@@ -1,17 +1,17 @@
 var searchData=
 [
-  ['wpafssolver_6963',['WPAFSSolver',['../classSVF_1_1WPAFSSolver.html',1,'SVF']]],
-  ['wpaminimumsolver_6964',['WPAMinimumSolver',['../classSVF_1_1WPAMinimumSolver.html',1,'SVF']]],
-  ['wpapass_6965',['WPAPass',['../classSVF_1_1WPAPass.html',1,'SVF']]],
-  ['wpasccsolver_6966',['WPASCCSolver',['../classSVF_1_1WPASCCSolver.html',1,'SVF']]],
-  ['wpasolver_6967',['WPASolver',['../classSVF_1_1WPASolver.html',1,'SVF']]],
-  ['writerptrpool_6968',['WriterPtrPool',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20edgetype_20_3e_6969',['WriterPtrPool< EdgeType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3astinfo_20_3e_6970',['WriterPtrPool< SVF::StInfo >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3asvfloop_20_3e_6971',['WriterPtrPool< SVF::SVFLoop >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3asvftype_20_3e_6972',['WriterPtrPool< SVF::SVFType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3asvfvalue_20_3e_6973',['WriterPtrPool< SVF::SVFValue >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['wtocycledepth_6974',['WTOCycleDepth',['../classSVF_1_1WTOCycleDepth.html',1,'SVF']]],
-  ['wtocycledepthbuilder_6975',['WTOCycleDepthBuilder',['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html',1,'SVF::CFBasicBlockGWTO']]],
-  ['wtovisitor_6976',['WTOVisitor',['../classSVF_1_1WTOVisitor.html',1,'SVF']]]
+  ['wpafssolver_6964',['WPAFSSolver',['../classSVF_1_1WPAFSSolver.html',1,'SVF']]],
+  ['wpaminimumsolver_6965',['WPAMinimumSolver',['../classSVF_1_1WPAMinimumSolver.html',1,'SVF']]],
+  ['wpapass_6966',['WPAPass',['../classSVF_1_1WPAPass.html',1,'SVF']]],
+  ['wpasccsolver_6967',['WPASCCSolver',['../classSVF_1_1WPASCCSolver.html',1,'SVF']]],
+  ['wpasolver_6968',['WPASolver',['../classSVF_1_1WPASolver.html',1,'SVF']]],
+  ['writerptrpool_6969',['WriterPtrPool',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20edgetype_20_3e_6970',['WriterPtrPool< EdgeType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3astinfo_20_3e_6971',['WriterPtrPool< SVF::StInfo >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3asvfloop_20_3e_6972',['WriterPtrPool< SVF::SVFLoop >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3asvftype_20_3e_6973',['WriterPtrPool< SVF::SVFType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3asvfvalue_20_3e_6974',['WriterPtrPool< SVF::SVFValue >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['wtocycledepth_6975',['WTOCycleDepth',['../classSVF_1_1WTOCycleDepth.html',1,'SVF']]],
+  ['wtocycledepthbuilder_6976',['WTOCycleDepthBuilder',['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html',1,'SVF::CFBasicBlockGWTO']]],
+  ['wtovisitor_6977',['WTOVisitor',['../classSVF_1_1WTOVisitor.html',1,'SVF']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['z3expr_6977',['Z3Expr',['../classSVF_1_1Z3Expr.html',1,'SVF']]]
+  ['z3expr_6978',['Z3Expr',['../classSVF_1_1Z3Expr.html',1,'SVF']]]
 ];