# 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: address sanitizer

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=address -O1 -g3 -DCPPCHK_GLIBCXX_DEBUG" make cppcheck testrunner -j$(nproc) USE_Z3=yes HAVE_RULES=yes MATCHCOMPILER=yes

- name: Run tests

run: |

ASAN_OPTIONS=detect_stack_use_after_return=1 ./testrunner

# This takes too long time right now

# - name: Bughunting lib

# run: |

# ASAN_OPTIONS=detect_stack_use_after_return=1 ./cppcheck -D__CPPCHECK__ --bug-hunting -j$(nproc) lib