libgpuverify

commit a74edbc4d1e47ee6307500e2c69ec4660bad9771
parent 5006a29d0933e395202dddc590b4fed3a5f786a7
Author: Cedric <cedric.zwahlen@students.bfh.ch>
Date:   Mon, 15 Jan 2024 17:23:32 +0100

Fix a memory leak in CPU

Diffstat:
M
.DS_Store
 | 
0

M
source/util.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
 | 
32
++++++++++++++++++++++++++++++++

5 files changed, 37 insertions(+), 5 deletions(-)
diff --git a/.DS_Store b/.DS_Store
Binary files differ.
diff --git a/source/util.c b/source/util.c
@@ -583,7 +583,7 @@ gcry_sexp_t *sexp_from_string(char* str, const char *format) {
     
     gcry_sexp_t *sexp = malloc(sizeof(gcry_sexp_t));
     
-    gcry_mpi_t mpi = gcry_mpi_new((int)strlen(str) * 8);
+    gcry_mpi_t mpi;
     
     char * str_buf = malloc((GPUV_BIT_LENGTH_2048 / 8) * 2 + 8);
     
@@ -600,7 +600,7 @@ gcry_sexp_t *sexp_from_string(char* str, const char *format) {
     size_t errOff = 0;
     gcry_sexp_build(sexp,&errOff,format,mpi);
     
-    gcry_free(mpi);
+    gcry_mpi_release(mpi);
     free(str_buf);
     
     mpz_clear(m);
@@ -612,7 +612,7 @@ gcry_sexp_t *sexp_from_string_key(char* str_1, char* str_1_buf, unsigned long st
     
     gcry_sexp_t *sexp = malloc(sizeof(gcry_sexp_t));
     
-    gcry_mpi_t mpi_1 = gcry_mpi_new((int)strlen(str_1) * 8);
+    gcry_mpi_t mpi_1;
     
     
     mpz_t m;
@@ -629,8 +629,8 @@ gcry_sexp_t *sexp_from_string_key(char* str_1, char* str_1_buf, unsigned long st
     size_t errOff = 0;
     gcry_sexp_build(sexp,&errOff,format,mpi_1,mpi_2);
     
-    gcry_free(mpi_1);
-    gcry_free(mpi_2);
+    gcry_mpi_release(mpi_1);
+    gcry_mpi_release(mpi_2);
     
     mpz_clear(m);
     
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
@@ -6269,5 +6269,37 @@
             landmarkType = "9">
          </BreakpointContent>
       </BreakpointProxy>
+      <BreakpointProxy
+         BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint">
+         <BreakpointContent
+            uuid = "F92D32D1-927C-4ED2-9FF7-EA67D437699C"
+            shouldBeEnabled = "Yes"
+            ignoreCount = "0"
+            continueAfterRunningActions = "No"
+            filePath = "../source/util.c"
+            startingColumnNumber = "9223372036854775807"
+            endingColumnNumber = "9223372036854775807"
+            startingLineNumber = "640"
+            endingLineNumber = "640"
+            landmarkName = "cpu_verify(batch, state)"
+            landmarkType = "9">
+         </BreakpointContent>
+      </BreakpointProxy>
+      <BreakpointProxy
+         BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint">
+         <BreakpointContent
+            uuid = "3E0279FE-D5C4-47CD-A5A9-48E61C61B74F"
+            shouldBeEnabled = "No"
+            ignoreCount = "0"
+            continueAfterRunningActions = "No"
+            filePath = "../source/util.c"
+            startingColumnNumber = "9223372036854775807"
+            endingColumnNumber = "9223372036854775807"
+            startingLineNumber = "611"
+            endingLineNumber = "611"
+            landmarkName = "sexp_from_string_key(str_1, str_1_buf, str_2, format)"
+            landmarkType = "9">
+         </BreakpointContent>
+      </BreakpointProxy>
    </Breakpoints>
 </Bucket>