norlen / symexLinks
Symbolic Execution Engine in Rust
☆21Updated 2 years ago
Alternatives and similar repositories for symex
Users that are interested in symex are comparing it to the libraries listed below
Sorting:
- A binary analysis framework written in Rust.☆21Updated last year
- Exemplary LLVM function pass implementing Control Flow Flattening.☆17Updated 7 years ago
- Static analysis tool based on clang, which detects source-to-binary information leaks in C and C++ projects☆86Updated 3 years ago
- Instruction decoder generator☆28Updated 6 months ago
- LLVM based devirtualization PoC’s.☆21Updated 3 years ago
- PEIM (UEFI) bootkit targeting OVMF (EDK2)☆41Updated last year
- PDB Rewriting Rust Library☆25Updated last year
- Rust library for lifting raw binary data to LLVM IR☆59Updated 3 months ago
- A parser for Microsoft PDB (Program Database) debugging information☆22Updated last year
- LLVM Without The ROP Gadgets!☆26Updated last year
- Template for UEFI runtime drivers written in Rust with serial logging and debugging support.☆61Updated 5 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Updated 4 years ago
- An extremely experimental Binary Ninja importer for the type layout information emitted by the -Zprint-type-sizes flag of the Rust compil…☆38Updated 2 years ago
- IDB parser☆23Updated last month
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆58Updated 5 months ago
- Sample Rust crate used to implement a VBS enclave in Rust☆36Updated 5 months ago
- Output high level Pcode (PcodeAST) in Ghidra☆16Updated 2 years ago
- function executor based on unicorn and memflow☆92Updated 3 months ago
- Playing with LLVM passes☆37Updated 2 years ago
- A KISS Rust crate to parse Windows kernel crash-dumps created by Windows & its debugger.☆40Updated 2 weeks ago
- SCEMU The crates.io lib, x86 cpu and systems emulator focused mainly for anti-malware☆48Updated 10 months ago
- A thin introspection hypervisor framework that allows for low level resource manipulation.☆13Updated last year
- ☆13Updated 2 years ago
- Rust bindings to the System Informer's (formerly known as Process Hacker) "phnt" native Windows headers☆47Updated 5 months ago
- A small tool for quickly generating LLVM passes☆29Updated last month
- Translating WebAssembly into the most simple LLVM IR.☆13Updated 3 months ago
- Another (bad) ROP gadget finder, but this time in Rust☆22Updated last year
- Binary Ninja plugin to perform automated analysis of Windows drivers☆18Updated 6 years ago
- a parser for the .map file included in the aimware leak☆16Updated 2 years ago
- How Meltdown and Spectre haunt Anti-Cheat: DVRT details☆23Updated last year