[bug#69074] [PATCH] Add python-angr.

[soeren@soeren-tempel.net]

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