Alternatives and similar repositories for EXEgesis:

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

• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆220Updated last year
• regehr / ub-canaries
  collection of C/C++ programs that try to get compilers to exploit undefined behavior
  ☆176Updated 5 years ago
• SNSystems / DIVA
  Debug Information Visual Analyzer
  ☆77Updated 3 months ago
• rcorcs / llvm-heat-printer
  LLVM Profiling Visualization
  ☆84Updated 3 years ago
• StanfordPL / x64asm
  x86-64 assembler library
  ☆474Updated 4 years ago
• xiw / stack
  A static checker for identifying unstable code.
  ☆360Updated 9 years ago
• kframework / X86-64-semantics
  Semantics of x86-64 in K
  ☆145Updated 4 years ago
• sinelaw / elfs-clang-plugins
  A collection of clang plugins for safer C programming
  ☆91Updated 6 years ago
• weliveindetail / JitFromScratch
  Example project from my talks in the LLVM Social Berlin and C++ User Group
  ☆172Updated 3 years ago
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆317Updated 3 years ago
• vishmohan / vmlaunch
  Simple Driver code for vmlaunch
  ☆159Updated 7 years ago
• mattgodbolt / agner
  Reworking of Agner Fog's performance test programs for Linux
  ☆110Updated 5 years ago
• nael8r / How-To-Write-An-LLVM-Register-Allocator
  This repository contains a tutorial for a quick start in how to write a register allocator using LLVM
  ☆269Updated 5 years ago
• fay59 / fcd
  An optimizing decompiler
  ☆713Updated 3 years ago
• marxin / cvise
  Super-parallel Python port of the C-Reduce
  ☆263Updated this week
• andreas-abel / uiCA
  uops.info Code Analyzer
  ☆250Updated last year
• kframework / c-semantics
  Semantics of C in K
  ☆309Updated 2 years ago
• mattbierner / Template-Assembly
  Embedding x86 assembly code in C++ with metaprogramming using a domain specific language.
  ☆175Updated 8 years ago
• zwegner / x86-info-term
  A terminal viewer for x86 instruction/intrinsic information using Python 3 + curses
  ☆128Updated 2 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 9 years ago
• intel / yarpgen
  Yet Another Random Program Generator
  ☆495Updated 5 months ago
• google / llvm-propeller
  PROPELLER: Profile Guided Optimizing Large Scale LLVM-based Relinker
  ☆388Updated this week
• ForwardCom / manual
  Reference manual for ForwardCom instruction set and software standards
  ☆163Updated 5 months ago
• gergo- / missed-optimizations
  Missed optimizations in C compilers
  ☆342Updated 6 years ago
• hfinkel / llvm-project-cxxjit
  Clang with JIT extensions
  ☆228Updated 2 years ago
• alastairreid / mra_tools
  Tools to process ARM's Machine Readable Architecture Specification
  ☆126Updated 5 years ago
• GaloisInc / reopt
  A tool for analyzing x86-64 binaries.
  ☆307Updated 2 months ago
• travisdowns / uarch-bench
  A benchmark for low-level CPU micro-architectural features
  ☆703Updated 2 years ago
• google / syzygy
  Syzygy Transformation Toolchain
  ☆360Updated 6 years ago