libgpuverify

commit fd6091a95ba057dabd495239a57d1d03f3f367b9
parent fa0b64fb1ee2c3ed973e6e9b75cb1ffb0c4c3b35
Author: Cedric <cedric.zwahlen@students.bfh.ch>
Date:   Tue,  5 Dec 2023 00:50:30 +0100

Fix memory issue

memset 0 in montgomery and reference tests

Diffstat:
M
source/lib-gpu-verify.c
 | 
5
+++--
M
source/montgomery-test.c
 | 
10
++++++++++
M
source/rsa-test.c
 | 
10
++++++++++
M
xcode/.DS_Store
 | 
0

M
xcode/lib-gpu-verify.xcodeproj/project.xcworkspace/xcuserdata/cedriczwahlen.xcuserdatad/UserInterfaceState.xcuserstate
 | 
0

M
xcode/lib-gpu-verify.xcodeproj/xcuserdata/cedriczwahlen.xcuserdatad/xcdebugger/Breakpoints_v2.xcbkptlist
 | 
12
++++++------

6 files changed, 29 insertions(+), 8 deletions(-)
diff --git a/source/lib-gpu-verify.c b/source/lib-gpu-verify.c
@@ -16,13 +16,14 @@ int main(int argc, char** argv)
     
     setup_gcry();
     
-    reference_tests();
     
+    
+    // MARK: might have memory issues
     mont_rsa_tests();
     
     rsa_tests();
     
-   
+    reference_tests();
     
     
     
diff --git a/source/montgomery-test.c b/source/montgomery-test.c
@@ -417,6 +417,16 @@ int mont_rsa_tests(void) {
     unsigned long *m_off = malloc(pairs * sizeof(unsigned long));
     unsigned long *s_off = malloc(pairs * sizeof(unsigned long));
     
+    memset(b, 0, str_sz);
+    memset(e, 0, str_sz);
+    memset(m, 0, str_sz);
+    memset(s, 0, str_sz);
+    
+    memset(b_off, 0, str_sz);
+    memset(e_off, 0, str_sz);
+    memset(m_off, 0, str_sz);
+    memset(s_off, 0, str_sz);
+    
     unsigned long *pks = malloc(pairs * sizeof(unsigned long));
     
     
diff --git a/source/rsa-test.c b/source/rsa-test.c
@@ -800,6 +800,16 @@ int reference_tests(void) {
     unsigned long *m_off = malloc(str_sz);
     unsigned long *s_off = malloc(str_sz);
     
+    memset(b, 0, str_sz);
+    memset(e, 0, str_sz);
+    memset(m, 0, str_sz);
+    memset(s, 0, str_sz);
+    
+    memset(b_off, 0, str_sz);
+    memset(e_off, 0, str_sz);
+    memset(m_off, 0, str_sz);
+    memset(s_off, 0, str_sz);
+    
     unsigned long *pks = malloc(str_sz);
     memset(pks, 0, str_sz);
     
diff --git a/xcode/.DS_Store b/xcode/.DS_Store
Binary files differ.
diff --git a/xcode/lib-gpu-verify.xcodeproj/project.xcworkspace/xcuserdata/cedriczwahlen.xcuserdatad/UserInterfaceState.xcuserstate b/xcode/lib-gpu-verify.xcodeproj/project.xcworkspace/xcuserdata/cedriczwahlen.xcuserdatad/UserInterfaceState.xcuserstate
Binary files differ.
diff --git a/xcode/lib-gpu-verify.xcodeproj/xcuserdata/cedriczwahlen.xcuserdatad/xcdebugger/Breakpoints_v2.xcbkptlist b/xcode/lib-gpu-verify.xcodeproj/xcuserdata/cedriczwahlen.xcuserdatad/xcdebugger/Breakpoints_v2.xcbkptlist
@@ -3515,8 +3515,8 @@
             filePath = "../source/rsa-test.c"
             startingColumnNumber = "9223372036854775807"
             endingColumnNumber = "9223372036854775807"
-            startingLineNumber = "863"
-            endingLineNumber = "863"
+            startingLineNumber = "873"
+            endingLineNumber = "873"
             landmarkName = "reference_tests()"
             landmarkType = "9">
             <Locations>
@@ -3626,8 +3626,8 @@
             filePath = "../source/rsa-test.c"
             startingColumnNumber = "9223372036854775807"
             endingColumnNumber = "9223372036854775807"
-            startingLineNumber = "857"
-            endingLineNumber = "857"
+            startingLineNumber = "867"
+            endingLineNumber = "867"
             landmarkName = "reference_tests()"
             landmarkType = "9">
          </BreakpointContent>
@@ -3642,8 +3642,8 @@
             filePath = "../source/rsa-test.c"
             startingColumnNumber = "9223372036854775807"
             endingColumnNumber = "9223372036854775807"
-            startingLineNumber = "816"
-            endingLineNumber = "816"
+            startingLineNumber = "826"
+            endingLineNumber = "826"
             landmarkName = "reference_tests()"
             landmarkType = "9">
             <Locations>