Berita
- Analisis Keamanan Perangkat Lunak Kursus Baru Untuk Analisis dan Verifikasi Kode Pembelajaran dengan SVF untuk kesenangan dan keahlian!
- SVF sekarang mendukung LLVM-16.0.0 dengan pointer buram (disumbangkan oleh Xiao Cheng).
- Modernisasi CMake SVF (disumbangkan oleh Johannes).
- SVF sekarang mendukung LLVM-13.0.0 (terima kasih Shengjie Xu atas bantuannya!).
- Clustering objek yang diterbitkan di koran Oopsla kami sekarang tersedia di SVF
- Hash-consed point-to set yang diterbitkan dalam SAS Paper kami sekarang tersedia di SVF
- Analisis pembelajaran atau pengajaran perangkat lunak? Lihatlah pengajaran SVF!
- SVF sekarang mendukung LLVM-12.0.0 (terima kasih Xiyu Yang atas bantuannya!).
- VSFS Diterbitkan di Kertas CGO kami sekarang tersedia di SVF
- Typeclone yang diterbitkan di Ecoop Paper kami sekarang tersedia di SVF
- SVF sekarang menggunakan satu skrip untuk build -nya. Cukup ketik
source ./build.sh di terminal Anda, itu saja! - SVF sekarang mendukung LLVM-10.0.0!
- Kami berterima kasih kepada BSAUCE karena telah menulis manual pengguna SVF (Link1 dan Link2) dalam bahasa Cina
- SVF sekarang mendukung LLVM-9.0.0 (terima kasih Byungyoung Lee atas bantuannya!).
- SVF sekarang mendukung serangkaian analisis pointer yang sensitif terhadap lapangan.
- Gunakan SVF sebagai lib eksternal untuk proyek Anda sendiri (disumbangkan oleh Hongxu Chen).
- SVF sekarang mendukung LLVM-7.0.0.
- SVF sekarang mendukung Docker. Coba SVF di Docker!
- SVF sekarang mendukung LLVM-6.0.0 (disumbangkan oleh Jack Anthony).
- SVF sekarang mendukung LLVM-4.0.0 (disumbangkan oleh Jared Carlson. Terima kasih Jared dan Will untuk diskusi mendalam mereka tentang memperbarui SVF!)
- SVF sekarang mendukung analisis untuk program C ++.
Dokumentasi
SVF adalah alat analisis nilai aliran statis untuk bahasa berbasis LLVM. SVF (CC'16) dapat melakukan
- AE ( Eksekusi Abstrak ): eksekusi silang domain (ICSE'24), analisis lamban (FSE'24);
- WPA ( Analisis seluruh program ): Field-sensitif (SAS'19), analisis aliran-sensitif (CGO'21, Oopsla'21);
- DDA ( analisis yang digerakkan oleh permintaan ): poin-poin yang peka terhadap aliran-sensitif terhadap konteks-terhadap (FSE'16, TSE'18);
- MSSA ( konstruksi bentuk memori SSA ): daerah memori, efek samping, bentuk SSA (JSS'18);
- Sabre ( Pemeriksaan Kesalahan Memori ): Kebocoran Memori dan Frees Double (ISSTA'12, TSE'14, ICSE'18);
- MTA ( Analisis Program Multithreaded ): Nilai aliran untuk program multithreaded (CGO'16);
- CFL ( Analisis Pembelian-Konteks ): Solver CFL, Grafik dan Tata Bahasa (Oopsla'22, PLDI'23);
- SVFIR dan MemoryModel ( SVFIR ): SVFIR, Abstraksi Memori dan Point-to Data Struktur (SAS'21);
- Grafik: Menghasilkan berbagai grafik , termasuk grafik panggilan, ICFG, grafik hierarki kelas, grafik kendala, grafik aliran nilai untuk analisis statis dan embedding kode (oopsla'20, tosem'21)
Kami merilis kode sumber SVF dengan harapan bermanfaat bagi komunitas open-source. Anda diminta untuk mengakui penggunaan alat dengan merujuk atau mengutip publikasi yang relevan di atas.
Dokumen doxygen SVF tersedia di sini.
| Tentang SVF | Panduan Pengaturan | Panduan Pengguna | Panduan Pengembang |
|---|
 |  |  |  |
| Memperkenalkan SVF - apa yang dilakukannya dan bagaimana kami mendesainnya | Panduan Pengaturan Langkah demi Langkah untuk Membangun SVF | Opsi baris perintah untuk menjalankan SVF, mendapatkan output analisis, dan menguji SVF dengan contoh atau ptaben | Dokumentasi teknis terperinci dan cara menulis analisis Anda sendiri di SVF atau menggunakan SVF sebagai lib untuk alat Anda, dan kursus di SVF |
