Stars
Composing and deciphering C (or C++) declarations or casts, aka ‘‘gibberish.’’
A fork of cscope from sourceforge with assignment searches added, with enhancements to support pycscope
rc shell -- independent re-implementation for Unix of the Plan 9 shell (from circa 1992)
Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitti…
A LLVM-based static analysis framework.
《李宏毅深度学习教程》（李宏毅老师推荐👍，苹果书🍎），PDF下载地址：https://github.com/datawhalechina/leedl-tutorial/releases
Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)
Release snapshots of the Frama-C platform for source code analysis
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
《Hello 算法》：动画图解、一键运行的数据结构与算法教程。支持 Python, Java, C++, C, C#, JS, Go, Swift, Rust, Ruby, Kotlin, TS, Dart 代码。简体版和繁体版同步更新，English version in translation
📄 适合中文的简历模板收集（LaTeX，HTML/JS and so on）由 @hoochanlon 维护
The replication package of paper "Pre-training by Predicting Program Dependencies for Vulnerability Analysis Tasks"
Curated tutorials and resources for Large Language Models, AI Painting, and more.
Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc
MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code