Skip to content

LouisTsai-Csie/awesome-smart-contract-analysis-tools

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

12 Commits
 
 
 
 
 
 

Repository files navigation

awesome-smart-contract-analysis-tools

A curated list of awesome smart contract analysis tools, including static analysis, dynamic analysis, fuzzing, formal verification and more.

The following two papers collected almost all existing smart contract security analysis tools back in 2021. However, the tools mentioned in these papers are now outdated, with some even deprecated, as newer tools have been developed. This repository aims to gather the most up-to-date smart contract security tools across various blockchains and smart contract languages.

S. S. Kushwaha, S. Joshi, D. Singh, M. Kaur and H. -N. Lee, "Ethereum Smart Contract Analysis Tools: A Systematic Review," in IEEE Access, vol. 10, pp. 57037-57062, 2022, doi: 10.1109/ACCESS.2022.3169902.

M. di Angelo and G. Salzer, "A Survey of Tools for Analyzing Ethereum Smart Contracts," 2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON), Newark, CA, USA, 2019, pp. 69-78, doi: 10.1109/DAPPCON.2019.00018.

Content

Tools

Static Analysis

Symbolic Execution

Fuzzing Tools

Formal Verification

Mix

Research

Contributions

Please see Contribution Guideline for more details.

About

A curated list of awesome smart contract analysis tools

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published