It has BSIM that can fuzzy-find what libraries are statically compiled, so you know what version of a library that might be compiled in and if there are changes to it. Interesting that it is not only local but you can use an elastic search for that, I am guessing NSA has a pretty big elastic cluster with just binaries of libraries.
Given Ghidra's sponsor, I would expect particularly strong support for mainline platforms used in the US (eg, Qualcomm, apple silicon, intel, ARM)...and curiously, but perhaps not talked about much, strong support for Chinese hardware, based on their leadership wanting to look at US' potential adversaries?
Yeah, well - They should be looking at the hardware supported by the Linux kernels and our present day compilers, so they can look at software running on present day devices.
Another way, like you said, is to focus on adversarial interoperability, so paying attention to formats which do not have a meaningful way to disassemble / patch today and could use this treatment - for ensuring that critical systems always have a fallback. This especially means figuring out the supply chain of chips and firmware and having ways to ensure all of them are auditable.
