From ede734d9bf153c658881b1423eef1effaef67572 Mon Sep 17 00:00:00 2001
From: an7s <an7s@git.zephyr-software.com>
Date: Wed, 31 Aug 2011 19:56:32 +0000
Subject: [PATCH] ...
---
examples/integerbug.c | 31 +++++++++++++++++--------------
1 file changed, 17 insertions(+), 14 deletions(-)
diff --git a/examples/integerbug.c b/examples/integerbug.c
index e2af2fa44..142bd69c3 100644
--- a/examples/integerbug.c
+++ b/examples/integerbug.c
@@ -94,26 +94,29 @@ int main(int argc, char **argv)
switch(selector)
{
+ // good inputs here
case 0:
- bufptr = integer_overflow_into_malloc_2(4, 4);
- break;
+ bufptr = integer_overflow_into_malloc_2(1, 4);
+ bufptr = integer_overflow_into_malloc_1(1);
+ bufptr = integer_underflow(10, buf);
+ result = signed_error_bypass_check(10);
+ bufptr = trunc_error(10, 10);
+
+ // bad inputs here
case 1:
bufptr = integer_overflow_into_malloc_2(2000000000, 4);
- break;
+ break;
case 2:
- bufptr = integer_overflow_into_malloc_1(4);
- break;
- case 3:
bufptr = integer_overflow_into_malloc_1(4000000000);
- break;
+ break;
+ case 3:
+ bufptr = integer_underflow(1, buf);
+ break;
case 4:
- bufptr = integer_underflow(10, buf);
- break;
- case 5:
- result = signed_error_bypass_check(2048);
- break;
- case 6:
result = signed_error_bypass_check(4000000000);
- break;
+ break;
+ case 5:
+ bufptr = trunc_error(65000, 10);
+ break;
}
}
--
GitLab