svf-tools 1.0.748 → 1.0.749

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

@@ -1,7 +1,7 @@
 var searchData=
 [
-  ['icfgbuilder_12989',['ICFGBuilder',['../classSVF_1_1ICFG.html#a0d2b8819e1a1375c3543b1cf202193fa',1,'SVF::ICFG']]],
-  ['int2bv_12990',['int2bv',['../classSVF_1_1BoundedZ3Expr.html#a002c3eb0160f7f4f4821d4e964b43b1a',1,'SVF::BoundedZ3Expr::int2bv()'],['../classSVF_1_1SingleAbsValue.html#a85b292d471c58f37360e0d03b3e4744f',1,'SVF::SingleAbsValue::int2bv()'],['../classSVF_1_1Z3Expr.html#acd9b5e77162c26753085386661b40517',1,'SVF::Z3Expr::int2bv()']]],
-  ['irgraph_12991',['IRGraph',['../classSVF_1_1SVFVar.html#a6755ed387e15f44ffb637f64a0af60bc',1,'SVF::SVFVar']]],
-  ['ite_12992',['ite',['../classSVF_1_1BoundedZ3Expr.html#a68a7ca754cc6653b6576d57da7aeb5f1',1,'SVF::BoundedZ3Expr::ite()'],['../classSVF_1_1NumericLiteral.html#af3544c0025b1796bce75891cf9c4e28a',1,'SVF::NumericLiteral::ite()'],['../classSVF_1_1SingleAbsValue.html#a47aea8b38603cc7cd1dee9eac7e28d4e',1,'SVF::SingleAbsValue::ite()'],['../classSVF_1_1Z3Expr.html#a93492128e2c619ef9e5b15a7d022bc45',1,'SVF::Z3Expr::ite()']]]
+  ['icfgbuilder_12999',['ICFGBuilder',['../classSVF_1_1ICFG.html#a0d2b8819e1a1375c3543b1cf202193fa',1,'SVF::ICFG']]],
+  ['int2bv_13000',['int2bv',['../classSVF_1_1BoundedZ3Expr.html#a002c3eb0160f7f4f4821d4e964b43b1a',1,'SVF::BoundedZ3Expr::int2bv()'],['../classSVF_1_1SingleAbsValue.html#a85b292d471c58f37360e0d03b3e4744f',1,'SVF::SingleAbsValue::int2bv()'],['../classSVF_1_1Z3Expr.html#acd9b5e77162c26753085386661b40517',1,'SVF::Z3Expr::int2bv()']]],
+  ['irgraph_13001',['IRGraph',['../classSVF_1_1SVFVar.html#a6755ed387e15f44ffb637f64a0af60bc',1,'SVF::SVFVar']]],
+  ['ite_13002',['ite',['../classSVF_1_1BoundedZ3Expr.html#a68a7ca754cc6653b6576d57da7aeb5f1',1,'SVF::BoundedZ3Expr::ite()'],['../classSVF_1_1NumericLiteral.html#af3544c0025b1796bce75891cf9c4e28a',1,'SVF::NumericLiteral::ite()'],['../classSVF_1_1SingleAbsValue.html#a47aea8b38603cc7cd1dee9eac7e28d4e',1,'SVF::SingleAbsValue::ite()'],['../classSVF_1_1Z3Expr.html#a93492128e2c619ef9e5b15a7d022bc45',1,'SVF::Z3Expr::ite()']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['llvmmoduleset_12993',['LLVMModuleSet',['../classSVF_1_1SVFValue.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFValue::LLVMModuleSet()'],['../classSVF_1_1SVFFunction.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFFunction::LLVMModuleSet()'],['../classSVF_1_1SVFBasicBlock.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFBasicBlock::LLVMModuleSet()'],['../classSVF_1_1SVFCallInst.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFCallInst::LLVMModuleSet()'],['../classSVF_1_1SVFVirtualCallInst.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFVirtualCallInst::LLVMModuleSet()'],['../classSVF_1_1SVFGlobalValue.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFGlobalValue::LLVMModuleSet()']]],
-  ['lshr_12994',['lshr',['../classSVF_1_1BoundedZ3Expr.html#adc4486fb78e2efbd67be311903917117',1,'SVF::BoundedZ3Expr::lshr()'],['../classSVF_1_1SingleAbsValue.html#afd0286acbccb8b7630ca2e086ea303b2',1,'SVF::SingleAbsValue::lshr()']]]
+  ['llvmmoduleset_13003',['LLVMModuleSet',['../classSVF_1_1SVFValue.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFValue::LLVMModuleSet()'],['../classSVF_1_1SVFFunction.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFFunction::LLVMModuleSet()'],['../classSVF_1_1SVFBasicBlock.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFBasicBlock::LLVMModuleSet()'],['../classSVF_1_1SVFCallInst.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFCallInst::LLVMModuleSet()'],['../classSVF_1_1SVFVirtualCallInst.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFVirtualCallInst::LLVMModuleSet()'],['../classSVF_1_1SVFGlobalValue.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFGlobalValue::LLVMModuleSet()']]],
+  ['lshr_13004',['lshr',['../classSVF_1_1BoundedZ3Expr.html#adc4486fb78e2efbd67be311903917117',1,'SVF::BoundedZ3Expr::lshr()'],['../classSVF_1_1SingleAbsValue.html#afd0286acbccb8b7630ca2e086ea303b2',1,'SVF::SingleAbsValue::lshr()']]]
 ];

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

@@ -1,7 +1,7 @@
 var searchData=
 [
-  ['max_12995',['max',['../classSVF_1_1NumericLiteral.html#a9e7a696842de2a4fae08a75d72a807ec',1,'SVF::NumericLiteral']]],
-  ['min_12996',['min',['../classSVF_1_1NumericLiteral.html#ab4f45675a9fecb201d0fe05d107fcb97',1,'SVF::NumericLiteral']]],
-  ['mtasvfgbuilder_12997',['MTASVFGBuilder',['../classSVF_1_1SVFG.html#ac0e43f4a2043538c9046f95826caa725',1,'SVF::SVFG']]],
-  ['mutabledfptdata_3c_20key_2c_20keyset_2c_20data_2c_20dataset_20_3e_12998',['MutableDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1MutablePTData.html#ad92cfe345043b1bc8d6c7a03df43310f',1,'SVF::MutablePTData']]]
+  ['max_13005',['max',['../classSVF_1_1NumericLiteral.html#a9e7a696842de2a4fae08a75d72a807ec',1,'SVF::NumericLiteral']]],
+  ['min_13006',['min',['../classSVF_1_1NumericLiteral.html#ab4f45675a9fecb201d0fe05d107fcb97',1,'SVF::NumericLiteral']]],
+  ['mtasvfgbuilder_13007',['MTASVFGBuilder',['../classSVF_1_1SVFG.html#ac0e43f4a2043538c9046f95826caa725',1,'SVF::SVFG']]],
+  ['mutabledfptdata_3c_20key_2c_20keyset_2c_20data_2c_20dataset_20_3e_13008',['MutableDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1MutablePTData.html#ad92cfe345043b1bc8d6c7a03df43310f',1,'SVF::MutablePTData']]]
 ];

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

