Semantic code search tool with GPU acceleration
☆61Dec 1, 2025Updated 4 months ago
Alternatives and similar repositories for smgrep
Users that are interested in smgrep are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Pure Go bindings for Zydis.☆13Jul 14, 2024Updated last year
- This master thesis project continuously collects and analyses Microsoft Windows kernel drivers using static and dynamic methods to help s…☆22Nov 4, 2024Updated last year
- Symbolic Execution over Falcon IL☆30Mar 13, 2026Updated last month
- LuaJIT binding to Zydis - Zyantific disassembly tools☆16Aug 7, 2018Updated 7 years ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆24May 1, 2025Updated 11 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 Hybrid Alias Analysis☆19Aug 10, 2023Updated 2 years ago
- A thin Rust wrapper around Windows' hardware breakpoints.☆21Jul 14, 2022Updated 3 years ago
- A collection of useful Delphi functions- and classes☆18Jan 29, 2022Updated 4 years ago
- Event Masker is a Splunk streaming command to mask event from search based on a list of rules that contain conditions.☆16Oct 11, 2022Updated 3 years ago
- CoRCTF 2025 - CoRPhone: Android Kernel Pwn☆52Sep 3, 2025Updated 7 months ago
- Python bindings for the Zydis disassembler library☆17Jul 2, 2019Updated 6 years ago
- Pure Go port of Hacker Disassembler Engine.☆25Feb 21, 2025Updated last year
- Plugin adding multi-binary project support to IDA Pro (WIP)☆30Sep 13, 2016Updated 9 years ago
- ☆11Nov 25, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆34Jan 17, 2026Updated 2 months ago
- Lazy Bloodhound is a toy PHP static code analyzer built on tree-sitter☆13Feb 19, 2021Updated 5 years ago
- Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation☆22Dec 3, 2023Updated 2 years ago
- ROP-Gadget finder in Rust☆17Feb 2, 2018Updated 8 years ago
- FO4SE_VR Plugin for handling VR input☆12May 20, 2020Updated 5 years ago
- Zydis JavaScript bindings via WASM☆20Mar 28, 2023Updated 3 years ago
- Nyxstone: assembly / disassembly library based on LLVM, implemented in C++ with Rust and Python bindings, maintained by emproof.com☆401Dec 4, 2024Updated last year
- TapTrap is a new attack on Android that lures you into performing actions you did not intend to do. This allows an app to silently access…☆72Jul 28, 2025Updated 8 months ago
- ClickHouse Python Driver for Data Science☆15May 15, 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.
- POC about how to prevent windbg break☆15Oct 3, 2022Updated 3 years ago
- Header only wrapper around Hex-Rays API in C++20.☆168Dec 25, 2024Updated last year
- IoM defualt mal package☆10Feb 22, 2026Updated last month
- A solution for llvmvm in MRCTF2022☆11Apr 27, 2022Updated 3 years ago
- ☆16Jun 23, 2024Updated last year
- weggli ruleset scanner for source code and binaries☆40Nov 16, 2025Updated 5 months ago
- Dynamic parser. You can define parsing rules with a peg format☆15Mar 14, 2020Updated 6 years ago
- ☆16Feb 24, 2026Updated last month
- Binary Ninja Plugin for Generating Callgraphs☆17Jun 17, 2025Updated 9 months ago
- 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.
- 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
- Easy bookmark management with rofi☆18Feb 15, 2017Updated 9 years ago
- Python bindings for LLVM auto-generated from the LLVM-C API☆229Apr 8, 2025Updated last year
- ☆11Dec 10, 2017Updated 8 years ago
- 计算自身md5的最小ELF64程序.The minimum ELF64 program to calculate its own md5☆11Apr 20, 2020Updated 5 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆56May 26, 2025Updated 10 months ago