onlyrahimsec/Web3-Smart-Contract-Scanner

# Web3 智能合约漏洞扫描器 一款专为以太坊智能合约设计的高性能自动化安全审计工具。该应用程序在隔离的 Docker 容器内利用 Slither 静态分析框架来识别 Solidity 源代码中的关键安全缺陷。 ## 技术架构 扫描器作为一个基于 Python 的编排层运行，与专用的安全引擎通信。通过使用 Docker，该工具确保一致的执行环境。 ## 部署与安装 ### 1. 获取仓库 初始化 Git 并克隆项目目录： ``` git clone [https://github.com/onlyrahimsec/Web3-Smart-Contract-Scanner.git](https://github.com/onlyrahimsec/Web3-Smart-Contract-Scanner.git) cd Web3-Smart-Contract-Scanner pip install --upgrade customtkinter docker pull trailofbits/eth-security-toolbox python gui.py ```

标签：Docker, EthSec, Python, Slither, Solidity, Taint Analysis, Web3, 云安全监控, 以太坊, 区块链安全, 合约漏洞扫描, 安全防御评估, 容器化安全, 整数溢出, 无后门, 智能合约安全, 智能合约审计, 服务器监控, 符号执行, 自动化安全扫描, 请求拦截, 逆向工具, 重入漏洞, 静态分析