nneonneo / sstic-2021
Files for my solution to the SSTIC 2021 challenge
☆15Updated 3 years ago
Alternatives and similar repositories for sstic-2021:
Users that are interested in sstic-2021 are comparing it to the libraries listed below
- Course sample for SMT-Based Binary Program Analysis training class☆31Updated 6 years ago
- ☆47Updated 2 years ago
- PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components☆68Updated 3 years ago
- A IDA plugin to enable linking to locations in an IDB with a disas:// URI☆32Updated last year
- Load function names from an IDA Pro database inside GDB☆20Updated 6 years ago
- Interface GDB-GEF with Binary Ninja☆58Updated 3 years ago
- ☆76Updated 3 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- ☆72Updated 3 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 4 years ago
- Import DynamoRIO drcov code coverage data into Ghidra☆42Updated last year
- A fast execution trace symbolizer for Windows.☆130Updated 9 months ago
- IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.☆52Updated 5 years ago
- x86 bootloader emulation with Miasm (case of NotPetya)☆40Updated 5 years ago
- Analysis of VBS exploit CVE-2018-8174☆30Updated 6 years ago
- A plugin to integrate an IPython kernel into Binary Ninja.☆29Updated 6 years ago
- Collects extended function properties from IDA Pro databases☆93Updated 4 years ago
- Bluefrost Exploitation Challenge 2019 - Exploit and Writeup☆24Updated last year
- ☆45Updated 4 years ago
- Binary Ninja plugin that decompiles the whole binary and saves them in a directory.☆22Updated 2 years ago
- ☆28Updated 4 years ago
- ☆26Updated 6 years ago
- Tools for instrumenting Windows Defender's mpengine.dll☆36Updated 6 years ago
- Slides from my talk at the Gulasch Programming Night 18 about developing Binary Ninja plugins. Recording at: https://www.youtube.com/watc…☆9Updated 6 years ago
- ☆30Updated 4 years ago
- Sample Binary Ninja Plugin☆20Updated last year
- Use angr inside the radare2 debugger. Create an angr state from the current debugger state.☆34Updated 5 years ago
- Cumulative cyclomatic complexity calculation for Ghidra☆20Updated 4 years ago
- Flare-On solutions