svf-tools 1.0.296 → 1.0.300

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

@@ -71,7 +71,7 @@ var searchData=
   ['getblkobj',['getBlkObj',['../classSVF_1_1SymbolTableInfo.html#aebf96274e1ad2a523981487839a3025e',1,'SVF::SymbolTableInfo']]],
   ['getblkptr',['getBlkPtr',['../classSVF_1_1PAG.html#a67dc43e25a29ff81f3e12c7b70061261',1,'SVF::PAG']]],
   ['getblockicfgnode',['getBlockICFGNode',['../classSVF_1_1ICFG.html#ab7b0b3088b46ad65451905cc4f567a7b',1,'SVF::ICFG']]],
-  ['getbranchcond',['getBranchCond',['../classSVF_1_1BranchCondExpr.html#acbfed1c7771cdb49237cdd6d3c75d25c',1,'SVF::BranchCondExpr::getBranchCond()'],['../classSVF_1_1PathCondAllocator.html#a4d00c3306b92e59568b54a6a72afdb74',1,'SVF::PathCondAllocator::getBranchCond()']]],
+  ['getbranchcond',['getBranchCond',['../classSVF_1_1PathCondAllocator.html#a4d00c3306b92e59568b54a6a72afdb74',1,'SVF::PathCondAllocator::getBranchCond()'],['../classSVF_1_1BranchCondExpr.html#acbfed1c7771cdb49237cdd6d3c75d25c',1,'SVF::BranchCondExpr::getBranchCond()']]],
   ['getbranchcondtion',['getBranchCondtion',['../classSVF_1_1IntraCFGEdge.html#a52eb526a6066c4b909e250bd430c14ef',1,'SVF::IntraCFGEdge']]],
   ['getbvpointsto',['getBVPointsTo',['../classSVF_1_1CondPTAImpl.html#a94f3e4d073b8c5bab3c46058ddba3f43',1,'SVF::CondPTAImpl']]],
   ['getbyteoffset',['getByteOffset',['../classSVF_1_1LocationSet.html#a5322dcda48d6980c3f7aafa169fcd77d',1,'SVF::LocationSet']]],
@@ -131,8 +131,8 @@ var searchData=
   ['getcmppes',['getCmpPEs',['../classSVF_1_1PAG.html#a8154e4aef8e24147d9b945958aca8b18',1,'SVF::PAG']]],
   ['getcmpvfgnode',['getCmpVFGNode',['../classSVF_1_1VFG.html#a9215c1d7f1152967f0731057a085e793',1,'SVF::VFG']]],
   ['getcompletenodelabel',['getCompleteNodeLabel',['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a381db1cc959f8f2279fb501f8224a19a',1,'llvm::DOTGraphTraits< SVFG * >::getCompleteNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a6ced6b5b50d920fb47c4334693fea86c',1,'llvm::DOTGraphTraits< VFG * >::getCompleteNodeLabel()']]],
-  ['getcond',['getCond',['../classSVF_1_1MSSAMU.html#ac51263250da06fd63b923a6771744f97',1,'SVF::MSSAMU::getCond()'],['../classSVF_1_1MSSACHI.html#a9673994f9db94e23984b132d4b533304',1,'SVF::MSSACHI::getCond()'],['../classSVF_1_1MSSAPHI.html#a06a5d63be38e6df36e1c28a6c0c789cc',1,'SVF::MSSAPHI::getCond()'],['../classSVF_1_1CondManager.html#ac246b92ebdf6a9635ed79892b81b9ae8',1,'SVF::CondManager::getCond()'],['../classSVF_1_1CxtStmtDPItem.html#ace41c90e66f6a85f12ff67540ad9d594',1,'SVF::CxtStmtDPItem::getCond() const'],['../classSVF_1_1CxtStmtDPItem.html#a987f57970d633acc10aa3f3e69b68cb0',1,'SVF::CxtStmtDPItem::getCond()'],['../classSVF_1_1PathCondAllocator.html#ad1fdfabb37f6bb5da6724b95404739e2',1,'SVF::PathCondAllocator::getCond()'],['../classSVF_1_1PathStmtDPItem.html#a529f51d30556e6f67a33b7d05e651816',1,'SVF::PathStmtDPItem::getCond() const'],['../classSVF_1_1PathStmtDPItem.html#af96b78bbeb1f16d94f18e19c35672d28',1,'SVF::PathStmtDPItem::getCond()']]],
-  ['getcondinst',['getCondInst',['../classSVF_1_1CondManager.html#a4fac6a918f1f6d09fe1a4ceac7c19428',1,'SVF::CondManager::getCondInst()'],['../classSVF_1_1PathCondAllocator.html#adf65b74b89fca76c0cf5ea5dbd6dc4ca',1,'SVF::PathCondAllocator::getCondInst()']]],
+  ['getcond',['getCond',['../classSVF_1_1MSSAMU.html#ac51263250da06fd63b923a6771744f97',1,'SVF::MSSAMU::getCond()'],['../classSVF_1_1MSSACHI.html#a9673994f9db94e23984b132d4b533304',1,'SVF::MSSACHI::getCond()'],['../classSVF_1_1MSSAPHI.html#a06a5d63be38e6df36e1c28a6c0c789cc',1,'SVF::MSSAPHI::getCond()'],['../classSVF_1_1PathCondAllocator.html#ad1fdfabb37f6bb5da6724b95404739e2',1,'SVF::PathCondAllocator::getCond()'],['../classSVF_1_1CondManager.html#ac246b92ebdf6a9635ed79892b81b9ae8',1,'SVF::CondManager::getCond()'],['../classSVF_1_1CxtStmtDPItem.html#ace41c90e66f6a85f12ff67540ad9d594',1,'SVF::CxtStmtDPItem::getCond() const'],['../classSVF_1_1CxtStmtDPItem.html#a987f57970d633acc10aa3f3e69b68cb0',1,'SVF::CxtStmtDPItem::getCond()'],['../classSVF_1_1PathStmtDPItem.html#a529f51d30556e6f67a33b7d05e651816',1,'SVF::PathStmtDPItem::getCond() const'],['../classSVF_1_1PathStmtDPItem.html#af96b78bbeb1f16d94f18e19c35672d28',1,'SVF::PathStmtDPItem::getCond()']]],
+  ['getcondinst',['getCondInst',['../classSVF_1_1PathCondAllocator.html#adf65b74b89fca76c0cf5ea5dbd6dc4ca',1,'SVF::PathCondAllocator::getCondInst()'],['../classSVF_1_1CondManager.html#a4fac6a918f1f6d09fe1a4ceac7c19428',1,'SVF::CondManager::getCondInst()']]],
   ['getcondkind',['getCondKind',['../classSVF_1_1CondExpr.html#a2ae78bbef9ad2f3c61aafa23111a50ef',1,'SVF::CondExpr']]],
   ['getcondmgr',['getCondMgr',['../classSVF_1_1CondManager.html#a0128830b629c00d91dc78d348300e7c6',1,'SVF::CondManager']]],
   ['getcondnum',['getCondNum',['../classSVF_1_1PathCondAllocator.html#ae8f2447d33e2c638c1375f97ff3c3b40',1,'SVF::PathCondAllocator']]],
