Frama-C

frama-c.comsite

A sound and extensible static analyzer for C code.

from

Static Analysis & Code Quality, OCaml

added

2026-10-10

likes

0

similar

1. ▲
   frama-c git.frama-c.com

   site category #ocaml link ↗
   
2. ▲
   Frink catless.ncl.ac.uk

   site category #static-analysis link ↗

   A Tcl formatting and static check program (can prettify the program, minimise, obfuscate or just sanity check it).

3. ▲
   .NET Compiler Platform ("Roslyn") Analyzers github.com

   tool category #dotnet-core link ↗

   Roslyn-based implementation of FxCop analyzers.

   
4. ▲
   Framer Code framerco.de

   site category #framer link ↗
   
5. ▲
   Menhir gallium.inria.fr

   site category #ocaml link ↗

   Parser generator that can output Coq code for verified parsers.

6. ▲
   fantomas fsprojects.github.io

   site category #static-analysis link ↗

   F# source code formatter.

Static Analysis & Code Quality › Programming Languages: “A sound and extensible static analyzer for C code.”

OCaml › Code Analysis and Linters: “Frama-C is a static analysis and formal proof framework for C and C++.”