ci.yml

name: CI Checks
on:
  push:
    branches: ["**"]
  pull_request:
    branches: [main]
  workflow_dispatch:
jobs:
  build-check:
    runs-on: ubuntu-latest
    steps:
      - name: Clone This Repo
        uses: actions/checkout@v3
      - name: Build Library in Debug mode
        run: |
          cmake -S test -B build/ \
          -G "Unix Makefiles" \
          -DCMAKE_BUILD_TYPE=Debug \
          -DCMAKE_C_FLAGS='-O0 -Wall -Wextra -Werror -Wformat -Wformat-security -Warray-bounds'
          make -C build/ coverity_analysis -j8
      - name: Build Library in Release mode
        run: |
          rm -rf ./build
          cmake -S test -B build/ -G "Unix Makefiles" \
          -DCMAKE_BUILD_TYPE=Release \
          -DCMAKE_C_FLAGS='-Wall -Wextra -Werror -DNDEBUG -Wformat -Wformat-security -Warray-bounds'
          make -C build/ coverity_analysis -j8
  build-code-example:
    runs-on: ubuntu-latest
    steps:
      - name: Clone This Repo
        uses: actions/checkout@v3
      - name: Build Code Example used in Doxygen
        run: |
          cmake -S test -B Build -DBUILD_CODE_EXAMPLE=ON
          make -C Build code_example_posix -j8
  unittest-with-sanitizer:
    runs-on: ubuntu-latest
    steps:
      - name: Clone This Repo
        uses: actions/checkout@v3
      - name: Build Library and Unit Tests with Sanitizer
        run: |
          CFLAGS="-O0 -Wall -Wexta -Werror"
          CFLAGS+=" -D_FORTIFY_SOURCE=2"
          CFLAGS+=" -Wformat"
          CLFAGS+=" -Wformat-security"
          CFLAGS+=" -Warray-bounds"
          CFLAGS+=" -fsanitize=address,undefined"
          CFLAGS+=" -fsanitize=pointer-compare -fsanitize=pointer-subtract"
          CFLAGS+=" -fsanitize-recover=undefined"
          CFLAGS+=" -fsanitize-address-use-after-scope"
          CFLAGS+=" -fsanitize-undefined-trap-on-error"
          CFLAGS=" -fstack-protector-all -DLOGGING_LEVEL_DEBUG=1"
          cmake -S test -B build/ \
          -G "Unix Makefiles" \
          -DCMAKE_BUILD_TYPE=Debug \
          -DBUILD_UNIT_TESTS=ON \
          -DCMAKE_C_FLAGS="${CFLAGS}"
          make -C build all -j8
      - name: Run unit tests with sanitizer
        run: |
          cd build
          ctest -E system --output-on-failure
          cd ..
  unittest-for-coverage:
    runs-on: ubuntu-latest
    steps:
      - name: Clone This Repo
        uses: actions/checkout@v3
      - name: Build
        run: |
          sudo apt-get install -y lcov sed
          # Build with logging enabled.
          cmake -S test -B build/ \
          -G "Unix Makefiles" \
          -DCMAKE_BUILD_TYPE=Debug \
          -DBUILD_UNIT_TESTS=ON \
          -DCMAKE_C_FLAGS='--coverage -Wall -Wextra -Werror -DNDEBUG -Wno-error=pedantic -Wno-variadic-macros -DLOGGING_LEVEL_DEBUG=1'
          make -C build/ all
      - name: Test
        run: |
          cd build/
          ctest -E system --output-on-failure
          cd ..
      - name: Run Coverage
        run: |
          make -C build/ coverage
          declare -a EXCLUDE=("\*test\*" "\*CMakeCCompilerId\*" "\*mocks\*")
          echo ${EXCLUDE[@]} | xargs lcov --rc lcov_branch_coverage=1 -r build/coverage.info -o build/coverage.info
          lcov --rc lcov_branch_coverage=1 --list build/coverage.info
      - name: Check Coverage
        uses: FreeRTOS/CI-CD-Github-Actions/coverage-cop@CI-CD-Overhaul
        with:
          coverage-file: ./build/coverage.info
  complexity:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v3
      - name: Check complexity
        uses: FreeRTOS/CI-CD-Github-Actions/complexity@CI-CD-Overhaul
        with:
          path: ./

  spell-check:
    runs-on: ubuntu-latest
    steps:
      - name: Clone This Repo
        uses: actions/checkout@v3
      - name: Run spellings check
        uses: FreeRTOS/CI-CD-GitHub-Actions/rust-spell-check@CI-CD-Overhaul
        with:
          path: ./

  formatting:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v3
      - name: Check formatting
        uses: FreeRTOS/CI-CD-Github-Actions/formatting@CI-CD-Overhaul
        with:
          path: ./
          exclude-dirs: .git

  git-secrets:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v3
      - name: Checkout awslabs/git-secrets
        uses: actions/checkout@v3
        with:
          repository: awslabs/git-secrets
          ref: master
          path: git-secrets
      - name: Install git-secrets
        run: cd git-secrets && sudo make install && cd ..
      - name: Run git-secrets
        run: |
          git-secrets --register-aws
          git-secrets --scan

  link-verifier:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v3
      - name: Check Links
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
        uses: FreeRTOS/CI-CD-Github-Actions/link-verifier@CI-CD-Overhaul

  verify-manifest:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v3
        with:
          submodules: true
          fetch-depth: 0

      - name: Run manifest verifier
        uses: FreeRTOS/CI-CD-GitHub-Actions/manifest-verifier@CI-CD-Overhaul
        with:
          path: ./
          fail-on-incorrect-version: true

  doxygen:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v3
      - name: Run doxygen build
        uses: FreeRTOS/CI-CD-Github-Actions/doxygen@CI-CD-Overhaul
        with:
          path: ./
  memory_statistics:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v3
      - name: Install Python3
        uses: actions/setup-python@v3
        with:
          python-version: "3.7.x"
      - name: Measure sizes
        uses: FreeRTOS/CI-CD-Github-Actions/memory_statistics@CI-CD-Overhaul
        with:
          config: .github/memory_statistics_config.json
          check_against: docs/doxygen/include/size_table.md
  proof_ci:
    if: ${{ github.event.pull_request }}
    runs-on: cbmc_ubuntu-latest_16-core
    steps:
      - name: Set up CBMC runner
        uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@CI-CD-Overhaul
        with:
          cbmc_version: "5.61.0"
          cbmc_viewer_version: "3.5"
      - name: Run CBMC
        uses: FreeRTOS/CI-CD-Github-Actions/run_cbmc@CI-CD-Overhaul
        with:
          proofs_dir: test/cbmc/proofs