Merge pull request #78 from iphydf/ubsan

test: Enable more sanitizers in ubsan tests.
camgunz · Apr 14, 2024 · 5c25d03 · 5c25d03
2 parents 32192b3 + 70603e5
commit 5c25d03
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -15,5 +15,13 @@ jobs:
  run: make -j4
  - name: Build test programs
  run: make testprogs
- - name: Run tests
- run: make test
+ - name: Run unit tests
+ run: make unittest
+ - name: Run ASAN tests
+ run: make addrtest
+ - name: Run MSAN tests
+ run: make memtest
+ - name: Run UBSAN tests
+ run: make ubtest
+ - name: Run tests without FPU (no float)
+ run: make nofloattest
diff --git a/Makefile b/Makefile
@@ -14,7 +14,7 @@ NOFPUTESTCFLAGS ?= $(TESTCFLAGS) -DCMP_NO_FLOAT
 ADDRCFLAGS ?= -fsanitize=address
 MEMCFLAGS ?= -fsanitize=memory -fno-omit-frame-pointer \
  -fno-optimize-sibling-calls
-UBCFLAGS ?= -fsanitize=undefined
+UBCFLAGS ?= -fsanitize=undefined,nullability,local-bounds,float-divide-by-zero,integer
 
 .PHONY: all clean test coverage