Install Frama-c On A Debian, Ubuntu, Kali, Fedora And Raspbian

Install Frama-c On A Debian, Ubuntu, Kali, Fedora And Raspbian

frama-c

Platform dedicated to the analysis of source code written in C (without gui)

Maintainer: Debian OCaml Maintainers



Section: devel

Install frama-c

  • Debian apt-get install frama-c-base Click to copy
  • Ubuntu apt-get install frama-c-base Click to copy
  • Kali Linux apt-get install frama-c-base Click to copy
  • Fedora dnf install frama-c Click to copy
  • Raspbian apt-get install frama-c-base Click to copy
Installation of latest frama-c command is available for Debian, Ubuntu, Kali, Fedora and Raspbian. You can copy the command for your OS from above and paste it into your terminal. Once you run the command it will download the 2024 latest package from the repository and install it in your computer/server.