← Back to tools
View AGENTS.md for Frama-C
Frama-C
Open source platform for source-code analysis of C software
Description
Frama-C is an open source extensible and collaborative platform dedicated to source-code analysis of C software. It can assist from navigation through unfamiliar projects up to the certification of critical software.
AI Summary
An extensible platform for formal verification and static analysis of C programs.
Capabilities
- + Formal verification of C programs
- + Static analysis with multiple plugins
- + Code navigation and understanding
- + Software certification support
- + Extensible plugin architecture
Use When
- → You need formal verification of C code
- → You work on safety-critical software
Avoid When
- x You don't write C code
- x You only need simple linting