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

สคริปต์จะค้นหาไฟล์ต้นฉบับ 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