Logo
Project Icon

slither

智能合约静态分析框架 检测漏洞提升代码质量

Slither智能合约静态分析漏洞检测SolidityGithub开源项目

Slither是一个开源的智能合约静态分析框架,支持Solidity和Vyper语言。它能够检测常见漏洞,生成合约报告,并允许开发自定义分析。Slither具有低误报、快速分析、易于集成等特点,可帮助开发者提高代码质量,增强对合约的理解。该工具支持Solidity 0.4及以上版本,平均分析时间不到1秒。

访问官网访问官网GithubGithub文档文档论文论文
介绍相关项目
sliver - 开源红队框架 支持多平台和多种C2通信方式
C2通信GithubSliver安全测试开源工具开源项目红队框架
Sliver是一款开源的跨平台红队框架，适用于各类组织的安全测试。该框架支持mTLS、WireGuard、HTTP(S)和DNS等多种C2通信方式，具备动态代码生成和编译时混淆功能。Sliver提供分阶段和无阶段payload，支持Windows进程操作，并可通过JavaScript或Python进行脚本化。此外，它还集成了Let's Encrypt，支持.NET程序集内存执行和COFF/BOF加载。
CodeThreat - 智能化静态应用安全测试方案
AI工具AI技术CodeThreatSAST代码安全分析软件开发
CodeThreat专注于静态应用安全测试（SAST）领域，提供智能化解决方案。其核心优势在于全面准确的代码分析和低误报率。该方案支持DevSecOps实践，能快速发现并修复代码安全问题，从而增强应用程序整体安全性。平台界面直观易用，文档完善，适合不同规模的组织采用。
solidity - 面向以太坊智能合约的高级编程语言
GithubSolidity以太坊开源项目智能合约编程语言
Solidity是专为以太坊虚拟机设计的智能合约编程语言。它支持静态类型检查、继承和复杂数据结构，使开发者能够高效创建各类区块链应用。该开源项目提供完善的文档和示例，助力智能合约开发，是区块链技术生态中的关键组成部分。
sourcery - 即时AI代码审查工具，提升代码质量和开发效率
Sourcery是一款自动化代码审查工具，旨在加速审查过程、提高代码质量并节省时间。它为GitHub上的所有拉取请求提供即时反馈，包括更改摘要、整体反馈和逐行建议。Sourcery还可作为IDE中的编程助手，帮助理解代码、添加单元测试和文档，以及优化代码的可读性和性能。支持PyCharm、VS Code、Sublime和Vim等多种编辑器。
static-analysis - 综合静态分析工具库助力代码质量提升
Github代码质量多语言支持安全检查开源工具开源项目静态分析
static-analysis项目汇集了适用于各类编程语言、构建工具和配置文件的静态分析工具,重点收录代码检查器和格式化工具等提升代码质量的工具。项目官网analysis-tools.dev在此基础上增添了工具排名、用户评论及视频等扩展资源。涵盖ABAP至YAML等多种语言,同时覆盖容器、安全等领域,为开发者提供了全面的静态代码分析工具参考。
semgrep - 多语言代码扫描工具 快速检测漏洞并执行标准
GithubSemgrep代码扫描安全漏洞检测开源软件开源项目静态分析
Semgrep是一款快速开源的静态分析工具，支持30多种编程语言。它使用简单的类代码规则语法，无需复杂的抽象语法树或正则表达式。Semgrep可在编辑器、代码提交和CI阶段进行代码搜索、bug检测和标准执行。该工具提供社区版和企业版，包含代码扫描、供应链安全和秘密检测功能，可在本地或CI/CD环境中部署，有效提升代码质量和安全性。
Viper - 开源内网渗透工具 集成多种攻击模块的可视化平台
GithubViper内网渗透安全开源项目渗透测试红队工具
Viper是一款开源的图形化内网渗透平台，集成了70多个覆盖完整攻击链的模块。该工具提供杀软绕过、内网隧道、文件管理等功能，支持在浏览器中运行原生msfconsole。Viper的图形界面直观易用，支持多人协作，可简化内网渗透操作流程，提高攻击效率。作为一款全面的内网渗透辅助工具，Viper适用于红队工程师及网络安全研究人员。
ZeroThreat - 高效智能的Web应用和API安全扫描工具
AI工具API安全Web应用安全ZeroThreat漏洞扫描自动化安全测试
ZeroThreat是一款面向Web应用和API的安全扫描工具，支持在CI/CD流程中集成。它使用高级算法进行漏洞检测，包括SQL注入、跨站脚本（XSS）和其他OWASP Top 10安全风险。该工具声称能将手动渗透测试工作量减少90%，并提供90.9%的准确率。ZeroThreat支持多种编程语言和框架，适用于不同规模的开发团队和安全团队。该工具集成了威胁情报功能，可减少外部攻击风险，无需配置即可减少误报，扫描速度比传统方法快5倍。这款工具旨在为开发者和安全专业人员提供高效的网络安全解决方案。
SerpentAI - 强大的游戏代理框架，提供机器学习与AI研究的工具
GithubPythonSerpent.AI开源开源项目机器学习游戏代理框架热门
Serpent.AI是一个简单而强大的游戏代理框架，专为开发者打造，以协助他们利用Python开发视频游戏代理。该框架旨在为机器学习和人工智能研究提供有价值的工具，同时也适合爱好者使用。框架支持少依赖、易于使用，并提供图形用户界面。Serpent.AI支持Linux和Windows系统，采用开源MIT许可证，并探索为非技术用户提供Steam分发。
pylyzer - Rust打造的高速Python代码分析工具
GithubPythonpylyzer开源项目性能语言服务器静态代码分析
pylyzer是一款用Rust开发的Python静态代码分析工具，具有显著的性能优势。该工具提供清晰的错误报告和全面的LSP功能，支持类型检查、推断和内置模块解析。pylyzer基于Erg编程语言的类型系统，可作为VSCode扩展使用，为Python开发者提供高效的代码分析体验。
相关项目
项目侧边栏1项目侧边栏2
推荐项目
Project Cover

