frama-c software package provides Framework for source code analysis of software written in C, you can install in your Ubuntu 16.10 (Yakkety Yak) by running the commands given below on the terminal,
$ sudo apt-get update $ sudo apt-get install frama-c
frama-c is installed in your system.
Make ensure the frama-c package were installed using the commands given below,
$ sudo dpkg-query -l | grep frama-c *
You will get with frama-c package name, version, architecture and description in a table
| Distro | Ubuntu 16 10 yakkety yak |
| Section | Mathematics |
| Package | frama-c |
| Version | 20151002+magnesium+dfsg-1build |
| Description | Framework for source code analysis of software written in C |
| Sub Section | math |
I'm very pleased to share my working experience in the Linux field and have posted articles in this website — bits and pieces learned throughout my career.
