How To Install frama-c-base on Debian 12
Introduction
In this tutorial we learn how to install frama-c-base on Debian 12.
What is frama-c-base
frama-c-base is:
Frama-C gathers several analysis techniques in a single collaborative framework, based on analyzers (called “plug-ins”) that can build upon the results computed by other analyzers in the framework.
Thanks to this approach, Frama-C provides sophisticated tools, including:
- an analyzer based on abstract interpretation (Value plug-in);
- a program proof framework based on weakest precondition calculus (WP plug-in);
- a program slicer (Slicing plug-in);
- a tool for verification of temporal (LTL) properties (Aora? plug-in);
- several tools for code base exploration and dependency analysis (plug-ins From, Impact, Metrics, Occurrence, Scope, etc.).
These plug-ins communicate between each other via the Frama-C API and via ACSL (ANSI/ISO C Specification Language) properties.
This package provides the library of Frama-c which is useful to build plugins for Frama-c, the command-line tools, and the graphical interface.
There are three methods to install frama-c-base on Debian 12. We can use apt-get, apt and aptitude. In the following sections we will describe each method. You can choose one of them.
Install frama-c-base Using apt-get
Update apt database with apt-get using the following command.
sudo apt-get update
After updating apt database, We can install frama-c-base using apt-get by running the following command:
sudo apt-get -y install frama-c-base
Install frama-c-base Using apt
Update apt database with apt using the following command.
sudo apt update
After updating apt database, We can install frama-c-base using apt by running the following command:
sudo apt -y install frama-c-base
Install frama-c-base Using aptitude
If you want to follow this method, you might need to install aptitude first since aptitude is usually not installed by default on Debian. Update apt database with aptitude using the following command.
sudo aptitude update
After updating apt database, We can install frama-c-base using aptitude by running the following command:
sudo aptitude -y install frama-c-base
How To Uninstall frama-c-base on Debian 12
To uninstall only the frama-c-base package we can use the following command:
sudo apt-get remove frama-c-base
Uninstall frama-c-base And Its Dependencies
To uninstall frama-c-base and its dependencies that are no longer needed by Debian 12, we can use the command below:
sudo apt-get -y autoremove frama-c-base
Remove frama-c-base Configurations and Data
To remove frama-c-base configuration and data from Debian 12 we can use the following command:
sudo apt-get -y purge frama-c-base
Remove frama-c-base configuration, data, and all of its dependencies
We can use the following command to remove frama-c-base configurations, data and all of its dependencies, we can use the following command:
sudo apt-get -y autoremove --purge frama-c-base
Dependencies
frama-c-base have the following dependencies:
References
Summary
In this tutorial we learn how to install frama-c-base package on Debian 12 using different package management tools: apt, apt-get and aptitude.
