fix some bugs for big prog

svf/lib/AE/Svfexe/AbstractExecution.cpp

@@ -1639,7 +1639,6 @@ void AbstractExecution::handleMemcpy(const SVF::SVFValue *dst, const SVF::SVFVal
 
 const SVFType* AbstractExecution::getPointeeElement(NodeID id)
 {
-    assert(_svfir2ExeState->inVarToAddrsTable(id) && "id is not in varToAddrsTable");
     if (_svfir2ExeState->inVarToAddrsTable(id))
     {
         const AbstractValue& addrs = _svfir2ExeState->getAddrs(id);
@@ -1650,6 +1649,8 @@ const SVFType* AbstractExecution::getPointeeElement(NodeID id)
                 continue;
             return SVFUtil::dyn_cast<ObjVar>(_svfir->getGNode(addr_id))->getMemObj()->getType();
         }
+    } else {
+        // do nothing if no record in addrs table.
     }
     return nullptr;
 }

svf/lib/AE/Svfexe/BufOverflowChecker.cpp

@@ -284,7 +284,10 @@ void BufOverflowChecker::initExtFunMap()
         }
         else if (strValue->getType()->isPointerTy())
         {
-            elemSize = getPointeeElement(_svfir->getValueNode(strValue))->getByteSize();
+            if (const SVFType* pointee = getPointeeElement(_svfir->getValueNode(strValue)))
+                elemSize = pointee->getByteSize();
+            else
+                elemSize = 1;
         }
         u32_t lhsId = _svfir->getValueNode(cs.getInstruction());
         es[lhsId] = dst_size / IntervalValue(elemSize);

svf/lib/AE/Svfexe/SVFIR2ItvExeState.cpp

@@ -103,8 +103,8 @@ AbstractValue SVFIR2ItvExeState::getRangeLimitFromType(const SVFType* type)
     }
     else
     {
-        assert(false && "cannot support");
-        abort();
+        return IntervalValue::top();
+        // other types, return top interval
     }
 }
 
@@ -1003,8 +1003,17 @@ void SVFIR2ItvExeState::translateCopy(const CopyStmt *copy)
             {
                 _es[lhs] = IntervalValue::top();
             }
-            else
+            else if (copy->getCopyKind() == CopyStmt::BITCAST)
             {
+                if (_es[rhs].isAddr()) {
+                    _es[lhs] = _es[rhs];
+                }
+                else
+                {
+                    // do nothing
+                }
+            }
+            else {
                 assert(false && "undefined copy kind");
                 abort();
             }