Skip to content

Build & Analyze with Microwalk #12

Build & Analyze with Microwalk

Build & Analyze with Microwalk #12

Workflow file for this run

name: Build & Analyze with Microwalk
on:
push:
pull_request:
workflow_dispatch:
env:
script_directory: microwalk
jobs:
build-analyze:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Run Microwalk analysis
id: run_microwalk
uses: microwalk-project/microwalk-pin-action@v1
with:
script-directory: ${{ env.script_directory }}
- name: Upload analysis result
uses: github/codeql-action/upload-sarif@v2
with:
sarif_file: ${{ github.workspace }}/${{ env.script_directory }}/results/report.sarif
checkout_path: ${{ github.workspace }}
- name: Archive analysis artifacts
uses: actions/upload-artifact@v3
with:
name: leakage-analysis-results
path: ${{ github.workspace }}/${{ env.script_directory }}/results