From be085d1398aaf3102f9ff6299bb27ea93cfd3ca4 Mon Sep 17 00:00:00 2001
From: an7s <an7s@git.zephyr-software.com>
Date: Fri, 2 Sep 2011 18:38:13 +0000
Subject: [PATCH] ...
---
examples/mul/generate_cprogs.sh | 2 +-
examples/mul/mul.ctmpl | 94 ++++++++++++++++++++++++++++++---
2 files changed, 89 insertions(+), 7 deletions(-)
diff --git a/examples/mul/generate_cprogs.sh b/examples/mul/generate_cprogs.sh
index a40985010..4ee93dfb9 100755
--- a/examples/mul/generate_cprogs.sh
+++ b/examples/mul/generate_cprogs.sh
@@ -39,7 +39,7 @@ create_prog()
gcc -w $progname.c -o $progname.orig.exe
- $PEASOUP_HOME/tools/ps_analyze.sh --step ilr=off --step p1transform=off $progname.orig.exe $progname.protected.exe
+ $PEASOUP_HOME/tools/ps_analyze.sh $progname.orig.exe $progname.protected.exe --step ilr=off --step p1transform=off --step concolic=off
}
for type1 in $types
diff --git a/examples/mul/mul.ctmpl b/examples/mul/mul.ctmpl
index f73522e05..d7f63ea78 100644
--- a/examples/mul/mul.ctmpl
+++ b/examples/mul/mul.ctmpl
@@ -1,3 +1,6 @@
+#define INT_MAX 2147483647
+#define UINT_MAX 4294967295
+
#TYPE1# #FUNCTION_NAME#(#TYPE1# x, #TYPE2# y)
{
#TYPE1# result = x * y;
@@ -7,15 +10,94 @@
main()
{
- #TYPE1# x = 127;
- #TYPE2# y = 0xFFFFFFFF;
+ #TYPE1# x;
+ #TYPE2# y;
+
+ x = 0x7f;
+ y = 0x7f;
+ #FUNCTION_NAME#(x, y);
+
+ x = 0x7f;
+ y = 0xff;
+ #FUNCTION_NAME#(x, y);
+
+ x = 0x7f;
+ y = 0x7fff;
+ #FUNCTION_NAME#(x, y);
+
+ x = 0x7f;
+ y = 0xffff;
+ #FUNCTION_NAME#(x, y);
+
+ x = 0x7f;
+ y = 0x7fffffff;
+ #FUNCTION_NAME#(x, y);
+
+ x = 0x7f;
+ y = 0xffffffff;
+ #FUNCTION_NAME#(x, y);
+
+ x = 0x7fff;
+ y = 0x7f;
+ #FUNCTION_NAME#(x, y);
+
+ x = 0x7fff;
+ y = 0xff;
+ #FUNCTION_NAME#(x, y);
+
+ x = 0x7fff;
+ y = 0x7fff;
+ #FUNCTION_NAME#(x, y);
+
+ x = 0x7fff;
+ y = 0xffff;
+ #FUNCTION_NAME#(x, y);
+
+ x = 0x7fff;
+ y = 0x7fffffff;
+ #FUNCTION_NAME#(x, y);
+
+ x = 0x7fff;
+ y = 0xffffffff;
+ #FUNCTION_NAME#(x, y);
+
+ x = 0x7fffffff;
+ y = 0x7f;
+ #FUNCTION_NAME#(x, y);
+
+ x = 0x7fffffff;
+ y = 0xff;
+ #FUNCTION_NAME#(x, y);
+
+ x = 0x7fffffff;
+ y = 0x7fff;
+ #FUNCTION_NAME#(x, y);
+
+ x = 0x7fffffff;
+ y = 0xffff;
+ #FUNCTION_NAME#(x, y);
+
+ x = 0x7fffffff;
+ y = 0x7fffffff;
+ #FUNCTION_NAME#(x, y);
+
+ x = 0x7fffffff;
+ y = 0xffffffff;
+ #FUNCTION_NAME#(x, y);
+
+ x = 0xff;
+ y = 0xff;
+ #FUNCTION_NAME#(x, y);
+
+ x = 0xffff;
+ y = 0xffff;
#FUNCTION_NAME#(x, y);
- x = 0x0FFFFFFF;
- y = 0x0FFFFFFF;
+ x = 0xffffffff;
+ y = 0xffffffff;
#FUNCTION_NAME#(x, y);
- x = 0x0000007F;
- y = 0x0000007F;
+ x = 255;
+ y = 255;
#FUNCTION_NAME#(x, y);
}
--
GitLab