diff options
author | Guido Vranken <guidovranken@users.noreply.github.com> | 2019-05-19 16:59:05 +0200 |
---|---|---|
committer | Max Moroz <mmoroz@chromium.org> | 2019-05-19 07:59:05 -0700 |
commit | 11987438249ac74d5f33aa42d29dacffdc6f840f (patch) | |
tree | 63393f3fadbf2c498a80aaa37b26e868313ba63f /projects/cryptofuzz/Dockerfile | |
parent | c20c3b8029cef9dc3d9daafd3656625fc1280788 (diff) |
[cryptofuzz] EverCrypt: Don't explicitly allow AVX instructions (#2441)
* [cryptofuzz] EverCrypt: Don't explicitly allow AVX instructions
Recent crashes involving EverCrypt were found to be caused by
AVX instructions in the EverCrypt library. The Makefile explicitly
allowed the use of AVX instructions via hardcoded CFLAGS. The authors
have released a new version that should resolve this problem.
* [cryptofuzz, bignum-fuzzer] Revert to default OpenSSL build method
Reverts the workaround for OpenSSL broken build script, which is
now fixed.
* [cryptofuzz] Compile with -D_GLIBCXX_DEBUG (runtime C++ UB checks)
Diffstat (limited to 'projects/cryptofuzz/Dockerfile')
-rw-r--r-- | projects/cryptofuzz/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/projects/cryptofuzz/Dockerfile b/projects/cryptofuzz/Dockerfile index 9eac3987..f8491c12 100644 --- a/projects/cryptofuzz/Dockerfile +++ b/projects/cryptofuzz/Dockerfile @@ -34,6 +34,6 @@ RUN git clone --depth 1 https://github.com/jedisct1/libsodium.git RUN git clone --depth 1 https://github.com/weidai11/cryptopp/ RUN git clone --depth 1 https://dev.gnupg.org/source/libgcrypt.git RUN wget https://gnupg.org/ftp/gcrypt/libgpg-error/libgpg-error-1.36.tar.bz2 -RUN wget https://github.com/project-everest/hacl-star/archive/evercrypt-v0.1alpha1.tar.gz +RUN wget https://github.com/project-everest/hacl-star/releases/download/evercrypt-v0.1alpha1/hacl-star-evercrypt-v0.1alpha1-bugfix.tar.gz COPY build.sh $SRC/ |