ebaダウンロードebaソースコードのダウンロード

ダウンロード

EBA：cの効果的なバグファインダー

EBAは、副作用分析とモデルチェックに基づいて、Cのプロトタイプバグファインダーです。

今のところ、Linuxカーネルでダブルロックバグを見つけるために使用できます。

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

スクリプトは、 drivers/の下にすべてのCソースファイルを見つけ、それらのCPPを呼び出し、EBAを呼び出して潜在的なダブルロックを見つけます。我慢してください、これには数時間かかる場合があります。

EBAがpath/to/file.cでいくつかの潜在的なバグを見つけた場合、 _eba/path/to/file.warnでバグトレースを書き込みます：

 find _eba/ -iname '*.warn'

副作用分析とモデルチェックを組み合わせて、詳細についてはWebサイトを確認してください：http：//www.iagoabal.eu/eba/

はい、それは本当にそうです、詳細については、ウェブサイトをチェックしてください：http：//www.iagoabal.eu/eba/

インストール手順を参照してください。

テストを実行したい場合は、 PIPを使用して、 Cramをインストールする必要があります。

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

EBAを$パスのどこかに配置する必要があります。

 cram test/*.t

拡大する

追加情報