SUPA

SUPA: Analisis penunjuk berbasis aliran nilai yang didorong oleh permintaan

Kode sumber SUPA kini telah digabungkan ke SVF.

1. Unduh kode sumber SVF

2. Bangun SVF dengan mengikuti https://github.com/svf-tools/SVF/wiki/Setup-Guide#getting-started

3. Menjalankan SUPA dengan bin/dvf yang dapat dieksekusi

• 3.1 SUPA yang sensitif terhadap aliran (mengkueri nilai titik-ke dari semua penunjuk dalam suatu program)

 dvf -dfs -query=all -flowbg=10000 example.bc

• 3.2 SUPA yang peka terhadap aliran dan konteks (mengkueri nilai titik-ke dari semua penunjuk fungsi dalam suatu program)

 dvf -cxt -query=funptr -maxcxt=3 -flowbg=10000 -cxtbg=10000 example.bc

Pilihan	Keterangan
-pertanyaan	tentukan serangkaian kueri untuk analisis berdasarkan permintaan)
-dfs	analisis sensitif aliran dan lapangan
-cxt	analisis konteks, aliran, dan peka lapangan
-aliranbg	anggaran analisis peka aliran (jumlah traversal tepi aliran nilai)
-cxtbg	anggaran analisis peka konteks (jumlah traversal tepi aliran nilai)
-makscxt	k-membatasi sensitivitas konteks
-stat	mencetak statistik
-cetak-kueri-pts	mencetak poin-ke

Referensi:

Yulei Sui dan Jingling Xue. Analisis Pembaruan Kuat Sesuai Permintaan melalui Penyempurnaan Aliran Nilai Simposium Internasional ACM SIGSOFT tentang Landasan Rekayasa Perangkat Lunak (FSE '16)

Yulei Sui dan Jingling Xue. Analisis Pointer Berbasis Permintaan Berbasis Aliran Nilai untuk C dan C++, Transaksi IEEE pada Rekayasa Perangkat Lunak (TSE'18)