analysis-tools-dev / static-analysis

⚙️ A curated list of dynamic analysis tools and linters for all programming languages, binaries, and more.

大模型Grok-1开源

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

⚙️ A curated list of dynamic analysis tools and linters for all programming languages, binaries, and more.

mold 是一个现代、快速的链接器

chibicc 是一个简单的C语言编译器，实现了大多数C11特性。chibicc是作者为目前正在写的一本关于C编译器书而开发的

A flexible distributed key-value database that is optimized for caching and other realtime workloads.

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

Learn Rust with examples (Live code editor included)

#学习与技能提升#“连续八年成为全世界最受喜爱的语言，无 GC 也无需手动内存管理、极高的性能和安全性、过程/OO/函数式编程、优秀的包管理、JS 未来基石" — 工作之余的第二语言来试试 Rust 吧。本书拥有全面且深入的讲解、生动贴切的示例、德芙般丝滑的内容，这可能是目前最用心的 Rust 中文学习教程 / Book

C++那些事

Devika is an Agentic AI Software Engineer that can understand high-level human instructions, break them down into steps, research relevant information, and write code to achieve the given objective. D...

Docker 中运行 Windows 操作系统

#Awesome#300+ 保护数字安全和隐私的建议

Regexp based tool for mutating generic source code across numerous languages

Programming Language Theory λΠ

#夺旗赛 (CTF) 和网络安全资源#该仓库整理了Web安全相关攻击示例代码和资源

Source code spell checker

#夺旗赛 (CTF) 和网络安全资源#List of Awesome Red Teaming Resources

Open-Sora： 完全开源的高效复现类Sora视频生成方案

ShellCheck, a static analysis tool for shell scripts