Verification · Formal · Undefined-behaviour detection
Sanitizers
Compile with address, thread or undefined-behaviour sanitizers and run the tests.
How to build it
- Build the tests with -fsanitize=address, thread or undefined as separate CI matrix entries.
- Set ASAN_OPTIONS and UBSAN_OPTIONS so that a report fails the test run.
- Run the sanitizer builds on each pull request or on a nightly schedule.
Signals in a repository
- A sanitizer matrix in a CI workflow with sanitizer names as values.
- -fsanitize flags or RUSTFLAGS with -Zsanitizer in build scripts or CI environment.
In practice
No scanned repository runs a tool for this check. The steps above are the only guidance.