Smartcheck: Static analysis of ethereum smart contracts

Sergei Tikhomirov, Ekaterina V oskresenskaya, Ivan Ivanitskiy, Ramil Takhaviev, Evgeny Marchenko, Yaroslav Alexandrov · 2018

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

representative citing papers

cs.CR · 2019-06-25 · unverdicted · novelty 7.0

EVulHunter is the first static analysis tool for automatically detecting fake-transfer vulnerabilities in EOSIO WebAssembly smart contract code.

Showing 1 of 1 citing paper.

EVulHunter: Detecting Fake Transfer Vulnerabilities for EOSIO's Smart Contracts at Webassembly-level cs.CR · 2019-06-25 · unverdicted · none · ref 11
EVulHunter is the first static analysis tool for automatically detecting fake-transfer vulnerabilities in EOSIO WebAssembly smart contract code.