SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool Paper)
- 1 October 2022
- book chapter
- Published by Springer Nature
- p. 244-250
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts2019
- Verification of Smart Contract Business Logic2019
- NeuCheck: A more practical Ethereum smart contract security analysis toolSoftware: Practice and Experience, 2019
- Slither: A Static Analysis Framework for Smart Contracts2019
- Securify2018
- KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine2018
- SmartCheck2018
- Towards verifying ethereum smart contract bytecode in Isabelle/HOL2018
- ZEUS: Analyzing Safety of Smart Contracts2018
- Making Smart Contracts Smarter2016