svf-tools 1.0.438 → 1.0.441

package/SVF-doxygen/html/html/functions_func_o.html

@@ -102,14 +102,13 @@ $(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>
 </li>
 <li>operator&amp;=()
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#ab86fdf68183d05f66e1405c6346038c4">SVF::CondPointsToSet&lt; Cond &gt;</a>
@@ -130,11 +129,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>
@@ -181,14 +182,13 @@ $(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>
 </li>
 <li>operator=()
 : <a class="el" href="classSVF_1_1ActualRetVFGNode.html#a4549da69c84064b914e9b4df9350ab6f">SVF::ActualRetVFGNode</a>
@@ -221,6 +221,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>
@@ -231,7 +232,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#ac35de79e5c5d48d7f8f6f22e8450a0f6">SVF::PointsTo::PointsToIterator</a>
@@ -249,7 +249,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>
@@ -269,27 +269,27 @@ $(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>
 </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_1CondPointsToSet.html#a74c50cfaf788a828a4fc97eba703ec4e">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a90e4c4ead1cbdca01c0be801a68b005b">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1CoreBitVector.html#af8e63360242a49fb63c3ef3d7071503d">SVF::CoreBitVector</a>
-, <a class="el" href="classSVF_1_1PointsTo.html#aa8644057ec182382e3c34e90d7d61ade">SVF::PointsTo</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#a687b34cac3c43dd957b86a4833a24871">SVF::PointsTo</a>
 </li>
 <li>opPts()
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ac7865b3ea1d76d2c522b465cc8e86639">SVF::PersistentPointsToCache&lt; Data &gt;</a>
@@ -320,12 +320,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c">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>OutEdgeBegin()
-: <a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">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>

package/SVF-doxygen/html/html/functions_func_p.html

@@ -91,12 +91,6 @@ $(function() {
 <li>PathCondAllocator()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a805120d975a4e0981b7045b719fe9de3">SVF::PathCondAllocator</a>
 </li>
-<li>pathLen()
-: <a class="el" href="classSVF_1_1VFPathCond.html#a8fc62f3aa9faf26b2618ab13dade33b8">SVF::VFPathCond</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>
@@ -186,7 +180,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointsTo.html#a05aa807f21f311eb50ff11dde98b8d22">SVF::PointsTo</a>
 </li>
 <li>PointsToIterator()
-: <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#ad9efcd9fb0c8201b9166a1560d06a71b">SVF::PointsTo::PointsToIterator</a>
+: <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a3974dee7680da3a43b58932766e77a16">SVF::PointsTo::PointsToIterator</a>
 </li>
 <li>pop()
 : <a class="el" href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">SVF::FIFOWorkList&lt; Data &gt;</a>
@@ -203,7 +197,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()
@@ -239,8 +233,8 @@ $(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>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>
@@ -260,9 +254,6 @@ $(function() {
 <li>printLocks()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ac1b42b0a53feae04f848e5b0828ff01a">SVF::LockAnalysis</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_1PathCondAllocator.html#a2932b15ef74e46b676075ba1b2e82111">SVF::PathCondAllocator</a>
 </li>
@@ -473,7 +464,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#a3f4fbad38457025f35e151e54ab96b70">SVF::PTASCEV</a>
 </li>
 <li>PTAStat()
 : <a class="el" href="classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f">SVF::PTAStat</a>
@@ -493,16 +484,15 @@ $(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>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a7d9fd3ddcadd84969b57491181983b17">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a67e2d43f0e35cc46eb7680ec66a4fe44">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1TCT.html#aa98a5b427a92eca1e043efcdf7945169">SVF::TCT</a>
+, <a class="el" href="classSVF_1_1TCT.html#afc6d7a91cfc98561bcce13425964a39e">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()

package/SVF-doxygen/html/html/functions_func_r.html

@@ -118,8 +118,11 @@ $(function() {
 <li>releaseAndersenWaveDiff()
 : <a class="el" href="classSVF_1_1AndersenWaveDiff.html#a5da6abb1a7f0ef3e3871ea6e5a623625">SVF::AndersenWaveDiff</a>
 </li>
-<li>releaseCondMgr()
-: <a class="el" href="classSVF_1_1CondManager.html#a2748338b4a5b122b5bbf4a9cb1f54211">SVF::CondManager</a>
+<li>releaseBDDExprMgr()
+: <a class="el" href="classSVF_1_1BDDExprManager.html#a560d3389fc5ca59b590441cf2f1f43ec">SVF::BDDExprManager</a>
+</li>
+<li>releaseContext()
+: <a class="el" href="classSVF_1_1Z3Expr.html#add40698894130ed079c372d5173f0ebb">SVF::Z3Expr</a>
 </li>
 <li>releaseFSMPTA()
 : <a class="el" href="classSVF_1_1FSMPTA.html#aea3ec49d7c12dc7e884600d1eddc99f0">SVF::FSMPTA</a>
@@ -302,7 +305,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LeakChecker.html#a93486083c0f186b91e655cbef2382634">SVF::LeakChecker</a>
 </li>
 <li>requiredBits()
-: <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a9aea96839c51ac1e2cbf4813174bb21c">SVF::NodeIDAllocator::Clusterer</a>
+: <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad0f0a6b61a044db819c253f8b9ab093e">SVF::NodeIDAllocator::Clusterer</a>
 </li>
 <li>reset()
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#aced740c1aadf06b4a63630844fac2dd8">SVF::CondPointsToSet&lt; Cond &gt;</a>
@@ -400,14 +403,14 @@ $(function() {
 </li>
 <li>runOnModule()
 : <a class="el" href="classSVF_1_1BreakConstantGEPs.html#ae99ceb7923161d54e7d0a687f4f68e1a">SVF::BreakConstantGEPs</a>
-, <a class="el" href="classSVF_1_1DDAPass.html#af196994d6ec7f5cead72212407842103">SVF::DDAPass</a>
+, <a class="el" href="classSVF_1_1DDAPass.html#a7bc2c9a62b7d97b8e19bee0c4625aea3">SVF::DDAPass</a>
 , <a class="el" href="classSVF_1_1DoubleFreeChecker.html#a71c9f9450e369d1196c49b7d9019dbda">SVF::DoubleFreeChecker</a>
 , <a class="el" href="classSVF_1_1FileChecker.html#a98a68536b8ffdb2250bbb01437598ac3">SVF::FileChecker</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#a611608ccc9659bd320670f1ec31ad18e">SVF::FlowSensitive</a>
 , <a class="el" href="classSVF_1_1LeakChecker.html#ab3bb79d88d73c8b881d714921e7b5e12">SVF::LeakChecker</a>
 , <a class="el" href="classSVF_1_1MergeFunctionRets.html#a8fe74477a43f80104fb3461d006ad392">SVF::MergeFunctionRets</a>
 , <a class="el" href="classSVF_1_1MTA.html#a32f6beffb47e5c2ac86f5c3b8a1bd9ba">SVF::MTA</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#a394dcd976c1ef08d9cadcba8f5d07c75">SVF::WPAPass</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#a1f47c1cb5a64bab9a6b8ac38103416ac">SVF::WPAPass</a>
 </li>
 <li>runPointerAnalysis()
 : <a class="el" href="classSVF_1_1DDAPass.html#a13ff3107a0e4f8749b166fa9b8165167">SVF::DDAPass</a>

package/SVF-doxygen/html/html/functions_func_s.html

@@ -143,8 +143,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a4cb61914dff693e284091e97ab8c8878">SVF::PathCondAllocator</a>
 </li>
 <li>setCondInst()
-: <a class="el" href="classSVF_1_1CondManager.html#a1fbf7dd446309e13671d838c91da26bf">SVF::CondManager</a>
-, <a class="el" href="classSVF_1_1PathCondAllocator.html#ab85a1ab3580958361ea5ec29efc75874">SVF::PathCondAllocator</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#afc1d4301a3453c920f9b92ac53101bfe">SVF::BDDExprManager</a>
+, <a class="el" href="classSVF_1_1PathCondAllocator.html#a51feefd408094a69f0fbe97cba181bf9">SVF::PathCondAllocator</a>
 </li>
 <li>setConsume()
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#aabc0a5a7a31b8d880e019773ba960741">SVF::VersionedFlowSensitive</a>
@@ -216,7 +216,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a3e2b811dd939c93bcf9fb94e91d553b1">SVF::SVFGOPT</a>
 </li>
 <li>setGraph()
-: <a class="el" href="classSVF_1_1CFLSolver.html#ae0a02179b2489f65988819666ec52a7c">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1SrcSnkSolver.html#a49cae8f70144639f529956478a8fca2b">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#aa04deb39cd024c051f30ac43d1d62b34">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>setICFGNode()
@@ -275,9 +275,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHNode.html#a5d751a3a0d88c0de374bfeb526051440">SVF::CHNode</a>
 , <a class="el" href="classSVF_1_1DCHNode.html#a798e80f0cc5951789474abc3a0999166">SVF::DCHNode</a>
 </li>
-<li>setNegCondInst()
-: <a class="el" href="classSVF_1_1Z3Manager.html#a7ec31e7f5d856ac7de8416573aef396f">SVF::Z3Manager</a>
-</li>
 <li>setNodeNumAfterPAGBuild()
 : <a class="el" href="classSVF_1_1IRGraph.html#a5fe12445ed0528183775747dec356db0">SVF::IRGraph</a>
 </li>
@@ -325,8 +322,8 @@ $(function() {
 <li>setPartialReachable()
 : <a class="el" href="classSVF_1_1ProgSlice.html#af6f137be08ca0e743424ff07d679777d">SVF::ProgSlice</a>
 </li>
-<li>setPaths()
-: <a class="el" href="classSVF_1_1VFPathCond.html#a77e2e07d2c428ac80fe6edafbbb3986b">SVF::VFPathCond</a>
+<li>setPathConstraint()
+: <a class="el" href="classSVF_1_1ExeState.html#abb73aa9e213818e89e1fb8abdd7a3309">SVF::ExeState</a>
 </li>
 <li>setPureAbstract()
 : <a class="el" href="classSVF_1_1CHNode.html#abac89987927dadd53dd646eae540a024">SVF::CHNode</a>
@@ -418,7 +415,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGStat.html#acb80953b39ce247679242df4f042ab79">SVF::SVFGStat</a>
 </li>
 <li>simplify()
-: <a class="el" href="classSVF_1_1Z3Manager.html#aa0fd8e460f4d89155da3487c0350f972">SVF::Z3Manager</a>
+: <a class="el" href="classSVF_1_1Z3Expr.html#afb3478316592a395c6d473791b5a0981">SVF::Z3Expr</a>
 </li>
 <li>sinksBegin()
 : <a class="el" href="classSVF_1_1ProgSlice.html#adf620c97daed49735d21b485c448b4a2">SVF::ProgSlice</a>
@@ -479,11 +476,14 @@ $(function() {
 </li>
 <li>split()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#ad26006e14c866d694bc6e2ebaa41ded9">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a7dad63ce2a85142a56d13926f10fde47">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a73db9ad234b263b6e644e4b38be14fe6">SVF::MTAResultValidator</a>
 </li>
 <li>SrcSnkDDA()
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a73f6ddd4ba868e203109c52e4f3600bd">SVF::SrcSnkDDA</a>
 </li>
+<li>SrcSnkSolver()
+: <a class="el" href="classSVF_1_1SrcSnkSolver.html#a952450652e55f3325f24b8d237d2c37d">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
+</li>
 <li>SSARename()
 : <a class="el" href="classSVF_1_1MemSSA.html#a16114eb55775f6ee812c1648dcaede0c">SVF::MemSSA</a>
 </li>
@@ -519,14 +519,17 @@ $(function() {
 : <a class="el" href="classSVF_1_1Steensgaard.html#ac79e21396243dfa969136daee5ecdbd4">SVF::Steensgaard</a>
 </li>
 <li>StInfo()
-: <a class="el" href="classSVF_1_1StInfo.html#acf028061b5a83c339766c30b19e8fc65">SVF::StInfo</a>
+: <a class="el" href="classSVF_1_1StInfo.html#a72dd2114d61e1489676a524b83ebb5ac">SVF::StInfo</a>
 </li>
 <li>StmtDPItem()
-: <a class="el" href="classSVF_1_1StmtDPItem.html#aed9239e5558569f6e957e691fa1872d7">SVF::StmtDPItem&lt; LocCond &gt;</a>
+: <a class="el" href="classSVF_1_1StmtDPItem.html#a3882dc175baaccfa1f811dcbfef98f71">SVF::StmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>StmtVFGNode()
 : <a class="el" href="classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d">SVF::StmtVFGNode</a>
 </li>
+<li>store()
+: <a class="el" href="classSVF_1_1ExeState.html#ade4fc12b40dd05bf840c313f2b723879">SVF::ExeState</a>
+</li>
 <li>StoreCGEdge()
 : <a class="el" href="classSVF_1_1StoreCGEdge.html#a0f873b0be0ac726e412171119c5b3a50">SVF::StoreCGEdge</a>
 </li>
@@ -556,7 +559,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFBasicBlock.html#abf53678f536d64c4d979600c9fe429d1">SVF::SVFBasicBlock</a>
 </li>
 <li>SVFFunction()
-: <a class="el" href="classSVF_1_1SVFFunction.html#aed73a0604a9fc5b6560ce87cfeaa3944">SVF::SVFFunction</a>
+: <a class="el" href="classSVF_1_1SVFFunction.html#ae7a55d86a87088f7d70254980e4325b3">SVF::SVFFunction</a>
 </li>
 <li>SVFG()
 : <a class="el" href="classSVF_1_1SVFG.html#a68965c5a9cc5136aa0b593851c60ff12">SVF::SVFG</a>

package/SVF-doxygen/html/html/functions_func_t.html

@@ -125,6 +125,9 @@ $(function() {
 <li>TLVFNodeStart()
 : <a class="el" href="classSVF_1_1SVFGStat.html#a2e4aac52fdc2fd119847afbeba634de9">SVF::SVFGStat</a>
 </li>
+<li>to_string()
+: <a class="el" href="classSVF_1_1Z3Expr.html#a1da8e647e12c0e105271eadbd72f437e">SVF::Z3Expr</a>
+</li>
 <li>toNodeBS()
 : <a class="el" href="classSVF_1_1PointsTo.html#ae4749cf6dc43645e2479cefbcc246637">SVF::PointsTo</a>
 </li>
@@ -220,7 +223,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1VarArgPN.html#a617077176f0ea586a0cf9a4a1034e99d">SVF::VarArgPN</a>
 , <a class="el" href="classSVF_1_1VFGEdge.html#a8f4bec008af7cd1a89870715eaa91a7b">SVF::VFGEdge</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a0342b5a6f270f4ff0e8e2a9b0082c6c5">SVF::VFGNode</a>
-, <a class="el" href="classSVF_1_1VFPathCond.html#a21665a89c2ba52de5754c2faad53166c">SVF::VFPathCond</a>
 </li>
 <li>touchCxtStmt()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#aaa0f33f19d9f80eee98289119ba907d2">SVF::LockAnalysis</a>

package/SVF-doxygen/html/html/functions_func_v.html

@@ -132,9 +132,6 @@ $(function() {
 <li>versionStat()
 : <a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html#ad7fe08f5d684e3411f8f28ec346bd814">SVF::VersionedFlowSensitiveStat</a>
 </li>
-<li>vfEdgesTrace()
-: <a class="el" href="classSVF_1_1VFPathCond.html#a9b7b81222fc7a128f9f48034d050ce06">SVF::VFPathCond</a>
-</li>
 <li>VFG()
 : <a class="el" href="classSVF_1_1VFG.html#a8ba98bb3d888ec5ff40f511da14b37bc">SVF::VFG</a>
 </li>
@@ -147,9 +144,6 @@ $(function() {
 <li>VFGNodes()
 : <a class="el" href="classSVF_1_1VFG.html#a43f4002b0beb00ed2026f7edd9ebbb1c">SVF::VFG</a>
 </li>
-<li>VFPathCond()
-: <a class="el" href="classSVF_1_1VFPathCond.html#ab54d59837160b5499992d7ea0a19723c">SVF::VFPathCond</a>
-</li>
 <li>view()
 : <a class="el" href="classSVF_1_1CHGraph.html#a87a7d8c281490fbd2377d64b0115d262">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1ConstraintGraph.html#a27d8078577d479c84f2a87b44f015d1c">SVF::ConstraintGraph</a>
@@ -200,7 +194,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#ac61e0c5f667ebeb4788d07253e6a733c">SVF::SVFIRBuilder</a>
 </li>
 <li>visited()
-: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a8038a801ba0fc31149847a49e074b210">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
+: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48a7c2de3119762694cdc0a4db77213a">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#aa7f342aa9281749d16bb377acf14c0d7">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>visitExtractElementInst()

package/SVF-doxygen/html/html/functions_func_z.html

@@ -62,10 +62,10 @@ $(function() {
 
 <h3><a id="index_z"></a>- z -</h3><ul>
 <li>Z3Expr()
-: <a class="el" href="classSVF_1_1Z3Expr.html#a6d57d4b10076ddf91cf47bf4d8878cd8">SVF::Z3Expr</a>
+: <a class="el" href="classSVF_1_1Z3Expr.html#a7a952918c0f3105d31da2ee00af4cffb">SVF::Z3Expr</a>
 </li>
-<li>Z3Manager()
-: <a class="el" href="classSVF_1_1Z3Manager.html#a2b2c98208ab6d9b6fd103a965d9aa1ac">SVF::Z3Manager</a>
+<li>z3Expr2NumValue()
+: <a class="el" href="classSVF_1_1ExeState.html#ab931a1b6a85d3db047bc50741a22c8a6">SVF::ExeState</a>
 </li>
 </ul>
 </div><!-- contents -->