update java, ocaml and add sandsifter

LEPILLER JulienTue Oct 10 16:37:03+0200 2017

b46501f

update java, ocaml and add sandsifter

more/packages/binary.scm

502502 
    (description
503503 
      "Radare2 is a tool for reversing binaries.")
504504 
    (license license:gpl3+)))
505+
506+
(define-public sandsifter
507+
  (package
508+
    (name "sandsifter")
509+
    (version "0")
510+
    (source (origin
511+
              (method git-fetch)
512+
              (uri (git-reference
513+
                     (url "https://github.com/xoreaxeaxeax/sandsifter")
514+
                     (commit "dff63246fed84d90118441b8ba5b5d3bdd094427")))
515+
              (sha256
516+
               (base32
517+
                "1f4hfdhqmam8cz2hixv8zpwggqy17fmczsnc5k9gz87ff7bpqrnk"))))
518+
    (build-system gnu-build-system)
519+
    (arguments
520+
     `(#:make-flags (list "CC=gcc")
521+
       #:tests? #f
522+
       #:phases
523+
       (modify-phases %standard-phases
524+
         (delete 'configure)
525+
         (replace 'install
526+
           (lambda* (#:key inputs outputs #:allow-other-keys)
527+
             (let* ((out (assoc-ref outputs "out"))
528+
                    (bin (string-append out "/bin"))
529+
                    (lib (string-append out "/lib/python2.7/site-packages/sandsifter"))
530+
                    (pyutil (string-append lib "/pyutil"))
531+
                    (gui (string-append lib "/gui")))
532+
               ;(substitute* "summarize.py"
533+
               ;  (("pyutil.progress") "sandsifter.pyutil.progress")
534+
               ;  (("gui.gui") "sandsifter.gui.gui"))
535+
               (substitute* "sifter.py"
536+
                 (("./injector") (string-append lib "/injector")))
537+
               (mkdir-p bin)
538+
               (with-output-to-file (string-append bin "/sifter")
539+
                 (lambda _
540+
                   (format #t
541+
                     "#!~a~@
542+
                     PYTHONPATH=~a ~a/bin/python ~a/sifter.py $@"
543+
                     (which "sh")
544+
                     (string-append (assoc-ref inputs "py-capstone")
545+
                                    "/lib/python2.7/site-packages:"
546+
                                    (dirname lib))
547+
                     (assoc-ref inputs "python2") lib)))
548+
               (chmod (string-append bin "/sifter") #o755)
549+
               (with-output-to-file (string-append bin "/sifter-summarize")
550+
                 (lambda _
551+
                   (format #t
552+
                     "#!~a~@
553+
                     PYTHONPATH=~a ~a/bin/python ~a/summarize.py $@"
554+
                     (which "sh")
555+
                     (string-append (assoc-ref inputs "py-capstone")
556+
                                    "/lib/python2.7/site-packages:"
557+
                                    lib)
558+
                     (assoc-ref inputs "python2") lib)))
559+
               (chmod (string-append bin "/sifter-summarize") #o755)
560+
               (install-file "sifter.py" lib)
561+
               (install-file "summarize.py" lib)
562+
               (install-file "injector" lib)
563+
               (install-file "pyutil/__init__.py" pyutil)
564+
               (install-file "pyutil/colors.py" pyutil)
565+
               (install-file "pyutil/progress.py" pyutil)
566+
               (install-file "gui/__init__.py" gui)
567+
               (install-file "gui/gui.py" gui)))))))
568+
    (inputs
569+
     `(("capstone" ,capstone)
570+
       ("python2" ,python-2)
571+
       ("py-capstone" ,python2-capstone)))
572+
    (home-page "https://github.com/xoreaxeaxeax/sandsifter")
573+
    (synopsis "X86 processor fuzzer")
574+
    (description "The sandsifter audits x86 processors for hidden instructions
575+
and hardware bugs, by systematically generating machine code to search through
576+
a processor's instruction set, and monitoring execution for anomalies.
577+
Sandsifter has uncovered secret processor instructions from every major vendor;
578+
ubiquitous software bugs in disassemblers, assemblers, and emulators; flaws in
579+
enterprise hypervisors; and both benign and security-critical hardware bugs in
580+
x86 chips.")
581+
    ;; No license!
582+
    (license license:expat)))
more/packages/java.scm
650650 
                                  "archive/powermock-" version ".tar.gz"))
