eba

EBA: pencari bug yang efektif untuk c

EBA adalah pencari bug prototipe untuk C berdasarkan analisis efek samping dan pemeriksaan model.

Untuk saat ini, Anda dapat menggunakannya untuk menemukan bug kunci ganda di kernel Linux, misalnya:

 git clone --depth=1 https://github.com/torvalds/linux.git
cd linux
make allyesconfig
scripts/eba-linux.sh drivers/net

Script akan menemukan semua file sumber C di bawah drivers/ , hubungi CPP di atasnya, dan hubungi EBA untuk menemukan kunci ganda potensial. Bersabarlah, ini mungkin memakan waktu beberapa jam.

Jika EBA menemukan beberapa bug potensial di path/to/file.c , itu akan menulis jejak bug di _eba/path/to/file.warn :

 find _eba/ -iname '*.warn'

Bagaimana cara kerjanya?

Ini menggabungkan analisis efek samping dan model-checking, periksa situs web untuk info lebih lanjut: http://www.iagoabal.eu/eba/

Apakah itu benar -benar menemukan bug?

Ya, memang benar, periksa situs web untuk info lebih lanjut: http://www.iagoabal.eu/eba/

Instalasi

Lihat instruksi instalasi.

Menjalankan tes

Jika Anda ingin menjalankan tes, Anda harus menginstal Cram , misalnya menggunakan PIP :

 sudo apt-get install python-pip
sudo pip install cram

Anda harus menempatkan EBA di suatu tempat di jalur $ Anda:

 cram test/*.t