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
  ☆143Updated 3 weeks ago
• sarnold / cyclo
  Computes cyclomatic complexity metrics on C cource code
  ☆20Updated last year
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆20Updated last year
• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆27Updated 2 months ago
• dspinellis / cqmetrics
  C Quality Metrics
  ☆65Updated 2 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 2 years ago
• mpdelbuono / wildcop
  Clang Static Analyzer Plugin for MISRA C++ Compliance
  ☆32Updated 7 years ago
• codespecs / fjalar
  A dynamic analysis framework for C and C++ programs
  ☆27Updated 8 months ago
• lvc / api-sanity-checker
  An automatic generator of basic unit tests for a C/C++ library
  ☆85Updated 5 years ago
• terminaldweller / cgrep
  grep for C/C++ source files.
  ☆25Updated 5 months ago
• tracer-x / TracerX-examples
  Examples for TracerX KLEE
  ☆9Updated 4 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• Snaipe / BoxFort
  Convenient & cross-platform sandboxing C library
  ☆44Updated 9 months ago
• jwilk / recidivm
  estimate peak virtual memory use
  ☆19Updated last month
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆58Updated 2 months ago
• novaprova / novaprova
  new generation testing framework for C and C++
  ☆33Updated 2 years ago
• stnuessl / rf
  rf is a command-line tool capable of refactoring C and C++ source code.
  ☆23Updated last year
• choller / LLCov
  LLVM-based, flexible, live coverage instrumentation for C/C++ code
  ☆43Updated 9 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆12Updated this week
• bluepilot / scvs
  Secure Coding Validation Suite
  ☆16Updated 5 years ago
• GrammaTech / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆64Updated 6 years ago
• GJDuck / LowFat
  Lean C/C++ Bounds Checking with Low-Fat Pointers
  ☆178Updated 2 years ago
• klee / klee-uclibc
  KLEE's version of uClibc
  ☆51Updated 8 months ago
• drepper / optmark
  Markup source code showing optimizations
  ☆36Updated 5 years ago
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆51Updated 3 weeks ago
• luhsra / chash
  CLang Plugin for calculating AST hashes
  ☆15Updated 6 years ago
• vanhauser-thc / vulntest
  Static code analysis test source code
  ☆32Updated last year
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆46Updated 4 months ago
• joakim-brannstrom / dextool
  Suite of C/C++ tooling built on LLVM/Clang
  ☆102Updated 3 months ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 9 years ago