nimble-code / Uno
simple static source code analysis tool for C code, with user-definable properties
☆26Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for Uno
- An interactive (fast) static source code analyzer☆139Updated 2 weeks ago
- Computes cyclomatic complexity metrics on C cource code☆18Updated last year
- C Quality Metrics☆64Updated 2 years ago
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆27Updated 2 weeks ago
- static analysis benchmarks from Toyota ITC☆113Updated last year
- Examples for TracerX KLEE☆9Updated 4 years ago
- grep for C/C++ source files.☆25Updated 2 months ago
- An automatic generator of basic unit tests for a C/C++ library☆85Updated 4 years ago
- Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.☆35Updated 2 years ago
- Automatically spawn gdb on error.☆65Updated 2 years ago
- mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git☆29Updated 9 months ago
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆177Updated 2 years ago
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- A list of compiler warning flags for different GCC and clang versions☆62Updated 2 months ago
- Variation of american fuzzy lop for testing compilers☆119Updated 2 years ago
- A Python library for easy and fast program transformation/repair☆15Updated 3 years ago
- A program for automatically resolving #ifdef statements in C code.☆34Updated 2 weeks ago
- Runtime type and bounds-error checking for C/C++☆101Updated 2 years ago
- estimate peak virtual memory use☆19Updated 9 months ago
- Clade is a tool for extracting information about software build process and source code☆19Updated 11 months ago
- Metrix++ is an extendable tool for code metrics collection and analysis.☆76Updated 7 months ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆56Updated 11 months ago
- Doug Lea's malloc☆32Updated 8 years ago
- Parallel Delta Debugging Framework☆47Updated this week
- Secure Coding Validation Suite☆16Updated 5 years ago
- CCG is a random C Code Generator☆43Updated 2 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆26Updated 2 years ago
- Generic, strongly typed, header-only data structures in C☆23Updated 8 months ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Tool to recover C headers (types, function signatures) from DWARF debug data☆46Updated 2 years ago