github actions namespaces: Frama-C
View the packages within the Frama-C namespace on the github actions package registry, including their maintainers and dependencies.
Frama-C/github-action-eva-sarif v2
Sound analysis of C code with the open-source platform Frama-C: exhaustively list possible runtim...2 versions - Latest release: about 4 years ago - 8 stars on GitHub