bug#69074: closed ([PATCH] Add python-angr.)

[GNU bug Tracking System]

Your message dated Sat, 13 Jul 2024 15:11:52 -0500
with message-id <877cdpdpbr.fsf@dismail.de>
and subject line Re: [PATCH] Add python-angr.
has caused the debbugs.gnu.org bug report #69074,
regarding [PATCH] Add python-angr.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
69074: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=69074
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] Add python-angr.
>
>
>
>
> Date: 
>
> Mon, 12 Feb 2024 15:55:29 +0100
>
>
>
>
> From: Sören Tempel <soeren@soeren-tempel.net>
>
> This patchset adds a package for angr <https://angr.io/>.  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
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [PATCH] Add python-angr.
>
>
>
>
> Date: 
>
> Sat, 13 Jul 2024 15:11:52 -0500
>
>
>
>
> Hi, applied!
>
> Thanks for the revisions and your contributions to Guix.
> -- 
> all the best,
> jgart
>
>
> --- End Message ---