agra-uni-bremen / BinSymLinks
Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
☆46Updated last week
Alternatives and similar repositories for BinSym
Users that are interested in BinSym are comparing it to the libraries listed below
Sorting:
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated 2 years ago
- Python bindings for BochsCPU☆36Updated 2 weeks ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆27Updated 2 years ago
- Output high level Pcode (PcodeAST) in Ghidra☆16Updated 2 years ago
- A tool to perform so called BGE attack☆24Updated last year
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆20Updated last month
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆31Updated last week
- Linux kernel branches for confidential compute research☆17Updated 2 months ago
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆31Updated 3 years ago
- binary ninja related code☆35Updated 2 months ago
- ☆42Updated 4 years ago
- breaking decompilers☆47Updated 3 weeks ago
- Ghidra analyzer for UEFI firmware.☆18Updated last year
- Framework for in-VM test execution and monitoring, inspired by Sandsifter☆11Updated 2 months ago
- ☆18Updated 3 years ago
- Python interface for Binexport, the Bindiff export format☆16Updated 2 weeks ago
- Uncovering Container Confusion in the Linux Kernel☆44Updated last year
- IFL - Interactive Functions List (plugin for Binary Ninja)☆23Updated 10 months ago
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆31Updated 3 months ago
- ☆31Updated 4 years ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆20Updated last month
- ☆43Updated last month
- Decode machine code into VEX IR and translate into LLVM IR☆28Updated 6 years ago
- Dr. Disassembler☆35Updated 3 years ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Updated 2 years ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆19Updated this week
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Updated 3 years ago