Frama-C/github-action-eva-sarif

Github Action for running the Eva plug-in and producing a SARIF report

Shell