eba
ve bug-finder EBA, version 0.1
EBA عبارة عن مكتشف أخطاء النموذج الأولي لـ C استنادًا إلى تحليل التأثير الجانبي وتفريق النماذج.
في الوقت الحالي ، يمكنك استخدامه للعثور على أخطاء مزدوجة في kernel 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
