norlen / symexLinks
Symbolic Execution Engine in Rust
☆21Updated last year
Alternatives and similar repositories for symex
Users that are interested in symex are comparing it to the libraries listed below
Sorting:
- Static analysis tool based on clang, which detects source-to-binary information leaks in C and C++ projects☆85Updated 2 years ago
- An xtask to speed up Windows kernel driver development in rust.☆19Updated last year
- Rust library for lifting raw binary data to LLVM IR☆53Updated 3 months ago
- A binary analysis framework written in Rust.☆20Updated last year
- Exemplary LLVM function pass implementing Control Flow Flattening.☆17Updated 7 years ago
- PEIM (UEFI) bootkit targeting OVMF (EDK2)☆35Updated last year
- LLVM based devirtualization PoC’s.☆21Updated 3 years ago
- Instruction decoder generator☆21Updated 2 months ago
- Template for UEFI runtime drivers written in Rust with serial logging and debugging support.☆59Updated 4 years ago
- LLVM Without The ROP Gadgets!☆26Updated last year
- x64 jit assembler☆12Updated 2 months ago
- A parser for Microsoft PDB (Program Database) debugging information☆27Updated 8 months ago
- PDB Rewriting Rust Library☆24Updated last year
- Sample Rust crate used to implement a VBS enclave in Rust☆35Updated last month
- A thin introspection hypervisor framework that allows for low level resource manipulation.☆13Updated last year
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- Easily search LLVM headers for all major versions!☆19Updated 5 months ago
- LLVM Manager - downloads, compiles and installs LLVM versions☆9Updated 9 months ago
- Rusty Hypervisor - Windows Blue Pill Type-2 Hypervisor in Rust (Codename: Matrix)☆10Updated last year
- IDB parser☆18Updated this week
- Binary Ninja plugin to perform automated analysis of Windows drivers☆17Updated 5 years ago
- An extremely experimental Binary Ninja importer for the type layout information emitted by the -Zprint-type-sizes flag of the Rust compil…☆36Updated 2 years ago
- AMD SVM hypervisor rootkit proof of concept☆47Updated last year
- ☆13Updated last year
- Another (bad) ROP gadget finder, but this time in Rust☆22Updated last year
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Updated 3 years ago
- ☆37Updated 2 years ago
- Experiment building lifting-bits dependencies with pure CMake. Migrated to:☆22Updated 9 months ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated 2 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago