Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

github actions namespaces: Frama-C

Packages

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: over 2 years ago - 7 stars on GitHub