Project Icon

csmith

用于发现编译器bug的随机C程序生成工具

Csmith是一个开源的随机C程序生成器,最初由犹他大学开发。它主要通过差异测试方法用于发现编译器bug,生成的C程序不含未定义行为。Csmith还可应用于编译器测试以外的领域,支持自定义生成选项,并提供详细的使用说明和安装指南。该项目现由社区维护,欢迎贡献和反馈。

oss-fuzz-gen - 使用AI生成并评估C/C++项目的模糊测试目标
C/C++GithubLLMOSS-Fuzz代码覆盖率开源项目漏洞检测
该框架利用大型语言模型生成并评估真实世界的C/C++项目的模糊测试目标,并通过OSS-Fuzz平台进行基准测试。支持的模型包括OpenAI GPT系列和Gemini系列。评估指标涵盖可编译性、运行时崩溃、运行时覆盖率和与现有人类编写目标的差异。最新实验显示,生成的模糊测试目标显著提升了代码覆盖率,并发现了多项新漏洞。详细使用指南和合作信息,请参见项目页面。
cspell - 代码拼写检查器
CSpellGithub代码检查命令行工具开源项目拼写检查
CSpell是专为代码设计的拼写检查工具,支持多种编程语言和文档格式。它提供命令行应用、ESLint插件等多个组件,能有效识别和修正代码中的拼写错误。CSpell不仅提高代码质量和可读性,还具备持续更新、活跃社区支持和丰富的学习资源。作为开发流程中的重要工具,CSpell助力开发者提升整体代码水平。
SmallerC - 简洁高效的C编译器 支持多平台开发
C编译器GithubSmaller C开源项目标准C库汇编代码跨平台
SmallerC是一款轻量级单遍C编译器,兼容C89/ANSI C和C99的主要特性。它可生成16位和32位80386+汇编代码,支持DOS、Windows、Linux和Mac OS X平台开发。此外,SmallerC还支持MIPS CPU代码生成,适用于RetroBSD系统。该编译器具备自编译功能,集成了预处理器、链接器和编译器驱动程序。目前,其标准C库已接近完善。
shecc - 开源自编译C语言优化编译器
C编译器Githubshecc优化开源项目自编译跨平台
shecc是一个开源的自编译C语言优化编译器,支持32位Arm和RISC-V架构。它能生成Linux ELF可执行文件,提供基本C标准库,采用两遍编译过程。该项目实现了静态单赋值(SSA)中间表示、寄存器分配和基本优化策略,展示了编译器的核心概念和实现方法,适合学习和教育用途。
acwj - 构建C语言子集自编译编译器的实践教程
C语言GitHubGithub开源项目教程编程编译器
acwj是一个开源项目,记录了构建C语言子集自编译编译器的完整过程。项目详细介绍了从词法分析到代码生成的各个步骤,涵盖变量、函数、指针等C语言特性的实现。它还包括ARM和6809等不同目标平台的后端开发。acwj提供了理论解释和实践指导,是学习编译原理和实现编译器的有价值参考资源。
cve-rs - Rust库实现内存漏洞安全模拟
GithubRustcve-rs内存漏洞安全编程开源项目
cve-rs是一个Rust库,用于在安全环境中模拟常见内存漏洞。该库允许开发者使用纯粹的安全Rust代码来实现缓冲区溢出、使用后释放和段错误等漏洞,而不会实际损害程序的内存安全性。cve-rs还提供了一些底层操作的安全重新实现,并支持WebAssembly。这为开发者提供了一个独特的工具,用于测试、学习和理解内存漏洞的行为和影响。
spicy - 协议和文件格式解析器生成工具
C++GithubSpicyZeek协议分析开源项目解析器生成器
Spicy是一款开源的解析器生成工具,专为网络协议和文件格式设计。它使用统一的语言描述输入格式的语法和语义,生成高效的C++解析代码。Spicy支持增量解析和并发处理,可进行即时编译或预编译为共享库。此外,Spicy与Zeek无缝集成,允许用户无需编写C++代码即可为Zeek添加新的协议和文件分析器。Spicy采用BSD许可证发布,为用户提供了极大的使用自由。
codechecker - 基于LLVM/Clang的多功能静态代码分析工具
C/C++CodeCheckerGithub代码检查开源工具开源项目静态分析
CodeChecker是基于LLVM/Clang的静态代码分析工具,提供命令行C/C++分析和Web报告管理功能。它支持多种分析器,可自动分析GCC交叉编译项目,并支持增量分析。其Web应用可视化代码缺陷,支持结果过滤和比较,集成Gerrit和GitLab。CodeChecker还能可视化多种编程语言的分析结果,是一款通用的代码质量保证工具。
cs - 多功能命令行代码搜索工具
BM25算法GithubHTTP服务器TUI界面代码搜索命令行搜索工具开源项目
codespelunker (cs) 是一款开源的命令行代码搜索工具,支持在当前目录下搜索代码或文本文件。该工具提供控制台、TUI和HTTP服务器三种界面,可使用布尔查询和正则表达式进行搜索。cs无需建立索引,采用BM25算法进行实时结果排序,支持跨行搜索和智能代码片段生成。作为ripgrep和fzf功能的结合,cs为开发者提供了高效的多平台代码搜索解决方案。
gcc - 多语言支持的GNU开源编译器集合
GCCGNU编译器集合Github免费软件开源项目源代码版权信息
GNU Compiler Collection (GCC) 是一套开源编译器集合,支持多种编程语言。GCC提供完整的编译工具链,用于开发跨平台软件。它以代码优化能力和广泛的平台兼容性著称,为开发者提供可靠的编译工具。作为自由软件,GCC允许自由使用、修改和分发,推动了开源社区的发展。
项目侧边栏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号