@@ -208,7 +208,7 @@ var searchData=
   ['getdpmsetatloc',['getDpmSetAtLoc',['../classSVF_1_1DDAVFSolver.html#a6c32a1cdcdbea0151c8cf17ffe598f29',1,'SVF::DDAVFSolver']]],
   ['getdstid',['getDstID',['../classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e',1,'SVF::GenericEdge']]],
   ['getdstnode',['getDstNode',['../classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86',1,'SVF::GenericEdge']]],
-  ['getdt',['getDT',['../classSVF_1_1MemSSA.html#a9741a8d0540ba4c27cb667590d246197',1,'SVF::MemSSA::getDT()'],['../classSVF_1_1TCT.html#a9b2977014d3c3e7df5cb56cc876ddc70',1,'SVF::TCT::getDT()'],['../classSVF_1_1PTACFInfoBuilder.html#afb3864bae4ac95c7d3b731634c1abdab',1,'SVF::PTACFInfoBuilder::getDT()'],['../classSVF_1_1PathCondAllocator.html#a496a23bc37dfdea32c536e9ebe9a4b88',1,'SVF::PathCondAllocator::getDT()']]],
+  ['getdt',['getDT',['../classSVF_1_1MemSSA.html#a9741a8d0540ba4c27cb667590d246197',1,'SVF::MemSSA::getDT()'],['../classSVF_1_1TCT.html#a9b2977014d3c3e7df5cb56cc876ddc70',1,'SVF::TCT::getDT()'],['../classSVF_1_1PathCondAllocator.html#a496a23bc37dfdea32c536e9ebe9a4b88',1,'SVF::PathCondAllocator::getDT()'],['../classSVF_1_1PTACFInfoBuilder.html#afb3864bae4ac95c7d3b731634c1abdab',1,'SVF::PTACFInfoBuilder::getDT()']]],
   ['getec',['getEC',['../classSVF_1_1Steensgaard.html#af2afffc0617d588a68fdfa4fcfd24b70',1,'SVF::Steensgaard']]],
   ['getedge',['getEdge',['../classSVF_1_1ConstraintGraph.html#a04a57ef9803917346cb966e05ecd0de4',1,'SVF::ConstraintGraph']]],
   ['getedgeattributes',['getEdgeAttributes',['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ad7d0a5d387c31c186b8527c7c6bd9791',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a74b0725d64b6e9c3060f2366633425f5',1,'llvm::DOTGraphTraits< ICFG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#a0cda5ff37828cb37d152c25878fa208d',1,'llvm::DOTGraphTraits< OfflineConsG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01PAG_01_5_01_4.html#af1457fbb243e106e3940dcb7f5f8f274',1,'llvm::DOTGraphTraits< PAG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a52d5c95a8f9823174c0acebc101de20b',1,'llvm::DOTGraphTraits< PTACallGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a0ade71edb2771cb6c4e7a0a7910d374e',1,'llvm::DOTGraphTraits< SVFG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a646a1023dab5169a73c8ea54e860c78b',1,'llvm::DOTGraphTraits< VFG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a349d851998bd1defbbafc16693e04764',1,'llvm::DOTGraphTraits< TCT * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a0ad443da42379a0038d42de4f7895b60',1,'llvm::DOTGraphTraits< CHGraph * >::getEdgeAttributes()']]],
@@ -229,7 +229,7 @@ var searchData=
   ['getexpr',['getExpr',['../classSVF_1_1CondExpr.html#ac83903c62554c6f91812d79d23ec4e23',1,'SVF::CondExpr']]],
   ['getextapi',['getExtAPI',['../classSVF_1_1ExtAPI.html#a86508e03ca1c2e37fc9414cb2335c3ec',1,'SVF::ExtAPI']]],
   ['getexternalnode',['getExternalNode',['../classSVF_1_1PointsTo.html#a80a3caf74c138b3833c79622fef7b626',1,'SVF::PointsTo']]],
-  ['getfalsecond',['getFalseCond',['../classSVF_1_1ProgSlice.html#a9150b694dd7b2e53ef7e78ea1b78094d',1,'SVF::ProgSlice::getFalseCond()'],['../classSVF_1_1BranchCondManager.html#a013eb66493beb2b1d004605c68894a95',1,'SVF::BranchCondManager::getFalseCond()'],['../classSVF_1_1CondManager.html#a39e9d42cb3661d1c686b5163c70eeade',1,'SVF::CondManager::getFalseCond()'],['../classSVF_1_1PathCondAllocator.html#a0d059c9adce2c998ddf2489376beb8e2',1,'SVF::PathCondAllocator::getFalseCond()']]],
+  ['getfalsecond',['getFalseCond',['../classSVF_1_1PathCondAllocator.html#a0d059c9adce2c998ddf2489376beb8e2',1,'SVF::PathCondAllocator::getFalseCond()'],['../classSVF_1_1ProgSlice.html#a9150b694dd7b2e53ef7e78ea1b78094d',1,'SVF::ProgSlice::getFalseCond()'],['../classSVF_1_1BranchCondManager.html#a013eb66493beb2b1d004605c68894a95',1,'SVF::BranchCondManager::getFalseCond()'],['../classSVF_1_1CondManager.html#a39e9d42cb3661d1c686b5163c70eeade',1,'SVF::CondManager::getFalseCond()']]],
   ['getfattenfieldidxvec',['getFattenFieldIdxVec',['../classSVF_1_1SymbolTableInfo.html#abfad1554a3803ff131f2a8682f329354',1,'SVF::SymbolTableInfo']]],
   ['getfattenfieldoffsetvec',['getFattenFieldOffsetVec',['../classSVF_1_1SymbolTableInfo.html#a5ff8a2f4afdb2cc26be0430f0310815b',1,'SVF::SymbolTableInfo']]],
   ['getfieldidx',['getFieldIdx',['../classSVF_1_1GepValPN.html#ab61c3b510838c4654e880e306f3af881',1,'SVF::GepValPN']]],
@@ -378,7 +378,7 @@ var searchData=
   ['getlockval',['getLockVal',['../classSVF_1_1LockAnalysis.html#a785616f9c744d7249fd1080e5ed04d29',1,'SVF::LockAnalysis::getLockVal()'],['../classSVF_1_1ThreadAPI.html#a8f1c869eb42f7c89697cf2c7452ba9e9',1,'SVF::ThreadAPI::getLockVal(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#ad1d43e47f5036138e85068a1714f6c48',1,'SVF::ThreadAPI::getLockVal(CallSite cs) const']]],
   ['getloctodpmvecmap',['getLocToDPMVecMap',['../classSVF_1_1DDAVFSolver.html#ad849ae4509e88832f784c748468ab959',1,'SVF::DDAVFSolver']]],
   ['getloop',['getLoop',['../classSVF_1_1TCT.html#add9104a3d7a821e9c2f266ae1810d2e3',1,'SVF::TCT::getLoop(const Instruction *inst)'],['../classSVF_1_1TCT.html#a71249dc399055790d86dcba6d9dd3021',1,'SVF::TCT::getLoop(const BasicBlock *bb)']]],
-  ['getloopinfo',['getLoopInfo',['../classSVF_1_1PTACFInfoBuilder.html#a418e6009760a7c9a048d2ffd9cd29956',1,'SVF::PTACFInfoBuilder::getLoopInfo()'],['../classSVF_1_1PathCondAllocator.html#a10ddc3b02b2baad2edd72fe429113b0f',1,'SVF::PathCondAllocator::getLoopInfo()']]],
+  ['getloopinfo',['getLoopInfo',['../classSVF_1_1PathCondAllocator.html#a10ddc3b02b2baad2edd72fe429113b0f',1,'SVF::PathCondAllocator::getLoopInfo()'],['../classSVF_1_1PTACFInfoBuilder.html#a418e6009760a7c9a048d2ffd9cd29956',1,'SVF::PTACFInfoBuilder::getLoopInfo()']]],
   ['getmainllvmmodule',['getMainLLVMModule',['../classSVF_1_1LLVMModuleSet.html#a9fe3fa15a6a0ec25864cb8439a45596e',1,'SVF::LLVMModuleSet']]],
   ['getmakredprocs',['getMakredProcs',['../classSVF_1_1TCT.html#a54cceb577b4fb89c1d84011ec4d2fe2c',1,'SVF::TCT']]],
   ['getmarkedflag',['getMarkedFlag',['../classSVF_1_1ForkJoinAnalysis.html#a149114898b13e1430c8fbb60978ca4f5',1,'SVF::ForkJoinAnalysis']]],
@@ -394,7 +394,7 @@ var searchData=
   ['getmemobj',['getMemObj',['../classSVF_1_1ObjPN.html#a63ee5624271a63c2dc4f7f3ed2dcefdf',1,'SVF::ObjPN']]],
   ['getmemoryusagekb',['getMemoryUsageKB',['../namespaceSVF_1_1SVFUtil.html#a630ff9c47f58f9b8df7c8a2b3711477c',1,'SVF::SVFUtil']]],
   ['getmemtofieldsmap',['getMemToFieldsMap',['../classSVF_1_1PAG.html#af47bff6b90ad3ff83e2b4bb16c2d39b1',1,'SVF::PAG']]],
-  ['getmemusage',['getMemUsage',['../classSVF_1_1BranchCondManager.html#ab728e3f0906854e94776ff0e6297c181',1,'SVF::BranchCondManager::getMemUsage()'],['../classSVF_1_1CondManager.html#a8a9d3d96c2c8cfef8b9d9c27c28871f6',1,'SVF::CondManager::getMemUsage()'],['../classSVF_1_1PathCondAllocator.html#ad6d58127299d87ae3c231065bb411557',1,'SVF::PathCondAllocator::getMemUsage()']]],
+  ['getmemusage',['getMemUsage',['../classSVF_1_1PathCondAllocator.html#ad6d58127299d87ae3c231065bb411557',1,'SVF::PathCondAllocator::getMemUsage()'],['../classSVF_1_1BranchCondManager.html#ab728e3f0906854e94776ff0e6297c181',1,'SVF::BranchCondManager::getMemUsage()'],['../classSVF_1_1CondManager.html#a8a9d3d96c2c8cfef8b9d9c27c28871f6',1,'SVF::CondManager::getMemUsage()']]],
   ['getmhp',['getMHP',['../classSVF_1_1FSMPTA.html#a2d0cfa271848bc9a20fda25f12b2a4f2',1,'SVF::FSMPTA']]],
   ['getmhpfunctions',['getMHPFunctions',['../classSVF_1_1PCG.html#a3106e03b7df8b34f50c769e1417f341c',1,'SVF::PCG']]],
   ['getmodelconstants',['getModelConstants',['../classSVF_1_1SymbolTableInfo.html#a89e9c6da843e5eef25c51afd5d0937e5',1,'SVF::SymbolTableInfo']]],
@@ -505,7 +505,7 @@ var searchData=
   ['getphiset',['getPHISet',['../classSVF_1_1MemSSA.html#a964f3fe39ece9a7b8b2033428b75a274',1,'SVF::MemSSA']]],
   ['getpointsto',['getPointsTo',['../classSVF_1_1IndirectSVFGEdge.html#a30aca718d25924f1babdf348bb0ace71',1,'SVF::IndirectSVFGEdge::getPointsTo()'],['../classSVF_1_1MRSVFGNode.html#a28fe266d0e4618aa4448aa218495a332',1,'SVF::MRSVFGNode::getPointsTo()'],['../classSVF_1_1MemRegion.html#a1e5befaa1a46943e101b33adaf141ca1',1,'SVF::MemRegion::getPointsTo()']]],
   ['getpointstolist',['getPointsToList',['../classSVF_1_1MRGenerator.html#a6d86c8ebe87cb54f39e52daa7ffb0e2e',1,'SVF::MRGenerator']]],
-  ['getpostdt',['getPostDT',['../classSVF_1_1TCT.html#ae4d26d2a77e45104523cfc481012bccc',1,'SVF::TCT::getPostDT()'],['../classSVF_1_1PTACFInfoBuilder.html#a00e3339dab62325354e8ecd8251da0f1',1,'SVF::PTACFInfoBuilder::getPostDT()'],['../classSVF_1_1PathCondAllocator.html#a1295e2c2c0a9c1a3744ba3927b95363e',1,'SVF::PathCondAllocator::getPostDT()']]],
+  ['getpostdt',['getPostDT',['../classSVF_1_1TCT.html#ae4d26d2a77e45104523cfc481012bccc',1,'SVF::TCT::getPostDT()'],['../classSVF_1_1PathCondAllocator.html#a1295e2c2c0a9c1a3744ba3927b95363e',1,'SVF::PathCondAllocator::getPostDT()'],['../classSVF_1_1PTACFInfoBuilder.html#a00e3339dab62325354e8ecd8251da0f1',1,'SVF::PTACFInfoBuilder::getPostDT()']]],
   ['getprevinsts',['getPrevInsts',['../namespaceSVF_1_1SVFUtil.html#a7e3a8d6cb1715db9518579fb60181d5b',1,'SVF::SVFUtil']]],
   ['getpreviousmemoryaccessinst',['getPreviousMemoryAccessInst',['../classSVF_1_1LockResultValidator.html#a0be1cdab3c36835044e3b26d5d8402e6',1,'SVF::LockResultValidator::getPreviousMemoryAccessInst()'],['../classSVF_1_1MTAResultValidator.html#ab3ba3c6d9c40e97febdab0e7d4ad9a3e',1,'SVF::MTAResultValidator::getPreviousMemoryAccessInst()'],['../classSVF_1_1RaceResultValidator.html#ad029f7a9a5161191a44d1e841f9d6114',1,'SVF::RaceResultValidator::getPreviousMemoryAccessInst()']]],
   ['getprevnodes',['getPrevNodes',['../classSVF_1_1MTASVFGBuilder.html#a7b034f9f8f01823ecfb7f6c17e47b502',1,'SVF::MTASVFGBuilder']]],
@@ -615,7 +615,7 @@ var searchData=
   ['gettotaledgenum',['getTotalEdgeNum',['../classSVF_1_1GenericGraph.html#a29cab1426b0000bd87c026ab8c9979c0',1,'SVF::GenericGraph']]],
   ['gettotalnodenum',['getTotalNodeNum',['../classSVF_1_1GenericGraph.html#a8c8d16036008f87c7811586047599858',1,'SVF::GenericGraph']]],
   ['gettotalsymnum',['getTotalSymNum',['../classSVF_1_1SymbolTableInfo.html#a7dda4943de0ed174a1d20fcdfde6c61c',1,'SVF::SymbolTableInfo']]],
-  ['gettruecond',['getTrueCond',['../classSVF_1_1ProgSlice.html#a50bb38398ecc422b6d10e0d77bb032c3',1,'SVF::ProgSlice::getTrueCond()'],['../classSVF_1_1BranchCondManager.html#ac6fb7493ceb44406a4bd6a62a60a6363',1,'SVF::BranchCondManager::getTrueCond()'],['../classSVF_1_1CondManager.html#ac74f182ef249a7c892ba9c630f889ddc',1,'SVF::CondManager::getTrueCond()'],['../classSVF_1_1PathCondAllocator.html#a1a6bde0db54c91fba7e6bac0acff664a',1,'SVF::PathCondAllocator::getTrueCond()']]],
+  ['gettruecond',['getTrueCond',['../classSVF_1_1PathCondAllocator.html#a1a6bde0db54c91fba7e6bac0acff664a',1,'SVF::PathCondAllocator::getTrueCond()'],['../classSVF_1_1ProgSlice.html#a50bb38398ecc422b6d10e0d77bb032c3',1,'SVF::ProgSlice::getTrueCond()'],['../classSVF_1_1BranchCondManager.html#ac6fb7493ceb44406a4bd6a62a60a6363',1,'SVF::BranchCondManager::getTrueCond()'],['../classSVF_1_1CondManager.html#ac74f182ef249a7c892ba9c630f889ddc',1,'SVF::CondManager::getTrueCond()']]],
   ['gettype',['getType',['../classSVF_1_1PAGNode.html#ab7ff5a1cfd0701997b23bf7be781ecf3',1,'SVF::PAGNode::getType()'],['../classSVF_1_1ObjPN.html#ab414eff6a3057b570109081a93fa6539',1,'SVF::ObjPN::getType()'],['../classSVF_1_1GepValPN.html#aae597b40c984a5a0226d630f7564cefb',1,'SVF::GepValPN::getType()'],['../classSVF_1_1GepObjPN.html#a685d6a3464890ba08d8d018ce2e8e3ff',1,'SVF::GepObjPN::getType()'],['../classSVF_1_1ObjTypeInfo.html#a706cdc47e78732853252d5a4af85653a',1,'SVF::ObjTypeInfo::getType()'],['../classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216',1,'SVF::MemObj::getType()'],['../classSVF_1_1MSSAMU.html#a9a542febe746d1389d34e5e31a3253c9',1,'SVF::MSSAMU::getType()'],['../classSVF_1_1MSSADEF.html#a4cabef62b821efb0c88efb304fd0a70c',1,'SVF::MSSADEF::getType()'],['../classSVF_1_1SaberCheckerAPI.html#ab0cdd9671c406e8d881f0a057fe44081',1,'SVF::SaberCheckerAPI::getType()'],['../classSVF_1_1DCHNode.html#aaf4036d892bdae02a01d31bfe3db2153',1,'SVF::DCHNode::getType()'],['../classSVF_1_1CallSite.html#a9b7d53a345875e4e6c72eb23ac6475de',1,'SVF::CallSite::getType()'],['../classSVF_1_1ThreadAPI.html#a768a655dffc5fcf1d63e2a0b3f2930f4',1,'SVF::ThreadAPI::getType()'],['../classSVF_1_1TypeBasedHeapCloning.html#a219edef6c013a953ed12ee3c56bde6de',1,'SVF::TypeBasedHeapCloning::getType()']]],
   ['gettypedefs',['getTypedefs',['../classSVF_1_1DCHNode.html#ac77edc44c3c5acc185c27c018837d066',1,'SVF::DCHNode']]],
   ['gettypefromctirmetadata',['getTypeFromCTirMetadata',['../classSVF_1_1TypeBasedHeapCloning.html#ac4565775cced4444ba007e310c4a02d8',1,'SVF::TypeBasedHeapCloning::getTypeFromCTirMetadata()'],['../classSVF_1_1FlowSensitiveTBHC.html#a045ffbf7eea276d154be2cf883ea71f7',1,'SVF::FlowSensitiveTBHC::getTypeFromCTirMetadata()']]],

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

@@ -89,7 +89,7 @@ var searchData=
   ['isaliasedlocks',['isAliasedLocks',['../classSVF_1_1LockAnalysis.html#add9272ead87ca994ee4e08dfa30fa0f4',1,'SVF::LockAnalysis::isAliasedLocks(const CxtLock &cl1, const CxtLock &cl2)'],['../classSVF_1_1LockAnalysis.html#ab5a541fb1585d475a89590cce66ba3b4',1,'SVF::LockAnalysis::isAliasedLocks(const Instruction *i1, const Instruction *i2)']]],
   ['isaliasedmr',['isAliasedMR',['../classSVF_1_1MRGenerator.html#a28130cc55ab317d383ba6593f323b12a',1,'SVF::MRGenerator']]],
   ['isaliastestfunction',['isAliasTestFunction',['../TypeBasedHeapCloning_8cpp.html#a2be9728908f88e4e16b1e6218801fa06',1,'TypeBasedHeapCloning.cpp']]],
-  ['isallpathreachable',['isAllPathReachable',['../classSVF_1_1SrcSnkDDA.html#a6ae0d47bac09163e90b8b2e773ad69f0',1,'SVF::SrcSnkDDA::isAllPathReachable()'],['../classSVF_1_1CondManager.html#a6151817a6f671fa1e7814e74f7ce2e51',1,'SVF::CondManager::isAllPathReachable()'],['../classSVF_1_1PathCondAllocator.html#a51c55809f28eee5b8432ab4508f9a887',1,'SVF::PathCondAllocator::isAllPathReachable()']]],
+  ['isallpathreachable',['isAllPathReachable',['../classSVF_1_1PathCondAllocator.html#a51c55809f28eee5b8432ab4508f9a887',1,'SVF::PathCondAllocator::isAllPathReachable()'],['../classSVF_1_1SrcSnkDDA.html#a6ae0d47bac09163e90b8b2e773ad69f0',1,'SVF::SrcSnkDDA::isAllPathReachable()'],['../classSVF_1_1CondManager.html#a6151817a6f671fa1e7814e74f7ce2e51',1,'SVF::CondManager::isAllPathReachable()']]],
   ['isallreachable',['isAllReachable',['../classSVF_1_1ProgSlice.html#a2f96f034b7236791fe1d4d351174722e',1,'SVF::ProgSlice']]],
   ['isamergednode',['isaMergedNode',['../classSVF_1_1AndersenHCD.html#ab0414e29a745ed14e790c296042d1fe9',1,'SVF::AndersenHCD']]],
   ['isanallocationwraper',['isAnAllocationWraper',['../namespaceSVF_1_1SVFUtil.html#ab302ca3fcbde9bd1a7d9d5d837a69c23',1,'SVF::SVFUtil']]],
@@ -145,7 +145,7 @@ var searchData=
   ['isdirectvfgedge',['isDirectVFGEdge',['../classSVF_1_1VFGEdge.html#a8777555f00696706de250159b920d14b',1,'SVF::VFGEdge']]],
   ['isedgeinrecursion',['isEdgeInRecursion',['../classSVF_1_1ContextDDA.html#a525949d1743136466d33bf4dc26ba423',1,'SVF::ContextDDA']]],
   ['iseqcmp',['isEQCmp',['../classSVF_1_1PathCondAllocator.html#af93358a02bf4ef8020091532e0c5b5af',1,'SVF::PathCondAllocator']]],
-  ['isequivalentbranchcond',['isEquivalentBranchCond',['../classSVF_1_1ProgSlice.html#a52ecc421c235a8854792ca92829312e4',1,'SVF::ProgSlice::isEquivalentBranchCond()'],['../classSVF_1_1CondManager.html#adef2474c65a7f9d96b27ee670136a240',1,'SVF::CondManager::isEquivalentBranchCond()'],['../classSVF_1_1PathCondAllocator.html#ad92e8909172d960de8a25f6ff0272261',1,'SVF::PathCondAllocator::isEquivalentBranchCond()']]],
+  ['isequivalentbranchcond',['isEquivalentBranchCond',['../classSVF_1_1PathCondAllocator.html#ad92e8909172d960de8a25f6ff0272261',1,'SVF::PathCondAllocator::isEquivalentBranchCond()'],['../classSVF_1_1ProgSlice.html#a52ecc421c235a8854792ca92829312e4',1,'SVF::ProgSlice::isEquivalentBranchCond()'],['../classSVF_1_1CondManager.html#adef2474c65a7f9d96b27ee670136a240',1,'SVF::CondManager::isEquivalentBranchCond()']]],
   ['isextcall',['isExtCall',['../namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400',1,'SVF::SVFUtil::isExtCall(const SVFFunction *fun)'],['../namespaceSVF_1_1SVFUtil.html#aad27a96075234ad2182a84e0e9d31a45',1,'SVF::SVFUtil::isExtCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#af3e5fd7ffce966575ebf7c7e653b0919',1,'SVF::SVFUtil::isExtCall(const Instruction *inst)']]],
   ['isfclose',['isFClose',['../classSVF_1_1SaberCheckerAPI.html#a970676d884d66da9fce00fe5b60c96ba',1,'SVF::SaberCheckerAPI::isFClose(const SVFFunction *fun) const'],['../classSVF_1_1SaberCheckerAPI.html#ad029e2f347ee2aeb5b0abb928a552789',1,'SVF::SaberCheckerAPI::isFClose(const Instruction *inst) const'],['../classSVF_1_1SaberCheckerAPI.html#ac176579c004a0bf210bbcc5bc7f0f250',1,'SVF::SaberCheckerAPI::isFClose(const CallBlockNode *cs) const']]],
   ['isfieldinsencondmemobj',['isFieldInsenCondMemObj',['../classSVF_1_1DDAVFSolver.html#a37a6321f50bef2939b287cc088e76170',1,'SVF::DDAVFSolver']]],
@@ -282,7 +282,7 @@ var searchData=
   ['issamescev',['isSameSCEV',['../classSVF_1_1ForkJoinAnalysis.html#a4d073da3e5266964dad7422033013219',1,'SVF::ForkJoinAnalysis']]],
   ['issamethisptrinconstructor',['isSameThisPtrInConstructor',['../namespaceSVF_1_1cppUtil.html#a5dd3230226002e126f6b0a877f9550ce',1,'SVF::cppUtil']]],
   ['issamevar',['isSameVar',['../classSVF_1_1CondPTAImpl.html#a7a1be735c76ba4a6b235264fe8ec6c28',1,'SVF::CondPTAImpl']]],
-  ['issatisfiable',['isSatisfiable',['../classSVF_1_1CondManager.html#a725d9c0a3aad4ebea3f06edf433f04ea',1,'SVF::CondManager::isSatisfiable()'],['../classSVF_1_1PathCondAllocator.html#aaed1bbfcac68a5e48d2850ef395e7da7',1,'SVF::PathCondAllocator::isSatisfiable()']]],
+  ['issatisfiable',['isSatisfiable',['../classSVF_1_1PathCondAllocator.html#aaed1bbfcac68a5e48d2850ef395e7da7',1,'SVF::PathCondAllocator::isSatisfiable()'],['../classSVF_1_1CondManager.html#a725d9c0a3aad4ebea3f06edf433f04ea',1,'SVF::CondManager::isSatisfiable()']]],
   ['issatisfiableforall',['isSatisfiableForAll',['../classSVF_1_1ProgSlice.html#a62a9f2c107f27d6c04c30ef153ffb8ed',1,'SVF::ProgSlice']]],
   ['issatisfiableforpairs',['isSatisfiableForPairs',['../classSVF_1_1ProgSlice.html#a45fb7711498bcba60e931c9c2a9ccec4',1,'SVF::ProgSlice']]],
   ['isscalar',['isScalar',['../classSVF_1_1DCHNode.html#a50cf99ff5cc910512c1ce3987c7395ef',1,'SVF::DCHNode']]],

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

@@ -37,7 +37,7 @@ var searchData=
   ['calltoinstmap',['CallToInstMap',['../classSVF_1_1ThreadCallGraph.html#a8c6eef5a291bd0c65cc2f816767795f1',1,'SVF::ThreadCallGraph']]],
   ['castinst',['CastInst',['../namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827',1,'SVF']]],
   ['cflsrcsnksolver',['CFLSrcSnkSolver',['../namespaceSVF.html#a6144ebf5a46ac5e8899044864caf92ba',1,'SVF']]],
-  ['cfworklist',['CFWorkList',['../classSVF_1_1ProgSlice.html#ab13cc8f64fed5f06b11f7ca67cbc0dc5',1,'SVF::ProgSlice::CFWorkList()'],['../classSVF_1_1PathCondAllocator.html#ac578894f959845164e1343384d60def1',1,'SVF::PathCondAllocator::CFWorkList()']]],
+  ['cfworklist',['CFWorkList',['../classSVF_1_1PathCondAllocator.html#ac578894f959845164e1343384d60def1',1,'SVF::PathCondAllocator::CFWorkList()'],['../classSVF_1_1ProgSlice.html#ab13cc8f64fed5f06b11f7ca67cbc0dc5',1,'SVF::ProgSlice::CFWorkList()']]],
   ['cgscc',['CGSCC',['../classSVF_1_1Andersen.html#a77e7378a3a35622bde2371d7d3ed7013',1,'SVF::Andersen::CGSCC()'],['../namespaceSVF.html#a1f730acb8da8187da732631ca6bbff01',1,'SVF::CGSCC()']]],
   ['chedgesetty',['CHEdgeSetTy',['../classSVF_1_1CHEdge.html#ae2c206fb3c7e4d9deec7d8298caf5017',1,'SVF::CHEdge']]],
   ['chi',['CHI',['../classSVF_1_1SVFG.html#a60df52c14b303562ff5d73c7836e3495',1,'SVF::SVFG::CHI()'],['../classSVF_1_1MemSSA.html#a503f2fda873c330ef2cc5561f396ea6e',1,'SVF::MemSSA::CHI()']]],
@@ -51,7 +51,7 @@ var searchData=
   ['cmpinst',['CmpInst',['../namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4',1,'SVF']]],
   ['cmpnodemap',['CmpNodeMap',['../classSVF_1_1PAG.html#a373335a3c28622cfc0aeb1ef7ae8ccf7',1,'SVF::PAG']]],
   ['cmppelist',['CmpPEList',['../classSVF_1_1PAG.html#ab33607f8f36bf0a47e91ac510872a60e',1,'SVF::PAG']]],
-  ['condition',['Condition',['../classSVF_1_1MemRegion.html#a7ed54700c976f9738012bc051b7f41f5',1,'SVF::MemRegion::Condition()'],['../classSVF_1_1MemSSA.html#ac0c8f70b6283e26e70dafe02fcb5180a',1,'SVF::MemSSA::Condition()'],['../classSVF_1_1ProgSlice.html#a3dc89d666a0f369ca85e13632676e6aa',1,'SVF::ProgSlice::Condition()'],['../classSVF_1_1PathCondAllocator.html#aade2bc55c3882a6cacc3c4a891a1c4a3',1,'SVF::PathCondAllocator::Condition()']]],
+  ['condition',['Condition',['../classSVF_1_1MemRegion.html#a7ed54700c976f9738012bc051b7f41f5',1,'SVF::MemRegion::Condition()'],['../classSVF_1_1MemSSA.html#ac0c8f70b6283e26e70dafe02fcb5180a',1,'SVF::MemSSA::Condition()'],['../classSVF_1_1PathCondAllocator.html#aade2bc55c3882a6cacc3c4a891a1c4a3',1,'SVF::PathCondAllocator::Condition()'],['../classSVF_1_1ProgSlice.html#a3dc89d666a0f369ca85e13632676e6aa',1,'SVF::ProgSlice::Condition()']]],
   ['condposmap',['CondPosMap',['../classSVF_1_1PathCondAllocator.html#a0d685cfd0f0652a0ff839969f763371b',1,'SVF::PathCondAllocator']]],
   ['condpts',['CondPts',['../classSVF_1_1CondPointsToSet.html#aaddc3f78a624de59dda6f078ba63ba52',1,'SVF::CondPointsToSet']]],
   ['condptsconstiter',['CondPtsConstIter',['../classSVF_1_1CondPointsToSet.html#aa9d3a8c42b6df3fa9c2e7bcd7af75e16',1,'SVF::CondPointsToSet']]],

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

@@ -32,7 +32,7 @@ var searchData=
   ['timeofprocessloadstore',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
   ['timeofsccdetection',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
   ['timeofsccmerges',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
-  ['timeofssarenaming',['TimeOfSSARenaming',['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()'],['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()']]],
+  ['timeofssarenaming',['timeOfSSARenaming',['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()'],['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()']]],
   ['timeofupdatecallgraph',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
   ['timestatmap',['timeStatMap',['../classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337',1,'SVF::PTAStat']]],
   ['tlptdata',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],

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

@@ -9,7 +9,7 @@ var searchData=
   ['uniqueunions',['uniqueUnions',['../classSVF_1_1PersistentPointsToCache.html#aacebdd87b1dd45250391d035b032f9d4',1,'SVF::PersistentPointsToCache']]],
   ['univ',['univ',['../structDdManager.html#ab21d56989b9a13502aeb84228de45df0',1,'DdManager']]],
   ['unlocksites',['unlocksites',['../classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780',1,'SVF::LockAnalysis']]],
-  ['updatecallgraphtime',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()'],['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()']]],
+  ['updatecallgraphtime',['UpdateCallGraphTime',['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()'],['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()']]],
   ['updatetime',['updateTime',['../classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226',1,'SVF::FlowSensitive']]],
   ['usedregs',['usedRegs',['../classSVF_1_1MemSSA.html#acf840b71b67cabe831f01f2d358f27fa',1,'SVF::MemSSA']]],
   ['usepcg',['UsePCG',['../classSVF_1_1Options.html#af2f66307e1d51947676f622c98ef0762',1,'SVF::Options']]],

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

@@ -74,7 +74,7 @@ var searchData=
   ['concretecxt',['concreteCxt',['../classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb',1,'SVF::ContextCond']]],
   ['cond',['cond',['../classSVF_1_1MSSAMU.html#a8e828af79da08528166b1f53165bc5b2',1,'SVF::MSSAMU::cond()'],['../classSVF_1_1MSSACHI.html#addeee3fb0c5e6b1c68c30da111c26759',1,'SVF::MSSACHI::cond()'],['../classSVF_1_1MSSAPHI.html#a348e69bf48ee7a959cd0bb117ba1dc9f',1,'SVF::MSSAPHI::cond()']]],
   ['condexprk',['condExprK',['../classSVF_1_1CondExpr.html#aa7cbd249e276b768b22677f5efd83dd1',1,'SVF::CondExpr']]],
-  ['condmgr',['condMgr',['../classSVF_1_1CondManager.html#a1e48008a3fe3a562512e253133aa557f',1,'SVF::CondManager::condMgr()'],['../classSVF_1_1PathCondAllocator.html#aacf96d4b7154f6c2dc12ab9e19702fcd',1,'SVF::PathCondAllocator::condMgr()']]],
+  ['condmgr',['condMgr',['../classSVF_1_1PathCondAllocator.html#aacf96d4b7154f6c2dc12ab9e19702fcd',1,'SVF::PathCondAllocator::condMgr()'],['../classSVF_1_1CondManager.html#a1e48008a3fe3a562512e253133aa557f',1,'SVF::CondManager::condMgr()']]],
   ['condtoinstmap',['condToInstMap',['../classSVF_1_1CondManager.html#ab986c3f6281995e302dabe4776768329',1,'SVF::CondManager']]],
   ['connectdirsvfgedgetimeend',['connectDirSVFGEdgeTimeEnd',['../classSVF_1_1SVFGStat.html#ac243fababbb9d2f3efbea5411f947c21',1,'SVF::SVFGStat']]],
   ['connectdirsvfgedgetimestart',['connectDirSVFGEdgeTimeStart',['../classSVF_1_1SVFGStat.html#a0a967faad014cdd53f5dddfdc59edbc3',1,'SVF::SVFGStat']]],

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

@@ -26,7 +26,7 @@ var searchData=
   ['forksites',['forksites',['../classSVF_1_1ThreadCallGraph.html#a69b86668a04dc3e5bb85ab4f3f0fce27',1,'SVF::ThreadCallGraph']]],
   ['formalouttodefmap',['formalOutToDefMap',['../classSVF_1_1SVFGOPT.html#abbd6ac28826b9cc4c4981271393c8b19',1,'SVF::SVFGOPT']]],
   ['formalret',['formalRet',['../classSVF_1_1FunExitBlockNode.html#a77c46d6089369ea040efa346e0b3de25',1,'SVF::FunExitBlockNode']]],
-  ['forwardslice',['forwardslice',['../classSVF_1_1ProgSlice.html#ac12dc4caa0c764ae69175e787efad2ab',1,'SVF::ProgSlice::forwardslice()'],['../classSVF_1_1SVFGStat.html#a1e5ec005dda8dc918422eaf33f3145f8',1,'SVF::SVFGStat::forwardSlice()']]],
+  ['forwardslice',['forwardSlice',['../classSVF_1_1SVFGStat.html#a1e5ec005dda8dc918422eaf33f3145f8',1,'SVF::SVFGStat::forwardSlice()'],['../classSVF_1_1ProgSlice.html#ac12dc4caa0c764ae69175e787efad2ab',1,'SVF::ProgSlice::forwardslice()']]],
   ['fpnodes',['FPNodes',['../classSVF_1_1FunEntryBlockNode.html#afc829a259f3c15524a71cef27d294949',1,'SVF::FunEntryBlockNode']]],
   ['freelist',['freelist',['../structDdLevelQueue.html#aa70e5645d52749160c718d38ea0c06ba',1,'DdLevelQueue']]],
   ['fromfile',['fromFile',['../classSVF_1_1PAG.html#a682355bd8e695faedbe5546f98636ee0',1,'SVF::PAG']]],

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

@@ -17,7 +17,7 @@ var searchData=
   ['maxcachehard',['maxCacheHard',['../structDdManager.html#a1b53bee9cf86fc1131c420c2aef7e473',1,'DdManager']]],
   ['maxcontextlen',['MaxContextLen',['../classSVF_1_1Options.html#a2e53156bd075d7802d390672f129c6a8',1,'SVF::Options']]],
   ['maxcxtsize',['MaxCxtSize',['../classSVF_1_1TCT.html#aaae41663b1d1f4d38b047c50c156defb',1,'SVF::TCT']]],
-  ['maxfieldlimit',['MaxFieldLimit',['../classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc',1,'SVF::Options::MaxFieldLimit()'],['../classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e',1,'SVF::StInfo::maxFieldLimit()'],['../classSVF_1_1SymbolTableInfo.html#a9b8b7ecb217c7395025231b04e7b4c26',1,'SVF::SymbolTableInfo::maxFieldLimit()']]],
+  ['maxfieldlimit',['maxFieldLimit',['../classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e',1,'SVF::StInfo::maxFieldLimit()'],['../classSVF_1_1SymbolTableInfo.html#a9b8b7ecb217c7395025231b04e7b4c26',1,'SVF::SymbolTableInfo::maxFieldLimit()'],['../classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc',1,'SVF::Options::MaxFieldLimit()']]],
   ['maxgrowth',['maxGrowth',['../structDdManager.html#a8a6a4238d1bc8a87eabd2c3eabd233d7',1,'DdManager']]],
   ['maxgrowthalt',['maxGrowthAlt',['../structDdManager.html#a2926e48e488cec20a61e9b0dc6b91795',1,'DdManager']]],
   ['maximumbudget',['maximumBudget',['../classSVF_1_1DPItem.html#a5dbb0e6010b38c5b937ff06cb40cd0ef',1,'SVF::DPItem']]],

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

@@ -139,7 +139,7 @@ var searchData=
   ['numofretnodes',['numOfRetNodes',['../classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de',1,'SVF::ICFGStat']]],
   ['numofreturns',['NumOfReturns',['../classSVF_1_1PTAStat.html#a0a552611fcd20e1310290bdae404a514',1,'SVF::PTAStat']]],
   ['numofscc',['numOfSCC',['../classSVF_1_1FlowSensitive.html#ab6c2494ca36cefb5409c5c20befb326f',1,'SVF::FlowSensitive']]],
-  ['numofsccdetection',['NumOfSCCDetection',['../classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::NumOfSCCDetection()'],['../classSVF_1_1AndersenBase.html#a6da6e1231a46fde6925493045b8b2490',1,'SVF::AndersenBase::numOfSCCDetection()']]],
+  ['numofsccdetection',['numOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6da6e1231a46fde6925493045b8b2490',1,'SVF::AndersenBase::numOfSCCDetection()'],['../classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::NumOfSCCDetection()']]],
   ['numofsfr',['NumOfSfr',['../classSVF_1_1PTAStat.html#a07a1db62ddba50bda787b2985ef8d135',1,'SVF::PTAStat']]],
   ['numofsfrs',['numOfSfrs',['../classSVF_1_1AndersenBase.html#aa31bc83cdeaa30dd0975976e29a5be12',1,'SVF::AndersenBase']]],
   ['numofstackobjs',['NumOfStackObjs',['../classSVF_1_1PTAStat.html#ae05503909688a17dc1f282d1d029d24e',1,'SVF::PTAStat']]],

package/include/SABER/ProgSlice.h

@@ -30,7 +30,7 @@
 #ifndef PROGSLICE_H_
 #define PROGSLICE_H_
 
-#include "Util/PathCondAllocator.h"
+#include "SABER/PathCondAllocator.h"
 #include "Util/WorkList.h"
 #include "Graphs/SVFG.h"
 #include "Util/DPItem.h"

package/lib/{Util → SABER}/PathCondAllocator.cpp

@@ -30,7 +30,7 @@
 
 #include "Util/Options.h"
 #include "SVF-FE/LLVMUtil.h"
-#include "Util/PathCondAllocator.h"
+#include "SABER/PathCondAllocator.h"
 #include "Util/DPItem.h"
 #include "Graphs/SVFG.h"
 #include <climits>
@@ -347,40 +347,39 @@ bool PathCondAllocator::isTestNotNullExpr(const Value* test) const
     return false;
 }
 
+/*!
+ * Return true if:
+ * (1) cmp contains a null value
+ * (2) there is an indirect edge from cur evaluated SVFG node to cmp operand
+ *
+ * e.g.,
+ *      cur svfg node -> 1. store i32* %0, i32** %p, align 8, !dbg !157
+ *      cmp operand   -> 2. %1 = load i32*, i32** %p, align 8, !dbg !159
+ *                       3. %tobool = icmp ne i32* %1, null, !dbg !159
+ *                       4. br i1 %tobool, label %if.end, label %if.then, !dbg !161
+ *     There is an indirect edge 1->2 with value %0
+ */
 bool PathCondAllocator::isTestContainsNullAndTheValue(const CmpInst* cmp) const
 {
 
     const Value *op0 = cmp->getOperand(0);
     const Value *op1 = cmp->getOperand(1);
-    if (SVFUtil::isa<StoreInst>(getCurEvalSVFGNode()->getValue())) {
-        if (SVFUtil::isa<ConstantPointerNull>(op1)) {
-            if (SVFUtil::isa<LoadInst>(op0)) {
-                Set<const Value*> inDirVal;
-                for (const auto& it: getCurEvalSVFGNode()->getOutEdges()) {
-                    if (it->isIndirectVFGEdge()) {
-                        inDirVal.insert(it->getDstNode()->getValue());
-                    }
-                }
-                // There is an indirect edge from cur svfg node (store) to cmp operand (load from top-level pointer)
-                //  e.g.,
-                //      cur svfg node -> 1. store i32* %0, i32** %p, align 8, !dbg !157
-                //      cmp operand   -> 2. %1 = load i32*, i32** %p, align 8, !dbg !159
-                //                       3. %tobool = icmp ne i32* %1, null, !dbg !159
-                //                       4. br i1 %tobool, label %if.end, label %if.then, !dbg !161
-                //      There is an indirect edge 1->2 with value %0
-                return inDirVal.find(op0) != inDirVal.end();
+    if (SVFUtil::isa<ConstantPointerNull>(op1)) {
+        Set<const Value *> inDirVal;
+        for (const auto &it: getCurEvalSVFGNode()->getOutEdges()) {
+            if (it->isIndirectVFGEdge()) {
+                inDirVal.insert(it->getDstNode()->getValue());
             }
-        } else if (SVFUtil::isa<ConstantPointerNull>(op0)) {
-            if (SVFUtil::isa<LoadInst>(op1)) {
-                Set<const Value*> inDirVal;
-                for (const auto& it: getCurEvalSVFGNode()->getOutEdges()) {
-                    if (it->isIndirectVFGEdge()) {
-                        inDirVal.insert(it->getDstNode()->getValue());
-                    }
-                }
-                return inDirVal.find(op1) != inDirVal.end();
+        }
+        return inDirVal.find(op0) != inDirVal.end();
+    } else if (SVFUtil::isa<ConstantPointerNull>(op0)) {
+        Set<const Value *> inDirVal;
+        for (const auto &it: getCurEvalSVFGNode()->getOutEdges()) {
+            if (it->isIndirectVFGEdge()) {
+                inDirVal.insert(it->getDstNode()->getValue());
             }
         }
+        return inDirVal.find(op1) != inDirVal.end();
     }
     return false;
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-tools",
-  "version": "1.0.296",
+  "version": "1.0.300",
   "description": "* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.sh`](https://github.com/SVF-tools/SVF/blob/master/build.sh) in your terminal, that's it!</b> * <b>SVF now supports LLVM-10.0.0! </b> * <b>We thank [bsauce](https://github.com/bsauce) for writing a user manual of SVF ([link1](https://www.jianshu.com/p/068a08ec749c) and [link2](https://www.jianshu.com/p/777c30d4240e)) in Chinese </b> * <b>SVF now supports LLVM-9.0.0 (Thank [Byoungyoung Lee](https://github.com/SVF-tools/SVF/issues/142) for his help!). </b> * <b>SVF now supports a set of [field-sensitive pointer analyses](https://yuleisui.github.io/publications/sas2019a.pdf). </b> * <b>[Use SVF as an external lib](https://github.com/SVF-tools/SVF/wiki/Using-SVF-as-a-lib-in-your-own-tool) for your own project (Contributed by [Hongxu Chen](https://github.com/HongxuChen)). </b> * <b>SVF now supports LLVM-7.0.0. </b> * <b>SVF now supports Docker. [Try SVF in Docker](https://github.com/SVF-tools/SVF/wiki/Try-SVF-in-Docker)! </b> * <b>SVF now supports [LLVM-6.0.0](https://github.com/svf-tools/SVF/pull/38) (Contributed by [Jack Anthony](https://github.com/jackanth)). </b> * <b>SVF now supports [LLVM-4.0.0](https://github.com/svf-tools/SVF/pull/23) (Contributed by Jared Carlson. Thank [Jared](https://github.com/jcarlson23) and [Will](https://github.com/dtzWill) for their in-depth [discussions](https://github.com/svf-tools/SVF/pull/18) about updating SVF!) </b> * <b>SVF now supports analysis for C++ programs.</b> <br />",
   "main": "index.js",
   "scripts": {