aderyn:Aderyn是一款开源的Solidity智能合约静态分析器。它无需配置即可分析Foundry和Hardhat项目,帮助发现代码中的漏洞。支持生成Markdown、JSON和Sarif报告,并为官方VSCode扩展提供支持。;E2B:E2B是一个开源基础设施,支持在安全的云端隔离沙盒中运行AI生成的代码。它提供JavaScript和Python SDK来启动和控制这些用于AI应用的沙盒。
审计Solidity智能合约中的安全漏洞。
执行大型语言模型(LLM)生成的代码