Skip to content

Add kyberslash patches for valgrind-based constant-time testing #106

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
bhess merged 1 commit into from
Jun 23, 2026
+2,531 −1
Merged

Add kyberslash patches for valgrind-based constant-time testing #106

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
22 changes: 21 additions & 1 deletion ubuntu-latest/Dockerfile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -77,8 +77,28 @@ RUN opam init --yes --auto-setup && opam install --confirm-level=unsafe-yes --de
# install ajv for CBOM validation
RUN npm -g install ajv ajv-cli

# set up Kyberslash patch for Valgrind-based constant-time testing
COPY valgrind-try-patch-20250805.txt /tmp/
COPY valgrind-varlat-patch-20250805.txt /tmp/
COPY valgrind-varlat-sup-block.txt /tmp/

RUN git clone git://sourceware.org/git/valgrind.git /tmp/valgrind_varlat_src && \
cd /tmp/valgrind_varlat_src && \
git checkout 112f1080b7c21e37dfce0a2e589d0dc7aa115afa && \
git apply /tmp/valgrind-try-patch-20250805.txt && \
git apply /tmp/valgrind-varlat-patch-20250805.txt && \
git apply /tmp/valgrind-varlat-sup-block.txt && \
./autogen.sh && \
./configure --prefix=/opt/valgrind_varlat && \
make -j"$(nproc)" && \
make install && \
mv /opt/valgrind_varlat/bin/valgrind /opt/valgrind_varlat/bin/valgrind_varlat && \
cd / && rm -rf /tmp/valgrind_varlat_src /tmp/*.txt

ENV PATH="/opt/valgrind_varlat/bin:${PATH}"

# set JAVA_HOME for liboqs-java builds
ENV JAVA_HOME="/usr/lib/jvm/default-java"

# Activate if we want to test specific OpenSSL3 versions:
# RUN cd /root && git clone --depth 1 --branch openssl-3.0.7 https://github.com/openssl/openssl.git && cd openssl && LDFLAGS="-Wl,-rpath -Wl,/usr/local/openssl3/lib64" ./config --prefix=/usr/local/openssl3 && make -j && make install
# RUN cd /root && git clone --depth 1 --branch openssl-3.0.7 https://github.com/openssl/openssl.git && cd openssl && LDFLAGS="-Wl,-rpath -Wl,/usr/local/openssl3/lib64" ./config --prefix=/usr/local/openssl3 && make -j && make install
Loading
Loading