nimble-code / UnoLinks
simple static source code analysis tool for C code, with user-definable properties
☆26Updated 11 months ago
Alternatives and similar repositories for Uno
Users that are interested in Uno are comparing it to the libraries listed below
Sorting:
- An interactive (fast) static source code analyzer☆169Updated last week
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆29Updated 3 weeks ago
- Computes cyclomatic complexity metrics on C cource code☆20Updated 2 years ago
- CCG is a random C Code Generator☆44Updated 2 years ago
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆182Updated 3 years ago
- Pretty printer from GTIRB to assembly code☆48Updated 3 months ago
- static analysis benchmarks from Toyota ITC☆113Updated 2 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- grep for C/C++ source files.☆28Updated 9 months ago
- Suite of C/C++ tooling built on LLVM/Clang☆104Updated this week
- Examples for TracerX KLEE☆9Updated 5 years ago
- Secure Coding Validation Suite☆16Updated 6 years ago
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- An automatic generator of basic unit tests for a C/C++ library☆85Updated 5 years ago
- Runtime type and bounds-error checking for C/C++☆103Updated 6 months ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated 3 months ago
- A Python library for easy and fast program transformation/repair☆15Updated 3 years ago
- C Quality Metrics☆66Updated 3 years ago
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆32Updated 7 years ago
- Clade is a tool for extracting information about software build process and source code☆21Updated last year
- An open source checker for MISRA C++:2008 rules. Implemented as LLVM/Clang plugin. (No longer active, please use clang-tidy-misra instead…☆45Updated 7 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 2 years ago
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆43Updated 9 years ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆18Updated 6 years ago
- A dynamic analysis framework for C and C++ programs☆29Updated 3 weeks ago
- mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git☆31Updated last year
- A GCC plugin to insert pytest-like assert introspections☆17Updated 5 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- estimate peak virtual memory use☆18Updated 2 months ago
- Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.☆53Updated 5 months ago