eba

EBA: эффективный поиск ошибок для C

EBA-это прототип ошибок для C для C, основанный на анализе побочных эффектов и проверке модели.

На данный момент вы можете использовать его, чтобы найти ошибки с двойным блоком в ядре Linux, например:

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

Скрипт найдет все исходные файлы C под drivers/ , вызовите на них 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