nimble-code / UnoLinks
simple static source code analysis tool for C code, with user-definable properties
☆26Updated last year
Alternatives and similar repositories for Uno
Users that are interested in Uno are comparing it to the libraries listed below
Sorting:
- C Quality Metrics☆66Updated 3 years ago
- An interactive (fast) static source code analyzer☆171Updated 2 weeks ago
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆34Updated 8 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆40Updated 2 years ago
- Tool for detecting violations of ordering axioms in STL comparators☆17Updated 3 months ago
- grep for C/C++ source files.☆28Updated 10 months ago
- Automatically spawn gdb on error.☆66Updated 3 years ago
- rf is a command-line tool capable of refactoring C and C++ source code.☆24Updated 2 years ago
- Doug Lea's malloc☆36Updated 9 years ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated 2 weeks ago
- An automatic generator of basic unit tests for a C/C++ library☆85Updated 5 years ago
- Computes cyclomatic complexity metrics on C cource code☆20Updated 2 years ago
- Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.☆53Updated 5 months ago
- Type qualifiers for C☆16Updated 13 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 2 years ago
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆29Updated last month
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆183Updated 3 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 8 years ago
- mutator is an experimental suite of tools aimed at analysis and automation of C/C++ code development☆80Updated 3 years ago
- A script to start fuzzing of cppcheck with american fuzzy lop☆11Updated 6 years ago
- mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git☆31Updated last year
- Convenient & cross-platform sandboxing C library☆44Updated last year
- Code generator for C struct serialization☆21Updated 10 years ago
- Startle C Library☆18Updated 6 years ago
- intelligent and automatic build system for C☆13Updated 4 years ago
- new generation testing framework for C and C++☆37Updated 2 years ago
- A basic UNIX shell implementation in C☆32Updated 5 years ago
- wrapper library for the functionality offered by ptrace. features facilities to enter breakpoint, debug and hook syscalls, etc.☆21Updated 3 years ago
- Oink is a collaboration of C++ static analysis tools.☆155Updated 2 years ago
- Portable Event Library☆17Updated 2 months ago