How To Install frama-c on Debian 9

In this tutorial we learn how to install frama-c on Debian 9. frama-c is Platform dedicated to the analysis of source code written in C

Introduction

In this tutorial we learn how to install frama-c on Debian 9.

What is frama-c

frama-c 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 graphical user interface of Frama-c and depends on frama-c-base.

There are three methods to install frama-c on Debian 9. 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 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 using apt-get by running the following command:

sudo apt-get -y install frama-c

Install frama-c Using apt

Update apt database with apt using the following command.

sudo apt update

After updating apt database, We can install frama-c using apt by running the following command:

sudo apt -y install frama-c

Install frama-c 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 using aptitude by running the following command:

sudo aptitude -y install frama-c

How To Uninstall frama-c on Debian 9

To uninstall only the frama-c package we can use the following command:

sudo apt-get remove frama-c

Uninstall frama-c And Its Dependencies

To uninstall frama-c and its dependencies that are no longer needed by Debian 9, we can use the command below:

sudo apt-get -y autoremove frama-c

Remove frama-c Configurations and Data

To remove frama-c configuration and data from Debian 9 we can use the following command:

sudo apt-get -y purge frama-c

Remove frama-c configuration, data, and all of its dependencies

We can use the following command to remove frama-c configurations, data and all of its dependencies, we can use the following command:

sudo apt-get -y autoremove --purge frama-c

Dependencies

frama-c have the following dependencies:

References

Summary

In this tutorial we learn how to install frama-c package on Debian 9 using different package management tools: apt, apt-get and aptitude.