revng / demosLinks
The rev.ng demos
☆13Updated 5 months ago
Alternatives and similar repositories for demos
Users that are interested in demos are comparing it to the libraries listed below
Sorting:
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 3 years ago
- A tool to perform so called BGE attack☆26Updated 7 months ago
- Xyntia, the black-box deobfuscator☆84Updated last month
- Ghidra P-Code emulation and static LLVM lifting in Python☆38Updated 3 years ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆59Updated 7 months ago
- Python interface for Binexport, the Bindiff export format☆19Updated last month
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆54Updated 7 months ago
- ☆59Updated 2 years ago
- Symbolic executor for Binary Ninja's MLIL☆26Updated last year
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆124Updated last week
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆81Updated 3 years ago
- Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.☆42Updated 2 years ago
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆36Updated 3 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆37Updated this week
- weggli ruleset scanner for source code and binaries☆35Updated 2 months ago
- Python bindings for BochsCPU☆37Updated 5 months ago
- ☆45Updated 4 years ago
- Helper script for Linux kernel disassemble or debugging with IDA Pro on VMware + GDB stub (including some symbols helpers)☆37Updated 2 years ago
- Hex-Rays microcode API plugin for breaking an obfuscating compiler☆84Updated 6 years ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆135Updated last month
- Output high level Pcode (PcodeAST) in Ghidra☆16Updated 2 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 4 years ago
- nanoMIPS IDA plugin☆69Updated 4 years ago
- Repository for officially supported Binary Ninja plugins☆57Updated 2 weeks ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Updated 3 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆84Updated 2 years ago
- Code snippets for Binary Ninja's Python API☆30Updated 4 years ago
- IDA plugin that displays the P-code for the current function☆72Updated last month
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated 2 years ago
- ☆76Updated 4 years ago