From d48378d998b950eca0b04fb621f0e55e1018cb6b Mon Sep 17 00:00:00 2001 From: Mads Mogensen Date: Thu, 26 Oct 2023 12:17:20 +0000 Subject: [PATCH] Test with hardening flags This exposes a OOB access in a vector somewhere. --- .github/workflows/build-linux.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/build-linux.yml b/.github/workflows/build-linux.yml index 97a164474..b63f17d27 100644 --- a/.github/workflows/build-linux.yml +++ b/.github/workflows/build-linux.yml @@ -32,6 +32,8 @@ jobs: - name: Test run: | + export CFLAGS="-Wp,-D_FORTIFY_SOURCE=2 -fstack-clash-protection -fcf-protection" + export CXXFLAGS="$CFLAGS -Wp,-D_GLIBCXX_ASSERTIONS" mkdir -p build cd build CC=gcc-10 CXX=g++-10 cmake ../ -DCMAKE_BUILD_TYPE=Debug -DVERIFYPN_Static=OFF -DVERIFYPN_MC_Simplification=OFF -DVERIFYPN_TEST=ON