diff --git a/BGL/test/BGL/CMakeLists.txt b/BGL/test/BGL/CMakeLists.txt
index f3a19f68776..cdfa4773c72 100644
--- a/BGL/test/BGL/CMakeLists.txt
+++ b/BGL/test/BGL/CMakeLists.txt
@@ -134,7 +134,7 @@ if (VTK_FOUND)
     include_directories(${3MF_INCLUDE_DIR})
     create_single_source_cgal_program( test_3mf_to_sm.cpp )
     target_link_libraries(test_3mf_to_sm PRIVATE ${3MF_LIBRARIES})
-    add_definitions(-DCGAL_LINKED_WITH_3MF)
+    target_compile_definitions(test_3mf_to_sm PRIVATE -DCGAL_LINKED_WITH_3MF)
   else()
     message(STATUS "NOTICE : This program requires the lib3MF library, and will not be compiled.")
   endif()
diff --git a/Polyhedron/demo/Polyhedron/Plugins/IO/CMakeLists.txt b/Polyhedron/demo/Polyhedron/Plugins/IO/CMakeLists.txt
index 441b9835e95..7e6c6cdf4dc 100644
--- a/Polyhedron/demo/Polyhedron/Plugins/IO/CMakeLists.txt
+++ b/Polyhedron/demo/Polyhedron/Plugins/IO/CMakeLists.txt
@@ -93,7 +93,7 @@ if(3MF_LIBRARIES AND 3MF_INCLUDE_DIR AND EXISTS "${3MF_INCLUDE_DIR}/Model/COM/NM
   include_directories(${3MF_INCLUDE_DIR})
   polyhedron_demo_plugin(3mf_io_plugin 3mf_io_plugin KEYWORDS IO PMP)
   target_link_libraries(3mf_io_plugin PRIVATE scene_surface_mesh_item scene_points_with_normal_item scene_polylines_item ${3MF_LIBRARIES})
-  add_definitions(-DCGAL_LINKED_WITH_3MF)
+  target_compile_definitions(3mf_io_plugin PRIVATE -DCGAL_LINKED_WITH_3MF)
 else()
   message(STATUS "NOTICE : The 3mf_io_plugin requires the lib3MF library in a version < 2.0, and will not be compiled.")
 endif()
diff --git a/Stream_support/include/CGAL/IO/GOCAD.h b/Stream_support/include/CGAL/IO/GOCAD.h
index fe8f8f250a4..def9446fca7 100644
--- a/Stream_support/include/CGAL/IO/GOCAD.h
+++ b/Stream_support/include/CGAL/IO/GOCAD.h
@@ -61,13 +61,23 @@ bool read_GOCAD(std::istream& input,
     if((idx = s.find("name")) != std::string::npos)
     {
       std::istringstream str(s.substr(idx + 5));
-      str >> name_and_color.first;
+      if(!(str >> name_and_color.first))
+      {
+        if(verbose)
+          std::cerr<<"error while reading expected name. "<<std::endl;
+        return false;
+      }
     }
 
     if((idx = s.find("color")) != std::string::npos)
     {
       std::istringstream str(s.substr(idx + 6));
-      str >> name_and_color.second;
+      if(!(str >> name_and_color.second))
+      {
+        if(verbose)
+          std::cerr<<"error while reading expected color. "<<std::endl;
+        return false;
+      }
     }
   }
   std::getline(input, s);
@@ -76,7 +86,12 @@ bool read_GOCAD(std::istream& input,
   {
     if((c == 'V') || (c == 'P'))
     {
-      input >> s >> i >> p; // @fixme check for failure
+      if(!(input >> s >> i >> p))
+      {
+        if(verbose)
+          std::cerr<<"error while reading vertex. "<<std::endl;
+        return false;
+      }
       if(!vertices_read)
       {
         vertices_read = true;
@@ -87,7 +102,12 @@ bool read_GOCAD(std::istream& input,
     }
     else if(vertices_read && (c == 'T'))
     {
-      input >> c >> c >> c >>  i >> j >> k;
+      if(!(input >> c >> c >> c >>  i >> j >> k))
+      {
+        if(verbose)
+          std::cerr<<"error while reading triangle. "<<std::endl;
+        return false;
+      }
       CGAL_Polygon new_face(3);
       new_face[0] = offset+i;
       new_face[1] = offset+j;
diff --git a/Stream_support/include/CGAL/IO/OBJ.h b/Stream_support/include/CGAL/IO/OBJ.h
index b370e8e389c..b7dc7ea4987 100644
--- a/Stream_support/include/CGAL/IO/OBJ.h
+++ b/Stream_support/include/CGAL/IO/OBJ.h
@@ -54,9 +54,12 @@ bool read_OBJ(std::istream& is,
     if(line[0] == 'v' && line[1] == ' ')
     {
       std::istringstream iss(line.substr(1));
-      iss >> p; // @fixme check successful reading
-      if(!iss)
+      if(!(iss >> p) || !iss)
+      {
+        if(verbose)
+          std::cerr<<"error while reading OBJ vertex. "<<std::endl;
         return false;
+      }
 
       points.push_back(p);
     }
@@ -89,7 +92,13 @@ bool read_OBJ(std::istream& is,
     {
       std::istringstream iss(line);
       std::string dummy;
-      iss >> dummy;
+      if(!(iss >> dummy))
+      {
+        if(verbose)
+          std::cerr<<"error while reading OBJ vertex normal. "<<std::endl;
+        return false;
+      }
+
       double nx, ny, nz; // @fixme double?
       if(iss >> nx >> ny >> nz)
         *vn_out++ = Normal(nx, ny, nz); // @fixme check that every vertex has a normal?
diff --git a/Stream_support/include/CGAL/IO/OFF/File_scanner_OFF.h b/Stream_support/include/CGAL/IO/OFF/File_scanner_OFF.h
index b72389f3d76..ba839c7e86e 100644
--- a/Stream_support/include/CGAL/IO/OFF/File_scanner_OFF.h
+++ b/Stream_support/include/CGAL/IO/OFF/File_scanner_OFF.h
@@ -71,11 +71,23 @@ public:
     else
     {
       skip_comment();
-      m_in >> iformat(x) >> iformat(y) >> iformat(z);
+      if(!(m_in >> iformat(x) >> iformat(y) >> iformat(z)))
+      {
+        m_in.clear(std::ios::badbit);
+        if(verbose())
+          std::cerr<<"error while reading vertex."<<std::endl;
+        return;
+      }
       if(is_homogeneous())
       {
         float w;
-        m_in >> iformat(w);
+        if(!(m_in >> iformat(w)))
+        {
+          m_in.clear(std::ios::badbit);
+          if(verbose())
+            std::cerr<<"error while reading vertex."<<std::endl;
+          return;
+        }
         x /= w;
         y /= w;
         z /= w;
@@ -105,11 +117,24 @@ public:
     else
     {
       skip_comment();
-      m_in >> iformat(x) >> iformat(y) >> iformat(z);
+      if(!(m_in >> iformat(x) >> iformat(y) >> iformat(z)))
+      {
+        m_in.clear(std::ios::badbit);
+        if(verbose())
+          std::cerr<<"error while reading vertex."<<std::endl;
+        return;
+      }
       if(is_homogeneous())
       {
         double w;
         m_in >> iformat(w);
+        if(!(m_in >> iformat(w)))
+        {
+          m_in.clear(std::ios::badbit);
+          if(verbose())
+            std::cerr<<"error while reading vertex."<<std::endl;
+          return;
+        }
         x /= w;
         y /= w;
         z /= w;
@@ -143,7 +168,13 @@ public:
       if(is_homogeneous())
       {
         double fx, fy, fz, fw;
-        m_in >> iformat(fx) >> iformat(fy) >> iformat(fz) >> iformat(fw);
+        if(!(m_in >> iformat(fx) >> iformat(fy) >> iformat(fz) >> iformat(fw)))
+        {
+          m_in.clear(std::ios::badbit);
+          if(verbose())
+            std::cerr<<"error while reading vertex."<<std::endl;
+          return;
+        }
         x = int(fx / fw);
         y = int(fy / fw);
         z = int(fz / fw);
@@ -151,11 +182,29 @@ public:
       else
       {
         double d;
-        m_in >> iformat(d);
+        if(!(m_in >> iformat(d)))
+        {
+          m_in.clear(std::ios::badbit);
+          if(verbose())
+            std::cerr<<"error while reading vertex."<<std::endl;
+          return;
+        }
         x = int(d);
-        m_in >> iformat(d);
+        if(!(m_in >> iformat(d)))
+        {
+          m_in.clear(std::ios::badbit);
+          if(verbose())
+            std::cerr<<"error while reading vertex."<<std::endl;
+          return;
+        }
         y = int(d);
-        m_in >> iformat(d);
+        if(!(m_in >> iformat(d)))
+        {
+          m_in.clear(std::ios::badbit);
+          if(verbose())
+            std::cerr<<"error while reading vertex."<<std::endl;
+          return;
+        }
         z = int(d);
       }
     }
@@ -175,9 +224,21 @@ public:
     else
     {
       skip_comment();
-      m_in >> iformat(x) >> iformat(y) >> iformat(z);
+      if(!(m_in >> iformat(x) >> iformat(y) >> iformat(z)))
+      {
+        m_in.clear(std::ios::badbit);
+        if(verbose())
+          std::cerr<<"error while reading vertex."<<std::endl;
+        return;
+      }
       if(is_homogeneous())
-        m_in >> iformat(w);
+        if(!(m_in >> iformat(w)))
+        {
+          m_in.clear(std::ios::badbit);
+          if(verbose())
+            std::cerr<<"error while reading vertex."<<std::endl;
+          return;
+        }
     }
   }
   void scan_vertex(double& x, double& y, double& z, double& w)
@@ -201,11 +262,22 @@ public:
     else
     {
       skip_comment();
-      m_in >> iformat(x);
-      m_in >> iformat(y);
-      m_in >> iformat(z);
+      if(!(m_in >> iformat(x) >> iformat(y) >> iformat(z)))
+      {
+        m_in.clear(std::ios::badbit);
+        if(verbose())
+          std::cerr<<"error while reading vertex."<<std::endl;
+        return;
+      }
       if(is_homogeneous())
-        m_in >> iformat(w);
+        if(!(m_in >> iformat(w)))
+        {
+          m_in.clear(std::ios::badbit);
+          if(verbose())
+            std::cerr<<"error while reading vertex."<<std::endl;
+          return;
+        }
+
     }
   }
 
@@ -231,15 +303,39 @@ public:
     {
       skip_comment();
       double d;
-      m_in >> iformat(d);
+      if(!(m_in >> iformat(d)))
+      {
+        m_in.clear(std::ios::badbit);
+        if(verbose())
+          std::cerr<<"error while reading vertex."<<std::endl;
+        return;
+      }
       x = int(d);
-      m_in >> iformat(d);
+      if(!(m_in >> iformat(d)))
+      {
+        m_in.clear(std::ios::badbit);
+        if(verbose())
+          std::cerr<<"error while reading vertex."<<std::endl;
+        return;
+      }
       y = int(d);
-      m_in >> iformat(d);
+      if(!(m_in >> iformat(d)))
+      {
+        m_in.clear(std::ios::badbit);
+        if(verbose())
+          std::cerr<<"error while reading vertex."<<std::endl;
+        return;
+      }
       z = int(d);
       if(is_homogeneous())
       {
-        m_in >> iformat(d);
+        if(!(m_in >> iformat(d)))
+        {
+          m_in.clear(std::ios::badbit);
+          if(verbose())
+            std::cerr<<"error while reading vertex."<<std::endl;
+          return;
+        }
         w = int(d);
       }
     }
@@ -271,13 +367,25 @@ public:
         if(is_homogeneous())
         {
           float fx, fy, fw;
-          m_in >> iformat(fx) >> iformat(fy) >> iformat(fw);
+          if(!(m_in >> iformat(fx) >> iformat(fy) >> iformat(fw)))
+          {
+            m_in.clear(std::ios::badbit);
+            if(verbose())
+              std::cerr<<"error while reading texture."<<std::endl;
+            return;
+          }
           x = fx / fw;
           y = fy / fw;
         }
         else
         {
-          m_in >> iformat(x) >> iformat(y);
+          if(!(m_in >> iformat(x) >> iformat(y)))
+          {
+            m_in.clear(std::ios::badbit);
+            if(verbose())
+              std::cerr<<"error while reading texture."<<std::endl;
+            return;
+          }
         }
       }
     }
@@ -310,13 +418,25 @@ public:
         if(is_homogeneous())
         {
           float fx, fy, fw;
-          m_in >> iformat(fx) >> iformat(fy) >> iformat(fw);
+          if(!(m_in >> iformat(fx) >> iformat(fy) >> iformat(fw)))
+          {
+            m_in.clear(std::ios::badbit);
+            if(verbose())
+              std::cerr<<"error while reading texture."<<std::endl;
+            return;
+          }
           x = fx / fw;
           y = fy / fw;
         }
         else
         {
-          m_in >> iformat(x) >> iformat(y);
+          if(!(m_in >> iformat(x) >> iformat(y)))
+          {
+            m_in.clear(std::ios::badbit);
+            if(verbose())
+              std::cerr<<"error while reading texture."<<std::endl;
+            return;
+          }
         }
       }
     }
@@ -343,11 +463,23 @@ public:
       }
       else
       {
-        m_in >> iformat(x) >> iformat(y) >> iformat(z);
+        if(!(m_in >> iformat(x) >> iformat(y) >> iformat(z)))
+        {
+          m_in.clear(std::ios::badbit);
+          if(verbose())
+            std::cerr<<"error while reading normal."<<std::endl;
+          return;
+        }
         if(is_homogeneous())
         {
           float w;
-          m_in >> iformat(w);
+          if(!(m_in >> iformat(w)))
+          {
+            m_in.clear(std::ios::badbit);
+            if(verbose())
+              std::cerr<<"error while reading normal."<<std::endl;
+            return;
+          }
           x /= w;
           y /= w;
           z /= w;
@@ -386,14 +518,27 @@ public:
         if(is_homogeneous())
         {
           float fx, fy, fz, fw;
-          m_in >> iformat(fx) >> iformat(fy) >> iformat(fz) >> iformat(fw);
+          if(!(m_in >> iformat(fx) >> iformat(fy) >> iformat(fz) >> iformat(fw)))
+          {
+            m_in.clear(std::ios::badbit);
+            if(verbose())
+              std::cerr<<"error while reading normal."<<std::endl;
+            return;
+          }
           x = fx / fw;
           y = fy / fw;
           z = fz / fw;
         }
         else
         {
-          m_in >> iformat(x) >> iformat(y) >> iformat(z);
+          if(!(m_in >> iformat(x) >> iformat(y) >> iformat(z)))
+          {
+            m_in.clear(std::ios::badbit);
+            if(verbose())
+              std::cerr<<"error while reading normal."<<std::endl;
+            return;
+          }
+
         }
       }
     }
@@ -427,7 +572,13 @@ public:
         if(is_homogeneous())
         {
           float fx, fy, fz, fw;
-          m_in >> iformat(fx) >> iformat(fy) >> iformat(fz) >> iformat(fw);
+          if(!(m_in >> iformat(fx) >> iformat(fy) >> iformat(fz) >> iformat(fw)))
+          {
+            m_in.clear(std::ios::badbit);
+            if(verbose())
+              std::cerr<<"error while reading normal."<<std::endl;
+            return;
+          }
           x = int(fx / fw);
           y = int(fy / fw);
           z = int(fz / fw);
@@ -435,11 +586,30 @@ public:
         else
         {
           double d;
-          m_in >> iformat(d);
+          if(!(m_in >> iformat(d)))
+          {
+            m_in.clear(std::ios::badbit);
+            if(verbose())
+              std::cerr<<"error while reading normal."<<std::endl;
+            return;
+          }
           x = int(d);
-          m_in >> iformat(d);
+          if(!(m_in >> iformat(d)))
+          {
+            m_in.clear(std::ios::badbit);
+            if(verbose())
+              std::cerr<<"error while reading normal."<<std::endl;
+            return;
+          }
+
           y = int(d);
-          m_in >> iformat(d);
+          if(!(m_in >> iformat(d)))
+          {
+            m_in.clear(std::ios::badbit);
+            if(verbose())
+              std::cerr<<"error while reading normal."<<std::endl;
+            return;
+          }
           z = int(d);
         }
       }
@@ -462,9 +632,21 @@ public:
       }
       else
       {
-        m_in >> iformat(x) >> iformat(y) >> iformat(z);
+        if(!(m_in >> iformat(x) >> iformat(y) >> iformat(z)))
+        {
+          m_in.clear(std::ios::badbit);
+          if(verbose())
+            std::cerr<<"error while reading normal."<<std::endl;
+          return;
+        }
         if(is_homogeneous())
-          m_in >> iformat(w);
+          if(!(m_in >> iformat(w)))
+          {
+            m_in.clear(std::ios::badbit);
+            if(verbose())
+              std::cerr<<"error while reading normal."<<std::endl;
+            return;
+          }
       }
     }
   }
@@ -492,9 +674,21 @@ public:
       }
       else
       {
-        m_in >> iformat(x) >> iformat(y) >> iformat(z);
+        if(!(m_in >> iformat(x) >> iformat(y) >> iformat(z)))
+        {
+          m_in.clear(std::ios::badbit);
+          if(verbose())
+            std::cerr<<"error while reading normal."<<std::endl;
+          return;
+        }
         if(is_homogeneous())
-          m_in >> iformat(w);
+          if(!(m_in >> iformat(w)))
+          {
+            m_in.clear(std::ios::badbit);
+            if(verbose())
+              std::cerr<<"error while reading normal."<<std::endl;
+            return;
+          }
       }
     }
   }
