svf-tools 1.0.670 → 1.0.671

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-tools",
-  "version": "1.0.670",
+  "version": "1.0.671",
   "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": {

package/svf/include/AbstractExecution/SVFIR2ItvExeState.h

@@ -42,6 +42,7 @@ class SVFIR2ItvExeState
 {
 public:
     typedef ExeState::VAddrs VAddrs;
+    static VAddrs globalNullVaddrs;
 public:
     SVFIR2ItvExeState(SVFIR *ir) : _svfir(ir) {}
 
@@ -89,7 +90,10 @@ public:
 
     inline VAddrs &getVAddrs(u32_t id)
     {
-        return _es.getVAddrs(id);
+        if (inVarToAddrsTable(id))
+            return _es.getVAddrs(id);
+        else
+            return globalNullVaddrs;
     }
 
     inline bool inVarToIValTable(u32_t id) const

package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp

@@ -127,7 +127,7 @@ std::pair<s32_t, s32_t> SVFIR2ItvExeState::getGepOffset(const GepStmt *gep)
             u32_t idx = _svfir->getValueNode(value);
             if (!inVarToIValTable(idx)) return std::make_pair(-1, -1);
             IntervalValue &idxVal = _es[idx];
-            if(idxVal.isBottom() || idxVal.isTop()) return std::make_pair(-1, -1);
+            if(idxVal.isBottom() || idxVal.isTop()) return std::make_pair(0, (s32_t)Options::MaxFieldLimit());
             if (idxVal.is_numeral())
             {
                 offsetLb = offsetUb = idxVal.lb().getNumeral();
@@ -552,7 +552,7 @@ void SVFIR2ItvExeState::translateLoad(const LoadStmt *load)
     if (inVarToAddrsTable(rhs))
     {
         VAddrs &addrs = getVAddrs(rhs);
-        assert(!getVAddrs(rhs).empty());
+        assert(!addrs.empty());
         for (const auto &addr: addrs)
         {
             u32_t objId = getInternalID(addr);
@@ -637,7 +637,7 @@ void SVFIR2ItvExeState::translateCopy(const CopyStmt *copy)
         else if (inVarToAddrsTable(rhs))
         {
             assert(!getVAddrs(rhs).empty());
-            getVAddrs(lhs) = getVAddrs(rhs);
+            getEs().getVAddrs(lhs) = getVAddrs(rhs);
         }
     }
 }
@@ -646,8 +646,6 @@ void SVFIR2ItvExeState::translateGep(const GepStmt *gep)
 {
     u32_t rhs = gep->getRHSVarID();
     u32_t lhs = gep->getLHSVarID();
-    if (!inVarToAddrsTable(rhs)) return;
-    assert(!getVAddrs(rhs).empty());
     VAddrs &rhsVal = getVAddrs(rhs);
     if (rhsVal.empty()) return;
     std::pair<s32_t, s32_t> offsetPair = getGepOffset(gep);
@@ -668,7 +666,7 @@ void SVFIR2ItvExeState::translateGep(const GepStmt *gep)
         {
             gepAddrs.join_with(getGepObjAddress(rhs, i));
         }
-        getVAddrs(lhs) = gepAddrs;
+        getEs().getVAddrs(lhs) = gepAddrs;
         return;
     }
 }
@@ -696,7 +694,7 @@ void SVFIR2ItvExeState::translateSelect(const SelectStmt *select)
         {
             assert(!getVAddrs(fval).empty());
             assert(!getVAddrs(tval).empty());
-            getVAddrs(res) = _es[cond].is_zero() ? getVAddrs(fval) : getVAddrs(tval);
+            getEs().getVAddrs(res) = _es[cond].is_zero() ? getVAddrs(fval) : getVAddrs(tval);
         }
     }
 }
@@ -725,7 +723,7 @@ void SVFIR2ItvExeState::translatePhi(const PhiStmt *phi)
             const VAddrs &cur = getVAddrs(curId);
             if (!inVarToAddrsTable(res))
             {
-                getVAddrs(res) = cur;
+                getEs().getVAddrs(res) = cur;
             }
             else
             {
@@ -747,7 +745,7 @@ void SVFIR2ItvExeState::translateCall(const CallPE *callPE)
     else if (inVarToAddrsTable(rhs))
     {
         assert(!getVAddrs(rhs).empty());
-        getVAddrs(lhs) = getVAddrs(rhs);
+        getEs().getVAddrs(lhs) = getVAddrs(rhs);
     }
 }
 
@@ -762,6 +760,6 @@ void SVFIR2ItvExeState::translateRet(const RetPE *retPE)
     else if (inVarToAddrsTable(rhs))
     {
         assert(!getVAddrs(rhs).empty());
-        getVAddrs(lhs) = getVAddrs(rhs);
+        getEs().getVAddrs(lhs) = getVAddrs(rhs);
     }
 }