SVF

ข่าว

• การวิเคราะห์ความปลอดภัยของซอฟต์แวร์หลักสูตรใหม่สำหรับการวิเคราะห์รหัสการเรียนรู้และการตรวจสอบด้วย SVF เพื่อความสนุกสนานและความเชี่ยวชาญ!
• ตอนนี้ SVF รองรับ LLVM-16.0.0 ด้วยพอยน์เตอร์ทึบแสง (สนับสนุนโดย Xiao Cheng)
• ทำให้ CMake ของ SVF ทันสมัย ​​(สนับสนุนโดยโยฮันเนส)
• ตอนนี้ SVF รองรับ LLVM -13.0.0 (ขอบคุณ Shengjie Xu สำหรับความช่วยเหลือของเขา!)
• การจัดกลุ่มวัตถุที่เผยแพร่ในกระดาษ oopsla ของเรามีอยู่ใน SVF
• จุดต่อจุดที่ได้รับการรับรองแฮชที่ตีพิมพ์ใน SAS Paper ของเรามีให้บริการใน SVF แล้ว
• การเรียนรู้การเรียนรู้ซอฟต์แวร์การเรียนรู้? ตรวจสอบการสอน SVF!
• ตอนนี้ SVF รองรับ LLVM-12.0.0 (ขอบคุณ Xiyu Yang สำหรับความช่วยเหลือของเธอ!)
• VSF ที่เผยแพร่ในกระดาษ CGO ของเรามีวางจำหน่ายแล้วใน SVF
• TypecLone ที่เผยแพร่ใน Ecoop Paper ของเรามีให้บริการใน SVF แล้ว
• ตอนนี้ SVF ใช้สคริปต์เดียวสำหรับการสร้าง เพียงพิมพ์ source ./build.sh ในเทอร์มินัลของคุณนั่นมัน!
• ตอนนี้ SVF รองรับ LLVM-10.0.0!
• เราขอขอบคุณ BSAUCE สำหรับการเขียนคู่มือผู้ใช้ของ SVF (Link1 และ Link2) ในภาษาจีน
• ตอนนี้ SVF รองรับ LLVM-9.0.0 (ขอบคุณ Byoungyoung Lee สำหรับความช่วยเหลือของเขา!)
• ตอนนี้ SVF รองรับชุดของการวิเคราะห์ตัวชี้ที่ไวต่อฟิลด์
• ใช้ SVF เป็น LIB ภายนอกสำหรับโครงการของคุณเอง (สนับสนุนโดย Hongxu Chen)
• ตอนนี้ SVF รองรับ LLVM-7.0.0
• ตอนนี้ SVF รองรับ Docker ลอง SVF ใน Docker!
• ตอนนี้ SVF รองรับ LLVM-6.0.0 (สนับสนุนโดย Jack Anthony)
• ตอนนี้ SVF รองรับ LLVM-4.0.0 (สนับสนุนโดย Jared Carlson ขอบคุณ Jared และ Will สำหรับการอภิปรายเชิงลึกเกี่ยวกับการอัปเดต SVF!)
• ตอนนี้ SVF สนับสนุนการวิเคราะห์สำหรับโปรแกรม C ++

เอกสาร

SVF เป็นเครื่องมือวิเคราะห์การไหลของค่าคงที่สำหรับภาษาที่ใช้ LLVM SVF (CC'16) สามารถดำเนินการได้

• AE ( การดำเนินการเชิงนามธรรม ): การดำเนินการข้ามโดเมน (ICSE'24), การวิเคราะห์แบบพิมพ์ (FSE'24);
• WPA ( การวิเคราะห์โปรแกรมทั้งหมด ): ฟิลด์ไว (SAS'19), การวิเคราะห์แบบไหล (CGO'21, OOPSLA'21) การวิเคราะห์;
• DDA ( การวิเคราะห์ที่ขับเคลื่อนด้วยความต้องการ ): การวิเคราะห์จุดที่ไวต่อการไหล, การวิเคราะห์ที่ไวต่อบริบท (fse'16, tse'18);
• MSSA ( การก่อสร้างแบบฟอร์มหน่วยความจำ SSA ): ภูมิภาคหน่วยความจำ, ผลข้างเคียง, รูปแบบ SSA (JSS'18);
• Saber ( การตรวจสอบข้อผิดพลาดของหน่วยความจำ ): การรั่วไหลของหน่วยความจำและ double-frees (iSsta'12, tse'14, icse'18);
• MTA ( การวิเคราะห์โปรแกรมมัลติเธรด ): การไหลของค่าสำหรับโปรแกรมมัลติเธรด (CGO'16);
• CFL ( การวิเคราะห์ความสามารถในการเข้าถึงบริบท ): ตัวแก้ CFL มาตรฐานกราฟและไวยากรณ์ (Oopsla'22, PLDI'23);
• SVFIR และ MemoryModel ( SVFIR ): SVFIR, หน่วยความจำที่เป็นนามธรรมและโครงสร้างจุดต่อข้อมูล (SAS'21);
• กราฟ: การสร้างกราฟที่หลากหลาย รวมถึงกราฟการโทร, ICFG, กราฟลำดับชั้นของคลาส, กราฟข้อ จำกัด , กราฟการไหลของค่าสำหรับการวิเคราะห์แบบคงที่และการฝังรหัส (oopsla'20, tosem'21)

เราปล่อยซอร์สโค้ด SVF ด้วยความหวังว่าจะได้รับประโยชน์จากชุมชนโอเพนซอร์ซ คุณได้รับการร้องขอให้รับทราบการใช้เครื่องมือโดยอ้างถึงหรืออ้างถึงสิ่งพิมพ์ที่เกี่ยวข้องข้างต้น

เอกสาร Doxygen ของ SVF มีอยู่ที่นี่

เกี่ยวกับ SVF	คู่มือการตั้งค่า	คู่มือผู้ใช้	คู่มือนักพัฒนา
แนะนำ SVF - มันทำอะไรและเราออกแบบอย่างไร	คู่มือการตั้งค่าทีละขั้นตอนเพื่อสร้าง SVF	ตัวเลือกบรรทัดคำสั่งเพื่อเรียกใช้ SVF รับเอาต์พุตการวิเคราะห์และทดสอบ SVF ด้วยตัวอย่างหรือ PTABEN	เอกสารทางเทคนิคโดยละเอียดและวิธีการเขียนการวิเคราะห์ของคุณเองใน SVF หรือใช้ SVF เป็น LIB สำหรับเครื่องมือของคุณและหลักสูตรบน SVF