nimble-code / Uno
simple static source code analysis tool for C code, with user-definable properties
☆26Updated 10 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
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆28Updated 4 months ago
- An interactive (fast) static source code analyzer☆160Updated last month
- 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
- static analysis benchmarks from Toyota ITC☆113Updated 2 years ago
- Source code counter and metrics tool for C++, C, and Java☆64Updated 2 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 2 years ago
- GNATcoverage: Coverage Analysis Tool☆42Updated this week
- Static Analyzer and Verifier☆47Updated 6 months ago
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- C Quality Metrics☆66Updated 2 years ago
- Secure Coding Validation Suite☆16Updated 5 years ago
- Type qualifiers for C☆16Updated 13 years ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆18Updated 6 years ago
- CCG is a random C Code Generator☆44Updated 2 years ago
- mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git☆32Updated last year
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆43Updated 9 years ago
- Examples for TracerX KLEE☆9Updated 4 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆26Updated 10 years ago
- Variation of american fuzzy lop for testing compilers☆122Updated 3 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- Pretty printer from GTIRB to assembly code☆48Updated last month
- gcc plugin to discover optimization passes used during compilation☆20Updated 4 years ago
- MIPS I simulator☆19Updated 6 years ago
- Configurable instrumentation of LLVM bitcode☆34Updated last month
- Doug Lea's malloc☆35Updated 9 years ago
- Measure branching along code paths☆20Updated 8 years ago
- grep for C/C++ source files.☆26Updated 7 months ago
- This was a fork of Checked C clang used from 2021-2024. The changes have been merged into the original Checked C clang repo, which is now…☆16Updated 7 months ago