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