diff --git a/config/cert_exp_33.c b/config/cert_exp_33.c
index c4fe87dcaaa750ddb5fe19c8053b12b3a334c10f..6414eb781eda9cef02ea1f3e7a331a7c2f710d56 100644
--- a/config/cert_exp_33.c
+++ b/config/cert_exp_33.c
@@ -1,17 +1,20 @@
+#include <stddef.h>
+
 void set_flag(int number, int *sign_flag) {
   if (NULL == sign_flag) {
     return;
   }
-
-  if (number > 0) {
+ 
+  /* Account for number being 0 */
+  if (number >= 0) {
     *sign_flag = 1;
-  } else if (number < 0) {
+  } else {
     *sign_flag = -1;
   }
 }
-
+ 
 int is_negative(int number) {
-  int sign;
+  int sign = 0; /* Initialize for defense-in-depth */
   set_flag(number, &sign);
   return sign < 0;
 }
diff --git a/config/cert_exp_33_realloc.c b/config/cert_exp_33_realloc.c
index 30cbd3e28a454416cdb24c1baf5210d603e59c87..7dea4655aed70f39e6923c3c9746935685b890bc 100644
--- a/config/cert_exp_33_realloc.c
+++ b/config/cert_exp_33_realloc.c
@@ -23,7 +23,8 @@ void func(void) {
     /* Handle error */
     return;
   }
-
+	
+  /*@ loop unroll OLD_SIZE; */
   for (size_t i = 0; i < OLD_SIZE; ++i) {
     array[i] = i;
   }
@@ -33,7 +34,8 @@ void func(void) {
     /* Handle error */
     return;
   }
-
+  
+  /*@ loop unroll NEW_SIZE; */
   for (size_t i = 0; i < NEW_SIZE; ++i) {
     printf("%d ", array[i]);
   }