We could reach out
to the maintainers of the proprietary system and verify the
correctness of the analysis. But we could not get similar
feedback from the maintainers of the open source systems.
We recently completed a study on another proprietary system
in the .NET platform (which we have not described here
due to lack of space).