agra-uni-bremen / BinSym
Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
☆43Updated last month
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 interface for Binexport, the Bindiff export format☆14Updated 2 weeks ago
- Python bindings for BochsCPU☆35Updated 2 weeks ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated last year
- Linux kernel branches for confidential compute research☆17Updated last month
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- Ghidra analyzer for UEFI firmware.☆15Updated last year
- IFL - Interactive Functions List (plugin for Binary Ninja)☆23Updated 8 months ago
- Example of an ELF parser to learn about the ELF format☆10Updated 5 months ago
- Output high level Pcode (PcodeAST) in Ghidra☆15Updated last year
- A tool to perform so called BGE attack☆24Updated 11 months ago
- Symbolic executor for Binary Ninja's MLIL☆22Updated 5 months ago
- An AFL scaling benchmarking tool☆18Updated 4 years ago
- binary ninja related code☆25Updated 2 years ago
- hypervisor enforced patch protection for the linux kernel with xen + libvmi, libvmi KASLR offset spoofer☆29Updated 10 months ago
- ☆18Updated 3 years ago
- ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation☆27Updated last year
- weggli ruleset scanner for source code and binaries☆25Updated 2 months ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆26Updated this week
- SymFusion: Hybrid Instrumentation for Concolic Execution☆17Updated last year
- Xyntia, the black-box deobfuscator☆65Updated 2 weeks ago
- Tool to extract the kallsyms (System.map) from a memory dump☆25Updated last year
- ☆30Updated 4 years ago
- Tools for Linux kernel debugging on Bochs (including symbols, native Bochs debugger and IDA PRO)☆31Updated last year
- IDA Pro Python plugin to analyze and annotate Linux kernel alternatives☆22Updated 3 years ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆31Updated 2 years ago
- A simple IDA Pro plugin to show all HexRays decompiler comments written by user☆21Updated 3 years ago
- PEIM (UEFI) bootkit targeting OVMF (EDK2)☆33Updated last year
- Bluefrost Exploitation Challenge 2019 - Exploit and Writeup☆24Updated last year