Cara Install cbmc di Kali Linux

Tutorial ini menjelaskan cara install cbmc di Kali Linux

Pengenalan

Di tutorial ini kita akan belajar melakukan instalasi cbmc di Kali Linux

Update Database apt

Sebelum kita melakukan instalasi paket cbmc kita akan melakukan update database apt di komputer kita.

Kita bisa melakukan update database apt dengan menggunakan perintah apt-get berikut:

sudo apt-get update

Perintah alternatif untuk update database apt menggunakan perintah apt:

sudo apt update

Alternatif terakhir menggunakan perintah aptitude untuk mengupdate database apt:

sudo aptitude update

Cara Install cbmc di Kali Linux

Setelah database apt di komputer kita terupdate, kita bisa melakukan instalasi paket cbmc.

Ada tiga metode instalasi cbmc yang bisa anda gunakan yaitu menggunakan apt-get, apt dan aptitude.

Install cbmc Menggunakan apt-get

sudo apt-get -y install cbmc

Install cbmc Menggunakan apt

sudo apt -y install cbmc

Install cbmc Menggunakan aptitude

sudo aptitude -y install cbmc

Cara Uninstall cbmc di Kali Linux

Untuk melakukan uninstall hanya paket cbmc kita bisa menggunakan perintah berikut:

sudo apt-get remove cbmc

Uninstall cbmc dan paket-paket dependesi

Untuk melakukan uninstall cbmc dan paket-paket dependensi yang sudah tidak dibutuhkan Kali Linux kita bisa menggunakan perintah berikut:

sudo apt-get autoremove cbmc

Menghapus Konfigurasi dan/atau data cbmc dari Kali Linux

Untuk menghapus konfigurasi dan/atau data berkaitan dengan cbmc dari Kali Linux kita bisa menggunakan perintah berikut:

sudo apt-get purge cbmc

Menghapus konfigurasi dan/atau data dan seluruh dependensi paket cbmc

Untuk menghapus konfigurasi dan/atau data dan seluruh dependensi paket cbmc kita bisa menggunakan perintah berikut:

sudo apt-get autoremove --purge cbmc