@@ -1,22 +1,22 @@
 var searchData=
 [
-  ['operator_21_12999',['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!()']]],
-  ['operator_21_3d_13000',['operator!=',['../classSVF_1_1BoundedZ3Expr.html#a578526517c1c2e642e1e8e16959006ff',1,'SVF::BoundedZ3Expr::operator!=()'],['../classSVF_1_1NumericLiteral.html#ad0b83965d54dd9a94b0ec0a87ef8aa83',1,'SVF::NumericLiteral::operator!=()'],['../classSVF_1_1SingleAbsValue.html#a7fa4b919dfe1ae877298aea3b25f2b45',1,'SVF::SingleAbsValue::operator!=()'],['../classSVF_1_1Z3Expr.html#a180b9776e8388839bf321be33b8c0cb3',1,'SVF::Z3Expr::operator!=()']]],
-  ['operator_25_13001',['operator%',['../classSVF_1_1BoundedZ3Expr.html#a5a2ed0a2efbf142be0c61f31e5abaece',1,'SVF::BoundedZ3Expr::operator%()'],['../classSVF_1_1NumericLiteral.html#a82340a506f381d4dad620cfd524aeb39',1,'SVF::NumericLiteral::operator%()'],['../classSVF_1_1SingleAbsValue.html#a2c21237267a01d1621e51d1a5ece28ee',1,'SVF::SingleAbsValue::operator%()'],['../classSVF_1_1Z3Expr.html#a2abad89a9cfb36d8b782a099931501ad',1,'SVF::Z3Expr::operator%()']]],
-  ['operator_26_13002',['operator&',['../classSVF_1_1BoundedZ3Expr.html#ab71c961185c859a25940a6ef4335905c',1,'SVF::BoundedZ3Expr::operator&()'],['../classSVF_1_1NumericLiteral.html#a7139e461f2ac323b7e275f40dfd684da',1,'SVF::NumericLiteral::operator&()'],['../classSVF_1_1SingleAbsValue.html#a99f9503d4daab12b3c4817b237c0a0fb',1,'SVF::SingleAbsValue::operator&()'],['../classSVF_1_1Z3Expr.html#a65530f951359b30eab4794508d061e9c',1,'SVF::Z3Expr::operator&()']]],
-  ['operator_26_26_13003',['operator&&',['../classSVF_1_1BoundedZ3Expr.html#a4a36f2c5a084341a176cb81b2dec8280',1,'SVF::BoundedZ3Expr::operator&&()'],['../classSVF_1_1NumericLiteral.html#af57d038fab712a70aab7a6984ec2ba67',1,'SVF::NumericLiteral::operator&&()'],['../classSVF_1_1SingleAbsValue.html#a2e6442d5f27a3a9f42d90315f3365577',1,'SVF::SingleAbsValue::operator&&()'],['../classSVF_1_1Z3Expr.html#ad9520b22c40c629150d6e3e1a3cc4950',1,'SVF::Z3Expr::operator&&()']]],
-  ['operator_2a_13004',['operator*',['../classSVF_1_1BoundedZ3Expr.html#a35c2b00e17dc8cf8d2f0371bf4b54f4c',1,'SVF::BoundedZ3Expr::operator*()'],['../classSVF_1_1NumericLiteral.html#acd6b5117399b0572133d3d94dc064acf',1,'SVF::NumericLiteral::operator*()'],['../classSVF_1_1SingleAbsValue.html#a37ed586cebb42c8c11f48dd28f33894b',1,'SVF::SingleAbsValue::operator*()'],['../classSVF_1_1Z3Expr.html#a6732f9ac81422756d10b5fdd6ffaab3e',1,'SVF::Z3Expr::operator*()']]],
-  ['operator_2b_13005',['operator+',['../classSVF_1_1BoundedZ3Expr.html#af55de92eb3ca95f812bc3964622319aa',1,'SVF::BoundedZ3Expr::operator+()'],['../classSVF_1_1NumericLiteral.html#a1a06b5b2e22ba2265d57b6f0c9ed9d84',1,'SVF::NumericLiteral::operator+()'],['../classSVF_1_1SingleAbsValue.html#aadd133298bbe7c823ad90d0288a73f44',1,'SVF::SingleAbsValue::operator+()'],['../classSVF_1_1iter__facade__base.html#a56831a09ff0a972cfb02376aaab2caab',1,'SVF::iter_facade_base::operator+()'],['../classSVF_1_1Z3Expr.html#af86e0c01602b78f64933b06e43a48e06',1,'SVF::Z3Expr::operator+()']]],
-  ['operator_2d_13006',['operator-',['../classSVF_1_1BoundedZ3Expr.html#a7f80f976d048c166b61118a71f307c15',1,'SVF::BoundedZ3Expr::operator-()'],['../classSVF_1_1BoundedZ3Expr.html#ae2483e95fe2534f694d3ddaead0cd9c4',1,'SVF::BoundedZ3Expr::operator-()'],['../classSVF_1_1NumericLiteral.html#aecb4c8bd2c66a906a4b4556c80838d1d',1,'SVF::NumericLiteral::operator-()'],['../classSVF_1_1NumericLiteral.html#aec2acc023ff24e72ac5ca7ea57761df3',1,'SVF::NumericLiteral::operator-()'],['../classSVF_1_1SingleAbsValue.html#af84760e6047ee76380c0d092d1e45fca',1,'SVF::SingleAbsValue::operator-()'],['../classSVF_1_1Z3Expr.html#aea407969f346ed1692cac584e9d8d265',1,'SVF::Z3Expr::operator-()']]],
-  ['operator_2f_13007',['operator/',['../classSVF_1_1BoundedZ3Expr.html#afc5612cec82001939b3b14b0d0b18702',1,'SVF::BoundedZ3Expr::operator/()'],['../classSVF_1_1NumericLiteral.html#a7b25cbee3dc405cb9c3e16305f263407',1,'SVF::NumericLiteral::operator/()'],['../classSVF_1_1SingleAbsValue.html#ad13d4fe654afd7ab08d27111b0b732bb',1,'SVF::SingleAbsValue::operator/()'],['../classSVF_1_1Z3Expr.html#a978668e0c0cc3b1fd261e02b5d7d96d4',1,'SVF::Z3Expr::operator/()']]],
-  ['operator_3c_13008',['operator<',['../classSVF_1_1BoundedZ3Expr.html#aaf3f27863e2d7776798776e64d72af39',1,'SVF::BoundedZ3Expr::operator<()'],['../classSVF_1_1NumericLiteral.html#a8f4a1492bdce0c3d04c50c746279272d',1,'SVF::NumericLiteral::operator<()'],['../classSVF_1_1SingleAbsValue.html#ac380461334e98c6834ffecdad8c0d620',1,'SVF::SingleAbsValue::operator<()'],['../classSVF_1_1iter__adaptor__base.html#a0a4477a210b9d5ce260ca3790cfe9779',1,'SVF::iter_adaptor_base::operator<()'],['../classSVF_1_1Z3Expr.html#a9bc83c762453afc4602b1fef8ea8725d',1,'SVF::Z3Expr::operator<()']]],
-  ['operator_3c_3c_13009',['operator<<',['../classSVF_1_1BoundedZ3Expr.html#ab02df1045ee6cfc305c4b7780aeae538',1,'SVF::BoundedZ3Expr::operator<<()'],['../classSVF_1_1NumericLiteral.html#adfd0722351b93c3ab7ffd4147e278f7d',1,'SVF::NumericLiteral::operator<<()'],['../classSVF_1_1NumericLiteral.html#a89b4521f3907f4886fa1063e93319792',1,'SVF::NumericLiteral::operator<<()'],['../classSVF_1_1SingleAbsValue.html#a817749cc657573d527c177d42b2f4950',1,'SVF::SingleAbsValue::operator<<()'],['../classSVF_1_1WTOCycleDepth.html#ada537f89b6cc8d5d2cb5064e2c5b1b0d',1,'SVF::WTOCycleDepth::operator<<()'],['../classSVF_1_1CFBasicBlockGWTOComp.html#a3f56958f07188cceffffbc3659f13e18',1,'SVF::CFBasicBlockGWTOComp::operator<<()'],['../classSVF_1_1CFBasicBlockGWTO.html#a622b439ca78cc523abe308b26daa337b',1,'SVF::CFBasicBlockGWTO::operator<<()'],['../classSVF_1_1CFBasicBlockEdge.html#a9385587148475626fba07d2cc13d0488',1,'SVF::CFBasicBlockEdge::operator<<()'],['../classSVF_1_1CFBasicBlockNode.html#a1c88d2e9723ae23fb5afb3d3374c3ebe',1,'SVF::CFBasicBlockNode::operator<<()'],['../classSVF_1_1ICFGEdge.html#abc76af809c5fcd738d2a2d1828e30ccb',1,'SVF::ICFGEdge::operator<<()'],['../classSVF_1_1ICFGNode.html#a0c2586e90648aa3bf21aca0ba35a3ebd',1,'SVF::ICFGNode::operator<<()'],['../classSVF_1_1PTACallGraphEdge.html#a28737afd36ff7c2c6062883b20a572e5',1,'SVF::PTACallGraphEdge::operator<<()'],['../classSVF_1_1PTACallGraphNode.html#a340e93b40e7cbf6f0d23df399a9b9fff',1,'SVF::PTACallGraphNode::operator<<()'],['../classSVF_1_1VFGEdge.html#a6260283036620da17d8b3686bad691a4',1,'SVF::VFGEdge::operator<<()'],['../classSVF_1_1VFGNode.html#aaeb62e3ec17a7c1089f9de584273c612',1,'SVF::VFGNode::operator<<()'],['../classSVF_1_1CondVar.html#a01eb971ccd4ac623fa3cd9bb41cc696d',1,'SVF::CondVar::operator<<()'],['../classSVF_1_1SVFStmt.html#a02c04239d33d2334f5835bff50994dba',1,'SVF::SVFStmt::operator<<()'],['../classSVF_1_1SVFValue.html#ae37edaf15e8c1fab59c70c86ad29a509',1,'SVF::SVFValue::operator<<()'],['../classSVF_1_1SVFVar.html#aeea492411a86c65bcce4a1ef956b3dbe',1,'SVF::SVFVar::operator<<()'],['../classSVF_1_1Z3Expr.html#aba8287dde6649b0c039539f71e8a7886',1,'SVF::Z3Expr::operator<<()']]],
-  ['operator_3c_3d_13010',['operator<=',['../classSVF_1_1BoundedZ3Expr.html#a97619cb4969f335ac2f234d969884467',1,'SVF::BoundedZ3Expr::operator<=()'],['../classSVF_1_1NumericLiteral.html#af40973365cb681abc4cc63c4fb2a6d07',1,'SVF::NumericLiteral::operator<=()'],['../classSVF_1_1SingleAbsValue.html#a999468e7e071876182afc0e8f7ed6fb5',1,'SVF::SingleAbsValue::operator<=()'],['../classSVF_1_1Z3Expr.html#a979529cf9531d2331d02b5db4b27535f',1,'SVF::Z3Expr::operator<=()']]],
-  ['operator_3d_3d_13011',['operator==',['../classSVF_1_1BoundedZ3Expr.html#a98662c8823a81602fb00cb2be74b578d',1,'SVF::BoundedZ3Expr::operator==()'],['../classSVF_1_1NumericLiteral.html#a1ed3cffe1d4ee076b8683f40806619ed',1,'SVF::NumericLiteral::operator==()'],['../classSVF_1_1SingleAbsValue.html#a3f5221ce5f81dbed135b3d4745d4493e',1,'SVF::SingleAbsValue::operator==()'],['../classSVF_1_1iter__adaptor__base.html#a0cfce21cb7aa24062dd921a9a5bace3a',1,'SVF::iter_adaptor_base::operator==()'],['../classSVF_1_1Z3Expr.html#a900309288fa5d43376d80e414f85dc45',1,'SVF::Z3Expr::operator==()']]],
-  ['operator_3e_13012',['operator>',['../classSVF_1_1BoundedZ3Expr.html#a86c18d9a2d9250690d7e988f7bb0a8b9',1,'SVF::BoundedZ3Expr::operator>()'],['../classSVF_1_1NumericLiteral.html#ad99ed283f2b7875f13aea347fa2c8b54',1,'SVF::NumericLiteral::operator>()'],['../classSVF_1_1SingleAbsValue.html#affc856ad42b2ebd5ee0adc28542d25e4',1,'SVF::SingleAbsValue::operator>()'],['../classSVF_1_1Z3Expr.html#a20cbf950bacc51e56c74918af268ed76',1,'SVF::Z3Expr::operator>()']]],
-  ['operator_3e_3d_13013',['operator>=',['../classSVF_1_1BoundedZ3Expr.html#ac284f14cea9ceff9ee9e49cf7a2b6366',1,'SVF::BoundedZ3Expr::operator>=()'],['../classSVF_1_1NumericLiteral.html#ab0cb27a9c31ce20500babb0dff9b87bf',1,'SVF::NumericLiteral::operator>=()'],['../classSVF_1_1SingleAbsValue.html#ab6dbdbac2c0552901d621c86603ced2a',1,'SVF::SingleAbsValue::operator>=()'],['../classSVF_1_1Z3Expr.html#a707735e67c852191e4e2a689a1a84858',1,'SVF::Z3Expr::operator>=()']]],
-  ['operator_3e_3e_13014',['operator>>',['../classSVF_1_1NumericLiteral.html#a5b421ff78df11b84654155dc88bb5516',1,'SVF::NumericLiteral']]],
-  ['operator_5e_13015',['operator^',['../classSVF_1_1BoundedZ3Expr.html#a2442520c94777a402b1d35c112964071',1,'SVF::BoundedZ3Expr::operator^()'],['../classSVF_1_1NumericLiteral.html#aa4b036114c2980f578c359fff6f4e604',1,'SVF::NumericLiteral::operator^()'],['../classSVF_1_1SingleAbsValue.html#adff66a9b6bb69424cef4894f7b75d958',1,'SVF::SingleAbsValue::operator^()'],['../classSVF_1_1Z3Expr.html#ae6419d6772044a2db7faf0ea0b848d12',1,'SVF::Z3Expr::operator^()']]],
-  ['operator_7c_13016',['operator|',['../classSVF_1_1BoundedZ3Expr.html#aa8bc79a4735a44f6f59085df3a9d636c',1,'SVF::BoundedZ3Expr::operator|()'],['../classSVF_1_1NumericLiteral.html#a24e0085eb116dfcf0744af5531dbaf05',1,'SVF::NumericLiteral::operator|()'],['../classSVF_1_1SingleAbsValue.html#a9e181a02c4bd3f622bde912914b64715',1,'SVF::SingleAbsValue::operator|()'],['../classSVF_1_1Z3Expr.html#a1f29d0ff58e6969e394f5b06017138de',1,'SVF::Z3Expr::operator|()']]],
-  ['operator_7c_7c_13017',['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||()']]]
+  ['operator_21_13009',['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!()']]],
+  ['operator_21_3d_13010',['operator!=',['../classSVF_1_1BoundedZ3Expr.html#a578526517c1c2e642e1e8e16959006ff',1,'SVF::BoundedZ3Expr::operator!=()'],['../classSVF_1_1NumericLiteral.html#ad0b83965d54dd9a94b0ec0a87ef8aa83',1,'SVF::NumericLiteral::operator!=()'],['../classSVF_1_1SingleAbsValue.html#a7fa4b919dfe1ae877298aea3b25f2b45',1,'SVF::SingleAbsValue::operator!=()'],['../classSVF_1_1Z3Expr.html#a180b9776e8388839bf321be33b8c0cb3',1,'SVF::Z3Expr::operator!=()']]],
+  ['operator_25_13011',['operator%',['../classSVF_1_1BoundedZ3Expr.html#a5a2ed0a2efbf142be0c61f31e5abaece',1,'SVF::BoundedZ3Expr::operator%()'],['../classSVF_1_1NumericLiteral.html#a82340a506f381d4dad620cfd524aeb39',1,'SVF::NumericLiteral::operator%()'],['../classSVF_1_1SingleAbsValue.html#a2c21237267a01d1621e51d1a5ece28ee',1,'SVF::SingleAbsValue::operator%()'],['../classSVF_1_1Z3Expr.html#a2abad89a9cfb36d8b782a099931501ad',1,'SVF::Z3Expr::operator%()']]],
+  ['operator_26_13012',['operator&',['../classSVF_1_1BoundedZ3Expr.html#ab71c961185c859a25940a6ef4335905c',1,'SVF::BoundedZ3Expr::operator&()'],['../classSVF_1_1NumericLiteral.html#a7139e461f2ac323b7e275f40dfd684da',1,'SVF::NumericLiteral::operator&()'],['../classSVF_1_1SingleAbsValue.html#a99f9503d4daab12b3c4817b237c0a0fb',1,'SVF::SingleAbsValue::operator&()'],['../classSVF_1_1Z3Expr.html#a65530f951359b30eab4794508d061e9c',1,'SVF::Z3Expr::operator&()']]],
+  ['operator_26_26_13013',['operator&&',['../classSVF_1_1BoundedZ3Expr.html#a4a36f2c5a084341a176cb81b2dec8280',1,'SVF::BoundedZ3Expr::operator&&()'],['../classSVF_1_1NumericLiteral.html#af57d038fab712a70aab7a6984ec2ba67',1,'SVF::NumericLiteral::operator&&()'],['../classSVF_1_1SingleAbsValue.html#a2e6442d5f27a3a9f42d90315f3365577',1,'SVF::SingleAbsValue::operator&&()'],['../classSVF_1_1Z3Expr.html#ad9520b22c40c629150d6e3e1a3cc4950',1,'SVF::Z3Expr::operator&&()']]],
+  ['operator_2a_13014',['operator*',['../classSVF_1_1BoundedZ3Expr.html#a35c2b00e17dc8cf8d2f0371bf4b54f4c',1,'SVF::BoundedZ3Expr::operator*()'],['../classSVF_1_1NumericLiteral.html#acd6b5117399b0572133d3d94dc064acf',1,'SVF::NumericLiteral::operator*()'],['../classSVF_1_1SingleAbsValue.html#a37ed586cebb42c8c11f48dd28f33894b',1,'SVF::SingleAbsValue::operator*()'],['../classSVF_1_1Z3Expr.html#a6732f9ac81422756d10b5fdd6ffaab3e',1,'SVF::Z3Expr::operator*()']]],
+  ['operator_2b_13015',['operator+',['../classSVF_1_1BoundedZ3Expr.html#af55de92eb3ca95f812bc3964622319aa',1,'SVF::BoundedZ3Expr::operator+()'],['../classSVF_1_1NumericLiteral.html#a1a06b5b2e22ba2265d57b6f0c9ed9d84',1,'SVF::NumericLiteral::operator+()'],['../classSVF_1_1SingleAbsValue.html#aadd133298bbe7c823ad90d0288a73f44',1,'SVF::SingleAbsValue::operator+()'],['../classSVF_1_1iter__facade__base.html#a56831a09ff0a972cfb02376aaab2caab',1,'SVF::iter_facade_base::operator+()'],['../classSVF_1_1Z3Expr.html#af86e0c01602b78f64933b06e43a48e06',1,'SVF::Z3Expr::operator+()']]],
+  ['operator_2d_13016',['operator-',['../classSVF_1_1BoundedZ3Expr.html#a7f80f976d048c166b61118a71f307c15',1,'SVF::BoundedZ3Expr::operator-()'],['../classSVF_1_1BoundedZ3Expr.html#ae2483e95fe2534f694d3ddaead0cd9c4',1,'SVF::BoundedZ3Expr::operator-()'],['../classSVF_1_1NumericLiteral.html#aecb4c8bd2c66a906a4b4556c80838d1d',1,'SVF::NumericLiteral::operator-()'],['../classSVF_1_1NumericLiteral.html#aec2acc023ff24e72ac5ca7ea57761df3',1,'SVF::NumericLiteral::operator-()'],['../classSVF_1_1SingleAbsValue.html#af84760e6047ee76380c0d092d1e45fca',1,'SVF::SingleAbsValue::operator-()'],['../classSVF_1_1Z3Expr.html#aea407969f346ed1692cac584e9d8d265',1,'SVF::Z3Expr::operator-()']]],
+  ['operator_2f_13017',['operator/',['../classSVF_1_1BoundedZ3Expr.html#afc5612cec82001939b3b14b0d0b18702',1,'SVF::BoundedZ3Expr::operator/()'],['../classSVF_1_1NumericLiteral.html#a7b25cbee3dc405cb9c3e16305f263407',1,'SVF::NumericLiteral::operator/()'],['../classSVF_1_1SingleAbsValue.html#ad13d4fe654afd7ab08d27111b0b732bb',1,'SVF::SingleAbsValue::operator/()'],['../classSVF_1_1Z3Expr.html#a978668e0c0cc3b1fd261e02b5d7d96d4',1,'SVF::Z3Expr::operator/()']]],
+  ['operator_3c_13018',['operator<',['../classSVF_1_1BoundedZ3Expr.html#aaf3f27863e2d7776798776e64d72af39',1,'SVF::BoundedZ3Expr::operator<()'],['../classSVF_1_1NumericLiteral.html#a8f4a1492bdce0c3d04c50c746279272d',1,'SVF::NumericLiteral::operator<()'],['../classSVF_1_1SingleAbsValue.html#ac380461334e98c6834ffecdad8c0d620',1,'SVF::SingleAbsValue::operator<()'],['../classSVF_1_1iter__adaptor__base.html#a0a4477a210b9d5ce260ca3790cfe9779',1,'SVF::iter_adaptor_base::operator<()'],['../classSVF_1_1Z3Expr.html#a9bc83c762453afc4602b1fef8ea8725d',1,'SVF::Z3Expr::operator<()']]],
+  ['operator_3c_3c_13019',['operator<<',['../classSVF_1_1BoundedZ3Expr.html#ab02df1045ee6cfc305c4b7780aeae538',1,'SVF::BoundedZ3Expr::operator<<()'],['../classSVF_1_1NumericLiteral.html#adfd0722351b93c3ab7ffd4147e278f7d',1,'SVF::NumericLiteral::operator<<()'],['../classSVF_1_1NumericLiteral.html#a89b4521f3907f4886fa1063e93319792',1,'SVF::NumericLiteral::operator<<()'],['../classSVF_1_1SingleAbsValue.html#a817749cc657573d527c177d42b2f4950',1,'SVF::SingleAbsValue::operator<<()'],['../classSVF_1_1WTOCycleDepth.html#ada537f89b6cc8d5d2cb5064e2c5b1b0d',1,'SVF::WTOCycleDepth::operator<<()'],['../classSVF_1_1CFBasicBlockGWTOComp.html#a3f56958f07188cceffffbc3659f13e18',1,'SVF::CFBasicBlockGWTOComp::operator<<()'],['../classSVF_1_1CFBasicBlockGWTO.html#a622b439ca78cc523abe308b26daa337b',1,'SVF::CFBasicBlockGWTO::operator<<()'],['../classSVF_1_1CFBasicBlockEdge.html#a9385587148475626fba07d2cc13d0488',1,'SVF::CFBasicBlockEdge::operator<<()'],['../classSVF_1_1CFBasicBlockNode.html#a1c88d2e9723ae23fb5afb3d3374c3ebe',1,'SVF::CFBasicBlockNode::operator<<()'],['../classSVF_1_1ICFGEdge.html#abc76af809c5fcd738d2a2d1828e30ccb',1,'SVF::ICFGEdge::operator<<()'],['../classSVF_1_1ICFGNode.html#a0c2586e90648aa3bf21aca0ba35a3ebd',1,'SVF::ICFGNode::operator<<()'],['../classSVF_1_1PTACallGraphEdge.html#a28737afd36ff7c2c6062883b20a572e5',1,'SVF::PTACallGraphEdge::operator<<()'],['../classSVF_1_1PTACallGraphNode.html#a340e93b40e7cbf6f0d23df399a9b9fff',1,'SVF::PTACallGraphNode::operator<<()'],['../classSVF_1_1VFGEdge.html#a6260283036620da17d8b3686bad691a4',1,'SVF::VFGEdge::operator<<()'],['../classSVF_1_1VFGNode.html#aaeb62e3ec17a7c1089f9de584273c612',1,'SVF::VFGNode::operator<<()'],['../classSVF_1_1CondVar.html#a01eb971ccd4ac623fa3cd9bb41cc696d',1,'SVF::CondVar::operator<<()'],['../classSVF_1_1SVFStmt.html#a02c04239d33d2334f5835bff50994dba',1,'SVF::SVFStmt::operator<<()'],['../classSVF_1_1SVFValue.html#ae37edaf15e8c1fab59c70c86ad29a509',1,'SVF::SVFValue::operator<<()'],['../classSVF_1_1SVFVar.html#aeea492411a86c65bcce4a1ef956b3dbe',1,'SVF::SVFVar::operator<<()'],['../classSVF_1_1Z3Expr.html#aba8287dde6649b0c039539f71e8a7886',1,'SVF::Z3Expr::operator<<()']]],
+  ['operator_3c_3d_13020',['operator<=',['../classSVF_1_1BoundedZ3Expr.html#a97619cb4969f335ac2f234d969884467',1,'SVF::BoundedZ3Expr::operator<=()'],['../classSVF_1_1NumericLiteral.html#af40973365cb681abc4cc63c4fb2a6d07',1,'SVF::NumericLiteral::operator<=()'],['../classSVF_1_1SingleAbsValue.html#a999468e7e071876182afc0e8f7ed6fb5',1,'SVF::SingleAbsValue::operator<=()'],['../classSVF_1_1Z3Expr.html#a979529cf9531d2331d02b5db4b27535f',1,'SVF::Z3Expr::operator<=()']]],
+  ['operator_3d_3d_13021',['operator==',['../classSVF_1_1BoundedZ3Expr.html#a98662c8823a81602fb00cb2be74b578d',1,'SVF::BoundedZ3Expr::operator==()'],['../classSVF_1_1NumericLiteral.html#a1ed3cffe1d4ee076b8683f40806619ed',1,'SVF::NumericLiteral::operator==()'],['../classSVF_1_1SingleAbsValue.html#a3f5221ce5f81dbed135b3d4745d4493e',1,'SVF::SingleAbsValue::operator==()'],['../classSVF_1_1iter__adaptor__base.html#a0cfce21cb7aa24062dd921a9a5bace3a',1,'SVF::iter_adaptor_base::operator==()'],['../classSVF_1_1Z3Expr.html#a900309288fa5d43376d80e414f85dc45',1,'SVF::Z3Expr::operator==()']]],
+  ['operator_3e_13022',['operator>',['../classSVF_1_1BoundedZ3Expr.html#a86c18d9a2d9250690d7e988f7bb0a8b9',1,'SVF::BoundedZ3Expr::operator>()'],['../classSVF_1_1NumericLiteral.html#ad99ed283f2b7875f13aea347fa2c8b54',1,'SVF::NumericLiteral::operator>()'],['../classSVF_1_1SingleAbsValue.html#affc856ad42b2ebd5ee0adc28542d25e4',1,'SVF::SingleAbsValue::operator>()'],['../classSVF_1_1Z3Expr.html#a20cbf950bacc51e56c74918af268ed76',1,'SVF::Z3Expr::operator>()']]],
+  ['operator_3e_3d_13023',['operator>=',['../classSVF_1_1BoundedZ3Expr.html#ac284f14cea9ceff9ee9e49cf7a2b6366',1,'SVF::BoundedZ3Expr::operator>=()'],['../classSVF_1_1NumericLiteral.html#ab0cb27a9c31ce20500babb0dff9b87bf',1,'SVF::NumericLiteral::operator>=()'],['../classSVF_1_1SingleAbsValue.html#ab6dbdbac2c0552901d621c86603ced2a',1,'SVF::SingleAbsValue::operator>=()'],['../classSVF_1_1Z3Expr.html#a707735e67c852191e4e2a689a1a84858',1,'SVF::Z3Expr::operator>=()']]],
+  ['operator_3e_3e_13024',['operator>>',['../classSVF_1_1NumericLiteral.html#a5b421ff78df11b84654155dc88bb5516',1,'SVF::NumericLiteral']]],
+  ['operator_5e_13025',['operator^',['../classSVF_1_1BoundedZ3Expr.html#a2442520c94777a402b1d35c112964071',1,'SVF::BoundedZ3Expr::operator^()'],['../classSVF_1_1NumericLiteral.html#aa4b036114c2980f578c359fff6f4e604',1,'SVF::NumericLiteral::operator^()'],['../classSVF_1_1SingleAbsValue.html#adff66a9b6bb69424cef4894f7b75d958',1,'SVF::SingleAbsValue::operator^()'],['../classSVF_1_1Z3Expr.html#ae6419d6772044a2db7faf0ea0b848d12',1,'SVF::Z3Expr::operator^()']]],
+  ['operator_7c_13026',['operator|',['../classSVF_1_1BoundedZ3Expr.html#aa8bc79a4735a44f6f59085df3a9d636c',1,'SVF::BoundedZ3Expr::operator|()'],['../classSVF_1_1NumericLiteral.html#a24e0085eb116dfcf0744af5531dbaf05',1,'SVF::NumericLiteral::operator|()'],['../classSVF_1_1SingleAbsValue.html#a9e181a02c4bd3f622bde912914b64715',1,'SVF::SingleAbsValue::operator|()'],['../classSVF_1_1Z3Expr.html#a1f29d0ff58e6969e394f5b06017138de',1,'SVF::Z3Expr::operator|()']]],
+  ['operator_7c_7c_13027',['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||()']]]
 ];

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

