Alternatives and similar repositories for llvmvm

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

• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 10 years ago
• quarkslab / llvm-dev-meeting-tutorial-2015
  Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015
  ☆51Updated 9 years ago
• mull-project / FileCheck.py
  [PROJECT DISCONTINUED] See the newer https://github.com/AntonLydike/filecheck.
  ☆19Updated last year
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆32Updated 4 years ago
• tum-i4 / klee-install
  Step by step manual for building KLEE
  ☆18Updated 8 years ago
• ddunbar / zcov
  Code coverage reporting tool
  ☆51Updated 9 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 3 years ago
• mshockwave / generator-llvm
  Generate project templates for executables that use LLVM and LLVM passes
  ☆52Updated 3 years ago
• uw-unsat / serval
  ☆46Updated 3 years ago
• benchmark-subsetting / cere
  CERE: Codelet Extractor and REplayer
  ☆40Updated 2 years ago
• nsumner / llvm-demo
  A simple example of how LLVM can be used to gather static or dynamic facts about a program.
  ☆73Updated last month
• travitch / llvm-tools
  A set of tools for visualizing and inspecting LLVM bitcode modules
  ☆31Updated 11 years ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆110Updated this week
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆101Updated 3 years ago
• agra-uni-bremen / metaSMT
  ☆52Updated 9 years ago
• rcorcs / llvm-heat-printer
  LLVM Profiling Visualization
  ☆84Updated 4 years ago
• vabridgers / Austin-LLVM-Meetup-Material
  Presentations, Videos, and Sample Source from Austin LLVM Meetups
  ☆11Updated 5 years ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆43Updated 2 months ago
• thestr4ng3r / llvm-dbas
  LLVM Assembler adding Debug Information at IR Level.
  ☆33Updated 7 years ago
• swtv-kaist / MUSIC
  MUSIC: MUtation analySIs tool with High Configurability and Extensibility
  ☆18Updated 2 years ago
• stp / minisat
  A minimalistic and high-performance SAT solver
  ☆29Updated 3 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆225Updated 2 years ago
• seahorn / verify-c-common
  ☆20Updated last year
• MrVPlusOne / Singularity
  Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis
  ☆20Updated 4 years ago
• eschulte / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆69Updated 11 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆32Updated 6 years ago
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆63Updated last year
• sampsyo / llvm-ei
  extensible interpreter for LLVM dynamic analyses
  ☆45Updated 12 years ago
• rems-project / rmem
  rmem public repo
  ☆49Updated 8 months ago
• rutgers-apl / alive-nj
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆33Updated 6 years ago