svf-tools 1.0.812 → 1.0.813

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

@@ -1,22 +1,22 @@
 var searchData=
 [
-  ['operator_21_13173',['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_13174',['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_13175',['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_13176',['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_13177',['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_13178',['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_13179',['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_13180',['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_13181',['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_13182',['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_13183',['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_13184',['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_13185',['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_13186',['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_13187',['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_13188',['operator>>',['../classSVF_1_1NumericLiteral.html#a5b421ff78df11b84654155dc88bb5516',1,'SVF::NumericLiteral']]],
-  ['operator_5e_13189',['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_13190',['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_13191',['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_13160',['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_13161',['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_13162',['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_13163',['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_13164',['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_13165',['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_13166',['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_13167',['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_13168',['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_13169',['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_13170',['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_13171',['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_13172',['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_13173',['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_13174',['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_13175',['operator>>',['../classSVF_1_1NumericLiteral.html#a5b421ff78df11b84654155dc88bb5516',1,'SVF::NumericLiteral']]],
+  ['operator_5e_13176',['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_13177',['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_13178',['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/search/related_b.js

@@ -1,7 +1,7 @@
 var searchData=
 [
-  ['pagbuilderfromfile_13192',['PAGBuilderFromFile',['../classSVF_1_1SVFIR.html#a639210db7230cea2eeaf2d08c953d827',1,'SVF::SVFIR']]],
-  ['persistentdfptdata_3c_20key_2c_20keyset_2c_20data_2c_20dataset_20_3e_13193',['PersistentDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1PersistentPTData.html#aea8bb6da9d6d5a4ed65168aceee2f85a',1,'SVF::PersistentPTData']]],
-  ['persistentincdfptdata_3c_20key_2c_20keyset_2c_20data_2c_20dataset_20_3e_13194',['PersistentIncDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1PersistentPTData.html#a8386ddd5a45bd490860685ca18543287',1,'SVF::PersistentPTData']]],
-  ['persistentversionedptdata_13195',['PersistentVersionedPTData',['../classSVF_1_1PersistentPTData.html#a5a0dfa2e5e989bcb30b913f37e561c35',1,'SVF::PersistentPTData']]]
+  ['pagbuilderfromfile_13179',['PAGBuilderFromFile',['../classSVF_1_1SVFIR.html#a639210db7230cea2eeaf2d08c953d827',1,'SVF::SVFIR']]],
+  ['persistentdfptdata_3c_20key_2c_20keyset_2c_20data_2c_20dataset_20_3e_13180',['PersistentDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1PersistentPTData.html#aea8bb6da9d6d5a4ed65168aceee2f85a',1,'SVF::PersistentPTData']]],
+  ['persistentincdfptdata_3c_20key_2c_20keyset_2c_20data_2c_20dataset_20_3e_13181',['PersistentIncDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1PersistentPTData.html#a8386ddd5a45bd490860685ca18543287',1,'SVF::PersistentPTData']]],
+  ['persistentversionedptdata_13182',['PersistentVersionedPTData',['../classSVF_1_1PersistentPTData.html#a5a0dfa2e5e989bcb30b913f37e561c35',1,'SVF::PersistentPTData']]]
 ];

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

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

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

@@ -1,15 +1,15 @@
 var searchData=
 [
-  ['sabersvfgbuilder_13197',['SaberSVFGBuilder',['../classSVF_1_1SVFG.html#a93a4287b55425abc188e5f5f2de54297',1,'SVF::SVFG']]],
-  ['shl_13198',['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()']]],
-  ['svffunction_13199',['SVFFunction',['../classSVF_1_1SVFBasicBlock.html#afcfae770b6ed1235cc1aa6c123b3a048',1,'SVF::SVFBasicBlock']]],
-  ['svfgbuilder_13200',['SVFGBuilder',['../classSVF_1_1SVFG.html#ab2f81db3935389480baa5cb14e15e9d7',1,'SVF::SVFG']]],
-  ['svfir_13201',['SVFIR',['../classSVF_1_1SVFVar.html#a6dbb40e8ee92033b77440c44acd8a868',1,'SVF::SVFVar']]],
-  ['svfir2consexestate_13202',['SVFIR2ConsExeState',['../classSVF_1_1ConsExeState.html#a67e2d14fede9218351f5edaff5981f4d',1,'SVF::ConsExeState']]],
-  ['svfir2itvexestate_13203',['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_13204',['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_13205',['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_13206',['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_13207',['SymbolTableBuilder',['../classSVF_1_1SymbolTableInfo.html#a9d9633d48431b80c078bd4a34c1e7fa0',1,'SVF::SymbolTableInfo::SymbolTableBuilder()'],['../classSVF_1_1ObjTypeInfo.html#a9d9633d48431b80c078bd4a34c1e7fa0',1,'SVF::ObjTypeInfo::SymbolTableBuilder()']]],
-  ['symboltableinfo_13208',['SymbolTableInfo',['../classSVF_1_1AccessPath.html#a32ddec529ccbf4ea6336e5fd765164d8',1,'SVF::AccessPath']]]
+  ['sabersvfgbuilder_13184',['SaberSVFGBuilder',['../classSVF_1_1SVFG.html#a93a4287b55425abc188e5f5f2de54297',1,'SVF::SVFG']]],
+  ['shl_13185',['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()']]],
+  ['svffunction_13186',['SVFFunction',['../classSVF_1_1SVFBasicBlock.html#afcfae770b6ed1235cc1aa6c123b3a048',1,'SVF::SVFBasicBlock']]],
+  ['svfgbuilder_13187',['SVFGBuilder',['../classSVF_1_1SVFG.html#ab2f81db3935389480baa5cb14e15e9d7',1,'SVF::SVFG']]],
+  ['svfir_13188',['SVFIR',['../classSVF_1_1SVFVar.html#a6dbb40e8ee92033b77440c44acd8a868',1,'SVF::SVFVar']]],
+  ['svfir2consexestate_13189',['SVFIR2ConsExeState',['../classSVF_1_1ConsExeState.html#a67e2d14fede9218351f5edaff5981f4d',1,'SVF::ConsExeState']]],
+  ['svfir2itvexestate_13190',['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_13191',['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_13192',['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_13193',['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_13194',['SymbolTableBuilder',['../classSVF_1_1SymbolTableInfo.html#a9d9633d48431b80c078bd4a34c1e7fa0',1,'SVF::SymbolTableInfo::SymbolTableBuilder()'],['../classSVF_1_1ObjTypeInfo.html#a9d9633d48431b80c078bd4a34c1e7fa0',1,'SVF::ObjTypeInfo::SymbolTableBuilder()']]],
+  ['symboltableinfo_13195',['SymbolTableInfo',['../classSVF_1_1AccessPath.html#a32ddec529ccbf4ea6336e5fd765164d8',1,'SVF::AccessPath']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['taintsvfgbuilder_13209',['TaintSVFGBuilder',['../classSVF_1_1SVFG.html#a665c93b68f49078c281270a028d04445',1,'SVF::SVFG']]],
-  ['typebasedheapcloning_13210',['TypeBasedHeapCloning',['../classSVF_1_1SVFIR.html#ac7f1349df526a5a50741e9303f3bd446',1,'SVF::SVFIR']]]
+  ['taintsvfgbuilder_13196',['TaintSVFGBuilder',['../classSVF_1_1SVFG.html#a665c93b68f49078c281270a028d04445',1,'SVF::SVFG']]],
+  ['typebasedheapcloning_13197',['TypeBasedHeapCloning',['../classSVF_1_1SVFIR.html#ac7f1349df526a5a50741e9303f3bd446',1,'SVF::SVFIR']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['versionedflowsensitivestat_13211',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitive.html#aaee58f266762146e9fdc08ecfc326b29',1,'SVF::VersionedFlowSensitive']]],
-  ['vfg_13212',['VFG',['../classSVF_1_1SVFVar.html#a1499a631a2a15408ea35a09fccc0f0ad',1,'SVF::SVFVar']]]
+  ['versionedflowsensitivestat_13198',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitive.html#aaee58f266762146e9fdc08ecfc326b29',1,'SVF::VersionedFlowSensitive']]],
+  ['vfg_13199',['VFG',['../classSVF_1_1SVFVar.html#a1499a631a2a15408ea35a09fccc0f0ad',1,'SVF::SVFVar']]]
 ];

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

@@ -1,21 +1,22 @@
 var searchData=
 [
-  ['actualinsvfgnodeset_12094',['ActualINSVFGNodeSet',['../classSVF_1_1SVFG.html#aa9f520779475e4783eccc45c460e346a',1,'SVF::SVFG']]],
-  ['actualoutsvfgnodeset_12095',['ActualOUTSVFGNodeSet',['../classSVF_1_1SVFG.html#a2f6ed8a9f14657abc1e2a89247a84b99',1,'SVF::SVFG']]],
-  ['actualparmnodevec_12096',['ActualParmNodeVec',['../classSVF_1_1CallICFGNode.html#aa9bdf2b575f08976dcd0ba815a70f841',1,'SVF::CallICFGNode']]],
-  ['actualparmsvfgnode_12097',['ActualParmSVFGNode',['../namespaceSVF.html#a11c50c2f81327753b3ff3ffdbe356812',1,'SVF']]],
-  ['actualretsvfgnode_12098',['ActualRetSVFGNode',['../namespaceSVF.html#a77b8b8ca831e1eba3e47f2ca29667f67',1,'SVF']]],
-  ['addrset_12099',['AddrSet',['../classSVF_1_1AddressValue.html#a58a1b87857377f372782a7873e5d4ea6',1,'SVF::AddressValue']]],
-  ['addrsvfgnode_12100',['AddrSVFGNode',['../namespaceSVF.html#a959453cbb8ff2d852b526fd1ff74ce49',1,'SVF']]],
-  ['alias_5fiterator_12101',['alias_iterator',['../classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c',1,'SVF::SVFModule']]],
-  ['aliassettype_12102',['AliasSetType',['../classSVF_1_1SVFModule.html#a9dc9266c21ba80b13ebb22731e1e9caf',1,'SVF::SVFModule']]],
-  ['allocainst_12103',['AllocaInst',['../namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83',1,'SVF']]],
-  ['apoffset_12104',['APOffset',['../namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1',1,'SVF']]],
-  ['argument_12105',['Argument',['../namespaceSVF.html#a58cdfbc4160cae08745b67844ac29801',1,'SVF']]],
-  ['arraytype_12106',['ArrayType',['../namespaceSVF.html#a146d286041987860388da3d8bc85cee3',1,'SVF']]],
-  ['atomiccmpxchginst_12107',['AtomicCmpXchgInst',['../namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49',1,'SVF']]],
-  ['atomicrmwinst_12108',['AtomicRMWInst',['../namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0',1,'SVF']]],
-  ['attribute_12109',['Attribute',['../classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f',1,'SVF::GrammarBase']]],
-  ['autocstr_12110',['autoCStr',['../classSVF_1_1SVFIRWriter.html#a1e568e5b4a081aad92e86646f419413c',1,'SVF::SVFIRWriter']]],
-  ['autojson_12111',['autoJSON',['../classSVF_1_1SVFIRWriter.html#a63bdba43ccb01eef8ceb8a9c8dbe5c7f',1,'SVF::SVFIRWriter']]]
+  ['actualinsvfgnodeset_12081',['ActualINSVFGNodeSet',['../classSVF_1_1SVFG.html#aa9f520779475e4783eccc45c460e346a',1,'SVF::SVFG']]],
+  ['actualoutsvfgnodeset_12082',['ActualOUTSVFGNodeSet',['../classSVF_1_1SVFG.html#a2f6ed8a9f14657abc1e2a89247a84b99',1,'SVF::SVFG']]],
+  ['actualparmnodevec_12083',['ActualParmNodeVec',['../classSVF_1_1CallICFGNode.html#aa9bdf2b575f08976dcd0ba815a70f841',1,'SVF::CallICFGNode']]],
+  ['actualparmsvfgnode_12084',['ActualParmSVFGNode',['../namespaceSVF.html#a11c50c2f81327753b3ff3ffdbe356812',1,'SVF']]],
+  ['actualretsvfgnode_12085',['ActualRetSVFGNode',['../namespaceSVF.html#a77b8b8ca831e1eba3e47f2ca29667f67',1,'SVF']]],
+  ['addrs_12086',['Addrs',['../classSVF_1_1ExeState.html#a78038dd4884a501cfc94f073021eac96',1,'SVF::ExeState::Addrs()'],['../classSVF_1_1SVFIR2ConsExeState.html#a7c892fb77ff402212af4ab30301f0f9d',1,'SVF::SVFIR2ConsExeState::Addrs()'],['../classSVF_1_1SVFIR2ItvExeState.html#a85f206bddccb2d644ef20f60ea17c9f3',1,'SVF::SVFIR2ItvExeState::Addrs()']]],
+  ['addrset_12087',['AddrSet',['../classSVF_1_1AddressValue.html#a58a1b87857377f372782a7873e5d4ea6',1,'SVF::AddressValue']]],
+  ['addrsvfgnode_12088',['AddrSVFGNode',['../namespaceSVF.html#a959453cbb8ff2d852b526fd1ff74ce49',1,'SVF']]],
+  ['alias_5fiterator_12089',['alias_iterator',['../classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c',1,'SVF::SVFModule']]],
+  ['aliassettype_12090',['AliasSetType',['../classSVF_1_1SVFModule.html#a9dc9266c21ba80b13ebb22731e1e9caf',1,'SVF::SVFModule']]],
+  ['allocainst_12091',['AllocaInst',['../namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83',1,'SVF']]],
+  ['apoffset_12092',['APOffset',['../namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1',1,'SVF']]],
+  ['argument_12093',['Argument',['../namespaceSVF.html#a58cdfbc4160cae08745b67844ac29801',1,'SVF']]],
+  ['arraytype_12094',['ArrayType',['../namespaceSVF.html#a146d286041987860388da3d8bc85cee3',1,'SVF']]],
+  ['atomiccmpxchginst_12095',['AtomicCmpXchgInst',['../namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49',1,'SVF']]],
+  ['atomicrmwinst_12096',['AtomicRMWInst',['../namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0',1,'SVF']]],
+  ['attribute_12097',['Attribute',['../classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f',1,'SVF::GrammarBase']]],
+  ['autocstr_12098',['autoCStr',['../classSVF_1_1SVFIRWriter.html#a1e568e5b4a081aad92e86646f419413c',1,'SVF::SVFIRWriter']]],
+  ['autojson_12099',['autoJSON',['../classSVF_1_1SVFIRWriter.html#a63bdba43ccb01eef8ceb8a9c8dbe5c7f',1,'SVF::SVFIRWriter']]]
 ];

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

@@ -1,29 +1,29 @@
 var searchData=
 [
-  ['basedfptdata_12112',['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_12113',['BaseDiffPTData',['../classSVF_1_1MutableDiffPTData.html#ab50b8026258c7c9103d2315ea3091340',1,'SVF::MutableDiffPTData::BaseDiffPTData()'],['../classSVF_1_1PersistentDiffPTData.html#a3a2cf38f220a831c4334614b835b57c6',1,'SVF::PersistentDiffPTData::BaseDiffPTData()']]],
-  ['basemutdfptdata_12114',['BaseMutDFPTData',['../classSVF_1_1MutableIncDFPTData.html#a58f9b6357a5cf0243cf3b4ece30e8cf6',1,'SVF::MutableIncDFPTData']]],
-  ['basemutptdata_12115',['BaseMutPTData',['../classSVF_1_1MutableDFPTData.html#ad02e5645ef7a73ba4c20c557a6f11789',1,'SVF::MutableDFPTData::BaseMutPTData()'],['../classSVF_1_1MutableIncDFPTData.html#a92f00e91a338113383bcf7bc8ce0026a',1,'SVF::MutableIncDFPTData::BaseMutPTData()']]],
-  ['basepersdfptdata_12116',['BasePersDFPTData',['../classSVF_1_1PersistentIncDFPTData.html#abce6fa91fed789ef25146440ee10872b',1,'SVF::PersistentIncDFPTData']]],
-  ['basepersptdata_12117',['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_12118',['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_12119',['BaseT',['../classSVF_1_1iter__adaptor__base.html#afbad8b4d7822152aec9a206c0e293f96',1,'SVF::iter_adaptor_base']]],
-  ['baseversionedptdata_12120',['BaseVersionedPTData',['../classSVF_1_1MutableVersionedPTData.html#aa80044e3b4c3ed58117573dfa54d803b',1,'SVF::MutableVersionedPTData::BaseVersionedPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#ab71b82478d74f1a20ce3de479f2d8d5c',1,'SVF::PersistentVersionedPTData::BaseVersionedPTData()']]],
-  ['basicblock_12121',['BasicBlock',['../namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965',1,'SVF']]],
-  ['basicblockset_12122',['BasicBlockSet',['../classSVF_1_1SaberCondAllocator.html#a45642ecc305ea97b58e0eeebd00fec7b',1,'SVF::SaberCondAllocator']]],
-  ['bbcondmap_12123',['BBCondMap',['../classSVF_1_1SaberCondAllocator.html#a513ab32b3f9ddfb0a21668e881bcf27b',1,'SVF::SaberCondAllocator']]],
-  ['bblist_12124',['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_12125',['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_12126',['BBToCondMap',['../classSVF_1_1SaberCondAllocator.html#ae4e8c7b47b9d672157b3c6f1c01188f8',1,'SVF::SaberCondAllocator']]],
-  ['bbtomrsetmap_12127',['BBToMRSetMap',['../classSVF_1_1MemSSA.html#acfe05b5b026ed41039540b11fe345734',1,'SVF::MemSSA']]],
-  ['bbtophisetmap_12128',['BBToPhiSetMap',['../classSVF_1_1MemSSA.html#af939c93eee0128973d86974e36345917',1,'SVF::MemSSA']]],
-  ['bbworklist_12129',['BBWorkList',['../classSVF_1_1PCG.html#a4eff22e077741d2decbad6f416ca7c6f',1,'SVF::PCG']]],
-  ['binaryoperator_12130',['BinaryOperator',['../namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22',1,'SVF']]],
-  ['bitcastinst_12131',['BitCastInst',['../namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d',1,'SVF']]],
-  ['bitword_12132',['BitWord',['../structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d',1,'SVF::SparseBitVectorElement']]],
-  ['blockaddress_12133',['BlockAddress',['../namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c',1,'SVF']]],
-  ['branchcondition_12134',['BranchCondition',['../classSVF_1_1CDGEdge.html#a62f0f460e501cd3b39e85b4186d33c45',1,'SVF::CDGEdge']]],
-  ['branchinst_12135',['BranchInst',['../namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f',1,'SVF']]],
-  ['bridge_5fgep_5fiterator_12136',['bridge_gep_iterator',['../namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc',1,'SVF::bridge_gep_iterator()'],['../namespacellvm.html#af77a7ec045719d1f075cf6c591902522',1,'llvm::bridge_gep_iterator()']]],
-  ['bugset_12137',['BugSet',['../classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac',1,'SVF::SVFBugReport']]]
+  ['basedfptdata_12100',['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_12101',['BaseDiffPTData',['../classSVF_1_1MutableDiffPTData.html#ab50b8026258c7c9103d2315ea3091340',1,'SVF::MutableDiffPTData::BaseDiffPTData()'],['../classSVF_1_1PersistentDiffPTData.html#a3a2cf38f220a831c4334614b835b57c6',1,'SVF::PersistentDiffPTData::BaseDiffPTData()']]],
+  ['basemutdfptdata_12102',['BaseMutDFPTData',['../classSVF_1_1MutableIncDFPTData.html#a58f9b6357a5cf0243cf3b4ece30e8cf6',1,'SVF::MutableIncDFPTData']]],
+  ['basemutptdata_12103',['BaseMutPTData',['../classSVF_1_1MutableDFPTData.html#ad02e5645ef7a73ba4c20c557a6f11789',1,'SVF::MutableDFPTData::BaseMutPTData()'],['../classSVF_1_1MutableIncDFPTData.html#a92f00e91a338113383bcf7bc8ce0026a',1,'SVF::MutableIncDFPTData::BaseMutPTData()']]],
+  ['basepersdfptdata_12104',['BasePersDFPTData',['../classSVF_1_1PersistentIncDFPTData.html#abce6fa91fed789ef25146440ee10872b',1,'SVF::PersistentIncDFPTData']]],
+  ['basepersptdata_12105',['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_12106',['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_12107',['BaseT',['../classSVF_1_1iter__adaptor__base.html#afbad8b4d7822152aec9a206c0e293f96',1,'SVF::iter_adaptor_base']]],
+  ['baseversionedptdata_12108',['BaseVersionedPTData',['../classSVF_1_1MutableVersionedPTData.html#aa80044e3b4c3ed58117573dfa54d803b',1,'SVF::MutableVersionedPTData::BaseVersionedPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#ab71b82478d74f1a20ce3de479f2d8d5c',1,'SVF::PersistentVersionedPTData::BaseVersionedPTData()']]],
+  ['basicblock_12109',['BasicBlock',['../namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965',1,'SVF']]],
+  ['basicblockset_12110',['BasicBlockSet',['../classSVF_1_1SaberCondAllocator.html#a45642ecc305ea97b58e0eeebd00fec7b',1,'SVF::SaberCondAllocator']]],
+  ['bbcondmap_12111',['BBCondMap',['../classSVF_1_1SaberCondAllocator.html#a513ab32b3f9ddfb0a21668e881bcf27b',1,'SVF::SaberCondAllocator']]],
+  ['bblist_12112',['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_12113',['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_12114',['BBToCondMap',['../classSVF_1_1SaberCondAllocator.html#ae4e8c7b47b9d672157b3c6f1c01188f8',1,'SVF::SaberCondAllocator']]],
+  ['bbtomrsetmap_12115',['BBToMRSetMap',['../classSVF_1_1MemSSA.html#acfe05b5b026ed41039540b11fe345734',1,'SVF::MemSSA']]],
+  ['bbtophisetmap_12116',['BBToPhiSetMap',['../classSVF_1_1MemSSA.html#af939c93eee0128973d86974e36345917',1,'SVF::MemSSA']]],
+  ['bbworklist_12117',['BBWorkList',['../classSVF_1_1PCG.html#a4eff22e077741d2decbad6f416ca7c6f',1,'SVF::PCG']]],
+  ['binaryoperator_12118',['BinaryOperator',['../namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22',1,'SVF']]],
+  ['bitcastinst_12119',['BitCastInst',['../namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d',1,'SVF']]],
+  ['bitword_12120',['BitWord',['../structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d',1,'SVF::SparseBitVectorElement']]],
+  ['blockaddress_12121',['BlockAddress',['../namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c',1,'SVF']]],
+  ['branchcondition_12122',['BranchCondition',['../classSVF_1_1CDGEdge.html#a62f0f460e501cd3b39e85b4186d33c45',1,'SVF::CDGEdge']]],
+  ['branchinst_12123',['BranchInst',['../namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f',1,'SVF']]],
+  ['bridge_5fgep_5fiterator_12124',['bridge_gep_iterator',['../namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc',1,'SVF::bridge_gep_iterator()'],['../namespacellvm.html#af77a7ec045719d1f075cf6c591902522',1,'llvm::bridge_gep_iterator()']]],
+  ['bugset_12125',['BugSet',['../classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac',1,'SVF::SVFBugReport']]]
 ];

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

@@ -1,64 +1,64 @@
 var searchData=
 [
-  ['s32_5ft_12649',['s32_t',['../namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e',1,'SVF']]],
-  ['s64_5ft_12650',['s64_t',['../namespaceSVF.html#ad781b0b14e89773e774072b280658ef3',1,'SVF']]],
-  ['scalarevolution_12651',['ScalarEvolution',['../namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42',1,'SVF']]],
-  ['scalarevolutionwrapperpass_12652',['ScalarEvolutionWrapperPass',['../namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01',1,'SVF']]],
-  ['scc_12653',['SCC',['../classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629',1,'SVF::MRGenerator::SCC()'],['../classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33',1,'SVF::WPASolver::SCC()']]],
-  ['scev_12654',['SCEV',['../namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6',1,'SVF']]],
-  ['scevaddrecexpr_12655',['SCEVAddRecExpr',['../namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8',1,'SVF']]],
-  ['scevconstant_12656',['SCEVConstant',['../namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63',1,'SVF']]],
-  ['selectinst_12657',['SelectInst',['../namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307',1,'SVF']]],
-  ['set_12658',['Set',['../namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb',1,'SVF']]],
-  ['sfrtrait_12659',['SFRTrait',['../classSVF_1_1AndersenSFR.html#a2d41b49a1474c030ef2324c14467af30',1,'SVF::AndersenSFR']]],
-  ['shufflevectorinst_12660',['ShuffleVectorInst',['../namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49',1,'SVF']]],
-  ['simpletype_12661',['SimpleType',['../structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4',1,'SVF::SVFUtil::simplify_type::SimpleType()'],['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#a8de25e1bb07ca0f995e5760065259531',1,'SVF::SVFUtil::simplify_type< const From >::SimpleType()']]],
-  ['singlecondvar_12662',['SingleCondVar',['../classSVF_1_1CondPointsToSet.html#a0ef73bd2c1b42439ee6f265e07f17514',1,'SVF::CondPointsToSet']]],
-  ['size_5ftype_12663',['size_type',['../structSVF_1_1SparseBitVectorElement.html#ad9e38352db094adcdfb2964f325d9e53',1,'SVF::SparseBitVectorElement']]],
-  ['smdiagnostic_12664',['SMDiagnostic',['../namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30',1,'SVF']]],
-  ['stmtsvfgnode_12665',['StmtSVFGNode',['../namespaceSVF.html#a26bd4f89dc154b9c6d34b6a517777934',1,'SVF']]],
-  ['storechi_12666',['STORECHI',['../classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b',1,'SVF::SVFG::STORECHI()'],['../classSVF_1_1MemSSA.html#a150e9d53ced1c143bba2d1026f739fa4',1,'SVF::MemSSA::STORECHI()']]],
-  ['storeinst_12667',['StoreInst',['../namespaceSVF.html#ab696aab940eb187dc81217efe8649af5',1,'SVF']]],
-  ['storeset_12668',['StoreSet',['../classSVF_1_1MTA.html#a6bcd86c36f8f4307c4951a23021af92e',1,'SVF::MTA']]],
-  ['storestomrsmap_12669',['StoresToMRsMap',['../classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c',1,'SVF::MRGenerator']]],
-  ['storestopointstomap_12670',['StoresToPointsToMap',['../classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d',1,'SVF::MRGenerator']]],
-  ['storesvfgnode_12671',['StoreSVFGNode',['../namespaceSVF.html#a54c5725186e66ead6faf53c10a288714',1,'SVF']]],
-  ['storetochisetmap_12672',['StoreToChiSetMap',['../classSVF_1_1MemSSA.html#acfee1bb5534026ce991a1ab5e796c6b9',1,'SVF::MemSSA']]],
-  ['storetopmsetmap_12673',['StoreToPMSetMap',['../classSVF_1_1DDAVFSolver.html#accaacd2dd680f92ff83cfe75eef6ffab',1,'SVF::DDAVFSolver']]],
-  ['structlayout_12674',['StructLayout',['../namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45',1,'SVF']]],
-  ['structtype_12675',['StructType',['../namespaceSVF.html#a2bf58575ac7d068e0f1a4cf953b9e6cb',1,'SVF']]],
-  ['succ_5fconst_5fiterator_12676',['succ_const_iterator',['../namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5',1,'SVF']]],
-  ['succandcondpairvec_12677',['SuccAndCondPairVec',['../classSVF_1_1BranchStmt.html#a6a0e64824777f04be4c169125dd4f666',1,'SVF::BranchStmt']]],
-  ['succbbandcondvalpair_12678',['SuccBBAndCondValPair',['../namespaceSVF.html#a255efa5be786996cbdd0c1f3d98b8400',1,'SVF']]],
-  ['succbbandcondvalpairvec_12679',['SuccBBAndCondValPairVec',['../namespaceSVF.html#a8de26e1810ea0c3b1e8ad62f1c8a864d',1,'SVF']]],
-  ['super_12680',['super',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aae0af8f079614e0a971c7db4b9de18fa',1,'llvm::generic_bridge_gep_type_iterator']]],
-  ['svfgedge_12681',['SVFGEdge',['../namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9',1,'SVF']]],
-  ['svfgedgek_12682',['SVFGEdgeK',['../classSVF_1_1ICFGEdge.html#a068573fdbd9b99af18f3deeb9b16a38b',1,'SVF::ICFGEdge::SVFGEdgeK()'],['../classSVF_1_1VFGEdge.html#ae77e57aa36ed43fe83efa4c90a84688f',1,'SVF::VFGEdge::SVFGEdgeK()']]],
-  ['svfgedgeset_12683',['SVFGEdgeSet',['../classSVF_1_1DDAPass.html#acc81a1f7ad572fa27648999334479f56',1,'SVF::DDAPass::SVFGEdgeSet()'],['../classSVF_1_1DDAVFSolver.html#a6489319b33a807f7caba2d34017a3e1b',1,'SVF::DDAVFSolver::SVFGEdgeSet()'],['../classSVF_1_1SVFGStat.html#afeddbe4020e9b3c928856c2dc86af838',1,'SVF::SVFGStat::SVFGEdgeSet()'],['../classSVF_1_1SVFGBuilder.html#a640158fff237cb5afabdf1c5946550e0',1,'SVF::SVFGBuilder::SVFGEdgeSet()']]],
-  ['svfgedgesetty_12684',['SVFGEdgeSetTy',['../classSVF_1_1CDGEdge.html#aa75059c2515efdbf735598db42767cd6',1,'SVF::CDGEdge::SVFGEdgeSetTy()'],['../classSVF_1_1ICFGEdge.html#ad14443828b9030ee7b438fa3cdf17e56',1,'SVF::ICFGEdge::SVFGEdgeSetTy()'],['../classSVF_1_1VFG.html#ac97ef8c479556f9ca2c40cd4d8a18694',1,'SVF::VFG::SVFGEdgeSetTy()'],['../classSVF_1_1VFGEdge.html#a557334ef75bb5479b045f68c27b38701',1,'SVF::VFGEdge::SVFGEdgeSetTy()'],['../classSVF_1_1FlowSensitive.html#a69289c48fa91f850da90de080b9d26e5',1,'SVF::FlowSensitive::SVFGEdgeSetTy()']]],
-  ['svfgnode_12685',['SVFGNode',['../namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df',1,'SVF']]],
-  ['svfgnodebs_12686',['SVFGNodeBS',['../classSVF_1_1LeakChecker.html#a65b05e30410e40fe64d41f71516cd367',1,'SVF::LeakChecker::SVFGNodeBS()'],['../classSVF_1_1SrcSnkDDA.html#a70cff8ea7c033c01400935c9e446f2c6',1,'SVF::SrcSnkDDA::SVFGNodeBS()']]],
-  ['svfgnodeidset_12687',['SVFGNodeIDSet',['../classSVF_1_1MTASVFGBuilder.html#a17da7e5da237c23873e17250d9746939',1,'SVF::MTASVFGBuilder']]],
-  ['svfgnodeidtonodemapty_12688',['SVFGNodeIDToNodeMapTy',['../classSVF_1_1SVFG.html#a3d04ce1429b1edf90c9c0833e3b5a4a9',1,'SVF::SVFG']]],
-  ['svfgnodeset_12689',['SVFGNodeSet',['../classSVF_1_1SVFGOPT.html#a07874e1a77bcd5ff593757d202a4edd6',1,'SVF::SVFGOPT::SVFGNodeSet()'],['../classSVF_1_1SVFGStat.html#aee5ecd6a92c40e1e27197869028689c4',1,'SVF::SVFGStat::SVFGNodeSet()'],['../classSVF_1_1MTASVFGBuilder.html#a467e7b445394acb735b1b24ce39e966a',1,'SVF::MTASVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1ProgSlice.html#a4864972e12f3e95f06bcf2bf8c847b3a',1,'SVF::ProgSlice::SVFGNodeSet()'],['../classSVF_1_1SaberSVFGBuilder.html#a298a94f9b368e37767935a42e5ba954a',1,'SVF::SaberSVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1SrcSnkDDA.html#a19f02a14ee669fadc37fde3816fa2f84',1,'SVF::SrcSnkDDA::SVFGNodeSet()']]],
-  ['svfgnodesetiter_12690',['SVFGNodeSetIter',['../classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd',1,'SVF::ProgSlice::SVFGNodeSetIter()'],['../classSVF_1_1SrcSnkDDA.html#ad6935e27bbd95d26a01b22b879efed58',1,'SVF::SrcSnkDDA::SVFGNodeSetIter()']]],
-  ['svfgnodetocondmap_12691',['SVFGNodeToCondMap',['../classSVF_1_1ProgSlice.html#adaf0bb2e3104c9d86d997b2e7c93275e',1,'SVF::ProgSlice']]],
-  ['svfgnodetocsidmap_12692',['SVFGNodeToCSIDMap',['../classSVF_1_1LeakChecker.html#a90c7275babe222f006233d2f2d2b6700',1,'SVF::LeakChecker']]],
-  ['svfgnodetodpitemsmap_12693',['SVFGNodeToDPItemsMap',['../classSVF_1_1SrcSnkDDA.html#a4f9de61860db86668606f0c276ce8117',1,'SVF::SrcSnkDDA']]],
-  ['svfgnodetoslicemap_12694',['SVFGNodeToSliceMap',['../classSVF_1_1SrcSnkDDA.html#ac96c2f09dee260b4378eae7eb67b21e4',1,'SVF::SrcSnkDDA']]],
-  ['svfgnodevec_12695',['SVFGNodeVec',['../classSVF_1_1MTASVFGBuilder.html#a2d0e5077ce9ae6148845db607f086312',1,'SVF::MTASVFGBuilder']]],
-  ['svfgscc_12696',['SVFGSCC',['../classSVF_1_1DDAPass.html#a5e51ac666db439865846b835bcea9d21',1,'SVF::DDAPass::SVFGSCC()'],['../classSVF_1_1DDAVFSolver.html#a502207f81ed22fa42f9e18ccba83ad4e',1,'SVF::DDAVFSolver::SVFGSCC()'],['../classSVF_1_1SVFGStat.html#a149edd19cd5adafec13cbb49c590f0a8',1,'SVF::SVFGStat::SVFGSCC()']]],
-  ['svfloopvec_12697',['SVFLoopVec',['../classSVF_1_1ICFG.html#ad15daca24c91c5abe4bbb962979efbde',1,'SVF::ICFG']]],
-  ['svfstmtlist_12698',['SVFStmtList',['../classSVF_1_1ICFGNode.html#aa84a3724426f08a0e31ecdbc99114072',1,'SVF::ICFGNode::SVFStmtList()'],['../classSVF_1_1MRGenerator.html#a8717adf4520e0702274c5f013776be52',1,'SVF::MRGenerator::SVFStmtList()'],['../classSVF_1_1MemSSA.html#a445d282890dbd2fb51e903255af1cc3e',1,'SVF::MemSSA::SVFStmtList()'],['../classSVF_1_1SVFIR.html#a6bc360d2604ae4a0af74530b263b10d9',1,'SVF::SVFIR::SVFStmtList()']]],
-  ['svfstmtset_12699',['SVFStmtSet',['../classSVF_1_1IRGraph.html#a28ea8f85b0923d00364a010c1fd4e416',1,'SVF::IRGraph::SVFStmtSet()'],['../classSVF_1_1VFG.html#a8e3633597a4dca714df20e0720b31f1e',1,'SVF::VFG::SVFStmtSet()']]],
-  ['svfstmtsetty_12700',['SVFStmtSetTy',['../classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4',1,'SVF::SVFStmt']]],
-  ['svftypelocsetspair_12701',['SVFTypeLocSetsPair',['../classSVF_1_1SVFIR.html#a9062fc3ed889f8971fb2ea49b8de3674',1,'SVF::SVFIR']]],
-  ['svftypeset_12702',['SVFTypeSet',['../classSVF_1_1SymbolTableInfo.html#a87d443030a8a86e13be5a3a964bc7fa4',1,'SVF::SymbolTableInfo']]],
-  ['svfvalue2llvmvaluemap_12703',['SVFValue2LLVMValueMap',['../classSVF_1_1LLVMModuleSet.html#aa872d7a6b6bf3ec944bd9077de51b259',1,'SVF::LLVMModuleSet']]],
-  ['svfvarlist_12704',['SVFVarList',['../classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b',1,'SVF::SVFIR']]],
-  ['switchinst_12705',['SwitchInst',['../namespaceSVF.html#a412280b134578905248ce0122c5db7c9',1,'SVF']]],
-  ['symbol_12706',['Symbol',['../classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c',1,'SVF::GrammarBase::Symbol()'],['../classSVF_1_1CFLGraphBuilder.html#a2ab271d42ab82aea2adf8b0e641aa39c',1,'SVF::CFLGraphBuilder::Symbol()'],['../classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac',1,'SVF::CFLSolver::Symbol()'],['../classSVF_1_1CFLGraph.html#aef6b4499430812645aa92799cf61ab96',1,'SVF::CFLGraph::Symbol()']]],
-  ['symbolmap_12707',['SymbolMap',['../classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112',1,'SVF::GrammarBase']]],
-  ['symbolset_12708',['SymbolSet',['../classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3',1,'SVF::GrammarBase']]],
-  ['symid_12709',['SymID',['../namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48',1,'SVF']]]
+  ['s32_5ft_12637',['s32_t',['../namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e',1,'SVF']]],
+  ['s64_5ft_12638',['s64_t',['../namespaceSVF.html#ad781b0b14e89773e774072b280658ef3',1,'SVF']]],
+  ['scalarevolution_12639',['ScalarEvolution',['../namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42',1,'SVF']]],
+  ['scalarevolutionwrapperpass_12640',['ScalarEvolutionWrapperPass',['../namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01',1,'SVF']]],
+  ['scc_12641',['SCC',['../classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629',1,'SVF::MRGenerator::SCC()'],['../classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33',1,'SVF::WPASolver::SCC()']]],
+  ['scev_12642',['SCEV',['../namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6',1,'SVF']]],
+  ['scevaddrecexpr_12643',['SCEVAddRecExpr',['../namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8',1,'SVF']]],
+  ['scevconstant_12644',['SCEVConstant',['../namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63',1,'SVF']]],
+  ['selectinst_12645',['SelectInst',['../namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307',1,'SVF']]],
+  ['set_12646',['Set',['../namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb',1,'SVF']]],
+  ['sfrtrait_12647',['SFRTrait',['../classSVF_1_1AndersenSFR.html#a2d41b49a1474c030ef2324c14467af30',1,'SVF::AndersenSFR']]],
+  ['shufflevectorinst_12648',['ShuffleVectorInst',['../namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49',1,'SVF']]],
+  ['simpletype_12649',['SimpleType',['../structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4',1,'SVF::SVFUtil::simplify_type::SimpleType()'],['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#a8de25e1bb07ca0f995e5760065259531',1,'SVF::SVFUtil::simplify_type< const From >::SimpleType()']]],
+  ['singlecondvar_12650',['SingleCondVar',['../classSVF_1_1CondPointsToSet.html#a0ef73bd2c1b42439ee6f265e07f17514',1,'SVF::CondPointsToSet']]],
+  ['size_5ftype_12651',['size_type',['../structSVF_1_1SparseBitVectorElement.html#ad9e38352db094adcdfb2964f325d9e53',1,'SVF::SparseBitVectorElement']]],
+  ['smdiagnostic_12652',['SMDiagnostic',['../namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30',1,'SVF']]],
+  ['stmtsvfgnode_12653',['StmtSVFGNode',['../namespaceSVF.html#a26bd4f89dc154b9c6d34b6a517777934',1,'SVF']]],
+  ['storechi_12654',['STORECHI',['../classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b',1,'SVF::SVFG::STORECHI()'],['../classSVF_1_1MemSSA.html#a150e9d53ced1c143bba2d1026f739fa4',1,'SVF::MemSSA::STORECHI()']]],
+  ['storeinst_12655',['StoreInst',['../namespaceSVF.html#ab696aab940eb187dc81217efe8649af5',1,'SVF']]],
+  ['storeset_12656',['StoreSet',['../classSVF_1_1MTA.html#a6bcd86c36f8f4307c4951a23021af92e',1,'SVF::MTA']]],
+  ['storestomrsmap_12657',['StoresToMRsMap',['../classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c',1,'SVF::MRGenerator']]],
+  ['storestopointstomap_12658',['StoresToPointsToMap',['../classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d',1,'SVF::MRGenerator']]],
+  ['storesvfgnode_12659',['StoreSVFGNode',['../namespaceSVF.html#a54c5725186e66ead6faf53c10a288714',1,'SVF']]],
+  ['storetochisetmap_12660',['StoreToChiSetMap',['../classSVF_1_1MemSSA.html#acfee1bb5534026ce991a1ab5e796c6b9',1,'SVF::MemSSA']]],
+  ['storetopmsetmap_12661',['StoreToPMSetMap',['../classSVF_1_1DDAVFSolver.html#accaacd2dd680f92ff83cfe75eef6ffab',1,'SVF::DDAVFSolver']]],
+  ['structlayout_12662',['StructLayout',['../namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45',1,'SVF']]],
+  ['structtype_12663',['StructType',['../namespaceSVF.html#a2bf58575ac7d068e0f1a4cf953b9e6cb',1,'SVF']]],
+  ['succ_5fconst_5fiterator_12664',['succ_const_iterator',['../namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5',1,'SVF']]],
+  ['succandcondpairvec_12665',['SuccAndCondPairVec',['../classSVF_1_1BranchStmt.html#a6a0e64824777f04be4c169125dd4f666',1,'SVF::BranchStmt']]],
+  ['succbbandcondvalpair_12666',['SuccBBAndCondValPair',['../namespaceSVF.html#a255efa5be786996cbdd0c1f3d98b8400',1,'SVF']]],
+  ['succbbandcondvalpairvec_12667',['SuccBBAndCondValPairVec',['../namespaceSVF.html#a8de26e1810ea0c3b1e8ad62f1c8a864d',1,'SVF']]],
+  ['super_12668',['super',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aae0af8f079614e0a971c7db4b9de18fa',1,'llvm::generic_bridge_gep_type_iterator']]],
+  ['svfgedge_12669',['SVFGEdge',['../namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9',1,'SVF']]],
+  ['svfgedgek_12670',['SVFGEdgeK',['../classSVF_1_1ICFGEdge.html#a068573fdbd9b99af18f3deeb9b16a38b',1,'SVF::ICFGEdge::SVFGEdgeK()'],['../classSVF_1_1VFGEdge.html#ae77e57aa36ed43fe83efa4c90a84688f',1,'SVF::VFGEdge::SVFGEdgeK()']]],
+  ['svfgedgeset_12671',['SVFGEdgeSet',['../classSVF_1_1DDAPass.html#acc81a1f7ad572fa27648999334479f56',1,'SVF::DDAPass::SVFGEdgeSet()'],['../classSVF_1_1DDAVFSolver.html#a6489319b33a807f7caba2d34017a3e1b',1,'SVF::DDAVFSolver::SVFGEdgeSet()'],['../classSVF_1_1SVFGStat.html#afeddbe4020e9b3c928856c2dc86af838',1,'SVF::SVFGStat::SVFGEdgeSet()'],['../classSVF_1_1SVFGBuilder.html#a640158fff237cb5afabdf1c5946550e0',1,'SVF::SVFGBuilder::SVFGEdgeSet()']]],
+  ['svfgedgesetty_12672',['SVFGEdgeSetTy',['../classSVF_1_1CDGEdge.html#aa75059c2515efdbf735598db42767cd6',1,'SVF::CDGEdge::SVFGEdgeSetTy()'],['../classSVF_1_1ICFGEdge.html#ad14443828b9030ee7b438fa3cdf17e56',1,'SVF::ICFGEdge::SVFGEdgeSetTy()'],['../classSVF_1_1VFG.html#ac97ef8c479556f9ca2c40cd4d8a18694',1,'SVF::VFG::SVFGEdgeSetTy()'],['../classSVF_1_1VFGEdge.html#a557334ef75bb5479b045f68c27b38701',1,'SVF::VFGEdge::SVFGEdgeSetTy()'],['../classSVF_1_1FlowSensitive.html#a69289c48fa91f850da90de080b9d26e5',1,'SVF::FlowSensitive::SVFGEdgeSetTy()']]],
+  ['svfgnode_12673',['SVFGNode',['../namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df',1,'SVF']]],
+  ['svfgnodebs_12674',['SVFGNodeBS',['../classSVF_1_1LeakChecker.html#a65b05e30410e40fe64d41f71516cd367',1,'SVF::LeakChecker::SVFGNodeBS()'],['../classSVF_1_1SrcSnkDDA.html#a70cff8ea7c033c01400935c9e446f2c6',1,'SVF::SrcSnkDDA::SVFGNodeBS()']]],
+  ['svfgnodeidset_12675',['SVFGNodeIDSet',['../classSVF_1_1MTASVFGBuilder.html#a17da7e5da237c23873e17250d9746939',1,'SVF::MTASVFGBuilder']]],
+  ['svfgnodeidtonodemapty_12676',['SVFGNodeIDToNodeMapTy',['../classSVF_1_1SVFG.html#a3d04ce1429b1edf90c9c0833e3b5a4a9',1,'SVF::SVFG']]],
+  ['svfgnodeset_12677',['SVFGNodeSet',['../classSVF_1_1SVFGOPT.html#a07874e1a77bcd5ff593757d202a4edd6',1,'SVF::SVFGOPT::SVFGNodeSet()'],['../classSVF_1_1SVFGStat.html#aee5ecd6a92c40e1e27197869028689c4',1,'SVF::SVFGStat::SVFGNodeSet()'],['../classSVF_1_1MTASVFGBuilder.html#a467e7b445394acb735b1b24ce39e966a',1,'SVF::MTASVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1ProgSlice.html#a4864972e12f3e95f06bcf2bf8c847b3a',1,'SVF::ProgSlice::SVFGNodeSet()'],['../classSVF_1_1SaberSVFGBuilder.html#a298a94f9b368e37767935a42e5ba954a',1,'SVF::SaberSVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1SrcSnkDDA.html#a19f02a14ee669fadc37fde3816fa2f84',1,'SVF::SrcSnkDDA::SVFGNodeSet()']]],
+  ['svfgnodesetiter_12678',['SVFGNodeSetIter',['../classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd',1,'SVF::ProgSlice::SVFGNodeSetIter()'],['../classSVF_1_1SrcSnkDDA.html#ad6935e27bbd95d26a01b22b879efed58',1,'SVF::SrcSnkDDA::SVFGNodeSetIter()']]],
+  ['svfgnodetocondmap_12679',['SVFGNodeToCondMap',['../classSVF_1_1ProgSlice.html#adaf0bb2e3104c9d86d997b2e7c93275e',1,'SVF::ProgSlice']]],
+  ['svfgnodetocsidmap_12680',['SVFGNodeToCSIDMap',['../classSVF_1_1LeakChecker.html#a90c7275babe222f006233d2f2d2b6700',1,'SVF::LeakChecker']]],
+  ['svfgnodetodpitemsmap_12681',['SVFGNodeToDPItemsMap',['../classSVF_1_1SrcSnkDDA.html#a4f9de61860db86668606f0c276ce8117',1,'SVF::SrcSnkDDA']]],
+  ['svfgnodetoslicemap_12682',['SVFGNodeToSliceMap',['../classSVF_1_1SrcSnkDDA.html#ac96c2f09dee260b4378eae7eb67b21e4',1,'SVF::SrcSnkDDA']]],
+  ['svfgnodevec_12683',['SVFGNodeVec',['../classSVF_1_1MTASVFGBuilder.html#a2d0e5077ce9ae6148845db607f086312',1,'SVF::MTASVFGBuilder']]],
+  ['svfgscc_12684',['SVFGSCC',['../classSVF_1_1DDAPass.html#a5e51ac666db439865846b835bcea9d21',1,'SVF::DDAPass::SVFGSCC()'],['../classSVF_1_1DDAVFSolver.html#a502207f81ed22fa42f9e18ccba83ad4e',1,'SVF::DDAVFSolver::SVFGSCC()'],['../classSVF_1_1SVFGStat.html#a149edd19cd5adafec13cbb49c590f0a8',1,'SVF::SVFGStat::SVFGSCC()']]],
+  ['svfloopvec_12685',['SVFLoopVec',['../classSVF_1_1ICFG.html#ad15daca24c91c5abe4bbb962979efbde',1,'SVF::ICFG']]],
+  ['svfstmtlist_12686',['SVFStmtList',['../classSVF_1_1ICFGNode.html#aa84a3724426f08a0e31ecdbc99114072',1,'SVF::ICFGNode::SVFStmtList()'],['../classSVF_1_1MRGenerator.html#a8717adf4520e0702274c5f013776be52',1,'SVF::MRGenerator::SVFStmtList()'],['../classSVF_1_1MemSSA.html#a445d282890dbd2fb51e903255af1cc3e',1,'SVF::MemSSA::SVFStmtList()'],['../classSVF_1_1SVFIR.html#a6bc360d2604ae4a0af74530b263b10d9',1,'SVF::SVFIR::SVFStmtList()']]],
+  ['svfstmtset_12687',['SVFStmtSet',['../classSVF_1_1IRGraph.html#a28ea8f85b0923d00364a010c1fd4e416',1,'SVF::IRGraph::SVFStmtSet()'],['../classSVF_1_1VFG.html#a8e3633597a4dca714df20e0720b31f1e',1,'SVF::VFG::SVFStmtSet()']]],
+  ['svfstmtsetty_12688',['SVFStmtSetTy',['../classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4',1,'SVF::SVFStmt']]],
+  ['svftypelocsetspair_12689',['SVFTypeLocSetsPair',['../classSVF_1_1SVFIR.html#a9062fc3ed889f8971fb2ea49b8de3674',1,'SVF::SVFIR']]],
+  ['svftypeset_12690',['SVFTypeSet',['../classSVF_1_1SymbolTableInfo.html#a87d443030a8a86e13be5a3a964bc7fa4',1,'SVF::SymbolTableInfo']]],
+  ['svfvalue2llvmvaluemap_12691',['SVFValue2LLVMValueMap',['../classSVF_1_1LLVMModuleSet.html#aa872d7a6b6bf3ec944bd9077de51b259',1,'SVF::LLVMModuleSet']]],
+  ['svfvarlist_12692',['SVFVarList',['../classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b',1,'SVF::SVFIR']]],
+  ['switchinst_12693',['SwitchInst',['../namespaceSVF.html#a412280b134578905248ce0122c5db7c9',1,'SVF']]],
+  ['symbol_12694',['Symbol',['../classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c',1,'SVF::GrammarBase::Symbol()'],['../classSVF_1_1CFLGraphBuilder.html#a2ab271d42ab82aea2adf8b0e641aa39c',1,'SVF::CFLGraphBuilder::Symbol()'],['../classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac',1,'SVF::CFLSolver::Symbol()'],['../classSVF_1_1CFLGraph.html#aef6b4499430812645aa92799cf61ab96',1,'SVF::CFLGraph::Symbol()']]],
+  ['symbolmap_12695',['SymbolMap',['../classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112',1,'SVF::GrammarBase']]],
+  ['symbolset_12696',['SymbolSet',['../classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3',1,'SVF::GrammarBase']]],
+  ['symid_12697',['SymID',['../namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48',1,'SVF']]]
 ];