# Frama-C
> Open source platform for source-code analysis of C software

## 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

## When to Use
- You need formal verification of C code
- You work on safety-critical software

## When NOT to Use
- You don't write C code
- You only need simple linting

---
Source: https://littlescripts.sh/tools/frama-c
