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 this week
- C Quality Metrics☆64Updated 2 years ago
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆25Updated this week
- static analysis benchmarks from Toyota ITC☆112Updated last year
- Computes cyclomatic complexity metrics on C cource code☆18Updated last year
- Examples for TracerX KLEE☆9Updated 4 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Pretty printer from GTIRB to assembly code☆48Updated last month
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆176Updated 2 years ago
- CCG is a random C Code Generator☆42Updated 2 years ago
- Public snapshots of "ACSL by Example"☆101Updated 3 years ago
- Clade is a tool for extracting information about software build process and source code☆19Updated 10 months ago
- Type qualifiers for C☆16Updated 13 years ago
- Variation of american fuzzy lop for testing compilers☆118Updated 2 years ago
- Parallel Delta Debugging Framework☆47Updated last week
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆26Updated 2 years ago
- Runtime type and bounds-error checking for C/C++☆101Updated 2 years ago
- Static Analyzer and Verifier☆45Updated 3 weeks ago
- CMetrics measures size and complexity for C files☆70Updated 9 years ago
- Metrix++ is an extendable tool for code metrics collection and analysis.☆75Updated 7 months ago
- Secure Coding Validation Suite☆16Updated 5 years ago
- Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…☆25Updated 6 years ago
- estimate peak virtual memory use☆19Updated 9 months ago
- A library for building abstract interpretation-based analyses☆232Updated 2 weeks ago
- Suite of C/C++ tooling built on LLVM/Clang☆101Updated this week
- FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world…☆45Updated 6 months ago
- KLEE's version of uClibc☆47Updated 5 months ago
- A list of compiler warning flags for different GCC and clang versions☆62Updated last month