From 846039323ee4652164fbffc8174ebef9eace5c81 Mon Sep 17 00:00:00 2001
From: "jiawei.wang" <jiawei.wang@horizon.ai>
Date: Fri, 6 Jan 2023 17:58:27 +0800
Subject: [PATCH] fix translate Load for buf overflow cases

---
 svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp b/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp
index f2eb644f5..22c78bdcb 100644
--- 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);