651651 
              (sha256
652652 
               (base32
653-
                "09rdklqm1c2zp45c8x9596g8r9m5ab8aalxh447kljcrzajz49ri"))
653+
                "12f9jazi7ilk5r1fz0m1hy1rhn3w476xsh35r670larpxm6gbc26"))
654654 
              (patches
655655 
                (search-patches "java-powermock-fix-java-files.patch"))))
656656 
    (build-system ant-build-system)
…
12531253 
                                  "_spec-1.0.0.Final.tar.gz"))
12541254 
              (sha256
12551255 
               (base32
1256-
                "15h3486rcqg46sfz99kilwidhgv085gyjx6fdpxa1c5j75s8qc3k"))))
1256+
                "0wv8x0jp9a5qxlrgkhb5jdk2gr6vi87b4j4kjb8ryxiy9gn8g51z"))))
12571257 
    (build-system ant-build-system)
12581258 
    (arguments
12591259 
     `(#:jar-name "java-jboss-interceptors-api_spec.jar"
…
14991499 
                                  "jackson-databind-" version ".tar.gz"))
15001500 
              (sha256
15011501 
               (base32
1502-
                "01a60dwy1q11xizvimphmhjfbk41rwar3rl1q3xcwlhic2vdw147"))))
1502+
                "0nxjmhbplclgl960ik8sa3ghq56x2qb4ymh3y6cqxynhzs89mzvl"))))
15031503 
    (build-system ant-build-system)
15041504 
    (arguments
15051505 
     `(#:jar-name "jackson-databind.jar"
…
15451545 
                                  "jackson-modules-base-" version ".tar.gz"))
15461546 
              (sha256
15471547 
               (base32
1548-
                "054f1rk3k7way7d2a67q2j81yi33n1q9l4rp14jb864y46zdaayy"))))
1548+
                "0gbv20nmg43swv8r7nszwxmq9gacwnysm70ymqlj6kp44big1dgs"))))
15491549 
    (build-system ant-build-system)
15501550 
    (arguments
15511551 
     `(#:jar-name "jackson-modules-base.jar"
…
16461646 
                                  "jackson-dataformat-xml-" version ".tar.gz"))
16471647 
              (sha256
16481648 
               (base32
1649-
                "1iv8brs68szk2d4fghji1bgg5g8fcc4y1yp363phiy794f40vxfc"))))
1649+
                "0c1n25xi68kg4n74r9hfnm1q5c7grkmcfl16kpb3bnh2xrjizdlp"))))
16501650 
    (build-system ant-build-system)
16511651 
    (arguments
16521652 
     `(#:jar-name "jackson-dataformat-xml.jar"
…
21652165 
                                  version ".REL.tar.gz"))
21662166 
              (sha256
21672167 
               (base32
2168-
                "158c9250v1q07hvj6v30lja4gq1s3y0v94j281rghz82lilwzb07"))))
2168+
                "09vgb6axikbz66zi9falijbnzh1qnp9ysfns123dmzdb01cbza9q"))))
21692169 
    (build-system ant-build-system)
21702170 
    (arguments
21712171 
     `(#:jar-name "java-bndlib.jar"
…
22712271 
                                  "archive/exam-reactor-" version ".tar.gz"))
22722272 
              (sha256
22732273 
               (base32
2274-
                "0vk87df6m4shhqwd0wmkjklhnnqy98cxbhns06wzvb8rfgcl6wp5"))))
2274+
                "08mzw8nkah3rj3vznlplnawspxhp61zgvb44ifqa1rni1cvbms2g"))))
22752275 
    (arguments
22762276 
     `(#:jar-name "java-ops4j-pax-exam-core.jar"
22772277 
       #:source-dir "core/pax-exam/src/main/java"
…
23752375 
                                  "jackson-dataformat-yaml-" version ".tar.gz"))
23762376 
              (sha256
23772377 
               (base32
2378-
                "1qsqkbm9myq2bgqp58b64i2791gcl9njvrgfsy0kdmfhsxy975a9"))))
2378+
                "1a4kgwf68abq2shq0wip7qzl5kdnadql4zashxx4bi0hw4z1pyg4"))))
23792379 
    (build-system ant-build-system)
