libLISA / liblisa
libLISA: Instruction Discovery and Analysis on x86-64
☆112Updated last month
Alternatives and similar repositories for liblisa:
Users that are interested in liblisa are comparing it to the libraries listed below
- Ghidra Sleight (PCode) parsing library in Rust.☆43Updated 3 months ago
- BinRec: Dynamic Binary Lifting and Recompilation☆130Updated last year
- A (SLEIGH) disassembler that supports multiple architectures☆83Updated 2 years ago
- Modular and extensible library for Virtual Machine Introspection☆91Updated 2 weeks ago
- simple type recognition in decompiled executables☆107Updated 9 months ago
- Core emulator components for Icicle☆199Updated last week
- A tour of what some Rust language features look like after compilation.☆44Updated last year
- Intel Hardware Trace Library - Kernel Space Componment☆65Updated 3 weeks ago
- ☆82Updated 3 weeks ago
- Peter's Amazing Syntax Tree Analyzer☆129Updated 6 months ago
- A binary analysis framework written in Rust.☆168Updated this week
- Quarkslab Bindiffer but not only !☆200Updated last month
- Triton-based DSE library with loading and exploration capabilities (and more!)☆115Updated 4 months ago
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆87Updated last week
- ☆54Updated last month
- Fast, parallel, cross-variant ROP/JOP gadget search for x86/x64 binaries.☆91Updated last year
- A debugger for Linux in Rust☆77Updated 2 years ago
- Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.☆28Updated this week
- SMT Modeling for Ghidra's PCODE☆23Updated this week
- InSpectre Gadget: in-depth inspection and exploitability analysis of Spectre disclosure gadgets☆51Updated last week
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆19Updated last month
- SLOT: SMT-LLVM Optimizing Translation☆56Updated 3 weeks ago
- Idiomatic Rust bindings for the IDA SDK, enabling the development of standalone analysis tools using IDA v9.x’s idalib☆147Updated last week
- Tantō slices functions into more consumable chunks☆60Updated last month
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆46Updated 2 months ago
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆12Updated 2 weeks ago
- A simple hypervisor demonstrating the use of the Intel VT-rp (redirect protection) technology.☆103Updated last year
- Practical fuzzing tutorials and training☆31Updated 9 months ago
- A parser for Microsoft PDB (Program Database) debugging information☆27Updated 5 months ago
- Ariadne: Binary Ninja Graph Analysis Plugin☆88Updated 2 months ago