checklist.day

Frama-C

JSON →
cli 20220511 ·ocaml
✓ install reviewed
testingsecurity

Platform for static analysis of C source code, providing a CLI for code verification and analysis.

Resources

homepageframa-c.com ↗

API endpoints

full doc /v1/registry/frama-c-base
install /v1/registry/frama-c-base/install