Fw: Re: s2e - clang+llvm

[Vitaly Chipounov]

------- Forwarded Message -------
From: Vitaly Chipounov <vit...@chipounov.fr>
Date: On Saturday, November 16th, 2024 at 5:33 PM
Subject: Re: s2e - clang+llvm
To: Antonio Voza <vozaa...@gmail.com>
CC: s2e...@googlegroups.com <s2e...@googlegroups.com>

Hi,

This would be a good improvement, please file a ticket here [1]. S2E uses a custom build of clang because KLEE expects a certain version of LLVM. It's easier to bundle a version that is known to work instead constantly upgrading KLEE. S2E uses an extensively modified and stripped down version of KLEE, so just using the one from upstream is not really an option. Perhaps we could decouple the version-dependent part from the rest in order to use the system compiler as much as possible, but we'll still need to use the custom one.

If you manage to build it on Arch, please take some time to update s2e-env to automate the installation. I'd be happy to look at the PR.

Vitaly

[1] https://github.com/S2E/s2e-env/issues

On Saturday, November 16th, 2024 at 3:45 PM, Antonio Voza <vozaa...@gmail.com> wrote:

Hello,

I'm trying to build manually from source the s2e to create an Arch Linux package.

Can you please implement the possibility to build by using clang if already installed on the system as a package (Arch Linux - clang 18.1.8-4 (x86_64)) if the binary is already in /usr/bin instead of downloading that .tar.xz archive?

Thanks