From e7982528dc33568d98f7af3d33ccdc1d3f44f681 Mon Sep 17 00:00:00 2001
From: Merlin Baviere <merlin.baviere@student-cs.fr>
Date: Thu, 20 Mar 2025 19:02:16 +0100
Subject: [PATCH] cert_exp_33.c done
---
config/cert_exp_33.c | 13 ++++++++-----
config/cert_exp_33_realloc.c | 6 ++++--
2 files changed, 12 insertions(+), 7 deletions(-)
diff --git a/config/cert_exp_33.c b/config/cert_exp_33.c
index c4fe87d..6414eb7 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 30cbd3e..7dea465 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]);
}
--
GitLab