Alternatives and similar repositories for a2c

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

• Frama-C / Frama-C-snapshot
  Release snapshots of the Frama-C platform for source code analysis
  ☆172Updated 4 years ago
• Superbil / llvm.vim
  ☆21Updated 10 years ago
• rcorcs / llvm-heat-printer
  LLVM Profiling Visualization
  ☆84Updated 3 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆220Updated last year
• pmachata / dwgrep
  a tool for querying Dwarf (debuginfo) graphs
  ☆55Updated last year
• xiw / stack
  A static checker for identifying unstable code.
  ☆361Updated 10 years ago
• regehr / ub-canaries
  collection of C/C++ programs that try to get compilers to exploit undefined behavior
  ☆179Updated 6 years ago
• dholm / voidwalker
  A GDB toolbox for low-level debugging
  ☆134Updated 11 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆98Updated 9 years ago
• abau / cppsat
  Propositional Encodings in C++11
  ☆18Updated 6 years ago
• gergo- / missed-optimizations
  Missed optimizations in C compilers
  ☆341Updated 7 years ago
• sinelaw / elfs-clang-plugins
  A collection of clang plugins for safer C programming
  ☆91Updated 6 years ago
• kframework / c-semantics
  Semantics of C in K
  ☆315Updated 3 years ago
• alastairreid / mra_tools
  Tools to process ARM's Machine Readable Architecture Specification
  ☆129Updated 5 years ago
• goldsborough / clang-expand
  A clang tool for happy refactoring without source-code gymnastics
  ☆251Updated 5 years ago
• google / EXEgesis
  ☆281Updated 2 years ago
• quarkslab / llvm-dev-meeting-tutorial-2015
  Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015
  ☆50Updated 8 years ago
• rsmmr / install-clang
  A script to create a standalone installation of clang/LLVM/libc++. Updated for Clang/LLVM 6.0.
  ☆170Updated 5 years ago
• stryku / ctai
  compile time assembly interpreter
  ☆85Updated 7 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆70Updated 9 years ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆51Updated 10 years ago
• rutgers-apl / alive-nj
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆32Updated 5 years ago
• mattulbrich / llreve
  Automatic regression verification for LLVM programs
  ☆19Updated 3 years ago
• ARM-software / asl-interpreter
  Example implementation of Arm's Architecture Specification Language (ASL)
  ☆117Updated 5 years ago
• ucb-sejits / ctree
  A C-family AST implementation designed to be an IR for DSL compilers.
  ☆17Updated 7 years ago
• kristerw / deadstores
  A Valgrind tool for finding redundant loads/stores
  ☆21Updated 5 years ago
• smowton / llpe
  ☆53Updated last year
• Snaipe / Mimick
  A KISS, cross-platform C mocking library
  ☆161Updated 10 months ago
• smackers / smack
  SMACK Software Verifier and Verification Toolchain
  ☆438Updated last month
• SNSystems / DIVA
  Debug Information Visual Analyzer
  ☆78Updated 7 months ago