Semantic code search tool with GPU acceleration
☆59Dec 1, 2025Updated 3 months ago
Alternatives and similar repositories for smgrep
Users that are interested in smgrep are comparing it to the libraries listed below
Sorting:
- This master thesis project continuously collects and analyses Microsoft Windows kernel drivers using static and dynamic methods to help s…☆21Nov 4, 2024Updated last year
- Mixed Boolean Arithmetic Simplification using E-Graphs☆24May 1, 2025Updated 10 months ago
- Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation☆22Dec 3, 2023Updated 2 years ago
- weggli ruleset scanner for source code and binaries☆39Nov 16, 2025Updated 3 months ago
- A cross-chain framework for fabric based on relay chain tech. The current version of fabric is 1.4.4. 基于fabric的联盟链跨链框架☆13May 5, 2022Updated 3 years ago
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆34Feb 4, 2025Updated last year
- 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
- A rust library that demangles / undecorates C++ symbols mangled by MSVC☆44Feb 6, 2025Updated last year
- IDA plugin to aid with Swift reverse engineering☆40Oct 26, 2024Updated last year
- A simple MIPS to LLVM IR recompiler with ahead-of-time recompilation support☆45Jan 19, 2020Updated 6 years ago
- Statistics from our binary transformation framework☆11Jan 16, 2025Updated last year
- How to create VMware vagrant box☆11May 10, 2020Updated 5 years ago
- An OpenAI-powered triage bot for a slack support channel designed to tag oncalls, prioritize issues, suggest solutions, and streamline co…☆12Jun 11, 2025Updated 8 months ago
- A malware sandoxed with gdb☆15Jun 27, 2016Updated 9 years ago
- Find out how to bypass HVCI (or not). My own research on Microsoft Warbird (specifically in clipsp.sys)☆93Oct 26, 2025Updated 4 months ago
- Header only wrapper around Hex-Rays API in C++20.☆168Dec 25, 2024Updated last year
- Nyxstone: assembly / disassembly library based on LLVM, implemented in C++ with Rust and Python bindings, maintained by emproof.com☆400Dec 4, 2024Updated last year
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆54May 26, 2025Updated 9 months ago
- deobfuscation BR☆55Mar 4, 2024Updated 2 years ago
- Tools that run inside the guest☆11Jan 2, 2020Updated 6 years ago
- ☆11Nov 25, 2020Updated 5 years ago
- A collection of my scripts for research☆12Jul 28, 2025Updated 7 months ago
- PEiD like python script☆10Mar 5, 2017Updated 9 years ago
- IoM defualt mal package☆10Feb 22, 2026Updated last week
- Dynamic-Static binary instrumentation framework on top of GDB☆50Sep 25, 2023Updated 2 years ago
- Simple cmkr template to get you started with vcpkg right away.☆11Dec 6, 2024Updated last year
- ☆11Dec 10, 2017Updated 8 years ago
- Play 2048 in notepad.exe☆13Feb 16, 2015Updated 11 years ago
- Captain Crunch is a modern wordlist generator that lets you specify a collection of character sets and then generate all possible permuta…☆11Feb 2, 2021Updated 5 years ago
- BUPT编译原理实验（非课设）☆13Jan 12, 2022Updated 4 years ago
- Clockwork: A Modular Arithmetic library for C++☆12Nov 18, 2025Updated 3 months ago
- ☆10May 14, 2020Updated 5 years ago
- Primitives function for ray marching in Open GL☆10Nov 23, 2016Updated 9 years ago
- An IdaPython tool for getting syscall's ID and function name from ntdll.dll, user32.dll, and so on.☆13Oct 2, 2016Updated 9 years ago
- ROP-Gadget finder in Rust☆17Feb 2, 2018Updated 8 years ago
- indent guides plugin for hex-rays decompiler☆63Updated this week
- IDA 9.0 Discord Rich Presence Python plugin☆10Aug 17, 2024Updated last year
- ☆12Sep 29, 2025Updated 5 months ago
- ☆11Apr 27, 2020Updated 5 years ago