From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id MGALHgcyymXmGwEA62LTzQ:P1 (envelope-from ) for ; Mon, 12 Feb 2024 15:58:15 +0100 Received: from aspmx1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1.migadu.com with LMTPS id MGALHgcyymXmGwEA62LTzQ (envelope-from ) for ; Mon, 12 Feb 2024 15:58:15 +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=dc1kU4fh; 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=1707749895; 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=wFV+YPJ6QxPKHrYtY+0qQRwT8rUuPsZ+0cy3XD5fWH0=; b=mVGlCp0sksdMSrgZPpCkyxDt+TThXhOqOp42YVdl7L8bDKSb7+DemcrxvCH8VI2PX+gHmy M7nMnak79kS8JAoRjW7rRJXuKz1WRaZQomUDhhkalYQgR0HJfi+8uwrHXJIMHP+M+2wutl eKpHvuXLJRo11pnuvanH4ukKuPiZmL2k9rccjz1qlBJ6FnlIGkDm+YXKIIqF7ShgMCRIUb fF1XUu8dOWb8Lz47Qt7bhjP1OcqBIgS0Ry1ptK2//o2Njx8YfRUY5R+eStMyjAaDxwC4uk 5+aIZ1wPL0h7si2IAXUTr0YJJLSwe8N3SnGzsKB4B/jdrLMFMtaHnB6QeI+YpQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=soeren-tempel.net header.s=opensmtpd header.b=dc1kU4fh; 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=1707749895; a=rsa-sha256; cv=none; b=nD5NemBrDFYr/tiOBrtxmi9yUsZ2w1zMYtycN9jMURgzTDIXsqaOC3sCH9UtXcfpuuuvL9 d2PqPCrpYBZfMidsYw1FzcQCIa4z8/wohLg92xQ+FcoCSgFggHnhM5St2qbomRGmSzoHjc zQBE6ZZnCZO5qtnPztxMA3jgSUjY3kwobRjLDF7GGly71w9CQiX7VWGSuhVx9n2pUHQnFI Mlnuk7LCvJNS7Z6Hs//3SCIyB2ADPO0k6iHQw3Jq9ZFk9RfseltPr9j3lqOnDWfCrdTyLt eF2astDzdjwPJTsPIdkPv5G3t8AniI7aVkznPuTHc1tME9JDZczlbzrDFNzu3A== 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 36B8661363 for ; Mon, 12 Feb 2024 15:58:15 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rZXkj-0005zZ-9h; Mon, 12 Feb 2024 09:57:49 -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 1rZXkg-0005zP-QI for guix-patches@gnu.org; Mon, 12 Feb 2024 09:57:46 -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 1rZXkg-0003Lo-DZ; Mon, 12 Feb 2024 09:57:46 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rZXkw-0006gK-Ao; Mon, 12 Feb 2024 09:58:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#69074] [PATCH] Add python-angr. Resent-From: soeren@soeren-tempel.net Original-Sender: "Debbugs-submit" Resent-CC: lars@6xq.net, marius@gnu.org, me@bonfacemunyoki.com, sharlatanus@gmail.com, jgart@dismail.de, guix-patches@gnu.org Resent-Date: Mon, 12 Feb 2024 14:58:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 69074 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 69074@debbugs.gnu.org Cc: Lars-Dominik Braun , Marius Bakke , Munyoki Kilyungi , Sharlatan Hellseher , jgart X-Debbugs-Original-To: guix-patches@gnu.org X-Debbugs-Original-Xcc: Lars-Dominik Braun , Marius Bakke , Munyoki Kilyungi , Sharlatan Hellseher , jgart Received: via spool by submit@debbugs.gnu.org id=B.170774987725659 (code B ref -1); Mon, 12 Feb 2024 14:58:02 +0000 Received: (at submit) by debbugs.gnu.org; 12 Feb 2024 14:57:57 +0000 Received: from localhost ([127.0.0.1]:35238 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rZXkn-0006fZ-1E for submit@debbugs.gnu.org; Mon, 12 Feb 2024 09:57:56 -0500 Received: from lists.gnu.org ([2001:470:142::17]:49770) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rZXki-0006ep-90 for submit@debbugs.gnu.org; Mon, 12 Feb 2024 09:57:52 -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 1rZXkJ-0005xn-RZ for guix-patches@gnu.org; Mon, 12 Feb 2024 09:57:23 -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 1rZXkE-0003Jp-Rl; Mon, 12 Feb 2024 09:57:23 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=opensmtpd; bh=PhKBu8F/xF Vwh+mR6hyBdTiWQ3fbQUZLfaydJwhWU0c=; h=date:subject:to:from; d=soeren-tempel.net; b=dc1kU4fhXM0LFteBTQrtXPh+8Vjs55KO72XE191OFT/kLRX 5uQfxsfj5LA73BnZmH0Ce5tibDKON2AnQV1Br5bZt3ZV46WEmaA6WPpuUUkAj98WqKafkZ LjFL1AsFswGDbRvQIj2R/2LLSTq1s2m5PeQhsZssC7xH+TqL1ky19s= Received: from localhost (dynamic-2a02-3102-49da-001b-6371-147f-665b-ad6e.310.pool.telefonica.de [2a02:3102:49da:1b:6371:147f:665b:ad6e]) by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id a9534576 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); Mon, 12 Feb 2024 15:57:11 +0100 (CET) From: soeren@soeren-tempel.net Date: Mon, 12 Feb 2024 15:55:29 +0100 Message-ID: X-Mailer: git-send-email 2.43.1 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: -19 X-Spam_score: -2.0 X-Spam_bar: -- X-Spam_report: (-2.0 / 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, URIBL_SBL_A=0.1 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.33 X-Migadu-Queue-Id: 36B8661363 X-Spam-Score: 3.33 X-Migadu-Scanner: mx11.migadu.com X-TUID: oFMerNdM6f0/ From: Sören Tempel This patchset adds a package for angr . angr is a binary analysis framework that implements different binary analysis techniques, such as symbolic execution. Symbolic execution is an active area of computer science research. This package is part of an ongoing effort to package symbolic execution tools in Guix, thereby easing the creation of computational environments for reproducible research in this domain [1], [2], [3]. angr comes with an extensive test suite, which takes a while to run. However, I would argue that enabling this test suite is worthwhile as it allowed me to discover two upstream bugs in capstone and angr which I fixed and backported as port of the patchset [4], [5]. angr also requires unicorn 2.X hence I've included (and revised) an existing patch updating unicorn [6]. Feedback is more than welcome! [1]: https://issues.guix.gnu.org/68908 [2]: https://issues.guix.gnu.org/68296 [3]: https://github.com/nmeum/guix-symex [4]: https://github.com/angr/angr/pull/4443 [5]: https://github.com/capstone-engine/capstone/pull/2240 [6]: https://issues.guix.gnu.org/63442 Sören Tempel (13): gnu: Add python-itanium-demangle. gnu: Add python-keystone-engine. gnu: Add python-mulpyplexer. gnu: Add python-nampa. gnu: Add python-rpyc. gnu: Add python-pysmt. gnu: Add python-claripy. gnu: Add python-archinfo. gnu: Add python-pyvex. gnu: Add python-cle. gnu: Add python-ailment. gnu: capstone: Backport upstream fix for Python bindings. gnu: Add python-angr. c4droid (1): gnu: unicorn: Update to 2.0.1.post1. gnu/local.mk | 6 + gnu/packages/emulators.scm | 119 +----- gnu/packages/engineering.scm | 2 + .../python-angr-addition-type-error.patch | 18 + .../patches/python-angr-check-exec-deps.patch | 93 ++++ ...python-capstone-fix-python-constants.patch | 84 ++++ .../python-pysmt-fix-pow-return-type.patch | 258 +++++++++++ ...-pysmt-fix-smtlib-serialization-test.patch | 86 ++++ .../python-pyvex-remove-angr-dependency.patch | 80 ++++ gnu/packages/python-xyz.scm | 400 ++++++++++++++++++ 10 files changed, 1047 insertions(+), 99 deletions(-) create mode 100644 gnu/packages/patches/python-angr-addition-type-error.patch create mode 100644 gnu/packages/patches/python-angr-check-exec-deps.patch create mode 100644 gnu/packages/patches/python-capstone-fix-python-constants.patch create mode 100644 gnu/packages/patches/python-pysmt-fix-pow-return-type.patch create mode 100644 gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch create mode 100644 gnu/packages/patches/python-pyvex-remove-angr-dependency.patch base-commit: 179bb57d2532ee6b81791e078b0f782cbf88cb84