@@ -522,15 +716,39 @@ public:
       else
       {
         double d;
-        m_in >> iformat(d);
+        if(!(m_in >> iformat(d)))
+        {
+          m_in.clear(std::ios::badbit);
+          if(verbose())
+            std::cerr<<"error while reading normal."<<std::endl;
+          return;
+        }
         x = int(d);
-        m_in >> iformat(d);
+        if(!(m_in >> iformat(d)))
+        {
+          m_in.clear(std::ios::badbit);
+          if(verbose())
+            std::cerr<<"error while reading normal."<<std::endl;
+          return;
+        }
         y = int(d);
-        m_in >> iformat(d);
+        if(!(m_in >> iformat(d)))
+        {
+          m_in.clear(std::ios::badbit);
+          if(verbose())
+            std::cerr<<"error while reading normal."<<std::endl;
+          return;
+        }
         z = int(d);
         if(is_homogeneous())
         {
-          m_in >> iformat(d);
+          if(!(m_in >> iformat(d)))
+          {
+            m_in.clear(std::ios::badbit);
+            if(verbose())
+              std::cerr<<"error while reading normal."<<std::endl;
+            return;
+          }
           w = int(d);
         }
       }
@@ -818,9 +1036,21 @@ public:
       {
         double dummy;
         if(is_homogeneous()) {
-          m_in >> dummy >> dummy >> dummy >> dummy;
+          if(!(m_in >> dummy >> dummy >> dummy >> dummy))
+          {
+            m_in.clear(std::ios::badbit);
+            if(verbose())
+              std::cerr<<"error while reading. Missing expected characters."<<std::endl;
+            return;
+          }
         } else {
-          m_in >> dummy >> dummy >> dummy;
+          if(!(m_in >> dummy >> dummy >> dummy))
+          {
+            m_in.clear(std::ios::badbit);
+            if(verbose())
+              std::cerr<<"error while reading. Missing expected characters."<<std::endl;
+            return;
+          }
         }
       }
 
