Alternatives and similar repositories for oink-stack:

Users that are interested in oink-stack are comparing it to the libraries listed below

• axw / cmonster
  Python wrapper for the Clang C++ preprocessor and parser.
  ☆126Updated 10 years ago
• sinelaw / elfs-clang-plugins
  A collection of clang plugins for safer C programming
  ☆91Updated 6 years ago
• regehr / itc-benchmarks
  static analysis benchmarks from Toyota ITC
  ☆113Updated last year
• pmachata / dwgrep
  a tool for querying Dwarf (debuginfo) graphs
  ☆53Updated 8 months ago
• xiw / stack
  A static checker for identifying unstable code.
  ☆360Updated 9 years ago
• trailofbits / clang-tidy-audit
  Rewrite C/C++/Obj-C to Annotate Points of Interest
  ☆27Updated 8 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…
  ☆43Updated 7 years ago
• rizsotto / Constantine
  A plugin for Clang compiler
  ☆117Updated 3 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 6 years ago
• hiraditya / cpp2cxx
  A set of C Preprocessor analysis and source code rejuvenation tools that perform source to source translation of C++ programs by replacin…
  ☆46Updated 7 years ago
• rcorcs / llvm-heat-printer
  LLVM Profiling Visualization
  ☆84Updated 3 years ago
• eschulte / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆68Updated 10 years ago
• regehr / ub-canaries
  collection of C/C++ programs that try to get compilers to exploit undefined behavior
  ☆176Updated 5 years ago
• Oberon00 / synth
  Semantic syntax highlighting and hyperlinking of C/C++ source code with libclang. (Demo: https://oberon00.github.io/synth)
  ☆160Updated 8 years ago
• yotamr / traces
  API tracing framework for Linux C/C++ applications
  ☆158Updated 8 years ago
• SNSystems / DIVA
  Debug Information Visual Analyzer
  ☆77Updated 3 months ago
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 9 years ago
• fanf2 / unifdef
  selectively remove C preprocessor conditionals
  ☆163Updated 9 months ago
• GJDuck / LowFat
  Lean C/C++ Bounds Checking with Low-Fat Pointers
  ☆178Updated 2 years ago
• JossWhittle / FlintPlusPlus
  Flint++ is cross-platform, zero-dependency port of flint, a lint program for C++ developed and used at Facebook.
  ☆266Updated 5 years ago
• ahorn / native-symbolic-execution-clang
  Source-to-source transformation to call native symbolic execution library and SMT Kit
  ☆32Updated 10 years ago
• xiw / libo
  Integer arithmetic with overflow detection
  ☆71Updated 10 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆220Updated last year
• kframework / c-semantics
  Semantics of C in K
  ☆309Updated 2 years ago
• mgehre / llvm-project
  The home of the clang-based implementation of lifetime safety warnings.
  ☆40Updated 3 years ago
• llvm-mirror / libunwind
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆65Updated 5 years ago
• lvc / abi-dumper
  Dump ABI of an ELF object containing DWARF debug info
  ☆183Updated this week
• crange / crange
  Crange is a tool to index and cross-reference C/C++ source code
  ☆74Updated 8 years ago