Alternatives and similar repositories for uxs

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

• tbricks / itiviti-cpp-analyzer
  Clang plugin with several static analysis checks
  ☆27Updated 3 months ago
• yugr / valgrind-preload
  LD_PRELOAD-able library which runs all spawned processes under Valgrind.
  ☆15Updated 3 years ago
• yugr / sortcheckxx
  Tool for detecting violations of ordering axioms in STL comparators
  ☆19Updated 6 months ago
• mdadams / clang_libraries_companion
  Companion Repository for the Lecture Slides for the Clang Libraries
  ☆118Updated last month
• true-grue / VKR
  ☆18Updated 4 years ago
• lanl / CoARCT
  Code Analysis and Refactoring with Clang Tools
  ☆125Updated 4 years ago
• yugr / sighandlercheck
  Proof-of-concept tool for checking signal handlers for reentrancy issues.
  ☆18Updated 5 years ago
• shao-hua-li / CompDiff
  ☆36Updated 2 years ago
• marxin / cvise
  Super-parallel Python port of the C-Reduce
  ☆293Updated this week
• mull-project / mull
  Practical mutation testing and fault injection for C and C++
  ☆783Updated this week
• peter-can-talk / cppnow-2017
  Slides for my C++Now 2017 talk
  ☆58Updated 8 years ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆103Updated last week
• haoNoQ / clang-analyzer-guide
  An easy guide to Clang Static Analyzer extension.
  ☆144Updated 5 years ago
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆54Updated 8 months ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆157Updated last week
• regehr / itc-benchmarks
  static analysis benchmarks from Toyota ITC
  ☆116Updated 2 years ago
• syntacore / snippy
  ☆68Updated this week
• apolukhin / course-nimble_cpp
  Tasks and helper libraries for nimble C++ course
  ☆20Updated 9 months ago
• nsumner / clang-plugins-demo
  A simple example of defining custom plugins for clang and the clang static analyzer.
  ☆89Updated 4 years ago
• true-grue / Compiler-Development
  Что читать о разработке компиляторов
  ☆538Updated 7 months ago
• UnitTestBot / UTBotCpp
  Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
  ☆177Updated last year
• ingve / awesome-clang
  Useful resources and samples for using Clang-related tools, or for building stuff on top of Clang.
  ☆231Updated 2 years ago
• danlark1 / quadratic_strict_weak_ordering
  ☆31Updated 2 years ago
• DeadCodeProductions / dead
  ☆53Updated 2 years ago
• OfekShilon / optview2
  User-oriented fork of LLVM's opt-viewer
  ☆144Updated 3 months ago
• Xazax-hun / csa-testbench
  Toolset to do differential testing on the Clang Static Analyzer
  ☆22Updated 2 years ago
• wqking / cpp-header-checker
  ☆17Updated 3 years ago
• intel / yarpgen
  Yet Another Random Program Generator
  ☆529Updated 2 months ago
• nico / ninjatracing
  Convert .ninja_log files to chrome's about:tracing format.
  ☆487Updated last year
• dvyukov / relacy
  Automatically exported from code.google.com/p/relacy
  ☆235Updated last month