Hi.
Out of curiosity, was looking to know -
Query#1: Does OpenMPI has any document related with OpenMPI Internals?
Query#2: Does any slides talks of OpenMPI internals, If yes, any links for the same?
Query#3: Do any Static-Analysis open-source tools are available for analyzing OpenMPI?
Probably, Coverity "Prevent" does provide static-analysis but does it work for OpenMPI too?
Any links or reference is appreciated.
BR