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☆24Nov 24, 2025Updated 3 months ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆128Updated this week
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆39Mar 4, 2026Updated 2 weeks ago
- Yet another IDA Pro real time syncing plugin☆16Mar 27, 2018Updated 7 years ago
- A IDA plugin to enable linking to locations in an IDB with a disas:// URI☆34Oct 18, 2023Updated 2 years ago
- ☆75Jan 14, 2024Updated 2 years ago
- ☆12Sep 29, 2025Updated 5 months ago
- Idiomatic Rust bindings for the IDA SDK, enabling the development of standalone analysis tools using IDA v9.x’s idalib☆254Feb 22, 2026Updated last month
- Frida plugin for Binary Ninja☆20Jan 12, 2025Updated last year
- ☆96May 4, 2025Updated 10 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…☆30Jan 20, 2026Updated 2 months ago
- weggli ruleset scanner for source code and binaries☆39Nov 16, 2025Updated 4 months ago
- Laser Fault Injection on a Budget: RP2350 Edition☆13Dec 14, 2024Updated last year
- ☆330Jun 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☆76Mar 12, 2026Updated last week
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆81Updated this week
- Dark+ Theme☆50May 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
- A fast, multithreaded, ROP-gadget semantics analyzer.☆51Feb 3, 2021Updated 5 years ago
- SMT Modeling and Configurable Program Analysis for Ghidra's PCODE☆34Updated this week
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆175Updated this week
- Underconstrained symbolic execution for cryptography verification☆19Mar 26, 2021Updated 4 years ago
- 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
- ☆11Sep 12, 2021Updated 4 years ago
- CTADL is a static taint analysis tool☆51Mar 4, 2026Updated 2 weeks ago
- ☆13Mar 3, 2025Updated last year
- 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
- symbolic execution plugin for binary ninja☆351Jan 26, 2026Updated last month
- 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
- ☆18Oct 15, 2024Updated last year