Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Published May 4, 2022 | Version v1
Software Open

WASAI: Uncovering Vulnerabilities in Wasm Smart Contracts

  • 1. The Hong Kong Polytechnic University
  • 2. Beijing University of Posts and Telecommunications

Description

WASAI is a new concolic fuzzer for uncovering vulnerabilities in Wasm smart contract after tackling several challenging issues. 

Files

ISSTA_22_Artifact.pdf

Files (23.6 MB)

Name Size Download all
md5:1f622abf86f00c9daca225715296752d
153.4 kB Preview Download
md5:d9735ede075212c5a3260f1b24939788
23.4 MB Preview Download