Alternatives and similar repositories for Uno:

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

• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆27Updated 3 months ago
• nimble-code / Cobra
  An interactive (fast) static source code analyzer
  ☆157Updated last week
• sarnold / cyclo
  Computes cyclomatic complexity metrics on C cource code
  ☆20Updated last year
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• regehr / itc-benchmarks
  static analysis benchmarks from Toyota ITC
  ☆114Updated last year
• dspinellis / cqmetrics
  C Quality Metrics
  ☆65Updated 2 years ago
• GrammaTech / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆64Updated 6 years ago
• bluepilot / scvs
  Secure Coding Validation Suite
  ☆16Updated 5 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 2 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆26Updated 2 years ago
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆21Updated last year
• GrammaTech / gtirb-pprinter
  Pretty printer from GTIRB to assembly code
  ☆48Updated last week
• GJDuck / LowFat
  Lean C/C++ Bounds Checking with Low-Fat Pointers
  ☆179Updated 3 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆46Updated 5 months ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆52Updated 3 months ago
• jwilk / recidivm
  estimate peak virtual memory use
  ☆19Updated last month
• dsw / oink-stack
  Oink is a collaboration of C++ static analysis tools.
  ☆155Updated 2 years ago
• mpdelbuono / wildcop
  Clang Static Analyzer Plugin for MISRA C++ Compliance
  ☆32Updated 7 years ago
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆58Updated last year
• AdaCore / gnatcoverage
  GNATcoverage: Coverage Analysis Tool
  ☆41Updated this week
• choller / LLCov
  LLVM-based, flexible, live coverage instrumentation for C/C++ code
  ☆43Updated 9 years ago
• hbgit / Map2Check
  Map2Check: Finding Software Vulnerabilities
  ☆28Updated 4 years ago
• agroce / afl-compiler-fuzzer
  Variation of american fuzzy lop for testing compilers
  ☆122Updated 2 years ago
• terminaldweller / cgrep
  grep for C/C++ source files.
  ☆26Updated 6 months ago
• rofl0r / rcb2
  intelligent and automatic build system for C
  ☆12Updated 3 years ago
• uNetworking / libEpollFuzzer
  Tool for findings bugs in epoll-based Linux servers
  ☆29Updated 4 years ago
• lvc / api-sanity-checker
  An automatic generator of basic unit tests for a C/C++ library
  ☆85Updated 5 years ago
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆106Updated 3 years ago
• vanhauser-thc / vulntest
  Static code analysis test source code
  ☆32Updated last year
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 3 months ago