From d0cd752d4e582b3cdc7342db02af8ced9cf69911 Mon Sep 17 00:00:00 2001 From: "Thomas M. DuBuisson" Date: Wed, 20 May 2020 15:34:16 -0700 Subject: [PATCH 1/3] Example introduced memory leak --- src/acvp_capabilities.c | 1 - 1 file changed, 1 deletion(-) diff --git a/src/acvp_capabilities.c b/src/acvp_capabilities.c index e37782de..deec0b79 100644 --- a/src/acvp_capabilities.c +++ b/src/acvp_capabilities.c @@ -67,7 +67,6 @@ static ACVP_DSA_CAP *allocate_dsa_cap(void) { // Allocate the array of dsa_mode modes = calloc(ACVP_DSA_MAX_MODES, sizeof(ACVP_DSA_CAP_MODE)); if (!modes) { - free(cap); return NULL; } cap->dsa_cap_mode = modes; From ca5fd4d0f45428b90c5ec8d7992c6f3b03ccb7b9 Mon Sep 17 00:00:00 2001 From: "Thomas M. DuBuisson" Date: Wed, 20 May 2020 15:35:17 -0700 Subject: [PATCH 2/3] Update for Ubuntu 20.04 --- .muse/setup.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.muse/setup.sh b/.muse/setup.sh index d03bbc77..1ea5758e 100755 --- a/.muse/setup.sh +++ b/.muse/setup.sh @@ -1,5 +1,5 @@ if [ $(whoami) = "root" ]; then - apt install -y libssl1.0-dev libcurl4-gnutls-dev + apt install -y libssl1.1-dev libcurl4-gnutls-dev fi cd $1 From 3e2545eca500edd062882f660239294ed024ed08 Mon Sep 17 00:00:00 2001 From: Yizhao Lang Date: Mon, 14 Feb 2022 13:19:57 -0500 Subject: [PATCH 3/3] removed outdated verifier --- .muse/config | 1 - 1 file changed, 1 deletion(-) diff --git a/.muse/config b/.muse/config index 8dfe1118..245f4556 100644 --- a/.muse/config +++ b/.muse/config @@ -1,3 +1,2 @@ setup = ".muse/setup.sh" build = "make" -verifiers = [ "infer" ]