It's interesting to read this study... the degree of complexity of the analysis reminds me of a overcomplicated codebase.

Would love to see completely independent analysis before trusting such a large codebase is bug-free.