2014-11-26 20:22:00 +01:00
|
|
|
;;; GNU Guix --- Functional package management for GNU
|
2017-08-09 04:46:19 +02:00
|
|
|
;;; Copyright © 2014, 2015, 2016, 2017 Eric Bavier <bavier@member.fsf.org>
|
2018-01-16 21:16:45 +01:00
|
|
|
;;; Copyright © 2016, 2017, 2018 Efraim Flashner <efraim@flashner.co.il>
|
2018-03-07 13:27:48 +01:00
|
|
|
;;; Copyright © 2018 Tobias Geerinckx-Rice <me@tobias.gr>
|
2018-04-26 08:14:50 +02:00
|
|
|
;;; Copyright © 2018 Rutger Helling <rhelling@mykolab.com>
|
2019-02-17 11:09:52 +01:00
|
|
|
;;; Copyright © 2019 Pkill -9 <pkill9@runbox.com>
|
2014-11-26 20:22:00 +01:00
|
|
|
;;;
|
|
|
|
;;; 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 (gnu packages debug)
|
|
|
|
#:use-module (guix packages)
|
|
|
|
#:use-module (guix licenses)
|
|
|
|
#:use-module (guix download)
|
2016-08-02 18:49:24 +02:00
|
|
|
#:use-module (guix git-download)
|
2014-12-07 22:21:52 +01:00
|
|
|
#:use-module (guix utils)
|
2014-11-26 20:22:00 +01:00
|
|
|
#:use-module (guix build-system gnu)
|
2016-08-02 18:49:24 +02:00
|
|
|
#:use-module (gnu packages autotools)
|
|
|
|
#:use-module (gnu packages base)
|
2014-12-07 22:21:52 +01:00
|
|
|
#:use-module (gnu packages bash)
|
|
|
|
#:use-module (gnu packages flex)
|
2019-02-17 11:09:52 +01:00
|
|
|
#:use-module (gnu packages glib)
|
2016-08-02 18:49:24 +02:00
|
|
|
#:use-module (gnu packages golang)
|
2018-05-23 13:57:23 +02:00
|
|
|
#:use-module (gnu packages code)
|
2014-12-07 22:21:52 +01:00
|
|
|
#:use-module (gnu packages llvm)
|
|
|
|
#:use-module (gnu packages perl)
|
2015-08-16 13:07:28 +02:00
|
|
|
#:use-module (gnu packages pretty-print)
|
2019-02-17 11:09:52 +01:00
|
|
|
#:use-module (gnu packages readline)
|
2017-07-12 14:35:57 +02:00
|
|
|
#:use-module (gnu packages virtualization)
|
2015-08-16 13:07:28 +02:00
|
|
|
#:use-module (ice-9 match)
|
|
|
|
#:use-module (srfi srfi-1))
|
2014-11-26 20:22:00 +01:00
|
|
|
|
|
|
|
(define-public delta
|
|
|
|
(package
|
|
|
|
(name "delta")
|
|
|
|
(version "2006.08.03")
|
|
|
|
(source
|
|
|
|
(origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri (list
|
|
|
|
(string-append "http://ftp.de.debian.org/debian/pool/main/d/delta/"
|
|
|
|
"delta_" version ".orig.tar.gz")
|
|
|
|
;; This uri seems to send guix download into an infinite loop
|
|
|
|
(string-append "http://delta.tigris.org/files/documents/3103/"
|
|
|
|
"33566/delta-" version ".tar.gz")))
|
|
|
|
(sha256
|
|
|
|
(base32
|
|
|
|
"184wh35pf2ddx97319s6sgkzpz48xxkbwzcjpycv009bm53lh61q"))))
|
|
|
|
(build-system gnu-build-system)
|
|
|
|
(inputs ;Installed programs are perl scripts
|
|
|
|
`(("perl" ,perl)))
|
|
|
|
(arguments
|
|
|
|
`(#:phases
|
gnu: Use 'modify-phases' syntax.
* gnu/packages/admin.scm (mingetty, clusterssh, wpa-supplicant-minimal,
wpa-supplicant, wakelan, acpica, tree, direvent, dstat)[arguments]: Use
'modify-phases' syntax.
* gnu/packages/algebra.scm (arb)[arguments]: Likewise.
* gnu/packages/apr.scm (apr-util)[arguments]: Likewise.
* gnu/packages/audio.scm (clalsadrv, fluidsynth, faad2, lv2-mda-piano,
lv2-mda-epiano, timidity++, vamp, soundtouch, portaudio, rsound,
zita-convolver, zita-alsa-pcmi)[arguments]: Likewise.
* gnu/packages/backup.scm (rdup, btar)[arguments]: Likewise.
* gnu/packages/bioinformatics.scm (bedops, bwa, crossmap, express,
flexbar, grit, hisat, ngs-sdk, subread)[arguments]: Likewise.
* gnu/packages/bittorrent.scm (transmission)[arguments]: Likewise.
* gnu/packages/cdrom.scm (cd-discid)[arguments]: Likewise.
* gnu/packages/compression.scm (sharutils)[arguments]: Likewise.
* gnu/packages/conky.scm (conky)[arguments]: Likewise.
* gnu/packages/databases.scm (bdb, bdb-5.3)[arguments]: Likewise.
* gnu/packages/debug.scm (delta, c-reduce)[arguments]: Likewise.
* gnu/packages/display-managers.scm (slim)[arguments]: Likewise.
* gnu/packages/dns.scm (dnsmasq)[arguments]: Likewise.
* gnu/packages/emacs.scm (geiser, emacs-wget, bbdb)[arguments]: Likewise.
* gnu/packages/engineering.scm (pcb)[arguments]: Likewise.
* gnu/packages/firmware.scm (ath9k-htc-firmware)[arguments]: Likewise.
* gnu/packages/flashing-tools.scm (flashrom)[arguments]: Likewise.
* gnu/packages/fltk.scm (fltk)[arguments]: Likewise.
* gnu/packages/freedesktop.scm (python-pyxdg)[arguments]: Likewise.
* gnu/packages/gd.scm (perl-gd)[arguments]: Likewise.
* gnu/packages/gkrellm.scm (gkrellm)[arguments]: Likewise.
* gnu/packages/glib.scm (glibmm)[arguments]: Likewise.
* gnu/packages/gl.scm (glew)[arguments]: Likewise.
* gnu/packages/gnome.scm (icon-naming-utils, orbit2, libbonobo, gnome-vfs,
libgnome, libbonoboui, goffice-0.8, dconf)[arguments]: Likewise.
* gnu/packages/gprolog.scm (gprolog)[arguments]: Likewise.
* gnu/packages/gps.scm (gpscorrelate)[arguments]: Likewise.
* gnu/packages/graphics.scm (agg)[arguments]: Likewise.
* gnu/packages/gtk.scm (ganv, girara, gtksourceview-2, guile-present,
python2-pycairo)[arguments]: Likewise.
* gnu/packages/guile.scm (guile-1.8)[arguments]: Likewise.
* gnu/packages/guile-wm.scm (guile-wm)[arguments]: Likewise.
* gnu/packages/hugs.scm (hugs)[arguments]: Likewise.
* gnu/packages/hurd.scm (gnumach-headers, hurd-headers, hurd-minimal)
[arguments]: Likewise.
* gnu/packages/image-viewers.scm (feh, sxiv)[arguments]: Likewise.
* gnu/packages/libcanberra.scm (libcanberra)[arguments]: Likewise.
* gnu/packages/linux.scm (bridge-utils, iw, fuse, unionfs-fuse/static,
lm-sensors, i2c-tools, xsensors, perf, mdadm, libaio, module-init-tools)
[arguments]: Likewise.
* gnu/packages/lisp.scm (ccl)[arguments]: Likewise.
* gnu/packages/lout.scm (lout)[arguments]: Likewise.
* gnu/packages/lua.scm (luajit)[arguments]: Likewise.
* gnu/packages/machine-learning.scm (shogun)[arguments]: Likewise.
* gnu/packages/mail.scm (exim)[arguments]: Likewise.
* gnu/packages/man.scm (man-pages, txt2man)[arguments]: Likewise.
* gnu/packages/maths.scm (lapack, superlu-dist, openlibm, openspecfun)
[arguments]: Likewise.
* gnu/packages/messaging.scm (bitlbee)[arguments]: Likewise.
* gnu/packages/mp3.scm (libmad, id3lib, mp3info)[arguments]: Likewise.
* gnu/packages/music.scm (solfege)[arguments]: Likewise.
* gnu/packages/noweb.scm (noweb)[arguments]: Likewise.
* gnu/packages/patchutils.scm (patchutils, quilt, colordiff)[arguments]:
Likewise.
* gnu/packages/pdf.scm (xpdf, zathura-cb, zathura-ps, zathura-djvu,
zathura-pdf-poppler, zathura, podofo, fbida)[arguments]: Likewise.
* gnu/packages/perl.scm (perl-file-list, perl-test-harness)[arguments]:
Likewise.
* gnu/packages/photo.scm (gphoto2)[arguments]: Likewise.
* gnu/packages/popt.scm (popt)[arguments]: Likewise.
* gnu/packages/pretty-print.scm (source-highlight, astyle)[arguments]:
Likewise.
* gnu/packages/pumpio.scm (pumpa)[arguments]: Likewise.
* gnu/packages/python.scm (python-passlib, python-pycrypto, python2-empy,
python-sqlalchemy, python-docopt)[arguments]: Likewise.
* gnu/packages/rdf.scm (lrdf)[arguments]: Likewise.
* gnu/packages/regex.scm (tre)[arguments]: Likewise.
* gnu/packages/rrdtool.scm (rrdtool)[arguments]: Likewise.
* gnu/packages/ruby.scm (ruby-2.1, ruby-1.8)[arguments]: Likewise.
* gnu/packages/sawfish.scm (sawfish)[arguments]: Likewise.
* gnu/packages/scheme.scm (racket)[arguments]: Likewise.
* gnu/packages/sdl.scm (guile-sdl)[arguments]: Likewise.
* gnu/packages/serveez.scm (serveez)[arguments]: Likewise.
* gnu/packages/skribilo.scm (skribilo)[arguments]: Likewise.
* gnu/packages/smalltalk.scm (smalltalk)[arguments]: Likewise.
* gnu/packages/suckless.scm (dmenu, slock)[arguments]: Likewise.
* gnu/packages/tcl.scm (expect)[arguments]: Likewise.
* gnu/packages/telephony.scm (commoncpp)[arguments]: Likewise.
* gnu/packages/textutils.scm (recode, libgtextutils)[arguments]:
Likewise.
* gnu/packages/time.scm (time)[arguments]: Likewise.
* gnu/packages/tor.scm (privoxy)[arguments]: Likewise.
* gnu/packages/uucp.scm (uucp)[arguments]: Likewise.
* gnu/packages/video.scm (libdvdnav-4)[arguments]: Likewise.
* gnu/packages/web-browsers.scm (lynx)[arguments]: Likewise.
* gnu/packages/web.scm (tinyproxy)[arguments]: Likewise.
* gnu/packages/wicd.scm (wicd)[arguments]: Likewise.
* gnu/packages/wm.scm (bspwm)[arguments]: Likewise.
* gnu/packages/xdisorg.scm (sxhkd, xcape)[arguments]: Likewise.
* gnu/packages/xfce.scm (xfconf)[arguments]: Likewise.
* gnu/packages/xfig.scm (transfig)[arguments]: Likewise.
* gnu/packages/xorg.scm (imake)[arguments]: Likewise.
2017-07-29 17:28:42 +02:00
|
|
|
(modify-phases %standard-phases
|
|
|
|
(replace 'install
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
;; Makefile contains no install target
|
|
|
|
(let* ((out (assoc-ref outputs "out"))
|
|
|
|
(bin (string-append out "/bin"))
|
|
|
|
(doc (string-append out "/share/doc/delta-" ,version)))
|
|
|
|
(begin
|
|
|
|
(for-each (lambda (h)
|
|
|
|
(install-file h doc))
|
|
|
|
`("License.txt" ,@(find-files "www" ".*\\.html")))
|
|
|
|
(for-each (lambda (b)
|
|
|
|
(install-file b bin))
|
|
|
|
`("delta" "multidelta" "topformflat"))))
|
|
|
|
#t))
|
2018-03-02 02:43:54 +01:00
|
|
|
(delete 'configure)))) ; no configure script
|
2014-11-26 20:22:00 +01:00
|
|
|
(home-page "http://delta.tigris.org/")
|
|
|
|
(synopsis "Heuristical file minimizer")
|
|
|
|
(description
|
|
|
|
"Delta assists you in minimizing \"interesting\" files subject to a test
|
|
|
|
of their interestingness. A common such situation is when attempting to
|
|
|
|
isolate a small failure-inducing substring of a large input that causes your
|
|
|
|
program to exhibit a bug.")
|
|
|
|
;; See License.txt, which is a bsd-3 license, despite the project's
|
|
|
|
;; home-page pointing to a bsd-2 license.
|
|
|
|
(license bsd-3)))
|
2014-12-07 22:21:52 +01:00
|
|
|
|
2018-03-07 13:27:48 +01:00
|
|
|
;; Newer versions depend on LLVM and Clang >= 4, which have yet to be packaged.
|
2014-12-07 22:21:52 +01:00
|
|
|
(define-public c-reduce
|
|
|
|
(package
|
|
|
|
(name "c-reduce")
|
2018-03-07 13:27:48 +01:00
|
|
|
(version "2.6.0")
|
2014-12-07 22:21:52 +01:00
|
|
|
(source
|
|
|
|
(origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri (list
|
2016-07-20 10:35:32 +02:00
|
|
|
(string-append "http://embed.cs.utah.edu/creduce/"
|
2014-12-07 22:21:52 +01:00
|
|
|
"creduce-" version ".tar.gz")))
|
|
|
|
(sha256
|
|
|
|
(base32
|
2018-03-07 13:27:48 +01:00
|
|
|
"0pf5q0n8vkdcr1wrkxn2jzxv0xkrir13bwmqfw3jpbm3dh2c3b6d"))))
|
2014-12-07 22:21:52 +01:00
|
|
|
(build-system gnu-build-system)
|
|
|
|
(inputs
|
|
|
|
`(("astyle" ,astyle)
|
2018-03-07 13:27:48 +01:00
|
|
|
("llvm" ,llvm-3.9.1)
|
|
|
|
("clang" ,clang-3.9.1)
|
2014-12-07 22:21:52 +01:00
|
|
|
("flex" ,flex)
|
|
|
|
("indent" ,indent)
|
|
|
|
("perl" ,perl)
|
|
|
|
("exporter-lite" ,perl-exporter-lite)
|
|
|
|
("file-which" ,perl-file-which)
|
|
|
|
("getopt-tabular" ,perl-getopt-tabular)
|
|
|
|
("regex-common" ,perl-regexp-common)
|
2016-08-30 00:21:08 +02:00
|
|
|
("sys-cpu" ,perl-sys-cpu)
|
|
|
|
("term-readkey" ,perl-term-readkey)))
|
2014-12-07 22:21:52 +01:00
|
|
|
(arguments
|
gnu: Use 'modify-phases' syntax.
* gnu/packages/admin.scm (mingetty, clusterssh, wpa-supplicant-minimal,
wpa-supplicant, wakelan, acpica, tree, direvent, dstat)[arguments]: Use
'modify-phases' syntax.
* gnu/packages/algebra.scm (arb)[arguments]: Likewise.
* gnu/packages/apr.scm (apr-util)[arguments]: Likewise.
* gnu/packages/audio.scm (clalsadrv, fluidsynth, faad2, lv2-mda-piano,
lv2-mda-epiano, timidity++, vamp, soundtouch, portaudio, rsound,
zita-convolver, zita-alsa-pcmi)[arguments]: Likewise.
* gnu/packages/backup.scm (rdup, btar)[arguments]: Likewise.
* gnu/packages/bioinformatics.scm (bedops, bwa, crossmap, express,
flexbar, grit, hisat, ngs-sdk, subread)[arguments]: Likewise.
* gnu/packages/bittorrent.scm (transmission)[arguments]: Likewise.
* gnu/packages/cdrom.scm (cd-discid)[arguments]: Likewise.
* gnu/packages/compression.scm (sharutils)[arguments]: Likewise.
* gnu/packages/conky.scm (conky)[arguments]: Likewise.
* gnu/packages/databases.scm (bdb, bdb-5.3)[arguments]: Likewise.
* gnu/packages/debug.scm (delta, c-reduce)[arguments]: Likewise.
* gnu/packages/display-managers.scm (slim)[arguments]: Likewise.
* gnu/packages/dns.scm (dnsmasq)[arguments]: Likewise.
* gnu/packages/emacs.scm (geiser, emacs-wget, bbdb)[arguments]: Likewise.
* gnu/packages/engineering.scm (pcb)[arguments]: Likewise.
* gnu/packages/firmware.scm (ath9k-htc-firmware)[arguments]: Likewise.
* gnu/packages/flashing-tools.scm (flashrom)[arguments]: Likewise.
* gnu/packages/fltk.scm (fltk)[arguments]: Likewise.
* gnu/packages/freedesktop.scm (python-pyxdg)[arguments]: Likewise.
* gnu/packages/gd.scm (perl-gd)[arguments]: Likewise.
* gnu/packages/gkrellm.scm (gkrellm)[arguments]: Likewise.
* gnu/packages/glib.scm (glibmm)[arguments]: Likewise.
* gnu/packages/gl.scm (glew)[arguments]: Likewise.
* gnu/packages/gnome.scm (icon-naming-utils, orbit2, libbonobo, gnome-vfs,
libgnome, libbonoboui, goffice-0.8, dconf)[arguments]: Likewise.
* gnu/packages/gprolog.scm (gprolog)[arguments]: Likewise.
* gnu/packages/gps.scm (gpscorrelate)[arguments]: Likewise.
* gnu/packages/graphics.scm (agg)[arguments]: Likewise.
* gnu/packages/gtk.scm (ganv, girara, gtksourceview-2, guile-present,
python2-pycairo)[arguments]: Likewise.
* gnu/packages/guile.scm (guile-1.8)[arguments]: Likewise.
* gnu/packages/guile-wm.scm (guile-wm)[arguments]: Likewise.
* gnu/packages/hugs.scm (hugs)[arguments]: Likewise.
* gnu/packages/hurd.scm (gnumach-headers, hurd-headers, hurd-minimal)
[arguments]: Likewise.
* gnu/packages/image-viewers.scm (feh, sxiv)[arguments]: Likewise.
* gnu/packages/libcanberra.scm (libcanberra)[arguments]: Likewise.
* gnu/packages/linux.scm (bridge-utils, iw, fuse, unionfs-fuse/static,
lm-sensors, i2c-tools, xsensors, perf, mdadm, libaio, module-init-tools)
[arguments]: Likewise.
* gnu/packages/lisp.scm (ccl)[arguments]: Likewise.
* gnu/packages/lout.scm (lout)[arguments]: Likewise.
* gnu/packages/lua.scm (luajit)[arguments]: Likewise.
* gnu/packages/machine-learning.scm (shogun)[arguments]: Likewise.
* gnu/packages/mail.scm (exim)[arguments]: Likewise.
* gnu/packages/man.scm (man-pages, txt2man)[arguments]: Likewise.
* gnu/packages/maths.scm (lapack, superlu-dist, openlibm, openspecfun)
[arguments]: Likewise.
* gnu/packages/messaging.scm (bitlbee)[arguments]: Likewise.
* gnu/packages/mp3.scm (libmad, id3lib, mp3info)[arguments]: Likewise.
* gnu/packages/music.scm (solfege)[arguments]: Likewise.
* gnu/packages/noweb.scm (noweb)[arguments]: Likewise.
* gnu/packages/patchutils.scm (patchutils, quilt, colordiff)[arguments]:
Likewise.
* gnu/packages/pdf.scm (xpdf, zathura-cb, zathura-ps, zathura-djvu,
zathura-pdf-poppler, zathura, podofo, fbida)[arguments]: Likewise.
* gnu/packages/perl.scm (perl-file-list, perl-test-harness)[arguments]:
Likewise.
* gnu/packages/photo.scm (gphoto2)[arguments]: Likewise.
* gnu/packages/popt.scm (popt)[arguments]: Likewise.
* gnu/packages/pretty-print.scm (source-highlight, astyle)[arguments]:
Likewise.
* gnu/packages/pumpio.scm (pumpa)[arguments]: Likewise.
* gnu/packages/python.scm (python-passlib, python-pycrypto, python2-empy,
python-sqlalchemy, python-docopt)[arguments]: Likewise.
* gnu/packages/rdf.scm (lrdf)[arguments]: Likewise.
* gnu/packages/regex.scm (tre)[arguments]: Likewise.
* gnu/packages/rrdtool.scm (rrdtool)[arguments]: Likewise.
* gnu/packages/ruby.scm (ruby-2.1, ruby-1.8)[arguments]: Likewise.
* gnu/packages/sawfish.scm (sawfish)[arguments]: Likewise.
* gnu/packages/scheme.scm (racket)[arguments]: Likewise.
* gnu/packages/sdl.scm (guile-sdl)[arguments]: Likewise.
* gnu/packages/serveez.scm (serveez)[arguments]: Likewise.
* gnu/packages/skribilo.scm (skribilo)[arguments]: Likewise.
* gnu/packages/smalltalk.scm (smalltalk)[arguments]: Likewise.
* gnu/packages/suckless.scm (dmenu, slock)[arguments]: Likewise.
* gnu/packages/tcl.scm (expect)[arguments]: Likewise.
* gnu/packages/telephony.scm (commoncpp)[arguments]: Likewise.
* gnu/packages/textutils.scm (recode, libgtextutils)[arguments]:
Likewise.
* gnu/packages/time.scm (time)[arguments]: Likewise.
* gnu/packages/tor.scm (privoxy)[arguments]: Likewise.
* gnu/packages/uucp.scm (uucp)[arguments]: Likewise.
* gnu/packages/video.scm (libdvdnav-4)[arguments]: Likewise.
* gnu/packages/web-browsers.scm (lynx)[arguments]: Likewise.
* gnu/packages/web.scm (tinyproxy)[arguments]: Likewise.
* gnu/packages/wicd.scm (wicd)[arguments]: Likewise.
* gnu/packages/wm.scm (bspwm)[arguments]: Likewise.
* gnu/packages/xdisorg.scm (sxhkd, xcape)[arguments]: Likewise.
* gnu/packages/xfce.scm (xfconf)[arguments]: Likewise.
* gnu/packages/xfig.scm (transfig)[arguments]: Likewise.
* gnu/packages/xorg.scm (imake)[arguments]: Likewise.
2017-07-29 17:28:42 +02:00
|
|
|
`(#:phases
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
(add-after 'install 'set-load-paths
|
|
|
|
(lambda* (#:key inputs outputs #:allow-other-keys)
|
|
|
|
;; Tell creduce where to find the perl modules it needs.
|
|
|
|
(let* ((out (assoc-ref outputs "out"))
|
|
|
|
(prog (string-append out "/bin/creduce")))
|
|
|
|
(wrap-program
|
|
|
|
prog
|
|
|
|
`("PERL5LIB" ":" prefix
|
|
|
|
,(map (lambda (p)
|
|
|
|
(string-append (assoc-ref inputs p)
|
|
|
|
"/lib/perl5/site_perl/"
|
|
|
|
,(package-version perl)))
|
|
|
|
'("term-readkey" "exporter-lite"
|
|
|
|
"file-which" "getopt-tabular"
|
|
|
|
"regex-common" "sys-cpu")))))
|
|
|
|
#t)))))
|
2018-03-07 13:28:32 +01:00
|
|
|
(home-page "https://embed.cs.utah.edu/creduce")
|
2014-12-07 22:21:52 +01:00
|
|
|
(synopsis "Reducer for interesting code")
|
|
|
|
(description
|
|
|
|
"C-Reduce is a tool that takes a large C or C++ program that has a
|
|
|
|
property of interest (such as triggering a compiler bug) and automatically
|
|
|
|
produces a much smaller C/C++ program that has the same property. It is
|
|
|
|
intended for use by people who discover and report bugs in compilers and other
|
|
|
|
tools that process C/C++ code.")
|
|
|
|
(license ncsa)))
|
2015-08-16 13:07:28 +02:00
|
|
|
|
|
|
|
(define-public american-fuzzy-lop
|
|
|
|
(let ((machine (match (or (%current-target-system)
|
|
|
|
(%current-system))
|
|
|
|
("x86_64-linux" "x86_64")
|
|
|
|
("i686-linux" "i386")
|
2017-08-17 13:10:56 +02:00
|
|
|
("aarch64-linux" "aarch64")
|
|
|
|
("armhf-linux" "arm")
|
|
|
|
("mips64el-linux" "mips64el")
|
2015-08-16 13:07:28 +02:00
|
|
|
;; Prevent errors when querying this package on unsupported
|
|
|
|
;; platforms, e.g. when running "guix package --search="
|
|
|
|
(_ "UNSUPPORTED"))))
|
|
|
|
(package
|
|
|
|
(name "american-fuzzy-lop")
|
2018-01-16 21:16:45 +01:00
|
|
|
(version "2.52b") ;It seems all releases have the 'b' suffix
|
2015-08-16 13:07:28 +02:00
|
|
|
(source
|
|
|
|
(origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri (string-append "http://lcamtuf.coredump.cx/afl/releases/"
|
|
|
|
"afl-" version ".tgz"))
|
|
|
|
(sha256
|
|
|
|
(base32
|
2018-01-16 21:16:45 +01:00
|
|
|
"0ig0ij4n1pwry5dw1hk4q88801jzzy2cric6y2gd6560j55lnqa3"))))
|
2015-08-16 13:07:28 +02:00
|
|
|
(build-system gnu-build-system)
|
|
|
|
(inputs
|
|
|
|
`(("custom-qemu"
|
2018-01-16 21:16:45 +01:00
|
|
|
;; The afl-qemu tool builds qemu 2.10.0 with a few patches applied.
|
2018-04-26 08:14:50 +02:00
|
|
|
,(package (inherit qemu-minimal-2.10)
|
2015-08-16 13:07:28 +02:00
|
|
|
(name "afl-qemu")
|
|
|
|
(inputs
|
|
|
|
`(("afl-src" ,source)
|
2018-01-16 21:16:45 +01:00
|
|
|
,@(package-inputs qemu-minimal)))
|
2015-08-16 13:07:28 +02:00
|
|
|
;; afl only supports using a single afl-qemu-trace executable, so
|
|
|
|
;; we only build qemu for the native target.
|
|
|
|
(arguments
|
2016-01-22 06:19:32 +01:00
|
|
|
`(#:modules ((srfi srfi-1)
|
2015-08-16 13:07:28 +02:00
|
|
|
,@%gnu-build-system-modules)
|
2018-01-16 21:16:45 +01:00
|
|
|
,@(substitute-keyword-arguments (package-arguments qemu-minimal)
|
2016-01-22 06:19:32 +01:00
|
|
|
((#:configure-flags config-flags)
|
|
|
|
``(,(string-append "--target-list=" ,machine "-linux-user")
|
|
|
|
,@(remove (λ (f) (string-prefix? "--target-list=" f))
|
|
|
|
,config-flags)))
|
2015-08-16 13:07:28 +02:00
|
|
|
((#:phases qemu-phases)
|
|
|
|
`(modify-phases ,qemu-phases
|
|
|
|
(add-after
|
|
|
|
'unpack 'apply-afl-patches
|
|
|
|
(lambda* (#:key inputs #:allow-other-keys)
|
|
|
|
(let* ((afl-dir (string-append "afl-" ,version))
|
|
|
|
(patch-dir
|
|
|
|
(string-append afl-dir
|
|
|
|
"/qemu_mode/patches")))
|
2019-01-26 22:32:44 +01:00
|
|
|
(invoke "tar" "xf"
|
|
|
|
(assoc-ref inputs "afl-src"))
|
2017-03-13 16:19:06 +01:00
|
|
|
(install-file (string-append patch-dir
|
|
|
|
"/afl-qemu-cpu-inl.h")
|
|
|
|
".")
|
2015-08-16 13:07:28 +02:00
|
|
|
(copy-file (string-append afl-dir "/config.h")
|
|
|
|
"./afl-config.h")
|
2017-03-13 16:19:06 +01:00
|
|
|
(install-file (string-append afl-dir "/types.h")
|
|
|
|
".")
|
2015-08-16 13:07:28 +02:00
|
|
|
(substitute* "afl-qemu-cpu-inl.h"
|
|
|
|
(("\\.\\./\\.\\./config.h") "afl-config.h"))
|
|
|
|
(substitute* (string-append patch-dir
|
|
|
|
"/cpu-exec.diff")
|
|
|
|
(("\\.\\./patches/") ""))
|
2019-01-26 22:32:44 +01:00
|
|
|
(for-each (lambda (patch-file)
|
|
|
|
(invoke "patch" "--force" "-p1"
|
|
|
|
"--input" patch-file))
|
|
|
|
(find-files patch-dir
|
|
|
|
"\\.diff$"))
|
|
|
|
#t))))))))))))
|
2015-08-16 13:07:28 +02:00
|
|
|
(arguments
|
|
|
|
`(#:make-flags (list (string-append "PREFIX=" (assoc-ref %outputs "out"))
|
|
|
|
"CC=gcc")
|
|
|
|
#:phases (modify-phases %standard-phases
|
|
|
|
(delete 'configure)
|
2017-08-17 13:10:56 +02:00
|
|
|
,@(if (string=? (%current-system) (or "x86_64-linux"
|
|
|
|
"i686-linux"))
|
|
|
|
'()
|
|
|
|
'((add-before 'build 'set-afl-flag
|
|
|
|
(lambda _ (setenv "AFL_NO_X86" "1") #t))
|
|
|
|
(add-after 'install 'remove-x86-programs
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
(let* ((out (assoc-ref outputs "out"))
|
|
|
|
(bin (string-append out "/bin/")))
|
|
|
|
(delete-file (string-append bin "afl-gcc"))
|
|
|
|
(delete-file (string-append bin "afl-g++"))
|
|
|
|
(delete-file (string-append bin "afl-clang"))
|
|
|
|
(delete-file (string-append bin "afl-clang++")))
|
|
|
|
#t))))
|
2015-08-16 13:07:28 +02:00
|
|
|
(add-after
|
|
|
|
;; TODO: Build and install the afl-llvm tool.
|
|
|
|
'install 'install-qemu
|
|
|
|
(lambda* (#:key inputs outputs #:allow-other-keys)
|
|
|
|
(let ((qemu (assoc-ref inputs "custom-qemu"))
|
|
|
|
(out (assoc-ref outputs "out")))
|
2016-01-22 06:52:59 +01:00
|
|
|
(symlink (string-append qemu "/bin/qemu-" ,machine)
|
|
|
|
(string-append out "/bin/afl-qemu-trace"))
|
2015-08-16 13:07:28 +02:00
|
|
|
#t)))
|
2017-08-17 13:10:56 +02:00
|
|
|
(delete 'check)))) ; Tests are run during 'install phase.
|
2015-08-16 13:07:28 +02:00
|
|
|
(home-page "http://lcamtuf.coredump.cx/afl")
|
|
|
|
(synopsis "Security-oriented fuzzer")
|
|
|
|
(description
|
|
|
|
"American fuzzy lop is a security-oriented fuzzer that employs a novel
|
|
|
|
type of compile-time instrumentation and genetic algorithms to automatically
|
|
|
|
discover clean, interesting test cases that trigger new internal states in the
|
|
|
|
targeted binary. This substantially improves the functional coverage for the
|
|
|
|
fuzzed code. The compact synthesized corpora produced by the tool are also
|
|
|
|
useful for seeding other, more labor- or resource-intensive testing regimes
|
|
|
|
down the road.")
|
|
|
|
(license asl2.0))))
|
2016-08-02 18:49:24 +02:00
|
|
|
|
|
|
|
(define-public stress-make
|
|
|
|
(let ((commit "506e6cfd98d165f22bee91c408b7c20117a682c4")
|
|
|
|
(revision "0")) ;No official source distribution
|
|
|
|
(package
|
|
|
|
(name "stress-make")
|
|
|
|
(version (string-append "1.0-" revision "." (string-take commit 7)))
|
|
|
|
(source
|
|
|
|
(origin
|
|
|
|
(method git-fetch)
|
|
|
|
(uri (git-reference
|
|
|
|
(url "https://github.com/losalamos/stress-make.git")
|
|
|
|
(commit commit)))
|
|
|
|
(file-name (string-append name "-" version "-checkout"))
|
|
|
|
(sha256
|
|
|
|
(base32
|
|
|
|
"1j330yqhc7plwin04qxbh8afpg5nfnw1xvnmh8rk6mmqg9w6ik70"))))
|
|
|
|
(build-system gnu-build-system)
|
|
|
|
(native-inputs
|
|
|
|
`(("autoconf" ,autoconf)
|
|
|
|
("automake" ,automake)
|
|
|
|
("go" ,go)))
|
|
|
|
(inputs
|
|
|
|
`(("make-source" ,(package-source gnu-make))))
|
|
|
|
(arguments
|
|
|
|
;; stress-make's configure script insists on having a tarball and does
|
|
|
|
;; not accept a directory name instead. To let the gnu-build-system's
|
|
|
|
;; patch-* phases work properly, we unpack the source first, then
|
|
|
|
;; repack before the configure phase.
|
2017-08-09 04:46:19 +02:00
|
|
|
(let ((make-dir (string-append "make-" (package-version gnu-make))))
|
2019-01-18 07:30:28 +01:00
|
|
|
`(#:configure-flags '("--with-make-tar=./make.tar.xz"
|
|
|
|
"make_cv_sys_gnu_glob=yes")
|
2017-08-09 04:46:19 +02:00
|
|
|
#:phases
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
(add-after 'unpack 'unpack-make
|
|
|
|
(lambda* (#:key inputs #:allow-other-keys)
|
2019-01-26 22:34:04 +01:00
|
|
|
(invoke "tar" "xf" (assoc-ref inputs "make-source"))))
|
2017-08-09 04:46:19 +02:00
|
|
|
(add-after 'unpack-make 'set-default-shell
|
|
|
|
(lambda _
|
|
|
|
;; Taken mostly directly from (@ (gnu packages base) gnu-make)
|
|
|
|
(substitute* (string-append ,make-dir "/job.c")
|
|
|
|
(("default_shell = .*$")
|
|
|
|
(format #f "default_shell = \"~a\";\n"
|
|
|
|
(which "sh"))))))
|
|
|
|
(add-before 'configure 'repack-make
|
|
|
|
(lambda _
|
2019-01-26 22:34:04 +01:00
|
|
|
(invoke "tar" "cJf" "./make.tar.xz" ,make-dir)))))))
|
2016-08-02 18:49:24 +02:00
|
|
|
(home-page "https://github.com/losalamos/stress-make")
|
|
|
|
(synopsis "Expose race conditions in Makefiles")
|
|
|
|
(description
|
2017-03-14 22:09:06 +01:00
|
|
|
"Stress Make is a customized GNU Make that explicitely manages the order
|
|
|
|
in which concurrent jobs are run to provoke erroneous behavior into becoming
|
|
|
|
manifest. It can run jobs in the order in which they're launched, in backwards
|
|
|
|
order, or in random order. The thought is that if code builds correctly with
|
|
|
|
Stress Make, then it is likely that the @code{Makefile} contains no race
|
|
|
|
conditions.")
|
2016-08-02 18:49:24 +02:00
|
|
|
;; stress-make wrapper is under BSD-3-modifications-must-be-indicated,
|
|
|
|
;; and patched GNU Make is under its own license.
|
|
|
|
(license (list (non-copyleft "COPYING.md")
|
|
|
|
(package-license gnu-make))))))
|
2016-11-29 21:29:38 +01:00
|
|
|
|
|
|
|
(define-public zzuf
|
|
|
|
(package
|
|
|
|
(name "zzuf")
|
|
|
|
(version "0.15")
|
|
|
|
(source
|
|
|
|
(origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri (string-append
|
|
|
|
"https://github.com/samhocevar/zzuf/releases/download/v"
|
|
|
|
version "/" name "-" version ".tar.gz"))
|
|
|
|
(file-name (string-append name "-" version ".tar.gz"))
|
|
|
|
(sha256
|
|
|
|
(base32
|
|
|
|
"1mpzjaksc2qg2hzqflf39pl06p53qam2dn3hkhkcv6p00d2n4kx3"))))
|
|
|
|
(build-system gnu-build-system)
|
|
|
|
(home-page "https://github.com/samhocevar/zzuf")
|
|
|
|
(synopsis "Transparent application input fuzzer")
|
|
|
|
(description "Zzuf is a transparent application input fuzzer. It works by
|
|
|
|
intercepting file operations and changing random bits in the program's
|
|
|
|
input. Zzuf's behaviour is deterministic, making it easy to reproduce bugs.")
|
|
|
|
(license (non-copyleft "http://www.wtfpl.net/txt/copying/"))))
|
2019-02-17 11:09:52 +01:00
|
|
|
|
|
|
|
(define-public scanmem
|
|
|
|
(package
|
|
|
|
(name "scanmem")
|
|
|
|
(version "0.17")
|
|
|
|
(source
|
|
|
|
(origin
|
|
|
|
(method git-fetch)
|
|
|
|
(uri (git-reference
|
|
|
|
(url "https://github.com/scanmem/scanmem")
|
|
|
|
(commit (string-append "v" version))))
|
|
|
|
(file-name (git-file-name name version))
|
|
|
|
(sha256
|
|
|
|
(base32
|
|
|
|
"17p8sh0rj8yqz36ria5bp48c8523zzw3y9g8sbm2jwq7sc27i7s9"))))
|
|
|
|
(build-system gnu-build-system)
|
|
|
|
(native-inputs
|
|
|
|
`(("libtool" ,libtool)
|
|
|
|
("intltool" ,intltool)
|
|
|
|
("automake" ,automake)
|
|
|
|
("autoconf" ,autoconf)))
|
|
|
|
(inputs
|
|
|
|
`(("readline" ,readline)))
|
|
|
|
(home-page "https://github.com/scanmem/scanmem")
|
|
|
|
(synopsis "Memory scanner")
|
|
|
|
(description "Scanmem is a debugging utility designed to isolate the
|
|
|
|
address of an arbitrary variable in an executing process. Scanmem simply
|
|
|
|
needs to be told the pid of the process and the value of the variable at
|
|
|
|
several different times. After several scans of the process, scanmem isolates
|
|
|
|
the position of the variable and allows you to modify its value.")
|
|
|
|
;; The library is covered by LGPLv3 or later; the application is covered
|
|
|
|
;; by GPLv3 or later.
|
|
|
|
(license (list lgpl3+ gpl3+))))
|