WANA: Symbolic Execution of Wasm Bytecode for Cross-Platform Smart Contract Vulnerability Detection

Understand

Many popular blockchain platforms are supporting smart contracts for building decentralized applications.

• However, the vulnerabilities within smart contracts have led to serious financial loss to their end users.
• For the EOSIO blockchain platform, effective vulnerability detectors are still limited.
• Furthermore, existing vulnerability detection tools can only support one blockchain platform.