mborgerson / bintraceLinks
Fast program tracing and analysis
☆17Updated 3 weeks ago
Alternatives and similar repositories for bintrace
Users that are interested in bintrace are comparing it to the libraries listed below
Sorting:
- A super simple RV32i JIT, designed for ease of understanding and modification☆87Updated 3 years ago
- A debugger for Linux in Rust☆77Updated 3 years ago
- Why fuzzing with emulators is amazing☆141Updated 5 years ago
- Snapshot of the vectorized MMU that lines up with the vectorized MMU blog☆23Updated 5 years ago
- Self-hosting binary instrumentation framework for security research☆217Updated 2 years ago
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated last year
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆131Updated 3 years ago
- Safely execute an arbitrary x86 instruction☆203Updated last year
- x86 decoders for the yaxpeax project☆141Updated 3 months ago
- Some Rust bindings for Binary Ninja☆31Updated 2 years ago
- Load-time selective binary rewriting☆164Updated 3 years ago
- HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators☆36Updated 3 years ago
- libLISA: Instruction Discovery and Analysis on x86-64☆123Updated 10 months ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Updated last year
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆81Updated 2 weeks ago
- BinRec: Dynamic Binary Lifting and Recompilation☆145Updated 2 years ago
- A (SLEIGH) disassembler that supports multiple architectures☆88Updated 3 years ago
- Scalable Validator for Binary Lifters☆61Updated 5 years ago
- Verified, Incremental, Binary Editing with Synthesis☆54Updated 2 years ago
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- ☆11Updated 3 years ago
- ☆25Updated 2 years ago
- Power trace simulator using Unicorn Engine for side channel analysis attack testing☆90Updated 6 years ago
- X86 disassembler benchmark☆68Updated 2 months ago
- Manipulate C-family ASTs with Clang☆68Updated 7 years ago
- ☆74Updated last year
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Updated 4 years ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆82Updated last year
- anvill forges beautiful LLVM bitcode out of raw machine code☆363Updated last year
- print information from LLVM dataflow analyses☆13Updated 5 years ago