wassail

Berpesta pora

wassail (WebAssembly Static Analyzer dan Inspection Library) adalah toolkit untuk melakukan analisis statis kelas WebAssembly yang ringan dan berat.

• Versi Web
• Instalasi
• Penggunaan
• Berkontribusi

Versi Web

Bagian Wassail dapat dijalankan di browser web Anda di sini.

Instalasi

0. Instal Opam

1. Jalankan opam install core_unix

2. Jalankan opam install .

Penggunaan

Wassail dapat melakukan sejumlah tugas pada modul WebAssembly, baik dalam representasi tekstual mereka (file .wat ) atau dalam representasi biner mereka ( .wasm )

Daftar impor

$ wassail imports foo.wasm
0	time	i32 - > i32
1	ctime	i32 - > i32
2	roundf	f32 - > f32
...

Listing Exports

$ wassail exports foo.wasm
11563	atof	i32 - > f64
11586	strlen	i32 - > i32
11483	fopen	i32, i32 - > i32
...

Ukuran Bagian Daftar

Ukuran bagian dilaporkan dalam byte.

$ wassail sizes foo.wasm
1962	type
8724	import
13120	func
0	table
0	memory
23	global
1316	export
0	start
9480	elem
2063620	code
507825	data

Menghasilkan grafik panggilan

Untuk menghasilkan grafik panggilan untuk modul foo.dot :

$ wassail callgraph benchmarks/benchmarksgame/fankuchredux.wat foo.dot

Grafik keluaran:

Menghasilkan grafik aliran kontrol

Anda dapat menghasilkan CFG tunggal, misalnya untuk menghasilkan CFG fungsi 1 dari file foo.wat ke foo.dot :

$ wassail cfg foo.wasm 1 foo.dot

Atau Anda dapat menghasilkan semua CFG dalam direktori yang diberikan:

$ wassail cfgs foo.wat out/

Output contoh:

Berkontribusi

Kontribusi dipersilakan! Wassail dilisensikan dalam kondisi lisensi GPLV3.0 dengan klausul penggunaan non-komersial.

Menjalankan tes

$ make test 

Menggunakan Antarmuka Web

Anda dapat mengakses antarmuka web di sini, atau menyusunnya sendiri sebagai berikut:

$ opam install js_of_ocaml js_of_ocaml-ppx
$ make js
$ open js/index.html

Referensi

Publikasi berikut menggunakan Wassail:

• Analisis Aliran Informasi Komposisi untuk Program WebAssembly, SCAM 2020. (PDF, Video)
• Wassail: Perpustakaan Analisis Statis WebAssembly, Proweb 2021.
• Static stack-memelihara pengiris intra-prosedural dari binari WebAssembly, ICSE 2022.
• Pengiris dinamis biner WebAssembly, ICSME 2023.