shithub: puzzles

Download patch

ref: 26d0633f87ccdbaf7035e2e14d9dfbfd7f379527
parent: 522588f699b3c910c5a47f8b8185e69250665313
author: Ben Harris <bjh21@bjh21.me.uk>
date: Tue Jan 10 06:07:14 EST 2023

Last-ditch maximum size limit for Flip

This makes sure that width * height <= INT_MAX, which it rather needs
to be.  Also in Flip's case that the square of the area still fits in
an int.

--- a/flip.c
+++ b/flip.c
@@ -8,6 +8,7 @@
 #include <string.h>
 #include <assert.h>
 #include <ctype.h>
+#include <limits.h>
 #include <math.h>
 
 #include "puzzles.h"
@@ -181,9 +182,16 @@
 
 static const char *validate_params(const game_params *params, bool full)
 {
+    int wh;
+
     if (params->w <= 0 || params->h <= 0)
         return "Width and height must both be greater than zero";
-    return NULL;
+    if (params->w > (INT_MAX - 3) / params->h)
+        return "Width times height must not be unreasonably large";
+    wh = params->w * params->h;
+    if (wh > (INT_MAX - 3) / wh)
+        return "Width times height is too large";    
+   return NULL;
 }
 
 static char *encode_bitmap(unsigned char *bmp, int len)