Uma plataforma extensível dedicada à análise de código fonte de software C. O frama-c é uma ferramenta poderosa para ajudar
programadores a encontrar erros e melhorar a qualidade do código. Ele suporta uma variedade de plugins para análise estática, verificação de propriedades e geração de relatórios.
