GNU bug report logs - #68908
[PATCH] Add BINSEC.

Previous Next

Package: guix-patches;

Reported by: soeren <at> soeren-tempel.net

Date: Sat, 3 Feb 2024 15:05:02 UTC

Severity: normal

Tags: patch

Done: Julien Lepiller <julien <at> lepiller.eu>

Bug is archived. No further changes may be made.

Full log

Message #46 received at 68908-done <at> debbugs.gnu.org (full text, mbox):

From: Sören Tempel <soeren <at> soeren-tempel.net>
To: Julien Lepiller <julien <at> lepiller.eu>
Cc: 68908-done <at> debbugs.gnu.org, pukkamustard <pukkamustard <at> posteo.net>
Subject: Re: [bug#68908] [PATCH] Add BINSEC.
Date: Mon, 12 Feb 2024 09:41:12 +0100

Julien Lepiller <julien <at> lepiller.eu> wrote:
> Applied to master as 8b679328512fbf5ca4c50c446884fc6069fdb589 to
> 16d2be641424815a1779119bb64bc6ba1be1161b, with minor tweaks to the
> description of a few packages, removed ocaml-findlib from inputs, since
> it's already implicit, and added a copyright line for you. Thanks!

Thank you for merging this! Is there any chance you could also take a look at
my KLEE patch <https://issues.guix.gnu.org/68296>? Similar to BinSec, KLEE is
a very popular symbolic execution tool. Unfortunately, I couldn't find a
suitable team for this patch and hence it has been stale for a while.

Greetings
Sören

This bug report was last modified 1 year and 99 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.

GNU bug report logs - #68908 [PATCH] Add BINSEC.

GNU bug report logs - #68908
[PATCH] Add BINSEC.