svf-tools 1.0.436 → 1.0.439

package/SVF-doxygen/html/html/functions_l.html

@@ -129,14 +129,19 @@ $(function() {
 </li>
 <li>Load
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2">SVF::ConstraintEdge</a>
-, <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5">SVF::SVFStmt</a>
+</li>
+<li>load()
+: <a class="el" href="classSVF_1_1ExeState.html#a80bd7f3746198459bbcb59274cebc013">SVF::ExeState</a>
+</li>
+<li>Load
+: <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80">SVF::VFGNode</a>
 </li>
 <li>load2MuSetMap
 : <a class="el" href="classSVF_1_1MemSSA.html#a5cf94edea3a5c35b3c1d9c6ae4b5f9d6">SVF::MemSSA</a>
 </li>
 <li>LoadCGEdge()
-: <a class="el" href="classSVF_1_1LoadCGEdge.html#a74ccf27a1e90fb8f47e9cecf7bd38cf7">SVF::LoadCGEdge</a>
+: <a class="el" href="classSVF_1_1LoadCGEdge.html#a7dd1e2dd057e0985fd837222f8042019">SVF::LoadCGEdge</a>
 </li>
 <li>LoadCGEdgeSet
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a1cb9124b29720e7a5b39d83419f9cc17">SVF::ConstraintGraph</a>
@@ -184,12 +189,12 @@ $(function() {
 <li>LoadsToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175">SVF::MRGenerator</a>
 </li>
-<li>LoadsToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c">SVF::MRGenerator</a>
-</li>
 <li>loadsToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975">SVF::MRGenerator</a>
 </li>
+<li>LoadsToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c">SVF::MRGenerator</a>
+</li>
 <li>loadTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067">SVF::FlowSensitive</a>
 </li>
@@ -200,7 +205,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a6d62420837fe0c7814fc4da68a91eda4">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>LoadVFGNode()
-: <a class="el" href="classSVF_1_1LoadVFGNode.html#aca72f4582e33a2d4ef3a96dd2936f567">SVF::LoadVFGNode</a>
+: <a class="el" href="classSVF_1_1LoadVFGNode.html#a8ae07c41215e9c7544c45e581c18c29b">SVF::LoadVFGNode</a>
 </li>
 <li>localCaches
 : <a class="el" href="structDdManager.html#a8f62071184b231f7320214e735b7fd0d">DdManager</a>
@@ -209,7 +214,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea">SVF::PTAStat</a>
 </li>
 <li>LocationSet()
-: <a class="el" href="classSVF_1_1LocationSet.html#a40cc38cbc1a9433d1d83724767dc41ba">SVF::LocationSet</a>
+: <a class="el" href="classSVF_1_1LocationSet.html#a290c7fe38704552fd66ad06e5deeaca9">SVF::LocationSet</a>
 </li>
 <li>LocID
 : <a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -283,6 +288,12 @@ $(function() {
 <li>locToFilterSet
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a848e59ab22069367a97009f1fdebc4d9">SVF::TypeBasedHeapCloning</a>
 </li>
+<li>locToVal
+: <a class="el" href="classSVF_1_1ExeState.html#a55464ae666ae16656ad8903894ec14da">SVF::ExeState</a>
+</li>
+<li>LocToValMap
+: <a class="el" href="classSVF_1_1ExeState.html#aa1e28e7a815e03c0c9a6f94d289f371b">SVF::ExeState</a>
+</li>
 <li>LocVersionMap
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#aa689d29ead80303b1ef1e1a91f31c296">SVF::VersionedFlowSensitive</a>
 </li>

package/SVF-doxygen/html/html/functions_m.html

@@ -65,7 +65,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1RaceResultValidator.html#abd3ad42a71357dfd1483e6e0d18d5ebd">SVF::RaceResultValidator</a>
 </li>
 <li>m_bdd_mgr
-: <a class="el" href="classSVF_1_1BDDManager.html#aae62fd27ddc847758ea67000580efdb8">SVF::BDDManager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#ae17830ea476e0ba786e98831bd2b4f50">SVF::BDDExprManager</a>
 </li>
 <li>m_cond
 : <a class="el" href="classSVF_1_1CondVar.html#a90b13685d2126f8c10dde4a504bb28df">SVF::CondVar&lt; Cond &gt;</a>
@@ -144,7 +144,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1ContextCond.html#ab816f854687999b8c01f5c02fcf6b8af">SVF::ContextCond</a>
 , <a class="el" href="classSVF_1_1CxtDPItem.html#ad386861998e54ec754ca62f358f03e6a">SVF::CxtDPItem</a>
 , <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a35c0c0d5194983769e313d6e31b3d7ec">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
-, <a class="el" href="classSVF_1_1PathStmtDPItem.html#a4a82650fe9bf2f655e4b7178ba063eda">SVF::PathStmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>matchCxt()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aea9ef584ce6c7129bcd1d5ecda2f1f74">SVF::ForkJoinAnalysis</a>
@@ -587,7 +586,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStmt.html#a9ea22adbfc307dddee42ffec07cc88ed">SVF::SVFStmt</a>
 </li>
 <li>MultiOpndStmt()
-: <a class="el" href="classSVF_1_1MultiOpndStmt.html#aad0c81aeb48e5d94dd8c60d87b41714c">SVF::MultiOpndStmt</a>
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">SVF::MultiOpndStmt</a>
 </li>
 <li>MUSet
 : <a class="el" href="classSVF_1_1MemSSA.html#a81bba824495a882b49e687683954b112">SVF::MemSSA</a>

package/SVF-doxygen/html/html/functions_n.html

@@ -71,12 +71,7 @@ $(function() {
 : <a class="el" href="structcuddPathPair.html#a968dc3d34b592da2876517a687873281">cuddPathPair</a>
 </li>
 <li>NEG()
-: <a class="el" href="classSVF_1_1BDDManager.html#a0dbbee1845fbf6ce660caf6c30438bef">SVF::BDDManager</a>
-, <a class="el" href="classSVF_1_1CondManager.html#aecb97f6eb6ba2943b2eaa7a8212a9ba6">SVF::CondManager</a>
-, <a class="el" href="classSVF_1_1Z3Manager.html#a5fcfc5dcdd77d9860aaaff9cd9f43c55">SVF::Z3Manager</a>
-</li>
-<li>negConds
-: <a class="el" href="classSVF_1_1Z3Manager.html#abd4a010660942227d7db81533e80b2c3">SVF::Z3Manager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#ace340608e136c33867b3e1a986d65c81">SVF::BDDExprManager</a>
 </li>
 <li>NEVER_FREE_LEAK
 : <a class="el" href="classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da3ec849f333df9530fb0a6a285c26b86d">SVF::LeakChecker</a>
@@ -144,8 +139,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1WPASolver.html#a01450e1475679d093413e6496c198fc0">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>node_iterator
-: <a class="el" href="classSVF_1_1CFLSolver.html#a586cfb2dd110d1853e70e534e0f66624">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
-, <a class="el" href="classSVF_1_1SCCDetection.html#abaf75ef45e8f5349b902dab063999ad8">SVF::SCCDetection&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1SCCDetection.html#abaf75ef45e8f5349b902dab063999ad8">SVF::SCCDetection&lt; GraphType &gt;</a>
+, <a class="el" href="classSVF_1_1SrcSnkSolver.html#a14a76b28f06e167bf66e15b336570cd3">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>NodeAllocStrat
 : <a class="el" href="classSVF_1_1Options.html#a2537be131132830c63d408133619a065">SVF::Options</a>
@@ -261,18 +256,18 @@ $(function() {
 <li>nodeToRepMap
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2">SVF::ConstraintGraph</a>
 </li>
-<li>NodeToSubsMap
-: <a class="el" href="classSVF_1_1ConstraintGraph.html#ac7d24753491a9bab39a13b32bb65f139">SVF::ConstraintGraph</a>
-</li>
 <li>nodeToSubsMap
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60">SVF::ConstraintGraph</a>
 </li>
 <li>NodeToSubsMap
-: <a class="el" href="classSVF_1_1Steensgaard.html#a45d49eef110e3bc15509a2020be38453">SVF::Steensgaard</a>
+: <a class="el" href="classSVF_1_1ConstraintGraph.html#ac7d24753491a9bab39a13b32bb65f139">SVF::ConstraintGraph</a>
 </li>
 <li>nodeToSubsMap
 : <a class="el" href="classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b">SVF::Steensgaard</a>
 </li>
+<li>NodeToSubsMap
+: <a class="el" href="classSVF_1_1Steensgaard.html#a45d49eef110e3bc15509a2020be38453">SVF::Steensgaard</a>
+</li>
 <li>NodeType
 : <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a73928161c8b1427e8150ca68ec48160e">llvm::DOTGraphTraits&lt; CHGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ac3889bd563cdc21a55df0524df2ae4da">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
@@ -322,6 +317,9 @@ $(function() {
 <li>NPtr
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff">SVF::VFGNode</a>
 </li>
+<li>nullExpr()
+: <a class="el" href="classSVF_1_1Z3Expr.html#a9aa800372d57db519d484cc32ea1c5dc">SVF::Z3Expr</a>
+</li>
 <li>nullPointerId
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a1e3a98be74d5dfd3b4c1b5f9c0941353">SVF::NodeIDAllocator</a>
 </li>

package/SVF-doxygen/html/html/functions_o.html

@@ -144,11 +144,20 @@ $(function() {
 : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a0c4f900cf7321e8385b4f45e5cba3d1a">SVF::BinaryOPStmt</a>
 , <a class="el" href="classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6">SVF::UnaryOPStmt</a>
 </li>
+<li>operator &amp;
+: <a class="el" href="classSVF_1_1Z3Expr.html#a73d51389a359eff6654df3c1ee24834c">SVF::Z3Expr</a>
+</li>
+<li>operator &amp;&amp;
+: <a class="el" href="classSVF_1_1Z3Expr.html#af8529f1d313f1e702adc76612f9d86ad">SVF::Z3Expr</a>
+</li>
 <li>operator &amp;=()
 : <a class="el" href="classSVF_1_1CondStdSet.html#abb97324d865818f0a51992ee86d1c5ad">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1CoreBitVector.html#ae84257a1544b94c9abf5c8d0f6cfaec9">SVF::CoreBitVector</a>
 , <a class="el" href="classSVF_1_1PointsTo.html#a164aced0d6a19dd7ba8124ec2e77674c">SVF::PointsTo</a>
 </li>
+<li>operator!
+: <a class="el" href="classSVF_1_1Z3Expr.html#ac2b4e7b63f15e6780d25107b61f208ca">SVF::Z3Expr</a>
+</li>
 <li>operator!=()
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#ab831157001de89b02c7df98a9b513e9c">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 , <a class="el" href="classSVF_1_1CallSite.html#a44d8147b8b6d54e05a7108858dbaa7c6">SVF::CallSite</a>
@@ -167,14 +176,17 @@ $(function() {
 , <a class="el" href="classSVF_1_1CxtThreadProc.html#a7f65ade2a231590c26643ef907061727">SVF::CxtThreadProc</a>
 , <a class="el" href="classSVF_1_1CxtThreadStmt.html#ab900fccf35773064aae491d552df3825">SVF::CxtThreadStmt</a>
 , <a class="el" href="classSVF_1_1DPItem.html#add804064ca2bfaa16bcc25503698a1ea">SVF::DPItem</a>
-, <a class="el" href="classSVF_1_1PathStmtDPItem.html#a886e2443efb35d18b92186a83875c7c9">SVF::PathStmtDPItem&lt; LocCond &gt;</a>
+, <a class="el" href="classSVF_1_1ExeState.html#a4ee62e9c0cc0eb34c72effc2c203506a">SVF::ExeState</a>
 , <a class="el" href="classSVF_1_1PointsTo.html#a888f05fe8da4b95c44226f3c69469c75">SVF::PointsTo</a>
 , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#aa90476b4c0e75a256f8ff855f99ca970">SVF::PointsTo::PointsToIterator</a>
 , <a class="el" href="classSVF_1_1PTASCEV.html#a0541ce30f889355425d2aaeedbc857b9">SVF::PTASCEV</a>
 , <a class="el" href="classSVF_1_1StmtDPItem.html#ab89875a3b692ed348b1b28bb9a173254">SVF::StmtDPItem&lt; LocCond &gt;</a>
 , <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#afa11dc0e8124bb36bfb404bfd94f4b40">SVF::SVFGNodeLockSpan</a>
 , <a class="el" href="classSVF_1_1SVFValue.html#ac64744d3e0c41be76ceef4b5715050b5">SVF::SVFValue</a>
-, <a class="el" href="classSVF_1_1VFPathCond.html#a6511e52c695247cd887f04ef37de15ff">SVF::VFPathCond</a>
+, <a class="el" href="classSVF_1_1Z3Expr.html#a180b9776e8388839bf321be33b8c0cb3">SVF::Z3Expr</a>
+</li>
+<li>operator%
+: <a class="el" href="classSVF_1_1Z3Expr.html#a2abad89a9cfb36d8b782a099931501ad">SVF::Z3Expr</a>
 </li>
 <li>operator&amp;=()
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#ab86fdf68183d05f66e1405c6346038c4">SVF::CondPointsToSet&lt; Cond &gt;</a>
@@ -195,11 +207,13 @@ $(function() {
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtThread_01_4.html#acba6d528a8f587af9bc95f4b5aa4e201">std::hash&lt; SVF::CxtThread &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtThreadProc_01_4.html#aa88f8da2c709601e69e309604a384863">std::hash&lt; SVF::CxtThreadProc &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtThreadStmt_01_4.html#ae4d5049073212fdd47fb976585653c26">std::hash&lt; SVF::CxtThreadStmt &gt;</a>
+, <a class="el" href="structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html#a99f262842505ca11c987d68a790aee10">std::hash&lt; SVF::ExeState &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html#a701401db0e876205424e9cc797fb5984">std::hash&lt; SVF::LocationSet &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html#a33d0d439057cbfab969516ea6a976aae">std::hash&lt; SVF::NodePair &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1PointsTo_01_4.html#a34dcd2ff517e67b98ec26e4957931367">std::hash&lt; SVF::PointsTo &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html#a265e5b7b0b4e15c14f1cc93ec4fc2267">std::hash&lt; SVF::StmtDPItem&lt; LocCond &gt; &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html#a7854984f902d9a42c6d4e095de8464a7">std::hash&lt; SVF::SVFGNodeLockSpan &gt;</a>
+, <a class="el" href="structstd_1_1hash_3_01SVF_1_1Z3Expr_01_4.html#a5f22ba479b6e05b6d3932d65c7034ade">std::hash&lt; SVF::Z3Expr &gt;</a>
 , <a class="el" href="structSVF_1_1GenericEdge_1_1equalGEdge.html#ac4654da03578f3ab8183b10f98a27f62">SVF::GenericEdge&lt; NodeTy &gt;::equalGEdge</a>
 , <a class="el" href="structSVF_1_1Hash.html#aad49eec16cfdd4d3423f27666d5f28ff">SVF::Hash&lt; T &gt;</a>
 , <a class="el" href="structSVF_1_1Hash_3_01CoreBitVector_01_4.html#ad54ea05fd0e03af862a5d72f8c4db411">SVF::Hash&lt; CoreBitVector &gt;</a>
@@ -215,9 +229,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#aaaed8caef122453b5ff543826e1757e0">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
 , <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aec0b2c6ebcf16734a69a54613a18b33e">SVF::CoreBitVector::CoreBitVectorIterator</a>
 , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a06c8e8c242c5de90c307665f589e3180">SVF::PointsTo::PointsToIterator</a>
+, <a class="el" href="classSVF_1_1Z3Expr.html#a6732f9ac81422756d10b5fdd6ffaab3e">SVF::Z3Expr</a>
 </li>
 <li>operator+()
 : <a class="el" href="classSVF_1_1LocationSet.html#a67387c3b42fcc1bb3ee8fe85bda02ba8">SVF::LocationSet</a>
+, <a class="el" href="classSVF_1_1Z3Expr.html#af86e0c01602b78f64933b06e43a48e06">SVF::Z3Expr</a>
 </li>
 <li>operator++()
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a4616da5f93bb639271c23f634e6e647e">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
@@ -225,6 +241,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a0afff5162af357634e7213e85b5371c7">SVF::CoreBitVector::CoreBitVectorIterator</a>
 , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a754d85d463ebdbecfaab41aac106f14f">SVF::PointsTo::PointsToIterator</a>
 </li>
+<li>operator-
+: <a class="el" href="classSVF_1_1Z3Expr.html#aea407969f346ed1692cac584e9d8d265">SVF::Z3Expr</a>
+</li>
 <li>operator-=()
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a5b87ae9d4a713483522666c893d7eac9">SVF::CoreBitVector</a>
 , <a class="el" href="classSVF_1_1PointsTo.html#a21244b7b04d6aa01787a11d116bc9952">SVF::PointsTo</a>
@@ -232,6 +251,9 @@ $(function() {
 <li>operator-&gt;()
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a7407c9a10bc872bcf03a2a4e67c2c188">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 </li>
+<li>operator/
+: <a class="el" href="classSVF_1_1Z3Expr.html#a978668e0c0cc3b1fd261e02b5d7d96d4">SVF::Z3Expr</a>
+</li>
 <li>operator&lt;()
 : <a class="el" href="classSVF_1_1CallSite.html#ab09ca7986f5b924b6c6b57e492f06c07">SVF::CallSite</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet.html#a54d9d3f3a38bf4066cd930845f86a63c">SVF::CondPointsToSet&lt; Cond &gt;</a>
@@ -246,14 +268,14 @@ $(function() {
 , <a class="el" href="classSVF_1_1CxtThreadProc.html#a4b8e4f182a34d078595ce0eb9ec94c6d">SVF::CxtThreadProc</a>
 , <a class="el" href="classSVF_1_1CxtThreadStmt.html#affaa3bf793e1127a8333b6683ebb3fdd">SVF::CxtThreadStmt</a>
 , <a class="el" href="classSVF_1_1DPItem.html#a639c757076141a14bedc26c73f875ffe">SVF::DPItem</a>
+, <a class="el" href="classSVF_1_1ExeState.html#a10a12722f1974d466ef07a35d9dff108">SVF::ExeState</a>
 , <a class="el" href="classSVF_1_1LocationSet.html#a511e8324d88624013eed04e8c2a6cbc4">SVF::LocationSet</a>
 , <a class="el" href="classSVF_1_1MSSADEF.html#ad24da3516c198ade16c6909c5222fd0f">SVF::MSSADEF</a>
 , <a class="el" href="classSVF_1_1MSSAMU.html#a838a4a7cd670eef1153701aef9871bcf">SVF::MSSAMU&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1PathStmtDPItem.html#a8df1b3200bf3385aeb793966ff51ee75">SVF::PathStmtDPItem&lt; LocCond &gt;</a>
 , <a class="el" href="classSVF_1_1PTASCEV.html#ad85500e4caaa70ecacfdf5fbbbcc330e">SVF::PTASCEV</a>
 , <a class="el" href="classSVF_1_1StmtDPItem.html#af92976dc7a8785165cefb047e742cdf6">SVF::StmtDPItem&lt; LocCond &gt;</a>
 , <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#a6640840300cf03186ceb7a2dbc75e875">SVF::SVFGNodeLockSpan</a>
-, <a class="el" href="classSVF_1_1VFPathCond.html#adfec3fe0885067b6bd4455d9c12609b5">SVF::VFPathCond</a>
+, <a class="el" href="classSVF_1_1Z3Expr.html#a9bc83c762453afc4602b1fef8ea8725d">SVF::Z3Expr</a>
 </li>
 <li>operator&lt;&lt;
 : <a class="el" href="classSVF_1_1CondVar.html#a01eb971ccd4ac623fa3cd9bb41cc696d">SVF::CondVar&lt; Cond &gt;</a>
@@ -266,6 +288,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFVar.html#aeea492411a86c65bcce4a1ef956b3dbe">SVF::SVFVar</a>
 , <a class="el" href="classSVF_1_1VFGEdge.html#a6260283036620da17d8b3686bad691a4">SVF::VFGEdge</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#aaeb62e3ec17a7c1089f9de584273c612">SVF::VFGNode</a>
+, <a class="el" href="classSVF_1_1Z3Expr.html#aba8287dde6649b0c039539f71e8a7886">SVF::Z3Expr</a>
+</li>
+<li>operator&lt;=
+: <a class="el" href="classSVF_1_1Z3Expr.html#a979529cf9531d2331d02b5db4b27535f">SVF::Z3Expr</a>
 </li>
 <li>operator=()
 : <a class="el" href="classSVF_1_1ActualRetVFGNode.html#a4549da69c84064b914e9b4df9350ab6f">SVF::ActualRetVFGNode</a>
@@ -298,6 +324,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CxtThreadProc.html#a439a27864cb18accba5f8fe706c1e74b">SVF::CxtThreadProc</a>
 , <a class="el" href="classSVF_1_1CxtThreadStmt.html#a894849e24d01f80463a207e0c8f2548f">SVF::CxtThreadStmt</a>
 , <a class="el" href="classSVF_1_1DPItem.html#a10226d37dfef045bec9f7cfb78315440">SVF::DPItem</a>
+, <a class="el" href="classSVF_1_1ExeState.html#a0c6a0cd40fc94cc2c3829d6ae0a21270">SVF::ExeState</a>
 , <a class="el" href="classSVF_1_1FormalRetVFGNode.html#a599d139a7973dfc09c5db18a60aba3dd">SVF::FormalRetVFGNode</a>
 , <a class="el" href="classSVF_1_1GepCGEdge.html#ab9b230aa38c6fe45914cfb2c52c70e5b">SVF::GepCGEdge</a>
 , <a class="el" href="classSVF_1_1GepStmt.html#aad988829009a31f173e3908461e3a7e8">SVF::GepStmt</a>
@@ -308,7 +335,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1LocationSet.html#a15975ec54c93c39fb1ed59599e5ec107">SVF::LocationSet</a>
 , <a class="el" href="classSVF_1_1MultiOpndStmt.html#afbd0d606112605bf355f4a9de6b44406">SVF::MultiOpndStmt</a>
 , <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a7f3a388e37e497fc5874e9f392901a39">SVF::NormalGepCGEdge</a>
-, <a class="el" href="classSVF_1_1PathStmtDPItem.html#a36ff7567d47e3818d79ede424f736817">SVF::PathStmtDPItem&lt; LocCond &gt;</a>
 , <a class="el" href="classSVF_1_1PhiStmt.html#a331c7e14409b2d78881a0ec8932c1170">SVF::PhiStmt</a>
 , <a class="el" href="classSVF_1_1PointsTo.html#a269d334618e4acc7e739317fd58d7fe7">SVF::PointsTo</a>
 , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#acbbcff746f7f0dc37815e688e9172f21">SVF::PointsTo::PointsToIterator</a>
@@ -326,7 +352,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1UnaryOPStmt.html#a58a341847b24cfaf98ab7e82008bc018">SVF::UnaryOPStmt</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a27af787da1d72bab2971dd237eaa9897">SVF::UnaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1VariantGepCGEdge.html#a4caf6f4b31b78ca02985fc4722d43522">SVF::VariantGepCGEdge</a>
-, <a class="el" href="classSVF_1_1VFPathCond.html#a4bc59244e43d7db4478b0b9f868a0dab">SVF::VFPathCond</a>
+, <a class="el" href="classSVF_1_1Z3Expr.html#a3bd99446d5e56e704d812bd0d1f36a85">SVF::Z3Expr</a>
 </li>
 <li>operator==()
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a1f0e8716ad7ff580240f81db1228a690">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
@@ -346,21 +372,34 @@ $(function() {
 , <a class="el" href="classSVF_1_1CxtThreadProc.html#aef53ca59b8cbd614b28350d12113e3c4">SVF::CxtThreadProc</a>
 , <a class="el" href="classSVF_1_1CxtThreadStmt.html#af8f221ea17599dfb678922e1bad37f35">SVF::CxtThreadStmt</a>
 , <a class="el" href="classSVF_1_1DPItem.html#ad67fcd340351360555b0cb88f57b183a">SVF::DPItem</a>
+, <a class="el" href="classSVF_1_1ExeState.html#a0e4c8a41aa861ff2862d8b620c902f21">SVF::ExeState</a>
 , <a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">SVF::GenericEdge&lt; NodeTy &gt;</a>
 , <a class="el" href="classSVF_1_1LocationSet.html#a1b141afb9a38d12423f66b2dfe6bf232">SVF::LocationSet</a>
 , <a class="el" href="classSVF_1_1MemObj.html#a1a8601b72b6e6df211db1fffdd54c48b">SVF::MemObj</a>
 , <a class="el" href="classSVF_1_1MemRegion.html#affa3a8efd91faf5704e514f1e83fead9">SVF::MemRegion</a>
-, <a class="el" href="classSVF_1_1PathStmtDPItem.html#a5b7d6a8d8e14845a94611474c53fadaa">SVF::PathStmtDPItem&lt; LocCond &gt;</a>
 , <a class="el" href="classSVF_1_1PointsTo.html#a6b29626e4e4298943d2ad839f06db83e">SVF::PointsTo</a>
 , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#aef4e1b40faa327f8bbf42a82df29c7b4">SVF::PointsTo::PointsToIterator</a>
 , <a class="el" href="classSVF_1_1PTASCEV.html#a71c30ee51274f2d9b3c202d06f1443f4">SVF::PTASCEV</a>
 , <a class="el" href="classSVF_1_1StmtDPItem.html#afd63ae0d881101d6c61709b9ac25dbf8">SVF::StmtDPItem&lt; LocCond &gt;</a>
 , <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#a880f9eec9d0c4835b7a524eeb801396d">SVF::SVFGNodeLockSpan</a>
 , <a class="el" href="classSVF_1_1SVFValue.html#aa171d1126f4ac00c3310d58d9b77c587">SVF::SVFValue</a>
-, <a class="el" href="classSVF_1_1VFPathCond.html#a475c7d4b05dbde2dc9aed2699dacc2bb">SVF::VFPathCond</a>
+, <a class="el" href="classSVF_1_1Z3Expr.html#a900309288fa5d43376d80e414f85dc45">SVF::Z3Expr</a>
+</li>
+<li>operator&gt;
+: <a class="el" href="classSVF_1_1Z3Expr.html#a20cbf950bacc51e56c74918af268ed76">SVF::Z3Expr</a>
+</li>
+<li>operator&gt;=
+: <a class="el" href="classSVF_1_1Z3Expr.html#a707735e67c852191e4e2a689a1a84858">SVF::Z3Expr</a>
 </li>
 <li>operator[]()
 : <a class="el" href="classSVF_1_1ContextCond.html#a62cc1c7c01d454e9cbebd3f7f5f3aa1f">SVF::ContextCond</a>
+, <a class="el" href="classSVF_1_1ExeState.html#af539858577135d706304bb0703f1530d">SVF::ExeState</a>
+</li>
+<li>operator^
+: <a class="el" href="classSVF_1_1Z3Expr.html#ae6419d6772044a2db7faf0ea0b848d12">SVF::Z3Expr</a>
+</li>
+<li>operator|
+: <a class="el" href="classSVF_1_1Z3Expr.html#a1f29d0ff58e6969e394f5b06017138de">SVF::Z3Expr</a>
 </li>
 <li>operator|=()
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#a74c50cfaf788a828a4fc97eba703ec4e">SVF::CondPointsToSet&lt; Cond &gt;</a>
@@ -368,18 +407,21 @@ $(function() {
 , <a class="el" href="classSVF_1_1CoreBitVector.html#af8e63360242a49fb63c3ef3d7071503d">SVF::CoreBitVector</a>
 , <a class="el" href="classSVF_1_1PointsTo.html#a687b34cac3c43dd957b86a4833a24871">SVF::PointsTo</a>
 </li>
+<li>operator||
+: <a class="el" href="classSVF_1_1Z3Expr.html#a31327900a231526ff8f62be87c5f309d">SVF::Z3Expr</a>
+</li>
 <li>opICFGNodes
 : <a class="el" href="classSVF_1_1PhiStmt.html#a4c75a8f8430621aaec62a5189db136b5">SVF::PhiStmt</a>
 </li>
 <li>OpICFGNodeVec
 : <a class="el" href="classSVF_1_1PhiStmt.html#ac505a4fe33e82f555663872e81220ba4">SVF::PhiStmt</a>
 </li>
-<li>OPIncomingBBs
-: <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode</a>
-</li>
 <li>opIncomingBBs
 : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4">SVF::IntraPHIVFGNode</a>
 </li>
+<li>OPIncomingBBs
+: <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode</a>
+</li>
 <li>OpIt
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 </li>
@@ -395,12 +437,12 @@ $(function() {
 <li>opVarBegin()
 : <a class="el" href="classSVF_1_1MultiOpndStmt.html#abebed8985cb4d4d1361c42e5454c90b9">SVF::MultiOpndStmt</a>
 </li>
-<li>OPVars
-: <a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">SVF::MultiOpndStmt</a>
-</li>
 <li>opVars
 : <a class="el" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">SVF::MultiOpndStmt</a>
 </li>
+<li>OPVars
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">SVF::MultiOpndStmt</a>
+</li>
 <li>opVer
 : <a class="el" href="classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757">SVF::MSSACHI&lt; Cond &gt;</a>
 </li>
@@ -428,21 +470,21 @@ $(function() {
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990">SVF::BinaryOPVFGNode</a>
-, <a class="el" href="classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22">SVF::CmpVFGNode</a>
 </li>
 <li>opVers
 : <a class="el" href="classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c">SVF::CmpVFGNode</a>
-, <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI&lt; Cond &gt;</a>
 </li>
 <li>OPVers
-: <a class="el" href="classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba">SVF::MSSAPHI&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb">SVF::MSSAPHISVFGNode</a>
+: <a class="el" href="classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22">SVF::CmpVFGNode</a>
+, <a class="el" href="classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba">SVF::MSSAPHI&lt; Cond &gt;</a>
 </li>
 <li>opVers
-: <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</a>
+: <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</a>
 </li>
 <li>OPVers
-: <a class="el" href="classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c">SVF::PHIVFGNode</a>
+: <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb">SVF::MSSAPHISVFGNode</a>
+, <a class="el" href="classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c">SVF::PHIVFGNode</a>
 </li>
 <li>opVers
 : <a class="el" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode</a>
@@ -454,9 +496,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">SVF::UnaryOPVFGNode</a>
 </li>
 <li>OR()
-: <a class="el" href="classSVF_1_1BDDManager.html#a6c5d935cc7c9ee02a0a37f7fcce34a89">SVF::BDDManager</a>
-, <a class="el" href="classSVF_1_1CondManager.html#aa6dcd9cb78deef05b6c4d4e9b6b0a16b">SVF::CondManager</a>
-, <a class="el" href="classSVF_1_1Z3Manager.html#af50dd899af45580176376d2bb7cf6243">SVF::Z3Manager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#a276f68eefe6b168ad5dc9e32c4f265bd">SVF::BDDExprManager</a>
 </li>
 <li>OriginalBvNumWords
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af2786eae11ee13845da336ad23bc97e9">SVF::NodeIDAllocator::Clusterer</a>
@@ -478,7 +518,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>OutEdgeEnd()
-: <a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>OutEdgeKindToSetMap
 : <a class="el" href="classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab">SVF::SVFVar</a>

package/SVF-doxygen/html/html/functions_p.html

@@ -172,12 +172,12 @@ $(function() {
 <li>PAGPrint
 : <a class="el" href="classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80">SVF::Options</a>
 </li>
-<li>pagReadFromTxt
-: <a class="el" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">SVF::SVFModule</a>
-</li>
 <li>pagReadFromTXT()
 : <a class="el" href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">SVF::SVFModule</a>
 </li>
+<li>pagReadFromTxt
+: <a class="el" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">SVF::SVFModule</a>
+</li>
 <li>pairheadmap
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#af65f6553c6a7184401e249d777cd520e">SVF::MTASVFGBuilder</a>
 </li>
@@ -233,34 +233,24 @@ $(function() {
 <li>PASelected
 : <a class="el" href="classSVF_1_1Options.html#a1211da4c36f1fcc65235891f31d87038">SVF::Options</a>
 </li>
-<li>path
-: <a class="el" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">SVF::VFPathCond</a>
-</li>
 <li>PATH_LEAK
 : <a class="el" href="classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da5ef9b70f9a245b7a6b94a4456daabcda">SVF::LeakChecker</a>
 </li>
 <li>pathAllocator
 : <a class="el" href="classSVF_1_1ProgSlice.html#adc27c77d68f54030bdbb714139a974e5">SVF::ProgSlice</a>
 </li>
-<li>PathCond
-: <a class="el" href="classSVF_1_1PathStmtDPItem.html#a9092ac46745ceac6c9d9e7e560df6e86">SVF::PathStmtDPItem&lt; LocCond &gt;</a>
-, <a class="el" href="classSVF_1_1VFPathCond.html#a69d1ab707592342b8890459697ce7258">SVF::VFPathCond</a>
-</li>
 <li>PathCondAllocator()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a805120d975a4e0981b7045b719fe9de3">SVF::PathCondAllocator</a>
 </li>
 <li>pathCondAllocator
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a3008dc334d4500516507544a86ec6d9c">SVF::SrcSnkDDA</a>
 </li>
-<li>pathLen()
-: <a class="el" href="classSVF_1_1VFPathCond.html#a8fc62f3aa9faf26b2618ab13dade33b8">SVF::VFPathCond</a>
+<li>pathConstraint
+: <a class="el" href="classSVF_1_1ExeState.html#a7a9c5c2275246a43414503f6822073b1">SVF::ExeState</a>
 </li>
 <li>PathS_DDA
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85acaf0c0774025005647deaf59582b9d58">SVF::PointerAnalysis</a>
 </li>
-<li>PathStmtDPItem()
-: <a class="el" href="classSVF_1_1PathStmtDPItem.html#aaa18b09d9000c59ed45d25af4865864d">SVF::PathStmtDPItem&lt; LocCond &gt;</a>
-</li>
 <li>PCG()
 : <a class="el" href="classSVF_1_1PCG.html#a482925e80c66f258e0fb863ee6948081">SVF::PCG</a>
 </li>
@@ -393,12 +383,12 @@ $(function() {
 <li>Phi
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVF::SVFStmt</a>
 </li>
-<li>phiNodeMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9">SVF::SVFIR</a>
-</li>
 <li>PHINodeMap
 : <a class="el" href="classSVF_1_1SVFIR.html#a08a05dfa6b9734936bb92b3969dbce3b">SVF::SVFIR</a>
 </li>
+<li>phiNodeMap
+: <a class="el" href="classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9">SVF::SVFIR</a>
+</li>
 <li>PHISet
 : <a class="el" href="classSVF_1_1MemSSA.html#a8a5d3597f3dba9744e170cc8c32bf25f">SVF::MemSSA</a>
 , <a class="el" href="classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05">SVF::SVFG</a>
@@ -461,7 +451,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MHP.html#ad8d3aa1a12fb1e8668eb4138fbe23b7d">SVF::MHP</a>
 </li>
 <li>popFromWorklist()
-: <a class="el" href="classSVF_1_1CFLSolver.html#a88f770b4762d44e50d72cd50bb504078">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1SrcSnkSolver.html#aa9e62efa4443fc8a9dfb79d002c5e1ef">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#a20a14ac31fe23d4fe67da15f5cc498df">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>popRecursiveCallSites()
@@ -566,12 +556,12 @@ $(function() {
 <li>printCTirAliasStats()
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a023d0b492deaba40c593332cf1b2e3f6">SVF::FlowSensitive</a>
 </li>
-<li>printDbg()
-: <a class="el" href="classSVF_1_1Z3Manager.html#a667818d7f30d6d6763e5a6a83aeb242a">SVF::Z3Manager</a>
-</li>
 <li>PrintDCHG
 : <a class="el" href="classSVF_1_1Options.html#adf6c289ef9f2d0196984dd4024ea4316">SVF::Options</a>
 </li>
+<li>printExprValues()
+: <a class="el" href="classSVF_1_1ExeState.html#aee8eece3daa2b7cbebb8dcde761931c2">SVF::ExeState</a>
+</li>
 <li>printFlattenFields()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#aa40ff2fcaba3d4297d63269b74738737">SVF::SymbolTableInfo</a>
 </li>
@@ -596,9 +586,6 @@ $(function() {
 <li>PrintLockSpan
 : <a class="el" href="classSVF_1_1Options.html#ab8a9641b660197b4421fbd6141858c58">SVF::Options</a>
 </li>
-<li>printModel()
-: <a class="el" href="classSVF_1_1Z3Manager.html#af9655650f2ddfba9418fc1762794a730">SVF::Z3Manager</a>
-</li>
 <li>PrintPathCond
 : <a class="el" href="classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496">SVF::Options</a>
 </li>
@@ -762,7 +749,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a3abffe1434386b1ce349fbed0cfe0967">SVF::FlowSensitive</a>
 </li>
 <li>propagateVersion()
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#ad1aa83a71379164d3b7ccf6b61639cb1">SVF::VersionedFlowSensitive</a>
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a7a98162b69de90f80ce853a6ff43af56">SVF::VersionedFlowSensitive</a>
 </li>
 <li>propagateViaObj()
 : <a class="el" href="classSVF_1_1ContextDDA.html#a45d7a381fec0692b4d2f7d0eec47ccf1">SVF::ContextDDA</a>
@@ -877,7 +864,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a6e4964389f96667bd69354fd4a742720">SVF::VersionedFlowSensitive</a>
 </li>
 <li>PTASCEV()
-: <a class="el" href="classSVF_1_1PTASCEV.html#afb1582fa355f2ae93a877f4f5bed56d3">SVF::PTASCEV</a>
+: <a class="el" href="classSVF_1_1PTASCEV.html#a6a134ca4f7f50de053805e75431aa856">SVF::PTASCEV</a>
 </li>
 <li>PTAStat()
 : <a class="el" href="classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f">SVF::PTAStat</a>
@@ -956,12 +943,12 @@ $(function() {
 <li>ptrToBVPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
-<li>ptrToCPtsMap
-: <a class="el" href="classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a">SVF::CondPTAImpl&lt; Cond &gt;</a>
-</li>
 <li>PtrToCPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
+<li>ptrToCPtsMap
+: <a class="el" href="classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a">SVF::CondPTAImpl&lt; Cond &gt;</a>
+</li>
 <li>PtrToNSMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a838c3f2be39d278072f7a9df7c0bcb4d">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
@@ -976,11 +963,15 @@ $(function() {
 , <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e">SVF::FlowSensitiveStat</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a5d64ef2d4b9ab65cc7a9e33bb6fe47cf">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>ptsMap
 : <a class="el" href="classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+</li>
+<li>PtsMap
+: <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+</li>
+<li>ptsMap
+: <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>PtsMapConstIter
 : <a class="el" href="classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -1026,7 +1017,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1ContextCond.html#ad16644f61728fbb166ce80957b17d884">SVF::ContextCond</a>
 , <a class="el" href="classSVF_1_1CxtDPItem.html#a31a33a291b4bb688f54572c986c0b845">SVF::CxtDPItem</a>
 , <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a3bb07147466d6ccb397616e1c09fc60b">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
-, <a class="el" href="classSVF_1_1PathStmtDPItem.html#ae5bfef4e7759545ad15145504b84a897">SVF::PathStmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>pushCxt()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aaf70954762aa86f835d799994726790e">SVF::ForkJoinAnalysis</a>
@@ -1035,7 +1025,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1TCT.html#aa98a5b427a92eca1e043efcdf7945169">SVF::TCT</a>
 </li>
 <li>pushIntoWorklist()
-: <a class="el" href="classSVF_1_1CFLSolver.html#a28cd2677717b19c9cd8ab3c1c441d409">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1SrcSnkSolver.html#a4451d97a06bb74223e2dad0ea04265d7">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#a4af1c3e72f5af96c4facff672108da58">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>pushToCTPWorkList()