agra-uni-bremen / BinSym
Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
☆45Updated 2 months ago
Alternatives and similar repositories for BinSym:
Users that are interested in BinSym are comparing it to the libraries listed below
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Python bindings for BochsCPU☆35Updated 3 weeks ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated last year
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- Symbolic executor for Binary Ninja's MLIL☆22Updated 5 months ago
- Python interface for Binexport, the Bindiff export format☆14Updated 3 weeks ago
- IFL - Interactive Functions List (plugin for Binary Ninja)☆23Updated 8 months ago
- Ghidra analyzer for UEFI firmware.☆15Updated last year
- binary ninja related code☆25Updated 2 years ago
- ☆30Updated 4 years ago
- Bluefrost Exploitation Challenge 2019 - Exploit and Writeup☆24Updated last year
- weggli ruleset scanner for source code and binaries☆25Updated 3 months ago
- A tool to perform so called BGE attack☆24Updated 11 months ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆28Updated this week
- Ghidra P-Code emulation and static LLVM lifting in Python☆31Updated 2 years ago
- Linux kernel branches for confidential compute research☆17Updated last month
- Binary Ninja plugin to clean up some common obfuscation techniques.☆19Updated 4 years ago
- SMT Modeling for Ghidra's PCODE☆22Updated last month
- Output high level Pcode (PcodeAST) in Ghidra☆16Updated last year
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆54Updated 3 years ago
- ☆23Updated last month
- Binary exploitation by confusing the unwinder☆59Updated 2 years ago
- hypervisor enforced patch protection for the linux kernel with xen + libvmi, libvmi KASLR offset spoofer☆29Updated 11 months ago
- Set of plugins and library for dynamic pdb generation and synchronisation☆36Updated 10 months ago
- Tool to extract the kallsyms (System.map) from a memory dump☆25Updated last year
- Ghidra plugin that adds a window showing the high P-code for the current function.☆15Updated 2 years ago
- Rizin FLIRT Signature Database☆39Updated last year
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆26Updated last month
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Updated 2 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 4 years ago