How to Install and Uninstall frama-c-base Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: November 26,2024

1. Install "frama-c-base" package

Here is a brief guide to show you how to install frama-c-base on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                frama-c-base
            
                    
    
    Copied

2. Uninstall "frama-c-base" package

This guide covers the steps necessary to uninstall frama-c-base on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                frama-c-base
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the frama-c-base package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: frama-c-base
Priority: extra
Section: universe/devel
Installed-Size: 96744
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Architecture: amd64
Source: frama-c
Version: 20151002+magnesium+dfsg-1build1
Replaces: frama-c (<< 20090902+beryllium+dfsg-1)
Depends: libc6 (>= 2.15), libgmp10, libtinfo5 (>= 6), libfindlib-ocaml-q3hl3, libzarith-ocaml-gmz61, ocaml-base-nox-4.02.3, libocamlgraph-ocaml-dev, gcc
Recommends: alt-ergo, libwhy-coq
Breaks: frama-c (<< 20090902+beryllium+dfsg-1)
Filename: pool/universe/f/frama-c/frama-c-base_20151002+magnesium+dfsg-1build1_amd64.deb
Size: 18763660
MD5sum: c842143e895dce23c3c5e257a585e897
SHA1: 9b9b98c8fd3e0a44e3babb5d9754831993261178
SHA256: 56a0a4c3ab90e6807c212eed9d0bfda8f4dc0aee98c2e710f81489a04a309337
Description-en: Framework for C source code analysis (without gui)
Frama-C is a framework dedicated to the analysis of the source code
of software written in C.
.
Frama-C gathers several static analysis techniques in a single
collaborative framework. The collaborative approach of Frama-C allows
static analyzers to build upon the results already computed by other
analyzers in the framework. Thanks to this approach, Frama-C provides
sophisticated tools, such as a slicer and dependency analysis.
.
It can be used to:
* Validate the source code formally
* Look for potential runtime errors
* Audit or review it
* Reverse engineer it to understand its structure
* Generate formal documentation
.
This package provides the library of Frama-c which is useful to build
plugins for Frama-c and the command-line tools.
Description-md5: 2517b4d57bbd6567329e87e5e3fd931b
Homepage: http://frama-c.com/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu