agra-uni-bremen / BinSymLinks
Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
☆51Updated 4 months ago
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
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆53Updated 4 months ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆42Updated 2 years ago
- Python bindings for BochsCPU☆37Updated last month
- ☆59Updated 2 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆36Updated 2 weeks ago
- Python interface for Binexport, the Bindiff export format☆15Updated last month
- Ghidra Processor Module to disassemble and decompile the x86 Intel Atom microcode☆82Updated 2 years ago
- Artifact of "Indirector: High-Precision Branch Target Injection Attacks Exploiting the Indirect Branch Predictor" [USENIX Security 2024]☆63Updated last year
- Xyntia, the black-box deobfuscator☆75Updated 3 months ago
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- Linux kernel branches for confidential compute research☆19Updated 6 months ago
- Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.☆41Updated 2 years ago
- Ghidra analyzer for UEFI firmware.☆18Updated 2 years ago
- ELF binary forensics tool for APT, virus, backdoor and rootkit detection☆50Updated 10 months ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- Program synthesis tools and utilities for LLVM.☆20Updated 2 years ago
- Tutorial to write qemu plugins