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
  ☆218Updated last year
• StanfordPL / x64asm
  x86-64 assembler library
  ☆478Updated 4 years ago
• rcorcs / llvm-heat-printer
  LLVM Profiling Visualization
  ☆84Updated 3 years ago
• regehr / ub-canaries
  collection of C/C++ programs that try to get compilers to exploit undefined behavior
  ☆179Updated 6 years ago
• mattgodbolt / agner
  Reworking of Agner Fog's performance test programs for Linux
  ☆110Updated 5 years ago
• andreas-abel / uiCA
  uops.info Code Analyzer
  ☆256Updated last year
• SNSystems / DIVA
  Debug Information Visual Analyzer
  ☆77Updated 4 months ago
• kframework / X86-64-semantics
  Semantics of x86-64 in K
  ☆145Updated 4 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
  ☆270Updated 6 years ago
• google / syzygy
  Syzygy Transformation Toolchain
  ☆365Updated 6 years ago
• asmjit / asmdb
  Instructions database and utilities for X86/X64 and ARM (THUMB/A32/A64) architectures.
  ☆331Updated last year
• intel / libipt
  libipt - an Intel(R) Processor Trace decoder library
  ☆675Updated last month
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆317Updated 3 years ago
• RRZE-HPC / OSACA
  Open Source Architecture Code Analyzer
  ☆311Updated 3 weeks ago
• fay59 / fcd
  An optimizing decompiler
  ☆715Updated 3 years ago
• zwegner / x86-info-term
  A terminal viewer for x86 instruction/intrinsic information using Python 3 + curses
  ☆128Updated 2 years ago
• vishmohan / vmlaunch
  Simple Driver code for vmlaunch
  ☆159Updated 7 years ago
• travisdowns / uarch-bench
  A benchmark for low-level CPU micro-architectural features
  ☆706Updated 3 years ago
• intel / yarpgen
  Yet Another Random Program Generator
  ☆499Updated 6 months ago
• GaloisInc / reopt
  A tool for analyzing x86-64 binaries.
  ☆311Updated 4 months ago
• ARM-software / asl-interpreter
  Example implementation of Arm's Architecture Specification Language (ASL)
  ☆115Updated 5 years ago
• lifting-bits / rellic
  Rellic produces goto-free C output from LLVM bitcode
  ☆548Updated 5 months ago
• andikleen / simple-pt
  Simple Intel CPU processor tracing on Linux
  ☆348Updated last year
• weliveindetail / JitFromScratch
  Example project from my talks in the LLVM Social Berlin and C++ User Group
  ☆173Updated 3 years ago
• StanfordPL / stoke
  STOKE: A stochastic superoptimizer and program synthesizer
  ☆761Updated last year
• RUB-SysSec / Microcode
  Microcode Updates for the USENIX 2017 paper: Reverse Engineering x86 Processor Microcode
  ☆333Updated 6 years ago
• andreas-abel / nanoBench
  A tool for running small microbenchmarks on recent Intel and AMD x86 CPUs.
  ☆453Updated 6 months ago
• alastairreid / mra_tools
  Tools to process ARM's Machine Readable Architecture Specification
  ☆126Updated 5 years ago
• llvm-mirror / polly
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆88Updated 5 years ago
• draperlaboratory / fracture
  an architecture-independent decompiler to LLVM IR
  ☆388Updated 9 years ago