Logo
Project Icon

slither

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

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

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

访问官网访问官网GithubGithub文档文档论文论文
介绍相关项目
clair - 开源容器漏洞静态分析工具
ClairGithub容器安全开源项目漏洞分析静态分析
Clair是一款开源的容器安全漏洞静态分析工具，支持OCI和Docker格式。它通过API接口使客户端能够索引容器镜像并检测已知漏洞，提升容器基础设施的安全透明度。Clair专注于容器安全分析，鼓励社区参与，设有邮件列表和IRC频道。项目采用Apache 2.0许可证，完整文档可在官方网站查阅。
vermin - 强大的Python代码版本兼容性分析工具
GithubPythonVermin兼容性开源项目版本检测静态分析
Vermin是一款开源的Python代码分析工具,专门用于检测程序所需的最低Python版本。通过解析抽象语法树和匹配内部规则,它可以识别Python 2.0-2.7和3.0-3.12的语言特性。Vermin能够分析模块、类、函数等多种语言元素,内置了3796条检测规则。此外,它还提供配置文件、多进程分析、lint模式等功能,有助于开发者管理Python项目的版本兼容性。
snake - 人工智能优化的贪吃蛇游戏
AIGithubPythonSnake开源项目性能评估算法
该项目使用Python重写了经典贪吃蛇游戏，重点在于实现和优化人工智能算法。游戏中蛇的目标是不断吃食物并尽快填满地图。项目通过平均长度和平均步数两个指标评估了AI的表现，展示了Hamilton、Greedy和DQN三种算法的测试结果。该项目支持Python 3.6+及Tkinter，并提供了简单的安装和运行指南。
VulBERTa-MLP-Draper - 基于RoBERTa的代码安全漏洞智能检测系统
GithubHuggingfaceRoBERTaVulBERTa代码分析开源项目模型深度学习漏洞检测
VulBERTa-MLP-Draper是一款专注于代码安全分析的深度学习模型。通过在开源C/C++项目上训练，该模型采用RoBERTa架构和自定义标记化流程，实现了对代码语法和语义的深度理解。在多个标准数据集的评测中，模型以较小的参数规模达到了领先的检测性能。
fiddler-auditor - 优化大型语言模型审核的开源工具
AI审核Fiddler AuditorGithubLLM评估NLP模型大型语言模型开源项目
Fiddler Auditor是一款开源工具，专为测试和评估大型语言模型(LLM)和NLP模型而设计。它提供了多项功能，包括通过提示扰动进行红队测试、LangChain集成、自定义评估指标和LLM比较。此工具有助于在模型部署前识别潜在弱点，如幻觉、对抗性响应和信息泄露等问题。Fiddler Auditor旨在为开发团队提供一个高效的解决方案，以增强LLM的安全性和可靠性。
nuclei - 快速灵活的多协议漏洞扫描工具
GithubNuclei安全检测开源项目模板系统漏洞扫描自动化扫描
Nuclei是一款基于YAML的开源漏洞扫描工具，支持TCP、DNS、HTTP、SSL等多种协议。它具有高度灵活性，可快速扫描大量目标，实现零误报。Nuclei通过简单的模板语言允许用户自定义各类安全检查。该项目拥有活跃的社区，300多名安全专家贡献了丰富的漏洞模板，持续扩展其应用场景。
Squadron AI - 智能化GitHub代码审查工具，优化团队工作流程
AI代码审查AI工具GitHub集成Squadron AI实时聊天问题分析
Squadron AI为GitHub提供智能代码审查、问题分析和实时沟通功能，助力提升团队效率和代码质量。无需增加人力，即可实现快速跨文件分析并减少错误。
toxic-repos - 开源软件安全威胁追踪系统
GitHubGithub代码隔离安全威胁开源软件开源项目恶意代码
这是一个致力于追踪和记录开源软件中潜在安全威胁的项目。它维护着一个包含708条记录的数据库，以CSV、JSON和SQLite等多种格式提供危险代码信息。项目还提供代码隔离和包镜像等开源安全建议，帮助开发者保护其开发环境。通过Telegram机器人和群组，社区成员可进行代码审查和信息共享，共同维护开源生态系统的安全性与可信度。
CodeAnalysis - 开源综合代码分析和问题追踪平台
GithubTCA代码分析代码质量开源项目静态分析
TCA是一个开源的综合代码分析和问题追踪平台，集成多种分析工具。支持Java、C++等主流编程语言，可发现代码质量问题、规范缺陷和安全漏洞。平台提供代码检查、度量功能，支持DevOps集成，并开放API便于系统对接。TCA有助于团队持续监控和改进代码质量，适用于各类软件开发项目。
grype - 容器镜像和文件系统漏洞扫描利器
GithubGrype安全容器镜像开源开源项目漏洞扫描
Grype是一款开源的容器镜像和文件系统漏洞扫描工具。它可扫描主流操作系统包和多种编程语言依赖,支持Docker、OCI和Singularity格式。Grype提供多种输出格式,可集成CI/CD流程,支持按严重程度过滤结果。通过配置可忽略误报,与Syft工具协同实现全面的软件成分分析和漏洞管理。
相关项目
项目侧边栏1项目侧边栏2
推荐项目
Project Cover

豆包MarsCode

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

Project Cover

AI写歌

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

Project Cover

有言AI

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

Project Cover

Kimi

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

Project Cover

阿里绘蛙

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

Project Cover

吐司

探索Tensor.Art平台的独特AI模型，免费访问各种图像生成与AI训练工具，从Stable Diffusion等基础模型开始，轻松实现创新图像生成。体验前沿的AI技术，推动个人和企业的创新发展。

Project Cover

SubCat字幕猫

SubCat字幕猫APP是一款创新的视频播放器，它将改变您观看视频的方式！SubCat结合了先进的人工智能技术，为您提供即时视频字幕翻译，无论是本地视频还是网络流媒体，让您轻松享受各种语言的内容。

Project Cover

美间AI

美间AI创意设计平台，利用前沿AI技术，为设计师和营销人员提供一站式设计解决方案。从智能海报到3D效果图，再到文案生成，美间让创意设计更简单、更高效。

Project Cover

AIWritePaper论文写作

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

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