20 results found Sort:
- Filter by Primary Language:
- Python (4)
- C++ (4)
- Java (4)
- Kotlin (3)
- C (1)
- Scala (1)
- Smalltalk (1)
- +
Ghidra is a software reverse engineering (SRE) framework
Created
2019-03-01
14,490 commits to master branch, last one 4 days ago
ret-sync is a set of plugins that helps to synchronize a debugging session (WinDbg/GDB/LLDB/OllyDbg2/x64dbg) with IDA/Ghidra/Binary Ninja disassemblers.
Created
2016-01-10
154 commits to master branch, last one 2 years ago
程序语言与编译技术相关资料（持续更新中）
Created
2020-03-09
186 commits to master branch, last one 9 days ago
The OpenSource Disassembler
Created
2017-11-25
1,815 commits to master branch, last one 5 months ago
Public API, examples, documentation and issues for Binary Ninja
Created
2015-10-30
5,229 commits to dev branch, last one 2 days ago
Ghidra C++ Class and Run Time Type Information Analyzer
This repository has been archived
(exclude archived)
Created
2019-09-04
278 commits to master branch, last one about a year ago
Corax for Java: A general static analysis framework for java code checking.
Created
2023-08-29
65 commits to main branch, last one 4 months ago
The Ultimate program analysis framework.
Created
2015-09-10
30,061 commits to dev branch, last one 5 days ago
Teaching and Learning Software Analysis via SVF
Created
2020-12-30
270 commits to main branch, last one about a month ago
Breakthrough tooling to work with Kotlin and Java codebases 🚀
Created
2022-10-05
1,266 commits to main branch, last one about a month ago
A research decompiler implemented as a Binary Ninja plugin.
Created
2021-12-01
213 commits to main branch, last one 3 months ago
Reverse engineering software using a full system simulator
Created
2019-04-26
4,991 commits to master branch, last one 11 days ago
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
Created
2021-10-07
329 commits to main branch, last one 10 months ago
MOOSE - Platform for software and data analysis.
Created
2015-08-03
2,599 commits to development branch, last one 5 days ago
Automated unit test generation and precise code analysis for Java
Created
2022-04-12
1,139 commits to main branch, last one 10 months ago
Extension for GDB
Created
2017-04-29
253 commits to master branch, last one about a year ago
The VerCors verification toolset for verifying parallel and concurrent software
Created
2016-03-17
11,496 commits to dev branch, last one 8 days ago
Ghidra Data Type (GDT) Helper
Created
2021-01-02
14 commits to main branch, last one 3 years ago
Tooling for analysis and manipulation of Ada software
Created
2022-01-14
306 commits to main branch, last one 6 months ago
Software reverse engineering tool for Java
Created
2024-04-06
91 commits to master branch, last one 10 months ago