sgfvamll / gsatView external linksLinks
A toolkit for conducting multiple static binary analysis based on Ghidra.
☆24May 1, 2025Updated 9 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…☆83Dec 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 4 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
- 存储iot设备分析工具和分析文件☆14May 28, 2021Updated 4 years ago
- ☆20Mar 21, 2024Updated last year
- yara and radare2, better together☆27Jan 17, 2026Updated 3 weeks ago
- ☆94May 4, 2025Updated 9 months ago
- ☆94Mar 31, 2025Updated 10 months ago
- My scripts for Ghidra.☆25Oct 9, 2025Updated 4 months ago
- ☆39Dec 31, 2025Updated last month
- Seq2seq Type Inference using Static Analysis and CodeT5☆32Jul 9, 2023Updated 2 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆38Jan 26, 2026Updated 2 weeks ago
- Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers☆37Updated this week
- Symbolic Execution Engine based on Ghidra's PCode☆84Mar 16, 2023Updated 2 years ago
- OGhidra bridges Large Language Models (LLMs) via Ollama with the Ghidra reverse engineering platform, enabling AI-driven binary analysis …☆99Jan 22, 2026Updated 3 weeks 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
- 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!☆127Updated this week
- Music Player app built using 100% Kotlin☆11Aug 4, 2023Updated 2 years ago
- Sources of MTK FirmwareAdapter Tool, now on GitHub☆13Oct 15, 2015Updated 10 years ago
- Python extension for the GNU project debugger (GDB)☆13Mar 6, 2020Updated 5 years ago
- ☆10Oct 31, 2022Updated 3 years ago
- Ghidra is a software reverse engineering (SRE) framework☆11Jan 2, 2025Updated last year
- ☆11Jul 23, 2015Updated 10 years ago
- Code for ICSE'24 Paper☆13Apr 21, 2024Updated last year
- a viewer for for lancedb. including some actions like CRUD etc☆12Apr 27, 2025Updated 9 months ago
- CVE-2024-53691☆14Jan 13, 2025Updated last year
- ☆11Apr 18, 2024Updated last year
- libflutter.so(s) modified for traffic intercepting removing certificate pinning validation. Dart version is 2.10.5☆12Jul 11, 2021Updated 4 years ago
- ☆11Sep 7, 2023Updated 2 years ago
- Morion is a PoC tool to experiment with symbolic execution on real-word (ARMv7) binaries.☆15Oct 3, 2024Updated last year
- 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
- qemu-system by docker-compose☆13Jun 14, 2022Updated 3 years ago
- A benchmark for Java gadget chain detecting algorithms.☆15Jun 20, 2025Updated 7 months ago