process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety, or liveness
https://github.com/NationalSecurityAgency/ghidra
Ghidra is a software reverse engineering (SRE) framework
