eba

EBA：C的有效錯誤查找器

EBA是基於副效應分析和模型檢查的原型錯誤查找器。

目前，您可以使用它在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'

它如何工作？

它結合了副作用分析和模型檢查，請查看網站以獲取更多信息：http：//www.iagoabal.eu/eba/

真的找到錯誤嗎？

是的，確實確實如此，請查看網站以獲取更多信息：http：//www.iagoabal.eu/eba/

安裝

請參閱安裝說明。

運行測試

如果要運行測試，則需要安裝CRAM ，例如使用PIP ：

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

您應該將EBA放在您的$路徑中：

 cram test/*.t