CodeQL #85
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: "CodeQL" | |
| on: | |
| push: | |
| branches: ["master"] | |
| pull_request: | |
| # The branches below must be a subset of the branches above | |
| branches: ["master"] | |
| schedule: | |
| # runs every day at 4:23 AM UTC | |
| - cron: "23 4 * * *" | |
| permissions: | |
| contents: read | |
| jobs: | |
| microwalk-analyze: | |
| name: "Microwalk" | |
| runs-on: ubuntu-22.04 | |
| permissions: | |
| # required for all workflows | |
| security-events: write | |
| # only required for workflows in private repositories | |
| actions: read | |
| contents: read | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: Setup Build Agent | |
| uses: ./.github/actions/setup-build-agent | |
| with: | |
| target: microwalk | |
| cache-key: linux-gcc-x86_64-microwalk | |
| - name: Build Botan | |
| run: python3 ./src/scripts/ci_build.py --cc='gcc' microwalk | |
| - name: Run Microwalk analysis | |
| id: run_microwalk | |
| uses: microwalk-project/microwalk-pin-action@v1 | |
| with: | |
| script-directory: microwalk | |
| - name: Upload analysis result | |
| uses: github/codeql-action/upload-sarif@v3 | |
| with: | |
| sarif_file: ${{ github.workspace }}/microwalk/results/report.sarif | |
| checkout_path: ${{ github.workspace }} | |
| category: microwalk | |
| - name: Archive analysis artifacts | |
| uses: actions/upload-artifact@v3 | |
| with: | |
| name: leakage-analysis-results | |
| path: ${{ github.workspace }}/microwalk/results | |
| codeql_cpp: | |
| if: false # TODO: Remove | |
| name: C++ | |
| runs-on: ubuntu-22.04 | |
| permissions: | |
| actions: read | |
| contents: read | |
| security-events: write | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v4 | |
| - name: Setup Build Agent | |
| uses: ./.github/actions/setup-build-agent | |
| with: | |
| target: codeql | |
| cache-key: linux-gcc-x86_64-codeql | |
| - name: Initialize CodeQL | |
| uses: github/codeql-action/init@v2 | |
| with: | |
| languages: cpp | |
| config-file: ./src/configs/codeql.yml | |
| - name: Build Library | |
| run: ./src/scripts/ci_build.py codeql | |
| - name: Perform CodeQL Analysis | |
| uses: github/codeql-action/analyze@v2 | |
| with: | |
| category: cpp | |
| codeql_py: | |
| if: false # TODO: Remove | |
| name: Python | |
| runs-on: ubuntu-22.04 | |
| permissions: | |
| actions: read | |
| contents: read | |
| security-events: write | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v4 | |
| - name: Initialize CodeQL | |
| uses: github/codeql-action/init@v2 | |
| with: | |
| languages: python | |
| config-file: ./src/configs/codeql.yml | |
| - name: Perform CodeQL Analysis | |
| uses: github/codeql-action/analyze@v2 | |
| with: | |
| category: python |