[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#68908] [PATCH] gnu: Add binsec.
From: |
soeren |
Subject: |
[bug#68908] [PATCH] gnu: Add binsec. |
Date: |
Sat, 3 Feb 2024 16:12:06 +0100 |
From: Sören Tempel <soeren@soeren-tempel.net>
* gnu/packages/ocaml.scm (binsec): New variable.
Signed-off-by: Sören Tempel <soeren@soeren-tempel.net>
---
gnu/packages/ocaml.scm | 33 +++++++++++++++++++++++++++++++++
1 file changed, 33 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 8701b4cb23..f76d9e089d 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -1345,6 +1345,39 @@ (define-public lablgtk
libpanel, librsvg and quartz.")
(license license:lgpl2.1)))
+(define-public binsec
+ (package
+ (name "binsec")
+ (version "0.8.1")
+ (source
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/binsec/binsec")
+ (commit version)))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32 "0j6lwj20jaq0702v2fqvsrax1400zqbvz5q2cmjqhvrjzcfcl0kr"))))
+ (build-system dune-build-system)
+ (native-inputs (list gmp ocaml-qcheck ocaml-ounit2))
+ (propagated-inputs (list ocaml-base
+ ocaml-dune-site
+ ocaml-menhir
+ ocaml-graph
+ ocaml-zarith
+ ocaml-grain-dypgen
+ ocaml-toml))
+ (synopsis "Binary-level analysis platform")
+ (description
+ "BINSEC is a binary analysis platform which implements analysis
+techniques such as symbolic execution. The goal of BINSEC is to improve
+software security at the binary level through binary analysis. BINSEC
+is a research tool which relies on prior work in binary code analysis
+at the intersection of formal methods, program analysis security and
+software engineering.")
+ (home-page "https://binsec.github.io/")
+ (license license:lgpl2.1)))
+
(define-public unison
(package
(name "unison")
- [bug#68908] [PATCH] Add BINSEC., soeren, 2024/02/03
- [bug#68908] [PATCH] gnu: Add ocaml-stdune., soeren, 2024/02/03
- [bug#68908] [PATCH] gnu: Add ocaml-dune-private-libs., soeren, 2024/02/03
- [bug#68908] [PATCH] gnu: Add ocaml-iso8601, soeren, 2024/02/03
- [bug#68908] [PATCH] gnu: Add ocaml-grain-dypgen., soeren, 2024/02/03
- [bug#68908] [PATCH] gnu: Add ocaml-dyn., soeren, 2024/02/03
- [bug#68908] [PATCH] gnu: Add ocaml-dune-site., soeren, 2024/02/03
- [bug#68908] [PATCH] gnu: Add ocaml-toml., soeren, 2024/02/03
- [bug#68908] [PATCH] gnu: Add ocaml-ordering., soeren, 2024/02/03
- [bug#68908] [PATCH] gnu: Add ocaml-pp., soeren, 2024/02/03
- [bug#68908] [PATCH] gnu: Add binsec.,
soeren <=
- [bug#68908] [PATCH] Add BINSEC., Julien Lepiller, 2024/02/03
- bug#68908: [PATCH] Add BINSEC., Julien Lepiller, 2024/02/11