39 lines
1.2 KiB
YAML
39 lines
1.2 KiB
YAML
# Syntax reference https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions
|
|
# Environment reference https://help.github.com/en/actions/reference/virtual-environments-for-github-hosted-runners
|
|
name: undefined behaviour sanitizers
|
|
|
|
on: [push, pull_request]
|
|
|
|
jobs:
|
|
build:
|
|
|
|
strategy:
|
|
matrix:
|
|
os: [ubuntu-latest]
|
|
fail-fast: false # not worthwhile...
|
|
|
|
runs-on: ${{ matrix.os }}
|
|
|
|
steps:
|
|
- uses: actions/checkout@v2
|
|
|
|
- name: Install missing software on ubuntu
|
|
run: |
|
|
sudo apt-get update
|
|
sudo apt-get install libz3-4 libz3-dev
|
|
cp externals/z3_version_old.h externals/z3_version.h
|
|
|
|
- name: Build
|
|
run: |
|
|
cp externals/z3_version_old.h externals/z3_version.h
|
|
CC=clang CXX=clang++ CXXFLAGS="-fsanitize=undefined -fsanitize=nullability -O1 -g3 -DCPPCHK_GLIBCXX_DEBUG" make cppcheck testrunner -j$(nproc) USE_Z3=yes HAVE_RULES=yes MATCHCOMPILER=yes
|
|
|
|
- name: Run tests
|
|
run: |
|
|
UBSAN_OPTIONS=print_stacktrace=1:halt_on_error=1 ./testrunner
|
|
|
|
- name: Bughunting lib
|
|
run: |
|
|
UBSAN_OPTIONS=print_stacktrace=1:halt_on_error=1 ./cppcheck -D__CPPCHECK__ --bug-hunting -j$(nproc) lib
|
|
|