diff options
| author | Nguyễn Gia Phong <cnx@loang.net> | 2025-10-21 17:22:57 +0900 |
|---|---|---|
| committer | Nguyễn Gia Phong <cnx@loang.net> | 2025-10-21 17:23:13 +0900 |
| commit | 6905cc70a7c88a124b5e31084a7b446cebf43b29 (patch) | |
| tree | 526889350b7c5c20f84528a3f9ea533afab693fa | |
| parent | 2ee1d3468e2aea61ef82ff09fd85ffcdaf7f262c (diff) | |
| download | loftix-6905cc70a7c88a124b5e31084a7b446cebf43b29.tar.gz | |
Preview QASAN support in taosc
| -rw-r--r-- | loftix/synthesis.scm | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/loftix/synthesis.scm b/loftix/synthesis.scm index 4e9f00e..0138199 100644 --- a/loftix/synthesis.scm +++ b/loftix/synthesis.scm @@ -4,11 +4,10 @@ ;;; SPDX-License-Identifier: GPL-3.0-or-later (define-module (loftix synthesis) + #:use-module (gnu packages base) #:use-module (gnu packages debug) - #:use-module (gnu packages elf) #:use-module (gnu packages instrumentation) #:use-module (gnu packages m4) - #:use-module (gnu packages parallel) #:use-module (gnu packages python) #:use-module (gnu packages python-build) #:use-module (gnu packages python-xyz) @@ -51,7 +50,7 @@ from values in possitive and negative examples using a PAC learning algorithm.") (define-public taosc (package (name "taosc") - (version "0.0.3.dev1") + (version "0.0.3.dev2") (source (origin (method url-fetch) @@ -69,11 +68,10 @@ from values in possitive and negative examples using a PAC learning algorithm.") #:make-flags #~(list (string-append "PREFIX=" #$output)) #:phases #~(modify-phases %standard-phases - (replace 'configure zig-configure) - (delete 'check)))) + (replace 'configure zig-configure)))) (native-inputs (list m4 zig-0.15)) (inputs (list dyninst)) - (propagated-inputs (list e9patch fuzzolic)) ; TODO: wrap + (propagated-inputs (list afl++ e9patch findutils fuzzolic)) ; TODO: wrap (synopsis "Emergency binary patcher") (description "Taosc generates emergent fixes for binaries.") (home-page "https://trong.loang.net/~cnx/taosc") |