@@ -858,7 +1088,13 @@ public:
     else
     {
       skip_comment();
-      m_in >> size;
+      if(!(m_in >> size))
+      {
+        m_in.clear(std::ios::badbit);
+        if(verbose())
+          std::cerr<<"error while reading facet. Missing size."<<std::endl;
+        return;
+      }
     }
   }
 
@@ -872,7 +1108,13 @@ public:
     }
     else
     {
-      m_in >> index;
+      if(!(m_in >> index))
+      {
+        m_in.clear(std::ios::badbit);
+        if(verbose())
+          std::cerr<<"error while reading facet. Missing index."<<std::endl;
+        return;
+      }
     }
 
     if(m_in.fail())
diff --git a/Stream_support/include/CGAL/IO/PLY/PLY_reader.h b/Stream_support/include/CGAL/IO/PLY/PLY_reader.h
index 5254f0be7c8..139a5afbff9 100644
--- a/Stream_support/include/CGAL/IO/PLY/PLY_reader.h
+++ b/Stream_support/include/CGAL/IO/PLY/PLY_reader.h
@@ -155,37 +155,46 @@ public:
   void read_ascii(std::istream& stream, char& c) const
   {
     short s;
-    stream >> s;
-    c = static_cast<char>(s);
+    if(stream >> s)
+      c = static_cast<char>(s);
+    else
+      stream.clear(std::ios::badbit);
   }
   void read_ascii(std::istream& stream, signed char& c) const
   {
     short s;
-    stream >> s;
-    c = static_cast<signed char>(s);
+    if(stream >> s)
+      c = static_cast<signed char>(s);
+    else
+      stream.clear(std::ios::badbit);
   }
   void read_ascii(std::istream& stream, unsigned char& c) const
   {
     unsigned short s;
-    stream >> s;
-    c = static_cast<unsigned char>(s);
+    if(stream >> s)
+      c = static_cast<unsigned char>(s);
+    else
+      stream.clear(std::ios::badbit);
   }
 
   void read_ascii(std::istream& stream, float& t) const
   {
-    stream >> iformat(t);
+    if(!(stream >> iformat(t)))
+      stream.clear(std::ios::badbit);
   }
 
   void read_ascii(std::istream& stream, double& t) const
   {
-    stream >> iformat(t);
+    if(!(stream >> iformat(t)))
+      stream.clear(std::ios::badbit);
   }
 
   // Default template when Type is not a char type
   template <typename Type>
   void read_ascii(std::istream& stream, Type& t) const
   {
-    stream >> t;
+    if(!(stream >> t))
+      stream.clear(std::ios::badbit);
   }