Salehin-Sammo/Smart_Contract_Audit

# 智能合约审计系统 一个用于**审计 Solidity 智能合约**并通过静态分析进行检测的 Web 平台，作为斯威本科技大学（Swinburne University of Technology）的网络安全项目开发。 ## 概述 上传 Solidity 合约即可获得结构化的安全审计报告。系统会对提交的合约运行 **[Slither](https://github.com/crytic/slither)** 静态分析引擎，检测常见的漏洞模式，并将审计报告持久化存储到关系型数据库中，以便日后审查。 ## 功能 - 通过 **Slither** 分析工具进行 Solidity 智能合约审计 - 用于合约提交和报告查看的 React 前端 - 包含服务端审计逻辑的 Node.js / API 后端 - 审计报告存储在关系型数据库中 - 包含用于测试的示例合约 (`ActivityPool.sol`) ## 结构 | 路径 | 描述 | |---|---| | `client/` | React 前端 | | `server/` | 后端 API 和 Slither 集成 | | `Testing .sol Files/` | 用于审计测试的示例 Solidity 合约 | | `Screenshot Website/` | UI 截图 | ## 技术栈 `Solidity` · `Slither` · `React.js` · `Node.js` · `Express` · `SQL`

标签：GNU通用公共许可证, MITM代理, Node.js, React, Solidity, Syscalls, 云安全监控, 区块链安全, 多线程, 智能合约审计, 静态分析