ดาวน์โหลด bcov - ดาวน์โหลดซอร์สโค้ด bcov

bcov

หมวดหมู่อื่นๆ

1.0.0

ดาวน์โหลด

BCOV

เครื่องมือสำหรับการวิเคราะห์ความครอบคลุมระดับไบนารีที่มีประสิทธิภาพ BCOV Instruments X86-64 ELF Binaries ที่ไม่มีการสนับสนุนคอมไพเลอร์ มันมีคุณสมบัติการตัดแต่งกิ่งการวิเคราะห์ CFG ที่แม่นยำและเทคนิคการใช้เครื่องมือวัดที่ซับซ้อน เราสรุปการวิจัยนี้ในวิดีโอทีเซอร์ 2 นาที

ทรัพยากร

รายละเอียดมีอยู่ในกระดาษ ESEC/FSE'20 ของเรา คุณสามารถค้นหาการพิมพ์ล่วงหน้าเล็กน้อยได้ที่นี่
เรามีโพสต์ในรายการจดหมาย LLVM-DEV มันแนะนำ BCOV สั้น ๆ และพูดคุยถึงการทำงานในอนาคตที่อาจเกิดขึ้น
โพสต์บล็อกนี้อธิบายถึงความพร้อมใช้งานของคำจำกัดความของฟังก์ชั่นในไบนารีที่ถูกถอดออก
คุณสามารถค้นหา ESEC/FSE'20 ของเราได้ที่นี่ เด็คสไลด์ (พร้อมการถอดเสียง) ก็พร้อมใช้งาน
ชุดตัวอย่างของไบนารีที่เราแก้ไขโดยใช้ bcov มีให้ที่นี่ อย่างไรก็ตามชุดมาตรฐานที่สมบูรณ์มีอยู่ในที่เก็บเอกสารสำคัญของเรา

ข้อกำหนดเบื้องต้นของซอฟต์แวร์

ต้องมีแพ็คเกจซอฟต์แวร์ต่อไปนี้:

สาขา Capstone next Commit #C3B4CE1901
master Branch UNICORN #536C4E77C4

รุ่นต่อมาของเฟรมเวิร์กทั้งสองควรทำงานในหลักการ แต่ยังไม่ได้รับการทดสอบ Script install.sh สามารถใช้สำหรับการติดตั้ง

การวิจัยการทำซ้ำ

เราให้บริการ DockerFile ซึ่งติดตั้ง BCOV และดำเนินการทดสอบการวิเคราะห์ความครอบคลุม โปรดชำระเงินสิ่งประดิษฐ์เพิ่มเติมสำหรับรายละเอียดเพิ่มเติม

การใช้งาน

เครื่องมือรองรับโหมดการทำงานต่อไปนี้ซึ่งตั้งค่าโดยใช้ตัวเลือก --mode โหมด (หรือเพียง -m ):

patch . แก้ไขไบนารีที่กำหนด
report . รายงานความครอบคลุมที่ได้รับไบนารีแพตช์และไฟล์ข้อมูลความคุ้มครอง
dump ข้อมูล ทิ้งกราฟโปรแกรมต่าง ๆ สำหรับฟังก์ชั่นที่กำหนด ตัวอย่างเช่นทิ้งต้นไม้ CFG และ Dominator

สามารถออกคำสั่งต่อไปนี้เพื่อแก้ไขไบนารี

bcov -m patch -p any -v 5 -i perl -o perl.any

นโยบายการใช้เครื่องมือสามารถตั้งค่าเป็น any ซึ่งหมายถึงนโยบายโหนดใด ๆ หรือ all ที่อ้างถึงนโยบาย Leaf-Node

ข้อมูลความครอบคลุมสามารถทิ้งได้โดยการฉีด libbcov-rt.so โดยใช้กลไก LD_PRELOAD ตัวอย่างเช่นคุณสามารถลองใช้ตัวอย่างไบนารี perl.any ซึ่งสามารถพบได้ในที่เก็บสิ่งประดิษฐ์

 export BCOV_OPTIONS= " coverage_dir= $PWD "   # sets the directory for dumping coverage data. Defaults to $PWD
export LD_PRELOAD= " [full-path-to-bcov-rt]/libbcov-rt.so "
./perl.any -e ' print "Hello, bcov!n" '

สิ่งนี้จะสร้างไฟล์ดั๊มที่มีส่วนขยาย '.BCOV' ในไดเรกทอรีปัจจุบันของคุณ ไฟล์นี้สามารถส่งไปยัง BCOV สำหรับการรายงานความครอบคลุม

bcov -m report -p any -i ./perl -d perl.any.1588260679.1816.bcov > report.out

ปัจจุบัน BCOV ไม่สามารถคงผลการวิเคราะห์ลงบนดิสก์ได้ ดังนั้นไบนารีดั้งเดิมจะต้องวิเคราะห์อีกครั้งเพื่อรายงานความครอบคลุม ความครอบคลุมจะถูกรายงานสำหรับแต่ละบล็อกพื้นฐานใน report.out ไฟล์ ข้อมูลในแต่ละรายการรายการ:

ที่อยู่ BB
จำนวนคำสั่ง BB
ได้รับการคุ้มครอง
Fallthrough (เช่นไม่สิ้นสุดด้วยสาขา)

นอกจากนี้ยังมีการรายงานสรุปความครอบคลุมสำหรับแต่ละฟังก์ชั่น ตัวอย่างเช่นมันแสดงอัตราส่วนพื้นฐานและอัตราส่วนการครอบคลุมคำสั่ง

สำหรับฟังก์ชั่นที่กำหนดเป็นไปได้ที่จะถ่ายโอนกราฟโปรแกรมต่าง ๆ เช่นกราฟ CFG และ SuperBlock Dominator ตัวอย่างเช่นพิจารณาฟังก์ชั่น S_search_const ใน perl

bcov -m dump -f " S_search_const " -i ./perl

คำสั่งนี้จะทิ้งไฟล์ต่อไปนี้:

func_421d90.cfg.dot CFG ของฟังก์ชั่น
func_421d90.rev.cfg.dot คล้ายกับ CFG แต่มีขอบทั้งหมดกลับด้าน
func_421d90.pre.dom.dot ต้นไม้ที่โดดเด่น
func_421d90.post.dom.dot ต้นไม้ Postdominator
func_421d90.sb.dom.dot กราฟ Superblock Dominator

กราฟถูกทิ้งในรูปแบบจุดมาตรฐานและสามารถดูได้โดยใช้ตัวชม DOT เช่น xdot โปรดดูโพสต์บล็อกนี้สำหรับรายละเอียดเพิ่มเติม

การอ้าง

สำหรับการอ้างอิงในงานวิชาการโปรดใช้:

 @inproceedings{BenKhadra:FSE2020,
address = {Virtual Event, USA},
author = {{Ben Khadra}, M. Ammar and Stoffel, Dominik and Kunz, Wolfgang},
booktitle = {ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE'20},
doi = {10.1145/3368089.3409694},
pages = {1153--1164},
publisher = {ACM Press},
title = {{Efficient Binary-Level Coverage Analysis}},
year = {2020},
month = {nov},
day = {6--13}    
}