svf-tools 1.0.438 → 1.0.441

package/SVF-doxygen/html/html/functions_v.html

@@ -141,12 +141,12 @@ $(function() {
 <li>ValVar()
 : <a class="el" href="classSVF_1_1ValVar.html#ae5dc21b3327a100ffe3e0e2c876ba1bb">SVF::ValVar</a>
 </li>
-<li>var2LabelMap
-: <a class="el" href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">SVF::SVFStmt</a>
-</li>
 <li>Var2LabelMap
 : <a class="el" href="classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb">SVF::SVFStmt</a>
 </li>
+<li>var2LabelMap
+: <a class="el" href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">SVF::SVFStmt</a>
+</li>
 <li>VAR_ARRAY_OBJ
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c">SVF::ObjTypeInfo</a>
 </li>
@@ -200,6 +200,12 @@ $(function() {
 <li>VarToPropNodeMap
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a9ee5add09f2b446c6c6bcb84da0f75b3">SVF::VersionedFlowSensitive</a>
 </li>
+<li>varToVal
+: <a class="el" href="classSVF_1_1ExeState.html#a32a5c65de2656ecfd2e33100a44dc02f">SVF::ExeState</a>
+</li>
+<li>VarToValMap
+: <a class="el" href="classSVF_1_1ExeState.html#afc4aad166cd39a6cfbd8e9b897104f3f">SVF::ExeState</a>
+</li>
 <li>varType
 : <a class="el" href="structDdSubtable.html#a876b1c5511462d8ceefa4acca28559a1">DdSubtable</a>
 </li>
@@ -261,9 +267,6 @@ $(function() {
 <li>vfEdgesAtIndCallSite
 : <a class="el" href="classSVF_1_1SVFGBuilder.html#aa9b432dd72f1a39be142c4e2c2d51247">SVF::SVFGBuilder</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_1SVFVar.html#a1499a631a2a15408ea35a09fccc0f0ad">SVF::SVFVar</a>
 , <a class="el" href="classSVF_1_1VFG.html#a8ba98bb3d888ec5ff40f511da14b37bc">SVF::VFG</a>
@@ -309,12 +312,6 @@ $(function() {
 <li>vfnVectors
 : <a class="el" href="classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10">SVF::DCHNode</a>
 </li>
-<li>vfpath
-: <a class="el" href="classSVF_1_1PathStmtDPItem.html#a33758a06ff628da74639bbdc348882c4">SVF::PathStmtDPItem&lt; LocCond &gt;</a>
-</li>
-<li>VFPathCond()
-: <a class="el" href="classSVF_1_1VFPathCond.html#ab54d59837160b5499992d7ea0a19723c">SVF::VFPathCond</a>
-</li>
 <li>VFS_WPA
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a412254a7738029bf3ee96f5c15a6bec9">SVF::PointerAnalysis</a>
 </li>
@@ -390,7 +387,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>visitedCTPs

package/SVF-doxygen/html/html/functions_vars.html

@@ -125,8 +125,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
 </li>
 <li>_graph
-: <a class="el" href="classSVF_1_1CFLSolver.html#a26e81753961ccb80b08d5c3ef7c4a141">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
-, <a class="el" href="classSVF_1_1SCCDetection.html#a2123596f26729d61b241cf468d8925d8">SVF::SCCDetection&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1SCCDetection.html#a2123596f26729d61b241cf468d8925d8">SVF::SCCDetection&lt; GraphType &gt;</a>
+, <a class="el" href="classSVF_1_1SrcSnkSolver.html#a87242199e12fce5c5978ed0a4baa6b09">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>_I

package/SVF-doxygen/html/html/functions_vars_b.html

@@ -97,11 +97,8 @@ $(function() {
 <li>bbToCondMap
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#ac3a0aa27f317d7d9214181b599f19f24">SVF::PathCondAllocator</a>
 </li>
-<li>bddCond
-: <a class="el" href="classSVF_1_1BDDExpr.html#ad4aabf0e3cd6004c71aa5528c8ca5731">SVF::BDDExpr</a>
-</li>
-<li>bddToBddCondExprMap
-: <a class="el" href="classSVF_1_1BDDManager.html#acb037c79511b40032e523494a804adb3">SVF::BDDManager</a>
+<li>bddExprMgr
+: <a class="el" href="classSVF_1_1BDDExprManager.html#a77a80afdf1cece7159d295f7ba11ae8f">SVF::BDDExprManager</a>
 </li>
 <li>BestCandidate
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3556bdda6725b72d0ca88364daeae32e">SVF::NodeIDAllocator::Clusterer</a>

package/SVF-doxygen/html/html/functions_vars_c.html

@@ -299,24 +299,17 @@ $(function() {
 , <a class="el" href="classSVF_1_1MSSAMU.html#a8e828af79da08528166b1f53165bc5b2">SVF::MSSAMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MSSAPHI.html#a348e69bf48ee7a959cd0bb117ba1dc9f">SVF::MSSAPHI&lt; Cond &gt;</a>
 </li>
-<li>condExprK
-: <a class="el" href="classSVF_1_1CondExpr.html#aa7cbd249e276b768b22677f5efd83dd1">SVF::CondExpr</a>
-</li>
 <li>condition
 : <a class="el" href="classSVF_1_1SelectStmt.html#a2d6e9d7131bc69a0e88b703c2c03d7e2">SVF::SelectStmt</a>
 </li>
-<li>ConditionType
-: <a class="el" href="classSVF_1_1Options.html#a87567aa3e6423fc96e0dfbaff00ed565">SVF::Options</a>
-</li>
 <li>conditionVar
 : <a class="el" href="classSVF_1_1IntraCFGEdge.html#a1d49f742d3f93361c7ba1b69e074ceb5">SVF::IntraCFGEdge</a>
 </li>
 <li>condMgr
-: <a class="el" href="classSVF_1_1CondManager.html#a1e48008a3fe3a562512e253133aa557f">SVF::CondManager</a>
-, <a class="el" href="classSVF_1_1PathCondAllocator.html#aacf96d4b7154f6c2dc12ab9e19702fcd">SVF::PathCondAllocator</a>
+: <a class="el" href="classSVF_1_1PathCondAllocator.html#a3f331564529091540cf587e575b0bc3a">SVF::PathCondAllocator</a>
 </li>
 <li>condToInstMap
-: <a class="el" href="classSVF_1_1CondManager.html#ab986c3f6281995e302dabe4776768329">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#a752dd196d3bd1d782e1290630c4daff0">SVF::BDDExprManager</a>
 </li>
 <li>connectDirSVFGEdgeTimeEnd
 : <a class="el" href="classSVF_1_1SVFGStat.html#ac243fababbb9d2f3efbea5411f947c21">SVF::SVFGStat</a>
@@ -460,6 +453,7 @@ $(function() {
 </li>
 <li>ctx
 : <a class="el" href="classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6">SVF::TCTNode</a>
+, <a class="el" href="classSVF_1_1Z3Expr.html#a7dce19d65c7a0b50d21127a07aa51bf8">SVF::Z3Expr</a>
 </li>
 <li>cube
 : <a class="el" href="structDdGen.html#a08e91eb3192955502ec878d31d4849f7">DdGen</a>
@@ -501,7 +495,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtProc.html#af5f186c71d815dabcbfab6bae7c57b59">SVF::CxtProc</a>
 , <a class="el" href="classSVF_1_1CxtStmt.html#ae451ee5a61dbdd2367a04cee304bbcb1">SVF::CxtStmt</a>
 , <a class="el" href="classSVF_1_1CxtThread.html#ae8e5c401e008739bf018f1d618c08ea5">SVF::CxtThread</a>
-, <a class="el" href="classSVF_1_1Z3Manager.html#ac5968fcdba98bd405509b8abd1997cbc">SVF::Z3Manager</a>
 </li>
 <li>CXT_THREAD
 : <a class="el" href="classSVF_1_1MTAResultValidator.html#a251e16fc1fb663c238122dd6d2ba02e1">SVF::MTAResultValidator</a>

package/SVF-doxygen/html/html/functions_vars_e.html

@@ -65,7 +65,7 @@ $(function() {
 : <a class="el" href="structDdChildren.html#aedecad6f1bca3d6b46c71b0a011e51c5">DdChildren</a>
 </li>
 <li>e
-: <a class="el" href="classSVF_1_1Z3Expr.html#a12503523dc2ddbc8cd8ef658de6e3cb0">SVF::Z3Expr</a>
+: <a class="el" href="classSVF_1_1Z3Expr.html#ae14d9fa0613b196420b90d20cc8df041">SVF::Z3Expr</a>
 </li>
 <li>edge2pts
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a1c0de33bba2f05f14140d872c345ab38">SVF::MTASVFGBuilder</a>
@@ -89,9 +89,6 @@ $(function() {
 <li>edgeNum
 : <a class="el" href="classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
 </li>
-<li>edges
-: <a class="el" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">SVF::VFPathCond</a>
-</li>
 <li>edgeType
 : <a class="el" href="classSVF_1_1CHEdge.html#a58ac14decda4041e773d723475f5c1c8">SVF::CHEdge</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_f.html

@@ -66,7 +66,7 @@ $(function() {
 , <a class="el" href="structDdHook.html#a5b1bfe85ce0ac180fc160eb8c30094d7">DdHook</a>
 </li>
 <li>falseCond
-: <a class="el" href="classSVF_1_1CondManager.html#a0ba3cf86743de62bcd5fd38d8166bc90">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#a7c9d970f02b142a5ca05f8d67e974269">SVF::BDDExprManager</a>
 </li>
 <li>FastClusterTime
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ae78d2b60035350c634f6f58d7a043c22">SVF::NodeIDAllocator::Clusterer</a>

package/SVF-doxygen/html/html/functions_vars_i.html

@@ -100,9 +100,6 @@ $(function() {
 <li>idCounter
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ad8d24772f7503e0e735f546506d2bcc5">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
-<li>idToCondExprMap
-: <a class="el" href="classSVF_1_1Z3Manager.html#a72e5e03058e98c4f511ce2bb180f89cf">SVF::Z3Manager</a>
-</li>
 <li>idToCSMap
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a5d6f63baad19589a9fd1e069631e18fa">SVF::PTACallGraph</a>
 </li>
@@ -131,7 +128,7 @@ $(function() {
 , <a class="el" href="structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a823afbcf2b99a38367b7bc8be17ff2ba">SVF::VersionedFlowSensitive::SCC::NodeData</a>
 </li>
 <li>indexToBddCondMap
-: <a class="el" href="classSVF_1_1BDDManager.html#a7b780b30a7c433dcccab1e29b85b7704">SVF::BDDManager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#a252928e3ee1032a9e9e5aa276836b460">SVF::BDDExprManager</a>
 </li>
 <li>IndirectCallLimit
 : <a class="el" href="classSVF_1_1Options.html#ad6c29b05188c9e06aa89623c61865ed8">SVF::Options</a>

package/SVF-doxygen/html/html/functions_vars_l.html

@@ -176,6 +176,9 @@ $(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>lookupComplements
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a47f4e8ef1461396afb2e1c3cbe055e95">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_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>

package/SVF-doxygen/html/html/functions_vars_n.html

@@ -67,9 +67,6 @@ $(function() {
 <li>neg
 : <a class="el" href="structcuddPathPair.html#a968dc3d34b592da2876517a687873281">cuddPathPair</a>
 </li>
-<li>negConds
-: <a class="el" href="classSVF_1_1Z3Manager.html#abd4a010660942227d7db81533e80b2c3">SVF::Z3Manager</a>
-</li>
 <li>NewBvNumWords
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af3fe4b4098898ee38928c9db30ea0fe9">SVF::NodeIDAllocator::Clusterer</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_p.html

@@ -148,15 +148,15 @@ $(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>pathAllocator
 : <a class="el" href="classSVF_1_1ProgSlice.html#adc27c77d68f54030bdbb714139a974e5">SVF::ProgSlice</a>
 </li>
 <li>pathCondAllocator
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a3008dc334d4500516507544a86ec6d9c">SVF::SrcSnkDDA</a>
 </li>
+<li>pathConstraint
+: <a class="el" href="classSVF_1_1ExeState.html#a7a9c5c2275246a43414503f6822073b1">SVF::ExeState</a>
+</li>
 <li>peakLiveNodes
 : <a class="el" href="structDdManager.html#a56b99ad9c23fcdc06fae90079b9690ce">DdManager</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_s.html

@@ -173,9 +173,6 @@ $(function() {
 , <a class="el" href="structDdManager.html#a8a0404c6d3d8c1e49ed84e4467c3387c">DdManager</a>
 , <a class="el" href="structDdSubtable.html#ab01ae39304c9a7ce2236584a78ff5856">DdSubtable</a>
 </li>
-<li>sol
-: <a class="el" href="classSVF_1_1Z3Manager.html#ac6fe9310046274759c45c1435fcc85c6">SVF::Z3Manager</a>
-</li>
 <li>solveAll
 : <a class="el" href="classSVF_1_1DDAClient.html#aa8a67c60ec0395c9cfae178dcff638a8">SVF::DDAClient</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_t.html

@@ -203,7 +203,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a6d52fb93d22b2ce3e4e4acbdd82b88b0">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>totalCondNum
-: <a class="el" href="classSVF_1_1CondManager.html#a7efaeff7229fcfdc6c05d53ee3e1d916">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#a8d034c572bed854582c391674a5b4f18">SVF::BDDExprManager</a>
 </li>
 <li>totalDirCallEdge
 : <a class="el" href="classSVF_1_1SVFGStat.html#a1e93c866f3d780cb1cfdaf1dd143ea24">SVF::SVFGStat</a>
@@ -293,7 +293,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTASCEV.html#aa92f2da24c8b6d3548f8b4920a8d157f">SVF::PTASCEV</a>
 </li>
 <li>trueCond
-: <a class="el" href="classSVF_1_1CondManager.html#aed854ecc55a568597f7d7f1f78fb92f4">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#acf9824ae990ee816bf182fb9e4a14053">SVF::BDDExprManager</a>
 </li>
 <li>type
 : <a class="el" href="structDdGen.html#ab08569c7ba12c63288a09a92109aa81d">DdGen</a>

package/SVF-doxygen/html/html/functions_vars_v.html

@@ -103,6 +103,9 @@ $(function() {
 <li>varToBeGrouped
 : <a class="el" href="structDdSubtable.html#a37f3694913396b88f33b3f0537e84076">DdSubtable</a>
 </li>
+<li>varToVal
+: <a class="el" href="classSVF_1_1ExeState.html#a32a5c65de2656ecfd2e33100a44dc02f">SVF::ExeState</a>
+</li>
 <li>varType
 : <a class="el" href="structDdSubtable.html#a876b1c5511462d8ceefa4acca28559a1">DdSubtable</a>
 </li>
@@ -142,9 +145,6 @@ $(function() {
 <li>vfnVectors
 : <a class="el" href="classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10">SVF::DCHNode</a>
 </li>
-<li>vfpath
-: <a class="el" href="classSVF_1_1PathStmtDPItem.html#a33758a06ff628da74639bbdc348882c4">SVF::PathStmtDPItem&lt; LocCond &gt;</a>
-</li>
 <li>vfspta
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a53b8a881400d7b353133c68295812efb">SVF::VersionedFlowSensitive</a>
 , <a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html#a19bde64f7e0ac99a2a6b49e78aa2e70f">SVF::VersionedFlowSensitiveStat</a>

package/SVF-doxygen/html/html/functions_vars_w.html

@@ -71,7 +71,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3">SVF::CoreBitVector</a>
 </li>
 <li>worklist
-: <a class="el" href="classSVF_1_1CFLSolver.html#a9d3cbcb9db049e3069b6553ab17ccf5b">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1SrcSnkSolver.html#aeecbd88066567b2f123e84072dd09941">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194">SVF::SVFGOPT</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>

package/SVF-doxygen/html/html/functions_w.html

@@ -79,12 +79,8 @@ $(function() {
 <li>WordSize
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3">SVF::CoreBitVector</a>
 </li>
-<li>worklist
-: <a class="el" href="classSVF_1_1CFLSolver.html#a9d3cbcb9db049e3069b6553ab17ccf5b">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
-</li>
 <li>WorkList
-: <a class="el" href="classSVF_1_1CFLSolver.html#a802e04eafce9adfd60506c44951c3d53">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
-, <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</a>
 , <a class="el" href="classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00">SVF::ConstraintGraph</a>
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a">SVF::ICFGBuilder</a>
@@ -92,14 +88,22 @@ $(function() {
 , <a class="el" href="classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc">SVF::MRGenerator</a>
 , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039">SVF::SaberSVFGBuilder</a>
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a">SVF::SrcSnkDDA</a>
-, <a class="el" href="classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40">SVF::SVFGOPT</a>
+</li>
+<li>worklist
+: <a class="el" href="classSVF_1_1SrcSnkSolver.html#aeecbd88066567b2f123e84072dd09941">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
+</li>
+<li>WorkList
+: <a class="el" href="classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>worklist
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194">SVF::SVFGOPT</a>
-, <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>WorkList
-: <a class="el" href="classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334">SVF::WPASolver&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40">SVF::SVFGOPT</a>
+, <a class="el" href="classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334">SVF::WPASolver&lt; GraphType &gt;</a>
+</li>
+<li>worklist
+: <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>WorkStack
 : <a class="el" href="classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e">SVF::CSC</a>

package/SVF-doxygen/html/html/functions_z.html

@@ -61,21 +61,11 @@ $(function() {
 <div class="textblock">Here is a list of all class members with links to the classes they belong to:</div>
 
 <h3><a id="index_z"></a>- z -</h3><ul>
-<li>Z3Cond
-: <a class="el" href="classSVF_1_1Z3Expr.html#a4c5d8b4850d005c46dc52b4a448a1235">SVF::Z3Expr</a>
-, <a class="el" href="classSVF_1_1Z3Manager.html#aae5b5661f0a34771753648072d6ea20a">SVF::Z3Manager</a>
-</li>
 <li>Z3Expr()
-: <a class="el" href="classSVF_1_1Z3Expr.html#a6d57d4b10076ddf91cf47bf4d8878cd8">SVF::Z3Expr</a>
-</li>
-<li>Z3K
-: <a class="el" href="classSVF_1_1CondExpr.html#aef2356f5c1c3178a7b54f46b7c2144a6af0ee682babaa91484a4cd3315b6aba2c">SVF::CondExpr</a>
-</li>
-<li>Z3Manager()
-: <a class="el" href="classSVF_1_1Z3Manager.html#a2b2c98208ab6d9b6fd103a965d9aa1ac">SVF::Z3Manager</a>
+: <a class="el" href="classSVF_1_1Z3Expr.html#a7a952918c0f3105d31da2ee00af4cffb">SVF::Z3Expr</a>
 </li>
-<li>Z3MgrK
-: <a class="el" href="classSVF_1_1CondManager.html#a7f7519973f1e0ab8054670a6154bd74fa0d24aacdb91d2684f43135bd654f5780">SVF::CondManager</a>
+<li>z3Expr2NumValue()
+: <a class="el" href="classSVF_1_1ExeState.html#ab931a1b6a85d3db047bc50741a22c8a6">SVF::ExeState</a>
 </li>
 <li>zero
 : <a class="el" href="structDdManager.html#acad9c199ad43af1a2c837ef5be30d01d">DdManager</a>

package/SVF-doxygen/html/html/globals.html

@@ -97,6 +97,9 @@ $(function() {
 <li>addMultiplicityGroups()
 : <a class="el" href="cuddInt_8c.html#a29f5c23b943bb38144362698dc8b60ed">cuddInt.c</a>
 </li>
+<li>AddressMask
+: <a class="el" href="ExeState_8h.html#a9c5bf91d8f58ded0fd8f57c04f26b56f">ExeState.h</a>
+</li>
 <li>addVarToConst()
 : <a class="el" href="cuddInt_8c.html#a1beb03ec42d575c3c90eb690a0edf97b">cuddInt.c</a>
 </li>

package/SVF-doxygen/html/html/globals_defs.html

@@ -88,6 +88,9 @@ $(function() {
 <li>ADCB
 : <a class="el" href="cuddInt_8c.html#a765e16a0d0856b8f4a0d91fecb05efd7">cuddInt.c</a>
 </li>
+<li>AddressMask
+: <a class="el" href="ExeState_8h.html#a9c5bf91d8f58ded0fd8f57c04f26b56f">ExeState.h</a>
+</li>
 <li>ALLOC
 : <a class="el" href="util_8h.html#a21755cdb11c76954a33c653579810f3a">util.h</a>
 </li>

package/SVF-doxygen/html/html/globals_defs_f.html

@@ -67,6 +67,9 @@ $(function() {
 <li>FIND_ENTRY
 : <a class="el" href="st_8c.html#a9fc5c02ec598b362bd1fd5ddb6442731">st.c</a>
 </li>
+<li>FlippedAddressMask
+: <a class="el" href="ExeState_8h.html#aec682540f2c8aa9deb79f610e4399411">ExeState.h</a>
+</li>
 <li>FREE
 : <a class="el" href="util_8h.html#aa279a8302d25fa9dfeb3e00161aee784">util.h</a>
 </li>

package/SVF-doxygen/html/html/globals_f.html

@@ -82,12 +82,15 @@ $(function() {
 <li>fixVarTree()
 : <a class="el" href="cuddInt_8c.html#a9a7571d0ca349667f3912593b8a7d8d1">cuddInt.c</a>
 </li>
-<li>free()
-: <a class="el" href="util_8h.html#a3110dcad20c2a6616d360901b94e06a1">util.h</a>
+<li>FlippedAddressMask
+: <a class="el" href="ExeState_8h.html#aec682540f2c8aa9deb79f610e4399411">ExeState.h</a>
 </li>
 <li>FREE
 : <a class="el" href="util_8h.html#aa279a8302d25fa9dfeb3e00161aee784">util.h</a>
 </li>
+<li>free()
+: <a class="el" href="util_8h.html#a3110dcad20c2a6616d360901b94e06a1">util.h</a>
+</li>
 <li>freeMatrix()
 : <a class="el" href="cuddInt_8c.html#ae61a29ea2e8e94b45114dbb698e14ac7">cuddInt.c</a>
 </li>

package/SVF-doxygen/html/html/globals_s.html

@@ -119,13 +119,13 @@ $(function() {
 <li>ST_DEFAULT_REORDER_FLAG
 : <a class="el" href="st_8h.html#a933aaa48b6a156a000befde073a24e4c">st.h</a>
 </li>
+<li>ST_DELETE
+: <a class="el" href="st_8h.html#a0c6a172fd99de7928916e65034ed8b1fa64ab176f8e8b9719bcd9b5297ccda9c7">st.h</a>
+</li>
 <li>st_delete()
 : <a class="el" href="st_8h.html#aeac35fa92942958472a69117777ec90d">st.h</a>
 , <a class="el" href="st_8c.html#a2d8405879414ed73f3ff6a935f3fc269">st.c</a>
 </li>
-<li>ST_DELETE
-: <a class="el" href="st_8h.html#a0c6a172fd99de7928916e65034ed8b1fa64ab176f8e8b9719bcd9b5297ccda9c7">st.h</a>
-</li>
 <li>st_foreach()
 : <a class="el" href="st_8h.html#a5341675ff925b7a670ab4705735ceb38">st.h</a>
 , <a class="el" href="st_8c.html#a4d18e5a6949c772c9ff8c3c70ec00b57">st.c</a>
@@ -189,13 +189,13 @@ $(function() {
 : <a class="el" href="st_8h.html#a65b35768bcf5b6f173b063b441a493db">st.h</a>
 , <a class="el" href="st_8c.html#a0ba60ae98aae8e6dd21bbe3b485bcfbe">st.c</a>
 </li>
-<li>ST_NUMHASH
-: <a class="el" href="st_8c.html#a76573cced143d429f99bfb5e286c621e">st.c</a>
-</li>
 <li>st_numhash()
 : <a class="el" href="st_8h.html#a487317ef8c55ab34fb58ddfe47163b9e">st.h</a>
 , <a class="el" href="st_8c.html#aede320ef4713f295a335b4da6e1d8358">st.c</a>
 </li>
+<li>ST_NUMHASH
+: <a class="el" href="st_8c.html#a76573cced143d429f99bfb5e286c621e">st.c</a>
+</li>
 <li>ST_OUT_OF_MEM
 : <a class="el" href="st_8h.html#a1276d6ae80c20ae2ec082db7c502ef75">st.h</a>
 </li>