software-analysis topic
DrSemu
DrSemu - Sandboxed Malware Detection and Classification Tool Based on Dynamic Behavior
dewolf
A research decompiler implemented as a Binary Ninja plugin.
ghidra-xbox-extensions
Use https://github.com/mborgerson/ghidra-xbe instead
gdt_helper
Ghidra Data Type (GDT) Helper
eureka
Breakthrough tooling to work with Kotlin and Java codebases 🚀
UTBotCpp
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
UTBotJava
Automated unit test generation and precise code analysis for Java
Renaissance-Ada
Tooling for analysis and manipulation of Ada software
vercors
The VerCors verification toolset for verifying parallel and concurrent software