Merge pull request #989 from bjjwwang/01.05

fix translate Load for buf overflow cases
SVF-tools · Jan 6, 2023 · 8fd6a01 · 8fd6a01
2 parents ee72c50 + 8460393
commit 8fd6a01
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp b/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp
@@ -550,6 +550,8 @@ void SVFIR2ItvExeState::translateLoad(const LoadStmt *load)
     {
         VAddrs &addrs = getVAddrs(rhs);
         assert(!getVAddrs(rhs).empty());
+        _es[lhs] = IntervalValue::bottom();
+        getVAddrs(lhs).setBottom();
         for (const auto &addr: addrs)
         {
             u32_t objId = getInternalID(addr);