Get Frama-C

Package installation

# Download the Frama-C installation package

# Make it executable:
chmod +x frama-c-linux-x86-64-33.0-Arsenic.run

# Run the installer
sudo ./frama-c-linux-x86-64-33.0-Arsenic.run
                  
# Download the Frama-C installation package for ARM or x86

# Install it:
open frama-c-macos-arm-33.0-Arsenic.pkg # ARM
open frama-c-macos-x86-33.0-Arsenic.pkg # x86

# Download the Frama-C GUI installation package
# Install it from the GUI, typically in /Applications

Issues? Problems?
For detailed installation instructions, click here
For posting a new issue in our bug tracking system, click here

Opam installation

# 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
                
# 1. Install Homebrew

# 2. Install required dependencies for Frama-C
brew install opam gmp

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

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

# 5. Finally install Frama-C
opam install frama-c
                
# 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 opam-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

Issues? Problems?
For detailed installation instructions, click here
For posting a new issue in our bug tracking system, click here

Frama-C

ACSL

Plug-ins