svf-tools 1.0.475 → 1.0.476

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

@@ -44,5 +44,6 @@ var searchData=
   ['symboltablebuilder_2ecpp',['SymbolTableBuilder.cpp',['../SymbolTableBuilder_8cpp.html',1,'']]],
   ['symboltablebuilder_2eh',['SymbolTableBuilder.h',['../SymbolTableBuilder_8h.html',1,'']]],
   ['symboltableinfo_2ecpp',['SymbolTableInfo.cpp',['../SymbolTableInfo_8cpp.html',1,'']]],
-  ['symboltableinfo_2eh',['SymbolTableInfo.h',['../SymbolTableInfo_8h.html',1,'']]]
+  ['symboltableinfo_2eh',['SymbolTableInfo.h',['../SymbolTableInfo_8h.html',1,'']]],
+  ['symstate_2eh',['SymState.h',['../SymState_8h.html',1,'']]]
 ];

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

@@ -212,7 +212,7 @@ var searchData=
   ['svfgnodelockspan',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a43f4d595b31259576b141cb99883938e',1,'SVF::SVFGNodeLockSpan']]],
   ['svfgopt',['SVFGOPT',['../classSVF_1_1SVFGOPT.html#a239475c15b39d54c632427307b8e9350',1,'SVF::SVFGOPT']]],
   ['svfgsccdetection',['SVFGSCCDetection',['../classSVF_1_1DDAVFSolver.html#aba0ec611a5cfd096ac0b8b11e0bd5580',1,'SVF::DDAVFSolver']]],
-  ['svfgstat',['SVFGStat',['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()'],['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()']]],
+  ['svfgstat',['svfgStat',['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()'],['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()']]],
   ['svfir',['SVFIR',['../classSVF_1_1SVFIR.html#abf511f82cdbf7a6d9b6da167aee57636',1,'SVF::SVFIR']]],
   ['svfirbuilder',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html#a8c25c3903cda26312f182014f29069fc',1,'SVF::SVFIRBuilder']]],
   ['svfloop',['SVFLoop',['../classSVF_1_1SVFLoop.html#a25b9a079f48aa0374c91be6a1e9697f8',1,'SVF::SVFLoop']]],
@@ -224,6 +224,7 @@ var searchData=
   ['symbolinfo',['SymbolInfo',['../classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11',1,'SVF::SymbolTableInfo']]],
   ['symboltablebuilder',['SymbolTableBuilder',['../classSVF_1_1SymbolTableBuilder.html#ad39b982a2a91a10b4f22ee6150e9cebf',1,'SVF::SymbolTableBuilder']]],
   ['symboltableinfo',['SymbolTableInfo',['../classSVF_1_1SymbolTableInfo.html#aff272bc1d00f2e57b7677d1826a31237',1,'SVF::SymbolTableInfo']]],
+  ['symstate',['SymState',['../classSVF_1_1SymState.html#aee986d8fbccf71a606284d8467f450e4',1,'SVF::SymState::SymState(const ExeState &_es, const AbstractState &_as)'],['../classSVF_1_1SymState.html#a74011f042d561221c30fcd176490abad',1,'SVF::SymState::SymState(const SymState &symState)']]],
   ['system',['system',['../util_8h.html#a6d50e2f4b997abb218cea9a87e543c39',1,'util.h']]],
   ['szudzik',['szudzik',['../structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#adf5f19b1b32c117571fe74035cdcdbe2',1,'SVF::Hash< std::pair< S, T > >']]]
 ];

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

@@ -131,6 +131,7 @@ var searchData=
   ['_7esvfstmt',['~SVFStmt',['../classSVF_1_1SVFStmt.html#aac79c7e8d390f297002782afb0ba3ff0',1,'SVF::SVFStmt']]],
   ['_7esvfvar',['~SVFVar',['../classSVF_1_1SVFVar.html#ab76f9dea1559bd9b10b870dbc7bb454a',1,'SVF::SVFVar']]],
   ['_7esymboltableinfo',['~SymbolTableInfo',['../classSVF_1_1SymbolTableInfo.html#a6efac0ae8ebf2865067136675be5a340',1,'SVF::SymbolTableInfo']]],
+  ['_7esymstate',['~SymState',['../classSVF_1_1SymState.html#a52cd2f2c22f6e9cf610d74ba07164fbb',1,'SVF::SymState']]],
   ['_7etct',['~TCT',['../classSVF_1_1TCT.html#aee699da702973dd42398b42a2ec65e59',1,'SVF::TCT']]],
   ['_7etctedge',['~TCTEdge',['../classSVF_1_1TCTEdge.html#aa6dd0ee903a741c287e34ae80961d369',1,'SVF::TCTEdge']]],
   ['_7ethreadcallgraph',['~ThreadCallGraph',['../classSVF_1_1ThreadCallGraph.html#a7991ee2d70e1c9f1f8bdf5e46d56802c',1,'SVF::ThreadCallGraph']]],

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

@@ -20,6 +20,7 @@ var searchData=
   ['get_5fnumeral_5fint64',['get_numeral_int64',['../classSVF_1_1Z3Expr.html#ad94bbaa31e6df4e8b8238d69b8f4ae06',1,'SVF::Z3Expr']]],
   ['get_5fsort',['get_sort',['../classSVF_1_1Z3Expr.html#a8b2b5fa74704d776a2cd415b599a1393',1,'SVF::Z3Expr']]],
   ['get_5ftype',['get_type',['../classSVF_1_1ExtAPI.html#a90b433cf855adcf34c6ef7f7e5be62b1',1,'SVF::ExtAPI']]],
+  ['getabstractstate',['getAbstractState',['../classSVF_1_1SymState.html#a10ac726895d843b2d8e75c735a409af8',1,'SVF::SymState']]],
   ['getactualindef',['getActualINDef',['../classSVF_1_1SVFGOPT.html#a550f93b640a6fd68773fbafd2944d7df',1,'SVF::SVFGOPT']]],
   ['getactualinsvfgnodes',['getActualINSVFGNodes',['../classSVF_1_1SVFG.html#a475205e221890204c7770c414ee63975',1,'SVF::SVFG']]],
   ['getactualoutsvfgnodes',['getActualOUTSVFGNodes',['../classSVF_1_1SVFG.html#a5b7ae610bee28acc2905ca82928e714f',1,'SVF::SVFG']]],
@@ -225,6 +226,7 @@ var searchData=
   ['getepsilonprods',['getEpsilonProds',['../classSVF_1_1CFLGrammar.html#a8d6292a55da24336d968e20c7ac288d9',1,'SVF::CFLGrammar']]],
   ['getescapobjviaglobals',['getEscapObjviaGlobals',['../classSVF_1_1MRGenerator.html#add22c9a95478dea21148e87c8dfc584a',1,'SVF::MRGenerator']]],
   ['getevalbrcond',['getEvalBrCond',['../classSVF_1_1PathCondAllocator.html#a6d2c5b05f4966522c9310fd3c086adea',1,'SVF::PathCondAllocator']]],
+  ['getexecutionstate',['getExecutionState',['../classSVF_1_1SymState.html#a9f170568014de8bffea264cb4f931b4f',1,'SVF::SymState']]],
   ['getexitinstofparentroutinefun',['getExitInstOfParentRoutineFun',['../classSVF_1_1ForkJoinAnalysis.html#acc178bd423dbb21bd46a9fae9ed0351c',1,'SVF::ForkJoinAnalysis']]],
   ['getexpr',['getExpr',['../classSVF_1_1Z3Expr.html#a57c199ba2c3c6a6d44a86e0b1429be55',1,'SVF::Z3Expr']]],
   ['getextapi',['getExtAPI',['../classSVF_1_1ExtAPI.html#a86508e03ca1c2e37fc9414cb2335c3ec',1,'SVF::ExtAPI']]],

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

@@ -8,19 +8,19 @@ var searchData=
   ['oobresetvisited',['OOBResetVisited',['../classSVF_1_1DDAVFSolver.html#ab60c701f1881d88aa4440991fb972638',1,'SVF::DDAVFSolver']]],
   ['operator_20_26',['operator &',['../namespaceSVF.html#aaa21ff095e66a18937f29246e213f69d',1,'SVF::operator &(const PointsTo &lhs, const PointsTo &rhs)'],['../namespaceSVF.html#aaa21ff095e66a18937f29246e213f69d',1,'SVF::operator &(const PointsTo &lhs, const PointsTo &rhs)']]],
   ['operator_20_26_3d',['operator &=',['../classSVF_1_1CondStdSet.html#abb97324d865818f0a51992ee86d1c5ad',1,'SVF::CondStdSet::operator &=()'],['../classSVF_1_1PointsTo.html#a164aced0d6a19dd7ba8124ec2e77674c',1,'SVF::PointsTo::operator &=()'],['../classSVF_1_1CoreBitVector.html#ae84257a1544b94c9abf5c8d0f6cfaec9',1,'SVF::CoreBitVector::operator &=()']]],
-  ['operator_21_3d',['operator!=',['../classSVF_1_1CondVar.html#a50321e5ead24c8a9d6c58998072634f0',1,'SVF::CondVar::operator!=()'],['../classSVF_1_1CondStdSet.html#a060a01d33fcd5ed4dfcaecb3d24cda07',1,'SVF::CondStdSet::operator!=()'],['../classSVF_1_1CondPointsToSet.html#af06ca0ddfcdca69199fbc9ab42f98558',1,'SVF::CondPointsToSet::operator!=()'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a4b1e8adca9e8d1b046930e9d2abeb08f',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator!=(int val)'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a82068bca4dfc43402625638dcd1b9775',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator!=(const CondPtsSetIterator &RHS) const'],['../classSVF_1_1PointsTo.html#a888f05fe8da4b95c44226f3c69469c75',1,'SVF::PointsTo::operator!=()'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aa90476b4c0e75a256f8ff855f99ca970',1,'SVF::PointsTo::PointsToIterator::operator!=()'],['../classSVF_1_1SVFGNodeLockSpan.html#afa11dc0e8124bb36bfb404bfd94f4b40',1,'SVF::SVFGNodeLockSpan::operator!=()'],['../classSVF_1_1PTASCEV.html#a0541ce30f889355425d2aaeedbc857b9',1,'SVF::PTASCEV::operator!=()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#ab831157001de89b02c7df98a9b513e9c',1,'llvm::generic_bridge_gep_type_iterator::operator!=()'],['../classSVF_1_1CallSite.html#a44d8147b8b6d54e05a7108858dbaa7c6',1,'SVF::CallSite::operator!=()'],['../classSVF_1_1CoreBitVector.html#af142d3bb07e77c28bba6ece5b5b13f51',1,'SVF::CoreBitVector::operator!=()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aebdb5ddb9b50704f83dc924b7bfac74c',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator!=()'],['../classSVF_1_1CxtStmt.html#a2a9aa82c6d4b95c6f1af0332666d8070',1,'SVF::CxtStmt::operator!=()'],['../classSVF_1_1CxtThreadStmt.html#ab900fccf35773064aae491d552df3825',1,'SVF::CxtThreadStmt::operator!=()'],['../classSVF_1_1CxtThread.html#acee7934273db9dde73b25743ed4aa911',1,'SVF::CxtThread::operator!=()'],['../classSVF_1_1CxtProc.html#a1e9e5490dead73e1cd9ddd964848eb13',1,'SVF::CxtProc::operator!=()'],['../classSVF_1_1CxtThreadProc.html#a7f65ade2a231590c26643ef907061727',1,'SVF::CxtThreadProc::operator!=()'],['../classSVF_1_1DPItem.html#add804064ca2bfaa16bcc25503698a1ea',1,'SVF::DPItem::operator!=()'],['../classSVF_1_1StmtDPItem.html#ab89875a3b692ed348b1b28bb9a173254',1,'SVF::StmtDPItem::operator!=()'],['../classSVF_1_1ContextCond.html#a357317ef5f0a848a30eb38eec8c8a0f8',1,'SVF::ContextCond::operator!=()'],['../classSVF_1_1CxtStmtDPItem.html#a2cab28448a57f568ac7c3ff43af0d60d',1,'SVF::CxtStmtDPItem::operator!=()'],['../classSVF_1_1CxtDPItem.html#ac4c40bac3d914c61db60751503201c57',1,'SVF::CxtDPItem::operator!=()'],['../classSVF_1_1ExeState.html#a4ee62e9c0cc0eb34c72effc2c203506a',1,'SVF::ExeState::operator!=()'],['../classSVF_1_1SVFValue.html#ac64744d3e0c41be76ceef4b5715050b5',1,'SVF::SVFValue::operator!=()']]],
+  ['operator_21_3d',['operator!=',['../classSVF_1_1CondVar.html#a50321e5ead24c8a9d6c58998072634f0',1,'SVF::CondVar::operator!=()'],['../classSVF_1_1CondStdSet.html#a060a01d33fcd5ed4dfcaecb3d24cda07',1,'SVF::CondStdSet::operator!=()'],['../classSVF_1_1CondPointsToSet.html#af06ca0ddfcdca69199fbc9ab42f98558',1,'SVF::CondPointsToSet::operator!=()'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a4b1e8adca9e8d1b046930e9d2abeb08f',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator!=(int val)'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a82068bca4dfc43402625638dcd1b9775',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator!=(const CondPtsSetIterator &RHS) const'],['../classSVF_1_1PointsTo.html#a888f05fe8da4b95c44226f3c69469c75',1,'SVF::PointsTo::operator!=()'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aa90476b4c0e75a256f8ff855f99ca970',1,'SVF::PointsTo::PointsToIterator::operator!=()'],['../classSVF_1_1SVFGNodeLockSpan.html#afa11dc0e8124bb36bfb404bfd94f4b40',1,'SVF::SVFGNodeLockSpan::operator!=()'],['../classSVF_1_1PTASCEV.html#a0541ce30f889355425d2aaeedbc857b9',1,'SVF::PTASCEV::operator!=()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#ab831157001de89b02c7df98a9b513e9c',1,'llvm::generic_bridge_gep_type_iterator::operator!=()'],['../classSVF_1_1CallSite.html#a44d8147b8b6d54e05a7108858dbaa7c6',1,'SVF::CallSite::operator!=()'],['../classSVF_1_1CoreBitVector.html#af142d3bb07e77c28bba6ece5b5b13f51',1,'SVF::CoreBitVector::operator!=()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aebdb5ddb9b50704f83dc924b7bfac74c',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator!=()'],['../classSVF_1_1CxtStmt.html#a2a9aa82c6d4b95c6f1af0332666d8070',1,'SVF::CxtStmt::operator!=()'],['../classSVF_1_1CxtThreadStmt.html#ab900fccf35773064aae491d552df3825',1,'SVF::CxtThreadStmt::operator!=()'],['../classSVF_1_1CxtThread.html#acee7934273db9dde73b25743ed4aa911',1,'SVF::CxtThread::operator!=()'],['../classSVF_1_1CxtProc.html#a1e9e5490dead73e1cd9ddd964848eb13',1,'SVF::CxtProc::operator!=()'],['../classSVF_1_1CxtThreadProc.html#a7f65ade2a231590c26643ef907061727',1,'SVF::CxtThreadProc::operator!=()'],['../classSVF_1_1DPItem.html#add804064ca2bfaa16bcc25503698a1ea',1,'SVF::DPItem::operator!=()'],['../classSVF_1_1StmtDPItem.html#ab89875a3b692ed348b1b28bb9a173254',1,'SVF::StmtDPItem::operator!=()'],['../classSVF_1_1ContextCond.html#a357317ef5f0a848a30eb38eec8c8a0f8',1,'SVF::ContextCond::operator!=()'],['../classSVF_1_1CxtStmtDPItem.html#a2cab28448a57f568ac7c3ff43af0d60d',1,'SVF::CxtStmtDPItem::operator!=()'],['../classSVF_1_1CxtDPItem.html#ac4c40bac3d914c61db60751503201c57',1,'SVF::CxtDPItem::operator!=()'],['../classSVF_1_1ExeState.html#a4ee62e9c0cc0eb34c72effc2c203506a',1,'SVF::ExeState::operator!=()'],['../classSVF_1_1SVFValue.html#ac64744d3e0c41be76ceef4b5715050b5',1,'SVF::SVFValue::operator!=()'],['../classSVF_1_1SymState.html#a6f3c1b4c3be13c65609a9de4d19f71ba',1,'SVF::SymState::operator!=()']]],
   ['operator_26_3d',['operator&=',['../classSVF_1_1CondPointsToSet.html#ab86fdf68183d05f66e1405c6346038c4',1,'SVF::CondPointsToSet']]],
-  ['operator_28_29',['operator()',['../structSVF_1_1GenericEdge_1_1equalGEdge.html#ac4654da03578f3ab8183b10f98a27f62',1,'SVF::GenericEdge::equalGEdge::operator()()'],['../structstd_1_1hash_3_01const_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html#ae66ac1a976e498f88e382988f17b4df5',1,'std::hash< const SVF::CondVar< Cond > >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html#ac9b6dd9b7dd77c0303c1f4f5877d87db',1,'std::hash< SVF::CondVar< Cond > >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html#a0d50f7a011b2174e5c8064a8b03f8529',1,'std::hash< SVF::CondStdSet< Element > >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html#a701401db0e876205424e9cc797fb5984',1,'std::hash< SVF::LocationSet >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1PointsTo_01_4.html#a34dcd2ff517e67b98ec26e4957931367',1,'std::hash< SVF::PointsTo >::operator()()'],['../structSVF_1_1MemRegion_1_1equalMemRegion.html#a3cd8165dfa543312d2b3bfa798b6154b',1,'SVF::MemRegion::equalMemRegion::operator()()'],['../structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html#a7854984f902d9a42c6d4e095de8464a7',1,'std::hash< SVF::SVFGNodeLockSpan >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html#a6ed3f621cd155faae27cbd844338409a',1,'std::hash< SVF::CallSite >::operator()()'],['../structSVF_1_1Hash_3_01CoreBitVector_01_4.html#ad54ea05fd0e03af862a5d72f8c4db411',1,'SVF::Hash< CoreBitVector >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtThread_01_4.html#acba6d528a8f587af9bc95f4b5aa4e201',1,'std::hash< SVF::CxtThread >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtThreadProc_01_4.html#aa88f8da2c709601e69e309604a384863',1,'std::hash< SVF::CxtThreadProc >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtThreadStmt_01_4.html#ae4d5049073212fdd47fb976585653c26',1,'std::hash< SVF::CxtThreadStmt >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html#ad7e6b6c9db44d924cdef8b99394fd5bb',1,'std::hash< SVF::CxtStmt >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html#a318fb6797f07e8d780c949ad673cfae8',1,'std::hash< SVF::CxtProc >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtDPItem_01_4.html#af1d24d13fd5262019f58882dc53e83cc',1,'std::hash< SVF::CxtDPItem >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html#a265e5b7b0b4e15c14f1cc93ec4fc2267',1,'std::hash< SVF::StmtDPItem< LocCond > >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtStmtDPItem_3_01LocCond_01_4_01_4.html#aef0a2fe42410e3364dc66ddfa93ccf52',1,'std::hash< SVF::CxtStmtDPItem< LocCond > >::operator()()'],['../structstd_1_1hash_3_01const_01SVF_1_1ContextCond_01_4.html#a225b0bd057a9d76d7436eae4a6b5baa0',1,'std::hash< const SVF::ContextCond >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1ContextCond_01_4.html#a40f9a910c62fa0cbdca9a5a31e958709',1,'std::hash< SVF::ContextCond >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html#a99f262842505ca11c987d68a790aee10',1,'std::hash< SVF::ExeState >::operator()()'],['../structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#a8bc94a83d93639b91f9e02dfdd93d8be',1,'SVF::Hash< std::pair< S, T > >::operator()()'],['../structSVF_1_1Hash.html#aad49eec16cfdd4d3423f27666d5f28ff',1,'SVF::Hash::operator()()'],['../structSVF_1_1Hash_3_01NodePair_01_4.html#a57f65bc02efb8b1d4905030ef437df3e',1,'SVF::Hash< NodePair >::operator()()'],['../classSVF_1_1SVFValue.html#abaa61e04b128feff7216d3ecdf4feefa',1,'SVF::SVFValue::operator()()'],['../structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html#a33d0d439057cbfab969516ea6a976aae',1,'std::hash< SVF::NodePair >::operator()()'],['../structstd_1_1hash_3_01llvm_1_1SparseBitVector_3_01N_01_4_01_4.html#ae6df53599aefcd010d7e3fd6bf95bdb6',1,'std::hash< llvm::SparseBitVector< N > >::operator()()'],['../structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html#a921ca626d87c3eed7b71210cfc24d0dd',1,'std::hash< std::vector< T > >::operator()()'],['../structSVF_1_1SVFUtil_1_1equalPointsTo.html#a4a7e42b2cca7e54766ce7657fefb91f9',1,'SVF::SVFUtil::equalPointsTo::operator()()'],['../structSVF_1_1SVFUtil_1_1equalNodeBS.html#a023a5352ff198ab9f2e0dbc2a5eadc9e',1,'SVF::SVFUtil::equalNodeBS::operator()()'],['../structstd_1_1hash_3_01SVF_1_1Z3Expr_01_4.html#a5f22ba479b6e05b6d3932d65c7034ade',1,'std::hash< SVF::Z3Expr >::operator()()']]],
+  ['operator_28_29',['operator()',['../structSVF_1_1GenericEdge_1_1equalGEdge.html#ac4654da03578f3ab8183b10f98a27f62',1,'SVF::GenericEdge::equalGEdge::operator()()'],['../structstd_1_1hash_3_01const_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html#ae66ac1a976e498f88e382988f17b4df5',1,'std::hash< const SVF::CondVar< Cond > >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html#ac9b6dd9b7dd77c0303c1f4f5877d87db',1,'std::hash< SVF::CondVar< Cond > >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html#a0d50f7a011b2174e5c8064a8b03f8529',1,'std::hash< SVF::CondStdSet< Element > >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html#a701401db0e876205424e9cc797fb5984',1,'std::hash< SVF::LocationSet >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1PointsTo_01_4.html#a34dcd2ff517e67b98ec26e4957931367',1,'std::hash< SVF::PointsTo >::operator()()'],['../structSVF_1_1MemRegion_1_1equalMemRegion.html#a3cd8165dfa543312d2b3bfa798b6154b',1,'SVF::MemRegion::equalMemRegion::operator()()'],['../structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html#a7854984f902d9a42c6d4e095de8464a7',1,'std::hash< SVF::SVFGNodeLockSpan >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html#a6ed3f621cd155faae27cbd844338409a',1,'std::hash< SVF::CallSite >::operator()()'],['../structSVF_1_1Hash_3_01CoreBitVector_01_4.html#ad54ea05fd0e03af862a5d72f8c4db411',1,'SVF::Hash< CoreBitVector >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtThread_01_4.html#acba6d528a8f587af9bc95f4b5aa4e201',1,'std::hash< SVF::CxtThread >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtThreadProc_01_4.html#aa88f8da2c709601e69e309604a384863',1,'std::hash< SVF::CxtThreadProc >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtThreadStmt_01_4.html#ae4d5049073212fdd47fb976585653c26',1,'std::hash< SVF::CxtThreadStmt >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html#ad7e6b6c9db44d924cdef8b99394fd5bb',1,'std::hash< SVF::CxtStmt >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html#a318fb6797f07e8d780c949ad673cfae8',1,'std::hash< SVF::CxtProc >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtDPItem_01_4.html#af1d24d13fd5262019f58882dc53e83cc',1,'std::hash< SVF::CxtDPItem >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html#a265e5b7b0b4e15c14f1cc93ec4fc2267',1,'std::hash< SVF::StmtDPItem< LocCond > >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtStmtDPItem_3_01LocCond_01_4_01_4.html#aef0a2fe42410e3364dc66ddfa93ccf52',1,'std::hash< SVF::CxtStmtDPItem< LocCond > >::operator()()'],['../structstd_1_1hash_3_01const_01SVF_1_1ContextCond_01_4.html#a225b0bd057a9d76d7436eae4a6b5baa0',1,'std::hash< const SVF::ContextCond >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1ContextCond_01_4.html#a40f9a910c62fa0cbdca9a5a31e958709',1,'std::hash< SVF::ContextCond >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html#a99f262842505ca11c987d68a790aee10',1,'std::hash< SVF::ExeState >::operator()()'],['../structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#a8bc94a83d93639b91f9e02dfdd93d8be',1,'SVF::Hash< std::pair< S, T > >::operator()()'],['../structSVF_1_1Hash.html#aad49eec16cfdd4d3423f27666d5f28ff',1,'SVF::Hash::operator()()'],['../structSVF_1_1Hash_3_01NodePair_01_4.html#a57f65bc02efb8b1d4905030ef437df3e',1,'SVF::Hash< NodePair >::operator()()'],['../classSVF_1_1SVFValue.html#abaa61e04b128feff7216d3ecdf4feefa',1,'SVF::SVFValue::operator()()'],['../structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html#a33d0d439057cbfab969516ea6a976aae',1,'std::hash< SVF::NodePair >::operator()()'],['../structstd_1_1hash_3_01llvm_1_1SparseBitVector_3_01N_01_4_01_4.html#ae6df53599aefcd010d7e3fd6bf95bdb6',1,'std::hash< llvm::SparseBitVector< N > >::operator()()'],['../structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html#a921ca626d87c3eed7b71210cfc24d0dd',1,'std::hash< std::vector< T > >::operator()()'],['../structSVF_1_1SVFUtil_1_1equalPointsTo.html#a4a7e42b2cca7e54766ce7657fefb91f9',1,'SVF::SVFUtil::equalPointsTo::operator()()'],['../structSVF_1_1SVFUtil_1_1equalNodeBS.html#a023a5352ff198ab9f2e0dbc2a5eadc9e',1,'SVF::SVFUtil::equalNodeBS::operator()()'],['../structstd_1_1hash_3_01SVF_1_1SymState_01_4.html#aa1155bb32072fdffe0f7f28ee57eb36f',1,'std::hash< SVF::SymState >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1Z3Expr_01_4.html#a5f22ba479b6e05b6d3932d65c7034ade',1,'std::hash< SVF::Z3Expr >::operator()()']]],
   ['operator_2a',['operator*',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#aaaed8caef122453b5ff543826e1757e0',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator*()'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a06c8e8c242c5de90c307665f589e3180',1,'SVF::PointsTo::PointsToIterator::operator*()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#aef8babf0bd09f63692e99d3ec563b193',1,'llvm::generic_bridge_gep_type_iterator::operator*()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aec0b2c6ebcf16734a69a54613a18b33e',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator*()']]],
   ['operator_2b',['operator+',['../classSVF_1_1LocationSet.html#a67387c3b42fcc1bb3ee8fe85bda02ba8',1,'SVF::LocationSet']]],
   ['operator_2b_2b',['operator++',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#abd22ed3c5dc9f35968c9a179d292b764',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator++()'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a754d85d463ebdbecfaab41aac106f14f',1,'SVF::PointsTo::PointsToIterator::operator++(void)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a94a195a13777028d5af16985e3fd5b73',1,'SVF::PointsTo::PointsToIterator::operator++(int)'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a4616da5f93bb639271c23f634e6e647e',1,'llvm::generic_bridge_gep_type_iterator::operator++()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a68eed6927bf5fb5cd6a6637d6c9cb300',1,'llvm::generic_bridge_gep_type_iterator::operator++(int)'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a0afff5162af357634e7213e85b5371c7',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator++(void)'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a943e3e32d7bf7c585ee841f2663992e8',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator++(int)']]],
   ['operator_2d',['operator-',['../namespaceSVF.html#a6c2f7ce4908d39a17b29830a2e4bd781',1,'SVF']]],
   ['operator_2d_3d',['operator-=',['../classSVF_1_1PointsTo.html#a21244b7b04d6aa01787a11d116bc9952',1,'SVF::PointsTo::operator-=()'],['../classSVF_1_1CoreBitVector.html#a5b87ae9d4a713483522666c893d7eac9',1,'SVF::CoreBitVector::operator-=()']]],
   ['operator_2d_3e',['operator->',['../classllvm_1_1generic__bridge__gep__type__iterator.html#a7407c9a10bc872bcf03a2a4e67c2c188',1,'llvm::generic_bridge_gep_type_iterator']]],
-  ['operator_3c',['operator<',['../classSVF_1_1CondVar.html#add10a9d6f6a49cbd5dd0f5d47c423d27',1,'SVF::CondVar::operator<()'],['../classSVF_1_1CondStdSet.html#ad3c38bb031419dd583a9cb0314e76afd',1,'SVF::CondStdSet::operator<()'],['../classSVF_1_1CondPointsToSet.html#a54d9d3f3a38bf4066cd930845f86a63c',1,'SVF::CondPointsToSet::operator<()'],['../classSVF_1_1LocationSet.html#a511e8324d88624013eed04e8c2a6cbc4',1,'SVF::LocationSet::operator<()'],['../classSVF_1_1MSSAMU.html#a838a4a7cd670eef1153701aef9871bcf',1,'SVF::MSSAMU::operator<()'],['../classSVF_1_1MSSADEF.html#ad24da3516c198ade16c6909c5222fd0f',1,'SVF::MSSADEF::operator<()'],['../classSVF_1_1SVFGNodeLockSpan.html#a6640840300cf03186ceb7a2dbc75e875',1,'SVF::SVFGNodeLockSpan::operator<()'],['../classSVF_1_1PTASCEV.html#ad85500e4caaa70ecacfdf5fbbbcc330e',1,'SVF::PTASCEV::operator<()'],['../classSVF_1_1CallSite.html#ab09ca7986f5b924b6c6b57e492f06c07',1,'SVF::CallSite::operator<()'],['../classSVF_1_1CxtStmt.html#a8492998e88e895945845f5c666e86888',1,'SVF::CxtStmt::operator<()'],['../classSVF_1_1CxtThreadStmt.html#affaa3bf793e1127a8333b6683ebb3fdd',1,'SVF::CxtThreadStmt::operator<()'],['../classSVF_1_1CxtThread.html#a60b5b1a47869964fc8b6a27a38d11ae8',1,'SVF::CxtThread::operator<()'],['../classSVF_1_1CxtProc.html#ab58a8dc44944ac2ab3280562a8306e7b',1,'SVF::CxtProc::operator<()'],['../classSVF_1_1CxtThreadProc.html#a4b8e4f182a34d078595ce0eb9ec94c6d',1,'SVF::CxtThreadProc::operator<()'],['../classSVF_1_1DPItem.html#a639c757076141a14bedc26c73f875ffe',1,'SVF::DPItem::operator<()'],['../classSVF_1_1StmtDPItem.html#af92976dc7a8785165cefb047e742cdf6',1,'SVF::StmtDPItem::operator<()'],['../classSVF_1_1ContextCond.html#a53e0a8ac864e15edf0de827bdbb4eb01',1,'SVF::ContextCond::operator<()'],['../classSVF_1_1CxtStmtDPItem.html#a307f95b6f22e0231a2da7b14a2db07cf',1,'SVF::CxtStmtDPItem::operator<()'],['../classSVF_1_1CxtDPItem.html#aa2841c6ef632e747357ebcde0118ec49',1,'SVF::CxtDPItem::operator<()'],['../classSVF_1_1ExeState.html#a10a12722f1974d466ef07a35d9dff108',1,'SVF::ExeState::operator<()']]],
+  ['operator_3c',['operator<',['../classSVF_1_1CondVar.html#add10a9d6f6a49cbd5dd0f5d47c423d27',1,'SVF::CondVar::operator<()'],['../classSVF_1_1CondStdSet.html#ad3c38bb031419dd583a9cb0314e76afd',1,'SVF::CondStdSet::operator<()'],['../classSVF_1_1CondPointsToSet.html#a54d9d3f3a38bf4066cd930845f86a63c',1,'SVF::CondPointsToSet::operator<()'],['../classSVF_1_1LocationSet.html#a511e8324d88624013eed04e8c2a6cbc4',1,'SVF::LocationSet::operator<()'],['../classSVF_1_1MSSAMU.html#a838a4a7cd670eef1153701aef9871bcf',1,'SVF::MSSAMU::operator<()'],['../classSVF_1_1MSSADEF.html#ad24da3516c198ade16c6909c5222fd0f',1,'SVF::MSSADEF::operator<()'],['../classSVF_1_1SVFGNodeLockSpan.html#a6640840300cf03186ceb7a2dbc75e875',1,'SVF::SVFGNodeLockSpan::operator<()'],['../classSVF_1_1PTASCEV.html#ad85500e4caaa70ecacfdf5fbbbcc330e',1,'SVF::PTASCEV::operator<()'],['../classSVF_1_1CallSite.html#ab09ca7986f5b924b6c6b57e492f06c07',1,'SVF::CallSite::operator<()'],['../classSVF_1_1CxtStmt.html#a8492998e88e895945845f5c666e86888',1,'SVF::CxtStmt::operator<()'],['../classSVF_1_1CxtThreadStmt.html#affaa3bf793e1127a8333b6683ebb3fdd',1,'SVF::CxtThreadStmt::operator<()'],['../classSVF_1_1CxtThread.html#a60b5b1a47869964fc8b6a27a38d11ae8',1,'SVF::CxtThread::operator<()'],['../classSVF_1_1CxtProc.html#ab58a8dc44944ac2ab3280562a8306e7b',1,'SVF::CxtProc::operator<()'],['../classSVF_1_1CxtThreadProc.html#a4b8e4f182a34d078595ce0eb9ec94c6d',1,'SVF::CxtThreadProc::operator<()'],['../classSVF_1_1DPItem.html#a639c757076141a14bedc26c73f875ffe',1,'SVF::DPItem::operator<()'],['../classSVF_1_1StmtDPItem.html#af92976dc7a8785165cefb047e742cdf6',1,'SVF::StmtDPItem::operator<()'],['../classSVF_1_1ContextCond.html#a53e0a8ac864e15edf0de827bdbb4eb01',1,'SVF::ContextCond::operator<()'],['../classSVF_1_1CxtStmtDPItem.html#a307f95b6f22e0231a2da7b14a2db07cf',1,'SVF::CxtStmtDPItem::operator<()'],['../classSVF_1_1CxtDPItem.html#aa2841c6ef632e747357ebcde0118ec49',1,'SVF::CxtDPItem::operator<()'],['../classSVF_1_1ExeState.html#a10a12722f1974d466ef07a35d9dff108',1,'SVF::ExeState::operator<()'],['../classSVF_1_1SymState.html#a4867a6662d75a6e3885be8d1fbd9af9f',1,'SVF::SymState::operator<()']]],
   ['operator_3c_3c',['operator<<',['../namespaceSVF.html#aec4534b227e8f43b9077e708b74817fa',1,'SVF::operator<<(std::ostream &o, const MRVer &mrver)'],['../namespaceSVF.html#af83f5c5c68cdb80576cdc1d62c01b207',1,'SVF::operator<<(OutStream &o, const std::pair< F, S > &var)']]],
-  ['operator_3d',['operator=',['../classSVF_1_1AddrCGEdge.html#a7f2959e08f010e5c30dcb76c6fbf6732',1,'SVF::AddrCGEdge::operator=()'],['../classSVF_1_1CopyCGEdge.html#a50348854a99591726e769078a8d2f703',1,'SVF::CopyCGEdge::operator=()'],['../classSVF_1_1StoreCGEdge.html#a51869681f10566da74de3fb461c7a7e0',1,'SVF::StoreCGEdge::operator=()'],['../classSVF_1_1LoadCGEdge.html#a079925b497671bd5ef60aae5d64fa443',1,'SVF::LoadCGEdge::operator=()'],['../classSVF_1_1GepCGEdge.html#ab9b230aa38c6fe45914cfb2c52c70e5b',1,'SVF::GepCGEdge::operator=()'],['../classSVF_1_1NormalGepCGEdge.html#a7f3a388e37e497fc5874e9f392901a39',1,'SVF::NormalGepCGEdge::operator=()'],['../classSVF_1_1VariantGepCGEdge.html#a4caf6f4b31b78ca02985fc4722d43522',1,'SVF::VariantGepCGEdge::operator=()'],['../classSVF_1_1LoadVFGNode.html#a8e42ee37ececc2391fc4d1ad1c24f13f',1,'SVF::LoadVFGNode::operator=()'],['../classSVF_1_1StoreVFGNode.html#a7f4de642d80c7b7335d7bb0c58adc7d4',1,'SVF::StoreVFGNode::operator=()'],['../classSVF_1_1CopyVFGNode.html#a9029b5166ae4e76a4506050c310a1f3a',1,'SVF::CopyVFGNode::operator=()'],['../classSVF_1_1CmpVFGNode.html#ae4984b52e88844a6c11732e9a6819fb2',1,'SVF::CmpVFGNode::operator=()'],['../classSVF_1_1BinaryOPVFGNode.html#a6e10436b82aa1e598f4ea9c06b5ef799',1,'SVF::BinaryOPVFGNode::operator=()'],['../classSVF_1_1UnaryOPVFGNode.html#a27af787da1d72bab2971dd237eaa9897',1,'SVF::UnaryOPVFGNode::operator=()'],['../classSVF_1_1BranchVFGNode.html#a3b05294417c222b3d0be2bf1d1b1e277',1,'SVF::BranchVFGNode::operator=()'],['../classSVF_1_1GepVFGNode.html#acacfe5f0a9f33dc4ca25e0926d0e7076',1,'SVF::GepVFGNode::operator=()'],['../classSVF_1_1AddrVFGNode.html#ae15cb791d45cfde3ba9be8779d843a66',1,'SVF::AddrVFGNode::operator=()'],['../classSVF_1_1ActualRetVFGNode.html#a4549da69c84064b914e9b4df9350ab6f',1,'SVF::ActualRetVFGNode::operator=()'],['../classSVF_1_1FormalRetVFGNode.html#a599d139a7973dfc09c5db18a60aba3dd',1,'SVF::FormalRetVFGNode::operator=()'],['../classSVF_1_1CondVar.html#a90d6c2204c92db5c78991e6dfdcc5c80',1,'SVF::CondVar::operator=()'],['../classSVF_1_1CondStdSet.html#a9fa868a473993d0244431d640799ce98',1,'SVF::CondStdSet::operator=()'],['../classSVF_1_1CondPointsToSet.html#a42056d7b29e50a3ed8a8db95674d24b2',1,'SVF::CondPointsToSet::operator=()'],['../classSVF_1_1LocationSet.html#a15975ec54c93c39fb1ed59599e5ec107',1,'SVF::LocationSet::operator=()'],['../classSVF_1_1PointsTo.html#a269d334618e4acc7e739317fd58d7fe7',1,'SVF::PointsTo::operator=(const PointsTo &rhs)'],['../classSVF_1_1PointsTo.html#ab06c71c3d1ab7ef2a67fc00b42f4be72',1,'SVF::PointsTo::operator=(PointsTo &&rhs)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#acbbcff746f7f0dc37815e688e9172f21',1,'SVF::PointsTo::PointsToIterator::operator=(const PointsToIterator &rhs)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ac35de79e5c5d48d7f8f6f22e8450a0f6',1,'SVF::PointsTo::PointsToIterator::operator=(PointsToIterator &&rhs)'],['../classSVF_1_1AssignStmt.html#ad468b35277ddf0a084271578766c36a1',1,'SVF::AssignStmt::operator=()'],['../classSVF_1_1AddrStmt.html#a1fe5489d6b941f5de3f3eeea63818dae',1,'SVF::AddrStmt::operator=()'],['../classSVF_1_1CopyStmt.html#a96205e0ffb3001de306e856090dbf277',1,'SVF::CopyStmt::operator=()'],['../classSVF_1_1StoreStmt.html#abc2f677257ce4656f1da4373d6a016ef',1,'SVF::StoreStmt::operator=()'],['../classSVF_1_1LoadStmt.html#afd0b942170ec3aa8f44a6c5cc422a69d',1,'SVF::LoadStmt::operator=()'],['../classSVF_1_1GepStmt.html#aad988829009a31f173e3908461e3a7e8',1,'SVF::GepStmt::operator=()'],['../classSVF_1_1CallPE.html#a9ea8ddb83c64889c3baa128b72ff7207',1,'SVF::CallPE::operator=()'],['../classSVF_1_1RetPE.html#acb2a5e66fab9f95278c44344d268f465',1,'SVF::RetPE::operator=()'],['../classSVF_1_1MultiOpndStmt.html#afbd0d606112605bf355f4a9de6b44406',1,'SVF::MultiOpndStmt::operator=()'],['../classSVF_1_1PhiStmt.html#a331c7e14409b2d78881a0ec8932c1170',1,'SVF::PhiStmt::operator=()'],['../classSVF_1_1SelectStmt.html#ae3dd9ff3908218082b8c71c0ec7ef252',1,'SVF::SelectStmt::operator=()'],['../classSVF_1_1CmpStmt.html#a73b976659b9437c33297fc14c55a3034',1,'SVF::CmpStmt::operator=()'],['../classSVF_1_1BinaryOPStmt.html#a987a69ea0cfc4b96adad22be810495b1',1,'SVF::BinaryOPStmt::operator=()'],['../classSVF_1_1UnaryOPStmt.html#a58a341847b24cfaf98ab7e82008bc018',1,'SVF::UnaryOPStmt::operator=()'],['../classSVF_1_1BranchStmt.html#a4d89147be6703c297709cfe03c4b202b',1,'SVF::BranchStmt::operator=()'],['../classSVF_1_1TDForkPE.html#a3c6cc8db894e2c4cb62262fdd556e58f',1,'SVF::TDForkPE::operator=()'],['../classSVF_1_1TDJoinPE.html#a4e4d2ac2888d9e1c02bb62f0a40bd0e2',1,'SVF::TDJoinPE::operator=()'],['../classSVF_1_1StInfo.html#a99cc762e18baa226ee3e8f928ee048aa',1,'SVF::StInfo::operator=()'],['../classSVF_1_1SVFGNodeLockSpan.html#afa2d1f6997dd5f06b4efe75f8145932e',1,'SVF::SVFGNodeLockSpan::operator=()'],['../classSVF_1_1PTASCEV.html#a144e7fa8c5f4987067914416a85656ca',1,'SVF::PTASCEV::operator=()'],['../classSVF_1_1BitVector.html#a5e537ecf471af33c08752eb9d55f1910',1,'SVF::BitVector::operator=(const BitVector &rhs)'],['../classSVF_1_1BitVector.html#af5bd38d3b667a8740aaf309f6ef13369',1,'SVF::BitVector::operator=(BitVector &&rhs)'],['../classSVF_1_1CoreBitVector.html#a3594d997fba0aa6201855199a884d98d',1,'SVF::CoreBitVector::operator=(const CoreBitVector &rhs)'],['../classSVF_1_1CoreBitVector.html#ae14cc9ce0abbad20636c51e6ca781305',1,'SVF::CoreBitVector::operator=(CoreBitVector &&rhs)'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#adb5a17e5916052f49390d6e99ff47b22',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator=(const CoreBitVectorIterator &cbv)=default'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1d19b0a8fd137d6598d1f11ef031930b',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator=(CoreBitVectorIterator &&cbv)=default'],['../classSVF_1_1CxtStmt.html#a4f431c7b6f3434eff34b4cea6853066b',1,'SVF::CxtStmt::operator=()'],['../classSVF_1_1CxtThreadStmt.html#a894849e24d01f80463a207e0c8f2548f',1,'SVF::CxtThreadStmt::operator=()'],['../classSVF_1_1CxtThread.html#a3c22e59962a9c638a0f1b516c25aec8f',1,'SVF::CxtThread::operator=()'],['../classSVF_1_1CxtProc.html#a617c7ee432ac89cf419dfad47854e3a5',1,'SVF::CxtProc::operator=()'],['../classSVF_1_1CxtThreadProc.html#a439a27864cb18accba5f8fe706c1e74b',1,'SVF::CxtThreadProc::operator=()'],['../classSVF_1_1DPItem.html#a10226d37dfef045bec9f7cfb78315440',1,'SVF::DPItem::operator=()'],['../classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499',1,'SVF::StmtDPItem::operator=()'],['../classSVF_1_1ContextCond.html#ae4d1bb47d0c8ef4d8b31ffaeb83edf04',1,'SVF::ContextCond::operator=()'],['../classSVF_1_1CxtStmtDPItem.html#aef8f7d034bdd10730e3ff1a2ae52350c',1,'SVF::CxtStmtDPItem::operator=()'],['../classSVF_1_1CxtDPItem.html#abe0913f8d672a079fa674dbcc3e1b3db',1,'SVF::CxtDPItem::operator=()'],['../classSVF_1_1ExeState.html#a0c6a0cd40fc94cc2c3829d6ae0a21270',1,'SVF::ExeState::operator=()'],['../classSVF_1_1Z3Expr.html#a3bd99446d5e56e704d812bd0d1f36a85',1,'SVF::Z3Expr::operator=()']]],
-  ['operator_3d_3d',['operator==',['../classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858',1,'SVF::GenericEdge::operator==()'],['../classSVF_1_1CondVar.html#a7faf827845c5e820f1b63ce6523bc2a9',1,'SVF::CondVar::operator==()'],['../classSVF_1_1CondStdSet.html#a6697d9c3d1107db2be430b8e8b670cb5',1,'SVF::CondStdSet::operator==()'],['../classSVF_1_1CondPointsToSet.html#abe02e0bdcfddde7251b7d35e916c8f02',1,'SVF::CondPointsToSet::operator==()'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ab069959f9b4b2a0e1441281acb666a60',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator==()'],['../classSVF_1_1LocationSet.html#a1b141afb9a38d12423f66b2dfe6bf232',1,'SVF::LocationSet::operator==()'],['../classSVF_1_1PointsTo.html#a6b29626e4e4298943d2ad839f06db83e',1,'SVF::PointsTo::operator==()'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aef4e1b40faa327f8bbf42a82df29c7b4',1,'SVF::PointsTo::PointsToIterator::operator==()'],['../classSVF_1_1MemObj.html#a1a8601b72b6e6df211db1fffdd54c48b',1,'SVF::MemObj::operator==()'],['../classSVF_1_1MemRegion.html#affa3a8efd91faf5704e514f1e83fead9',1,'SVF::MemRegion::operator==()'],['../classSVF_1_1SVFGNodeLockSpan.html#a880f9eec9d0c4835b7a524eeb801396d',1,'SVF::SVFGNodeLockSpan::operator==()'],['../classSVF_1_1PTASCEV.html#a71c30ee51274f2d9b3c202d06f1443f4',1,'SVF::PTASCEV::operator==()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a1f0e8716ad7ff580240f81db1228a690',1,'llvm::generic_bridge_gep_type_iterator::operator==()'],['../classSVF_1_1CallSite.html#aa9b62205a5b63384042d9431a01f03ec',1,'SVF::CallSite::operator==()'],['../classSVF_1_1CoreBitVector.html#a0ddd7fc5e043d36f3c62c2fb93b22684',1,'SVF::CoreBitVector::operator==()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a7278c27a0ab2096b29a537a8afe0be5e',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator==()'],['../classSVF_1_1CxtStmt.html#af7b0afe54ce69ec8f753d701818a7eca',1,'SVF::CxtStmt::operator==()'],['../classSVF_1_1CxtThreadStmt.html#af8f221ea17599dfb678922e1bad37f35',1,'SVF::CxtThreadStmt::operator==()'],['../classSVF_1_1CxtThread.html#ae39e05ed7673a566708cec682d9b5d24',1,'SVF::CxtThread::operator==()'],['../classSVF_1_1CxtProc.html#a7e019158f464401c6d7fc5676d48d69c',1,'SVF::CxtProc::operator==()'],['../classSVF_1_1CxtThreadProc.html#aef53ca59b8cbd614b28350d12113e3c4',1,'SVF::CxtThreadProc::operator==()'],['../classSVF_1_1DPItem.html#ad67fcd340351360555b0cb88f57b183a',1,'SVF::DPItem::operator==()'],['../classSVF_1_1StmtDPItem.html#afd63ae0d881101d6c61709b9ac25dbf8',1,'SVF::StmtDPItem::operator==()'],['../classSVF_1_1ContextCond.html#a69b8789b4815f2958afe67028640bfc5',1,'SVF::ContextCond::operator==()'],['../classSVF_1_1CxtStmtDPItem.html#a201619b723a5548029dd7402e06608e7',1,'SVF::CxtStmtDPItem::operator==()'],['../classSVF_1_1CxtDPItem.html#a52003b33daa4902545159cf4e225d6ea',1,'SVF::CxtDPItem::operator==()'],['../classSVF_1_1ExeState.html#a0e4c8a41aa861ff2862d8b620c902f21',1,'SVF::ExeState::operator==()'],['../classSVF_1_1SVFValue.html#aa171d1126f4ac00c3310d58d9b77c587',1,'SVF::SVFValue::operator==()']]],
+  ['operator_3d',['operator=',['../classSVF_1_1AddrCGEdge.html#a7f2959e08f010e5c30dcb76c6fbf6732',1,'SVF::AddrCGEdge::operator=()'],['../classSVF_1_1CopyCGEdge.html#a50348854a99591726e769078a8d2f703',1,'SVF::CopyCGEdge::operator=()'],['../classSVF_1_1StoreCGEdge.html#a51869681f10566da74de3fb461c7a7e0',1,'SVF::StoreCGEdge::operator=()'],['../classSVF_1_1LoadCGEdge.html#a079925b497671bd5ef60aae5d64fa443',1,'SVF::LoadCGEdge::operator=()'],['../classSVF_1_1GepCGEdge.html#ab9b230aa38c6fe45914cfb2c52c70e5b',1,'SVF::GepCGEdge::operator=()'],['../classSVF_1_1NormalGepCGEdge.html#a7f3a388e37e497fc5874e9f392901a39',1,'SVF::NormalGepCGEdge::operator=()'],['../classSVF_1_1VariantGepCGEdge.html#a4caf6f4b31b78ca02985fc4722d43522',1,'SVF::VariantGepCGEdge::operator=()'],['../classSVF_1_1LoadVFGNode.html#a8e42ee37ececc2391fc4d1ad1c24f13f',1,'SVF::LoadVFGNode::operator=()'],['../classSVF_1_1StoreVFGNode.html#a7f4de642d80c7b7335d7bb0c58adc7d4',1,'SVF::StoreVFGNode::operator=()'],['../classSVF_1_1CopyVFGNode.html#a9029b5166ae4e76a4506050c310a1f3a',1,'SVF::CopyVFGNode::operator=()'],['../classSVF_1_1CmpVFGNode.html#ae4984b52e88844a6c11732e9a6819fb2',1,'SVF::CmpVFGNode::operator=()'],['../classSVF_1_1BinaryOPVFGNode.html#a6e10436b82aa1e598f4ea9c06b5ef799',1,'SVF::BinaryOPVFGNode::operator=()'],['../classSVF_1_1UnaryOPVFGNode.html#a27af787da1d72bab2971dd237eaa9897',1,'SVF::UnaryOPVFGNode::operator=()'],['../classSVF_1_1BranchVFGNode.html#a3b05294417c222b3d0be2bf1d1b1e277',1,'SVF::BranchVFGNode::operator=()'],['../classSVF_1_1GepVFGNode.html#acacfe5f0a9f33dc4ca25e0926d0e7076',1,'SVF::GepVFGNode::operator=()'],['../classSVF_1_1AddrVFGNode.html#ae15cb791d45cfde3ba9be8779d843a66',1,'SVF::AddrVFGNode::operator=()'],['../classSVF_1_1ActualRetVFGNode.html#a4549da69c84064b914e9b4df9350ab6f',1,'SVF::ActualRetVFGNode::operator=()'],['../classSVF_1_1FormalRetVFGNode.html#a599d139a7973dfc09c5db18a60aba3dd',1,'SVF::FormalRetVFGNode::operator=()'],['../classSVF_1_1CondVar.html#a90d6c2204c92db5c78991e6dfdcc5c80',1,'SVF::CondVar::operator=()'],['../classSVF_1_1CondStdSet.html#a9fa868a473993d0244431d640799ce98',1,'SVF::CondStdSet::operator=()'],['../classSVF_1_1CondPointsToSet.html#a42056d7b29e50a3ed8a8db95674d24b2',1,'SVF::CondPointsToSet::operator=()'],['../classSVF_1_1LocationSet.html#a15975ec54c93c39fb1ed59599e5ec107',1,'SVF::LocationSet::operator=()'],['../classSVF_1_1PointsTo.html#a269d334618e4acc7e739317fd58d7fe7',1,'SVF::PointsTo::operator=(const PointsTo &rhs)'],['../classSVF_1_1PointsTo.html#ab06c71c3d1ab7ef2a67fc00b42f4be72',1,'SVF::PointsTo::operator=(PointsTo &&rhs)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#acbbcff746f7f0dc37815e688e9172f21',1,'SVF::PointsTo::PointsToIterator::operator=(const PointsToIterator &rhs)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ac35de79e5c5d48d7f8f6f22e8450a0f6',1,'SVF::PointsTo::PointsToIterator::operator=(PointsToIterator &&rhs)'],['../classSVF_1_1AssignStmt.html#ad468b35277ddf0a084271578766c36a1',1,'SVF::AssignStmt::operator=()'],['../classSVF_1_1AddrStmt.html#a1fe5489d6b941f5de3f3eeea63818dae',1,'SVF::AddrStmt::operator=()'],['../classSVF_1_1CopyStmt.html#a96205e0ffb3001de306e856090dbf277',1,'SVF::CopyStmt::operator=()'],['../classSVF_1_1StoreStmt.html#abc2f677257ce4656f1da4373d6a016ef',1,'SVF::StoreStmt::operator=()'],['../classSVF_1_1LoadStmt.html#afd0b942170ec3aa8f44a6c5cc422a69d',1,'SVF::LoadStmt::operator=()'],['../classSVF_1_1GepStmt.html#aad988829009a31f173e3908461e3a7e8',1,'SVF::GepStmt::operator=()'],['../classSVF_1_1CallPE.html#a9ea8ddb83c64889c3baa128b72ff7207',1,'SVF::CallPE::operator=()'],['../classSVF_1_1RetPE.html#acb2a5e66fab9f95278c44344d268f465',1,'SVF::RetPE::operator=()'],['../classSVF_1_1MultiOpndStmt.html#afbd0d606112605bf355f4a9de6b44406',1,'SVF::MultiOpndStmt::operator=()'],['../classSVF_1_1PhiStmt.html#a331c7e14409b2d78881a0ec8932c1170',1,'SVF::PhiStmt::operator=()'],['../classSVF_1_1SelectStmt.html#ae3dd9ff3908218082b8c71c0ec7ef252',1,'SVF::SelectStmt::operator=()'],['../classSVF_1_1CmpStmt.html#a73b976659b9437c33297fc14c55a3034',1,'SVF::CmpStmt::operator=()'],['../classSVF_1_1BinaryOPStmt.html#a987a69ea0cfc4b96adad22be810495b1',1,'SVF::BinaryOPStmt::operator=()'],['../classSVF_1_1UnaryOPStmt.html#a58a341847b24cfaf98ab7e82008bc018',1,'SVF::UnaryOPStmt::operator=()'],['../classSVF_1_1BranchStmt.html#a4d89147be6703c297709cfe03c4b202b',1,'SVF::BranchStmt::operator=()'],['../classSVF_1_1TDForkPE.html#a3c6cc8db894e2c4cb62262fdd556e58f',1,'SVF::TDForkPE::operator=()'],['../classSVF_1_1TDJoinPE.html#a4e4d2ac2888d9e1c02bb62f0a40bd0e2',1,'SVF::TDJoinPE::operator=()'],['../classSVF_1_1StInfo.html#a99cc762e18baa226ee3e8f928ee048aa',1,'SVF::StInfo::operator=()'],['../classSVF_1_1SVFGNodeLockSpan.html#afa2d1f6997dd5f06b4efe75f8145932e',1,'SVF::SVFGNodeLockSpan::operator=()'],['../classSVF_1_1PTASCEV.html#a144e7fa8c5f4987067914416a85656ca',1,'SVF::PTASCEV::operator=()'],['../classSVF_1_1BitVector.html#a5e537ecf471af33c08752eb9d55f1910',1,'SVF::BitVector::operator=(const BitVector &rhs)'],['../classSVF_1_1BitVector.html#af5bd38d3b667a8740aaf309f6ef13369',1,'SVF::BitVector::operator=(BitVector &&rhs)'],['../classSVF_1_1CoreBitVector.html#a3594d997fba0aa6201855199a884d98d',1,'SVF::CoreBitVector::operator=(const CoreBitVector &rhs)'],['../classSVF_1_1CoreBitVector.html#ae14cc9ce0abbad20636c51e6ca781305',1,'SVF::CoreBitVector::operator=(CoreBitVector &&rhs)'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#adb5a17e5916052f49390d6e99ff47b22',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator=(const CoreBitVectorIterator &cbv)=default'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1d19b0a8fd137d6598d1f11ef031930b',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator=(CoreBitVectorIterator &&cbv)=default'],['../classSVF_1_1CxtStmt.html#a4f431c7b6f3434eff34b4cea6853066b',1,'SVF::CxtStmt::operator=()'],['../classSVF_1_1CxtThreadStmt.html#a894849e24d01f80463a207e0c8f2548f',1,'SVF::CxtThreadStmt::operator=()'],['../classSVF_1_1CxtThread.html#a3c22e59962a9c638a0f1b516c25aec8f',1,'SVF::CxtThread::operator=()'],['../classSVF_1_1CxtProc.html#a617c7ee432ac89cf419dfad47854e3a5',1,'SVF::CxtProc::operator=()'],['../classSVF_1_1CxtThreadProc.html#a439a27864cb18accba5f8fe706c1e74b',1,'SVF::CxtThreadProc::operator=()'],['../classSVF_1_1DPItem.html#a10226d37dfef045bec9f7cfb78315440',1,'SVF::DPItem::operator=()'],['../classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499',1,'SVF::StmtDPItem::operator=()'],['../classSVF_1_1ContextCond.html#ae4d1bb47d0c8ef4d8b31ffaeb83edf04',1,'SVF::ContextCond::operator=()'],['../classSVF_1_1CxtStmtDPItem.html#aef8f7d034bdd10730e3ff1a2ae52350c',1,'SVF::CxtStmtDPItem::operator=()'],['../classSVF_1_1CxtDPItem.html#abe0913f8d672a079fa674dbcc3e1b3db',1,'SVF::CxtDPItem::operator=()'],['../classSVF_1_1ExeState.html#a0c6a0cd40fc94cc2c3829d6ae0a21270',1,'SVF::ExeState::operator=()'],['../classSVF_1_1SymState.html#a91f1ffdd197203bbb109a7853f5df00b',1,'SVF::SymState::operator=()'],['../classSVF_1_1Z3Expr.html#a3bd99446d5e56e704d812bd0d1f36a85',1,'SVF::Z3Expr::operator=()']]],
+  ['operator_3d_3d',['operator==',['../classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858',1,'SVF::GenericEdge::operator==()'],['../classSVF_1_1CondVar.html#a7faf827845c5e820f1b63ce6523bc2a9',1,'SVF::CondVar::operator==()'],['../classSVF_1_1CondStdSet.html#a6697d9c3d1107db2be430b8e8b670cb5',1,'SVF::CondStdSet::operator==()'],['../classSVF_1_1CondPointsToSet.html#abe02e0bdcfddde7251b7d35e916c8f02',1,'SVF::CondPointsToSet::operator==()'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ab069959f9b4b2a0e1441281acb666a60',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator==()'],['../classSVF_1_1LocationSet.html#a1b141afb9a38d12423f66b2dfe6bf232',1,'SVF::LocationSet::operator==()'],['../classSVF_1_1PointsTo.html#a6b29626e4e4298943d2ad839f06db83e',1,'SVF::PointsTo::operator==()'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aef4e1b40faa327f8bbf42a82df29c7b4',1,'SVF::PointsTo::PointsToIterator::operator==()'],['../classSVF_1_1MemObj.html#a1a8601b72b6e6df211db1fffdd54c48b',1,'SVF::MemObj::operator==()'],['../classSVF_1_1MemRegion.html#affa3a8efd91faf5704e514f1e83fead9',1,'SVF::MemRegion::operator==()'],['../classSVF_1_1SVFGNodeLockSpan.html#a880f9eec9d0c4835b7a524eeb801396d',1,'SVF::SVFGNodeLockSpan::operator==()'],['../classSVF_1_1PTASCEV.html#a71c30ee51274f2d9b3c202d06f1443f4',1,'SVF::PTASCEV::operator==()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a1f0e8716ad7ff580240f81db1228a690',1,'llvm::generic_bridge_gep_type_iterator::operator==()'],['../classSVF_1_1CallSite.html#aa9b62205a5b63384042d9431a01f03ec',1,'SVF::CallSite::operator==()'],['../classSVF_1_1CoreBitVector.html#a0ddd7fc5e043d36f3c62c2fb93b22684',1,'SVF::CoreBitVector::operator==()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a7278c27a0ab2096b29a537a8afe0be5e',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator==()'],['../classSVF_1_1CxtStmt.html#af7b0afe54ce69ec8f753d701818a7eca',1,'SVF::CxtStmt::operator==()'],['../classSVF_1_1CxtThreadStmt.html#af8f221ea17599dfb678922e1bad37f35',1,'SVF::CxtThreadStmt::operator==()'],['../classSVF_1_1CxtThread.html#ae39e05ed7673a566708cec682d9b5d24',1,'SVF::CxtThread::operator==()'],['../classSVF_1_1CxtProc.html#a7e019158f464401c6d7fc5676d48d69c',1,'SVF::CxtProc::operator==()'],['../classSVF_1_1CxtThreadProc.html#aef53ca59b8cbd614b28350d12113e3c4',1,'SVF::CxtThreadProc::operator==()'],['../classSVF_1_1DPItem.html#ad67fcd340351360555b0cb88f57b183a',1,'SVF::DPItem::operator==()'],['../classSVF_1_1StmtDPItem.html#afd63ae0d881101d6c61709b9ac25dbf8',1,'SVF::StmtDPItem::operator==()'],['../classSVF_1_1ContextCond.html#a69b8789b4815f2958afe67028640bfc5',1,'SVF::ContextCond::operator==()'],['../classSVF_1_1CxtStmtDPItem.html#a201619b723a5548029dd7402e06608e7',1,'SVF::CxtStmtDPItem::operator==()'],['../classSVF_1_1CxtDPItem.html#a52003b33daa4902545159cf4e225d6ea',1,'SVF::CxtDPItem::operator==()'],['../classSVF_1_1ExeState.html#a0e4c8a41aa861ff2862d8b620c902f21',1,'SVF::ExeState::operator==()'],['../classSVF_1_1SVFValue.html#aa171d1126f4ac00c3310d58d9b77c587',1,'SVF::SVFValue::operator==()'],['../classSVF_1_1SymState.html#af407d32bb8d293d43172a4ff450895e6',1,'SVF::SymState::operator==()']]],
   ['operator_5b_5d',['operator[]',['../classSVF_1_1ContextCond.html#a62cc1c7c01d454e9cbebd3f7f5f3aa1f',1,'SVF::ContextCond::operator[]()'],['../classSVF_1_1ExeState.html#af539858577135d706304bb0703f1530d',1,'SVF::ExeState::operator[]()']]],
   ['operator_7c',['operator|',['../namespaceSVF.html#aa01b96d5bc6c3930b0bfca789acf75c4',1,'SVF']]],
   ['operator_7c_3d',['operator|=',['../classSVF_1_1CondStdSet.html#a90e4c4ead1cbdca01c0be801a68b005b',1,'SVF::CondStdSet::operator|=()'],['../classSVF_1_1CondPointsToSet.html#a74c50cfaf788a828a4fc97eba703ec4e',1,'SVF::CondPointsToSet::operator|=()'],['../classSVF_1_1PointsTo.html#aa8644057ec182382e3c34e90d7d61ade',1,'SVF::PointsTo::operator|=(const PointsTo &rhs)'],['../classSVF_1_1PointsTo.html#a687b34cac3c43dd957b86a4833a24871',1,'SVF::PointsTo::operator|=(const NodeBS &rhs)'],['../classSVF_1_1CoreBitVector.html#af8e63360242a49fb63c3ef3d7071503d',1,'SVF::CoreBitVector::operator|=()']]],

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

@@ -36,7 +36,7 @@ var searchData=
   ['plainmap',['plainMap',['../classSVF_1_1FlowSensitive.html#a5a8688102f3675cf414b01dc2ae51c6b',1,'SVF::FlowSensitive']]],
   ['pmx',['PMX',['../cuddInt_8c.html#a6e6108316d27c8e3b393f65362e5e37b',1,'cuddInt.c']]],
   ['pointeranalysis',['PointerAnalysis',['../classSVF_1_1PointerAnalysis.html#a14e2a209cb594f91a24ef09b12f82f3f',1,'SVF::PointerAnalysis']]],
-  ['pointsto',['pointsTo',['../classSVF_1_1CondPointsToSet.html#a63f09ca69e00b317de29af6a6a12daac',1,'SVF::CondPointsToSet::pointsTo(void)'],['../classSVF_1_1CondPointsToSet.html#ada240bc77570174a1d17ac097583fa78',1,'SVF::CondPointsToSet::pointsTo(void) const'],['../classSVF_1_1CondPointsToSet.html#a03311162626acf16ad05b7b93248a92b',1,'SVF::CondPointsToSet::pointsTo(Cond cond) const'],['../classSVF_1_1CondPointsToSet.html#a8775ef2c073af6c8055c3f5b0035288f',1,'SVF::CondPointsToSet::pointsTo(Cond cond)'],['../classSVF_1_1PointsTo.html#a05aa807f21f311eb50ff11dde98b8d22',1,'SVF::PointsTo::PointsTo(void)'],['../classSVF_1_1PointsTo.html#acef2d3e41263aef641c3411e28ad445c',1,'SVF::PointsTo::PointsTo(const PointsTo &pt)'],['../classSVF_1_1PointsTo.html#a5ecef616428a70e8e7726406dfb43544',1,'SVF::PointsTo::PointsTo(PointsTo &&pt)']]],
+  ['pointsto',['PointsTo',['../classSVF_1_1PointsTo.html#a05aa807f21f311eb50ff11dde98b8d22',1,'SVF::PointsTo::PointsTo(void)'],['../classSVF_1_1PointsTo.html#acef2d3e41263aef641c3411e28ad445c',1,'SVF::PointsTo::PointsTo(const PointsTo &pt)'],['../classSVF_1_1PointsTo.html#a5ecef616428a70e8e7726406dfb43544',1,'SVF::PointsTo::PointsTo(PointsTo &&pt)'],['../classSVF_1_1CondPointsToSet.html#a63f09ca69e00b317de29af6a6a12daac',1,'SVF::CondPointsToSet::pointsTo(void)'],['../classSVF_1_1CondPointsToSet.html#ada240bc77570174a1d17ac097583fa78',1,'SVF::CondPointsToSet::pointsTo(void) const'],['../classSVF_1_1CondPointsToSet.html#a03311162626acf16ad05b7b93248a92b',1,'SVF::CondPointsToSet::pointsTo(Cond cond) const'],['../classSVF_1_1CondPointsToSet.html#a8775ef2c073af6c8055c3f5b0035288f',1,'SVF::CondPointsToSet::pointsTo(Cond cond)']]],
   ['pointstoiterator',['PointsToIterator',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a3974dee7680da3a43b58932766e77a16',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(void)=delete'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a19f371ccb5b1c84fb4adfd5b0c8a3eec',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(const PointsToIterator &pt)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#abe128c47fb16093756195f789e5f68d5',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(PointsToIterator &&pt)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ad9efcd9fb0c8201b9166a1560d06a71b',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(const PointsTo *pt, bool end=false)']]],
   ['pop',['pop',['../classSVF_1_1List.html#a6e85bd3d8b23ccc7752a72e2a5b171ab',1,'SVF::List::pop()'],['../classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6',1,'SVF::FIFOWorkList::pop()'],['../classSVF_1_1FILOWorkList.html#a3fd9acb6d09fd142bfd402fdf8cac93b',1,'SVF::FILOWorkList::pop()']]],
   ['popen',['popen',['../util_8h.html#a7a377e01cff8d8243569ddc8bfef959b',1,'util.h']]],

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

@@ -1,5 +1,6 @@
 var searchData=
 [
+  ['abstractstate',['AbstractState',['../classSVF_1_1SymState.html#a35c06eb5fb989cad705632a6ed2b70d4',1,'SVF::SymState']]],
   ['actualinsvfgnodeset',['ActualINSVFGNodeSet',['../classSVF_1_1SVFG.html#aa9f520779475e4783eccc45c460e346a',1,'SVF::SVFG']]],
   ['actualoutsvfgnodeset',['ActualOUTSVFGNodeSet',['../classSVF_1_1SVFG.html#a2f6ed8a9f14657abc1e2a89247a84b99',1,'SVF::SVFG']]],
   ['actualparmnodevec',['ActualParmNodeVec',['../classSVF_1_1CallICFGNode.html#aa9bdf2b575f08976dcd0ba815a70f841',1,'SVF::CallICFGNode']]],

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

@@ -61,7 +61,7 @@ var searchData=
   ['const_5finst_5fiterator',['const_inst_iterator',['../SVF-FE_2BasicTypes_8h.html#a9a4df49ba7ca3ad32d65e5ecf2dad707',1,'BasicTypes.h']]],
   ['const_5fiterator',['const_iterator',['../classSVF_1_1ConstraintNode.html#ab1868f04de44f6fe1e9ac14f3d4ee56b',1,'SVF::ConstraintNode::const_iterator()'],['../classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429',1,'SVF::GenericNode::const_iterator()'],['../classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97',1,'SVF::GenericGraph::const_iterator()'],['../classSVF_1_1ICFG.html#a94e4de04d8da10a19ab65c22e257b82b',1,'SVF::ICFG::const_iterator()'],['../classSVF_1_1ICFGNode.html#ac16c5a3227a44d3b9f7c3209156d9df2',1,'SVF::ICFGNode::const_iterator()'],['../classSVF_1_1PTACallGraphNode.html#adf17f5699c9f40ffc8837e813e3af3ec',1,'SVF::PTACallGraphNode::const_iterator()'],['../classSVF_1_1VFG.html#a225a91c04afac6a8fe198e9860890a52',1,'SVF::VFG::const_iterator()'],['../classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8',1,'SVF::VFGNode::const_iterator()'],['../classSVF_1_1CondStdSet.html#a55152b7749868cc25f1c3c33ea57a650',1,'SVF::CondStdSet::const_iterator()'],['../classSVF_1_1PointsTo.html#ad37fe6c7bb8b509a837348a12cab80c1',1,'SVF::PointsTo::const_iterator()'],['../classSVF_1_1CoreBitVector.html#a45a3bf8465e63f723c0a551f0b0f37ff',1,'SVF::CoreBitVector::const_iterator()'],['../classSVF_1_1ContextCond.html#a101bc917679a9d8ee7badb3c9e8c12e3',1,'SVF::ContextCond::const_iterator()'],['../classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1',1,'SVF::SVFModule::const_iterator()']]],
   ['const_5fpred_5fiterator',['const_pred_iterator',['../SVF-FE_2BasicTypes_8h.html#a45136b941670180e9ba248bb4e52f09f',1,'BasicTypes.h']]],
-  ['constant',['Constant',['../namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9',1,'SVF']]],
+  ['constant',['Constant',['../SVF-FE_2BasicTypes_8h.html#aaca93e4092f0f73619d730f18b9e65de',1,'BasicTypes.h']]],
   ['constantaggregate',['ConstantAggregate',['../SVF-FE_2BasicTypes_8h.html#a586975ac48ba33219a901c5d9453da2c',1,'BasicTypes.h']]],
   ['constantaggregatezero',['ConstantAggregateZero',['../SVF-FE_2BasicTypes_8h.html#ae4ed20ab05ea5735549d1ef4367735cd',1,'BasicTypes.h']]],
   ['constantarray',['ConstantArray',['../SVF-FE_2BasicTypes_8h.html#a9707880a0f9b41d3375e2feb7bc5ebc5',1,'BasicTypes.h']]],

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

@@ -1,5 +1,6 @@
 var searchData=
 [
+  ['absstate',['absState',['../classSVF_1_1SymState.html#ad36f290382c773fd4b2ce801bf45d708',1,'SVF::SymState']]],
   ['acache',['acache',['../structDdManager.html#a25fe7302c7986d5a67aea847af0d426a',1,'DdManager']]],
   ['accesspairs',['accessPairs',['../classSVF_1_1RaceResultValidator.html#a8436ecde1e34bca7cef86a320ad42162',1,'SVF::RaceResultValidator']]],
   ['actualintodefmap',['actualInToDefMap',['../classSVF_1_1SVFGOPT.html#a9741514d915bf7f14787cc346b9d7c98',1,'SVF::SVFGOPT']]],

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

@@ -28,7 +28,7 @@ var searchData=
   ['timeofcollapse',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
   ['timeofcreatemuchi',['TimeOfCreateMUCHI',['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()'],['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()']]],
   ['timeofgeneratingmemregions',['TimeOfGeneratingMemRegions',['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()']]],
-  ['timeofinsertingphi',['TimeOfInsertingPHI',['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()'],['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()']]],
+  ['timeofinsertingphi',['timeOfInsertingPHI',['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()'],['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()']]],
   ['timeofprocesscopygep',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
   ['timeofprocessloadstore',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
   ['timeofsccdetection',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],

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

@@ -27,6 +27,7 @@ var searchData=
   ['err',['err',['../structDdManager.html#a6b0364070de52e689fe3485a86bb2825',1,'DdManager']]],
   ['errorcode',['errorCode',['../structDdManager.html#ae0690f123fc2c3f0ca9a1cfd18923a37',1,'DdManager']]],
   ['evaltime',['EvalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1d98862e19affdd08740f85490d0d856',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['exestate',['exeState',['../classSVF_1_1SymState.html#ab9ee5f993809fc026ffd270b0e9a6db4',1,'SVF::SymState']]],
   ['exit',['exit',['../classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f',1,'SVF::RetPE']]],
   ['exponent',['exponent',['../structIeeeDoubleStruct.html#ae7281389e351ea2e0e577144746d76e2',1,'IeeeDoubleStruct::exponent()'],['../structIeeeNanStruct.html#aeb28a08581e489042de6f647eb431e5a',1,'IeeeNanStruct::exponent()'],['../structEpDoubleStruct.html#ae626888fe53c8c26d65d4fa519b906c6',1,'EpDoubleStruct::exponent()']]],
   ['extapi',['extAPI',['../classSVF_1_1ExtAPI.html#abe666dfdd9b3dea5ea89a5ed9ca4c618',1,'SVF::ExtAPI']]],

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

@@ -46,7 +46,7 @@ var searchData=
   ['lookups',['lookUps',['../structDdLocalCache.html#a8ead01c431438c3c6efd103adaeba0b8',1,'DdLocalCache']]],
   ['lookupunions',['lookupUnions',['../classSVF_1_1PersistentPointsToCache.html#ace976f138cf1b8ab6bbf7a5c5d0b60b8',1,'SVF::PersistentPointsToCache']]],
   ['loopanalysis',['LoopAnalysis',['../classSVF_1_1Options.html#a420e6656b02fd900430d51b8b4a5c6c1',1,'SVF::Options']]],
-  ['loopbound',['loopBound',['../classSVF_1_1SVFLoop.html#ac4e2c365e2a08477381802205029b85c',1,'SVF::SVFLoop::loopBound()'],['../classSVF_1_1Options.html#ab7161ca7a809792af82e5aabdfcc3bfb',1,'SVF::Options::LoopBound()']]],
+  ['loopbound',['LoopBound',['../classSVF_1_1Options.html#ab7161ca7a809792af82e5aabdfcc3bfb',1,'SVF::Options::LoopBound()'],['../classSVF_1_1SVFLoop.html#ac4e2c365e2a08477381802205029b85c',1,'SVF::SVFLoop::loopBound()']]],
   ['loopinfobuilder',['loopInfoBuilder',['../classSVF_1_1TCT.html#ae64d6203b41c92d4ca617b8e976b88b2',1,'SVF::TCT']]],
   ['looseupto',['looseUpTo',['../structDdManager.html#a08442885cc19bd4e63ee8ca294669efa',1,'DdManager']]],
   ['low',['low',['../structMtrNode.html#a589c940a5262c8da11bf843a369bb2db',1,'MtrNode']]],

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

@@ -106,7 +106,7 @@ var searchData=
   ['numofmhpld',['numOfMHPLd',['../classSVF_1_1MTAAnnotator.html#a29e0123620ab072fddc45331c6aa46e8',1,'SVF::MTAAnnotator']]],
   ['numofmhpqueries',['numOfMHPQueries',['../classSVF_1_1MHP.html#ab8bd382e0c70b0feb2a291ecc4043106',1,'SVF::MHP']]],
   ['numofmhpst',['numOfMHPSt',['../classSVF_1_1MTAAnnotator.html#a3a53e90b4f361d1298983bc89795b3d2',1,'SVF::MTAAnnotator']]],
-  ['numofmssaphi',['numOfMSSAPhi',['../classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::numOfMSSAPhi()'],['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()']]],
+  ['numofmssaphi',['NumOfMSSAPhi',['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()'],['../classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::numOfMSSAPhi()']]],
   ['numofnewsvfgedges',['numOfNewSVFGEdges',['../classSVF_1_1MTASVFGBuilder.html#a019a4597074fdad6e51d936ed4ead0d9',1,'SVF::MTASVFGBuilder']]],
   ['numofnodes',['numOfNodes',['../classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788',1,'SVF::ICFGStat::numOfNodes()'],['../classSVF_1_1SVFGStat.html#ab499c24856a990dd4adb366107eb3302',1,'SVF::SVFGStat::numOfNodes()']]],
   ['numofnodesincycles',['NumOfNodesInCycles',['../classSVF_1_1PTAStat.html#aea3e95097b3b9d326bef0d36f17e51a5',1,'SVF::PTAStat']]],

package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html

@@ -338,7 +338,7 @@ template&lt;class EdgeIter &gt; </div>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="PTACallGraph_8cpp_source.html#l00354">354</a> of file <a class="el" href="PTACallGraph_8cpp_source.html">PTACallGraph.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;    {</div><div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun = node-&gt;<a class="code" href="classSVF_1_1PTACallGraphNode.html#a959445c97605953fbdebbbd999437a09">getFunction</a>();</div><div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;        <span class="keywordflow">if</span> (!<a class="code" href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">SVFUtil::isExtCall</a>(fun))</div><div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;        {</div><div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;shape=box&quot;</span>;</div><div class="line"><a name="l00360"></a><span class="lineno">  360</span>&#160;        }</div><div class="line"><a name="l00361"></a><span class="lineno">  361</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;shape=Mrecord&quot;</span>;</div><div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00127">BasicTypes.h:127</a></div></div>
+<div class="fragment"><div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;    {</div><div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun = node-&gt;<a class="code" href="classSVF_1_1PTACallGraphNode.html#a959445c97605953fbdebbbd999437a09">getFunction</a>();</div><div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;        <span class="keywordflow">if</span> (!<a class="code" href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">SVFUtil::isExtCall</a>(fun))</div><div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;        {</div><div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;shape=box&quot;</span>;</div><div class="line"><a name="l00360"></a><span class="lineno">  360</span>&#160;        }</div><div class="line"><a name="l00361"></a><span class="lineno">  361</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;shape=Mrecord&quot;</span>;</div><div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00126">BasicTypes.h:126</a></div></div>
 <div class="ttc" id="classSVF_1_1PTACallGraphNode_html_a959445c97605953fbdebbbd999437a09"><div class="ttname"><a href="classSVF_1_1PTACallGraphNode.html#a959445c97605953fbdebbbd999437a09">SVF::PTACallGraphNode::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction() const</div><div class="ttdoc">Get function of this call node. </div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00193">PTACallGraph.h:193</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a22ef185e767ff76c098e75126c885400"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">SVF::SVFUtil::isExtCall</a></div><div class="ttdeci">bool isExtCall(const SVFFunction *fun)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00358">SVFUtil.h:358</a></div></div>
 </div><!-- fragment -->

package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html

@@ -86,7 +86,7 @@ struct std::hash&lt; SVF::CallSite &gt;</h3>
 
 <p>Specialise hash for CallSites. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00293">293</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00292">292</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="a6ed3f621cd155faae27cbd844338409a"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a6ed3f621cd155faae27cbd844338409a">&#9670;&nbsp;</a></span>operator()()</h2>
@@ -112,8 +112,8 @@ struct std::hash&lt; SVF::CallSite &gt;</h3>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00295">295</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;    {</div><div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;        std::hash&lt;SVF::Instruction *&gt; h;</div><div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;        <span class="keywordflow">return</span> h(cs.<a class="code" href="classSVF_1_1CallSite.html#ab36a6a35eea673d4bdca615efc4336b1">getInstruction</a>());</div><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_ab36a6a35eea673d4bdca615efc4336b1"><div class="ttname"><a href="classSVF_1_1CallSite.html#ab36a6a35eea673d4bdca615efc4336b1">SVF::CallSite::getInstruction</a></div><div class="ttdeci">CallBase * getInstruction() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00210">BasicTypes.h:210</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00294">294</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;    {</div><div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;        std::hash&lt;SVF::Instruction *&gt; h;</div><div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;        <span class="keywordflow">return</span> h(cs.<a class="code" href="classSVF_1_1CallSite.html#ab36a6a35eea673d4bdca615efc4336b1">getInstruction</a>());</div><div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_ab36a6a35eea673d4bdca615efc4336b1"><div class="ttname"><a href="classSVF_1_1CallSite.html#ab36a6a35eea673d4bdca615efc4336b1">SVF::CallSite::getInstruction</a></div><div class="ttdeci">CallBase * getInstruction() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00209">BasicTypes.h:209</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html

@@ -109,7 +109,7 @@ struct std::hash&lt; SVF::CxtProc &gt;</h3>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="CxtStmt_8h_source.html#l00493">493</a> of file <a class="el" href="CxtStmt_8h_source.html">CxtStmt.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00494"></a><span class="lineno">  494</span>&#160;    {</div><div class="line"><a name="l00495"></a><span class="lineno">  495</span>&#160;        std::hash&lt;SVF::SVFFunction*&gt; h;</div><div class="line"><a name="l00496"></a><span class="lineno">  496</span>&#160;        <a class="code" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a>* fun = <span class="keyword">const_cast&lt;</span><a class="code" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a>*<span class="keyword">&gt;</span> (cs.<a class="code" href="classSVF_1_1CxtProc.html#ab9ac6459c90873b7dea35e0a22700189">getProc</a>());</div><div class="line"><a name="l00497"></a><span class="lineno">  497</span>&#160;        <span class="keywordflow">return</span> h(fun);</div><div class="line"><a name="l00498"></a><span class="lineno">  498</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00127">BasicTypes.h:127</a></div></div>
+<div class="fragment"><div class="line"><a name="l00494"></a><span class="lineno">  494</span>&#160;    {</div><div class="line"><a name="l00495"></a><span class="lineno">  495</span>&#160;        std::hash&lt;SVF::SVFFunction*&gt; h;</div><div class="line"><a name="l00496"></a><span class="lineno">  496</span>&#160;        <a class="code" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a>* fun = <span class="keyword">const_cast&lt;</span><a class="code" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a>*<span class="keyword">&gt;</span> (cs.<a class="code" href="classSVF_1_1CxtProc.html#ab9ac6459c90873b7dea35e0a22700189">getProc</a>());</div><div class="line"><a name="l00497"></a><span class="lineno">  497</span>&#160;        <span class="keywordflow">return</span> h(fun);</div><div class="line"><a name="l00498"></a><span class="lineno">  498</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00126">BasicTypes.h:126</a></div></div>
 <div class="ttc" id="classSVF_1_1CxtProc_html_ab9ac6459c90873b7dea35e0a22700189"><div class="ttname"><a href="classSVF_1_1CxtProc.html#ab9ac6459c90873b7dea35e0a22700189">SVF::CxtProc::getProc</a></div><div class="ttdeci">const SVFFunction * getProc() const</div><div class="ttdoc">Return current procedure. </div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00325">CxtStmt.h:325</a></div></div>
 </div><!-- fragment -->
 </div>

package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1SymState_01_4-members.html

@@ -0,0 +1,81 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: Member List</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><b>std</b></li><li class="navelem"><a class="el" href="structstd_1_1hash_3_01SVF_1_1SymState_01_4.html">hash&lt; SVF::SymState &gt;</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="headertitle">
+<div class="title">std::hash&lt; SVF::SymState &gt; Member List</div>  </div>
+</div><!--header-->
+<div class="contents">
+
+<p>This is the complete list of members for <a class="el" href="structstd_1_1hash_3_01SVF_1_1SymState_01_4.html">std::hash&lt; SVF::SymState &gt;</a>, including all inherited members.</p>
+<table class="directory">
+  <tr class="even"><td class="entry"><a class="el" href="structstd_1_1hash_3_01SVF_1_1SymState_01_4.html#aa1155bb32072fdffe0f7f28ee57eb36f">operator()</a>(const SVF::SymState &amp;symState) const</td><td class="entry"><a class="el" href="structstd_1_1hash_3_01SVF_1_1SymState_01_4.html">std::hash&lt; SVF::SymState &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+</table></div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>

package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1SymState_01_4.html

@@ -0,0 +1,129 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: std::hash&lt; SVF::SymState &gt; Struct Template Reference</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><b>std</b></li><li class="navelem"><a class="el" href="structstd_1_1hash_3_01SVF_1_1SymState_01_4.html">hash&lt; SVF::SymState &gt;</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="summary">
+<a href="#pub-methods">Public Member Functions</a> &#124;
+<a href="structstd_1_1hash_3_01SVF_1_1SymState_01_4-members.html">List of all members</a>  </div>
+  <div class="headertitle">
+<div class="title">std::hash&lt; SVF::SymState &gt; Struct Template Reference</div>  </div>
+</div><!--header-->
+<div class="contents">
+
+<p><code>#include &lt;<a class="el" href="SymState_8h_source.html">SymState.h</a>&gt;</code></p>
+<table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
+Public Member Functions</h2></td></tr>
+<tr class="memitem:aa1155bb32072fdffe0f7f28ee57eb36f"><td class="memItemLeft" align="right" valign="top">size_t&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structstd_1_1hash_3_01SVF_1_1SymState_01_4.html#aa1155bb32072fdffe0f7f28ee57eb36f">operator()</a> (const <a class="el" href="classSVF_1_1SymState.html">SVF::SymState</a> &amp;symState) const</td></tr>
+<tr class="separator:aa1155bb32072fdffe0f7f28ee57eb36f"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
+<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
+<div class="textblock"><h3>template&lt;&gt;<br />
+struct std::hash&lt; SVF::SymState &gt;</h3>
+
+
+<p class="definition">Definition at line <a class="el" href="SymState_8h_source.html#l00107">107</a> of file <a class="el" href="SymState_8h_source.html">SymState.h</a>.</p>
+</div><h2 class="groupheader">Member Function Documentation</h2>
+<a id="aa1155bb32072fdffe0f7f28ee57eb36f"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aa1155bb32072fdffe0f7f28ee57eb36f">&#9670;&nbsp;</a></span>operator()()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">size_t std::hash&lt; <a class="el" href="classSVF_1_1SymState.html">SVF::SymState</a> &gt;::operator() </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1SymState.html">SVF::SymState</a> &amp;&#160;</td>
+          <td class="paramname"><em>symState</em></td><td>)</td>
+          <td> const</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="SymState_8h_source.html#l00109">109</a> of file <a class="el" href="SymState_8h_source.html">SymState.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;    {</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;        <a class="code" href="structSVF_1_1Hash.html">SVF::Hash&lt;std::pair&lt;SVF::AbstractState, SVF::ExeState&gt;</a>&gt; pairH;</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;        <span class="keywordflow">return</span> pairH(make_pair(symState.<a class="code" href="classSVF_1_1SymState.html#a10ac726895d843b2d8e75c735a409af8">getAbstractState</a>(), symState.<a class="code" href="classSVF_1_1SymState.html#a9f170568014de8bffea264cb4f931b4f">getExecutionState</a>()));</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;    }</div><div class="ttc" id="structSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00055">SVFBasicTypes.h:55</a></div></div>
+<div class="ttc" id="classSVF_1_1SymState_html_a10ac726895d843b2d8e75c735a409af8"><div class="ttname"><a href="classSVF_1_1SymState.html#a10ac726895d843b2d8e75c735a409af8">SVF::SymState::getAbstractState</a></div><div class="ttdeci">const AbstractState &amp; getAbstractState() const</div><div class="ttdef"><b>Definition:</b> <a href="SymState_8h_source.html#l00058">SymState.h:58</a></div></div>
+<div class="ttc" id="classSVF_1_1SymState_html_a9f170568014de8bffea264cb4f931b4f"><div class="ttname"><a href="classSVF_1_1SymState.html#a9f170568014de8bffea264cb4f931b4f">SVF::SymState::getExecutionState</a></div><div class="ttdeci">const ExeState &amp; getExecutionState() const</div><div class="ttdef"><b>Definition:</b> <a href="SymState_8h_source.html#l00063">SymState.h:63</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<hr/>The documentation for this struct was generated from the following file:<ul>
+<li>/home/runner/work/SVF/SVF/include/Util/<a class="el" href="SymState_8h_source.html">SymState.h</a></li>
+</ul>
+</div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>