20 results found Sort:

6.0k
53.4k
apache-2.0
1.0k
Ghidra is a software reverse engineering (SRE) framework
Created 2019-03-01
13,864 commits to master branch, last one 10 hours ago
262
2.1k
gpl-3.0
53
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
265
2.1k
cc-by-sa-4.0
83
程序语言与编译技术相关资料(持续更新中)
Created 2020-03-09
184 commits to master branch, last one 8 months ago
142
1.6k
gpl-3.0
53
The OpenSource Disassembler
Created 2017-11-25
1,815 commits to master branch, last one 3 months ago
Public API, examples, documentation and issues for Binary Ninja
Created 2015-10-30
4,799 commits to dev branch, last one a day 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 about a month ago
43
207
unknown
30
The Ultimate program analysis framework.
Created 2015-09-10
29,871 commits to dev branch, last one a day ago
Teaching and Learning Software Analysis via SVF
Created 2020-12-30
255 commits to main branch, last one 3 days ago
7
190
apache-2.0
2
Breakthrough tooling to work with Kotlin and Java codebases 🚀
Created 2022-10-05
1,230 commits to main branch, last one about a year ago
9
184
lgpl-2.1
5
A research decompiler implemented as a Binary Ninja plugin.
Created 2021-12-01
213 commits to main branch, last one 24 days ago
39
178
unknown
8
Reverse engineering software using a full system simulator
Created 2019-04-26
4,564 commits to master branch, last one about a month ago
27
162
apache-2.0
9
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 7 months ago
MOOSE - Platform for software and data analysis.
Created 2015-08-03
2,596 commits to development branch, last one 2 days ago
46
137
apache-2.0
6
Automated unit test generation and precise code analysis for Java
Created 2022-04-12
1,139 commits to main branch, last one 8 months ago
Extension for GDB
Created 2017-04-29
253 commits to master branch, last one 9 months ago
26
67
mpl-2.0
11
The VerCors verification toolset for verifying parallel and concurrent software
Created 2016-03-17
11,255 commits to dev branch, last one about a month ago
5
46
apache-2.0
3
Ghidra Data Type (GDT) Helper
Created 2021-01-02
14 commits to main branch, last one 3 years ago
2
31
bsd-3-clause
4
Tooling for analysis and manipulation of Ada software
Created 2022-01-14
306 commits to main branch, last one 3 months ago
4
29
apache-2.0
1
Software reverse engineering tool for Java
Created 2024-04-06
91 commits to master branch, last one 7 months ago