Platform for static analysis of C source code, providing a CLI for code verification and analysis.
apt install frama-c-base
No compatibility data collected yet for this library.
No known issues recorded.
No dependency data recorded yet.