Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.
☆37Feb 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:
- ☆22Sep 10, 2024Updated last year
- IDB parser☆27Apr 21, 2026Updated last month
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆170Jun 4, 2026Updated last week
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆40Jun 4, 2026Updated last week
- Yet another IDA Pro real time syncing plugin☆16Mar 27, 2018Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A IDA plugin to enable linking to locations in an IDB with a disas:// URI☆34Oct 18, 2023Updated 2 years ago
- ☆79Jan 14, 2024Updated 2 years ago
- ☆12Sep 29, 2025Updated 8 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☆281May 26, 2026Updated 2 weeks ago
- ☆98May 4, 2025Updated last year
- 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…☆32Jan 20, 2026Updated 4 months ago
- weggli ruleset scanner for source code and binaries☆40Nov 16, 2025Updated 6 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. Zero configuration with optimized deployments.
- ☆327Jun 20, 2024Updated last year
- ☆29Dec 17, 2025Updated 5 months ago
- Currently proof-of-concept☆17Dec 17, 2021Updated 4 years ago
- A Binary Ninja plugin to identify interesting paths using static backward slicing☆77May 20, 2026Updated 3 weeks ago
- Dark+ Theme☆51May 17, 2024Updated 2 years ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆84Updated this week
- Plugin to visualize Miasm IR graph in Binary Ninja.☆14Aug 7, 2019Updated 6 years ago
- bctf2017 challenges☆11Apr 20, 2017Updated 9 years ago
- a cooler signature scanning and creation library for binja☆79Oct 14, 2025Updated 7 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A fast, multithreaded, ROP-gadget semantics analyzer.☆51Feb 3, 2021Updated 5 years ago
- Underconstrained symbolic execution for cryptography verification☆19Mar 26, 2021Updated 5 years ago
- SMT Modeling and Configurable Program Analysis for Ghidra's PCODE☆37Jun 6, 2026Updated last week
- Small tools to assist with using Large Language Models☆12Nov 7, 2023Updated 2 years ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆185Updated this week
- Malice Office/OLE/RTF Plugin☆13Aug 29, 2018Updated 7 years ago
- CTADL is a static taint analysis tool☆62Updated this week
- ☆11Sep 12, 2021Updated 4 years ago
- QEMU to drcov trace file☆12Nov 21, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆14Mar 24, 2026Updated 2 months ago
- Just another .data pointer hook. This time it's hooking AfdIrpCallDispatch within Afd.sys☆12Feb 22, 2022Updated 4 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…☆19May 25, 2026Updated 2 weeks ago
- symbolic execution plugin for binary ninja☆357Jan 26, 2026Updated 4 months ago
- A rust library that demangles / undecorates C++ symbols mangled by MSVC☆45Feb 6, 2025Updated last year
- Symbolic Execution Engine in Rust☆22Oct 8, 2023Updated 2 years ago