Logo
Project Icon

slither

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

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

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

访问官网访问官网GithubGithub文档文档论文论文
介绍相关项目
seahorn - 基于LLVM的开源软件验证与分析框架
GithubLLVMSeaHorn开源项目模型检查软件验证静态分析
SeaHorn是一个基于LLVM的开源软件验证和分析框架。它集成了抽象解释、指针分析、约束求解等多种技术,可用于检测程序错误、生成反例和推导不变式。SeaHorn采用模块化设计,提供可组合的分析组件,适用于各类自动化验证研究。该框架支持多种编码方式和分析精度,能够灵活应对不同的验证需求。
Metabob - 智能代码审查工具，优化软件质量和安全性
AI代码审查AI工具Metabob代码调试软件安全扫描静态代码分析
Metabob运用先进的图注意力网络和生成式AI技术，为开发者提供全面的代码审查服务。它能够识别复杂的逻辑问题，包括跨代码库的问题，并自动生成修复方案。支持Python、Java等多种编程语言，可轻松集成到GitHub、VS Code等平台。Metabob不仅提高代码质量和可靠性，还能有效增强软件安全性，是开发团队的理想选择。
guarddog - 软件供应链安全分析工具
GithubGuardDog供应链安全开源安全开源项目恶意软件包检测静态代码分析
GuardDog是一款命令行工具，用于检测PyPI、npm包和Go模块中的潜在安全威胁。它结合源代码启发式分析和元数据检查，识别恶意软件包。支持本地和远程扫描，允许自定义规则，可与GitHub Actions集成，为软件供应链安全提供全面保障。
Greptile AI - AI驱动的代码库分析工具 回答问题和审核PR
AI工具API人工智能开源项目数据库框架
Greptile AI是一款专注于代码库分析和管理的人工智能工具。作为代码库专家，它能回答各种代码相关问题，提供深入见解。该工具还具备自动审查拉取请求（PR）的功能，有助于提高开发团队效率。Greptile AI在解答复杂代码问题和简化代码审核流程方面表现出色，为开发者提供有力支持。
gigahorse-toolchain - 开源智能合约反编译和分析框架
EVMGigahorseGithub反编译开源项目智能合约静态分析
Gigahorse是一个开源的以太坊智能合约反编译和分析工具链。它将低级EVM代码转换为类似LLVM IR的高级三地址表示。该工具提供多种上下文敏感性配置，支持函数内联，可与各类客户端分析工具集成。Gigahorse为智能合约研究和安全分析奠定了基础，已在多个学术项目和实时分析平台中得到应用。
gitleaks - 高效检测代码中的敏感信息
GithubGitleaksGit仓库SAST安全扫描密钥检测开源项目
Gitleaks是一款开源的静态应用程序安全测试（SAST）工具，专门用于检测Git仓库中的敏感信息，如密码、API密钥和令牌。它能够扫描当前和历史代码，提供全面的安全检查。Gitleaks支持多种安装方式，可作为命令行工具、预提交钩子或GitHub Action使用，帮助开发团队在开发过程中及早识别和处理潜在的安全风险。
Codiga - 全面的实时代码分析与安全审查工具
AI工具AI开发Codiga代码片段安全代码分析实时分析热门辅助编程静态代码分析
Codiga 平台提供针对众多编程语言和开发环境的实时代码分析与安全审查服务。支持 VS Code、JetBrains、VisualStudio、GitHub 等工具，助力开发者高效发现并修正代码缺陷，确保代码质量和安全。
codechecker - 基于LLVM/Clang的多功能静态代码分析工具
C/C++CodeCheckerGithub代码检查开源工具开源项目静态分析
CodeChecker是基于LLVM/Clang的静态代码分析工具，提供命令行C/C++分析和Web报告管理功能。它支持多种分析器，可自动分析GCC交叉编译项目，并支持增量分析。其Web应用可视化代码缺陷，支持结果过滤和比较，集成Gerrit和GitLab。CodeChecker还能可视化多种编程语言的分析结果，是一款通用的代码质量保证工具。
eslint - JavaScript代码检查与质量保证工具
ESLintGithubJavaScript代码质量开源项目静态分析
ESLint是一个开源的JavaScript代码检查工具，用于识别和报告代码中的问题。它支持最新的ECMAScript标准，使用抽象语法树进行代码分析，并提供可插拔的架构。ESLint具有灵活的配置选项，允许自定义规则和插件，有助于开发团队维护代码质量和一致性。作为JavaScript生态系统中的重要工具，ESLint通过静态代码分析帮助开发者发现并修复代码中的问题，提高代码质量，增强团队协作效率。
strelka - 基于容器的实时文件扫描系统 助力威胁检测与响应
GithubStrelka威胁检测容器化开源项目恶意软件分析文件扫描系统
Strelka是一款基于容器的实时文件扫描系统，专为威胁检测、威胁狩猎和事件响应而设计。该系统采用Go和Python3.10+开发，具备文件提取和元数据收集功能。Strelka内置50多种文件扫描器，能够分析常见文件类型，并为Windows、Mac和Linux提供原生客户端应用。通过与SIEM集成，Strelka可提供全面的文件分析和环境洞察能力。
相关项目
项目侧边栏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号