How to Install and Uninstall frama-c-base Package on Kali Linux

Last updated: May 20,2024

1. Install "frama-c-base" package

Learn how to install frama-c-base on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                frama-c-base
            
                    
    
    Copied

2. Uninstall "frama-c-base" package

In this section, we are going to explain the necessary steps to uninstall frama-c-base on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                frama-c-base
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the frama-c-base package on Kali Linux

Package: frama-c-base
Source: frama-c (20220511-manganese-5)
Version: 20220511-manganese-5+b5
Installed-Size: 252671
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Depends: libc6 (>= 2.35), libcairo2 (>= 1.12.0), libfontconfig1 (>= 2.12.6), libfreetype6 (>= 2.2.1), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.36.0), libgmp10 (>= 2:6.3.0+dfsg), libgtk-3-0 (>= 3.11.5), libgtksourceview-3.0-1 (>= 2.91.4), libpango-1.0-0 (>= 1.22.0), libpangocairo-1.0-0 (>= 1.22.0), libcairo2-ocaml-uvn20, libfindlib-ocaml-449z9, liblablgtk3-ocaml-oh775, liblablgtksourceview3-ocaml-6vnq1, libppx-deriving-ocaml-qsyd4, libresult-ocaml-mx0o3, libstdlib-ocaml-ep7y0, libyojson-ocaml-027y9, libzarith-ocaml-zlfv4, perl:any, libocamlgraph-ocaml-dev, libppx-import-ocaml, gcc, python3
Recommends: alt-ergo, why3
Size: 54788160
SHA256: 7b261f8a45f4196d27e2fab0f64480eda76c77909fbd2f82e64ff70002054ed8
SHA1: fa46864ae32294b1f89ed0c841385c7adfb1b54b
MD5sum: 34331687fe422e83db9c45612a866145
Description: Platform dedicated to the analysis of source code written in C
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.
Description-md5:
Homepage: https://frama-c.com
Tag: devel::testing-qa, interface::graphical, interface::x11, role::program,
uitoolkit::gtk, uitoolkit::ncurses, x11::application
Section: devel
Priority: optional
Filename: pool/main/f/frama-c/frama-c-base_20220511-manganese-5+b5_amd64.deb