From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id mFysEy5WvmVWKwEA62LTzQ:P1 (envelope-from ) for ; Sat, 03 Feb 2024 16:05:18 +0100 Received: from aspmx1.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1.migadu.com with LMTPS id mFysEy5WvmVWKwEA62LTzQ (envelope-from ) for ; Sat, 03 Feb 2024 16:05:18 +0100 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=soeren-tempel.net header.s=opensmtpd header.b=etVrhevV; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=soeren-tempel.net (policy=none) ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1706972718; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=EMObxuJQCbsLci1Jdl6S+IO5D+Dm4nSLQnrM7wK8T8M=; b=cAqPBb4TfvddFaEVgDKxdyXSyKumPe5DH5LMrOjdOHJQDmcfcV6bi5ZBf7IUngtSybFkg8 C8kdiC88UtYlcrg1eo7dUtdRFVa0QSLZTpxZnIPhbV7jTklfzfrNLOkvzpyEUZjVmGUcoU WMueVH/Pwyzob/Sm7ocCQaABuMyXVviAKZurR8/pKFMDg9XbgvBEm4qNDXr0KOacBXtPdm i4oT+VIqXDqFXeYx2bLJbNC1n13kHkUw6YY1DG7hzhg9OCYHbykIVHl7zUbLyYjVpw3FMN VUw52sq8dTpjCCKwqDt2D8FzuQJx31UGFYYPs2oeIhrKmTKd8wpkE21LRZZNwQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=soeren-tempel.net header.s=opensmtpd header.b=etVrhevV; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=soeren-tempel.net (policy=none) ARC-Seal: i=1; s=key1; d=yhetil.org; t=1706972718; a=rsa-sha256; cv=none; b=GVKYFDpk6pnulVHy4LfTJGMg6/KlOyBE7tCmfmejTFzPcnwgOOJxXdxwsdS+MzVtHLqFxW muwHWB31UpZXRUZ9lDbMpdQoj4hGoQW5Wd5RjWF6Pk5gpX62Vh4seZ88DGYlZuaUyzCk19 e9yqI+1RMKdlLsC9+yuBPszTbUM/FKxNadjkHGWbZn1miQ4BHGsaED7APLSE8BlTBqvr5e ExfuEYPkiyEcZQb7hKghi9mJvONsyRmScakCVWRkd0TohDUqyKUT3wCaMi1hZQpqApH5o7 Xxbu/W1N92521c85e2ICmbolGUMx5+P4lyrxw+xck10yWf2uSLYCoQCbMnxJPw== Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id EC84650A0B for ; Sat, 3 Feb 2024 16:05:17 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rWHZh-0007sX-41; Sat, 03 Feb 2024 10:04:57 -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 1rWHZe-0007sP-07 for guix-patches@gnu.org; Sat, 03 Feb 2024 10:04:54 -0500 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rWHZc-0007nQ-Re for guix-patches@gnu.org; Sat, 03 Feb 2024 10:04:53 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rWHZm-00082V-As; Sat, 03 Feb 2024 10:05:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#68908] [PATCH] Add BINSEC. Resent-From: soeren@soeren-tempel.net Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Sat, 03 Feb 2024 15:05:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 68908 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68908@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-To: guix-patches@gnu.org X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by submit@debbugs.gnu.org id=B.170697267530866 (code B ref -1); Sat, 03 Feb 2024 15:05:02 +0000 Received: (at submit) by debbugs.gnu.org; 3 Feb 2024 15:04:35 +0000 Received: from localhost ([127.0.0.1]:46791 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWHZK-00081m-T1 for submit@debbugs.gnu.org; Sat, 03 Feb 2024 10:04:35 -0500 Received: from lists.gnu.org ([2001:470:142::17]:37136) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWHZI-00081X-4a for submit@debbugs.gnu.org; Sat, 03 Feb 2024 10:04:32 -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 1rWHZ1-0007kf-0X for guix-patches@gnu.org; Sat, 03 Feb 2024 10:04:15 -0500 Received: from magnesium.8pit.net ([45.76.88.171]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rWHYx-0007l8-Nz; Sat, 03 Feb 2024 10:04:14 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=opensmtpd; bh=MDlrt3zpgX 9zM+D5TlRfgKC2zjwksvxv3U6OIc+vADw=; h=date:subject:to:from; d=soeren-tempel.net; b=etVrhevVCgD8Smf2Vopx/koJO5Gxn06PMaRk8rjK4E6unrA /f1QdMImraHd1lHKZNRTQFrH4dzaUBXJyunNUO4f9ZtdqTNuTzmaKlkx5/fgcTNCwYEE69 u8ZfbIPsuZG3fuJU22ihZf36PQ//+jrledgAT3+Rgoom749x0Hb4QM= Received: from localhost (dynamic-2a02-3102-49da-001b-64f8-84b7-1d88-de2f.310.pool.telefonica.de [2a02:3102:49da:1b:64f8:84b7:1d88:de2f]) by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id 31af7619 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); Sat, 3 Feb 2024 16:04:05 +0100 (CET) From: soeren@soeren-tempel.net Date: Sat, 3 Feb 2024 16:03:19 +0100 Message-ID: X-Mailer: git-send-email 2.43.0 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=45.76.88.171; envelope-from=soeren@soeren-tempel.net; helo=magnesium.8pit.net X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Spam-Score: 3.34 X-Migadu-Scanner: mx13.migadu.com X-Spam-Score: 3.34 X-Migadu-Queue-Id: EC84650A0B X-TUID: apSjQVignzAB From: Sören Tempel This patchset adds a package for BINSEC . BINSEC is a popular tool for binary program analysis using symbolic execution. Symbolic execution is a technique for automated software testing and an active area of computer science research. This package for BINSEC is part of and ongoing effort to package symbolic execution tools in Guix, thereby easing the creation of computational environments for reproducible research in the symbolic execution domain. BINSEC requires 9 new OCaml packages, most of them originate in Dune. Sören Tempel (10): gnu: Add ocaml-iso8601 gnu: Add ocaml-toml. gnu: Add ocaml-pp. gnu: Add ocaml-grain-dypgen. gnu: Add ocaml-ordering. gnu: Add ocaml-dyn. gnu: Add ocaml-stdune. gnu: Add ocaml-dune-private-libs. gnu: Add ocaml-dune-site. gnu: Add binsec. gnu/packages/ocaml.scm | 213 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 213 insertions(+) base-commit: 179bb57d2532ee6b81791e078b0f782cbf88cb84