nimble-code / Cobra
An interactive (fast) static source code analyzer
☆136Updated last week
Related projects: ⓘ
- static analysis benchmarks from Toyota ITC☆113Updated last year
- simple static source code analysis tool for C code, with user-definable properties☆25Updated 2 months ago
- Oink is a collaboration of C++ static analysis tools.☆154Updated last year
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆23Updated this week
- Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…☆77Updated 2 months ago
- MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy☆157Updated 6 years ago
- Semantics of C in K☆305Updated 2 years ago
- A list of compiler warning flags for different GCC and clang versions☆61Updated 4 months ago
- mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git☆28Updated 7 months ago
- C code refactoring browser☆194Updated 2 weeks ago
- C Quality Metrics☆63Updated 2 years ago
- ☆106Updated 2 months ago
- Manipulate C-family ASTs with Clang☆66Updated 10 years ago
- mutator is an experimental suite of tools aimed at analysis and automation of C/C++ code development☆74Updated 2 years ago
- Public snapshots of "ACSL by Example"☆99Updated 3 years ago
- SMACK Software Verifier and Verification Toolchain☆427Updated last week
- An open source checker for MISRA C++:2008 rules. Implemented as LLVM/Clang plugin. (No longer active, please use clang-tidy-misra instead…☆43Updated 6 years ago
- A static checker for identifying unstable code.☆359Updated 9 years ago
- Generator of ANSI C tracers which output CTF data streams☆62Updated 8 months ago
- EmbedSantizer is a runtime race detection tool which extends ThreadSanitizer to detect data races in 32-bit ARM applications.☆18Updated 3 years ago
- A gdb gui written in Python, running inside gdb itself.☆44Updated 5 months ago
- Create minimum MCDC test sets for a boolean expression☆32Updated 3 years ago
- Suite of C/C++ tooling built on LLVM/Clang☆97Updated 2 weeks ago
- The CBMC starter kit makes it easy to add CBMC verification to a software project.☆44Updated 3 weeks ago
- C Code Source Metrics - tool to gather simple metrics from C code☆34Updated 5 months ago
- NaiveSystems Analyze is a static analysis tool for code security and compliance.☆172Updated 2 weeks ago
- Delta assists you in minimizing "interesting" files subject to a test of their interestingness.☆21Updated 2 years ago
- Minimalist plugin manager for GDB and LLDB☆81Updated 3 years ago
- Source code counter and metrics tool for C++, C, and Java☆57Updated last year
- A tool based on clang which generates a call graph from a given C++ codebase☆127Updated 3 months ago