wassail

痛飲

wassail （WebAssembly靜態分析儀和檢查庫）是對WebAssembly模塊進行輕量級和重量級靜態分析的工具包。

• Web版本
• 安裝
• 用法
• 貢獻

Web版本

Wassail的一部分可以在您的網絡瀏覽器中運行。

安裝

0. 安裝OPAM

1. 運行opam install core_unix

2. 運行opam install .

用法

Wassail可以在WebAssembly模塊上執行許多任務，包括其文本表示（ .wat文件）或其二進製表示（ .wasm ）

列表導入

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

列表出口

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

清單部分大小

截面大小在字節中報告。

$ 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

生成呼叫圖

為了生成模塊foo.dot的呼叫圖：

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

輸出圖：

生成控制流圖

您可以生成單個CFG，例如foo.dot從file foo.wat中生成函數1的CFG。

$ wassail cfg foo.wasm 1 foo.dot

或者，您可以在給定目錄中生成所有CFG：

$ wassail cfgs foo.wat out/

示例輸出：

貢獻

歡迎捐款！ Wassail在具有非商業用法條款的GPLV3.0許可條件下獲得許可。

運行測試

$ make test 

使用Web界面

您可以在此處訪問Web界面，也可以按以下方式自行編譯：

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

參考

以下出版物使用Wassail：

• WebAssembly程序的組成信息流分析，騙局2020。 （PDF，視頻）
• Wassail：WebAssembly靜態分析庫，ProWeb 2021。
• WebAssembly二進製文件的靜態堆棧具有靜態堆棧內切片，ICSE 2022。
• WebAssembly二進製文件的動態切片，ICSME 2023。