Top 6 software-analysis open source projects

Ghidra is a software reverse engineering (SRE) framework

The VerCors verification toolset for verifying parallel and concurrent software

Reverse engineering software using a full system simulator

MOOSE - Platform for software and data analysis.

Ghidra Data Type (GDT) Helper

Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage