interruptlabs / semgrep_bn
Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.
☆31Updated 3 months ago
Alternatives and similar repositories for semgrep_bn:
Users that are interested in semgrep_bn are comparing it to the libraries listed below
- Vulnerability research assistant that extracts pseudo-code from the IDA Hex-Rays decompiler.☆33Updated 2 weeks ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 4 years ago
- weggli ruleset scanner for source code and binaries☆29Updated 4 months ago
- A IDA plugin to enable linking to locations in an IDB with a disas:// URI☆32Updated last year
- binary ninja related code☆35Updated last month
- ☆28Updated last year
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- A cross-platform plugin for Ghidra that provides deep linking support. This enables the generation of clickable disas:// links that can b…☆37Updated last month
- Python bindings for BochsCPU☆35Updated 2 months ago
- ☆56Updated 2 years ago
- Target components for kAFL/Nyx Fuzzer☆29Updated last month
- WTF Snapshot fuzzing of macOS targets☆95Updated 11 months ago
- A BinaryNinja plugin for contextual gadget analysis and semantic/hueristic based querying.☆60Updated 3 weeks ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Ghidra analyzer for UEFI firmware.☆18Updated last year
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more☆64Updated last month
- IDB parser☆17Updated this week
- A simple, web based dashboard to use with LibAFL + OnDiskJSONMonitor☆24Updated 11 months ago
- Banana Fuzzer ~ modulable, loop based, poc gen, code cov, platform agnostic, race oriented☆60Updated 2 years ago
- A script to detect stack-strings by using emulation (leveraging Unicorn)☆35Updated last year
- ☆59Updated last year
- Raw IDA Kernel API for IDAPython☆33Updated 3 years ago
- Static binary instrumentation for windows kernel drivers, to use with winafl☆74Updated 3 months ago
- CodeQL + DTrace = Memory Disclosure Vulnerabilities in XNU☆47Updated last year
- ☆80Updated 2 months ago
- ☆81Updated 2 years ago
- ☆76Updated 2 years ago
- weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interestin…☆18Updated 10 months ago
- Diaphora Machine Learning tools and datasets☆21Updated 7 months ago
- Dynamic-Static binary instrumentation framework on top of GDB☆52Updated last year