SPrune: A Code Pruning Tool for Ethereum Solidity Contract Static Analysis.

Zihan Zhou Yan Xiong Wenchao Huang Lu Ma

Published in: BigCom (2020)

Keyphrases

static analysis
source code
dynamic analysis
malicious code
symbolic execution
java card
regular expressions
abstract interpretation
artificial intelligence
test suite
test generation
database
database systems
search space
third party
program understanding