This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Run CodeChecker static analyzer on XAPI's C stubs | |
| on: | |
| push: | |
| pull_request: | |
| branches: | |
| - master | |
| - 'feature/**' | |
| - '*-lcm' | |
| jobs: | |
| staticanalyzer: | |
| name: Static analyzer for OCaml C stubs | |
| runs-on: ubuntu-22.04 | |
| env: | |
| XAPI_VERSION: "v0.0.0-${{ github.sha }}" | |
| # required for dune cache to work inside opam for now, otherwise it | |
| # gets EXDEV and considers it a cache miss | |
| DUNE_CACHE_STORAGE_MODE: copy | |
| steps: | |
| - name: Checkout code | |
| uses: actions/checkout@v4 | |
| - name: Setup XenAPI environment | |
| uses: ./.github/workflows/setup-xapi-environment | |
| with: | |
| xapi_version: ${{ env.XAPI_VERSION }} | |
| - name: Install dune-compiledb to generate compile_commands.json | |
| run: | | |
| opam pin add -y https://github.com/edwintorok/dune-compiledb/releases/download/0.6.0/dune-compiledb-0.6.0.tbz | |
| - name: Generate compile_commands.json | |
| run: opam exec -- dune rules | opam exec -- dune-compiledb | |
| - name: Fixup paths | |
| run: | | |
| sed -e 's/"directory".*/"directory": "."/' <compile_commands.json >cmds.json | |
| - name: Upload compile commands json | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| path: ${{ github.workspace }}/cmds.json | |
| - uses: whisperity/codechecker-analysis-action@v1 | |
| id: codechecker | |
| with: | |
| ctu: true | |
| logfile: ${{ github.workspace }}/cmds.json | |
| analyze-output: "codechecker_results" | |
| # cppcheck even for other analyzers apparently, this is | |
| # codechecker's output | |
| - uses: whisperity/codechecker-analysis-action@v1 | |
| id: codechecker2 | |
| with: | |
| report-converter: true | |
| original-analyser: "cppcheck" | |
| original-analysis-output: "codechecker_results" | |
| - name: Upload CodeChecker report | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| path: "${{ steps.codechecker.outputs.result-html-dir }}" | |
| # - name: Upload CodeChecker report | |
| # uses: actions/upload-artifact@v4 | |
| # with: | |
| # path: "${{ steps.codechecker2.outputs.result-html-dir }}" | |
| # - name: Upload SARIF report | |
| # uses: github/codeql-action/upload-sarif@v2 | |
| # with: | |
| # sarif_file: _build/default/xapi.sarif |