nimble-code / Uno
simple static source code analysis tool for C code, with user-definable properties
☆26Updated 9 months ago
Alternatives and similar repositories for Uno:
Users that are interested in Uno are comparing it to the libraries listed below
- Computes cyclomatic complexity metrics on C cource code☆19Updated 2 years ago
- C Quality Metrics☆66Updated 2 years ago
- An interactive (fast) static source code analyzer☆160Updated last month
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆27Updated 4 months ago
- Examples for TracerX KLEE☆9Updated 4 years ago
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆181Updated 3 years ago
- Clade is a tool for extracting information about software build process and source code☆21Updated last year
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 2 years ago
- mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git☆32Updated last year
- Tool for detecting violations of ordering axioms in STL comparators☆15Updated 2 weeks ago
- The Aegean C compiler☆9Updated 8 years ago
- grep for C/C++ source files.☆26Updated 7 months ago
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- static analysis benchmarks from Toyota ITC☆113Updated last year
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆32Updated 7 years ago
- Source code counter and metrics tool for C++, C, and Java☆64Updated 2 years ago
- A tool based on clang which generates a call graph from a given C++ codebase☆139Updated last month
- Type qualifiers for C☆16Updated 13 years ago
- CCG is a random C Code Generator☆44Updated 2 years ago
- Doug Lea's malloc☆35Updated 9 years ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆12Updated last month
- A GCC plugin to insert pytest-like assert introspections☆17Updated 4 years ago
- An automatic generator of basic unit tests for a C/C++ library☆85Updated 5 years ago
- Correct by Construction : a presentation given at C++ on Sea 2020☆21Updated 4 years ago
- Secure Coding Validation Suite☆16Updated 5 years ago
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆43Updated 9 years ago
- Static Analyzer and Verifier☆47Updated 6 months ago
- Convenient & cross-platform sandboxing C library☆44Updated 11 months ago
- Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.☆52Updated 2 months ago