A toolkit for conducting multiple static binary analysis based on Ghidra.
☆24May 1, 2025Updated 10 months ago
Alternatives and similar repositories for gsat
Users that are interested in gsat are comparing it to the libraries listed below
Sorting:
- Artifacts for our USENIX Security '24 paper: "Code is not Natural Language: Unlock the Power of Semantics-Oriented Graph Representation f…☆82Dec 10, 2024Updated last year
- The datasets and source code of the NDSS 2025 paper《BinEnhance: An Enhancement Framework Based on External Environment Semantics for Bina…☆30Nov 13, 2025Updated 3 months ago
- ☆12Sep 29, 2025Updated 5 months ago
- LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…☆16May 17, 2023Updated 2 years ago
- IDA Pro script to find interesting syscalls and patterns in binaries☆22Oct 18, 2024Updated last year
- 存储iot设备分析工具和分析文件☆14May 28, 2021Updated 4 years ago
- Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.☆22May 17, 2022Updated 3 years ago
- ☆20Mar 21, 2024Updated last year
- yara and radare2, better together☆27Updated this week
- ☆96May 4, 2025Updated 10 months ago
- ☆94Mar 31, 2025Updated 11 months ago
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆27Jan 27, 2025Updated last year
- My scripts for Ghidra.☆25Oct 9, 2025Updated 4 months ago
- ☆39Dec 31, 2025Updated 2 months ago
- Seq2seq Type Inference using Static Analysis and CodeT5☆32Jul 9, 2023Updated 2 years ago
- Replication package for "Dataflow Analysis-Inspired Deep Learning for Efficient Vulnerability Detection", ICSE 2024.☆73Sep 24, 2024Updated last year
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆39Updated this week
- ☆308Jul 30, 2024Updated last year
- Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers☆37Feb 24, 2026Updated last week
- Symbolic Execution Engine based on Ghidra's PCode☆84Mar 16, 2023Updated 2 years ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆37Aug 17, 2023Updated 2 years ago
- IDA Hexrays To Joern☆44Nov 7, 2024Updated last year
- Official code of Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning☆43Dec 17, 2023Updated 2 years ago
- ☆47May 27, 2023Updated 2 years ago
- Statistics from our binary transformation framework☆11Jan 16, 2025Updated last year
- OGhidra bridges Large Language Models (LLMs) via Ollama with the Ghidra reverse engineering platform, enabling AI-driven binary analysis …☆114Feb 20, 2026Updated 2 weeks 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
- HiddenCPG: Large-Scale Vulnerable Clone Detection Using Subgraph Isomorphism of Code Property Graphs☆43Oct 18, 2022Updated 3 years ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆127Feb 23, 2026Updated last week
- Morion is a PoC tool to experiment with symbolic execution on real-word (ARMv7) binaries.☆15Oct 3, 2024Updated last year
- debug path list environment variables☆13Dec 23, 2025Updated 2 months ago
- ☆11Sep 7, 2023Updated 2 years ago
- Music Player app built using 100% Kotlin☆11Aug 4, 2023Updated 2 years ago
- CVE-2024-53691☆14Jan 13, 2025Updated last year
- ☆11Apr 18, 2024Updated last year
- [NAACL 2025] LLM-Supported Natural Language to Bash Translation☆16Jul 17, 2025Updated 7 months ago
- qemu-system by docker-compose☆13Jun 14, 2022Updated 3 years ago
- convert luac to lua source☆11Dec 20, 2024Updated last year
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 7 years ago