豆包MarsCode

豆包 MarsCode 是一款革命性的编程助手，通过AI技术提供代码补全、单测生成、代码解释和智能问答等功能，支持100+编程语言，与主流编辑器无缝集成，显著提升开发效率和代码质量。

Project Cover

AI写歌

Suno AI是一个革命性的AI音乐创作平台，能在短短30秒内帮助用户创作出一首完整的歌曲。无论是寻找创作灵感还是需要快速制作音乐，Suno AI都是音乐爱好者和专业人士的理想选择。

Project Cover

白日梦AI

白日梦AI提供专注于AI视频生成的多样化功能，包括文生视频、动态画面和形象生成等，帮助用户快速上手，创造专业级内容。

Project Cover

有言AI

有言平台提供一站式AIGC视频创作解决方案，通过智能技术简化视频制作流程。无论是企业宣传还是个人分享，有言都能帮助用户快速、轻松地制作出专业级别的视频内容。

Project Cover

Kimi

Kimi AI助手提供多语言对话支持，能够阅读和理解用户上传的文件内容，解析网页信息，并结合搜索结果为用户提供详尽的答案。无论是日常咨询还是专业问题，Kimi都能以友好、专业的方式提供帮助。

Project Cover

讯飞绘镜

讯飞绘镜是一个支持从创意到完整视频创作的智能平台，用户可以快速生成视频素材并创作独特的音乐视频和故事。平台提供多样化的主题和精选作品，帮助用户探索创意灵感。

Project Cover

讯飞文书

讯飞文书依托讯飞星火大模型，为文书写作者提供从素材筹备到稿件撰写及审稿的全程支持。通过录音智记和以稿写稿等功能，满足事务性工作的高频需求，帮助撰稿人节省精力，提高效率，优化工作与生活。

Project Cover

阿里绘蛙

绘蛙是阿里巴巴集团推出的革命性AI电商营销平台。利用尖端人工智能技术，为商家提供一键生成商品图和营销文案的服务，显著提升内容创作效率和营销效果。适用于淘宝、天猫等电商平台，让商品第一时间被种草。

Project Cover

AIWritePaper论文写作

AIWritePaper论文写作是一站式AI论文写作辅助工具，简化了选题、文献检索至论文撰写的整个过程。通过简单设定，平台可快速生成高质量论文大纲和全文，配合图表、参考文献等一应俱全，同时提供开题报告和答辩PPT等增值服务，保障数据安全，有效提升写作效率和论文质量。

使用协议隐私政策广告服务
投诉举报邮箱: service@vectorlightyear.com
@2024 懂AI·鲁ICP备2024100362号-6·鲁公网安备37021002001498号