23802380 
    (arguments
23812381 
     `(#:jar-name "jackson-dataformat-yaml.jar"
…
30513051 
(define-public java-apache-felix-utils
30523052 
  (package
30533053 
    (name "java-apache-felix-utils")
3054-
    (version "1.10.0")
3054+
    (version "1.10.2")
30553055 
    (source (origin
30563056 
              (method url-fetch)
30573057 
              (uri (string-append "http://apache.mindstudios.com/felix/"
…
30593059 
                                  "-source-release.tar.gz"))
30603060 
              (sha256
30613061 
               (base32
3062-
                "11hb1in1dzgwmi27iwksl45a7nibc8mi5175jhg94yq63svcjkrh"))))
3062+
                "0b2cvw7pfkslvlg0hfgqp3kl0qbzj5hq62mmx1m4iqwbi2h8103s"))))
30633063 
    (build-system ant-build-system)
30643064 
    (arguments
30653065 
     `(#:jar-name "felix-utils.jar"
…
44294429 
    (arguments
44304430 
     `(#:jar-name "jaxp.jar"
44314431 
       #:jdk ,icedtea-8
4432-
       #:source-dir "."
4432+
       #:source-dir ".."
44334433 
       #:tests? #f)); no tests
44344434 
    ;; TODO: Debian builds several jars out of this: jaxp-1.4.jar,
44354435 
    ;; xml-apis.jar and xml-apis-1.4.01.jar. Additionally it adds maven-repo
…
44404440 
    (description "xml-apis.jar from the Apache XML Commons project is used by
44414441 
the Xerces-J XML parser and Xalan-J XSLT processor and specifies these APIs:
44424442 
4443-
@begin{itemize}
4443+
@itemize
44444444 
@item Document Object Model (DOM) level 3
44454445 
@item Simple API for XML (SAX) 2.0.2
44464446 
@item Java APIs for XML Processing (JAXP) 1.3.04
44474447 
@item Transformation API for XML (TrAX) 1.3.04
44484448 
@item Document Object Model (DOM) Level 3 Load and Save
44494449 
@item JSR 206 Java API for XML Processing 1.3
4450-
@end{itemize}
4450+
@end itemize
44514451 
44524452 
These classes are also used in Sun's reference implementation. A GPL'ed
44534453 
implementation of these APIs can be found in the java-gnujaxp package. ")
…
44984498 
44994499 
Xerces2-J supports the following standards and APIs:
45004500 
4501-
 * eXtensible Markup Language (XML) 1.0 Second Edition Recommendation
4502-
 * Namespaces in XML Recommendation
4503-
 * Document Object Model (DOM) Level 2 Core, Events, and Traversal and
4504-
   Range Recommendations
4505-
 * Simple API for XML (SAX) 2.0.1 Core and Extension
4506-
 * Java APIs for XML Processing (JAXP) 1.2.01
4507-
 * XML Schema 1.0 Structures and Datatypes Recommendations
4508-
 * Experimental implementation of the Document Object Model (DOM) Level 3
4509-
   Core and Load/Save Working Drafts
4510-
 * Provides a partial implementation of the XML Inclusions (XInclude) W3C
4511-
   Candidate Recommendation
4501+
@itemize
4502+
@item eXtensible Markup Language (XML) 1.0 Second Edition Recommendation
4503+
@item Namespaces in XML Recommendation
4504+
@item Document Object Model (DOM) Level 2 Core, Events, and Traversal and
4505+
      Range Recommendations
4506+
@item Simple API for XML (SAX) 2.0.1 Core and Extension
4507+
@item Java APIs for XML Processing (JAXP) 1.2.01
4508+
@item XML Schema 1.0 Structures and Datatypes Recommendations
4509+
@item Experimental implementation of the Document Object Model (DOM) Level 3
4510+
      Core and Load/Save Working Drafts
4511+
@item Provides a partial implementation of the XML Inclusions (XInclude) W3C
4512+
      Candidate Recommendation
4513+
@end itemize
45124514 
45134515 
Xerces is now able to parse documents written according to the XML 1.1
45144516 
Candidate Recommendation, except that it does not yet provide an option to
…
60796081 
    (version "1.7.1")
60806082 
    (source (codehaus-plexus-origin
60816083 
             "plexus-containers" version
6082-
             "07l7wfi0kxnabd175yvbkilb26mndnba0a1g0ac1rpfagv3qpnzw"
6084+
             "0xw5g30qf4a83608rw9v2hv8pfsz7d69dkdhk6r0wia4q78hh1pc"
60836085 
             ""))
60846086 
    (build-system ant-build-system)
60856087 
    (arguments
…
63536355 
    (version "2.8.2")
63546356 
    (source (codehaus-plexus-origin
63556357 
             "plexus-compiler" version
6356-
             "13lxk1yg8fzv4ihby1jmfjda60dkxx4rg89k9i6glddd78q1xl4h"
6358+
             "0g3x26pymcdnfnwv2a1i57pd5s26f5zqfi1rdy98z1bn01klx25k"
63576359 
             ""))
63586360 
    (build-system ant-build-system)
63596361 
    (arguments
…
63946396 
    (version "1.9.1")
63956397 
    (source (codehaus-plexus-origin
63966398 
             "modello" version
6397-
             "1nqa1arvyc84i8wn3vk08k46vf8bpqqnf5a6szdj2lc3s1yamlv8"
6399+
             "0l2pvns8pmlrmjm3iknp7gpg3654y1m8qhy55b19sdwdchdcyxfh"
63986400 
             "")) ;; no prefix
63996401 
    (build-system ant-build-system)
64006402 
    (arguments
…
65646566 
                            "archive/" "7db8f88048" ".tar.gz"))
65656567 
        (sha256
65666568 
         (base32
6567-
          "1nvlwj2090nn7f0144pyamp3lfygahlcp09dx0faqgla57lr11hj"))
6569+
          "1smfrk4n7xbrsxpxcp2j4i0j8q86j73w0w6xg7qz83dp6dagdjgp"))
65686570 
        (file-name (string-append name "-" version ".tar.gz"))))
65696571 
    (arguments
65706572 
     `(#:jar-name "plexus-sec-dispatcher.jar"
…
66526654 
                                  "archive/releases/" version ".tar.gz"))
66536655 
              (sha256
66546656 
               (base32
6655-
                "1d2b378bc2l3k2ylcjvbh6dkydk0s2mfpw80hk6lx9zhizfifkn3"))))
