From 1a31aecbfd432ba1d00d0b77cbb856ed6b3a37ed Mon Sep 17 00:00:00 2001 From: Hanno Becker Date: Wed, 30 Oct 2024 06:05:20 +0000 Subject: [PATCH] CI: Add various sanitizers to debug build + tests This commit extends the native debug tests in the CI to enable the address and undefined-behaviour sanitizers in GCC. Signed-off-by: Hanno Becker --- .github/workflows/ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 39e4c9140..335f40ccd 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -86,12 +86,12 @@ jobs: func: true nistkat: true kat: true - - name: native tests (+debug) + - name: native tests (+debug+memsan+ubsan) uses: ./.github/actions/multi-functest with: gh_token: ${{ secrets.GITHUB_TOKEN }} compile_mode: native - cflags: "-DMLKEM_DEBUG" + cflags: "-DMLKEM_DEBUG -fsanitize=address -fsanitize=undefined -fno-sanitize-recover=all" - name: cross tests (opt only) uses: ./.github/actions/multi-functest if: ${{ matrix.target.runner != 'macos-latest' && (success() || failure()) }}