nneonneo / sstic-2021Links
Files for my solution to the SSTIC 2021 challenge
☆15Updated 4 years ago
Alternatives and similar repositories for sstic-2021
Users that are interested in sstic-2021 are comparing it to the libraries listed below
Sorting:
- Course sample for SMT-Based Binary Program Analysis training class☆30Updated 7 years ago
- ☆47Updated 2 years ago
- IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.☆53Updated 5 years ago
- ☆72Updated 3 years ago
- ☆76Updated 3 years ago
- PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components☆68Updated 3 years ago
- x86 bootloader emulation with Miasm (case of NotPetya)☆43Updated 6 years ago
- Interface GDB-GEF with Binary Ninja☆58Updated 4 years ago
- A IDA plugin to enable linking to locations in an IDB with a disas:// URI☆32Updated last year
- PANDA-powered tracing engine for tenet☆11Updated 3 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- binary ninja related code☆35Updated 2 months ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Load function names from an IDA Pro database inside GDB☆20Updated 6 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆50Updated 4 years ago
- A plugin to integrate an IPython kernel into Binary Ninja.☆30Updated 6 years ago
- Analysis of VBS exploit CVE-2018-8174☆31Updated 6 years ago
- Import DynamoRIO drcov code coverage data into Ghidra☆43Updated last year
- Poc for ELF64 runtime infection via GOT poisoning technique by elfmaster☆29Updated 5 years ago
- ☆28Updated 5 years ago
- Python bindings for the Microsoft Hypervisor Platform APIs.☆80Updated 6 years ago
- Tools for instrumenting Windows Defender's mpengine.dll☆37Updated 6 years ago
- Cumulative cyclomatic complexity calculation for Ghidra☆20Updated 4 years ago
- Flare-On solutions☆36Updated 5 years ago
- Export a binary from ghidra to emulate with unicorn☆27Updated 5 years ago
- ☆34Updated 3 years ago
- haze binary fuzzer☆53Updated last year
- ☆40Updated 4 years ago
- QuickPatch: A patching tool☆13Updated 5 years ago
- Plugins for IDA Pro and Hex-Rays☆42Updated 7 years ago