From unknown Sat Jun 21 10:38:25 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#67399 <67399@debbugs.gnu.org> To: bug#67399 <67399@debbugs.gnu.org> Subject: Status: [PATCH 0/8] Coreboot related patches. Reply-To: bug#67399 <67399@debbugs.gnu.org> Date: Sat, 21 Jun 2025 17:38:25 +0000 retitle 67399 [PATCH 0/8] Coreboot related patches. reassign 67399 guix-patches submitter 67399 Denis 'GNUtoo' Carikli severity 67399 normal tag 67399 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Thu Nov 23 06:19:02 2023 Received: (at submit) by debbugs.gnu.org; 23 Nov 2023 11:19:03 +0000 Received: from localhost ([127.0.0.1]:60760 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r67ja-0001Zb-H1 for submit@debbugs.gnu.org; Thu, 23 Nov 2023 06:19:02 -0500 Received: from lists.gnu.org ([2001:470:142::17]:50020) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r67jZ-0001Z6-5j for submit@debbugs.gnu.org; Thu, 23 Nov 2023 06:19:01 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1r67jP-0004WL-7I for guix-patches@gnu.org; Thu, 23 Nov 2023 06:18:51 -0500 Received: from cyberdimension.org ([80.67.179.20] helo=gnutoo.cyberdimension.org) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1r67jK-0003P6-FR for guix-patches@gnu.org; Thu, 23 Nov 2023 06:18:50 -0500 Received: from gnutoo.cyberdimension.org (localhost [127.0.0.1]) by cyberdimension.org (OpenSMTPD) with ESMTP id 6166107f; Thu, 23 Nov 2023 11:18:36 +0000 (UTC) Received: from localhost.localdomain (localhost [::1]) by gnutoo.cyberdimension.org (OpenSMTPD) with ESMTP id 42a8a7b0; Thu, 23 Nov 2023 11:18:36 +0000 (UTC) From: Denis 'GNUtoo' Carikli To: guix-patches@gnu.org Subject: [PATCH 0/8] Coreboot related patches. Date: Thu, 23 Nov 2023 12:18:33 +0100 Message-ID: X-Mailer: git-send-email 2.41.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=80.67.179.20; envelope-from=GNUtoo@cyberdimension.org; helo=gnutoo.cyberdimension.org X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 0.9 (/) X-Debbugs-Envelope-To: submit Cc: Denis 'GNUtoo' Carikli X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.1 (/) Hi, This patchset updates some tools that use the Coreboot source, fixes a freedom bug, code and also add two new tools (bucts and nvramtool). The freedom bug is the bug #66986[1] ("ifdtool: Firmwares with missing source code present in source code"). It is fixed because the files mentioned in this bug report are gone in Coreboot 4.22. I've also done a quick grep for words like "reverse engineering" and that didn't find any nonfree license. So upstream probably finished moving the nonfree files in a separate repositories. [1]https://issues.guix.gnu.org/66986 Denis 'GNUtoo' Carikli (8): gnu: ifdtool: Update to 4.22. gnu: Add bucts. gnu: intelmetool: Update to 4.22. gnu: ifdtool: Update to new style. gnu: ifdtool: Use cc-for-target. gnu: intelmetool: Update to new style. gnu: intelmetool: Use cc-for-target. gnu: Add nvramtool. gnu/packages/flashing-tools.scm | 161 +++++++++++++++++++++++--------- 1 file changed, 117 insertions(+), 44 deletions(-) base-commit: 5283d24062be62f59ff9f14fa7095ebcfcb7a9a4 -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Thu Nov 23 09:53:36 2023 Received: (at 67399) by debbugs.gnu.org; 23 Nov 2023 14:53:37 +0000 Received: from localhost ([127.0.0.1]:33010 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r6B5D-000793-If for submit@debbugs.gnu.org; Thu, 23 Nov 2023 09:53:36 -0500 Received: from cyberdimension.org ([80.67.179.20]:49166 helo=gnutoo.cyberdimension.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r6B58-00078j-8R for 67399@debbugs.gnu.org; Thu, 23 Nov 2023 09:53:34 -0500 Received: from gnutoo.cyberdimension.org (localhost [127.0.0.1]) by cyberdimension.org (OpenSMTPD) with ESMTP id a709474d; Thu, 23 Nov 2023 14:53:23 +0000 (UTC) Received: from localhost.localdomain (localhost [::1]) by gnutoo.cyberdimension.org (OpenSMTPD) with ESMTP id 878a70eb; Thu, 23 Nov 2023 14:53:23 +0000 (UTC) From: Denis 'GNUtoo' Carikli To: 67399@debbugs.gnu.org Subject: [PATCH] gnu: Add grub-coreboot Date: Thu, 23 Nov 2023 15:52:46 +0100 Message-ID: <8828e02880eda902dd7be2195abc013094936567.1689524030.git.GNUtoo@cyberdimension.org> X-Mailer: git-send-email 2.41.0 MIME-Version: 1.0 X-Debbugs-Cc: ( , Christopher Baines , Ludovic Courtès , Mathieu Othacehe , Raghav Gururajan , Ricardo Wurmus , Simon Tournier , Tobias Geerinckx-Rice , jgart Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 67399 Cc: Denis 'GNUtoo' Carikli X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/bootloaders.scm (grub-coreboot): New variable. Signed-off-by: Denis 'GNUtoo' Carikli --- gnu/packages/bootloaders.scm | 17 ++++++++++++++++- 1 file changed, 16 insertions(+), 1 deletion(-) diff --git a/gnu/packages/bootloaders.scm b/gnu/packages/bootloaders.scm index 01fd1093ff..c5090d1ead 100644 --- a/gnu/packages/bootloaders.scm +++ b/gnu/packages/bootloaders.scm @@ -15,7 +15,7 @@ ;;; Copyright © 2020, 2021 Pierre Langlois ;;; Copyright © 2021 Vincent Legoll ;;; Copyright © 2021 Brice Waegeneire -;;; Copyright © 2022 Denis 'GNUtoo' Carikli +;;; Copyright © 2022, 2023 Denis 'GNUtoo' Carikli ;;; Copyright © 2021 Stefan ;;; Copyright © 2022, 2023 Maxim Cournoyer ;;; @@ -297,6 +297,21 @@ (define-public grub-minimal #t)))))))) +(define-public grub-coreboot + (package + (inherit grub) + (name "grub-coreboot") + (synopsis "GRand Unified Boot loader (Coreboot payload version)") + (arguments + `(,@(substitute-keyword-arguments (package-arguments grub) + ;; Several tests fail + ((#:tests? _ #f) + #f) + ((#:configure-flags flags + ''()) + `(cons* "--with-platform=coreboot" + ,flags))))))) + (define-public grub-efi (package (inherit grub) base-commit: 796c823a0d1d0aec9f4af908eca462e58e5675b5 -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Thu Nov 23 09:53:40 2023 Received: (at 67399) by debbugs.gnu.org; 23 Nov 2023 14:53:40 +0000 Received: from localhost ([127.0.0.1]:33016 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r6B5H-00079k-SU for submit@debbugs.gnu.org; Thu, 23 Nov 2023 09:53:40 -0500 Received: from cyberdimension.org ([80.67.179.20]:49166 helo=gnutoo.cyberdimension.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r6B5C-00078j-F4 for 67399@debbugs.gnu.org; Thu, 23 Nov 2023 09:53:34 -0500 Received: from gnutoo.cyberdimension.org (localhost [127.0.0.1]) by cyberdimension.org (OpenSMTPD) with ESMTP id f527a303; Thu, 23 Nov 2023 14:53:24 +0000 (UTC) Received: from localhost.localdomain (localhost [::1]) by gnutoo.cyberdimension.org (OpenSMTPD) with ESMTP id a46a3cc0; Thu, 23 Nov 2023 14:53:23 +0000 (UTC) From: Denis 'GNUtoo' Carikli To: 67399@debbugs.gnu.org Subject: [PATCH] gnu: libressl: Update to 3.8.0 [fixes CVE-2023-35784]. Date: Thu, 23 Nov 2023 15:52:47 +0100 Message-ID: X-Mailer: git-send-email 2.41.0 MIME-Version: 1.0 X-Debbugs-Cc: ( , Christopher Baines , Ludovic Courtès , Mathieu Othacehe , Raghav Gururajan , Ricardo Wurmus , Simon Tournier , Tobias Geerinckx-Rice , jgart Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 67399 Cc: Denis 'GNUtoo' Carikli X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/tls.scm (libressl): Update to 3.8.0. Signed-off-by: Denis 'GNUtoo' Carikli --- gnu/packages/tls.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/tls.scm b/gnu/packages/tls.scm index f51c47db04..deec73b43f 100644 --- a/gnu/packages/tls.scm +++ b/gnu/packages/tls.scm @@ -659,14 +659,14 @@ (define-public bearssl (define-public libressl (package (name "libressl") - (version "3.6.1") + (version "3.8.0") (source (origin (method url-fetch) (uri (string-append "mirror://openbsd/LibreSSL/" "libressl-" version ".tar.gz")) (sha256 (base32 - "0x37037rb0zx34zp0kbbqj2xwd57gh1m6bfn52f92fz92q9wdymc")))) + "1b5c45gkrfcvjpf5dx288r6x1zhc9dk9j61ixfmwdi88r0g1qlqj")))) (build-system gnu-build-system) (arguments `(#:configure-flags base-commit: 39fbc041f92489ec30075a85937c8a38723752dc -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Thu Nov 23 09:53:40 2023 Received: (at 67399) by debbugs.gnu.org; 23 Nov 2023 14:53:40 +0000 Received: from localhost ([127.0.0.1]:33018 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r6B5I-00079n-3a for submit@debbugs.gnu.org; Thu, 23 Nov 2023 09:53:40 -0500 Received: from cyberdimension.org ([80.67.179.20]:51594 helo=gnutoo.cyberdimension.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r6B5D-00078w-4O for 67399@debbugs.gnu.org; Thu, 23 Nov 2023 09:53:35 -0500 Received: from gnutoo.cyberdimension.org (localhost [127.0.0.1]) by cyberdimension.org (OpenSMTPD) with ESMTP id 51f3a17d; Thu, 23 Nov 2023 14:53:26 +0000 (UTC) Received: from localhost.localdomain (localhost [::1]) by gnutoo.cyberdimension.org (OpenSMTPD) with ESMTP id 1722bfba; Thu, 23 Nov 2023 14:53:25 +0000 (UTC) From: Denis 'GNUtoo' Carikli To: 67399@debbugs.gnu.org Subject: [PATCH] gnu: aflplusplus: Add python support Date: Thu, 23 Nov 2023 15:52:49 +0100 Message-ID: <5e850cca0eca17b210575bd38de5bbbdc0430eca.1693578094.git.GNUtoo@cyberdimension.org> X-Mailer: git-send-email 2.41.0 MIME-Version: 1.0 X-Debbugs-Cc: ( , Christopher Baines , Ludovic Courtès , Mathieu Othacehe , Raghav Gururajan , Ricardo Wurmus , Simon Tournier , Tobias Geerinckx-Rice , jgart Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 67399 Cc: Denis 'GNUtoo' Carikli X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/debug.scm (aflplusplus): [inputs]: Add python. --- gnu/packages/debug.scm | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/gnu/packages/debug.scm b/gnu/packages/debug.scm index 31f59f02f8..b6d84495e4 100644 --- a/gnu/packages/debug.scm +++ b/gnu/packages/debug.scm @@ -479,7 +479,9 @@ (define-public aflplusplus ;; aflplusplus source code has the following comment: "GCC 12 is producing ;; compile errors for some targets so we stay at GCC 11", however with ;; Guix GCC 12 seems to work fine so far. - (inputs (list gcc gmp qemu)) + ;; The python input is needed to support writing custom mutations in + ;; python. + (inputs (list gcc gmp python qemu)) (home-page "https://aflplus.plus") (description "AFLplusplus is a security-oriented fuzzer that employs a novel type of base-commit: 4e531e55dcdc99c83bcfe3eec67c3fd95c7b6ca7 prerequisite-patch-id: 529f1c3b53aec479891730e8b6e21f6a59cd7c71 prerequisite-patch-id: 6f0e10ac9b56f321f690b28d50f7bde94b8c3933 prerequisite-patch-id: c27dc1855d1350c395cd0f5788b57ee6be532328 -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Thu Nov 23 09:53:40 2023 Received: (at 67399) by debbugs.gnu.org; 23 Nov 2023 14:53:40 +0000 Received: from localhost ([127.0.0.1]:33020 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r6B5I-00079u-Eh for submit@debbugs.gnu.org; Thu, 23 Nov 2023 09:53:40 -0500 Received: from [2001:910:1314:ffff::1] (port=49176 helo=gnutoo.cyberdimension.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r6B5C-00078m-OZ for 67399@debbugs.gnu.org; Thu, 23 Nov 2023 09:53:35 -0500 Received: from gnutoo.cyberdimension.org (localhost [127.0.0.1]) by cyberdimension.org (OpenSMTPD) with ESMTP id f9a15f82; Thu, 23 Nov 2023 14:53:25 +0000 (UTC) Received: from localhost.localdomain (localhost [::1]) by gnutoo.cyberdimension.org (OpenSMTPD) with ESMTP id 14ad73b4; Thu, 23 Nov 2023 14:53:24 +0000 (UTC) From: Denis 'GNUtoo' Carikli To: 67399@debbugs.gnu.org Subject: [PATCH] gnu: aflplusplus: Add python support Date: Thu, 23 Nov 2023 15:52:48 +0100 Message-ID: <07ae122db9a764cb96c25f0a59902c4213096727.1693578117.git.GNUtoo@cyberdimension.org> X-Mailer: git-send-email 2.41.0 MIME-Version: 1.0 X-Debbugs-Cc: ( , Christopher Baines , Ludovic Courtès , Mathieu Othacehe , Raghav Gururajan , Ricardo Wurmus , Simon Tournier , Tobias Geerinckx-Rice , jgart Content-Transfer-Encoding: 8bit X-Spam-Score: 1.3 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/debug.scm (aflplusplus): [inputs]: Add python. --- gnu/packages/debug.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnu/packages/debug.scm b/gnu/packages/debug.scm index 060e6a7b36..27a57c2f30 100644 --- a/gnu/packages/debug.scm +++ b/gnu/packages/debug.scm @@ -473,7 +473,7 @@ (define-public aflplusplu [...] Content analysis details: (1.3 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_HELO_PASS SPF: HELO matches SPF record -0.0 SPF_PASS SPF: sender matches SPF record -0.0 T_SCC_BODY_TEXT_LINE No description available. 1.3 RDNS_NONE Delivered to internal network by a host with no rDNS X-Debbugs-Envelope-To: 67399 Cc: Denis 'GNUtoo' Carikli X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.3 (/) * gnu/packages/debug.scm (aflplusplus): [inputs]: Add python. --- gnu/packages/debug.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnu/packages/debug.scm b/gnu/packages/debug.scm index 060e6a7b36..27a57c2f30 100644 --- a/gnu/packages/debug.scm +++ b/gnu/packages/debug.scm @@ -473,7 +473,7 @@ (define-public aflplusplus (sha256 (base32 "0cl0bgvd2yy331zchjz5drcnadam6w0vfmwcq1jf285hw0x8b0bk")))) - (inputs (list qemu)) + (inputs (list python qemu)) (home-page "https://aflplus.plus") (description "AFLplusplus is a security-oriented fuzzer that employs a novel type of base-commit: 4e531e55dcdc99c83bcfe3eec67c3fd95c7b6ca7 prerequisite-patch-id: 529f1c3b53aec479891730e8b6e21f6a59cd7c71 -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Thu Nov 23 09:53:41 2023 Received: (at 67399) by debbugs.gnu.org; 23 Nov 2023 14:53:41 +0000 Received: from localhost ([127.0.0.1]:33022 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r6B5I-0007A1-NI for submit@debbugs.gnu.org; Thu, 23 Nov 2023 09:53:41 -0500 Received: from cyberdimension.org ([80.67.179.20]:49166 helo=gnutoo.cyberdimension.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r6B5D-00078j-5L for 67399@debbugs.gnu.org; Thu, 23 Nov 2023 09:53:36 -0500 Received: from gnutoo.cyberdimension.org (localhost [127.0.0.1]) by cyberdimension.org (OpenSMTPD) with ESMTP id ddc77bb0; Thu, 23 Nov 2023 14:53:26 +0000 (UTC) Received: from localhost.localdomain (localhost [::1]) by gnutoo.cyberdimension.org (OpenSMTPD) with ESMTP id b5683f74; Thu, 23 Nov 2023 14:53:26 +0000 (UTC) From: Denis 'GNUtoo' Carikli To: 67399@debbugs.gnu.org Subject: [PATCH v2 1/3] gnu: Add aflplusplus. Date: Thu, 23 Nov 2023 15:52:50 +0100 Message-ID: <08dda007d354a5857a348d8d001c06216c940893.1694747596.git.GNUtoo@cyberdimension.org> X-Mailer: git-send-email 2.41.0 MIME-Version: 1.0 X-Debbugs-Cc: ( , Christopher Baines , Ludovic Courtès , Mathieu Othacehe , Raghav Gururajan , Ricardo Wurmus , Simon Tournier , Tobias Geerinckx-Rice , jgart Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 67399 Cc: Denis 'GNUtoo' Carikli X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/debug.scm (aflplusplus): New variable. --- gnu/packages/debug.scm | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) diff --git a/gnu/packages/debug.scm b/gnu/packages/debug.scm index e2a29a3ae9..cd1eccbd7b 100644 --- a/gnu/packages/debug.scm +++ b/gnu/packages/debug.scm @@ -459,6 +459,37 @@ (define-public qemu-for-american-fuzzy-lop ;; Several tests fail on MIPS. (supported-systems (delete "mips64el-linux" %supported-systems)))))) +(define-public aflplusplus + (package + (inherit american-fuzzy-lop) + (name "aflplusplus") + (version "4.08c") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/AFLplusplus/AFLplusplus") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "01hxj65if6rkjrj1fqcgq0jl95dirhkn00mi2k65mff6bckaamxg")))) + (inputs (list qemu)) + (home-page "https://aflplus.plus") + (description + "AFLplusplus is a security-oriented fuzzer that employs a novel type of +compile-time instrumentation and genetic algorithms to automatically discover +clean, interesting test cases that trigger new internal states in the targeted +binary. This substantially improves the functional coverage for the fuzzed +code. The compact synthesized corpora produced by the tool are also useful +for seeding other, more labor- or resource-intensive testing regimes down the +road. It is a fork of American Fuzzy Lop fuzzer and compared to it: +@itemize +@item It Supports a more recent qemu version +@item It supports more algorithms like collision-free coverage, enhanced +laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, +etc. +@end itemize"))) + (define-public stress-make (let ((commit "97815bed8060de33952475b3498767c91f59ffd9") (revision "2")) ;No official source distribution base-commit: 0c1aa354048f82023e6d2043bfecc4fd58bc9b58 -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Thu Nov 23 09:53:41 2023 Received: (at 67399) by debbugs.gnu.org; 23 Nov 2023 14:53:41 +0000 Received: from localhost ([127.0.0.1]:33024 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r6B5J-0007A9-2Z for submit@debbugs.gnu.org; Thu, 23 Nov 2023 09:53:41 -0500 Received: from cyberdimension.org ([80.67.179.20]:51594 helo=gnutoo.cyberdimension.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r6B5D-00078w-UF for 67399@debbugs.gnu.org; Thu, 23 Nov 2023 09:53:36 -0500 Received: from gnutoo.cyberdimension.org (localhost [127.0.0.1]) by cyberdimension.org (OpenSMTPD) with ESMTP id c6952209; Thu, 23 Nov 2023 14:53:27 +0000 (UTC) Received: from localhost.localdomain (localhost [::1]) by gnutoo.cyberdimension.org (OpenSMTPD) with ESMTP id 0358d836; Thu, 23 Nov 2023 14:53:26 +0000 (UTC) From: Denis 'GNUtoo' Carikli To: 67399@debbugs.gnu.org Subject: [PATCH v2 2/3] gnu: aflplusplus: Add python support Date: Thu, 23 Nov 2023 15:52:51 +0100 Message-ID: <6382108e29da93b59e39e7df48351444397cb843.1694747596.git.GNUtoo@cyberdimension.org> X-Mailer: git-send-email 2.41.0 In-Reply-To: <08dda007d354a5857a348d8d001c06216c940893.1694747596.git.GNUtoo@cyberdimension.org> References: <08dda007d354a5857a348d8d001c06216c940893.1694747596.git.GNUtoo@cyberdimension.org> MIME-Version: 1.0 X-Debbugs-Cc: ( , Christopher Baines , Ludovic Courtès , Mathieu Othacehe , Raghav Gururajan , Ricardo Wurmus , Simon Tournier , Tobias Geerinckx-Rice , jgart Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 67399 Cc: Denis 'GNUtoo' Carikli X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/debug.scm (aflplusplus): [inputs]: Add python. --- gnu/packages/debug.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnu/packages/debug.scm b/gnu/packages/debug.scm index cd1eccbd7b..04458d0220 100644 --- a/gnu/packages/debug.scm +++ b/gnu/packages/debug.scm @@ -473,7 +473,7 @@ (define-public aflplusplus (sha256 (base32 "01hxj65if6rkjrj1fqcgq0jl95dirhkn00mi2k65mff6bckaamxg")))) - (inputs (list qemu)) + (inputs (list python qemu)) (home-page "https://aflplus.plus") (description "AFLplusplus is a security-oriented fuzzer that employs a novel type of -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Thu Nov 23 09:53:41 2023 Received: (at 67399) by debbugs.gnu.org; 23 Nov 2023 14:53:41 +0000 Received: from localhost ([127.0.0.1]:33026 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r6B5J-0007AG-Bw for submit@debbugs.gnu.org; Thu, 23 Nov 2023 09:53:41 -0500 Received: from [2001:910:1314:ffff::1] (port=49176 helo=gnutoo.cyberdimension.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r6B5E-00078m-2V for 67399@debbugs.gnu.org; Thu, 23 Nov 2023 09:53:37 -0500 Received: from gnutoo.cyberdimension.org (localhost [127.0.0.1]) by cyberdimension.org (OpenSMTPD) with ESMTP id e7a37a2d; Thu, 23 Nov 2023 14:53:28 +0000 (UTC) Received: from localhost.localdomain (localhost [::1]) by gnutoo.cyberdimension.org (OpenSMTPD) with ESMTP id 139e7658; Thu, 23 Nov 2023 14:53:27 +0000 (UTC) From: Denis 'GNUtoo' Carikli To: 67399@debbugs.gnu.org Subject: [PATCH v2 3/3] gnu: aflplusplus: Build afl-gcc/g++-fast Date: Thu, 23 Nov 2023 15:52:52 +0100 Message-ID: X-Mailer: git-send-email 2.41.0 In-Reply-To: <08dda007d354a5857a348d8d001c06216c940893.1694747596.git.GNUtoo@cyberdimension.org> References: <08dda007d354a5857a348d8d001c06216c940893.1694747596.git.GNUtoo@cyberdimension.org> MIME-Version: 1.0 X-Debbugs-Cc: ( , Christopher Baines , Ludovic Courtès , Mathieu Othacehe , Raghav Gururajan , Ricardo Wurmus , Simon Tournier , Tobias Geerinckx-Rice , jgart Content-Transfer-Encoding: 8bit X-Spam-Score: 1.3 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/debug.scm (aflplusplus): [inputs]: Add gcc, gmp. --- gnu/packages/debug.scm | 32 +++++++++++++++++++++++++++++++- 1 file changed, 31 insertions(+), 1 deletion(-) diff --git a/gnu/packages/debug.scm b/gnu/packages/debug.scm index 04458d0220..c9fdca8c8b 100644 --- a/gnu/packages/debug.scm +++ b/gnu/packages/debug.scm @@ -50,6 +50,7 @@ (define-module (gnu package [...] Content analysis details: (1.3 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_HELO_PASS SPF: HELO matches SPF record -0.0 SPF_PASS SPF: sender matches SPF record -0.0 T_SCC_BODY_TEXT_LINE No description available. 1.3 RDNS_NONE Delivered to internal network by a host with no rDNS X-Debbugs-Envelope-To: 67399 Cc: Denis 'GNUtoo' Carikli X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.3 (/) * gnu/packages/debug.scm (aflplusplus): [inputs]: Add gcc, gmp. --- gnu/packages/debug.scm | 32 +++++++++++++++++++++++++++++++- 1 file changed, 31 insertions(+), 1 deletion(-) diff --git a/gnu/packages/debug.scm b/gnu/packages/debug.scm index 04458d0220..c9fdca8c8b 100644 --- a/gnu/packages/debug.scm +++ b/gnu/packages/debug.scm @@ -50,6 +50,7 @@ (define-module (gnu packages debug) #:use-module (gnu packages code) #:use-module (gnu packages compression) #:use-module (gnu packages flex) + #:use-module (gnu packages gcc) #:use-module (gnu packages gdb) #:use-module (gnu packages glib) #:use-module (gnu packages gtk) @@ -59,6 +60,7 @@ (define-module (gnu packages debug) #:use-module (gnu packages libusb) #:use-module (gnu packages linux) #:use-module (gnu packages llvm) + #:use-module (gnu packages multiprecision) #:use-module (gnu packages ncurses) #:use-module (gnu packages ninja) #:use-module (gnu packages perl) @@ -473,7 +475,35 @@ (define-public aflplusplus (sha256 (base32 "01hxj65if6rkjrj1fqcgq0jl95dirhkn00mi2k65mff6bckaamxg")))) - (inputs (list python qemu)) + (arguments + (substitute-keyword-arguments (package-arguments american-fuzzy-lop) + ((#:phases phases) + `(modify-phases ,phases + ;; TODO: Enable to cross compile aflplusplus by also enabling qemu + ;; to be cross compiled and by fixing the use-build-gcc phase below. + (add-before 'build 'use-build-gcc + (lambda _ + ;; We need to patch it to select the build-time gcc else we get + ;; something like that: + ;; $ afl-gcc-fast main.c + ;; afl-cc++4.08c by [...] - mode: GCC_PLUGIN-DEFAULT + ;; cc1: error: cannot load plugin + ;; /gnu/[...]-aflplusplus-4.08c/bin/../lib/afl//afl-gcc-pass.so: + ;; /gnu/[...]-aflplusplus-4.08c/bin/../lib/afl//afl-gcc-pass.so: + ;; undefined symbol: + ;; _Z30gimple_build_call_internal_vec11internal_fn3vecIP9tree_node7va_heap6vl_ptrE + (substitute* "src/afl-cc.c" + (("alt_cc = \"gcc\";") + (string-append "alt_cc = \"" + (which "gcc") "\";")) + (("alt_cxx = \"g\\+\\+\";") + (string-append "alt_cxx = \"" + (which "g++") "\";"))))))))) + ;; afl-gcc and g++-fast require gcc and gmp. The gcc-11 input is used + ;; instead of gcc because in the Dockerfile inside aflplusplus source code + ;; has the following comment: "GCC 12 is producing compile errors for some + ;; targets so we stay at GCC 11". + (inputs (list gcc-11 gmp python qemu)) (home-page "https://aflplus.plus") (description "AFLplusplus is a security-oriented fuzzer that employs a novel type of -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Thu Nov 23 10:07:59 2023 Received: (at 67399) by debbugs.gnu.org; 23 Nov 2023 15:07:59 +0000 Received: from localhost ([127.0.0.1]:34605 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r6BJ9-0007w0-7B for submit@debbugs.gnu.org; Thu, 23 Nov 2023 10:07:59 -0500 Received: from cyberdimension.org ([80.67.179.20]:44318 helo=gnutoo.cyberdimension.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r6BJ5-0007vo-4d for 67399@debbugs.gnu.org; Thu, 23 Nov 2023 10:07:57 -0500 Received: from gnutoo.cyberdimension.org (localhost [127.0.0.1]) by cyberdimension.org (OpenSMTPD) with ESMTP id 2da9cd03 for <67399@debbugs.gnu.org>; Thu, 23 Nov 2023 15:07:49 +0000 (UTC) Received: from primary_laptop (localhost [::1]) by gnutoo.cyberdimension.org (OpenSMTPD) with ESMTP id 0e9ee3be for <67399@debbugs.gnu.org>; Thu, 23 Nov 2023 15:07:49 +0000 (UTC) Date: Thu, 23 Nov 2023 16:07:24 +0100 From: Denis 'GNUtoo' Carikli To: 67399@debbugs.gnu.org Message-ID: <20231123160724.3fc4fbaa@primary_laptop> X-Mailer: Claws Mail 4.1.1 (GTK 3.24.37; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: multipart/signed; boundary="Sig_/iosBn19xmBEVGH+7OBg10/m"; protocol="application/pgp-signature"; micalg=pgp-sha256 X-Spam-Score: 2.0 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: Sorry, I ran the git send-email command of the manual in the wrong directory, so it sent the wrong patches. I'll then close this bug and reopen a new one as this will make the discussion easier. Content analysis details: (2.0 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_HELO_PASS SPF: HELO matches SPF record -0.0 SPF_PASS SPF: sender matches SPF record -0.0 T_SCC_BODY_TEXT_LINE No description available. 1.8 MISSING_SUBJECT Missing Subject: header 0.2 NO_SUBJECT Extra score for no subject X-Debbugs-Envelope-To: 67399 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 1.0 (+) --Sig_/iosBn19xmBEVGH+7OBg10/m Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable Sorry,=20 I ran the git send-email command of the manual in the wrong directory, so it sent the wrong patches. I'll then close this bug and reopen a new one as this will make the discussion easier. Denis. --Sig_/iosBn19xmBEVGH+7OBg10/m Content-Type: application/pgp-signature Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEeC+d2+Nrp/PU3kkGX138wUF34mMFAmVfaqwACgkQX138wUF3 4mPBzBAAhwMhyl0PW6aw4hKKP3J1gL+EOZWGuP5KUjCi6t+KS678mzvh4L3cuaEs nbpr/Ztj85aWDQOpG5+HUEbS0zuPd6hmPSTfrMah21q2ewTnqJJZEmj2P6ZbCIn8 rkwNfcY4NkOP63LyL4LWzHjY/FF5E8DTuegwfoRP+73XcTAemkueyP+fLniwWcHn yAZtYntGrltb/kmDX8KbVQHVZazVpklllLyzAUj0WMIqe33HdaxJcash+E0wexBz slalslMCmmVEcbUKfE8smbav5BSDSeevQb4jlWAIfcwJ5xcu0Z10pFI5QOjxp76Z eXu/0Wv5gXeX2zhZRhCHvbpcIgwX3zFV5sBYUAGs9Oxs4GXc3A5HidDsnf++bGg0 sF3JiGP7NevSqTf6S6nNLs/S764fWOal7+r/A9l7Qa3WM3HpEY6m+kw0dSULP7A/ fQ311nhlZQ8Ke6H35BZZYLWEn+Rsdo8FkQ8xB9/JyWiQXg53rVYCMNhQjA+zK0CL rba1jBSTkcbMvMO0h/FzhIqzDT0aeYCHkW5LpggrzWmHUNi/HoC50wCDH6cFSD2l afTNnCyheLsPxBRAT3xBE8k+qp63AjTje9hmrLa1KD0FdPqnlOTMS/fnS8ZLYiUl JdgSlVM2JAc4GFjB1Lx0g3qyt//NoMz03ntlF9wqGn8+SbmkeeU= =NkT7 -----END PGP SIGNATURE----- --Sig_/iosBn19xmBEVGH+7OBg10/m-- From debbugs-submit-bounces@debbugs.gnu.org Thu Nov 23 10:08:08 2023 Received: (at control) by debbugs.gnu.org; 23 Nov 2023 15:08:08 +0000 Received: from localhost ([127.0.0.1]:34609 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r6BJI-0007wl-Gl for submit@debbugs.gnu.org; Thu, 23 Nov 2023 10:08:08 -0500 Received: from cyberdimension.org ([80.67.179.20]:44318 helo=gnutoo.cyberdimension.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r6BJE-0007vo-Fu for control@debbugs.gnu.org; Thu, 23 Nov 2023 10:08:04 -0500 Received: from gnutoo.cyberdimension.org (localhost [127.0.0.1]) by cyberdimension.org (OpenSMTPD) with ESMTP id 19df437b for ; Thu, 23 Nov 2023 15:07:59 +0000 (UTC) Received: from primary_laptop (localhost [::1]) by gnutoo.cyberdimension.org (OpenSMTPD) with ESMTP id 87ce7d95 for ; Thu, 23 Nov 2023 15:07:58 +0000 (UTC) Date: Thu, 23 Nov 2023 16:07:35 +0100 From: Denis 'GNUtoo' Carikli To: control@debbugs.gnu.org (GNU bug tracker automated control server) Message-ID: <20231123160735.4f00aa04@primary_laptop> X-Mailer: Claws Mail 4.1.1 (GTK 3.24.37; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: multipart/signed; boundary="Sig_/_a=pr/wHV2dcxtgoFq6J7K/"; protocol="application/pgp-signature"; micalg=pgp-sha256 X-Spam-Score: 2.0 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: close 67399 Content analysis details: (2.0 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_HELO_PASS SPF: HELO matches SPF record -0.0 SPF_PASS SPF: sender matches SPF record -0.0 T_SCC_BODY_TEXT_LINE No description available. 0.0 TVD_SPACE_RATIO No description available. 1.8 MISSING_SUBJECT Missing Subject: header 0.2 NO_SUBJECT Extra score for no subject X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 1.0 (+) --Sig_/_a=pr/wHV2dcxtgoFq6J7K/ Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable close 67399 --Sig_/_a=pr/wHV2dcxtgoFq6J7K/ Content-Type: application/pgp-signature Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEeC+d2+Nrp/PU3kkGX138wUF34mMFAmVfarcACgkQX138wUF3 4mNhPw//VAwhpF1kH+DwEZze17eoFoiULxuTtPPvcdNoXbBE/8KIUGqrjEsXKOOy JIHqNF9k9EWK3TdJ9+xl/141TBZzWOvchv9s2oB0PQYlWT1g3Ss/FHm9asObUx98 s+5jO3FGKhrIgPdFQnjtV0yJZzYgN5J4B96xzH2zK8LPXC6PQGVcq7qOU3jxdSRg xt+dqyhHATytEfEln3Tq93dZfSUmViLLqYqmHOlouQfSetm3SwAaW5I0xPgFfhP0 ygoTsBBfeXWkIwdXjCewDUbcFcdKvP1dd2FCQVZg1zhiz+63cohAYsOvg+Hpo60z AT2z3jbtE32tZB2ar0mMwE/v4KZQ1UdyP8s109AijqmlOFBwXpYCnNnnnDuxFN1E 3Ttt/MtSS+DrIfJ2t6je+PJrstpiR4+ag5CiQoIhn755dSOryMkoLjeO7R9t6O4v 5C60mfqEjW31nW4bZBWkY//h1VGIDveg1TAuEqS60tDZL1wbdirkoXnaGldbqLQL xmMnolB0BdAwq+jAaT1pojZMFovDwGyHXXDmv07LzZuTVLytByIkFB1V5HtlDMgW ryRgASaS0C0bdU0Iy0pALx2sL4m88kRUNzsZWnVYT9uBIMOAfkQ8NIx/aPQap97r bAxIQor0RGZn4EmlKiPoxmDcALhpe+uENs7T0Gy4sH8IMZv1mAM= =ZfU2 -----END PGP SIGNATURE----- --Sig_/_a=pr/wHV2dcxtgoFq6J7K/-- From unknown Sat Jun 21 10:38:25 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Fri, 22 Dec 2023 12:24:14 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator