How to Install and Uninstall cbmc Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: November 07,2024

You can also install and uninstall the cbmc on the following distributions in the same way, as they are all based on the Ubuntu system

Kubuntu 22.04 LTS
Lubuntu 22.04 LTS
Xubuntu 22.04 LTS
Ubuntu MATE 22.04 LTS
Ubuntu Studio 22.04 LTS
Pop!_OS 22.04 LTS
Zorin OS 16 / Zorin OS 17
Ubuntu Budgie 22.04

1. Install "cbmc" package

Learn how to install cbmc on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                cbmc
            
                    
    
    Copied

2. Uninstall "cbmc" package

Please follow the instructions below to uninstall cbmc on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cbmc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the cbmc package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: cbmc
Architecture: amd64
Version: 5.12-5
Priority: extra
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 67287
Depends: gcc, libc6 (>= 2.29), libgcc-s1 (>= 3.4), libstdc++6 (>= 9), minisat
Suggests: gdb
Filename: pool/universe/c/cbmc/cbmc_5.12-5_amd64.deb
Size: 18057108
MD5sum: a8af1af7545fe60c1fe6ad0c80bffe0f
SHA1: 955444f728bae2e6fe0287c3b8b9c5f3d95c51f6
SHA256: be7e049151cacb7511ebff2003ebc5e2d0f761cf705b6773eee0837ead94155a
SHA512: ceab949d48c0dbe7fe2d23849d29795f9cf964d98fc244f03053e60c4c1cb26c6bf629adeea959a718bd9f0d22f99a7fcdab61867198f445523f9f3c3e389285
Homepage: http://www.cprover.org/cbmc/
Description: bounded model checker for C and C++ programs
Description-md5: 2c892fdd5142036595dc17775271afad