diff options
Diffstat (limited to 'loft')
| -rw-r--r-- | loft/bugs.scm | 15 | ||||
| -rw-r--r-- | loft/fuzzing.scm | 54 | ||||
| -rw-r--r-- | loft/patching.scm | 74 | ||||
| -rw-r--r-- | loft/synthesis.scm | 32 |
4 files changed, 0 insertions, 175 deletions
diff --git a/loft/bugs.scm b/loft/bugs.scm deleted file mode 100644 index 62cdfbd..0000000 --- a/loft/bugs.scm +++ /dev/null @@ -1,15 +0,0 @@ -(use-modules (gnu packages base) - (guix packages)) - -(define-public binutils-2.29 - (package - (inherit binutils-2.33) - (version "2.29") - (source (origin - (inherit (package-source binutils)) - (uri (string-append "mirror://gnu/binutils/binutils-" - version ".tar.bz2")) - (sha256 - (base32 - "1gqfyksdnj3iir5gzyvlp785mnk60g1pll6zbzbslfchhr4rb8i9")) - (patches '()))))) diff --git a/loft/fuzzing.scm b/loft/fuzzing.scm deleted file mode 100644 index d8bde9e..0000000 --- a/loft/fuzzing.scm +++ /dev/null @@ -1,54 +0,0 @@ -(use-modules (gnu packages instrumentation) - (gnu packages man) - (gnu packages m4) - (guix build-system gnu) - (guix download) - (guix git-download) - ((guix licenses) #:prefix license:) - (guix packages)) - -(define-public afl++ - (let ((commit "42fc9acf5bdd512608e3590a78749c2cd95ee5f3") - (revision "0")) - (package - (inherit aflplusplus) - (name "afl++") - (version (git-version "4.22a" revision commit)) - (source (origin - (method git-fetch) - (uri (git-reference - (url "https://github.com/AFLplusplus/AFLplusplus") - (commit commit))) - (sha256 - (base32 - "149f5r341v921lfmdr4s9yap4qrqzc41vc7rx5xlgb78m5lwprx8")) - (patches (search-patches "afl++-keep-all-crashes.patch"))))))) - -(define-public afl-dyninst - (package - (name "afl-dyninst") - (version "1.0.0") - (source - (origin - (method url-fetch) - (uri (string-append - "https://trong.loang.net/~cnx/afl-dyninst/snapshot/afl-dyninst-" - version ".tar.gz")) - (sha256 - (base32 "13gxrsn2fwh5qazqy142v6g7mxhwfpq4f07h05fd1w4r46yh1v00")))) - (build-system gnu-build-system) - (arguments - (list #:make-flags - #~(list (string-append "DYNINST_LIB=" - (assoc-ref %build-inputs "dyninst") - "/lib") - (string-append "PREFIX=" #$output)) - #:phases #~(modify-phases %standard-phases - (delete 'configure) - (delete 'check)))) - (native-inputs (list m4 help2man)) - (inputs (list afl++ dyninst)) - (synopsis "Dyninst integration for AFL++") - (description "Dyninst integration for AFL++") - (home-page "https://trong.loang.net/~cnx/afl-dyninst") - (license (list license:agpl3+ license:asl2.0)))) diff --git a/loft/patching.scm b/loft/patching.scm deleted file mode 100644 index 747dadf..0000000 --- a/loft/patching.scm +++ /dev/null @@ -1,74 +0,0 @@ -(use-modules (gnu packages compression) - (gnu packages elf) - (gnu packages engineering) - (gnu packages markup) - (gnu packages vim) - (guix build-system gnu) - (guix git-download) - ((guix licenses) #:prefix license:) - (guix packages)) - -(define-public e9patch - (let ((commit "b4e7175abb8bd49ebbb6d09c7057aa43ddacac10") - (revision "0")) - (package - (name "e9patch") - (version (git-version "1.0.0-dev" revision commit)) - (source (origin - (method git-fetch) - (uri (git-reference - (url "https://github.com/GJDuck/e9patch") - (commit commit))) - (sha256 - (base32 - "0a9s7h43ryyl4bvn0sid0dq78v24bnbcf271smj1a8wvffsih0jy")) - (file-name (git-file-name name version)) - (patches (search-patches - ;; https://github.com/GJDuck/e9patch/pull/94 - "e9patch-devendor.patch" - ;; https://github.com/GJDuck/e9patch/pull/99 - "e9patch-plugin-api-headers.patch" - ;; https://github.com/GJDuck/e9patch/pull/92 - "e9patch-check.patch" - ;; https://github.com/GJDuck/e9patch/pull/95 - "e9patch-check-intel-format.patch" - ;; https://github.com/GJDuck/e9patch/pull/88 - "e9patch-check-mode.patch" - ;; https://github.com/GJDuck/e9patch/pull/93 - "e9patch-check-mov-imm.patch" - ;; https://github.com/GJDuck/e9patch/issues/96 - "e9patch-check-rflags.patch" - ;; https://github.com/GJDuck/e9patch/pull/97 - "e9patch-check-same_op_2.patch")))) - (build-system gnu-build-system) - (arguments (list #:modules `((ice-9 string-fun) ; string-replace-substring - ,@%default-gnu-modules) - #:phases - #~(modify-phases %standard-phases - (add-after 'unpack 'fix-prefix - (lambda _ - (substitute* "Makefile" - ;; https://github.com/GJDuck/e9patch/pull/87 - (("\\\\/usr") - (string-replace-substring #$output "/" "\\/")) - (("/usr") #$output)))) - (delete 'configure)))) - (native-inputs (list markdown xxd)) - (inputs (list elfutils zycore zydis zlib)) - (home-page "https://github.com/GJDuck/e9patch") - (synopsis "Static binary rewriting tool") - (description - "E9Patch is a static binary rewriting tool for x86-64 ELF binaries. -E9Patch is: -@itemize -@item Scalable: E9Patch can reliably rewrite large/complex binaries - including web browsers (>100MB in size). -@item Compatible: The rewritten binary is a drop-in replacement of the original, - with no additional dependencies. -@item Fast: E9Patch can rewrite most binaries in a few seconds. -@item Low Overheads: Both performance and memory. -@item Programmable: E9Patch is designed so that it can be easily integrated - into other projects. -@end itemize") - (license (list license:expat ;src/e9patch/e9loader_*.cpp - license:gpl3+))))) ;rest diff --git a/loft/synthesis.scm b/loft/synthesis.scm deleted file mode 100644 index 022e66c..0000000 --- a/loft/synthesis.scm +++ /dev/null @@ -1,32 +0,0 @@ -(use-modules (gnu packages python) - (gnu packages python-build) - (gnu packages python-xyz) - (guix build-system pyproject) - (guix download) - ((guix licenses) #:prefix license:) - (guix packages)) - -(define-public python-pacfix - (package - (name "python-pacfix") - (version "0.0.3") - (source - (origin - (method url-fetch) - (uri (pypi-uri "pacfix" version)) - (sha256 - (base32 "1gpr410gfwab5mg3k57r001mddqgxk9d5rbn89v1wczi51ljlsc5")))) - (build-system pyproject-build-system) - (native-inputs (list python-flit-core)) - (propagated-inputs (list python-pysmt)) - (arguments '(#:phases - (modify-phases %standard-phases - (replace 'check - (lambda* (#:key tests? #:allow-other-keys) - (when tests? - (invoke "python" "-m" "unittest" "-v"))))))) - (home-page "https://github.com/hsh814/pacfix-python") - (synopsis "PAC-learning-based program systhesizer") - (description "Pacfix systhesizes predicate expressions for program repair -from values in possitive and negative examples using a PAC learning algorithm.") - (license license:expat))) |