Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.
☆36Feb 4, 2025Updated last year
Alternatives and similar repositories for semgrep_bn
Users that are interested in semgrep_bn are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆21Sep 10, 2024Updated last year
- IDB parser☆26Nov 24, 2025Updated 4 months ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆127Mar 27, 2026Updated 2 weeks ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆40Mar 30, 2026Updated last week
- Yet another IDA Pro real time syncing plugin☆16Mar 27, 2018Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A IDA plugin to enable linking to locations in an IDB with a disas:// URI☆34Oct 18, 2023Updated 2 years ago
- ☆77Jan 14, 2024Updated 2 years ago
- ☆12Sep 29, 2025Updated 6 months ago
- Frida plugin for Binary Ninja☆20Jan 12, 2025Updated last year
- Idiomatic Rust bindings for the IDA SDK, enabling the development of standalone analysis tools using IDA v9.x’s idalib☆256Updated this week
- ☆96May 4, 2025Updated 11 months ago
- KFLAT is a tool to serialize memory of selected variables from the running Linux kernel and organize it into a single memory block of con…☆31Jan 20, 2026Updated 2 months ago
- weggli ruleset scanner for source code and binaries☆40Nov 16, 2025Updated 4 months ago
- Laser Fault Injection on a Budget: RP2350 Edition☆13Dec 14, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆329Jun 20, 2024Updated last year
- ☆28Dec 17, 2025Updated 3 months ago
- Currently proof-of-concept☆17Dec 17, 2021Updated 4 years ago
- A Binary Ninja plugin to identify interesting paths using static backward slicing☆77Updated this week
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆81Apr 5, 2026Updated last week
- Dark+ Theme☆51May 17, 2024Updated last year
- Plugin to visualize Miasm IR graph in Binary Ninja.☆14Aug 7, 2019Updated 6 years ago
- bctf2017 challenges☆11Apr 20, 2017Updated 8 years ago
- a cooler signature scanning and creation library for binja☆79Oct 14, 2025Updated 5 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A fast, multithreaded, ROP-gadget semantics analyzer.☆51Feb 3, 2021Updated 5 years ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆178Mar 30, 2026Updated 2 weeks ago
- Underconstrained symbolic execution for cryptography verification☆19Mar 26, 2021Updated 5 years ago
- SMT Modeling and Configurable Program Analysis for Ghidra's PCODE☆35Apr 4, 2026Updated last week
- Small tools to assist with using Large Language Models☆12Nov 7, 2023Updated 2 years ago
- Malice Office/OLE/RTF Plugin☆13Aug 29, 2018Updated 7 years ago
- CTADL is a static taint analysis tool☆57Mar 4, 2026Updated last month
- ☆11Sep 12, 2021Updated 4 years ago
- ☆13Mar 24, 2026Updated 2 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- QEMU to drcov trace file☆12Nov 21, 2020Updated 5 years ago
- Semantic strings based on tree-sitter☆17Feb 19, 2025Updated last year
- weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interestin…☆19Jun 6, 2024Updated last year
- A rust library that demangles / undecorates C++ symbols mangled by MSVC☆44Feb 6, 2025Updated last year
- AoT is a system for automatically generating off-target test harness by using build information.☆39Dec 6, 2024Updated last year
- symbolic execution plugin for binary ninja☆351Jan 26, 2026Updated 2 months ago
- ☆18Oct 15, 2024Updated last year