Liu, Han and Liu, Chao and Zhao, Wenqi and Jiang, Yu and Sun, Jiaguang
ASE, 2018
S-GRAM: Towards Semantic-Aware Security Auditing for Ethereum Smart Contracts
Subtractive
static analysis
source code => report
Any Ethereum
both