6657+
                "11rg6yw5nl13i65xsp4jxxgr341qcnnaan48p767h28kb07s0ajn"))))
66566658 
    (build-system ant-build-system)
66576659 
    (arguments
66586660 
     `(#:jar-name "eclipse-sisu-inject.jar"
…
66876689 
                                  "archive/releases/" version ".tar.gz"))
66886690 
              (sha256
66896691 
               (base32
6690-
                "1qqk6lryblp70r464sn1rj86j3131zrazminp4zlphm510p3dpgz"))))
6692+
                "0lbj7nxy5j0z71k407zbb82icfqh7midrfk0fb3fa3jzdjz0d9d9"))))
66916693 
    (build-system ant-build-system)
66926694 
    (arguments
66936695 
     `(#:jar-name "eclipse-sisu-plexus.jar"
…
67266728 
                                  "archive/jetty-test-helper-" version ".tar.gz"))
67276729 
              (sha256
67286730 
               (base32
6729-
                "0gxq0g3rkplcpxrjl0xrlwqanxwn0aiblk2nma3z1w0gmy0a70g0"))))
6731+
                "1jd6r9wc26fa11si4rn2gvy8ml8q4zw1nr6v04mjp8wvwpgvzwx5"))))
67306732 
    (build-system ant-build-system)
67316733 
    (arguments
67326734 
     `(#:jar-name "eclipse-jetty-test-helper.jar"
…
68506852 
                                  "archive/jetty-" version ".v20170606.tar.gz"))
68516853 
              (sha256
68526854 
               (base32
6853-
                "14lwmxx4ydachrhrf46b17siqjq4npblh0brlfq0j0cpmxq23mmi"))))
6855+
                "1i51qlsd7h06d35kx5rqpzbfadbcszycx1iwr6vz7qc9gf9f29la"))))
68546856 
    (arguments
68556857 
     `(#:jar-name "eclipse-jetty-util.jar"
68566858 
       #:source-dir "src/main/java"
more/packages/ocaml.scm
679679 
     `(("c2newspeak" ,ocaml-c2newspeak)
680680 
       ("zarith" ,ocaml-zarith)
681681 
       ("menhir" ,ocaml-menhir)
682-
       ("ocamlgraph" ,ocamlgraph)
682+
       ("ocamlgraph" ,ocaml-graph)
683683 
       ("gmp" ,gmp)))
684684 
    (native-inputs
685685 
     `(("python" ,python-2)