04/04: gnu: Add binsec.

[guix-commits]

roptat pushed a commit to branch master
in repository guix.

commit 16d2be641424815a1779119bb64bc6ba1be1161b
Author: Sören Tempel <soeren@soeren-tempel.net>
AuthorDate: Sat Feb 3 16:12:06 2024 +0100

    gnu: Add binsec.
    
    * gnu/packages/ocaml.scm (binsec): New variable.
    
    Signed-off-by: Julien Lepiller <julien@lepiller.eu>
    Change-Id: Ifc57720f97f9ffa8c3558e3cd2d741cdbf73ee3a
---
 gnu/packages/ocaml.scm | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 07d8f21156..0f4c351141 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -1469,6 +1469,39 @@ libglade (and it an generate OCaml code from .glade 
files),
 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 dune-site
+                             ocaml-base
+                             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")