Alternatives and similar repositories for Uno

Users that are interested in Uno are comparing it to the libraries listed below

• nimble-code / Cobra
  An interactive (fast) static source code analyzer
  ☆173Updated 3 weeks ago
• regehr / itc-benchmarks
  static analysis benchmarks from Toyota ITC
  ☆116Updated 2 years ago
• dspinellis / cqmetrics
  C Quality Metrics
  ☆66Updated 3 years ago
• GJDuck / LowFat
  Lean C/C++ Bounds Checking with Low-Fat Pointers
  ☆186Updated 3 years ago
• lvc / api-sanity-checker
  An automatic generator of basic unit tests for a C/C++ library
  ☆86Updated 5 years ago
• splintchecker / splint
  Splint - annotation-assisted static program checker
  ☆327Updated 9 months ago
• dsw / oink-stack
  Oink is a collaboration of C++ static analysis tools.
  ☆155Updated 2 years ago
• sarnold / cccc
  Source code counter and metrics tool for C++, C, and Java
  ☆65Updated 2 years ago
• rettichschnidi / clang-misracpp2008
  An open source checker for MISRA C++:2008 rules. Implemented as LLVM/Clang plugin. (No longer active, please use clang-tidy-misra instead…
  ☆46Updated 7 years ago
• dspinellis / cscout
  C code refactoring browser
  ☆212Updated 5 months ago
• agroce / afl-compiler-fuzzer
  Variation of american fuzzy lop for testing compilers
  ☆123Updated 3 years ago
• MetricsGrimoire / CMetrics
  CMetrics measures size and complexity for C files
  ☆74Updated 10 years ago
• esbmc / esbmc
  The efficient SMT-based context-bounded model checker (ESBMC)
  ☆380Updated this week
• rettichschnidi / clang-tidy-misra
  MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy
  ☆170Updated 7 years ago
• Xazax-hun / csa-testbench
  Toolset to do differential testing on the Clang Static Analyzer
  ☆22Updated 2 years ago
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆105Updated 9 months ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆48Updated 11 months ago
• google / centipede
  ☆253Updated 2 years ago
• kframework / c-semantics
  Semantics of C in K
  ☆315Updated 3 years ago
• xiw / stack
  A static checker for identifying unstable code.
  ☆361Updated 10 years ago
• Frama-C / Frama-C-snapshot
  Release snapshots of the Frama-C platform for source code analysis
  ☆173Updated 4 years ago
• coccinelle / coccinellery
  ☆113Updated last year
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 3 years ago
• gaoxiang9430 / Fix2Fit
  ☆20Updated 4 years ago
• intel / safestringlib
  ☆377Updated 6 months ago
• terminaldweller / cgrep
  grep for C/C++ source files.
  ☆28Updated last month
• pluohust / ConFuzz
  ☆12Updated 7 years ago
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆59Updated last year
• airbus-seclab / c-compiler-security
  Security-related flags and options for C compilers
  ☆195Updated 2 years ago
• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆29Updated 3 months ago