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
  ☆222Updated 2 years ago
• regehr / ub-canaries
  collection of C/C++ programs that try to get compilers to exploit undefined behavior
  ☆184Updated 6 years ago
• rcorcs / llvm-heat-printer
  LLVM Profiling Visualization
  ☆84Updated 3 years ago
• StanfordPL / x64asm
  x86-64 assembler library
  ☆486Updated 4 years ago
• vishmohan / vmlaunch
  Simple Driver code for vmlaunch
  ☆161Updated 8 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 10 years ago
• xiw / stack
  A static checker for identifying unstable code.
  ☆363Updated 10 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
  ☆279Updated 6 years ago
• kframework / X86-64-semantics
  Semantics of x86-64 in K
  ☆162Updated 5 years ago
• fay59 / fcd
  An optimizing decompiler
  ☆741Updated 4 years ago
• mattgodbolt / agner
  Reworking of Agner Fog's performance test programs for Linux
  ☆115Updated last month
• asmjit / cult
  CPU Ultimate Latency Test.
  ☆116Updated 2 months ago
• google / syzygy
  Syzygy Transformation Toolchain
  ☆377Updated 6 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆71Updated 9 years ago
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆320Updated 4 years ago
• marcin-osowski / cmov
  Measuring cmov vs branch-mov performance
  ☆89Updated 7 years ago
• intel / yarpgen
  Yet Another Random Program Generator
  ☆538Updated last week
• llvm-mirror / polly
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆88Updated 6 years ago
• emeryberger / DieHard
  DieHard: An error-resistant memory allocator for Windows, Linux, and Mac OS X
  ☆414Updated last month
• mattbierner / Template-Assembly
  Embedding x86 assembly code in C++ with metaprogramming using a domain specific language.
  ☆189Updated 9 years ago
• draperlaboratory / fracture
  an architecture-independent decompiler to LLVM IR
  ☆396Updated 10 years ago
• StanfordPL / stoke
  STOKE: A stochastic superoptimizer and program synthesizer
  ☆834Updated 2 years ago
• GaloisInc / reopt
  A tool for analyzing x86-64 binaries.
  ☆334Updated last year
• zwegner / x86-info-term
  A terminal viewer for x86 instruction/intrinsic information using Python 3 + curses
  ☆128Updated 3 years ago
• checkedc / checkedc-clang
  This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers …
  ☆509Updated 2 weeks ago
• sinelaw / elfs-clang-plugins
  A collection of clang plugins for safer C programming
  ☆92Updated 7 years ago
• llvm-mirror / lld
  Project moved to: https://github.com/llvm/llvm-project
  ☆207Updated 6 years ago
• dpt / Aha
  A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren
  ☆58Updated 3 years ago
• google / llvm-propeller
  PROPELLER: Profile Guided Optimizing Large Scale LLVM-based Relinker
  ☆466Updated last week
• RRZE-HPC / OSACA
  Open Source Architecture Code Analyzer
  ☆338Updated 2 months ago