notesum.ai

Published at December 5

WACANA: A Concolic Analyzer for Detecting On-chain Data Vulnerabilities in WASM Smart Contracts

cs.CR

cs.SE

Released Date: December 5, 2024

Authors: Wansen Wang¹, Caichang Tu², Zhaoyi Meng¹, Wenchao Huang², Yan Xiong²

Aff.: ¹Anhui University, China; ²University of Science and Technology of China, China

Arxiv: http://arxiv.org/pdf/2412.03946v1

Refer to caption

Vulnerability	Tool	Precision	Recall	F1-score
Missing Permission Check	WASAI	75.00%	15.79%	0.26
	WANA	/	/	/
	WACANA	100.00%	92.98%	0.96
Rollback	WASAI	100.00%	20.00%	0.33
	WANA	/	/	/
	WACANA	100.00%	85.71%	0.92
Blockchain-info Dependency	WASAI	60.00%	42.86%	0.50
	WANA	100.00%	57.14%	0.72
	WACANA	100.00%	100.00%	1.00
Integer Overflow	WASAI	/	/	/
	WANA	/	/	/
	WACANA	100.00%	77.36%	0.87