GNMIDI
[in menu Analyse]
This operation reads the bar information of a MIDI song and checks if measures are shorter than expected.
Only the last bar is allowed to be shorter because only pauses are assumed to follow.
This operation is available as batch operation in Professional GNMIDI version.
Hint: Bars are not important for playing self but they are useful for printing score sheets and are important for counting (to stay in groove) that no musician starts to play at wrong time.