(define-module (more packages binary)

  #:use-module (guix git-download)

  #:use-module (guix build-system python)

  #:use-module (gnu packages compression)

  #:use-module (gnu packages glib)

  #:use-module (gnu packages pkg-config)

  #:use-module (gnu packages python)

  #:use-module (more packages python)

  #:use-module (more packages smt))

(define-public python-pefile

  (package

    (name "python-pefile")

    (version "2016.3.28")

    (source

      (origin

        (method url-fetch)

        (uri (pypi-uri "pefile" version))

        (sha256

         (base32

          "0ysz17ci0nhc5gi6j9si0fg87lzc7vcz3ccbi6qgfgjwbc422h7j"))))

    (build-system python-build-system)

    (home-page "https://github.com/erocarrera/pefile")

    (synopsis "Parse and work with Portable Executable (aka PE) files")

    (description "Pefile is a multi-platform Python module to parse and work

with Portable Executable (aka PE) files.  Most of the information contained in

the PE headers is accessible as well as all sections' details and their data.

The structures defined in the Windows header files will be accessible as

attributes in the PE instance.  The naming of fields/attributes will try to

adhere to the naming scheme in those headers.  Only shortcuts added for

convenience will depart from that convention.")

    (license license:expat)))

(define-public python2-pefile

  (package-with-python2 python-pefile))

(define-public python-archinfo

  (package

    (name "python-archinfo")

    (version "6.7.1.13")

    (source (origin

              (method url-fetch)

              (uri (pypi-uri "archinfo" version))

              (sha256

               (base32

                "0x896mk98r6g9h3rxpqq9ri0s6v9n937jx0fzn7i61zn61n7whzw"))))

    (build-system python-build-system)

    (home-page "https://github.com/angr/archinfo")

    (synopsis "Collection of classes that contain architecture-specific information")

    (description "Archinfo is a collection of classes that contain

architecture-specific information.  It is useful for cross-architecture tools

(such as pyvex).")

    (license license:bsd-2)))

(define-public python2-archinfo

  (package-with-python2 python-archinfo))

(define-public angr-vex

  (package

    (name "angr-vex")

    (version "1")

    (source (origin

              (method git-fetch)

              (uri (git-reference

                    (url "https://github.com/angr/vex.git")

                    (commit "058410ede7ee74231255f6ae77cae8476c8a3ef4")))

              (sha256

               (base32

                "02wi1705pa0xbwfqx3jj6g7nnvzi8whgmnd29fp1i7n4qz20gcgb"))

              (file-name (string-append name "-" version))))

    (build-system gnu-build-system)

    (arguments

     `(#:make-flags

       (list "CC=gcc")

       #:tests? #f

       #:phases

       (modify-phases %standard-phases

         (delete 'configure)

         (replace 'install

           (lambda* (#:key outputs #:allow-other-keys)

             (let* ((out (assoc-ref outputs "out"))

                   (lib (string-append out "/lib"))

                   (include (string-append out "/include")))

               (mkdir-p lib)

               (mkdir-p include)

               (copy-recursively "pub" include)

               (copy-file "libvex.a" (string-append lib "/libvex.a"))))))))

    (home-page "https://github.com/angr/vex")

    (synopsis "Fork of libVEX for PyVEX")

    (description "This is a mirror of libVEX (of the Valgrind project:

valgrind.org) for use with PyVEX.")

    (license license:gpl2+)))

(define-public python2-pyvex

  (package

    (name "python2-pyvex")

    (version "6.7.1.13.post2")

    (source (origin

              (method url-fetch)

              (uri (pypi-uri "pyvex" version))

              (sha256

               (base32

                "1x9s88hgrw9xz8v9x9njjz0jq4fxkwyn479074bg4wbqjsp9n7qd"))))

    (build-system python-build-system)

    (inputs `(("angr-vex" ,angr-vex)))

    (propagated-inputs

     `(("archinfo" ,python2-archinfo)

       ("pycparser" ,python2-pycparser)

       ("cffi" ,python2-cffi)))

    (arguments

     `(#:python ,python-2

       #:phases

       (modify-phases %standard-phases

         (add-before 'build 'fix-setup.py

           (lambda* (#:key inputs #:allow-other-keys)

             (substitute* "setup.py"

               (("VEX_PATH = .*")

                (string-append "VEX_PATH = '" (assoc-ref inputs "angr-vex") "'"))

               ((".*self.execute\\(_build_vex.*")

                "")

               (("e\\['VEX_LIB_PATH'\\] = .*")

                "e['VEX_LIB_PATH'] = os.path.join(VEX_PATH, 'lib')\n")

               (("'pub'")

                "'include'")))))))

    (home-page "https://github.com/angr/pyvex")

    (synopsis "PyVEX exposes VEX into Python")

    (description "VEX is an intermediate representation that is useful to carry

analyses on binary.  PyVEX exposes VEX into Python.")

    (license license:bsd-2)))

(define-public unicorn

  (package

    (name "unicorn")

    (version "1.0-rc3")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/unicorn-engine/unicorn/archive/"

                                  version ".tar.gz"))

              (file-name (string-append name "-" version ".tar.gz"))

              (sha256

               (base32

                "18sf8vbmf08ss27qhiv7la492k39q0ci8kpjx836bv7rq3cbgb2q"))))

    (build-system gnu-build-system)

    (arguments

     `(#:phases

       (modify-phases %standard-phases

         (delete 'configure))

       #:tests? #f

       #:make-flags

       (list "CC=gcc"

             (string-append "PREFIX=" (assoc-ref %outputs "out")))))

    (native-inputs

     `(("python" ,python-2)

       ("pkg-config" ,pkg-config)))

    (home-page "http://www.unicorn-engine.org/")

    (synopsis "CPU emulator")

    (description "Unicorn is a lightweight multi-platform, multi-architecture

CPU emulator framework.")

    (license (list license:gpl2 license:lgpl2.0))))

;; Not reproducible

(define-public python-unicorn

  (package

    (inherit unicorn)

    (name "python-unicorn")

    (propagated-inputs

     `(("unicorn" ,unicorn)))

    (build-system python-build-system)

    (arguments

     `(#:tests? #f

       #:phases (modify-phases %standard-phases

                  (add-after 'unpack 'chdir-and-fix-setup-py

                    (lambda _

                      (chdir "bindings/python")

                      (substitute* "setup.py" (("build_libraries\\(\\)\n") "\n"))

                      (substitute* "unicorn/unicorn.py"

                        (("'',")

                         (string-append "'"

                                        (assoc-ref %build-inputs "unicorn")

                                        "/lib',")))

                      #t)))))))

(define-public python2-unicorn

  (package

    (inherit (package-with-python2 python-unicorn))

    (propagated-inputs

     `(("unicorn" ,unicorn)

       ("pyvex" ,python2-pyvex)))))

;; TODO: Requires dpkt-fix for testing

(define-public python2-simuvex

  (package

    (name "python2-simuvex")

    (version "6.7.1.31")

    (source (origin

              (method url-fetch)

              (uri (pypi-uri "simuvex" version))

              (sha256

               (base32

                "150jwf55pib7ndz7bjb4fxifqqgdxx7n1f5qa87mz6349qvi1xji"))))

    (build-system python-build-system)

    (native-inputs

     `(("pkg-config" ,pkg-config)))

    (propagated-inputs

     `(("pyvex" ,python2-pyvex)

       ("bintrees" ,python2-bintrees)

       ("dpkt" ,python2-dpkt)

       ("cooldict" ,python2-cooldict)

       ("cachetools" ,python2-cachetools)

       ("claripy" ,python2-claripy)

       ("unicorn" ,python2-unicorn)

       ("glib" ,glib)))

    (inputs

     `(("zlib" ,zlib)))

    (arguments

     `(#:python ,python-2))

    (home-page "https://github.com/angr/cle")

    (synopsis "Abstraction of process memory")

    (description "CLE loads binaries and their associated libraries, resolves

imports and provides an abstraction of process memory the same way as if it was

loaded by the OS's loader.")

    (license license:bsd-2)))

(define-public python-cle

  (package

    (name "python-cle")

    (version "6.7.1.31")

    (source (origin

              (method url-fetch)

              (uri (pypi-uri "cle" version))

              (sha256

               (base32

                "0llk54f9p3b73f1pk19axlhw8yw80fdv07jkghqmqwd6xrnpnmmc"))))

    (build-system python-build-system)

    (propagated-inputs

     `(("pyelftools" ,python-pyelftools)

       ("cffi" ,python-cffi)

       ("archinfo" ,python-archinfo)

       ("pefile" ,python-pefile)))

    (home-page "https://github.com/angr/cle")

    (synopsis "Abstraction of process memory")

    (description "CLE loads binaries and their associated libraries, resolves

imports and provides an abstraction of process memory the same way as if it was

loaded by the OS's loader.")

    (license license:bsd-2)))

(define-public python2-cle

  (package

    (inherit (package-with-python2 python-cle))

    (propagated-inputs

     `(("pyelftools" ,python2-pyelftools)

       ("cffi" ,python2-cffi)

       ("pefile" ,python2-pefile)

       ("pyvex" ,python2-pyvex)))))

(define-public python2-angr

  (package

    (name "python2-angr")

    (version "6.7.1.31")

    (source (origin

              (method url-fetch)

              (uri (pypi-uri "angr" version))

              (sha256

               (base32

                "19msllsjwc869824sx1qah6vnb03z22s71fph215ykbbb2843p1k"))))

    (build-system python-build-system)

    (arguments

     `(#:python ,python-2))

    (propagated-inputs

     `(("cle" ,python2-cle)

       ("six" ,python2-six)

       ("utils" ,python2-utils)

       ("mulpyplexer" ,python2-mulpyplexer)

       ("rpyc" ,python2-rpyc)

       ("networkx" ,python2-networkx)

       ("futures" ,python2-futures)

       ("progressbar" ,python2-progressbar2)

       ("simuvex" ,python2-simuvex)))

    (home-page "https://github.com/angr/angr")

    (synopsis "Angr is a python framework for analyzing binaries")

    (description "angr is a python framework for analyzing binaries.  It

focuses on both static and dynamic symbolic (\"concolic\") analysis, making it

applicable to a variety of tasks.")

    (license license:bsd-2)))

;;; GNU Guix --- Functional package management for GNU

;;; Copyright ?? 2017 Julien Lepiller <julien@lepiller.eu>

;;;

;;; This file is part of GNU Guix.

;;;

;;; GNU Guix is free software; you can redistribute it and/or modify it

;;; under the terms of the GNU General Public License as published by

;;; the Free Software Foundation; either version 3 of the License, or (at

;;; your option) any later version.

;;;

;;; GNU Guix is distributed in the hope that it will be useful, but

;;; WITHOUT ANY WARRANTY; without even the implied warranty of

;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

;;; GNU General Public License for more details.

;;;

;;; You should have received a copy of the GNU General Public License

;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.

(define-module (more packages python)

  #:use-module ((guix licenses) #:prefix license:)

  #:use-module (gnu packages)

  #:use-module (gnu packages python)

  #:use-module (guix packages)

  #:use-module (guix download)

  #:use-module (guix git-download)

  #:use-module (guix utils)

  #:use-module (guix build-system gnu)

  #:use-module (guix build-system cmake)

  #:use-module (guix build-system python)

  #:use-module (guix build-system trivial)

  #:use-module (srfi srfi-1))

(define-public python-setuptools-scm

  (package

    (name "python-setuptools-scm")

    (version "1.15.0")

    (source (origin

              (method url-fetch)

              (uri (pypi-uri "setuptools_scm" version))

              (sha256

               (base32

                "0bwyc5markib0i7i2qlyhdzxhiywzxbkfiapldma8m91m82jvwfs"))))

    (build-system python-build-system)

    (home-page "https://github.com/pypa/setuptools_scm/")

    (synopsis "Manage Python package versions in SCM metadata")

    (description

     "Setuptools_scm handles managing your Python package versions in

@dfn{software configuration management} (SCM) metadata instead of declaring

them as the version argument or in a SCM managed file.")

    (license license:expat)))

(define-public python2-setuptools-scm

  (package-with-python2 python-setuptools-scm))

(define-public python-pytest-runner

  (package

    (name "python-pytest-runner")

    (version "2.11")

    (source

     (origin

       (method url-fetch)

       (uri (pypi-uri "pytest-runner" version))

       (sha256

        (base32

         "08rizp3zz8fdm2a5j97rcq3hddbhq5f6k0vr35amjj83zqpawk5x"))))

    (build-system python-build-system)

    (arguments

     `(#:phases

       (modify-phases %standard-phases

         ;; The fancy way of setting the version with setuptools_scm does not

         ;; seem to work here.

         (add-after 'unpack 'set-version

          (lambda _

            (substitute* "docs/conf.py"

              (("version = setuptools_scm\\.get_version\\(root='\\.\\.')")

               (string-append "version = \"" ,version "\"")))

            #t)))))

    (native-inputs

     `(("python-pytest" ,python-pytest)

       ("python-setuptools-scm" ,python-setuptools-scm)))

    (home-page "https://github.com/pytest-dev/pytest-runner")

    (synopsis "Invoke py.test as a distutils command")

    (description

     "This package provides a @command{pytest-runner} command that

@file{setup.py} files can use to run tests.")

    (license license:expat)))

(define-public python2-pytest-runner

  (package-with-python2 python-pytest-runner))

(define-public python-utils

  (package

    (name "python-utils")

    (version "2.0.1")

    (source (origin

              (method url-fetch)

              (uri (pypi-uri "python-utils" version))

              (sha256

               (base32

                "1zvrc1rc06n89pycg969pcy30bff4sqzhff365sxh629ybnl8pwq"))))

    (build-system python-build-system)

    (native-inputs

     `(("pytest-runner" ,python-pytest-runner)))

    (home-page "https://github.com/WoLpH/python-utils")

    (synopsis "Convenient utilities not included with the standard Python install")

    (description

      "Python Utils is a collection of small Python functions and classes which

make common patterns shorter and easier.")

    (license license:bsd-2)))

(define-public python2-utils

  (package-with-python2 python-utils))

(define-public python-cooldict

  (package

    (name "python-cooldict")

    (version "1.02")

    (source (origin

              (method url-fetch)

              (uri (pypi-uri "cooldict" version))

              (sha256

               (base32

                "084if0s504576nph0f6glmg3mmvijq7nbnf65hh22gwwdwrjss83"))))

    (build-system python-build-system)

    (home-page "https://github.com/zardus/cooldict")

    (synopsis "Some useful dict-like structures")

    (description "Some useful dict-like structures.")

    (license license:bsd-2)))

(define-public python2-cooldict

  (package-with-python2 python-cooldict))

(define-public python-cachetools

  (package

    (name "python-cachetools")

    (version "2.0.0")

    (source (origin

              (method url-fetch)

              (uri (pypi-uri "cachetools" version))

              (sha256

               (base32

                "0a56ydsvsri1r19ny55g0x7jsgjl9n02vnxbhfz0vhhd4h174nki"))))

    (build-system python-build-system)

    (home-page "https://github.com/tkem/cachetools")

    (synopsis "Memoizing collections and decorators including lru_cache")

    (description "This module provides various memoizing collections and

decorators, including variants of the Python 3 Standard Library @code{lru_cache}

function decorator.")

    (license license:expat)))

(define-public python2-cachetools

  (package-with-python2 python-cachetools))

(define-public python-bintrees

  (package

    (name "python-bintrees")

    (version "2.0.4")

    (source (origin

              (method url-fetch)

              (uri (pypi-uri "bintrees" version))

              (sha256

               (base32

                "1q71md58i33qpjhwgi9ph9hpgch1dy2i6n4qljyl0x410rhikfvc"))))

    (build-system python-build-system)

    (home-page "https://github.com/mozman/bintrees")

    (synopsis "Provides Binary- RedBlack- and AVL-Trees written in Python and Cython/C")

    (description "This package provides Binary- RedBlack- and AVL-Trees written

in Python and Cython/C.

This Classes are much slower than the built-in dict class, but all

iterators/generators yielding data in sorted key order. Trees can be uses as

drop in replacement for dicts in most cases.")

    (license license:expat)))

(define-public python2-bintrees

  (package-with-python2 python-bintrees))

(define-public python2-dpkt

  (package

    (name "python2-dpkt")

    (version "1.8.8")

    (source (origin

              (method url-fetch)

              (uri (pypi-uri "dpkt" version))

              (sha256

               (base32

                "004qsqzg3fwkh623l1y8j62ai166hr02y192s7n1hs166kjjb5fr"))

            (modules '((guix build utils)))

            (snippet

             '(substitute* "setup.py"

                (("os.system\\('py2dsc-deb ' + sdist_file\\)") "")))))

    (build-system python-build-system)

    (arguments

     `(#:python ,python-2))

    (home-page "https://github.com/kbandla/dpkt")

    (synopsis "Fast, simple network packet creation / parsing")

    (description "Fast, simple packet creation / parsing, with definitions for

the basic TCP/IP protocols.")

    (license license:bsd-3)))

(define-public python-rpyc

  (package

    (name "python-rpyc")

    (version "3.3.0")

    (source (origin

              (method url-fetch)

              (uri (pypi-uri "rpyc" version))

              (sha256

               (base32

                "0jwbxxf5f8l05pwh7ilg380y4pqv3nxibaszbwpl9gzh2i9q9yj3"))))

    (build-system python-build-system)

    (home-page "https://github.com/tomerfiliba/rpyc")

    (synopsis "Remote procedure call for Python")

    (description "Remote Python Call is a transparent library for symmetrical

remote procedure calls, clustering, and distributed-computing.  RPyC makes use

of object-proxying, a technique that employs python's dynamic nature, to

overcome the physical boundaries between processes and computers, so that

remote objects can be manipulated as if they were local.")

    (license license:expat)))

(define-public python2-rpyc

  (package-with-python2 python-rpyc))

(define-public python-progressbar2

  (package

    (name "python-progressbar2")

    (version "3.12.0")

    (source (origin

              (method url-fetch)

              (uri (pypi-uri "progressbar2" version))

              (sha256

               (base32

                "16r21cpjvv0spf4mymgpy7hx6977iy11k44n2w9kipwg4lhwh02k"))))

    (build-system python-build-system)

    (native-inputs

     `(("pytest-runner" ,python-pytest-runner)))

    (home-page "https://github.com/WoLpH/python-progressbar")

    (synopsis "A text progress bar for python")

    (description "A text progress bar is typically used to display the progress

of a long running operation, providing a visual cue that processing is underway.

The ProgressBar class manages the current progress, and the format of the line

is given by a number of widgets.  A widget is an object that may display

differently depending on the state of the progress bar.")

    (license license:bsd-2)))

(define-public python2-progressbar2

  (package-with-python2 python-progressbar2))

(define-public python-mulpyplexer

  (package

    (name "python-mulpyplexer")

    (version "0.07")

    (source (origin

              (method url-fetch)

              (uri (pypi-uri "mulpyplexer" version))

              (sha256

               (base32

                "1j5gm913adc8f0mn9y6a9wm9h78jb7ykr8i00yysfcy6ah2ilp9v"))))

    (build-system python-build-system)

    (home-page "https://github.com/zardus/mulpyplexer")

    (synopsis "Multiplex interactions with lists of python objects")

    (description "Mulpyplexer is a piece of code that can multiplex interactions with lists of python objects.")

    (license license:bsd-2)))

(define-public python2-mulpyplexer

  (package-with-python2 python-mulpyplexer))

;; Not reproducible.

(define-public python-ana

  (package

    (name "python-ana")

    (version "0")

    (source (origin

              (method git-fetch)

              (uri (git-reference

                    (url "https://github.com/zardus/ana.git")

                    (commit "94928f773661eaa5a6c2dec40dad199c70daedab")))

              (sha256

               (base32

                "0f2wdhs0xwpnk9lznxl96b2yzcz1641wbqrh1aid7q2pm60v6dhv"))

              (file-name (string-append name "-" version))))

    (build-system python-build-system)

    (home-page "https://github.com/zardus/ana")

    (synopsis "Provide easy distributed data storage for python objects")

    (description "ANA is a project to provide easy distributed data storage for

stuff.  It provides every object with a UUID and, when pickled, will first

serialize the object's state to a central location and then \"pickle\" the

object into just its UUID.  This is really handy when you have to distribute

objects in some distributed system, and you'd rather not pickle the whole

object every time you need to send it.")

    (license license:bsd-2)))

;; Not reproducible.

(define-public python2-ana

  (package-with-python2 python-ana))

(define-module (more packages smt)

;; Not reproducible and tests fail.

(define-public python-z3-solver

  (package

    (inherit z3-solver)

    (name "python-z3-solver")

    (build-system python-build-system)

    (propagated-inputs

     `(("z3" ,z3-solver)))

    (arguments

     `(#:phases

       (modify-phases %standard-phases

         (add-before 'build 'prepare

           (lambda* (#:key inputs #:allow-other-keys)

             (system* "python" "scripts/mk_make.py")

             (copy-file "build/python/z3/z3core.py" "src/api/python/z3/z3core.py")

             (copy-file "build/python/z3/z3consts.py" "src/api/python/z3/z3consts.py")

             (chdir "src/api/python")

             (substitute* "z3/z3core.py"

               (("_dirs = \\[")

                (string-append "_dirs = ['" (assoc-ref inputs "z3")

                                            "/lib', ")))

             (substitute* "MANIFEST.in"

               ((".*") ""))

             (substitute* "setup.py"

               (("self.execute\\(.*") "\n")

               (("scripts=.*") "\n")))))))))

(define-public python2-z3-solver

  (package-with-python2 python-z3-solver))

(define-public python-claripy

  (package

    (name "python-claripy")

    (version "6.7.1.13.post2")

    (source (origin

              (method url-fetch)

              (uri (pypi-uri "claripy" version))

              (sha256

               (base32

                "0qcp6c7shyl4hs14yhnymcanr87i8hbp6af35avzphjq7jw33rrc"))))

    (build-system python-build-system)

    (propagated-inputs

     `(("ana" ,python-ana)))

    (home-page "https://github.com/angr/claripy")

    (synopsis "Claripy is a abstracted constraint-solving wrapper")

    (description "Claripy is a abstracted constraint-solving wrapper.")

    (license license:bsd-2)))

(define-public python2-claripy

  (package-with-python2 python-claripy))