Assert size overflow

secure-software-engineering · Nov 19, 2023 · f7402d3 · f7402d3
1 parent 57b0f81
commit f7402d3
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/include/phasar/DataFlow/PathSensitivity/PathSensitivityManagerBase.h b/include/phasar/DataFlow/PathSensitivity/PathSensitivityManagerBase.h
@@ -106,9 +106,10 @@ template <typename N> class PathSensitivityManagerBase {
     // WLInsert. This way, we can stop the process, when we have reached the
     // MaxDepth
 
-    auto NumBytes =
-        (sizeof(vertex_t) + 2 * sizeof(std::pair<vertex_t, vertex_t>)) *
-        EquivSize;
+    constexpr auto Factor =
+        sizeof(vertex_t) + 2 * sizeof(std::pair<vertex_t, vertex_t>);
+    assert(EquivSize <= SIZE_MAX / Factor && "Overflow on size calculation");
+    auto NumBytes = Factor * EquivSize;
 
     // For performance reasons, we wish to allocate the buffer on the stack, if
     // it is small enough