Choose for which OS you want Frama-C

Linux Mac Windows (WSL) 

# 1. Install opam (OCaml package manager)
sudo apt install opam # or dnf, pacman, etc.

# Or you can download an opam binary, put it in the PATH
# and run it directly (no sudo required)

# 2. Initialize opam (install an OCaml compiler)
opam init --compiler 4.14.1 # may take a while
eval $(opam env)

# 3. Install Frama-C (including dependencies)
opam install frama-c # opam will install system package dependencies;
                     # may require sudo



# Issues? Problems? Click here for help/instructions
# 1. Install Homebrew

# 2. Install required dependencies for Frama-C
brew install opam gmp gtk+ gtksourceview libgnomecanvas

# 3. Configure GTK library
export PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig:/usr/local/opt/libxml2/lib/pkgconfig:/usr/local/lib/pkgconfig

# 4. Install recommended dependencies for Frama-C
brew install graphviz zmq

# 5. Finally install Frama-C
opam install frama-c

# Issues? Problems? Click here for help/instructions
# 1. Prepare opam installation
sudo apt update && sudo apt upgrade
sudo apt install make m4 gcc opam

# 2. opam setup
opam init --disable-sandboxing --shell-setup
eval $(opam env)
opam install -y depext

# 3. Install graphical dependencies
opam depext --install -y lablgtk3 lablgtk3-sourceview3

# 4. Install Frama-C
opam depext --install -y frama-c

# On WSL2, run the GUI as: GDK_BACKEND=x11 frama-c-gui <options>

# Issues? Problems? Click here for help/instructions
For detailed installation instructions, click here
All Frama-C releases are available from this page
Source distributions are also available from this single HTML page

Downloads

Frama-C and ACSL

Plug-ins