google / EXEgesisLinks
☆281Updated 2 years ago
Alternatives and similar repositories for EXEgesis
Users that are interested in EXEgesis are comparing it to the libraries listed below
Sorting:
- Alive: Automatic LLVM's Instcombine Verifier☆224Updated 2 years ago
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆184Updated 6 years ago
- x86-64 assembler library☆487Updated 4 years ago
- LLVM Profiling Visualization☆84Updated 3 years ago
- Semantics of x86-64 in K☆169Updated 5 years ago
- A static checker for identifying unstable code.☆363Updated 10 years ago
- Measuring cmov vs branch-mov performance☆90Updated 7 years ago
- custom type systems for Clang☆96Updated 10 years ago
- Reworking of Agner Fog's performance test programs for Linux☆116Updated 2 months ago
- Simple Driver code for vmlaunch☆160Updated 8 years ago
- CPU Ultimate Latency Test.☆117Updated 4 months ago
- Syzygy Transformation Toolchain☆378Updated 7 years ago
- DieHard: An error-resistant memory allocator for Windows, Linux, and Mac OS X☆416Updated last week
- This repository contains a tutorial for a quick start in how to write a register allocator using LLVM☆279Updated 6 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- Embedding x86 assembly code in C++ with metaprogramming using a domain specific language.☆189Updated 9 years ago
- A terminal viewer for x86 instruction/intrinsic information using Python 3 + curses☆128Updated 3 years ago
- An optimizing decompiler☆760Updated 4 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆321Updated 4 years ago
- uops.info Code Analyzer☆317Updated last year
- A tool for analyzing x86-64 binaries.☆337Updated last year
- A collection of clang plugins for safer C programming☆93Updated 7 years ago
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆187Updated 3 years ago
- Yet Another Random Program Generator☆542Updated last month
- STOKE: A stochastic superoptimizer and program synthesizer☆839Updated 2 years ago
- an architecture-independent decompiler to LLVM IR☆395Updated 10 years ago
- Database of CPU Opcodes☆258Updated last year
- A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren☆58Updated 3 years ago
- chap analyzes un-instrumented core files for leaks, memory growth, and corruption☆390Updated 7 months ago
- Example project from my talks in the LLVM Social Berlin and C++ User Group☆176Updated 4 years ago