Project Icon

slither

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

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

angr - 开源跨平台二进制分析框架
GithubPython库angr二进制分析开源项目符号执行逆向工程
angr是一个开源的跨平台二进制分析框架,提供了一套Python 3库用于静态和动态分析。它支持反汇编、符号执行、控制流分析、程序插桩、数据依赖分析和反编译等功能。angr广泛应用于CTF挑战和安全研究,是二进制分析领域的重要工具。该项目由加州大学圣巴巴拉分校计算机安全实验室和亚利桑那州立大学SEFCOM联合开发,拥有详细文档和API参考。
sast-scan - 现代DevOps团队的多功能开源安全扫描工具
CI/CD集成DevOpsGithubScan开源安全工具开源项目漏洞检测
sast-scan是一款开源安全扫描工具,集成多种扫描器,可快速检测应用和基础设施代码中的安全漏洞。它支持本地扫描,无需远程服务器,适合集成到DevOps工作流中。该工具提供自动构建中断、结果基线和PR摘要等功能,支持多种编程语言和容器镜像扫描,有助于提高代码安全性。
modelscan - 开源AI模型安全扫描工具助力高效检测风险
GithubModelScan安全扫描序列化攻击开源项目机器学习模型
ModelScan是Protect AI开发的开源AI模型安全扫描工具,支持H5、Pickle和SavedModel等多种格式。它可快速识别PyTorch、TensorFlow、Keras等框架中的模型安全风险,有效防范模型序列化攻击。ModelScan易于集成到机器学习流程中,为AI模型全生命周期提供安全保障,保护数据和系统安全。
beelzebub - 安全蜜罐框架,易于实现和具备AI模拟高交互
AI技术BeelzebubDockerGithub开源项目网络安全蜜罐框架
Beelzebub是一个高安全性的蜜罐框架,用于检测和分析网络攻击。它支持低代码实现,并使用AI模拟高交互蜜罐行为。支持SSH、HTTP、TCP蜜罐,集成Prometheus、Docker和RabbitMQ,能够部署在kubernetes集群上。提供实时攻击更新的Telegram频道,并支持Ollama和OpenAI集成。
danger-js - 自动化代码审查规范工具
Danger JSGitHubGithub代码审查开源项目持续集成自动化
Danger JS是一款运行于CI之后的自动化工具,旨在规范团队代码审查流程。它通过编码化审查规范,自动处理日常代码审查中的重复任务,使开发人员能够专注于更复杂的问题。Danger JS兼容多种代码托管平台和CI工具,可执行多样化的自定义规则,包括强制更新CHANGELOG、检查PR描述和应用标签等。这个工具为团队提供了灵活的框架,用于定制和共享特定的代码审查规则,从而提高代码质量和团队协作效率。
yara - 多功能恶意软件分析和识别引擎
GithubYARA多平台字符串匹配开源项目恶意软件分析规则创建
YARA是一个开源的恶意软件分析引擎,能够基于文本或二进制模式创建规则来识别和分类恶意软件。它支持多平台运行,提供命令行界面和Python接口。YARA以其灵活性和强大的功能受到Cisco、FireEye、Kaspersky等众多知名安全公司的青睐,已成为网络安全领域的重要工具。
codeclimate - 开源代码质量分析工具 本地Docker容器支持
Code ClimateDockerGithub代码质量命令行工具开源项目静态代码分析
Code Climate CLI是一个命令行工具,用于在本地Docker环境中进行代码质量分析。它支持多种编程语言,提供可定制规则和插件系统,帮助开发者识别和解决代码问题。用户可通过简单命令安装配置,运行分析并获得详细报告,从而提升代码质量和可维护性。
scan-action - GitHub Action自动化扫描文件和容器安全漏洞
GitHub ActionGithubGrypeSBOM容器扫描开源项目漏洞扫描
scan-action是一个基于Grype扫描器的GitHub Action,用于检测文件和容器中的安全漏洞。它支持本地运行、无需外部凭证,可扫描文件路径和容器镜像。该Action可根据漏洞严重程度设置失败条件,支持多种Linux发行版和软件包,输出SARIF或JSON格式报告。scan-action提供多种配置选项,适用于不同的安全扫描场景。
python-seo-analyzer - Python网站SEO分析与优化工具
BeautifulSoup4GithubPythonSEO分析开源项目技术SEO网站爬虫
python-seo-analyzer是一个开源的SEO分析工具,可爬取网站结构、统计文本内容并识别技术SEO问题。支持命令行和API调用,能分析标题标签、额外标签和内部链接。输出JSON或HTML格式报告,便于网站SEO优化。该工具支持Python 3.6+环境,可通过pip安装或使用Docker运行。
CodeFuse-Query - 重塑静态代码分析 提升大规模软件开发效率
COREFCodeFuse-QueryGithubGödel开源项目数据中心化静态代码分析
CodeFuse-Query是一款先进的静态代码分析系统,通过创新的数据处理方法重新定义了代码分析流程。系统每日可分析超过100亿行代码,支持300多种分析任务,覆盖11种主流编程语言。其核心优势在于采用COREF数据模型和Gödel查询语言,实现了资源优化和数据高效重用。CodeFuse-Query特别关注代码变更分析,为大规模软件开发项目提供了全面的静态分析支持。
项目侧边栏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号