Login / Signup
The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts.
Clara Schneidewind
Markus Scherer
Matteo Maffei
Published in:
ISoLA (3) (2020)
Keyphrases
</>
static analysis
dynamic analysis
source code
symbolic execution
design patterns
regular expressions
abstract interpretation
database
malicious code
java card
test generation
software engineering
case study
anomaly detection
error rate
supply chain
database systems