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
  ☆179Updated 6 years ago
• rcorcs / llvm-heat-printer
  LLVM Profiling Visualization
  ☆84Updated 3 years ago
• xiw / stack
  A static checker for identifying unstable code.
  ☆360Updated 10 years ago
• SNSystems / DIVA
  Debug Information Visual Analyzer
  ☆78Updated 7 months ago
• StanfordPL / x64asm
  x86-64 assembler library
  ☆482Updated 4 years ago
• google / llvm-propeller
  PROPELLER: Profile Guided Optimizing Large Scale LLVM-based Relinker
  ☆420Updated this week
• asmjit / cult
  CPU Ultimate Latency Test.
  ☆110Updated last week
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆108Updated 6 years ago
• kframework / X86-64-semantics
  Semantics of x86-64 in K
  ☆153Updated 5 years ago
• sinelaw / elfs-clang-plugins
  A collection of clang plugins for safer C programming
  ☆91Updated 6 years ago
• vishmohan / vmlaunch
  Simple Driver code for vmlaunch
  ☆159Updated 7 years ago
• andreas-abel / uiCA
  uops.info Code Analyzer
  ☆272Updated last year
• mattgodbolt / agner
  Reworking of Agner Fog's performance test programs for Linux
  ☆112Updated 6 years ago
• gergo- / missed-optimizations
  Missed optimizations in C compilers
  ☆341Updated 7 years ago
• alastairreid / mra_tools
  Tools to process ARM's Machine Readable Architecture Specification
  ☆129Updated 5 years ago
• zwegner / x86-info-term
  A terminal viewer for x86 instruction/intrinsic information using Python 3 + curses
  ☆129Updated 2 years ago
• travisdowns / uarch-bench
  A benchmark for low-level CPU micro-architectural features
  ☆725Updated 3 years ago
• RRZE-HPC / OSACA
  Open Source Architecture Code Analyzer
  ☆322Updated 3 weeks ago
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆318Updated 3 years ago
• fay59 / fcd
  An optimizing decompiler
  ☆727Updated 4 years ago
• google / syzygy
  Syzygy Transformation Toolchain
  ☆373Updated 6 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆98Updated 9 years ago
• dpt / Aha
  Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren
  ☆58Updated 3 years ago
• intel / yarpgen
  Yet Another Random Program Generator
  ☆508Updated 3 weeks ago
• andreas-abel / nanoBench
  A tool for running small microbenchmarks on recent Intel and AMD x86 CPUs.
  ☆472Updated 2 weeks ago
• asmjit / asmdb
  Instructions database and utilities for X86/X64 and ARM (THUMB/A32/A64) architectures.
  ☆332Updated last year
• marxin / cvise
  Super-parallel Python port of the C-Reduce
  ☆281Updated last month
• ahmedbougacha / dagger
  Binary Translator to LLVM IR
  ☆219Updated 2 years ago
• google / safeside
  Understand and mitigate software-observable side-channels
  ☆501Updated 4 years ago