Public API, examples, documentation and issues for Binary Ninja
-
Updated
Jun 4, 2024 - C++
Public API, examples, documentation and issues for Binary Ninja
Ghidra is a software reverse engineering (SRE) framework
The Ultimate program analysis framework.
Automated unit test generation and precise code analysis for Java
Reverse engineering software using a full system simulator
The VerCors verification toolset for verifying parallel and concurrent software
Software reverse engineering tool for Java
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
Teaching and Learning Software Analysis via SVF
A research decompiler implemented as a Binary Ninja plugin.
程序语言与编译技术相关资料(持续更新中)
Ghidra is a software reverse engineering (SRE) framework
MOOSE - Platform for software and data analysis.
Extension for GDB
Software Event Analyzer: Instrumenting API and Graphical Visualizer
A program to help with reverse engineering java, vbs, batch, and html files
Corax for Java: A general static analysis framework for java code checking.
Strong in design and integration problem-solving skills. Expert in solution development.
This is a required project for CSE 471 in my Bracu undergraduate.
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.
Add a description, image, and links to the software-analysis topic page so that developers can more easily learn about it.
To associate your repository with the software-analysis topic, visit your repo's landing page and select "manage topics."