google / EXEgesis

Related projects ⓘ

Alternatives and complementary repositories for EXEgesis

• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆219Updated last year
• rcorcs / llvm-heat-printer
  LLVM Profiling Visualization
  ☆83Updated 2 years ago
• regehr / ub-canaries
  collection of C/C++ programs that try to get compilers to exploit undefined behavior
  ☆175Updated 5 years ago
• StanfordPL / x64asm
  x86-64 assembler library
  ☆471Updated 3 years ago
• kframework / X86-64-semantics
  Semantics of x86-64 in K
  ☆143Updated 4 years ago
• xiw / stack
  A static checker for identifying unstable code.
  ☆359Updated 9 years ago
• mattgodbolt / agner
  Reworking of Agner Fog's performance test programs for Linux
  ☆110Updated 5 years ago
• fay59 / fcd
  An optimizing decompiler
  ☆706Updated 3 years ago
• google / syzygy
  Syzygy Transformation Toolchain
  ☆357Updated 5 years ago
• GJDuck / LowFat
  Lean C/C++ Bounds Checking with Low-Fat Pointers
  ☆177Updated 2 years ago
• GaloisInc / reopt
  A tool for analyzing x86-64 binaries.
  ☆305Updated last month
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆315Updated 2 years ago
• google / llvm-propeller
  PROPELLER: Profile Guided Optimizing Large Scale LLVM-based Relinker
  ☆375Updated this week
• intel / yarpgen
  Yet Another Random Program Generator
  ☆489Updated 3 months ago
• SNSystems / DIVA
  Debug Information Visual Analyzer
  ☆77Updated last month
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 5 years ago
• marxin / cvise
  Super-parallel Python port of the C-Reduce
  ☆244Updated last week
• andreas-abel / uiCA
  uops.info Code Analyzer
  ☆238Updated 10 months ago
• vishmohan / vmlaunch
  Simple Driver code for vmlaunch
  ☆159Updated 7 years ago
• alastairreid / mra_tools
  Tools to process ARM's Machine Readable Architecture Specification
  ☆122Updated 4 years ago
• mattbierner / Template-Assembly
  Embedding x86 assembly code in C++ with metaprogramming using a domain specific language.
  ☆173Updated 8 years ago
• asmjit / cult
  CPU Ultimate Latency Test.
  ☆105Updated last year
• ahmedbougacha / dagger
  Binary Translator to LLVM IR
  ☆215Updated last year
• emeryberger / Heap-Layers
  Heap Layers: An Extensible Memory Allocation Infrastructure
  ☆383Updated 3 months ago
• sinelaw / elfs-clang-plugins
  A collection of clang plugins for safer C programming
  ☆91Updated 6 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
  ☆267Updated 5 years ago
• dekimir / RamFuzz
  Combining Unit Tests, Fuzzing, and AI
  ☆299Updated 5 years ago
• intel / libipt
  libipt - an Intel(R) Processor Trace decoder library
  ☆666Updated 3 weeks ago
• lifting-bits / rellic
  Rellic produces goto-free C output from LLVM bitcode
  ☆537Updated 2 months ago