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

Dong Wang Bo Jiang W. K. Chan

Published in: CoRR (2020)

Keyphrases

cross platform
symbolic execution
source code
open source
business applications
test generation
specification language
database
software systems
static analysis
software package
test data generation
databases
information systems