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