Pith. sign in

REVIEW 3 cited by

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

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2007.15510 v2 pith:OT3XIKSB submitted 2020-07-30 cs.SE

Dong Wang , Bo Jiang , W.K. Chan This is my paper · ORCID
classification cs.SE
keywords smartcontractsvulnerabilitywanablockchainbytecodedetectioneosio
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

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. In this work, we present WANA, a cross-platform smart contract vulnerability detection tool based on the symbolic execution of WebAssembly bytecode. Furthermore, WANA proposes a set of test oracles to detect the vulnerabilities in EOSIO and Ethereum smart contracts based on WebAssembly bytecode analysis. Our experimental analysis shows that WANA can effectively detect vulnerabilities in both EOSIO and Ethereum smart contracts with high efficiency.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. OpenAlex reports about 12 citations worldwide. Full citation record

  1. Distinguishability-guided Test Program Generation for WebAssembly Runtime Performance Testing

    cs.SE 2024-12 conditional novelty 6.0 of 10

    WarpGen generates issue-triggering WebAssembly test programs by recombining historical abnormal code snippets with random seeds, using a distinguishability score to guide search, and finds seven previously unknown run...

  2. SmartLLMSentry: A Comprehensive LLM Based Smart Contract Vulnerability Detection Framework

    cs.CR 2024-11 conditional novelty 4.0 of 10

    A fine-tuned GPT-3.5 model generated static analysis detector conditions for five smart contract vulnerability classes with 92.1% exact match on a 38-sample test set.

  3. An Empirical Analysis of EOS Blockchain: Architecture, Contract, and Security

    cs.CR 2025-05 conditional novelty 3.0 of 10

    An empirical and survey-based analysis of EOS blockchain finds decentralization issues and a wide gap between claimed and actual transaction throughput.

Pith tools