npm - svf-tools - Versions diffs - 1.0.438 → 1.0.441 - Mend

svf-tools 1.0.438 → 1.0.441

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (387) hide show

package/SVF-doxygen/html/html/functions_func_g.html CHANGED Viewed

@@ -109,6 +109,15 @@ $(function() {
 <li>get_id()
 : <a class="el" href="classSVF_1_1CondVar.html#a5d64fa2be89051cd03301e3b07bffd6a">SVF::CondVar&lt; Cond &gt;</a>
 </li>
+<li>get_numeral_int()
+: <a class="el" href="classSVF_1_1Z3Expr.html#aa6c7fee4f418817dfa7458d830303f6e">SVF::Z3Expr</a>
+</li>
+<li>get_numeral_int64()
+: <a class="el" href="classSVF_1_1Z3Expr.html#ad94bbaa31e6df4e8b8238d69b8f4ae06">SVF::Z3Expr</a>
+</li>
+<li>get_sort()
+: <a class="el" href="classSVF_1_1Z3Expr.html#a8b2b5fa74704d776a2cd415b599a1393">SVF::Z3Expr</a>
+</li>
 <li>get_type()
 : <a class="el" href="classSVF_1_1ExtAPI.html#a90b433cf855adcf34c6ef7f7e5be62b1">SVF::ExtAPI</a>
 </li>
@@ -240,8 +249,8 @@ $(function() {
 <li>getBBToPhiSetMap()
 : <a class="el" href="classSVF_1_1MemSSA.html#a966477062a453901da3631015fcf737d">SVF::MemSSA</a>
 </li>
-<li>getBDDCond()
-: <a class="el" href="classSVF_1_1BDDExpr.html#a7bad973d49d3fb4eb3b21475d5d015bf">SVF::BDDExpr</a>
+<li>getBDDExprMgr()
+: <a class="el" href="classSVF_1_1BDDExprManager.html#ae7be20333ab86fb5297b33923562c7a5">SVF::BDDExprManager</a>
 </li>
 <li>getBinaryOPVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a27bd4d5ba75d65056d77882869b0c64d">SVF::VFG</a>
@@ -477,18 +486,15 @@ $(function() {
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a6ced6b5b50d920fb47c4334693fea86c">llvm::DOTGraphTraits&lt; VFG * &gt;</a>
 </li>
 <li>getCond()
-: <a class="el" href="classSVF_1_1BDDManager.html#a6b32e78874429c587de4f0f50dad95ee">SVF::BDDManager</a>
-, <a class="el" href="classSVF_1_1CondManager.html#ad0273f830c9a6791aea55bfbdebf1138">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#a58186fe706c8c44467b789d8ebd58474">SVF::BDDExprManager</a>
 , <a class="el" href="classSVF_1_1CxtStmtDPItem.html#ace41c90e66f6a85f12ff67540ad9d594">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
 , <a class="el" href="classSVF_1_1MSSACHI.html#a9673994f9db94e23984b132d4b533304">SVF::MSSACHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MSSAMU.html#ac51263250da06fd63b923a6771744f97">SVF::MSSAMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MSSAPHI.html#a06a5d63be38e6df36e1c28a6c0c789cc">SVF::MSSAPHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1PathCondAllocator.html#ad1fdfabb37f6bb5da6724b95404739e2">SVF::PathCondAllocator</a>
-, <a class="el" href="classSVF_1_1PathStmtDPItem.html#a529f51d30556e6f67a33b7d05e651816">SVF::PathStmtDPItem&lt; LocCond &gt;</a>
-, <a class="el" href="classSVF_1_1Z3Manager.html#aa8ecb34cf54a5defb48747b1278b4764">SVF::Z3Manager</a>
 </li>
 <li>getCondInst()
-: <a class="el" href="classSVF_1_1CondManager.html#a4fac6a918f1f6d09fe1a4ceac7c19428">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#a40e32bc52cce8ac1335b5050e693035b">SVF::BDDExprManager</a>
 , <a class="el" href="classSVF_1_1PathCondAllocator.html#adf65b74b89fca76c0cf5ea5dbd6dc4ca">SVF::PathCondAllocator</a>
 </li>
 <li>getCondition()
@@ -496,26 +502,17 @@ $(function() {
 , <a class="el" href="classSVF_1_1IntraCFGEdge.html#ac13be3c3ee581e20974ce4527a3cfe7b">SVF::IntraCFGEdge</a>
 , <a class="el" href="classSVF_1_1SelectStmt.html#ad4c3e9529176478bb726279a76050e8c">SVF::SelectStmt</a>
 </li>
-<li>getCondKind()
-: <a class="el" href="classSVF_1_1CondExpr.html#a2ae78bbef9ad2f3c61aafa23111a50ef">SVF::CondExpr</a>
-</li>
-<li>getCondMgr()
-: <a class="el" href="classSVF_1_1CondManager.html#a08cad78a4ebb31f32b72d5ff9793b83e">SVF::CondManager</a>
-</li>
 <li>getCondNum()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#ae8f2447d33e2c638c1375f97ff3c3b40">SVF::PathCondAllocator</a>
 </li>
 <li>getCondNumber()
-: <a class="el" href="classSVF_1_1BDDManager.html#a11e62b98370ace84a5370a9ab00a1717">SVF::BDDManager</a>
-, <a class="el" href="classSVF_1_1CondManager.html#a03d9a0d209505631f6d9e500d9c6bde3">SVF::CondManager</a>
-, <a class="el" href="classSVF_1_1Z3Manager.html#a5143c47868ea644735f34ca95400ee42">SVF::Z3Manager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#a39d4e4c5c4290dcdb8b00e05b56f7302">SVF::BDDExprManager</a>
 </li>
 <li>getCondPointsTo()
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a454a998ef5a866f2a6f270e3283c6ebd">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
 <li>getCondVar()
 : <a class="el" href="classSVF_1_1CxtStmtDPItem.html#ab1098f5093419b62ea27a20933059270">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
-, <a class="el" href="classSVF_1_1PathStmtDPItem.html#a4058ed62b866451b5ced665619ddcf56">SVF::PathStmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>getConservativeCPts()
 : <a class="el" href="classSVF_1_1ContextDDA.html#a32ce0085cb99f92f63b54df0f2ea2523">SVF::ContextDDA</a>
@@ -549,8 +546,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtProc.html#a99b0f68b4cbd733f91eea33aa3e64eb7">SVF::CxtProc</a>
 , <a class="el" href="classSVF_1_1CxtStmt.html#a3ce19b8f2de2e199ed4165dbe9d21f28">SVF::CxtStmt</a>
 , <a class="el" href="classSVF_1_1CxtThread.html#a93d75593046e26eafcf1af3a596bba4a">SVF::CxtThread</a>
+, <a class="el" href="classSVF_1_1ExeState.html#ac7a74f57945b7f076a5cfe9435fd34e8">SVF::ExeState</a>
 , <a class="el" href="classSVF_1_1LLVMModuleSet.html#ac1a9d20d62066ec4e181fad223669e32">SVF::LLVMModuleSet</a>
-, <a class="el" href="classSVF_1_1Z3Expr.html#a8a2406393ca74c99c8cd24a9fc233e81">SVF::Z3Expr</a>
+, <a class="el" href="classSVF_1_1Z3Expr.html#a1441f8e559aab4a051fff45a8c0665db">SVF::Z3Expr</a>
 </li>
 <li>getContexts()
 : <a class="el" href="classSVF_1_1ContextCond.html#a73d4d6ed38898b912926d044268fd35b">SVF::ContextCond</a>
@@ -840,7 +838,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acc178bd423dbb21bd46a9fae9ed0351c">SVF::ForkJoinAnalysis</a>
 </li>
 <li>getExpr()
-: <a class="el" href="classSVF_1_1Z3Expr.html#a167a586980be31f4f54884e88f972a04">SVF::Z3Expr</a>
+: <a class="el" href="classSVF_1_1Z3Expr.html#a57c199ba2c3c6a6d44a86e0b1429be55">SVF::Z3Expr</a>
 </li>
 <li>getExtAPI()
 : <a class="el" href="classSVF_1_1ExtAPI.html#a86508e03ca1c2e37fc9414cb2335c3ec">SVF::ExtAPI</a>
@@ -849,7 +847,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointsTo.html#a80a3caf74c138b3833c79622fef7b626">SVF::PointsTo</a>
 </li>
 <li>getFalseCond()
-: <a class="el" href="classSVF_1_1CondManager.html#a39e9d42cb3661d1c686b5163c70eeade">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#a34f5354a436840202428e406468e2335">SVF::BDDExprManager</a>
 , <a class="el" href="classSVF_1_1PathCondAllocator.html#a0d059c9adce2c998ddf2489376beb8e2">SVF::PathCondAllocator</a>
 , <a class="el" href="classSVF_1_1ProgSlice.html#a9150b694dd7b2e53ef7e78ea1b78094d">SVF::ProgSlice</a>
 </li>
@@ -1102,9 +1100,6 @@ $(function() {
 <li>getID()
 : <a class="el" href="classSVF_1_1MRVer.html#a45b70add039a7f134e8d44bfc6b8f0bc">SVF::MRVer</a>
 </li>
-<li>getId()
-: <a class="el" href="classSVF_1_1Z3Expr.html#a368c3b55b3ac7b71f810d0419e3c6c52">SVF::Z3Expr</a>
-</li>
 <li>getIDFSet()
 : <a class="el" href="classSVF_1_1IteratedDominanceFrontier.html#a9469ee9a9a7712a261076c9a747b6a22">SVF::IteratedDominanceFrontier</a>
 </li>
@@ -1177,6 +1172,9 @@ $(function() {
 <li>getInterleavingThreads()
 : <a class="el" href="classSVF_1_1MHP.html#a653460ed316804bea377eecdde412d36">SVF::MHP</a>
 </li>
+<li>getInternalID()
+: <a class="el" href="classSVF_1_1ExeState.html#a2535d6ef4a91b2bd2366b6a89265ab91">SVF::ExeState</a>
+</li>
 <li>getInternalNode()
 : <a class="el" href="classSVF_1_1PointsTo.html#aeda7466cdd9f77978981e2a518baa863">SVF::PointsTo</a>
 </li>
@@ -1308,6 +1306,9 @@ $(function() {
 <li>getLocToDPMVecMap()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#ad849ae4509e88832f784c748468ab959">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
+<li>getLocToVal()
+: <a class="el" href="classSVF_1_1ExeState.html#a4ee40de7eca22ac055b52360e0101623">SVF::ExeState</a>
+</li>
 <li>getLoop()
 : <a class="el" href="classSVF_1_1TCT.html#add9104a3d7a821e9c2f266ae1810d2e3">SVF::TCT</a>
 </li>
@@ -1351,10 +1352,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#a6f46446d667258b32ddc1ccab48f651c">SVF::SVFIR</a>
 </li>
 <li>getMemUsage()
-: <a class="el" href="classSVF_1_1BDDManager.html#adf0847a4af7703a0139c5db326a7988f">SVF::BDDManager</a>
-, <a class="el" href="classSVF_1_1CondManager.html#a9d1f2e6ef92ee120c7f26d98b1389b04">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#a7cb0ba9829434de3c40a2c45beea7741">SVF::BDDExprManager</a>
 , <a class="el" href="classSVF_1_1PathCondAllocator.html#ad6d58127299d87ae3c231065bb411557">SVF::PathCondAllocator</a>
-, <a class="el" href="classSVF_1_1Z3Manager.html#aca945ffd7a479fcf4de413a1ddcbf15a">SVF::Z3Manager</a>
 </li>
 <li>getMHP()
 : <a class="el" href="classSVF_1_1FSMPTA.html#a2d0cfa271848bc9a20fda25f12b2a4f2">SVF::FSMPTA</a>
@@ -1444,7 +1443,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">SVF::SVFG</a>
 </li>
 <li>getMUSet()
-: <a class="el" href="classSVF_1_1MemSSA.html#af4d11a0c7da0ddd7dff8d75a00279847">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#af1a7b3ca0144ebff3747715e89646fbb">SVF::MemSSA</a>
 </li>
 <li>getMutDFPTDataTy()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#acbb979edee9427efa2a7c0dbd881c483">SVF::BVDataPTAImpl</a>
@@ -1467,9 +1466,9 @@ $(function() {
 </li>
 <li>getNode()
 : <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#ad67b19903549bef892b8b059228e4d19">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
-, <a class="el" href="classSVF_1_1CFLSolver.html#adaa8ca9296ec3e9b6ec544a105296d22">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1CHGraph.html#a7beec68a60036c93a741a7152e8198b6">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1DCHGraph.html#a96c68bbb5ee5e939158ce0b67da2c61d">SVF::DCHGraph</a>
+, <a class="el" href="classSVF_1_1SrcSnkSolver.html#a18008d5496010aa5f54aade230bd64ff">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>getNodeAttributes()
 : <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#afcfdde52d1ed3ecbd849cbf4a16fb880">llvm::DOTGraphTraits&lt; CHGraph * &gt;</a>
@@ -1487,7 +1486,7 @@ $(function() {
 , <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a29ec19f4829cfe458c1eaab47e6fe8c0">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
 </li>
 <li>getNodeIDFromItem()
-: <a class="el" href="classSVF_1_1CFLSolver.html#a31199503d0ed7aff97d4620b3599dea6">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1SrcSnkSolver.html#ab37d80b1c7a1ebfa0e19c70792c5129e">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>getNodeKind()
 : <a class="el" href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
@@ -1563,7 +1562,7 @@ $(function() {
 </li>
 <li>getObject()
 : <a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html#ac10a4b9c2ee536cfcb74120d86c0619f">SVF::DummyVersionPropSVFGNode</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a2dd4d5f704906270af13e7a07f900eb1">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a25b86c16d11b4d50ccc28ead525687ae">SVF::SVFIR</a>
 </li>
 <li>getObjectNode()
 : <a class="el" href="classSVF_1_1IRGraph.html#aba13ca47865614e45321c1ae53e640c1">SVF::IRGraph</a>
@@ -1642,18 +1641,12 @@ $(function() {
 <li>getOrAddBlockICFGNode()
 : <a class="el" href="classSVF_1_1ICFGBuilder.html#a42f190f697284e6da7a6211ce7adecfe">SVF::ICFGBuilder</a>
 </li>
-<li>getOrAddBranchCond()
-: <a class="el" href="classSVF_1_1BDDManager.html#a913b8c19f239a162dbfa9527c846c3f6">SVF::BDDManager</a>
-</li>
 <li>getOrAddInterBlockICFGNode()
 : <a class="el" href="classSVF_1_1ICFGBuilder.html#a1c07cce4cae9bfc8884b37cbda06d8ac">SVF::ICFGBuilder</a>
 </li>
 <li>getOrAddIntraBlockICFGNode()
 : <a class="el" href="classSVF_1_1ICFGBuilder.html#a91599e3ddb71462ec61a50fad91288da">SVF::ICFGBuilder</a>
 </li>
-<li>getOrAddZ3Cond()
-: <a class="el" href="classSVF_1_1Z3Manager.html#a747edc9290575156f1edd50be043617d">SVF::Z3Manager</a>
-</li>
 <li>getOrCreateNode()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a9ed6b91fad334605f514049a2072b538">SVF::DCHGraph</a>
 </li>
@@ -1760,8 +1753,8 @@ $(function() {
 <li>getPathAllocator()
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a1a6ae6b1f6864057067d0e5533ea801e">SVF::SrcSnkDDA</a>
 </li>
-<li>getPaths()
-: <a class="el" href="classSVF_1_1VFPathCond.html#a8e9b42c314d4d182252e171b5b7f8cc4">SVF::VFPathCond</a>
+<li>getPathConstraint()
+: <a class="el" href="classSVF_1_1ExeState.html#a00bd54e2dc70a8547581008e27790eb8">SVF::ExeState</a>
 </li>
 <li>getPHIComplementCond()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#abef2785eb426d5e1d6f273300c691db6">SVF::PathCondAllocator</a>
@@ -1856,7 +1849,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutablePTData.html#a8838058efe94b62553bb5416fdc2ec5b">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>getPtsSubSetMap()
-: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53">SVF::IntraDisjointMRG</a>
 </li>
 <li>getRawCTirMetadata()
 : <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#a2c47ba37bd250be455a21d1f0049d556">SVF::FlowSensitiveTBHC</a>
@@ -1944,7 +1937,7 @@ $(function() {
 </li>
 <li>getRevPts()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a58113943e4e7144d94d26991dcc8bcc7">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a2f98940bd8266ad37a975c6d30d948b4">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ad9bd6762fc6525afaed4a6c6da63688d">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -2150,7 +2143,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ThreadAPI.html#aee8fac6281a95d8a519add100e8887d1">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#afeedd6e518af76fa9e7142af8899b2f5">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a282d6aeab91135af4cab8195d67badf6">SVF::ThreadAPI</a>
 </li>
 <li>getTCG()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>
@@ -2164,7 +2157,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a6ac3c91742a6e9088c4e9cf1b7d2f42e">SVF::TCT</a>
 </li>
 <li>getTCTNode()
-: <a class="el" href="classSVF_1_1TCT.html#aac9d98a33fbaa6defa3f847d0bbe76d6">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#a7b4ad0b052e1f8b6869733eef15f4e4d">SVF::TCT</a>
 </li>
 <li>getTCTNodeNum()
 : <a class="el" href="classSVF_1_1TCT.html#af03bfeae7e09a9f62d96ba59632e588f">SVF::TCT</a>
@@ -2203,7 +2196,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a26eb45eab3da4695a6e5bad51b01ddc5">SVF::SymbolTableInfo</a>
 </li>
 <li>getTrueCond()
-: <a class="el" href="classSVF_1_1CondManager.html#ac74f182ef249a7c892ba9c630f889ddc">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#a765d97ba6065a96a61209c59fdbb4b01">SVF::BDDExprManager</a>
 , <a class="el" href="classSVF_1_1PathCondAllocator.html#a1a6bde0db54c91fba7e6bac0acff664a">SVF::PathCondAllocator</a>
 , <a class="el" href="classSVF_1_1ProgSlice.html#a50bb38398ecc422b6d10e0d77bb032c3">SVF::ProgSlice</a>
 </li>
@@ -2290,6 +2283,9 @@ $(function() {
 <li>getVarargSym()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#aec3fd21a11f760ca8684e390c6948f02">SVF::SymbolTableInfo</a>
 </li>
+<li>getVarToVal()
+: <a class="el" href="classSVF_1_1ExeState.html#abf1237f5e4661a2da6e479f147957b18">SVF::ExeState</a>
+</li>
 <li>getVersion()
 : <a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html#af9f0eaf33502af1533dd1244a383d561">SVF::DummyVersionPropSVFGNode</a>
 , <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a6b398d59fc276980dd2d6d48a8675068">SVF::VersionedFlowSensitive</a>
@@ -2305,9 +2301,6 @@ $(function() {
 <li>getVFCond()
 : <a class="el" href="classSVF_1_1ProgSlice.html#a15542937ee75195de1a3ffca18a168cf">SVF::ProgSlice</a>
 </li>
-<li>getVFEdges()
-: <a class="el" href="classSVF_1_1VFPathCond.html#a451e3476a1d20f232f401d74b2e91589">SVF::VFPathCond</a>
-</li>
 <li>getVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a915fa50effaeea10716b86528b15c6dc">SVF::VFG</a>
 </li>
@@ -2350,6 +2343,9 @@ $(function() {
 <li>getVirtualFunctionVectors()
 : <a class="el" href="classSVF_1_1CHNode.html#a5df1cf4d51bf3406d188c96bc9aae0af">SVF::CHNode</a>
 </li>
+<li>getVirtualMemAddress()
+: <a class="el" href="classSVF_1_1ExeState.html#af97d422306089e69c2910c6084475c51">SVF::ExeState</a>
+</li>
 <li>getVTable()
 : <a class="el" href="classSVF_1_1CHNode.html#a600b63dac83e526c933c141d4e2bcc0c">SVF::CHNode</a>
 , <a class="el" href="classSVF_1_1DCHNode.html#a1a75ca91148992166d42d245d6c51988">SVF::DCHNode</a>
@@ -2357,8 +2353,11 @@ $(function() {
 <li>getYield()
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a01a199e9fdb5759c7f78ee344dbc413c">SVF::VersionedFlowSensitive</a>
 </li>
+<li>getZ3Expr()
+: <a class="el" href="classSVF_1_1ExeState.html#ab52debe3aae77d1efd5de4d220dbed2f">SVF::ExeState</a>
+</li>
 <li>global_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">SVF::SVFModule</a>
 </li>
 <li>global_end()
 : <a class="el" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule</a>
@@ -2371,8 +2370,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a4b8c555a11e9eae2065ec1549ce537de">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 </li>
 <li>graph()
-: <a class="el" href="classSVF_1_1CFLSolver.html#a9fc4cbe8985d4c25845d408ffcac13e4">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
-, <a class="el" href="classSVF_1_1SCCDetection.html#a1b8b57a3ea3740f36a19afc8bd42033d">SVF::SCCDetection&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1SCCDetection.html#a1b8b57a3ea3740f36a19afc8bd42033d">SVF::SCCDetection&lt; GraphType &gt;</a>
+, <a class="el" href="classSVF_1_1SrcSnkSolver.html#ae66ed69eb3412c2eef14ef2f86a34c6c">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#abe0a304039d1bd2cfd7befd32fdcde2b">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>GraphPrinter()

package/SVF-doxygen/html/html/functions_func_h.html CHANGED Viewed

@@ -316,8 +316,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#a16c2ed1f9e28c84669b14dc48fb3c01a">SVF::ICFG</a>
 </li>
 <li>hasIncomingEdge()
-: <a class="el" href="classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1VFPathCond.html#abb236b6b551cb58e4fb483c07aa5aa77">SVF::VFPathCond</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>hasIncomingEdges()
 : <a class="el" href="classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc">SVF::SVFVar</a>
@@ -381,8 +380,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a86f06a790cf90ec897b896a79956e5b4">SVF::LockAnalysis</a>
 </li>
 <li>hasOutgoingEdge()
-: <a class="el" href="classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1VFPathCond.html#a86e063928329b21cce0a319efac56fb9">SVF::VFPathCond</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>hasOutgoingEdges()
 : <a class="el" href="classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42">SVF::SVFVar</a>
@@ -464,9 +462,6 @@ $(function() {
 <li>hasValueNode()
 : <a class="el" href="classSVF_1_1IRGraph.html#aceb17dfbe137658625e16291127267d1">SVF::IRGraph</a>
 </li>
-<li>hasVFEdge()
-: <a class="el" href="classSVF_1_1VFPathCond.html#a64edbab728287b8a263ea25670671724">SVF::VFPathCond</a>
-</li>
 <li>hasVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a30eb9d717ad5bc8a9109a7bdef38f4a1">SVF::VFG</a>
 </li>

package/SVF-doxygen/html/html/functions_func_i.html CHANGED Viewed

@@ -79,6 +79,9 @@ $(function() {
 <li>ICFGStat()
 : <a class="el" href="classSVF_1_1ICFGStat.html#a3bbad3d1c0ab0cad3cc4b7aa069d1f9f">SVF::ICFGStat</a>
 </li>
+<li>id()
+: <a class="el" href="classSVF_1_1Z3Expr.html#acdb4fbb53f19bac033e79cfe96ce82ca">SVF::Z3Expr</a>
+</li>
 <li>identifyFollowers()
 : <a class="el" href="classSVF_1_1PCG.html#ae5ee8cf8cfe42854407190f30f3b6c1b">SVF::PCG</a>
 </li>
@@ -202,6 +205,9 @@ $(function() {
 <li>initialWorkList()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#ae825e01893d3304379f72380d314f09c">SVF::SVFGOPT</a>
 </li>
+<li>initObjVar()
+: <a class="el" href="classSVF_1_1ExeState.html#af4018e9053baa373b590230bc53b7ccb">SVF::ExeState</a>
+</li>
 <li>initSnks()
 : <a class="el" href="classSVF_1_1LeakChecker.html#a36613a8c07cbc3d50a764c9f37162d6c">SVF::LeakChecker</a>
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a0f6cfa30c346aab1fb03a44e47c32559">SVF::SrcSnkDDA</a>
@@ -216,6 +222,9 @@ $(function() {
 <li>initTypeInfo()
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#a92ba9c9671e557ba950c14f418079696">SVF::SymbolTableBuilder</a>
 </li>
+<li>initValVar()
+: <a class="el" href="classSVF_1_1ExeState.html#a7b3013578baac3ce73bc544569c3dbbf">SVF::ExeState</a>
+</li>
 <li>initWorklist()
 : <a class="el" href="classSVF_1_1Andersen.html#a9075cd05cb21e0f08a1109b7af6c7480">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#a7195381c3aab04890139b4fe2c561909">SVF::WPASolver&lt; GraphType &gt;</a>
@@ -304,6 +313,9 @@ $(function() {
 <li>is_arg_alloc()
 : <a class="el" href="classSVF_1_1ExtAPI.html#add48f7a9bcb7227727969e944ffe3fc8">SVF::ExtAPI</a>
 </li>
+<li>is_bool()
+: <a class="el" href="classSVF_1_1Z3Expr.html#aa4344471835568e6101780d3aece1900">SVF::Z3Expr</a>
+</li>
 <li>is_dealloc()
 : <a class="el" href="classSVF_1_1ExtAPI.html#af09ae44b9311d3dfd9eafd41da8c31be">SVF::ExtAPI</a>
 </li>
@@ -313,6 +325,9 @@ $(function() {
 <li>is_noop()
 : <a class="el" href="classSVF_1_1ExtAPI.html#a82439c0d4f80b2d3a4da3a4d090c69dc">SVF::ExtAPI</a>
 </li>
+<li>is_numeral()
+: <a class="el" href="classSVF_1_1Z3Expr.html#ad1802109545427278e3a8bde52e016b0">SVF::Z3Expr</a>
+</li>
 <li>is_realloc()
 : <a class="el" href="classSVF_1_1ExtAPI.html#a070e7da81158d8948a4dbc06a0ec3cfe">SVF::ExtAPI</a>
 </li>
@@ -335,7 +350,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#a28130cc55ab317d383ba6593f323b12a">SVF::MRGenerator</a>
 </li>
 <li>isAllPathReachable()
-: <a class="el" href="classSVF_1_1CondManager.html#a6151817a6f671fa1e7814e74f7ce2e51">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#afb30b41edd5bb6478d30778bc7f09e15">SVF::BDDExprManager</a>
 , <a class="el" href="classSVF_1_1PathCondAllocator.html#a51c55809f28eee5b8432ab4508f9a887">SVF::PathCondAllocator</a>
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a6ae0d47bac09163e90b8b2e773ad69f0">SVF::SrcSnkDDA</a>
 </li>
@@ -479,11 +494,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#af93358a02bf4ef8020091532e0c5b5af">SVF::PathCondAllocator</a>
 </li>
 <li>isEquivalentBranchCond()
-: <a class="el" href="classSVF_1_1BDDManager.html#a4ce1ff325aab55d7bef7d28fe79f4cde">SVF::BDDManager</a>
-, <a class="el" href="classSVF_1_1CondManager.html#aa20839631502b975590754e146242175">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#a9ac35220d1364a8e6d9bb32e3c236db2">SVF::BDDExprManager</a>
 , <a class="el" href="classSVF_1_1PathCondAllocator.html#ad92e8909172d960de8a25f6ff0272261">SVF::PathCondAllocator</a>
 , <a class="el" href="classSVF_1_1ProgSlice.html#a52ecc421c235a8854792ca92829312e4">SVF::ProgSlice</a>
-, <a class="el" href="classSVF_1_1Z3Manager.html#a34d8f9fc93bb82a8916ae45534ef5941">SVF::Z3Manager</a>
 </li>
 <li>isFClose()
 : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a970676d884d66da9fce00fe5b60c96ba">SVF::SaberCheckerAPI</a>
@@ -553,7 +566,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a391bb031b2f244e930b266a29cda0af7">SVF::SrcSnkDDA</a>
 </li>
 <li>isHareParFor()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a86d75b7e3570337e484397e60f97d88e">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#adb944c2287cf7686a03b0e53a03ba025">SVF::ThreadAPI</a>
 </li>
 <li>isHBPair()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a86c68ce5fd8825b1593d92a5a5bad389">SVF::ForkJoinAnalysis</a>
@@ -625,7 +638,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a65aca2bc12fc34203b16549653943eae">SVF::LockAnalysis</a>
 </li>
 <li>isInSameCSSpan()
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a8595b976bf60d161561e5494257aa179">SVF::LockAnalysis</a>
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a4245d946dd694b59b5c8ef30b08cb1dd">SVF::LockAnalysis</a>
 </li>
 <li>isInSameSpan()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#af30d0dad3d17188de8c2cea9b004f3d3">SVF::LockAnalysis</a>
@@ -658,7 +671,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFFunction.html#a7b4c6c7143d012802ea5ee962bec2deb">SVF::SVFFunction</a>
 </li>
 <li>isInWorklist()
-: <a class="el" href="classSVF_1_1CFLSolver.html#a435454f52e5be39c960052f1947b984d">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1SrcSnkSolver.html#a1d9e1f15c9670758b9598e848ce5eeed">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#a09c85e7a12715fc64e05a8448b699ec0">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>isIsolatedNode()
@@ -696,13 +709,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a549a95aa04233c98732777ea210d8525">SVF::TCT</a>
 </li>
 <li>isMemAlloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a71cbe5fbf582d0801f604595d3dfb416">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a8a96f6ee7bd9be1abfa89b05d773539f">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemcpy()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898">SVF::MTAAnnotator</a>
 </li>
 <li>isMemDealloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#ab6d9c2435bdb1c01542cc75e9eef0a4e">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a3b9d60c60d518a8abe2951ccc627fe33">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemset()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a36eb47b716c3b44ba5c459052bb0ed93">SVF::MTAAnnotator</a>
@@ -730,10 +743,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#aff24f70f9aa07b9f89c25bedab0e5a71">SVF::PathCondAllocator</a>
 </li>
 <li>isNegCond()
-: <a class="el" href="classSVF_1_1BDDManager.html#a4a1c1534e9e23ea326008abf1d318369">SVF::BDDManager</a>
-, <a class="el" href="classSVF_1_1CondManager.html#a1007afa25f9a95c5d12c58852ef74686">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#a2d07075a8948d9baf4de31d840aa7a17">SVF::BDDExprManager</a>
 , <a class="el" href="classSVF_1_1PathCondAllocator.html#a7182283f15c556e9d0e9fdc6d62efeef">SVF::PathCondAllocator</a>
-, <a class="el" href="classSVF_1_1Z3Manager.html#a869828207971498df1fd7c9f29d3e999">SVF::Z3Manager</a>
 </li>
 <li>isNodeHidden()
 : <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a2a467ab9b0a9ef28f88099f8ed58bba6">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
@@ -783,7 +794,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a842ddef4d1cb9c45555d949375627a48">SVF::LockAnalysis</a>
 </li>
 <li>isProtectedByCommonCxtLock()
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a3e2e629a588b44ed39e529babb59a4f9">SVF::LockAnalysis</a>
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a56405fa1fec68717958ed1c05dd34287">SVF::LockAnalysis</a>
 </li>
 <li>isProtectedByCommonLock()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a4d4501d62bf51475662b6ba66e6380aa">SVF::LockAnalysis</a>
@@ -839,10 +850,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a7a1be735c76ba4a6b235264fe8ec6c28">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
 <li>isSatisfiable()
-: <a class="el" href="classSVF_1_1BDDManager.html#aecd072d15ee8a4a9940b31ac78c50960">SVF::BDDManager</a>
-, <a class="el" href="classSVF_1_1CondManager.html#a5ef85ea09500adc006a25c1eb3426831">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#a26a49a796e0747b173c380f3658a7ad3">SVF::BDDExprManager</a>
 , <a class="el" href="classSVF_1_1PathCondAllocator.html#aaed1bbfcac68a5e48d2850ef395e7da7">SVF::PathCondAllocator</a>
-, <a class="el" href="classSVF_1_1Z3Manager.html#a98916f1ae12b8c2bb98231b19c94d928">SVF::Z3Manager</a>
 </li>
 <li>isSatisfiableForAll()
 : <a class="el" href="classSVF_1_1ProgSlice.html#a62a9f2c107f27d6c04c30ef153ffb8ed">SVF::ProgSlice</a>
@@ -916,7 +925,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#add7daee4a0ecae479a5ab015130c8c93">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>isTailofSpan()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#af8ea2da28e9818d4f9e4e9528997f023">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ac8339229ade604f4205b111bfc99f23f">SVF::MTASVFGBuilder</a>
 </li>
 <li>isTDAcquire()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a5521de9933ce74d0954a942dfceae772">SVF::LockAnalysis</a>
@@ -926,7 +935,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ThreadAPI.html#af3aa58dc83dca382162df67c12169585">SVF::ThreadAPI</a>
 </li>
 <li>isTDExit()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#ae87d129560d7015966336f06a516db23">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a22d6c0cf0ba19af0661b106a8859024f">SVF::ThreadAPI</a>
 </li>
 <li>isTDFork()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aff32f240a03421937c2fc606359dca9b">SVF::ForkJoinAnalysis</a>
@@ -937,11 +946,11 @@ $(function() {
 <li>isTDJoin()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aac722a42dc6e03e771a7a80de5f8ec94">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#ab566508ffd73abd4d5ad047a1d7f9c27">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a8cc5f9ff6039392ce1471cd830973c44">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a50e56d63c6d713ac34b4006d248f880b">SVF::ThreadAPI</a>
 </li>
 <li>isTDRelease()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ae312fa9ddb320674f7bc31e29aa474ed">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a38adae633d5aceddcca3b3a23ad66db9">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a1bba2e9df7a74e7e2f728267ff4bfe0f">SVF::ThreadAPI</a>
 </li>
 <li>isTemplate()
 : <a class="el" href="classSVF_1_1CHNode.html#aff23fda93401c60422a4a5a08d77d749">SVF::CHNode</a>
@@ -985,6 +994,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemObj.html#ad1966c52f95775ac7d65c0ba6632c3cf">SVF::MemObj</a>
 , <a class="el" href="classSVF_1_1ObjTypeInfo.html#a40d6703875b370aed2c6dc41c0594af5">SVF::ObjTypeInfo</a>
 </li>
+<li>isVirtualMemAddress()
+: <a class="el" href="classSVF_1_1ExeState.html#a2d5f2c2de23c919a47432501c3ad8adb">SVF::ExeState</a>
+</li>
 <li>isVisited()
 : <a class="el" href="classSVF_1_1CSC.html#a2913a7a83deae0b91f1f42dc45c4f3b2">SVF::CSC</a>
 </li>
@@ -993,7 +1005,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1TCT.html#a68d2b1107f9cc2edcc01265298b7307c">SVF::TCT</a>
 </li>
 <li>isWorklistEmpty()
-: <a class="el" href="classSVF_1_1CFLSolver.html#a4f35edfc7c4e4a35c9948ab5abd1a6ad">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1SrcSnkSolver.html#a8cf98a877e4190f3886b4020006f6383">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#a992b105a0ec126050a123e24db3bd45b">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>isZeroOffsettedGepCGEdge()

package/SVF-doxygen/html/html/functions_func_l.html CHANGED Viewed

@@ -64,6 +64,9 @@ $(function() {
 <li>LeakChecker()
 : <a class="el" href="classSVF_1_1LeakChecker.html#af1140475e97947d193784d2b90809036">SVF::LeakChecker</a>
 </li>
+<li>lessThanVarToValMap()
+: <a class="el" href="classSVF_1_1ExeState.html#a29c29c85982ffafd4c496e293a80eeeb">SVF::ExeState</a>
+</li>
 <li>List()
 : <a class="el" href="classSVF_1_1List.html#aeb697e85085a332e5d593b6f8ee95713">SVF::List&lt; Data &gt;</a>
 </li>
@@ -74,11 +77,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFModule.html#a648542aa5c4b487ad5aa12a39d15e951">SVF::SVFModule</a>
 </li>
 <li>llvmFunEnd()
-: <a class="el" href="classSVF_1_1SVFModule.html#af38d0f831967d6d8391a4c84e58d6519">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a7662ba877691e7e337af54835c15c3c5">SVF::SVFModule</a>
 </li>
 <li>LLVMModuleSet()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6">SVF::LLVMModuleSet</a>
 </li>
+<li>load()
+: <a class="el" href="classSVF_1_1ExeState.html#a80bd7f3746198459bbcb59274cebc013">SVF::ExeState</a>
+</li>
 <li>LoadCGEdge()
 : <a class="el" href="classSVF_1_1LoadCGEdge.html#a74ccf27a1e90fb8f47e9cecf7bd38cf7">SVF::LoadCGEdge</a>
 </li>
@@ -89,13 +95,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1LoadMU.html#aaf916feaa76c3eaf96dcff576ef366ca">SVF::LoadMU&lt; Cond &gt;</a>
 </li>
 <li>LoadStmt()
-: <a class="el" href="classSVF_1_1LoadStmt.html#a92c5817abfaa1f6fbc9ee911f458dfb2">SVF::LoadStmt</a>
+: <a class="el" href="classSVF_1_1LoadStmt.html#a4bd939005c7c6a5da4ed3b6be6ef1a22">SVF::LoadStmt</a>
 </li>
 <li>LoadVFGNode()
-: <a class="el" href="classSVF_1_1LoadVFGNode.html#a8ae07c41215e9c7544c45e581c18c29b">SVF::LoadVFGNode</a>
+: <a class="el" href="classSVF_1_1LoadVFGNode.html#afe482a8a05b0efc45ceb4052ea87a039">SVF::LoadVFGNode</a>
 </li>
 <li>LocationSet()
-: <a class="el" href="classSVF_1_1LocationSet.html#a290c7fe38704552fd66ad06e5deeaca9">SVF::LocationSet</a>
+: <a class="el" href="classSVF_1_1LocationSet.html#a40cc38cbc1a9433d1d83724767dc41ba">SVF::LocationSet</a>
 </li>
 <li>LockAnalysis()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#af8aff31058caba691c127b8aef297b43">SVF::LockAnalysis</a>

package/SVF-doxygen/html/html/functions_func_m.html CHANGED Viewed

@@ -101,7 +101,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>

package/SVF-doxygen/html/html/functions_func_n.html CHANGED Viewed

@@ -62,9 +62,7 @@ $(function() {
 <h3><a id="index_n"></a>- n -</h3><ul>
 <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>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#ace340608e136c33867b3e1a986d65c81">SVF::BDDExprManager</a>
 </li>
 <li>newCond()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a3cd08242b82129e6074b2f30a19b5c17">SVF::PathCondAllocator</a>
@@ -102,13 +100,16 @@ $(function() {
 : <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a8397bafa216b209b6bd2bcb20fec4322">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
 </li>
 <li>NormalGepCGEdge()
-: <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a4f5b8c292822670d2fea3d532cae5257">SVF::NormalGepCGEdge</a>
+: <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a511d6bd2061e0ca441fc80abbf6075f7">SVF::NormalGepCGEdge</a>
 </li>
 <li>normalizePointsTo()
 : <a class="el" href="classSVF_1_1AndersenBase.html#af37392229dab0a1f2f807a12186c3b39">SVF::AndersenBase</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a2026cffd7043208333083ed1a6603e7b">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#aa945d068c8935fc6926833fdf102e21c">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
+<li>nullExpr()
+: <a class="el" href="classSVF_1_1Z3Expr.html#a9aa800372d57db519d484cc32ea1c5dc">SVF::Z3Expr</a>
+</li>
 <li>nullPtrSymID()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#adaed6e68c2f53260ed4c4fc38b5c4721">SVF::SymbolTableInfo</a>
 </li>