@@ -1,7 +1,7 @@
 var searchData=
 [
-  ['pagbuilderfromfile_13018',['PAGBuilderFromFile',['../classSVF_1_1SVFIR.html#a639210db7230cea2eeaf2d08c953d827',1,'SVF::SVFIR']]],
-  ['persistentdfptdata_3c_20key_2c_20keyset_2c_20data_2c_20dataset_20_3e_13019',['PersistentDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1PersistentPTData.html#aea8bb6da9d6d5a4ed65168aceee2f85a',1,'SVF::PersistentPTData']]],
-  ['persistentincdfptdata_3c_20key_2c_20keyset_2c_20data_2c_20dataset_20_3e_13020',['PersistentIncDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1PersistentPTData.html#a8386ddd5a45bd490860685ca18543287',1,'SVF::PersistentPTData']]],
-  ['persistentversionedptdata_13021',['PersistentVersionedPTData',['../classSVF_1_1PersistentPTData.html#a5a0dfa2e5e989bcb30b913f37e561c35',1,'SVF::PersistentPTData']]]
+  ['pagbuilderfromfile_13028',['PAGBuilderFromFile',['../classSVF_1_1SVFIR.html#a639210db7230cea2eeaf2d08c953d827',1,'SVF::SVFIR']]],
+  ['persistentdfptdata_3c_20key_2c_20keyset_2c_20data_2c_20dataset_20_3e_13029',['PersistentDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1PersistentPTData.html#aea8bb6da9d6d5a4ed65168aceee2f85a',1,'SVF::PersistentPTData']]],
+  ['persistentincdfptdata_3c_20key_2c_20keyset_2c_20data_2c_20dataset_20_3e_13030',['PersistentIncDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1PersistentPTData.html#a8386ddd5a45bd490860685ca18543287',1,'SVF::PersistentPTData']]],
+  ['persistentversionedptdata_13031',['PersistentVersionedPTData',['../classSVF_1_1PersistentPTData.html#a5a0dfa2e5e989bcb30b913f37e561c35',1,'SVF::PersistentPTData']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['rcsvfgbuilder_13022',['RcSvfgBuilder',['../classSVF_1_1SVFG.html#a67654d252e9e93b74e35ba247048b41a',1,'SVF::SVFG']]]
+  ['rcsvfgbuilder_13032',['RcSvfgBuilder',['../classSVF_1_1SVFG.html#a67654d252e9e93b74e35ba247048b41a',1,'SVF::SVFG']]]
 ];

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

@@ -1,14 +1,14 @@
 var searchData=
 [
-  ['sabersvfgbuilder_13023',['SaberSVFGBuilder',['../classSVF_1_1SVFG.html#a93a4287b55425abc188e5f5f2de54297',1,'SVF::SVFG']]],
-  ['shl_13024',['shl',['../classSVF_1_1BoundedZ3Expr.html#a416f47980daf109467f3b2dddd50e047',1,'SVF::BoundedZ3Expr::shl()'],['../classSVF_1_1SingleAbsValue.html#a42eed004077d61a0c062e1752844d0a6',1,'SVF::SingleAbsValue::shl()'],['../classSVF_1_1Z3Expr.html#a7b6e7cd3b0b8681a4f4885e658632dce',1,'SVF::Z3Expr::shl()']]],
-  ['svfgbuilder_13025',['SVFGBuilder',['../classSVF_1_1SVFG.html#ab2f81db3935389480baa5cb14e15e9d7',1,'SVF::SVFG']]],
-  ['svfir_13026',['SVFIR',['../classSVF_1_1SVFVar.html#a6dbb40e8ee92033b77440c44acd8a868',1,'SVF::SVFVar']]],
-  ['svfir2consexestate_13027',['SVFIR2ConsExeState',['../classSVF_1_1ConsExeState.html#a67e2d14fede9218351f5edaff5981f4d',1,'SVF::ConsExeState']]],
-  ['svfir2itvexestate_13028',['SVFIR2ItvExeState',['../classSVF_1_1ExeState.html#af1ac478aba3f3858d5f6f4b15a9f73a6',1,'SVF::ExeState::SVFIR2ItvExeState()'],['../classSVF_1_1IntervalExeState.html#af1ac478aba3f3858d5f6f4b15a9f73a6',1,'SVF::IntervalExeState::SVFIR2ItvExeState()'],['../classSVF_1_1RelExeState.html#af1ac478aba3f3858d5f6f4b15a9f73a6',1,'SVF::RelExeState::SVFIR2ItvExeState()']]],
-  ['svfirbuilder_13029',['SVFIRBuilder',['../classSVF_1_1LLVMModuleSet.html#a46fadea4d08baefc8fbc1d8928da7f6b',1,'SVF::LLVMModuleSet::SVFIRBuilder()'],['../classSVF_1_1SymbolTableBuilder.html#a46fadea4d08baefc8fbc1d8928da7f6b',1,'SVF::SymbolTableBuilder::SVFIRBuilder()'],['../classSVF_1_1SVFIR.html#a46fadea4d08baefc8fbc1d8928da7f6b',1,'SVF::SVFIR::SVFIRBuilder()'],['../classSVF_1_1SVFFunction.html#a46fadea4d08baefc8fbc1d8928da7f6b',1,'SVF::SVFFunction::SVFIRBuilder()'],['../classSVF_1_1SVFBasicBlock.html#a46fadea4d08baefc8fbc1d8928da7f6b',1,'SVF::SVFBasicBlock::SVFIRBuilder()'],['../classSVF_1_1SVFCallInst.html#a46fadea4d08baefc8fbc1d8928da7f6b',1,'SVF::SVFCallInst::SVFIRBuilder()']]],
-  ['svfirreader_13030',['SVFIRReader',['../classSVF_1_1CHEdge.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::CHEdge::SVFIRReader()'],['../classSVF_1_1CHNode.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::CHNode::SVFIRReader()'],['../classSVF_1_1CHGraph.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::CHGraph::SVFIRReader()'],['../classSVF_1_1GenericEdge.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::GenericEdge::SVFIRReader()'],['../classSVF_1_1GenericNode.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::GenericNode::SVFIRReader()'],['../classSVF_1_1GenericGraph.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::GenericGraph::SVFIRReader()'],['../classSVF_1_1ICFG.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::ICFG::SVFIRReader()'],['../classSVF_1_1ICFGEdge.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::ICFGEdge::SVFIRReader()'],['../classSVF_1_1IntraCFGEdge.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::IntraCFGEdge::SVFIRReader()'],['../classSVF_1_1CallCFGEdge.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::CallCFGEdge::SVFIRReader()'],['../classSVF_1_1RetCFGEdge.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::RetCFGEdge::SVFIRReader()'],['../classSVF_1_1ICFGNode.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::ICFGNode::SVFIRReader()'],['../classSVF_1_1IntraICFGNode.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::IntraICFGNode::SVFIRReader()'],['../classSVF_1_1FunEntryICFGNode.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::FunEntryICFGNode::SVFIRReader()'],['../classSVF_1_1FunExitICFGNode.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::FunExitICFGNode::SVFIRReader()'],['../classSVF_1_1CallICFGNode.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::CallICFGNode::SVFIRReader()'],['../classSVF_1_1RetICFGNode.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::RetICFGNode::SVFIRReader()'],['../classSVF_1_1IRGraph.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::IRGraph::SVFIRReader()'],['../classSVF_1_1AccessPath.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::AccessPath::SVFIRReader()'],['../classSVF_1_1SVFLoop.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFLoop::SVFIRReader()'],['../classSVF_1_1SymbolTableInfoReader.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SymbolTableInfoReader::SVFIRReader()'],['../classSVF_1_1SVFModuleReader.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFModuleReader::SVFIRReader()'],['../classSVF_1_1SVFIR.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFIR::SVFIRReader()'],['../classSVF_1_1SVFModule.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFModule::SVFIRReader()'],['../classSVF_1_1SVFStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFStmt::SVFIRReader()'],['../classSVF_1_1AssignStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::AssignStmt::SVFIRReader()'],['../classSVF_1_1AddrStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::AddrStmt::SVFIRReader()'],['../classSVF_1_1CopyStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::CopyStmt::SVFIRReader()'],['../classSVF_1_1StoreStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::StoreStmt::SVFIRReader()'],['../classSVF_1_1LoadStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::LoadStmt::SVFIRReader()'],['../classSVF_1_1GepStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::GepStmt::SVFIRReader()'],['../classSVF_1_1CallPE.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::CallPE::SVFIRReader()'],['../classSVF_1_1RetPE.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::RetPE::SVFIRReader()'],['../classSVF_1_1MultiOpndStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::MultiOpndStmt::SVFIRReader()'],['../classSVF_1_1PhiStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::PhiStmt::SVFIRReader()'],['../classSVF_1_1SelectStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SelectStmt::SVFIRReader()'],['../classSVF_1_1CmpStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::CmpStmt::SVFIRReader()'],['../classSVF_1_1BinaryOPStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::BinaryOPStmt::SVFIRReader()'],['../classSVF_1_1UnaryOPStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::UnaryOPStmt::SVFIRReader()'],['../classSVF_1_1BranchStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::BranchStmt::SVFIRReader()'],['../classSVF_1_1TDForkPE.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::TDForkPE::SVFIRReader()'],['../classSVF_1_1TDJoinPE.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::TDJoinPE::SVFIRReader()'],['../classSVF_1_1StInfo.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::StInfo::SVFIRReader()'],['../classSVF_1_1SVFType.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFType::SVFIRReader()'],['../classSVF_1_1SVFPointerType.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFPointerType::SVFIRReader()'],['../classSVF_1_1SVFIntegerType.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFIntegerType::SVFIRReader()'],['../classSVF_1_1SVFFunctionType.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFFunctionType::SVFIRReader()'],['../classSVF_1_1SVFStructType.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFStructType::SVFIRReader()'],['../classSVF_1_1SVFArrayType.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFArrayType::SVFIRReader()'],['../classSVF_1_1SVFOtherType.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFOtherType::SVFIRReader()'],['../classSVF_1_1SVFLoopAndDomInfo.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFLoopAndDomInfo::SVFIRReader()'],['../classSVF_1_1SVFValue.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFValue::SVFIRReader()'],['../classSVF_1_1SVFFunction.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFFunction::SVFIRReader()'],['../classSVF_1_1SVFBasicBlock.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFBasicBlock::SVFIRReader()'],['../classSVF_1_1SVFInstruction.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFInstruction::SVFIRReader()'],['../classSVF_1_1SVFCallInst.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFCallInst::SVFIRReader()'],['../classSVF_1_1SVFVirtualCallInst.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFVirtualCallInst::SVFIRReader()'],['../classSVF_1_1SVFConstant.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFConstant::SVFIRReader()'],['../classSVF_1_1SVFGlobalValue.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFGlobalValue::SVFIRReader()'],['../classSVF_1_1SVFArgument.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFArgument::SVFIRReader()'],['../classSVF_1_1SVFConstantData.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFConstantData::SVFIRReader()'],['../classSVF_1_1SVFConstantInt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFConstantInt::SVFIRReader()'],['../classSVF_1_1SVFConstantFP.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFConstantFP::SVFIRReader()'],['../classSVF_1_1SVFConstantNullPtr.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFConstantNullPtr::SVFIRReader()'],['../classSVF_1_1SVFBlackHoleValue.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFBlackHoleValue::SVFIRReader()'],['../classSVF_1_1SVFOtherValue.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFOtherValue::SVFIRReader()'],['../classSVF_1_1SVFMetadataAsValue.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFMetadataAsValue::SVFIRReader()'],['../classSVF_1_1CallSite.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::CallSite::SVFIRReader()'],['../classSVF_1_1SVFVar.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFVar::SVFIRReader()'],['../classSVF_1_1ValVar.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::ValVar::SVFIRReader()'],['../classSVF_1_1ObjVar.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::ObjVar::SVFIRReader()'],['../classSVF_1_1GepValVar.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::GepValVar::SVFIRReader()'],['../classSVF_1_1GepObjVar.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::GepObjVar::SVFIRReader()'],['../classSVF_1_1FIObjVar.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::FIObjVar::SVFIRReader()'],['../classSVF_1_1RetPN.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::RetPN::SVFIRReader()'],['../classSVF_1_1VarArgPN.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::VarArgPN::SVFIRReader()'],['../classSVF_1_1DummyValVar.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::DummyValVar::SVFIRReader()'],['../classSVF_1_1DummyObjVar.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::DummyObjVar::SVFIRReader()'],['../classSVF_1_1SymbolTableInfo.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SymbolTableInfo::SVFIRReader()'],['../classSVF_1_1MemObj.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::MemObj::SVFIRReader()'],['../classSVF_1_1ObjTypeInfo.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::ObjTypeInfo::SVFIRReader()'],['../classSVF_1_1NodeIDAllocator.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::NodeIDAllocator::SVFIRReader()'],['../structSVF_1_1SparseBitVectorElement.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SparseBitVectorElement::SVFIRReader()'],['../classSVF_1_1SparseBitVector.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SparseBitVector::SVFIRReader()']]],
-  ['svfirwriter_13031',['SVFIRWriter',['../classSVF_1_1CHEdge.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::CHEdge::SVFIRWriter()'],['../classSVF_1_1CHNode.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::CHNode::SVFIRWriter()'],['../classSVF_1_1CHGraph.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::CHGraph::SVFIRWriter()'],['../classSVF_1_1GenericEdge.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::GenericEdge::SVFIRWriter()'],['../classSVF_1_1GenericNode.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::GenericNode::SVFIRWriter()'],['../classSVF_1_1GenericGraph.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::GenericGraph::SVFIRWriter()'],['../classSVF_1_1ICFG.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::ICFG::SVFIRWriter()'],['../classSVF_1_1ICFGEdge.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::ICFGEdge::SVFIRWriter()'],['../classSVF_1_1IntraCFGEdge.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::IntraCFGEdge::SVFIRWriter()'],['../classSVF_1_1CallCFGEdge.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::CallCFGEdge::SVFIRWriter()'],['../classSVF_1_1RetCFGEdge.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::RetCFGEdge::SVFIRWriter()'],['../classSVF_1_1ICFGNode.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::ICFGNode::SVFIRWriter()'],['../classSVF_1_1IntraICFGNode.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::IntraICFGNode::SVFIRWriter()'],['../classSVF_1_1FunEntryICFGNode.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::FunEntryICFGNode::SVFIRWriter()'],['../classSVF_1_1FunExitICFGNode.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::FunExitICFGNode::SVFIRWriter()'],['../classSVF_1_1CallICFGNode.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::CallICFGNode::SVFIRWriter()'],['../classSVF_1_1RetICFGNode.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::RetICFGNode::SVFIRWriter()'],['../classSVF_1_1IRGraph.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::IRGraph::SVFIRWriter()'],['../classSVF_1_1AccessPath.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::AccessPath::SVFIRWriter()'],['../classSVF_1_1SVFLoop.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFLoop::SVFIRWriter()'],['../classSVF_1_1GenericGraphWriter.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::GenericGraphWriter::SVFIRWriter()'],['../classSVF_1_1ICFGWriter.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::ICFGWriter::SVFIRWriter()'],['../classSVF_1_1SVFModuleWriter.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFModuleWriter::SVFIRWriter()'],['../classSVF_1_1SVFIR.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFIR::SVFIRWriter()'],['../classSVF_1_1SVFModule.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFModule::SVFIRWriter()'],['../classSVF_1_1SVFStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFStmt::SVFIRWriter()'],['../classSVF_1_1AssignStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::AssignStmt::SVFIRWriter()'],['../classSVF_1_1AddrStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::AddrStmt::SVFIRWriter()'],['../classSVF_1_1CopyStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::CopyStmt::SVFIRWriter()'],['../classSVF_1_1StoreStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::StoreStmt::SVFIRWriter()'],['../classSVF_1_1LoadStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::LoadStmt::SVFIRWriter()'],['../classSVF_1_1GepStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::GepStmt::SVFIRWriter()'],['../classSVF_1_1CallPE.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::CallPE::SVFIRWriter()'],['../classSVF_1_1RetPE.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::RetPE::SVFIRWriter()'],['../classSVF_1_1MultiOpndStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::MultiOpndStmt::SVFIRWriter()'],['../classSVF_1_1PhiStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::PhiStmt::SVFIRWriter()'],['../classSVF_1_1SelectStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SelectStmt::SVFIRWriter()'],['../classSVF_1_1CmpStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::CmpStmt::SVFIRWriter()'],['../classSVF_1_1BinaryOPStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::BinaryOPStmt::SVFIRWriter()'],['../classSVF_1_1UnaryOPStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::UnaryOPStmt::SVFIRWriter()'],['../classSVF_1_1BranchStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::BranchStmt::SVFIRWriter()'],['../classSVF_1_1TDForkPE.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::TDForkPE::SVFIRWriter()'],['../classSVF_1_1TDJoinPE.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::TDJoinPE::SVFIRWriter()'],['../classSVF_1_1StInfo.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::StInfo::SVFIRWriter()'],['../classSVF_1_1SVFType.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFType::SVFIRWriter()'],['../classSVF_1_1SVFPointerType.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFPointerType::SVFIRWriter()'],['../classSVF_1_1SVFIntegerType.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFIntegerType::SVFIRWriter()'],['../classSVF_1_1SVFFunctionType.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFFunctionType::SVFIRWriter()'],['../classSVF_1_1SVFStructType.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFStructType::SVFIRWriter()'],['../classSVF_1_1SVFArrayType.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFArrayType::SVFIRWriter()'],['../classSVF_1_1SVFOtherType.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFOtherType::SVFIRWriter()'],['../classSVF_1_1SVFLoopAndDomInfo.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFLoopAndDomInfo::SVFIRWriter()'],['../classSVF_1_1SVFValue.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFValue::SVFIRWriter()'],['../classSVF_1_1SVFFunction.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFFunction::SVFIRWriter()'],['../classSVF_1_1SVFBasicBlock.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFBasicBlock::SVFIRWriter()'],['../classSVF_1_1SVFInstruction.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFInstruction::SVFIRWriter()'],['../classSVF_1_1SVFCallInst.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFCallInst::SVFIRWriter()'],['../classSVF_1_1SVFVirtualCallInst.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFVirtualCallInst::SVFIRWriter()'],['../classSVF_1_1SVFConstant.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFConstant::SVFIRWriter()'],['../classSVF_1_1SVFGlobalValue.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFGlobalValue::SVFIRWriter()'],['../classSVF_1_1SVFArgument.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFArgument::SVFIRWriter()'],['../classSVF_1_1SVFConstantData.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFConstantData::SVFIRWriter()'],['../classSVF_1_1SVFConstantInt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFConstantInt::SVFIRWriter()'],['../classSVF_1_1SVFConstantFP.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFConstantFP::SVFIRWriter()'],['../classSVF_1_1SVFConstantNullPtr.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFConstantNullPtr::SVFIRWriter()'],['../classSVF_1_1SVFBlackHoleValue.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFBlackHoleValue::SVFIRWriter()'],['../classSVF_1_1SVFOtherValue.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFOtherValue::SVFIRWriter()'],['../classSVF_1_1SVFMetadataAsValue.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFMetadataAsValue::SVFIRWriter()'],['../classSVF_1_1SVFVar.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFVar::SVFIRWriter()'],['../classSVF_1_1ValVar.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::ValVar::SVFIRWriter()'],['../classSVF_1_1ObjVar.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::ObjVar::SVFIRWriter()'],['../classSVF_1_1GepValVar.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::GepValVar::SVFIRWriter()'],['../classSVF_1_1GepObjVar.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::GepObjVar::SVFIRWriter()'],['../classSVF_1_1FIObjVar.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::FIObjVar::SVFIRWriter()'],['../classSVF_1_1RetPN.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::RetPN::SVFIRWriter()'],['../classSVF_1_1VarArgPN.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::VarArgPN::SVFIRWriter()'],['../classSVF_1_1DummyValVar.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::DummyValVar::SVFIRWriter()'],['../classSVF_1_1DummyObjVar.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::DummyObjVar::SVFIRWriter()'],['../classSVF_1_1SymbolTableInfo.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SymbolTableInfo::SVFIRWriter()'],['../classSVF_1_1MemObj.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::MemObj::SVFIRWriter()'],['../classSVF_1_1ObjTypeInfo.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::ObjTypeInfo::SVFIRWriter()'],['../classSVF_1_1NodeIDAllocator.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::NodeIDAllocator::SVFIRWriter()'],['../structSVF_1_1SparseBitVectorElement.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SparseBitVectorElement::SVFIRWriter()'],['../classSVF_1_1SparseBitVector.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SparseBitVector::SVFIRWriter()']]],
-  ['symboltablebuilder_13032',['SymbolTableBuilder',['../classSVF_1_1SymbolTableInfo.html#a9d9633d48431b80c078bd4a34c1e7fa0',1,'SVF::SymbolTableInfo::SymbolTableBuilder()'],['../classSVF_1_1ObjTypeInfo.html#a9d9633d48431b80c078bd4a34c1e7fa0',1,'SVF::ObjTypeInfo::SymbolTableBuilder()']]],
-  ['symboltableinfo_13033',['SymbolTableInfo',['../classSVF_1_1AccessPath.html#a32ddec529ccbf4ea6336e5fd765164d8',1,'SVF::AccessPath']]]
+  ['sabersvfgbuilder_13033',['SaberSVFGBuilder',['../classSVF_1_1SVFG.html#a93a4287b55425abc188e5f5f2de54297',1,'SVF::SVFG']]],
+  ['shl_13034',['shl',['../classSVF_1_1BoundedZ3Expr.html#a416f47980daf109467f3b2dddd50e047',1,'SVF::BoundedZ3Expr::shl()'],['../classSVF_1_1SingleAbsValue.html#a42eed004077d61a0c062e1752844d0a6',1,'SVF::SingleAbsValue::shl()'],['../classSVF_1_1Z3Expr.html#a7b6e7cd3b0b8681a4f4885e658632dce',1,'SVF::Z3Expr::shl()']]],
+  ['svfgbuilder_13035',['SVFGBuilder',['../classSVF_1_1SVFG.html#ab2f81db3935389480baa5cb14e15e9d7',1,'SVF::SVFG']]],
+  ['svfir_13036',['SVFIR',['../classSVF_1_1SVFVar.html#a6dbb40e8ee92033b77440c44acd8a868',1,'SVF::SVFVar']]],
+  ['svfir2consexestate_13037',['SVFIR2ConsExeState',['../classSVF_1_1ConsExeState.html#a67e2d14fede9218351f5edaff5981f4d',1,'SVF::ConsExeState']]],
+  ['svfir2itvexestate_13038',['SVFIR2ItvExeState',['../classSVF_1_1ExeState.html#af1ac478aba3f3858d5f6f4b15a9f73a6',1,'SVF::ExeState::SVFIR2ItvExeState()'],['../classSVF_1_1IntervalExeState.html#af1ac478aba3f3858d5f6f4b15a9f73a6',1,'SVF::IntervalExeState::SVFIR2ItvExeState()'],['../classSVF_1_1RelExeState.html#af1ac478aba3f3858d5f6f4b15a9f73a6',1,'SVF::RelExeState::SVFIR2ItvExeState()']]],
+  ['svfirbuilder_13039',['SVFIRBuilder',['../classSVF_1_1LLVMModuleSet.html#a46fadea4d08baefc8fbc1d8928da7f6b',1,'SVF::LLVMModuleSet::SVFIRBuilder()'],['../classSVF_1_1SymbolTableBuilder.html#a46fadea4d08baefc8fbc1d8928da7f6b',1,'SVF::SymbolTableBuilder::SVFIRBuilder()'],['../classSVF_1_1SVFIR.html#a46fadea4d08baefc8fbc1d8928da7f6b',1,'SVF::SVFIR::SVFIRBuilder()'],['../classSVF_1_1SVFFunction.html#a46fadea4d08baefc8fbc1d8928da7f6b',1,'SVF::SVFFunction::SVFIRBuilder()'],['../classSVF_1_1SVFBasicBlock.html#a46fadea4d08baefc8fbc1d8928da7f6b',1,'SVF::SVFBasicBlock::SVFIRBuilder()'],['../classSVF_1_1SVFCallInst.html#a46fadea4d08baefc8fbc1d8928da7f6b',1,'SVF::SVFCallInst::SVFIRBuilder()']]],
+  ['svfirreader_13040',['SVFIRReader',['../classSVF_1_1CHEdge.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::CHEdge::SVFIRReader()'],['../classSVF_1_1CHNode.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::CHNode::SVFIRReader()'],['../classSVF_1_1CHGraph.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::CHGraph::SVFIRReader()'],['../classSVF_1_1GenericEdge.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::GenericEdge::SVFIRReader()'],['../classSVF_1_1GenericNode.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::GenericNode::SVFIRReader()'],['../classSVF_1_1GenericGraph.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::GenericGraph::SVFIRReader()'],['../classSVF_1_1ICFG.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::ICFG::SVFIRReader()'],['../classSVF_1_1ICFGEdge.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::ICFGEdge::SVFIRReader()'],['../classSVF_1_1IntraCFGEdge.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::IntraCFGEdge::SVFIRReader()'],['../classSVF_1_1CallCFGEdge.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::CallCFGEdge::SVFIRReader()'],['../classSVF_1_1RetCFGEdge.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::RetCFGEdge::SVFIRReader()'],['../classSVF_1_1ICFGNode.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::ICFGNode::SVFIRReader()'],['../classSVF_1_1IntraICFGNode.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::IntraICFGNode::SVFIRReader()'],['../classSVF_1_1FunEntryICFGNode.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::FunEntryICFGNode::SVFIRReader()'],['../classSVF_1_1FunExitICFGNode.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::FunExitICFGNode::SVFIRReader()'],['../classSVF_1_1CallICFGNode.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::CallICFGNode::SVFIRReader()'],['../classSVF_1_1RetICFGNode.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::RetICFGNode::SVFIRReader()'],['../classSVF_1_1IRGraph.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::IRGraph::SVFIRReader()'],['../classSVF_1_1AccessPath.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::AccessPath::SVFIRReader()'],['../classSVF_1_1SVFLoop.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFLoop::SVFIRReader()'],['../classSVF_1_1SymbolTableInfoReader.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SymbolTableInfoReader::SVFIRReader()'],['../classSVF_1_1SVFModuleReader.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFModuleReader::SVFIRReader()'],['../classSVF_1_1SVFIR.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFIR::SVFIRReader()'],['../classSVF_1_1SVFModule.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFModule::SVFIRReader()'],['../classSVF_1_1SVFStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFStmt::SVFIRReader()'],['../classSVF_1_1AssignStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::AssignStmt::SVFIRReader()'],['../classSVF_1_1AddrStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::AddrStmt::SVFIRReader()'],['../classSVF_1_1CopyStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::CopyStmt::SVFIRReader()'],['../classSVF_1_1StoreStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::StoreStmt::SVFIRReader()'],['../classSVF_1_1LoadStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::LoadStmt::SVFIRReader()'],['../classSVF_1_1GepStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::GepStmt::SVFIRReader()'],['../classSVF_1_1CallPE.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::CallPE::SVFIRReader()'],['../classSVF_1_1RetPE.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::RetPE::SVFIRReader()'],['../classSVF_1_1MultiOpndStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::MultiOpndStmt::SVFIRReader()'],['../classSVF_1_1PhiStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::PhiStmt::SVFIRReader()'],['../classSVF_1_1SelectStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SelectStmt::SVFIRReader()'],['../classSVF_1_1CmpStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::CmpStmt::SVFIRReader()'],['../classSVF_1_1BinaryOPStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::BinaryOPStmt::SVFIRReader()'],['../classSVF_1_1UnaryOPStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::UnaryOPStmt::SVFIRReader()'],['../classSVF_1_1BranchStmt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::BranchStmt::SVFIRReader()'],['../classSVF_1_1TDForkPE.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::TDForkPE::SVFIRReader()'],['../classSVF_1_1TDJoinPE.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::TDJoinPE::SVFIRReader()'],['../classSVF_1_1StInfo.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::StInfo::SVFIRReader()'],['../classSVF_1_1SVFType.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFType::SVFIRReader()'],['../classSVF_1_1SVFPointerType.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFPointerType::SVFIRReader()'],['../classSVF_1_1SVFIntegerType.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFIntegerType::SVFIRReader()'],['../classSVF_1_1SVFFunctionType.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFFunctionType::SVFIRReader()'],['../classSVF_1_1SVFStructType.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFStructType::SVFIRReader()'],['../classSVF_1_1SVFArrayType.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFArrayType::SVFIRReader()'],['../classSVF_1_1SVFOtherType.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFOtherType::SVFIRReader()'],['../classSVF_1_1SVFLoopAndDomInfo.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFLoopAndDomInfo::SVFIRReader()'],['../classSVF_1_1SVFValue.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFValue::SVFIRReader()'],['../classSVF_1_1SVFFunction.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFFunction::SVFIRReader()'],['../classSVF_1_1SVFBasicBlock.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFBasicBlock::SVFIRReader()'],['../classSVF_1_1SVFInstruction.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFInstruction::SVFIRReader()'],['../classSVF_1_1SVFCallInst.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFCallInst::SVFIRReader()'],['../classSVF_1_1SVFVirtualCallInst.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFVirtualCallInst::SVFIRReader()'],['../classSVF_1_1SVFConstant.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFConstant::SVFIRReader()'],['../classSVF_1_1SVFGlobalValue.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFGlobalValue::SVFIRReader()'],['../classSVF_1_1SVFArgument.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFArgument::SVFIRReader()'],['../classSVF_1_1SVFConstantData.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFConstantData::SVFIRReader()'],['../classSVF_1_1SVFConstantInt.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFConstantInt::SVFIRReader()'],['../classSVF_1_1SVFConstantFP.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFConstantFP::SVFIRReader()'],['../classSVF_1_1SVFConstantNullPtr.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFConstantNullPtr::SVFIRReader()'],['../classSVF_1_1SVFBlackHoleValue.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFBlackHoleValue::SVFIRReader()'],['../classSVF_1_1SVFOtherValue.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFOtherValue::SVFIRReader()'],['../classSVF_1_1SVFMetadataAsValue.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFMetadataAsValue::SVFIRReader()'],['../classSVF_1_1CallSite.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::CallSite::SVFIRReader()'],['../classSVF_1_1SVFVar.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SVFVar::SVFIRReader()'],['../classSVF_1_1ValVar.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::ValVar::SVFIRReader()'],['../classSVF_1_1ObjVar.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::ObjVar::SVFIRReader()'],['../classSVF_1_1GepValVar.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::GepValVar::SVFIRReader()'],['../classSVF_1_1GepObjVar.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::GepObjVar::SVFIRReader()'],['../classSVF_1_1FIObjVar.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::FIObjVar::SVFIRReader()'],['../classSVF_1_1RetPN.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::RetPN::SVFIRReader()'],['../classSVF_1_1VarArgPN.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::VarArgPN::SVFIRReader()'],['../classSVF_1_1DummyValVar.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::DummyValVar::SVFIRReader()'],['../classSVF_1_1DummyObjVar.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::DummyObjVar::SVFIRReader()'],['../classSVF_1_1SymbolTableInfo.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SymbolTableInfo::SVFIRReader()'],['../classSVF_1_1MemObj.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::MemObj::SVFIRReader()'],['../classSVF_1_1ObjTypeInfo.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::ObjTypeInfo::SVFIRReader()'],['../classSVF_1_1NodeIDAllocator.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::NodeIDAllocator::SVFIRReader()'],['../structSVF_1_1SparseBitVectorElement.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SparseBitVectorElement::SVFIRReader()'],['../classSVF_1_1SparseBitVector.html#a96821c016c81ee0600ef62fd28298292',1,'SVF::SparseBitVector::SVFIRReader()']]],
+  ['svfirwriter_13041',['SVFIRWriter',['../classSVF_1_1CHEdge.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::CHEdge::SVFIRWriter()'],['../classSVF_1_1CHNode.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::CHNode::SVFIRWriter()'],['../classSVF_1_1CHGraph.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::CHGraph::SVFIRWriter()'],['../classSVF_1_1GenericEdge.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::GenericEdge::SVFIRWriter()'],['../classSVF_1_1GenericNode.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::GenericNode::SVFIRWriter()'],['../classSVF_1_1GenericGraph.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::GenericGraph::SVFIRWriter()'],['../classSVF_1_1ICFG.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::ICFG::SVFIRWriter()'],['../classSVF_1_1ICFGEdge.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::ICFGEdge::SVFIRWriter()'],['../classSVF_1_1IntraCFGEdge.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::IntraCFGEdge::SVFIRWriter()'],['../classSVF_1_1CallCFGEdge.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::CallCFGEdge::SVFIRWriter()'],['../classSVF_1_1RetCFGEdge.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::RetCFGEdge::SVFIRWriter()'],['../classSVF_1_1ICFGNode.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::ICFGNode::SVFIRWriter()'],['../classSVF_1_1IntraICFGNode.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::IntraICFGNode::SVFIRWriter()'],['../classSVF_1_1FunEntryICFGNode.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::FunEntryICFGNode::SVFIRWriter()'],['../classSVF_1_1FunExitICFGNode.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::FunExitICFGNode::SVFIRWriter()'],['../classSVF_1_1CallICFGNode.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::CallICFGNode::SVFIRWriter()'],['../classSVF_1_1RetICFGNode.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::RetICFGNode::SVFIRWriter()'],['../classSVF_1_1IRGraph.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::IRGraph::SVFIRWriter()'],['../classSVF_1_1AccessPath.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::AccessPath::SVFIRWriter()'],['../classSVF_1_1SVFLoop.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFLoop::SVFIRWriter()'],['../classSVF_1_1GenericGraphWriter.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::GenericGraphWriter::SVFIRWriter()'],['../classSVF_1_1ICFGWriter.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::ICFGWriter::SVFIRWriter()'],['../classSVF_1_1SVFModuleWriter.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFModuleWriter::SVFIRWriter()'],['../classSVF_1_1SVFIR.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFIR::SVFIRWriter()'],['../classSVF_1_1SVFModule.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFModule::SVFIRWriter()'],['../classSVF_1_1SVFStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFStmt::SVFIRWriter()'],['../classSVF_1_1AssignStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::AssignStmt::SVFIRWriter()'],['../classSVF_1_1AddrStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::AddrStmt::SVFIRWriter()'],['../classSVF_1_1CopyStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::CopyStmt::SVFIRWriter()'],['../classSVF_1_1StoreStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::StoreStmt::SVFIRWriter()'],['../classSVF_1_1LoadStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::LoadStmt::SVFIRWriter()'],['../classSVF_1_1GepStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::GepStmt::SVFIRWriter()'],['../classSVF_1_1CallPE.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::CallPE::SVFIRWriter()'],['../classSVF_1_1RetPE.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::RetPE::SVFIRWriter()'],['../classSVF_1_1MultiOpndStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::MultiOpndStmt::SVFIRWriter()'],['../classSVF_1_1PhiStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::PhiStmt::SVFIRWriter()'],['../classSVF_1_1SelectStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SelectStmt::SVFIRWriter()'],['../classSVF_1_1CmpStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::CmpStmt::SVFIRWriter()'],['../classSVF_1_1BinaryOPStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::BinaryOPStmt::SVFIRWriter()'],['../classSVF_1_1UnaryOPStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::UnaryOPStmt::SVFIRWriter()'],['../classSVF_1_1BranchStmt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::BranchStmt::SVFIRWriter()'],['../classSVF_1_1TDForkPE.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::TDForkPE::SVFIRWriter()'],['../classSVF_1_1TDJoinPE.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::TDJoinPE::SVFIRWriter()'],['../classSVF_1_1StInfo.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::StInfo::SVFIRWriter()'],['../classSVF_1_1SVFType.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFType::SVFIRWriter()'],['../classSVF_1_1SVFPointerType.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFPointerType::SVFIRWriter()'],['../classSVF_1_1SVFIntegerType.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFIntegerType::SVFIRWriter()'],['../classSVF_1_1SVFFunctionType.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFFunctionType::SVFIRWriter()'],['../classSVF_1_1SVFStructType.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFStructType::SVFIRWriter()'],['../classSVF_1_1SVFArrayType.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFArrayType::SVFIRWriter()'],['../classSVF_1_1SVFOtherType.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFOtherType::SVFIRWriter()'],['../classSVF_1_1SVFLoopAndDomInfo.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFLoopAndDomInfo::SVFIRWriter()'],['../classSVF_1_1SVFValue.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFValue::SVFIRWriter()'],['../classSVF_1_1SVFFunction.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFFunction::SVFIRWriter()'],['../classSVF_1_1SVFBasicBlock.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFBasicBlock::SVFIRWriter()'],['../classSVF_1_1SVFInstruction.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFInstruction::SVFIRWriter()'],['../classSVF_1_1SVFCallInst.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFCallInst::SVFIRWriter()'],['../classSVF_1_1SVFVirtualCallInst.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFVirtualCallInst::SVFIRWriter()'],['../classSVF_1_1SVFConstant.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFConstant::SVFIRWriter()'],['../classSVF_1_1SVFGlobalValue.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFGlobalValue::SVFIRWriter()'],['../classSVF_1_1SVFArgument.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFArgument::SVFIRWriter()'],['../classSVF_1_1SVFConstantData.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFConstantData::SVFIRWriter()'],['../classSVF_1_1SVFConstantInt.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFConstantInt::SVFIRWriter()'],['../classSVF_1_1SVFConstantFP.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFConstantFP::SVFIRWriter()'],['../classSVF_1_1SVFConstantNullPtr.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFConstantNullPtr::SVFIRWriter()'],['../classSVF_1_1SVFBlackHoleValue.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFBlackHoleValue::SVFIRWriter()'],['../classSVF_1_1SVFOtherValue.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFOtherValue::SVFIRWriter()'],['../classSVF_1_1SVFMetadataAsValue.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFMetadataAsValue::SVFIRWriter()'],['../classSVF_1_1SVFVar.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SVFVar::SVFIRWriter()'],['../classSVF_1_1ValVar.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::ValVar::SVFIRWriter()'],['../classSVF_1_1ObjVar.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::ObjVar::SVFIRWriter()'],['../classSVF_1_1GepValVar.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::GepValVar::SVFIRWriter()'],['../classSVF_1_1GepObjVar.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::GepObjVar::SVFIRWriter()'],['../classSVF_1_1FIObjVar.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::FIObjVar::SVFIRWriter()'],['../classSVF_1_1RetPN.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::RetPN::SVFIRWriter()'],['../classSVF_1_1VarArgPN.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::VarArgPN::SVFIRWriter()'],['../classSVF_1_1DummyValVar.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::DummyValVar::SVFIRWriter()'],['../classSVF_1_1DummyObjVar.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::DummyObjVar::SVFIRWriter()'],['../classSVF_1_1SymbolTableInfo.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SymbolTableInfo::SVFIRWriter()'],['../classSVF_1_1MemObj.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::MemObj::SVFIRWriter()'],['../classSVF_1_1ObjTypeInfo.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::ObjTypeInfo::SVFIRWriter()'],['../classSVF_1_1NodeIDAllocator.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::NodeIDAllocator::SVFIRWriter()'],['../structSVF_1_1SparseBitVectorElement.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SparseBitVectorElement::SVFIRWriter()'],['../classSVF_1_1SparseBitVector.html#ac6d7207b2c449f2aa8129697485d8fd6',1,'SVF::SparseBitVector::SVFIRWriter()']]],
+  ['symboltablebuilder_13042',['SymbolTableBuilder',['../classSVF_1_1SymbolTableInfo.html#a9d9633d48431b80c078bd4a34c1e7fa0',1,'SVF::SymbolTableInfo::SymbolTableBuilder()'],['../classSVF_1_1ObjTypeInfo.html#a9d9633d48431b80c078bd4a34c1e7fa0',1,'SVF::ObjTypeInfo::SymbolTableBuilder()']]],
+  ['symboltableinfo_13043',['SymbolTableInfo',['../classSVF_1_1AccessPath.html#a32ddec529ccbf4ea6336e5fd765164d8',1,'SVF::AccessPath']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['taintsvfgbuilder_13034',['TaintSVFGBuilder',['../classSVF_1_1SVFG.html#a665c93b68f49078c281270a028d04445',1,'SVF::SVFG']]],
-  ['typebasedheapcloning_13035',['TypeBasedHeapCloning',['../classSVF_1_1SVFIR.html#ac7f1349df526a5a50741e9303f3bd446',1,'SVF::SVFIR']]]
+  ['taintsvfgbuilder_13044',['TaintSVFGBuilder',['../classSVF_1_1SVFG.html#a665c93b68f49078c281270a028d04445',1,'SVF::SVFG']]],
+  ['typebasedheapcloning_13045',['TypeBasedHeapCloning',['../classSVF_1_1SVFIR.html#ac7f1349df526a5a50741e9303f3bd446',1,'SVF::SVFIR']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['versionedflowsensitivestat_13036',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitive.html#aaee58f266762146e9fdc08ecfc326b29',1,'SVF::VersionedFlowSensitive']]],
-  ['vfg_13037',['VFG',['../classSVF_1_1SVFVar.html#a1499a631a2a15408ea35a09fccc0f0ad',1,'SVF::SVFVar']]]
+  ['versionedflowsensitivestat_13046',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitive.html#aaee58f266762146e9fdc08ecfc326b29',1,'SVF::VersionedFlowSensitive']]],
+  ['vfg_13047',['VFG',['../classSVF_1_1SVFVar.html#a1499a631a2a15408ea35a09fccc0f0ad',1,'SVF::SVFVar']]]
 ];

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

@@ -1,21 +1,21 @@
 var searchData=
 [
-  ['actualinsvfgnodeset_11894',['ActualINSVFGNodeSet',['../classSVF_1_1SVFG.html#aa9f520779475e4783eccc45c460e346a',1,'SVF::SVFG']]],
-  ['actualoutsvfgnodeset_11895',['ActualOUTSVFGNodeSet',['../classSVF_1_1SVFG.html#a2f6ed8a9f14657abc1e2a89247a84b99',1,'SVF::SVFG']]],
-  ['actualparmnodevec_11896',['ActualParmNodeVec',['../classSVF_1_1CallICFGNode.html#aa9bdf2b575f08976dcd0ba815a70f841',1,'SVF::CallICFGNode']]],
-  ['actualparmsvfgnode_11897',['ActualParmSVFGNode',['../namespaceSVF.html#a11c50c2f81327753b3ff3ffdbe356812',1,'SVF']]],
-  ['actualretsvfgnode_11898',['ActualRetSVFGNode',['../namespaceSVF.html#a77b8b8ca831e1eba3e47f2ca29667f67',1,'SVF']]],
-  ['addrset_11899',['AddrSet',['../classSVF_1_1AddressValue.html#a58a1b87857377f372782a7873e5d4ea6',1,'SVF::AddressValue']]],
-  ['addrsvfgnode_11900',['AddrSVFGNode',['../namespaceSVF.html#a959453cbb8ff2d852b526fd1ff74ce49',1,'SVF']]],
-  ['alias_5fiterator_11901',['alias_iterator',['../classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c',1,'SVF::SVFModule']]],
-  ['aliassettype_11902',['AliasSetType',['../classSVF_1_1SVFModule.html#a9dc9266c21ba80b13ebb22731e1e9caf',1,'SVF::SVFModule']]],
-  ['allocainst_11903',['AllocaInst',['../namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83',1,'SVF']]],
-  ['apoffset_11904',['APOffset',['../namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1',1,'SVF']]],
-  ['argument_11905',['Argument',['../namespaceSVF.html#a58cdfbc4160cae08745b67844ac29801',1,'SVF']]],
-  ['arraytype_11906',['ArrayType',['../namespaceSVF.html#a146d286041987860388da3d8bc85cee3',1,'SVF']]],
-  ['atomiccmpxchginst_11907',['AtomicCmpXchgInst',['../namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49',1,'SVF']]],
-  ['atomicrmwinst_11908',['AtomicRMWInst',['../namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0',1,'SVF']]],
-  ['attribute_11909',['Attribute',['../classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f',1,'SVF::GrammarBase']]],
-  ['autocstr_11910',['autoCStr',['../classSVF_1_1SVFIRWriter.html#a1e568e5b4a081aad92e86646f419413c',1,'SVF::SVFIRWriter']]],
-  ['autojson_11911',['autoJSON',['../classSVF_1_1SVFIRWriter.html#a63bdba43ccb01eef8ceb8a9c8dbe5c7f',1,'SVF::SVFIRWriter']]]
+  ['actualinsvfgnodeset_11902',['ActualINSVFGNodeSet',['../classSVF_1_1SVFG.html#aa9f520779475e4783eccc45c460e346a',1,'SVF::SVFG']]],
+  ['actualoutsvfgnodeset_11903',['ActualOUTSVFGNodeSet',['../classSVF_1_1SVFG.html#a2f6ed8a9f14657abc1e2a89247a84b99',1,'SVF::SVFG']]],
+  ['actualparmnodevec_11904',['ActualParmNodeVec',['../classSVF_1_1CallICFGNode.html#aa9bdf2b575f08976dcd0ba815a70f841',1,'SVF::CallICFGNode']]],
+  ['actualparmsvfgnode_11905',['ActualParmSVFGNode',['../namespaceSVF.html#a11c50c2f81327753b3ff3ffdbe356812',1,'SVF']]],
+  ['actualretsvfgnode_11906',['ActualRetSVFGNode',['../namespaceSVF.html#a77b8b8ca831e1eba3e47f2ca29667f67',1,'SVF']]],
+  ['addrset_11907',['AddrSet',['../classSVF_1_1AddressValue.html#a58a1b87857377f372782a7873e5d4ea6',1,'SVF::AddressValue']]],
+  ['addrsvfgnode_11908',['AddrSVFGNode',['../namespaceSVF.html#a959453cbb8ff2d852b526fd1ff74ce49',1,'SVF']]],
+  ['alias_5fiterator_11909',['alias_iterator',['../classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c',1,'SVF::SVFModule']]],
+  ['aliassettype_11910',['AliasSetType',['../classSVF_1_1SVFModule.html#a9dc9266c21ba80b13ebb22731e1e9caf',1,'SVF::SVFModule']]],
+  ['allocainst_11911',['AllocaInst',['../namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83',1,'SVF']]],
+  ['apoffset_11912',['APOffset',['../namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1',1,'SVF']]],
+  ['argument_11913',['Argument',['../namespaceSVF.html#a58cdfbc4160cae08745b67844ac29801',1,'SVF']]],
+  ['arraytype_11914',['ArrayType',['../namespaceSVF.html#a146d286041987860388da3d8bc85cee3',1,'SVF']]],
+  ['atomiccmpxchginst_11915',['AtomicCmpXchgInst',['../namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49',1,'SVF']]],
+  ['atomicrmwinst_11916',['AtomicRMWInst',['../namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0',1,'SVF']]],
+  ['attribute_11917',['Attribute',['../classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f',1,'SVF::GrammarBase']]],
+  ['autocstr_11918',['autoCStr',['../classSVF_1_1SVFIRWriter.html#a1e568e5b4a081aad92e86646f419413c',1,'SVF::SVFIRWriter']]],
+  ['autojson_11919',['autoJSON',['../classSVF_1_1SVFIRWriter.html#a63bdba43ccb01eef8ceb8a9c8dbe5c7f',1,'SVF::SVFIRWriter']]]
 ];

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

@@ -1,28 +1,28 @@
 var searchData=
 [
-  ['basedfptdata_11912',['BaseDFPTData',['../classSVF_1_1MutableDFPTData.html#a17a5aa4a749a5ffc75c663d057454e4a',1,'SVF::MutableDFPTData::BaseDFPTData()'],['../classSVF_1_1MutableIncDFPTData.html#a4b944ec759d0e78a7a2238db587752a9',1,'SVF::MutableIncDFPTData::BaseDFPTData()'],['../classSVF_1_1PersistentDFPTData.html#af9facbe8f694b8447bb6ebe48b95ad17',1,'SVF::PersistentDFPTData::BaseDFPTData()'],['../classSVF_1_1PersistentIncDFPTData.html#ae56633d34e5fb4499c82d422646a91f0',1,'SVF::PersistentIncDFPTData::BaseDFPTData()']]],
-  ['basediffptdata_11913',['BaseDiffPTData',['../classSVF_1_1MutableDiffPTData.html#ab50b8026258c7c9103d2315ea3091340',1,'SVF::MutableDiffPTData::BaseDiffPTData()'],['../classSVF_1_1PersistentDiffPTData.html#a3a2cf38f220a831c4334614b835b57c6',1,'SVF::PersistentDiffPTData::BaseDiffPTData()']]],
-  ['basemutdfptdata_11914',['BaseMutDFPTData',['../classSVF_1_1MutableIncDFPTData.html#a58f9b6357a5cf0243cf3b4ece30e8cf6',1,'SVF::MutableIncDFPTData']]],
-  ['basemutptdata_11915',['BaseMutPTData',['../classSVF_1_1MutableDFPTData.html#ad02e5645ef7a73ba4c20c557a6f11789',1,'SVF::MutableDFPTData::BaseMutPTData()'],['../classSVF_1_1MutableIncDFPTData.html#a92f00e91a338113383bcf7bc8ce0026a',1,'SVF::MutableIncDFPTData::BaseMutPTData()']]],
-  ['basepersdfptdata_11916',['BasePersDFPTData',['../classSVF_1_1PersistentIncDFPTData.html#abce6fa91fed789ef25146440ee10872b',1,'SVF::PersistentIncDFPTData']]],
-  ['basepersptdata_11917',['BasePersPTData',['../classSVF_1_1PersistentDiffPTData.html#aa55e1c39fb0918c4f7f080a521f504f5',1,'SVF::PersistentDiffPTData::BasePersPTData()'],['../classSVF_1_1PersistentDFPTData.html#afccad3b3163f25cc058334083f90041d',1,'SVF::PersistentDFPTData::BasePersPTData()'],['../classSVF_1_1PersistentIncDFPTData.html#acea7eb9ee0c1ee36906d50bce584b56a',1,'SVF::PersistentIncDFPTData::BasePersPTData()']]],
-  ['baseptdata_11918',['BasePTData',['../classSVF_1_1DiffPTData.html#ae61c0f266f26a22077c1e8409f6ba991',1,'SVF::DiffPTData::BasePTData()'],['../classSVF_1_1DFPTData.html#a6d5193ea9e77b3945cb0716978dc75be',1,'SVF::DFPTData::BasePTData()'],['../classSVF_1_1VersionedPTData.html#a9833b47df24ed821a55d5ce9a3917f1f',1,'SVF::VersionedPTData::BasePTData()'],['../classSVF_1_1MutablePTData.html#ab88ea00589ec9353bccf3629a1c4e5d3',1,'SVF::MutablePTData::BasePTData()'],['../classSVF_1_1MutableDiffPTData.html#a562f0f584cd4f3b2d18f3973fde9c068',1,'SVF::MutableDiffPTData::BasePTData()'],['../classSVF_1_1MutableDFPTData.html#a25274e3029dfa655c47b72f291b906de',1,'SVF::MutableDFPTData::BasePTData()'],['../classSVF_1_1MutableIncDFPTData.html#a14651359d0efe886c1313fd843e4d1db',1,'SVF::MutableIncDFPTData::BasePTData()'],['../classSVF_1_1MutableVersionedPTData.html#a31fd15a8147e3146b15b4d24fe34cf46',1,'SVF::MutableVersionedPTData::BasePTData()'],['../classSVF_1_1PersistentPTData.html#a6ca39340bb502c933c3dd6c1ab8f79c1',1,'SVF::PersistentPTData::BasePTData()'],['../classSVF_1_1PersistentDiffPTData.html#aa110fddf7d0cedfb66fcd37bae2c962c',1,'SVF::PersistentDiffPTData::BasePTData()'],['../classSVF_1_1PersistentDFPTData.html#a54c206686c17101a0233fbbd3836c05c',1,'SVF::PersistentDFPTData::BasePTData()'],['../classSVF_1_1PersistentIncDFPTData.html#a7751d9831519f8021626630dce499b1a',1,'SVF::PersistentIncDFPTData::BasePTData()'],['../classSVF_1_1PersistentVersionedPTData.html#ad4586331863d67e78c54d919694b58db',1,'SVF::PersistentVersionedPTData::BasePTData()']]],
-  ['baset_11919',['BaseT',['../classSVF_1_1iter__adaptor__base.html#afbad8b4d7822152aec9a206c0e293f96',1,'SVF::iter_adaptor_base']]],
-  ['baseversionedptdata_11920',['BaseVersionedPTData',['../classSVF_1_1MutableVersionedPTData.html#aa80044e3b4c3ed58117573dfa54d803b',1,'SVF::MutableVersionedPTData::BaseVersionedPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#ab71b82478d74f1a20ce3de479f2d8d5c',1,'SVF::PersistentVersionedPTData::BaseVersionedPTData()']]],
-  ['basicblock_11921',['BasicBlock',['../namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965',1,'SVF']]],
-  ['basicblockset_11922',['BasicBlockSet',['../classSVF_1_1SaberCondAllocator.html#a45642ecc305ea97b58e0eeebd00fec7b',1,'SVF::SaberCondAllocator']]],
-  ['bbcondmap_11923',['BBCondMap',['../classSVF_1_1SaberCondAllocator.html#a513ab32b3f9ddfb0a21668e881bcf27b',1,'SVF::SaberCondAllocator']]],
-  ['bblist_11924',['BBList',['../classSVF_1_1MemSSA.html#a0e4aa3519d1805cfee0190ec43155beb',1,'SVF::MemSSA::BBList()'],['../classSVF_1_1SVFLoopAndDomInfo.html#a33b96ce50eb1d3caab2b20c19a60b2cc',1,'SVF::SVFLoopAndDomInfo::BBList()'],['../classSVF_1_1SVFFunction.html#ad09ea0c680c88732c08d655e0afbead3',1,'SVF::SVFFunction::BBList()']]],
-  ['bbset_11925',['BBSet',['../classSVF_1_1ICFGBuilder.html#abb7144bcc587e236fd22f6c8896117f5',1,'SVF::ICFGBuilder::BBSet()'],['../classSVF_1_1SVFLoopAndDomInfo.html#ad478ac88bc07cf4d6d0ad3517b2c4ab3',1,'SVF::SVFLoopAndDomInfo::BBSet()'],['../classSVF_1_1SVFFunction.html#ae4f78769558a3cc8d2c948a4f5379ec9',1,'SVF::SVFFunction::BBSet()']]],
-  ['bbtocondmap_11926',['BBToCondMap',['../classSVF_1_1SaberCondAllocator.html#ae4e8c7b47b9d672157b3c6f1c01188f8',1,'SVF::SaberCondAllocator']]],
-  ['bbtomrsetmap_11927',['BBToMRSetMap',['../classSVF_1_1MemSSA.html#acfe05b5b026ed41039540b11fe345734',1,'SVF::MemSSA']]],
-  ['bbtophisetmap_11928',['BBToPhiSetMap',['../classSVF_1_1MemSSA.html#af939c93eee0128973d86974e36345917',1,'SVF::MemSSA']]],
-  ['bbworklist_11929',['BBWorkList',['../classSVF_1_1PCG.html#a4eff22e077741d2decbad6f416ca7c6f',1,'SVF::PCG']]],
-  ['binaryoperator_11930',['BinaryOperator',['../namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22',1,'SVF']]],
-  ['bitcastinst_11931',['BitCastInst',['../namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d',1,'SVF']]],
-  ['bitword_11932',['BitWord',['../structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d',1,'SVF::SparseBitVectorElement']]],
-  ['blockaddress_11933',['BlockAddress',['../namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c',1,'SVF']]],
-  ['branchinst_11934',['BranchInst',['../namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f',1,'SVF']]],
-  ['bridge_5fgep_5fiterator_11935',['bridge_gep_iterator',['../namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc',1,'SVF::bridge_gep_iterator()'],['../namespacellvm.html#af77a7ec045719d1f075cf6c591902522',1,'llvm::bridge_gep_iterator()']]],
-  ['bugset_11936',['BugSet',['../classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac',1,'SVF::SVFBugReport']]]
+  ['basedfptdata_11920',['BaseDFPTData',['../classSVF_1_1MutableDFPTData.html#a17a5aa4a749a5ffc75c663d057454e4a',1,'SVF::MutableDFPTData::BaseDFPTData()'],['../classSVF_1_1MutableIncDFPTData.html#a4b944ec759d0e78a7a2238db587752a9',1,'SVF::MutableIncDFPTData::BaseDFPTData()'],['../classSVF_1_1PersistentDFPTData.html#af9facbe8f694b8447bb6ebe48b95ad17',1,'SVF::PersistentDFPTData::BaseDFPTData()'],['../classSVF_1_1PersistentIncDFPTData.html#ae56633d34e5fb4499c82d422646a91f0',1,'SVF::PersistentIncDFPTData::BaseDFPTData()']]],
+  ['basediffptdata_11921',['BaseDiffPTData',['../classSVF_1_1MutableDiffPTData.html#ab50b8026258c7c9103d2315ea3091340',1,'SVF::MutableDiffPTData::BaseDiffPTData()'],['../classSVF_1_1PersistentDiffPTData.html#a3a2cf38f220a831c4334614b835b57c6',1,'SVF::PersistentDiffPTData::BaseDiffPTData()']]],
+  ['basemutdfptdata_11922',['BaseMutDFPTData',['../classSVF_1_1MutableIncDFPTData.html#a58f9b6357a5cf0243cf3b4ece30e8cf6',1,'SVF::MutableIncDFPTData']]],
+  ['basemutptdata_11923',['BaseMutPTData',['../classSVF_1_1MutableDFPTData.html#ad02e5645ef7a73ba4c20c557a6f11789',1,'SVF::MutableDFPTData::BaseMutPTData()'],['../classSVF_1_1MutableIncDFPTData.html#a92f00e91a338113383bcf7bc8ce0026a',1,'SVF::MutableIncDFPTData::BaseMutPTData()']]],
+  ['basepersdfptdata_11924',['BasePersDFPTData',['../classSVF_1_1PersistentIncDFPTData.html#abce6fa91fed789ef25146440ee10872b',1,'SVF::PersistentIncDFPTData']]],
+  ['basepersptdata_11925',['BasePersPTData',['../classSVF_1_1PersistentDiffPTData.html#aa55e1c39fb0918c4f7f080a521f504f5',1,'SVF::PersistentDiffPTData::BasePersPTData()'],['../classSVF_1_1PersistentDFPTData.html#afccad3b3163f25cc058334083f90041d',1,'SVF::PersistentDFPTData::BasePersPTData()'],['../classSVF_1_1PersistentIncDFPTData.html#acea7eb9ee0c1ee36906d50bce584b56a',1,'SVF::PersistentIncDFPTData::BasePersPTData()']]],
+  ['baseptdata_11926',['BasePTData',['../classSVF_1_1DiffPTData.html#ae61c0f266f26a22077c1e8409f6ba991',1,'SVF::DiffPTData::BasePTData()'],['../classSVF_1_1DFPTData.html#a6d5193ea9e77b3945cb0716978dc75be',1,'SVF::DFPTData::BasePTData()'],['../classSVF_1_1VersionedPTData.html#a9833b47df24ed821a55d5ce9a3917f1f',1,'SVF::VersionedPTData::BasePTData()'],['../classSVF_1_1MutablePTData.html#ab88ea00589ec9353bccf3629a1c4e5d3',1,'SVF::MutablePTData::BasePTData()'],['../classSVF_1_1MutableDiffPTData.html#a562f0f584cd4f3b2d18f3973fde9c068',1,'SVF::MutableDiffPTData::BasePTData()'],['../classSVF_1_1MutableDFPTData.html#a25274e3029dfa655c47b72f291b906de',1,'SVF::MutableDFPTData::BasePTData()'],['../classSVF_1_1MutableIncDFPTData.html#a14651359d0efe886c1313fd843e4d1db',1,'SVF::MutableIncDFPTData::BasePTData()'],['../classSVF_1_1MutableVersionedPTData.html#a31fd15a8147e3146b15b4d24fe34cf46',1,'SVF::MutableVersionedPTData::BasePTData()'],['../classSVF_1_1PersistentPTData.html#a6ca39340bb502c933c3dd6c1ab8f79c1',1,'SVF::PersistentPTData::BasePTData()'],['../classSVF_1_1PersistentDiffPTData.html#aa110fddf7d0cedfb66fcd37bae2c962c',1,'SVF::PersistentDiffPTData::BasePTData()'],['../classSVF_1_1PersistentDFPTData.html#a54c206686c17101a0233fbbd3836c05c',1,'SVF::PersistentDFPTData::BasePTData()'],['../classSVF_1_1PersistentIncDFPTData.html#a7751d9831519f8021626630dce499b1a',1,'SVF::PersistentIncDFPTData::BasePTData()'],['../classSVF_1_1PersistentVersionedPTData.html#ad4586331863d67e78c54d919694b58db',1,'SVF::PersistentVersionedPTData::BasePTData()']]],
+  ['baset_11927',['BaseT',['../classSVF_1_1iter__adaptor__base.html#afbad8b4d7822152aec9a206c0e293f96',1,'SVF::iter_adaptor_base']]],
+  ['baseversionedptdata_11928',['BaseVersionedPTData',['../classSVF_1_1MutableVersionedPTData.html#aa80044e3b4c3ed58117573dfa54d803b',1,'SVF::MutableVersionedPTData::BaseVersionedPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#ab71b82478d74f1a20ce3de479f2d8d5c',1,'SVF::PersistentVersionedPTData::BaseVersionedPTData()']]],
+  ['basicblock_11929',['BasicBlock',['../namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965',1,'SVF']]],
+  ['basicblockset_11930',['BasicBlockSet',['../classSVF_1_1SaberCondAllocator.html#a45642ecc305ea97b58e0eeebd00fec7b',1,'SVF::SaberCondAllocator']]],
+  ['bbcondmap_11931',['BBCondMap',['../classSVF_1_1SaberCondAllocator.html#a513ab32b3f9ddfb0a21668e881bcf27b',1,'SVF::SaberCondAllocator']]],
+  ['bblist_11932',['BBList',['../classSVF_1_1MemSSA.html#a0e4aa3519d1805cfee0190ec43155beb',1,'SVF::MemSSA::BBList()'],['../classSVF_1_1SVFLoopAndDomInfo.html#a33b96ce50eb1d3caab2b20c19a60b2cc',1,'SVF::SVFLoopAndDomInfo::BBList()'],['../classSVF_1_1SVFFunction.html#ad09ea0c680c88732c08d655e0afbead3',1,'SVF::SVFFunction::BBList()']]],
+  ['bbset_11933',['BBSet',['../classSVF_1_1ICFGBuilder.html#abb7144bcc587e236fd22f6c8896117f5',1,'SVF::ICFGBuilder::BBSet()'],['../classSVF_1_1SVFLoopAndDomInfo.html#ad478ac88bc07cf4d6d0ad3517b2c4ab3',1,'SVF::SVFLoopAndDomInfo::BBSet()'],['../classSVF_1_1SVFFunction.html#ae4f78769558a3cc8d2c948a4f5379ec9',1,'SVF::SVFFunction::BBSet()']]],
+  ['bbtocondmap_11934',['BBToCondMap',['../classSVF_1_1SaberCondAllocator.html#ae4e8c7b47b9d672157b3c6f1c01188f8',1,'SVF::SaberCondAllocator']]],
+  ['bbtomrsetmap_11935',['BBToMRSetMap',['../classSVF_1_1MemSSA.html#acfe05b5b026ed41039540b11fe345734',1,'SVF::MemSSA']]],
+  ['bbtophisetmap_11936',['BBToPhiSetMap',['../classSVF_1_1MemSSA.html#af939c93eee0128973d86974e36345917',1,'SVF::MemSSA']]],
+  ['bbworklist_11937',['BBWorkList',['../classSVF_1_1PCG.html#a4eff22e077741d2decbad6f416ca7c6f',1,'SVF::PCG']]],
+  ['binaryoperator_11938',['BinaryOperator',['../namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22',1,'SVF']]],
+  ['bitcastinst_11939',['BitCastInst',['../namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d',1,'SVF']]],
+  ['bitword_11940',['BitWord',['../structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d',1,'SVF::SparseBitVectorElement']]],
+  ['blockaddress_11941',['BlockAddress',['../namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c',1,'SVF']]],
+  ['branchinst_11942',['BranchInst',['../namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f',1,'SVF']]],
+  ['bridge_5fgep_5fiterator_11943',['bridge_gep_iterator',['../namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc',1,'SVF::bridge_gep_iterator()'],['../namespacellvm.html#af77a7ec045719d1f075cf6c591902522',1,'llvm::bridge_gep_iterator()']]],
+  ['bugset_11944',['BugSet',['../classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac',1,'SVF::SVFBugReport']]]
 ];