nimble-code / CobraLinks
An interactive (fast) static source code analyzer
☆173Updated last month
Alternatives and similar repositories for Cobra
Users that are interested in Cobra are comparing it to the libraries listed below
Sorting:
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆29Updated 4 months ago
- Public snapshots of "ACSL by Example"☆115Updated 4 months ago
- Create minimum MCDC test sets for a boolean expression☆44Updated 4 years ago
- Semantics of C in K☆315Updated 3 years ago
- C Quality Metrics☆66Updated 3 years ago
- Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.☆54Updated 8 months ago
- static analysis benchmarks from Toyota ITC☆116Updated 2 years ago
- C code refactoring browser☆212Updated last week
- An automatic generator of basic unit tests for a C/C++ library☆86Updated 5 years ago
- A list of compiler warning flags for different GCC and clang versions☆64Updated last month
- Suite of C/C++ tooling built on LLVM/Clang☆104Updated 2 weeks ago
- MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy☆170Updated 7 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 3 years ago
- Release snapshots of the Frama-C platform for source code analysis☆174Updated 4 years ago
- The efficient SMT-based context-bounded model checker (ESBMC)☆383Updated this week
- Formal specification and generation of verifiable binary parsers, message generators and protocol state machines☆119Updated 2 months ago
- Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…☆84Updated last week
- NaiveSystems Analyze is a static analysis tool for code security and compliance.☆190Updated 2 months ago
- Manipulate C-family ASTs with Clang☆69Updated 11 years ago
- mutator is an experimental suite of tools aimed at analysis and automation of C/C++ code development☆80Updated 3 years ago
- simple static source code analysis tool for C code, with user-definable properties☆26Updated last year
- GCC plugin that embeds CPython inside the compiler☆208Updated 3 years ago
- Open Source AADL2 Tool Environment☆49Updated this week
- mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git☆32Updated last year
- Oink is a collaboration of C++ static analysis tools.☆155Updated 2 years ago
- Nana - a design by contract framework for C/C++☆24Updated 10 years ago
- A GCC plugin to dump call graphs for programs being compiled using LTO.☆22Updated 5 years ago
- C Code Source Metrics - tool to gather simple metrics from C code☆38Updated last year
- llvm opt fuzzer and bounded exhaustive test generator☆40Updated 2 years ago
- Metrix++ is an extendable tool for code metrics collection and analysis.☆79Updated last year