Because we spec out both symbols and types we can easily create import libraries for multiple tools (including Binary Ninja).
The typical issue is when an import library references a type in another library. This is resolved with the deterministic type UUIDS, as they will be able to reference them indirectly with some registry which can resolve the reference, the only problem with this is if the type UUID is not in fact, deterministic, further work needs to be done to prove and verify that the type spec can actually hold up to that assertion.
Because we spec out both symbols and types we can easily create import libraries for multiple tools (including Binary Ninja).
The typical issue is when an import library references a type in another library. This is resolved with the deterministic type UUIDS, as they will be able to reference them indirectly with some registry which can resolve the reference, the only problem with this is if the type UUID is not in fact, deterministic, further work needs to be done to prove and verify that the type spec can actually hold up to that assertion.