aengelke / binopt
A binary optimization/specialization library supporting multiple rewriters
☆112Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for binopt
- A library for dynamic binary rewriting☆57Updated 3 years ago
- A high performance LLVM-based dynamic binary instrumentation framework☆246Updated 5 months ago
- BinRec: Dynamic Binary Lifting and Recompilation☆125Updated last year
- NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.☆50Updated 2 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆51Updated 2 years ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆339Updated 2 months ago
- Generates CIL MLIR dialect from C/C++ source.☆31Updated 3 years ago
- Static instrumentation tool for efficient binary-level coverage analysis.☆145Updated 3 years ago
- A fast and lightweight decoder for x86 and x86-64 and encoder for x86-64.☆166Updated 3 months ago
- ☆67Updated 4 months ago
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- A better C/C++ macro extension. Implemented in Clang plugins. Inspired by Rust's macro system☆63Updated 4 years ago
- Binary Translator to LLVM IR☆47Updated 6 years ago
- Safely execute an arbitrary x86 instruction☆178Updated 9 months ago
- Fork of LLVM for demonstrating optimization pass development☆29Updated last year
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆138Updated 4 months ago
- Peter's Amazing Syntax Tree Analyzer☆123Updated 2 months ago
- Some experiments with SMT solvers and GIMPLE IR☆68Updated this week
- Lift machine code to performant LLVM IR☆393Updated 5 months ago
- Dynamic creation and update of ELF files, or: an allocator for JIT compilers☆32Updated 10 months ago
- An LLVM sanitizer tutorial☆197Updated 2 years ago
- X86 disassembler benchmark☆54Updated 4 months ago
- A small library and kernel module for easy access to x86 performance monitor counters under Linux.☆94Updated 6 months ago
- Internal library providing platform independent types, macros and a fallback for environments without LibC.☆84Updated 2 months ago
- Diablo is a retargetable link-time binary rewriting framework☆74Updated 3 years ago
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆111Updated 6 months ago
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆177Updated 2 years ago
- Python command-line tool and GDB extension to view and save x86, ARM and objdump assembly files as control-flow graph (CFG) pdf files☆74Updated 7 months ago
- Dynamic runtime inlining with LLVM☆65Updated 3 years ago
- The Bareflank Processor Abstraction Layer☆37Updated 2 years ago