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