How To Install boogie on Kali Linux

In this tutorial we learn how to install boogie on Kali Linux. boogie is verifiable programming language (compiler)

Introduction

In this tutorial we learn how to install boogie on Kali Linux.

What is boogie

boogie is:

Boogie is a compiler intermediate language with support for automatic invariant checking using an SMT solver such as Z3. It supports program verification for a variety of other, higher-level languages, including Spec#, C, Dafny, and Chalice.

This package contains the Boogie compiler, as well as bvd, the Boogie Verification Debugger.

There are three methods to install boogie on Kali Linux. We can use apt-get, apt and aptitude. In the following sections we will describe each method. You can choose one of them.

Install boogie Using apt-get

Update apt database with apt-get using the following command.

sudo apt-get update

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

sudo apt-get -y install boogie

Install boogie Using apt

Update apt database with apt using the following command.

sudo apt update

After updating apt database, We can install boogie using apt by running the following command:

sudo apt -y install boogie

Install boogie Using aptitude

If you want to follow this method, you might need to install aptitude on Kali Linux first since aptitude is usually not installed by default on Kali Linux. Update apt database with aptitude using the following command.

sudo aptitude update

After updating apt database, We can install boogie using aptitude by running the following command:

sudo aptitude -y install boogie

How To Uninstall boogie on Kali Linux

To uninstall only the boogie package we can use the following command:

sudo apt-get remove boogie

Uninstall boogie And Its Dependencies

To uninstall boogie and its dependencies that are no longer needed by Kali Linux, we can use the command below:

sudo apt-get -y autoremove boogie

Remove boogie Configurations and Data

To remove boogie configuration and data from Kali Linux we can use the following command:

sudo apt-get -y purge boogie

Remove boogie configuration, data, and all of its dependencies

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

sudo apt-get -y autoremove --purge boogie

Dependencies

boogie have the following dependencies:

References

Summary

In this tutorial we learn how to install boogie package on Kali Linux using different package management tools: apt, apt-get and aptitude.