svf-tools 1.0.811 → 1.0.813

package/svf/lib/AbstractExecution/ConsExeState.cpp

@@ -129,7 +129,7 @@ void ConsExeState::buildGlobES(ConsExeState &globES, Set<u32_t> &vars)
         SingleAbsValue &expr = globES[varId];
         if (expr.is_numeral() && isVirtualMemAddress(expr.get_numeral_int()))
         {
-            if (globES.inLocalLocToVal(expr))
+            if (globES.inLocalLocToValTable(expr))
             {
                 store(expr, globES.load(expr));
             }
@@ -236,13 +236,13 @@ void ConsExeState::applySummary(const ConsExeState &summary)
     {
         _locToVal[item.first] = item.second;
     }
-    for (const auto &item: summary._varToVAddrs)
+    for (const auto &item: summary._varToAddrs)
     {
-        _varToVAddrs[item.first] = item.second;
+        _varToAddrs[item.first] = item.second;
     }
-    for (const auto &item: summary._locToVAddrs)
+    for (const auto &item: summary._locToAddrs)
     {
-        _locToVAddrs[item.first] = item.second;
+        _locToAddrs[item.first] = item.second;
     }
 }
 
@@ -445,18 +445,18 @@ std::string ConsExeState::toString() const
 
 bool ConsExeState::applySelect(u32_t res, u32_t cond, u32_t top, u32_t fop)
 {
-    if (inVarToVal(top) && inVarToVal(fop) && inVarToVal(cond))
+    if (inVarToValTable(top) && inVarToValTable(fop) && inVarToValTable(cond))
     {
         SingleAbsValue &tExpr = (*this)[top], &fExpr = (*this)[fop], &condExpr = (*this)[cond];
 
         return assign((*this)[res], ite(condExpr == 1, tExpr, fExpr));
     }
-    else if (inVarToAddrsTable(top) && inVarToAddrsTable(fop) && inVarToVal(cond))
+    else if (inVarToAddrsTable(top) && inVarToAddrsTable(fop) && inVarToValTable(cond))
     {
         SingleAbsValue &condExpr = (*this)[cond];
         if (condExpr.is_numeral())
         {
-            getVAddrs(res) = condExpr.is_zero() ? getVAddrs(fop) : getVAddrs(top);
+            getAddrs(res) = condExpr.is_zero() ? getAddrs(fop) : getAddrs(top);
         }
     }
     return false;
@@ -467,10 +467,10 @@ bool ConsExeState::applyPhi(u32_t res, std::vector<u32_t> &ops)
     for (u32_t i = 0; i < ops.size(); i++)
     {
         NodeID curId = ops[i];
-        if (inVarToVal(curId))
+        if (inVarToValTable(curId))
         {
             const SingleAbsValue &cur = (*this)[curId];
-            if (!inVarToVal(res))
+            if (!inVarToValTable(res))
             {
                 (*this)[res] = cur;
             }
@@ -481,14 +481,14 @@ bool ConsExeState::applyPhi(u32_t res, std::vector<u32_t> &ops)
         }
         else if (inVarToAddrsTable(curId))
         {
-            const VAddrs &cur = getVAddrs(curId);
+            const Addrs &cur = getAddrs(curId);
             if (!inVarToAddrsTable(res))
             {
-                getVAddrs(res) = cur;
+                getAddrs(res) = cur;
             }
             else
             {
-                getVAddrs(res).join_with(cur);
+                getAddrs(res).join_with(cur);
             }
         }
     }

package/svf/lib/AbstractExecution/ExeState.cpp

@@ -34,17 +34,17 @@ using namespace SVF;
 
 bool ExeState::operator==(const ExeState &rhs) const
 {
-    return eqVarToVAddrs(_varToVAddrs, rhs._varToVAddrs) && eqVarToVAddrs(_locToVAddrs, rhs._locToVAddrs);
+    return eqVarToAddrs(_varToAddrs, rhs._varToAddrs) && eqVarToAddrs(_locToAddrs, rhs._locToAddrs);
 }
 
 bool ExeState::joinWith(const ExeState &other)
 {
     bool changed = false;
-    for (auto it = other._varToVAddrs.begin(); it != other._varToVAddrs.end(); ++it)
+    for (auto it = other._varToAddrs.begin(); it != other._varToAddrs.end(); ++it)
     {
         auto key = it->first;
-        auto oit = _varToVAddrs.find(key);
-        if (oit != _varToVAddrs.end())
+        auto oit = _varToAddrs.find(key);
+        if (oit != _varToAddrs.end())
         {
             if(oit->second.join_with(it->second))
                 changed = true;
@@ -52,14 +52,14 @@ bool ExeState::joinWith(const ExeState &other)
         else
         {
             changed = true;
-            _varToVAddrs.emplace(key, it->second);
+            _varToAddrs.emplace(key, it->second);
         }
     }
-    for (auto it = other._locToVAddrs.begin(); it != other._locToVAddrs.end(); ++it)
+    for (auto it = other._locToAddrs.begin(); it != other._locToAddrs.end(); ++it)
     {
         auto key = it->first;
-        auto oit = _locToVAddrs.find(key);
-        if (oit != _locToVAddrs.end())
+        auto oit = _locToAddrs.find(key);
+        if (oit != _locToAddrs.end())
         {
             if(oit->second.join_with(it->second))
                 changed = true;
@@ -67,7 +67,7 @@ bool ExeState::joinWith(const ExeState &other)
         else
         {
             changed = true;
-            _locToVAddrs.emplace(key, it->second);
+            _locToAddrs.emplace(key, it->second);
         }
     }
     return changed;
@@ -76,21 +76,21 @@ bool ExeState::joinWith(const ExeState &other)
 bool ExeState::meetWith(const ExeState &other)
 {
     bool changed = false;
-    for (auto it = other._varToVAddrs.begin(); it != other._varToVAddrs.end(); ++it)
+    for (auto it = other._varToAddrs.begin(); it != other._varToAddrs.end(); ++it)
     {
         auto key = it->first;
-        auto oit = _varToVAddrs.find(key);
-        if (oit != _varToVAddrs.end())
+        auto oit = _varToAddrs.find(key);
+        if (oit != _varToAddrs.end())
         {
             if(oit->second.meet_with(it->second))
                 changed = true;
         }
     }
-    for (auto it = other._locToVAddrs.begin(); it != other._locToVAddrs.end(); ++it)
+    for (auto it = other._locToAddrs.begin(); it != other._locToAddrs.end(); ++it)
     {
         auto key = it->first;
-        auto oit = _locToVAddrs.find(key);
-        if (oit != _locToVAddrs.end())
+        auto oit = _locToAddrs.find(key);
+        if (oit != _locToAddrs.end())
         {
             if(oit->second.meet_with(it->second))
                 changed = true;
@@ -101,14 +101,14 @@ bool ExeState::meetWith(const ExeState &other)
 
 u32_t ExeState::hash() const
 {
-    size_t h = getVarToVAddrs().size() * 2;
+    size_t h = getVarToAddrs().size() * 2;
     Hash<u32_t> hf;
-    for (const auto &t: getVarToVAddrs())
+    for (const auto &t: getVarToAddrs())
     {
         h ^= hf(t.first) + 0x9e3779b9 + (h << 6) + (h >> 2);
     }
-    size_t h2 = getLocToVAddrs().size() * 2;
-    for (const auto &t: getLocToVAddrs())
+    size_t h2 = getLocToAddrs().size() * 2;
+    for (const auto &t: getLocToAddrs())
     {
         h2 ^= hf(t.first) + 0x9e3779b9 + (h2 << 6) + (h2 >> 2);
     }

package/svf/lib/AbstractExecution/IntervalExeState.cpp

@@ -191,8 +191,8 @@ void IntervalExeState::printExprValues(std::ostream &oss) const
     oss << "-----------Var and Value-----------\n";
     printTable(_varToItvVal, oss);
     printTable(_locToItvVal, oss);
-    printTable(_varToVAddrs, oss);
-    printTable(_locToVAddrs, oss);
+    printTable(_varToAddrs, oss);
+    printTable(_locToAddrs, oss);
     oss << "-----------------------------------------\n";
 }
 
@@ -219,7 +219,7 @@ void IntervalExeState::printTable(const VarToValMap &table, std::ostream &oss) c
     }
 }
 
-void IntervalExeState::printTable(const VarToVAddrs &table, std::ostream &oss) const
+void IntervalExeState::printTable(const VarToAddrs &table, std::ostream &oss) const
 {
     oss.flags(std::ios::left);
     std::set<NodeID> ordered;
@@ -230,7 +230,7 @@ void IntervalExeState::printTable(const VarToVAddrs &table, std::ostream &oss) c
     for (const auto &item: ordered)
     {
         oss << "Var" << std::to_string(item);
-        VAddrs sim = table.at(item);
+        Addrs sim = table.at(item);
         oss << "\t Value: " << std::hex << "[ ";
         for (auto it = sim.begin(); it != sim.end(); ++it)
         {

package/svf/lib/AbstractExecution/SVFIR2ConsExeState.cpp

@@ -35,9 +35,9 @@ using namespace std;
 SVFIR2ConsExeState::~SVFIR2ConsExeState()
 {
     ConsExeState::globalConsES._varToVal.clear();
-    ConsExeState::globalConsES._varToVAddrs.clear();
+    ConsExeState::globalConsES._varToAddrs.clear();
     ConsExeState::globalConsES._locToVal.clear();
-    ConsExeState::globalConsES._locToVAddrs.clear();
+    ConsExeState::globalConsES._locToAddrs.clear();
 }
 /// Translator for llvm ir
 //{%
@@ -55,7 +55,7 @@ void SVFIR2ConsExeState::translateAddr(const AddrStmt *addr)
     }
     else if (inVarToAddrsTable(addr->getRHSVarID()))
     {
-        _es->globalConsES._varToVAddrs[addr->getLHSVarID()] = _es->globalConsES._varToVAddrs[addr->getRHSVarID()];
+        _es->globalConsES._varToAddrs[addr->getLHSVarID()] = _es->globalConsES._varToAddrs[addr->getRHSVarID()];
     }
     else
     {
@@ -74,7 +74,7 @@ void SVFIR2ConsExeState::translateBinary(const BinaryOPStmt *binary)
     u32_t op1 = binary->getOpVarID(1);
     u32_t res = binary->getResID();
     // rhs is not initialized
-    if (!_es->inVarToVal(op0) || !_es->inVarToVal(op1))
+    if (!_es->inVarToValTable(op0) || !_es->inVarToValTable(op1))
         return;
 
     SingleAbsValue &lhs = (*_es)[op0], &rhs = (*_es)[op1];
@@ -196,7 +196,7 @@ void SVFIR2ConsExeState::translateCmp(const CmpStmt *cmp)
     else if (inVarToAddrsTable(op0) && inVarToAddrsTable(op1))
     {
 
-        VAddrs &lhs = _es->getVAddrs(op0), &rhs = _es->getVAddrs(op1);
+        Addrs &lhs = _es->getAddrs(op0), &rhs = _es->getAddrs(op1);
         if (lhs.size() == 1)
         {
             (*_es)[res] = SingleAbsValue::topConstant();
@@ -346,7 +346,7 @@ void SVFIR2ConsExeState::translateLoad(const LoadStmt *load)
     u32_t lhs = load->getLHSVarID();
     if (inVarToAddrsTable(rhs))
     {
-        const VAddrs &addrs = _es->getVAddrs(rhs);
+        const Addrs &addrs = _es->getAddrs(rhs);
         for (const auto &addr: addrs)
         {
             assert(isVirtualMemAddress(addr) && "not addr?");
@@ -355,13 +355,13 @@ void SVFIR2ConsExeState::translateLoad(const LoadStmt *load)
             {
                 if (inLocToAddrsTable(objId))
                 {
-                    _es->getVAddrs(lhs).setBottom();
+                    _es->getAddrs(lhs).setBottom();
                 }
                 break;
             }
             else if (!load->getLHSVar()->getType() && inLocToAddrsTable(objId))
             {
-                _es->getVAddrs(lhs).setBottom();
+                _es->getAddrs(lhs).setBottom();
                 break;
             }
             else if (inLocToValTable(objId))
@@ -381,11 +381,11 @@ void SVFIR2ConsExeState::translateLoad(const LoadStmt *load)
                 {
                     if (!inVarToAddrsTable(lhs))
                     {
-                        _es->getVAddrs(lhs) = _es->loadVAddrs(addr);
+                        _es->getAddrs(lhs) = _es->loadAddrs(addr);
                     }
                     else
                     {
-                        _es->getVAddrs(lhs).join_with(_es->loadVAddrs(addr));
+                        _es->getAddrs(lhs).join_with(_es->loadAddrs(addr));
                     }
                 }
             }
@@ -393,11 +393,11 @@ void SVFIR2ConsExeState::translateLoad(const LoadStmt *load)
             {
                 if (!inVarToAddrsTable(lhs))
                 {
-                    _es->getVAddrs(lhs) = _es->loadVAddrs(addr);
+                    _es->getAddrs(lhs) = _es->loadAddrs(addr);
                 }
                 else
                 {
-                    _es->getVAddrs(lhs).join_with(_es->loadVAddrs(addr));
+                    _es->getAddrs(lhs).join_with(_es->loadAddrs(addr));
                 }
             }
             else if (inLocToValTable(objId))
@@ -428,7 +428,7 @@ void SVFIR2ConsExeState::translateStore(const StoreStmt *store)
     {
         if (inVarToValTable(rhs))
         {
-            const VAddrs &addrs = _es->getVAddrs(lhs);
+            const Addrs &addrs = _es->getAddrs(lhs);
             for (const auto &addr: addrs)
             {
                 assert(isVirtualMemAddress(addr) && "not addr?");
@@ -437,11 +437,11 @@ void SVFIR2ConsExeState::translateStore(const StoreStmt *store)
         }
         else if (inVarToAddrsTable(rhs))
         {
-            const VAddrs &addrs = _es->getVAddrs(lhs);
+            const Addrs &addrs = _es->getAddrs(lhs);
             for (const auto &addr: addrs)
             {
                 assert(isVirtualMemAddress(addr) && "not addr?");
-                _es->storeVAddrs(addr, _es->getVAddrs(rhs));
+                _es->storeAddrs(addr, _es->getAddrs(rhs));
             }
         }
     }
@@ -468,7 +468,7 @@ void SVFIR2ConsExeState::translateCopy(const CopyStmt *copy)
         }
         else if (inVarToAddrsTable(rhs))
         {
-            _es->getVAddrs(lhs) = _es->getVAddrs(rhs);
+            _es->getAddrs(lhs) = _es->getAddrs(rhs);
         }
     }
 }
@@ -488,7 +488,7 @@ void SVFIR2ConsExeState::translateCall(const CallPE *callPE)
     }
     else if (inVarToAddrsTable(rhs))
     {
-        _es->getVAddrs(lhs) = _es->getVAddrs(rhs);
+        _es->getAddrs(lhs) = _es->getAddrs(rhs);
     }
 }
 
@@ -502,7 +502,7 @@ void SVFIR2ConsExeState::translateRet(const RetPE *retPE)
     }
     else if (inVarToAddrsTable(rhs))
     {
-        _es->getVAddrs(lhs) = _es->getVAddrs(rhs);
+        _es->getAddrs(lhs) = _es->getAddrs(rhs);
     }
 }
 
@@ -517,7 +517,7 @@ void SVFIR2ConsExeState::translateGep(const GepStmt *gep, bool isGlobal)
     u32_t lhs = gep->getLHSVarID();
     // rhs is not initialized
     if (!inVarToAddrsTable(rhs)) return;
-    const VAddrs &rhsVal = _es->getVAddrs(rhs);
+    const Addrs &rhsVal = _es->getAddrs(rhs);
     if (rhsVal.empty()) return;
     std::pair<s32_t, s32_t> offset = getGepOffset(gep);
     if (offset.first == -1 && offset.second == -1) return;
@@ -525,7 +525,7 @@ void SVFIR2ConsExeState::translateGep(const GepStmt *gep, bool isGlobal)
     {
         return;
     }
-    VAddrs gepAddrs;
+    Addrs gepAddrs;
     s32_t ub = offset.second;
     if (offset.second > (s32_t) Options::MaxFieldLimit() - 1)
     {
@@ -536,7 +536,7 @@ void SVFIR2ConsExeState::translateGep(const GepStmt *gep, bool isGlobal)
         gepAddrs.join_with(getGepObjAddress(rhs, i));
     }
     if (gepAddrs.empty()) return;
-    _es->getVAddrs(lhs) = gepAddrs;
+    _es->getAddrs(lhs) = gepAddrs;
     return;
 }
 
@@ -579,10 +579,10 @@ void SVFIR2ConsExeState::translatePhi(const PhiStmt *phi)
  * @param offset
  * @return
  */
-SVFIR2ConsExeState::VAddrs SVFIR2ConsExeState::getGepObjAddress(u32_t base, s32_t offset)
+SVFIR2ConsExeState::Addrs SVFIR2ConsExeState::getGepObjAddress(u32_t base, s32_t offset)
 {
-    const VAddrs &addrs = _es->getVAddrs(base);
-    VAddrs ret;
+    const Addrs &addrs = _es->getAddrs(base);
+    Addrs ret;
     for (const auto &addr: addrs)
     {
         int64_t baseObj = getInternalID(addr);
@@ -594,7 +594,7 @@ SVFIR2ConsExeState::VAddrs SVFIR2ConsExeState::getGepObjAddress(u32_t base, s32_
         assert(SVFUtil::isa<ObjVar>(PAG::getPAG()->getGNode(baseObj)) && "Fail to get the base object address!");
         NodeID gepObj = PAG::getPAG()->getGepObjVar(baseObj, offset);
         initSVFVar(gepObj);
-        if (offset == 0 && baseObj != gepObj) _es->getVAddrs(gepObj) = _es->getVAddrs(base);
+        if (offset == 0 && baseObj != gepObj) _es->getAddrs(gepObj) = _es->getAddrs(base);
         ret.insert(getVirtualMemAddress(gepObj));
     }
     return ret;
@@ -617,7 +617,8 @@ std::pair<s32_t, s32_t> SVFIR2ConsExeState::getGepOffset(const SVF::GepStmt *gep
     /// for variable index and nested indexes, e.g. 1) gep arr, idx  2) gep arr idx0, idx1
     for (int i = gep->getOffsetVarAndGepTypePairVec().size() - 1; i >= 0; i--)
     {
-        const SVFValue *value = gep->getOffsetVarAndGepTypePairVec()[i].first->getValue();
+        const SVFValue *value =
+            gep->getOffsetVarAndGepTypePairVec()[i].first->getValue();
         const SVFType *type = gep->getOffsetVarAndGepTypePairVec()[i].second;
         const SVFConstantInt *op = SVFUtil::dyn_cast<SVFConstantInt>(value);
         s32_t offset = 0;
@@ -735,7 +736,7 @@ void SVFIR2ConsExeState::initObjVar(const ObjVar *objVar, u32_t varId)
             else if (SVFUtil::isa<SVFConstantNullPtr>(obj->getValue()))
                 _es->globalConsES._varToVal[varId] = 0;
             else if (SVFUtil::isa<SVFGlobalValue>(obj->getValue()))
-                _es->globalConsES._varToVAddrs[varId] = getVirtualMemAddress(varId);
+                _es->globalConsES._varToAddrs[varId] = getVirtualMemAddress(varId);
             else if (obj->isConstDataOrAggData())
             {
                 // TODO
@@ -749,19 +750,19 @@ void SVFIR2ConsExeState::initObjVar(const ObjVar *objVar, u32_t varId)
         }
         else
         {
-            _es->globalConsES._varToVAddrs[varId] = getVirtualMemAddress(varId);
+            _es->globalConsES._varToAddrs[varId] = getVirtualMemAddress(varId);
         }
     }
     else
     {
-        _es->globalConsES._varToVAddrs[varId] = getVirtualMemAddress(varId);
+        _es->globalConsES._varToAddrs[varId] = getVirtualMemAddress(varId);
     }
 }
 
 
 void SVFIR2ConsExeState::initSVFVar(u32_t varId)
 {
-    if (_es->inVarToVal(varId)) return;
+    if (_es->inVarToValTable(varId)) return;
     SVFIR *svfir = PAG::getPAG();
     SVFVar *svfVar = svfir->getGNode(varId);
     // write objvar into cache instead of exestate
@@ -792,17 +793,17 @@ void SVFIR2ConsExeState::moveToGlobal()
     {
         ConsExeState::globalConsES._locToVal.insert(it);
     }
-    for (const auto &it: _es->_varToVAddrs)
+    for (const auto &it: _es->_varToAddrs)
     {
-        ConsExeState::globalConsES._varToVAddrs.insert(it);
+        ConsExeState::globalConsES._varToAddrs.insert(it);
     }
-    for (const auto &it: _es->_locToVAddrs)
+    for (const auto &it: _es->_locToAddrs)
     {
-        ConsExeState::globalConsES._locToVAddrs.insert(it);
+        ConsExeState::globalConsES._locToAddrs.insert(it);
     }
-    ConsExeState::globalConsES._varToVAddrs[0] = ConsExeState::getVirtualMemAddress(0);
+    ConsExeState::globalConsES._varToAddrs[0] = ConsExeState::getVirtualMemAddress(0);
     _es->_varToVal.clear();
     _es->_locToVal.clear();
-    _es->_varToVAddrs.clear();
-    _es->_locToVAddrs.clear();
+    _es->_varToAddrs.clear();
+    _es->_locToAddrs.clear();
 }