Update claripy and add capstone to angr input

Julien LepillerThu Feb 23 09:14:09+0100 2017

12643a4

Update claripy and add capstone to angr input

README.md

1919 
2020 
* _capstone_: A disassembler framework with a lot of supported architectures
2121 
* _z3_: A constraint solver
22-
* _angr_: A binary analysis tool, not yet complete
22>
230>
\ No newline at end of file
22+
* _angr_: A binary analysis tool
more/packages/binary.scm
369369 
     `(#:python ,python-2))
370370 
    (propagated-inputs
371371 
     `(("cle" ,python2-cle)
372+
       ("capstone" ,python2-capstone)
372373 
       ("six" ,python2-six)
373374 
       ("utils" ,python2-utils)
374375 
       ("mulpyplexer" ,python2-mulpyplexer)
more/packages/smt.scm
2323 
  #:use-module (guix build-system python)
2424 
  #:use-module ((guix licenses) #:prefix license:)
2525 
  #:use-module (gnu packages)
26-
  #:use-module (gnu packages python))
26+
  #:use-module (gnu packages python)
27+
  #:use-module (more packages python))
2728 
2829 
(define-public z3-solver
2930 
  (package
…
8990 
(define-public python-claripy
9091 
  (package
9192 
    (name "python-claripy")
92-
    (version "6.7.1.13.post2")
93+
    (version "6.7.1.31")
9394 
    (source (origin
9495 
              (method url-fetch)
9596 
              (uri (pypi-uri "claripy" version))
9697 
              (sha256
9798 
               (base32
98-
                "0qcp6c7shyl4hs14yhnymcanr87i8hbp6af35avzphjq7jw33rrc"))))
99+
                "0jpnqggx40kfj9cc48aylxsaqy61isl2yb3agib8nqh9v4j1rwqa"))))
99100 
    (build-system python-build-system)
100101 
    (propagated-inputs
101-
     `(("ana" ,python-ana)))
102+
     `(("ana" ,python-ana)
103+
       ("z3" ,python-z3-solver)))
102104 
    (home-page "https://github.com/angr/claripy")
103105 
    (synopsis "Claripy is a abstracted constraint-solving wrapper")
104106 
    (description "Claripy is a abstracted constraint-solving wrapper.")