หน้าแรก>การเขียนโปรแกรมที่เกี่ยวข้อง>ซอร์สโค้ดอื่น ๆ
ดาวน์โหลด

SUPA: การวิเคราะห์ตัวชี้ที่ขับเคลื่อนด้วยความต้องการตามกระแสมูลค่า

ตอนนี้ซอร์สโค้ดของ SUPA ได้ถูกรวมเข้ากับ SVF แล้ว

  1. ดาวน์โหลดซอร์สโค้ด SVF

  2. สร้าง SVF ตามhttps://github.com/svf-tools/SVF/wiki/Setup-Guide#getting-started

  3. ใช้งาน SUPA ด้วย bin/dvf ที่ปฏิบัติการได้

  • 3.1 Flow-sensitive SUPA (การสอบถามค่า point-to ของ pointer ทั้งหมดในโปรแกรม) 
 dvf -dfs -query=all -flowbg=10000 example.bc
  • 3.2 SUPA ที่ไวต่อบริบทและการไหล (การสืบค้นค่าชี้ถึงค่าของตัวชี้ฟังก์ชันทั้งหมดในโปรแกรม) 
 dvf -cxt -query=funptr -maxcxt=3 -flowbg=10000 -cxtbg=10000 example.bc
ตัวเลือก คำอธิบาย
-สอบถาม ระบุชุดคำค้นหาสำหรับการวิเคราะห์ที่ขับเคลื่อนด้วยความต้องการ)
-dfs การวิเคราะห์แบบโฟลว์และฟิลด์
-cxt การวิเคราะห์ตามบริบท โฟลว์ และฟิลด์
-flowbg งบประมาณการวิเคราะห์ที่ไวต่อโฟลว์ (จำนวนการข้ามผ่านขอบของโฟลว์ค่า)
-cxtbg งบประมาณการวิเคราะห์ตามบริบท (จำนวนการข้ามผ่านขอบของกระแสค่า)
-maxcxt k-จำกัดบริบทความไว
-stat สถิติการพิมพ์
-พิมพ์แบบสอบถาม-pts พิมพ์ชี้ไปที่


อ้างอิง:

ยูเล่ยซุย และจิงหลิงเสวี่ย การวิเคราะห์การอัปเดตที่แข็งแกร่งตามความต้องการผ่านการปรับแต่งมูลค่ากระแส ACM SIGSOFT International Symposium บนรากฐานของวิศวกรรมซอฟต์แวร์ (FSE '16)

ยูเล่ยซุย และจิงหลิงเสวี่ย การวิเคราะห์ตัวชี้ที่ขับเคลื่อนด้วยอุปสงค์ตามมูลค่าสำหรับ C และ C++, ธุรกรรม IEEE บนวิศวกรรมซอฟต์แวร์ (TSE'18)


ขยาย
ข้อมูลเพิ่มเติม
แอปที่เกี่ยวข้อง
แนะนำสำหรับคุณ
ข้อมูลที่เกี่ยวข้อง ทั้งหมด