Collective communication is widely used in MPI programs. However, its misuse may cause synchronization errors. This paper first proposes an extention to an existing static barrier analysis approach, so that it can check one necessary condition for correct collective communication. Since previous analyzers do not distinguish different communicators, they may report false alarms. This paper furth...